Trace number 1869664

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT26 426.872 427.002

General information on the benchmark

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

Verifier Data

OK	26

Watcher Data

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6033
/proc/meminfo: memFree=1860928/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=4324 CPUtime=0
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 185851583 4427776 450 1992294400 4194304 7823515 548682068736 18446744073709551615 6804240 0 0 4096 0 0 0 0 17 1 0 0
/proc/6033/statm: 1081 463 300 886 0 191 0

[startup+0.0239971 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6033
/proc/meminfo: memFree=1860928/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=12112 CPUtime=0.01
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 2186 0 0 0 1 0 0 0 18 0 1 0 185851583 12402688 2169 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/6033/statm: 3028 2177 349 886 0 2138 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12112

[startup+0.102003 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6033
/proc/meminfo: memFree=1860928/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=18236 CPUtime=0.09
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 3890 0 0 0 8 1 0 0 18 0 1 0 185851583 18673664 3872 1992294400 4194304 7823515 548682068736 18446744073709551615 6896440 0 0 4096 0 0 0 0 17 1 0 0
/proc/6033/statm: 4559 3872 354 886 0 3669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18236

[startup+0.302026 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6033
/proc/meminfo: memFree=1860928/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=25396 CPUtime=0.29
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 5679 0 0 0 28 1 0 0 19 0 1 0 185851583 26005504 5661 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6033/statm: 6349 5661 354 886 0 5459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25396

[startup+0.70107 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6033
/proc/meminfo: memFree=1860928/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=63604 CPUtime=0.69
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 15529 0 0 0 64 5 0 0 22 0 1 0 185851583 65130496 15157 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 15901 15157 385 886 0 15011 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63604

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1797240/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=79544 CPUtime=1.49
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 20094 0 0 0 133 16 0 0 25 0 1 0 185851583 81453056 18968 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 19886 18968 447 886 0 18996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79544

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1764664/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=107876 CPUtime=3.09
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 27086 0 0 0 290 19 0 0 25 0 1 0 185851583 110465024 25804 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 26969 25804 537 886 0 26079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107876

[startup+6.30171 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1748728/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=120708 CPUtime=6.29
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 30223 0 0 0 606 23 0 0 25 0 1 0 185851583 123604992 28875 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 30177 28875 558 886 0 29287 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120708

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1739640/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=128780 CPUtime=12.69
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 32099 0 0 0 1243 26 0 0 25 0 1 0 185851583 131870720 30751 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 32195 30751 558 886 0 31305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 128780

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1739384/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=129056 CPUtime=25.48
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 32180 0 0 0 2517 31 0 0 25 0 1 0 185851583 132153344 30832 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 32264 30832 558 886 0 31374 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 129056

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1735992/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=131472 CPUtime=51.07
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 33279 0 0 0 5067 40 0 0 25 0 1 0 185851583 134627328 31668 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 32868 31668 558 886 0 31978 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131472

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1703160/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=102.26
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41516 0 0 0 10163 63 0 0 25 0 1 0 185851583 168882176 39900 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39900 571 886 0 40341 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 164924

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1703096/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=162.24
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41526 0 0 0 16149 75 0 0 25 0 1 0 185851583 168882176 39910 1992294400 4194304 7823515 548682068736 18446744073709551615 6162852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39910 571 886 0 40341 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 164924

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1703032/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=222.23
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41526 0 0 0 22138 85 0 0 25 0 1 0 185851583 168882176 39910 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39910 571 886 0 40341 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 164924

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1703032/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=282.21
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41526 0 0 0 28124 97 0 0 25 0 1 0 185851583 168882176 39910 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39910 571 886 0 40341 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 164924

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702968/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=342.19
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41526 0 0 0 34113 106 0 0 25 0 1 0 185851583 168882176 39910 1992294400 4194304 7823515 548682068736 18446744073709551615 6237451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39910 571 886 0 40341 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 164924

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=402.17
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41526 0 0 0 40100 117 0 0 25 0 1 0 185851583 168882176 39910 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39910 571 886 0 40341 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 164924

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

[startup+409.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=409.37
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41527 0 0 0 40819 118 0 0 25 0 1 0 185851583 168882176 39911 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39911 572 886 0 40341 0
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (KiB) 164924

[startup+415.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=415.77
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41527 0 0 0 41457 120 0 0 25 0 1 0 185851583 168882176 39911 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39911 572 886 0 40341 0
Current children cumulated CPU time (s) 415.77
Current children cumulated vsize (KiB) 164924

[startup+422.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=422.17
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41527 0 0 0 42096 121 0 0 25 0 1 0 185851583 168882176 39911 1992294400 4194304 7823515 548682068736 18446744073709551615 6109354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39911 572 886 0 40341 0
Current children cumulated CPU time (s) 422.17
Current children cumulated vsize (KiB) 164924

[startup+425.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=425.37
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41527 0 0 0 42415 122 0 0 25 0 1 0 185851583 168882176 39911 1992294400 4194304 7823515 548682068736 18446744073709551615 6211739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39911 572 886 0 40341 0
Current children cumulated CPU time (s) 425.37
Current children cumulated vsize (KiB) 164924

[startup+426.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=426.17
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41527 0 0 0 42495 122 0 0 25 0 1 0 185851583 168882176 39911 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39911 572 886 0 40341 0
Current children cumulated CPU time (s) 426.17
Current children cumulated vsize (KiB) 164924

[startup+426.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=426.57
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41527 0 0 0 42535 122 0 0 25 0 1 0 185851583 168882176 39911 1992294400 4194304 7823515 548682068736 18446744073709551615 6211008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39911 572 886 0 40341 0
Current children cumulated CPU time (s) 426.57
Current children cumulated vsize (KiB) 164924

[startup+426.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=164924 CPUtime=426.76
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194304 41555 0 0 0 42554 122 0 0 17 0 1 0 185851583 168882176 39939 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0
/proc/6033/statm: 41231 39939 574 886 0 40341 0
Current children cumulated CPU time (s) 426.76
Current children cumulated vsize (KiB) 164924

[startup+427.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6034
/proc/meminfo: memFree=1702904/2055920 swapFree=4182468/4192956
[pid=6033] ppid=6031 vsize=0 CPUtime=426.86
/proc/6033/stat : 6033 (pbscip.linux.x8) R 6031 6033 5809 0 -1 4194308 41558 0 0 0 42561 125 0 0 18 0 1 0 185851583 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6033/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 426.86
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 427.002
CPU time (s): 426.872
CPU user time (s): 425.619
CPU system time (s): 1.25281
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 164924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 425.619
system time used= 1.25281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41558
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= 83
involuntary context switches= 508

runsolver used 0.338948 second user time and 0.927858 second system time

The end

Launcher Data

Begin job on node23 at 2009-06-16 22:01:57
IDJOB=1869664
IDBENCH=24995
IDSOLVER=683
FILE ID=node23/1869664-1245182517
PBS_JOBID= 9363923
Free space on /tmp= 66268 MiB

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

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=1615702344

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1861344 kB
Buffers:         43568 kB
Cached:          88672 kB
SwapCached:       4304 kB
Active:          68640 kB
Inactive:        71548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861344 kB
SwapTotal:     4192956 kB
SwapFree:      4182468 kB
Dirty:           10884 kB
Writeback:           0 kB
Mapped:          14576 kB
Slab:            40460 kB
Committed_AS:   165068 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66260 MiB
End job on node23 at 2009-06-16 22:09:04