Trace number 3485280

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx 2 2011-06-10 (fixed)OPT16 32.0131 32.0158

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir07_area_delay.opb
MD5SUM654b3ba852cf335035821a9e288b621f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark32.0131
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved YES
Number of variables12615
Total number of constraints51713
Number of constraints which are clauses51713
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint255
Number of terms in the objective function 6096
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6096
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6096
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3485280-1307778597.opb>
0.19/0.27	c original problem has 12615 variables (12615 bin, 0 int, 0 impl, 0 cont) and 51713 constraints
0.19/0.27	c problem read
0.19/0.27	c presolving settings loaded
0.39/0.43	c presolving:
0.49/0.58	c (round 1) 6048 del vars, 13409 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 69729 impls, 0 clqs
0.49/0.59	c (round 2) 6049 del vars, 14641 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 69729 impls, 0 clqs
0.68/0.72	c (round 3) 6050 del vars, 14825 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 36841 upgd conss, 69729 impls, 0 clqs
0.68/0.78	c (round 4) 6050 del vars, 14827 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 36888 upgd conss, 69729 impls, 0 clqs
0.68/0.79	c (round 5) 6053 del vars, 15035 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 36888 upgd conss, 69729 impls, 0 clqs
1.29/1.36	c    (1.4s) probing: 308/6562 (4.7%) - 22 fixings, 16 aggregations, 3238 implications, 0 bound changes
1.29/1.36	c    (1.4s) probing aborted: 100/100 successive totally useless probings
1.29/1.36	c (round 6) 6091 del vars, 15035 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 36888 upgd conss, 72981 impls, 0 clqs
1.29/1.38	c (round 7) 6091 del vars, 16827 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 36888 upgd conss, 72981 impls, 0 clqs
1.39/1.42	c (round 8) 6091 del vars, 16888 del conss, 0 add conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 36888 upgd conss, 72981 impls, 0 clqs
1.39/1.46	c    (1.5s) probing: 318/6562 (4.8%) - 22 fixings, 16 aggregations, 3238 implications, 0 bound changes
1.39/1.46	c    (1.5s) probing aborted: 100/100 successive totally useless probings
1.39/1.46	c presolving (9 rounds):
1.39/1.46	c  6091 deleted vars, 16888 deleted constraints, 0 added constraints, 8 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.46	c  72981 implications, 0 cliques
1.39/1.46	c presolved problem has 6524 variables (6524 bin, 0 int, 0 impl, 0 cont) and 34825 constraints
1.39/1.46	c   20376 constraints of type <setppc>
1.39/1.46	c   14449 constraints of type <logicor>
1.39/1.46	c transformed objective value is always integral (scale: 1)
1.39/1.46	c Presolving Time: 1.14
1.39/1.46	c - non default parameters ----------------------------------------------------------------------
1.39/1.46	c # SCIP version 2.0.1.4
1.39/1.46	c 
1.39/1.46	c # frequency for displaying node information lines
1.39/1.46	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.46	c display/freq = 10000
1.39/1.46	c 
1.39/1.46	c # maximal time in seconds to run
1.39/1.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46	c limits/time = 1797
1.39/1.46	c 
1.39/1.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46	c limits/memory = 13950
1.39/1.46	c 
1.39/1.46	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.39/1.46	c # [type: int, range: [1,2], default: 1]
1.39/1.46	c timing/clocktype = 2
1.39/1.46	c 
1.39/1.46	c # belongs reading time to solving time?
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c timing/reading = TRUE
1.39/1.46	c 
1.39/1.46	c # should presolving try to simplify inequalities
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/linear/simplifyinequalities = TRUE
1.39/1.46	c 
1.39/1.46	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/indicator/addCouplingCons = TRUE
1.39/1.46	c 
1.39/1.46	c # should presolving try to simplify knapsacks
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.46	c 
1.39/1.46	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.39/1.46	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.46	c separating/rapidlearning/freq = 0
1.39/1.46	c 
1.39/1.46	c -----------------------------------------------------------------------------------------------
1.39/1.46	c start solving
1.39/1.46	c 
1.69/1.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.69/1.74	c   1.7s|     1 |     0 |   178 |     - |  74M|   0 | 112 |6524 |  34k|6524 |  34k|   0 |   5 |   0 | 1.450000e+01 |      --      |    Inf 
1.69/1.75	o 20
1.69/1.75	c R 1.8s|     1 |     0 |   178 |     - |  74M|   0 | 112 |6524 |  34k|6524 |  34k|   0 |   5 |   0 | 1.450000e+01 | 2.000000e+01 |  37.93%
2.59/2.68	c   2.7s|     1 |     0 |   208 |     - |  74M|   0 | 100 |6524 |  34k|6524 |  34k|   3 |   5 |   0 | 1.600000e+01 | 2.000000e+01 |  25.00%
3.69/3.71	c   3.7s|     1 |     0 |   234 |     - |  74M|   0 | 165 |6524 |  34k|6524 |  34k|   5 |   5 |   0 | 1.600000e+01 | 2.000000e+01 |  25.00%
4.69/4.71	c   4.7s|     1 |     0 |   275 |     - |  75M|   0 | 153 |6524 |  34k|6524 |  34k|   6 |   5 |   0 | 1.600000e+01 | 2.000000e+01 |  25.00%
5.69/5.74	c   5.7s|     1 |     0 |   405 |     - |  75M|   0 | 159 |6524 |  34k|6524 |  34k|   8 |   5 |   0 | 1.600000e+01 | 2.000000e+01 |  25.00%
12.10/12.13	c  12.1s|     1 |     0 |   442 |     - |  75M|   0 | 175 |6524 |  34k|6524 |  34k|   9 |   5 |   0 | 1.600000e+01 | 2.000000e+01 |  25.00%
19.19/19.27	c  19.3s|     1 |     0 |   522 |     - |  75M|   0 | 208 |6524 |  34k|6524 |  34k|  10 |   5 |   0 | 1.600000e+01 | 2.000000e+01 |  25.00%
31.79/31.86	o 16
31.79/31.86	c E31.9s|     1 |     0 | 10522 |     - |  75M|   0 |   - |6524 |  34k|6524 |  34k|  10 |   5 |   0 | 1.600000e+01 | 1.600000e+01 |   0.00%
31.79/31.88	c  31.9s|     1 |     0 | 10522 |     - |  75M|   0 |   - |6524 |  34k|6524 |  34k|  10 |   5 |   0 | 1.600000e+01 | 1.600000e+01 |   0.00%
31.79/31.88	c 
31.79/31.88	c SCIP Status        : problem is solved [optimal solution found]
31.79/31.88	c Solving Time (sec) : 31.88
31.79/31.88	c Solving Nodes      : 1
31.79/31.88	c Primal Bound       : +1.60000000000000e+01 (3 solutions)
31.79/31.88	c Dual Bound         : +1.60000000000000e+01
31.79/31.88	c Gap                : 0.00 %
31.90/31.91	s OPTIMUM FOUND
31.90/31.91	v x1 x482 x481 x480 x479 x478 x477 x476 -x475 x474 -x473 x472 x471 x470 x469 x468 -x467 -x466 x465 x464 x463 x462 -x461 x460 -x459 
31.90/31.91	v x458 -x457 -x456 -x455 -x454 -x453 -x452 -x12614 -x12612 -x12610 -x12608 x451 x450 x449 x448 x447 -x446 -x445 x444 -x12606 
31.90/31.91	v -x12604 -x12602 -x12600 -x12598 -x12596 -x12594 -x12592 -x443 x442 -x12590 -x12588 x441 x440 x439 -x438 -x437 -x436 -x435 x434 
31.90/31.91	v -x433 -x432 x431 -x430 -x429 -x428 x427 -x426 x425 -x424 -x423 -x422 -x421 -x12586 -x12584 -x12582 -x12580 -x12578 -x12576 
31.90/31.91	v -x12574 x420 x419 x418 -x417 x416 -x415 x414 -x413 -x412 -x411 -x410 -x12572 -x12570 x409 -x408 -x407 -x406 -x12568 -x12566 -x12564 
31.90/31.91	v -x12562 -x12560 -x405 x404 x403 x402 -x401 -x400 -x399 x398 -x12558 -x397 -x396 -x395 -x394 -x393 -x392 -x12556 -x391 
31.90/31.91	v -x390 -x12554 -x12552 -x12550 -x12548 -x12546 -x12544 -x12542 -x12540 -x12538 x389 -x388 -x387 x386 -x385 x384 -x383 -x382 -x12536 
31.90/31.91	v -x12534 -x12532 -x12530 -x12528 -x12526 -x12524 -x381 -x12522 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x12520 
31.90/31.91	v -x12518 -x12516 -x12514 -x12512 -x371 -x370 -x369 -x12510 -x12508 -x368 -x12506 -x12504 -x12502 -x12500 -x12498 -x12496 -x367 
31.90/31.91	v -x12494 -x366 -x12492 -x12490 -x12488 -x12486 -x12484 -x12482 -x12480 -x12478 -x365 -x12476 -x12474 -x12472 -x12470 -x12468 
31.90/31.91	v -x12466 -x12464 -x364 -x12462 -x12460 -x12458 -x12456 -x12454 -x12452 -x12450 -x12448 -x12446 -x12444 -x12442 -x12440 -x12438 
31.90/31.91	v -x12436 -x12434 -x12432 -x12430 -x12428 -x12426 -x12424 -x12422 -x12420 -x12418 -x12416 -x12414 -x12412 -x12410 -x12408 
31.90/31.91	v -x12406 -x12404 -x12402 -x12400 -x12398 -x12396 -x12394 -x12392 -x12390 -x12388 -x363 -x12386 x362 -x361 -x12384 -x360 -x12382 
31.90/31.91	v -x12380 -x12378 -x12376 -x12374 -x12372 x359 -x358 -x357 -x356 x355 -x12370 -x354 -x12368 -x12366 -x12364 -x12362 -x12360 -x12358 
31.90/31.91	v -x12356 -x12354 -x12352 -x353 -x352 x351 -x350 -x12350 -x12348 -x12346 -x349 -x12344 x348 -x12342 -x12340 -x12337 -x12335 
31.90/31.91	v -x12333 -x12331 x12329 -x12327 -x347 -x346 -x345 -x12325 -x12323 -x12321 -x12319 -x12317 -x12315 -x344 -x12313 -x343 -x12311 
31.90/31.91	v -x12309 -x12307 -x12305 -x12303 -x12301 -x342 -x12299 -x12297 -x12295 -x12293 -x12291 -x12289 -x12287 -x12285 -x12283 -x12281 
31.90/31.91	v -x12279 -x341 -x12277 -x12275 -x12273 -x12271 -x12269 -x12267 -x12265 -x12263 -x12260 -x12258 -x12256 -x12254 -x12252 -x12250 
31.90/31.91	v -x12248 -x12246 -x12244 -x12242 -x12240 -x12238 -x12236 -x12234 -x12232 -x12230 -x12228 -x12226 -x12224 -x12222 -x12220 
31.90/31.91	v -x12218 -x12216 -x12214 -x12212 -x12210 -x12208 -x12206 -x12204 -x12202 -x340 -x12200 -x339 -x338 -x12198 -x337 -x12196 -x12194 
31.90/31.91	v -x12192 -x12190 -x336 -x12188 -x335 -x12186 -x12184 -x12182 -x12180 -x12178 -x12176 -x12174 -x12172 -x12170 -x334 -x12168 
31.90/31.91	v -x12166 -x12164 -x12162 -x12160 -x12158 -x12156 -x12154 -x333 -x12152 -x12150 -x12148 -x12146 -x12144 -x12142 -x12140 -x12138 
31.90/31.91	v -x12136 -x12134 -x12131 -x12129 -x12127 -x12125 -x12123 -x12121 -x12119 -x12117 -x12115 -x12113 -x12111 -x12109 -x12107 -x12105 
31.90/31.91	v -x12103 -x12101 -x12099 -x12097 -x12095 -x12093 -x12091 -x12089 -x12087 -x332 x331 x330 x329 -x328 -x327 -x326 -x325 -x12085 
31.90/31.91	v -x12083 -x324 -x323 -x322 x321 -x320 -x319 -x12081 -x318 -x12079 -x12077 -x12075 -x317 -x12073 -x12071 -x12069 -x12067 -x12065 
31.90/31.91	v -x12063 -x12061 -x12059 -x12057 -x12055 -x12053 -x12051 -x12049 -x316 -x315 x314 -x12047 -x12045 -x12043 -x313 -x312 -x12041 
31.90/31.91	v -x12039 -x311 -x12037 -x12035 -x12033 -x12031 -x12029 -x12027 -x12025 -x12023 -x12021 -x12019 -x12017 -x12015 -x12013 
31.90/31.91	v -x310 -x309 -x12011 -x308 -x12009 -x307 -x12007 -x12005 x12002 -x12000 -x11998 -x11996 -x11994 -x11992 -x11990 -x11988 -x11986 
31.90/31.91	v -x11984 -x11982 -x11980 -x11978 -x306 -x305 -x304 -x11976 -x303 -x302 -x11974 -x11972 -x301 -x300 -x11970 -x11968 -x11966 -x11964 
31.90/31.91	v -x11962 -x11960 -x11958 -x11956 -x11954 -x11952 -x11950 -x11948 -x11946 -x299 x298 -x11944 -x11942 -x11940 -x297 -x11938 
31.90/31.91	v -x296 -x11936 -x11933 -x11931 -x11929 -x11927 -x11925 -x11923 -x11921 -x11919 -x295 -x11917 -x11915 -x11913 -x294 -x11911 
31.90/31.91	v -x11909 -x11907 -x11905 -x11903 -x11901 -x11899 -x11897 -x11895 -x11893 -x11891 -x11889 -x11887 -x11885 -x11883 -x293 -x11881 
31.90/31.91	v -x11879 -x11877 -x11875 -x11873 -x11871 -x11869 -x11867 -x11865 -x11863 -x11861 -x11859 -x11857 -x11855 -x11853 -x11851 -x11849 
31.90/31.91	v -x292 -x11847 -x11845 -x11843 -x11841 -x11839 -x11837 -x11835 -x11833 -x11831 -x11829 -x11827 -x11825 -x11823 -x11821 -x11819 
31.90/31.91	v -x11817 -x11815 -x11813 -x11811 -x11808 -x11806 -x11804 -x11802 -x11800 -x11798 -x11796 -x11794 -x11792 -x11790 -x11788 
31.90/31.91	v -x11786 -x11784 -x11782 -x11780 -x11778 -x11776 -x11774 -x11772 -x11770 -x11768 -x11766 -x11764 -x11762 -x11760 -x11758 -x291 
31.90/31.91	v x290 -x289 -x11756 -x288 -x11754 -x287 -x286 x285 -x11752 -x11750 -x11748 -x284 -x11746 -x11744 -x11742 -x11740 -x11738 -x11736 
31.90/31.91	v -x11734 -x11732 -x11730 -x11728 -x11726 -x11724 -x283 -x282 -x11722 -x11720 -x11718 x281 -x11716 -x11714 -x280 -x11712 -x11710 
31.90/31.91	v -x11708 -x279 -x11706 -x11704 -x11702 -x11700 -x11698 -x11696 -x11694 -x11692 -x11690 -x11688 -x278 -x11686 -x11684 -x11682 
31.90/31.91	v -x11680 -x11678 -x11676 -x11674 -x11672 -x277 -x11670 -x11668 -x11666 -x11664 -x11662 -x11660 -x11658 -x11656 -x11654 -x11652 
31.90/31.91	v -x11650 -x11648 -x11646 -x276 -x11644 -x11642 -x11639 -x11637 -x11635 -x11633 -x11631 -x11629 -x11627 -x11625 -x11623 -x11621 
31.90/31.91	v -x11619 -x11617 -x11615 -x11613 -x11611 -x11609 -x11607 -x11605 -x11603 -x11601 -x11599 -x11597 -x11595 -x11593 -x11591 
31.90/31.91	v -x11589 -x11587 -x11585 -x11583 -x11581 -x11579 -x11577 -x11575 -x11573 -x275 -x11571 x274 x273 -x272 -x11569 -x271 -x270 -x11567 
31.90/31.91	v -x11565 -x269 -x11563 -x268 -x11561 -x11559 -x11557 -x11555 -x11553 -x11551 -x11549 -x11547 -x11545 -x11543 -x11541 -x11539 
31.90/31.91	v -x11537 -x11535 -x11533 -x267 -x266 x265 -x11531 -x264 -x11529 -x11527 -x11525 -x11523 -x11521 -x11518 -x11516 -x263 -x11514 
31.90/31.91	v -x11512 -x11510 x262 -x11508 -x11506 -x11504 -x11502 -x11500 -x11498 -x11496 -x11494 -x11492 -x11490 -x11488 -x11486 -x11484 
31.90/31.91	v -x11482 -x261 -x11480 -x11478 -x11476 -x11474 -x11472 -x11470 -x11468 -x11466 -x11464 -x11462 -x11460 -x11458 -x11456 -x11454 
31.90/31.91	v -x11452 -x260 -x11450 -x11448 -x11446 -x11444 -x11442 -x11440 -x11438 -x11436 -x11434 -x11432 -x11430 -x11428 -x11426 
31.90/31.91	v -x11424 -x11422 -x11420 -x11418 -x11416 -x11414 -x11412 -x11410 -x11408 -x11406 -x11403 -x11401 -x11399 -x11397 -x11395 -x11393 
31.90/31.91	v -x11391 -x11389 -x11387 -x11385 -x11383 -x11381 -x11379 -x11377 -x11375 -x11373 -x11371 -x11369 -x11367 -x11365 -x11363 -x11361 
31.90/31.91	v -x11359 -x11357 -x259 -x11355 -x258 -x11353 -x11351 x257 -x11349 -x11347 -x11345 -x256 -x11343 -x11340 -x11338 -x11336 
31.90/31.91	v -x11334 -x11332 -x11330 -x11328 -x11326 -x11324 -x255 -x11322 -x11320 -x11318 -x254 -x11316 -x11314 -x11312 -x11310 -x11308 -x11306 
31.90/31.91	v -x11303 -x11301 -x11299 -x253 -x11297 -x11295 -x11293 -x11291 -x11289 -x11287 -x11285 -x11283 -x11281 -x11279 -x11277 
31.90/31.91	v -x11275 -x252 -x11273 -x11271 -x11269 -x11267 -x11265 -x11263 -x11261 -x11259 -x11257 -x11255 -x11253 -x11251 -x11249 -x11247 
31.90/31.91	v -x11245 -x11243 -x11241 -x11239 -x11237 -x11235 -x11233 -x11231 -x11229 -x11227 -x11225 -x11223 -x11221 -x11219 -x11217 -x11215 
31.90/31.91	v -x11213 -x11211 -x11209 -x11207 -x11205 -x11203 -x251 -x11201 -x250 -x11199 -x249 -x11197 -x248 -x11195 -x11193 -x11191 -x11189 
31.90/31.91	v -x11187 -x11185 -x247 -x11183 -x11181 -x11179 -x11177 -x246 -x11175 -x11173 -x11171 -x11169 -x11167 -x11165 -x11163 -x11161 
31.90/31.91	v -x11159 -x11157 -x11155 -x11153 -x245 -x11151 -x11148 -x11146 -x11144 -x11142 -x11140 -x11138 -x11136 -x11134 -x244 -x11132 
31.90/31.91	v -x11130 -x11128 -x11126 -x11124 -x11122 -x11120 -x11118 -x11116 -x11114 -x11112 -x11110 -x11108 -x11106 -x11104 -x11102 
31.90/31.91	v -x11100 -x11098 -x11096 -x11094 -x11092 -x11090 -x11088 -x11086 -x11084 -x11082 -x11080 -x11078 -x11076 -x11074 -x11072 -x11070 
31.90/31.91	v -x11068 -x11066 -x11064 -x11062 -x11060 -x11058 -x11056 -x11054 -x243 -x11052 -x11050 -x11048 -x11046 -x242 -x11044 -x11042 
31.90/31.91	v -x11040 -x11038 -x11036 -x11034 -x11031 -x11029 -x11027 -x11025 -x11023 -x11021 -x241 -x11019 -x11017 -x11015 -x11013 -x11011 
31.90/31.91	v -x11009 -x11007 -x11005 -x11003 -x11001 -x10999 -x10997 -x10995 -x240 -x10993 -x10991 -x10989 -x10987 -x10985 -x10983 -x10981 
31.90/31.91	v -x10979 -x10977 -x10975 -x10973 -x10970 -x10968 -x10966 -x10964 -x10962 -x10960 -x10958 -x10955 -x10953 -x10951 -x10949 -x10947 
31.90/31.91	v -x10945 -x10943 -x10941 -x10939 -x10937 -x10935 -x10933 -x10931 -x10929 -x10927 -x10925 -x10923 -x239 -x10921 -x10919 
31.90/31.91	v -x10917 -x10915 -x10913 -x10911 -x10909 -x10907 -x10905 -x10903 -x10901 -x10899 -x10897 -x10895 -x238 -x10893 -x10891 -x10889 
31.90/31.91	v -x10887 -x10885 -x10883 -x10881 -x10879 -x10877 -x10875 -x10873 -x10871 -x10869 -x10867 -x10865 -x10863 -x10861 -x10859 -x10857 
31.90/31.91	v -x10855 -x10853 -x10851 -x10849 -x10847 -x10845 -x10843 -x10841 -x10839 -x10837 -x10835 -x10833 -x10831 -x10829 -x10827 -x10825 
31.90/31.91	v -x10823 -x10821 -x10819 -x10817 -x10815 -x10813 -x10811 -x10809 -x237 -x10807 -x10805 -x10803 -x10801 -x10799 -x10797 
31.90/31.91	v -x10795 -x10793 -x10791 -x10789 -x10787 -x10784 -x10782 -x10780 -x10778 -x10776 -x10774 -x10772 -x10770 -x10768 -x10766 -x10764 
31.90/31.91	v -x10762 -x10760 -x10758 -x10756 -x10754 -x10752 -x10750 -x10748 -x10746 -x10744 -x10742 -x10740 -x10738 -x10736 -x10734 -x10732 
31.90/31.91	v -x10730 -x10728 -x10726 -x10724 -x10722 -x10720 -x236 -x10718 -x10715 -x10713 -x10711 -x10709 -x10707 -x10705 -x10703 -x10701 
31.90/31.91	v -x10699 -x10697 -x10695 -x10693 -x10691 -x10689 -x10687 -x10685 -x10683 -x10681 -x10679 -x10677 -x10675 -x10673 -x10671 
31.90/31.91	v -x10669 -x10667 -x10665 -x10663 -x10661 -x10659 -x10657 -x10655 -x10653 -x10651 -x10649 -x10647 -x10645 -x10643 -x10641 -x10639 
31.90/31.91	v -x10637 -x10635 -x10633 -x10631 -x10629 -x10627 -x10625 -x10623 -x10621 -x10619 -x10617 -x10615 -x10613 -x10611 -x10609 
31.90/31.91	v -x10607 -x10605 -x10603 -x10601 -x10599 -x10597 -x10595 -x10593 -x10591 -x10589 -x10587 -x10585 -x10583 -x10581 -x10579 -x10577 
31.90/31.91	v -x10575 -x10573 -x10571 -x10569 -x10567 -x10565 -x10563 -x10561 -x10559 -x10557 -x10555 -x10553 -x10551 -x10549 -x10547 -x10545 
31.90/31.91	v -x10543 -x10541 -x10539 -x10537 -x10535 -x10533 -x10531 -x10529 -x10527 -x10525 -x10523 -x10521 -x10519 -x10517 -x10515 
31.90/31.91	v -x10513 -x10511 -x10509 -x10507 -x10505 -x10503 -x10501 -x10499 -x235 -x10497 -x10495 -x10493 -x234 -x10491 -x10489 -x10487 
31.90/31.91	v -x10485 -x233 -x10483 -x10481 -x10479 -x10477 -x10475 -x10473 -x232 -x10471 -x10469 -x10467 -x10465 -x10463 -x10461 -x10459 -x10457 
31.90/31.91	v -x10455 -x10453 -x10451 -x10449 -x10447 -x10445 -x10443 -x10441 -x231 -x10439 -x10437 -x10435 -x10433 -x230 -x10431 -x10429 
31.90/31.91	v -x10427 -x10425 -x10423 -x10421 -x10419 -x10417 -x10415 -x10413 -x10411 -x10409 -x229 -x10407 -x10405 -x10403 -x10401 -x10399 
31.90/31.91	v -x10397 -x10395 -x10393 -x10391 -x10389 -x10387 -x10385 -x10383 -x10381 -x10379 -x10377 -x10375 -x10373 -x10371 -x228 
31.90/31.91	v -x10369 -x10367 -x10365 -x10363 -x10361 -x10359 -x10357 -x10355 -x10353 -x10351 -x10349 -x10347 -x10345 -x10343 -x10341 -x10339 
31.90/31.91	v -x10337 -x10335 -x10333 -x10331 -x10329 -x10327 -x10325 -x10323 -x10321 -x10319 -x10317 -x10315 -x10313 -x10311 -x10309 -x10307 
31.90/31.91	v -x10305 -x10303 -x10301 -x10299 -x10297 -x10295 -x10293 -x10291 -x10289 -x10287 -x10285 -x10283 -x10281 -x227 -x10279 -x10277 
31.90/31.91	v -x10274 -x226 -x10272 -x10270 -x10268 -x10266 -x10264 -x10262 -x10260 -x10258 -x10256 -x10254 -x10252 -x10250 -x10248 
31.90/31.91	v -x10246 -x10244 -x10242 -x10240 -x10238 -x225 -x10236 -x10234 -x10232 -x10230 -x10228 -x10226 -x10224 -x10222 -x10220 -x10218 
31.90/31.91	v -x10216 -x10214 -x10212 -x10210 -x10208 -x10206 -x10204 -x10202 -x10200 -x10198 -x224 -x10196 -x10194 -x10192 -x10190 -x10188 
31.90/31.91	v -x10186 -x10184 -x10182 -x10180 -x10178 -x10176 -x10174 -x10172 -x10170 -x10168 -x10166 -x10164 -x10162 -x10160 -x10158 -x10156 
31.90/31.91	v -x10154 -x10152 -x10150 -x10148 -x10146 -x10144 -x10142 -x10140 -x10138 -x10136 -x10134 -x10132 -x10130 -x10128 -x10126 
31.90/31.91	v -x10124 -x10121 -x10119 -x10117 -x10115 -x10113 -x10111 -x10109 -x223 -x10107 -x10105 -x10103 -x10101 -x10099 -x10097 -x10094 
31.90/31.91	v -x10092 -x10090 -x10088 -x10086 -x10084 -x222 -x10082 -x10080 -x10078 -x10076 -x10074 -x10072 -x10070 -x10068 -x10066 -x10064 
31.90/31.91	v -x10062 -x10060 -x10058 -x10056 -x10054 -x10052 -x10050 -x10048 -x10046 -x10044 -x10042 -x10040 -x10038 -x10036 -x10034 -x10032 
31.90/31.91	v -x10030 -x10028 -x10026 -x10023 -x10021 -x10019 -x10017 -x10015 -x10013 -x10011 -x10009 -x10007 -x10005 -x10003 -x10001 
31.90/31.91	v -x9999 -x221 -x9997 -x9995 -x9993 -x9991 -x9989 -x9987 -x9985 -x9983 -x9981 -x9979 -x9977 -x9975 -x9973 -x9971 -x9969 -x9967 
31.90/31.91	v -x9965 -x9963 -x9961 -x9959 -x9957 -x9955 -x9953 -x9951 -x9949 -x9947 -x9945 -x9943 -x9941 -x9939 -x9937 -x9935 -x9933 -x9931 
31.90/31.91	v -x9929 -x9927 -x9925 -x9923 -x9921 -x9919 -x9917 -x9915 -x9913 -x9911 -x9909 -x220 -x9906 -x9904 -x9902 -x9900 -x9898 -x9896 
31.90/31.91	v -x9894 -x9892 -x9890 -x9888 -x9886 -x9884 -x9882 -x9880 -x9878 -x9876 -x9874 -x9872 -x9870 -x9868 -x9866 -x9864 -x9862 -x9860 
31.90/31.91	v -x9858 -x9856 -x9854 -x9852 -x9850 -x9848 -x9846 -x9844 -x9842 -x9840 -x9838 -x9836 -x9834 -x9832 -x9830 -x9828 -x9826 -x9824 
31.90/31.91	v -x9822 -x9820 -x9818 -x9816 -x9814 -x9812 -x9810 -x9808 -x9806 -x9804 -x9802 -x9800 -x9798 -x9796 -x9794 -x9792 -x9790 -x9788 
31.90/31.91	v -x9786 -x9784 -x9782 -x9780 -x9778 -x9776 -x9773 -x9771 -x9769 -x9767 -x9765 -x9763 -x9761 -x9759 -x9757 -x9755 -x9753 -x9751 
31.90/31.91	v -x9749 -x9747 -x9745 -x9743 -x9741 -x9739 -x9737 -x9735 -x9733 -x9731 -x9729 -x9727 -x9725 -x9723 -x9721 -x9719 -x9717 -x9715 
31.90/31.91	v -x9713 -x9711 -x9709 -x9707 -x9705 -x9703 -x9701 -x9699 -x9697 -x9695 -x219 -x9693 x218 x217 x216 -x215 -x214 -x9691 -x213 
31.90/31.91	v -x9689 -x9687 -x9685 -x212 -x9683 -x9681 -x9679 -x9677 -x9675 -x211 -x210 -x209 -x9673 -x208 -x9671 -x9669 -x207 -x9667 -x206 
31.90/31.91	v -x9665 -x9663 -x9661 -x9659 -x9657 -x205 -x9655 -x9653 -x9651 -x204 -x9649 -x9647 -x9645 -x9643 -x9641 -x9639 -x9637 -x9635 
31.90/31.91	v x9633 -x9631 -x9629 -x9627 -x9625 x203 -x202 -x201 x200 -x199 -x198 -x9623 -x9621 -x197 -x9619 -x9617 -x9615 -x9613 -x196 
31.90/31.91	v -x195 -x194 -x193 -x9611 -x192 -x9609 -x191 -x9607 -x9605 -x9603 -x9601 -x9599 -x190 -x9597 -x9595 -x9593 -x9591 -x9589 -x9587 
31.90/31.91	v -x189 -x9585 -x9583 -x9581 -x9579 -x9577 -x9575 -x9573 -x9571 -x9569 -x9567 -x9565 -x9563 -x9561 -x9559 -x9557 -x9555 -x188 
31.90/31.91	v -x9553 -x9551 -x187 -x9549 -x9547 -x9545 -x186 -x9543 x185 -x9541 -x9539 -x9537 -x9535 -x9533 -x9531 -x9529 -x9527 -x9525 -x9523 
31.90/31.91	v -x9521 -x9519 -x9517 -x184 -x9515 -x9513 -x9511 -x9509 -x9507 -x183 -x9505 -x9503 -x9501 -x9499 -x9497 -x9495 -x9493 -x9491 
31.90/31.91	v -x9489 -x9487 -x9485 -x9483 -x9481 -x9479 -x9477 -x182 -x9475 -x9473 -x9471 -x9469 -x9467 -x9465 -x9463 -x9461 -x9459 -x9457 
31.90/31.91	v -x9455 -x9453 -x9451 -x9449 -x9447 -x181 -x9445 -x9443 -x9441 -x9439 -x9437 -x9435 -x9433 -x9431 -x9429 -x9427 -x9425 -x9423 
31.90/31.91	v -x9421 -x9419 -x9417 -x9415 -x9413 -x9411 -x9409 -x9407 -x9405 -x9403 -x9401 -x9399 -x9397 -x9395 -x9393 -x9391 -x9389 -x9387 
31.90/31.91	v -x9385 -x9383 -x9381 -x9379 -x9377 -x9375 -x9373 -x9371 -x9369 -x9367 -x9365 -x9363 -x9361 -x9359 -x9357 -x9355 -x180 -x9353 
31.90/31.91	v -x179 -x9351 -x9349 -x9347 -x9345 -x9343 -x9341 -x178 -x9339 -x9337 -x9335 -x9333 -x177 -x9331 -x9329 -x9327 -x9325 -x9323 
31.90/31.91	v -x9321 -x9319 -x9317 -x9315 -x9313 -x9311 -x9309 -x9307 -x9305 -x9303 -x9301 -x9299 -x9297 -x9295 -x9293 -x176 -x9291 x9289 
31.90/31.91	v x175 -x9287 -x174 -x9285 -x173 x9283 -x9281 x172 -x9279 -x9277 -x9275 -x171 -x9273 -x9271 -x9269 -x9267 -x9265 -x9263 -x9261 
31.90/31.91	v -x170 -x9259 -x9257 -x9255 -x9253 -x169 -x9251 -x9249 -x9247 -x9245 -x9243 -x9241 -x9239 -x9237 -x9235 -x9233 -x9231 -x9229 
31.90/31.91	v -x9227 -x9225 -x9223 -x9221 -x168 -x9219 -x167 -x9217 -x9215 -x9213 -x9211 -x166 -x9209 -x9207 -x9205 -x9203 -x9201 -x165 -x9199 
31.90/31.91	v -x9197 -x9195 -x9193 -x9191 -x9189 -x9187 -x9185 -x9183 -x9181 -x9179 -x9177 -x9175 -x164 -x9173 -x9171 -x9169 -x9167 -x9165 
31.90/31.91	v -x163 -x9163 -x9161 -x9159 -x9157 -x9155 -x9153 -x9151 -x9149 -x9147 -x9145 -x9143 -x9141 -x9139 -x9137 -x9135 -x9133 -x9131 
31.90/31.91	v -x9129 -x9127 -x9125 -x9123 -x9121 -x162 -x9119 -x9117 -x9115 -x9113 -x9111 -x9109 -x9107 -x9105 -x9103 -x9101 -x9099 -x9097 
31.90/31.91	v -x9095 -x9093 -x9091 -x9089 -x9087 -x161 -x9085 -x9083 -x9081 -x9079 -x9077 -x9075 -x9073 -x9071 -x9069 -x9067 -x9065 -x9063 
31.90/31.91	v -x9061 -x9059 -x9057 -x9055 -x9053 -x9051 -x9049 -x9047 -x9045 -x9043 -x9041 -x9039 -x9037 -x9035 -x9033 -x9031 -x9029 
31.90/31.91	v -x9027 -x9025 -x9023 -x9021 -x9019 -x9017 -x9015 -x9013 -x9011 -x9009 -x9007 -x9005 -x9003 -x9001 -x8999 -x8997 -x8995 -x8993 
31.90/31.91	v -x8991 -x8989 -x8987 -x8985 -x8983 -x160 -x8981 x8979 x159 -x8977 -x8975 -x8973 -x158 -x8971 -x8969 -x8967 -x8965 -x8963 -x8961 
31.90/31.91	v -x157 -x8959 -x8957 -x8955 -x8953 -x8951 -x8949 -x8947 -x8945 -x8943 -x8941 -x8939 -x8937 -x8935 -x8933 -x8931 -x8929 -x156 
31.90/31.91	v -x8927 -x8925 -x8923 -x8921 -x155 -x8919 -x8917 -x8915 -x8913 -x8911 -x8909 -x8907 -x8905 -x154 -x8903 -x8901 x8899 -x8897 
31.90/31.91	v -x8895 x153 -x8893 -x8891 -x8889 -x8887 -x8885 -x8883 -x8881 -x8879 -x8877 -x8875 -x8873 -x8871 -x8869 -x8867 -x8865 -x8863 
31.90/31.91	v -x8861 -x8859 -x152 -x8857 -x8855 -x8853 -x8851 -x8849 -x8847 -x8845 -x151 -x8843 -x8841 -x8839 -x8837 -x8835 -x8833 -x8831 -x8829 
31.90/31.91	v -x8827 -x8825 -x8823 -x8821 -x8819 -x8817 -x8815 -x8813 -x8811 -x8809 -x8807 -x150 -x8805 -x8803 -x8801 -x8799 -x8797 -x8795 
31.90/31.91	v -x8793 -x8791 -x8789 -x8787 -x8785 -x8783 -x8781 -x8779 -x8777 -x8775 -x8773 -x149 -x8771 -x8769 -x8767 -x8765 -x8763 -x8761 
31.90/31.91	v -x8759 -x8757 -x8755 -x8753 -x8751 -x8749 -x8747 -x8745 -x8743 -x8741 -x8739 -x8737 -x8735 -x8733 -x8731 -x8729 -x8727 
31.90/31.91	v -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 -x8713 -x8711 -x8709 -x8707 -x8705 -x8703 -x8701 -x8699 -x8697 -x8695 -x8693 -x8691 
31.90/31.91	v -x8689 -x8687 -x8685 -x8683 -x8681 -x8679 -x148 -x8677 -x8675 -x8673 -x8671 -x8669 -x8667 -x8665 -x8663 -x8661 -x147 -x8659 
31.90/31.91	v -x8657 -x8655 -x8653 -x8651 -x8649 -x8647 -x8645 -x8643 -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629 -x8627 -x8625 -x8623 
31.90/31.91	v -x8621 -x8619 -x8617 -x8615 -x146 -x8613 -x8611 -x8609 -x8607 -x8605 -x8603 -x8601 -x8599 -x8597 -x8595 -x8593 -x8591 -x8589 
31.90/31.91	v -x8587 -x8585 -x8583 -x8581 -x8579 -x8577 -x145 -x8575 -x8573 -x8571 -x8569 -x8567 -x8565 -x8563 -x8561 -x8559 -x8557 -x8555 
31.90/31.91	v -x8553 -x8551 -x8549 -x8547 -x8545 -x8543 -x8541 -x8539 -x8537 -x8535 -x8533 -x8531 -x8529 -x8527 -x8525 -x8523 -x8521 -x8519 
31.90/31.91	v -x8517 -x8515 -x8513 -x8511 -x8509 -x8507 -x8505 -x8503 -x8501 -x8499 -x8497 -x8495 -x8493 -x8491 -x8489 -x8487 -x8485 -x144 
31.90/31.91	v -x8483 -x8481 -x8479 -x8477 -x8475 -x8473 -x8471 -x8469 -x8467 -x8465 -x8463 -x8461 -x8459 -x8457 -x8455 -x8453 -x8451 -x8449 
31.90/31.91	v -x8447 -x8445 -x8443 -x143 -x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 -x8427 -x8425 -x8423 -x8421 -x8419 -x8417 -x8415 
31.90/31.91	v -x8413 -x8411 -x8409 -x8407 -x8405 -x8403 -x8401 -x8399 -x8397 -x8395 -x8393 -x8391 -x8389 -x8387 -x8385 -x8383 -x8381 -x8379 
31.90/31.91	v -x8377 -x8375 -x8373 -x8371 -x8369 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 -x8355 -x8353 -x8351 -x8349 -x8347 -x8345 -x8343 
31.90/31.91	v -x8341 -x8339 -x8337 -x142 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 -x8323 -x8321 -x8319 -x8317 -x8315 -x8313 -x8311 -x8309 
31.90/31.91	v -x8307 -x8305 -x8303 -x8301 -x8299 -x8297 -x8295 -x8293 -x8291 -x8289 -x8287 -x8285 -x8283 -x8281 -x8279 -x8277 -x8275 -x8273 
31.90/31.91	v -x8271 -x8269 -x8267 -x8265 -x8263 -x8261 -x8259 -x8257 -x8255 -x8253 -x8251 -x8249 -x8247 -x8245 -x8243 -x8241 -x8239 
31.90/31.91	v -x8237 -x8235 -x8233 -x8231 -x141 -x8229 -x8227 -x8225 -x8223 -x8221 -x8219 -x8217 -x8215 -x8213 -x8211 -x8209 -x8207 -x8205 
31.90/31.91	v -x8203 -x8201 -x8199 -x8197 -x8195 -x8193 -x8191 -x8189 -x8187 -x8185 -x8183 -x8181 -x8179 -x8177 -x8175 -x8173 -x8171 -x8169 
31.90/31.91	v -x8167 -x8165 -x8163 -x8161 -x8159 -x8157 -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x8143 -x8141 -x8139 -x8137 -x8134 -x8132 
31.90/31.91	v -x8130 -x8128 -x8126 -x8124 -x8122 -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108 -x8106 -x8104 -x8102 -x8100 -x8098 -x8096 
31.90/31.91	v -x8094 -x8092 -x8090 -x8088 -x8086 -x8084 -x8082 -x8080 -x8078 -x8076 -x8074 -x8072 -x8070 -x8068 -x8066 -x8064 -x8062 -x8060 
31.90/31.91	v -x8058 -x8056 -x8054 -x8052 -x8050 -x8048 -x8046 -x8044 -x8042 -x8040 -x8038 -x8036 -x8034 -x8032 -x8030 -x8028 -x8026 -x8024 
31.90/31.91	v -x8022 -x8020 -x8018 -x8016 -x8014 -x8012 -x8010 -x8008 -x8006 -x8004 -x8002 -x8000 -x7998 -x7996 -x7994 -x140 -x7992 -x7990 
31.90/31.91	v -x7988 -x7986 -x7984 -x7982 -x139 -x7980 -x7978 -x7976 -x7974 -x7972 -x7970 -x7968 -x7966 -x7964 -x7962 -x7960 -x7958 -x7956 
31.90/31.91	v -x7954 -x7952 -x7950 -x7948 -x7946 -x7944 -x7942 -x7940 -x138 -x7938 -x7936 -x7934 -x7932 -x7930 -x7928 -x7926 -x7924 -x7922 
31.90/31.91	v -x7920 -x7918 -x7916 -x7914 -x7912 -x7910 -x7908 -x7906 -x7904 -x7902 -x7900 -x7898 -x7896 -x7894 -x137 -x7892 -x7890 -x7888 
31.90/31.91	v -x7886 -x7884 -x7882 -x7880 -x7878 -x7876 -x7874 -x7871 -x7869 -x7867 -x7865 -x7863 -x7861 -x7859 -x7857 -x7855 -x7853 -x7851 
31.90/31.91	v -x7849 -x7847 -x7845 -x7843 -x7841 -x7839 -x7837 -x7835 -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 
31.90/31.91	v -x7815 -x7813 -x7811 -x7809 -x7807 -x7805 -x7803 -x7801 -x7799 -x7797 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 -x136 -x7783 
31.90/31.91	v -x7781 x135 -x7778 -x7776 x134 -x7774 -x7772 -x7770 -x7768 -x133 -x7766 -x7764 -x7762 -x7760 -x7758 -x7756 -x7754 -x132 -x7752 
31.90/31.91	v -x7750 -x7748 -x131 -x7746 -x7744 -x7742 -x7740 -x7738 -x7736 -x7734 -x7732 -x7730 -x130 -x7728 -x7726 -x7724 -x7721 -x7719 
31.90/31.91	v -x7717 -x7715 -x129 -x7713 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x7692 -x7690 -x7688 -x7686 -x7684 
31.90/31.91	v -x7682 -x7680 -x7678 -x7676 -x7674 -x128 -x7672 -x7670 -x127 -x7668 -x7666 -x7664 -x7662 -x7660 -x7658 -x126 -x7656 -x7654 -x7652 
31.90/31.91	v -x7650 -x7648 -x7646 -x7644 -x7642 -x125 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x7628 -x7626 -x7624 -x7622 -x7620 -x7618 
31.90/31.91	v -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x124 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 -x7588 x123 -x7586 
31.90/31.91	v -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 -x7554 -x7552 -x7550 
31.90/31.91	v -x7548 -x7546 -x7544 -x122 -x7542 -x7540 -x7538 -x7536 -x7534 -x7532 -x7530 -x7528 -x7526 -x7524 -x7522 -x7520 -x7518 -x7516 
31.90/31.91	v -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x121 -x7498 -x7496 -x7494 -x7492 -x7490 -x7488 -x7486 -x7484 -x7482 
31.90/31.91	v -x7480 -x7478 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454 -x7452 -x7450 -x7448 -x7446 
31.90/31.91	v -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422 -x7420 -x7418 -x7416 -x7414 -x7412 
31.90/31.91	v -x7410 -x7408 -x7406 -x7404 -x7402 -x7400 -x7398 -x7396 -x7394 -x120 -x7392 -x7390 -x7388 -x7386 -x119 -x7384 -x7382 -x7380 -x7378 
31.90/31.91	v -x7376 -x7374 -x7372 -x7370 -x7368 -x7366 -x7364 -x118 -x7362 -x7360 -x7358 -x7356 -x7354 -x7352 -x7350 x117 -x7348 -x7346 
31.90/31.91	v -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x116 -x7330 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 
31.90/31.91	v -x7309 -x7307 -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x115 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x114 -x7281 -x7279 
31.90/31.91	v -x7277 -x7275 -x7273 -x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 
31.90/31.91	v -x7241 -x7239 -x7237 -x7235 -x113 -x7233 -x7231 -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 
31.90/31.91	v -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x112 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 
31.90/31.91	v -x7173 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 
31.90/31.91	v -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112 -x7110 -x7108 -x7106 -x7104 -x7102 
31.90/31.91	v -x7100 -x7098 -x7096 -x7094 -x111 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080 -x110 -x7078 -x7076 -x7074 -x7072 -x7070 
31.90/31.91	v -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x109 -x7036 
31.90/31.91	v -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 -x7002 -x7000 
31.90/31.91	v -x6998 -x6996 -x6994 -x6992 -x108 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 
31.90/31.91	v -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x6938 -x6936 -x6934 -x6932 
31.90/31.91	v -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 
31.90/31.91	v -x6894 -x6892 -x107 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 
31.90/31.91	v -x6860 -x6857 -x106 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 
31.90/31.91	v -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 
31.90/31.91	v -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 
31.90/31.91	v -x6753 -x6751 -x6749 -x105 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 
31.90/31.91	v -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 
31.90/31.91	v -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 
31.90/31.91	v -x6647 -x6645 -x6643 -x6641 -x104 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 
31.90/31.91	v -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 
31.90/31.91	v -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 
31.90/31.91	v -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 
31.90/31.91	v -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 
31.90/31.91	v -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 
31.90/31.91	v -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x103 -x6407 -x6405 -x6403 
31.90/31.91	v -x6401 -x6399 -x102 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x101 -x6372 -x6370 
31.90/31.91	v -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x100 -x6350 -x6348 -x6346 -x6343 -x6341 -x6339 -x6337 -x6335 
31.90/31.91	v -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x99 -x6303 -x6301 
31.90/31.91	v -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x98 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 
31.90/31.91	v -x6265 -x6263 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x97 -x6231 
31.90/31.91	v -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 -x6202 -x6200 -x6198 -x6196 
31.90/31.91	v -x6194 -x6192 -x6190 -x96 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 
31.90/31.91	v -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6138 -x6136 -x6134 -x6132 -x6130 -x6128 -x6126 
31.90/31.91	v -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x6092 -x6090 
31.90/31.91	v -x6088 -x6086 -x6084 -x6082 -x6080 -x95 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x94 -x6060 -x6058 -x6056 
31.90/31.91	v -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6022 -x6020 
31.90/31.91	v -x6018 -x6016 -x93 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 
31.90/31.91	v -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x92 -x5964 -x5962 -x5960 -x5958 -x5955 -x5953 -x5951 
31.90/31.91	v -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 
31.90/31.91	v -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 
31.90/31.91	v -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x91 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 
31.90/31.91	v -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x90 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 
31.90/31.91	v -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 
31.90/31.91	v -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 
31.90/31.91	v -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x89 -x5704 
31.90/31.91	v -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 
31.90/31.91	v -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 
31.90/31.91	v -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 
31.90/31.91	v -x88 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 
31.90/31.91	v -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 
31.90/31.91	v -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 
31.90/31.91	v -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 
31.90/31.91	v -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 
31.90/31.91	v -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 
31.90/31.91	v -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x87 -x5354 -x5352 -x5350 
31.90/31.91	v -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x86 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 
31.90/31.91	v -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 
31.90/31.91	v -x5278 -x5276 -x5274 -x5272 -x85 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 
31.90/31.91	v -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x84 -x5214 -x5212 
31.90/31.91	v -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 
31.90/31.91	v -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 
31.90/31.91	v -x5138 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 
31.90/31.91	v -x5101 -x5099 -x83 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 
31.90/31.91	v -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x82 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 
31.90/31.91	v -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 
31.90/31.91	v -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 
31.90/31.91	v -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x81 
31.90/31.91	v -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 
31.90/31.91	v -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 
31.90/31.91	v -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 
31.90/31.91	v -x4821 -x4819 -x4817 -x80 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 
31.90/31.91	v -x4785 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 
31.90/31.91	v -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 
31.90/31.91	v -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 
31.90/31.91	v -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 
31.90/31.91	v -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 
31.90/31.91	v -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x79 -x4574 
31.90/31.91	v -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 
31.90/31.91	v -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x78 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 
31.90/31.91	v -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 
31.90/31.91	v -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 
31.90/31.91	v -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x77 
31.90/31.91	v -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 
31.90/31.91	v -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 
31.90/31.91	v -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 
31.90/31.91	v -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x76 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 
31.90/31.91	v -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 
31.90/31.91	v -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 
31.90/31.91	v -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 
31.90/31.91	v -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 
31.90/31.91	v -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 
31.90/31.91	v -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 
31.90/31.91	v -x4039 -x4037 -x4035 -x4033 -x4031 -x75 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 
31.90/31.91	v -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 
31.90/31.91	v -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 
31.90/31.91	v -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x74 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 
31.90/31.91	v -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 
31.90/31.91	v -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 
31.90/31.91	v -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 
31.90/31.91	v -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 
31.90/31.91	v -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 
31.90/31.91	v -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 
31.90/31.91	v -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x73 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 
31.90/31.91	v -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 
31.90/31.91	v -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 
31.90/31.91	v -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 
31.90/31.91	v -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 
31.90/31.91	v -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 
31.90/31.91	v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 
31.90/31.91	v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x72 -x3411 -x3409 -x3407 -x3405 
31.90/31.91	v -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 
31.90/31.91	v -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 
31.90/31.91	v -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 
31.90/31.91	v -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 
31.90/31.91	v -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 
31.90/31.91	v -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 
31.90/31.91	v -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 
31.90/31.91	v -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 
31.90/31.91	v -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 
31.90/31.91	v -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 
31.90/31.91	v -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 
31.90/31.91	v -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 
31.90/31.91	v -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 
31.90/31.91	v -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 
31.90/31.91	v -x2902 x71 x2900 x70 -x69 -x2898 -x2896 -x68 -x2894 -x2892 -x67 -x2890 -x2888 -x2886 -x2884 -x66 -x65 -x2882 -x64 -x2880 -x2878 
31.90/31.91	v -x63 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x62 -x2860 -x2858 -x61 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 
31.90/31.91	v -x2844 -x2842 -x2840 -x60 -x2838 -x2836 -x59 -x2834 -x58 -x57 -x2832 -x2830 -x2828 -x2826 -x2824 -x56 -x2822 -x2820 -x2818 
31.90/31.91	v -x55 -x2816 -x2814 -x2812 -x2809 -x2807 -x2805 -x2803 -x2801 -x54 -x2799 -x2796 -x2794 -x53 -x2792 -x2790 -x2788 -x2786 -x2784 
31.90/31.91	v -x2782 -x2780 -x52 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x51 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 
31.90/31.91	v -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2717 -x2715 
31.90/31.91	v -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x50 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 
31.90/31.91	v -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x49 -x2649 -x2647 
31.90/31.91	v -x48 -x2645 -x2643 -x2641 -x2639 -x47 -x2637 -x2635 -x2633 -x2631 -x46 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x45 
31.90/31.91	v -x2615 -x2613 -x2611 -x2609 -x2607 -x44 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x43 -x2589 -x2587 -x2585 -x2583 
31.90/31.91	v -x2581 -x2579 -x2577 -x2575 -x2573 -x42 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 
31.90/31.91	v -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x41 -x2525 -x2523 -x2521 -x2519 x40 x2517 
31.90/31.91	v -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x39 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 
31.90/31.91	v -x38 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 
31.90/31.91	v -x2445 -x2443 -x2441 -x2439 -x37 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x36 -x2415 
31.90/31.91	v -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 
31.90/31.91	v -x2377 -x2375 -x2373 -x2371 -x35 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 
31.90/31.91	v -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x34 -x2319 -x2317 -x2315 -x2313 -x2311 
31.90/31.91	v -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 
31.90/31.91	v -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 
31.90/31.91	v -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x33 -x2209 -x2207 x2205 
31.90/31.91	v x32 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x31 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x30 -x2179 -x2176 -x2174 -x2172 
31.90/31.91	v -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 x29 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x28 -x2143 -x2141 -x2139 -x2137 
31.90/31.91	v -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x27 -x2121 -x2119 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 
31.90/31.91	v -x2100 x26 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2069 -x2067 
31.90/31.91	v -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x25 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x24 -x2037 -x2035 -x2033 
31.90/31.91	v -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x23 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 
31.90/31.91	v -x1997 -x1995 -x1993 -x1991 -x22 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 
31.90/31.91	v -x1963 -x1961 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x21 -x1940 -x1938 -x1936 -x1933 -x1931 -x1929 
31.90/31.91	v -x1927 -x1925 -x1923 -x1921 -x1919 -x20 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 
31.90/31.91	v -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x19 -x1861 
31.90/31.91	v -x1859 -x1856 -x1854 -x1852 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 
31.90/31.91	v -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x18 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 
31.90/31.91	v -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 
31.90/31.91	v -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 
31.90/31.91	v -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x17 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 
31.90/31.91	v -x1681 -x16 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x15 -x1651 -x1649 
31.90/31.91	v -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x14 -x1623 -x1621 -x1619 -x1617 -x1615 
31.90/31.91	v -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1584 -x1582 -x1580 -x1578 
31.90/31.91	v -x1576 -x1574 -x1572 -x1570 -x13 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 
31.90/31.91	v -x12 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 
31.90/31.91	v -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x11 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 
31.90/31.91	v -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1438 
31.90/31.91	v -x1436 -x1434 -x1432 -x1430 -x10 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 
31.90/31.91	v -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 
31.90/31.91	v -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 
31.90/31.91	v -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x9 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 
31.90/31.91	v -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x8 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 
31.90/31.91	v -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 
31.90/31.91	v -x1226 -x7 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 
31.90/31.91	v -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x6 -x1164 -x1162 -x1160 -x1158 
31.90/31.91	v -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 
31.90/31.91	v -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 
31.90/31.91	v -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 
31.90/31.91	v -x1049 -x1047 -x5 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 
31.90/31.91	v -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x4 -x984 -x982 -x980 -x978 
31.90/31.91	v -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 
31.90/31.91	v -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 
31.90/31.91	v -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x3 -x860 -x858 -x856 -x854 
31.90/31.91	v -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 
31.90/31.91	v -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 
31.90/31.91	v -x768 -x766 -x764 -x762 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x740 -x738 -x2 -x736 -x734 -x732 -x730 -x728 
31.90/31.91	v -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 
31.90/31.91	v -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 
31.90/31.91	v -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 
31.90/31.91	v -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 
31.90/31.91	v -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 
31.90/31.91	v -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x489 -x487 -x485 -x483 -x12615 -x12613 
31.90/31.91	v -x12611 -x12609 -x12607 -x12605 -x12603 -x12601 -x12599 -x12597 -x12595 -x12593 -x12591 -x12589 -x12587 -x12585 -x12583 -x12581 
31.90/31.91	v -x12579 -x12577 -x12575 -x12573 -x12571 -x12569 -x12567 -x12565 -x12563 -x12561 -x12559 -x12557 -x12555 -x12553 -x12551 -x12549 
31.90/31.91	v -x12547 -x12545 -x12543 -x12541 -x12539 -x12537 -x12535 -x12533 -x12531 -x12529 -x12527 -x12525 -x12523 -x12521 -x12519 
31.90/31.91	v -x12517 -x12515 -x12513 -x12511 -x12509 -x12507 -x12505 -x12503 -x12501 -x12499 -x12497 -x12495 -x12493 -x12491 -x12489 -x12487 
31.90/31.91	v -x12485 -x12483 -x12481 -x12479 -x12477 -x12475 -x12473 -x12471 -x12469 -x12467 -x12465 -x12463 -x12461 -x12459 -x12457 -x12455 
31.90/31.91	v -x12453 -x12451 -x12449 -x12447 -x12445 -x12443 -x12441 -x12439 -x12437 -x12435 -x12433 -x12431 -x12429 -x12427 -x12425 
31.90/31.91	v -x12423 -x12421 -x12419 -x12417 -x12415 -x12413 -x12411 -x12409 -x12407 -x12405 -x12403 -x12401 -x12399 -x12397 -x12395 -x12393 
31.90/31.91	v -x12391 -x12389 -x12387 -x12385 -x12383 -x12381 -x12379 -x12377 -x12375 -x12373 -x12371 -x12369 -x12367 -x12365 -x12363 
31.90/31.91	v -x12361 -x12359 -x12357 -x12355 -x12353 -x12351 -x12349 -x12347 -x12345 -x12343 -x12341 -x12339 -x12338 -x12336 -x12334 -x12332 
31.90/31.91	v x12330 -x12328 -x12326 -x12324 -x12322 -x12320 -x12318 -x12316 -x12314 -x12312 -x12310 -x12308 -x12306 -x12304 -x12302 -x12300 
31.90/31.91	v -x12298 -x12296 -x12294 -x12292 -x12290 -x12288 -x12286 -x12284 -x12282 -x12280 -x12278 -x12276 -x12274 -x12272 -x12270 
31.90/31.91	v -x12268 -x12266 -x12264 -x12262 -x12261 -x12259 -x12257 -x12255 -x12253 -x12251 -x12249 -x12247 -x12245 -x12243 -x12241 -x12239 
31.90/31.91	v -x12237 -x12235 -x12233 -x12231 -x12229 -x12227 -x12225 -x12223 -x12221 -x12219 -x12217 -x12215 -x12213 -x12211 -x12209 -x12207 
31.90/31.91	v -x12205 -x12203 -x12201 -x12199 -x12197 -x12195 -x12193 -x12191 -x12189 -x12187 -x12185 -x12183 -x12181 -x12179 -x12177 
31.90/31.91	v -x12175 -x12173 -x12171 -x12169 -x12167 -x12165 -x12163 -x12161 -x12159 -x12157 -x12155 -x12153 -x12151 -x12149 -x12147 -x12145 
31.90/31.91	v -x12143 -x12141 -x12139 -x12137 -x12135 -x12133 -x12132 -x12130 -x12128 -x12126 -x12124 -x12122 -x12120 -x12118 -x12116 -x12114 
31.90/31.91	v -x12112 -x12110 -x12108 -x12106 -x12104 -x12102 -x12100 -x12098 -x12096 -x12094 -x12092 -x12090 -x12088 -x12086 -x12084 
31.90/31.91	v -x12082 -x12080 -x12078 -x12076 -x12074 -x12072 -x12070 -x12068 -x12066 -x12064 -x12062 -x12060 -x12058 -x12056 -x12054 -x12052 
31.90/31.91	v -x12050 -x12048 -x12046 -x12044 -x12042 -x12040 -x12038 -x12036 -x12034 -x12032 -x12030 -x12028 -x12026 -x12024 -x12022 
31.90/31.91	v -x12020 -x12018 -x12016 -x12014 -x12012 -x12010 -x12008 -x12006 -x12004 x12003 -x12001 -x11999 -x11997 -x11995 -x11993 -x11991 
31.90/31.91	v -x11989 -x11987 -x11985 -x11983 -x11981 -x11979 -x11977 -x11975 -x11973 -x11971 -x11969 -x11967 -x11965 -x11963 -x11961 -x11959 
31.90/31.91	v -x11957 -x11955 -x11953 -x11951 -x11949 -x11947 -x11945 -x11943 -x11941 -x11939 -x11937 -x11935 -x11934 -x11932 -x11930 
31.90/31.91	v -x11928 -x11926 -x11924 -x11922 -x11920 -x11918 -x11916 -x11914 -x11912 -x11910 -x11908 -x11906 -x11904 -x11902 -x11900 -x11898 
31.90/31.91	v -x11896 -x11894 -x11892 -x11890 -x11888 -x11886 -x11884 -x11882 -x11880 -x11878 -x11876 -x11874 -x11872 -x11870 -x11868 -x11866 
31.90/31.91	v -x11864 -x11862 -x11860 -x11858 -x11856 -x11854 -x11852 -x11850 -x11848 -x11846 -x11844 -x11842 -x11840 -x11838 -x11836 
31.90/31.91	v -x11834 -x11832 -x11830 -x11828 -x11826 -x11824 -x11822 -x11820 -x11818 -x11816 -x11814 -x11812 -x11810 -x11809 -x11807 -x11805 
31.90/31.91	v -x11803 -x11801 -x11799 -x11797 -x11795 -x11793 -x11791 -x11789 -x11787 -x11785 -x11783 -x11781 -x11779 -x11777 -x11775 -x11773 
31.90/31.91	v -x11771 -x11769 -x11767 -x11765 -x11763 -x11761 -x11759 -x11757 -x11755 -x11753 -x11751 -x11749 -x11747 -x11745 -x11743 
31.90/31.91	v -x11741 -x11739 -x11737 -x11735 -x11733 -x11731 -x11729 -x11727 -x11725 -x11723 -x11721 -x11719 -x11717 -x11715 -x11713 -x11711 
31.90/31.91	v -x11709 -x11707 -x11705 -x11703 -x11701 -x11699 -x11697 -x11695 -x11693 -x11691 -x11689 -x11687 -x11685 -x11683 -x11681 
31.90/31.91	v -x11679 -x11677 -x11675 -x11673 -x11671 -x11669 -x11667 -x11665 -x11663 -x11661 -x11659 -x11657 -x11655 -x11653 -x11651 -x11649 
31.90/31.91	v -x11647 -x11645 -x11643 -x11641 -x11640 -x11638 -x11636 -x11634 -x11632 -x11630 -x11628 -x11626 -x11624 -x11622 -x11620 -x11618 
31.90/31.91	v -x11616 -x11614 -x11612 -x11610 -x11608 -x11606 -x11604 -x11602 -x11600 -x11598 -x11596 -x11594 -x11592 -x11590 -x11588 
31.90/31.91	v -x11586 -x11584 -x11582 -x11580 -x11578 -x11576 -x11574 -x11572 -x11570 -x11568 -x11566 -x11564 -x11562 -x11560 -x11558 -x11556 
31.90/31.91	v -x11554 -x11552 -x11550 -x11548 -x11546 -x11544 -x11542 -x11540 -x11538 -x11536 -x11534 -x11532 -x11530 -x11528 -x11526 -x11524 
31.90/31.91	v -x11522 -x11520 -x11519 -x11517 -x11515 -x11513 -x11511 -x11509 -x11507 -x11505 -x11503 -x11501 -x11499 -x11497 -x11495 
31.90/31.91	v -x11493 -x11491 -x11489 -x11487 -x11485 -x11483 -x11481 -x11479 -x11477 -x11475 -x11473 -x11471 -x11469 -x11467 -x11465 -x11463 
31.90/31.91	v -x11461 -x11459 -x11457 -x11455 -x11453 -x11451 -x11449 -x11447 -x11445 -x11443 -x11441 -x11439 -x11437 -x11435 -x11433 
31.90/31.91	v -x11431 -x11429 -x11427 -x11425 -x11423 -x11421 -x11419 -x11417 -x11415 -x11413 -x11411 -x11409 -x11407 -x11405 -x11404 -x11402 
31.90/31.91	v -x11400 -x11398 -x11396 -x11394 -x11392 -x11390 -x11388 -x11386 -x11384 -x11382 -x11380 -x11378 -x11376 -x11374 -x11372 -x11370 
31.90/31.91	v -x11368 -x11366 -x11364 -x11362 -x11360 -x11358 -x11356 -x11354 -x11352 -x11350 -x11348 -x11346 -x11344 -x11342 -x11341 
31.90/31.91	v -x11339 -x11337 -x11335 -x11333 -x11331 -x11329 -x11327 -x11325 -x11323 -x11321 -x11319 -x11317 -x11315 -x11313 -x11311 -x11309 
31.90/31.91	v -x11307 -x11305 -x11304 -x11302 -x11300 -x11298 -x11296 -x11294 -x11292 -x11290 -x11288 -x11286 -x11284 -x11282 -x11280 -x11278 
31.90/31.91	v -x11276 -x11274 -x11272 -x11270 -x11268 -x11266 -x11264 -x11262 -x11260 -x11258 -x11256 -x11254 -x11252 -x11250 -x11248 
31.90/31.91	v -x11246 -x11244 -x11242 -x11240 -x11238 -x11236 -x11234 -x11232 -x11230 -x11228 -x11226 -x11224 -x11222 -x11220 -x11218 -x11216 
31.90/31.91	v -x11214 -x11212 -x11210 -x11208 -x11206 -x11204 -x11202 -x11200 -x11198 -x11196 -x11194 -x11192 -x11190 -x11188 -x11186 
31.90/31.91	v -x11184 -x11182 -x11180 -x11178 -x11176 -x11174 -x11172 -x11170 -x11168 -x11166 -x11164 -x11162 -x11160 -x11158 -x11156 -x11154 
31.90/31.91	v -x11152 -x11150 -x11149 -x11147 -x11145 -x11143 -x11141 -x11139 -x11137 -x11135 -x11133 -x11131 -x11129 -x11127 -x11125 -x11123 
31.90/31.91	v -x11121 -x11119 -x11117 -x11115 -x11113 -x11111 -x11109 -x11107 -x11105 -x11103 -x11101 -x11099 -x11097 -x11095 -x11093 
31.90/31.91	v -x11091 -x11089 -x11087 -x11085 -x11083 -x11081 -x11079 -x11077 -x11075 -x11073 -x11071 -x11069 -x11067 -x11065 -x11063 -x11061 
31.90/31.91	v -x11059 -x11057 -x11055 -x11053 -x11051 -x11049 -x11047 -x11045 -x11043 -x11041 -x11039 -x11037 -x11035 -x11033 -x11032 -x11030 
31.90/31.91	v -x11028 -x11026 -x11024 -x11022 -x11020 -x11018 -x11016 -x11014 -x11012 -x11010 -x11008 -x11006 -x11004 -x11002 -x11000 
31.90/31.91	v -x10998 -x10996 -x10994 -x10992 -x10990 -x10988 -x10986 -x10984 -x10982 -x10980 -x10978 -x10976 -x10974 -x10972 -x10971 -x10969 
31.90/31.91	v -x10967 -x10965 -x10963 -x10961 -x10959 -x10957 -x10956 -x10954 -x10952 -x10950 -x10948 -x10946 -x10944 -x10942 -x10940 
31.90/31.91	v -x10938 -x10936 -x10934 -x10932 -x10930 -x10928 -x10926 -x10924 -x10922 -x10920 -x10918 -x10916 -x10914 -x10912 -x10910 -x10908 
31.90/31.91	v -x10906 -x10904 -x10902 -x10900 -x10898 -x10896 -x10894 -x10892 -x10890 -x10888 -x10886 -x10884 -x10882 -x10880 -x10878 -x10876 
31.90/31.91	v -x10874 -x10872 -x10870 -x10868 -x10866 -x10864 -x10862 -x10860 -x10858 -x10856 -x10854 -x10852 -x10850 -x10848 -x10846 
31.90/31.91	v -x10844 -x10842 -x10840 -x10838 -x10836 -x10834 -x10832 -x10830 -x10828 -x10826 -x10824 -x10822 -x10820 -x10818 -x10816 -x10814 
31.90/31.91	v -x10812 -x10810 -x10808 -x10806 -x10804 -x10802 -x10800 -x10798 -x10796 -x10794 -x10792 -x10790 -x10788 -x10786 -x10785 -x10783 
31.90/31.91	v -x10781 -x10779 -x10777 -x10775 -x10773 -x10771 -x10769 -x10767 -x10765 -x10763 -x10761 -x10759 -x10757 -x10755 -x10753 
31.90/31.91	v -x10751 -x10749 -x10747 -x10745 -x10743 -x10741 -x10739 -x10737 -x10735 -x10733 -x10731 -x10729 -x10727 -x10725 -x10723 -x10721 
31.90/31.91	v -x10719 -x10717 -x10716 -x10714 -x10712 -x10710 -x10708 -x10706 -x10704 -x10702 -x10700 -x10698 -x10696 -x10694 -x10692 
31.90/31.91	v -x10690 -x10688 -x10686 -x10684 -x10682 -x10680 -x10678 -x10676 -x10674 -x10672 -x10670 -x10668 -x10666 -x10664 -x10662 -x10660 
31.90/31.91	v -x10658 -x10656 -x10654 -x10652 -x10650 -x10648 -x10646 -x10644 -x10642 -x10640 -x10638 -x10636 -x10634 -x10632 -x10630 -x10628 
31.90/31.91	v -x10626 -x10624 -x10622 -x10620 -x10618 -x10616 -x10614 -x10612 -x10610 -x10608 -x10606 -x10604 -x10602 -x10600 -x10598 
31.90/31.91	v -x10596 -x10594 -x10592 -x10590 -x10588 -x10586 -x10584 -x10582 -x10580 -x10578 -x10576 -x10574 -x10572 -x10570 -x10568 -x10566 
31.90/31.91	v -x10564 -x10562 -x10560 -x10558 -x10556 -x10554 -x10552 -x10550 -x10548 -x10546 -x10544 -x10542 -x10540 -x10538 -x10536 -x10534 
31.90/31.91	v -x10532 -x10530 -x10528 -x10526 -x10524 -x10522 -x10520 -x10518 -x10516 -x10514 -x10512 -x10510 -x10508 -x10506 -x10504 
31.90/31.91	v -x10502 -x10500 -x10498 -x10496 -x10494 -x10492 -x10490 -x10488 -x10486 -x10484 -x10482 -x10480 -x10478 -x10476 -x10474 -x10472 
31.90/31.91	v -x10470 -x10468 -x10466 -x10464 -x10462 -x10460 -x10458 -x10456 -x10454 -x10452 -x10450 -x10448 -x10446 -x10444 -x10442 
31.90/31.91	v -x10440 -x10438 -x10436 -x10434 -x10432 -x10430 -x10428 -x10426 -x10424 -x10422 -x10420 -x10418 -x10416 -x10414 -x10412 -x10410 
31.90/31.91	v -x10408 -x10406 -x10404 -x10402 -x10400 -x10398 -x10396 -x10394 -x10392 -x10390 -x10388 -x10386 -x10384 -x10382 -x10380 -x10378 
31.90/31.91	v -x10376 -x10374 -x10372 -x10370 -x10368 -x10366 -x10364 -x10362 -x10360 -x10358 -x10356 -x10354 -x10352 -x10350 -x10348 
31.90/31.91	v -x10346 -x10344 -x10342 -x10340 -x10338 -x10336 -x10334 -x10332 -x10330 -x10328 -x10326 -x10324 -x10322 -x10320 -x10318 -x10316 
31.90/31.91	v -x10314 -x10312 -x10310 -x10308 -x10306 -x10304 -x10302 -x10300 -x10298 -x10296 -x10294 -x10292 -x10290 -x10288 -x10286 -x10284 
31.90/31.91	v -x10282 -x10280 -x10278 -x10276 -x10275 -x10273 -x10271 -x10269 -x10267 -x10265 -x10263 -x10261 -x10259 -x10257 -x10255 
31.90/31.91	v -x10253 -x10251 -x10249 -x10247 -x10245 -x10243 -x10241 -x10239 -x10237 -x10235 -x10233 -x10231 -x10229 -x10227 -x10225 -x10223 
31.90/31.91	v -x10221 -x10219 -x10217 -x10215 -x10213 -x10211 -x10209 -x10207 -x10205 -x10203 -x10201 -x10199 -x10197 -x10195 -x10193 
31.90/31.91	v -x10191 -x10189 -x10187 -x10185 -x10183 -x10181 -x10179 -x10177 -x10175 -x10173 -x10171 -x10169 -x10167 -x10165 -x10163 -x10161 
31.90/31.91	v -x10159 -x10157 -x10155 -x10153 -x10151 -x10149 -x10147 -x10145 -x10143 -x10141 -x10139 -x10137 -x10135 -x10133 -x10131 -x10129 
31.90/31.91	v -x10127 -x10125 -x10123 -x10122 -x10120 -x10118 -x10116 -x10114 -x10112 -x10110 -x10108 -x10106 -x10104 -x10102 -x10100 
31.90/31.91	v -x10098 -x10096 -x10095 -x10093 -x10091 -x10089 -x10087 -x10085 -x10083 -x10081 -x10079 -x10077 -x10075 -x10073 -x10071 -x10069 
31.90/31.91	v -x10067 -x10065 -x10063 -x10061 -x10059 -x10057 -x10055 -x10053 -x10051 -x10049 -x10047 -x10045 -x10043 -x10041 -x10039 -x10037 
31.90/31.91	v -x10035 -x10033 -x10031 -x10029 -x10027 -x10025 -x10024 -x10022 -x10020 -x10018 -x10016 -x10014 -x10012 -x10010 -x10008 
31.90/31.91	v -x10006 -x10004 -x10002 -x10000 -x9998 -x9996 -x9994 -x9992 -x9990 -x9988 -x9986 -x9984 -x9982 -x9980 -x9978 -x9976 -x9974 
31.90/31.91	v -x9972 -x9970 -x9968 -x9966 -x9964 -x9962 -x9960 -x9958 -x9956 -x9954 -x9952 -x9950 -x9948 -x9946 -x9944 -x9942 -x9940 -x9938 
31.90/31.91	v -x9936 -x9934 -x9932 -x9930 -x9928 -x9926 -x9924 -x9922 -x9920 -x9918 -x9916 -x9914 -x9912 -x9910 -x9908 -x9907 -x9905 -x9903 
31.90/31.91	v -x9901 -x9899 -x9897 -x9895 -x9893 -x9891 -x9889 -x9887 -x9885 -x9883 -x9881 -x9879 -x9877 -x9875 -x9873 -x9871 -x9869 -x9867 
31.90/31.91	v -x9865 -x9863 -x9861 -x9859 -x9857 -x9855 -x9853 -x9851 -x9849 -x9847 -x9845 -x9843 -x9841 -x9839 -x9837 -x9835 -x9833 -x9831 
31.90/31.91	v -x9829 -x9827 -x9825 -x9823 -x9821 -x9819 -x9817 -x9815 -x9813 -x9811 -x9809 -x9807 -x9805 -x9803 -x9801 -x9799 -x9797 -x9795 
31.90/31.91	v -x9793 -x9791 -x9789 -x9787 -x9785 -x9783 -x9781 -x9779 -x9777 -x9775 -x9774 -x9772 -x9770 -x9768 -x9766 -x9764 -x9762 -x9760 
31.90/31.91	v -x9758 -x9756 -x9754 -x9752 -x9750 -x9748 -x9746 -x9744 -x9742 -x9740 -x9738 -x9736 -x9734 -x9732 -x9730 -x9728 -x9726 
31.90/31.91	v -x9724 -x9722 -x9720 -x9718 -x9716 -x9714 -x9712 -x9710 -x9708 -x9706 -x9704 -x9702 -x9700 -x9698 -x9696 -x9694 -x9692 -x9690 
31.90/31.91	v -x9688 -x9686 -x9684 -x9682 -x9680 -x9678 -x9676 -x9674 -x9672 -x9670 -x9668 -x9666 -x9664 -x9662 -x9660 -x9658 -x9656 -x9654 
31.90/31.91	v -x9652 -x9650 -x9648 -x9646 -x9644 -x9642 -x9640 -x9638 -x9636 x9634 -x9632 -x9630 -x9628 -x9626 -x9624 -x9622 -x9620 -x9618 
31.90/31.91	v -x9616 -x9614 -x9612 -x9610 -x9608 -x9606 -x9604 -x9602 -x9600 -x9598 -x9596 -x9594 -x9592 -x9590 -x9588 -x9586 -x9584 -x9582 
31.90/31.91	v -x9580 -x9578 -x9576 -x9574 -x9572 -x9570 -x9568 -x9566 -x9564 -x9562 -x9560 -x9558 -x9556 -x9554 -x9552 -x9550 -x9548 -x9546 
31.90/31.91	v -x9544 -x9542 -x9540 -x9538 -x9536 -x9534 -x9532 -x9530 -x9528 -x9526 -x9524 -x9522 -x9520 -x9518 -x9516 -x9514 -x9512 -x9510 
31.90/31.91	v -x9508 -x9506 -x9504 -x9502 -x9500 -x9498 -x9496 -x9494 -x9492 -x9490 -x9488 -x9486 -x9484 -x9482 -x9480 -x9478 -x9476 -x9474 
31.90/31.91	v -x9472 -x9470 -x9468 -x9466 -x9464 -x9462 -x9460 -x9458 -x9456 -x9454 -x9452 -x9450 -x9448 -x9446 -x9444 -x9442 -x9440 
31.90/31.91	v -x9438 -x9436 -x9434 -x9432 -x9430 -x9428 -x9426 -x9424 -x9422 -x9420 -x9418 -x9416 -x9414 -x9412 -x9410 -x9408 -x9406 -x9404 
31.90/31.91	v -x9402 -x9400 -x9398 -x9396 -x9394 -x9392 -x9390 -x9388 -x9386 -x9384 -x9382 -x9380 -x9378 -x9376 -x9374 -x9372 -x9370 -x9368 
31.90/31.91	v -x9366 -x9364 -x9362 -x9360 -x9358 -x9356 -x9354 -x9352 -x9350 -x9348 -x9346 -x9344 -x9342 -x9340 -x9338 -x9336 -x9334 -x9332 
31.90/31.91	v -x9330 -x9328 -x9326 -x9324 -x9322 -x9320 -x9318 -x9316 -x9314 -x9312 -x9310 -x9308 -x9306 -x9304 -x9302 -x9300 -x9298 -x9296 
31.90/31.91	v -x9294 -x9292 x9290 -x9288 -x9286 x9284 -x9282 -x9280 -x9278 -x9276 -x9274 -x9272 -x9270 -x9268 -x9266 -x9264 -x9262 -x9260 
31.90/31.91	v -x9258 -x9256 -x9254 -x9252 -x9250 -x9248 -x9246 -x9244 -x9242 -x9240 -x9238 -x9236 -x9234 -x9232 -x9230 -x9228 -x9226 -x9224 
31.90/31.91	v -x9222 -x9220 -x9218 -x9216 -x9214 -x9212 -x9210 -x9208 -x9206 -x9204 -x9202 -x9200 -x9198 -x9196 -x9194 -x9192 -x9190 -x9188 
31.90/31.91	v -x9186 -x9184 -x9182 -x9180 -x9178 -x9176 -x9174 -x9172 -x9170 -x9168 -x9166 -x9164 -x9162 -x9160 -x9158 -x9156 -x9154 -x9152 
31.90/31.91	v -x9150 -x9148 -x9146 -x9144 -x9142 -x9140 -x9138 -x9136 -x9134 -x9132 -x9130 -x9128 -x9126 -x9124 -x9122 -x9120 -x9118 
31.90/31.91	v -x9116 -x9114 -x9112 -x9110 -x9108 -x9106 -x9104 -x9102 -x9100 -x9098 -x9096 -x9094 -x9092 -x9090 -x9088 -x9086 -x9084 -x9082 
31.90/31.91	v -x9080 -x9078 -x9076 -x9074 -x9072 -x9070 -x9068 -x9066 -x9064 -x9062 -x9060 -x9058 -x9056 -x9054 -x9052 -x9050 -x9048 -x9046 
31.90/31.91	v -x9044 -x9042 -x9040 -x9038 -x9036 -x9034 -x9032 -x9030 -x9028 -x9026 -x9024 -x9022 -x9020 -x9018 -x9016 -x9014 -x9012 -x9010 
31.90/31.91	v -x9008 -x9006 -x9004 -x9002 -x9000 -x8998 -x8996 -x8994 -x8992 -x8990 -x8988 -x8986 -x8984 -x8982 x8980 -x8978 -x8976 -x8974 
31.90/31.91	v -x8972 -x8970 -x8968 -x8966 -x8964 -x8962 -x8960 -x8958 -x8956 -x8954 -x8952 -x8950 -x8948 -x8946 -x8944 -x8942 -x8940 -x8938 
31.90/31.91	v -x8936 -x8934 -x8932 -x8930 -x8928 -x8926 -x8924 -x8922 -x8920 -x8918 -x8916 -x8914 -x8912 -x8910 -x8908 -x8906 -x8904 -x8902 
31.90/31.91	v x8900 -x8898 -x8896 -x8894 -x8892 -x8890 -x8888 -x8886 -x8884 -x8882 -x8880 -x8878 -x8876 -x8874 -x8872 -x8870 -x8868 -x8866 
31.90/31.91	v -x8864 -x8862 -x8860 -x8858 -x8856 -x8854 -x8852 -x8850 -x8848 -x8846 -x8844 -x8842 -x8840 -x8838 -x8836 -x8834 -x8832 -x8830 
31.90/31.91	v -x8828 -x8826 -x8824 -x8822 -x8820 -x8818 -x8816 -x8814 -x8812 -x8810 -x8808 -x8806 -x8804 -x8802 -x8800 -x8798 -x8796 
31.90/31.91	v -x8794 -x8792 -x8790 -x8788 -x8786 -x8784 -x8782 -x8780 -x8778 -x8776 -x8774 -x8772 -x8770 -x8768 -x8766 -x8764 -x8762 -x8760 
31.90/31.91	v -x8758 -x8756 -x8754 -x8752 -x8750 -x8748 -x8746 -x8744 -x8742 -x8740 -x8738 -x8736 -x8734 -x8732 -x8730 -x8728 -x8726 -x8724 
31.90/31.91	v -x8722 -x8720 -x8718 -x8716 -x8714 -x8712 -x8710 -x8708 -x8706 -x8704 -x8702 -x8700 -x8698 -x8696 -x8694 -x8692 -x8690 -x8688 
31.90/31.91	v -x8686 -x8684 -x8682 -x8680 -x8678 -x8676 -x8674 -x8672 -x8670 -x8668 -x8666 -x8664 -x8662 -x8660 -x8658 -x8656 -x8654 -x8652 
31.90/31.91	v -x8650 -x8648 -x8646 -x8644 -x8642 -x8640 -x8638 -x8636 -x8634 -x8632 -x8630 -x8628 -x8626 -x8624 -x8622 -x8620 -x8618 -x8616 
31.90/31.91	v -x8614 -x8612 -x8610 -x8608 -x8606 -x8604 -x8602 -x8600 -x8598 -x8596 -x8594 -x8592 -x8590 -x8588 -x8586 -x8584 -x8582 -x8580 
31.90/31.91	v -x8578 -x8576 -x8574 -x8572 -x8570 -x8568 -x8566 -x8564 -x8562 -x8560 -x8558 -x8556 -x8554 -x8552 -x8550 -x8548 -x8546 
31.90/31.91	v -x8544 -x8542 -x8540 -x8538 -x8536 -x8534 -x8532 -x8530 -x8528 -x8526 -x8524 -x8522 -x8520 -x8518 -x8516 -x8514 -x8512 -x8510 
31.90/31.91	v -x8508 -x8506 -x8504 -x8502 -x8500 -x8498 -x8496 -x8494 -x8492 -x8490 -x8488 -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 
31.90/31.91	v -x8472 -x8470 -x8468 -x8466 -x8464 -x8462 -x8460 -x8458 -x8456 -x8454 -x8452 -x8450 -x8448 -x8446 -x8444 -x8442 -x8440 -x8438 
31.90/31.91	v -x8436 -x8434 -x8432 -x8430 -x8428 -x8426 -x8424 -x8422 -x8420 -x8418 -x8416 -x8414 -x8412 -x8410 -x8408 -x8406 -x8404 -x8402 
31.90/31.91	v -x8400 -x8398 -x8396 -x8394 -x8392 -x8390 -x8388 -x8386 -x8384 -x8382 -x8380 -x8378 -x8376 -x8374 -x8372 -x8370 -x8368 -x8366 
31.90/31.91	v -x8364 -x8362 -x8360 -x8358 -x8356 -x8354 -x8352 -x8350 -x8348 -x8346 -x8344 -x8342 -x8340 -x8338 -x8336 -x8334 -x8332 -x8330 
31.90/31.91	v -x8328 -x8326 -x8324 -x8322 -x8320 -x8318 -x8316 -x8314 -x8312 -x8310 -x8308 -x8306 -x8304 -x8302 -x8300 -x8298 -x8296 
31.90/31.91	v -x8294 -x8292 -x8290 -x8288 -x8286 -x8284 -x8282 -x8280 -x8278 -x8276 -x8274 -x8272 -x8270 -x8268 -x8266 -x8264 -x8262 -x8260 
31.90/31.91	v -x8258 -x8256 -x8254 -x8252 -x8250 -x8248 -x8246 -x8244 -x8242 -x8240 -x8238 -x8236 -x8234 -x8232 -x8230 -x8228 -x8226 -x8224 
31.90/31.91	v -x8222 -x8220 -x8218 -x8216 -x8214 -x8212 -x8210 -x8208 -x8206 -x8204 -x8202 -x8200 -x8198 -x8196 -x8194 -x8192 -x8190 -x8188 
31.90/31.91	v -x8186 -x8184 -x8182 -x8180 -x8178 -x8176 -x8174 -x8172 -x8170 -x8168 -x8166 -x8164 -x8162 -x8160 -x8158 -x8156 -x8154 -x8152 
31.90/31.91	v -x8150 -x8148 -x8146 -x8144 -x8142 -x8140 -x8138 -x8136 -x8135 -x8133 -x8131 -x8129 -x8127 -x8125 -x8123 -x8121 -x8119 -x8117 
31.90/31.91	v -x8115 -x8113 -x8111 -x8109 -x8107 -x8105 -x8103 -x8101 -x8099 -x8097 -x8095 -x8093 -x8091 -x8089 -x8087 -x8085 -x8083 -x8081 
31.90/31.91	v -x8079 -x8077 -x8075 -x8073 -x8071 -x8069 -x8067 -x8065 -x8063 -x8061 -x8059 -x8057 -x8055 -x8053 -x8051 -x8049 -x8047 
31.90/31.91	v -x8045 -x8043 -x8041 -x8039 -x8037 -x8035 -x8033 -x8031 -x8029 -x8027 -x8025 -x8023 -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 
31.90/31.91	v -x8009 -x8007 -x8005 -x8003 -x8001 -x7999 -x7997 -x7995 -x7993 -x7991 -x7989 -x7987 -x7985 -x7983 -x7981 -x7979 -x7977 -x7975 
31.90/31.91	v -x7973 -x7971 -x7969 -x7967 -x7965 -x7963 -x7961 -x7959 -x7957 -x7955 -x7953 -x7951 -x7949 -x7947 -x7945 -x7943 -x7941 -x7939 
31.90/31.91	v -x7937 -x7935 -x7933 -x7931 -x7929 -x7927 -x7925 -x7923 -x7921 -x7919 -x7917 -x7915 -x7913 -x7911 -x7909 -x7907 -x7905 -x7903 
31.90/31.91	v -x7901 -x7899 -x7897 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7879 -x7877 -x7875 -x7873 -x7872 -x7870 -x7868 
31.90/31.91	v -x7866 -x7864 -x7862 -x7860 -x7858 -x7856 -x7854 -x7852 -x7850 -x7848 -x7846 -x7844 -x7842 -x7840 -x7838 -x7836 -x7834 -x7832 
31.90/31.91	v -x7830 -x7828 -x7826 -x7824 -x7822 -x7820 -x7818 -x7816 -x7814 -x7812 -x7810 -x7808 -x7806 -x7804 -x7802 -x7800 -x7798 
31.90/31.91	v -x7796 -x7794 -x7792 -x7790 -x7788 -x7786 -x7784 -x7782 x7780 -x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767 -x7765 -x7763 
31.90/31.91	v -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 -x7735 -x7733 -x7731 -x7729 -x7727 
31.90/31.91	v -x7725 -x7723 -x7722 -x7720 -x7718 -x7716 -x7714 -x7712 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695 -x7693 
31.90/31.91	v -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7673 -x7671 -x7669 -x7667 -x7665 -x7663 -x7661 -x7659 -x7657 
31.90/31.91	v -x7655 -x7653 -x7651 -x7649 -x7647 -x7645 -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 
31.90/31.91	v -x7619 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x7587 -x7585 
31.90/31.91	v -x7583 -x7581 -x7579 -x7577 -x7575 -x7573 -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x7553 -x7551 -x7549 
31.90/31.91	v -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 -x7521 -x7519 -x7517 -x7515 
31.90/31.91	v -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481 -x7479 
31.90/31.91	v -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449 -x7447 -x7445 -x7443 
31.90/31.91	v -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 -x7411 -x7409 -x7407 
31.90/31.91	v -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 -x7381 -x7379 -x7377 -x7375 -x7373 -x7371 
31.90/31.91	v -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341 -x7339 -x7337 -x7335 
31.90/31.91	v -x7333 -x7331 -x7329 -x7328 -x7326 -x7324 -x7322 -x7320 -x7318 -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 
31.90/31.91	v -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x7284 -x7282 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 
31.90/31.91	v -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 
31.90/31.91	v -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 -x7216 -x7214 -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 
31.90/31.91	v -x7192 -x7190 -x7188 -x7186 -x7184 -x7182 -x7180 -x7178 -x7176 -x7174 -x7172 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161 -x7159 
31.90/31.91	v -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 -x7127 -x7125 -x7123 
31.90/31.91	v -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 
31.90/31.91	v -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 
31.90/31.91	v -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017 
31.90/31.91	v -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981 
31.90/31.91	v -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 
31.90/31.91	v -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909 
31.90/31.91	v -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 -x6879 -x6877 -x6875 -x6873 
31.90/31.91	v -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x6840 -x6838 
31.90/31.91	v -x6836 -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 
31.90/31.91	v -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 
31.90/31.91	v -x6766 -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 
31.90/31.91	v -x6730 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 
31.90/31.91	v -x6694 -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 
31.90/31.91	v -x6658 -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x6630 -x6628 -x6626 -x6624 
31.90/31.91	v -x6622 -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 
31.90/31.91	v -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 
31.90/31.91	v -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 
31.90/31.91	v -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 
31.90/31.91	v -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 -x6446 
31.90/31.91	v -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 -x6412 -x6410 
31.90/31.91	v -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x6384 -x6382 -x6380 -x6378 -x6376 -x6374 
31.90/31.91	v -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6344 -x6342 -x6340 
31.90/31.91	v -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 -x6308 -x6306 -x6304 
31.90/31.91	v -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x6274 -x6272 -x6270 
31.90/31.91	v -x6268 -x6266 -x6264 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 -x6240 -x6238 -x6236 -x6234 
31.90/31.91	v -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 
31.90/31.91	v -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 
31.90/31.91	v -x6161 -x6159 -x6157 -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 
31.90/31.91	v -x6125 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 
31.90/31.91	v -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 
31.90/31.91	v -x6053 -x6051 -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 
31.90/31.91	v -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 
31.90/31.91	v -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5956 -x5954 -x5952 -x5950 
31.90/31.91	v -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 
31.90/31.91	v -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 
31.90/31.91	v -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5843 
31.90/31.91	v -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807 
31.90/31.91	v -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 
31.90/31.91	v -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 
31.90/31.91	v -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 
31.90/31.91	v -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 
31.90/31.91	v -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 
31.90/31.91	v -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 
31.90/31.91	v -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 
31.90/31.91	v -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 
31.90/31.91	v -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 
31.90/31.91	v -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 
31.90/31.91	v -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 
31.90/31.91	v -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 
31.90/31.91	v -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 
31.90/31.91	v -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 
31.90/31.91	v -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 
31.90/31.91	v -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 
31.90/31.91	v -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 
31.90/31.91	v -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 
31.90/31.91	v -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5136 -x5134 -x5132 -x5130 
31.90/31.91	v -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 
31.90/31.91	v -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 
31.90/31.91	v -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 
31.90/31.91	v -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 
31.90/31.91	v -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 
31.90/31.91	v -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 
31.90/31.91	v -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 
31.90/31.91	v -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 
31.90/31.91	v -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 
31.90/31.91	v -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4783 -x4781 -x4779 -x4777 -x4775 
31.90/31.91	v -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 
31.90/31.91	v -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 
31.90/31.91	v -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 
31.90/31.91	v -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 
31.90/31.91	v -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 
31.90/31.91	v -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 
31.90/31.91	v -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 
31.90/31.91	v -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 
31.90/31.91	v -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 
31.90/31.91	v -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 
31.90/31.91	v -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 
31.90/31.91	v -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 
31.90/31.91	v -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 
31.90/31.91	v -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 
31.90/31.91	v -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 
31.90/31.91	v -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 
31.90/31.91	v -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 
31.90/31.91	v -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 
31.90/31.91	v -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4100 -x4098 -x4096 
31.90/31.91	v -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 
31.90/31.91	v -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 
31.90/31.91	v -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 
31.90/31.91	v -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 
31.90/31.91	v -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 
31.90/31.91	v -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 
31.90/31.91	v -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 
31.90/31.91	v -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 
31.90/31.91	v -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 
31.90/31.91	v -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 
31.90/31.91	v -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 
31.90/31.91	v -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 
31.90/31.91	v -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 
31.90/31.91	v -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 
31.90/31.91	v -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 
31.90/31.91	v -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 
31.90/31.91	v -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 
31.90/31.91	v -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 
31.90/31.91	v -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 
31.90/31.91	v -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 
31.90/31.91	v -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 
31.90/31.91	v -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 
31.90/31.91	v -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 
31.90/31.91	v -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 
31.90/31.91	v -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 
31.90/31.91	v -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 
31.90/31.91	v -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 
31.90/31.91	v -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 
31.90/31.91	v -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 
31.90/31.91	v -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 x3028 -x3027 -x3025 
31.90/31.91	v -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 
31.90/31.91	v -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 
31.90/31.91	v -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 
31.90/31.91	v -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 
31.90/31.91	v -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 
31.90/31.91	v -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 
31.90/31.91	v -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 
31.90/31.91	v -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 
31.90/31.91	v -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 x2719 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 
31.90/31.91	v -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 
31.90/31.91	v -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 
31.90/31.91	v -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 
31.90/31.91	v -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 
31.90/31.91	v -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 
31.90/31.91	v -x2526 -x2524 -x2522 -x2520 x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 
31.90/31.91	v -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 
31.90/31.91	v -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 
31.90/31.91	v -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 
31.90/31.91	v -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 
31.90/31.91	v -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 
31.90/31.91	v -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 
31.90/31.91	v -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 
31.90/31.91	v -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 x2206 
31.90/31.91	v -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 x2178 -x2177 -x2175 -x2173 -x2171 
31.90/31.91	v -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2144 -x2142 -x2140 -x2138 -x2136 
31.90/31.91	v -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 x2118 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 
31.90/31.91	v -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2070 -x2068 -x2066 
31.90/31.91	v -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 
31.90/31.91	v -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 
31.90/31.91	v -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 
31.90/31.91	v -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1934 -x1932 -x1930 -x1928 -x1926 
31.90/31.91	v -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 
31.90/31.91	v -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1857 -x1855 
31.90/31.91	v -x1853 -x1851 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 
31.90/31.91	v -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 
31.90/31.91	v -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 
31.90/31.91	v -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 
31.90/31.91	v -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 
31.90/31.91	v -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 
31.90/31.91	v -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 
31.90/31.91	v -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 
31.90/31.91	v -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 
31.90/31.91	v -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 
31.90/31.91	v -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 
31.90/31.91	v -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1439 -x1437 -x1435 -x1433 -x1431 
31.90/31.91	v -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 
31.90/31.91	v -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 
31.90/31.91	v -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 
31.90/31.91	v -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 
31.90/31.91	v -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 
31.90/31.91	v -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 
31.90/31.91	v -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 
31.90/31.91	v -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 
31.90/31.91	v -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 
31.90/31.91	v -x1107 -x1105 -x1103 -x1101 -x1099 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 
31.90/31.91	v -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 
31.90/31.91	v -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 
31.90/31.91	v -x1002 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 
31.90/31.91	v -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 
31.90/31.91	v -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 
31.90/31.91	v -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 
31.90/31.91	v -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 
31.90/31.91	v -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x760 -x758 -x756 
31.90/31.91	v -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 
31.90/31.91	v -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 
31.90/31.91	v -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 
31.90/31.91	v -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 
31.90/31.91	v -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 
31.90/31.91	v -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 
31.90/31.91	v -x505 -x503 -x501 -x499 -x497 -x495 -x493 x491 -x490 -x488 -x486 -x484 
31.90/31.91	c SCIP Status        : problem is solved [optimal solution found]
31.90/31.91	c Total Time         :      31.88
31.90/31.91	c   solving          :      31.88
31.90/31.91	c   presolving       :       1.14 (included in solving)
31.90/31.91	c   reading          :       0.27 (included in solving)
31.90/31.91	c Original Problem   :
31.90/31.91	c   Problem name     : HOME/instance-3485280-1307778597.opb
31.90/31.91	c   Variables        : 12615 (12615 binary, 0 integer, 0 implicit integer, 0 continuous)
31.90/31.91	c   Constraints      : 51713 initial, 51713 maximal
31.90/31.91	c Presolved Problem  :
31.90/31.91	c   Problem name     : t_HOME/instance-3485280-1307778597.opb
31.90/31.91	c   Variables        : 6524 (6524 binary, 0 integer, 0 implicit integer, 0 continuous)
31.90/31.91	c   Constraints      : 34825 initial, 34830 maximal
31.90/31.91	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
31.90/31.91	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
31.90/31.91	c   dualfix          :       0.00          2          0          0          0          0          0          0          0          0
31.90/31.91	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
31.90/31.91	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
31.90/31.91	c   implics          :       0.00          0          5          0          0          0          0          0          0          0
31.90/31.91	c   probing          :       0.55         22         16          0          0          0          0          0          0          0
31.90/31.91	c   setppc           :       0.07          0          0          0          0          0       2061          0          0          0
31.90/31.91	c   linear           :       0.24          8       6036          0          8          0      14825          0          0          0
31.90/31.91	c   logicor          :       0.12          2          0          0          0          0          2          0          0          0
31.90/31.91	c   root node        :          -          0          -          -          0          -          -          -          -          -
31.90/31.91	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
31.90/31.91	c   integral         :          0          0          0          0          0          9          0          0          0          0          0          0
31.90/31.91	c   setppc           :      20376          6       1566          0          0          6         50          1          0          0          0          0
31.90/31.91	c   logicor          :      14449+         6        981          0          0          4         15         24          0          0          0          0
31.90/31.91	c   countsols        :          0          0          0          0          0          5          0          0          0          0          0          0
31.90/31.91	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
31.90/31.91	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
31.90/31.91	c   setppc           :       0.44       0.01       0.41       0.00       0.00       0.02       0.00
31.90/31.91	c   logicor          :       0.04       0.00       0.03       0.00       0.00       0.01       0.00
31.90/31.91	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
31.90/31.91	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
31.90/31.91	c   vbounds          :          0          0          0          0
31.90/31.91	c   rootredcost      :          0          0          0          0
31.90/31.91	c   pseudoobj        :        889          0          0          0
31.90/31.91	c Propagator Timings :  TotalTime  Propagate    Resprop
31.90/31.91	c   vbounds          :       0.00       0.00       0.00
31.90/31.91	c   rootredcost      :       0.00       0.00       0.00
31.90/31.91	c   pseudoobj        :       0.00       0.00       0.00
31.90/31.91	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
31.90/31.91	c   propagation      :       0.00          3          3          6       20.2          0        0.0          -
31.90/31.91	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
31.90/31.91	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
31.90/31.91	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
31.90/31.91	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
31.90/31.91	c   applied globally :          -          -          -          5       19.8          -          -          -
31.90/31.91	c   applied locally  :          -          -          -          0        0.0          -          -          -
31.90/31.91	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
31.90/31.91	c   cut pool         :       0.00          5          -          -         14          -    (maximal pool size: 80)
31.90/31.91	c   redcost          :       0.00          6          0          0          0          0
31.90/31.91	c   impliedbounds    :       0.00          6          0          0          0          0
31.90/31.91	c   intobj           :       0.00          0          0          0          0          0
31.90/31.91	c   gomory           :       7.26          6          0          0       2000          0
31.90/31.91	c   cgmip            :       0.00          0          0          0          0          0
31.90/31.91	c   closecuts        :       0.00          0          0          0          0          0
31.90/31.91	c   strongcg         :       6.39          6          0          0       2028          0
31.90/31.91	c   cmir             :       1.65          6          0          0          0          0
31.90/31.91	c   flowcover        :       1.84          6          0          0          0          0
31.90/31.91	c   clique           :       0.01          6          0          0          0          0
31.90/31.91	c   zerohalf         :       0.00          0          0          0          0          0
31.90/31.91	c   mcf              :       0.03          1          0          0          0          0
31.90/31.91	c   oddcycle         :       0.00          0          0          0          0          0
31.90/31.91	c   rapidlearning    :       0.00          0          0          0          0          0
31.90/31.91	c Pricers            :       Time      Calls       Vars
31.90/31.91	c   problem variables:       0.00          0          0
31.90/31.91	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
31.90/31.91	c   relpscost        :       0.00          0          0          0          0          0          0
31.90/31.91	c   pscost           :       0.00          0          0          0          0          0          0
31.90/31.91	c   inference        :       0.00          0          0          0          0          0          0
31.90/31.91	c   mostinf          :       0.00          0          0          0          0          0          0
31.90/31.91	c   leastinf         :       0.00          0          0          0          0          0          0
31.90/31.91	c   fullstrong       :       0.00          0          0          0          0          0          0
31.90/31.91	c   allfullstrong    :       0.00          0          0          0          0          0          0
31.90/31.91	c   random           :       0.00          0          0          0          0          0          0
31.90/31.91	c Primal Heuristics  :       Time      Calls      Found
31.90/31.91	c   LP solutions     :       0.00          -          0
31.90/31.91	c   pseudo solutions :       0.00          -          0
31.90/31.91	c   crossover        :       0.00          0          0
31.90/31.91	c   oneopt           :       0.01          1          0
31.90/31.91	c   trivial          :       0.02          2          0
31.90/31.91	c   shiftandpropagate:       0.18          1          0
31.90/31.91	c   simplerounding   :       0.00          0          0
31.90/31.91	c   zirounding       :       0.00          1          0
31.90/31.91	c   rounding         :       0.02          7          1
31.90/31.91	c   shifting         :       0.02          7          1
31.90/31.91	c   intshifting      :       0.00          0          0
31.90/31.91	c   twoopt           :       0.00          0          0
31.90/31.91	c   fixandinfer      :       0.00          0          0
31.90/31.91	c   feaspump         :      12.41          1          0
31.90/31.91	c   clique           :       0.00          0          0
31.90/31.91	c   coefdiving       :       0.00          0          0
31.90/31.91	c   pscostdiving     :       0.00          0          0
31.90/31.91	c   fracdiving       :       0.00          0          0
31.90/31.91	c   veclendiving     :       0.00          0          0
31.90/31.91	c   intdiving        :       0.00          0          0
31.90/31.91	c   actconsdiving    :       0.00          0          0
31.90/31.91	c   objpscostdiving  :       0.00          0          0
31.90/31.91	c   rootsoldiving    :       0.00          0          0
31.90/31.91	c   linesearchdiving :       0.00          0          0
31.90/31.91	c   guideddiving     :       0.00          0          0
31.90/31.91	c   octane           :       0.00          0          0
31.90/31.91	c   rens             :       0.20          1          1
31.90/31.91	c   rins             :       0.00          0          0
31.90/31.91	c   localbranching   :       0.00          0          0
31.90/31.91	c   mutation         :       0.00          0          0
31.90/31.91	c   dins             :       0.00          0          0
31.90/31.91	c   vbounds          :       0.00          0          0
31.90/31.91	c   undercover       :       0.00          0          0
31.90/31.91	c   subnlp           :       0.00          0          0
31.90/31.91	c   trysol           :       0.00          0          0
31.90/31.91	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
31.90/31.91	c   primal LP        :       0.00          0          0       0.00          -
31.90/31.91	c   dual LP          :       0.33          7        522      74.57    1602.96
31.90/31.91	c   lex dual LP      :       0.00          0          0       0.00          -
31.90/31.91	c   barrier LP       :       0.00          0          0       0.00          -
31.90/31.91	c   diving/probing LP:      12.40          1      10000   10000.00     806.35
31.90/31.91	c   strong branching :       0.00          0          0       0.00          -
31.90/31.91	c     (at root node) :          -          0          0       0.00          -
31.90/31.91	c   conflict analysis:       0.00          0          0       0.00          -
31.90/31.91	c B&B Tree           :
31.90/31.91	c   number of runs   :          1
31.90/31.91	c   nodes            :          1
31.90/31.91	c   nodes (total)    :          1
31.90/31.91	c   nodes left       :          0
31.90/31.91	c   max depth        :          0
31.90/31.91	c   max depth (total):          0
31.90/31.91	c   backtracks       :          0 (0.0%)
31.90/31.91	c   delayed cutoffs  :          0
31.90/31.91	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
31.90/31.91	c   avg switch length:       2.00
31.90/31.91	c   switching time   :       0.00
31.90/31.91	c Solution           :
31.90/31.91	c   Solutions found  :          3 (2 improvements)
31.90/31.91	c   First Solution   : +2.00000000000000e+01   (in run 1, after 1 nodes, 1.75 seconds, depth 0, found by <rounding>)
31.90/31.91	c   Primal Bound     : +1.60000000000000e+01   (in run 1, after 1 nodes, 31.86 seconds, depth 0, found by <rens>)
31.90/31.91	c   Dual Bound       : +1.60000000000000e+01
31.90/31.91	c   Gap              :       0.00 %
31.90/31.91	c   Root Dual Bound  : +1.60000000000000e+01
31.90/31.91	c   Root Iterations  :        522
31.99/32.01	c Time complete: 32.

