Trace number 3735603

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT25 37.2593 37.2661

General information on the benchmark

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

Verifier Data

OK	25

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735603-1338710314/watcher-3735603-1338710314 -o /tmp/evaluation-result-3735603-1338710314/solver-3735603-1338710314 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735603-1338710314.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.00 2.00 3/174 26912
/proc/meminfo: memFree=23716120/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=8180 CPUtime=0 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 1337 0 0 0 0 0 0 0 20 0 1 0 337159982 8376320 1289 33554432000 4194304 7823515 140734523031136 140735886187432 4402248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 2045 1299 335 887 0 1155 0

[startup+0.0647069 s]
/proc/loadavg: 2.03 2.00 2.00 3/174 26912
/proc/meminfo: memFree=23716120/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=18804 CPUtime=0.06 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 4076 0 0 0 5 1 0 0 20 0 1 0 337159982 19255296 4028 33554432000 4194304 7823515 140734523031136 140735886187432 6908062 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 4701 4029 354 887 0 3811 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18804

[startup+0.100359 s]
/proc/loadavg: 2.03 2.00 2.00 3/174 26912
/proc/meminfo: memFree=23716120/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=21052 CPUtime=0.09 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 4623 0 0 0 8 1 0 0 20 0 1 0 337159982 21557248 4575 33554432000 4194304 7823515 140734523031136 140735886187432 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 5263 4575 354 887 0 4373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21052

[startup+0.300286 s]
/proc/loadavg: 2.03 2.00 2.00 3/174 26912
/proc/meminfo: memFree=23716120/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=56024 CPUtime=0.29 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 13449 0 0 0 27 2 0 0 20 0 1 0 337159982 57368576 13047 33554432000 4194304 7823515 140734523031136 140735886187432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 14006 13047 432 887 0 13116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56024

[startup+0.70028 s]
/proc/loadavg: 2.03 2.00 2.00 3/174 26912
/proc/meminfo: memFree=23716120/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=87888 CPUtime=0.68 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 21150 0 0 0 65 3 0 0 20 0 1 0 337159982 89997312 20419 33554432000 4194304 7823515 140734523031136 140735886187432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 21972 20419 517 887 0 21082 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87888

[startup+1.50027 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 26913
/proc/meminfo: memFree=23629212/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=102308 CPUtime=1.48 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 25307 0 0 0 144 4 0 0 20 0 1 0 337159982 104763392 24489 33554432000 4194304 7823515 140734523031136 140734523026360 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 25577 24489 558 887 0 24687 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102308

[startup+3.10023 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 26913
/proc/meminfo: memFree=23612960/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=110948 CPUtime=3.09 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 27008 0 0 0 304 5 0 0 20 0 1 0 337159982 113610752 26190 33554432000 4194304 7823515 140734523031136 140734523026232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 27737 26190 558 887 0 26847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110948

[startup+6.30026 s]
/proc/loadavg: 2.03 2.00 2.00 3/174 26913
/proc/meminfo: memFree=23611852/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=110948 CPUtime=6.29 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 27219 0 0 0 623 6 0 0 20 0 1 0 337159982 113610752 26401 33554432000 4194304 7823515 140734523031136 140734523026328 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 27737 26401 558 887 0 26847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110948

[startup+12.7002 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23607760/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=115000 CPUtime=12.69 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 28047 0 0 0 1260 9 0 0 20 0 1 0 337159982 117760000 27229 33554432000 4194304 7823515 140734523031136 140734523026280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 28750 27229 558 887 0 27860 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115000

[startup+25.5002 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23609124/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=116220 CPUtime=25.48 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 28382 0 0 0 2535 13 0 0 20 0 1 0 337159982 119009280 27564 33554432000 4194304 7823515 140734523031136 140734523026328 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 29055 27564 558 887 0 28165 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116220

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

[startup+31.9061 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23601064/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=147272 CPUtime=31.89 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 36328 0 0 0 3171 18 0 0 20 0 1 0 337159982 150806528 35506 33554432000 4194304 7823515 140734523031136 140734523026664 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 36818 35506 565 887 0 35928 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 147272

[startup+35.1002 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23572916/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=147836 CPUtime=35.09 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 36436 0 0 0 3490 19 0 0 20 0 1 0 337159982 151384064 35614 33554432000 4194304 7823515 140734523031136 140734523026296 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 36959 35614 571 887 0 36069 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 147836

[startup+35.9002 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23572916/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=147836 CPUtime=35.88 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 36683 0 0 0 3569 19 0 0 20 0 1 0 337159982 151384064 35682 33554432000 4194304 7823515 140734523031136 140734523026280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 36959 35682 577 887 0 36069 0
Current children cumulated CPU time (s) 35.88
Current children cumulated vsize (KiB) 147836

[startup+36.7002 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23572668/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=147836 CPUtime=36.68 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 36683 0 0 0 3649 19 0 0 20 0 1 0 337159982 151384064 35682 33554432000 4194304 7823515 140734523031136 140734523026280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 36959 35682 577 887 0 36069 0
Current children cumulated CPU time (s) 36.68
Current children cumulated vsize (KiB) 147836

[startup+37.1002 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23572668/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=147836 CPUtime=37.09 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 36683 0 0 0 3689 20 0 0 20 0 1 0 337159982 151384064 35682 33554432000 4194304 7823515 140734523031136 140734523026184 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 36959 35682 577 887 0 36069 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 147836

[startup+37.2002 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26914
/proc/meminfo: memFree=23572668/32873844 swapFree=7112/7112
[pid=26912] ppid=26910 vsize=147836 CPUtime=37.19 cores=0,2,4,6
/proc/26912/stat : 26912 (pbscip.linux.x8) R 26910 26912 13043 0 -1 4202496 36683 0 0 0 3699 20 0 0 20 0 1 0 337159982 151384064 35682 33554432000 4194304 7823515 140734523031136 140734523026184 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26912/statm: 36959 35682 577 887 0 36069 0
Current children cumulated CPU time (s) 37.19
Current children cumulated vsize (KiB) 147836

Child status: 0
Real time (s): 37.2661
CPU time (s): 37.2593
CPU user time (s): 37.0484
CPU system time (s): 0.210967
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 147836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.0484
system time used= 0.210967
maximum resident set size= 142736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36688
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= 4
involuntary context switches= 54

runsolver used 0.06099 second user time and 0.153976 second system time

The end

Launcher Data

Begin job on node104 at 2012-06-03 09:58:34
IDJOB=3735603
IDBENCH=24978
IDSOLVER=2321
FILE ID=node104/3735603-1338710314
RUNJOBID= node104-1338679216-21695
PBS_JOBID= 14636709
Free space on /tmp= 66424 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735603-1338710314/watcher-3735603-1338710314 -o /tmp/evaluation-result-3735603-1338710314/solver-3735603-1338710314 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735603-1338710314.opb

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=868293774

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23716764 kB
Buffers:          555964 kB
Cached:          7436644 kB
SwapCached:          708 kB
Active:          4937668 kB
Inactive:        3215216 kB
Active(anon):     151668 kB
Inactive(anon):     8092 kB
Active(file):    4786000 kB
Inactive(file):  3207124 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:             10720 kB
Writeback:             0 kB
AnonPages:        164068 kB
Mapped:            16860 kB
Shmem:                 8 kB
Slab:             865376 kB
SReclaimable:     307568 kB
SUnreclaim:       557808 kB
KernelStack:        1440 kB
PageTables:         4156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     265272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66412 MiB
End job on node104 at 2012-06-03 09:59:12