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

OK	32

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663939-1276635318/watcher-2663939-1276635318 -o /tmp/evaluation-result-2663939-1276635318/solver-2663939-1276635318 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663939-1276635318.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: 1.00 1.01 1.09 2/105 13286
/proc/meminfo: memFree=1833392/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=5556 CPUtime=0
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 887 0 0 0 0 0 0 0 22 0 1 0 4825384 5689344 810 1992294400 4194304 7136930 140735970648224 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13286/statm: 1389 810 249 719 0 668 0

[startup+0.013085 s]
/proc/loadavg: 1.00 1.01 1.09 2/105 13286
/proc/meminfo: memFree=1833392/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=7668 CPUtime=0
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 1419 0 0 0 0 0 0 0 22 0 1 0 4825384 7852032 1341 1992294400 4194304 7136930 140735970648224 18446744073709551615 6177577 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13286/statm: 1917 1341 256 719 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7668

[startup+0.101072 s]
/proc/loadavg: 1.00 1.01 1.09 2/105 13286
/proc/meminfo: memFree=1833392/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=17600 CPUtime=0.09
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 3927 0 0 0 8 1 0 0 24 0 1 0 4825384 18022400 3849 1992294400 4194304 7136930 140735970648224 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13286/statm: 4400 3849 271 719 0 3679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17600

[startup+0.301094 s]
/proc/loadavg: 1.00 1.01 1.09 2/105 13286
/proc/meminfo: memFree=1833392/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=23900 CPUtime=0.29
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 5497 0 0 0 28 1 0 0 25 0 1 0 4825384 24473600 5419 1992294400 4194304 7136930 140735970648224 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13286/statm: 5975 5419 271 719 0 5254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23900

[startup+0.701138 s]
/proc/loadavg: 1.00 1.01 1.09 2/105 13286
/proc/meminfo: memFree=1833392/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=58760 CPUtime=0.69
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 14568 0 0 0 65 4 0 0 25 0 1 0 4825384 60170240 14120 1992294400 4194304 7136930 140735970648224 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 14690 14122 292 719 0 13969 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58760

[startup+1.50122 s]
/proc/loadavg: 1.00 1.01 1.09 2/106 13287
/proc/meminfo: memFree=1769152/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=79968 CPUtime=1.49
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 22566 0 0 0 131 18 0 0 25 0 1 0 4825384 81887232 19058 1992294400 4194304 7136930 140735970648224 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 19992 19058 354 719 0 19271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79968

[startup+3.1004 s]
/proc/loadavg: 1.00 1.01 1.09 2/106 13287
/proc/meminfo: memFree=1757868/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=79696 CPUtime=3.09
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23391 0 0 0 289 20 0 0 25 0 1 0 4825384 81608704 19126 1992294400 4194304 7136930 140735970648224 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 19924 19126 389 719 0 19203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79696

[startup+6.30075 s]
/proc/loadavg: 1.00 1.01 1.09 2/106 13287
/proc/meminfo: memFree=1757744/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=79696 CPUtime=6.28
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23392 0 0 0 605 23 0 0 25 0 1 0 4825384 81608704 19127 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 19924 19127 390 719 0 19203 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79696

[startup+12.7005 s]
/proc/loadavg: 1.00 1.01 1.09 2/106 13287
/proc/meminfo: memFree=1757620/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=79960 CPUtime=12.68
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23436 0 0 0 1236 32 0 0 25 0 1 0 4825384 81879040 19171 1992294400 4194304 7136930 140735970648224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 19990 19171 390 719 0 19269 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 79960