Verifier Data

OK	16

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485280-1307778597/watcher-3485280-1307778597 -o /tmp/evaluation-result-3485280-1307778597/solver-3485280-1307778597 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485280-1307778597.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.24 2.08 1.94 3/178 4491
/proc/meminfo: memFree=31094184/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=10704 CPUtime=0 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 1651 0 0 0 0 0 0 0 25 0 1 0 889457842 10960896 1607 33554432000 4194304 8979876 140736139308384 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4491/statm: 2676 1617 358 1169 0 1503 0

[startup+0.0385699 s]
/proc/loadavg: 2.24 2.08 1.94 3/178 4491
/proc/meminfo: memFree=31094184/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=19740 CPUtime=0.03 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 3966 0 0 0 3 0 0 0 25 0 1 0 889457842 20213760 3921 33554432000 4194304 8979876 140736139308384 18446744073709551615 6203436 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4491/statm: 4935 3921 366 1169 0 3762 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19740

[startup+0.100597 s]
/proc/loadavg: 2.24 2.08 1.94 3/178 4491
/proc/meminfo: memFree=31094184/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=25292 CPUtime=0.09 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 5357 0 0 0 9 0 0 0 25 0 1 0 889457842 25899008 5312 33554432000 4194304 8979876 140736139308384 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4491/statm: 6323 5312 366 1169 0 5150 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25292

