Trace number 3731370

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
PB11: SCIP spx E_2 2011-06-10 (fixed)OPT7677 9.77751 9.78069

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7677
Best CPU time to get the best result obtained on this benchmark5.9331
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	7677

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3755
/proc/meminfo: memFree=27751140/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 1510 0 0 0 0 0 0 0 20 0 1 0 335694754 9818112 1464 33554432000 4194304 9016284 140736470910592 140736361486616 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 2397 1464 311 1178 0 1215 0

[startup+0.0285009 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3755
/proc/meminfo: memFree=27751140/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=21412 CPUtime=0.02 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 4351 0 0 0 2 0 0 0 20 0 1 0 335694754 21925888 4303 33554432000 4194304 9016284 140736470910592 140736361486616 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 5353 4303 360 1178 0 4171 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21412

[startup+0.100393 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3755
/proc/meminfo: memFree=27751140/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=43392 CPUtime=0.09 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 9715 0 0 0 8 1 0 0 20 0 1 0 335694754 44433408 9410 33554432000 4194304 9016284 140736470910592 140736361486616 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 10848 9410 474 1178 0 9666 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43392

[startup+0.300352 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3755
/proc/meminfo: memFree=27751140/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=58940 CPUtime=0.29 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 13804 0 0 0 28 1 0 0 20 0 1 0 335694754 60354560 13427 33554432000 4194304 9016284 140736470910592 140736470906264 5969561 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 14735 13427 531 1178 0 13553 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58940

[startup+0.700347 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3755
/proc/meminfo: memFree=27751140/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=59512 CPUtime=0.69 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 13993 0 0 0 68 1 0 0 20 0 1 0 335694754 60940288 13616 33554432000 4194304 9016284 140736470910592 140736470906264 7870589 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 14878 13616 531 1178 0 13696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59512

[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3756
/proc/meminfo: memFree=27698524/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=60580 CPUtime=1.49 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 14273 0 0 0 148 1 0 0 20 0 1 0 335694754 62033920 13896 33554432000 4194304 9016284 140736470910592 140736470906264 5154400 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 15145 13896 536 1178 0 13963 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60580

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3756
/proc/meminfo: memFree=27695920/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=65200 CPUtime=3.08 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 15400 0 0 0 307 1 0 0 20 0 1 0 335694754 66764800 15023 33554432000 4194304 9016284 140736470910592 140736470906264 5969836 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 16300 15023 536 1178 0 15118 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 65200

[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3756
/proc/meminfo: memFree=27690960/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=76028 CPUtime=6.29 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 18423 0 0 0 626 3 0 0 20 0 1 0 335694754 77852672 17907 33554432000 4194304 9016284 140736470910592 140736470904552 6272167 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 19007 17907 668 1178 0 17825 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76028

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

[startup+7.90024 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3756
/proc/meminfo: memFree=27649924/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=109532 CPUtime=7.88 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 26481 0 0 0 784 4 0 0 20 0 1 0 335694754 112160768 25965 33554432000 4194304 9016284 140736470910592 140736470905240 4291256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 27383 25965 696 1178 0 26201 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 109532

[startup+8.70023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3756
/proc/meminfo: memFree=27649924/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=109532 CPUtime=8.69 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 26481 0 0 0 865 4 0 0 20 0 1 0 335694754 112160768 25965 33554432000 4194304 9016284 140736470910592 140736470905240 4291256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 27383 25965 696 1178 0 26201 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 109532

[startup+9.50034 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3756
/proc/meminfo: memFree=27649924/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=106876 CPUtime=9.48 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 26582 0 0 0 944 4 0 0 20 0 1 0 335694754 109441024 25346 33554432000 4194304 9016284 140736470910592 140736470905240 6272135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 26719 25346 705 1178 0 25537 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 106876

[startup+9.70036 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3756
/proc/meminfo: memFree=27649924/32873844 swapFree=7128/7128
[pid=3755] ppid=3753 vsize=106876 CPUtime=9.68 cores=1,3,5,7
/proc/3755/stat : 3755 (scip-2.0.1.4b_2) R 3753 3755 25330 0 -1 4202496 26737 0 0 0 964 4 0 0 20 0 1 0 335694754 109441024 25501 33554432000 4194304 9016284 140736470910592 140736470905240 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3755/statm: 26719 25501 708 1178 0 25537 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 106876

Child status: 0
Real time (s): 9.78069
CPU time (s): 9.77751
CPU user time (s): 9.71752
CPU system time (s): 0.05999
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 109532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.71752
system time used= 0.05999
maximum resident set size= 104080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26746
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= 7
involuntary context switches= 11

runsolver used 0.028995 second user time and 0.094985 second system time

The end

Launcher Data

Begin job on node105 at 2012-06-03 06:04:37
IDJOB=3731370
IDBENCH=1882
IDSOLVER=2329
FILE ID=node105/3731370-1338696277
RUNJOBID= node105-1338679210-1718
PBS_JOBID= 14636708
Free space on /tmp= 71260 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731370-1338696277/watcher-3731370-1338696277 -o /tmp/evaluation-result-3731370-1338696277/solver-3731370-1338696277 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731370-1338696277.opb -t 1800 -m 15500

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

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=75060886

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27751140 kB
Buffers:          546788 kB
Cached:          3544912 kB
SwapCached:         1700 kB
Active:          1188656 kB
Inactive:        3051900 kB
Active(anon):     144912 kB
Inactive(anon):     4800 kB
Active(file):    1043744 kB
Inactive(file):  3047100 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             17096 kB
Writeback:             0 kB
AnonPages:        216500 kB
Mapped:            11856 kB
Shmem:                 0 kB
Slab:             740780 kB
SReclaimable:     182536 kB
SUnreclaim:       558244 kB
KernelStack:        1472 kB
PageTables:         4156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     269372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71244 MiB
End job on node105 at 2012-06-03 06:04:47