Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 185.685 | 185.681 |
Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo |
MD5SUM | 65e5bfc23cfeb9f0d41691b20b2e7f01 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 2.76158 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4622 |
Total number of constraints | 12569 |
Number of soft constraints | 12569 |
Number of constraints which are clauses | 11753 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 816 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 636317 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 636316 |
Biggest number in a constraint | 36 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 130 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.08 c constraints 0/816 clauses 0/11753 units 0 0.00/0.08 c vars 4622 2.69/2.77 c 1.59476 121.051 424 980762 2.69/2.77 o 13382 2.89/2.97 c 1.64475 122.543 489 1101283 2.89/2.97 o 12192 3.09/3.16 c 1.69874 122.543 572 1212983 3.09/3.16 o 11914 3.20/3.29 c 1.74673 122.543 619 1260812 3.20/3.29 o 11906 3.30/3.37 c 1.77373 122.543 659 1306562 3.30/3.37 o 10057 3.39/3.43 c 1.79573 122.672 689 1333950 3.39/3.43 o 10056 3.59/3.62 c 1.87071 122.672 815 1363852 3.59/3.62 o 10037 3.59/3.69 c 1.89671 122.672 831 1403527 3.59/3.69 o 9956 3.69/3.75 c 1.91771 122.672 858 1428042 3.69/3.75 o 8314 3.89/3.99 c 2.01969 122.801 987 1475191 3.89/3.99 o 8103 3.99/4.07 c 2.04769 122.801 1008 1516616 3.99/4.07 o 7724 4.19/4.27 c 2.15267 122.801 1103 1527867 4.19/4.27 o 7723 4.29/4.35 c 2.18367 122.801 1118 1564649 4.29/4.35 o 7281 4.40/4.42 c 2.22066 122.801 1150 1587359 4.40/4.42 o 7280 4.40/4.47 c 2.24766 122.801 1179 1612416 4.40/4.47 o 6465 4.49/4.53 c 2.27065 122.801 1185 1637954 4.49/4.53 o 6178 5.29/5.30 c 2.6066 122.93 1496 1671366 5.29/5.30 o 6171 5.40/5.41 c 2.65959 123.059 1544 1683983 5.40/5.41 o 6168 5.40/5.48 c 2.68659 123.059 1560 1718705 5.40/5.48 o 5932 5.50/5.57 c 2.72259 123.059 1582 1752430 5.50/5.57 o 5915 5.59/5.65 c 2.75858 123.059 1601 1793541 5.59/5.65 o 5412 5.69/5.72 c 2.78158 123.059 1619 1819591 5.69/5.72 o 5363 5.69/5.79 c 2.80657 123.059 1630 1851843 5.69/5.79 o 5351 6.09/6.13 c 2.93855 123.059 1737 1895514 6.09/6.13 o 4414 6.60/6.67 c 3.15552 123.059 1908 1960259 6.60/6.67 o 3979 7.49/7.53 c 3.47547 123.188 2131 2036538 7.49/7.53 o 3978 7.69/7.71 c 3.54446 123.188 2178 2086365 7.69/7.71 o 3390 8.40/8.44 c 3.79942 123.316 2308 2148872 8.40/8.44 o 3382 8.40/8.48 c 3.82142 123.316 2312 2161277 8.40/8.48 o 3344 8.49/8.56 c 3.86741 123.316 2327 2176650 8.49/8.56 o 3342 8.59/8.61 c 3.89241 123.316 2336 2184715 8.59/8.61 o 3337 11.00/11.07 c 4.82427 123.445 2896 2276324 11.00/11.07 o 3336 11.79/11.86 c 5.10122 123.445 3079 2292148 11.79/11.86 o 3335 11.89/11.94 c 5.13622 123.445 3086 2311325 11.89/11.94 o 3329 12.00/12.05 c 5.18321 123.445 3103 2359619 12.00/12.05 o 3216 12.09/12.16 c 5.2282 123.445 3116 2398494 12.09/12.16 o 3183 12.19/12.29 c 5.2832 123.445 3137 2445850 12.19/12.29 o 3122 12.29/12.33 c 5.30119 123.574 3143 2454284 12.29/12.33 o 3119 12.29/12.38 c 5.32719 123.574 3149 2463623 12.29/12.38 o 3118 12.39/12.48 c 5.37118 123.574 3166 2476961 12.39/12.48 o 3113 13.10/13.12 c 5.60415 123.574 3269 2497444 13.10/13.12 o 3108 13.10/13.18 c 5.64114 123.574 3281 2520895 13.10/13.18 o 3103 13.20/13.23 c 5.66614 123.574 3291 2530499 13.20/13.23 o 3095 13.20/13.29 c 5.70313 123.574 3297 2553132 13.20/13.29 o 2598 13.39/13.45 c 5.77312 123.574 3335 2558045 13.39/13.45 o 2594 13.49/13.59 c 5.82411 123.574 3356 2576751 13.49/13.59 o 2592 13.89/13.96 c 5.96509 123.574 3446 2582151 13.89/13.96 o 2591 13.99/14.02 c 5.99709 123.574 3453 2604666 13.99/14.02 o 2588 14.09/14.10 c 6.03808 123.574 3462 2630627 14.09/14.10 o 2586 14.09/14.18 c 6.07108 123.574 3473 2652773 14.09/14.18 o 2381 14.20/14.23 c 6.09507 123.574 3478 2672267 14.20/14.23 o 2365 14.20/14.30 c 6.12807 123.574 3486 2696674 14.20/14.30 o 2362 14.39/14.45 c 6.18906 123.574 3523 2705502 14.39/14.45 o 2358 16.99/17.09 c 7.02193 123.703 4041 2742862 16.99/17.09 o 2357 17.50/17.54 c 7.19691 123.703 4108 2757081 17.50/17.54 o 2353 17.60/17.64 c 7.2499 123.703 4124 2765674 17.60/17.64 o 2347 18.09/18.11 c 7.45687 123.703 4188 2768205 18.09/18.11 o 2346 19.49/19.59 c 7.9138 123.832 4496 2788996 19.49/19.59 o 2108 19.59/19.68 c 7.95379 123.832 4507 2798661 19.59/19.68 o 2100 19.70/19.75 c 7.99378 123.832 4520 2808376 19.70/19.75 o 2093 19.89/19.96 c 8.06977 123.832 4559 2812407 19.89/19.96 o 2092 21.20/21.28 c 8.50371 123.961 4824 2826397 21.20/21.28 o 2091 21.59/21.60 c 8.62469 123.961 4887 2831425 21.59/21.60 o 2090 21.70/21.73 c 8.68368 123.961 4908 2842776 21.70/21.73 o 2087 21.70/21.79 c 8.71167 123.961 4915 2855230 21.70/21.79 o 2075 21.90/21.97 c 8.78166 123.961 4938 2858923 21.90/21.97 o 2074 21.99/22.09 c 8.84066 123.961 4966 2870571 21.99/22.09 o 2070 22.19/22.22 c 8.88965 123.961 4984 2879295 22.19/22.22 o 2069 23.80/23.87 c 9.45656 123.961 5257 2897243 23.80/23.87 o 2068 23.99/24.01 c 9.52055 123.961 5274 2912787 23.99/24.01 o 2062 23.99/24.05 c 9.54455 123.961 5281 2919879 23.99/24.05 o 2051 24.10/24.13 c 9.57654 123.961 5294 2926820 24.10/24.13 o 2041 24.10/24.19 c 9.60754 123.961 5304 2945675 24.10/24.19 o 2022 24.19/24.26 c 9.64253 123.961 5313 2963690 24.19/24.26 o 2014 24.29/24.32 c 9.67753 123.961 5323 2967718 24.29/24.32 o 2011 24.59/24.60 c 9.78751 123.961 5360 2970994 24.59/24.60 o 2007 24.59/24.67 c 9.81851 123.961 5369 2978264 24.59/24.67 o 2005 24.69/24.78 c 9.8695 123.961 5393 2995661 24.69/24.78 o 1993 25.40/25.41 c 10.0705 124.09 5484 3000183 25.40/25.41 o 1990 26.19/26.22 c 10.3734 124.09 5633 3009790 26.19/26.22 o 1989 31.10/31.17 c 12.2721 124.348 6551 3043271 31.10/31.17 o 1981 31.20/31.28 c 12.3251 124.348 6571 3064825 31.20/31.28 o 1961 31.29/31.33 c 12.3551 124.348 6576 3077429 31.29/31.33 o 1937 31.29/31.39 c 12.3821 124.348 6582 3087070 31.29/31.39 o 1936 31.99/32.10 c 12.6761 124.348 6705 3107072 31.99/32.10 o 1935 33.09/33.14 c 13.022 124.348 6859 3113668 33.09/33.14 o 1934 33.59/33.66 c 13.182 124.348 6968 3122532 33.59/33.66 o 1930 33.79/33.89 c 13.29 124.348 7050 3130192 33.79/33.89 o 1929 41.70/41.77 c 15.8216 124.734 8394 3143820 41.70/41.77 o 1928 72.70/72.71 c 26.126 126.023 13905 3191287 72.70/72.71 o 1926 73.20/73.25 c 26.33 126.023 7036 3196943 73.20/73.25 o 1925 73.49/73.54 c 26.433 126.023 7106 3234915 73.49/73.54 o 1924 73.60/73.69 c 26.496 126.023 7134 3243253 73.60/73.69 o 1922 73.89/73.94 c 26.6 126.023 7182 3269944 73.89/73.94 o 1918 74.20/74.29 c 26.7209 126.023 7249 3290494 74.20/74.29 o 1917 74.39/74.41 c 26.7629 126.023 7266 3305249 74.39/74.41 o 1916 74.90/74.90 c 26.9479 126.023 7378 3313528 74.90/74.90 o 1915 75.00/75.05 c 27.0069 126.023 7408 3320638 75.00/75.05 o 1913 75.10/75.14 c 27.0539 126.023 7426 3347228 75.10/75.14 o 1902 75.19/75.25 c 27.0999 126.023 7446 3361268 75.19/75.25 o 1900 75.29/75.38 c 27.1529 126.023 7472 3372179 75.29/75.38 o 1897 76.89/76.91 c 27.7198 126.023 7705 3380420 76.89/76.91 o 1896 77.09/77.18 c 27.8188 126.023 7742 3382207 77.09/77.18 o 1895 77.20/77.29 c 27.8688 126.023 7764 3392477 77.20/77.29 o 1893 77.30/77.39 c 27.9118 126.023 7779 3404473 77.30/77.39 o 1890 77.39/77.46 c 27.9488 126.023 7793 3416148 77.39/77.46 o 1888 77.59/77.60 c 27.9997 126.023 7814 3423668 77.59/77.60 o 1887 77.59/77.69 c 28.0407 126.023 7827 3439569 77.59/77.69 o 1886 78.29/78.33 c 28.2747 126.023 7947 3452363 78.29/78.33 o 1884 78.29/78.37 c 28.2917 126.023 7948 3457966 78.29/78.37 o 1881 78.69/78.70 c 28.3967 126.023 8057 3479938 78.69/78.70 o 1880 78.79/78.88 c 28.4627 126.023 8086 3518606 78.79/78.88 o 1874 78.90/78.93 c 28.4887 126.023 8095 3527646 78.90/78.93 o 1871 78.99/79.00 c 28.5237 126.023 8103 3557974 78.99/79.00 o 1350 78.99/79.09 c 28.5747 126.023 8118 3578051 78.99/79.09 o 1349 79.09/79.15 c 28.6017 126.023 8120 3581718 79.09/79.15 o 1348 79.89/79.95 c 28.8636 126.023 8242 3589141 79.89/79.95 o 1343 79.99/80.00 c 28.8936 126.023 8250 3595744 79.99/80.00 o 1342 79.99/80.06 c 28.9216 126.023 8254 3618850 79.99/80.06 o 1291 80.10/80.12 c 28.9566 126.023 8258 3630839 80.10/80.12 o 1289 80.10/80.18 c 28.9856 126.023 8268 3635831 80.10/80.18 o 1286 80.30/80.31 c 29.0476 126.023 8292 3642924 80.30/80.31 o 1285 80.90/80.97 c 29.2616 126.023 8404 3649756 80.90/80.97 o 1281 81.30/81.32 c 29.3875 126.023 8467 3656093 81.30/81.32 o 1280 83.20/83.27 c 30.0384 126.023 8783 3665666 83.20/83.27 o 1278 83.29/83.35 c 30.0874 126.023 8804 3678000 83.29/83.35 o 1273 83.40/83.50 c 30.1414 126.023 8830 3682808 83.40/83.50 o 1272 83.70/83.71 c 30.2224 126.023 8866 3685693 83.70/83.71 o 1268 83.70/83.77 c 30.2534 126.023 8872 3694663 83.70/83.77 o 1265 83.79/83.84 c 30.2844 126.023 8880 3703360 83.79/83.84 o 1261 83.79/83.89 c 30.3064 126.023 8882 3718578 83.79/83.89 o 1242 83.89/83.94 c 30.3344 126.023 8885 3723771 83.89/83.94 o 1237 83.99/84.02 c 30.3694 126.023 8891 3727147 83.99/84.02 o 1233 84.20/84.23 c 30.4534 126.023 8916 3732661 84.20/84.23 o 1231 84.79/84.86 c 30.6693 126.023 8993 3735472 84.79/84.86 o 1229 84.89/84.94 c 30.7163 126.023 9005 3740310 84.89/84.94 o 1223 86.80/86.86 c 31.3312 126.023 9328 3748994 86.80/86.86 o 1222 86.90/86.95 c 31.3712 126.023 9337 3750314 86.90/86.95 o 1221 87.00/87.03 c 31.4062 126.023 9352 3756989 87.00/87.03 o 1216 87.09/87.19 c 31.4642 126.023 9370 3758859 87.09/87.19 o 1215 87.79/87.84 c 31.7262 126.023 9490 3763349 87.79/87.84 o 1214 87.90/88.00 c 31.7862 126.023 9513 3769095 87.90/88.00 o 1211 88.00/88.05 c 31.8162 126.023 9522 3773332 88.00/88.05 o 1203 88.09/88.13 c 31.8472 126.023 9531 3808230 88.09/88.13 o 1114 88.09/88.17 c 31.8732 126.023 9537 3811767 88.09/88.17 o 1101 88.30/88.30 c 31.9271 126.023 9561 3817891 88.30/88.30 o 1099 88.39/88.41 c 31.9791 126.023 9576 3819919 88.39/88.41 o 1098 88.50/88.59 c 32.0521 126.023 9599 3824121 88.50/88.59 o 1096 88.59/88.63 c 32.0781 126.023 9612 3825748 88.59/88.63 o 1094 88.69/88.76 c 32.1371 126.023 9627 3830469 88.69/88.76 o 1084 88.79/88.86 c 32.1871 126.023 9645 3832309 88.79/88.86 o 1080 89.50/89.51 c 32.3991 126.023 9749 3836674 89.50/89.51 o 1076 89.60/89.60 c 32.4441 126.023 9760 3847595 89.60/89.60 o 1075 89.60/89.66 c 32.4791 126.023 9764 3854494 89.60/89.66 o 1073 89.89/89.90 c 32.563 126.023 9792 3860212 89.89/89.90 o 1072 90.40/90.41 c 32.761 126.023 9856 3864919 90.40/90.41 o 1071 90.40/90.46 c 32.797 126.023 9880 3867160 90.40/90.46 o 1069 90.99/91.03 c 33.013 126.023 9978 3868850 90.99/91.03 o 1068 91.79/91.82 c 33.2679 126.023 10093 3874278 91.79/91.82 o 1067 91.89/91.92 c 33.3119 126.023 10109 3879684 91.89/91.92 o 1066 91.89/91.96 c 33.3349 126.023 10110 3881563 91.89/91.96 o 1065 92.00/92.03 c 33.3729 126.023 10116 3882525 92.00/92.03 o 1063 92.09/92.13 c 33.4189 126.023 10128 3884862 92.09/92.13 o 1061 92.19/92.24 c 33.4709 126.023 5080 3886200 92.19/92.24 o 1059 92.30/92.36 c 33.5269 126.023 5115 3891204 92.30/92.36 o 1058 92.50/92.51 c 33.5959 126.023 5147 3895924 92.50/92.51 o 1057 92.50/92.57 c 33.6299 126.023 5163 3900359 92.50/92.57 o 1051 92.60/92.67 c 33.6779 126.023 5182 3902939 92.60/92.67 o 1050 92.69/92.75 c 33.7169 126.023 5190 3904691 92.69/92.75 o 1049 92.90/92.90 c 33.7729 126.023 5210 3907312 92.90/92.90 o 1048 92.90/92.99 c 33.8139 126.023 5223 3910211 92.90/92.99 o 1046 93.09/93.11 c 33.8569 126.023 5240 3913488 93.09/93.11 o 1045 93.09/93.17 c 33.8818 126.023 5244 3917926 93.09/93.17 o 1037 93.19/93.26 c 33.9278 126.023 5255 3921617 93.19/93.26 o 1036 93.29/93.33 c 33.9668 126.023 5260 3924218 93.29/93.33 o 1033 94.10/94.10 c 34.2388 126.023 5406 3926781 94.10/94.10 o 1032 94.29/94.30 c 34.3068 126.023 5434 3928929 94.29/94.30 o 1030 94.29/94.36 c 34.3388 126.023 5447 3930944 94.29/94.36 o 1029 94.39/94.44 c 34.3728 126.023 5460 3937006 94.39/94.44 o 1016 94.39/94.50 c 34.4048 126.023 5466 3938621 94.39/94.50 o 1015 94.49/94.55 c 34.4298 126.023 5472 3940727 94.49/94.55 o 1014 94.60/94.61 c 34.4618 126.023 5484 3943497 94.60/94.61 o 1012 94.69/94.76 c 34.5238 126.023 5506 3945850 94.69/94.76 o 1011 97.09/97.16 c 35.4236 126.023 5914 3951518 97.09/97.16 o 1009 97.20/97.28 c 35.4856 126.023 5937 3953827 97.20/97.28 o 1008 97.39/97.47 c 35.5626 126.023 5974 3959365 97.39/97.47 o 1007 97.49/97.56 c 35.6126 126.023 5990 3960871 97.49/97.56 o 1006 97.59/97.67 c 35.6656 126.023 6005 3966212 97.59/97.67 o 1005 97.80/97.83 c 35.7296 126.023 6027 3967453 97.80/97.83 o 1004 97.80/97.89 c 35.7616 126.023 6036 3972493 97.80/97.89 o 1001 97.90/97.95 c 35.7976 126.023 6052 3975321 97.90/97.95 o 999 98.49/98.51 c 36.0065 126.023 6171 3977787 98.49/98.51 o 998 98.69/98.72 c 36.0945 126.023 6200 3978820 98.69/98.72 o 997 98.79/98.80 c 36.1365 126.023 6210 3979929 98.79/98.80 o 996 98.89/98.94 c 36.1895 126.023 6228 3981131 98.89/98.94 o 995 99.00/99.05 c 36.2355 126.023 6242 3982921 99.00/99.05 o 994 99.09/99.14 c 36.2755 126.023 6254 3984594 99.09/99.14 o 993 99.19/99.26 c 36.3285 126.023 6273 3987770 99.19/99.26 o 991 99.29/99.39 c 36.3815 126.023 6289 3989613 99.29/99.39 o 990 99.39/99.44 c 36.4105 126.023 6301 3991419 99.39/99.44 o 989 99.39/99.49 c 36.4435 126.023 6311 3993063 99.39/99.49 o 988 99.49/99.54 c 36.4715 126.023 6336 3994636 99.49/99.54 o 987 99.49/99.58 c 36.4985 126.023 6338 3996403 99.49/99.58 o 986 100.10/100.16 c 36.6874 126.023 6454 4002824 100.10/100.16 o 985 100.19/100.27 c 36.7414 126.023 6478 4003990 100.19/100.27 o 984 100.99/101.05 c 37.0024 126.023 6588 4008483 100.99/101.05 o 982 101.50/101.52 c 37.1584 126.023 6642 4009635 101.50/101.52 o 981 101.69/101.76 c 37.2403 126.023 6668 4010761 101.69/101.76 o 980 101.80/101.82 c 37.2763 126.023 6670 4011967 101.80/101.82 o 979 101.80/101.89 c 37.3093 126.023 6676 4013024 101.80/101.89 o 978 101.89/101.98 c 37.3423 126.023 6690 4015395 101.89/101.98 o 977 102.00/102.06 c 37.3743 126.023 6695 4017624 102.00/102.06 o 976 102.09/102.16 c 37.4213 126.023 6709 4021103 102.09/102.16 o 974 102.20/102.20 c 37.4473 126.023 6714 4022684 102.20/102.20 o 973 102.30/102.34 c 37.5013 126.023 6732 4025349 102.30/102.34 o 971 102.40/102.42 c 37.5363 126.023 6742 4026830 102.40/102.42 o 970 102.60/102.61 c 37.6233 126.023 6775 4029427 102.60/102.61 o 969 102.60/102.67 c 37.6573 126.023 6781 4031636 102.60/102.67 o 968 102.80/102.88 c 37.7493 126.023 6811 4034530 102.80/102.88 o 967 102.99/103.03 c 37.8242 126.023 6855 4035339 102.99/103.03 o 966 103.20/103.21 c 37.8842 126.023 6894 4036193 103.20/103.21 o 965 103.40/103.48 c 37.9872 126.023 6943 4044318 103.40/103.48 o 964 103.79/103.82 c 38.1662 126.023 7002 4047990 103.79/103.82 o 963 104.80/104.87 c 38.5831 126.023 7249 4049520 104.80/104.87 o 962 105.50/105.56 c 38.8411 126.023 7376 4055474 105.50/105.56 o 961 105.60/105.64 c 38.8741 126.023 7383 4056920 105.60/105.64 o 960 105.69/105.75 c 38.9221 126.023 7399 4059245 105.69/105.75 o 959 105.89/105.91 c 38.9871 126.023 7423 4061950 105.89/105.91 o 958 106.29/106.35 c 39.141 126.023 7483 4064473 106.29/106.35 o 957 106.39/106.43 c 39.174 126.023 7488 4066228 106.39/106.43 o 956 106.39/106.49 c 39.202 126.023 7494 4069252 106.39/106.49 o 955 106.49/106.57 c 39.238 126.023 7500 4070998 106.49/106.57 o 953 106.60/106.61 c 39.263 126.023 7510 4071981 106.60/106.61 o 952 106.60/106.67 c 39.292 126.023 7532 4073444 106.60/106.67 o 951 106.70/106.70 c 39.313 126.023 7535 4074899 106.70/106.70 o 949 106.70/106.75 c 39.332 126.023 7537 4076025 106.70/106.75 o 947 106.70/106.78 c 39.353 126.023 7540 4077323 106.70/106.78 o 946 106.80/106.82 c 39.378 126.023 7542 4078445 106.80/106.82 o 944 106.80/106.86 c 39.401 126.023 7542 4079914 106.80/106.86 o 942 106.89/106.91 c 39.429 126.023 7544 4081107 106.89/106.91 o 941 106.89/106.95 c 39.452 126.023 7546 4082287 106.89/106.95 o 938 107.00/107.04 c 39.493 126.023 7556 4085876 107.00/107.04 o 935 107.09/107.10 c 39.525 126.023 7566 4088753 107.09/107.10 o 933 107.09/107.18 c 39.566 126.023 7573 4090040 107.09/107.18 o 931 107.19/107.23 c 39.59 126.023 7577 4091131 107.19/107.23 o 930 107.29/107.32 c 39.629 126.023 7585 4095414 107.29/107.32 o 929 107.40/107.43 c 39.668 126.023 7600 4100224 107.40/107.43 o 928 107.49/107.58 c 39.74 126.023 7622 4101873 107.49/107.58 o 927 107.80/107.84 c 39.8429 126.023 7662 4102921 107.80/107.84 o 925 107.80/107.88 c 39.8689 126.023 7664 4105436 107.80/107.88 o 924 107.89/107.98 c 39.9139 126.023 7678 4110709 107.89/107.98 o 923 108.00/108.05 c 39.9439 126.023 7685 4113332 108.00/108.05 o 921 108.09/108.12 c 39.9809 126.023 7692 4117180 108.09/108.12 o 920 108.09/108.17 c 40.0099 126.023 7698 4120537 108.09/108.17 o 918 108.20/108.23 c 40.0449 126.023 7714 4124337 108.20/108.23 o 917 108.30/108.36 c 40.0919 126.023 7728 4126876 108.30/108.36 o 916 108.39/108.44 c 40.1249 126.023 7737 4131132 108.39/108.44 o 915 108.50/108.51 c 40.1619 126.023 7745 4135930 108.50/108.51 o 913 108.60/108.60 c 40.1989 126.023 7759 4139425 108.60/108.60 o 910 108.70/108.73 c 40.2619 126.023 7781 4145651 108.70/108.73 o 908 108.70/108.78 c 40.2829 126.023 7790 4146791 108.70/108.78 o 907 109.09/109.18 c 40.4139 126.023 7849 4149066 109.09/109.18 o 906 109.20/109.27 c 40.4598 126.023 7869 4152871 109.20/109.27 o 905 109.30/109.39 c 40.5118 126.023 7885 4154202 109.30/109.39 o 904 109.39/109.48 c 40.5488 126.023 7898 4156720 109.39/109.48 o 903 109.49/109.53 c 40.5758 126.023 7903 4157790 109.49/109.53 o 902 109.59/109.60 c 40.6138 126.023 7912 4158681 109.59/109.60 o 901 109.69/109.73 c 40.6608 126.023 7930 4161065 109.69/109.73 o 900 111.30/111.33 c 41.1737 126.023 8233 4168128 111.30/111.33 o 898 111.30/111.37 c 41.1957 126.023 8236 4170080 111.30/111.37 o 896 111.40/111.42 c 41.2257 126.023 8239 4173000 111.40/111.42 o 894 111.40/111.49 c 41.2647 126.023 8249 4177473 111.40/111.49 o 892 111.50/111.54 c 41.2917 126.023 8256 4182824 111.50/111.54 o 889 111.59/111.61 c 41.3267 126.023 8263 4185417 111.59/111.61 o 886 111.59/111.68 c 41.3567 126.023 8273 4186747 111.59/111.68 o 885 111.99/112.01 c 41.4727 126.023 8323 4188357 111.99/112.01 o 884 111.99/112.08 c 41.5007 126.023 8331 4190454 111.99/112.08 o 879 112.10/112.13 c 41.5307 126.023 8336 4193845 112.10/112.13 o 878 112.10/112.18 c 41.5507 126.023 8340 4197146 112.10/112.18 o 872 112.29/112.31 c 41.6037 126.023 8365 4206223 112.29/112.31 o 869 112.40/112.46 c 41.6607 126.023 8386 4209536 112.40/112.46 o 863 112.69/112.74 c 41.7796 126.023 8423 4211606 112.69/112.74 o 861 112.99/113.00 c 41.8736 126.023 8463 4212512 112.99/113.00 o 860 113.10/113.12 c 41.9246 126.023 8471 4213709 113.10/113.12 o 859 113.10/113.19 c 41.9616 126.023 8476 4215171 113.10/113.19 o 858 113.20/113.24 c 41.9856 126.023 8481 4218012 113.20/113.24 o 856 113.20/113.28 c 42.0116 126.023 8482 4219655 113.20/113.28 o 854 113.30/113.33 c 42.0386 126.023 8488 4222775 113.30/113.33 o 852 113.40/113.40 c 42.0746 126.023 8495 4226209 113.40/113.40 o 851 113.40/113.44 c 42.0976 126.023 8497 4227848 113.40/113.44 o 849 113.40/113.49 c 42.1246 126.023 8498 4229003 113.40/113.49 o 848 113.50/113.56 c 42.1636 126.023 8501 4235454 113.50/113.56 o 843 113.60/113.61 c 42.1926 126.023 8503 4239819 113.60/113.61 o 842 113.60/113.65 c 42.2166 126.023 8503 4243691 113.60/113.65 o 840 113.69/113.72 c 42.2526 126.023 8510 4251866 113.69/113.72 o 838 113.99/114.03 c 42.3576 126.023 8566 4256361 113.99/114.03 o 837 114.09/114.15 c 42.4166 126.023 8586 4257714 114.09/114.15 o 834 114.20/114.24 c 42.4665 126.023 8599 4263616 114.20/114.24 o 827 114.30/114.39 c 42.5415 126.023 8619 4264803 114.30/114.39 o 826 114.40/114.45 c 42.5725 126.023 8624 4265441 114.40/114.45 o 825 114.50/114.55 c 42.6185 126.023 8643 4267881 114.50/114.55 o 824 114.99/115.09 c 42.8245 126.023 8748 4269353 114.99/115.09 o 823 115.19/115.21 c 42.8785 126.023 8775 4271053 115.19/115.21 o 822 115.19/115.28 c 42.9135 126.023 8782 4271874 115.19/115.28 o 821 115.39/115.47 c 42.9955 126.023 8815 4274303 115.39/115.47 o 820 115.60/115.63 c 43.0655 126.023 8845 4276493 115.60/115.63 o 819 115.80/115.86 c 43.1434 126.023 8882 4277164 115.80/115.86 o 818 116.30/116.37 c 43.2924 126.023 8981 4278093 116.30/116.37 o 817 116.39/116.48 c 43.3504 126.023 9003 4279811 116.39/116.48 o 816 116.50/116.56 c 43.3944 126.023 9017 4280552 116.50/116.56 o 815 116.69/116.73 c 43.4544 126.023 9040 4281272 116.69/116.73 o 814 116.79/116.86 c 43.5054 126.023 9074 4282011 116.79/116.86 o 813 116.89/116.97 c 43.5724 126.023 9092 4283643 116.89/116.97 o 812 117.49/117.56 c 43.7673 126.023 9165 4284489 117.49/117.56 o 811 117.60/117.61 c 43.8013 126.023 9166 4285180 117.60/117.61 o 810 117.60/117.70 c 43.8353 126.023 9174 4286370 117.60/117.70 o 809 117.70/117.77 c 43.8673 126.023 9181 4287555 117.70/117.77 o 808 117.79/117.83 c 43.9033 126.023 9197 4289896 117.79/117.83 o 805 117.90/117.96 c 43.9623 126.023 9216 4293902 117.90/117.96 o 803 117.99/118.04 c 43.9953 126.023 9224 4295832 117.99/118.04 o 802 118.09/118.10 c 44.0273 126.023 9231 4296884 118.09/118.10 o 799 118.20/118.27 c 44.0953 126.023 9254 4299101 118.20/118.27 o 798 119.10/119.15 c 44.3763 126.023 9400 4300667 119.10/119.15 o 797 119.19/119.23 c 44.4142 126.023 9410 4302049 119.19/119.23 o 796 119.40/119.45 c 44.4912 126.023 9445 4303124 119.40/119.45 o 795 119.60/119.64 c 44.5652 126.023 9475 4304538 119.60/119.64 o 792 119.60/119.69 c 44.5942 126.023 9481 4307675 119.60/119.69 o 790 119.69/119.74 c 44.6222 126.023 9489 4308875 119.69/119.74 o 789 119.69/119.79 c 44.6502 126.023 9495 4310208 119.69/119.79 o 788 119.80/119.83 c 44.6752 126.023 9498 4312496 119.80/119.83 o 787 119.90/119.90 c 44.7092 126.023 9505 4315158 119.90/119.90 o 785 119.99/120.00 c 44.7542 126.023 9511 4317749 119.99/120.00 o 780 120.10/120.12 c 44.8032 126.023 9539 4319168 120.10/120.12 o 779 120.19/120.20 c 44.8442 126.023 9547 4322618 120.19/120.20 o 778 120.30/120.32 c 44.9082 126.023 9575 4324657 120.30/120.32 o 776 120.80/120.89 c 45.1081 126.023 9687 4326708 120.80/120.89 o 775 120.90/120.94 c 45.1351 126.023 9697 4327099 120.90/120.94 o 774 121.00/121.07 c 45.1911 126.023 9721 4328237 121.00/121.07 o 773 121.09/121.16 c 45.2361 126.023 9737 4331497 121.09/121.16 o 768 121.20/121.22 c 45.2661 126.023 9748 4333844 121.20/121.22 o 766 121.30/121.31 c 45.3041 126.023 9759 4334713 121.30/121.31 o 765 121.30/121.36 c 45.3301 126.023 9763 4336176 121.30/121.36 o 762 121.39/121.42 c 45.3641 126.023 9768 4337951 121.39/121.42 o 758 121.39/121.48 c 45.4001 126.023 9771 4341225 121.39/121.48 o 754 121.49/121.52 c 45.4221 126.023 9774 4342064 121.49/121.52 o 753 121.49/121.56 c 45.4501 126.023 9788 4343648 121.49/121.56 o 752 121.59/121.61 c 45.4771 126.023 9797 4346932 121.59/121.61 o 751 121.59/121.65 c 45.5001 126.023 9804 4347806 121.59/121.65 o 750 121.70/121.72 c 45.5371 126.023 9811 4350225 121.70/121.72 o 749 121.70/121.77 c 45.5611 126.023 9813 4350968 121.70/121.77 o 748 121.79/121.82 c 45.5901 126.023 9818 4352395 121.79/121.82 o 747 121.90/121.91 c 45.6371 126.023 9827 4355962 121.90/121.91 o 745 121.90/121.97 c 45.6721 126.023 9831 4360302 121.90/121.97 o 742 122.00/122.02 c 45.7021 126.023 9839 4361607 122.00/122.02 o 741 122.39/122.41 c 45.829 126.023 9886 4362525 122.39/122.41 o 740 123.10/123.16 c 46.086 126.023 10003 4364930 123.10/123.16 o 739 123.20/123.25 c 46.135 126.023 10016 4365972 123.20/123.25 o 738 123.39/123.47 c 46.203 126.023 10053 4366782 123.39/123.47 o 737 123.49/123.58 c 46.254 126.023 10073 4367874 123.49/123.58 o 736 123.59/123.62 c 46.278 126.023 10078 4368635 123.59/123.62 o 735 124.00/124.08 c 46.4359 126.023 10146 4369711 124.00/124.08 o 734 124.20/124.25 c 46.4899 126.023 10172 4370388 124.20/124.25 o 733 124.30/124.32 c 46.5279 126.023 10181 4370977 124.30/124.32 o 732 124.39/124.47 c 46.5879 126.023 10203 4371863 124.39/124.47 o 731 124.49/124.53 c 46.6119 126.023 10208 4372431 124.49/124.53 o 730 124.49/124.57 c 46.6359 126.023 10211 4373113 124.49/124.57 o 729 124.60/124.62 c 46.6679 126.023 10214 4373749 124.60/124.62 o 728 124.60/124.66 c 46.6939 126.023 10216 4374243 124.60/124.66 o 727 124.79/124.83 c 46.7579 126.023 10245 4375050 124.79/124.83 o 726 124.90/124.95 c 46.8179 126.023 10263 4376079 124.90/124.95 o 725 126.09/126.19 c 47.2468 126.023 5329 4378667 126.09/126.19 o 724 126.80/126.85 c 47.4518 126.023 5451 4381458 126.80/126.85 o 723 127.40/127.45 c 47.6608 126.023 5552 4383778 127.40/127.45 o 722 127.60/127.61 c 47.7347 126.023 5568 4385586 127.60/127.61 o 721 127.60/127.65 c 47.7637 126.023 5572 4387235 127.60/127.65 o 720 127.69/127.72 c 47.8017 126.023 5576 4388030 127.69/127.72 o 719 127.69/127.80 c 47.8447 126.023 5589 4388790 127.69/127.80 o 718 128.40/128.44 c 48.0697 126.023 5707 4389976 128.40/128.44 o 717 128.50/128.58 c 48.1177 126.023 5724 4391070 128.50/128.58 o 715 128.60/128.65 c 48.1537 126.023 5737 4392022 128.60/128.65 o 714 128.70/128.73 c 48.1867 126.023 5748 4392681 128.70/128.73 o 713 128.80/128.80 c 48.2187 126.023 5758 4396212 128.80/128.80 o 712 128.80/128.87 c 48.2477 126.023 5771 4397154 128.80/128.87 o 711 128.89/128.93 c 48.2757 126.023 5783 4398464 128.89/128.93 o 710 128.99/129.00 c 48.3117 126.023 5796 4400543 128.99/129.00 o 707 128.99/129.05 c 48.3357 126.023 5802 4402109 128.99/129.05 o 706 129.10/129.13 c 48.3726 126.023 5809 4404152 129.10/129.13 o 704 129.10/129.19 c 48.4066 126.023 5820 4406713 129.10/129.19 o 703 129.19/129.28 c 48.4466 126.023 5830 4410126 129.19/129.28 o 701 129.29/129.34 c 48.4796 126.023 5832 4410958 129.29/129.34 o 700 130.00/130.09 c 48.7306 126.023 5938 4411941 130.00/130.09 o 699 130.19/130.22 c 48.7856 126.023 5956 4413128 130.19/130.22 o 698 130.19/130.27 c 48.8086 126.023 5963 4416057 130.19/130.27 o 696 130.29/130.36 c 48.8516 126.023 5981 4420899 130.29/130.36 o 694 130.39/130.41 c 48.8826 126.023 5987 4421562 130.39/130.41 o 693 130.39/130.46 c 48.9066 126.023 5990 4424088 130.39/130.46 o 692 130.50/130.51 c 48.9336 126.023 5994 4425512 130.50/130.51 o 690 130.50/130.56 c 48.9536 126.023 5998 4426773 130.50/130.56 o 689 130.59/130.67 c 48.9926 126.023 6015 4428905 130.59/130.67 o 688 130.80/130.87 c 49.0805 126.023 6064 4430720 130.80/130.87 o 687 130.90/130.95 c 49.1185 126.023 6076 4431458 130.90/130.95 o 685 131.50/131.55 c 49.3055 126.023 6157 4432251 131.50/131.55 o 684 131.59/131.60 c 49.3345 126.023 6160 4433086 131.59/131.60 o 683 131.59/131.65 c 49.3625 126.023 6162 4433791 131.59/131.65 o 682 131.69/131.77 c 49.4245 126.023 6180 4435583 131.69/131.77 o 681 131.90/131.97 c 49.5105 126.023 6206 4439614 131.90/131.97 o 680 132.00/132.02 c 49.5395 126.023 6213 4441106 132.00/132.02 o 679 132.00/132.07 c 49.5705 126.023 6231 4442293 132.00/132.07 o 678 132.09/132.11 c 49.5995 126.023 6234 4443760 132.09/132.11 o 677 132.19/132.23 c 49.6455 126.023 6250 4444435 132.19/132.23 o 676 132.29/132.32 c 49.6994 126.023 6267 4444885 132.29/132.32 o 675 132.29/132.38 c 49.7324 126.023 6273 4445712 132.29/132.38 o 674 132.40/132.46 c 49.7674 126.023 6281 4446987 132.40/132.46 o 673 132.50/132.52 c 49.7984 126.023 6288 4448152 132.50/132.52 o 672 132.59/132.63 c 49.8514 126.023 6308 4449186 132.59/132.63 o 671 132.59/132.69 c 49.8874 126.023 6321 4450091 132.59/132.69 o 670 132.70/132.73 c 49.9134 126.023 6323 4450948 132.70/132.73 o 668 132.79/132.81 c 49.9484 126.023 6330 4453210 132.79/132.81 o 667 132.79/132.86 c 49.9694 126.023 6341 4454199 132.79/132.86 o 665 132.90/132.92 c 50.0034 126.023 6345 4456252 132.90/132.92 o 664 132.90/132.98 c 50.0384 126.023 6347 4457104 132.90/132.98 o 663 133.10/133.17 c 50.1004 126.023 6380 4457608 133.10/133.17 o 662 133.20/133.25 c 50.1394 126.023 6385 4458626 133.20/133.25 o 661 133.30/133.37 c 50.1964 126.023 6401 4459411 133.30/133.37 o 660 133.59/133.64 c 50.2914 126.023 6489 4460370 133.59/133.64 o 659 133.70/133.75 c 50.3423 126.023 6509 4461348 133.70/133.75 o 658 134.40/134.45 c 50.6203 126.023 6663 4463177 134.40/134.45 o 657 134.69/134.74 c 50.7383 126.023 6745 4464033 134.69/134.74 o 656 134.80/134.81 c 50.7763 126.023 6760 4464738 134.80/134.81 o 655 134.80/134.86 c 50.8043 126.023 6765 4465517 134.80/134.86 o 654 134.90/134.98 c 50.8603 126.023 6778 4466056 134.90/134.98 o 653 134.99/135.04 c 50.8903 126.023 6789 4466605 134.99/135.04 o 652 134.99/135.09 c 50.9163 126.023 6794 4467263 134.99/135.09 o 651 135.20/135.24 c 50.9922 126.023 6808 4468110 135.20/135.24 o 650 135.20/135.28 c 51.0182 126.023 6812 4469902 135.20/135.28 o 649 135.30/135.33 c 51.0402 126.023 6819 4471560 135.30/135.33 o 648 135.40/135.41 c 51.0832 126.023 6826 4472833 135.40/135.41 o 647 135.40/135.47 c 51.1162 126.023 6831 4474497 135.40/135.47 o 646 135.49/135.54 c 51.1502 126.023 6842 4475362 135.49/135.54 o 645 135.59/135.60 c 51.1852 126.023 6852 4476709 135.59/135.60 o 644 135.59/135.65 c 51.2132 126.023 6853 4477459 135.59/135.65 o 643 135.69/135.70 c 51.2392 126.023 6855 4477772 135.69/135.70 o 642 135.69/135.77 c 51.2772 126.023 6860 4478908 135.69/135.77 o 641 136.40/136.50 c 51.5402 126.023 6977 4480051 136.40/136.50 o 640 136.50/136.57 c 51.5772 126.023 6992 4480484 136.50/136.57 o 639 136.59/136.66 c 51.6172 126.023 7004 4481922 136.59/136.66 o 638 136.69/136.72 c 51.6531 126.023 7012 4482905 136.69/136.72 o 637 136.80/136.89 c 51.7161 126.023 7050 4485141 136.80/136.89 o 634 136.89/136.97 c 51.7601 126.023 7058 4485840 136.89/136.97 o 633 137.00/137.05 c 51.8011 126.023 7073 4486940 137.00/137.05 o 632 137.10/137.10 c 51.8281 126.023 7090 4487944 137.10/137.10 o 631 137.80/137.83 c 52.0571 126.023 7204 4489456 137.80/137.83 o 630 137.90/137.94 c 52.1041 126.023 7213 4490468 137.90/137.94 o 629 138.19/138.29 c 52.2261 126.023 7261 4491387 138.19/138.29 o 628 138.30/138.34 c 52.2491 126.023 7268 4492813 138.30/138.34 o 627 138.39/138.44 c 52.291 126.023 7281 4494639 138.39/138.44 o 626 138.50/138.60 c 52.355 126.023 7329 4495741 138.50/138.60 o 625 138.70/138.79 c 52.441 126.023 7364 4496656 138.70/138.79 o 623 138.89/138.91 c 52.488 126.023 7373 4497682 138.89/138.91 o 622 139.09/139.11 c 52.558 126.023 7395 4499384 139.09/139.11 o 620 139.20/139.21 c 52.603 126.023 7405 4500492 139.20/139.21 o 619 139.49/139.57 c 52.725 126.023 7459 4501915 139.49/139.57 o 618 139.60/139.63 c 52.764 126.023 7465 4502629 139.60/139.63 o 617 139.70/139.78 c 52.823 126.023 7496 4504372 139.70/139.78 o 615 139.80/139.85 c 52.857 126.023 7506 4504906 139.80/139.85 o 614 140.10/140.10 c 52.9549 126.023 7535 4505514 140.10/140.10 o 613 140.10/140.17 c 52.9959 126.023 7542 4506616 140.10/140.17 o 611 140.19/140.25 c 53.0269 126.023 7552 4507343 140.19/140.25 o 610 140.30/140.32 c 53.0599 126.023 7557 4508156 140.30/140.32 o 608 140.30/140.36 c 53.0819 126.023 7558 4509264 140.30/140.36 o 606 140.80/140.86 c 53.2299 126.023 7635 4510185 140.80/140.86 o 604 140.89/140.90 c 53.2579 126.023 7636 4511388 140.89/140.90 o 600 140.89/140.94 c 53.2869 126.023 7636 4512509 140.89/140.94 o 599 140.89/140.98 c 53.3109 126.023 7638 4513031 140.89/140.98 o 598 141.00/141.01 c 53.3359 126.023 7638 4513880 141.00/141.01 o 596 141.00/141.08 c 53.3659 126.023 7640 4514615 141.00/141.08 o 595 141.30/141.37 c 53.4689 126.023 7678 4515439 141.30/141.37 o 593 141.39/141.43 c 53.4999 126.023 7682 4516713 141.39/141.43 o 592 141.49/141.51 c 53.5299 126.023 7688 4517554 141.49/141.51 o 591 141.49/141.57 c 53.5569 126.023 7697 4518189 141.49/141.57 o 590 141.59/141.62 c 53.5849 126.023 7699 4519061 141.59/141.62 o 589 141.59/141.67 c 53.6138 126.023 7704 4520206 141.59/141.67 o 588 141.69/141.73 c 53.6458 126.023 7711 4521403 141.69/141.73 o 587 141.80/141.82 c 53.6898 126.023 7718 4522731 141.80/141.82 o 586 141.80/141.87 c 53.7168 126.023 7725 4523484 141.80/141.87 o 585 142.40/142.44 c 53.8918 126.023 7808 4524177 142.40/142.44 o 584 142.50/142.52 c 53.9318 126.023 7822 4524987 142.50/142.52 o 583 142.70/142.70 c 53.9958 126.023 7852 4525704 142.70/142.70 o 582 142.70/142.78 c 54.0418 126.023 7865 4526280 142.70/142.78 o 581 142.79/142.86 c 54.0808 126.023 7876 4527003 142.79/142.86 o 580 142.90/142.92 c 54.1148 126.023 7878 4527815 142.90/142.92 o 579 142.90/142.99 c 54.1478 126.023 7887 4528402 142.90/142.99 o 578 143.00/143.04 c 54.1758 126.023 7890 4529545 143.00/143.04 o 577 143.00/143.09 c 54.1978 126.023 7893 4530599 143.00/143.09 o 576 143.10/143.13 c 54.2218 126.023 7894 4531786 143.10/143.13 o 575 143.10/143.17 c 54.2518 126.023 7896 4533662 143.10/143.17 o 574 143.20/143.21 c 54.2777 126.023 7896 4534653 143.20/143.21 o 573 143.20/143.25 c 54.3027 126.023 7898 4536009 143.20/143.25 o 572 143.29/143.30 c 54.3287 126.023 7905 4537466 143.29/143.30 o 571 143.40/143.41 c 54.3737 126.023 7912 4538474 143.40/143.41 o 570 143.49/143.56 c 54.4407 126.023 7933 4539460 143.49/143.56 o 569 143.69/143.71 c 54.5107 126.023 7966 4540154 143.69/143.71 o 568 143.89/143.93 c 54.5947 126.023 7998 4542990 143.89/143.93 o 567 144.00/144.01 c 54.6307 126.023 8007 4544460 144.00/144.01 o 565 144.10/144.18 c 54.7087 126.023 8032 4545078 144.10/144.18 o 564 144.19/144.26 c 54.7527 126.023 8048 4547929 144.19/144.26 o 562 144.29/144.36 c 54.7977 126.023 8061 4548909 144.29/144.36 o 561 144.39/144.40 c 54.8197 126.023 8067 4550118 144.39/144.40 o 560 144.39/144.44 c 54.8437 126.023 8072 4551304 144.39/144.44 o 559 144.49/144.52 c 54.8807 126.023 8084 4552812 144.49/144.52 o 556 144.60/144.63 c 54.9286 126.023 8100 4553734 144.60/144.63 o 555 144.99/145.08 c 55.1006 126.023 8171 4554439 144.99/145.08 o 554 145.10/145.13 c 55.1276 126.023 8173 4555007 145.10/145.13 o 553 145.10/145.17 c 55.1476 126.023 8173 4555650 145.10/145.17 o 552 145.20/145.20 c 55.1716 126.023 8174 4556302 145.20/145.20 o 551 145.20/145.24 c 55.1966 126.023 8179 4557122 145.20/145.24 o 550 145.30/145.33 c 55.2366 126.023 8189 4558955 145.30/145.33 o 543 145.40/145.41 c 55.2776 126.023 8195 4560192 145.40/145.41 o 541 145.40/145.48 c 55.3146 126.023 8200 4564039 145.40/145.48 o 539 145.50/145.52 c 55.3406 126.023 8200 4564851 145.50/145.52 o 538 145.50/145.56 c 55.3616 126.023 8201 4565233 145.50/145.56 o 537 145.60/145.61 c 55.3906 126.023 8204 4566986 145.60/145.61 o 534 145.60/145.64 c 55.4116 126.023 8204 4568102 145.60/145.64 o 533 145.60/145.68 c 55.4296 126.023 8204 4569277 145.60/145.68 o 532 145.69/145.73 c 55.4586 126.023 8208 4570525 145.69/145.73 o 529 145.69/145.77 c 55.4856 126.023 8211 4571836 145.69/145.77 o 526 145.79/145.83 c 55.5146 126.023 8221 4572647 145.79/145.83 o 525 145.79/145.87 c 55.5406 126.023 8222 4574310 145.79/145.87 o 520 146.09/146.10 c 55.6325 126.023 8248 4575307 146.09/146.10 o 519 146.09/146.14 c 55.6615 126.023 8249 4576493 146.09/146.14 o 518 146.09/146.20 c 55.6925 126.023 8265 4576959 146.09/146.20 o 517 146.80/146.89 c 55.9095 126.023 8380 4578139 146.80/146.89 o 516 146.89/146.93 c 55.9325 126.023 8381 4579468 146.89/146.93 o 512 147.00/147.00 c 55.9685 126.023 8386 4580830 147.00/147.00 o 508 147.00/147.05 c 55.9985 126.023 8388 4582135 147.00/147.05 o 507 147.00/147.09 c 56.0235 126.023 8389 4583403 147.00/147.09 o 506 147.09/147.14 c 56.0445 126.023 8390 4585352 147.09/147.14 o 505 147.20/147.23 c 56.0885 126.023 8400 4588089 147.20/147.23 o 503 147.20/147.27 c 56.1165 126.023 8403 4588970 147.20/147.27 o 502 147.30/147.32 c 56.1475 126.023 8406 4590143 147.30/147.32 o 501 147.30/147.38 c 56.1775 126.023 8411 4591145 147.30/147.38 o 500 147.40/147.44 c 56.2095 126.023 8418 4592095 147.40/147.44 o 499 147.40/147.48 c 56.2375 126.023 8432 4592628 147.40/147.48 o 498 148.10/148.18 c 56.4584 126.023 8535 4593709 148.10/148.18 o 497 148.19/148.28 c 56.5014 126.023 8545 4595001 148.19/148.28 o 496 148.30/148.34 c 56.5344 126.023 8550 4595859 148.30/148.34 o 495 148.30/148.40 c 56.5614 126.023 8554 4597135 148.30/148.40 o 492 148.51/148.51 c 56.6154 126.023 8571 4597881 148.51/148.51 o 490 148.51/148.55 c 56.6464 126.023 8580 4598216 148.51/148.55 o 489 148.60/148.61 c 56.6744 126.023 8589 4598692 148.60/148.61 o 488 148.79/148.86 c 56.7654 126.023 8639 4599362 148.79/148.86 o 487 148.90/148.96 c 56.8054 126.023 8650 4599866 148.90/148.96 o 486 149.00/149.01 c 56.8364 126.023 8657 4600371 149.00/149.01 o 485 149.10/149.10 c 56.8844 126.023 8673 4600818 149.10/149.10 o 484 149.19/149.21 c 56.9353 126.023 8686 4601345 149.19/149.22 o 483 149.19/149.27 c 56.9673 126.023 8690 4601898 149.19/149.27 o 482 149.30/149.36 c 57.0123 126.023 8701 4602406 149.30/149.36 o 481 149.39/149.40 c 57.0333 126.023 8705 4602779 149.39/149.40 o 480 149.39/149.44 c 57.0603 126.023 8708 4603484 149.39/149.44 o 478 149.39/149.48 c 57.0823 126.023 8713 4603961 149.39/149.48 o 477 149.50/149.53 c 57.1123 126.023 8715 4604250 149.50/149.53 o 476 149.50/149.57 c 57.1373 126.023 8717 4604595 149.50/149.57 o 475 149.60/149.62 c 57.1653 126.023 8720 4604946 149.60/149.62 o 474 149.69/149.70 c 57.2093 126.023 8729 4605353 149.69/149.70 o 473 149.69/149.79 c 57.2553 126.023 8738 4606272 149.69/149.79 o 472 149.79/149.83 c 57.2773 126.023 8740 4607000 149.79/149.83 o 471 149.79/149.87 c 57.3073 126.023 8749 4607505 149.79/149.87 o 470 150.50/150.50 c 57.5123 126.023 8851 4609326 150.50/150.50 o 469 150.70/150.76 c 57.6402 126.023 8882 4610241 150.70/150.76 o 468 151.10/151.16 c 57.7702 126.023 8958 4610769 151.10/151.16 o 467 151.19/151.22 c 57.7982 126.023 8963 4611212 151.19/151.22 o 466 151.30/151.32 c 57.8492 126.023 8972 4611735 151.30/151.32 o 465 151.30/151.38 c 57.8752 126.023 8978 4612249 151.30/151.38 o 464 151.39/151.48 c 57.9202 126.023 8990 4612973 151.39/151.48 o 463 151.49/151.51 c 57.9392 126.023 8991 4613402 151.49/151.51 o 462 151.49/151.55 c 57.9642 126.023 8992 4613795 151.49/151.55 o 461 151.49/151.59 c 57.9912 126.023 8992 4614250 151.49/151.59 o 460 151.60/151.64 c 58.0232 126.023 8993 4614725 151.60/151.64 o 459 151.60/151.68 c 58.0442 126.023 8993 4615165 151.60/151.68 o 458 151.70/151.72 c 58.0752 126.023 8995 4615636 151.70/151.72 o 457 151.70/151.76 c 58.0992 126.023 8999 4616180 151.70/151.76 o 456 151.70/151.80 c 58.1212 126.023 9000 4616512 151.70/151.80 o 455 151.80/151.84 c 58.1442 126.023 9002 4616877 151.80/151.84 o 454 151.80/151.89 c 58.1702 126.023 9005 4617291 151.80/151.89 o 453 151.90/151.97 c 58.2062 126.023 9011 4617783 151.90/151.97 o 452 151.99/152.03 c 58.2391 126.023 9017 4618421 151.99/152.03 o 451 151.99/152.08 c 58.2631 126.023 9018 4619131 151.99/152.08 o 450 152.10/152.12 c 58.2871 126.023 9019 4619836 152.10/152.12 o 449 152.10/152.15 c 58.3101 126.023 9019 4620720 152.10/152.15 o 448 152.10/152.19 c 58.3311 126.023 9019 4621242 152.10/152.19 o 447 152.20/152.23 c 58.3491 126.023 9019 4621871 152.20/152.23 o 446 152.20/152.27 c 58.3721 126.023 9020 4622448 152.20/152.27 o 445 152.40/152.44 c 58.4441 126.023 9039 4623344 152.40/152.44 o 444 152.40/152.48 c 58.4681 126.023 9039 4624763 152.40/152.48 o 443 152.49/152.52 c 58.4931 126.023 9040 4626354 152.49/152.52 o 442 152.49/152.56 c 58.5151 126.023 9040 4627488 152.49/152.56 o 441 152.60/152.60 c 58.5331 126.023 9040 4628263 152.60/152.60 o 440 152.60/152.64 c 58.5551 126.023 9042 4629812 152.60/152.64 o 438 152.60/152.68 c 58.5801 126.023 9043 4631251 152.60/152.68 o 437 152.69/152.73 c 58.6041 126.023 9045 4632113 152.69/152.73 o 436 152.69/152.78 c 58.6281 126.023 9050 4632874 152.69/152.78 o 435 152.80/152.82 c 58.6501 126.023 9051 4633881 152.80/152.82 o 434 152.80/152.87 c 58.6771 126.023 9052 4634570 152.80/152.87 o 433 152.90/152.92 c 58.7041 126.023 9057 4635346 152.90/152.92 o 432 152.90/152.95 c 58.7271 126.023 9059 4636103 152.90/152.95 o 430 152.90/152.99 c 58.7471 126.023 9059 4636700 152.90/152.99 o 429 153.00/153.03 c 58.7691 126.023 9059 4637405 153.00/153.03 o 428 153.00/153.07 c 58.7951 126.023 9059 4638067 153.00/153.07 o 427 153.09/153.11 c 58.8181 126.023 9059 4638692 153.09/153.11 o 426 153.09/153.15 c 58.8421 126.023 9060 4639377 153.09/153.15 o 424 153.09/153.18 c 58.8651 126.023 9061 4640026 153.09/153.18 o 423 153.20/153.25 c 58.9 126.023 9065 4640797 153.20/153.25 o 422 153.29/153.30 c 58.926 126.023 9066 4641736 153.29/153.30 o 421 153.29/153.33 c 58.953 126.023 9066 4642631 153.29/153.33 o 420 153.29/153.37 c 58.975 126.023 9067 4643333 153.29/153.37 o 419 153.39/153.41 c 58.999 126.023 9067 4643921 153.39/153.41 o 418 153.39/153.45 c 59.019 126.023 9067 4644750 153.39/153.45 o 417 153.39/153.48 c 59.038 126.023 9067 4645374 153.39/153.48 o 416 153.50/153.52 c 59.064 126.023 9068 4646277 153.50/153.52 o 414 153.59/153.60 c 59.098 126.023 9074 4646853 153.59/153.60 o 413 153.69/153.70 c 59.141 126.023 9089 4647338 153.69/153.70 o 412 153.69/153.76 c 59.176 126.023 9094 4647674 153.69/153.76 o 411 153.79/153.80 c 59.203 126.023 9096 4648075 153.79/153.80 o 410 153.79/153.86 c 59.236 126.023 9102 4648667 153.79/153.86 o 408 153.79/153.90 c 59.263 126.023 9105 4649049 153.79/153.90 o 407 153.90/153.94 c 59.286 126.023 9107 4649440 153.90/153.94 o 406 153.90/154.00 c 59.317 126.023 9112 4650073 153.90/154.00 o 405 154.00/154.05 c 59.341 126.023 9117 4650630 154.00/154.05 o 404 154.10/154.15 c 59.388 126.023 9128 4651231 154.10/154.15 o 403 154.90/154.91 c 59.6319 126.023 9233 4651979 154.90/154.91 o 402 154.90/154.95 c 59.6619 126.023 9235 4652382 154.90/154.95 o 401 154.90/155.00 c 59.6869 126.023 9236 4652861 154.90/155.00 o 400 155.01/155.08 c 59.7389 126.023 9259 4653488 155.01/155.08 o 399 155.79/155.87 c 60.0329 126.023 9469 4654713 155.79/155.87 o 398 155.90/155.92 c 60.0679 126.023 9489 4655090 155.90/155.92 o 397 155.90/155.96 c 60.0949 126.023 9492 4655461 155.90/155.96 o 396 155.99/156.04 c 60.1369 126.023 9509 4655954 155.99/156.04 o 395 156.10/156.12 c 60.1729 126.023 9518 4656492 156.10/156.12 o 393 156.10/156.19 c 60.2118 126.023 9524 4657025 156.10/156.19 o 392 156.20/156.28 c 60.2528 126.023 9540 4657526 156.20/156.28 o 391 156.30/156.32 c 60.2808 126.023 9547 4658120 156.30/156.32 o 389 156.89/156.97 c 60.4958 126.023 9649 4658919 156.89/156.97 o 388 156.99/157.01 c 60.5238 126.023 9651 4659426 156.99/157.01 o 386 156.99/157.06 c 60.5568 126.023 9659 4660197 156.99/157.06 o 383 157.10/157.11 c 60.5828 126.023 9661 4660624 157.10/157.11 o 382 157.10/157.17 c 60.6158 126.777 9676 4661193 157.10/157.17 o 381 157.20/157.28 c 60.6668 126.777 9690 4661756 157.20/157.28 o 380 157.30/157.33 c 60.6938 126.777 9701 4662394 157.30/157.33 o 379 157.30/157.38 c 60.7238 126.777 9708 4663059 157.30/157.38 o 378 157.40/157.47 c 60.7638 126.777 9716 4663779 157.40/157.47 o 377 157.59/157.60 c 60.8138 126.777 9729 4664255 157.59/157.60 o 376 157.59/157.67 c 60.8577 126.777 9739 4665084 157.59/157.67 o 375 157.70/157.71 c 60.8837 126.777 9744 4665427 157.70/157.71 o 374 157.70/157.76 c 60.9117 126.777 9747 4666343 157.70/157.76 o 371 157.79/157.81 c 60.9387 126.777 9749 4666795 157.79/157.81 o 370 157.79/157.85 c 60.9637 126.777 9752 4667248 157.79/157.85 o 369 158.10/158.12 c 61.0987 126.777 9818 4667960 158.10/158.12 o 367 158.10/158.18 c 61.1277 126.777 9828 4668514 158.10/158.18 o 366 158.19/158.23 c 61.1567 126.777 9845 4668924 158.19/158.24 o 365 158.19/158.28 c 61.1777 126.777 9847 4669639 158.19/158.28 o 363 158.30/158.32 c 61.2047 126.777 9849 4670174 158.30/158.32 o 362 158.30/158.36 c 61.2307 126.777 9850 4670590 158.30/158.36 o 361 158.40/158.41 c 61.2577 126.777 9852 4670940 158.40/158.41 o 360 158.40/158.49 c 61.2977 126.777 9858 4671570 158.40/158.49 o 359 158.59/158.68 c 61.3677 126.777 9886 4671991 158.59/158.68 o 358 158.70/158.73 c 61.3967 126.777 9895 4672594 158.70/158.73 o 357 158.70/158.77 c 61.4227 126.777 9898 4672953 158.70/158.77 o 356 158.79/158.81 c 61.4457 126.777 9900 4673389 158.79/158.81 o 355 158.79/158.85 c 61.4687 126.777 9908 4673730 158.79/158.85 o 354 158.89/158.96 c 61.5216 126.777 9925 4674290 158.89/158.96 o 353 159.00/159.00 c 61.5516 126.777 9930 4674725 159.00/159.00 o 352 159.10/159.15 c 61.6236 126.777 9981 4675428 159.10/159.15 o 351 159.80/159.87 c 61.8886 126.777 10085 4676198 159.80/159.87 o 350 159.89/159.92 c 61.9206 126.777 10090 4676883 159.89/159.92 o 349 159.89/159.97 c 61.9416 126.777 10097 4677492 159.89/159.97 o 348 160.00/160.01 c 61.9676 126.777 10101 4678137 160.00/160.01 o 347 160.00/160.09 c 62.0016 126.777 10113 4678997 160.00/160.09 o 346 160.09/160.14 c 62.0306 126.777 10129 4679713 160.09/160.14 o 345 160.09/160.19 c 62.0626 126.777 10136 4680015 160.09/160.19 o 344 160.20/160.27 c 62.1036 126.777 10143 4680305 160.20/160.27 o 343 160.29/160.32 c 62.1316 126.777 10145 4680763 160.29/160.32 o 342 160.29/160.36 c 62.1625 126.777 10149 4681362 160.29/160.36 o 341 160.40/160.40 c 62.1855 126.777 10149 4682090 160.40/160.40 o 339 160.40/160.44 c 62.2135 126.777 10149 4682676 160.40/160.44 o 338 160.40/160.48 c 62.2405 126.777 10151 4683437 160.40/160.48 o 337 160.50/160.56 c 62.2745 126.777 10156 4684305 160.50/160.56 o 335 160.60/160.60 c 62.2985 126.777 10160 4684809 160.60/160.60 o 334 160.60/160.65 c 62.3225 126.777 10162 4685424 160.60/160.65 o 333 160.60/160.69 c 62.3445 126.777 10164 4686058 160.60/160.69 o 332 160.69/160.75 c 62.3805 126.777 10168 4686930 160.69/160.75 o 331 160.69/160.79 c 62.4055 126.777 10168 4687573 160.69/160.79 o 330 160.80/160.83 c 62.4305 126.777 10170 4688191 160.80/160.83 o 329 160.80/160.88 c 62.4665 126.777 10175 4688821 160.80/160.88 o 328 160.90/160.92 c 62.4925 126.777 10177 4689183 160.90/160.93 o 327 160.90/160.97 c 62.5155 126.777 10178 4689546 160.90/160.97 o 326 161.00/161.01 c 62.5355 126.777 10179 4690447 161.00/161.01 o 324 161.00/161.06 c 62.5575 126.777 10181 4691235 161.00/161.06 o 323 161.10/161.10 c 62.5775 126.777 10183 4691840 161.10/161.10 o 322 161.10/161.14 c 62.6065 126.777 10184 4692574 161.10/161.14 o 321 161.10/161.18 c 62.6285 126.777 10184 4692976 161.10/161.18 o 320 161.20/161.22 c 62.6535 126.777 10185 4693495 161.20/161.22 o 319 161.20/161.28 c 62.6825 126.777 10190 4693983 161.20/161.28 o 318 161.30/161.32 c 62.7085 126.777 10191 4694625 161.30/161.32 o 317 161.30/161.36 c 62.7325 126.777 10193 4695232 161.30/161.36 o 316 161.40/161.41 c 62.7545 126.777 10195 4695917 161.40/161.41 o 315 161.40/161.48 c 62.7895 126.777 10201 4697135 161.40/161.48 o 314 161.60/161.61 c 62.8524 126.777 10250 4697635 161.60/161.61 o 313 162.19/162.21 c 63.0634 126.777 10356 4698975 162.19/162.21 o 312 162.19/162.28 c 63.1004 126.777 10361 4699348 162.19/162.28 o 311 162.30/162.32 c 63.1314 126.777 10366 4699652 162.30/162.32 o 310 162.30/162.37 c 63.1594 126.777 10372 4700152 162.30/162.37 o 309 162.40/162.44 c 63.2024 126.777 10375 4700557 162.40/162.44 o 308 162.40/162.48 c 63.2234 126.777 10377 4700882 162.40/162.48 o 307 162.49/162.52 c 63.2434 126.777 10382 4701317 162.49/162.52 o 306 162.49/162.56 c 63.2644 126.777 10383 4701575 162.49/162.56 o 305 162.59/162.60 c 63.2904 126.777 10384 4702111 162.59/162.60 o 304 162.59/162.64 c 63.3134 126.777 10387 4702522 162.59/162.64 o 303 162.70/162.72 c 63.3464 126.777 10397 4703262 162.70/162.72 o 301 162.70/162.79 c 63.3834 126.777 10411 4703661 162.70/162.79 o 300 162.80/162.86 c 63.4134 126.777 10416 4704105 162.80/162.86 o 299 162.89/162.92 c 63.4444 126.777 10425 4704455 162.89/162.92 o 298 162.89/162.95 c 63.4674 126.777 10426 4704768 162.89/162.95 o 297 162.99/163.02 c 63.5183 126.777 10442 4705323 162.99/163.02 o 296 163.39/163.40 c 63.7113 126.777 10570 4706360 163.39/163.40 o 295 163.39/163.44 c 63.7393 126.777 10577 4706662 163.39/163.44 o 294 163.50/163.52 c 63.7953 126.777 10603 4707175 163.50/163.52 o 293 163.99/164.04 c 63.9623 126.777 10676 4708154 163.99/164.04 o 292 163.99/164.08 c 63.9873 126.777 10680 4708529 163.99/164.08 o 291 164.10/164.12 c 64.0103 126.777 10683 4708883 164.10/164.12 o 290 164.10/164.16 c 64.0343 126.777 10685 4709166 164.10/164.16 o 289 164.20/164.20 c 64.0533 126.777 10687 4709554 164.20/164.20 o 288 164.20/164.24 c 64.0753 126.777 10689 4709846 164.20/164.24 o 287 164.20/164.28 c 64.0983 126.777 10692 4710247 164.20/164.28 o 286 164.29/164.32 c 64.1243 126.777 10698 4710838 164.29/164.32 o 285 164.29/164.36 c 64.1472 126.777 5353 4711191 164.29/164.36 o 284 164.39/164.40 c 64.1722 126.777 5356 4711663 164.39/164.40 o 283 164.50/164.58 c 64.2372 126.777 5382 4712058 164.50/164.58 o 282 164.60/164.64 c 64.2782 126.777 5391 4712798 164.60/164.64 o 281 164.90/164.92 c 64.3712 126.777 5447 4713415 164.90/164.92 o 280 164.90/164.96 c 64.3972 126.777 5450 4713675 164.90/164.96 o 279 165.00/165.00 c 64.4232 126.777 5456 4713970 165.00/165.00 o 278 165.00/165.04 c 64.4472 126.777 5461 4714257 165.00/165.04 o 277 165.00/165.09 c 64.4752 126.777 5463 4714508 165.00/165.09 o 276 165.70/165.74 c 64.6982 126.777 5564 4715134 165.70/165.74 o 275 165.70/165.78 c 64.7212 126.777 5565 4715474 165.70/165.78 o 274 165.79/165.82 c 64.7422 126.777 5566 4715752 165.79/165.82 o 273 165.79/165.86 c 64.7622 126.777 5572 4716074 165.79/165.86 o 272 165.89/165.91 c 64.7922 126.777 5574 4716380 165.89/165.91 o 271 165.89/165.95 c 64.8151 126.777 5576 4716648 165.89/165.95 o 270 165.89/166.00 c 64.8451 126.777 5578 4717058 165.89/166.00 o 269 166.00/166.05 c 64.8751 126.777 5580 4717361 166.00/166.05 o 268 166.00/166.10 c 64.8981 126.777 5581 4717784 166.00/166.10 o 267 166.11/166.14 c 64.9221 126.777 5581 4718208 166.11/166.14 o 266 166.11/166.17 c 64.9461 126.777 5581 4718777 166.11/166.17 o 265 166.19/166.21 c 64.9691 126.777 5581 4719326 166.19/166.21 o 264 166.19/166.25 c 64.9931 126.777 5581 4719942 166.19/166.25 o 263 166.19/166.29 c 65.0131 126.777 5581 4720431 166.19/166.29 o 262 166.29/166.33 c 65.0341 126.777 5582 4720959 166.29/166.33 o 261 166.29/166.38 c 65.0641 126.777 5586 4721411 166.29/166.38 o 260 166.40/166.42 c 65.0861 126.777 5588 4721907 166.40/166.42 o 259 166.40/166.46 c 65.1051 126.777 5588 4722471 166.40/166.46 o 258 166.40/166.49 c 65.1321 126.777 5588 4722896 166.40/166.49 o 257 166.49/166.54 c 65.1571 126.777 5592 4723423 166.49/166.54 o 256 166.59/166.62 c 65.2011 126.777 5601 4724212 166.59/166.62 o 255 166.89/166.96 c 65.3491 126.777 5672 4724894 166.89/166.96 o 254 167.00/167.00 c 65.3811 126.777 5679 4725202 167.00/167.00 o 253 167.00/167.04 c 65.4031 126.777 5680 4725490 167.00/167.04 o 252 167.00/167.08 c 65.4241 126.777 5683 4725747 167.00/167.08 o 251 167.10/167.12 c 65.453 126.777 5684 4726196 167.10/167.12 o 250 167.10/167.18 c 65.486 126.777 5692 4726580 167.10/167.18 o 249 167.20/167.27 c 65.545 126.777 5728 4727230 167.20/167.27 o 248 167.30/167.37 c 65.604 126.777 5761 4727732 167.30/167.37 o 247 167.40/167.44 c 65.638 126.777 5769 4728204 167.40/167.44 o 246 167.40/167.48 c 65.662 126.777 5773 4728663 167.40/167.49 o 245 167.49/167.57 c 65.704 126.777 5786 4729021 167.49/167.57 o 244 167.60/167.61 c 65.728 126.777 5788 4729317 167.60/167.61 o 243 167.60/167.65 c 65.748 126.777 5790 4729642 167.60/167.65 o 242 167.60/167.69 c 65.773 126.777 5790 4729973 167.60/167.69 o 241 167.69/167.73 c 65.792 126.777 5791 4730364 167.69/167.73 o 240 167.69/167.77 c 65.817 126.777 5800 4730599 167.69/167.77 o 239 167.80/167.81 c 65.844 126.777 5809 4730876 167.80/167.81 o 238 167.89/167.99 c 65.942 126.777 5870 4731407 167.89/167.99 o 237 167.99/168.05 c 65.982 126.777 5890 4731782 167.99/168.05 o 236 168.09/168.13 c 66.019 126.777 5903 4732194 168.09/168.13 o 235 168.09/168.18 c 66.046 126.777 5911 4732637 168.09/168.18 o 234 168.20/168.24 c 66.082 126.777 5914 4732922 168.20/168.24 o 233 168.20/168.29 c 66.1099 126.777 5922 4733313 168.20/168.29 o 232 168.30/168.36 c 66.1599 126.777 5962 4733746 168.30/168.36 o 231 168.79/168.80 c 66.3929 126.777 6102 4735455 168.79/168.80 o 230 168.90/168.90 c 66.4369 126.777 6125 4735902 168.90/168.90 o 229 168.90/168.99 c 66.4889 126.777 6137 4736227 168.90/168.99 o 228 169.00/169.04 c 66.5229 126.777 6150 4736515 169.00/169.04 o 227 169.70/169.71 c 66.7609 126.777 6260 4737131 169.70/169.71 o 226 169.70/169.75 c 66.7848 126.777 6261 4737468 169.70/169.75 o 225 169.70/169.79 c 66.8058 126.777 6262 4737774 169.70/169.79 o 224 169.79/169.83 c 66.8318 126.777 6268 4738119 169.79/169.83 o 223 169.79/169.88 c 66.8608 126.777 6272 4738514 169.79/169.88 o 222 169.90/169.92 c 66.8908 126.777 6278 4738795 169.90/169.92 o 221 169.90/169.96 c 66.9158 126.777 6279 4739094 169.90/169.96 o 220 169.99/170.02 c 66.9508 126.777 6291 4739715 169.99/170.02 o 219 169.99/170.06 c 66.9748 126.777 6294 4739972 169.99/170.06 o 218 170.10/170.10 c 66.9988 126.777 6296 4740364 170.10/170.10 o 217 170.10/170.15 c 67.0248 126.777 6301 4740779 170.10/170.15 o 216 170.10/170.19 c 67.0528 126.777 6303 4741253 170.10/170.19 o 215 170.19/170.23 c 67.0768 126.777 6304 4741497 170.19/170.23 o 214 170.19/170.28 c 67.1018 126.777 6305 4741787 170.19/170.28 o 213 170.29/170.31 c 67.1228 126.777 6305 4742269 170.29/170.31 o 211 170.29/170.35 c 67.1458 126.777 6306 4742607 170.29/170.35 o 210 170.29/170.39 c 67.1658 126.777 6306 4743023 170.29/170.39 o 209 170.40/170.43 c 67.1918 126.777 6307 4743259 170.40/170.43 o 208 170.40/170.47 c 67.2138 126.777 6310 4743510 170.40/170.47 o 207 170.50/170.51 c 67.2378 126.777 6314 4743858 170.50/170.51 o 206 170.50/170.55 c 67.2628 126.777 6316 4744119 170.50/170.55 o 205 170.50/170.58 c 67.2838 126.777 6317 4744527 170.50/170.58 o 203 170.60/170.62 c 67.3068 126.777 6317 4744809 170.60/170.62 o 202 170.60/170.68 c 67.3348 126.777 6321 4745181 170.60/170.68 o 201 170.79/170.90 c 67.4188 126.777 6360 4745771 170.79/170.90 o 200 170.89/170.99 c 67.4757 126.777 6392 4746127 170.89/170.99 o 199 171.00/171.06 c 67.5237 126.777 6425 4746482 171.00/171.06 o 198 171.10/171.11 c 67.5487 126.777 6426 4746781 171.10/171.11 o 197 171.10/171.18 c 67.5777 126.777 6431 4747108 171.10/171.18 o 196 171.20/171.22 c 67.5997 126.777 6434 4747374 171.20/171.22 o 195 171.20/171.26 c 67.6267 126.777 6437 4747862 171.20/171.26 o 194 171.30/171.30 c 67.6457 126.777 6437 4748182 171.30/171.30 o 193 171.30/171.34 c 67.6707 126.777 6439 4748569 171.30/171.34 o 192 171.30/171.37 c 67.6947 126.777 6439 4748902 171.30/171.37 o 191 171.40/171.41 c 67.7157 126.777 6439 4749211 171.40/171.41 o 190 171.40/171.45 c 67.7407 126.777 6442 4749547 171.40/171.45 o 189 171.40/171.49 c 67.7647 126.777 6442 4749803 171.40/171.49 o 188 171.50/171.53 c 67.7897 126.777 6443 4750161 171.50/171.53 o 187 171.50/171.59 c 67.8207 126.777 6446 4750412 171.50/171.59 o 186 171.60/171.63 c 67.8427 126.777 6447 4750699 171.60/171.63 o 185 171.60/171.67 c 67.8657 126.777 6448 4750976 171.60/171.67 o 184 171.70/171.70 c 67.8877 126.777 6451 4751420 171.70/171.70 o 183 171.70/171.74 c 67.9127 126.777 6454 4751692 171.70/171.74 o 182 171.70/171.78 c 67.9407 126.777 6457 4751909 171.70/171.78 o 181 171.79/171.83 c 67.9797 126.777 6478 4752234 171.79/171.83 o 180 171.79/171.87 c 68.0047 126.777 6482 4752573 171.79/171.87 o 179 171.90/171.90 c 68.0267 126.777 6484 4752810 171.90/171.90 o 178 171.90/171.95 c 68.0577 126.777 6511 4753306 171.90/171.95 o 176 171.99/172.08 c 68.1246 126.777 6550 4753958 171.99/172.08 o 175 172.09/172.13 c 68.1576 126.777 6555 4754295 172.09/172.13 o 174 172.09/172.19 c 68.1876 126.777 6570 4754756 172.09/172.19 o 173 172.20/172.23 c 68.2116 126.777 6571 4755220 172.20/172.23 o 171 172.20/172.28 c 68.2366 126.777 6574 4755546 172.20/172.28 o 170 172.29/172.33 c 68.2646 126.777 6586 4755974 172.29/172.33 o 169 172.29/172.37 c 68.2876 126.777 6589 4756539 172.29/172.37 o 167 172.39/172.41 c 68.3086 126.777 6594 4756868 172.39/172.41 o 166 172.39/172.47 c 68.3336 126.777 6604 4757329 172.39/172.47 o 165 172.49/172.51 c 68.3606 126.777 6607 4757696 172.49/172.51 o 164 172.49/172.55 c 68.3836 126.777 6607 4757953 172.49/172.55 o 163 172.49/172.59 c 68.4046 126.777 6608 4758213 172.49/172.59 o 162 172.60/172.64 c 68.4326 126.777 6616 4758548 172.60/172.64 o 161 172.60/172.69 c 68.4656 126.777 6622 4758973 172.60/172.69 o 160 172.70/172.74 c 68.5026 126.777 6637 4759265 172.70/172.74 o 159 172.80/172.80 c 68.5346 126.777 6642 4759553 172.80/172.80 o 158 172.80/172.84 c 68.5586 126.777 6644 4759853 172.80/172.84 o 157 172.80/172.88 c 68.5836 126.777 6644 4760094 172.80/172.88 o 156 172.90/172.91 c 68.6076 126.777 6645 4760513 172.90/172.91 o 155 172.90/172.95 c 68.6326 126.777 6645 4760924 172.90/172.95 o 154 172.90/172.99 c 68.6556 126.777 6647 4761171 172.90/172.99 o 153 173.00/173.03 c 68.6786 126.777 6647 4761729 173.00/173.03 o 151 173.00/173.07 c 68.6996 126.777 6647 4762016 173.00/173.07 o 150 173.10/173.10 c 68.7226 126.777 6647 4762335 173.10/173.10 o 149 173.20/173.21 c 68.7685 126.777 6661 4762599 173.20/173.21 o 148 173.29/173.31 c 68.8055 126.777 6681 4762934 173.29/173.31 o 147 173.29/173.36 c 68.8405 126.777 6695 4763343 173.29/173.36 o 146 173.40/173.41 c 68.8695 126.777 6699 4763712 173.40/173.41 o 145 173.40/173.46 c 68.8965 126.777 6703 4764271 173.40/173.46 o 144 173.49/173.52 c 68.9265 126.777 6707 4764602 173.49/173.52 o 143 173.49/173.56 c 68.9505 126.777 6707 4764917 173.49/173.56 o 142 173.60/173.60 c 68.9735 126.777 6707 4765175 173.60/173.60 o 141 173.60/173.64 c 68.9955 126.777 6707 4765435 173.60/173.64 o 140 173.60/173.67 c 69.0185 126.777 6707 4765708 173.60/173.67 o 139 173.70/173.71 c 69.0415 126.777 6708 4766007 173.70/173.71 o 138 173.70/173.75 c 69.0645 126.777 6708 4766289 173.70/173.75 o 137 173.70/173.79 c 69.0865 126.777 6708 4766548 173.70/173.79 o 136 173.81/173.83 c 69.1055 126.777 6708 4766794 173.81/173.83 o 135 173.81/173.87 c 69.1245 126.777 6710 4767126 173.81/173.87 o 134 173.90/173.90 c 69.1485 126.777 6710 4767580 173.90/173.90 o 132 173.90/173.95 c 69.1755 126.777 6712 4767936 173.90/173.95 o 131 173.90/173.99 c 69.2015 126.777 6714 4768243 173.90/173.99 o 130 174.00/174.03 c 69.2255 126.777 6717 4768497 174.00/174.03 o 129 174.00/174.08 c 69.2485 126.777 6718 4768842 174.00/174.08 o 128 174.09/174.11 c 69.2745 126.777 6718 4769165 174.09/174.11 o 127 174.09/174.15 c 69.3005 126.777 6718 4769459 174.09/174.15 o 126 174.09/174.19 c 69.3215 126.777 6718 4769763 174.09/174.19 o 125 174.19/174.23 c 69.3455 126.777 6718 4770052 174.19/174.23 o 124 174.19/174.27 c 69.3695 126.777 6718 4770323 174.19/174.27 o 123 174.30/174.30 c 69.3915 126.777 6718 4770634 174.30/174.30 o 122 174.30/174.34 c 69.4144 126.777 6718 4770900 174.30/174.34 o 121 174.30/174.38 c 69.4384 126.777 6718 4771160 174.30/174.38 o 120 174.39/174.42 c 69.4644 126.777 6718 4771452 174.39/174.42 o 119 174.39/174.45 c 69.4904 126.777 6719 4771767 174.39/174.45 o 118 174.39/174.49 c 69.5184 126.777 6720 4772035 174.39/174.49 o 117 174.50/174.53 c 69.5424 126.777 6720 4772308 174.50/174.53 o 116 174.50/174.57 c 69.5674 126.777 6721 4772601 174.50/174.57 o 115 174.60/174.61 c 69.5944 126.777 6723 4772907 174.60/174.61 o 114 174.80/174.88 c 69.7384 126.777 6843 4773627 174.80/174.88 o 113 174.91/174.95 c 69.7794 126.777 6874 4773938 174.91/174.95 o 112 174.91/174.98 c 69.8024 126.777 6877 4774210 174.91/174.98 o 111 174.99/175.02 c 69.8194 126.777 6880 4774428 174.99/175.02 o 110 174.99/175.06 c 69.8434 126.777 6883 4774681 174.99/175.06 o 109 175.09/175.12 c 69.8744 126.777 6889 4774963 175.09/175.12 o 108 175.09/175.16 c 69.9014 126.777 6890 4775181 175.09/175.16 o 107 175.20/175.20 c 69.9254 126.777 6891 4775507 175.20/175.20 o 106 175.20/175.24 c 69.9504 126.777 6893 4775782 175.20/175.24 o 105 175.20/175.28 c 69.9694 126.777 6893 4776159 175.20/175.28 o 104 175.30/175.33 c 70.0014 126.777 6896 4776526 175.30/175.33 o 103 175.30/175.37 c 70.0214 126.777 6896 4776840 175.30/175.37 o 102 175.39/175.40 c 70.0444 126.777 6896 4777124 175.39/175.40 o 101 175.39/175.44 c 70.0653 126.777 6896 4777403 175.39/175.44 o 100 175.39/175.48 c 70.0863 126.777 6896 4777655 175.39/175.48 o 99 175.50/175.52 c 70.1053 126.777 6896 4777938 175.50/175.52 o 98 175.50/175.55 c 70.1233 126.777 6896 4778270 175.50/175.55 o 97 175.50/175.59 c 70.1483 126.777 6897 4778649 175.50/175.59 o 96 175.60/175.63 c 70.1723 126.777 6898 4778953 175.60/175.63 o 95 175.60/175.67 c 70.1943 126.777 6899 4779217 175.60/175.67 o 94 175.69/175.71 c 70.2163 126.777 6899 4779521 175.69/175.71 o 93 175.69/175.75 c 70.2403 126.777 5344 4779843 175.69/175.75 o 92 175.69/175.78 c 70.2633 126.777 5347 4780121 175.69/175.78 o 91 175.79/175.82 c 70.2873 126.777 5348 4780365 175.79/175.82 o 90 175.79/175.85 c 70.3093 126.777 5348 4780599 175.79/175.85 o 89 175.79/175.89 c 70.3313 126.777 5348 4780833 175.79/175.89 o 88 175.90/175.92 c 70.3533 126.777 5348 4781145 175.90/175.92 o 87 175.90/175.96 c 70.3743 126.777 5349 4781421 175.90/175.96 o 86 176.00/176.00 c 70.3993 126.777 4142 4781882 176.00/176.00 o 85 176.00/176.04 c 70.4193 126.777 4142 4782169 176.00/176.04 o 84 176.00/176.07 c 70.4423 126.777 4142 4782470 176.00/176.07 o 83 176.09/176.10 c 70.4623 126.777 4142 4782717 176.09/176.10 o 82 176.09/176.13 c 70.4833 126.777 4142 4782953 176.09/176.13 o 81 176.09/176.17 c 70.5043 126.777 4142 4783196 176.09/176.17 o 80 176.19/176.20 c 70.5293 126.777 3326 4783426 176.19/176.20 o 79 176.19/176.23 c 70.5513 126.777 3326 4783656 176.19/176.23 o 78 176.19/176.26 c 70.5693 126.777 3326 4783862 176.19/176.26 o 77 176.30/176.30 c 70.5913 126.777 3327 4784098 176.30/176.30 o 76 176.30/176.33 c 70.6153 126.777 3328 4784308 176.30/176.33 o 75 176.30/176.37 c 70.6383 126.777 3333 4784691 176.30/176.37 o 74 176.39/176.40 c 70.6623 126.777 3049 4785080 176.39/176.40 o 73 176.39/176.45 c 70.6883 126.777 3057 4785326 176.39/176.45 o 72 176.49/176.54 c 70.7602 126.777 3152 4786145 176.49/176.54 o 70 176.49/176.58 c 70.7882 126.777 3159 4786451 176.49/176.58 o 69 176.59/176.62 c 70.8162 126.777 3169 4786774 176.59/176.62 o 68 176.59/176.67 c 70.8502 126.777 3176 4787095 176.59/176.67 o 67 176.70/176.76 c 70.9102 126.777 3103 4787428 176.70/176.76 o 66 176.70/176.79 c 70.9332 126.777 3105 4787739 176.70/176.79 o 65 176.79/176.83 c 70.9552 126.777 3108 4787998 176.79/176.83 o 64 176.79/176.89 c 70.9902 126.777 3115 4788260 176.79/176.89 o 63 176.90/176.93 c 71.0112 126.777 3058 4788509 176.90/176.93 o 62 176.90/176.96 c 71.0322 126.777 3063 4788785 176.90/176.96 o 61 176.90/176.99 c 71.0532 126.777 3066 4789056 176.90/176.99 o 60 177.00/177.02 c 71.0742 126.777 3068 4789378 177.00/177.02 o 59 177.00/177.05 c 71.0942 126.777 3068 4789629 177.00/177.05 o 58 177.00/177.08 c 71.1152 126.777 3083 4789906 177.00/177.08 o 57 177.29/177.34 c 71.2792 126.777 3130 4790844 177.29/177.34 o 56 177.29/177.38 c 71.3082 126.777 3163 4791267 177.29/177.38 o 55 177.39/177.42 c 71.3342 126.777 3169 4791490 177.39/177.42 o 54 177.39/177.46 c 71.3542 126.777 3162 4791721 177.39/177.46 o 53 177.39/177.49 c 71.3751 126.777 3167 4792171 177.39/177.49 o 51 177.49/177.52 c 71.3971 126.777 3173 4792518 177.49/177.52 o 50 177.49/177.55 c 71.4151 126.777 3173 4792701 177.49/177.55 o 49 177.49/177.57 c 71.4341 126.777 3173 4792987 177.49/177.57 o 48 177.59/177.62 c 71.4741 126.777 3209 4793479 177.59/177.62 o 46 177.59/177.65 c 71.5011 126.777 3189 4793706 177.59/177.65 o 45 177.59/177.68 c 71.5191 126.777 3194 4793967 177.59/177.68 o 44 177.69/177.71 c 71.5381 126.777 3194 4794204 177.69/177.71 o 43 177.69/177.73 c 71.5571 126.777 3196 4794436 177.69/177.73 o 42 177.69/177.76 c 71.5741 126.777 3198 4794645 177.69/177.76 o 41 177.69/177.78 c 71.5911 126.777 3202 4794857 177.69/177.78 o 40 177.80/177.81 c 71.6121 126.777 3162 4795090 177.80/177.81 o 39 177.80/177.84 c 71.6351 126.777 3171 4795310 177.80/177.84 o 38 177.80/177.88 c 71.6651 126.777 3219 4795704 177.80/177.88 o 37 177.90/177.99 c 71.7271 126.777 3262 4796734 177.90/177.99 o 36 178.00/178.02 c 71.7481 126.777 3265 4796984 178.00/178.02 o 35 178.00/178.04 c 71.7661 126.777 3268 4797221 178.00/178.04 o 34 178.00/178.06 c 71.7831 126.777 3270 4797442 178.00/178.06 o 33 178.00/178.09 c 71.8031 126.777 3270 4797655 178.00/178.09 o 32 178.10/178.14 c 71.8461 126.777 3287 4798006 178.10/178.14 o 31 178.10/178.18 c 71.8761 126.777 3310 4798330 178.10/178.18 o 30 178.10/178.20 c 71.8941 126.777 3253 4798548 178.10/178.20 o 29 178.20/178.23 c 71.9151 126.777 3256 4798792 178.20/178.23 o 28 178.20/178.25 c 71.9291 126.777 3259 4799006 178.20/178.25 o 27 178.20/178.27 c 71.9451 126.777 3260 4799237 178.20/178.27 o 26 178.20/178.29 c 71.9611 126.777 3261 4799428 178.20/178.29 o 25 178.29/178.31 c 71.9811 126.777 3268 4799673 178.29/178.31 o 24 178.29/178.34 c 72.0031 126.777 3276 4800060 178.29/178.34 o 23 178.29/178.36 c 72.0241 126.777 3248 4800301 178.29/178.36 o 22 178.29/178.39 c 72.042 126.777 3253 4800666 178.29/178.39 o 21 178.39/178.41 c 72.064 126.777 3263 4800900 178.39/178.41 o 20 178.39/178.44 c 72.081 126.777 3270 4801179 178.39/178.44 o 19 178.39/178.48 c 72.115 126.777 3308 4801768 178.39/178.48 o 18 178.50/178.51 c 72.143 126.777 3285 4802166 178.50/178.51 o 17 178.50/178.54 c 72.171 126.777 3310 4802404 178.50/178.54 o 16 178.50/178.57 c 72.194 126.777 3327 4802792 178.50/178.57 o 15 178.60/178.60 c 72.216 126.777 3330 4803106 178.60/178.60 o 14 178.60/178.62 c 72.232 126.777 3322 4803348 178.60/178.62 o 13 178.60/178.64 c 72.245 126.777 3323 4803550 178.60/178.64 o 12 178.60/178.65 c 72.259 126.777 3323 4803761 178.60/178.65 o 11 178.60/178.67 c 72.273 126.777 3323 4803963 178.60/178.67 o 10 178.60/178.69 c 72.287 126.777 3323 4804162 178.60/178.69 o 9 178.69/178.70 c 72.301 126.777 3323 4804368 178.69/178.70 o 8 178.69/178.72 c 72.315 126.777 3323 4804557 178.69/178.72 o 7 178.69/178.73 c 72.329 126.777 3326 4804759 178.69/178.73 o 6 178.69/178.79 c 72.383 126.777 3412 4805391 178.69/178.79 o 5 178.79/178.81 c 72.399 126.777 3080 4805628 178.79/178.82 o 4 178.89/178.92 c 72.505 126.777 3192 4805989 178.89/178.92 o 3 178.89/178.99 c 72.573 126.777 3347 4806772 178.89/178.99 o 2 179.00/179.01 c 72.587 126.777 3347 4806987 179.00/179.01 o 1 185.40/185.46 c 78.844 129.156 18444 4852027 185.40/185.46 s OPTIMUM FOUND 185.40/185.46 v x1 x2 x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 x53 x54 x55 x56 x57 x58 x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 x214 x215 x216 -x217 x218 x219 x220 x221 x222 x223 x224 -x225 -x226 x227 x228 x229 x230 x231 x232 x233 x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 x273 -x274 x275 x276 x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 x301 x302 x303 x304 -x305 -x306 x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 x325 -x326 x327 -x328 -x329 -x330 -x331 x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 -x341 x342 -x343 -x344 x345 -x346 x347 -x348 x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 x377 -x378 -x379 x380 -x381 x382 -x383 -x384 x385 -x386 x387 -x388 -x389 x390 -x391 x392 -x393 -x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 x419 x420 x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 x435 x436 x437 x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 x497 x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 -x587 -x588 x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 x638 x639 -x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 -x708 -x709 -x710 x711 -x712 -x713 x714 x715 x716 x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 x812 x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 x855 x856 x857 x858 x859 -x860 -x861 -x862 x863 -x864 -x865 x866 -x867 x868 -x869 -x870 x871 -x872 x873 -x874 -x875 x876 -x877 x878 -x879 -x880 x881 -x882 x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 x917 -x918 -x919 x920 -x921 x922 -x923 -x924 x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 x952 x953 x954 -x955 -x956 x957 x958 x959 -x960 -x961 x962 x963 x964 -x965 -x966 -x967 -x968 x969 -x970 x971 -x972 -x973 x974 -x975 x976 -x977 -x978 -x979 x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 x1031 x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 x1060 x1061 x1062 -x1063 x1064 x1065 x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 x1080 -x1081 -x1082 x1083 x1084 x1085 -x1086 x1087 x1088 x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 x1106 x1107 x1108 -x1109 x1110 x1111 x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 x1177 x1178 x1179 -x1180 x1181 x1182 x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 -x1228 x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 -x1240 x1241 -x1242 -x1243 x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 x1411 x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 x1514 x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 x1744 -x1745 x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 -x1888 x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 x1908 x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 x1987 x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 x2136 -x2137 x2138 -x2139 x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 x2180 x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 x2355 -x2356 x2357 -x2358 x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 x2487 x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 x2546 x2547 x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 x2580 x2581 x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 x2833 x2834 -x2835 -x2836 -x2837 -x2838 x2839 x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 x3029 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 x3439 x3440 x3441 x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 x3510 x3511 x3512 -x3513 -x3514 -x3515 x3516 x3517 -x3518 -x3519 -x3520 -x3521 x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 x3529 x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 x3594 x3595 x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 x3630 x3631 x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 x3723 -x3724 -x3725 x3726 -x3727 x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 x3741 x3742 x3743 x3744 x3745 x3746 x3747 x3748 x3749 x3750 x3751 -x3752 x3753 x3754 x3755 x3756 x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 x3771 x3772 x3773 x3774 x3775 x3776 x3777 x3778 x3779 -x3780 -x3781 -x3782 x3783 x3784 x3785 x3786 x3787 x3788 x3789 x3790 x3791 x3792 x3793 x3794 x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 x4194 x4195 x4196 -x4197 -x4198 -x4199 x4200 x4201 x4202 x4203 -x4204 -x4205 -x4206 x4207 x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 x4279 -x4280 -x4281 -x4282 -x4283 x4284 x4285 x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 x4447 x4448 x4449 x4450 x4451 x4452 x4453 x4454 x4455 x4456 x4457 x4458 x4459 x4460 x4461 -x4462 x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 x4472 x4473 x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 x4498 x4499 x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 x4546 -x4547 -x4548 x4549 -x4550 x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 -x4572 -x4573 x4574 -x4575 -x4576 x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 x4585 x4586 -x4587 -x4588 -x4589 x4590 -x4591 x4592 -x4593 x4594 -x4595 -x4596 -x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 x4606 x4607 -x4608 x4609 -x4610 x4611 x4612 x4613 x4614 x4615 x4616 x4617 -x4618 x4619 x4620 x4621 x4622
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699127-1278465237/watcher-2699127-1278465237 -o /tmp/evaluation-result-2699127-1278465237/solver-2699127-1278465237 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699127-1278465237.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12266 /proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=2136 CPUtime=0 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 256 0 0 0 0 0 0 0 23 0 1 0 14737108 2187264 175 4089446400 134512640 136422188 4294452912 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12266/statm: 534 175 144 467 0 65 0 [startup+0.010257 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12266 /proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=2136 CPUtime=0 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 269 0 0 0 0 0 0 0 23 0 1 0 14737108 2187264 188 4089446400 134512640 136422188 4294452912 18446744073709551615 135372822 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12266/statm: 534 189 144 467 0 65 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2136 [startup+0.100245 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12266 /proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=9968 CPUtime=0.09 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 2179 0 0 0 9 0 0 0 24 0 1 0 14737108 10207232 2099 4089446400 134512640 136422188 4294452912 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 2492 2101 193 467 0 2023 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9968 [startup+0.300211 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12266 /proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=60448 CPUtime=0.29 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 15389 0 0 0 27 2 0 0 25 0 1 0 14737108 61898752 14665 4089446400 134512640 136422188 4294452912 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 15112 14668 193 467 0 14643 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 60448 [startup+0.700136 s] /proc/loadavg: 2.00 2.00 1.95 3/178 12266 /proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=121780 CPUtime=0.69 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 31529 0 0 0 66 3 0 0 25 0 1 0 14737108 124702720 29338 4089446400 134512640 136422188 4294452912 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 30445 29338 207 467 0 29976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 121780 [startup+1.501 s] /proc/loadavg: 2.00 2.00 1.95 3/179 12267 /proc/meminfo: memFree=30240236/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=123800 CPUtime=1.49 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 31977 0 0 0 131 18 0 0 25 0 1 0 14737108 126771200 29786 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 30950 29786 214 467 0 30481 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 123800 [startup+3.10077 s] /proc/loadavg: 2.00 2.00 1.95 3/179 12267 /proc/meminfo: memFree=30239380/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=125480 CPUtime=3.09 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32506 0 0 0 168 141 0 0 25 0 1 0 14737108 128491520 29931 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 31370 29931 237 467 0 30901 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 125480 [startup+6.30014 s] /proc/loadavg: 2.00 2.00 1.95 3/179 12267 /proc/meminfo: memFree=30238344/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=126008 CPUtime=6.29 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32651 0 0 0 300 329 0 0 25 0 1 0 14737108 129032192 30054 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 31502 30054 237 467 0 31033 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 126008 [startup+12.701 s] /proc/loadavg: 2.00 2.00 1.95 3/179 12267 /proc/meminfo: memFree=30238216/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=126536 CPUtime=12.69 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32781 0 0 0 543 726 0 0 25 0 1 0 14737108 129572864 30168 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 31634 30168 237 467 0 31165 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 126536 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 1.95 3/179 12267 /proc/meminfo: memFree=30234416/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=127064 CPUtime=25.49 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32970 0 0 0 1010 1539 0 0 25 0 1 0 14737108 130113536 30318 4089446400 134512640 136422188 4294452912 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 31766 30318 237 467 0 31297 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 127064 [startup+51.1002 s] /proc/loadavg: 2.07 2.02 1.96 3/179 12269 /proc/meminfo: memFree=30233248/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=127988 CPUtime=51.1 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 33231 0 0 0 1888 3222 0 0 25 0 1 0 14737108 131059712 30569 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 31997 30569 237 467 0 31528 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 127988 [startup+102.306 s] /proc/loadavg: 2.03 2.01 1.96 3/179 12269 /proc/meminfo: memFree=30231700/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=129044 CPUtime=102.3 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 33609 0 0 0 3747 6483 0 0 25 0 1 0 14737108 132141056 30822 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12266/statm: 32261 30822 237 467 0 31792 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 129044 [startup+162.301 s] /proc/loadavg: 2.01 2.01 1.96 3/179 12271 /proc/meminfo: memFree=30229520/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=129816 CPUtime=162.3 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34237 0 0 0 6311 9919 0 0 25 0 1 0 14737108 132931584 30955 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 32454 30955 237 467 0 31985 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 129816 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 2.01 2.00 1.96 3/179 12271 /proc/meminfo: memFree=30228276/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=129816 CPUtime=166.29 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34294 0 0 0 6501 10128 0 0 25 0 1 0 14737108 132931584 30964 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 32454 30964 237 467 0 31985 0 Current children cumulated CPU time (s) 166.29 Current children cumulated vsize (KiB) 129816 [startup+179.101 s] /proc/loadavg: 2.01 2.00 1.96 3/179 12271 /proc/meminfo: memFree=30227764/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=129816 CPUtime=179.1 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34548 0 0 0 7267 10643 0 0 25 0 1 0 14737108 132931584 30967 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 32454 30967 237 467 0 31985 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 129816 [startup+182.301 s] /proc/loadavg: 2.01 2.00 1.96 3/179 12272 /proc/meminfo: memFree=30227884/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=130080 CPUtime=182.3 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34623 0 0 0 7576 10654 0 0 25 0 1 0 14737108 133201920 31042 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 32520 31042 237 467 0 32051 0 Current children cumulated CPU time (s) 182.3 Current children cumulated vsize (KiB) 130080 [startup+183.901 s] /proc/loadavg: 2.00 2.00 1.96 3/179 12272 /proc/meminfo: memFree=30226892/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=131136 CPUtime=183.9 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34900 0 0 0 7732 10658 0 0 25 0 1 0 14737108 134283264 31319 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 32784 31319 237 467 0 32315 0 Current children cumulated CPU time (s) 183.9 Current children cumulated vsize (KiB) 131136 [startup+184.701 s] /proc/loadavg: 2.00 2.00 1.96 3/179 12272 /proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=131664 CPUtime=184.7 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35044 0 0 0 7810 10660 0 0 25 0 1 0 14737108 134823936 31463 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 32916 31463 237 467 0 32447 0 Current children cumulated CPU time (s) 184.7 Current children cumulated vsize (KiB) 131664 [startup+185.1 s] /proc/loadavg: 2.00 2.00 1.96 3/179 12272 /proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=131928 CPUtime=185.09 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35104 0 0 0 7848 10661 0 0 25 0 1 0 14737108 135094272 31523 4089446400 134512640 136422188 4294452912 18446744073709551615 134860008 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 32982 31523 237 467 0 32513 0 Current children cumulated CPU time (s) 185.09 Current children cumulated vsize (KiB) 131928 [startup+185.5 s] /proc/loadavg: 2.00 2.00 1.96 3/179 12272 /proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=124396 CPUtime=185.5 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35162 0 0 0 7888 10662 0 0 25 0 1 0 14737108 127381504 29980 4089446400 134512640 136422188 4294452912 18446744073709551615 135801495 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 31099 29980 240 467 0 30630 0 Current children cumulated CPU time (s) 185.5 Current children cumulated vsize (KiB) 124396 [startup+185.6 s] /proc/loadavg: 2.00 2.00 1.96 3/179 12272 /proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956 [pid=12266] ppid=12264 vsize=120300 CPUtime=185.59 /proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35162 0 0 0 7897 10662 0 0 25 0 1 0 14737108 123187200 29165 4089446400 134512640 136422188 4294452912 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12266/statm: 30075 29165 240 467 0 29606 0 Current children cumulated CPU time (s) 185.59 Current children cumulated vsize (KiB) 120300 Child status: 0 Real time (s): 185.681 CPU time (s): 185.685 CPU user time (s): 79.055 CPU system time (s): 106.63 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 132252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 79.055 system time used= 106.63 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35163 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 720 runsolver used 0.336948 second user time and 0.687895 second system time The end
Begin job on node124 at 2010-07-07 03:13:57 IDJOB=2699127 IDBENCH=79332 IDSOLVER=1212 FILE ID=node124/2699127-1278465237 PBS_JOBID= 11233745 Free space on /tmp= 130268 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699127-1278465237/watcher-2699127-1278465237 -o /tmp/evaluation-result-2699127-1278465237/solver-2699127-1278465237 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699127-1278465237.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65e5bfc23cfeb9f0d41691b20b2e7f01 RANDOM SEED=285176452 node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30358324 kB Buffers: 106180 kB Cached: 2235616 kB SwapCached: 0 kB Active: 839212 kB Inactive: 1648112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30358324 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2404 kB Writeback: 0 kB AnonPages: 146036 kB Mapped: 15464 kB Slab: 72052 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 287392 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130268 MiB End job on node124 at 2010-07-07 03:17:03