[startup+0.30059 s]
/proc/loadavg: 2.24 2.08 1.94 3/178 4491
/proc/meminfo: memFree=31094184/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=54780 CPUtime=0.29 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 12653 0 0 0 29 0 0 0 25 0 1 0 889457842 56094720 12588 33554432000 4194304 8979876 140736139308384 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 13695 12619 416 1169 0 12522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54780

[startup+0.700531 s]
/proc/loadavg: 2.24 2.08 1.94 3/178 4491
/proc/meminfo: memFree=31094184/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=109676 CPUtime=0.68 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 29258 0 0 0 66 2 0 0 25 0 1 0 889457842 112308224 25910 33554432000 4194304 8979876 140736139308384 18446744073709551615 4318524 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 27419 25910 510 1169 0 26246 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 109676

[startup+1.50041 s]
/proc/loadavg: 2.24 2.08 1.94 3/179 4492
/proc/meminfo: memFree=30992892/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=118164 CPUtime=1.49 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 32594 0 0 0 146 3 0 0 25 0 1 0 889457842 120999936 28164 33554432000 4194304 8979876 140736139308384 18446744073709551615 6782522 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 29797 28243 575 1169 0 28624 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118164

[startup+3.1011 s]
/proc/loadavg: 2.24 2.08 1.94 3/179 4492
/proc/meminfo: memFree=30945152/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=163440 CPUtime=3.09 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 45357 0 0 0 304 5 0 0 25 0 1 0 889457842 167362560 39650 33554432000 4194304 8979876 140736139308384 18446744073709551615 7836078 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 40860 39650 708 1169 0 39687 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163440

