Trace number 3485273

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx 2 2011-06-10 (fixed)OPT28 158.281 158.279

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
MD5SUM4c21c441bf9f3f3be8f0cdb52c39f9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark115.563
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables12852
Total number of constraints41686
Number of constraints which are clauses41686
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 6267
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6267
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6267
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	28

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485273-1307778579/watcher-3485273-1307778579 -o /tmp/evaluation-result-3485273-1307778579/solver-3485273-1307778579 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485273-1307778579.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.00 1.97 1.91 2/174 12950
/proc/meminfo: memFree=31484620/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=11096 CPUtime=0 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 1767 0 0 0 0 0 0 0 22 0 1 0 889458312 11362304 1722 33554432000 4194304 8979876 140734448141456 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12950/statm: 2774 1722 358 1169 0 1601 0

[startup+0.01498 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 12950
/proc/meminfo: memFree=31484620/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=16024 CPUtime=0.01 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 3016 0 0 0 1 0 0 0 22 0 1 0 889458312 16408576 2971 33554432000 4194304 8979876 140734448141456 18446744073709551615 6782456 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12950/statm: 4006 2971 366 1169 0 2833 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16024

[startup+0.101019 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 12950
/proc/meminfo: memFree=31484620/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=25440 CPUtime=0.09 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 5395 0 0 0 9 0 0 0 22 0 1 0 889458312 26050560 5350 33554432000 4194304 8979876 140734448141456 18446744073709551615 4446976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12950/statm: 6360 5350 366 1169 0 5187 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25440

[startup+0.300967 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 12950
/proc/meminfo: memFree=31484620/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=75432 CPUtime=0.29 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 17586 0 0 0 27 2 0 0 23 0 1 0 889458312 77242368 17430 33554432000 4194304 8979876 140734448141456 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 18858 17491 450 1169 0 17685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75432

[startup+0.700898 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 12950
/proc/meminfo: memFree=31484620/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=97576 CPUtime=0.69 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 25387 0 0 0 67 2 0 0 25 0 1 0 889458312 99917824 22912 33554432000 4194304 8979876 140734448141456 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 24394 22912 529 1169 0 23221 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97576

[startup+1.50075 s]
/proc/loadavg: 2.00 1.97 1.91 3/171 12981
/proc/meminfo: memFree=31698056/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=133572 CPUtime=1.49 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 34577 0 0 0 145 4 0 0 18 0 1 0 889458312 136777728 31526 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 33393 31526 670 1169 0 32220 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133572

[startup+3.10045 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13027
/proc/meminfo: memFree=31584692/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=143024 CPUtime=3.09 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 36697 0 0 0 304 5 0 0 21 0 1 0 889458312 146456576 33544 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 35756 33544 702 1169 0 34583 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143024

[startup+6.30087 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13027
/proc/meminfo: memFree=31500460/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=148864 CPUtime=6.29 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 38263 0 0 0 623 6 0 0 25 0 1 0 889458312 152436736 35110 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 37216 35110 702 1169 0 36043 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 148864

[startup+12.7007 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13028
/proc/meminfo: memFree=31432948/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=151588 CPUtime=12.69 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 39279 0 0 0 1260 9 0 0 25 0 1 0 889458312 155226112 36126 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 37897 36126 702 1169 0 36724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151588

[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13028
/proc/meminfo: memFree=31423312/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=154444 CPUtime=25.49 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 39709 0 0 0 2534 15 0 0 25 0 1 0 889458312 158150656 36545 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 38611 36545 702 1169 0 37438 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 154444

[startup+51.1007 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13029
/proc/meminfo: memFree=31358760/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=159288 CPUtime=51.09 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 40997 0 0 0 5083 26 0 0 25 0 1 0 889458312 163110912 37833 33554432000 4194304 8979876 140734448141456 18446744073709551615 6606242 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 39822 37833 702 1169 0 38649 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 159288

[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13068
/proc/meminfo: memFree=30898660/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=158584 CPUtime=102.3 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 51246 0 0 0 10154 76 0 0 25 0 1 0 889458312 162390016 37713 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 39646 37713 722 1169 0 38473 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 158584

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

[startup+127.901 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30536328/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=158816 CPUtime=127.9 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 51397 0 0 0 12695 95 0 0 25 0 1 0 889458312 162627584 37864 33554432000 4194304 8979876 140734448141456 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 39704 37864 722 1169 0 38531 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 158816

[startup+140.7 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30314360/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=158816 CPUtime=140.7 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 51426 0 0 0 13962 108 0 0 25 0 1 0 889458312 162627584 37893 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 39704 37893 724 1169 0 38531 0
Current children cumulated CPU time (s) 140.7
Current children cumulated vsize (KiB) 158816

[startup+147.1 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30306048/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=159960 CPUtime=147.09 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 51591 0 0 0 14595 114 0 0 25 0 1 0 889458312 163799040 38058 33554432000 4194304 8979876 140734448141456 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 39990 38058 724 1169 0 38817 0
Current children cumulated CPU time (s) 147.09
Current children cumulated vsize (KiB) 159960

[startup+153.501 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30298976/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=162548 CPUtime=153.49 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 52237 0 0 0 15229 120 0 0 25 0 1 0 889458312 166449152 38704 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 40637 38704 724 1169 0 39464 0
Current children cumulated CPU time (s) 153.49
Current children cumulated vsize (KiB) 162548

[startup+156.701 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30273180/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=165200 CPUtime=156.7 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 52746 0 0 0 15547 123 0 0 25 0 1 0 889458312 169164800 39213 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 41300 39213 724 1169 0 40127 0
Current children cumulated CPU time (s) 156.7
Current children cumulated vsize (KiB) 165200

[startup+157.5 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30272188/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=165200 CPUtime=157.49 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 52805 0 0 0 15626 123 0 0 25 0 1 0 889458312 169164800 39272 33554432000 4194304 8979876 140734448141456 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 41300 39272 724 1169 0 40127 0
Current children cumulated CPU time (s) 157.49
Current children cumulated vsize (KiB) 165200

[startup+157.9 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30272188/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=165200 CPUtime=157.9 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 52920 0 0 0 15666 124 0 0 25 0 1 0 889458312 169164800 39387 33554432000 4194304 8979876 140734448141456 18446744073709551615 6915745 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 41300 39387 724 1169 0 40127 0
Current children cumulated CPU time (s) 157.9
Current children cumulated vsize (KiB) 165200

[startup+158.1 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30272188/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=165200 CPUtime=158.1 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) R 12948 12950 8673 0 -1 4202496 52928 0 0 0 15686 124 0 0 25 0 1 0 889458312 169164800 39395 33554432000 4194304 8979876 140734448141456 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12950/statm: 41300 39395 724 1169 0 40127 0
Current children cumulated CPU time (s) 158.1
Current children cumulated vsize (KiB) 165200

[startup+158.2 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13069
/proc/meminfo: memFree=30272188/32951124 swapFree=67060628/67111528
[pid=12950] ppid=12948 vsize=165200 CPUtime=158.19 cores=1,3,5,7
/proc/12950/stat : 12950 (scip-2.0.1.4_2.) S 12948 12950 8673 0 -1 4202496 52931 0 0 0 15695 124 0 0 25 0 1 0 889458312 169164800 39398 33554432000 4194304 8979876 140734448141456 18446744073709551615 7893792 0 0 4096 0 18446744071562362840 0 0 17 1 0 0 0
/proc/12950/statm: 41300 39398 726 1169 0 40127 0
Current children cumulated CPU time (s) 158.19
Current children cumulated vsize (KiB) 165200

Child status: 0
Real time (s): 158.279
CPU time (s): 158.281
CPU user time (s): 157.032
CPU system time (s): 1.24881
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 196968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.032
system time used= 1.24881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52937
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= 16
involuntary context switches= 525

runsolver used 0.204968 second user time and 0.536918 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-11 09:49:39
IDJOB=3485273
IDBENCH=25001
IDSOLVER=1977
FILE ID=node106/3485273-1307778579
RUNJOBID= node106-1307776781-12799
PBS_JOBID= 13550854
Free space on /tmp= 74004 MiB

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

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

MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4
RANDOM SEED=1780667632

node106.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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31484800 kB
Buffers:        133480 kB
Cached:         821936 kB
SwapCached:      12488 kB
Active:         599776 kB
Inactive:       708108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31484800 kB
SwapTotal:    67111528 kB
SwapFree:     67060628 kB
Dirty:           17864 kB
Writeback:          36 kB
AnonPages:      350568 kB
Mapped:          13180 kB
Slab:            94332 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   519280 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= 73976 MiB
End job on node106 at 2011-06-11 09:52:18