Trace number 3692476

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 E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedOPT81 26.062 26.0684

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 17315
/proc/meminfo: memFree=27329480/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=11000 CPUtime=0 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 1557 0 0 0 0 0 0 0 20 0 1 0 270320167 11264000 1513 33554432000 4194304 10219143 140736078009520 140736078005896 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 2750 1519 398 1471 0 1270 0

[startup+0.0184429 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 17315
/proc/meminfo: memFree=27329480/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=21224 CPUtime=0 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 4074 0 0 0 0 0 0 0 20 0 1 0 270320167 21733376 4027 33554432000 4194304 10219143 140736078009520 140736077874696 4994016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 5306 4027 421 1471 0 3826 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 21224

[startup+0.100387 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 17315
/proc/meminfo: memFree=27329480/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=30888 CPUtime=0.09 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 6514 0 0 0 8 1 0 0 20 0 1 0 270320167 31629312 6467 33554432000 4194304 10219143 140736078009520 140736077874696 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 7722 6467 421 1471 0 6242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30888

[startup+0.300322 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 17315
/proc/meminfo: memFree=27329480/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=62620 CPUtime=0.29 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 14408 0 0 0 26 3 0 0 20 0 1 0 270320167 64122880 14361 33554432000 4194304 10219143 140736078009520 140736077874696 8848048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 15655 14361 474 1471 0 14175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62620

[startup+0.70032 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 17315
/proc/meminfo: memFree=27329480/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=131540 CPUtime=0.68 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 31237 0 0 0 59 9 0 0 20 0 1 0 270320167 134696960 31148 33554432000 4194304 10219143 140736078009520 140736077874696 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 32885 31148 560 1471 0 31405 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 131540

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17316
/proc/meminfo: memFree=27204720/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=165424 CPUtime=1.49 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 41221 0 0 0 119 30 0 0 20 0 1 0 270320167 169394176 39603 33554432000 4194304 10219143 140736078009520 140736078006520 5015075 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 41356 39603 575 1471 0 39876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 165424

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17316
/proc/meminfo: memFree=27166156/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=175972 CPUtime=3.08 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 44003 0 0 0 252 56 0 0 20 0 1 0 270320167 180195328 42334 33554432000 4194304 10219143 140736078009520 140736078005880 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 43993 42334 611 1471 0 42513 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 175972

[startup+6.30033 s]
/proc/loadavg: 2.16 2.03 2.01 3/175 17316
/proc/meminfo: memFree=27157352/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=183776 CPUtime=6.29 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 46164 0 0 0 509 120 0 0 20 0 1 0 270320167 188186624 44297 33554432000 4194304 10219143 140736078009520 140736078005576 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 45944 44297 611 1471 0 44464 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 183776

[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 2.01 3/175 17316
/proc/meminfo: memFree=27139884/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=198336 CPUtime=12.69 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 49815 0 0 0 1018 251 0 0 20 0 1 0 270320167 203096064 47882 33554432000 4194304 10219143 140736078009520 140736078005576 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 49584 47882 611 1471 0 48104 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 198336

[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 17316
/proc/meminfo: memFree=27125508/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=212260 CPUtime=25.48 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 53585 0 0 0 2066 482 0 0 20 0 1 0 270320167 217354240 51388 33554432000 4194304 10219143 140736078009520 140736078005576 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 53065 51388 611 1471 0 51585 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 212260

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

[startup+25.9003 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 17316
/proc/meminfo: memFree=27125508/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=211600 CPUtime=25.89 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 53585 0 0 0 2105 484 0 0 20 0 1 0 270320167 216678400 51223 33554432000 4194304 10219143 140736078009520 140736078005576 6873711 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 52900 51190 611 1471 0 51420 0
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (KiB) 211600

[startup+26.0003 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 17316
/proc/meminfo: memFree=27125508/32873852 swapFree=6848/6848
[pid=17315] ppid=17313 vsize=206180 CPUtime=25.99 cores=1,3,5,7
/proc/17315/stat : 17315 (scip-2.1.1.4exp) R 17313 17315 14609 0 -1 4202496 53673 0 0 0 2115 484 0 0 20 0 1 0 270320167 211128320 49972 33554432000 4194304 10219143 140736078009520 140736078006392 7589177 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17315/statm: 51545 49972 699 1471 0 50065 0
Current children cumulated CPU time (s) 25.99
Current children cumulated vsize (KiB) 206180

Child status: 0
Real time (s): 26.0684
CPU time (s): 26.062
CPU user time (s): 21.2098
CPU system time (s): 4.85226
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 213316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2098
system time used= 4.85226
maximum resident set size= 206520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53686
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= 29

runsolver used 0.047992 second user time and 0.132979 second system time

The end

Launcher Data

Begin job on node129 at 2012-05-26 16:19:07
IDJOB=3692476
IDBENCH=89829
IDSOLVER=2271
FILE ID=node129/3692476-1338041947
RUNJOBID= node129-1338029292-16060
PBS_JOBID= 14624342
Free space on /tmp= 71108 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp 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.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692476-1338041947/watcher-3692476-1338041947 -o /tmp/evaluation-result-3692476-1338041947/solver-3692476-1338041947 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692476-1338041947.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8cecfae519c586a787d92a89208dece3
RANDOM SEED=564730811

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27330124 kB
Buffers:          264184 kB
Cached:          2992776 kB
SwapCached:            0 kB
Active:          2619476 kB
Inactive:        2137308 kB
Active(anon):    1502264 kB
Inactive(anon):        0 kB
Active(file):    1117212 kB
Inactive(file):  2137308 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18272 kB
Writeback:             0 kB
AnonPages:       1590020 kB
Mapped:            17592 kB
Shmem:               204 kB
Slab:             647064 kB
SReclaimable:      89760 kB
SUnreclaim:       557304 kB
KernelStack:        1456 kB
PageTables:         7216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1618492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 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= 71096 MiB
End job on node129 at 2012-05-26 16:19:33