[startup+6.30053 s]
/proc/loadavg: 2.22 2.07 1.94 3/179 4492
/proc/meminfo: memFree=30923580/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=183828 CPUtime=6.29 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 49626 0 0 0 623 6 0 0 25 0 1 0 889457842 188239872 43918 33554432000 4194304 8979876 140736139308384 18446744073709551615 6543892 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 45957 43918 709 1169 0 44784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 183828

[startup+12.7004 s]
/proc/loadavg: 2.20 2.07 1.94 3/179 4492
/proc/meminfo: memFree=30920972/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=184100 CPUtime=12.69 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 50054 0 0 0 1262 7 0 0 25 0 1 0 889457842 188518400 44345 33554432000 4194304 8979876 140736139308384 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 46025 44345 713 1169 0 44852 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 184100

[startup+25.5011 s]
/proc/loadavg: 2.16 2.07 1.94 3/179 4492
/proc/meminfo: memFree=30899636/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=193080 CPUtime=25.49 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 52468 0 0 0 2540 9 0 0 25 0 1 0 889457842 197713920 46755 33554432000 4194304 8979876 140736139308384 18446744073709551615 7146196 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 48270 46755 739 1169 0 47097 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 193080

Solver just ended. Dumping a history of the last processes samples

[startup+28.7005 s]
/proc/loadavg: 2.16 2.07 1.94 3/179 4492
/proc/meminfo: memFree=30899860/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=193080 CPUtime=28.69 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 52482 0 0 0 2860 9 0 0 25 0 1 0 889457842 197713920 46755 33554432000 4194304 8979876 140736139308384 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 48270 46755 725 1169 0 47097 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 193080

