Trace number 3450999

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4OPT-10270 159.23 159.227

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark72.8939
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	-10270

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 2/373 7689
/proc/meminfo: memFree=22752456/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=14372 CPUtime=0 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 2578 0 0 0 0 0 0 0 25 0 1 0 819229808 14716928 2531 33554432000 4194304 9163163 140735068367360 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7689/statm: 3593 2532 395 1214 0 2375 0

[startup+0.050975 s]
/proc/loadavg: 2.03 2.01 2.00 2/373 7689
/proc/meminfo: memFree=22752456/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=23248 CPUtime=0.04 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 4784 0 0 0 4 0 0 0 25 0 1 0 819229808 23805952 4737 33554432000 4194304 9163163 140735068367360 18446744073709551615 8044971 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7689/statm: 5812 4737 395 1214 0 4594 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23248

[startup+0.100963 s]
/proc/loadavg: 2.03 2.01 2.00 2/373 7689
/proc/meminfo: memFree=22752456/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=27840 CPUtime=0.09 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 5931 0 0 0 9 0 0 0 25 0 1 0 819229808 28508160 5884 33554432000 4194304 9163163 140735068367360 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7689/statm: 6960 5884 395 1214 0 5742 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27840

[startup+0.300928 s]
/proc/loadavg: 2.03 2.01 2.00 2/373 7689
/proc/meminfo: memFree=22752456/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=69860 CPUtime=0.29 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 16278 0 0 0 28 1 0 0 25 0 1 0 819229808 71536640 15973 33554432000 4194304 9163163 140735068367360 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 17465 15973 502 1214 0 16247 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69860

[startup+0.700858 s]
/proc/loadavg: 2.03 2.01 2.00 2/373 7689
/proc/meminfo: memFree=22752456/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=87772 CPUtime=0.69 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 21447 0 0 0 67 2 0 0 25 0 1 0 819229808 89878528 20638 33554432000 4194304 9163163 140735068367360 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 21943 20638 567 1214 0 20725 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87772

[startup+1.50071 s]
/proc/loadavg: 2.03 2.01 2.00 3/374 7690
/proc/meminfo: memFree=22666764/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=96580 CPUtime=1.49 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 23643 0 0 0 146 3 0 0 25 0 1 0 819229808 98897920 22833 33554432000 4194304 9163163 140735068367360 18446744073709551615 5176482 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 24145 22833 566 1214 0 22927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96580

[startup+3.10042 s]
/proc/loadavg: 2.03 2.01 2.00 3/374 7691
/proc/meminfo: memFree=22659200/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=102160 CPUtime=3.09 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 25021 0 0 0 306 3 0 0 25 0 1 0 819229808 104611840 24211 33554432000 4194304 9163163 140735068367360 18446744073709551615 5460474 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 25540 24211 570 1214 0 24322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102160

[startup+6.30085 s]
/proc/loadavg: 2.03 2.01 2.00 3/374 7691
/proc/meminfo: memFree=22644144/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=118912 CPUtime=6.3 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 29096 0 0 0 626 4 0 0 25 0 1 0 819229808 121765888 28286 33554432000 4194304 9163163 140735068367360 18446744073709551615 5177387 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 29728 28286 570 1214 0 28510 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 118912

