Trace number 3452457

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4OPT17 57.6042 57.6045

General information on the benchmark

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

Verifier Data

OK	17

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452457-1307100871/watcher-3452457-1307100871 -o /tmp/evaluation-result-3452457-1307100871/solver-3452457-1307100871 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452457-1307100871.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.13 2.06 2.01 2/527 6731
/proc/meminfo: memFree=24576932/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=11232 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 1801 0 0 0 0 0 0 0 22 0 1 0 900317729 11501568 1754 33554432000 4194304 9128323 140735315391632 18446744073709551615 6193891 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6731/statm: 2808 1755 391 1205 0 1599 0

[startup+0.0577959 s]
/proc/loadavg: 2.13 2.06 2.01 2/527 6731
/proc/meminfo: memFree=24576932/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=21824 CPUtime=0.05 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 4465 0 0 0 5 0 0 0 22 0 1 0 900317729 22347776 4417 33554432000 4194304 9128323 140735315391632 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6731/statm: 5456 4417 400 1205 0 4247 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21824

[startup+0.100798 s]
/proc/loadavg: 2.13 2.06 2.01 2/527 6731
/proc/meminfo: memFree=24576932/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=25408 CPUtime=0.09 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 5356 0 0 0 9 0 0 0 22 0 1 0 900317729 26017792 5307 33554432000 4194304 9128323 140735315391632 18446744073709551615 4914167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6731/statm: 6352 5307 400 1205 0 5143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25408

[startup+0.300765 s]
/proc/loadavg: 2.13 2.06 2.01 2/527 6731
/proc/meminfo: memFree=24576932/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=34576 CPUtime=0.29 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 7700 0 0 0 29 0 0 0 23 0 1 0 900317729 35405824 7617 33554432000 4194304 9128323 140735315391632 18446744073709551615 7447292 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6731/statm: 8644 7617 400 1205 0 7435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34576

[startup+0.700699 s]
/proc/loadavg: 2.13 2.06 2.01 2/527 6731
/proc/meminfo: memFree=24576932/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=107800 CPUtime=0.69 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 27908 0 0 0 66 3 0 0 25 0 1 0 900317729 110387200 25208 33554432000 4194304 9128323 140735315391632 18446744073709551615 18446744073699066043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 26950 25208 519 1205 0 25741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107800

[startup+1.50055 s]
/proc/loadavg: 2.13 2.06 2.01 3/528 6732
/proc/meminfo: memFree=24466832/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=117912 CPUtime=1.49 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 33965 0 0 0 146 3 0 0 25 0 1 0 900317729 120741888 27828 33554432000 4194304 9128323 140735315391632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 29478 27828 550 1205 0 28269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117912

[startup+3.10027 s]
/proc/loadavg: 2.13 2.06 2.01 3/528 6732
/proc/meminfo: memFree=24431244/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=177520 CPUtime=3.09 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 48847 0 0 0 304 5 0 0 25 0 1 0 900317729 181780480 41833 33554432000 4194304 9128323 140735315391632 18446744073709551615 6309898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 44380 41833 697 1205 0 43171 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 177520

[startup+6.3007 s]
/proc/loadavg: 2.12 2.06 2.01 3/528 6732
/proc/meminfo: memFree=24362712/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=236904 CPUtime=6.29 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 63851 0 0 0 622 7 0 0 25 0 1 0 900317729 242589696 56638 33554432000 4194304 9128323 140735315391632 18446744073709551615 6322626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 59226 56638 707 1205 0 58017 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 236904

[startup+12.7006 s]
/proc/loadavg: 2.11 2.06 2.01 3/528 6732
/proc/meminfo: memFree=24333508/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=254576 CPUtime=12.69 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 67852 0 0 0 1259 10 0 0 25 0 1 0 900317729 260685824 60637 33554432000 4194304 9128323 140735315391632 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 63644 60637 729 1205 0 62435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 254576

[startup+25.5003 s]
/proc/loadavg: 2.09 2.06 2.01 3/528 6732
/proc/meminfo: memFree=24313488/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=272376 CPUtime=25.5 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 73005 0 0 0 2535 15 0 0 25 0 1 0 900317729 278913024 65790 33554432000 4194304 9128323 140735315391632 18446744073709551615 6311717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 68094 65790 729 1205 0 66885 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 272376

