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

OK	28

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663930-1276633121/watcher-2663930-1276633121 -o /tmp/evaluation-result-2663930-1276633121/solver-2663930-1276633121 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663930-1276633121.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.99 0.98 0.99 2/106 14032
/proc/meminfo: memFree=1832644/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=5556 CPUtime=0
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 885 0 0 0 0 0 0 0 23 0 1 0 4606579 5689344 808 1992294400 4194304 7136930 140735906961088 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14032/statm: 1389 809 249 719 0 668 0

[startup+0.029823 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14032
/proc/meminfo: memFree=1832644/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=12724 CPUtime=0.01
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 2672 0 0 0 1 0 0 0 23 0 1 0 4606579 13029376 2594 1992294400 4194304 7136930 140735906961088 18446744073709551615 5654577 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14032/statm: 3181 2594 269 719 0 2460 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12724

[startup+0.100828 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14032
/proc/meminfo: memFree=1832644/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=16516 CPUtime=0.09
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 3631 0 0 0 8 1 0 0 23 0 1 0 4606579 16912384 3553 1992294400 4194304 7136930 140735906961088 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14032/statm: 4129 3553 271 719 0 3408 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16516

[startup+0.300846 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14032
/proc/meminfo: memFree=1832644/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=21732 CPUtime=0.29
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 4950 0 0 0 28 1 0 0 23 0 1 0 4606579 22253568 4872 1992294400 4194304 7136930 140735906961088 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14032/statm: 5433 4872 271 719 0 4712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21732

[startup+0.700881 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 14032
/proc/meminfo: memFree=1832644/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=55064 CPUtime=0.69
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 13654 0 0 0 64 5 0 0 25 0 1 0 4606579 56385536 13195 1992294400 4194304 7136930 140735906961088 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 13766 13195 303 719 0 13045 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55064

[startup+1.50095 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14033
/proc/meminfo: memFree=1776092/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=69272 CPUtime=1.49
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 20571 0 0 0 132 17 0 0 25 0 1 0 4606579 70934528 16474 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 17318 16474 365 719 0 16597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69272

[startup+3.10109 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14033
/proc/meminfo: memFree=1765800/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=71588 CPUtime=3.09
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21216 0 0 0 289 20 0 0 25 0 1 0 4606579 73306112 17116 1992294400 4194304 7136930 140735906961088 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 17897 17117 389 719 0 17176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71588

[startup+6.30136 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14033
/proc/meminfo: memFree=1765056/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=71720 CPUtime=6.29
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21240 0 0 0 604 25 0 0 25 0 1 0 4606579 73441280 17140 1992294400 4194304 7136930 140735906961088 18446744073709551615 4210357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 17930 17140 390 719 0 17209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71720

[startup+12.7009 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14033
/proc/meminfo: memFree=1764808/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=71720 CPUtime=12.68
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21262 0 0 0 1234 34 0 0 25 0 1 0 4606579 73441280 17162 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 17930 17162 390 719 0 17209 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71720

[startup+25.501 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 14033
/proc/meminfo: memFree=1764684/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=71852 CPUtime=25.48
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21299 0 0 0 2492 56 0 0 25 0 1 0 4606579 73576448 17199 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 17963 17199 390 719 0 17242 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71852

[startup+51.1002 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14035
/proc/meminfo: memFree=1764560/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72156 CPUtime=51.07
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21351 0 0 0 5008 99 0 0 25 0 1 0 4606579 73887744 17251 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18039 17251 390 719 0 17318 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 72156

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14035
/proc/meminfo: memFree=1764312/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72156 CPUtime=102.27
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21351 0 0 0 10036 191 0 0 25 0 1 0 4606579 73887744 17251 1992294400 4194304 7136930 140735906961088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18039 17251 390 719 0 17318 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 72156

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14037
/proc/meminfo: memFree=1764188/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72156 CPUtime=162.24
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21360 0 0 0 15923 301 0 0 25 0 1 0 4606579 73887744 17260 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18039 17260 390 719 0 17318 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72156

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14039
/proc/meminfo: memFree=1764188/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72156 CPUtime=222.22
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21368 0 0 0 21821 401 0 0 25 0 1 0 4606579 73887744 17268 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18039 17268 390 719 0 17318 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 72156

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14041
/proc/meminfo: memFree=1764064/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72296 CPUtime=282.21
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21376 0 0 0 27713 508 0 0 25 0 1 0 4606579 74031104 17276 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18074 17276 390 719 0 17353 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 72296

[startup+342.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14041
/proc/meminfo: memFree=1764064/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72296 CPUtime=342.19
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21383 0 0 0 33609 610 0 0 25 0 1 0 4606579 74031104 17283 1992294400 4194304 7136930 140735906961088 18446744073709551615 4648301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18074 17283 390 719 0 17353 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 72296

[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14043
/proc/meminfo: memFree=1763940/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72296 CPUtime=402.17
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21401 0 0 0 39510 707 0 0 25 0 1 0 4606579 74031104 17301 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18074 17301 390 719 0 17353 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 72296

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14045
/proc/meminfo: memFree=1763816/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72428 CPUtime=462.16
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21405 0 0 0 45410 806 0 0 25 0 1 0 4606579 74166272 17305 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18107 17305 390 719 0 17386 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 72428

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14047
/proc/meminfo: memFree=1763692/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72428 CPUtime=522.14
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21410 0 0 0 51311 903 0 0 25 0 1 0 4606579 74166272 17310 1992294400 4194304 7136930 140735906961088 18446744073709551615 4704395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18107 17310 390 719 0 17386 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 72428

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14049
/proc/meminfo: memFree=1763692/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72428 CPUtime=582.13
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21414 0 0 0 57208 1005 0 0 25 0 1 0 4606579 74166272 17314 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18107 17314 390 719 0 17386 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 72428

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14049
/proc/meminfo: memFree=1763568/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72428 CPUtime=642.12
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21415 0 0 0 63105 1107 0 0 25 0 1 0 4606579 74166272 17315 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18107 17315 390 719 0 17386 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 72428

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 14060
/proc/meminfo: memFree=1762700/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72428 CPUtime=882.05
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21422 0 0 0 86679 1526 0 0 25 0 1 0 4606579 74166272 17322 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18107 17322 390 719 0 17386 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 72428

[startup+942.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 14060
/proc/meminfo: memFree=1762700/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72428 CPUtime=942.04
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21432 0 0 0 92574 1630 0 0 25 0 1 0 4606579 74166272 17332 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18107 17332 390 719 0 17386 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 72428

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14062
/proc/meminfo: memFree=1762700/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1002.02
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21442 0 0 0 98470 1732 0 0 25 0 1 0 4606579 74301440 17342 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17342 390 719 0 17419 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 72560

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14064
/proc/meminfo: memFree=1762700/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1062
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21449 0 0 0 104361 1839 0 0 25 0 1 0 4606579 74301440 17349 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17349 390 719 0 17419 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 72560

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14066
/proc/meminfo: memFree=1762700/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1121.98
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21449 0 0 0 110259 1939 0 0 25 0 1 0 4606579 74301440 17349 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17349 390 719 0 17419 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 72560

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14068
/proc/meminfo: memFree=1762700/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1181.97
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21452 0 0 0 116155 2042 0 0 25 0 1 0 4606579 74301440 17352 1992294400 4194304 7136930 140735906961088 18446744073709551615 4665386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17352 390 719 0 17419 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 72560

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14068
/proc/meminfo: memFree=1762452/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1241.95
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21455 0 0 0 122058 2137 0 0 25 0 1 0 4606579 74301440 17355 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17355 390 719 0 17419 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 72560

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14070
/proc/meminfo: memFree=1762328/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1301.94
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21457 0 0 0 127954 2240 0 0 25 0 1 0 4606579 74301440 17357 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17357 390 719 0 17419 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 72560

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14072
/proc/meminfo: memFree=1762328/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1361.91
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21461 0 0 0 133861 2330 0 0 25 0 1 0 4606579 74301440 17361 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17361 390 719 0 17419 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 72560

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14074
/proc/meminfo: memFree=1762328/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1421.9
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21462 0 0 0 139762 2428 0 0 25 0 1 0 4606579 74301440 17362 1992294400 4194304 7136930 140735906961088 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17362 390 719 0 17419 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 72560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14076
/proc/meminfo: memFree=1762328/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1481.88
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21462 0 0 0 145653 2535 0 0 25 0 1 0 4606579 74301440 17362 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17362 390 719 0 17419 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 72560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14076
/proc/meminfo: memFree=1762204/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1541.86
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21463 0 0 0 151553 2633 0 0 25 0 1 0 4606579 74301440 17363 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17363 390 719 0 17419 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 72560

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14078
/proc/meminfo: memFree=1762080/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1601.83
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21463 0 0 0 157448 2735 0 0 25 0 1 0 4606579 74301440 17363 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17363 390 719 0 17419 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 72560

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14080
/proc/meminfo: memFree=1762080/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1661.82
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21464 0 0 0 163346 2836 0 0 25 0 1 0 4606579 74301440 17364 1992294400 4194304 7136930 140735906961088 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17364 390 719 0 17419 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 72560

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14082
/proc/meminfo: memFree=1761956/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72560 CPUtime=1721.8
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21467 0 0 0 169245 2935 0 0 25 0 1 0 4606579 74301440 17367 1992294400 4194304 7136930 140735906961088 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18140 17367 390 719 0 17419 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 72560

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14084
/proc/meminfo: memFree=1761708/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72692 CPUtime=1781.78
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21480 0 0 0 175140 3038 0 0 25 0 1 0 4606579 74436608 17380 1992294400 4194304 7136930 140735906961088 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18173 17380 390 719 0 17452 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 72692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14084
/proc/meminfo: memFree=1761708/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=72692 CPUtime=1800.09
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21480 0 0 0 176942 3067 0 0 25 0 1 0 4606579 74436608 17380 1992294400 4194304 7136930 140735906961088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14032/statm: 18173 17380 390 719 0 17452 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 72692

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14084
/proc/meminfo: memFree=1761708/2059040 swapFree=4170748/4192956
[pid=14032] ppid=14030 vsize=71020 CPUtime=1800.2
/proc/14032/stat : 14032 (pbscip.linux.x8) R 14030 14032 13893 0 -1 4202496 21504 0 0 0 176952 3068 0 0 25 0 1 0 4606579 72724480 16986 1992294400 4194304 7136930 140735906961088 18446744073709551615 4212055 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14032/statm: 17755 16925 396 719 0 17034 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 71020

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.27
CPU user time (s): 1769.59
CPU system time (s): 30.6853
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 72692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.58
system time used= 30.6853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21511
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= 9
involuntary context switches= 5017

runsolver used 3.03954 second user time and 8.46571 second system time

The end

Begin job on node031 at 2010-06-15 22:18:41
IDJOB=2663930
IDBENCH=24985
IDSOLVER=1167
FILE ID=node031/2663930-1276633121
PBS_JOBID= 11172382
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.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-2663930-1276633121/watcher-2663930-1276633121 -o /tmp/evaluation-result-2663930-1276633121/solver-2663930-1276633121 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663930-1276633121.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025
RANDOM SEED=942184506

node031.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.219
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.43
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.219
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833048 kB
Buffers:         12052 kB
Cached:          98084 kB
SwapCached:       1484 kB
Active:          47672 kB
Inactive:       101888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833048 kB
SwapTotal:     4192956 kB
SwapFree:      4170748 kB
Dirty:            4104 kB
Writeback:           0 kB
AnonPages:       37932 kB
Mapped:          15340 kB
Slab:            54316 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node031 at 2010-06-15 22:48:44