Trace number 2666797

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT25 67.2448 67.2688

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_027_area_delay.opb
MD5SUM1b0ac127de7b79f6251c1506cbcbe6c3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark9.68653
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables8805
Total number of constraints27496
Number of constraints which are clauses27496
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 4284
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 4284
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 4284
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2666797-1276634873.opb>
0.49/0.53	c original problem has 8805 variables (8805 bin, 0 int, 0 impl, 0 cont) and 27496 constraints
0.49/0.53	c problem read
0.49/0.53	c presolving settings loaded
0.59/0.68	c presolving:
0.89/0.96	c (round 1) 4956 del vars, 9214 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 49755 impls, 0 clqs
0.89/0.99	c (round 2) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 49755 impls, 0 clqs
1.10/1.18	c (round 3) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 15545 upgd conss, 49755 impls, 0 clqs
1.19/1.23	c (round 4) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 15587 upgd conss, 49755 impls, 0 clqs
1.39/1.40	c    (0.8s) probing: 101/3847 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.40	c    (0.8s) probing aborted: 100/100 successive totally useless probings
1.39/1.40	c presolving (5 rounds):
1.39/1.40	c  4958 deleted vars, 11909 deleted constraints, 682 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
1.39/1.40	c  49755 implications, 0 cliques
1.39/1.40	c presolved problem has 3847 variables (3847 bin, 0 int, 0 impl, 0 cont) and 15587 constraints
1.39/1.40	c   15587 constraints of type <logicor>
1.39/1.40	c transformed objective value is always integral (scale: 1)
1.39/1.40	c Presolving Time: 0.67
1.39/1.40	c - non default parameters ----------------------------------------------------------------------
1.39/1.40	c # SCIP version 1.2.1.2
1.39/1.40	c 
1.39/1.40	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.39/1.40	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.40	c conflict/interconss = 0
1.39/1.40	c 
1.39/1.40	c # should binary conflicts be preferred?
1.39/1.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.40	c conflict/preferbinary = TRUE
1.39/1.40	c 
1.39/1.40	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.39/1.40	c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.40	c constraints/agelimit = 1
1.39/1.40	c 
1.39/1.40	c # should enforcement of pseudo solution be disabled?
1.39/1.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.40	c constraints/disableenfops = TRUE
1.39/1.40	c 
1.39/1.40	c # frequency for displaying node information lines
1.39/1.40	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.40	c display/freq = 10000
1.39/1.40	c 
1.39/1.40	c # maximal time in seconds to run
1.39/1.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.40	c limits/time = 1799.48
1.39/1.40	c 
1.39/1.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.40	c limits/memory = 1620
1.39/1.40	c 
1.39/1.40	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.39/1.40	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.40	c lp/solvefreq = 0
1.39/1.40	c 
1.39/1.40	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.39/1.40	c # [type: char, range: {lafpsqd}, default: l]
1.39/1.40	c lp/pricing = a
1.39/1.40	c 
1.39/1.40	c # should presolving try to simplify inequalities
1.39/1.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.40	c constraints/linear/simplifyinequalities = TRUE
1.39/1.40	c 
1.39/1.40	c # should presolving try to simplify knapsacks
1.39/1.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.40	c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.40	c 
1.39/1.40	c # priority of node selection rule <dfs> in standard mode
1.39/1.40	c # [type: int, range: [-536870912,536870911], default: 0]
1.39/1.40	c nodeselection/dfs/stdpriority = 1000000
1.39/1.40	c 
1.39/1.40	c -----------------------------------------------------------------------------------------------
1.39/1.40	c start solving
1.39/1.41	c 
1.89/1.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.89/1.90	c   1.2s|     1 |     0 |   954 |     - |  40M|   0 | 158 |3847 |  15k|3847 |  15k|   0 |   0 |   0 | 2.353670e+01 |      --      |    Inf 
1.89/1.92	o 47
1.89/1.92	c R 1.2s|     1 |     0 |   954 |     - |  41M|   0 | 158 |3847 |  15k|3847 |  15k|   0 |   0 |   0 | 2.353670e+01 | 4.700000e+01 |  99.69%
3.59/3.64	c   2.9s|     1 |     0 |  1060 |     - |  41M|   0 | 157 |3847 |  15k|3847 |  15k|   3 |   0 |   0 | 2.361563e+01 | 4.700000e+01 |  99.02%
7.89/7.95	c   7.2s|     1 |     0 |  1205 |     - |  42M|   0 | 160 |3847 |  15k|3847 |  15k|   8 |   0 |   0 | 2.370188e+01 | 4.700000e+01 |  98.30%
12.19/12.24	c  11.4s|     1 |     0 |  1351 |     - |  42M|   0 | 174 |3847 |  15k|3847 |  15k|  11 |   0 |   0 | 2.385893e+01 | 4.700000e+01 |  96.99%
16.98/17.05	c  16.2s|     1 |     0 |  1474 |     - |  42M|   0 | 199 |3847 |  15k|3847 |  15k|  16 |   0 |   0 | 2.391018e+01 | 4.700000e+01 |  96.57%
21.58/21.60	c  20.7s|     1 |     0 |  1600 |     - |  43M|   0 | 152 |3847 |  15k|3847 |  15k|  20 |   0 |   0 | 2.394739e+01 | 4.700000e+01 |  96.26%
27.39/27.47	c  26.6s|     1 |     0 |  1737 |     - |  43M|   0 | 167 |3847 |  15k|3847 |  15k|  24 |   0 |   0 | 2.396582e+01 | 4.700000e+01 |  96.11%
33.28/33.34	c  32.4s|     1 |     0 |  1847 |     - |  43M|   0 | 168 |3847 |  15k|3847 |  15k|  28 |   0 |   0 | 2.397401e+01 | 4.700000e+01 |  96.05%
38.98/39.03	c  38.0s|     1 |     0 |  1851 |     - |  43M|   0 | 168 |3847 |  15k|3847 |  15k|  30 |   0 |   0 | 2.397401e+01 | 4.700000e+01 |  96.05%
44.57/44.63	c  43.6s|     1 |     0 |  1853 |     - |  43M|   0 | 167 |3847 |  15k|3847 |  15k|  32 |   0 |   0 | 2.397401e+01 | 4.700000e+01 |  96.05%
50.07/50.16	c  49.1s|     1 |     0 |  1858 |     - |  43M|   0 | 170 |3847 |  15k|3847 |  15k|  33 |   0 |   0 | 2.397402e+01 | 4.700000e+01 |  96.05%
55.17/55.21	c  54.1s|     1 |     0 |  1859 |     - |  43M|   0 | 170 |3847 |  15k|3847 |  15k|  35 |   0 |   0 | 2.397402e+01 | 4.700000e+01 |  96.05%
61.37/61.44	o 25
61.37/61.44	c F60.3s|     1 |     0 |  2357 |     - |  44M|   0 |   0 |3847 |  15k|3847 |  15k|  35 |   0 |   0 | 2.397402e+01 | 2.500000e+01 |   4.28%
61.67/61.74	c  60.5s|     1 |     0 |  2357 |     - |  43M|   0 | 170 |3847 |  15k|3847 |  15k|  35 |   0 |   0 | 2.397402e+01 | 2.500000e+01 |   4.28%
66.97/67.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
66.97/67.04	c  65.8s|     1 |     0 |  2357 |     - |  40M|   0 | 170 |3847 |  11k|3847 |1827 |  35 |   0 |   0 | 2.397402e+01 | 2.500000e+01 |   4.28%
67.07/67.12	c  65.9s|     1 |     0 |  2357 |     - |  40M|   0 | 170 |3847 |  11k|3847 |1827 |  35 |   0 |   1 | 2.500000e+01 | 2.500000e+01 |   0.00%
67.07/67.12	c 
67.07/67.12	c SCIP Status        : problem is solved [optimal solution found]
67.07/67.12	c Solving Time (sec) : 65.89
67.07/67.12	c Solving Nodes      : 1
67.07/67.12	c Primal Bound       : +2.50000000000000e+01 (2 solutions)
67.07/67.12	c Dual Bound         : +2.50000000000000e+01
67.07/67.12	c Gap                : 0.00 %
67.07/67.16	s OPTIMUM FOUND
67.07/67.16	v x256 x255 x8804 -x254 -x8802 x8800 -x8798 -x253 -x8796 -x8794 -x8792 -x252 -x8790 -x8788 -x8786 -x251 -x8784 -x8782 -x8780 -x8778 
67.07/67.16	v -x8776 -x8774 -x250 -x8772 x249 x8770 -x8768 -x8766 -x248 -x8764 -x8762 -x247 -x8760 -x8758 -x8756 -x8754 -x8752 -x8750 x8748 
67.07/67.16	v -x8746 x8744 -x8742 -x8740 -x8738 -x8736 -x8734 -x8732 -x8730 -x8728 -x246 -x8726 -x8724 -x8722 -x8720 -x8718 -x8716 -x8714 
67.07/67.16	v -x245 -x8712 -x8710 -x8708 -x8706 -x8704 -x8702 -x8700 -x8698 -x8696 -x8694 -x8692 -x8690 -x8688 -x244 -x8686 x243 x8684 -x8682 
67.07/67.16	v -x8680 -x242 -x8678 -x8676 x8674 -x8672 -x8670 -x8668 -x8666 -x8664 -x8662 -x8660 -x241 -x8658 -x8656 -x8654 -x240 -x8652 
67.07/67.16	v -x8650 -x8648 -x8646 -x8644 -x8642 -x8640 -x239 -x8638 -x8636 -x8634 -x8632 -x8630 -x8628 -x8626 -x238 -x8624 -x8622 -x8620 
67.07/67.16	v -x8618 -x8616 -x8614 -x8612 -x8610 -x8608 -x8606 -x8604 -x8602 -x8600 -x8598 -x8596 -x237 -x8594 -x8592 -x8590 -x236 -x8588 
67.07/67.16	v -x8586 -x8584 -x8582 -x8580 -x8578 -x8576 -x235 -x8574 -x8572 -x8570 -x8568 -x8566 -x8564 -x8562 -x234 -x8560 -x8558 -x8556 
67.07/67.16	v -x8554 -x8552 -x8550 -x8548 -x8546 -x8544 -x8542 -x8540 -x8538 -x8536 -x8534 -x8532 -x233 -x8530 -x8528 -x8526 -x8524 -x8522 
67.07/67.16	v -x8520 -x8518 -x232 -x8516 -x8514 -x8512 -x8510 -x8508 -x8506 -x8504 -x8502 -x8500 -x8498 -x8496 -x8494 -x8492 -x8490 -x8488 
67.07/67.16	v -x231 -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 -x8472 -x8470 -x8468 -x8466 -x8464 -x8462 -x8460 -x8458 -x230 -x8456 -x8454 
67.07/67.16	v -x8452 -x8449 -x8447 -x8445 -x8443 -x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 -x8427 -x8425 -x8423 -x8421 -x8419 
67.07/67.16	v -x8417 -x8415 -x8413 -x8411 -x8409 -x8407 -x8405 -x8403 -x229 -x8401 -x228 -x8399 -x8397 -x8395 x8393 -x8391 -x8389 -x227 -x8387 
67.07/67.16	v -x8385 -x8383 -x8381 -x8379 -x8377 -x8375 -x226 -x8373 -x8371 -x225 -x8369 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 -x224 
67.07/67.16	v -x8355 -x8353 -x8351 -x8349 -x8347 -x8345 -x8343 -x223 -x8341 -x8339 -x8337 -x222 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 
67.07/67.16	v -x8323 -x221 -x8321 -x8319 -x8317 -x8315 -x8313 -x8311 -x220 -x8309 -x8307 -x8305 -x8303 -x8301 -x8299 -x8297 -x8295 -x8293 
67.07/67.16	v -x8291 -x8289 -x8287 -x8285 -x8283 -x8281 -x219 -x8279 -x8277 -x8275 -x8273 -x8271 -x8269 -x8267 -x218 -x8265 -x8263 -x8261 -x8259 
67.07/67.16	v -x8257 -x8255 -x8253 -x8251 -x8249 -x8247 -x8245 -x8243 -x8241 -x8239 -x8237 -x217 -x8235 -x8233 -x8231 -x8229 -x8227 -x8225 
67.07/67.16	v -x8223 -x8221 -x8219 -x8217 -x8215 -x8213 -x8211 -x8209 -x216 -x8207 -x8205 -x8203 -x215 -x8201 x8199 -x8197 -x8195 -x8193 
67.07/67.16	v -x8191 -x8189 -x8187 -x8185 -x8183 -x8181 -x8179 -x8177 -x8175 -x214 -x8173 -x8171 -x8169 -x8167 -x8165 -x8163 -x8161 -x8159 
67.07/67.16	v -x8157 -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x213 -x8143 -x8141 -x8139 -x8137 -x8135 -x8133 -x8131 -x212 -x8129 -x8127 
67.07/67.16	v -x8125 -x8123 -x8121 -x8119 -x8117 -x8115 -x8113 -x8111 -x8109 -x8107 -x8105 -x8103 -x8101 -x211 -x8099 -x8097 -x8095 -x8093 
67.07/67.16	v -x8091 -x8089 -x8087 -x8085 -x8083 -x8081 -x8079 -x8077 -x8075 -x8073 -x8071 -x210 -x8069 -x8067 x8065 -x8063 -x8061 -x8059 
67.07/67.16	v -x8057 -x8055 -x8053 -x8051 -x8049 -x8047 -x8045 -x8043 -x8041 -x8039 -x8037 -x8035 -x8033 -x8031 -x8029 -x8027 -x209 -x8025 
67.07/67.16	v -x8023 -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 -x8009 -x8007 -x8005 -x8003 -x8001 -x7999 -x7997 -x208 -x7995 -x7993 -x7991 
67.07/67.16	v -x7989 -x7987 -x7984 -x7982 -x7980 -x7978 -x7976 -x7974 -x7972 -x7970 -x7968 -x7966 -x7964 -x7962 -x7960 -x7958 -x7956 -x7954 
67.07/67.16	v -x7952 -x7950 -x7948 -x7946 -x7944 -x7942 -x7940 -x7938 -x207 -x7936 -x7934 -x7932 -x7930 -x7928 -x7926 -x7924 -x7922 -x7920 
67.07/67.16	v -x7918 -x7916 -x7914 -x7912 -x7910 -x7908 -x206 -x7906 -x7904 -x7902 -x7900 -x7898 -x7896 -x7894 -x7892 -x7890 -x7888 -x7886 
67.07/67.16	v -x7884 -x7882 -x7879 -x7877 -x7875 -x7873 -x7871 -x7869 -x7867 -x7865 -x7863 -x7861 -x7859 -x7857 -x7855 -x7853 -x7851 -x7849 
67.07/67.16	v -x7847 -x205 -x7845 -x7843 -x7841 -x7839 -x7837 -x7835 -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 
67.07/67.16	v -x7813 -x7811 -x7809 -x7807 -x7805 -x7803 -x7801 -x7799 x7797 -x7794 -x7792 -x7790 -x7788 -x7786 -x7784 -x204 -x7782 -x7780 
67.07/67.16	v -x7778 -x203 -x7776 -x7774 -x7772 -x202 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x201 -x7756 -x7754 -x7752 -x200 
67.07/67.16	v -x7750 -x7748 -x7746 -x7744 -x7742 -x7740 -x7738 -x199 -x7736 -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x198 -x7722 -x7720 -x7718 
67.07/67.16	v -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x197 -x7692 -x7690 -x7688 -x196 -x7686 
67.07/67.16	v -x7684 -x7682 -x7680 -x7678 -x7676 -x7674 -x195 -x7672 -x7670 -x7668 -x7666 -x7664 -x7662 -x7660 -x194 -x7658 -x7656 -x7654 
67.07/67.16	v -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x193 -x7628 -x7626 -x7624 -x7622 -x7620 
67.07/67.16	v -x7618 -x7616 -x192 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 -x7588 -x7586 
67.07/67.16	v -x191 -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 -x190 -x7554 
67.07/67.16	v -x7552 -x7550 -x189 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x188 -x7534 -x7532 -x7530 -x7528 -x7526 -x7524 -x7522 
67.07/67.16	v -x187 -x7520 -x7518 -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x7498 -x7496 -x7494 -x7492 -x186 -x7490 
67.07/67.16	v -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x185 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 
67.07/67.16	v -x7454 -x7452 -x7450 -x7448 -x184 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422 
67.07/67.16	v -x7420 -x7418 -x183 -x7416 -x7414 -x7412 -x7410 -x7408 -x7406 -x7404 -x182 -x7402 -x7400 -x7398 -x7396 -x7394 -x7392 -x7390 
67.07/67.16	v -x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376 -x7374 -x181 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 -x7358 -x7356 
67.07/67.16	v -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x180 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 
67.07/67.16	v -x7320 -x7318 -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 
67.07/67.16	v -x7284 -x7282 -x179 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 
67.07/67.16	v -x178 -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 
67.07/67.16	v -x7216 -x7214 -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x7192 -x7190 -x177 -x7188 -x7186 -x7184 
67.07/67.16	v -x7182 -x7180 -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 
67.07/67.16	v -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x176 -x7128 -x7126 -x7124 -x175 -x7122 -x7120 -x7118 -x7116 
67.07/67.16	v -x7114 -x7112 -x7110 -x174 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x173 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 
67.07/67.16	v -x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x172 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x171 -x7050 
67.07/67.16	v -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x170 -x7020 x7018 -x7016 
67.07/67.16	v -x7014 -x7012 -x7010 -x7008 x169 -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 
67.07/67.16	v -x6980 -x6978 -x168 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 
67.07/67.16	v -x167 -x6946 -x6944 -x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 
67.07/67.16	v -x6912 -x6910 -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6887 -x166 -x6885 -x6883 -x6881 -x6879 
67.07/67.16	v -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x165 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 
67.07/67.16	v -x6843 -x6841 -x6839 -x6837 -x6835 x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 
67.07/67.16	v -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 x164 x6779 -x6777 -x6775 
67.07/67.16	v -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 -x163 -x6749 -x6747 -x6745 -x6743 -x6741 
67.07/67.16	v -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x162 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6706 
67.07/67.16	v -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 
67.07/67.16	v -x6668 -x6666 -x6664 -x6662 -x161 -x6660 -x6658 -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 x6644 -x6642 -x6640 -x6638 -x6636 
67.07/67.16	v -x6634 -x6632 -x6630 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 
67.07/67.16	v -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x160 -x6569 -x6567 -x6565 
67.07/67.16	v -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x159 -x6539 -x6537 -x6535 -x6533 -x6531 
67.07/67.16	v -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 
67.07/67.16	v -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x158 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 
67.07/67.16	v -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 
67.07/67.16	v -x6423 -x6421 -x6419 -x6417 -x157 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 
67.07/67.16	v -x6389 -x6387 -x6385 -x6383 -x6381 -x6378 -x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 
67.07/67.16	v -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 
67.07/67.16	v -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 
67.07/67.16	v -x6280 -x6278 -x6276 -x6274 -x6272 -x6270 -x6268 -x6266 -x6264 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 
67.07/67.16	v -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x156 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 
67.07/67.16	v -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 
67.07/67.16	v -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 
67.07/67.16	v -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x155 -x6105 
67.07/67.16	v x154 x6103 -x6101 -x6099 -x153 -x6097 -x6095 -x6093 -x152 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x151 -x6077 -x6075 
67.07/67.16	v -x6073 -x150 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x149 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x148 
67.07/67.16	v -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x147 -x6013 -x6011 
67.07/67.16	v -x146 -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x145 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x144 -x5981 
67.07/67.16	v -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x143 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 
67.07/67.16	v -x5945 -x5943 -x5941 -x5939 -x142 -x5937 -x5935 -x5933 -x141 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x140 -x5917 
67.07/67.16	v -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x139 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x138 -x5889 -x5887 -x5885 -x5883 
67.07/67.16	v -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x137 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 
67.07/67.16	v -x5847 -x136 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 
67.07/67.16	v -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x135 -x5785 -x5783 -x5781 
67.07/67.16	v -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x134 -x5755 -x5753 -x5751 -x5749 -x5747 
67.07/67.16	v -x5745 -x5743 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 
67.07/67.16	v -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x133 -x5693 -x5691 -x5689 -x132 -x5687 -x5685 -x5683 -x5681 -x5679 
67.07/67.16	v -x5677 -x5675 -x131 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661 -x130 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 
67.07/67.16	v -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x129 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x128 -x5615 
67.07/67.16	v -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x127 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 
67.07/67.16	v -x5579 -x5577 -x126 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x125 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 
67.07/67.16	v -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x124 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 
67.07/67.16	v -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x123 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 
67.07/67.16	v -x5479 -x5477 -x5475 -x5473 -x122 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 
67.07/67.16	v -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 
67.07/67.16	v -x121 -x5409 -x5407 -x5405 -x120 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x119 -x5389 -x5387 -x5385 -x5383 -x5381 
67.07/67.16	v -x5379 -x5377 -x118 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 
67.07/67.16	v -x117 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x116 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 
67.07/67.16	v -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x115 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 
67.07/67.16	v -x5279 -x5277 -x5275 -x5273 -x114 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 
67.07/67.16	v -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 
67.07/67.16	v -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x113 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 
67.07/67.16	v -x5175 -x5173 -x5171 -x5169 -x5167 -x112 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 
67.07/67.16	v x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 
67.07/67.16	v -x111 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 
67.07/67.16	v -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5045 -x110 -x5043 -x5041 -x5039 
67.07/67.16	v -x5037 -x5035 -x5033 -x5031 -x109 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 
67.07/67.16	v -x5003 -x5001 -x108 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 
67.07/67.16	v -x107 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x106 -x4939 -x4937 
67.07/67.16	v -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 
67.07/67.16	v -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x105 -x4877 -x4875 -x4873 -x4871 -x4869 
67.07/67.16	v -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x104 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 
67.07/67.16	v -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 
67.07/67.16	v -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x103 -x4785 -x4783 -x4781 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 
67.07/67.16	v -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 
67.07/67.16	v -x4726 -x102 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 
67.07/67.16	v -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x101 -x4662 -x4660 
67.07/67.16	v -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 
67.07/67.16	v -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 
67.07/67.16	v -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 
67.07/67.16	v -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x100 -x4522 -x4520 -x4518 
67.07/67.16	v -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x99 -x4492 -x4490 -x4488 -x4486 -x4484 
67.07/67.16	v -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x98 -x4462 -x4460 -x4458 -x4456 -x4453 -x4451 -x4449 
67.07/67.16	v -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 
67.07/67.16	v -x4411 -x4409 -x4407 -x4405 -x97 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 
67.07/67.16	v -x4377 -x4375 -x96 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 
67.07/67.16	v -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x95 -x4311 
67.07/67.16	v -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x94 -x4281 -x4279 -x4277 -x4275 
67.07/67.16	v -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 
67.07/67.16	v -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x93 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 
67.07/67.16	v -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 
67.07/67.16	v -x4168 -x4166 -x4164 -x4162 -x4160 -x92 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 
67.07/67.16	v -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 
67.07/67.16	v -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 
67.07/67.16	v -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x91 -x4032 -x90 -x4030 
67.07/67.16	v -x4028 -x4026 -x89 -x4024 -x4022 -x4020 -x88 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x87 -x4004 -x4002 -x4000 
67.07/67.16	v -x86 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x85 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x84 -x3970 -x3968 
67.07/67.16	v -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x83 -x3940 -x3938 -x3936 -x82 -x3934 
67.07/67.16	v -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x81 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x80 -x3906 -x3904 -x3902 
67.07/67.16	v -x79 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x78 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x77 -x3872 -x3870 
67.07/67.16	v -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x76 -x3842 -x3840 -x3838 -x75 
67.07/67.16	v -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x74 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x73 -x3808 -x3806 -x3804 
67.07/67.16	v -x3802 -x3800 -x3798 -x3796 -x72 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 
67.07/67.16	v -x3768 -x3766 -x71 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 
67.07/67.16	v -x70 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x69 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 
67.07/67.16	v -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x68 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 
67.07/67.16	v -x3668 -x3666 -x3664 -x3662 -x67 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 
67.07/67.16	v -x3632 -x3630 -x3628 -x3626 -x3624 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x66 -x3599 
67.07/67.16	v -x3597 -x3595 -x65 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x64 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 
67.07/67.16	v -x63 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x62 -x3535 -x3533 
67.07/67.16	v -x3531 -x3529 -x3527 -x3525 -x3523 -x61 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 
67.07/67.16	v -x3497 -x3495 -x3493 -x60 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 
67.07/67.16	v -x3463 -x59 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 
67.07/67.16	v -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x58 -x3399 -x3397 
67.07/67.16	v -x3395 -x3393 -x3391 -x3389 -x3387 -x57 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 
67.07/67.16	v -x3361 -x3359 -x3357 -x56 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 
67.07/67.16	v -x3327 -x55 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x54 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 
67.07/67.16	v -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x53 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 
67.07/67.16	v -x3259 -x3257 -x3255 -x3253 -x52 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 
67.07/67.16	v -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x51 
67.07/67.16	v -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x50 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 
67.07/67.16	v -x3157 -x3155 -x3153 -x3151 -x3149 -x49 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 
67.07/67.16	v -x3121 -x3119 -x48 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 
67.07/67.16	v -x47 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 
67.07/67.16	v -x3053 -x3051 x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 
67.07/67.16	v -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 
67.07/67.16	v -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x46 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 
67.07/67.16	v -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x45 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 
67.07/67.16	v -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 
67.07/67.16	v -x2877 -x2875 -x2873 -x44 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 
67.07/67.16	v -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x43 
67.07/67.16	v -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 
67.07/67.16	v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 
67.07/67.16	v -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 
67.07/67.16	v -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x42 -x2683 -x2681 -x2679 -x41 -x2677 -x2675 -x2673 -x2671 
67.07/67.16	v -x2669 -x2667 -x2665 -x40 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x39 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 
67.07/67.16	v -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x38 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x37 -x2605 
67.07/67.16	v -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x36 -x2575 -x2573 -x2571 
67.07/67.16	v -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x35 -x2545 -x2543 -x2541 -x2539 -x2537 
67.07/67.16	v -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 
67.07/67.16	v -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x34 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x33 -x2469 -x2467 
67.07/67.16	v -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x32 -x2439 -x2437 -x2435 -x2433 
67.07/67.16	v -x2431 -x2429 -x2427 -x31 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 
67.07/67.16	v -x2397 -x30 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x29 
67.07/67.16	v -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 
67.07/67.16	v -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x28 -x2303 -x2301 -x2299 -x2297 
67.07/67.16	v -x2295 -x2293 -x2291 -x27 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 
67.07/67.16	v -x2261 -x26 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x25 -x2229 
67.07/67.16	v -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 
67.07/67.16	v -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x24 -x2167 -x2165 -x2163 -x2161 -x2159 
67.07/67.16	v -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x23 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 
67.07/67.16	v -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 
67.07/67.16	v -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x22 -x2075 -x2073 -x2071 -x2069 -x2067 x2065 -x2063 -x2061 -x2059 -x2057 -x2055 
67.07/67.16	v -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 
67.07/67.16	v -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 
67.07/67.16	v -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 
67.07/67.16	v -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 
67.07/67.16	v -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x21 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 
67.07/67.16	v -x1875 -x20 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x19 
67.07/67.16	v -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x18 -x1813 -x1810 
67.07/67.16	v -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 
67.07/67.16	v -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x17 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 
67.07/67.16	v -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x16 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 
67.07/67.16	v -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 
67.07/67.16	v -x1668 -x1666 -x1664 -x15 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 
67.07/67.16	v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x14 -x1600 
67.07/67.16	v -x1598 -x1596 -x1594 -x1592 -x1590 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 
67.07/67.16	v -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 
67.07/67.16	v -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 
67.07/67.16	v -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 
67.07/67.16	v -x1455 -x1453 -x1451 -x1449 -x1447 -x13 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 
67.07/67.16	v -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 
67.07/67.16	v -x1385 -x12 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x11 
67.07/67.16	v -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 
67.07/67.16	v -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x10 -x1292 -x1290 -x1288 -x1286 -x1284 
67.07/67.16	v -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 
67.07/67.16	v -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x9 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 
67.07/67.16	v -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 
67.07/67.16	v -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 
67.07/67.16	v -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 
67.07/67.16	v -x8 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x7 -x1074 -x1072 
67.07/67.16	v -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 
67.07/67.16	v -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x6 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 
67.07/67.16	v -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 
67.07/67.16	v -x958 -x956 -x954 -x952 -x5 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 
67.07/67.16	v -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 
67.07/67.16	v -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 
67.07/67.16	v -x836 -x834 -x832 -x830 -x828 -x826 -x4 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 
67.07/67.16	v -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x3 -x762 -x760 -x758 -x756 
67.07/67.16	v -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 
67.07/67.16	v -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 
67.07/67.16	v -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x2 -x636 -x634 -x632 
67.07/67.16	v -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 
67.07/67.16	v -x590 -x588 -x586 -x584 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 
67.07/67.16	v -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x1 -x511 -x509 
67.07/67.16	v -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 
67.07/67.16	v -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 
67.07/67.16	v -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 
67.07/67.16	v -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 
67.07/67.16	v -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 
67.07/67.16	v -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 x261 -x259 -x257 
67.07/67.16	v x8805 -x8803 x8801 -x8799 -x8797 -x8795 -x8793 -x8791 -x8789 -x8787 -x8785 -x8783 -x8781 -x8779 -x8777 -x8775 -x8773 x8771 
67.07/67.16	v -x8769 -x8767 -x8765 -x8763 -x8761 -x8759 -x8757 -x8755 -x8753 -x8751 x8749 -x8747 x8745 -x8743 -x8741 -x8739 -x8737 -x8735 
67.07/67.16	v -x8733 -x8731 -x8729 -x8727 -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 -x8713 -x8711 -x8709 -x8707 -x8705 -x8703 -x8701 -x8699 
67.07/67.16	v -x8697 -x8695 -x8693 -x8691 -x8689 -x8687 x8685 -x8683 -x8681 -x8679 -x8677 x8675 -x8673 -x8671 -x8669 -x8667 -x8665 -x8663 
67.07/67.16	v -x8661 -x8659 -x8657 -x8655 -x8653 -x8651 -x8649 -x8647 -x8645 -x8643 -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629 -x8627 
67.07/67.16	v -x8625 -x8623 -x8621 -x8619 -x8617 -x8615 -x8613 -x8611 -x8609 -x8607 -x8605 -x8603 -x8601 -x8599 -x8597 -x8595 -x8593 -x8591 
67.07/67.16	v -x8589 -x8587 -x8585 -x8583 -x8581 -x8579 -x8577 -x8575 -x8573 -x8571 -x8569 -x8567 -x8565 -x8563 -x8561 -x8559 -x8557 -x8555 
67.07/67.16	v -x8553 -x8551 -x8549 -x8547 -x8545 -x8543 -x8541 -x8539 -x8537 -x8535 -x8533 -x8531 -x8529 -x8527 -x8525 -x8523 -x8521 -x8519 
67.07/67.16	v -x8517 -x8515 -x8513 -x8511 -x8509 -x8507 -x8505 -x8503 -x8501 -x8499 -x8497 -x8495 -x8493 -x8491 -x8489 -x8487 -x8485 
67.07/67.16	v -x8483 -x8481 -x8479 -x8477 -x8475 -x8473 -x8471 -x8469 -x8467 -x8465 -x8463 -x8461 -x8459 -x8457 -x8455 -x8453 -x8451 -x8450 
67.07/67.16	v -x8448 -x8446 -x8444 -x8442 -x8440 -x8438 -x8436 -x8434 -x8432 -x8430 -x8428 -x8426 -x8424 -x8422 -x8420 -x8418 -x8416 -x8414 
67.07/67.16	v -x8412 -x8410 -x8408 -x8406 -x8404 -x8402 -x8400 -x8398 -x8396 x8394 -x8392 -x8390 -x8388 -x8386 -x8384 -x8382 -x8380 -x8378 
67.07/67.16	v -x8376 -x8374 -x8372 -x8370 -x8368 -x8366 -x8364 -x8362 -x8360 -x8358 -x8356 -x8354 -x8352 -x8350 -x8348 -x8346 -x8344 -x8342 
67.07/67.16	v -x8340 -x8338 -x8336 -x8334 -x8332 -x8330 -x8328 -x8326 -x8324 -x8322 -x8320 -x8318 -x8316 -x8314 -x8312 -x8310 -x8308 -x8306 
67.07/67.16	v -x8304 -x8302 -x8300 -x8298 -x8296 -x8294 -x8292 -x8290 -x8288 -x8286 -x8284 -x8282 -x8280 -x8278 -x8276 -x8274 -x8272 -x8270 
67.07/67.16	v -x8268 -x8266 -x8264 -x8262 -x8260 -x8258 -x8256 -x8254 -x8252 -x8250 -x8248 -x8246 -x8244 -x8242 -x8240 -x8238 -x8236 -x8234 
67.07/67.16	v -x8232 -x8230 -x8228 -x8226 -x8224 -x8222 -x8220 -x8218 -x8216 -x8214 -x8212 -x8210 -x8208 -x8206 -x8204 -x8202 x8200 -x8198 
67.07/67.16	v -x8196 -x8194 -x8192 -x8190 -x8188 -x8186 -x8184 -x8182 -x8180 -x8178 -x8176 -x8174 -x8172 -x8170 -x8168 -x8166 -x8164 
67.07/67.16	v -x8162 -x8160 -x8158 -x8156 -x8154 -x8152 -x8150 -x8148 -x8146 -x8144 -x8142 -x8140 -x8138 -x8136 -x8134 -x8132 -x8130 -x8128 
67.07/67.16	v -x8126 -x8124 -x8122 -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108 -x8106 -x8104 -x8102 -x8100 -x8098 -x8096 -x8094 -x8092 
67.07/67.16	v -x8090 -x8088 -x8086 -x8084 -x8082 -x8080 -x8078 -x8076 -x8074 -x8072 -x8070 -x8068 x8066 -x8064 -x8062 -x8060 -x8058 -x8056 
67.07/67.16	v -x8054 -x8052 -x8050 -x8048 -x8046 -x8044 -x8042 -x8040 -x8038 -x8036 -x8034 -x8032 -x8030 -x8028 -x8026 -x8024 -x8022 -x8020 
67.07/67.16	v -x8018 -x8016 -x8014 -x8012 -x8010 -x8008 -x8006 -x8004 -x8002 -x8000 -x7998 -x7996 -x7994 -x7992 -x7990 -x7988 -x7986 -x7985 
67.07/67.16	v -x7983 -x7981 -x7979 -x7977 -x7975 -x7973 -x7971 -x7969 -x7967 -x7965 -x7963 -x7961 -x7959 -x7957 -x7955 -x7953 -x7951 -x7949 
67.07/67.16	v -x7947 -x7945 -x7943 -x7941 -x7939 -x7937 -x7935 -x7933 -x7931 -x7929 -x7927 -x7925 -x7923 -x7921 -x7919 -x7917 -x7915 -x7913 
67.07/67.16	v -x7911 -x7909 -x7907 -x7905 -x7903 -x7901 -x7899 -x7897 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7880 
67.07/67.16	v -x7878 -x7876 -x7874 -x7872 -x7870 -x7868 -x7866 -x7864 -x7862 -x7860 -x7858 -x7856 -x7854 -x7852 -x7850 -x7848 -x7846 -x7844 
67.07/67.16	v -x7842 -x7840 -x7838 -x7836 -x7834 -x7832 -x7830 -x7828 -x7826 -x7824 -x7822 -x7820 -x7818 -x7816 -x7814 -x7812 -x7810 -x7808 
67.07/67.16	v -x7806 -x7804 -x7802 -x7800 x7798 -x7796 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 -x7783 -x7781 -x7779 -x7777 -x7775 -x7773 
67.07/67.16	v -x7771 -x7769 -x7767 -x7765 -x7763 -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 
67.07/67.16	v -x7735 -x7733 -x7731 -x7729 -x7727 -x7725 -x7723 -x7721 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 
67.07/67.16	v -x7699 -x7697 -x7695 -x7693 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7673 -x7671 -x7669 -x7667 -x7665 
67.07/67.16	v -x7663 -x7661 -x7659 -x7657 -x7655 -x7653 -x7651 -x7649 -x7647 -x7645 -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x7631 -x7629 
67.07/67.16	v -x7627 -x7625 -x7623 -x7621 -x7619 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 
67.07/67.16	v -x7593 -x7591 -x7589 -x7587 -x7585 -x7583 -x7581 -x7579 -x7577 -x7575 -x7573 -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 
67.07/67.16	v -x7557 -x7555 -x7553 -x7551 -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 
67.07/67.16	v -x7521 -x7519 -x7517 -x7515 -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 
67.07/67.16	v -x7485 -x7483 -x7481 -x7479 -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 
67.07/67.16	v -x7449 -x7447 -x7445 -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 
67.07/67.16	v -x7413 -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 -x7381 -x7379 
67.07/67.16	v -x7377 -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 
67.07/67.16	v -x7343 -x7341 -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 -x7309 
67.07/67.16	v -x7307 -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 
67.07/67.16	v -x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 
67.07/67.16	v -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 
67.07/67.16	v -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 
67.07/67.16	v -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 
67.07/67.16	v -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 
67.07/67.16	v -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 
67.07/67.16	v -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 
67.07/67.16	v -x7021 x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 
67.07/67.16	v -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 
67.07/67.16	v -x6949 -x6947 -x6945 -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 
67.07/67.16	v -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6888 -x6886 -x6884 -x6882 -x6880 
67.07/67.16	v -x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 
67.07/67.16	v -x6842 -x6840 -x6838 -x6836 x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x6810 -x6808 
67.07/67.16	v -x6806 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 x6780 -x6778 -x6776 -x6774 -x6772 
67.07/67.16	v -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 
67.07/67.16	v -x6736 -x6734 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6707 -x6705 -x6703 
67.07/67.16	v -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 
67.07/67.16	v -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 
67.07/67.16	v -x6629 -x6628 -x6626 -x6624 -x6622 -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 
67.07/67.16	v -x6594 -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 
67.07/67.16	v -x6558 -x6556 -x6554 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 
67.07/67.16	v -x6522 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 
67.07/67.16	v -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 
67.07/67.16	v -x6452 -x6450 -x6448 -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 
67.07/67.16	v -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x6384 -x6382 
67.07/67.16	v -x6380 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6352 -x6350 -x6348 
67.07/67.16	v -x6346 -x6344 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 
67.07/67.16	v -x6310 -x6308 -x6306 -x6304 -x6302 x6300 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 
67.07/67.16	v -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 
67.07/67.16	v -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 
67.07/67.16	v -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 
67.07/67.16	v -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6138 -x6136 
67.07/67.16	v -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x6112 -x6110 -x6108 -x6106 x6104 -x6102 -x6100 
67.07/67.16	v -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 
67.07/67.16	v -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 
67.07/67.16	v -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 
67.07/67.16	v -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 
67.07/67.16	v -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 
67.07/67.16	v -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 
67.07/67.16	v -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 
67.07/67.16	v -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830 x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 
67.07/67.16	v -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 
67.07/67.16	v -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 
67.07/67.16	v -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 
67.07/67.16	v -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 
67.07/67.16	v -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 
67.07/67.16	v -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 
67.07/67.16	v -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 
67.07/67.16	v -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 
67.07/67.16	v -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 
67.07/67.16	v -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 
67.07/67.16	v -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 
67.07/67.16	v -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 
67.07/67.16	v -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 
67.07/67.16	v -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 
67.07/67.16	v -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 
67.07/67.16	v -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 
67.07/67.16	v -x5240 -x5238 -x5236 -x5234 -x5232 x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 
67.07/67.16	v -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 
67.07/67.16	v -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 x5142 -x5140 -x5138 -x5136 -x5134 
67.07/67.16	v -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 
67.07/67.16	v -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 
67.07/67.16	v -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 
67.07/67.16	v -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 
67.07/67.16	v -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 
67.07/67.16	v -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 
67.07/67.16	v -x4918 -x4916 -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 
67.07/67.16	v -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 
67.07/67.16	v -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 
67.07/67.16	v -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4779 
67.07/67.16	v -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 
67.07/67.16	v -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 
67.07/67.16	v -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 
67.07/67.16	v -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 
67.07/67.16	v -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 
67.07/67.16	v -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 
67.07/67.16	v -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 
67.07/67.16	v -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 
67.07/67.16	v -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 
67.07/67.16	v -x4455 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 
67.07/67.16	v -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 
67.07/67.16	v -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 
67.07/67.16	v -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 
67.07/67.16	v -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 
67.07/67.16	v -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 
67.07/67.16	v -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 
67.07/67.16	v -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 
67.07/67.16	v -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 
67.07/67.16	v -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 
67.07/67.16	v -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 
67.07/67.16	v -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 
67.07/67.16	v -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 
67.07/67.16	v -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 
67.07/67.16	v -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 
67.07/67.16	v -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 
67.07/67.16	v -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 
67.07/67.16	v -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 
67.07/67.16	v -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 
67.07/67.16	v -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 
67.07/67.16	v -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 
67.07/67.16	v -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 
67.07/67.16	v -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 
67.07/67.16	v -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 
67.07/67.16	v -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 
67.07/67.16	v -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 
67.07/67.16	v -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 
67.07/67.16	v -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 
67.07/67.16	v -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 
67.07/67.16	v -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 
67.07/67.16	v -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 
67.07/67.16	v -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 
67.07/67.16	v -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 
67.07/67.16	v -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 
67.07/67.16	v -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 
67.07/67.16	v -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 
67.07/67.16	v -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 
67.07/67.16	v -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 
67.07/67.16	v -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 
67.07/67.16	v -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 
67.07/67.16	v -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 
67.07/67.16	v -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 
67.07/67.16	v -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 
67.07/67.16	v -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 
67.07/67.16	v -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 
67.07/67.16	v -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 
67.07/67.16	v -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 
67.07/67.16	v -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 
67.07/67.16	v -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 
67.07/67.16	v -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 
67.07/67.16	v -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 
67.07/67.16	v -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 
67.07/67.16	v -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 
67.07/67.16	v -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 
67.07/67.16	v -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 
67.07/67.16	v -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 
67.07/67.16	v -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 
67.07/67.16	v -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 
67.07/67.16	v -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 
67.07/67.16	v -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 
67.07/67.16	v -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 
67.07/67.16	v -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 
67.07/67.16	v -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 
67.07/67.16	v -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 
67.07/67.16	v -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 
67.07/67.16	v -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 
67.07/67.16	v -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 x2066 
67.07/67.16	v -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 
67.07/67.16	v -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 
67.07/67.16	v -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 
67.07/67.16	v -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 
67.07/67.16	v -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 
67.07/67.16	v -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 
67.07/67.16	v -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 
67.07/67.16	v -x1814 -x1812 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 
67.07/67.16	v -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 
67.07/67.16	v -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 
67.07/67.16	v -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 
67.07/67.16	v -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 
67.07/67.16	v -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 
67.07/67.16	v -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 x1589 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 
67.07/67.16	v -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 
67.07/67.16	v -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 
67.07/67.16	v -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 
67.07/67.16	v -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 
67.07/67.16	v -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 
67.07/67.16	v -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 
67.07/67.16	v -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 
67.07/67.16	v -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 
67.07/67.16	v -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 
67.07/67.16	v -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 
67.07/67.16	v -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 
67.07/67.16	v -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 
67.07/67.16	v -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 
67.07/67.16	v -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 
67.07/67.16	v -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 
67.07/67.16	v -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 
67.07/67.16	v -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 
67.07/67.16	v -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 
67.07/67.16	v -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 
67.07/67.16	v -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 
67.07/67.16	v -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 
67.07/67.16	v -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 
67.07/67.16	v -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 
67.07/67.16	v -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 
67.07/67.16	v -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 
67.07/67.16	v -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x582 
67.07/67.16	v -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 
67.07/67.16	v -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 
67.07/67.16	v -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 
67.07/67.16	v -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 
67.07/67.16	v -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 
67.07/67.16	v -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 
67.07/67.16	v -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 
67.07/67.16	v -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 x262 -x260 -x258 
67.07/67.16	c SCIP Status        : problem is solved [optimal solution found]
67.07/67.16	c Solving Time       :      65.89
67.07/67.16	c Original Problem   :
67.07/67.16	c   Problem name     : HOME/instance-2666797-1276634873.opb
67.07/67.16	c   Variables        : 8805 (8805 binary, 0 integer, 0 implicit integer, 0 continuous)
67.07/67.16	c   Constraints      : 27496 initial, 27496 maximal
67.07/67.16	c Presolved Problem  :
67.07/67.16	c   Problem name     : t_HOME/instance-2666797-1276634873.opb
67.07/67.16	c   Variables        : 3847 (3847 binary, 0 integer, 0 implicit integer, 0 continuous)
67.07/67.16	c   Constraints      : 15587 initial, 15587 maximal
67.07/67.16	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
67.07/67.16	c   trivial          :       0.00          0          0          0          0          0          0          0          0
67.07/67.16	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
67.07/67.16	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
67.07/67.16	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
67.07/67.16	c   implics          :       0.01          0          9          0          0          0          0          0          0
67.07/67.16	c   probing          :       0.13          0          0          0          0          0          0          0          0
67.07/67.16	c   linear           :       0.34        682       4267          0        682          0      11909          2          2
67.07/67.16	c   logicor          :       0.10          0          0          0          0          0          0          0          0
67.07/67.16	c   root node        :          -       3246          -          -       3246          -          -          -          -
67.07/67.16	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
67.07/67.16	c   integral         :          0          0          0          1          0          1          0          0          0          0
67.07/67.16	c   logicor          :      15587         13        203          0          0          0        314          0          0          0
67.07/67.16	c   countsols        :          0          0          0          0          0          0          0          0          0          0
67.07/67.16	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
67.07/67.16	c   integral         :       0.08       0.00       0.00       0.08       0.00
67.07/67.16	c   logicor          :       0.12       0.05       0.07       0.00       0.00
67.07/67.16	c   countsols        :       0.00       0.00       0.00       0.00       0.00
67.07/67.16	c Propagators        :       Time      Calls    Cutoffs    DomReds
67.07/67.16	c   vbounds          :       0.00          2          0          0
67.07/67.16	c   rootredcost      :       0.00          0          0          0
67.07/67.16	c   pseudoobj        :       0.00         13          0          0
67.07/67.16	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
67.07/67.16	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
67.07/67.16	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
67.07/67.16	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
67.07/67.16	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
67.07/67.16	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
67.07/67.16	c   applied globally :          -          -          -          0        0.0          -          -          -
67.07/67.16	c   applied locally  :          -          -          -          0        0.0          -          -          -
67.07/67.16	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
67.07/67.16	c   cut pool         :       0.01         12          -          -         52          -    (maximal pool size: 236)
67.07/67.16	c   redcost          :       0.03         13          0       2932          0          0
67.07/67.16	c   impliedbounds    :       0.02         13          0          0          0          0
67.07/67.16	c   intobj           :       0.00          0          0          0          0          0
67.07/67.16	c   cgmip            :       0.00          0          0          0          0          0
67.07/67.16	c   gomory           :      31.50         13          0          0       1040          0
67.07/67.16	c   strongcg         :      23.38         13          0          0       2762          0
67.07/67.16	c   cmir             :       2.47         10          0          0          0          0
67.07/67.16	c   flowcover        :       3.75         10          0          0          0          0
67.07/67.16	c   clique           :       0.05         13          0          0         57          0
67.07/67.16	c   zerohalf         :       0.00          0          0          0          0          0
67.07/67.16	c   mcf              :       0.03          1          0          0          0          0
67.07/67.16	c   rapidlearning    :       0.00          0          0          0          0          0
67.07/67.16	c Pricers            :       Time      Calls       Vars
67.07/67.16	c   problem variables:       0.00          0          0
67.07/67.16	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
67.07/67.16	c   relpscost        :       0.08          1          1          0          0          0          0
67.07/67.16	c   pscost           :       0.00          0          0          0          0          0          0
67.07/67.16	c   inference        :       0.00          0          0          0          0          0          0
67.07/67.16	c   mostinf          :       0.00          0          0          0          0          0          0
67.07/67.16	c   leastinf         :       0.00          0          0          0          0          0          0
67.07/67.16	c   fullstrong       :       0.00          0          0          0          0          0          0
67.07/67.16	c   allfullstrong    :       0.00          0          0          0          0          0          0
67.07/67.16	c   random           :       0.00          0          0          0          0          0          0
67.07/67.16	c Primal Heuristics  :       Time      Calls      Found
67.07/67.16	c   LP solutions     :       0.00          -          0
67.07/67.16	c   pseudo solutions :       0.00          -          0
67.07/67.16	c   crossover        :       0.00          0          0
67.07/67.16	c   oneopt           :       0.01          2          0
67.07/67.16	c   trivial          :       0.02          2          0
67.07/67.16	c   simplerounding   :       0.00          0          0
67.07/67.16	c   zirounding       :       0.00          1          0
67.07/67.16	c   rounding         :       0.10         13          1
67.07/67.16	c   shifting         :       0.04         13          0
67.07/67.16	c   intshifting      :       0.00          0          0
67.07/67.16	c   twoopt           :       0.00          0          0
67.07/67.16	c   fixandinfer      :       0.00          0          0
67.07/67.16	c   feaspump         :       1.09          1          1
67.07/67.16	c   coefdiving       :       0.00          0          0
67.07/67.16	c   pscostdiving     :       0.00          0          0
67.07/67.16	c   fracdiving       :       0.00          0          0
67.07/67.16	c   veclendiving     :       0.00          0          0
67.07/67.16	c   intdiving        :       0.00          0          0
67.07/67.16	c   actconsdiving    :       0.00          0          0
67.07/67.16	c   objpscostdiving  :       0.00          0          0
67.07/67.16	c   rootsoldiving    :       0.00          0          0
67.07/67.16	c   linesearchdiving :       0.00          0          0
67.07/67.16	c   guideddiving     :       0.00          0          0
67.07/67.16	c   octane           :       0.00          0          0
67.07/67.16	c   rens             :       0.22          1          0
67.07/67.16	c   rins             :       0.00          0          0
67.07/67.16	c   localbranching   :       0.00          0          0
67.07/67.16	c   mutation         :       0.00          0          0
67.07/67.16	c   dins             :       0.00          0          0
67.07/67.16	c   undercover       :       0.00          0          0
67.07/67.16	c   nlp              :       0.00          0          0
67.07/67.16	c   trysol           :       0.00          0          0
67.07/67.16	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
67.07/67.16	c   primal LP        :       0.01          0          0       0.00       0.00
67.07/67.16	c   dual LP          :       2.05         12       1859     154.92     906.83
67.07/67.16	c   lex dual LP      :       0.00          0          0       0.00          -
67.07/67.16	c   barrier LP       :       0.00          0          0       0.00          -
67.07/67.16	c   diving/probing LP:       1.07          6        498      83.00     465.42
67.07/67.16	c   strong branching :       0.08          1        194     194.00    2425.00
67.07/67.16	c     (at root node) :          -          1        194     194.00          -
67.07/67.16	c   conflict analysis:       0.00          0          0       0.00          -
67.07/67.16	c B&B Tree           :
67.07/67.16	c   number of runs   :          1
67.07/67.16	c   nodes            :          1
67.07/67.16	c   nodes (total)    :          1
67.07/67.16	c   nodes left       :          0
67.07/67.16	c   max depth        :          0
67.07/67.16	c   max depth (total):          0
67.07/67.16	c   backtracks       :          0 (0.0%)
67.07/67.16	c   delayed cutoffs  :          0
67.07/67.16	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
67.07/67.16	c   avg switch length:       2.00
67.07/67.16	c   switching time   :       0.00
67.07/67.16	c Solution           :
67.07/67.16	c   Solutions found  :          2 (2 improvements)
67.07/67.16	c   First Solution   : +4.69999999999998e+01   (in run 1, after 1 nodes, 1.23 seconds, depth 0, found by <rounding>)
67.07/67.16	c   Primal Bound     : +2.50000000000000e+01   (in run 1, after 1 nodes, 60.30 seconds, depth 0, found by <feaspump>)
67.07/67.16	c   Dual Bound       : +2.50000000000000e+01
67.07/67.16	c   Gap              :       0.00 %
67.07/67.16	c   Root Dual Bound  : +2.50000000000000e+01
67.07/67.16	c   Root Iterations  :       1859
67.17/67.26	c Time complete: 67.23.

