Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 26 | 50.6023 | 50.6202 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb |
| MD5SUM | 8e8463c13e61e1a22058cdf603119640 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 8.60369 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | YES |
| Number of variables | 7926 |
| Total number of constraints | 23835 |
| Number of constraints which are clauses | 23835 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 3885 |
| 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 | 3885 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3885 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703372-1278563861.opb>
0.29/0.38 c original problem has 7926 variables (7926 bin, 0 int, 0 impl, 0 cont) and 23835 constraints
0.29/0.38 c problem read
0.29/0.38 c presolving settings loaded
0.49/0.52 c presolving:
0.70/0.70 c (round 1) 4432 del vars, 8238 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38340 impls, 0 clqs
0.70/0.72 c (round 2) 4434 del vars, 9581 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38340 impls, 0 clqs
0.79/0.83 c (round 3) 4434 del vars, 9585 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 14236 upgd conss, 38340 impls, 0 clqs
0.79/0.86 c (round 4) 4434 del vars, 9585 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 14250 upgd conss, 38340 impls, 0 clqs
1.29/1.35 c (1.0s) probing: 101/3492 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.35 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.29/1.35 c presolving (5 rounds):
1.29/1.35 c 4434 deleted vars, 9585 deleted constraints, 617 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.35 c 38340 implications, 0 cliques
1.29/1.35 c presolved problem has 3492 variables (3492 bin, 0 int, 0 impl, 0 cont) and 14250 constraints
1.29/1.35 c 14006 constraints of type <setppc>
1.29/1.35 c 244 constraints of type <logicor>
1.29/1.35 c transformed objective value is always integral (scale: 1)
1.29/1.35 c Presolving Time: 0.88
1.29/1.35 c - non default parameters ----------------------------------------------------------------------
1.29/1.35 c # SCIP version 1.2.1.3
1.29/1.35 c
1.29/1.35 c # frequency for displaying node information lines
1.29/1.35 c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.35 c display/freq = 10000
1.29/1.35 c
1.29/1.35 c # maximal time in seconds to run
1.29/1.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.35 c limits/time = 1789.63
1.29/1.35 c
1.29/1.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.35 c limits/memory = 1620
1.29/1.35 c
1.29/1.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.29/1.35 c # [type: int, range: [1,2], default: 1]
1.29/1.35 c timing/clocktype = 2
1.29/1.35 c
1.29/1.35 c # should presolving try to simplify inequalities
1.29/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.35 c constraints/linear/simplifyinequalities = TRUE
1.29/1.35 c
1.29/1.35 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.29/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.35 c constraints/indicator/addCouplingCons = TRUE
1.29/1.35 c
1.29/1.35 c # should presolving try to simplify knapsacks
1.29/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.35 c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.35 c
1.29/1.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.35 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.35 c separating/rapidlearning/freq = 0
1.29/1.35 c
1.29/1.35 c -----------------------------------------------------------------------------------------------
1.29/1.35 c start solving
1.29/1.36 c
1.79/1.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.82 c 1.4s| 1 | 0 | 907 | - | 33M| 0 | 195 |3492 | 14k|3492 | 14k| 0 | 0 | 0 | 2.404542e+01 | -- | Inf
1.79/1.84 o 57
1.79/1.84 c s 1.5s| 1 | 0 | 907 | - | 34M| 0 | 195 |3492 | 14k|3492 | 14k| 0 | 0 | 0 | 2.404542e+01 | 5.700000e+01 | 137.05%
3.69/3.72 c 3.3s| 1 | 0 | 990 | - | 34M| 0 | 150 |3492 | 14k|3492 | 14k| 5 | 0 | 0 | 2.421922e+01 | 5.700000e+01 | 135.35%
3.69/3.74 o 48
3.69/3.74 c R 3.4s| 1 | 0 | 990 | - | 34M| 0 | 150 |3492 | 14k|3492 | 14k| 5 | 0 | 0 | 2.421922e+01 | 4.800000e+01 | 98.19%
5.29/5.35 c 5.0s| 1 | 0 | 1146 | - | 35M| 0 | 174 |3492 | 14k|3492 | 14k| 8 | 0 | 0 | 2.435608e+01 | 4.800000e+01 | 97.08%
7.39/7.48 c 7.1s| 1 | 0 | 1268 | - | 36M| 0 | 145 |3492 | 14k|3492 | 14k| 11 | 0 | 0 | 2.446354e+01 | 4.800000e+01 | 96.21%
7.39/7.49 o 47
7.39/7.49 c R 7.1s| 1 | 0 | 1268 | - | 36M| 0 | 145 |3492 | 14k|3492 | 14k| 11 | 0 | 0 | 2.446354e+01 | 4.700000e+01 | 92.12%
7.49/7.51 o 45
7.49/7.51 c b 7.1s| 1 | 0 | 1268 | - | 36M| 0 | 145 |3492 | 14k|3492 | 14k| 11 | 0 | 0 | 2.446354e+01 | 4.500000e+01 | 83.95%
11.48/11.53 c 11.1s| 1 | 0 | 1344 | - | 36M| 0 | 150 |3492 | 14k|3492 | 14k| 14 | 0 | 0 | 2.449446e+01 | 4.500000e+01 | 83.71%
15.19/15.29 c 14.9s| 1 | 0 | 1470 | - | 37M| 0 | 142 |3492 | 14k|3492 | 14k| 16 | 0 | 0 | 2.454589e+01 | 4.500000e+01 | 83.33%
19.69/19.79 c 19.4s| 1 | 0 | 1504 | - | 37M| 0 | 163 |3492 | 14k|3492 | 14k| 18 | 0 | 0 | 2.455295e+01 | 4.500000e+01 | 83.28%
24.88/24.98 c 24.6s| 1 | 0 | 1618 | - | 37M| 0 | 109 |3492 | 14k|3492 | 14k| 19 | 0 | 0 | 2.461090e+01 | 4.500000e+01 | 82.85%
24.88/24.99 o 42
24.88/24.99 c R24.6s| 1 | 0 | 1618 | - | 37M| 0 | 109 |3492 | 14k|3492 | 14k| 19 | 0 | 0 | 2.461090e+01 | 4.200000e+01 | 70.66%
29.18/29.23 c 28.8s| 1 | 0 | 1651 | - | 37M| 0 | 127 |3492 | 14k|3492 | 14k| 20 | 0 | 0 | 2.461314e+01 | 4.200000e+01 | 70.64%
29.18/29.24 o 40
29.18/29.24 c b28.9s| 1 | 0 | 1651 | - | 37M| 0 | 127 |3492 | 14k|3492 | 14k| 20 | 0 | 0 | 2.461314e+01 | 4.000000e+01 | 62.51%
33.78/33.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.78/33.86 c 33.5s| 1 | 0 | 1656 | - | 37M| 0 | 129 |3492 | 14k|3492 | 14k| 21 | 0 | 0 | 2.461314e+01 | 4.000000e+01 | 62.51%
38.68/38.76 o 26
38.68/38.76 c E38.4s| 1 | 0 | 1656 | - | 37M| 0 | 129 |3492 | 14k|3492 | 14k| 21 | 0 | 0 | 2.461314e+01 | 2.600000e+01 | 5.63%
38.68/38.79 c 38.4s| 1 | 0 | 1656 | - | 37M| 0 | 129 |3492 | 14k|3492 | 14k| 21 | 0 | 0 | 2.461314e+01 | 2.600000e+01 | 5.63%
42.89/42.99 c 42.6s| 1 | 0 | 1656 | - | 30M| 0 | 129 |3492 |2053 |3492 |2115 | 21 | 0 | 0 | 2.461314e+01 | 2.600000e+01 | 5.63%
44.48/44.50 c 44.1s| 1 | 0 | 1656 | - | 30M| 0 | - |3492 |2053 |3492 |2115 | 21 | 0 | 15 | 2.461314e+01 | 2.600000e+01 | 5.63%
44.48/44.50 c (run 1, node 1) restarting after 2730 global fixings of integer variables
44.48/44.50 c
44.48/44.51 c (restart) converted 21 cuts from the global cut pool into linear constraints
44.48/44.51 c
44.48/44.54 c presolving:
44.48/44.55 c (round 1) 2738 del vars, 27 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21 upgd conss, 38340 impls, 12 clqs
44.58/44.63 c (round 2) 2738 del vars, 39 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21 upgd conss, 38340 impls, 12 clqs
44.58/44.68 c (round 3) 2738 del vars, 75 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21 upgd conss, 38340 impls, 12 clqs
44.58/44.68 c presolving (4 rounds):
44.58/44.68 c 2738 deleted vars, 75 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
44.58/44.68 c 38340 implications, 12 cliques
44.58/44.68 c presolved problem has 754 variables (754 bin, 0 int, 0 impl, 0 cont) and 1999 constraints
44.58/44.68 c 8 constraints of type <knapsack>
44.58/44.68 c 1894 constraints of type <setppc>
44.58/44.68 c 97 constraints of type <logicor>
44.58/44.68 c transformed objective value is always integral (scale: 1)
44.58/44.68 c Presolving Time: 1.05
44.58/44.69 c
44.87/44.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.87/44.91 c 44.5s| 1 | 0 | 2760 | - | 26M| 0 | 178 | 754 |1999 | 754 |1999 | 0 | 0 | 15 | 2.469056e+01 | 2.600000e+01 | 5.30%
49.57/49.64 c 49.3s| 1 | 0 | 2865 | - | 27M| 0 | 163 | 754 |2288 | 754 |1955 | 5 | 0 | 15 | 2.471888e+01 | 2.600000e+01 | 5.18%
50.28/50.39 c 50.0s| 1 | 0 | 3042 | - | 27M| 0 | 173 | 754 |1649 | 754 |1955 | 5 | 0 | 24 | 2.483493e+01 | 2.600000e+01 | 4.69%
50.48/50.53 c 50.1s| 1 | 0 | 3096 | - | 27M| 0 | - | 754 |1522 | 754 |1955 | 5 | 0 | 29 | 2.600000e+01 | 2.600000e+01 | 0.00%
50.48/50.53 c 50.1s| 1 | 0 | 3096 | - | 27M| 0 | - | 754 |1522 | 754 |1955 | 5 | 0 | 29 | 2.600000e+01 | 2.600000e+01 | 0.00%
50.48/50.53 c
50.48/50.53 c SCIP Status : problem is solved [optimal solution found]
50.48/50.53 c Solving Time (sec) : 50.15
50.48/50.53 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
50.48/50.53 c Primal Bound : +2.60000000000000e+01 (7 solutions)
50.48/50.53 c Dual Bound : +2.60000000000000e+01
50.48/50.53 c Gap : 0.00 %
50.48/50.55 s OPTIMUM FOUND
50.48/50.55 v x235 x234 x7923 -x7921 x233 -x7918 -x7916 -x232 -x7914 -x7912 -x7910 -x231 -x7908 -x7906 -x7904 -x7902 -x7899 -x230 -x7897 x229
50.48/50.55 v -x7894 -x7892 -x228 -x7890 -x7888 -x227 -x7886 -x7884 -x7882 -x7880 -x7878 -x7876 -x226 -x7873 -x7871 -x7869 -x225 -x7867 -x7865
50.48/50.55 v -x7863 -x7861 -x7859 -x7857 -x7855 -x224 -x7853 -x7851 -x7849 -x7847 -x7845 -x7842 -x223 -x7840 -x7838 -x7836 -x7834 -x7832
50.48/50.55 v -x7830 -x7828 -x7826 -x7824 -x7822 -x7820 -x7818 -x7816 -x222 -x7814 -x221 -x7811 -x7809 -x220 -x7807 -x7805 -x7803 -x219
50.48/50.55 v -x7801 -x7799 -x7797 -x7795 -x7792 -x7790 -x218 -x7788 -x7786 -x7784 -x217 -x7782 -x7780 -x7778 -x7776 -x7774 -x7772 -x7770
50.48/50.55 v -x216 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x7756 -x215 -x7754 -x7752 -x7750 -x7748 -x7746 -x7744 -x7742 -x7740 -x7738 -x7736
50.48/50.55 v -x7734 -x7732 -x7730 -x7728 -x7726 -x214 -x7724 -x7722 -x7720 -x213 -x7718 -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x212
50.48/50.55 v -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x7692 -x211 -x7690 -x7688 -x7686 -x7684 -x7682 -x7680 -x7678 -x7676 -x7674 -x7672
50.48/50.55 v -x7670 -x7668 -x7666 -x7664 -x7662 -x210 -x7660 -x7658 -x7656 -x7653 -x7651 -x7649 -x209 -x7647 -x7645 -x7643 -x7641 -x7639
50.48/50.55 v -x7637 -x7635 -x7633 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x208 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 -x7605
50.48/50.55 v -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x207 -x7587 -x7585 -x7583 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570
50.48/50.55 v -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 -x7554 -x7552 -x7550 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x7534
50.48/50.55 v -x206 -x7532 -x205 -x7529 -x7527 -x204 -x7525 -x7523 x7521 x203 -x7519 -x7516 -x7514 -x7512 -x7510 -x7508 -x202 -x7506 -x7504
50.48/50.55 v -x201 -x7502 -x7500 -x7498 -x7496 -x7494 -x7492 -x7490 -x200 -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x7476 -x199 -x7474
50.48/50.55 v -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454 -x7452 -x7450 -x7448 -x7446 -x198 -x7444 -x7442 -x7440
50.48/50.55 v -x197 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x196 -x7424 -x7422 -x7420 -x7418 -x7416 -x7414 -x195 -x7412 -x7410
50.48/50.55 v -x7408 -x7406 -x7404 -x7402 -x7400 -x194 -x7398 -x7396 -x7394 -x7392 -x7390 -x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376
50.48/50.55 v -x7374 -x7372 -x7370 -x193 -x7368 -x7366 -x7364 -x7362 -x7360 -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x7342
50.48/50.55 v -x192 -x7340 -x7338 -x7336 -x191 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x190 -x7320 -x7318 -x7316 -x7314 -x7312 -x7310
50.48/50.55 v -x7308 -x189 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x7284 -x7282 -x7280 -x7278 -x188
50.48/50.55 v -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x187 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x7250 -x7248 -x7246 -x7244
50.48/50.55 v -x7242 -x7240 -x7238 -x7236 -x7234 -x186 -x7232 -x7230 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 -x7216 -x7214 -x7212 -x7210
50.48/50.55 v -x7208 -x7206 -x7204 -x185 -x7202 -x7200 x7198 -x7196 -x7194 -x7191 -x7189 -x7187 -x7184 -x7182 -x7180 -x7178 -x7176 -x7174
50.48/50.55 v -x7172 -x7170 -x7168 -x7166 -x7164 -x7162 -x184 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 -x7145 -x7143 -x7141 -x7139
50.48/50.55 v -x7137 -x7135 -x7133 -x183 -x7131 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105
50.48/50.55 v -x182 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070
50.48/50.55 v -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x181 -x7040 -x7038 -x7036
50.48/50.55 v -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 -x7002 -x7000
50.48/50.55 v -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x180 -x6978 x179 -x6975 -x6973 -x178 -x6971 -x6969
50.48/50.55 v -x6967 -x177 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x176 -x6950 -x6948 -x175 -x6946 -x6944 -x6942 -x6940 -x6938
50.48/50.55 v -x6936 -x6934 -x174 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x173 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904
50.48/50.55 v -x6902 x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x172 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 -x6870
50.48/50.55 v -x171 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x170 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x169 -x6840
50.48/50.55 v -x6838 -x6836 -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x168 -x6810 -x6808 -x6806
50.48/50.55 v -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x167 -x6780 -x6778 -x6776 -x166 -x6774
50.48/50.55 v -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x165 -x6760 -x6758 -x6756 -x6754 x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740
50.48/50.55 v -x6738 -x6736 -x6734 -x164 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706
50.48/50.55 v -x6704 -x163 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x162 -x6673
50.48/50.55 v -x6671 -x6669 -x6667 -x6665 -x6663 -x6661 -x161 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x6639
50.48/50.55 v -x6637 -x6635 -x6633 -x6631 -x160 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605
50.48/50.55 v -x6603 -x6601 -x159 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x158 -x6570
50.48/50.55 v -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536
50.48/50.55 v -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x157 -x6508 -x6506 -x6504 -x6502
50.48/50.55 v -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466
50.48/50.55 v -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x156 -x6448 -x6446 -x6444 -x155 -x6442 -x6440 -x6438 -x6436 -x6434
50.48/50.55 v -x6432 -x6430 -x154 -x6428 -x6426 -x6424 x6422 -x6420 -x6418 -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398
50.48/50.55 v -x6396 -x6394 -x6392 -x6389 -x6387 -x153 -x6385 -x6383 -x6381 -x6379 -x6377 x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363
50.48/50.55 v -x6361 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 -x152 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328
50.48/50.55 v -x6325 -x6323 -x6320 -x6318 -x6316 -x151 -x6314 -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292
50.48/50.55 v -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x6274 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261 -x6259 -x6257 -x6255
50.48/50.55 v -x150 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x149 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223
50.48/50.55 v -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x148 -x6209 -x6207 -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188
50.48/50.55 v -x6186 -x6184 -x6182 -x147 -x6180 -x6178 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153
50.48/50.55 v -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117
50.48/50.55 v -x6115 -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x146 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082
50.48/50.55 v -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047
50.48/50.55 v -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x145 -x6031 -x6029 -x6027 -x6025 -x6022 -x6020 -x144 -x6018 -x6016 -x6014 -x6012
50.48/50.55 v -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x143 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977
50.48/50.55 v -x5974 -x5972 -x5970 -x5968 -x5966 -x5963 -x142 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5948 -x5946 -x5944 -x5942 -x5940
50.48/50.55 v -x5938 -x5936 -x5934 -x141 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906
50.48/50.55 v -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872
50.48/50.55 v -x140 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838
50.48/50.55 v -x5836 -x5834 -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x139 -x5808 -x5806 -x5804
50.48/50.55 v -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5783 -x5781 -x138 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769
50.48/50.55 v -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 -x5735 -x5733
50.48/50.55 v -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x137 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699
50.48/50.55 v -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663
50.48/50.55 v -x5661 -x5659 -x5657 -x136 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5634 -x5632 -x5630 -x5628
50.48/50.55 v -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x135 -x5594
50.48/50.55 v -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558
50.48/50.55 v -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522
50.48/50.55 v -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486
50.48/50.55 v -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x134 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452
50.48/50.55 v -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416
50.48/50.55 v -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382
50.48/50.55 v -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5349 -x5347 -x5345
50.48/50.55 v -x133 -x5343 -x132 -x5340 -x5338 -x131 -x5336 -x5334 -x5332 -x130 -x5330 -x5328 -x5326 -x5323 -x5321 -x5319 -x129 -x5317 -x5315
50.48/50.55 v -x5313 -x128 -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x127 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x126
50.48/50.55 v -x5283 -x5281 -x125 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x124 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253
50.48/50.55 v -x123 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5224 -x5222 -x5220 -x5218
50.48/50.56 v -x5216 -x5214 -x5212 -x5210 -x122 -x5208 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183
50.48/50.56 v -x5181 -x121 -x5179 -x5177 -x5175 -x120 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x119 -x5159 -x5157 -x5155 -x5153 -x5151
50.48/50.56 v -x5149 -x5147 -x118 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117
50.48/50.56 v -x117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x116 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085
50.48/50.56 v -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x115 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051
50.48/50.56 v -x5049 -x5047 -x5045 -x5043 -x114 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x113 -x5027 -x5025 -x5023 -x5021 -x5019
50.48/50.56 v -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x112 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985
50.48/50.56 v -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x111 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951
50.48/50.56 v -x4948 -x4946 -x4944 -x4942 -x4940 -x110 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916
50.48/50.56 v -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880
50.48/50.56 v -x4878 -x109 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846
50.48/50.56 v -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 x4820 -x4818 -x4816 -x4814 -x4812 -x4810
50.48/50.56 v -x108 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x107 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x106 -x4780
50.48/50.56 v -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x105 -x4750 -x4748 -x4746
50.48/50.56 v -x4744 -x4742 -x4740 -x4738 -x104 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711
50.48/50.56 v -x4709 -x103 -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x102
50.48/50.56 v -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x101 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645
50.48/50.56 v -x4643 -x4641 -x4639 -x4637 -x4635 -x100 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611
50.48/50.56 v -x4609 -x4607 -x4605 -x99 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576
50.48/50.56 v -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x98 -x4542 -x4540
50.48/50.56 v -x4538 -x4536 -x4534 -x4532 -x4530 -x97 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506
50.48/50.56 v -x4504 -x4502 -x4500 -x96 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472
50.48/50.56 v -x4470 -x95 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438
50.48/50.56 v -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x94 -x4406 -x4404
50.48/50.56 v -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x93 -x4376 -x4374 -x4372 -x4370
50.48/50.56 v -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334
50.48/50.56 v -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x92 -x4314 -x4312 -x4310 -x4308 -x4305 -x4303 -x4301 -x4299
50.48/50.56 v -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4264 -x4262
50.48/50.56 v -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 x4226
50.48/50.56 v -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190
50.48/50.56 v -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4171 -x4169 -x4167 -x4165 -x91 -x4163 -x4160 -x4158 -x4156 -x4154
50.48/50.56 v -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118
50.48/50.56 v -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082
50.48/50.56 v -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046
50.48/50.56 v -x4044 -x4042 -x4040 -x90 -x4038 -x4036 -x4034 -x89 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4020 -x88 -x4018 -x4016
50.48/50.56 v -x4014 -x4012 -x4010 -x4008 -x4006 -x87 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x86 -x3990 -x3988 -x3986 -x3983 -x3981
50.48/50.56 v -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x85 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947
50.48/50.56 v -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x84 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x83 -x3917 -x3915
50.48/50.56 v -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3890 -x82 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878
50.48/50.56 v -x3876 -x3874 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x81 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843
50.48/50.56 v -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807
50.48/50.56 v -x3805 -x3803 -x3801 -x3799 -x80 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x79 -x3783 -x3781 -x3779 -x3777 -x3775
50.48/50.56 v -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x78 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741
50.48/50.56 v -x3739 -x3737 -x3735 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704
50.48/50.56 v -x3702 -x3700 -x3698 -x3696 -x77 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670
50.48/50.56 v -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634
50.48/50.56 v -x76 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x75 -x3602
50.48/50.56 v -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565
50.48/50.56 v -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x74 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531
50.48/50.56 v -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495
50.48/50.56 v -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x73 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461
50.48/50.56 v -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425
50.48/50.56 v -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389
50.48/50.56 v -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x72
50.48/50.56 v -x3353 -x3350 -x3348 -x3346 -x3344 -x3342 -x71 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320
50.48/50.56 v -x3318 -x3316 -x3314 -x3312 -x70 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3291 -x3288 -x3286 -x3284 -x69
50.48/50.56 v -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x68 -x3253 -x3251 -x3249
50.48/50.56 v -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213
50.48/50.56 v -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x67 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179
50.48/50.56 v -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143
50.48/50.56 v -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x66 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109
50.48/50.56 v -x3107 -x3105 -x3103 -x3101 -x65 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075
50.48/50.56 v -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039
50.48/50.56 v -x64 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005
50.48/50.56 v -x3003 -x3001 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x63 -x2976 -x2974 -x2972 -x2970
50.48/50.56 v -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934
50.48/50.56 v -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898
50.48/50.56 v -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862
50.48/50.56 v -x2860 -x2858 -x2856 -x2854 -x2852 -x62 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828
50.48/50.56 v -x2826 -x2824 -x2822 -x61 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794
50.48/50.56 v -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x60
50.48/50.56 v -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724
50.48/50.56 v -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x59 -x2696 -x2694 -x2692 -x2690
50.48/50.56 v -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654
50.48/50.56 v -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618
50.48/50.56 v -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582
50.48/50.56 v -x2580 -x2578 -x2576 -x2574 -x2572 -x58 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548
50.48/50.56 v -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511
50.48/50.56 v -x57 -x2509 -x2507 -x2505 -x2503 -x2501 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476
50.48/50.56 v -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440
50.48/50.56 v -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404
50.48/50.56 v -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x56 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370
50.48/50.56 v -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2335 -x2333
50.48/50.56 v -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297
50.48/50.56 v -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263
50.48/50.56 v -x2261 -x55 -x2259 -x2257 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226
50.48/50.56 v -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192
50.48/50.56 v -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156
50.48/50.56 v -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120
50.48/50.56 v -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084
50.48/50.56 v -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048
50.48/50.56 v -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2015 -x2013 -x2011
50.48/50.56 v -x2009 -x2007 -x54 -x2004 x2002 -x2000 -x1998 -x1996 -x53 -x1994 -x1992 -x1989 -x1987 -x1985 -x1983 -x52 -x1980 -x1978 -x51
50.48/50.56 v -x1976 -x1973 -x1971 -x1969 -x1967 -x1965 -x50 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x49 -x1949 -x1947 -x1945
50.48/50.56 v -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x48 -x1919 -x1917 -x1915 -x47 -x1913 -x1911
50.48/50.56 v -x1909 -x46 -x1907 -x1905 -x1903 -x1901 -x1899 -x1896 -x45 -x1894 -x1892 -x1890 -x44 -x1888 -x1886 -x1884 -x1882 -x1880
50.48/50.56 v -x1877 -x43 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x42 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845
50.48/50.56 v -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x41 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x40 -x1819 -x1817 -x1815 -x1813
50.48/50.56 v -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x39 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779
50.48/50.56 v -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x38 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743
50.48/50.56 v -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709
50.48/50.56 v -x1707 -x1705 -x1703 -x1701 -x1699 -x37 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x36 -x1683 -x1681 -x1679 -x35 -x1677
50.48/50.56 v -x1675 -x1673 -x1670 -x1668 -x1666 -x34 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x33 -x1650 -x1648 -x1646 -x1644 -x1642
50.48/50.56 v -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x32 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608
50.48/50.56 v -x31 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x30 -x1576
50.48/50.56 v -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x29 -x1546 -x1544 -x1542
50.48/50.56 v -x1540 -x1538 -x1536 -x1534 -x1532 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505
50.48/50.56 v -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x28 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x27 -x1471
50.48/50.56 v -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x26 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437
50.48/50.56 v -x1435 -x1433 -x1431 x1429 -x1427 -x1425 x1423 -x1421 -x1419 -x1417 -x1415 x25 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403
50.48/50.56 v -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x24 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1368
50.48/50.56 v -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x23 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332
50.48/50.56 v -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298
50.48/50.56 v -x1296 -x1294 -x22 -x1292 -x1290 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x21 -x1263
50.48/50.56 v -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227
50.48/50.56 v -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x20 -x1201 -x1199 -x1197 -x1195 -x1193
50.48/50.56 v -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157
50.48/50.56 v -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x19 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123
50.48/50.56 v -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087
50.48/50.56 v -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051
50.48/50.56 v -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 x1021 -x1019 -x1017 -x1015
50.48/50.56 v -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x18 -x983 -x981 -x979
50.48/50.56 v -x17 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x16 -x963 -x961 -x959 -x957 x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939
50.48/50.56 v -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x15 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x14 -x906 -x904 -x902 -x900
50.48/50.56 v -x898 -x896 -x894 -x13 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x12 -x862
50.48/50.56 v -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x837 -x835 -x11 -x833 -x831 -x829 -x827 -x825 -x823 -x821
50.48/50.56 v -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779
50.48/50.56 v -x777 -x775 -x773 -x10 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x9 -x741
50.48/50.56 v -x739 -x736 -x734 -x732 -x730 -x8 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700
50.48/50.56 v -x7 -x698 -x696 -x694 -x692 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x672 -x6 -x670 -x668 -x666 -x664 -x662 -x660 -x658
50.48/50.56 v -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616
50.48/50.56 v -x614 -x612 -x610 -x5 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x4 -x578
50.48/50.56 v -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x3 -x548 -x546 -x544 -x542 -x540 -x538
50.48/50.56 v -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496
50.48/50.56 v -x494 -x492 -x490 -x488 -x2 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456
50.48/50.56 v -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x1 -x424 -x422 -x420 -x418 -x416
50.48/50.56 v -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374
50.48/50.56 v -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332
50.48/50.56 v -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290
50.48/50.56 v -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 x248
50.48/50.56 v -x246 -x244 -x242 -x240 -x238 -x236 x7926 x7925 x7924 -x7922 x7920 -x7919 -x7917 -x7915 -x7913 -x7911 -x7909 -x7907 -x7905
50.48/50.56 v -x7903 -x7901 -x7900 -x7898 x7896 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7879 -x7877 -x7875 -x7874 -x7872
50.48/50.56 v -x7870 -x7868 -x7866 -x7864 -x7862 -x7860 -x7858 -x7856 -x7854 -x7852 -x7850 -x7848 -x7846 -x7844 -x7843 -x7841 -x7839 -x7837
50.48/50.56 v -x7835 -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 -x7813 -x7812 -x7810 -x7808 -x7806 -x7804 -x7802
50.48/50.56 v -x7800 -x7798 -x7796 -x7794 -x7793 -x7791 -x7789 -x7787 -x7785 -x7783 -x7781 -x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767
50.48/50.56 v -x7765 -x7763 -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 -x7735 -x7733 -x7731
50.48/50.56 v -x7729 -x7727 -x7725 -x7723 -x7721 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695
50.48/50.56 v -x7693 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7673 -x7671 -x7669 -x7667 -x7665 -x7663 -x7661 -x7659
50.48/50.56 v -x7657 -x7655 -x7654 -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x7628 -x7626
50.48/50.56 v -x7624 -x7622 -x7620 -x7618 -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590
50.48/50.56 v -x7588 -x7586 -x7584 -x7582 -x7581 -x7579 -x7577 -x7575 -x7573 -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555
50.48/50.56 v -x7553 -x7551 -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 -x7533 -x7531 -x7530 -x7528 -x7526 -x7524 x7522 -x7520
50.48/50.56 v -x7518 -x7517 -x7515 -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485
50.48/50.56 v -x7483 -x7481 -x7479 -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449
50.48/50.56 v -x7447 -x7445 -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413
50.48/50.56 v -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 -x7381 -x7379 -x7377
50.48/50.56 v -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343
50.48/50.56 v -x7341 -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 -x7309 -x7307
50.48/50.56 v -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271
50.48/50.56 v -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235
50.48/50.56 v -x7233 -x7231 -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 x7199
50.48/50.56 v -x7197 -x7195 -x7193 -x7192 -x7190 -x7188 -x7186 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165
50.48/50.56 v -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130
50.48/50.56 v -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112 -x7110 -x7108 -x7106 -x7104 -x7103 -x7101 -x7099 -x7097 -x7095
50.48/50.56 v -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061
50.48/50.56 v -x7059 -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025
50.48/50.56 v -x7023 -x7021 -x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989
50.48/50.56 v -x6987 -x6985 -x6983 -x6981 -x6979 x6977 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954
50.48/50.56 v -x6952 -x6951 -x6949 -x6947 -x6945 -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919
50.48/50.56 v -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883
50.48/50.56 v -x6881 -x6879 -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847
50.48/50.56 v -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811
50.48/50.56 v -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775
50.48/50.56 v -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 x6753 -x6751 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739
50.48/50.56 v -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705
50.48/50.56 v -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670
50.48/50.56 v -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634
50.48/50.56 v -x6632 -x6630 -x6628 -x6626 -x6624 -x6622 -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6599
50.48/50.56 v -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563
50.48/50.56 v -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527
50.48/50.56 v -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491
50.48/50.56 v -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457
50.48/50.56 v -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 x6423 -x6421
50.48/50.56 v -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6390 -x6388 -x6386
50.48/50.56 v -x6384 -x6382 -x6380 -x6378 x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6359 -x6357 -x6355 -x6353 -x6351
50.48/50.56 v -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6326 -x6324 -x6322 -x6321 -x6319 -x6317
50.48/50.56 v -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281
50.48/50.56 v -x6279 -x6277 -x6275 -x6273 -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246
50.48/50.56 v -x6244 -x6242 -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210
50.48/50.56 v -x6208 -x6206 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 x6177 -x6176
50.48/50.56 v -x6174 -x6172 -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140
50.48/50.56 v -x6138 -x6136 -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x6113 -x6111 -x6109 -x6107
50.48/50.56 v -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071
50.48/50.56 v -x6069 -x6067 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036
50.48/50.56 v -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6010 -x6008 -x6006 -x6004 -x6002
50.48/50.56 v -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5975 -x5973 -x5971 -x5969 -x5967
50.48/50.56 v -x5965 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933
50.48/50.56 v -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897
50.48/50.56 v -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863
50.48/50.56 v -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 -x5827
50.48/50.56 v -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791
50.48/50.56 v -x5789 -x5787 -x5785 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756
50.48/50.56 v -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720
50.48/50.56 v -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684
50.48/50.56 v -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648
50.48/50.56 v -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615
50.48/50.56 v -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579
50.48/50.56 v -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543
50.48/50.56 v -x5541 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507
50.48/50.56 v -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471
50.48/50.56 v -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435
50.48/50.56 v -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399
50.48/50.56 v -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365
50.48/50.56 v -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5350 -x5348 -x5346 -x5344 -x5342 -x5341 -x5339 -x5337 -x5335 -x5333 -x5331
50.48/50.56 v -x5329 -x5327 -x5325 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296
50.48/50.56 v -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260
50.48/50.56 v -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5225
50.48/50.56 v -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190
50.48/50.56 v -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154
50.48/50.56 v -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118
50.48/50.56 v -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084
50.48/50.56 v -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048
50.48/50.56 v -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012
50.48/50.56 v -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976
50.48/50.56 v -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4949 -x4947 -x4945 -x4943 -x4941
50.48/50.56 v -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905
50.48/50.56 v -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869
50.48/50.56 v -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835
50.48/50.56 v -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799
50.48/50.56 v -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763
50.48/50.56 v -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727
50.48/50.56 v -x4725 -x4723 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692
50.48/50.56 v -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656
50.48/50.56 v -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620
50.48/50.56 v -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585
50.48/50.56 v -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551
50.48/50.56 v -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515
50.48/50.56 v -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479
50.48/50.56 v -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443
50.48/50.56 v -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407
50.48/50.56 v -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371
50.48/50.56 v -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335
50.48/50.56 v -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 x4307 -x4306 -x4304 -x4302 -x4300
50.48/50.56 v -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266
50.48/50.56 v -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231
50.48/50.56 v -x4229 x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195
50.48/50.56 v -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4161
50.48/50.56 v -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125
50.48/50.56 v -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089
50.48/50.56 v -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053
50.48/50.56 v -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017
50.48/50.56 v -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3984
50.48/50.56 v -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948
50.48/50.56 v -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912
50.48/50.56 v -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877
50.48/50.56 v -x3875 -x3873 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842
50.48/50.56 v -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806
50.48/50.56 v -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770
50.48/50.56 v -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736
50.48/50.56 v x3734 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701
50.48/50.56 v -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665
50.48/50.56 v -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629
50.48/50.56 v -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593
50.48/50.56 v -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558
50.48/50.56 v -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522
50.48/50.56 v -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486
50.48/50.56 v -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452
50.48/50.56 v -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416
50.48/50.56 v -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380
50.48/50.56 v -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3351 -x3349 -x3347 -x3345
50.48/50.56 v -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309
50.48/50.56 v -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3292 -x3290 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275
50.48/50.56 v -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240
50.48/50.56 v -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206
50.48/50.56 v -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170
50.48/50.56 v -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134
50.48/50.56 v -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098
50.48/50.56 v -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062
50.48/50.56 v -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026
50.48/50.56 v -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2999 -x2997 -x2995 -x2993 -x2991
50.48/50.56 v -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957
50.48/50.56 v -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921
50.48/50.56 v -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885
50.48/50.56 v -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849
50.48/50.56 v -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813
50.48/50.56 v -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777
50.48/50.56 v -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741
50.48/50.56 v -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707
50.48/50.56 v -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671
50.48/50.56 v -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635
50.48/50.56 v -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599
50.48/50.56 v -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563
50.48/50.56 v -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527
50.48/50.56 v -x2525 -x2523 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2499 -x2497 -x2495 -x2493
50.48/50.56 v -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459
50.48/50.56 v -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423
50.48/50.56 v -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387
50.48/50.56 v -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351
50.48/50.56 v -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316
50.48/50.56 v -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280
50.48/50.56 v -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 x2256 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245
50.48/50.56 v -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209
50.48/50.56 v -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175
50.48/50.56 v -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139
50.48/50.56 v -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103
50.48/50.56 v -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067
50.48/50.56 v -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031
50.48/50.56 v -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2005 x2003 -x2001 -x1999 -x1997
50.48/50.56 v -x1995 -x1993 -x1991 -x1990 -x1988 -x1986 -x1984 -x1982 -x1981 -x1979 -x1977 -x1975 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964
50.48/50.56 v -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928
50.48/50.56 v -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1897 -x1895
50.48/50.56 v -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860
50.48/50.56 v -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824
50.48/50.56 v -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788
50.48/50.56 v -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752
50.48/50.56 v -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716
50.48/50.56 v -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680
50.48/50.56 v -x1678 -x1676 -x1674 -x1672 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647
50.48/50.56 v -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611
50.48/50.56 v -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575
50.48/50.56 v -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539
50.48/50.56 v -x1537 -x1535 -x1533 -x1531 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504
50.48/50.56 v -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468
50.48/50.56 v -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432
50.48/50.56 v x1430 -x1428 -x1426 x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396
50.48/50.56 v -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1369 -x1367 -x1365 -x1363 -x1361
50.48/50.56 v -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327
50.48/50.56 v -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291
50.48/50.56 v -x1289 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256
50.48/50.56 v -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220
50.48/50.56 v -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184
50.48/50.56 v -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148
50.48/50.56 v -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112
50.48/50.56 v -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078
50.48/50.56 v -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042
50.48/50.56 v -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006
50.48/50.56 v -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964
50.48/50.56 v -x962 -x960 -x958 x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923
50.48/50.56 v -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883
50.48/50.56 v -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841
50.48/50.56 v -x839 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800
50.48/50.56 v -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758
50.48/50.56 v -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717
50.48/50.56 v -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676
50.48/50.56 v -x674 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637
50.48/50.56 v -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595
50.48/50.56 v -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553
50.48/50.56 v -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511
50.48/50.56 v -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469
50.48/50.56 v -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427
50.48/50.56 v -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387
50.48/50.56 v -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 x353 -x351 -x349 -x347 -x345
50.48/50.56 v -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303
50.48/50.56 v -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261
50.48/50.56 v -x259 -x257 -x255 -x253 -x251 x249 -x247 -x245 -x243 -x241 -x239 -x237
50.48/50.56 c SCIP Status : problem is solved [optimal solution found]
50.48/50.56 c Solving Time : 50.15
50.48/50.56 c Original Problem :
50.48/50.56 c Problem name : HOME/instance-2703372-1278563861.opb
50.48/50.56 c Variables : 7926 (7926 binary, 0 integer, 0 implicit integer, 0 continuous)
50.48/50.56 c Constraints : 23835 initial, 23835 maximal
50.48/50.56 c Presolved Problem :
50.48/50.56 c Problem name : t_HOME/instance-2703372-1278563861.opb
50.48/50.56 c Variables : 754 (754 binary, 0 integer, 0 implicit integer, 0 continuous)
50.48/50.56 c Constraints : 1999 initial, 2341 maximal
50.48/50.56 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
50.48/50.56 c trivial : 0.01 2730 0 0 0 0 0 0 0
50.48/50.56 c dualfix : 0.00 0 0 0 0 0 0 0 0
50.48/50.56 c boundshift : 0.00 0 0 0 0 0 0 0 0
50.48/50.56 c inttobinary : 0.00 0 0 0 0 0 0 0 0
50.48/50.56 c implics : 0.00 0 0 0 0 0 0 0 0
50.48/50.56 c probing : 0.47 0 0 0 0 0 0 0 0
50.48/50.56 c knapsack : 0.07 0 0 0 0 0 0 0 0
50.48/50.56 c setppc : 0.11 8 0 0 0 0 74 0 0
50.48/50.56 c linear : 0.27 617 3817 0 617 0 9585 0 0
50.48/50.56 c logicor : 0.01 0 0 0 0 0 1 0 0
50.48/50.56 c root node : - 2863 - - 2863 - - - -
50.48/50.56 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
50.48/50.56 c integral : 0 0 0 3 0 0 15 0 0 0
50.48/50.56 c knapsack : 8 2 7 0 0 0 0 0 0 0
50.48/50.56 c setppc : 1894 13 210 0 0 0 152 0 0 0
50.48/50.56 c linear : 0+ 1 2 0 0 0 0 0 0 0
50.48/50.56 c logicor : 97 13 130 0 0 0 148 0 0 0
50.48/50.56 c countsols : 0 0 0 0 0 0 0 0 0 0
50.48/50.56 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
50.48/50.56 c integral : 2.31 0.00 0.00 2.31 0.00
50.48/50.56 c knapsack : 0.29 0.28 0.00 0.00 0.00
50.48/50.56 c setppc : 0.41 0.03 0.37 0.00 0.00
50.48/50.56 c linear : 0.00 0.00 0.00 0.00 0.00
50.48/50.56 c logicor : 0.01 0.00 0.00 0.00 0.00
50.48/50.56 c countsols : 0.00 0.00 0.00 0.00 0.00
50.48/50.56 c Propagators : Time Calls Cutoffs DomReds
50.48/50.56 c vbounds : 0.00 3 0 0
50.48/50.56 c rootredcost : 0.00 0 0 0
50.48/50.56 c pseudoobj : 0.00 24 1 0
50.48/50.56 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
50.48/50.56 c propagation : 0.00 0 0 0 0.0 0 0.0 -
50.48/50.56 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
50.48/50.56 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
50.48/50.56 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
50.48/50.56 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
50.48/50.56 c applied globally : - - - 0 0.0 - - -
50.48/50.56 c applied locally : - - - 0 0.0 - - -
50.48/50.56 c Separators : Time Calls Cutoffs DomReds Cuts Conss
50.48/50.56 c cut pool : 0.00 0 - - 0 - (maximal pool size: 40)
50.48/50.56 c redcost : 0.02 12 0 2545 0 0
50.48/50.56 c impliedbounds : 0.01 12 0 0 0 0
50.48/50.56 c intobj : 0.00 0 0 0 0 0
50.48/50.56 c cgmip : 0.00 0 0 0 0 0
50.48/50.56 c gomory : 19.66 12 0 0 1612 0
50.48/50.56 c strongcg : 14.52 12 0 0 2917 0
50.48/50.56 c cmir : 2.40 11 0 0 0 0
50.48/50.56 c flowcover : 3.32 11 0 0 1 0
50.48/50.56 c clique : 0.02 12 0 0 30 0
50.48/50.56 c zerohalf : 0.00 0 0 0 0 0
50.48/50.56 c mcf : 0.03 2 0 0 0 0
50.48/50.56 c rapidlearning : 3.71 1 0 3 0 343
50.48/50.56 c Pricers : Time Calls Vars
50.48/50.56 c problem variables: 0.00 0 0
50.48/50.56 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
50.48/50.56 c relpscost : 2.31 3 0 15 0 0 0
50.48/50.56 c pscost : 0.00 0 0 0 0 0 0
50.48/50.56 c inference : 0.00 0 0 0 0 0 0
50.48/50.56 c mostinf : 0.00 0 0 0 0 0 0
50.48/50.56 c leastinf : 0.00 0 0 0 0 0 0
50.48/50.56 c fullstrong : 0.00 0 0 0 0 0 0
50.48/50.56 c allfullstrong : 0.00 0 0 0 0 0 0
50.48/50.56 c random : 0.00 0 0 0 0 0 0
50.48/50.56 c Primal Heuristics : Time Calls Found
50.48/50.56 c LP solutions : 0.00 - 0
50.48/50.56 c pseudo solutions : 0.00 - 0
50.48/50.56 c oneopt : 0.05 7 2
50.48/50.56 c trivial : 0.03 2 0
50.48/50.56 c simplerounding : 0.00 0 0
50.48/50.56 c zirounding : 0.00 1 0
50.48/50.56 c rounding : 0.06 13 3
50.48/50.56 c shifting : 0.06 13 1
50.48/50.56 c intshifting : 0.00 0 0
50.48/50.56 c twoopt : 0.00 0 0
50.48/50.56 c fixandinfer : 0.00 0 0
50.48/50.56 c feaspump : 0.00 0 0
50.48/50.56 c coefdiving : 0.00 0 0
50.48/50.56 c pscostdiving : 0.00 0 0
50.48/50.56 c fracdiving : 0.00 0 0
50.48/50.56 c veclendiving : 0.00 0 0
50.48/50.56 c intdiving : 0.00 0 0
50.48/50.56 c actconsdiving : 0.00 0 0
50.48/50.56 c objpscostdiving : 0.00 0 0
50.48/50.56 c rootsoldiving : 0.00 0 0
50.48/50.56 c linesearchdiving : 0.00 0 0
50.48/50.56 c guideddiving : 0.00 0 0
50.48/50.56 c octane : 0.00 0 0
50.48/50.56 c rens : 0.24 1 1
50.48/50.56 c rins : 0.00 0 0
50.48/50.56 c localbranching : 0.00 0 0
50.48/50.56 c mutation : 0.00 0 0
50.48/50.56 c crossover : 0.00 0 0
50.48/50.56 c dins : 0.00 0 0
50.48/50.56 c undercover : 0.00 0 0
50.48/50.56 c nlp : 0.00 0 0
50.48/50.56 c trysol : 0.00 0 0
50.48/50.56 c LP : Time Calls Iterations Iter/call Iter/sec
50.48/50.56 c primal LP : 0.00 0 0 0.00 -
50.48/50.56 c dual LP : 1.96 14 3096 221.14 1577.17
50.48/50.56 c lex dual LP : 0.00 0 0 0.00 -
50.48/50.56 c barrier LP : 0.00 0 0 0.00 -
50.48/50.56 c diving/probing LP: 0.00 0 0 0.00 -
50.48/50.56 c strong branching : 2.31 29 5927 204.38 2564.69
50.48/50.56 c (at root node) : - 29 5927 204.38 -
50.48/50.56 c conflict analysis: 0.00 0 0 0.00 -
50.48/50.56 c B&B Tree :
50.48/50.56 c number of runs : 2
50.48/50.56 c nodes : 1
50.48/50.56 c nodes (total) : 2
50.48/50.56 c nodes left : 0
50.48/50.56 c max depth : 0
50.48/50.56 c max depth (total): 0
50.48/50.56 c backtracks : 0 (0.0%)
50.48/50.56 c delayed cutoffs : 0
50.48/50.56 c repropagations : 0 (0 domain reductions, 0 cutoffs)
50.48/50.56 c avg switch length: 2.00
50.48/50.56 c switching time : 0.00
50.48/50.56 c Solution :
50.48/50.56 c Solutions found : 7 (7 improvements)
50.48/50.56 c First Solution : +5.70000000000001e+01 (in run 1, after 1 nodes, 1.44 seconds, depth 0, found by <shifting>)
50.48/50.56 c Primal Bound : +2.60000000000000e+01 (in run 1, after 1 nodes, 38.37 seconds, depth 0, found by <rens>)
50.48/50.56 c Dual Bound : +2.60000000000000e+01
50.48/50.56 c Gap : 0.00 %
50.48/50.56 c Root Dual Bound : +2.60000000000000e+01
50.48/50.56 c Root Iterations : 3096
50.58/50.61 c Time complete: 50.59.
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703372-1278563861/watcher-2703372-1278563861 -o /tmp/evaluation-result-2703372-1278563861/solver-2703372-1278563861 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703372-1278563861.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.02 1.01 3/106 31837 /proc/meminfo: memFree=1532888/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=7904 CPUtime=0 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 1021 0 0 0 0 0 0 0 20 0 1 0 24597394 8093696 932 1992294400 4194304 8395647 140736904989088 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31837/statm: 1976 940 365 1026 0 946 0 [startup+0.060275 s] /proc/loadavg: 1.08 1.02 1.01 3/106 31837 /proc/meminfo: memFree=1532888/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=15968 CPUtime=0.05 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 3316 0 0 0 5 0 0 0 20 0 1 0 24597394 16351232 3226 1992294400 4194304 8395647 140736904989088 18446744073709551615 4428799 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31837/statm: 3992 3226 393 1026 0 2962 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15968 [startup+0.101283 s] /proc/loadavg: 1.08 1.02 1.01 3/106 31837 /proc/meminfo: memFree=1532888/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=18884 CPUtime=0.09 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 4034 0 0 0 8 1 0 0 20 0 1 0 24597394 19337216 3944 1992294400 4194304 8395647 140736904989088 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31837/statm: 4721 3944 393 1026 0 3691 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18884 [startup+0.301323 s] /proc/loadavg: 1.08 1.02 1.01 3/106 31837 /proc/meminfo: memFree=1532888/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=25148 CPUtime=0.29 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 5582 0 0 0 28 1 0 0 20 0 1 0 24597394 25751552 5492 1992294400 4194304 8395647 140736904989088 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31837/statm: 6287 5492 393 1026 0 5257 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25148 [startup+0.701402 s] /proc/loadavg: 1.08 1.02 1.01 3/106 31837 /proc/meminfo: memFree=1532888/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=56084 CPUtime=0.7 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 13308 0 0 0 66 4 0 0 20 0 1 0 24597394 57430016 12864 1992294400 4194304 8395647 140736904989088 18446744073709551615 6345706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 14021 12864 475 1026 0 12991 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 56084 [startup+1.50156 s] /proc/loadavg: 1.08 1.02 1.01 2/107 31838 /proc/meminfo: memFree=1477948/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=77472 CPUtime=1.5 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 18287 0 0 0 144 6 0 0 22 0 1 0 24597394 79331328 17619 1992294400 4194304 8395647 140736904989088 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 19368 17619 580 1026 0 18338 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 77472 [startup+3.10188 s] /proc/loadavg: 1.07 1.02 1.00 2/107 31838 /proc/meminfo: memFree=1462200/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=84268 CPUtime=3.09 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 20508 0 0 0 303 6 0 0 25 0 1 0 24597394 86290432 19831 1992294400 4194304 8395647 140736904989088 18446744073709551615 5827855 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 21067 19831 592 1026 0 20037 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 84268 [startup+6.30152 s] /proc/loadavg: 1.07 1.02 1.00 2/107 31838 /proc/meminfo: memFree=1447940/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=92496 CPUtime=6.29 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 22330 0 0 0 621 8 0 0 25 0 1 0 24597394 94715904 21623 1992294400 4194304 8395647 140736904989088 18446744073709551615 5931086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 23124 21623 613 1026 0 22094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 92496 [startup+12.7008 s] /proc/loadavg: 1.06 1.02 1.00 2/107 31838 /proc/meminfo: memFree=1443724/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=96492 CPUtime=12.69 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 23368 0 0 0 1259 10 0 0 25 0 1 0 24597394 98807808 22661 1992294400 4194304 8395647 140736904989088 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 24123 22661 613 1026 0 23093 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 96492 [startup+25.5003 s] /proc/loadavg: 1.05 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1431696/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=107520 CPUtime=25.48 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 27807 0 0 0 2533 15 0 0 25 0 1 0 24597394 110100480 25694 1992294400 4194304 8395647 140736904989088 18446744073709551615 7385767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 26880 25694 639 1026 0 25850 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 107520 Solver just ended. Dumping a history of the last processes samples [startup+38.3009 s] /proc/loadavg: 1.04 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1429588/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=109748 CPUtime=38.28 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 28335 0 0 0 3808 20 0 0 25 0 1 0 24597394 112381952 26221 1992294400 4194304 8395647 140736904989088 18446744073709551615 5849675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 27437 26221 638 1026 0 26407 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 109748 [startup+44.7012 s] /proc/loadavg: 1.04 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1427108/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=111380 CPUtime=44.68 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 34158 0 0 0 4442 26 0 0 25 0 1 0 24597394 114053120 26710 1992294400 4194304 8395647 140736904989088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 27845 26710 634 1026 0 26815 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 111380 [startup+47.9008 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1425496/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=113592 CPUtime=47.87 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 34715 0 0 0 4756 31 0 0 25 0 1 0 24597394 116318208 27267 1992294400 4194304 8395647 140736904989088 18446744073709551615 4911117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 28398 27267 643 1026 0 27368 0 Current children cumulated CPU time (s) 47.87 Current children cumulated vsize (KiB) 113592 [startup+49.5091 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1425496/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=114716 CPUtime=49.48 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 34991 0 0 0 4915 33 0 0 25 0 1 0 24597394 117469184 27543 1992294400 4194304 8395647 140736904989088 18446744073709551615 4904184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 28679 27543 643 1026 0 27649 0 Current children cumulated CPU time (s) 49.48 Current children cumulated vsize (KiB) 114716 [startup+50.3003 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1425496/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=114716 CPUtime=50.28 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 34991 0 0 0 4994 34 0 0 25 0 1 0 24597394 117469184 27543 1992294400 4194304 8395647 140736904989088 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 28679 27543 643 1026 0 27649 0 Current children cumulated CPU time (s) 50.28 Current children cumulated vsize (KiB) 114716 [startup+50.5003 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1424380/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=114716 CPUtime=50.48 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 34991 0 0 0 5014 34 0 0 25 0 1 0 24597394 117469184 27543 1992294400 4194304 8395647 140736904989088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31837/statm: 28679 27543 643 1026 0 27649 0 Current children cumulated CPU time (s) 50.48 Current children cumulated vsize (KiB) 114716 [startup+50.6083 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31838 /proc/meminfo: memFree=1424380/2059040 swapFree=4162460/4192956 [pid=31837] ppid=31835 vsize=89224 CPUtime=50.58 /proc/31837/stat : 31837 (pbscip.linux.x8) R 31835 31837 31620 0 -1 4202496 34993 0 0 0 5024 34 0 0 25 0 1 0 24597394 91365376 21300 1992294400 4194304 8395647 140736904989088 18446744073709551615 6345768 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31837/statm: 22306 21300 645 1026 0 21276 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 89224 Child status: 0 Real time (s): 50.6202 CPU time (s): 50.6023 CPU user time (s): 50.2424 CPU system time (s): 0.359945 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 132768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 50.2424 system time used= 0.359945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34996 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= 1 involuntary context switches= 66 runsolver used 0.089986 second user time and 0.254961 second system time The end
Begin job on node033 at 2010-07-08 06:37:41 IDJOB=2703372 IDBENCH=24998 IDSOLVER=1213 FILE ID=node033/2703372-1278563861 PBS_JOBID= 11239578 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703372-1278563861/watcher-2703372-1278563861 -o /tmp/evaluation-result-2703372-1278563861/solver-2703372-1278563861 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703372-1278563861.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640 RANDOM SEED=213549356 node033.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1533292 kB Buffers: 83424 kB Cached: 318772 kB SwapCached: 1624 kB Active: 190168 kB Inactive: 245124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1533292 kB SwapTotal: 4192956 kB SwapFree: 4162460 kB Dirty: 11052 kB Writeback: 0 kB AnonPages: 31404 kB Mapped: 13196 kB Slab: 68492 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183196 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node033 at 2010-07-08 06:38:32