Trace number 2667028

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT7677 44.7082 44.7295

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

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-2667028-1276363147/watcher-2667028-1276363147 -o /tmp/evaluation-result-2667028-1276363147/solver-2667028-1276363147 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667028-1276363147.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 12632
/proc/meminfo: memFree=1866588/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=6696 CPUtime=0
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 984 0 0 0 0 0 0 0 18 0 1 0 11901119 6856704 904 1992294400 4194304 8223781 140736018779120 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12632/statm: 1674 904 343 984 0 687 0

[startup+0.0509151 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12632
/proc/meminfo: memFree=1866588/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=17324 CPUtime=0.04
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 3551 0 0 0 3 1 0 0 21 0 1 0 11901119 17739776 3468 1992294400 4194304 8223781 140736018779120 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12632/statm: 4331 3485 367 984 0 3344 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17324

[startup+0.10092 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12632
/proc/meminfo: memFree=1866588/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=18264 CPUtime=0.09
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 3869 0 0 0 8 1 0 0 21 0 1 0 11901119 18702336 3784 1992294400 4194304 8223781 140736018779120 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12632/statm: 4566 3784 365 984 0 3579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18264

[startup+0.300941 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12632
/proc/meminfo: memFree=1866588/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=39412 CPUtime=0.29
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 9086 0 0 0 26 3 0 0 21 0 1 0 11901119 40357888 8637 1992294400 4194304 8223781 140736018779120 18446744073709551615 5958458 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 9853 8637 434 984 0 8866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39412

[startup+0.70098 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12632
/proc/meminfo: memFree=1866588/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=51620 CPUtime=0.69
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 14401 0 0 0 64 5 0 0 22 0 1 0 11901119 52858880 11624 1992294400 4194304 8223781 140736018779120 18446744073709551615 4890934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 12905 11624 467 984 0 11918 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51620

[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12633
/proc/meminfo: memFree=1821196/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=53480 CPUtime=1.49
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 21314 0 0 0 140 9 0 0 25 0 1 0 11901119 54763520 12109 1992294400 4194304 8223781 140736018779120 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 13370 12120 474 984 0 12383 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53480

[startup+3.10022 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12633
/proc/meminfo: memFree=1820080/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=53312 CPUtime=3.09
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 32616 0 0 0 292 17 0 0 25 0 1 0 11901119 54591488 12102 1992294400 4194304 8223781 140736018779120 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 13328 12102 479 984 0 12341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53312

[startup+6.30054 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12633
/proc/meminfo: memFree=1816360/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=56244 CPUtime=6.29
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 50580 0 0 0 599 30 0 0 25 0 1 0 11901119 57593856 12847 1992294400 4194304 8223781 140736018779120 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 14061 12847 479 984 0 13074 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56244

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12633
/proc/meminfo: memFree=1813136/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=59992 CPUtime=12.69
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 84673 0 0 0 1217 52 0 0 25 0 1 0 11901119 61431808 13787 1992294400 4194304 8223781 140736018779120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 14998 13787 479 984 0 14011 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59992

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1773704/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=101060 CPUtime=25.49
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 125023 0 0 0 2467 82 0 0 25 0 1 0 11901119 103485440 23639 1992294400 4194304 8223781 140736018779120 18446744073709551615 5928826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 25265 23639 591 984 0 24278 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101060

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

[startup+38.3008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1773704/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=101060 CPUtime=38.28
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 125023 0 0 0 3742 86 0 0 25 0 1 0 11901119 103485440 23639 1992294400 4194304 8223781 140736018779120 18446744073709551615 5913485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 25265 23639 591 984 0 24278 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 101060

[startup+41.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1773704/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=101060 CPUtime=41.47
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 125023 0 0 0 4061 86 0 0 25 0 1 0 11901119 103485440 23639 1992294400 4194304 8223781 140736018779120 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 25265 23639 591 984 0 24278 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 101060

[startup+43.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1802472/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=71080 CPUtime=43.07
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 125369 0 0 0 4219 88 0 0 25 0 1 0 11901119 72785920 16537 1992294400 4194304 8223781 140736018779120 18446744073709551615 5692376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 17770 16537 595 984 0 16783 0
Current children cumulated CPU time (s) 43.07
Current children cumulated vsize (KiB) 71080

[startup+43.9013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1802472/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=71252 CPUtime=43.88
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 129293 0 0 0 4296 92 0 0 25 0 1 0 11901119 72962048 16428 1992294400 4194304 8223781 140736018779120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 17813 16428 597 984 0 16826 0
Current children cumulated CPU time (s) 43.88
Current children cumulated vsize (KiB) 71252

[startup+44.3014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1802472/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=71460 CPUtime=44.28
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 131963 0 0 0 4334 94 0 0 25 0 1 0 11901119 73175040 16528 1992294400 4194304 8223781 140736018779120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12632/statm: 17865 16528 600 984 0 16878 0
Current children cumulated CPU time (s) 44.28
Current children cumulated vsize (KiB) 71460

[startup+44.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1802472/2059040 swapFree=4134488/4192956
[pid=12632] ppid=12630 vsize=68640 CPUtime=44.67
/proc/12632/stat : 12632 (pbscip.linux.x8) R 12630 12632 12058 0 -1 4202496 138710 0 0 0 4369 98 0 0 25 0 1 0 11901119 70287360 15824 1992294400 4194304 8223781 140736018779120 18446744073709551615 6206553 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12632/statm: 17160 15824 602 984 0 16173 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 68640

Child status: 0
Real time (s): 44.7295
CPU time (s): 44.7082
CPU user time (s): 43.7154
CPU system time (s): 0.992849
CPU usage (%): 99.9524
Max. virtual memory (cumulated for all children) (KiB): 101060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.7154
system time used= 0.992849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138714
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= 158

runsolver used 0.080987 second user time and 0.229965 second system time

The end

Launcher Data

Begin job on node017 at 2010-06-12 19:19:07
IDJOB=2667028
IDBENCH=1882
IDSOLVER=1169
FILE ID=node017/2667028-1276363147
PBS_JOBID= 11173211
Free space on /tmp= 62368 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667028-1276363147/watcher-2667028-1276363147 -o /tmp/evaluation-result-2667028-1276363147/solver-2667028-1276363147 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667028-1276363147.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=1020073568

node017.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.201
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.40
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.201
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.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1867116 kB
Buffers:         19096 kB
Cached:         106944 kB
SwapCached:      11200 kB
Active:          88812 kB
Inactive:        50684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1867116 kB
SwapTotal:     4192956 kB
SwapFree:      4134488 kB
Dirty:            5008 kB
Writeback:           8 kB
AnonPages:       12172 kB
Mapped:           9180 kB
Slab:            30716 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184264 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= 62364 MiB
End job on node017 at 2010-06-12 19:19:52