Verifier Data 

OK	25

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.09 1.08 1.10 3/106 11334
/proc/meminfo: memFree=1774840/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=6696 CPUtime=0
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 986 0 0 0 0 0 0 0 15 0 1 0 4779247 6856704 906 1992294400 4194304 8223781 140734296615760 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11334/statm: 1674 907 343 984 0 687 0

[startup+0.0663389 s]
/proc/loadavg: 1.09 1.08 1.10 3/106 11334
/proc/meminfo: memFree=1774840/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=14788 CPUtime=0.06
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 3019 0 0 0 5 1 0 0 18 0 1 0 4779247 15142912 2938 1992294400 4194304 8223781 140734296615760 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11334/statm: 3697 2938 365 984 0 2710 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14788

[startup+0.101341 s]
/proc/loadavg: 1.09 1.08 1.10 3/106 11334
/proc/meminfo: memFree=1774840/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=17688 CPUtime=0.09
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 3738 0 0 0 8 1 0 0 18 0 1 0 4779247 18112512 3657 1992294400 4194304 8223781 140734296615760 18446744073709551615 6639991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11334/statm: 4422 3657 365 984 0 3435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17688

[startup+0.30136 s]
/proc/loadavg: 1.09 1.08 1.10 3/106 11334
/proc/meminfo: memFree=1774840/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=21872 CPUtime=0.29
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 4777 0 0 0 28 1 0 0 18 0 1 0 4779247 22396928 4696 1992294400 4194304 8223781 140734296615760 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11334/statm: 5468 4696 365 984 0 4481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21872

