Trace number 3691310

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedOPT81 23.5204 23.5287

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ex9.opb
MD5SUM8cecfae519c586a787d92a89208dece3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark81
Best CPU time to get the best result obtained on this benchmark0.446931
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10404
Total number of constraints40962
Number of constraints which are clauses40800
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
Number of terms in the objective function 10404
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10404
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10404
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	81

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2013
/proc/meminfo: memFree=28091932/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=10720 CPUtime=0 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 1418 0 0 0 0 0 0 0 20 0 1 0 268565845 10977280 1372 33554432000 4194304 10173063 140737408858064 140733886402136 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 2680 1372 408 1460 0 1211 0

[startup+0.0171341 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2013
/proc/meminfo: memFree=28091932/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=18356 CPUtime=0 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 3349 0 0 0 0 0 0 0 20 0 1 0 268565845 18796544 3301 33554432000 4194304 10173063 140737408858064 140733886402136 7173662 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 4589 3301 408 1460 0 3120 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18356

[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2013
/proc/meminfo: memFree=28091932/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=26584 CPUtime=0.08 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 5415 0 0 0 8 0 0 0 20 0 1 0 268565845 27222016 5367 33554432000 4194304 10173063 140737408858064 140733886402136 5732239 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 6646 5367 416 1460 0 5177 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26584

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2013
/proc/meminfo: memFree=28091932/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=56024 CPUtime=0.29 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 12767 0 0 0 27 2 0 0 20 0 1 0 268565845 57368576 12719 33554432000 4194304 10173063 140737408858064 140737408723240 5868176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 14006 12719 468 1460 0 12537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56024

[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2013
/proc/meminfo: memFree=28091932/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=142968 CPUtime=0.69 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 34080 0 0 0 62 7 0 0 20 0 1 0 268565845 146399232 33954 33554432000 4194304 10173063 140737408858064 140737408723240 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 35742 33954 559 1460 0 34273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142968

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27962824/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=167348 CPUtime=1.49 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 43974 0 0 0 120 29 0 0 20 0 1 0 268565845 171364352 40033 33554432000 4194304 10173063 140737408858064 140737408855064 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 41837 40033 578 1460 0 40368 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167348

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27926428/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=179096 CPUtime=3.08 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 46565 0 0 0 248 60 0 0 20 0 1 0 268565845 183394304 43117 33554432000 4194304 10173063 140737408858064 140737408854120 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 44774 43117 616 1460 0 43305 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 179096

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27914648/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=187808 CPUtime=6.28 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 48795 0 0 0 501 127 0 0 20 0 1 0 268565845 192315392 45314 33554432000 4194304 10173063 140737408858064 140737408854120 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 46952 45314 616 1460 0 45483 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 187808

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27897412/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=203760 CPUtime=12.68 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 52716 0 0 0 988 280 0 0 20 0 1 0 268565845 208650240 49235 33554432000 4194304 10173063 140737408858064 140737408854440 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 50940 49235 616 1460 0 49471 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 203760

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

[startup+19.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27886152/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=214136 CPUtime=19.09 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 55310 0 0 0 1495 414 0 0 20 0 1 0 268565845 219275264 51829 33554432000 4194304 10173063 140737408858064 140737408854120 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 53534 51829 616 1460 0 52065 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 214136

[startup+20.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27884416/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=215736 CPUtime=20.68 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 55720 0 0 0 1621 447 0 0 20 0 1 0 268565845 220913664 52239 33554432000 4194304 10173063 140737408858064 140737408855304 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 53934 52239 616 1460 0 52465 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (KiB) 215736

[startup+22.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27884416/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=215736 CPUtime=22.28 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 55741 0 0 0 1753 475 0 0 20 0 1 0 268565845 220913664 52260 33554432000 4194304 10173063 140737408858064 140737408854120 8921502 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 53934 52260 616 1460 0 52465 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 215736

[startup+23.1065 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27880200/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=215736 CPUtime=23.09 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 55741 0 0 0 1821 488 0 0 20 0 1 0 268565845 220913664 52260 33554432000 4194304 10173063 140737408858064 140737408854120 5298560 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 53934 52260 616 1460 0 52465 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 215736

[startup+23.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2014
/proc/meminfo: memFree=27880200/32873844 swapFree=7356/7356
[pid=2013] ppid=2011 vsize=181076 CPUtime=23.48 cores=0,2,4,6
/proc/2013/stat : 2013 (scip-2.1.1.4fix) R 2011 2013 1047 0 -1 4202496 55839 0 0 0 1858 490 0 0 20 0 1 0 268565845 185421824 44046 33554432000 4194304 10173063 140737408858064 140737408854936 7544969 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2013/statm: 45269 44046 714 1460 0 43800 0
Current children cumulated CPU time (s) 23.48
Current children cumulated vsize (KiB) 181076

Child status: 0
Real time (s): 23.5287
CPU time (s): 23.5204
CPU user time (s): 18.6002
CPU system time (s): 4.92025
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 215736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6002
system time used= 4.92025
maximum resident set size= 209128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55852
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= 6
involuntary context switches= 52

runsolver used 0.079987 second user time and 0.142978 second system time

The end

Launcher Data

Begin job on node109 at 2012-05-26 11:26:13
IDJOB=3691310
IDBENCH=89829
IDSOLVER=2270
FILE ID=node109/3691310-1338024372
RUNJOBID= node109-1338016937-1065
PBS_JOBID= 14624362
Free space on /tmp= 71372 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ex9.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691310-1338024372/watcher-3691310-1338024372 -o /tmp/evaluation-result-3691310-1338024372/solver-3691310-1338024372 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691310-1338024372.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8cecfae519c586a787d92a89208dece3
RANDOM SEED=784910569

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28091940 kB
Buffers:          236032 kB
Cached:          3384368 kB
SwapCached:            0 kB
Active:          1070896 kB
Inactive:        2934776 kB
Active(anon):     388072 kB
Inactive(anon):        0 kB
Active(file):     682824 kB
Inactive(file):  2934776 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18832 kB
Writeback:             0 kB
AnonPages:        392404 kB
Mapped:            17664 kB
Shmem:               200 kB
Slab:             638168 kB
SReclaimable:      80888 kB
SUnreclaim:       557280 kB
KernelStack:        1448 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     501988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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= 71360 MiB
End job on node109 at 2012-05-26 11:26:36