Trace number 3693303

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 standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedOPT3 1560.37 1560.63

General information on the benchmark

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

Verifier Data

OK	3

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3693303-1338031462/watcher-3693303-1338031462 -o /tmp/evaluation-result-3693303-1338031462/solver-3693303-1338031462 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693303-1338031462.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.85 4/176 1492
/proc/meminfo: memFree=27109796/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=8128 CPUtime=0 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 883 0 0 0 0 0 0 0 20 0 1 0 269274820 8323072 838 33554432000 4194304 10169799 140735199209872 140736984405080 8844157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 2289 842 387 1459 0 821 0

[startup+0.00985292 s]
/proc/loadavg: 2.00 2.00 1.85 4/176 1492
/proc/meminfo: memFree=27109796/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=12608 CPUtime=0 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 1892 0 0 0 0 0 0 0 20 0 1 0 269274820 12910592 1847 33554432000 4194304 10169799 140735199209872 140735199075864 7546697 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 3405 1853 403 1459 0 1937 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12608

[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 1.85 4/176 1492
/proc/meminfo: memFree=27109796/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=45968 CPUtime=0.09 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 10027 0 0 0 8 1 0 0 20 0 1 0 269274820 47071232 9978 33554432000 4194304 10169799 140735199209872 140735199204968 8828771 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 11492 9978 500 1459 0 10024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45968

[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 1.85 4/176 1492
/proc/meminfo: memFree=27109796/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=71516 CPUtime=0.29 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 17485 0 0 0 25 4 0 0 20 0 1 0 269274820 73232384 16361 33554432000 4194304 10169799 140735199209872 140735199204968 4257157 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 17879 16361 601 1459 0 16411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71516

[startup+0.700189 s]
/proc/loadavg: 2.00 2.00 1.85 4/176 1492
/proc/meminfo: memFree=27109796/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=106912 CPUtime=0.69 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 26236 0 0 0 63 6 0 0 20 0 1 0 269274820 109477888 24778 33554432000 4194304 10169799 140735199209872 140735199204664 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 26728 24778 768 1459 0 25260 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106912

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.85 2/176 1494
/proc/meminfo: memFree=28673332/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=108452 CPUtime=1.49 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 26804 0 0 0 143 6 0 0 20 0 1 0 269274820 111054848 25346 33554432000 4194304 10169799 140735199209872 140735199204280 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 27113 25346 769 1459 0 25645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108452

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.85 2/175 1494
/proc/meminfo: memFree=28671108/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=108916 CPUtime=3.08 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 26921 0 0 0 302 6 0 0 20 0 1 0 269274820 111529984 25463 33554432000 4194304 10169799 140735199209872 140735199204280 7983382 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 27229 25463 769 1459 0 25761 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 108916

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28613832/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=109956 CPUtime=6.28 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 27282 0 0 0 621 7 0 0 20 0 1 0 269274820 112594944 25824 33554432000 4194304 10169799 140735199209872 140735199204200 8049097 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 27489 25824 773 1459 0 26021 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 109956

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28603844/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=111880 CPUtime=12.68 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 27740 0 0 0 1260 8 0 0 20 0 1 0 269274820 114565120 26393 33554432000 4194304 10169799 140735199209872 140735199204200 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 27970 26393 773 1459 0 26502 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 111880

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28603976/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=110024 CPUtime=25.48 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 28221 0 0 0 2538 10 0 0 20 0 1 0 269274820 112664576 26091 33554432000 4194304 10169799 140735199209872 140735199205864 5104807 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1492/statm: 27506 26091 799 1459 0 26038 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 110024

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28529856/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=184208 CPUtime=51.08 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 46869 0 0 0 5085 23 0 0 20 0 1 0 269274820 188628992 44491 33554432000 4194304 10169799 140735199209872 140735199201368 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 46052 44491 832 1459 0 44584 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 184208

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 1578
/proc/meminfo: memFree=28521964/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=187924 CPUtime=102.26 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 47624 0 0 0 10188 38 0 0 20 0 1 0 269274820 192434176 46143 33554432000 4194304 10169799 140735199209872 140735199201368 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 46981 46143 833 1459 0 45513 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 187924

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 1579
/proc/meminfo: memFree=28516040/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=189400 CPUtime=162.25 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 48061 0 0 0 16170 55 0 0 20 0 1 0 269274820 193945600 46580 33554432000 4194304 10169799 140735199209872 140735199200696 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 47350 46580 833 1459 0 45882 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 189400

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 1580
/proc/meminfo: memFree=28588400/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=115392 CPUtime=222.24 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 67104 0 0 0 22154 70 0 0 20 0 1 0 269274820 118161408 28023 33554432000 4194304 10169799 140735199209872 140735199204520 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 28848 28023 856 1459 0 27380 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 115392

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28583372/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=116056 CPUtime=282.23 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 97437 0 0 0 28141 82 0 0 20 0 1 0 269274820 118841344 28221 33554432000 4194304 10169799 140735199209872 140735199204520 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 29014 28221 856 1459 0 27546 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 116056

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 1625
/proc/meminfo: memFree=28432980/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=116696 CPUtime=342.22 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 125525 0 0 0 34127 95 0 0 20 0 1 0 269274820 119496704 28385 33554432000 4194304 10169799 140735199209872 140735199204568 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 29174 28385 856 1459 0 27706 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 116696

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 1625
/proc/meminfo: memFree=28359964/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=118604 CPUtime=402.21 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 133090 0 0 0 40118 103 0 0 20 0 1 0 269274820 121450496 28917 33554432000 4194304 10169799 140735199209872 140735199207704 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 29651 28917 856 1459 0 28183 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 118604

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 1625
/proc/meminfo: memFree=28350464/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=128608 CPUtime=462.2 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 135507 0 0 0 46111 109 0 0 20 0 1 0 269274820 131694592 31334 33554432000 4194304 10169799 140735199209872 140735199203912 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 32152 31334 856 1459 0 30684 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 128608

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.90 3/177 1626
/proc/meminfo: memFree=28341868/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=522.19 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137403 0 0 0 52103 116 0 0 20 0 1 0 269274820 139522048 33230 33554432000 4194304 10169799 140735199209872 140735199204312 5120223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33230 856 1459 0 32595 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 136252

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 1626
/proc/meminfo: memFree=28341844/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=582.18 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137407 0 0 0 58097 121 0 0 20 0 1 0 269274820 139522048 33230 33554432000 4194304 10169799 140735199209872 140735199204264 8051815 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33230 856 1459 0 32595 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 136252

[startup+642.3 s]

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

/proc/meminfo: memFree=28315092/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=822.15 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137407 0 0 0 82071 144 0 0 20 0 1 0 269274820 139522048 33230 33554432000 4194304 10169799 140735199209872 140735199203464 8035807 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33230 856 1459 0 32595 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 136252

[startup+882.306 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 1627
/proc/meminfo: memFree=28315092/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=882.14 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137407 0 0 0 88064 150 0 0 20 0 1 0 269274820 139522048 33230 33554432000 4194304 10169799 140735199209872 140735199204408 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33230 856 1459 0 32595 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 136252

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 1630
/proc/meminfo: memFree=28315052/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=942.12 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137407 0 0 0 94057 155 0 0 20 0 1 0 269274820 139522048 33230 33554432000 4194304 10169799 140735199209872 140735199204040 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33230 856 1459 0 32595 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 136252

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1630
/proc/meminfo: memFree=28314968/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1002.11 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 100049 162 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199207064 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 136252

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1630
/proc/meminfo: memFree=28314968/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1062.1 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 106042 168 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199203688 8032752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 136252

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1631
/proc/meminfo: memFree=28315092/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1122.1 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 112036 174 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199203880 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 136252

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1631
/proc/meminfo: memFree=28307216/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1182.09 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 118030 179 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199205848 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 136252

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1631
/proc/meminfo: memFree=28301256/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1242.08 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 124022 186 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199203736 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 136252

[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 1.93 3/176 1631
/proc/meminfo: memFree=28295312/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1302.07 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 130014 193 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199203832 7913120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 136252

[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 1.94 3/177 1632
/proc/meminfo: memFree=28283832/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1362.06 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 136006 200 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199203464 8052238 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 136252

[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/177 1633
/proc/meminfo: memFree=28280236/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1422.05 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 141999 206 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199203832 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 136252

[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 1.95 3/177 1633
/proc/meminfo: memFree=28271920/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1482.04 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 147993 211 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199206952 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 136252

[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 1.95 3/178 1636
/proc/meminfo: memFree=28262564/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1542.04 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 153989 215 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199204280 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 136252

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

[startup+1548.8 s]
/proc/loadavg: 2.03 2.04 1.95 3/178 1636
/proc/meminfo: memFree=28262332/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1548.54 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 154639 215 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199204376 7885232 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1548.54
Current children cumulated vsize (KiB) 136252

[startup+1555.2 s]
/proc/loadavg: 2.11 2.06 1.95 3/178 1636
/proc/meminfo: memFree=28262092/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1554.93 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 155278 215 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199204376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1554.93
Current children cumulated vsize (KiB) 136252

[startup+1558.4 s]
/proc/loadavg: 2.10 2.06 1.95 3/178 1636
/proc/meminfo: memFree=28261720/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1558.13 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 155597 216 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199204200 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1558.13
Current children cumulated vsize (KiB) 136252

[startup+1560 s]
/proc/loadavg: 2.10 2.06 1.95 3/178 1636
/proc/meminfo: memFree=28261596/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=136252 CPUtime=1559.73 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 137485 0 0 0 155757 216 0 0 20 0 1 0 269274820 139522048 33308 33554432000 4194304 10169799 140735199209872 140735199204392 8044444 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 34063 33308 856 1459 0 32595 0
Current children cumulated CPU time (s) 1559.73
Current children cumulated vsize (KiB) 136252

[startup+1560.4 s]
/proc/loadavg: 2.10 2.06 1.95 3/178 1636
/proc/meminfo: memFree=28261596/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=180744 CPUtime=1560.13 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 148125 0 0 0 155795 218 0 0 20 0 1 0 269274820 185081856 43933 33554432000 4194304 10169799 140735199209872 140735199204392 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 45186 43933 856 1459 0 43718 0
Current children cumulated CPU time (s) 1560.13
Current children cumulated vsize (KiB) 180744

[startup+1560.6 s]
/proc/loadavg: 2.10 2.06 1.95 3/178 1636
/proc/meminfo: memFree=28261596/32873844 swapFree=7100/7100
[pid=1492] ppid=1490 vsize=131424 CPUtime=1560.33 cores=0,2,4,6
/proc/1492/stat : 1492 (scip-2.1.1.4sfi) R 1490 1492 32565 0 -1 4202496 148538 0 0 0 155814 219 0 0 20 0 1 0 269274820 134578176 32214 33554432000 4194304 10169799 140735199209872 140735199207688 7430715 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1492/statm: 32856 32214 858 1459 0 31388 0
Current children cumulated CPU time (s) 1560.33
Current children cumulated vsize (KiB) 131424

Child status: 0
Real time (s): 1560.63
CPU time (s): 1560.37
CPU user time (s): 1558.17
CPU system time (s): 2.19767
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 189400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1558.17
system time used= 2.19766
maximum resident set size= 186932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148540
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= 27
involuntary context switches= 1719

runsolver used 2.38664 second user time and 6.16306 second system time

The end

Launcher Data

Begin job on node103 at 2012-05-26 13:24:22
IDJOB=3693303
IDBENCH=2223
IDSOLVER=2272
FILE ID=node103/3693303-1338031462
RUNJOBID= node103-1338029661-1334
PBS_JOBID= 14624368
Free space on /tmp= 71544 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693303-1338031462/watcher-3693303-1338031462 -o /tmp/evaluation-result-3693303-1338031462/solver-3693303-1338031462 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693303-1338031462.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8ebfb10d75940bc93d5e7784548911ff
RANDOM SEED=1193506404

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27109696 kB
Buffers:          244528 kB
Cached:          3074048 kB
SwapCached:            0 kB
Active:          2570064 kB
Inactive:        2418236 kB
Active(anon):    1672596 kB
Inactive(anon):        0 kB
Active(file):     897468 kB
Inactive(file):  2418236 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14164 kB
Writeback:             0 kB
AnonPages:       1678484 kB
Mapped:            17680 kB
Shmem:               200 kB
Slab:             634236 kB
SReclaimable:      76768 kB
SUnreclaim:       557468 kB
KernelStack:        1480 kB
PageTables:         7764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1840468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71544 MiB
End job on node103 at 2012-05-26 13:50:23