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

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885478-1245266818/watcher-1885478-1245266818 -o /tmp/evaluation-result-1885478-1245266818/solver-1885478-1245266818 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885478-1245266818.opb 

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.00 1.00 3/64 15725
/proc/meminfo: memFree=1825208/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=5812 CPUtime=0
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 194275719 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/15725/statm: 1453 502 332 1256 0 192 0

[startup+0.0443819 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15725
/proc/meminfo: memFree=1825208/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=11712 CPUtime=0.03
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 1920 0 0 0 3 0 0 0 18 0 1 0 194275719 11993088 1904 1992294400 4194304 9342243 548682068736 18446744073709551615 8312570 0 0 4096 0 0 0 0 17 1 0 0
/proc/15725/statm: 2987 1913 376 1256 0 1726 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11712

[startup+0.101392 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15725
/proc/meminfo: memFree=1825208/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=15212 CPUtime=0.09
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 2775 0 0 0 8 1 0 0 18 0 1 0 194275719 15577088 2759 1992294400 4194304 9342243 548682068736 18446744073709551615 5542208 0 0 4096 0 0 0 0 17 1 0 0
/proc/15725/statm: 3803 2759 376 1256 0 2542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15212

[startup+0.301436 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15725
/proc/meminfo: memFree=1825208/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=22824 CPUtime=0.29
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 4694 0 0 0 27 2 0 0 19 0 1 0 194275719 23371776 4678 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/15725/statm: 5706 4678 376 1256 0 4445 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22824

[startup+0.701521 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15725
/proc/meminfo: memFree=1825208/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=65616 CPUtime=0.69
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 15722 0 0 0 63 6 0 0 22 0 1 0 194275719 67190784 15352 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 16404 15352 416 1256 0 15143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65616

[startup+1.50169 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1757168/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=90768 CPUtime=1.49
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 22569 0 0 0 123 26 0 0 25 0 1 0 194275719 92946432 21445 1992294400 4194304 9342243 548682068736 18446744073709551615 4539483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 22692 21445 477 1256 0 21431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90768

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1700272/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=141780 CPUtime=3.09
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 34567 0 0 0 274 35 0 0 25 0 1 0 194275719 145182720 31899 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 35445 31899 613 1256 0 34184 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141780

[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1696048/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=145500 CPUtime=6.28
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 38299 0 0 0 586 42 0 0 25 0 1 0 194275719 148992000 33356 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 36375 33356 645 1256 0 35114 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 145500

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1688440/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=151304 CPUtime=12.68
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 39637 0 0 0 1224 44 0 0 25 0 1 0 194275719 154935296 34694 1992294400 4194304 9342243 548682068736 18446744073709551615 6953121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 37826 34694 645 1256 0 36565 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151304

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1682552/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=160000 CPUtime=25.48
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 42233 0 0 0 2499 49 0 0 25 0 1 0 194275719 163840000 36171 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 40000 36171 645 1256 0 38739 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 160000

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15726
/proc/meminfo: memFree=1679224/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=181116 CPUtime=51.07
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 47200 0 0 0 5049 58 0 0 25 0 1 0 194275719 185462784 37090 1992294400 4194304 9342243 548682068736 18446744073709551615 6040648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 45279 37090 650 1256 0 44018 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 181116

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1673336/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=164760 CPUtime=102.26
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 59793 0 0 0 10153 73 0 0 25 0 1 0 194275719 168714240 38509 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 41190 38509 669 1256 0 39929 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 164760

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1660792/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=177412 CPUtime=162.23
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 62925 0 0 0 16132 91 0 0 25 0 1 0 194275719 181669888 41641 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 44353 41641 669 1256 0 43092 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 177412

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1654776/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=183324 CPUtime=222.21
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 64404 0 0 0 22114 107 0 0 25 0 1 0 194275719 187723776 43120 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 45831 43120 669 1256 0 44570 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 183324

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1649464/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=188844 CPUtime=282.18
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 65769 0 0 0 28097 121 0 0 25 0 1 0 194275719 193376256 44485 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 47211 44485 669 1256 0 45950 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 188844

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1644536/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=193640 CPUtime=342.15
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 66940 0 0 0 34079 136 0 0 25 0 1 0 194275719 198287360 45656 1992294400 4194304 9342243 548682068736 18446744073709551615 5432883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 48410 45656 669 1256 0 47149 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 193640

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1640760/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=197604 CPUtime=402.13
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 67913 0 0 0 40063 150 0 0 25 0 1 0 194275719 202346496 46629 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 49401 46629 669 1256 0 48140 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 197604

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1636088/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=202056 CPUtime=462.11
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 69027 0 0 0 46045 166 0 0 25 0 1 0 194275719 206905344 47743 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 50514 47743 669 1256 0 49253 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 202056

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1634424/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=203712 CPUtime=522.08
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 69430 0 0 0 52025 183 0 0 25 0 1 0 194275719 208601088 48146 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 50928 48146 669 1256 0 49667 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 203712

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1632248/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=205976 CPUtime=582.06
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 69959 0 0 0 58008 198 0 0 25 0 1 0 194275719 210919424 48675 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 51494 48675 669 1256 0 50233 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 205976

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1630584/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=207500 CPUtime=642.05
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 70368 0 0 0 63991 214 0 0 25 0 1 0 194275719 212480000 49084 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 51875 49084 669 1256 0 50614 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 207500

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1629176/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=209000 CPUtime=702.02
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 70702 0 0 0 69972 230 0 0 25 0 1 0 194275719 214016000 49418 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 52250 49418 669 1256 0 50989 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 209000

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1628024/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=210112 CPUtime=761.99
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 70991 0 0 0 75952 247 0 0 25 0 1 0 194275719 215154688 49707 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 52528 49707 669 1256 0 51267 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 210112

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1624888/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=213456 CPUtime=821.97
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 71802 0 0 0 81932 265 0 0 25 0 1 0 194275719 218578944 50518 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 53364 50518 669 1256 0 52103 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 213456

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1624120/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=214200 CPUtime=881.94
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 71993 0 0 0 87915 279 0 0 25 0 1 0 194275719 219340800 50709 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 53550 50709 669 1256 0 52289 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 214200

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1621880/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=216584 CPUtime=941.92
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 72536 0 0 0 93896 296 0 0 25 0 1 0 194275719 221782016 51252 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54146 51252 669 1256 0 52885 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 216584

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1621624/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=216728 CPUtime=1001.9
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 72586 0 0 0 99877 313 0 0 25 0 1 0 194275719 221929472 51302 1992294400 4194304 9342243 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54182 51302 669 1256 0 52921 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 216728

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1621048/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=217496 CPUtime=1061.88
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 72730 0 0 0 105861 327 0 0 25 0 1 0 194275719 222715904 51446 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54374 51446 669 1256 0 53113 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 217496

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1620600/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=217828 CPUtime=1121.85
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 72820 0 0 0 111844 341 0 0 25 0 1 0 194275719 223055872 51536 1992294400 4194304 9342243 548682068736 18446744073709551615 5433173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54457 51536 669 1256 0 53196 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 217828

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1620472/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=218116 CPUtime=1181.83
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 72859 0 0 0 117828 355 0 0 25 0 1 0 194275719 223350784 51575 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54529 51575 669 1256 0 53268 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 218116

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1620216/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=218280 CPUtime=1241.81
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 72904 0 0 0 123810 371 0 0 25 0 1 0 194275719 223518720 51620 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54570 51620 669 1256 0 53309 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 218280

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1619448/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=219184 CPUtime=1301.78
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 73082 0 0 0 129792 386 0 0 25 0 1 0 194275719 224444416 51798 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54796 51798 669 1256 0 53535 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 219184

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

[startup+1305.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1619448/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=219476 CPUtime=1304.98
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 73152 0 0 0 130111 387 0 0 25 0 1 0 194275719 224743424 51868 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54869 51868 669 1256 0 53608 0
Current children cumulated CPU time (s) 1304.98
Current children cumulated vsize (KiB) 219476

[startup+1306.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1619128/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=219800 CPUtime=1305.78
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 73258 0 0 0 130191 387 0 0 25 0 1 0 194275719 225075200 51974 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15725/statm: 54950 51974 669 1256 0 53689 0
Current children cumulated CPU time (s) 1305.78
Current children cumulated vsize (KiB) 219800

[startup+1307.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1618744/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=220080 CPUtime=1306.58
/proc/15725/stat : 15725 (pbscip.linux.x8) S 15723 15725 15259 0 -1 4194304 73305 0 0 0 130271 387 0 0 16 0 1 0 194275719 225361920 52021 1992294400 4194304 9342243 548682068736 18446744073709551615 8305712 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15725/statm: 55020 52021 671 1256 0 53759 0
Current children cumulated CPU time (s) 1306.58
Current children cumulated vsize (KiB) 220080

[startup+1307.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15726
/proc/meminfo: memFree=1618744/2055920 swapFree=4162476/4192956
[pid=15725] ppid=15723 vsize=220080 CPUtime=1306.77
/proc/15725/stat : 15725 (pbscip.linux.x8) R 15723 15725 15259 0 -1 4194304 73312 0 0 0 130290 387 0 0 18 0 1 0 194275719 225361920 52028 1992294400 4194304 9342243 548682068736 18446744073709551615 4813574 0 0 4096 0 0 0 0 17 1 0 0
/proc/15725/statm: 55020 52028 676 1256 0 53759 0
Current children cumulated CPU time (s) 1306.77
Current children cumulated vsize (KiB) 220080

Child status: 0
Real time (s): 1307.37
CPU time (s): 1306.85
CPU user time (s): 1302.94
CPU system time (s): 3.91041
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 220080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.94
system time used= 3.9104
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73317
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= 87
involuntary context switches= 1549

runsolver used 1.05384 second user time and 3.11952 second system time

The end

Begin job on node71 at 2009-06-17 21:26:59
IDJOB=1885478
IDBENCH=72061
IDSOLVER=684
FILE ID=node71/1885478-1245266818
PBS_JOBID= 9372390
Free space on /tmp= 66472 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/aprove09/AProVE09-22.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885478-1245266818/watcher-1885478-1245266818 -o /tmp/evaluation-result-1885478-1245266818/solver-1885478-1245266818 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885478-1245266818.opb

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

MD5SUM BENCH= a2b43c30966517830c171507ed28ba49
RANDOM SEED=2041983315

node71.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.277
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.277
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1825624 kB
Buffers:         20404 kB
Cached:         125220 kB
SwapCached:      24580 kB
Active:          65840 kB
Inactive:       107228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825624 kB
SwapTotal:     4192956 kB
SwapFree:      4162476 kB
Dirty:           12880 kB
Writeback:           0 kB
Mapped:          13496 kB
Slab:            43244 kB
Committed_AS:   101516 kB
PageTables:       1440 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66460 MiB
End job on node71 at 2009-06-17 21:48:46