Trace number 1869662

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT26 817.533 817.826

General information on the benchmark

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

Verifier Data

OK	26

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869662-1245182393/watcher-1869662-1245182393 -o /tmp/evaluation-result-1869662-1245182393/solver-1869662-1245182393 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869662-1245182393.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 7651
/proc/meminfo: memFree=1863352/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=4328 CPUtime=0
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 484 0 0 0 0 0 0 0 18 0 1 0 185835676 4431872 468 1992294400 4194304 7823515 548682068736 18446744073709551615 6124816 0 0 4096 0 0 0 0 17 1 0 0
/proc/7651/statm: 1162 480 313 886 0 272 0

[startup+0.0523571 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 7651
/proc/meminfo: memFree=1863352/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=15968 CPUtime=0.04
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 3329 0 0 0 3 1 0 0 18 0 1 0 185835676 16351232 3311 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/7651/statm: 3992 3311 354 886 0 3102 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15968

[startup+0.101364 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 7651
/proc/meminfo: memFree=1863352/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=18368 CPUtime=0.09
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 3922 0 0 0 8 1 0 0 18 0 1 0 185835676 18808832 3904 1992294400 4194304 7823515 548682068736 18446744073709551615 6911728 0 0 4096 0 0 0 0 17 1 0 0
/proc/7651/statm: 4592 3904 354 886 0 3702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18368

[startup+0.301398 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 7651
/proc/meminfo: memFree=1863352/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=25276 CPUtime=0.29
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 5682 0 0 0 27 2 0 0 19 0 1 0 185835676 25882624 5664 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/7651/statm: 6319 5664 354 886 0 5429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25276

[startup+0.701467 s]
/proc/loadavg: 1.01 1.01 1.00 3/64 7651
/proc/meminfo: memFree=1863352/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=63148 CPUtime=0.69
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 15437 0 0 0 64 5 0 0 22 0 1 0 185835676 64663552 15065 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 15787 15065 385 886 0 14897 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63148

[startup+1.5016 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7652
/proc/meminfo: memFree=1800816/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=78588 CPUtime=1.49
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 19881 0 0 0 134 15 0 0 25 0 1 0 185835676 80474112 18751 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 19647 18751 447 886 0 18757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78588

[startup+3.10188 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7652
/proc/meminfo: memFree=1766320/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=106160 CPUtime=3.09
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 26424 0 0 0 292 17 0 0 25 0 1 0 185835676 108707840 25131 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 26540 25131 537 886 0 25650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106160

[startup+6.30143 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7652
/proc/meminfo: memFree=1751472/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=121944 CPUtime=6.29
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 30115 0 0 0 607 22 0 0 25 0 1 0 185835676 124870656 28776 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 30486 28776 558 886 0 29596 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121944

[startup+12.7015 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7652
/proc/meminfo: memFree=1749872/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=121944 CPUtime=12.69
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 30115 0 0 0 1244 25 0 0 25 0 1 0 185835676 124870656 28776 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 30486 28776 558 886 0 29596 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121944

[startup+25.5018 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7652
/proc/meminfo: memFree=1748720/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=122660 CPUtime=25.48
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 30419 0 0 0 2519 29 0 0 25 0 1 0 185835676 125603840 29080 1992294400 4194304 7823515 548682068736 18446744073709551615 4338941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 30665 29080 558 886 0 29775 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122660

[startup+51.1012 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7652
/proc/meminfo: memFree=1746544/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=124640 CPUtime=51.07
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 31022 0 0 0 5070 37 0 0 25 0 1 0 185835676 127631360 29664 1992294400 4194304 7823515 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 31160 29664 558 886 0 30270 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 124640

[startup+102.305 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 7658
/proc/meminfo: memFree=1734320/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=135404 CPUtime=102.26
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 34300 0 0 0 10171 55 0 0 25 0 1 0 185835676 138653696 32665 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 33851 32665 558 886 0 32961 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135404

[startup+162.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 7658
/proc/meminfo: memFree=1732976/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=135404 CPUtime=162.23
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42790 0 0 0 16137 86 0 0 25 0 1 0 185835676 138653696 32948 1992294400 4194304 7823515 548682068736 18446744073709551615 6109500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 33851 32948 571 886 0 32961 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 135404

[startup+222.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7658
/proc/meminfo: memFree=1732976/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=135404 CPUtime=222.21
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42790 0 0 0 22122 99 0 0 25 0 1 0 185835676 138653696 32948 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 33851 32948 571 886 0 32961 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 135404

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1732912/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=136768 CPUtime=282.19
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42830 0 0 0 28106 113 0 0 25 0 1 0 185835676 140050432 32988 1992294400 4194304 7823515 548682068736 18446744073709551615 4788719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 34192 32988 571 886 0 33302 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 136768

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1732848/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=136768 CPUtime=342.17
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42830 0 0 0 34092 125 0 0 25 0 1 0 185835676 140050432 32988 1992294400 4194304 7823515 548682068736 18446744073709551615 6210927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 34192 32988 571 886 0 33302 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 136768

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1732720/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=136768 CPUtime=402.15
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42839 0 0 0 40079 136 0 0 25 0 1 0 185835676 140050432 32997 1992294400 4194304 7823515 548682068736 18446744073709551615 6109378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 34192 32997 571 886 0 33302 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 136768

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1732784/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=136768 CPUtime=462.13
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42839 0 0 0 46065 148 0 0 25 0 1 0 185835676 140050432 32997 1992294400 4194304 7823515 548682068736 18446744073709551615 6211363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 34192 32997 571 886 0 33302 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 136768

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1732784/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=136768 CPUtime=522.11
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42840 0 0 0 52053 158 0 0 25 0 1 0 185835676 140050432 32998 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 34192 32998 571 886 0 33302 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 136768

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1732144/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=138128 CPUtime=582.08
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 42996 0 0 0 58039 169 0 0 25 0 1 0 185835676 141443072 33154 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 34532 33154 572 886 0 33642 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 138128

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1729136/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=141544 CPUtime=642.07
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 52564 0 0 0 64021 186 0 0 25 0 1 0 185835676 144941056 33896 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 35386 33896 573 886 0 34496 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 141544

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1725296/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=144568 CPUtime=702.05
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 53521 0 0 0 70007 198 0 0 25 0 1 0 185835676 148037632 34853 1992294400 4194304 7823515 548682068736 18446744073709551615 6099759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36142 34853 573 886 0 35252 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 144568

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1724208/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=146216 CPUtime=762.03
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 62459 0 0 0 75989 214 0 0 25 0 1 0 185835676 149725184 35112 1992294400 4194304 7823515 548682068736 18446744073709551615 6208537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36554 35112 579 886 0 35664 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 146216

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

[startup+767.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1724208/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=146216 CPUtime=767.62
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 62462 0 0 0 76547 215 0 0 25 0 1 0 185835676 149725184 35115 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36554 35115 579 886 0 35664 0
Current children cumulated CPU time (s) 767.62
Current children cumulated vsize (KiB) 146216

[startup+793.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1723056/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=146704 CPUtime=793.21
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 62771 0 0 0 79102 219 0 0 25 0 1 0 185835676 150224896 35424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36676 35424 579 886 0 35786 0
Current children cumulated CPU time (s) 793.21
Current children cumulated vsize (KiB) 146704

[startup+806.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1722032/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=147696 CPUtime=806.02
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 63023 0 0 0 80380 222 0 0 25 0 1 0 185835676 151240704 35676 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36924 35676 579 886 0 36034 0
Current children cumulated CPU time (s) 806.02
Current children cumulated vsize (KiB) 147696

[startup+812.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1721904/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=147696 CPUtime=812.41
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 63044 0 0 0 81018 223 0 0 25 0 1 0 185835676 151240704 35697 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36924 35697 579 886 0 36034 0
Current children cumulated CPU time (s) 812.41
Current children cumulated vsize (KiB) 147696

[startup+815.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1721904/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=147696 CPUtime=815.6
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 63047 0 0 0 81337 223 0 0 25 0 1 0 185835676 151240704 35700 1992294400 4194304 7823515 548682068736 18446744073709551615 6100239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36924 35700 579 886 0 36034 0
Current children cumulated CPU time (s) 815.6
Current children cumulated vsize (KiB) 147696

[startup+816.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1721904/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=147696 CPUtime=816.41
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 63047 0 0 0 81417 224 0 0 25 0 1 0 185835676 151240704 35700 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36924 35700 579 886 0 36034 0
Current children cumulated CPU time (s) 816.41
Current children cumulated vsize (KiB) 147696

[startup+817.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1721840/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=147696 CPUtime=817.2
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 63060 0 0 0 81496 224 0 0 25 0 1 0 185835676 151240704 35713 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7651/statm: 36924 35713 579 886 0 36034 0
Current children cumulated CPU time (s) 817.2
Current children cumulated vsize (KiB) 147696

[startup+817.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1721840/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=147696 CPUtime=817.4
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 63074 0 0 0 81516 224 0 0 17 0 1 0 185835676 151240704 35727 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/7651/statm: 36924 35727 581 886 0 36034 0
Current children cumulated CPU time (s) 817.4
Current children cumulated vsize (KiB) 147696

[startup+817.802 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7658
/proc/meminfo: memFree=1721840/2055920 swapFree=4181248/4192956
[pid=7651] ppid=7649 vsize=126388 CPUtime=817.5
/proc/7651/stat : 7651 (pbscip.linux.x8) R 7649 7651 7506 0 -1 4194304 63074 0 0 0 81525 225 0 0 18 0 1 0 185835676 129421312 30626 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/7651/statm: 31597 30626 581 886 0 30707 0
Current children cumulated CPU time (s) 817.5
Current children cumulated vsize (KiB) 126388

Child status: 0
Real time (s): 817.826
CPU time (s): 817.533
CPU user time (s): 815.259
CPU system time (s): 2.27365
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 179620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 815.259
system time used= 2.27365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63077
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= 85
involuntary context switches= 1079

runsolver used 0.615906 second user time and 1.71774 second system time

The end

Launcher Data

Begin job on node48 at 2009-06-16 21:59:53
IDJOB=1869662
IDBENCH=24994
IDSOLVER=683
FILE ID=node48/1869662-1245182393
PBS_JOBID= 9368276
Free space on /tmp= 66236 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869662-1245182393/watcher-1869662-1245182393 -o /tmp/evaluation-result-1869662-1245182393/solver-1869662-1245182393 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869662-1245182393.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d869c2ae266497675d66f161576eaac8
RANDOM SEED=1874827829

node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.270
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.270
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1863768 kB
Buffers:         38960 kB
Cached:          84972 kB
SwapCached:       5472 kB
Active:          64472 kB
Inactive:        67340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863768 kB
SwapTotal:     4192956 kB
SwapFree:      4181248 kB
Dirty:           10896 kB
Writeback:           0 kB
Mapped:          13544 kB
Slab:            46352 kB
Committed_AS:   157016 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66224 MiB
End job on node48 at 2009-06-16 22:13:31