Trace number 4434740

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT26 62.3446 62.5424

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
MD5SUM77a3dc3c6688d0f09e65e252caf4dce1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
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 benchmark17.7971
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11729
Total number of constraints36747
Number of constraints which are clauses36747
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5750
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5750
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5750
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	26

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (58947 MiB free)
  memory of node 1: 64510 MiB (61146 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434740-1721101998/watcher-4434740-1721101998 -o /tmp/evaluation-result-4434740-1721101998/solver-4434740-1721101998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434740-1721101998.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=834576, runsolver pid=834573

[startup+0.100108 s]*
/proc/loadavg: 4.04 4.08 4.10 5/250 834577
/proc/meminfo: memFree=122947612/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=51100 memory=39000 CPUtime=0.1 cores=1,3
/proc/834576/stat : 834576 (fscip) R 834573 834576 830624 0 -1 4194304 7692 0 0 0 9 1 0 0 20 0 1 0 162358584 52326400 9750 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 12775 9750 2318 3032 0 9175 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51100 KiB
Current children cumulated memory: 39000 KiB

[startup+0.212853 s]*
/proc/loadavg: 4.04 4.08 4.10 5/250 834577
/proc/meminfo: memFree=122916540/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=85012 memory=73576 CPUtime=0.21 cores=1,3
/proc/834576/stat : 834576 (fscip) R 834573 834576 830624 0 -1 4194304 16271 0 0 0 18 3 0 0 20 0 1 0 162358584 87052288 18394 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 21253 18394 2558 3032 0 17653 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 85012 KiB
Current children cumulated memory: 73576 KiB

[startup+0.312853 s]*
/proc/loadavg: 4.04 4.08 4.10 5/250 834577
/proc/meminfo: memFree=122900636/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=98444 memory=85372 CPUtime=0.31 cores=1,3
/proc/834576/stat : 834576 (fscip) R 834573 834576 830624 0 -1 4194304 19185 0 0 0 27 4 0 0 20 0 1 0 162358584 100806656 21343 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 24611 21343 2606 3032 0 21011 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98444 KiB
Current children cumulated memory: 85372 KiB

[startup+0.700339 s]
/proc/loadavg: 4.04 4.08 4.10 5/250 834577
/proc/meminfo: memFree=122893768/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=108636 memory=97040 CPUtime=0.68 cores=1,3
/proc/834576/stat : 834576 (fscip) R 834573 834576 830624 0 -1 4194304 26534 0 0 0 62 6 0 0 20 0 1 0 162358584 111243264 24260 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 27159 24260 2686 3032 0 23559 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108636 KiB
Current children cumulated memory: 97040 KiB

[startup+1.50058 s]
/proc/loadavg: 4.04 4.08 4.10 5/250 834577
/proc/meminfo: memFree=122876712/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=215564 memory=173220 CPUtime=1.48 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 49606 0 0 0 137 11 0 0 20 0 3 0 162358584 220737536 43305 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 53891 43305 2782 3032 0 49075 0
[pid=834576/tid=834578] ppid=834573 vsize=215564 memory=2752 CPUtime=0.43 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 14512 0 0 0 40 3 0 0 20 0 3 0 162358684 220737536 43305 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 215564 KiB
Current children cumulated memory: 173220 KiB

[startup+3.11286 s]
/proc/loadavg: 4.04 4.08 4.10 5/252 834579
/proc/meminfo: memFree=122780512/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=281100 memory=206312 CPUtime=3.08 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 69628 0 0 0 293 15 0 0 20 0 3 0 162358584 287846400 51578 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 70275 51578 2910 3032 0 57580 0
[pid=834576/tid=834578] ppid=834573 vsize=281100 memory=197900 CPUtime=2.02 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 34529 0 0 0 195 7 0 0 20 0 3 0 162358684 287846400 51578 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=281100 memory=198340509722 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162358697 287846400 51578 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 281100 KiB
Current children cumulated memory: 206312 KiB

[startup+6.30041 s]
/proc/loadavg: 4.04 4.08 4.10 5/252 834579
/proc/meminfo: memFree=122771824/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=284048 memory=220476 CPUtime=6.26 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 85407 0 0 0 610 16 0 0 20 0 3 0 162358584 290865152 55119 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 71012 55119 2910 3032 0 61784 0
[pid=834576/tid=834578] ppid=834573 vsize=284048 memory=213428 CPUtime=5.2 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 50306 0 0 0 512 8 0 0 20 0 3 0 162358684 290865152 55119 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=284048 memory=2433 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 162358697 290865152 55119 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 284048 KiB
Current children cumulated memory: 220476 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.09 4.10 5/252 834581
/proc/meminfo: memFree=122721672/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=352280 memory=266924 CPUtime=12.64 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 127044 0 0 0 1243 21 0 0 20 0 3 0 162358584 360734720 66731 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 88070 66731 2910 3032 0 74816 0
[pid=834576/tid=834578] ppid=834573 vsize=352280 memory=257840 CPUtime=11.58 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 91930 0 0 0 1145 13 0 0 20 0 3 0 162358684 360734720 66731 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=352280 memory=102932 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 162358697 360734720 66731 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 352280 KiB
Current children cumulated memory: 266924 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.09 4.10 5/252 834582
/proc/meminfo: memFree=122664820/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=417816 memory=313632 CPUtime=25.4 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 176910 0 0 0 2514 26 0 0 20 0 3 0 162358584 427843584 78408 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 104454 78408 2910 3032 0 88423 0
[pid=834576/tid=834578] ppid=834573 vsize=417816 memory=11516 CPUtime=24.35 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 141786 0 0 0 2417 18 0 0 20 0 3 0 162358684 427843584 78408 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=417816 memory=312616 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 162358697 427843584 78408 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 417816 KiB
Current children cumulated memory: 313632 KiB

[startup+51.1128 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 834587
/proc/meminfo: memFree=122594328/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=483352 memory=370448 CPUtime=50.95 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 213375 0 0 0 5065 30 0 0 20 0 3 0 162358584 494952448 92612 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 120838 92612 2974 3032 0 106404 0
[pid=834576/tid=834578] ppid=834573 vsize=483352 memory=11516 CPUtime=49.89 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 177225 0 0 0 4967 22 0 0 20 0 3 0 162358684 494952448 92612 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=483352 memory=370448 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 162358697 494952448 92612 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 483352 KiB
Current children cumulated memory: 370448 KiB

[startup+62.5423 s]
# the end of solver process 834576 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=61.9384 s, system=0.406178 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2005 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 834587
/proc/meminfo: memFree=122594328/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=483352 memory=370448 CPUtime=51.04 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 213375 0 0 0 5074 30 0 0 20 0 3 0 162358584 494952448 92612 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 120838 92612 2974 3032 0 106404 0
[pid=834576/tid=834578] ppid=834573 vsize=483352 memory=5468 CPUtime=49.98 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 177225 0 0 0 4976 22 0 0 20 0 3 0 162358684 494952448 92612 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=483352 memory=11516 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 162358697 494952448 92612 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 483352 KiB
Current children cumulated memory: 370448 KiB

[startup+57.6004 s]
/proc/loadavg: 4.13 4.10 4.10 5/252 834587
/proc/meminfo: memFree=122590820/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=483352 memory=370892 CPUtime=57.42 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 233661 0 0 0 5711 31 0 0 20 0 3 0 162358584 494952448 92723 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 120838 92723 2974 3032 0 106404 0
[pid=834576/tid=834578] ppid=834573 vsize=483352 memory=1824 CPUtime=56.36 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 197502 0 0 0 5613 23 0 0 20 0 3 0 162358684 494952448 92723 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=483352 memory=32736 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 162358697 494952448 92723 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 57.42 s
Current children cumulated vsize: 483352 KiB
Current children cumulated memory: 370892 KiB

[startup+60.8004 s]
/proc/loadavg: 4.12 4.09 4.10 5/252 834590
/proc/meminfo: memFree=122556212/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=483352 memory=405364 CPUtime=60.61 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 252152 0 0 0 6028 33 0 0 20 0 3 0 162358584 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 120838 101341 2974 3032 0 115432 0
[pid=834576/tid=834578] ppid=834573 vsize=483352 memory=6943526294502006880 CPUtime=59.55 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 215057 0 0 0 5931 24 0 0 20 0 3 0 162358684 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=483352 memory=370892 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 162358697 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 60.61 s
Current children cumulated vsize: 483352 KiB
Current children cumulated memory: 405364 KiB

[startup+61.6004 s]
/proc/loadavg: 4.12 4.09 4.10 5/252 834590
/proc/meminfo: memFree=122556204/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=483352 memory=405364 CPUtime=61.41 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 252183 0 0 0 6108 33 0 0 20 0 3 0 162358584 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 120838 101341 2974 3032 0 115432 0
[pid=834576/tid=834578] ppid=834573 vsize=483352 memory=41416 CPUtime=60.34 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 215088 0 0 0 6010 24 0 0 20 0 3 0 162358684 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=483352 memory=129 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 162358697 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 61.41 s
Current children cumulated vsize: 483352 KiB
Current children cumulated memory: 405364 KiB

[startup+62.0003 s]*
/proc/loadavg: 4.12 4.09 4.10 5/252 834590
/proc/meminfo: memFree=122556212/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=483352 memory=405364 CPUtime=61.82 cores=1,3
/proc/834576/stat : 834576 (fscip) S 834573 834576 830624 0 -1 1077936128 252259 0 0 0 6149 33 0 0 20 0 3 0 162358584 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 120838 101341 2974 3032 0 115432 0
[pid=834576/tid=834578] ppid=834573 vsize=483352 memory=6720663259634220398 CPUtime=60.75 cores=1,3
/proc/834576/task/834578/stat : 834578 (fscip) R 834573 834576 830624 0 -1 4194368 215164 0 0 0 6051 24 0 0 20 0 3 0 162358684 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
[pid=834576/tid=834579] ppid=834573 vsize=483352 memory=405364 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 162358697 494952448 101341 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 61.82 s
Current children cumulated vsize: 483352 KiB
Current children cumulated memory: 405364 KiB

[startup+62.4006 s]
/proc/loadavg: 4.12 4.09 4.10 5/252 834590
/proc/meminfo: memFree=122556212/131655788 swapFree=131071996/131071996
[pid=834576] ppid=834573 vsize=480404 memory=402416 CPUtime=62.2 cores=1,3
/proc/834576/stat : 834576 (fscip) R 834573 834576 830624 0 -1 4194304 270435 0 0 0 6186 34 0 0 20 0 2 0 162358584 491933696 100604 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
/proc/834576/statm: 120101 100604 2974 3032 0 114695 0
[pid=834576/tid=834579] ppid=834573 vsize=480404 memory=6720663259634220398 CPUtime=0 cores=1,3
/proc/834576/task/834579/stat : 834579 (fscip) S 834573 834576 830624 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 2 0 162358697 491933696 100604 134679101440 4194304 16613245 140737068281232 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 41201664 140737068282901 140737068283017 140737068283017 140737068290032 0
Current children cumulated CPU time: 62.2 s
Current children cumulated vsize: 480404 KiB
Current children cumulated memory: 402416 KiB

[startup+62.5007 s]*
/proc/loadavg: 4.12 4.09 4.10 5/251 834590
/proc/meminfo: memFree=122644376/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 62.5424
CPU time (s): 62.3446
CPU user time (s): 61.9384
CPU system time (s): 0.406178
CPU usage (%): 99.6838
Max. virtual memory (cumulated for all children) (KiB): 483352
Max. memory (cumulated for all children) (KiB): 405364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.9384
system time used= 0.406178
maximum resident set size= 405364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278615
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= 114
involuntary context switches= 88


# summary of solver processes directly reported to runsolver:
#   pid: 834576
#   total CPU time (s): 62.3446
#   total CPU user time (s): 61.9384
#   total CPU system time (s): 0.406178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.325339 second user time and 0.671485 second system time

The end

Launcher Data

Begin job on nodeC006 at 2024-07-16 05:53:31
IDJOB=4434740
IDBENCH=148144
IDSOLVER=3064
FILE ID=nodeC006/4434740-1721101998
RUNJOBID= nodeC006-1721095536-830636
SLURM_JOB_ID= 7505606
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434740-1721101998/watcher-4434740-1721101998 -o /tmp/evaluation-result-4434740-1721101998/solver-4434740-1721101998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434740-1721101998.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 77a3dc3c6688d0f09e65e252caf4dce1
RANDOM SEED=1042164985

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3651.203
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.997
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.395
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.248
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3624.085
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3639.797
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.434
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.265
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122976740 kB
MemAvailable:   126716248 kB
Buffers:          400844 kB
Cached:          4135580 kB
SwapCached:            0 kB
Active:           708288 kB
Inactive:        7340304 kB
Active(anon):       1460 kB
Inactive(anon):  3548444 kB
Active(file):     706828 kB
Inactive(file):  3791860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29380 kB
Writeback:             0 kB
AnonPages:       3509248 kB
Mapped:           139136 kB
Shmem:             37704 kB
KReclaimable:     161704 kB
Slab:             266552 kB
SReclaimable:     161704 kB
SUnreclaim:       104848 kB
KernelStack:        4016 kB
PageTables:        16312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1649708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2097152 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC006 at 2024-07-16 05:54:33