Trace number 3693478

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedOPT28 75.5955 75.6087

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
MD5SUMf1fcceba4d2ff597685b8a775178b9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
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 benchmark36.5074
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
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

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	28

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8732
/proc/meminfo: memFree=28102812/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=11132 CPUtime=0 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 1423 0 0 0 0 0 0 0 20 0 1 0 269617519 11399168 1377 33554432000 4194304 10169799 140736200285200 140735370977272 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 2783 1389 403 1459 0 1315 0

[startup+0.029417 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8732
/proc/meminfo: memFree=28102812/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=21488 CPUtime=0.01 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 4151 0 0 0 1 0 0 0 20 0 1 0 269617519 22003712 4105 33554432000 4194304 10169799 140736200285200 140735370977272 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 5372 4105 412 1459 0 3904 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21488

[startup+0.100349 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8732
/proc/meminfo: memFree=28102812/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=30968 CPUtime=0.09 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 6533 0 0 0 8 1 0 0 20 0 1 0 269617519 31711232 6487 33554432000 4194304 10169799 140736200285200 140735370977272 4656112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 7742 6487 419 1459 0 6274 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30968

[startup+0.300301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8732
/proc/meminfo: memFree=28102812/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=85660 CPUtime=0.29 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 19788 0 0 0 25 4 0 0 20 0 1 0 269617519 87715840 19691 33554432000 4194304 10169799 140736200285200 140735370977272 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 21415 19691 555 1459 0 19947 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85660

[startup+0.700324 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8732
/proc/meminfo: memFree=28102812/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=94092 CPUtime=0.68 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 24021 0 0 0 60 8 0 0 20 0 1 0 269617519 96350208 21858 33554432000 4194304 10169799 140736200285200 140736200283352 6887261 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 23523 21858 609 1459 0 22055 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 94092

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8733
/proc/meminfo: memFree=27989056/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=126508 CPUtime=1.49 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 31801 0 0 0 138 11 0 0 20 0 1 0 269617519 129544192 29668 33554432000 4194304 10169799 140736200285200 140736200281736 7271366 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 31627 29668 793 1459 0 30159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126508

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8733
/proc/meminfo: memFree=27983088/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=133672 CPUtime=3.09 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 33855 0 0 0 297 12 0 0 20 0 1 0 269617519 136880128 31616 33554432000 4194304 10169799 140736200285200 140736200279608 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 33418 31616 811 1459 0 31950 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133672

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8733
/proc/meminfo: memFree=27974780/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=140592 CPUtime=6.29 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 35676 0 0 0 615 14 0 0 20 0 1 0 269617519 143966208 33437 33554432000 4194304 10169799 140736200285200 140736200281224 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 35148 33437 811 1459 0 33680 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 140592

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8733
/proc/meminfo: memFree=27965920/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=146224 CPUtime=12.68 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 36457 0 0 0 1250 18 0 0 20 0 1 0 269617519 149733376 34711 33554432000 4194304 10169799 140736200285200 140736200281272 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 36556 34711 811 1459 0 35088 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 146224

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8733
/proc/meminfo: memFree=27964988/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=148860 CPUtime=25.48 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 36809 0 0 0 2522 26 0 0 20 0 1 0 269617519 152432640 35063 33554432000 4194304 10169799 140736200285200 140736200281240 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37215 35063 811 1459 0 35747 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 148860

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27964004/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=150976 CPUtime=51.08 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 47741 0 0 0 5065 43 0 0 20 0 1 0 269617519 154599424 35798 33554432000 4194304 10169799 140736200285200 140736200279848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37744 35798 860 1459 0 36276 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150976

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

[startup+63.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27963756/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=150976 CPUtime=63.88 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 47762 0 0 0 6340 48 0 0 20 0 1 0 269617519 154599424 35819 33554432000 4194304 10169799 140736200285200 140736200279800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37744 35819 860 1459 0 36276 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 150976

[startup+70.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27963260/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=151292 CPUtime=70.28 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 47902 0 0 0 6979 49 0 0 20 0 1 0 269617519 154923008 35959 33554432000 4194304 10169799 140736200285200 140736200279896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37823 35959 860 1459 0 36355 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 151292

[startup+73.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27963012/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=151528 CPUtime=73.48 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 47951 0 0 0 7298 50 0 0 20 0 1 0 269617519 155164672 36008 33554432000 4194304 10169799 140736200285200 140736200281720 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37882 36008 860 1459 0 36414 0
Current children cumulated CPU time (s) 73.48
Current children cumulated vsize (KiB) 151528

[startup+74.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27963012/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=151528 CPUtime=74.27 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 47953 0 0 0 7377 50 0 0 20 0 1 0 269617519 155164672 36010 33554432000 4194304 10169799 140736200285200 140736200281720 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37882 36010 860 1459 0 36414 0
Current children cumulated CPU time (s) 74.27
Current children cumulated vsize (KiB) 151528

[startup+75.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27962764/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=151528 CPUtime=75.07 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 47976 0 0 0 7457 50 0 0 20 0 1 0 269617519 155164672 36033 33554432000 4194304 10169799 140736200285200 140736200279800 8043938 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37882 36033 860 1459 0 36414 0
Current children cumulated CPU time (s) 75.07
Current children cumulated vsize (KiB) 151528

[startup+75.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27962764/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=151528 CPUtime=75.48 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 47978 0 0 0 7497 51 0 0 20 0 1 0 269617519 155164672 36035 33554432000 4194304 10169799 140736200285200 140736200284296 8779471 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 37882 36035 861 1459 0 36414 0
Current children cumulated CPU time (s) 75.48
Current children cumulated vsize (KiB) 151528

[startup+75.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8734
/proc/meminfo: memFree=27962764/32873844 swapFree=7616/7616
[pid=8732] ppid=8730 vsize=107020 CPUtime=75.58 cores=1,3,5,7
/proc/8732/stat : 8732 (scip-2.1.1.4sfi) R 8730 8732 6477 0 -1 4202496 48072 0 0 0 7507 51 0 0 20 0 1 0 269617519 109588480 25539 33554432000 4194304 10169799 140736200285200 140736200283016 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8732/statm: 26755 25282 862 1459 0 25287 0
Current children cumulated CPU time (s) 75.58
Current children cumulated vsize (KiB) 107020

Child status: 0
Real time (s): 75.6087
CPU time (s): 75.5955
CPU user time (s): 75.0716
CPU system time (s): 0.52392
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 189876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.0716
system time used= 0.52392
maximum resident set size= 181820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48074
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= 8
involuntary context switches= 79

runsolver used 0.12798 second user time and 0.287956 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-26 14:22:12
IDJOB=3693478
IDBENCH=24973
IDSOLVER=2272
FILE ID=node141/3693478-1338034932
RUNJOBID= node141-1338029496-8082
PBS_JOBID= 14624334
Free space on /tmp= 71492 MiB

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

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

MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4
RANDOM SEED=1492376625

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28103348 kB
Buffers:          259588 kB
Cached:          3526400 kB
SwapCached:            0 kB
Active:           844604 kB
Inactive:        3147692 kB
Active(anon):     208924 kB
Inactive(anon):        0 kB
Active(file):     635680 kB
Inactive(file):  3147692 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14924 kB
Writeback:             0 kB
AnonPages:        213528 kB
Mapped:            17752 kB
Shmem:               200 kB
Slab:             638872 kB
SReclaimable:      81416 kB
SUnreclaim:       557456 kB
KernelStack:        1456 kB
PageTables:         4092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     321916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71480 MiB
End job on node141 at 2012-05-26 14:23:28