[startup+12.7007 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 7691
/proc/meminfo: memFree=22621700/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=138112 CPUtime=12.69 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 33779 0 0 0 1265 4 0 0 25 0 1 0 819229808 141426688 32969 33554432000 4194304 9163163 140735068367360 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 34528 32969 570 1214 0 33310 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138112

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 7691
/proc/meminfo: memFree=22548632/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=214200 CPUtime=25.49 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 53337 0 0 0 2541 8 0 0 25 0 1 0 819229808 219340800 50800 33554432000 4194304 9163163 140735068367360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 53550 50800 682 1214 0 52332 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 214200

[startup+51.1007 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 7692
/proc/meminfo: memFree=22538116/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=217100 CPUtime=51.09 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 56422 0 0 0 5087 22 0 0 25 0 1 0 819229808 222310400 52562 33554432000 4194304 9163163 140735068367360 18446744073709551615 7348358 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 54275 52562 699 1214 0 53057 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 217100

[startup+102.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7693
/proc/meminfo: memFree=22487652/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=263256 CPUtime=102.31 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 67635 0 0 0 10184 47 0 0 25 0 1 0 819229808 269574144 63598 33554432000 4194304 9163163 140735068367360 18446744073709551615 6286097 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 65814 63598 728 1214 0 64596 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 263256

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

[startup+127.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7694
/proc/meminfo: memFree=22483172/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=127.9 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80176 0 0 0 12731 59 0 0 25 0 1 0 819229808 271556608 63766 33554432000 4194304 9163163 140735068367360 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63766 759 1214 0 65080 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 265192

[startup+140.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7694
/proc/meminfo: memFree=22482304/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=140.7 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80176 0 0 0 14007 63 0 0 25 0 1 0 819229808 271556608 63766 33554432000 4194304 9163163 140735068367360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63766 759 1214 0 65080 0
Current children cumulated CPU time (s) 140.7
Current children cumulated vsize (KiB) 265192

[startup+147.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7694
/proc/meminfo: memFree=22481680/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=147.09 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80176 0 0 0 14643 66 0 0 25 0 1 0 819229808 271556608 63766 33554432000 4194304 9163163 140735068367360 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63766 759 1214 0 65080 0
Current children cumulated CPU time (s) 147.09
Current children cumulated vsize (KiB) 265192

[startup+153.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7695
/proc/meminfo: memFree=22480192/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=153.49 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80176 0 0 0 15280 69 0 0 25 0 1 0 819229808 271556608 63766 33554432000 4194304 9163163 140735068367360 18446744073709551615 7319024 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63766 759 1214 0 65080 0
Current children cumulated CPU time (s) 153.49
Current children cumulated vsize (KiB) 265192

[startup+156.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7695
/proc/meminfo: memFree=22480192/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=156.69 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80176 0 0 0 15598 71 0 0 25 0 1 0 819229808 271556608 63766 33554432000 4194304 9163163 140735068367360 18446744073709551615 7345682 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63766 759 1214 0 65080 0
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (KiB) 265192

[startup+158.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7695
/proc/meminfo: memFree=22480192/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=158.31 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80176 0 0 0 15759 72 0 0 25 0 1 0 819229808 271556608 63766 33554432000 4194304 9163163 140735068367360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63766 759 1214 0 65080 0
Current children cumulated CPU time (s) 158.31
Current children cumulated vsize (KiB) 265192

[startup+158.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7695
/proc/meminfo: memFree=22480192/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=158.7 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80176 0 0 0 15798 72 0 0 25 0 1 0 819229808 271556608 63766 33554432000 4194304 9163163 140735068367360 18446744073709551615 7394725 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63766 759 1214 0 65080 0
Current children cumulated CPU time (s) 158.7
Current children cumulated vsize (KiB) 265192

[startup+159.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7695
/proc/meminfo: memFree=22480192/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=265192 CPUtime=159.1 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80177 0 0 0 15838 72 0 0 25 0 1 0 819229808 271556608 63767 33554432000 4194304 9163163 140735068367360 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7689/statm: 66298 63767 760 1214 0 65080 0
Current children cumulated CPU time (s) 159.1
Current children cumulated vsize (KiB) 265192

[startup+159.201 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7695
/proc/meminfo: memFree=22480192/32951124 swapFree=37148216/67111528
[pid=7689] ppid=7687 vsize=255432 CPUtime=159.19 cores=1,3,5,7
/proc/7689/stat : 7689 (scip-2.0.1.4b.l) R 7687 7689 5516 0 -1 4202496 80180 0 0 0 15847 72 0 0 18 0 1 0 819229808 261562368 61672 33554432000 4194304 9163163 140735068367360 18446744073709551615 6554874 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7689/statm: 63858 61672 763 1214 0 62640 0
Current children cumulated CPU time (s) 159.19
Current children cumulated vsize (KiB) 255432

Child status: 0
Real time (s): 159.227
CPU time (s): 159.23
CPU user time (s): 158.495
CPU system time (s): 0.734888
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 311384

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

runsolver used 0.542917 second user time and 1.34879 second system time

The end

Launcher Data

Begin job on node104 at 2011-06-03 06:44:54
IDJOB=3450999
IDBENCH=1878
IDSOLVER=1948
FILE ID=node104/3450999-1307076293
RUNJOBID= node104-1307068486-6731
PBS_JOBID= 13497884
Free space on /tmp= 73932 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450999-1307076293/watcher-3450999-1307076293 -o /tmp/evaluation-result-3450999-1307076293/solver-3450999-1307076293 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450999-1307076293.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=1775804119

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22752744 kB
Buffers:        410872 kB
Cached:        7542464 kB
SwapCached:     163904 kB
Active:        3880096 kB
Inactive:      5982752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22752744 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:           13568 kB
Writeback:          20 kB
AnonPages:     1768964 kB
Mapped:          13960 kB
Slab:           180220 kB
PageTables:      89528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87859272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node104 at 2011-06-03 06:47:33