Trace number 3691155

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedOPT26 152.709 152.735

General information on the benchmark

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

Verifier Data

OK	26

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691155-1338020634/watcher-3691155-1338020634 -o /tmp/evaluation-result-3691155-1338020634/solver-3691155-1338020634 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691155-1338020634.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 30300
/proc/meminfo: memFree=28701680/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=11140 CPUtime=0 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 1533 0 0 0 0 0 0 0 20 0 1 0 268188721 11407360 1488 33554432000 4194304 10173063 140737342743232 140736167876520 8803840 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 2785 1488 408 1460 0 1316 0

[startup+0.0591411 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 30300
/proc/meminfo: memFree=28701680/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=27120 CPUtime=0.05 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 5563 0 0 0 5 0 0 0 20 0 1 0 268188721 27770880 5518 33554432000 4194304 10173063 140737342743232 140736167876520 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 6780 5518 416 1460 0 5311 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27120

[startup+0.100348 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 30300
/proc/meminfo: memFree=28701680/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=31644 CPUtime=0.08 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 6708 0 0 0 8 0 0 0 20 0 1 0 268188721 32403456 6663 33554432000 4194304 10173063 140737342743232 140736167876520 8711378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 7911 6663 426 1460 0 6442 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31644

[startup+0.300284 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 30300
/proc/meminfo: memFree=28701680/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=84628 CPUtime=0.28 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 19541 0 0 0 25 3 0 0 20 0 1 0 268188721 86659072 19438 33554432000 4194304 10173063 140737342743232 140736167876520 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 21157 19438 561 1460 0 19688 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 84628

[startup+0.700282 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 30300
/proc/meminfo: memFree=28701680/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=90848 CPUtime=0.68 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 23071 0 0 0 52 16 0 0 20 0 1 0 268188721 93028352 20992 33554432000 4194304 10173063 140737342743232 140737342740232 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 22712 20992 583 1460 0 21243 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 90848

[startup+1.50026 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 30301
/proc/meminfo: memFree=28596004/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=129112 CPUtime=1.49 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 31821 0 0 0 124 25 0 0 20 0 1 0 268188721 132210688 30254 33554432000 4194304 10173063 140737342743232 140737342736872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 32278 30254 789 1460 0 30809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129112

[startup+3.10021 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 30301
/proc/meminfo: memFree=28580876/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=132928 CPUtime=3.08 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 33135 0 0 0 279 29 0 0 20 0 1 0 268188721 136118272 31485 33554432000 4194304 10173063 140737342743232 140737342738184 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 33232 31485 813 1460 0 31763 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 132928

[startup+6.30028 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 30301
/proc/meminfo: memFree=28576280/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=132928 CPUtime=6.28 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 33321 0 0 0 597 31 0 0 20 0 1 0 268188721 136118272 31671 33554432000 4194304 10173063 140737342743232 140737342738120 7283391 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 33232 31671 813 1460 0 31763 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 132928

[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.00 4/179 30301
/proc/meminfo: memFree=28563888/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=141260 CPUtime=12.69 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 35345 0 0 0 1231 38 0 0 20 0 1 0 268188721 144650240 33695 33554432000 4194304 10173063 140737342743232 140737342738184 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 35315 33695 813 1460 0 33846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 141260

[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 30301
/proc/meminfo: memFree=28553324/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=145620 CPUtime=25.49 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 36482 0 0 0 2500 49 0 0 20 0 1 0 268188721 149114880 34832 33554432000 4194304 10173063 140737342743232 140737342738072 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 36405 34832 813 1460 0 34936 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 145620

[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 30301
/proc/meminfo: memFree=28538668/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=146748 CPUtime=51.08 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 46895 0 0 0 5025 83 0 0 20 0 1 0 268188721 150269952 35428 33554432000 4194304 10173063 140737342743232 140737342738120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 36687 35428 859 1460 0 35218 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 146748

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30302
/proc/meminfo: memFree=28480300/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=148112 CPUtime=102.28 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 46971 0 0 0 10134 94 0 0 20 0 1 0 268188721 151666688 35504 33554432000 4194304 10173063 140737342743232 140737342737064 8012341 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 37028 35504 862 1460 0 35559 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 148112

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

[startup+127.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30302
/proc/meminfo: memFree=28470580/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=148792 CPUtime=127.87 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 47060 0 0 0 12687 100 0 0 20 0 1 0 268188721 152363008 35593 33554432000 4194304 10173063 140737342743232 140737342738600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 37198 35593 862 1460 0 35729 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 148792

[startup+140.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30302
/proc/meminfo: memFree=28455312/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=152020 CPUtime=140.68 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 47855 0 0 0 13962 106 0 0 20 0 1 0 268188721 155668480 36388 33554432000 4194304 10173063 140737342743232 140737342736952 5122809 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 38005 36388 862 1460 0 36536 0
Current children cumulated CPU time (s) 140.68
Current children cumulated vsize (KiB) 152020

[startup+147.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30302
/proc/meminfo: memFree=28446368/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=155908 CPUtime=147.07 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 58614 0 0 0 14591 116 0 0 20 0 1 0 268188721 159649792 37248 33554432000 4194304 10173063 140737342743232 140737342736488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 38977 37248 863 1460 0 37508 0
Current children cumulated CPU time (s) 147.07
Current children cumulated vsize (KiB) 155908

[startup+150.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30302
/proc/meminfo: memFree=28441036/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=156112 CPUtime=150.26 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 58836 0 0 0 14908 118 0 0 20 0 1 0 268188721 159858688 37470 33554432000 4194304 10173063 140737342743232 140737342736152 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 39028 37470 863 1460 0 37559 0
Current children cumulated CPU time (s) 150.26
Current children cumulated vsize (KiB) 156112

[startup+151.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30302
/proc/meminfo: memFree=28437936/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=156556 CPUtime=151.87 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 59003 0 0 0 15067 120 0 0 20 0 1 0 268188721 160313344 37637 33554432000 4194304 10173063 140737342743232 140737342736872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 39139 37637 863 1460 0 37670 0
Current children cumulated CPU time (s) 151.87
Current children cumulated vsize (KiB) 156556

[startup+152.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30302
/proc/meminfo: memFree=28437936/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=156556 CPUtime=152.27 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 59006 0 0 0 15107 120 0 0 20 0 1 0 268188721 160313344 37640 33554432000 4194304 10173063 140737342743232 140737342736872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 39139 37640 863 1460 0 37670 0
Current children cumulated CPU time (s) 152.27
Current children cumulated vsize (KiB) 156556

[startup+152.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30302
/proc/meminfo: memFree=28437936/32873844 swapFree=7096/7096
[pid=30300] ppid=30298 vsize=153832 CPUtime=152.66 cores=1,3,5,7
/proc/30300/stat : 30300 (scip-2.1.1.4fix) R 30298 30300 29822 0 -1 4202496 59101 0 0 0 15146 120 0 0 20 0 1 0 268188721 157523968 36983 33554432000 4194304 10173063 140737342743232 140737342739752 7437857 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30300/statm: 38360 36885 866 1460 0 36891 0
Current children cumulated CPU time (s) 152.66
Current children cumulated vsize (KiB) 153832

Child status: 0
Real time (s): 152.735
CPU time (s): 152.709
CPU user time (s): 151.494
CPU system time (s): 1.21481
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 189088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.494
system time used= 1.21481
maximum resident set size= 183892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 158

runsolver used 0.269958 second user time and 0.695894 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-26 10:23:54
IDJOB=3691155
IDBENCH=24994
IDSOLVER=2270
FILE ID=node132/3691155-1338020634
RUNJOBID= node132-1338016918-29839
PBS_JOBID= 14624340
Free space on /tmp= 71556 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691155-1338020634/watcher-3691155-1338020634 -o /tmp/evaluation-result-3691155-1338020634/solver-3691155-1338020634 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691155-1338020634.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d869c2ae266497675d66f161576eaac8
RANDOM SEED=68828364

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28701688 kB
Buffers:          242340 kB
Cached:          2971556 kB
SwapCached:            0 kB
Active:           951128 kB
Inactive:        2450140 kB
Active(anon):     189900 kB
Inactive(anon):        0 kB
Active(file):     761228 kB
Inactive(file):  2450140 kB
Unevictable:        7096 kB
Mlocked:            7096 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14968 kB
Writeback:             0 kB
AnonPages:        194372 kB
Mapped:            17732 kB
Shmem:               212 kB
Slab:             632720 kB
SReclaimable:      74660 kB
SUnreclaim:       558060 kB
KernelStack:        1496 kB
PageTables:         3952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     304540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71544 MiB
End job on node132 at 2012-05-26 10:26:27