Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 158.401 | 158.397 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo |
MD5SUM | 3ccb93ae8827142e7c54ff7ef98be667 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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 | 0.111982 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5985 |
Total number of constraints | 15365 |
Number of soft constraints | 10251 |
Number of constraints which are clauses | 14013 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1352 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Top cost | 518757 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 518756 |
Biggest number in a constraint | 165 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 546 |
Number of bits of the biggest sum of numbers | 10 |
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.09/0.11 c constraints 457/895 clauses 4654/9352 units 3 0.09/0.11 c vars 5985 2.69/2.74 c 1.57176 164.117 286 900909 2.69/2.74 o 13509 3.09/3.14 c 1.68074 166.309 360 1130300 3.09/3.14 o 13255 3.69/3.71 c 1.84672 166.309 523 1451930 3.69/3.71 o 13106 3.79/3.86 c 1.89871 166.309 581 1532062 3.79/3.86 o 12846 3.89/3.99 c 1.9557 166.309 642 1592671 3.89/3.99 o 11705 3.99/4.08 c 1.9987 166.309 699 1632059 3.99/4.08 o 11684 4.19/4.22 c 2.04969 166.309 753 1702915 4.19/4.22 o 9978 4.30/4.37 c 2.09968 166.309 831 1767147 4.30/4.37 o 9541 4.49/4.50 c 2.16567 166.309 996 1812954 4.49/4.50 o 8542 4.60/4.67 c 2.26566 166.309 1185 1864289 4.60/4.67 o 7839 4.79/4.80 c 2.31865 166.309 1262 1917111 4.79/4.80 o 6199 4.89/4.93 c 2.37664 166.438 1320 1968431 4.89/4.93 o 6065 4.99/5.02 c 2.41963 166.438 1340 2005388 4.99/5.02 o 5225 5.40/5.45 c 2.58961 166.438 1536 2068657 5.40/5.45 o 4817 5.50/5.58 c 2.6516 166.438 1629 2098041 5.50/5.58 o 4816 5.59/5.67 c 2.71359 166.438 1728 2113766 5.59/5.67 o 4759 5.69/5.77 c 2.77158 166.438 1758 2148423 5.69/5.77 o 4271 5.79/5.84 c 2.80357 166.438 1773 2171612 5.79/5.84 o 3436 6.59/6.68 c 3.20651 166.566 2180 2211714 6.59/6.68 o 3433 7.09/7.10 c 3.36849 166.566 2293 2253421 7.09/7.10 o 3430 11.79/11.83 c 4.79527 167.082 4043 2296063 11.79/11.83 o 3429 12.30/12.36 c 5.01624 167.211 4154 2333319 12.30/12.36 o 3418 12.39/12.47 c 5.07523 167.211 4208 2354343 12.39/12.47 o 3384 12.59/12.61 c 5.15522 167.211 4258 2391099 12.59/12.61 o 2928 12.70/12.71 c 5.22221 167.211 4291 2403569 12.70/12.71 o 2925 12.79/12.83 c 5.29019 167.211 4339 2409758 12.79/12.83 o 2922 12.89/12.94 c 5.35518 167.211 4379 2437595 12.89/12.94 o 2564 12.99/13.02 c 5.39718 167.211 4386 2463394 12.99/13.02 o 2537 12.99/13.09 c 5.44417 167.211 4393 2469830 12.99/13.09 o 2534 13.20/13.21 c 5.51316 167.211 4411 2490832 13.20/13.21 o 2498 13.30/13.35 c 5.57915 167.211 4459 2499048 13.30/13.35 o 2496 13.59/13.67 c 5.74813 167.211 4533 2525547 13.59/13.67 o 2489 14.09/14.13 c 5.9391 167.211 4668 2566816 14.09/14.13 o 2349 14.20/14.27 c 6.00909 167.211 4703 2576736 14.20/14.27 o 2343 14.79/14.83 c 6.21406 167.211 4815 2587173 14.79/14.83 o 2337 15.49/15.58 c 6.53301 167.34 5093 2603174 15.49/15.58 o 2336 15.59/15.65 c 6.578 167.34 5104 2608318 15.59/15.65 o 2322 15.80/15.80 c 6.65099 167.34 5143 2630572 15.80/15.80 o 2320 15.89/15.91 c 6.71098 167.34 5158 2634156 15.89/15.91 o 2317 15.99/16.00 c 6.76697 167.34 5194 2656216 15.99/16.00 o 2273 16.09/16.10 c 6.81696 167.34 5212 2667942 16.09/16.10 o 2269 16.19/16.21 c 6.88495 167.34 5272 2693638 16.19/16.21 o 2263 16.19/16.28 c 6.92695 167.34 5282 2710282 16.19/16.28 o 2225 16.29/16.39 c 6.99194 167.34 5306 2727424 16.29/16.39 o 2223 16.40/16.48 c 7.04693 167.34 5325 2739650 16.40/16.48 o 2221 16.50/16.56 c 7.09792 167.34 5364 2756225 16.50/16.56 o 2203 16.69/16.78 c 7.18591 167.34 5401 2773760 16.69/16.78 o 2197 16.79/16.83 c 7.2299 167.34 5431 2778288 16.79/16.83 o 2190 16.89/16.94 c 7.28389 167.34 5449 2818728 16.89/16.94 o 2144 16.99/17.03 c 7.33588 167.34 5462 2835422 16.99/17.03 o 2142 16.99/17.09 c 7.37388 167.34 5468 2839075 16.99/17.09 o 2138 17.09/17.16 c 7.40787 167.34 5473 2848247 17.09/17.16 o 2134 17.19/17.24 c 7.45787 167.34 5480 2863316 17.19/17.24 o 2130 17.30/17.32 c 7.50586 167.34 5494 2872558 17.30/17.32 o 2129 17.30/17.38 c 7.54585 167.34 5509 2883994 17.30/17.38 o 2118 17.39/17.49 c 7.60884 167.34 5556 2911096 17.39/17.49 o 2102 17.50/17.54 c 7.64884 167.34 5562 2917598 17.50/17.54 o 2101 17.50/17.60 c 7.67683 167.34 5567 2929936 17.50/17.60 o 2072 17.59/17.66 c 7.71783 167.34 5572 2933929 17.59/17.66 o 2070 17.69/17.73 c 7.76282 167.34 5579 2936370 17.69/17.73 o 2069 17.80/17.80 c 7.80581 167.34 5593 2951263 17.80/17.80 o 2038 17.80/17.89 c 7.85881 167.34 5608 2962064 17.80/17.89 o 2036 18.00/18.00 c 7.9188 167.34 5623 2990744 18.00/18.00 o 2034 18.00/18.06 c 7.95079 167.34 5629 3002907 18.00/18.06 o 1784 18.09/18.15 c 8.00078 167.469 5639 3012048 18.09/18.15 o 1776 18.70/18.70 c 8.21675 167.469 5744 3024766 18.70/18.70 o 1742 18.79/18.86 c 8.29874 167.469 5757 3034776 18.79/18.86 o 1737 18.89/18.99 c 8.35873 167.469 5786 3037631 18.89/18.99 o 1734 19.89/19.92 c 8.70268 167.469 6000 3046456 19.89/19.92 o 1731 19.99/20.02 c 8.76867 167.469 6018 3063334 19.99/20.02 o 1724 19.99/20.09 c 8.81066 167.469 6037 3066906 19.99/20.09 o 1721 20.29/20.35 c 8.94564 167.469 6112 3077983 20.29/20.35 o 1717 20.40/20.48 c 9.01363 167.469 6136 3081679 20.40/20.48 o 1715 20.80/20.87 c 9.1866 167.469 6294 3088826 20.80/20.87 o 1708 21.40/21.40 c 9.39357 167.598 6452 3093686 21.40/21.40 o 1706 21.49/21.51 c 9.46756 167.598 6465 3106096 21.49/21.51 o 1703 21.59/21.60 c 9.52055 167.598 6478 3116350 21.59/21.60 o 1697 21.69/21.72 c 9.60454 167.598 6491 3125104 21.69/21.72 o 1696 25.70/25.70 c 11.2763 167.727 7339 3139775 25.70/25.70 o 1695 26.39/26.45 c 11.5592 167.727 7549 3146194 26.39/26.45 o 1694 26.99/27.00 c 11.7612 167.855 7663 3164978 26.99/27.00 o 1689 27.69/27.75 c 12.0142 167.855 7779 3169615 27.69/27.75 o 1688 27.89/27.95 c 12.1222 167.855 7841 3178443 27.89/27.95 o 1683 28.19/28.28 c 12.2571 167.855 7900 3186583 28.19/28.28 o 1682 28.29/28.34 c 12.2971 167.855 7914 3199884 28.29/28.34 o 1647 28.39/28.48 c 12.3621 167.855 7950 3206205 28.39/28.48 o 1644 29.70/29.74 c 12.846 167.855 8224 3219398 29.70/29.74 o 1643 30.30/30.35 c 13.109 167.984 8367 3233339 30.30/30.35 o 1641 30.39/30.45 c 13.182 167.984 8404 3244164 30.39/30.45 o 1638 30.49/30.51 c 13.22 167.984 8408 3246497 30.49/30.51 o 1637 30.59/30.66 c 13.289 167.984 8448 3251462 30.59/30.66 o 1624 30.89/30.93 c 13.391 167.984 8511 3254688 30.89/30.93 o 1622 31.00/31.01 c 13.441 167.984 8516 3259885 31.00/31.01 o 1619 31.00/31.06 c 13.474 167.984 8521 3264836 31.00/31.06 o 1617 31.09/31.15 c 13.5309 167.984 8546 3274964 31.09/31.15 o 1608 31.19/31.20 c 13.5719 167.984 8561 3278570 31.19/31.20 o 1602 31.19/31.27 c 13.6199 167.984 8580 3284524 31.19/31.27 o 1592 31.30/31.37 c 13.6869 167.984 8630 3305631 31.30/31.37 o 1476 31.39/31.45 c 13.7299 167.984 8636 3319035 31.39/31.45 o 1475 31.49/31.59 c 13.8239 167.984 8649 3351921 31.49/31.59 o 1474 31.60/31.64 c 13.8519 167.984 8659 3360480 31.60/31.64 o 1461 31.69/31.71 c 13.8899 167.984 8668 3365451 31.69/31.71 o 1454 31.80/31.81 c 13.9549 167.984 8711 3369521 31.80/31.81 o 1448 31.90/31.98 c 14.0649 167.984 8763 3386709 31.90/31.98 o 1447 32.19/32.22 c 14.1568 167.984 8804 3389406 32.19/32.22 o 1446 32.19/32.29 c 14.2008 167.984 8810 3393343 32.19/32.29 o 1445 32.29/32.36 c 14.2388 167.984 8820 3401869 32.29/32.36 o 1431 32.79/32.86 c 14.4108 167.984 8910 3405172 32.79/32.86 o 1430 33.49/33.52 c 14.6448 168.113 9056 3409240 33.49/33.52 o 1426 33.49/33.59 c 14.6978 168.113 9074 3413746 33.49/33.59 o 1410 33.59/33.68 c 14.7398 168.113 9084 3416510 33.59/33.68 o 1408 33.80/33.80 c 14.8377 168.113 9227 3422125 33.80/33.80 o 1407 33.89/33.93 c 14.8987 168.113 9242 3425337 33.89/33.93 o 1406 34.10/34.10 c 14.9847 168.113 9307 3428878 34.10/34.10 o 1403 34.19/34.21 c 15.0537 168.113 9328 3431262 34.19/34.21 o 1401 34.39/34.41 c 15.1547 168.113 9365 3433942 34.39/34.41 o 1400 34.49/34.58 c 15.2377 168.113 9403 3436428 34.49/34.58 o 1398 34.69/34.71 c 15.3127 168.113 9466 3444066 34.69/34.71 o 1396 34.69/34.78 c 15.3577 168.113 9475 3447275 34.69/34.78 o 1391 34.79/34.85 c 15.4107 168.113 9484 3449984 34.79/34.85 o 1388 35.10/35.15 c 15.5286 168.113 9531 3456959 35.10/35.15 o 1387 35.69/35.74 c 15.7506 168.113 9637 3461582 35.69/35.74 o 1386 36.29/36.34 c 15.9746 168.113 9743 3465349 36.29/36.34 o 1385 37.99/38.00 c 16.5225 168.242 10066 3473191 37.99/38.00 o 1384 37.99/38.08 c 16.5815 168.242 10073 3478357 37.99/38.08 o 1375 38.09/38.16 c 16.6385 168.242 10132 3481218 38.09/38.16 o 1371 38.19/38.26 c 16.6945 168.242 10149 3486045 38.19/38.26 o 1366 39.09/39.12 c 16.9894 168.242 10368 3492222 39.09/39.12 o 1355 39.19/39.21 c 17.0524 168.242 10385 3496961 39.19/39.21 o 1353 39.19/39.28 c 17.1044 168.242 10401 3499830 39.19/39.28 o 1350 39.39/39.48 c 17.1854 168.242 10434 3504789 39.39/39.48 o 1349 39.60/39.62 c 17.2614 168.242 10483 3507544 39.60/39.62 o 1348 39.69/39.79 c 17.3554 168.242 10567 3520631 39.69/39.79 o 1337 39.89/39.92 c 17.4333 168.242 10590 3533290 39.89/39.92 o 1331 39.99/40.03 c 17.4923 168.242 10605 3544880 39.99/40.03 o 1325 40.09/40.17 c 17.5593 168.242 10624 3549779 40.09/40.17 o 1320 40.19/40.27 c 17.6163 168.242 10642 3551445 40.19/40.27 o 1319 40.60/40.65 c 17.8183 168.371 10769 3561738 40.60/40.65 o 1316 40.70/40.71 c 17.8633 168.371 10829 3567378 40.70/40.71 o 1315 40.70/40.78 c 17.9083 168.371 10832 3572351 40.70/40.78 o 1310 40.79/40.83 c 17.9483 168.371 10834 3579883 40.79/40.83 o 1303 40.90/40.94 c 18.0073 168.371 10847 3583925 40.90/40.94 o 1298 40.99/41.04 c 18.0783 168.371 10859 3597972 40.99/41.04 o 1294 41.10/41.13 c 18.1292 168.371 10892 3610330 41.10/41.13 o 1293 41.20/41.21 c 18.1692 168.371 10905 3616559 41.20/41.21 o 1286 41.20/41.29 c 18.2202 168.371 10915 3628013 41.20/41.29 o 1267 41.29/41.34 c 18.2602 168.371 10928 3632343 41.29/41.34 o 1256 41.39/41.40 c 18.3052 168.371 10933 3640119 41.39/41.40 o 1246 41.39/41.48 c 18.3472 168.371 10943 3645899 41.39/41.48 o 1240 41.50/41.53 c 18.3822 168.371 10945 3651276 41.50/41.53 o 1230 41.50/41.58 c 18.4152 168.371 10948 3655570 41.50/41.58 o 1218 41.59/41.66 c 18.4562 168.371 10953 3668700 41.59/41.66 o 1207 41.70/41.72 c 18.4952 168.371 10965 3685692 41.70/41.72 o 1059 41.80/41.86 c 18.5642 168.371 11005 3689138 41.80/41.86 o 1057 41.99/42.09 c 18.6622 168.371 11079 3691122 41.99/42.09 o 1056 42.09/42.18 c 18.7202 168.371 11134 3692171 42.09/42.18 o 1055 42.19/42.29 c 18.7801 168.371 11153 3693183 42.19/42.29 o 1054 42.59/42.67 c 18.9521 168.371 11221 3695922 42.59/42.67 o 1053 42.70/42.74 c 19.0031 168.371 11229 3697902 42.70/42.74 o 1052 42.70/42.79 c 19.0451 168.371 11234 3699302 42.70/42.79 o 1050 42.90/42.92 c 19.1041 168.371 11272 3702252 42.90/42.92 o 1049 42.99/43.04 c 19.1621 168.371 11288 3704403 42.99/43.04 o 1044 42.99/43.09 c 19.1981 168.371 11290 3706114 42.99/43.09 o 1041 43.10/43.16 c 19.2401 168.371 11302 3710127 43.10/43.16 o 1035 43.19/43.29 c 19.3171 168.371 11314 3715660 43.19/43.29 o 1030 43.29/43.37 c 19.3631 168.371 11319 3718117 43.29/43.37 o 1024 43.50/43.52 c 19.429 168.371 11343 3720771 43.50/43.52 o 1023 43.59/43.63 c 19.485 168.371 11365 3722831 43.59/43.63 o 1018 43.70/43.72 c 19.536 168.371 11373 3727491 43.70/43.72 o 1016 43.70/43.78 c 19.574 168.371 11375 3729922 43.70/43.78 o 1014 43.79/43.85 c 19.619 168.371 11379 3733931 43.79/43.85 o 1012 43.90/43.90 c 19.66 168.371 11381 3735989 43.90/43.90 o 1010 43.90/43.99 c 19.707 168.371 11385 3739983 43.90/43.99 o 1006 44.00/44.09 c 19.767 168.371 11391 3746434 44.00/44.09 o 1004 44.09/44.19 c 19.823 168.371 11396 3750527 44.09/44.19 o 1001 44.20/44.24 c 19.861 168.371 11398 3753181 44.20/44.24 o 995 44.29/44.32 c 19.906 168.371 11407 3755349 44.29/44.32 o 994 44.39/44.41 c 19.954 168.371 11422 3759793 44.39/44.41 o 989 44.50/44.52 c 20.017 168.371 11433 3765971 44.50/44.52 o 987 44.69/44.71 c 20.0919 168.371 11467 3769154 44.69/44.71 o 986 44.69/44.78 c 20.1379 168.371 11473 3770689 44.69/44.78 o 985 44.79/44.89 c 20.1979 168.371 11490 3772550 44.79/44.89 o 983 45.89/45.94 c 20.5389 168.5 11708 3777105 45.89/45.94 o 981 45.89/45.99 c 20.5799 168.5 11721 3779479 45.89/45.99 o 978 46.00/46.07 c 20.6329 168.5 11732 3780728 46.00/46.07 o 977 46.10/46.15 c 20.6829 168.5 11744 3784743 46.10/46.15 o 974 46.20/46.27 c 20.7518 168.5 11819 3788413 46.20/46.27 o 973 46.29/46.38 c 20.8248 168.5 11846 3796658 46.29/46.38 o 972 46.49/46.51 c 20.8928 168.5 11904 3801995 46.49/46.51 o 971 46.59/46.60 c 20.9468 168.5 11912 3807850 46.59/46.60 o 970 47.09/47.10 c 21.1318 168.5 12022 3810289 47.09/47.10 o 969 47.60/47.65 c 21.3528 168.5 12134 3814038 47.60/47.65 o 968 47.69/47.77 c 21.4257 168.5 12164 3816258 47.69/47.77 o 967 47.89/47.90 c 21.4927 168.5 12184 3817735 47.89/47.90 o 964 48.79/48.80 c 21.7907 168.629 12392 3821279 48.79/48.80 o 962 48.79/48.85 c 21.8287 168.629 12394 3822745 48.79/48.85 o 960 48.89/48.94 c 21.8867 168.629 12399 3824339 48.89/48.94 o 958 48.89/48.99 c 21.9217 168.629 12400 3826172 48.89/48.99 o 955 48.99/49.04 c 21.9647 168.629 12402 3827836 48.99/49.04 o 953 49.09/49.12 c 22.0147 168.629 12405 3829716 49.09/49.12 o 950 49.29/49.30 c 22.1056 168.629 12469 3832004 49.29/49.30 o 949 49.29/49.37 c 22.1416 168.629 12477 3834927 49.29/49.37 o 945 49.50/49.51 c 22.2146 168.629 12493 3837569 49.50/49.51 o 944 49.50/49.59 c 22.2736 168.629 12503 3847679 49.50/49.59 o 937 49.59/49.66 c 22.3156 168.629 12510 3850881 49.59/49.66 o 928 49.69/49.74 c 22.3856 168.629 12534 3852536 49.69/49.74 o 925 74.59/74.61 c 30.6543 169.789 17919 3869009 74.59/74.61 o 924 75.09/75.17 c 30.9003 169.789 18012 3870669 75.09/75.17 o 923 75.39/75.44 c 31.0713 169.789 18152 3874854 75.39/75.44 o 922 75.59/75.63 c 31.1673 169.789 18186 3876469 75.59/75.63 o 921 75.80/75.80 c 31.2772 169.973 18297 3879153 75.80/75.80 o 920 75.90/75.98 c 31.3722 169.973 18335 3882991 75.90/75.98 o 919 76.60/76.66 c 31.6402 169.973 18443 3885396 76.60/76.66 o 918 76.69/76.73 c 31.6892 169.973 18449 3886485 76.69/76.73 o 917 77.00/77.02 c 31.8222 169.973 18514 3889024 77.00/77.02 o 916 77.00/77.09 c 31.8672 169.973 18529 3890141 77.00/77.09 o 915 77.09/77.19 c 31.9451 169.973 18594 3892195 77.09/77.19 o 913 77.29/77.34 c 32.0431 169.973 18688 3895645 77.29/77.34 o 910 77.50/77.52 c 32.1331 169.973 18721 3899494 77.50/77.52 o 909 77.60/77.62 c 32.1991 169.973 18780 3903292 77.60/77.62 o 908 77.70/77.71 c 32.2471 169.973 18798 3908286 77.70/77.71 o 907 77.79/77.83 c 32.3151 169.973 18816 3911629 77.79/77.83 o 906 78.00/78.04 c 32.4061 169.973 18845 3914859 78.00/78.04 o 903 78.19/78.21 c 32.4981 169.973 18874 3918257 78.19/78.21 o 902 78.29/78.31 c 32.561 169.973 18889 3921353 78.29/78.31 o 901 79.29/79.30 c 32.944 169.973 19136 3925146 79.29/79.30 o 900 79.29/79.38 c 32.999 169.973 19146 3927745 79.29/79.38 o 899 79.39/79.45 c 33.046 169.973 19152 3929531 79.39/79.45 o 897 79.49/79.51 c 33.087 169.973 19158 3931194 79.49/79.51 o 896 79.49/79.59 c 33.153 169.973 19220 3932718 79.49/79.59 o 895 79.69/79.70 c 33.2169 169.973 9637 3936517 79.69/79.70 o 894 80.20/80.24 c 33.4119 169.973 9745 3941421 80.20/80.24 o 893 80.30/80.37 c 33.4829 169.973 9775 3943590 80.30/80.37 o 891 80.39/80.45 c 33.5269 169.973 9796 3944857 80.39/80.45 o 889 81.09/81.15 c 33.7829 169.973 10041 3948806 81.09/81.15 o 888 81.40/81.45 c 34.0108 169.973 10477 3951477 81.40/81.45 o 887 81.50/81.56 c 34.0638 169.973 10502 3952312 81.50/81.56 o 886 81.59/81.62 c 34.1058 169.973 10507 3954290 81.59/81.62 o 884 81.69/81.70 c 34.1568 169.973 10518 3956312 81.69/81.70 o 883 81.79/81.89 c 34.2328 169.973 10549 3958619 81.79/81.89 o 882 81.89/81.96 c 34.2788 169.973 10563 3960587 81.89/81.96 o 881 81.99/82.09 c 34.3388 169.973 10601 3963337 81.99/82.09 o 880 82.89/82.98 c 34.6757 169.973 10762 3966120 82.89/82.98 o 878 83.10/83.17 c 34.7607 169.973 10795 3967802 83.10/83.17 o 877 83.19/83.28 c 34.8227 169.973 10813 3969465 83.19/83.28 o 876 83.40/83.43 c 34.8887 169.973 10847 3971086 83.40/83.43 o 875 83.99/84.08 c 35.1487 169.973 11009 3973590 83.99/84.08 o 873 84.20/84.20 c 35.2096 169.973 11084 3974846 84.20/84.20 o 872 84.30/84.32 c 35.2686 169.973 11128 3975779 84.30/84.32 o 871 84.40/84.43 c 35.3466 169.973 11270 3977973 84.40/84.43 o 870 84.49/84.52 c 35.4006 169.973 11325 3979307 84.49/84.52 o 869 85.10/85.11 c 35.6046 169.973 11421 3980872 85.10/85.11 o 868 85.29/85.30 c 35.6866 169.973 11448 3983203 85.29/85.30 o 867 85.39/85.43 c 35.7506 169.973 11472 3984102 85.39/85.43 o 866 85.49/85.54 c 35.8116 169.973 11491 3986895 85.49/85.54 o 865 85.59/85.62 c 35.8595 169.973 11498 3988796 85.59/85.62 o 863 85.69/85.72 c 35.9215 169.973 11511 3991840 85.69/85.72 o 862 85.80/85.86 c 35.9975 169.973 11524 3996135 85.80/85.86 o 859 86.69/86.72 c 36.3435 169.973 11696 4000924 86.69/86.72 o 858 86.69/86.78 c 36.3875 169.973 11698 4002338 86.69/86.78 o 856 86.80/86.90 c 36.4695 169.973 11709 4004375 86.80/86.90 o 855 87.09/87.15 c 36.5744 169.973 11747 4006158 87.09/87.15 o 854 87.79/87.81 c 36.8204 169.973 11908 4009191 87.79/87.81 o 853 87.79/87.88 c 36.8654 169.973 11923 4010118 87.79/87.88 o 852 88.49/88.59 c 37.1683 169.973 12098 4013603 88.49/88.59 o 851 88.79/88.81 c 37.2683 169.973 12129 4014293 88.79/88.81 o 850 88.89/88.97 c 37.3513 169.973 12172 4015376 88.89/88.97 o 849 89.10/89.15 c 37.4483 169.973 12216 4018638 89.10/89.15 o 848 89.50/89.59 c 37.6243 169.973 12335 4020495 89.50/89.59 o 847 89.79/89.81 c 37.7243 169.973 12377 4022347 89.79/89.81 o 846 89.79/89.88 c 37.7793 169.973 12389 4023683 89.79/89.88 o 845 90.30/90.30 c 37.9932 169.973 12457 4027962 90.30/90.30 o 844 90.80/90.88 c 38.2452 169.973 12651 4030103 90.80/90.88 o 843 91.10/91.14 c 38.3402 169.973 12711 4030976 91.10/91.14 o 842 91.19/91.30 c 38.4012 169.973 12738 4031793 91.19/91.30 o 841 91.30/91.37 c 38.4532 169.973 12750 4033574 91.30/91.37 o 840 91.39/91.43 c 38.4931 169.973 12763 4034298 91.39/91.43 o 839 91.59/91.63 c 38.6131 169.973 12846 4038371 91.59/91.63 o 838 91.90/91.91 c 38.7781 169.973 12923 4040143 91.90/91.91 o 837 92.89/92.99 c 39.199 169.973 13219 4043230 92.89/92.99 o 836 93.20/93.23 c 39.298 169.973 13265 4044595 93.20/93.23 o 835 93.30/93.34 c 39.367 169.973 13291 4046108 93.30/93.34 o 833 93.60/93.66 c 39.509 169.973 13342 4047216 93.60/93.66 o 832 93.69/93.73 c 39.557 169.973 13353 4048298 93.69/93.73 o 831 93.69/93.79 c 39.597 169.973 13359 4049360 93.69/93.79 o 830 93.80/93.85 c 39.642 169.973 13385 4050190 93.80/93.85 o 829 93.90/93.91 c 39.688 169.973 13419 4051045 93.90/93.91 o 828 93.90/93.99 c 39.74 169.973 13437 4052577 93.90/93.99 o 826 93.99/94.05 c 39.779 169.973 13445 4053575 93.99/94.05 o 825 94.09/94.12 c 39.8289 169.973 13458 4055553 94.09/94.12 o 822 94.19/94.20 c 39.8799 169.973 13476 4056991 94.19/94.20 o 820 94.29/94.31 c 39.9459 169.973 13531 4059300 94.29/94.31 o 819 94.39/94.40 c 39.9979 169.973 13583 4060898 94.39/94.40 o 818 94.39/94.47 c 40.0369 169.973 13593 4062430 94.39/94.47 o 817 94.49/94.54 c 40.0769 169.973 13601 4064206 94.49/94.54 o 816 94.60/94.60 c 40.1239 169.973 13622 4065690 94.60/94.60 o 815 94.60/94.69 c 40.2019 169.973 13701 4066507 94.60/94.69 o 814 94.69/94.75 c 40.2469 169.973 13705 4068102 94.69/94.75 o 813 94.80/94.81 c 40.2889 169.973 13706 4068736 94.80/94.81 o 812 94.80/94.88 c 40.3309 169.973 13714 4070078 94.80/94.88 o 811 94.89/94.93 c 40.3709 169.973 13716 4071234 94.89/94.93 o 810 94.89/94.99 c 40.4099 169.973 13717 4072507 94.89/94.99 o 809 95.09/95.13 c 40.4788 169.973 13734 4073883 95.09/95.13 o 808 95.09/95.19 c 40.5218 169.973 13742 4075435 95.09/95.19 o 807 95.19/95.27 c 40.5648 169.973 13754 4076910 95.19/95.27 o 806 95.29/95.34 c 40.6138 169.973 13762 4078883 95.29/95.34 o 804 95.29/95.39 c 40.6508 169.973 13770 4080229 95.29/95.39 o 802 95.39/95.45 c 40.6938 169.973 13775 4082263 95.39/95.45 o 800 95.49/95.51 c 40.7378 169.973 13797 4083908 95.49/95.51 o 799 95.49/95.57 c 40.7898 169.973 13845 4085268 95.49/95.57 o 797 95.60/95.67 c 40.8458 169.973 13853 4088332 95.60/95.67 o 795 95.70/95.74 c 40.8848 169.973 13857 4090396 95.70/95.74 o 794 95.70/95.79 c 40.9258 169.973 13863 4092258 95.70/95.79 o 793 95.80/95.84 c 40.9638 169.973 13866 4094737 95.80/95.84 o 788 95.90/95.90 c 41.0068 169.973 13871 4097195 95.90/95.90 o 787 95.90/95.97 c 41.0498 169.973 13879 4099930 95.90/95.97 o 783 95.99/96.04 c 41.0908 169.973 13885 4104020 95.99/96.04 o 781 95.99/96.09 c 41.1277 169.973 13889 4106006 95.99/96.09 o 776 96.10/96.17 c 41.1777 169.973 13898 4109611 96.10/96.17 o 773 96.19/96.24 c 41.2187 169.973 13907 4111797 96.19/96.24 o 771 96.29/96.34 c 41.2677 169.973 13919 4114168 96.29/96.34 o 770 96.89/96.98 c 41.5137 169.973 14065 4119138 96.89/96.98 o 769 97.09/97.12 c 41.5747 169.973 14080 4120757 97.09/97.12 o 767 97.39/97.41 c 41.7167 169.973 14136 4122179 97.39/97.41 o 766 97.69/97.73 c 41.8416 169.973 14204 4123957 97.69/97.73 o 764 97.79/97.85 c 41.9106 169.973 14218 4125371 97.79/97.85 o 763 97.90/97.93 c 41.9566 169.973 14234 4126442 97.90/97.93 o 762 99.00/99.05 c 42.3636 169.973 14539 4130196 99.00/99.05 o 761 99.09/99.11 c 42.4136 169.973 14553 4131653 99.09/99.11 o 760 99.19/99.24 c 42.4785 169.973 14568 4133708 99.19/99.24 o 759 99.29/99.38 c 42.5425 169.973 14609 4135237 99.29/99.38 o 758 99.39/99.43 c 42.5845 169.973 14614 4135973 99.39/99.43 o 757 99.50/99.51 c 42.6365 169.973 14620 4137263 99.50/99.51 o 755 99.69/99.72 c 42.7235 169.973 14656 4138109 99.69/99.72 o 754 99.80/99.84 c 42.7815 169.973 14674 4139313 99.80/99.84 o 753 99.89/99.92 c 42.8285 169.973 14683 4140481 99.89/99.92 o 752 100.00/100.09 c 42.9135 169.973 14709 4141426 100.00/100.09 o 751 100.10/100.15 c 42.9535 169.973 14723 4142657 100.10/100.15 o 750 100.20/100.22 c 43.0015 169.973 14730 4144411 100.20/100.22 o 749 100.20/100.29 c 43.0515 169.973 14745 4145562 100.20/100.29 o 748 100.49/100.57 c 43.1634 169.973 14823 4146529 100.49/100.57 o 747 100.60/100.63 c 43.2064 169.973 14828 4147670 100.60/100.63 o 746 100.69/100.70 c 43.2454 169.973 14836 4148974 100.69/100.70 o 745 100.69/100.76 c 43.2834 169.973 14839 4150809 100.69/100.76 o 744 100.79/100.82 c 43.3254 169.973 14845 4153049 100.79/100.82 o 743 100.79/100.87 c 43.3574 169.973 14849 4154491 100.79/100.87 o 742 100.89/100.95 c 43.4014 169.973 14854 4156180 100.89/100.95 o 741 100.99/101.00 c 43.4444 169.973 14857 4158762 100.99/101.00 o 740 100.99/101.10 c 43.5094 169.973 14879 4161788 100.99/101.10 o 737 101.10/101.16 c 43.5494 169.973 14884 4164216 101.10/101.16 o 735 101.20/101.24 c 43.6074 169.973 14910 4166035 101.20/101.24 o 734 101.30/101.30 c 43.6564 169.973 14922 4169043 101.30/101.30 o 732 101.30/101.37 c 43.7024 169.973 14925 4172359 101.30/101.37 o 731 101.39/101.45 c 43.7483 169.973 14945 4175095 101.39/101.45 o 730 101.49/101.55 c 43.8123 169.973 14982 4181383 101.49/101.55 o 728 101.59/101.61 c 43.8513 169.973 14986 4184969 101.59/101.61 o 727 101.59/101.66 c 43.8933 169.973 14992 4187433 101.59/101.66 o 726 101.70/101.72 c 43.9363 169.973 14997 4190718 101.70/101.72 o 722 101.70/101.79 c 43.9783 169.973 15002 4192819 101.70/101.79 o 721 101.79/101.86 c 44.0263 169.973 15014 4196109 101.79/101.86 o 719 101.89/101.92 c 44.0623 169.973 15023 4197994 101.89/101.92 o 717 101.89/101.98 c 44.1023 169.973 15032 4199941 101.89/101.98 o 716 101.99/102.07 c 44.1633 169.973 15061 4205377 101.99/102.07 o 715 102.10/102.13 c 44.2063 169.973 15092 4208407 102.10/102.13 o 714 102.10/102.20 c 44.2593 169.973 15144 4209867 102.10/102.20 o 712 102.40/102.40 c 44.3603 169.973 15193 4211261 102.40/102.40 o 711 102.59/102.63 c 44.4652 169.973 15243 4212668 102.59/102.63 o 710 102.89/102.96 c 44.6252 169.973 15300 4214173 102.89/102.96 o 709 103.00/103.07 c 44.6932 169.973 15314 4216510 103.00/103.07 o 708 103.10/103.18 c 44.7542 169.973 15348 4217461 103.10/103.18 o 707 103.30/103.31 c 44.8352 169.973 15397 4219389 103.30/103.31 o 706 103.30/103.40 c 44.8862 169.973 15406 4220355 103.30/103.40 o 704 103.49/103.52 c 44.9502 169.973 15442 4221361 103.49/103.52 o 703 103.60/103.61 c 45.0002 169.973 15452 4222260 103.60/103.61 o 702 103.60/103.69 c 45.0512 169.973 15462 4224274 103.60/103.69 o 701 103.89/103.98 c 45.1611 169.973 15514 4225106 103.89/103.98 o 700 104.20/104.27 c 45.2771 169.973 15557 4226633 104.20/104.27 o 699 104.59/104.62 c 45.4101 169.973 15633 4228022 104.59/104.62 o 698 104.90/104.99 c 45.5781 169.973 15748 4229492 104.90/104.99 o 697 105.50/105.55 c 45.774 169.973 15870 4231546 105.50/105.55 o 696 105.60/105.62 c 45.821 169.973 15876 4232460 105.60/105.62 o 695 105.60/105.70 c 45.867 169.973 15886 4233471 105.60/105.70 o 694 105.69/105.78 c 45.914 169.973 15891 4234125 105.69/105.78 o 693 105.79/105.87 c 45.973 169.973 15900 4235231 105.79/105.87 o 692 106.09/106.15 c 46.096 169.973 15952 4236154 106.09/106.15 o 690 106.79/106.85 c 46.331 169.973 16134 4237850 106.79/106.85 o 689 106.89/106.93 c 46.3819 169.973 16153 4238929 106.89/106.93 o 688 106.99/107.01 c 46.4309 169.973 16183 4240424 106.99/107.01 o 687 106.99/107.07 c 46.4779 169.973 16207 4241908 106.99/107.07 o 685 107.09/107.16 c 46.5229 169.973 16215 4242918 107.09/107.16 o 684 107.20/107.21 c 46.5599 169.973 16220 4244755 107.20/107.21 o 681 107.20/107.27 c 46.5999 169.973 16223 4246121 107.20/107.27 o 680 107.29/107.33 c 46.6369 169.973 16227 4247213 107.29/107.33 o 679 107.40/107.40 c 46.6839 169.973 16245 4249218 107.40/107.40 o 675 107.49/107.58 c 46.7749 169.973 16276 4250775 107.49/107.58 o 674 107.59/107.64 c 46.8209 169.973 16282 4251730 107.59/107.64 o 673 107.59/107.69 c 46.8569 169.973 16286 4252690 107.59/107.69 o 672 107.70/107.75 c 46.8969 169.973 16294 4253889 107.70/107.75 o 671 107.80/107.84 c 46.9559 169.973 16318 4255431 107.80/107.84 o 670 107.89/107.92 c 47.0119 169.973 16339 4257707 107.89/107.92 o 669 108.30/108.36 c 47.1798 169.973 16541 4260543 108.30/108.36 o 668 108.49/108.52 c 47.2678 169.973 16575 4261331 108.49/108.52 o 667 108.49/108.59 c 47.3168 169.973 16585 4262039 108.49/108.59 o 666 108.60/108.67 c 47.3578 169.973 16593 4262857 108.60/108.67 o 665 108.69/108.75 c 47.4118 169.973 16618 4263893 108.69/108.75 o 664 108.69/108.80 c 47.4498 169.973 16624 4264851 108.69/108.80 o 662 108.79/108.85 c 47.4868 169.973 16633 4265782 108.79/108.85 o 661 108.89/108.91 c 47.5328 169.973 16636 4267187 108.89/108.91 o 660 108.89/108.97 c 47.5778 169.973 16639 4268382 108.89/108.97 o 659 109.00/109.07 c 47.6368 169.973 16657 4270560 109.00/109.07 o 658 109.10/109.15 c 47.6798 169.973 16664 4272169 109.10/109.15 o 657 109.29/109.36 c 47.7647 169.973 16699 4273302 109.29/109.36 o 656 109.40/109.46 c 47.8227 169.973 16715 4274808 109.40/109.46 o 655 109.50/109.51 c 47.8587 169.973 16723 4276042 109.50/109.51 o 654 109.59/109.64 c 47.9447 169.973 16782 4278167 109.59/109.64 o 653 109.70/109.72 c 48.0017 169.973 16819 4280162 109.70/109.72 o 652 109.79/109.80 c 48.0487 169.973 16827 4282805 109.79/109.80 o 647 109.89/109.90 c 48.1107 169.973 16838 4287065 109.89/109.90 o 646 109.89/109.98 c 48.1607 169.973 16845 4288553 109.89/109.98 o 645 110.09/110.13 c 48.2397 169.973 16864 4290099 110.09/110.13 o 644 110.19/110.20 c 48.2797 169.973 16880 4292914 110.19/110.20 o 643 110.19/110.27 c 48.3227 169.973 16898 4294888 110.19/110.27 o 642 110.49/110.59 c 48.4846 169.973 16991 4297149 110.49/110.59 o 641 110.60/110.68 c 48.5316 169.973 16996 4298193 110.60/110.68 o 639 110.79/110.89 c 48.6266 169.973 17036 4300073 110.79/110.89 o 638 111.00/111.01 c 48.7046 169.973 17073 4301865 111.00/111.01 o 637 111.10/111.12 c 48.7636 169.973 17095 4302866 111.10/111.12 o 636 111.29/111.38 c 48.8746 169.973 17149 4304281 111.29/111.38 o 635 111.39/111.46 c 48.9256 169.973 17158 4305497 111.39/111.46 o 633 111.49/111.53 c 48.9766 169.973 17162 4306449 111.49/111.53 o 631 111.59/111.63 c 49.0385 169.973 17173 4308203 111.59/111.63 o 629 111.69/111.76 c 49.1095 169.973 17187 4309554 111.69/111.76 o 628 112.39/112.41 c 49.3585 169.973 17305 4312315 112.39/112.41 o 627 112.39/112.47 c 49.4005 169.973 17311 4313181 112.39/112.47 o 626 112.49/112.57 c 49.4655 169.973 17345 4314555 112.49/112.57 o 625 112.60/112.69 c 49.5245 169.973 17381 4315450 112.60/112.69 o 624 112.79/112.82 c 49.6025 169.973 17405 4317507 112.79/112.82 o 623 113.09/113.19 c 49.7374 169.973 17472 4319002 113.09/113.19 o 622 113.20/113.26 c 49.7914 169.973 17489 4319806 113.20/113.26 o 621 113.30/113.33 c 49.8374 169.973 17500 4320949 113.30/113.33 o 620 113.80/113.86 c 50.0304 169.973 17645 4323216 113.80/113.86 o 619 113.99/114.02 c 50.1314 169.973 17773 4324643 113.99/114.02 o 618 114.10/114.13 c 50.1984 169.973 17786 4325943 114.10/114.13 o 617 114.10/114.19 c 50.2434 169.973 17794 4327419 114.10/114.19 o 615 114.19/114.26 c 50.2914 169.973 17798 4328725 114.19/114.26 o 614 114.30/114.37 c 50.3733 169.973 17860 4330696 114.30/114.37 o 613 114.40/114.48 c 50.4363 169.973 17927 4331590 114.40/114.48 o 612 114.49/114.56 c 50.4783 169.973 17966 4332360 114.49/114.56 o 611 114.60/114.62 c 50.5193 169.973 17972 4333618 114.60/114.62 o 610 114.69/114.70 c 50.5703 169.973 17984 4334927 114.69/114.70 o 609 114.69/114.76 c 50.6133 169.973 18002 4335817 114.69/114.76 o 608 114.79/114.83 c 50.6663 169.973 18028 4336940 114.79/114.83 o 607 114.90/114.91 c 50.7103 169.973 18055 4338871 114.90/114.91 o 606 114.90/114.96 c 50.7493 169.973 18070 4339840 114.90/114.96 o 605 115.00/115.01 c 50.7853 169.973 18075 4341038 115.00/115.01 o 602 115.00/115.08 c 50.8333 169.973 18090 4342849 115.00/115.08 o 600 115.10/115.15 c 50.8733 169.973 18099 4343786 115.10/115.15 o 599 115.20/115.22 c 50.9223 169.973 18108 4344852 115.20/115.22 o 598 115.30/115.30 c 50.9922 169.973 18171 4345949 115.30/115.30 o 597 115.30/115.36 c 51.0302 169.973 18175 4347079 115.30/115.36 o 596 115.40/115.44 c 51.0882 169.973 18262 4348564 115.40/115.44 o 595 115.40/115.50 c 51.1372 169.973 18277 4349663 115.40/115.50 o 594 115.50/115.57 c 51.1912 169.973 18323 4350831 115.50/115.57 o 593 115.70/115.77 c 51.3042 169.973 18461 4352141 115.70/115.77 o 592 115.80/115.85 c 51.3662 169.973 18518 4352944 115.80/115.85 o 591 115.89/115.91 c 51.4092 169.973 18523 4353682 115.89/115.91 o 590 115.89/115.96 c 51.4502 169.973 18523 4355282 115.89/115.96 o 588 116.00/116.01 c 51.4872 169.973 18524 4356084 116.00/116.01 o 587 116.00/116.07 c 51.5302 169.973 18530 4358370 116.00/116.07 o 586 116.09/116.16 c 51.5842 169.973 18539 4359733 116.09/116.16 o 585 116.20/116.22 c 51.6242 169.973 18542 4361086 116.20/116.22 o 584 116.20/116.28 c 51.6631 169.973 18544 4362382 116.20/116.28 o 583 116.30/116.34 c 51.7071 169.973 18546 4363615 116.30/116.34 o 582 116.39/116.41 c 51.7571 169.973 18555 4365726 116.39/116.41 o 580 116.50/116.51 c 51.8181 169.973 18580 4367079 116.50/116.51 o 579 117.09/117.15 c 52.0631 169.973 18699 4369919 117.09/117.15 o 577 117.20/117.23 c 52.1241 169.973 18711 4370913 117.20/117.23 o 576 117.30/117.31 c 52.1731 169.973 18715 4371999 117.30/117.31 o 575 117.40/117.41 c 52.2431 169.973 18753 4372885 117.40/117.41 o 574 117.40/117.47 c 52.2821 169.973 18760 4373575 117.40/117.47 o 573 117.50/117.56 c 52.353 169.973 18836 4374537 117.50/117.56 o 572 117.60/117.68 c 52.422 169.973 18854 4375723 117.60/117.68 o 571 117.79/117.85 c 52.488 169.973 18902 4377025 117.79/117.85 o 570 117.89/117.95 c 52.552 169.973 18968 4378343 117.89/117.95 o 569 117.99/118.02 c 52.596 169.973 18974 4379349 117.99/118.02 o 568 117.99/118.07 c 52.632 169.973 18975 4380265 117.99/118.07 o 567 118.09/118.14 c 52.685 169.973 19047 4381641 118.09/118.14 o 564 118.19/118.20 c 52.727 169.973 19051 4382615 118.19/118.20 o 563 118.19/118.25 c 52.765 169.973 19060 4383602 118.19/118.25 o 562 118.29/118.35 c 52.819 169.973 19075 4384732 118.29/118.35 o 561 118.39/118.42 c 52.865 169.973 19082 4386096 118.39/118.42 o 560 118.59/118.67 c 52.9849 169.973 19127 4387177 118.59/118.67 o 559 118.70/118.80 c 53.0669 169.973 19190 4388227 118.70/118.80 o 558 118.80/118.87 c 53.1139 169.973 19198 4389560 118.80/118.87 o 555 118.89/118.99 c 53.1729 169.973 19219 4390992 118.89/118.99 o 554 119.09/119.13 c 53.2459 169.973 19234 4392458 119.09/119.13 o 553 119.09/119.19 c 53.2869 169.973 19239 4393895 119.09/119.19 o 552 119.19/119.26 c 53.3299 169.973 19243 4395347 119.19/119.26 o 551 119.30/119.40 c 53.3829 169.973 19265 4396053 119.30/119.40 o 550 119.40/119.45 c 53.4209 169.973 19267 4396879 119.40/119.45 o 549 119.60/119.60 c 53.4829 169.973 19289 4398522 119.60/119.60 o 548 119.70/119.74 c 53.5609 169.973 19309 4399188 119.70/119.74 o 547 119.70/119.80 c 53.5999 169.973 19312 4399947 119.70/119.80 o 546 119.80/119.85 c 53.6388 169.973 19316 4400729 119.80/119.85 o 545 119.90/119.90 c 53.6768 169.973 19331 4401443 119.90/119.90 o 544 120.09/120.10 c 53.7568 169.973 19367 4402076 120.09/120.10 o 543 120.20/120.23 c 53.8278 169.973 9746 4403506 120.20/120.23 o 542 120.20/120.28 c 53.8688 169.973 9751 4404370 120.20/120.28 o 541 120.29/120.34 c 53.9098 169.973 9763 4405495 120.29/120.34 o 540 120.29/120.39 c 53.9488 169.973 9772 4406383 120.29/120.39 o 539 120.40/120.48 c 54.0218 169.973 9908 4407685 120.40/120.48 o 535 120.50/120.53 c 54.0618 169.973 9910 4408871 120.50/120.53 o 531 120.50/120.59 c 54.0998 169.973 9918 4409622 120.50/120.59 o 530 120.59/120.65 c 54.1428 169.973 9971 4410643 120.59/120.65 o 528 120.70/120.72 c 54.1898 169.973 10067 4411955 120.70/120.72 o 527 120.70/120.78 c 54.2288 169.973 10083 4413247 120.70/120.78 o 525 120.79/120.83 c 54.2687 169.973 10100 4413922 120.79/120.83 o 524 120.79/120.90 c 54.3197 169.973 10123 4414861 120.79/120.90 o 523 120.90/120.96 c 54.3597 169.973 10128 4415557 120.90/120.96 o 522 121.00/121.05 c 54.4217 169.973 10135 4416828 121.00/121.05 o 521 121.10/121.11 c 54.4647 169.973 10159 4417825 121.10/121.11 o 520 121.10/121.16 c 54.5107 169.973 10183 4418538 121.10/121.16 o 519 121.19/121.24 c 54.5537 169.973 10189 4419726 121.19/121.24 o 518 121.29/121.30 c 54.5927 169.973 10195 4421490 121.29/121.30 o 517 121.29/121.40 c 54.6467 169.973 10203 4422926 121.39/121.40 o 516 121.50/121.52 c 54.7177 169.973 10216 4424141 121.50/121.52 o 515 121.50/121.58 c 54.7607 169.973 10223 4425636 121.50/121.58 o 513 121.60/121.66 c 54.8087 169.973 10230 4428280 121.60/121.66 o 510 121.70/121.74 c 54.8767 169.973 10316 4430314 121.70/121.74 o 509 121.70/121.79 c 54.9137 169.973 10318 4431535 121.70/121.79 o 508 121.79/121.86 c 54.9586 169.973 10343 4432259 121.79/121.86 o 507 121.89/121.93 c 55.0086 169.973 10354 4434035 121.89/121.93 o 504 121.89/121.99 c 55.0416 169.973 10355 4435690 121.89/121.99 o 503 122.00/122.05 c 55.0806 169.973 10357 4437947 122.00/122.05 o 502 122.10/122.19 c 55.1696 169.973 10380 4440027 122.10/122.19 o 501 122.19/122.25 c 55.2086 169.973 10383 4441112 122.19/122.25 o 500 122.30/122.32 c 55.2626 169.973 10388 4442035 122.30/122.32 o 499 122.39/122.42 c 55.3286 169.973 10397 4444760 122.39/122.42 o 498 122.39/122.47 c 55.3696 169.973 10399 4445550 122.39/122.47 o 497 122.49/122.56 c 55.4206 169.973 10408 4446460 122.49/122.56 o 496 122.99/123.03 c 55.5706 169.973 10484 4448040 122.99/123.03 o 495 123.20/123.26 c 55.6865 169.973 10526 4448976 123.20/123.26 o 494 123.39/123.46 c 55.7605 169.973 10547 4449769 123.39/123.46 o 493 123.49/123.52 c 55.8035 169.973 10556 4450647 123.49/123.52 o 492 123.59/123.67 c 55.9045 169.973 10658 4452109 123.59/123.67 o 489 123.69/123.72 c 55.9375 169.973 10660 4452770 123.69/123.72 o 487 123.79/123.80 c 55.9865 169.973 10666 4453878 123.79/123.80 o 485 123.79/123.86 c 56.0235 169.973 10672 4455281 123.79/123.86 o 484 123.89/123.93 c 56.0715 169.973 10678 4456932 123.89/123.93 o 483 123.99/124.05 c 56.1635 169.973 10757 4459039 123.99/124.05 o 482 124.09/124.13 c 56.2105 169.973 10765 4462231 124.09/124.13 o 481 124.20/124.20 c 56.2554 169.973 10777 4464957 124.20/124.20 o 480 124.20/124.26 c 56.2974 169.973 10779 4466694 124.20/124.26 o 479 124.30/124.31 c 56.3384 169.973 10780 4468659 124.30/124.31 o 477 124.30/124.37 c 56.3774 169.973 10783 4470011 124.30/124.37 o 476 124.39/124.42 c 56.4154 169.973 10784 4471092 124.39/124.42 o 475 124.39/124.47 c 56.4514 169.973 10785 4472471 124.39/124.47 o 472 124.49/124.54 c 56.4994 169.973 10788 4473408 124.49/124.54 o 470 124.60/124.60 c 56.5354 169.973 10791 4475230 124.60/124.60 o 464 124.60/124.65 c 56.5714 169.973 10792 4477354 124.60/124.65 o 463 124.69/124.70 c 56.6134 171.125 10793 4479230 124.69/124.70 o 460 124.69/124.75 c 56.6524 171.125 10794 4480750 124.69/124.75 o 459 124.80/124.81 c 56.6964 171.125 10796 4483128 124.80/124.81 o 458 124.80/124.87 c 56.7404 171.125 10800 4484709 124.80/124.87 o 457 124.89/124.97 c 56.7934 171.125 10806 4489616 124.89/124.97 o 456 124.99/125.03 c 56.8454 171.125 10822 4491137 124.99/125.03 o 454 124.99/125.09 c 56.8914 171.125 10829 4493164 124.99/125.09 o 453 125.09/125.14 c 56.9243 171.125 10829 4494575 125.09/125.14 o 452 125.09/125.19 c 56.9623 171.125 10830 4496638 125.09/125.19 o 449 125.30/125.33 c 57.0313 171.125 10845 4498403 125.30/125.33 o 448 125.30/125.38 c 57.0713 171.125 10847 4500085 125.30/125.38 o 447 125.40/125.48 c 57.1273 171.125 10856 4503430 125.40/125.48 o 446 125.59/125.63 c 57.2133 171.125 10879 4506282 125.59/125.63 o 445 125.59/125.68 c 57.2553 171.125 10887 4507002 125.59/125.68 o 443 125.70/125.73 c 57.2933 171.125 10890 4507610 125.70/125.74 o 442 125.70/125.79 c 57.3333 171.125 10891 4508703 125.70/125.79 o 439 125.79/125.84 c 57.3693 171.125 10892 4509574 125.79/125.84 o 437 125.79/125.89 c 57.4093 171.125 10896 4510262 125.79/125.89 o 436 126.10/126.12 c 57.5403 171.125 11017 4512796 126.10/126.12 o 434 126.19/126.20 c 57.5852 171.125 11025 4513423 126.19/126.20 o 433 126.19/126.27 c 57.6402 171.125 11031 4514443 126.19/126.27 o 432 126.29/126.33 c 57.6852 171.125 11043 4515418 126.29/126.33 o 431 126.40/126.41 c 57.7392 171.125 11068 4516807 126.40/126.41 o 429 126.40/126.47 c 57.7782 171.125 11073 4518005 126.40/126.47 o 427 126.50/126.59 c 57.8552 171.125 11132 4519935 126.50/126.59 o 426 126.59/126.69 c 57.9112 171.125 11144 4521020 126.59/126.69 o 425 126.69/126.75 c 57.9502 171.125 11150 4522078 126.69/126.75 o 424 126.79/126.82 c 58.0042 171.125 11189 4523219 126.79/126.82 o 423 127.00/127.02 c 58.1012 171.125 11248 4524151 127.00/127.02 o 421 127.00/127.09 c 58.1582 171.125 11260 4525159 127.00/127.09 o 420 127.10/127.15 c 58.2012 171.125 11283 4525971 127.10/127.15 o 419 127.20/127.25 c 58.2791 171.125 11363 4526951 127.20/127.25 o 418 127.29/127.30 c 58.3161 171.125 11363 4527381 127.29/127.30 o 417 127.29/127.35 c 58.3521 171.125 11364 4527816 127.29/127.35 o 416 127.39/127.40 c 58.3901 171.125 11370 4528237 127.39/127.40 o 415 127.39/127.47 c 58.4481 171.125 11413 4528876 127.39/127.47 o 414 127.50/127.52 c 58.4881 171.125 11414 4529320 127.50/127.52 o 413 127.60/127.60 c 58.5421 171.125 11420 4530739 127.60/127.60 o 408 127.60/127.66 c 58.5791 171.125 11426 4531253 127.60/127.66 o 407 127.79/127.81 c 58.6651 171.125 11472 4532283 127.79/127.81 o 406 127.90/127.91 c 58.7381 171.125 11539 4533336 127.90/127.91 o 404 128.00/128.05 c 58.8111 171.125 11571 4534233 128.00/128.05 o 403 128.30/128.31 c 58.92 171.125 11631 4535192 128.30/128.31 o 402 128.30/128.37 c 58.971 171.125 11652 4535961 128.30/128.37 o 400 128.40/128.49 c 59.055 171.125 11705 4537846 128.40/128.49 o 398 128.49/128.55 c 59.095 171.125 11714 4538630 128.49/128.55 o 397 128.60/128.65 c 59.148 171.125 11730 4540379 128.60/128.65 o 396 128.70/128.73 c 59.209 171.125 11761 4541011 128.70/128.73 o 395 128.80/128.83 c 59.288 171.125 11843 4541888 128.80/128.83 o 393 128.89/128.90 c 59.333 171.125 11849 4542579 128.89/128.90 o 392 128.99/129.02 c 59.401 171.125 11868 4543996 128.99/129.02 o 391 128.99/129.08 c 59.446 171.125 11888 4545088 128.99/129.08 o 390 129.10/129.18 c 59.5239 171.125 11969 4546113 129.10/129.18 o 389 129.19/129.23 c 59.5629 171.125 11970 4547070 129.19/129.23 o 388 129.19/129.29 c 59.6019 171.125 11973 4548324 129.19/129.29 o 387 129.30/129.34 c 59.6439 171.125 11977 4549261 129.30/129.34 o 386 129.39/129.40 c 59.6829 171.125 11981 4550218 129.39/129.40 o 385 129.39/129.45 c 59.7199 171.125 11983 4551137 129.39/129.45 o 384 129.50/129.53 c 59.7769 171.125 11990 4552050 129.50/129.53 o 383 129.50/129.58 c 59.8159 171.125 11993 4553063 129.50/129.58 o 382 129.59/129.66 c 59.8669 171.125 12001 4554081 129.59/129.66 o 379 129.70/129.72 c 59.9079 171.125 12004 4554689 129.70/129.72 o 378 129.80/129.83 c 59.9729 171.125 12017 4555353 129.80/129.83 o 377 129.80/129.88 c 60.0099 171.125 12018 4556007 129.80/129.88 o 376 129.89/129.93 c 60.0449 171.125 12020 4556892 129.89/129.93 o 375 129.89/129.98 c 60.0799 171.125 12020 4557720 129.89/129.98 o 373 130.00/130.05 c 60.1309 171.125 12033 4559080 130.00/130.05 o 371 130.10/130.16 c 60.2138 171.125 12121 4559817 130.10/130.16 o 370 130.20/130.28 c 60.2848 171.125 12133 4560679 130.20/130.28 o 369 130.30/130.33 c 60.3258 171.125 12137 4561399 130.30/130.33 o 368 130.39/130.42 c 60.3838 171.125 12144 4563020 130.39/130.42 o 367 130.50/130.55 c 60.4728 171.125 12249 4564358 130.50/130.55 o 365 130.59/130.61 c 60.5198 171.125 12258 4565205 130.59/130.61 o 363 130.80/130.90 c 60.7488 171.125 12439 4566525 130.80/130.90 o 362 130.90/130.97 c 60.7928 171.125 12443 4567101 130.90/130.97 o 361 131.00/131.03 c 60.8407 171.125 12445 4567699 131.00/131.03 o 360 131.10/131.17 c 60.9177 171.125 12461 4568819 131.10/131.17 o 358 131.20/131.24 c 60.9617 171.125 12468 4570019 131.20/131.24 o 357 133.39/133.50 c 61.7596 171.125 12998 4573187 133.39/133.50 o 356 133.49/133.58 c 61.8096 171.125 13024 4573701 133.49/133.58 o 355 133.60/133.65 c 61.8596 171.125 13037 4574321 133.60/133.65 o 354 133.70/133.71 c 61.9026 171.125 13043 4574867 133.70/133.71 o 353 133.70/133.77 c 61.9466 171.125 13055 4575714 133.70/133.77 o 351 133.80/133.83 c 61.9906 171.125 13064 4576289 133.80/133.83 o 350 133.80/133.89 c 62.0316 171.125 13067 4576875 133.80/133.89 o 348 133.89/133.98 c 62.0886 171.125 13083 4577635 133.89/133.98 o 347 134.00/134.05 c 62.1376 171.125 13090 4578189 134.00/134.05 o 346 134.10/134.12 c 62.1855 171.125 13114 4578689 134.10/134.12 o 345 134.20/134.26 c 62.2865 171.125 13207 4579925 134.20/134.26 o 343 134.30/134.31 c 62.3285 171.125 13231 4580627 134.30/134.31 o 342 134.30/134.37 c 62.3735 171.125 13279 4581373 134.30/134.37 o 341 135.10/135.13 c 62.6945 171.125 13413 4582553 135.10/135.13 o 340 135.10/135.19 c 62.7355 171.125 13416 4583227 135.10/135.19 o 339 135.50/135.56 c 62.8814 171.125 13477 4584039 135.50/135.56 o 338 135.59/135.63 c 62.9234 171.125 13483 4584593 135.59/135.63 o 337 135.59/135.68 c 62.9624 171.125 13486 4585185 135.59/135.68 o 336 135.70/135.75 c 63.0124 171.125 13502 4586159 135.70/135.75 o 335 135.79/135.85 c 63.0764 171.125 13551 4587016 135.79/135.85 o 333 135.89/135.94 c 63.1294 171.125 13565 4587981 135.89/135.94 o 331 135.99/136.01 c 63.1794 171.125 13570 4588577 135.99/136.01 o 330 135.99/136.07 c 63.2214 171.125 13577 4589251 135.99/136.07 o 329 136.10/136.14 c 63.2764 171.125 13625 4589888 136.10/136.14 o 328 136.59/136.69 c 63.4734 171.125 13735 4591702 136.59/136.69 o 326 136.69/136.76 c 63.5233 171.125 13740 4592478 136.69/136.76 o 325 136.80/136.83 c 63.5743 171.125 13741 4593191 136.80/136.83 o 324 136.80/136.90 c 63.6133 171.125 13744 4594107 136.80/136.90 o 323 136.90/136.98 c 63.6693 171.125 13749 4594842 136.90/136.98 o 322 136.99/137.05 c 63.7143 171.125 13753 4595754 136.99/137.05 o 321 137.09/137.11 c 63.7563 171.125 13754 4596565 137.09/137.11 o 319 137.09/137.16 c 63.7973 171.125 13755 4597238 137.09/137.16 o 318 137.20/137.23 c 63.8503 171.125 13759 4598045 137.20/137.23 o 317 137.20/137.28 c 63.8913 171.125 13761 4598643 137.20/137.28 o 316 137.30/137.34 c 63.9323 171.125 13763 4599263 137.30/137.34 o 315 137.30/137.39 c 63.9763 171.125 13766 4600268 137.30/137.39 o 312 137.89/137.94 c 64.2412 171.125 13881 4602212 137.89/137.94 o 311 138.00/138.03 c 64.2852 171.125 13898 4603192 138.00/138.03 o 310 138.00/138.09 c 64.3322 171.125 13917 4603802 138.00/138.09 o 309 138.09/138.15 c 64.3792 171.125 13924 4604360 138.09/138.15 o 308 138.20/138.21 c 64.4192 171.125 13930 4604969 138.20/138.21 o 306 138.20/138.28 c 64.4642 171.125 13938 4605874 138.20/138.28 o 305 138.30/138.33 c 64.5042 171.125 13940 4606372 138.30/138.33 o 304 138.39/138.41 c 64.5582 171.125 13971 4607370 138.39/138.41 o 303 138.39/138.47 c 64.6072 171.125 13981 4608185 138.39/138.47 o 302 138.50/138.57 c 64.6722 171.125 14003 4609126 138.50/138.57 o 301 138.60/138.64 c 64.7252 171.125 14008 4610350 138.60/138.64 o 300 138.60/138.69 c 64.7622 171.125 14009 4611325 138.60/138.69 o 297 138.69/138.75 c 64.7971 171.125 14012 4612153 138.69/138.75 o 295 138.79/138.81 c 64.8421 171.125 14055 4612911 138.79/138.81 o 293 138.79/138.87 c 64.8871 171.125 14058 4613344 138.79/138.87 o 292 138.90/138.94 c 64.9331 171.125 14064 4613960 138.90/138.94 o 290 139.00/139.01 c 64.9841 171.125 14072 4615204 139.00/139.01 o 289 139.00/139.08 c 65.0321 171.125 14078 4616112 139.00/139.08 o 288 139.09/139.14 c 65.0711 171.125 14080 4616855 139.09/139.14 o 287 139.09/139.19 c 65.1151 171.125 14083 4617672 139.09/139.19 o 286 139.19/139.29 c 65.1891 171.125 14097 4619125 139.19/139.29 o 284 140.10/140.20 c 65.627 171.125 14408 4622047 140.10/140.20 o 282 140.19/140.29 c 65.694 171.125 14438 4622743 140.19/140.29 o 280 140.30/140.37 c 65.745 171.125 14443 4623392 140.30/140.37 o 278 140.39/140.45 c 65.808 171.125 14459 4623996 140.39/140.45 o 277 140.60/140.64 c 65.921 171.125 14509 4625232 140.60/140.64 o 276 140.70/140.76 c 66.004 171.125 14543 4626034 140.70/140.76 o 275 140.80/140.84 c 66.061 171.125 14557 4626675 140.80/140.84 o 274 140.90/140.93 c 66.1089 171.125 14572 4627476 140.90/140.93 o 273 141.09/141.11 c 66.2339 171.125 14673 4628235 141.09/141.11 o 272 141.09/141.17 c 66.2719 171.125 14676 4628694 141.09/141.17 o 271 141.19/141.22 c 66.3099 171.125 14682 4629129 141.19/141.22 o 270 141.19/141.28 c 66.3509 171.125 14686 4629653 141.19/141.28 o 269 141.30/141.33 c 66.3889 171.125 14686 4630143 141.30/141.33 o 268 141.30/141.40 c 66.4349 171.125 14695 4630908 141.39/141.40 o 266 141.39/141.45 c 66.4739 171.125 14697 4631468 141.39/141.45 o 264 141.49/141.50 c 66.5139 171.125 14700 4631882 141.49/141.50 o 263 141.49/141.55 c 66.5519 171.125 14702 4632302 141.49/141.55 o 262 141.60/141.61 c 66.5929 171.125 14704 4632839 141.60/141.61 o 261 141.60/141.66 c 66.6339 171.125 14706 4633433 141.60/141.66 o 260 141.70/141.72 c 66.6749 171.125 14712 4634070 141.70/141.72 o 259 141.70/141.78 c 66.7209 171.125 14715 4634751 141.70/141.78 o 258 141.80/141.84 c 66.7659 171.125 14720 4635298 141.80/141.84 o 257 141.90/141.90 c 66.8108 171.125 14726 4635712 141.90/141.90 o 256 141.90/141.95 c 66.8528 171.125 14729 4636201 141.90/141.95 o 255 142.00/142.03 c 66.9008 171.125 14740 4636948 142.00/142.03 o 254 142.10/142.10 c 66.9618 171.125 14768 4637605 142.10/142.10 o 253 142.10/142.16 c 67.0088 171.125 14791 4638351 142.10/142.16 o 252 142.20/142.22 c 67.0508 171.125 14795 4639053 142.20/142.22 o 251 142.20/142.27 c 67.0858 171.125 14798 4639779 142.20/142.27 o 250 142.30/142.33 c 67.1278 171.125 14802 4640438 142.30/142.33 o 249 142.30/142.38 c 67.1648 171.125 14806 4641179 142.30/142.38 o 248 142.40/142.44 c 67.1978 171.125 14807 4641785 142.40/142.44 o 247 142.40/142.49 c 67.2388 171.125 14809 4642632 142.40/142.49 o 246 142.50/142.56 c 67.2858 171.125 14820 4643973 142.50/142.56 o 245 142.60/142.62 c 67.3308 171.125 14824 4644666 142.60/142.62 o 244 142.60/142.67 c 67.3638 171.125 14825 4645252 142.60/142.67 o 243 142.70/142.72 c 67.4048 171.125 14826 4645882 142.70/142.72 o 242 142.70/142.78 c 67.4477 171.125 14828 4646529 142.70/142.78 o 241 142.79/142.83 c 67.4817 171.125 14829 4647260 142.79/142.83 o 240 142.79/142.90 c 67.5247 171.125 14834 4647972 142.79/142.90 o 239 142.90/143.00 c 67.5957 171.125 14891 4648665 142.90/143.00 o 238 143.00/143.05 c 67.6357 171.125 14893 4649480 143.00/143.05 o 237 143.10/143.10 c 67.6777 171.125 14894 4650177 143.10/143.10 o 236 143.10/143.15 c 67.7157 171.125 14895 4651013 143.10/143.15 o 235 143.19/143.21 c 67.7577 171.125 14902 4651607 143.19/143.21 o 234 143.19/143.27 c 67.8027 171.125 14942 4652119 143.19/143.27 o 233 143.30/143.33 c 67.8517 171.125 14989 4652955 143.30/143.33 o 232 143.39/143.40 c 67.9017 171.125 14994 4654072 143.39/143.40 o 231 143.39/143.48 c 67.9607 171.125 15021 4655104 143.39/143.48 o 230 143.50/143.53 c 67.9997 171.125 15023 4655953 143.50/143.53 o 229 143.59/143.63 c 68.0607 171.125 15036 4657103 143.59/143.63 o 228 143.70/143.71 c 68.1166 171.125 15051 4657859 143.70/143.71 o 227 143.70/143.79 c 68.1616 171.125 15063 4658409 143.70/143.79 o 226 143.89/143.94 c 68.2536 171.125 15095 4659182 143.89/143.94 o 225 144.29/144.38 c 68.4296 171.125 15205 4660384 144.29/144.38 o 224 144.39/144.44 c 68.4726 171.125 15216 4661036 144.39/144.44 o 223 144.49/144.52 c 68.5236 171.125 15237 4661765 144.49/144.52 o 222 144.49/144.59 c 68.5726 171.125 15256 4662490 144.49/144.59 o 221 144.60/144.65 c 68.6106 171.125 15263 4663344 144.60/144.65 o 220 144.70/144.71 c 68.6536 171.125 15278 4664268 144.70/144.71 o 219 144.70/144.76 c 68.6936 171.125 15292 4664971 144.70/144.76 o 218 144.79/144.83 c 68.7405 171.125 15368 4665790 144.79/144.83 o 217 144.89/144.91 c 68.7925 171.125 15372 4666927 144.89/144.91 o 216 144.99/145.01 c 68.8705 171.125 15405 4667322 144.99/145.01 o 215 144.99/145.07 c 68.9165 171.125 15419 4667783 144.99/145.07 o 214 145.10/145.18 c 68.9805 171.125 15431 4668369 145.10/145.18 o 213 145.20/145.25 c 69.0305 171.125 15457 4668959 145.20/145.25 o 212 145.29/145.32 c 69.0815 171.125 15494 4669439 145.29/145.32 o 211 145.39/145.40 c 69.1445 171.125 15500 4670242 145.39/145.40 o 210 145.39/145.45 c 69.1835 171.125 15505 4670709 145.39/145.45 o 209 145.49/145.51 c 69.2195 171.125 15507 4671201 145.49/145.51 o 208 145.49/145.57 c 69.2685 171.125 15518 4671589 145.49/145.57 o 207 145.60/145.63 c 69.3105 171.125 15523 4671966 145.60/145.63 o 206 145.69/145.70 c 69.3685 171.125 15561 4672500 145.69/145.70 o 205 145.69/145.75 c 69.4084 171.125 15579 4672858 145.69/145.75 o 204 145.80/145.83 c 69.4714 171.125 15649 4673565 145.80/145.83 o 203 145.80/145.89 c 69.5234 171.125 15699 4674087 145.80/145.89 o 202 145.89/145.95 c 69.5644 171.125 15702 4674785 145.89/145.95 o 201 146.00/146.00 c 69.6054 171.125 15704 4675441 146.00/146.00 o 200 146.00/146.05 c 69.6434 171.125 15708 4676039 146.00/146.05 o 199 146.10/146.11 c 69.6824 171.125 15709 4676671 146.10/146.11 o 198 146.10/146.19 c 69.7364 171.125 15714 4677523 146.10/146.19 o 197 146.20/146.24 c 69.7744 171.125 15716 4678230 146.20/146.24 o 196 146.20/146.29 c 69.8134 171.125 15717 4678827 146.20/146.29 o 195 146.30/146.34 c 69.8514 171.125 15717 4679394 146.30/146.34 o 194 146.40/146.40 c 69.8904 171.125 15718 4680164 146.40/146.40 o 193 146.40/146.45 c 69.9334 171.125 15719 4680825 146.40/146.45 o 192 146.50/146.50 c 69.9764 171.125 15722 4681599 146.50/146.50 o 191 146.50/146.55 c 70.0114 171.125 15723 4682419 146.50/146.55 o 189 146.60/146.60 c 70.0484 171.125 15723 4683126 146.60/146.60 o 188 146.60/146.68 c 70.1023 171.125 15728 4683773 146.60/146.68 o 187 146.70/146.77 c 70.1563 171.125 15737 4684642 146.70/146.77 o 186 146.80/146.83 c 70.1953 171.125 15737 4685459 146.80/146.83 o 185 146.89/146.90 c 70.2533 171.125 15769 4686288 146.89/146.90 o 184 146.89/146.97 c 70.2983 171.125 15783 4686809 146.89/146.97 o 183 147.00/147.02 c 70.3413 171.125 15794 4687376 147.00/147.02 o 182 147.00/147.10 c 70.3903 171.125 15799 4688042 147.10/147.10 o 181 147.10/147.16 c 70.4343 171.125 15803 4688751 147.10/147.16 o 180 147.19/147.21 c 70.4753 171.125 15803 4689353 147.19/147.21 o 179 147.19/147.27 c 70.5123 171.125 15803 4690014 147.19/147.27 o 178 147.30/147.32 c 70.5463 171.125 15804 4690692 147.30/147.32 o 177 147.30/147.37 c 70.5863 171.125 15810 4691406 147.30/147.37 o 176 147.40/147.43 c 70.6273 171.125 15815 4692270 147.40/147.43 o 175 147.40/147.48 c 70.6653 171.125 15817 4692948 147.40/147.48 o 174 147.50/147.53 c 70.7013 171.125 15817 4693868 147.50/147.53 o 173 147.50/147.59 c 70.7362 171.125 15818 4694513 147.50/147.59 o 172 147.60/147.64 c 70.7772 171.125 15818 4695237 147.60/147.64 o 171 147.60/147.69 c 70.8112 171.125 15820 4696019 147.60/147.69 o 170 147.69/147.74 c 70.8472 171.125 15821 4696562 147.69/147.74 o 169 147.69/147.79 c 70.8862 171.125 15822 4697249 147.69/147.79 o 168 147.79/147.85 c 70.9252 171.125 15825 4697857 147.79/147.85 o 167 147.89/147.92 c 70.9712 171.125 15827 4698901 147.89/147.92 o 166 147.89/147.98 c 71.0112 171.125 15833 4699812 147.89/147.98 o 165 147.99/148.04 c 71.0522 171.125 15836 4700682 147.99/148.04 o 164 147.99/148.09 c 71.0892 171.125 15837 4701295 147.99/148.09 o 163 148.10/148.15 c 71.1322 171.125 15840 4702139 148.10/148.15 o 161 148.19/148.21 c 71.1732 171.125 15843 4702788 148.19/148.21 o 160 148.19/148.27 c 71.2162 171.125 15858 4703402 148.19/148.27 o 159 148.30/148.33 c 71.2582 171.125 15873 4704139 148.30/148.33 o 158 148.30/148.39 c 71.2982 171.125 15897 4704600 148.30/148.39 o 157 148.40/148.45 c 71.3392 171.125 15915 4705496 148.40/148.45 o 156 148.40/148.50 c 71.3771 171.125 15915 4706009 148.40/148.50 o 155 148.51/148.55 c 71.4151 171.125 15916 4706491 148.51/148.55 o 154 148.59/148.63 c 71.4741 171.125 15931 4707341 148.59/148.63 o 153 148.69/148.71 c 71.5261 171.125 15948 4708121 148.69/148.71 o 152 148.79/148.89 c 71.6781 171.125 16060 4709062 148.79/148.89 o 151 148.90/148.97 c 71.7401 171.125 16093 4709596 148.90/148.97 o 150 149.00/149.06 c 71.7981 171.125 16185 4710165 149.00/149.06 o 149 149.10/149.11 c 71.8361 171.125 16187 4710599 149.10/149.11 o 148 149.10/149.16 c 71.8741 171.125 16188 4711056 149.10/149.16 o 147 149.20/149.21 c 71.9081 171.125 16190 4711536 149.20/149.21 o 146 149.20/149.29 c 71.9571 171.125 16199 4712012 149.20/149.29 o 145 149.30/149.36 c 72.0121 171.125 16213 4712534 149.30/149.36 o 144 149.39/149.41 c 72.055 171.125 16215 4712890 149.39/149.41 o 143 149.39/149.47 c 72.093 171.125 16221 4713322 149.39/149.47 o 142 149.50/149.53 c 72.142 171.125 16230 4713785 149.50/149.53 o 141 149.60/149.62 c 72.196 171.125 16252 4714470 149.60/149.62 o 140 149.60/149.68 c 72.237 171.125 16300 4715136 149.60/149.68 o 139 149.69/149.74 c 72.278 171.125 16304 4715640 149.69/149.74 o 138 149.69/149.79 c 72.315 171.125 16310 4716142 149.69/149.79 o 137 149.79/149.85 c 72.362 171.125 16322 4716774 149.79/149.85 o 136 149.90/149.92 c 72.416 171.125 16341 4717442 149.90/149.92 o 135 150.00/150.04 c 72.482 171.125 16373 4718169 150.00/150.04 o 134 150.60/150.69 c 72.7259 171.125 16476 4718909 150.60/150.69 o 133 150.70/150.79 c 72.7869 171.125 16500 4719443 150.70/150.79 o 132 150.90/150.93 c 72.9009 171.125 16636 4720093 150.90/150.93 o 131 150.90/150.99 c 72.9469 171.125 16653 4720507 150.90/150.99 o 130 151.00/151.04 c 72.9889 171.125 16655 4720932 151.00/151.04 o 129 151.10/151.10 c 73.0239 171.125 16658 4721293 151.10/151.10 o 128 151.10/151.15 c 73.0699 171.125 16669 4721712 151.10/151.15 o 127 151.19/151.21 c 73.1089 171.125 16670 4722138 151.19/151.21 o 126 151.19/151.27 c 73.1629 171.125 16692 4722662 151.19/151.27 o 125 151.30/151.34 c 73.2139 171.125 16717 4723242 151.30/151.34 o 124 151.40/151.40 c 73.2539 171.125 16737 4723699 151.40/151.40 o 123 151.40/151.46 c 73.2909 171.125 16740 4724262 151.40/151.46 o 122 151.49/151.54 c 73.3608 171.125 16793 4724792 151.49/151.54 o 121 151.59/151.60 c 73.3988 171.125 16795 4725343 151.59/151.60 o 120 151.59/151.67 c 73.4548 171.125 16847 4726042 151.59/151.67 o 119 151.70/151.72 c 73.4928 171.125 16847 4726595 151.70/151.72 o 118 151.70/151.78 c 73.5298 171.125 16847 4727097 151.70/151.78 o 117 151.80/151.83 c 73.5728 171.125 16849 4727509 151.80/151.83 o 116 151.89/151.94 c 73.6388 171.125 16881 4728587 151.89/151.94 o 115 152.00/152.00 c 73.6848 171.125 16902 4728993 152.00/152.00 o 114 152.00/152.05 c 73.7248 171.125 16903 4729385 152.00/152.05 o 113 152.10/152.14 c 73.8018 171.125 16952 4730216 152.10/152.14 o 112 152.19/152.27 c 73.8878 171.125 16997 4731755 152.19/152.27 o 111 152.39/152.46 c 74.0307 171.125 17037 4732600 152.39/152.46 o 110 152.49/152.52 c 74.0767 171.125 17050 4733122 152.49/152.52 o 109 152.59/152.61 c 74.1197 171.125 17059 4733725 152.59/152.61 o 108 152.59/152.67 c 74.1707 171.125 17070 4734297 152.59/152.67 o 107 152.70/152.75 c 74.2387 171.125 17120 4734875 152.70/152.75 o 106 152.80/152.81 c 74.2877 171.125 17129 4735557 152.80/152.81 o 105 152.80/152.87 c 74.3307 171.125 17135 4736102 152.80/152.87 o 104 152.90/152.93 c 74.3707 171.125 17140 4736605 152.90/152.93 o 103 152.90/152.98 c 74.4077 171.125 17143 4737141 152.90/152.98 o 102 152.99/153.04 c 74.4497 171.125 17147 4737713 152.99/153.04 o 101 153.10/153.11 c 74.5067 171.125 17149 4738111 153.10/153.11 o 100 153.10/153.16 c 74.5487 171.125 17150 4738599 153.10/153.16 o 99 153.20/153.22 c 74.5957 171.125 17168 4739130 153.20/153.22 o 98 153.30/153.32 c 74.6666 171.125 16650 4739738 153.30/153.32 o 97 153.30/153.37 c 74.7076 171.125 16651 4740229 153.30/153.37 o 96 153.40/153.42 c 74.7436 171.125 16655 4740775 153.40/153.42 o 95 153.50/153.51 c 74.7886 171.125 16661 4741307 153.50/153.51 o 94 153.50/153.56 c 74.8306 171.125 16663 4741721 153.50/153.56 o 93 153.60/153.61 c 74.8736 171.125 16669 4742231 153.60/153.61 o 92 153.60/153.66 c 74.9116 171.125 16672 4742697 153.60/153.66 o 91 153.69/153.71 c 74.9546 171.125 16680 4743176 153.69/153.71 o 90 153.69/153.79 c 75.0136 171.125 16725 4743823 153.69/153.79 o 89 153.80/153.84 c 75.0606 171.125 12921 4744317 153.80/153.84 o 88 153.90/153.94 c 75.1366 171.125 13000 4744841 153.90/153.94 o 87 153.90/153.99 c 75.1796 171.125 13003 4745431 153.90/153.99 o 86 154.00/154.05 c 75.2156 171.125 13006 4746030 154.00/154.05 o 85 154.00/154.09 c 75.2536 171.125 13006 4746461 154.00/154.09 o 84 154.10/154.17 c 75.3106 171.125 13012 4747106 154.10/154.17 o 82 154.20/154.22 c 75.3515 171.125 12430 4747490 154.20/154.22 o 81 154.20/154.27 c 75.3905 171.875 12433 4747964 154.20/154.27 o 80 154.29/154.32 c 75.4275 171.875 12437 4748475 154.29/154.32 o 78 154.29/154.37 c 75.4735 171.875 12444 4749024 154.29/154.37 o 76 154.40/154.46 c 75.5385 171.875 12463 4749609 154.40/154.46 o 75 154.50/154.52 c 75.5805 171.875 12486 4750040 154.50/154.52 o 74 154.60/154.60 c 75.6455 171.875 12569 4750636 154.60/154.60 o 73 154.60/154.65 c 75.6885 171.875 11610 4751092 154.60/154.65 o 72 154.69/154.71 c 75.7315 171.875 11612 4751620 154.69/154.71 o 71 154.69/154.76 c 75.7725 171.875 11617 4752083 154.69/154.76 o 70 154.79/154.81 c 75.8115 171.875 11619 4752686 154.79/154.81 o 69 154.79/154.86 c 75.8505 171.875 11623 4753205 154.79/154.86 o 68 154.89/154.91 c 75.8855 171.875 11624 4753679 154.89/154.91 o 67 154.89/154.95 c 75.9205 171.875 11629 4754180 154.89/154.95 o 66 154.89/155.00 c 75.9605 171.875 11499 4754608 154.89/155.00 o 65 155.00/155.05 c 76.0034 171.875 11505 4755034 155.00/155.05 o 64 155.10/155.11 c 76.0464 171.875 11513 4755770 155.10/155.11 o 62 155.10/155.17 c 76.0894 171.875 11521 4756282 155.10/155.17 o 61 155.20/155.21 c 76.1254 171.875 11524 4756688 155.20/155.21 o 60 155.20/155.26 c 76.1684 171.875 11530 4757187 155.20/155.26 o 59 155.29/155.37 c 76.2624 171.875 11626 4757843 155.29/155.37 o 58 155.39/155.44 c 76.3194 171.875 11279 4758671 155.39/155.44 o 57 155.39/155.49 c 76.3564 171.875 11284 4759130 155.39/155.49 o 56 155.50/155.54 c 76.3944 171.875 11290 4759563 155.50/155.54 o 55 155.60/155.61 c 76.4454 171.875 11301 4760310 155.60/155.61 o 53 155.60/155.65 c 76.4824 171.875 11306 4760749 155.60/155.65 o 52 155.69/155.70 c 76.5244 171.875 11317 4761320 155.69/155.70 o 50 155.79/155.80 c 76.5864 171.875 11255 4761823 155.79/155.80 o 49 155.79/155.84 c 76.6224 171.875 11260 4762248 155.79/155.84 o 48 155.79/155.88 c 76.6573 171.875 11262 4762626 155.79/155.88 o 47 155.89/155.93 c 76.6923 171.875 11266 4763054 155.89/155.93 o 46 155.89/155.98 c 76.7273 171.875 11269 4763542 155.89/155.98 o 45 155.99/156.03 c 76.7643 171.875 11270 4763902 155.99/156.03 o 44 155.99/156.07 c 76.7973 171.875 11271 4764278 155.99/156.07 o 43 156.10/156.11 c 76.8393 171.875 11186 4764792 156.10/156.11 o 42 156.10/156.16 c 76.8773 171.875 11191 4765258 156.10/156.16 o 41 156.10/156.20 c 76.9103 171.875 11193 4765723 156.10/156.20 o 39 156.20/156.23 c 76.9443 171.875 11193 4766028 156.20/156.23 o 38 156.20/156.28 c 76.9773 171.875 11195 4766349 156.20/156.28 o 37 156.30/156.31 c 77.0083 171.875 11196 4766757 156.30/156.31 o 36 156.30/156.37 c 77.0533 171.875 11218 4767157 156.30/156.37 o 35 156.40/156.44 c 77.1173 171.875 11264 4767601 156.40/156.44 o 34 156.40/156.48 c 77.1593 171.875 11208 4768230 156.40/156.48 o 33 156.49/156.53 c 77.1943 171.875 11217 4768672 156.49/156.53 o 32 156.49/156.57 c 77.2293 171.875 11236 4769143 156.49/156.57 o 31 156.60/156.60 c 77.2633 171.875 11237 4769762 156.60/156.60 o 29 156.60/156.64 c 77.2972 171.875 11238 4770192 156.60/156.64 o 28 156.70/156.71 c 77.3552 171.875 11241 4770686 156.70/156.71 o 27 156.70/156.75 c 77.3892 171.875 11243 4771129 156.70/156.75 o 26 156.70/156.79 c 77.4242 171.875 11246 4771682 156.70/156.79 o 25 156.80/156.83 c 77.4582 171.875 11217 4772180 156.80/156.83 o 24 156.80/156.86 c 77.4922 171.875 11218 4772549 156.80/156.86 o 23 156.90/156.92 c 77.5402 171.875 11233 4773200 156.90/156.92 o 22 157.00/157.04 c 77.6602 171.875 11474 4774293 157.00/157.04 o 21 157.00/157.09 c 77.6992 171.875 11483 4774770 157.00/157.09 o 20 157.09/157.13 c 77.7382 171.875 11504 4775272 157.09/157.13 o 19 157.09/157.17 c 77.7752 171.875 11511 4775790 157.09/157.17 o 18 157.20/157.21 c 77.8082 171.875 11520 4776179 157.20/157.21 o 17 157.20/157.25 c 77.8392 171.875 11532 4776556 157.20/157.25 o 16 157.20/157.29 c 77.8812 171.875 11566 4776972 157.20/157.29 o 15 157.31/157.33 c 77.9172 171.875 11574 4777344 157.31/157.33 o 14 157.31/157.37 c 77.9571 171.875 11417 4777827 157.31/157.37 o 13 157.39/157.41 c 77.9881 171.875 11418 4778180 157.39/157.41 o 12 157.39/157.44 c 78.0181 171.875 11421 4778537 157.39/157.44 o 11 157.39/157.48 c 78.0531 171.875 11447 4778908 157.39/157.48 o 10 157.49/157.53 c 78.0971 171.875 11535 4779380 157.49/157.53 o 9 157.49/157.57 c 78.1351 171.875 11583 4779810 157.49/157.57 o 8 157.59/157.60 c 78.1661 171.875 11583 4780192 157.59/157.60 o 7 157.70/157.70 c 78.2541 171.875 11603 4780985 157.70/157.70 o 6 157.70/157.73 c 78.2871 171.875 11612 4781421 157.70/157.73 o 5 157.70/157.76 c 78.3151 171.875 11620 4781766 157.70/157.76 o 4 157.79/157.80 c 78.3501 171.875 11660 4782237 157.79/157.80 o 3 157.90/157.91 c 78.4531 171.875 11767 4782923 157.90/157.91 o 2 158.10/158.10 c 78.633 171.875 11743 4784173 158.10/158.10 o 1 158.10/158.10 c 78.639 171.875 11730 4784173 158.10/158.10 s OPTIMUM FOUND 158.10/158.10 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 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 x4689 x4690 x4691 -x4692 -x4693 -x4694 x4695 x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 x4724 x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 x4733 -x4734 x4735 x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 x4754 -x4755 -x4756 -x4757 x4758 -x4759 -x4760 -x4761 -x4762 x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 x4949 x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 x4974 -x4975 x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 x5222 x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5235 -x5236 -x5237 -x5238 -x5239 -x5240 x5241 x5242 x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 x5262 x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 -x5284 -x5285 x5286 x5287 x5288 x5289 -x5290 x5291 x5292 x5293 -x5294 -x5295 x5296 x5297 x5298 -x5299 -x5300 x5301 x5302 x5303 -x5304 x5305 x5306 -x5307 x5308 x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 x5318 x5319 x5320 x5321 x5322 x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 x5345 x5346 x5347 -x5348 -x5349 x5350 x5351 x5352 -x5353 x5354 x5355 -x5356 x5357 x5358 -x5359 -x5360 -x5361 x5362 x5363 x5364 -x5365 -x5366 x5367 x5368 x5369 -x5370 x5371 x5372 -x5373 x5374 x5375 -x5376 x5377 x5378 -x5379 x5380 x5381 x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 x5414 x5415 x5416 -x5417 -x5418 -x5419 x5420 x5421 x5422 -x5423 x5424 x5425 x5426 -x5427 x5428 x5429 x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 x5437 x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 x5448 x5449 x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 x5464 x5465 x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 x5480 x5481 x5482 x5483 -x5484 -x5485 -x5486 -x5487 x5488 x5489 x5490 -x5491 x5492 x5493 x5494 x5495 -x5496 x5497 -x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 x5506 -x5507 -x5508 -x5509 -x5510 -x5511 x5512 -x5513 x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 x5524 x5525 -x5526 x5527 x5528 -x5529 -x5530 -x5531 -x5532 x5533 x5534 x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 x5543 -x5544 x5545 -x5546 -x5547 x5548 x5549 -x5550 x5551 -x5552 -x5553 -x5554 -x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 x5581 -x5582 x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 -x5599 -x5600 -x5601 x5602 -x5603 -x5604 x5605 -x5606 x5607 -x5608 -x5609 x5610 x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 -x5618 x5619 -x5620 -x5621 x5622 x5623 -x5624 x5625 -x5626 -x5627 x5628 x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 x5636 -x5637 x5638 -x5639 x5640 -x5641 -x5642 x5643 x5644 -x5645 -x5646 -x5647 x5648 -x5649 -x5650 -x5651 x5652 x5653 x5654 x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 x5671 x5672 -x5673 x5674 x5675 -x5676 -x5677 x5678 -x5679 x5680 -x5681 x5682 -x5683 x5684 -x5685 -x5686 -x5687 x5688 x5689 -x5690 -x5691 x5692 -x5693 -x5694 x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 x5706 x5707 -x5708 x5709 x5710 -x5711 -x5712 x5713 -x5714 -x5715 -x5716 -x5717 x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 -x5728 -x5729 x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 x5745 -x5746 -x5747 x5748 x5749 -x5750 x5751 x5752 -x5753 -x5754 x5755 -x5756 x5757 -x5758 -x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 -x5767 -x5768 x5769 x5770 -x5771 x5772 -x5773 -x5774 x5775 x5776 x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 x5785 -x5786 x5787 -x5788 -x5789 x5790 -x5791 -x5792 -x5793 -x5794 x5795 x5796 x5797 x5798 -x5799 x5800 x5801 x5802 -x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 -x5817 -x5818 x5819 -x5820 -x5821 x5822 -x5823 x5824 -x5825 x5826 -x5827 -x5828 x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 x5849 x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 x5866 -x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 x5880 -x5881 -x5882 x5883 -x5884 x5885 -x5886 -x5887 x5888 -x5889 -x5890 x5891 x5892 -x5893 x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 x5902 x5903 -x5904 -x5905 x5906 x5907 -x5908 x5909 x5910 -x5911 -x5912 x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 x5927 -x5928 -x5929 -x5930 x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 x5938 x5939 -x5940 -x5941 -x5942 -x5943 x5944 x5945 -x5946 x5947 x5948 x5949 x5950 x5951 x5952 -x5953 x5954 x5955 x5956 x5957 x5958 x5959 x5960 -x5961 x5962 x5963 -x5964 -x5965 x5966 x5967 -x5968 x5969 -x5970 x5971 x5972 x5973 x5974 -x5975 x5976 x5977 -x5978 -x5979 x5980 x5981 -x5982 x5983 -x5984 x5985
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698915-1278461851/watcher-2698915-1278461851 -o /tmp/evaluation-result-2698915-1278461851/solver-2698915-1278461851 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698915-1278461851.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.93 3/178 13015 /proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=2136 CPUtime=0 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 255 0 0 0 0 0 0 0 22 0 1 0 14399132 2187264 175 4089446400 134512640 136422188 4288248160 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13015/statm: 534 175 144 467 0 65 0 [startup+0.015147 s] /proc/loadavg: 2.00 2.00 1.93 3/178 13015 /proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=2268 CPUtime=0.01 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 277 0 0 0 1 0 0 0 22 0 1 0 14399132 2322432 197 4089446400 134512640 136422188 4288248160 18446744073709551615 135159078 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13015/statm: 567 197 144 467 0 98 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2268 [startup+0.101133 s] /proc/loadavg: 2.00 2.00 1.93 3/178 13015 /proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=4112 CPUtime=0.09 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 744 0 0 0 9 0 0 0 22 0 1 0 14399132 4210688 631 4089446400 134512640 136422188 4288248160 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13015/statm: 1028 631 144 467 0 559 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4112 [startup+0.301111 s] /proc/loadavg: 2.00 2.00 1.93 3/178 13015 /proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=50884 CPUtime=0.29 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 12795 0 0 0 28 1 0 0 22 0 1 0 14399132 52105216 12206 4089446400 134512640 136422188 4288248160 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 12721 12208 193 467 0 12252 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50884 [startup+0.701042 s] /proc/loadavg: 2.00 2.00 1.93 3/178 13015 /proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=154832 CPUtime=0.7 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 40212 0 0 0 65 5 0 0 24 0 1 0 14399132 158547968 36606 4089446400 134512640 136422188 4288248160 18446744073709551615 135830093 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 38708 36606 203 467 0 38239 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 154832 [startup+1.5009 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13016 /proc/meminfo: memFree=30550540/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=168052 CPUtime=1.49 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 43380 0 0 0 130 19 0 0 25 0 1 0 14399132 172085248 39774 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 42013 39774 213 467 0 41544 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 168052 [startup+3.10062 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13016 /proc/meminfo: memFree=30547740/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=170296 CPUtime=3.09 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44078 0 0 0 166 143 0 0 25 0 1 0 14399132 174383104 39955 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 42574 39955 237 467 0 42105 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 170296 [startup+6.30106 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13016 /proc/meminfo: memFree=30546004/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=170428 CPUtime=6.29 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44156 0 0 0 301 328 0 0 25 0 1 0 14399132 174518272 40016 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 42607 40016 237 467 0 42138 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 170428 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13016 /proc/meminfo: memFree=30546608/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=171220 CPUtime=12.7 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44331 0 0 0 521 749 0 0 25 0 1 0 14399132 175329280 40185 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 42805 40185 237 467 0 42336 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 171220 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13017 /proc/meminfo: memFree=30546380/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=171616 CPUtime=25.49 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44499 0 0 0 1116 1433 0 0 25 0 1 0 14399132 175734784 40299 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 42904 40299 237 467 0 42435 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 171616 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13017 /proc/meminfo: memFree=30545416/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=172672 CPUtime=51.09 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44887 0 0 0 2279 2830 0 0 25 0 1 0 14399132 176816128 40559 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43168 40559 237 467 0 42699 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 172672 [startup+102.306 s] /proc/loadavg: 2.10 2.03 1.94 3/179 13022 /proc/meminfo: memFree=30542540/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=174048 CPUtime=102.3 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 45393 0 0 0 4430 5800 0 0 25 0 1 0 14399132 178225152 40906 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43512 40906 237 467 0 43043 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 174048 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 2.06 2.03 1.94 3/179 13022 /proc/meminfo: memFree=30541900/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=175228 CPUtime=127.9 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 45935 0 0 0 5872 6918 0 0 25 0 1 0 14399132 179433472 40918 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43807 40918 237 467 0 43338 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 175228 [startup+140.7 s] /proc/loadavg: 2.05 2.02 1.94 3/179 13022 /proc/meminfo: memFree=30542008/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=175228 CPUtime=140.7 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46038 0 0 0 6594 7476 0 0 25 0 1 0 14399132 179433472 40921 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43807 40921 237 467 0 43338 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 175228 [startup+147.1 s] /proc/loadavg: 2.04 2.02 1.94 3/179 13022 /proc/meminfo: memFree=30541880/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=175228 CPUtime=147.1 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46131 0 0 0 7039 7671 0 0 25 0 1 0 14399132 179433472 40922 4089446400 134512640 136422188 4288248160 18446744073709551615 135873918 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43807 40922 237 467 0 43338 0 Current children cumulated CPU time (s) 147.1 Current children cumulated vsize (KiB) 175228 [startup+153.501 s] /proc/loadavg: 2.04 2.02 1.94 3/179 13023 /proc/meminfo: memFree=30541868/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=175228 CPUtime=153.5 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46218 0 0 0 7478 7872 0 0 25 0 1 0 14399132 179433472 40924 4089446400 134512640 136422188 4288248160 18446744073709551615 134853418 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43807 40924 237 467 0 43338 0 Current children cumulated CPU time (s) 153.5 Current children cumulated vsize (KiB) 175228 [startup+156.701 s] /proc/loadavg: 2.04 2.02 1.94 3/179 13023 /proc/meminfo: memFree=30541980/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=175996 CPUtime=156.7 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46366 0 0 0 7734 7936 0 0 25 0 1 0 14399132 180219904 41013 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43999 41013 237 467 0 43530 0 Current children cumulated CPU time (s) 156.7 Current children cumulated vsize (KiB) 175996 [startup+157.5 s] /proc/loadavg: 2.04 2.02 1.94 3/179 13023 /proc/meminfo: memFree=30541732/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=175996 CPUtime=157.49 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46391 0 0 0 7806 7943 0 0 25 0 1 0 14399132 180219904 41020 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43999 41020 237 467 0 43530 0 Current children cumulated CPU time (s) 157.49 Current children cumulated vsize (KiB) 175996 [startup+157.9 s] /proc/loadavg: 2.04 2.02 1.94 3/179 13023 /proc/meminfo: memFree=30541732/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=175996 CPUtime=157.9 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46400 0 0 0 7844 7946 0 0 25 0 1 0 14399132 180219904 41022 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 43999 41022 237 467 0 43530 0 Current children cumulated CPU time (s) 157.9 Current children cumulated vsize (KiB) 175996 [startup+158.3 s] /proc/loadavg: 2.04 2.02 1.94 3/179 13023 /proc/meminfo: memFree=30550900/32951124 swapFree=67111528/67111528 [pid=13015] ppid=13013 vsize=161804 CPUtime=158.3 /proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46406 0 0 0 7883 7947 0 0 25 0 1 0 14399132 165687296 38676 4089446400 134512640 136422188 4288248160 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13015/statm: 40451 38676 240 467 0 39982 0 Current children cumulated CPU time (s) 158.3 Current children cumulated vsize (KiB) 161804 Child status: 0 Real time (s): 158.397 CPU time (s): 158.401 CPU user time (s): 78.924 CPU system time (s): 79.4769 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 175996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 78.924 system time used= 79.4769 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46407 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= 295 runsolver used 0.230964 second user time and 0.551916 second system time The end
Begin job on node119 at 2010-07-07 02:17:32 IDJOB=2698915 IDBENCH=79045 IDSOLVER=1212 FILE ID=node119/2698915-1278461851 PBS_JOBID= 11233754 Free space on /tmp= 73516 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-22s.smv--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698915-1278461851/watcher-2698915-1278461851 -o /tmp/evaluation-result-2698915-1278461851/solver-2698915-1278461851 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698915-1278461851.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3ccb93ae8827142e7c54ff7ef98be667 RANDOM SEED=1284173738 node119.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.868 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.73 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.868 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 : 5332.75 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.868 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.868 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.75 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.868 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.72 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.868 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.868 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.75 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.868 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30706688 kB Buffers: 104944 kB Cached: 1919544 kB SwapCached: 0 kB Active: 782100 kB Inactive: 1319028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30706688 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2340 kB Writeback: 0 kB AnonPages: 76756 kB Mapped: 15456 kB Slab: 79680 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 219216 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73516 MiB End job on node119 at 2010-07-07 02:20:10