Trace number 4434739

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT28 32.0011 32.1109

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
MD5SUM6595cc4610fad26587cd2ec4880b38c3
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark10.4026
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11321
Total number of constraints36630
Number of constraints which are clauses36630
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 5515
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 5515
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 5515
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	28

Watcher Data

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=834522, runsolver pid=834519

[startup+0.100483 s]*
/proc/loadavg: 4.08 4.09 4.10 5/250 834523
/proc/meminfo: memFree=122962080/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=46788 memory=35604 CPUtime=0.1 cores=1,3
/proc/834522/stat : 834522 (fscip) R 834519 834522 830624 0 -1 4194304 6783 0 0 0 9 1 0 0 20 0 1 0 162355305 47910912 8901 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 11697 8901 2318 3032 0 8097 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46788 KiB
Current children cumulated memory: 35604 KiB

[startup+0.213141 s]*
/proc/loadavg: 4.08 4.09 4.10 5/250 834523
/proc/meminfo: memFree=122910896/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=98304 memory=85212 CPUtime=0.21 cores=1,3
/proc/834522/stat : 834522 (fscip) R 834519 834522 830624 0 -1 4194304 19134 0 0 0 19 2 0 0 20 0 1 0 162355305 100663296 21303 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 24576 21303 2606 3032 0 20976 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 98304 KiB
Current children cumulated memory: 85212 KiB

[startup+0.312877 s]*
/proc/loadavg: 4.08 4.09 4.10 5/250 834523
/proc/meminfo: memFree=122904708/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=102384 memory=90492 CPUtime=0.31 cores=1,3
/proc/834522/stat : 834522 (fscip) R 834519 834522 830624 0 -1 4194304 20409 0 0 0 28 3 0 0 20 0 1 0 162355305 104841216 22623 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 25596 22623 2606 3032 0 21996 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102384 KiB
Current children cumulated memory: 90492 KiB

[startup+0.71048 s]
/proc/loadavg: 4.08 4.09 4.10 5/250 834523
/proc/meminfo: memFree=122890764/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=206640 memory=118344 CPUtime=0.7 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 34708 0 0 0 64 6 0 0 20 0 2 0 162355305 211599360 29586 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 51660 29586 2766 3032 0 33179 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 206640 KiB
Current children cumulated memory: 118344 KiB

[startup+1.5004 s]
/proc/loadavg: 4.08 4.09 4.10 5/252 834525
/proc/meminfo: memFree=122828160/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=280372 memory=196504 CPUtime=1.48 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 54819 0 0 0 138 10 0 0 20 0 3 0 162355305 287100928 49126 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 70093 49126 2894 3032 0 55458 0
[pid=834522/tid=834524] ppid=834519 vsize=280372 memory=4344 CPUtime=0.79 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 21412 0 0 0 74 5 0 0 20 0 3 0 162355371 287100928 49126 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=280372 memory=2268 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162355381 287100928 49126 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 280372 KiB
Current children cumulated memory: 196504 KiB

[startup+3.11244 s]
/proc/loadavg: 4.07 4.09 4.10 5/252 834527
/proc/meminfo: memFree=122779964/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=283144 memory=214956 CPUtime=3.08 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 70337 0 0 0 297 11 0 0 20 0 3 0 162355305 289939456 53739 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 70786 53739 2910 3032 0 60762 0
[pid=834522/tid=834524] ppid=834519 vsize=283144 memory=2268 CPUtime=2.39 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 36925 0 0 0 233 6 0 0 20 0 3 0 162355371 289939456 53739 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=283144 memory=100 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162355381 289939456 53739 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 283144 KiB
Current children cumulated memory: 214956 KiB

[startup+6.30035 s]
/proc/loadavg: 4.07 4.09 4.10 5/252 834527
/proc/meminfo: memFree=122766028/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=283144 memory=227848 CPUtime=6.26 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 86073 0 0 0 614 12 0 0 20 0 3 0 162355305 289939456 56962 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 70786 56962 2910 3032 0 64406 0
[pid=834522/tid=834524] ppid=834519 vsize=283144 memory=0 CPUtime=5.57 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 52659 0 0 0 550 7 0 0 20 0 3 0 162355371 289939456 56962 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=283144 memory=2314990832828629592 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 162355381 289939456 56962 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 283144 KiB
Current children cumulated memory: 227848 KiB

