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