[startup+0.701397 s]
/proc/loadavg: 1.09 1.08 1.10 3/106 11334
/proc/meminfo: memFree=1774840/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=56792 CPUtime=0.69
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 13456 0 0 0 65 4 0 0 18 0 1 0 4779247 58155008 12970 1992294400 4194304 8223781 140734296615760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 14198 12970 437 984 0 13211 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56792

[startup+1.50047 s]
/proc/loadavg: 1.09 1.08 1.10 2/107 11335
/proc/meminfo: memFree=1720768/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=83656 CPUtime=1.49
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 22802 0 0 0 134 15 0 0 19 0 1 0 4779247 85663744 19621 1992294400 4194304 8223781 140734296615760 18446744073709551615 6448550 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 20914 19621 570 984 0 19927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83656

[startup+3.10062 s]
/proc/loadavg: 1.08 1.08 1.10 2/107 11335
/proc/meminfo: memFree=1693364/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=99512 CPUtime=3.09
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 27257 0 0 0 291 18 0 0 24 0 1 0 4779247 101900288 23498 1992294400 4194304 8223781 140734296615760 18446744073709551615 5744299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 24878 23498 570 984 0 23891 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99512

[startup+6.30092 s]
/proc/loadavg: 1.08 1.08 1.10 2/107 11335
/proc/meminfo: memFree=1681336/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=103112 CPUtime=6.29
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 29000 0 0 0 606 23 0 0 25 0 1 0 4779247 105586688 24356 1992294400 4194304 8223781 140734296615760 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 25778 24356 584 984 0 24791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103112

