Trace number 2663959

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)25 1800.9 1801.44

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUM7da351a6b3346c83b923d96056c07b3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
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 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	25

Watcher Data 

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

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

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.00 1.00 1.00 3/107 5341
/proc/meminfo: memFree=1830084/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=6584 CPUtime=0
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 978 0 0 0 0 0 0 0 21 0 1 0 37660835 6742016 901 1992294400 4194304 7136930 140736201857584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5341/statm: 1646 909 254 719 0 925 0

[startup+0.0881361 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5341
/proc/meminfo: memFree=1830084/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=12268 CPUtime=0.07
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 2563 0 0 0 7 0 0 0 21 0 1 0 37660835 12562432 2486 1992294400 4194304 7136930 140736201857584 18446744073709551615 4908428 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5341/statm: 3067 2486 271 719 0 2346 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12268

[startup+0.101137 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5341
/proc/meminfo: memFree=1830084/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=12740 CPUtime=0.09
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 2689 0 0 0 9 0 0 0 21 0 1 0 37660835 13045760 2612 1992294400 4194304 7136930 140736201857584 18446744073709551615 6340523 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5341/statm: 3185 2612 271 719 0 2464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12740

[startup+0.301154 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5341
/proc/meminfo: memFree=1830084/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=19612 CPUtime=0.29
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 4404 0 0 0 28 1 0 0 21 0 1 0 37660835 20082688 4327 1992294400 4194304 7136930 140736201857584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5341/statm: 4903 4327 271 719 0 4182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19612

[startup+0.701191 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5341
/proc/meminfo: memFree=1830084/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=30764 CPUtime=0.69
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 7150 0 0 0 67 2 0 0 22 0 1 0 37660835 31502336 7073 1992294400 4194304 7136930 140736201857584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5341/statm: 7691 7073 271 719 0 6970 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30764

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5342
/proc/meminfo: memFree=1763860/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=91008 CPUtime=1.49
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 22055 0 0 0 138 11 0 0 25 0 1 0 37660835 93192192 21618 1992294400 4194304 7136930 140736201857584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 22752 21618 347 719 0 22031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91008

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5342
/proc/meminfo: memFree=1719840/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=119456 CPUtime=3.09
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 35554 0 0 0 280 29 0 0 25 0 1 0 37660835 122322944 28666 1992294400 4194304 7136930 140736201857584 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 29864 28666 383 719 0 29143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119456

[startup+6.30069 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5342
/proc/meminfo: memFree=1714136/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=122560 CPUtime=6.29
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 36321 0 0 0 598 31 0 0 25 0 1 0 37660835 125501440 29433 1992294400 4194304 7136930 140736201857584 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 30640 29433 383 719 0 29919 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122560

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5342
/proc/meminfo: memFree=1711904/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=123588 CPUtime=12.69
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 38717 0 0 0 1235 34 0 0 25 0 1 0 37660835 126554112 29710 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 30897 29710 401 719 0 30176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123588

[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5342
/proc/meminfo: memFree=1711904/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=123588 CPUtime=25.48
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 38717 0 0 0 2513 35 0 0 25 0 1 0 37660835 126554112 29710 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 30897 29710 401 719 0 30176 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123588

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5342
/proc/meminfo: memFree=1711780/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=123588 CPUtime=51.07
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 38722 0 0 0 5071 36 0 0 25 0 1 0 37660835 126554112 29714 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 30897 29714 400 719 0 30176 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 123588

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5344
/proc/meminfo: memFree=1709672/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=125876 CPUtime=102.27
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 39283 0 0 0 10186 41 0 0 25 0 1 0 37660835 128897024 30275 1992294400 4194304 7136930 140736201857584 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 31469 30275 404 719 0 30748 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 125876

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5346
/proc/meminfo: memFree=1658460/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=181228 CPUtime=162.24
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 52362 0 0 0 16171 53 0 0 25 0 1 0 37660835 185577472 43350 1992294400 4194304 7136930 140736201857584 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 45307 43350 404 719 0 44586 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 181228

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5346
/proc/meminfo: memFree=1629196/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=211460 CPUtime=222.21
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 59327 0 0 0 22158 63 0 0 25 0 1 0 37660835 216535040 50315 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 52865 50315 404 719 0 52144 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 211460

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5348
/proc/meminfo: memFree=1618036/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=223512 CPUtime=282.2
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 62136 0 0 0 28149 71 0 0 25 0 1 0 37660835 228876288 53124 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 55878 53124 404 719 0 55157 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 223512

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5350
/proc/meminfo: memFree=1609604/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=232548 CPUtime=342.18
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 64217 0 0 0 34138 80 0 0 25 0 1 0 37660835 238129152 55205 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 58137 55205 404 719 0 57416 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 232548

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5352
/proc/meminfo: memFree=1602660/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=240200 CPUtime=402.17
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 65967 0 0 0 40125 92 0 0 25 0 1 0 37660835 245964800 56955 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 60050 56955 404 719 0 59329 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 240200

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5354
/proc/meminfo: memFree=1593732/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=249816 CPUtime=462.15
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 68179 0 0 0 46110 105 0 0 25 0 1 0 37660835 255811584 59167 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 62454 59167 404 719 0 61733 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 249816

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5354
/proc/meminfo: memFree=1585424/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=260028 CPUtime=522.13
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 70285 0 0 0 52097 116 0 0 25 0 1 0 37660835 266268672 61273 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 65007 61273 404 719 0 64286 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 260028

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5356
/proc/meminfo: memFree=1574512/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=271444 CPUtime=582.12
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 72950 0 0 0 58081 131 0 0 25 0 1 0 37660835 277958656 63938 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 67861 63938 404 719 0 67140 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 271444

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5358
/proc/meminfo: memFree=1566576/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=280212 CPUtime=642.11
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 74897 0 0 0 64070 141 0 0 25 0 1 0 37660835 286937088 65885 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 70053 65885 404 719 0 69332 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 280212

[startup+702.301 s]

################
# More data... #
################

[startup+942.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/108 5366
/proc/meminfo: memFree=1523424/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=328656 CPUtime=942.02
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 85612 0 0 0 94003 199 0 0 25 0 1 0 37660835 336543744 76600 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 82164 76600 404 719 0 81443 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 328656

[startup+1002.3 s]
/proc/loadavg: 1.10 1.06 1.01 2/108 5368
/proc/meminfo: memFree=1510900/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=343756 CPUtime=1002
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 88733 0 0 0 99989 211 0 0 25 0 1 0 37660835 352006144 79721 1992294400 4194304 7136930 140736201857584 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 85939 79721 404 719 0 85218 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 343756

[startup+1062.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/108 5370
/proc/meminfo: memFree=1499864/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=355852 CPUtime=1061.98
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 91463 0 0 0 105976 222 0 0 25 0 1 0 37660835 364392448 82451 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 88963 82451 404 719 0 88242 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 355852

[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 5370
/proc/meminfo: memFree=1490192/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=366904 CPUtime=1121.97
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 93887 0 0 0 111962 235 0 0 25 0 1 0 37660835 375709696 84875 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 91726 84875 404 719 0 91005 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 366904

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 5372
/proc/meminfo: memFree=1479280/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=380388 CPUtime=1181.94
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 96631 0 0 0 117945 249 0 0 25 0 1 0 37660835 389517312 87619 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 95097 87619 404 719 0 94376 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 380388

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 5374
/proc/meminfo: memFree=1467500/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=394648 CPUtime=1241.93
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 99546 0 0 0 123930 263 0 0 25 0 1 0 37660835 404119552 90534 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 98662 90534 404 719 0 97941 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 394648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 5376
/proc/meminfo: memFree=1456092/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=407428 CPUtime=1301.92
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 102307 0 0 0 129918 274 0 0 25 0 1 0 37660835 417206272 93295 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 101857 93295 404 719 0 101136 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 407428

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 5378
/proc/meminfo: memFree=1447164/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=417456 CPUtime=1361.89
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 104575 0 0 0 135901 288 0 0 25 0 1 0 37660835 427474944 95563 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 104364 95563 404 719 0 103643 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 417456

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5378
/proc/meminfo: memFree=1436500/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=429248 CPUtime=1421.88
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 107192 0 0 0 141890 298 0 0 25 0 1 0 37660835 439549952 98180 1992294400 4194304 7136930 140736201857584 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 107312 98180 404 719 0 106591 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 429248

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5383
/proc/meminfo: memFree=1424100/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=442168 CPUtime=1481.86
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 110201 0 0 0 147873 313 0 0 25 0 1 0 37660835 452780032 101189 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 110542 101189 404 719 0 109821 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 442168

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5385
/proc/meminfo: memFree=1414180/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=453928 CPUtime=1541.83
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 112633 0 0 0 153859 324 0 0 25 0 1 0 37660835 464822272 103621 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 113482 103621 404 719 0 112761 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 453928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5387
/proc/meminfo: memFree=1401160/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=468540 CPUtime=1601.82
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 115903 0 0 0 159840 342 0 0 25 0 1 0 37660835 479784960 106891 1992294400 4194304 7136930 140736201857584 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 117135 106891 404 719 0 116414 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 468540

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5389
/proc/meminfo: memFree=1389132/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=485060 CPUtime=1661.8
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 118908 0 0 0 165823 357 0 0 25 0 1 0 37660835 496701440 109896 1992294400 4194304 7136930 140736201857584 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 121265 109896 404 719 0 120544 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 485060

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5389
/proc/meminfo: memFree=1374872/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=500920 CPUtime=1721.78
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 122506 0 0 0 171807 371 0 0 25 0 1 0 37660835 512942080 113494 1992294400 4194304 7136930 140736201857584 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 125230 113494 404 719 0 124509 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 500920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5391
/proc/meminfo: memFree=1361852/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=516456 CPUtime=1781.76
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 125817 0 0 0 177790 386 0 0 25 0 1 0 37660835 528850944 116805 1992294400 4194304 7136930 140736201857584 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 129114 116805 404 719 0 128393 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 516456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5393
/proc/meminfo: memFree=1357388/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=520892 CPUtime=1800.07
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 126846 0 0 0 179617 390 0 0 25 0 1 0 37660835 533393408 117834 1992294400 4194304 7136930 140736201857584 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5341/statm: 130223 117834 404 719 0 129502 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 520892

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5393
/proc/meminfo: memFree=1357388/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=520900 CPUtime=1800.45
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 126872 0 0 0 179655 390 0 0 25 0 1 0 37660835 533401600 117860 1992294400 4194304 7136930 140736201857584 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5341/statm: 130225 117860 410 719 0 129504 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 520900

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5393
/proc/meminfo: memFree=1357388/2059040 swapFree=4140108/4192956
[pid=5341] ppid=5339 vsize=155764 CPUtime=1800.85
/proc/5341/stat : 5341 (pbscip.linux.x8) R 5339 5341 4047 0 -1 4202496 126873 0 0 0 179691 394 0 0 25 0 1 0 37660835 159502336 37161 1992294400 4194304 7136930 140736201857584 18446744073709551615 6166343 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5341/statm: 38941 37161 410 719 0 38220 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 155764

Child status: 0
Real time (s): 1801.44
CPU time (s): 1800.9
CPU user time (s): 1796.93
CPU system time (s): 3.9654
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 520904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 3.9654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126880
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= 9
involuntary context switches= 4834

runsolver used 2.79757 second user time and 8.69268 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-16 00:14:11
IDJOB=2663959
IDBENCH=25014
IDSOLVER=1167
FILE ID=node025/2663959-1276640051
PBS_JOBID= 11172360
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663959-1276640051/watcher-2663959-1276640051 -o /tmp/evaluation-result-2663959-1276640051/solver-2663959-1276640051 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663959-1276640051.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e
RANDOM SEED=205504208

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1830488 kB
Buffers:         33900 kB
Cached:         106108 kB
SwapCached:       7192 kB
Active:          94868 kB
Inactive:        59688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1830488 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            4608 kB
Writeback:           0 kB
AnonPages:       12160 kB
Mapped:          13076 kB
Slab:            52148 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node025 at 2010-06-16 00:44:14