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