[startup+12.7005 s]
/proc/loadavg: 1.07 1.08 1.10 2/107 11335
/proc/meminfo: memFree=1670052/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=111964 CPUtime=12.68
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 32679 0 0 0 1240 28 0 0 25 0 1 0 4779247 114651136 26602 1992294400 4194304 8223781 140734296615760 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 27991 26602 579 984 0 27004 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 111964

[startup+25.5017 s]
/proc/loadavg: 1.06 1.07 1.09 2/107 11335
/proc/meminfo: memFree=1669556/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=112976 CPUtime=25.49
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 33678 0 0 0 2511 38 0 0 25 0 1 0 4779247 115687424 26669 1992294400 4194304 8223781 140734296615760 18446744073709551615 4310651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28244 26669 579 984 0 27257 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112976

[startup+51.1011 s]
/proc/loadavg: 1.04 1.06 1.09 2/107 11335
/proc/meminfo: memFree=1669060/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=113148 CPUtime=51.07
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 35483 0 0 0 5051 56 0 0 25 0 1 0 4779247 115863552 26696 1992294400 4194304 8223781 140734296615760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28287 26696 579 984 0 27300 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 113148

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

[startup+57.5017 s]
/proc/loadavg: 1.03 1.06 1.09 2/107 11337
/proc/meminfo: memFree=1669060/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=113140 CPUtime=57.47
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 35910 0 0 0 5688 59 0 0 25 0 1 0 4779247 115855360 26732 1992294400 4194304 8223781 140734296615760 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28285 26732 579 984 0 27298 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 113140

