Trace number 1869750

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT23 20.3489 20.3648

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir06_area_opers.opb
MD5SUM4b72d81adefd0ef56251a04b2b714e8c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark4.68829
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables11085
Total number of constraints23298
Number of constraints which are clauses23298
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 5533
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 5533
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 5533
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	23

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 5748
/proc/meminfo: memFree=1855440/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=4648 CPUtime=0
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 186163112 4759552 485 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/5748/statm: 1082 485 320 886 0 192 0

[startup+0.078088 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 5748
/proc/meminfo: memFree=1855440/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=17024 CPUtime=0.07
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 3588 0 0 0 6 1 0 0 18 0 1 0 186163112 17432576 3570 1992294400 4194304 7823515 548682068736 18446744073709551615 5538234 0 0 4096 0 0 0 0 17 1 0 0
/proc/5748/statm: 4256 3570 354 886 0 3366 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17024

[startup+0.101091 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 5748
/proc/meminfo: memFree=1855440/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=18240 CPUtime=0.09
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 3901 0 0 0 8 1 0 0 18 0 1 0 186163112 18677760 3883 1992294400 4194304 7823515 548682068736 18446744073709551615 6911728 0 0 4096 0 0 0 0 17 1 0 0
/proc/5748/statm: 4560 3883 354 886 0 3670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18240

[startup+0.30113 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 5748
/proc/meminfo: memFree=1855440/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=25440 CPUtime=0.29
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 5691 0 0 0 27 2 0 0 19 0 1 0 186163112 26050560 5673 1992294400 4194304 7823515 548682068736 18446744073709551615 6888849 0 0 4096 0 0 0 0 17 1 0 0
/proc/5748/statm: 6360 5673 354 886 0 5470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25440

[startup+0.701209 s]
/proc/loadavg: 0.93 0.97 0.98 3/64 5748
/proc/meminfo: memFree=1855440/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=57288 CPUtime=0.69
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 13725 0 0 0 62 7 0 0 23 0 1 0 186163112 58662912 13353 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 14322 13353 432 886 0 13432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57288

[startup+1.50137 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1797768/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=83492 CPUtime=1.49
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 20428 0 0 0 136 13 0 0 25 0 1 0 186163112 85495808 19782 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 20873 19782 536 886 0 19983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83492

[startup+3.10168 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1773320/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=91772 CPUtime=3.09
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 22637 0 0 0 292 17 0 0 25 0 1 0 186163112 93974528 21939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 22943 21939 555 886 0 22053 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91772

[startup+6.30131 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1748296/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=116940 CPUtime=6.28
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 28854 0 0 0 605 23 0 0 25 0 1 0 186163112 119746560 28156 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 29235 28156 555 886 0 28345 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 116940

[startup+12.7016 s]
/proc/loadavg: 0.94 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1725328/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=135532 CPUtime=12.69
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 33838 0 0 0 1240 29 0 0 25 0 1 0 186163112 138784768 32967 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 33883 32967 555 886 0 32993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 135532

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

[startup+15.9012 s]
/proc/loadavg: 0.94 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1724880/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=135532 CPUtime=15.88
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 33960 0 0 0 1557 31 0 0 25 0 1 0 186163112 138784768 33089 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 33883 33089 555 886 0 32993 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 135532

[startup+17.5015 s]
/proc/loadavg: 0.95 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1724880/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=135532 CPUtime=17.49
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 33960 0 0 0 1717 32 0 0 25 0 1 0 186163112 138784768 33089 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 33883 33089 555 886 0 32993 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 135532

[startup+19.1018 s]
/proc/loadavg: 0.95 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1724880/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=135532 CPUtime=19.08
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 33960 0 0 0 1875 33 0 0 25 0 1 0 186163112 138784768 33089 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 33883 33089 555 886 0 32993 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 135532

[startup+19.902 s]
/proc/loadavg: 0.95 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1724944/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=135532 CPUtime=19.88
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 33960 0 0 0 1954 34 0 0 25 0 1 0 186163112 138784768 33089 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5748/statm: 33883 33089 555 886 0 32993 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 135532

[startup+20.3011 s]
/proc/loadavg: 0.95 0.97 0.98 2/65 5749
/proc/meminfo: memFree=1724944/2055924 swapFree=4191900/4192956
[pid=5748] ppid=5746 vsize=135532 CPUtime=20.27
/proc/5748/stat : 5748 (pbscip.linux.x8) R 5746 5748 5097 0 -1 4194304 33967 0 0 0 1992 35 0 0 17 0 1 0 186163112 138784768 33096 1992294400 4194304 7823515 548682068736 18446744073709551615 5875152 0 0 4096 0 0 0 0 17 0 0 0
/proc/5748/statm: 33883 33096 562 886 0 32993 0
Current children cumulated CPU time (s) 20.27
Current children cumulated vsize (KiB) 135532

Child status: 0
Real time (s): 20.3648
CPU time (s): 20.3489
CPU user time (s): 19.972
CPU system time (s): 0.376942
CPU usage (%): 99.9222
Max. virtual memory (cumulated for all children) (KiB): 135532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.972
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33970
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= 44
involuntary context switches= 35

runsolver used 0.024996 second user time and 0.052991 second system time

The end

Launcher Data

Begin job on node6 at 2009-06-16 22:53:43
IDJOB=1869750
IDBENCH=25038
IDSOLVER=683
FILE ID=node6/1869750-1245185623
PBS_JOBID= 9363924
Free space on /tmp= 66240 MiB

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

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

MD5SUM BENCH= 4b72d81adefd0ef56251a04b2b714e8c
RANDOM SEED=1511164499

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

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

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


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1855920 kB
Buffers:         44028 kB
Cached:          84776 kB
SwapCached:        260 kB
Active:          47684 kB
Inactive:        94376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1855920 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           10784 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            43976 kB
Committed_AS:   169072 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66232 MiB
End job on node6 at 2009-06-16 22:54:04