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