[startup+63.9012 s]
/proc/loadavg: 1.03 1.06 1.09 2/107 11337
/proc/meminfo: memFree=1668192/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=114156 CPUtime=63.87
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 51361 0 0 0 6318 69 0 0 25 0 1 0 4779247 116895744 26899 1992294400 4194304 8223781 140734296615760 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28539 26899 597 984 0 27552 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 114156

[startup+65.5014 s]
/proc/loadavg: 1.03 1.06 1.09 2/107 11337
/proc/meminfo: memFree=1668192/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=114156 CPUtime=65.46
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 51361 0 0 0 6477 69 0 0 25 0 1 0 4779247 116895744 26899 1992294400 4194304 8223781 140734296615760 18446744073709551615 6054107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28539 26899 597 984 0 27552 0
Current children cumulated CPU time (s) 65.46
Current children cumulated vsize (KiB) 114156

[startup+66.3015 s]
/proc/loadavg: 1.03 1.06 1.09 2/107 11337
/proc/meminfo: memFree=1668192/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=114156 CPUtime=66.27
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 51361 0 0 0 6557 70 0 0 25 0 1 0 4779247 116895744 26899 1992294400 4194304 8223781 140734296615760 18446744073709551615 6059720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28539 26899 597 984 0 27552 0
Current children cumulated CPU time (s) 66.27
Current children cumulated vsize (KiB) 114156