[startup+12.7004 s]
/proc/loadavg: 4.06 4.08 4.10 5/252 834527
/proc/meminfo: memFree=122725848/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=351300 memory=267512 CPUtime=12.65 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 126218 0 0 0 1249 16 0 0 20 0 3 0 162355305 359731200 66878 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 87825 66878 2910 3032 0 76373 0
[pid=834522/tid=834524] ppid=834519 vsize=351300 memory=214956 CPUtime=11.95 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 92800 0 0 0 1185 10 0 0 20 0 3 0 162355371 359731200 66878 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=351300 memory=255884 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 162355381 359731200 66878 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 351300 KiB
Current children cumulated memory: 267512 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.08 4.10 5/252 834530
/proc/meminfo: memFree=122641424/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=482372 memory=345588 CPUtime=25.41 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 172862 0 0 0 2521 20 0 0 20 0 3 0 162355305 493948928 86397 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 120593 86397 2974 3032 0 100669 0
[pid=834522/tid=834524] ppid=834519 vsize=482372 memory=11516 CPUtime=24.71 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 138542 0 0 0 2457 14 0 0 20 0 3 0 162355371 493948928 86397 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=482372 memory=345564 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 162355381 493948928 86397 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 482372 KiB
Current children cumulated memory: 345588 KiB

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

# cumulated CPU time of all completed processes:  user=31.7173 s, system=0.283789 s

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

[startup+25.6005 s]
/proc/loadavg: 4.05 4.08 4.10 5/252 834530
/proc/meminfo: memFree=122641424/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=482372 memory=345588 CPUtime=25.51 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 172864 0 0 0 2531 20 0 0 20 0 3 0 162355305 493948928 86397 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 120593 86397 2974 3032 0 100669 0
[pid=834522/tid=834524] ppid=834519 vsize=482372 memory=11516 CPUtime=24.81 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 138544 0 0 0 2467 14 0 0 20 0 3 0 162355371 493948928 86397 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=482372 memory=41416 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 162355381 493948928 86397 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 482372 KiB
Current children cumulated memory: 345588 KiB

[startup+28.8004 s]
/proc/loadavg: 4.05 4.08 4.10 5/252 834530
/proc/meminfo: memFree=122641396/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=482372 memory=345600 CPUtime=28.7 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 178656 0 0 0 2849 21 0 0 20 0 3 0 162355305 493948928 86400 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 120593 86400 2974 3032 0 100669 0
[pid=834522/tid=834524] ppid=834519 vsize=482372 memory=41416 CPUtime=28 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 144334 0 0 0 2785 15 0 0 20 0 3 0 162355371 493948928 86400 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=482372 memory=345588 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 162355381 493948928 86400 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 482372 KiB
Current children cumulated memory: 345600 KiB

[startup+30.4004 s]
/proc/loadavg: 4.05 4.08 4.10 5/252 834530
/proc/meminfo: memFree=122641312/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=482372 memory=345640 CPUtime=30.29 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 179682 0 0 0 3008 21 0 0 20 0 3 0 162355305 493948928 86410 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 120593 86410 2974 3032 0 100669 0
[pid=834522/tid=834524] ppid=834519 vsize=482372 memory=41416 CPUtime=29.59 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 145360 0 0 0 2944 15 0 0 20 0 3 0 162355371 493948928 86410 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=482372 memory=12020 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 162355381 493948928 86410 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 30.29 s
Current children cumulated vsize: 482372 KiB
Current children cumulated memory: 345640 KiB

