Trace number 3452427

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4OPT28 77.1863 77.1854

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

Verifier Data

OK	28

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3452427-1307100510/watcher-3452427-1307100510 -o /tmp/evaluation-result-3452427-1307100510/solver-3452427-1307100510 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452427-1307100510.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.05 2.06 2.01 3/511 31230
/proc/meminfo: memFree=15329020/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=14820 CPUtime=0.01 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 2736 0 0 0 1 0 0 0 25 0 1 0 802467183 15175680 2689 33554432000 4194304 9128323 140734610971408 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31230/statm: 3745 2692 400 1205 0 2536 0

[startup+0.108172 s]
/proc/loadavg: 2.05 2.06 2.01 3/511 31230
/proc/meminfo: memFree=15329020/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=24240 CPUtime=0.1 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 5093 0 0 0 10 0 0 0 25 0 1 0 802467183 24821760 5044 33554432000 4194304 9128323 140734610971408 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31230/statm: 6060 5044 400 1205 0 4851 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 24240

[startup+0.201162 s]
/proc/loadavg: 2.05 2.06 2.01 3/511 31230
/proc/meminfo: memFree=15329020/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=28752 CPUtime=0.19 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 6223 0 0 0 19 0 0 0 25 0 1 0 802467183 29442048 6172 33554432000 4194304 9128323 140734610971408 18446744073709551615 7902512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31230/statm: 7188 6172 400 1205 0 5979 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28752

[startup+0.301145 s]
/proc/loadavg: 2.05 2.06 2.01 3/511 31230
/proc/meminfo: memFree=15329020/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=64836 CPUtime=0.29 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 14950 0 0 0 28 1 0 0 25 0 1 0 802467183 66392064 14872 33554432000 4194304 9128323 140734610971408 18446744073709551615 4209861 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 16209 14872 468 1205 0 15000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64836

[startup+0.701068 s]
/proc/loadavg: 2.05 2.06 2.01 3/511 31230
/proc/meminfo: memFree=15329020/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=88632 CPUtime=0.69 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 22791 0 0 0 67 2 0 0 25 0 1 0 802467183 90759168 20751 33554432000 4194304 9128323 140734610971408 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 22158 20751 550 1205 0 20949 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88632

[startup+1.50091 s]
/proc/loadavg: 2.05 2.06 2.01 3/512 31232
/proc/meminfo: memFree=15219024/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=120296 CPUtime=1.49 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 31285 0 0 0 146 3 0 0 25 0 1 0 802467183 123183104 28692 33554432000 4194304 9128323 140734610971408 18446744073709551615 6280382 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 30074 28692 675 1205 0 28865 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120296

[startup+3.10062 s]
/proc/loadavg: 2.05 2.06 2.01 3/512 31232
/proc/meminfo: memFree=15210980/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=128648 CPUtime=3.09 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 33344 0 0 0 306 3 0 0 25 0 1 0 802467183 131735552 30677 33554432000 4194304 9128323 140734610971408 18446744073709551615 8008895 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 32162 30677 703 1205 0 30953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128648

[startup+6.30109 s]
/proc/loadavg: 2.04 2.05 2.01 3/512 31232
/proc/meminfo: memFree=15202772/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=136668 CPUtime=6.29 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 35376 0 0 0 625 4 0 0 25 0 1 0 802467183 139948032 32709 33554432000 4194304 9128323 140734610971408 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 34167 32709 703 1205 0 32958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136668

[startup+12.701 s]
/proc/loadavg: 2.04 2.05 2.01 3/512 31232
/proc/meminfo: memFree=15187296/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=148612 CPUtime=12.69 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 37950 0 0 0 1263 6 0 0 25 0 1 0 802467183 152178688 35281 33554432000 4194304 9128323 140734610971408 18446744073709551615 6694272 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37153 35281 703 1205 0 35944 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148612

[startup+25.5007 s]
/proc/loadavg: 2.03 2.05 2.01 3/512 31232
/proc/meminfo: memFree=15185892/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=150140 CPUtime=25.49 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 38398 0 0 0 2540 9 0 0 25 0 1 0 802467183 153743360 35729 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37535 35729 703 1205 0 36326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150140

[startup+51.1012 s]
/proc/loadavg: 2.02 2.05 2.00 3/512 31233
/proc/meminfo: memFree=15185772/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=150060 CPUtime=51.1 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 47713 0 0 0 5089 21 0 0 25 0 1 0 802467183 153661440 35806 33554432000 4194304 9128323 140734610971408 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37515 35806 747 1205 0 36306 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 150060

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

