Trace number 1869631

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT25 83.6273 83.6539

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
MD5SUM11f76d5c4a01da95c686f09380ec8e85
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark100.387
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables9709
Total number of constraints29891
Number of constraints which are clauses29891
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 4768
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4768
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4768
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	25

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869631-1245181649/watcher-1869631-1245181649 -o /tmp/evaluation-result-1869631-1245181649/solver-1869631-1245181649 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869631-1245181649.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 2300
/proc/meminfo: memFree=1843832/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=5812 CPUtime=0
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 524 0 0 0 0 0 0 0 18 0 1 0 185765229 5951488 508 1992294400 4194304 9342243 548682068736 18446744073709551615 8146941 0 0 4096 0 0 0 0 17 1 0 0
/proc/2300/statm: 1454 518 346 1256 0 193 0

[startup+0.0968761 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2300
/proc/meminfo: memFree=1843832/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=18712 CPUtime=0.09
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 3663 0 0 0 8 1 0 0 18 0 1 0 185765229 19161088 3647 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2300/statm: 4678 3647 378 1256 0 3417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18712

[startup+0.101876 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2300
/proc/meminfo: memFree=1843832/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=18712 CPUtime=0.09
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 3672 0 0 0 8 1 0 0 18 0 1 0 185765229 19161088 3656 1992294400 4194304 9342243 548682068736 18446744073709551615 8169779 0 0 4096 0 0 0 0 17 1 0 0
/proc/2300/statm: 4678 3657 378 1256 0 3417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18712

[startup+0.301896 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2300
/proc/meminfo: memFree=1843832/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=24636 CPUtime=0.29
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 5165 0 0 0 27 2 0 0 19 0 1 0 185765229 25227264 5149 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/2300/statm: 6159 5149 378 1256 0 4898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24636

[startup+0.701937 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2300
/proc/meminfo: memFree=1843832/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=56872 CPUtime=0.69
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 13410 0 0 0 62 7 0 0 22 0 1 0 185765229 58236928 13040 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 14218 13040 474 1256 0 12957 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56872

[startup+1.50202 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1785584/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=91464 CPUtime=1.49
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 20688 0 0 0 133 16 0 0 25 0 1 0 185765229 93659136 20216 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 22866 20216 615 1256 0 21605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91464

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1761136/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=99540 CPUtime=3.09
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 22999 0 0 0 290 19 0 0 25 0 1 0 185765229 101928960 22519 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 24885 22519 658 1256 0 23624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99540

[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1755888/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=99540 CPUtime=6.29
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 23006 0 0 0 609 20 0 0 25 0 1 0 185765229 101928960 22526 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 24885 22526 658 1256 0 23624 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99540

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1738800/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=115820 CPUtime=12.69
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 27268 0 0 0 1246 23 0 0 25 0 1 0 185765229 118599680 26788 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 28955 26788 658 1256 0 27694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115820

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1738480/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=115820 CPUtime=25.49
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 27365 0 0 0 2521 28 0 0 25 0 1 0 185765229 118599680 26885 1992294400 4194304 9342243 548682068736 18446744073709551615 4273572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 28955 26885 658 1256 0 27694 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115820

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1737136/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=117780 CPUtime=51.07
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 27737 0 0 0 5072 35 0 0 25 0 1 0 185765229 120606720 27257 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 29445 27257 658 1256 0 28184 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 117780

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

[startup+63.9013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1736368/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=117780 CPUtime=63.87
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 27933 0 0 0 6349 38 0 0 25 0 1 0 185765229 120606720 27453 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 29445 27453 671 1256 0 28184 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 117780

[startup+76.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1703152/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=150500 CPUtime=76.67
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 36275 0 0 0 7619 48 0 0 25 0 1 0 185765229 154112000 35794 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 37625 35794 701 1256 0 36364 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 150500

[startup+79.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1703088/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=150500 CPUtime=79.87
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 36275 0 0 0 7938 49 0 0 25 0 1 0 185765229 154112000 35794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 37625 35794 701 1256 0 36364 0
Current children cumulated CPU time (s) 79.87
Current children cumulated vsize (KiB) 150500

[startup+81.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1703024/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=150500 CPUtime=81.47
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 36275 0 0 0 8098 49 0 0 25 0 1 0 185765229 154112000 35794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 37625 35794 701 1256 0 36364 0
Current children cumulated CPU time (s) 81.47
Current children cumulated vsize (KiB) 150500

[startup+82.3012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1703024/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=150500 CPUtime=82.27
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 36275 0 0 0 8178 49 0 0 25 0 1 0 185765229 154112000 35794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 37625 35794 701 1256 0 36364 0
Current children cumulated CPU time (s) 82.27
Current children cumulated vsize (KiB) 150500

[startup+83.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1703024/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=150500 CPUtime=83.07
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 36275 0 0 0 8258 49 0 0 25 0 1 0 185765229 154112000 35794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 37625 35794 701 1256 0 36364 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 150500

[startup+83.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1703024/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=150500 CPUtime=83.47
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 36275 0 0 0 8298 49 0 0 25 0 1 0 185765229 154112000 35794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2300/statm: 37625 35794 701 1256 0 36364 0
Current children cumulated CPU time (s) 83.47
Current children cumulated vsize (KiB) 150500

[startup+83.6053 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2301
/proc/meminfo: memFree=1703024/2055920 swapFree=4182564/4192956
[pid=2300] ppid=2298 vsize=150500 CPUtime=83.57
/proc/2300/stat : 2300 (pbscip.linux.x8) R 2298 2300 2092 0 -1 4194304 36276 0 0 0 8308 49 0 0 17 0 1 0 185765229 154112000 35795 1992294400 4194304 9342243 548682068736 18446744073709551615 4401518 0 0 4096 0 0 0 0 17 1 0 0
/proc/2300/statm: 37625 35795 702 1256 0 36364 0
Current children cumulated CPU time (s) 83.57
Current children cumulated vsize (KiB) 150500

Child status: 0
Real time (s): 83.6539
CPU time (s): 83.6273
CPU user time (s): 83.1054
CPU system time (s): 0.52192
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 150500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.1054
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36279
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= 71
involuntary context switches= 128

runsolver used 0.070989 second user time and 0.186971 second system time

The end

Launcher Data

Begin job on node17 at 2009-06-16 21:47:30
IDJOB=1869631
IDBENCH=24978
IDSOLVER=684
FILE ID=node17/1869631-1245181649
PBS_JOBID= 9363919
Free space on /tmp= 66356 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.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-1869631-1245181649/watcher-1869631-1245181649 -o /tmp/evaluation-result-1869631-1245181649/solver-1869631-1245181649 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869631-1245181649.opb

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=684429623

node17.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.214
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.214
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:       1844312 kB
Buffers:         46328 kB
Cached:          97280 kB
SwapCached:       4224 kB
Active:          55124 kB
Inactive:        96452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1844312 kB
SwapTotal:     4192956 kB
SwapFree:      4182564 kB
Dirty:           12588 kB
Writeback:           0 kB
Mapped:          13748 kB
Slab:            46028 kB
Committed_AS:   168484 kB
PageTables:       1456 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= 66344 MiB
End job on node17 at 2009-06-16 21:48:53