[startup+30.3002 s]
/proc/loadavg: 2.15 2.07 1.94 3/179 4492
/proc/meminfo: memFree=30899860/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=193080 CPUtime=30.29 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 52482 0 0 0 3019 10 0 0 25 0 1 0 889457842 197713920 46755 33554432000 4194304 8979876 140736139308384 18446744073709551615 7118560 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 48270 46755 725 1169 0 47097 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 193080

[startup+31.1011 s]
/proc/loadavg: 2.15 2.07 1.94 3/179 4493
/proc/meminfo: memFree=30899736/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=193080 CPUtime=31.09 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 52482 0 0 0 3099 10 0 0 25 0 1 0 889457842 197713920 46755 33554432000 4194304 8979876 140736139308384 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 48270 46755 725 1169 0 47097 0
Current children cumulated CPU time (s) 31.09
Current children cumulated vsize (KiB) 193080

[startup+31.501 s]
/proc/loadavg: 2.15 2.07 1.94 3/179 4493
/proc/meminfo: memFree=30899736/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=193080 CPUtime=31.49 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 52490 0 0 0 3139 10 0 0 25 0 1 0 889457842 197713920 46763 33554432000 4194304 8979876 140736139308384 18446744073709551615 7144105 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4491/statm: 48270 46763 725 1169 0 47097 0
Current children cumulated CPU time (s) 31.49
Current children cumulated vsize (KiB) 193080

