Trace number 1869644

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
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT25 76.5614 76.5964

General information on the benchmark

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

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-1869644-1245181923/watcher-1869644-1245181923 -o /tmp/evaluation-result-1869644-1245181923/solver-1869644-1245181923 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869644-1245181923.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: 0.92 0.98 0.99 2/64 3242
/proc/meminfo: memFree=1837560/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=7132 CPUtime=0
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 962 0 0 0 0 0 0 0 18 0 1 0 185788724 7303168 944 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/3242/statm: 1783 951 335 886 0 893 0

[startup+0.0670389 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 3242
/proc/meminfo: memFree=1837560/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=16256 CPUtime=0.05
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 3411 0 0 0 4 1 0 0 18 0 1 0 185788724 16646144 3393 1992294400 4194304 7823515 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0
/proc/3242/statm: 4064 3393 354 886 0 3174 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16256

[startup+0.101043 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 3242
/proc/meminfo: memFree=1837560/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=17220 CPUtime=0.09
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 3645 0 0 0 8 1 0 0 18 0 1 0 185788724 17633280 3627 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/3242/statm: 4305 3627 354 886 0 3415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17220

[startup+0.301081 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 3242
/proc/meminfo: memFree=1837560/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=24420 CPUtime=0.29
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 5460 0 0 0 27 2 0 0 19 0 1 0 185788724 25006080 5442 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/3242/statm: 6105 5442 354 886 0 5215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24420

[startup+0.701157 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 3242
/proc/meminfo: memFree=1837560/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=58148 CPUtime=0.69
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 13964 0 0 0 62 7 0 0 22 0 1 0 185788724 59543552 13592 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 14537 13592 432 886 0 13647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58148

[startup+1.50131 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3243
/proc/meminfo: memFree=1777056/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=87972 CPUtime=1.49
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 22109 0 0 0 132 17 0 0 25 0 1 0 185788724 90083328 20862 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 21993 20862 514 886 0 21103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87972

[startup+3.10161 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3243
/proc/meminfo: memFree=1748768/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=101616 CPUtime=3.09
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 25534 0 0 0 289 20 0 0 25 0 1 0 185788724 104054784 24268 1992294400 4194304 7823515 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 25404 24268 542 886 0 24514 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101616

[startup+6.30121 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3243
/proc/meminfo: memFree=1732896/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=114252 CPUtime=6.29
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 28403 0 0 0 603 26 0 0 25 0 1 0 185788724 116994048 27078 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 28563 27078 558 886 0 27673 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114252

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3243
/proc/meminfo: memFree=1729440/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=116100 CPUtime=12.69
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 28996 0 0 0 1239 30 0 0 25 0 1 0 185788724 118886400 27671 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 29025 27671 558 886 0 28135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116100

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3243
/proc/meminfo: memFree=1717216/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=128592 CPUtime=25.48
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 32067 0 0 0 2510 38 0 0 25 0 1 0 185788724 131678208 30725 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 32148 30725 559 886 0 31258 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 128592

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1715936/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=130476 CPUtime=51.07
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 32382 0 0 0 5054 53 0 0 25 0 1 0 185788724 133607424 31040 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 32619 31040 559 886 0 31729 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 130476

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

[startup+63.902 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1715808/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=130476 CPUtime=63.87
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 32452 0 0 0 6327 60 0 0 25 0 1 0 185788724 133607424 31110 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 32619 31110 559 886 0 31729 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 130476

[startup+70.3012 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1682848/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=164144 CPUtime=70.27
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 40700 0 0 0 6959 68 0 0 25 0 1 0 185788724 168083456 39350 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 41036 39350 571 886 0 40146 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 164144

[startup+73.5018 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1682848/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=164144 CPUtime=73.46
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 40700 0 0 0 7277 69 0 0 25 0 1 0 185788724 168083456 39350 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 41036 39350 571 886 0 40146 0
Current children cumulated CPU time (s) 73.46
Current children cumulated vsize (KiB) 164144

[startup+75.1011 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1682848/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=164144 CPUtime=75.06
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 40701 0 0 0 7436 70 0 0 25 0 1 0 185788724 168083456 39351 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 41036 39351 572 886 0 40146 0
Current children cumulated CPU time (s) 75.06
Current children cumulated vsize (KiB) 164144

[startup+75.9052 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1682848/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=164144 CPUtime=75.87
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 40701 0 0 0 7516 71 0 0 25 0 1 0 185788724 168083456 39351 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 41036 39351 572 886 0 40146 0
Current children cumulated CPU time (s) 75.87
Current children cumulated vsize (KiB) 164144

[startup+76.3013 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1682848/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=164144 CPUtime=76.26
/proc/3242/stat : 3242 (pbscip.linux.x8) R 3240 3242 3205 0 -1 4194304 40704 0 0 0 7555 71 0 0 25 0 1 0 185788724 168083456 39354 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3242/statm: 41036 39354 575 886 0 40146 0
Current children cumulated CPU time (s) 76.26
Current children cumulated vsize (KiB) 164144

[startup+76.5013 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 3245
/proc/meminfo: memFree=1682848/2055920 swapFree=4182544/4192956
[pid=3242] ppid=3240 vsize=164144 CPUtime=76.46
/proc/3242/stat : 3242 (pbscip.linux.x8) S 3240 3242 3205 0 -1 4194304 40733 0 0 0 7574 72 0 0 16 0 1 0 185788724 168083456 39383 1992294400 4194304 7823515 548682068736 18446744073709551615 6957296 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/3242/statm: 41036 39383 576 886 0 40146 0
Current children cumulated CPU time (s) 76.46
Current children cumulated vsize (KiB) 164144

Child status: 0
Real time (s): 76.5964
CPU time (s): 76.5614
CPU user time (s): 75.8115
CPU system time (s): 0.749886
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 164144

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

runsolver used 0.089986 second user time and 0.180972 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-16 21:52:03
IDJOB=1869644
IDBENCH=24985
IDSOLVER=683
FILE ID=node47/1869644-1245181923
PBS_JOBID= 9368282
Free space on /tmp= 65952 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869644-1245181923/watcher-1869644-1245181923 -o /tmp/evaluation-result-1869644-1245181923/solver-1869644-1245181923 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869644-1245181923.opb

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

MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025
RANDOM SEED=57593843

node47.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.261
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.261
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:       1838728 kB
Buffers:         45376 kB
Cached:         104856 kB
SwapCached:       4196 kB
Active:          54628 kB
Inactive:       103376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838728 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:           10976 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            45100 kB
Committed_AS:   179232 kB
PageTables:       1448 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= 65940 MiB
End job on node47 at 2009-06-16 21:53:20