[startup+31.2004 s]
/proc/loadavg: 4.05 4.08 4.10 5/252 834530
/proc/meminfo: memFree=122641276/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=482372 memory=345640 CPUtime=31.09 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 179994 0 0 0 3088 21 0 0 20 0 3 0 162355305 493948928 86410 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 120593 86410 2974 3032 0 100669 0
[pid=834522/tid=834524] ppid=834519 vsize=482372 memory=11516 CPUtime=30.39 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 145672 0 0 0 3024 15 0 0 20 0 3 0 162355371 493948928 86410 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=482372 memory=41416 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 162355381 493948928 86410 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 31.09 s
Current children cumulated vsize: 482372 KiB
Current children cumulated memory: 345640 KiB

[startup+31.6004 s]
/proc/loadavg: 4.05 4.08 4.10 5/252 834530
/proc/meminfo: memFree=122641276/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=482372 memory=345692 CPUtime=31.49 cores=1,3
/proc/834522/stat : 834522 (fscip) S 834519 834522 830624 0 -1 1077936128 183328 0 0 0 3128 21 0 0 20 0 3 0 162355305 493948928 86423 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 120593 86423 2974 3032 0 100669 0
[pid=834522/tid=834524] ppid=834519 vsize=482372 memory=32736 CPUtime=30.8 cores=1,3
/proc/834522/task/834524/stat : 834524 (fscip) R 834519 834522 830624 0 -1 4194368 148190 0 0 0 3064 16 0 0 20 0 3 0 162355371 493948928 86423 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
[pid=834522/tid=834525] ppid=834519 vsize=482372 memory=25168 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 162355381 493948928 86423 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 31.49 s
Current children cumulated vsize: 482372 KiB
Current children cumulated memory: 345692 KiB

[startup+32.0005 s]*
/proc/loadavg: 4.04 4.08 4.10 5/251 834530
/proc/meminfo: memFree=122663540/131655788 swapFree=131071996/131071996
[pid=834522] ppid=834519 vsize=414064 memory=323100 CPUtime=31.9 cores=1,3
/proc/834522/stat : 834522 (fscip) R 834519 834522 830624 0 -1 4194304 209700 0 0 0 3166 24 0 0 20 0 2 0 162355305 424001536 80775 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
/proc/834522/statm: 103516 80775 2974 3032 0 99622 0
[pid=834522/tid=834525] ppid=834519 vsize=414064 memory=-6170700470734715843 CPUtime=0 cores=1,3
/proc/834522/task/834525/stat : 834525 (fscip) S 834519 834522 830624 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 2 0 162355381 424001536 80775 134679101440 4194304 16613245 140734732266880 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34045952 140734732268565 140734732268681 140734732268681 140734732275696 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 414064 KiB
Current children cumulated memory: 323100 KiB

Child status: 0

Real time (s): 32.1109
CPU time (s): 32.0011
CPU user time (s): 31.7173
CPU system time (s): 0.283789
CPU usage (%): 99.6578
Max. virtual memory (cumulated for all children) (KiB): 482372
Max. memory (cumulated for all children) (KiB): 345692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.7173
system time used= 0.283789
maximum resident set size= 345692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215809
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= 56
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 834522
#   total CPU time (s): 32.0011
#   total CPU user time (s): 31.7173
#   total CPU system time (s): 0.283789

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208687 second user time and 0.354912 second system time

The end

Launcher Data

Begin job on nodeC006 at 2024-07-16 05:52:58
IDJOB=4434739
IDBENCH=148139
IDSOLVER=3064
FILE ID=nodeC006/4434739-1721101965
RUNJOBID= nodeC006-1721095536-830636
SLURM_JOB_ID= 7505606
Free space on /tmp= 723684 MiB

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

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

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=582107525

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122985980 kB
MemAvailable:   126725116 kB
Buffers:          400788 kB
Cached:          4135256 kB
SwapCached:            0 kB
Active:           708200 kB
Inactive:        7331492 kB
Active(anon):       1460 kB
Inactive(anon):  3539900 kB
Active(file):     706740 kB
Inactive(file):  3791592 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29420 kB
Writeback:            28 kB
AnonPages:       3500716 kB
Mapped:           139048 kB
Shmem:             37704 kB
KReclaimable:     161672 kB
Slab:             266600 kB
SReclaimable:     161672 kB
SUnreclaim:       104928 kB
KernelStack:        4032 kB
PageTables:        16420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1590204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2095104 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

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