[startup+31.907 s]
/proc/loadavg: 2.15 2.07 1.94 3/179 4493
/proc/meminfo: memFree=30859312/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=185224 CPUtime=31.9 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 62922 0 0 0 3178 12 0 0 18 0 1 0 889457842 189669376 45138 33554432000 4194304 8979876 140736139308384 18446744073709551615 4786541 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4491/statm: 46306 45138 736 1169 0 45133 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 185224

[startup+32.001 s]
/proc/loadavg: 2.15 2.07 1.94 3/179 4493
/proc/meminfo: memFree=30859312/32951124 swapFree=67063272/67111528
[pid=4491] ppid=4489 vsize=156324 CPUtime=31.99 cores=0,2,4,6
/proc/4491/stat : 4491 (scip-2.0.1.4_2.) R 4489 4491 965 0 -1 4202496 62948 0 0 0 3187 12 0 0 18 0 1 0 889457842 160075776 38201 33554432000 4194304 8979876 140736139308384 18446744073709551615 6783329 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4491/statm: 39081 38201 738 1169 0 37908 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 156324

Child status: 0
Real time (s): 32.0158
CPU time (s): 32.0131
CPU user time (s): 31.8792
CPU system time (s): 0.133979
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 233748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8792
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 35

runsolver used 0.06299 second user time and 0.095985 second system time

The end

Launcher Data

Begin job on node132 at 2011-06-11 09:49:57
IDJOB=3485280
IDBENCH=25008
IDSOLVER=1977
FILE ID=node132/3485280-1307778597
RUNJOBID= node132-1307776371-3183
PBS_JOBID= 13550862
Free space on /tmp= 74080 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir07_area_delay.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485280-1307778597/watcher-3485280-1307778597 -o /tmp/evaluation-result-3485280-1307778597/solver-3485280-1307778597 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485280-1307778597.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 654b3ba852cf335035821a9e288b621f
RANDOM SEED=1382364229

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31094612 kB
Buffers:        266608 kB
Cached:         995888 kB
SwapCached:       9968 kB
Active:         973124 kB
Inactive:       675352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31094612 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:           39336 kB
Writeback:           0 kB
AnonPages:      383664 kB
Mapped:          12332 kB
Slab:           143968 kB
PageTables:       5088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   555832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74064 MiB
End job on node132 at 2011-06-11 09:50:29