[startup+66.7015 s]
/proc/loadavg: 1.03 1.06 1.09 2/107 11337
/proc/meminfo: memFree=1668192/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=114156 CPUtime=66.67
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 51361 0 0 0 6597 70 0 0 25 0 1 0 4779247 116895744 26899 1992294400 4194304 8223781 140734296615760 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28539 26899 597 984 0 27552 0
Current children cumulated CPU time (s) 66.67
Current children cumulated vsize (KiB) 114156

[startup+67.1085 s]
/proc/loadavg: 1.03 1.06 1.09 2/107 11337
/proc/meminfo: memFree=1668192/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=112588 CPUtime=67.07
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 51362 0 0 0 6637 70 0 0 25 0 1 0 4779247 115290112 26681 1992294400 4194304 8223781 140734296615760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11334/statm: 28147 26681 598 984 0 27160 0
Current children cumulated CPU time (s) 67.07
Current children cumulated vsize (KiB) 112588

[startup+67.2016 s]
/proc/loadavg: 1.03 1.06 1.09 2/107 11337
/proc/meminfo: memFree=1668192/2059040 swapFree=4187148/4192956
[pid=11334] ppid=11332 vsize=98592 CPUtime=67.17
/proc/11334/stat : 11334 (pbscip.linux.x8) R 11332 11334 11137 0 -1 4202496 51364 0 0 0 6647 70 0 0 25 0 1 0 4779247 100958208 23191 1992294400 4194304 8223781 140734296615760 18446744073709551615 6207055 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11334/statm: 24648 23191 600 984 0 23661 0
Current children cumulated CPU time (s) 67.17
Current children cumulated vsize (KiB) 98592

Child status: 0
Real time (s): 67.2688
CPU time (s): 67.2448
CPU user time (s): 66.5259
CPU system time (s): 0.71889
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 144264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.5259
system time used= 0.71889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51368
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= 5
involuntary context switches= 794

runsolver used 0.107983 second user time and 0.336948 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-15 22:47:54
IDJOB=2666797
IDBENCH=24992
IDSOLVER=1169
FILE ID=node048/2666797-1276634873
PBS_JOBID= 11172389
Free space on /tmp= 62456 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666797-1276634873/watcher-2666797-1276634873 -o /tmp/evaluation-result-2666797-1276634873/solver-2666797-1276634873 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666797-1276634873.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3
RANDOM SEED=575328133

node048.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1775244 kB
Buffers:         45128 kB
Cached:         120428 kB
SwapCached:        280 kB
Active:          82296 kB
Inactive:       137336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1775244 kB
SwapTotal:     4192956 kB
SwapFree:      4187148 kB
Dirty:            5296 kB
Writeback:           0 kB
AnonPages:       53724 kB
Mapped:          15308 kB
Slab:            42260 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62448 MiB
End job on node048 at 2010-06-15 22:49:01