Trace number 2665598

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT7677 28.9996 29.0107

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	7677

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15861
/proc/meminfo: memFree=1847232/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=8260 CPUtime=0
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 11913880 8458240 931 1992294400 4194304 9819077 140735968701872 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15861/statm: 2065 932 366 1374 0 686 0

[startup+0.10036 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15861
/proc/meminfo: memFree=1847232/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=19832 CPUtime=0.09
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 3891 0 0 0 8 1 0 0 20 0 1 0 11913880 20307968 3806 1992294400 4194304 9819077 140735968701872 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15861/statm: 4958 3806 388 1374 0 3579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19832

[startup+0.201381 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15861
/proc/meminfo: memFree=1847232/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=34508 CPUtime=0.19
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 7960 0 0 0 17 2 0 0 20 0 1 0 11913880 35336192 7521 1992294400 4194304 9819077 140735968701872 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 8627 7521 449 1374 0 7248 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34508

[startup+0.3014 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15861
/proc/meminfo: memFree=1847232/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=39636 CPUtime=0.29
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 9126 0 0 0 26 3 0 0 20 0 1 0 11913880 40587264 8430 1992294400 4194304 9819077 140735968701872 18446744073709551615 5957444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 9909 8430 480 1374 0 8530 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39636

[startup+0.701478 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15861
/proc/meminfo: memFree=1847232/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=52876 CPUtime=0.69
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 14443 0 0 0 64 5 0 0 21 0 1 0 11913880 54145024 11674 1992294400 4194304 9819077 140735968701872 18446744073709551615 4862077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 13219 11674 511 1374 0 11840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52876

[startup+1.50163 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15862
/proc/meminfo: memFree=1801220/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=53704 CPUtime=1.49
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 21125 0 0 0 141 8 0 0 23 0 1 0 11913880 54992896 11929 1992294400 4194304 9819077 140735968701872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 13426 11929 520 1374 0 12047 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53704

[startup+3.10095 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15862
/proc/meminfo: memFree=1800476/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=54484 CPUtime=3.09
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 32399 0 0 0 293 16 0 0 25 0 1 0 11913880 55791616 12152 1992294400 4194304 9819077 140735968701872 18446744073709551615 5489894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 13621 12152 525 1374 0 12242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54484

[startup+6.30157 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15862
/proc/meminfo: memFree=1796880/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=57496 CPUtime=6.29
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 49335 0 0 0 600 29 0 0 25 0 1 0 11913880 58875904 12897 1992294400 4194304 9819077 140735968701872 18446744073709551615 4450548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 14374 12897 525 1374 0 12995 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57496

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15862
/proc/meminfo: memFree=1793780/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=61240 CPUtime=12.69
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 83683 0 0 0 1217 52 0 0 25 0 1 0 11913880 62709760 13835 1992294400 4194304 9819077 140735968701872 18446744073709551615 5500400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 15310 13835 525 1374 0 13931 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61240

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15862
/proc/meminfo: memFree=1754596/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=103880 CPUtime=25.48
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 125333 0 0 0 2464 84 0 0 25 0 1 0 11913880 106373120 23693 1992294400 4194304 9819077 140735968701872 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 25970 23693 694 1374 0 24591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103880

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

[startup+25.6013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15862
/proc/meminfo: memFree=1754596/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=103880 CPUtime=25.58
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 125333 0 0 0 2474 84 0 0 25 0 1 0 11913880 106373120 23693 1992294400 4194304 9819077 140735968701872 18446744073709551615 5913422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 25970 23693 694 1374 0 24591 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 103880

[startup+27.2017 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 15862
/proc/meminfo: memFree=1754596/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=103880 CPUtime=27.18
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 125333 0 0 0 2634 84 0 0 25 0 1 0 11913880 106373120 23693 1992294400 4194304 9819077 140735968701872 18446744073709551615 5907542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 25970 23693 694 1374 0 24591 0
Current children cumulated CPU time (s) 27.18
Current children cumulated vsize (KiB) 103880

[startup+28.0008 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 15864
/proc/meminfo: memFree=1754596/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=73612 CPUtime=27.98
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 125769 0 0 0 2713 85 0 0 25 0 1 0 11913880 75378688 16430 1992294400 4194304 9819077 140735968701872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 18403 16430 701 1374 0 17024 0
Current children cumulated CPU time (s) 27.98
Current children cumulated vsize (KiB) 73612

[startup+28.801 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 15864
/proc/meminfo: memFree=1782992/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=73108 CPUtime=28.78
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 129969 0 0 0 2790 88 0 0 25 0 1 0 11913880 74862592 16353 1992294400 4194304 9819077 140735968701872 18446744073709551615 5123502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15861/statm: 18277 16353 707 1374 0 16898 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 73108

[startup+29.001 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 15864
/proc/meminfo: memFree=1782992/2059040 swapFree=4136164/4192956
[pid=15861] ppid=15859 vsize=31644 CPUtime=28.98
/proc/15861/stat : 15861 (pbscip.linux.x8) R 15859 15861 15674 0 -1 4202496 138495 0 0 0 2806 92 0 0 25 0 1 0 11913880 32403456 6932 1992294400 4194304 9819077 140735968701872 18446744073709551615 4700038 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15861/statm: 7911 6932 717 1374 0 6532 0
Current children cumulated CPU time (s) 28.98
Current children cumulated vsize (KiB) 31644

Child status: 0
Real time (s): 29.0107
CPU time (s): 28.9996
CPU user time (s): 28.0707
CPU system time (s): 0.928858
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 103880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.0707
system time used= 0.928858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138499
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= 8
involuntary context switches= 28

runsolver used 0.056991 second user time and 0.153976 second system time

The end

Launcher Data

Begin job on node011 at 2010-06-12 19:18:43
IDJOB=2665598
IDBENCH=1882
IDSOLVER=1168
FILE ID=node011/2665598-1276363123
PBS_JOBID= 11173213
Free space on /tmp= 62264 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665598-1276363123/watcher-2665598-1276363123 -o /tmp/evaluation-result-2665598-1276363123/solver-2665598-1276363123 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665598-1276363123.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=1042183035

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1847760 kB
Buffers:         37212 kB
Cached:         112548 kB
SwapCached:      11036 kB
Active:          93512 kB
Inactive:        69732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1847760 kB
SwapTotal:     4192956 kB
SwapFree:      4136164 kB
Dirty:            6596 kB
Writeback:           0 kB
AnonPages:       10756 kB
Mapped:           9228 kB
Slab:            26104 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180064 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62256 MiB
End job on node011 at 2010-06-12 19:19:12