[startup+25.5009 s]
/proc/loadavg: 1.00 1.01 1.09 2/106 13287
/proc/meminfo: memFree=1757372/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80092 CPUtime=25.49
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23503 0 0 0 2499 50 0 0 25 0 1 0 4825384 82014208 19238 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20023 19238 390 719 0 19302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80092

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 13287
/proc/meminfo: memFree=1757248/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80500 CPUtime=51.08
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23539 0 0 0 5026 82 0 0 25 0 1 0 4825384 82432000 19274 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20125 19274 390 719 0 19404 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80500

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 13289
/proc/meminfo: memFree=1757000/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80500 CPUtime=102.27
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23549 0 0 0 10075 152 0 0 25 0 1 0 4825384 82432000 19284 1992294400 4194304 7136930 140735970648224 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20125 19284 390 719 0 19404 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 80500

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 13291
/proc/meminfo: memFree=1756628/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80844 CPUtime=162.24
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23612 0 0 0 15997 227 0 0 25 0 1 0 4825384 82784256 19347 1992294400 4194304 7136930 140735970648224 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20211 19347 390 719 0 19490 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 80844

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 13293
/proc/meminfo: memFree=1756504/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80844 CPUtime=222.23
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23612 0 0 0 21919 304 0 0 25 0 1 0 4825384 82784256 19347 1992294400 4194304 7136930 140735970648224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20211 19347 390 719 0 19490 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 80844

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13293
/proc/meminfo: memFree=1756504/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80844 CPUtime=282.21
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23612 0 0 0 27839 382 0 0 25 0 1 0 4825384 82784256 19347 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20211 19347 390 719 0 19490 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 80844

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13295
/proc/meminfo: memFree=1756504/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80844 CPUtime=342.2
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23612 0 0 0 33760 460 0 0 25 0 1 0 4825384 82784256 19347 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20211 19347 390 719 0 19490 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 80844

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 13306
/proc/meminfo: memFree=1755388/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80844 CPUtime=402.17
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23622 0 0 0 39687 530 0 0 25 0 1 0 4825384 82784256 19357 1992294400 4194304 7136930 140735970648224 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20211 19357 390 719 0 19490 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 80844

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 13308
/proc/meminfo: memFree=1755388/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80844 CPUtime=462.15
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23625 0 0 0 45606 609 0 0 25 0 1 0 4825384 82784256 19360 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20211 19360 390 719 0 19490 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 80844

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 13310
/proc/meminfo: memFree=1755388/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80844 CPUtime=522.14
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23632 0 0 0 51530 684 0 0 25 0 1 0 4825384 82784256 19367 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20211 19367 390 719 0 19490 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 80844

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 13310
/proc/meminfo: memFree=1755388/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80984 CPUtime=582.12
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23645 0 0 0 57454 758 0 0 25 0 1 0 4825384 82927616 19380 1992294400 4194304 7136930 140735970648224 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20246 19380 390 719 0 19525 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 80984

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 13312
/proc/meminfo: memFree=1755388/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80984 CPUtime=642.11
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23654 0 0 0 63377 834 0 0 25 0 1 0 4825384 82927616 19389 1992294400 4194304 7136930 140735970648224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20246 19389 390 719 0 19525 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 80984

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 13318
/proc/meminfo: memFree=1755388/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=80984 CPUtime=882.05
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23665 0 0 0 87075 1130 0 0 25 0 1 0 4825384 82927616 19400 1992294400 4194304 7136930 140735970648224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20246 19400 390 719 0 19525 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 80984

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13320
/proc/meminfo: memFree=1755264/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81120 CPUtime=942.02
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23694 0 0 0 92996 1206 0 0 25 0 1 0 4825384 83066880 19429 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20280 19429 390 719 0 19559 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 81120

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13322
/proc/meminfo: memFree=1755140/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81120 CPUtime=1002.01
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23696 0 0 0 98920 1281 0 0 25 0 1 0 4825384 83066880 19431 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20280 19431 390 719 0 19559 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 81120

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13324
/proc/meminfo: memFree=1755140/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81120 CPUtime=1061.99
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23701 0 0 0 104848 1351 0 0 25 0 1 0 4825384 83066880 19436 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20280 19436 390 719 0 19559 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 81120

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13326
/proc/meminfo: memFree=1755140/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81120 CPUtime=1121.98
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23704 0 0 0 110767 1431 0 0 25 0 1 0 4825384 83066880 19439 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20280 19439 390 719 0 19559 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 81120

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13326
/proc/meminfo: memFree=1755016/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81256 CPUtime=1181.96
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23711 0 0 0 116691 1505 0 0 25 0 1 0 4825384 83206144 19446 1992294400 4194304 7136930 140735970648224 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20314 19446 390 719 0 19593 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 81256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13328
/proc/meminfo: memFree=1754768/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81256 CPUtime=1241.95
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23715 0 0 0 122615 1580 0 0 25 0 1 0 4825384 83206144 19450 1992294400 4194304 7136930 140735970648224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20314 19450 390 719 0 19593 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 81256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13330
/proc/meminfo: memFree=1754644/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81256 CPUtime=1301.94
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23717 0 0 0 128537 1657 0 0 25 0 1 0 4825384 83206144 19452 1992294400 4194304 7136930 140735970648224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20314 19452 390 719 0 19593 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 81256

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13332
/proc/meminfo: memFree=1754644/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81256 CPUtime=1361.92
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23719 0 0 0 134462 1730 0 0 25 0 1 0 4825384 83206144 19454 1992294400 4194304 7136930 140735970648224 18446744073709551615 4704395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20314 19454 390 719 0 19593 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 81256

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13334
/proc/meminfo: memFree=1754644/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81256 CPUtime=1421.91
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23720 0 0 0 140389 1802 0 0 25 0 1 0 4825384 83206144 19455 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20314 19455 390 719 0 19593 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 81256

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13334
/proc/meminfo: memFree=1754520/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81396 CPUtime=1481.89
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23748 0 0 0 146314 1875 0 0 25 0 1 0 4825384 83349504 19483 1992294400 4194304 7136930 140735970648224 18446744073709551615 5925865 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20349 19483 390 719 0 19628 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 81396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13336
/proc/meminfo: memFree=1754520/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81396 CPUtime=1541.87
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23748 0 0 0 152238 1949 0 0 25 0 1 0 4825384 83349504 19483 1992294400 4194304 7136930 140735970648224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20349 19483 390 719 0 19628 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 81396

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13338
/proc/meminfo: memFree=1754520/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81396 CPUtime=1601.85
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23752 0 0 0 158160 2025 0 0 25 0 1 0 4825384 83349504 19487 1992294400 4194304 7136930 140735970648224 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20349 19487 390 719 0 19628 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 81396

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13340
/proc/meminfo: memFree=1754520/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81396 CPUtime=1661.84
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23752 0 0 0 164084 2100 0 0 25 0 1 0 4825384 83349504 19487 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20349 19487 390 719 0 19628 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 81396

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13342
/proc/meminfo: memFree=1754396/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81396 CPUtime=1721.82
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23762 0 0 0 170006 2176 0 0 25 0 1 0 4825384 83349504 19497 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20349 19497 390 719 0 19628 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 81396

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13342
/proc/meminfo: memFree=1754148/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81396 CPUtime=1781.81
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23762 0 0 0 175928 2253 0 0 25 0 1 0 4825384 83349504 19497 1992294400 4194304 7136930 140735970648224 18446744073709551615 5507463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20349 19497 390 719 0 19628 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 81396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13344
/proc/meminfo: memFree=1754148/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=81396 CPUtime=1800
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23762 0 0 0 177725 2275 0 0 25 0 1 0 4825384 83349504 19497 1992294400 4194304 7136930 140735970648224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13286/statm: 20349 19497 390 719 0 19628 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 81396

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13345
/proc/meminfo: memFree=1755256/2059040 swapFree=4164960/4192956
[pid=13286] ppid=13284 vsize=79672 CPUtime=1800.12
/proc/13286/stat : 13286 (pbscip.linux.x8) R 13284 13286 12967 0 -1 4202496 23789 0 0 0 177736 2276 0 0 25 0 1 0 4825384 81584128 19059 1992294400 4194304 7136930 140735970648224 18446744073709551615 5956512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13286/statm: 19918 19059 396 719 0 19197 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 79672

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.21
CPU user time (s): 1777.44
CPU system time (s): 22.7695
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 81396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.44
system time used= 22.7695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23796
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= 10
involuntary context switches= 4981

runsolver used 2.90056 second user time and 8.58869 second system time

The end

Begin job on node087 at 2010-06-15 22:55:19
IDJOB=2663939
IDBENCH=24994
IDSOLVER=1167
FILE ID=node087/2663939-1276635318
PBS_JOBID= 11172370
Free space on /tmp= 62552 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_010_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-2663939-1276635318/watcher-2663939-1276635318 -o /tmp/evaluation-result-2663939-1276635318/solver-2663939-1276635318 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663939-1276635318.opb -t 1800 -m 1800

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

MD5SUM BENCH= d869c2ae266497675d66f161576eaac8
RANDOM SEED=1759601045

node087.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.213
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.42
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.213
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833796 kB
Buffers:         18120 kB
Cached:          99180 kB
SwapCached:        768 kB
Active:          70608 kB
Inactive:        79644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833796 kB
SwapTotal:     4192956 kB
SwapFree:      4164960 kB
Dirty:            4236 kB
Writeback:           0 kB
AnonPages:       32144 kB
Mapped:          14552 kB
Slab:            53160 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node087 at 2010-06-15 23:25:21