[startup+51.2012 s]
/proc/loadavg: 2.02 2.05 2.00 3/512 31233
/proc/meminfo: memFree=15185772/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=150060 CPUtime=51.2 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 47713 0 0 0 5099 21 0 0 25 0 1 0 802467183 153661440 35806 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37515 35806 747 1205 0 36306 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 150060

[startup+64.001 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 31233
/proc/meminfo: memFree=15181680/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151272 CPUtime=64 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 47867 0 0 0 6374 26 0 0 25 0 1 0 802467183 154902528 35960 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37818 35960 747 1205 0 36609 0
Current children cumulated CPU time (s) 64
Current children cumulated vsize (KiB) 151272

[startup+70.4008 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 31233
/proc/meminfo: memFree=15180804/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151812 CPUtime=70.41 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 48175 0 0 0 7013 28 0 0 25 0 1 0 802467183 155455488 36268 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37953 36268 747 1205 0 36744 0
Current children cumulated CPU time (s) 70.41
Current children cumulated vsize (KiB) 151812

[startup+73.6003 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 31233
/proc/meminfo: memFree=15180308/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151812 CPUtime=73.59 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 48178 0 0 0 7330 29 0 0 25 0 1 0 802467183 155455488 36271 33554432000 4194304 9128323 140734610971408 18446744073709551615 7191206 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37953 36271 747 1205 0 36744 0
Current children cumulated CPU time (s) 73.59
Current children cumulated vsize (KiB) 151812

[startup+75.201 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 31233
/proc/meminfo: memFree=15180592/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151812 CPUtime=75.19 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 48194 0 0 0 7489 30 0 0 25 0 1 0 802467183 155455488 36287 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37953 36287 747 1205 0 36744 0
Current children cumulated CPU time (s) 75.19
Current children cumulated vsize (KiB) 151812

[startup+76.0199 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 31234
/proc/meminfo: memFree=15180096/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151812 CPUtime=76.01 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 48204 0 0 0 7571 30 0 0 25 0 1 0 802467183 155455488 36297 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37953 36297 747 1205 0 36744 0
Current children cumulated CPU time (s) 76.01
Current children cumulated vsize (KiB) 151812

[startup+76.8007 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 31234
/proc/meminfo: memFree=15180096/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151812 CPUtime=76.8 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 48237 0 0 0 7649 31 0 0 25 0 1 0 802467183 155455488 36330 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37953 36330 747 1205 0 36744 0
Current children cumulated CPU time (s) 76.8
Current children cumulated vsize (KiB) 151812

[startup+77.0007 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 31234
/proc/meminfo: memFree=15179476/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151812 CPUtime=77.01 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 48242 0 0 0 7670 31 0 0 25 0 1 0 802467183 155455488 36335 33554432000 4194304 9128323 140734610971408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/31230/statm: 37953 36335 747 1205 0 36744 0
Current children cumulated CPU time (s) 77.01
Current children cumulated vsize (KiB) 151812

[startup+77.1197 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 31234
/proc/meminfo: memFree=15179476/32951124 swapFree=67111204/67111528
[pid=31230] ppid=31228 vsize=151812 CPUtime=77.12 cores=0,2,4,6
/proc/31230/stat : 31230 (scip-2.0.1.4.li) R 31228 31230 30576 0 -1 4202496 48242 0 0 0 7681 31 0 0 25 0 1 0 802467183 155455488 36335 33554432000 4194304 9128323 140734610971408 18446744073709551615 5379617 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31230/statm: 37953 36335 747 1205 0 36744 0
Current children cumulated CPU time (s) 77.12
Current children cumulated vsize (KiB) 151812

Child status: 0
Real time (s): 77.1854
CPU time (s): 77.1863
CPU user time (s): 76.8683
CPU system time (s): 0.317951
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 186860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.8683
system time used= 0.317951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48246
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= 12
involuntary context switches= 165

runsolver used 0.409937 second user time and 0.879866 second system time

The end

Launcher Data

Begin job on node144 at 2011-06-03 13:28:31
IDJOB=3452427
IDBENCH=24973
IDSOLVER=1949
FILE ID=node144/3452427-1307100510
RUNJOBID= node144-1307094732-30594
PBS_JOBID= 13498007
Free space on /tmp= 73840 MiB

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

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

MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4
RANDOM SEED=82091997

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15329300 kB
Buffers:        281336 kB
Cached:         475684 kB
SwapCached:        140 kB
Active:       16973784 kB
Inactive:       370508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15329300 kB
SwapTotal:    67111528 kB
SwapFree:     67111204 kB
Dirty:           22424 kB
Writeback:           0 kB
AnonPages:    16586884 kB
Mapped:          45136 kB
Slab:           135928 kB
PageTables:      72532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 159210036 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73824 MiB
End job on node144 at 2011-06-03 13:29:48