[startup+51.1009 s]
/proc/loadavg: 2.06 2.05 2.00 3/528 6733
/proc/meminfo: memFree=24306404/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=278712 CPUtime=51.09 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 85064 0 0 0 5076 33 0 0 25 0 1 0 900317729 285401088 67267 33554432000 4194304 9128323 140735315391632 18446744073709551615 6702400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 69678 67267 749 1205 0 68469 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 278712

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

[startup+54.3003 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 6733
/proc/meminfo: memFree=24306400/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=278712 CPUtime=54.29 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 85064 0 0 0 5394 35 0 0 25 0 1 0 900317729 285401088 67267 33554432000 4194304 9128323 140735315391632 18446744073709551615 6706874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 69678 67267 749 1205 0 68469 0
Current children cumulated CPU time (s) 54.29
Current children cumulated vsize (KiB) 278712

[startup+55.901 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 6733
/proc/meminfo: memFree=24306028/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=278712 CPUtime=55.89 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 85131 0 0 0 5554 35 0 0 25 0 1 0 900317729 285401088 67334 33554432000 4194304 9128323 140735315391632 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 69678 67334 751 1205 0 68469 0
Current children cumulated CPU time (s) 55.89
Current children cumulated vsize (KiB) 278712

[startup+56.7009 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 6733
/proc/meminfo: memFree=24306028/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=278712 CPUtime=56.69 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 85131 0 0 0 5632 37 0 0 25 0 1 0 900317729 285401088 67334 33554432000 4194304 9128323 140735315391632 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 69678 67334 751 1205 0 68469 0
Current children cumulated CPU time (s) 56.69
Current children cumulated vsize (KiB) 278712

[startup+57.1008 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 6733
/proc/meminfo: memFree=24306400/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=278712 CPUtime=57.1 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 85131 0 0 0 5671 39 0 0 25 0 1 0 900317729 285401088 67334 33554432000 4194304 9128323 140735315391632 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 69678 67334 751 1205 0 68469 0
Current children cumulated CPU time (s) 57.1
Current children cumulated vsize (KiB) 278712

[startup+57.5007 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 6733
/proc/meminfo: memFree=24306400/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=278516 CPUtime=57.49 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 85173 0 0 0 5710 39 0 0 25 0 1 0 900317729 285200384 67327 33554432000 4194304 9128323 140735315391632 18446744073709551615 4692805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6731/statm: 69629 67327 751 1205 0 68420 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 278516

[startup+57.6007 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 6733
/proc/meminfo: memFree=24306400/32951124 swapFree=56241860/67111528
[pid=6731] ppid=6729 vsize=98188 CPUtime=57.59 cores=1,3,5,7
/proc/6731/stat : 6731 (scip-2.0.1.4.li) R 6729 6731 5807 0 -1 4202496 85176 0 0 0 5719 40 0 0 25 0 1 0 900317729 100544512 18937 33554432000 4194304 9128323 140735315391632 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6731/statm: 24547 18425 749 1205 0 23338 0
Current children cumulated CPU time (s) 57.59
Current children cumulated vsize (KiB) 98188

Child status: 0
Real time (s): 57.6045
CPU time (s): 57.6042
CPU user time (s): 57.1953
CPU system time (s): 0.408937
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 322692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.1953
system time used= 0.408937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85178
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= 11
involuntary context switches= 98

runsolver used 0.274958 second user time and 0.741887 second system time

The end

Launcher Data

Begin job on node119 at 2011-06-03 13:34:31
IDJOB=3452457
IDBENCH=25003
IDSOLVER=1949
FILE ID=node119/3452457-1307100871
RUNJOBID= node119-1307093144-5826
PBS_JOBID= 13497988
Free space on /tmp= 73612 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452457-1307100871/watcher-3452457-1307100871 -o /tmp/evaluation-result-3452457-1307100871/solver-3452457-1307100871 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452457-1307100871.opb -t 1800 -m 15500

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

MD5SUM BENCH= 5a18fe98bad06341d01eaf33ecb4f046
RANDOM SEED=945170170

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.74
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.815
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:      24577212 kB
Buffers:        188592 kB
Cached:         557692 kB
SwapCached:      59076 kB
Active:        1117048 kB
Inactive:      6959556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24577212 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:           13720 kB
Writeback:           0 kB
AnonPages:     7274008 kB
Mapped:          36564 kB
Slab:           147588 kB
PageTables:      80212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 164317612 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= 73600 MiB
End job on node119 at 2011-06-03 13:35:28