Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 652.118 | 652.1 |
Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo |
MD5SUM | 97fed4a2133bff4e993c45ab3a9ac729 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.107982 |
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 | 15365 |
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 | 779706 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 779705 |
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.12 c constraints 0/1352 clauses 0/14013 units 0 0.09/0.12 c vars 5985 4.89/4.96 c 3.9424 185.656 499 1469631 4.89/4.96 o 18016 6.19/6.28 c 4.78927 188.09 811 2181083 6.19/6.28 o 16201 6.69/6.77 c 5.13022 188.09 995 2418932 6.69/6.77 o 14967 6.89/6.92 c 5.2302 188.09 1054 2482685 6.89/6.92 o 14904 7.09/7.10 c 5.36318 188.09 1151 2560624 7.09/7.10 o 12429 7.19/7.23 c 5.45817 188.09 1220 2604920 7.19/7.23 o 11753 7.29/7.38 c 5.58115 188.09 1350 2656157 7.29/7.38 o 10951 7.49/7.58 c 5.73313 188.09 1421 2723883 7.49/7.58 o 10946 7.89/7.99 c 6.03008 188.219 1561 2783171 7.89/7.99 o 7011 8.39/8.40 c 6.31204 188.219 1723 2828599 8.39/8.40 o 6997 8.69/8.71 c 6.571 188.219 1858 2891803 8.69/8.71 o 5961 8.99/9.09 c 6.85396 188.348 1975 2926057 8.99/9.09 o 5947 9.19/9.20 c 6.93394 188.348 2007 2964635 9.19/9.20 o 5910 9.19/9.27 c 6.99094 188.348 2019 2985049 9.19/9.27 o 5050 9.59/9.68 c 7.27989 188.348 2111 3014691 9.59/9.68 o 5046 10.09/10.11 c 7.60184 188.348 2260 3073118 10.09/10.11 o 4915 10.79/10.80 c 8.10577 188.477 2466 3109017 10.79/10.80 o 4906 10.99/11.02 c 8.28074 188.477 2623 3137224 10.99/11.02 o 4905 11.19/11.23 c 8.43372 188.477 2649 3214798 11.19/11.23 o 4621 11.59/11.61 c 8.70968 188.477 2803 3264071 11.59/11.61 o 4610 12.00/12.04 c 9.02763 188.605 2919 3306328 12.00/12.04 o 4083 12.09/12.18 c 9.13161 188.605 2943 3318712 12.09/12.18 o 4070 12.19/12.26 c 9.1986 188.605 2950 3346521 12.19/12.27 o 4008 12.39/12.40 c 9.30259 188.605 2972 3361701 12.39/12.40 o 4006 12.49/12.50 c 9.38557 188.605 2980 3392306 12.49/12.50 o 3879 12.59/12.63 c 9.49356 188.605 2999 3432781 12.59/12.63 o 3493 12.69/12.74 c 9.58154 188.605 3011 3453732 12.69/12.74 o 3488 13.09/13.14 c 9.8595 188.605 3068 3541069 13.09/13.14 o 3485 13.19/13.21 c 9.91749 188.605 3071 3559170 13.19/13.21 o 2492 13.79/13.89 c 10.3744 188.605 3151 3600348 13.79/13.89 o 2490 13.99/14.09 c 10.5304 188.605 3185 3628843 13.99/14.09 o 2484 15.09/15.16 c 11.2503 188.734 3390 3692015 15.09/15.16 o 2454 20.20/20.28 c 14.9047 188.863 4031 3752625 20.20/20.28 o 2453 20.69/20.72 c 15.2297 188.863 4084 3766476 20.69/20.72 o 2452 21.09/21.17 c 15.5726 188.863 4151 3820765 21.09/21.17 o 2450 23.19/23.25 c 17.0244 188.992 4415 3867966 23.19/23.25 o 2447 23.79/23.85 c 17.4553 188.992 4512 3892961 23.79/23.85 o 2444 25.29/25.37 c 18.5132 188.992 4706 3917292 25.29/25.37 o 2442 25.49/25.55 c 18.6472 188.992 4725 3939660 25.49/25.55 o 2441 25.69/25.70 c 18.7601 188.992 4739 3948173 25.69/25.70 o 2438 25.69/25.79 c 18.8291 188.992 4746 3965215 25.69/25.79 o 2437 26.59/26.64 c 19.438 188.992 4830 3970708 26.59/26.64 o 2435 27.59/27.68 c 20.1679 189.121 4941 3988437 27.59/27.68 o 2431 30.09/30.10 c 21.7767 189.121 5274 4041111 30.09/30.10 o 2417 30.39/30.45 c 22.0396 189.121 5319 4064832 30.39/30.45 o 2416 31.29/31.31 c 22.6096 189.25 5442 4093535 31.29/31.31 o 2415 32.19/32.29 c 23.3185 189.25 5554 4105533 32.19/32.29 o 2414 32.39/32.48 c 23.4544 189.25 5574 4126220 32.39/32.48 o 2408 32.90/32.91 c 23.7624 189.25 5626 4181275 32.90/32.91 o 2389 32.99/33.05 c 23.8824 189.25 5680 4217081 32.99/33.05 o 2151 33.30/33.32 c 24.0933 189.25 5765 4250986 33.30/33.32 o 2149 33.59/33.67 c 24.3803 189.25 5795 4282592 33.59/33.67 o 2147 33.89/33.92 c 24.5783 189.25 5827 4292953 33.89/33.92 o 2145 34.10/34.15 c 24.7652 189.25 5965 4311466 34.10/34.15 o 2141 34.19/34.26 c 24.8462 189.25 5975 4318145 34.19/34.26 o 2135 34.29/34.37 c 24.9402 189.25 6009 4333812 34.29/34.37 o 2131 34.79/34.81 c 25.2552 189.25 6100 4344589 34.79/34.81 o 2128 35.20/35.22 c 25.5491 189.25 6141 4364665 35.20/35.22 o 2125 41.20/41.27 c 29.6145 189.508 7134 4440741 41.20/41.27 o 2123 45.89/45.99 c 32.89 189.637 7752 4478433 45.89/45.99 o 2122 46.09/46.13 c 33.002 189.637 7811 4483567 46.09/46.13 o 2121 46.20/46.28 c 33.121 189.637 7824 4499196 46.20/46.28 o 2116 46.59/46.62 c 33.3619 189.637 7861 4510692 46.59/46.62 o 2114 46.79/46.81 c 33.5119 189.637 7881 4547612 46.79/46.81 o 2113 46.89/46.94 c 33.6089 189.637 7897 4564220 46.89/46.94 o 2105 47.19/47.22 c 33.8079 189.637 7935 4597915 47.19/47.22 o 2103 48.40/48.41 c 34.6977 189.637 8090 4609080 48.40/48.41 o 2102 49.59/49.62 c 35.5776 189.766 8263 4643383 49.59/49.62 o 2093 50.79/50.85 c 36.4685 189.766 8516 4669933 50.79/50.85 o 2092 50.89/50.96 c 36.5624 189.766 8522 4687821 50.89/50.96 o 2078 51.09/51.10 c 36.6844 189.766 8641 4704988 51.09/51.10 o 2072 51.19/51.26 c 36.8184 189.766 8689 4712839 51.19/51.26 o 2071 51.39/51.40 c 36.9264 189.766 8700 4728766 51.39/51.40 o 2070 51.39/51.49 c 36.9934 189.766 8703 4742051 51.39/51.49 o 2068 51.50/51.57 c 37.0554 189.766 8706 4760991 51.50/51.57 o 2050 51.60/51.66 c 37.1304 189.766 8712 4766278 51.60/51.66 o 2048 52.79/52.87 c 37.9372 189.766 8875 4774440 52.79/52.87 o 2046 54.00/54.00 c 38.7101 189.766 9105 4794223 54.00/54.01 o 2045 55.09/55.12 c 39.479 189.895 9229 4807455 55.09/55.13 o 2043 55.49/55.51 c 39.762 189.895 9278 4819531 55.49/55.51 o 2042 55.69/55.70 c 39.9129 189.895 9317 4834831 55.69/55.70 o 2036 56.19/56.22 c 40.3039 189.895 9364 4855774 56.19/56.22 o 2035 57.20/57.27 c 41.0538 189.895 9499 4912342 57.20/57.27 o 2033 57.39/57.48 c 41.2127 189.895 9526 4948388 57.39/57.48 o 2030 58.10/58.10 c 41.6797 189.895 9607 4968777 58.10/58.10 o 2029 58.39/58.46 c 41.9466 189.895 9646 5031934 58.39/58.46 o 2025 58.69/58.70 c 42.1296 189.895 9668 5056504 58.69/58.70 o 2024 58.79/58.83 c 42.2296 189.895 9684 5074235 58.79/58.83 o 2010 58.89/58.96 c 42.3446 189.895 9730 5086496 58.89/58.96 o 2009 59.09/59.13 c 42.4755 189.895 9768 5103047 59.09/59.13 o 2008 59.59/59.60 c 42.8145 190.023 9815 5108096 59.59/59.60 o 2007 59.59/59.69 c 42.8815 190.023 9830 5117186 59.59/59.69 o 2001 60.59/60.67 c 43.5584 190.023 9938 5137153 60.59/60.67 o 1992 60.79/60.81 c 43.6614 190.023 9952 5149193 60.79/60.81 o 1984 60.79/60.89 c 43.7204 190.023 9967 5161599 60.79/60.89 o 1976 60.89/60.96 c 43.7773 190.023 9982 5179148 60.89/60.96 o 1958 61.09/61.18 c 43.9433 190.023 10000 5203914 61.09/61.18 o 1953 61.39/61.47 c 44.1483 190.023 10038 5234386 61.39/61.47 o 1952 61.60/61.70 c 44.3153 190.023 10081 5245972 61.69/61.70 o 1949 62.29/62.37 c 44.7882 190.023 10357 5270084 62.29/62.37 o 1948 62.70/62.76 c 45.0781 190.023 10407 5279714 62.70/62.76 o 1947 63.70/63.78 c 45.768 190.023 10583 5310182 63.70/63.78 o 1937 63.80/63.87 c 45.846 190.023 10597 5321893 63.80/63.87 o 1916 63.99/64.01 c 45.953 190.023 10620 5347236 63.99/64.01 o 1915 64.10/64.10 c 46.029 190.023 10625 5368285 64.10/64.10 o 1907 64.19/64.29 c 46.17 190.023 10635 5411708 64.19/64.29 o 1886 64.39/64.40 c 46.26 190.152 10650 5432796 64.39/64.40 o 1885 64.69/64.71 c 46.5009 190.152 10737 5437547 64.69/64.71 o 1883 64.80/64.86 c 46.6149 190.152 10773 5460118 64.80/64.86 o 1880 64.99/65.01 c 46.7259 190.152 10782 5471202 64.99/65.01 o 1879 65.10/65.17 c 46.8589 190.152 10805 5489442 65.10/65.17 o 1871 66.00/66.09 c 47.5318 190.152 10903 5507010 66.00/66.09 o 1870 66.29/66.33 c 47.7117 190.152 10932 5530999 66.29/66.33 o 1854 66.40/66.44 c 47.7957 190.152 10937 5547637 66.40/66.44 o 1820 66.59/66.62 c 47.9177 190.152 10954 5561493 66.59/66.62 o 1819 66.80/66.82 c 48.0617 190.152 10996 5570753 66.80/66.82 o 1818 67.99/68.09 c 48.9916 190.152 11298 5592464 67.99/68.09 o 1817 69.99/70.02 c 50.3203 190.281 11575 5599391 69.99/70.02 o 1816 70.50/70.51 c 50.6733 190.281 11652 5633762 70.50/70.51 o 1814 70.99/71.04 c 51.0782 190.281 11803 5681966 70.99/71.04 o 1813 71.30/71.32 c 51.2702 190.281 11895 5707215 71.30/71.32 o 1812 72.60/72.62 c 52.1851 190.281 12015 5737901 72.60/72.62 o 1811 72.80/72.85 c 52.345 190.281 12047 5773407 72.80/72.85 o 1809 73.00/73.05 c 52.494 190.281 12105 5783046 73.00/73.05 o 1808 73.09/73.15 c 52.575 190.281 12114 5798673 73.09/73.15 o 1807 73.19/73.24 c 52.649 190.281 12129 5805195 73.19/73.24 o 1804 73.29/73.32 c 52.713 190.281 12137 5810312 73.29/73.32 o 1802 73.49/73.57 c 52.907 190.43 12170 5856438 73.49/73.57 o 1800 73.69/73.75 c 53.0379 190.43 12189 5860768 73.69/73.75 o 1794 75.59/75.64 c 54.3137 190.43 12717 5867113 75.59/75.64 o 1793 76.69/76.70 c 55.0256 190.43 12831 5871878 76.69/76.70 o 1792 78.19/78.27 c 56.2145 190.559 13004 5895148 78.19/78.27 o 1791 78.39/78.41 c 56.3264 190.559 13032 5901674 78.39/78.41 o 1790 79.20/79.22 c 56.8914 190.559 13116 5919193 79.20/79.22 o 1789 79.39/79.48 c 57.0803 190.559 13137 5936423 79.39/79.48 o 1784 80.59/80.67 c 57.8882 190.559 13392 5957102 80.59/80.67 o 1783 80.70/80.76 c 57.9602 190.559 13439 5961410 80.70/80.76 o 1781 80.89/80.90 c 58.0652 190.559 13457 5969808 80.89/80.90 o 1780 80.99/81.02 c 58.1582 190.559 13478 5989771 80.99/81.02 o 1774 81.10/81.18 c 58.2891 190.559 13492 6020705 81.10/81.18 o 1758 81.30/81.38 c 58.4371 190.559 13510 6027135 81.30/81.38 o 1757 81.49/81.56 c 58.5731 190.559 13521 6038917 81.49/81.56 o 1756 81.59/81.68 c 58.6781 190.559 13542 6055863 81.59/81.68 o 1755 81.79/81.85 c 58.8061 190.559 13549 6097683 81.79/81.85 o 1752 81.89/81.95 c 58.886 190.559 13558 6109321 81.89/81.95 o 1751 81.99/82.04 c 58.958 190.559 13562 6127423 81.99/82.04 o 1719 82.20/82.21 c 59.105 190.559 13600 6149884 82.20/82.21 o 1714 82.20/82.28 c 59.169 190.559 13605 6160725 82.20/82.28 o 1703 82.30/82.39 c 59.254 190.559 13616 6183218 82.30/82.40 o 1698 82.39/82.47 c 59.313 190.559 13620 6199440 82.39/82.47 o 1668 82.60/82.62 c 59.421 190.559 13645 6216349 82.60/82.62 o 1664 82.69/82.78 c 59.5329 190.559 13659 6250855 82.69/82.78 o 1661 83.10/83.13 c 59.7779 190.688 13703 6273706 83.10/83.13 o 1643 83.29/83.38 c 59.9659 190.688 13737 6276734 83.29/83.38 o 1642 83.79/83.87 c 60.3468 190.688 13802 6295100 83.79/83.87 o 1640 84.79/84.82 c 60.9827 190.688 13918 6300951 84.79/84.82 o 1639 84.89/84.98 c 61.1027 190.688 13936 6305699 84.89/84.98 o 1635 85.19/85.29 c 61.3177 190.688 13971 6324036 85.19/85.29 o 1634 85.50/85.59 c 61.5516 190.688 13996 6355554 85.50/85.59 o 1632 86.90/86.92 c 62.4505 190.688 14143 6368126 86.90/86.92 o 1629 87.20/87.28 c 62.7245 190.688 14172 6373971 87.20/87.28 o 1628 87.59/87.65 c 63.0064 190.688 14245 6382469 87.59/87.65 o 1627 89.89/89.91 c 64.5552 190.816 14559 6399076 89.89/89.91 o 1626 89.99/90.06 c 64.6792 190.816 14569 6412767 89.99/90.06 o 1625 90.10/90.19 c 64.7951 190.816 14588 6421970 90.10/90.19 o 1624 90.29/90.34 c 64.9261 190.816 14648 6435196 90.29/90.34 o 1621 90.80/90.83 c 65.3001 190.816 14703 6447383 90.80/90.83 o 1619 91.89/91.99 c 66.103 190.816 14932 6450874 91.89/91.99 o 1618 92.69/92.73 c 66.6489 190.816 15026 6453385 92.69/92.73 o 1617 94.09/94.15 c 67.6387 190.945 15257 6464995 94.09/94.15 o 1616 94.39/94.47 c 67.8717 190.945 15287 6471074 94.39/94.47 o 1615 95.50/95.57 c 68.6436 190.945 15467 6483337 95.50/95.57 o 1614 96.10/96.19 c 69.1085 190.945 15680 6495766 96.10/96.19 o 1613 96.59/96.63 c 69.4254 190.945 15753 6498745 96.59/96.63 o 1612 100.00/100.01 c 71.7861 191.074 16177 6519482 100.00/100.01 o 1610 104.80/104.80 c 74.9586 191.203 16702 6525195 104.80/104.80 o 1609 104.99/105.01 c 75.1296 191.203 16729 6529896 104.99/105.01 o 1608 105.39/105.47 c 75.4735 191.203 16795 6533804 105.39/105.47 o 1607 209.70/209.73 c 146.109 193.613 11127 6577821 209.70/209.73 o 1606 211.00/211.01 c 146.989 193.613 11308 6582727 211.00/211.01 o 1605 211.20/211.20 c 147.125 193.613 11350 6584423 211.20/211.20 o 1604 211.50/211.51 c 147.359 193.613 11428 6590525 211.50/211.51 o 1603 211.90/211.96 c 147.696 193.613 11564 6599589 211.90/211.96 o 1602 214.50/214.52 c 149.471 193.613 11995 6621886 214.50/214.52 o 1601 215.29/215.36 c 150.064 193.613 12211 6635951 215.29/215.36 o 1600 215.51/215.55 c 150.214 193.613 12234 6646459 215.51/215.55 o 1599 215.90/215.94 c 150.483 193.613 12280 6650621 215.90/215.94 o 1598 216.71/216.78 c 151.109 193.613 12586 6708365 216.71/216.78 o 1597 217.00/217.03 c 151.311 193.613 12613 6719172 217.00/217.03 o 1596 218.30/218.30 c 152.217 193.613 12753 6741628 218.30/218.30 o 1595 219.59/219.63 c 153.143 193.613 13127 6759037 219.59/219.63 o 1594 221.29/221.30 c 154.337 193.613 13443 6774218 221.29/221.30 o 1593 222.30/222.34 c 155.058 193.613 13600 6794477 222.30/222.34 o 1592 224.59/224.65 c 156.697 193.613 13939 6810947 224.59/224.65 o 1591 227.89/227.99 c 159.034 193.613 14496 6831992 227.89/227.99 o 1590 229.20/229.21 c 159.886 193.613 14659 6856244 229.20/229.21 o 1589 229.40/229.49 c 160.113 193.613 14775 6887879 229.40/229.49 o 1588 229.90/229.98 c 160.458 193.613 14845 6892158 229.90/229.98 o 1587 230.50/230.52 c 160.835 193.613 14887 6895093 230.50/230.52 o 1586 233.90/233.94 c 163.347 193.613 15385 6899056 233.90/233.94 o 1585 236.00/236.08 c 164.847 193.613 15701 6911647 236.00/236.08 o 1584 236.30/236.31 c 165.032 193.613 15735 6921792 236.30/236.31 o 1583 236.50/236.51 c 165.19 193.613 15762 6940497 236.50/236.51 o 1582 236.80/236.82 c 165.413 193.613 15821 6959117 236.80/236.82 o 1581 238.10/238.18 c 166.389 193.613 16052 6982742 238.10/238.18 o 1580 239.80/239.86 c 167.518 193.613 16231 7043907 239.80/239.86 o 1579 240.00/240.08 c 167.681 193.613 16267 7051383 240.00/240.08 o 1578 240.20/240.24 c 167.813 193.613 16333 7057667 240.20/240.24 o 1576 240.39/240.40 c 167.935 193.613 16353 7066656 240.39/240.40 o 1573 254.30/254.32 c 177.307 193.613 18062 7093128 254.30/254.32 o 1572 254.50/254.55 c 177.469 193.613 18081 7101270 254.50/254.55 o 1570 254.79/254.83 c 177.674 193.613 18108 7103518 254.79/254.83 o 1569 254.89/254.96 c 177.789 193.613 18120 7118002 254.89/254.96 o 1568 255.49/255.53 c 178.201 193.613 18182 7138721 255.49/255.54 o 1567 255.60/255.68 c 178.313 193.613 18204 7153090 255.60/255.68 o 1566 256.60/256.64 c 178.965 193.613 18322 7162653 256.60/256.64 o 1565 257.50/257.55 c 179.632 193.613 18516 7173301 257.50/257.55 o 1564 257.70/257.74 c 179.769 193.613 18546 7177771 257.70/257.74 o 1563 257.90/257.97 c 179.932 193.613 18590 7189630 257.90/257.97 o 1562 258.10/258.17 c 180.088 193.613 18610 7210737 258.10/258.17 o 1559 258.30/258.32 c 180.196 193.613 18624 7219311 258.30/258.32 o 1558 258.41/258.44 c 180.289 193.613 18642 7230251 258.41/258.44 o 1554 258.60/258.67 c 180.471 193.613 18664 7258601 258.60/258.67 o 1553 258.80/258.88 c 180.621 193.613 18681 7273042 258.80/258.88 o 1551 259.60/259.69 c 181.203 193.613 18801 7289026 259.60/259.69 o 1550 259.80/259.88 c 181.359 193.613 18848 7308991 259.80/259.88 o 1548 260.00/260.03 c 181.48 193.613 18871 7317057 260.00/260.03 o 1545 260.50/260.54 c 181.867 193.613 9593 7365648 260.50/260.54 o 1544 261.30/261.34 c 182.456 193.613 9689 7374268 261.30/261.34 o 1543 262.19/262.26 c 183.102 193.613 9867 7389697 262.19/262.26 o 1542 263.40/263.47 c 183.937 193.613 9998 7398719 263.40/263.47 o 1541 264.20/264.20 c 184.432 193.613 10069 7402140 264.20/264.20 o 1538 264.50/264.54 c 184.692 193.613 10110 7431844 264.50/264.55 o 1537 266.50/266.56 c 186.104 193.613 10357 7437129 266.50/266.56 o 1536 266.59/266.66 c 186.181 193.613 10374 7438556 266.59/266.66 o 1535 266.70/266.74 c 186.256 193.613 10385 7439766 266.70/266.74 o 1534 266.90/266.98 c 186.433 193.613 10415 7443077 266.90/266.98 o 1533 267.10/267.14 c 186.543 193.613 10427 7445020 267.10/267.14 o 1532 267.30/267.33 c 186.69 193.613 10487 7452775 267.30/267.33 o 1531 268.10/268.18 c 187.287 193.613 10606 7458169 268.10/268.18 o 1530 268.20/268.28 c 187.369 193.613 10618 7460884 268.20/268.28 o 1529 268.40/268.43 c 187.479 193.613 10640 7469096 268.40/268.43 o 1528 268.60/268.68 c 187.674 193.613 10717 7477113 268.60/268.68 o 1527 269.20/269.27 c 188.082 193.613 10789 7482390 269.20/269.27 o 1526 269.50/269.55 c 188.282 193.613 10841 7490518 269.50/269.55 o 1524 269.69/269.78 c 188.453 193.613 10878 7494666 269.69/269.78 o 1523 269.90/269.93 c 188.581 193.613 10897 7497414 269.90/269.93 o 1522 271.30/271.31 c 189.51 193.613 11196 7507227 271.30/271.31 o 1521 273.10/273.14 c 190.796 193.613 11467 7520622 273.10/273.14 o 1520 274.20/274.29 c 191.577 193.613 11607 7527714 274.20/274.29 o 1518 275.10/275.10 c 192.13 193.613 11675 7532060 275.10/275.10 o 1517 275.29/275.33 c 192.297 193.613 11697 7538594 275.29/275.33 o 1516 275.50/275.56 c 192.462 193.613 11724 7548653 275.50/275.56 o 1514 275.59/275.68 c 192.567 193.613 11805 7558937 275.59/275.68 o 1512 275.70/275.79 c 192.662 193.613 11843 7569294 275.70/275.79 o 1511 275.89/276.00 c 192.829 193.613 11869 7581942 275.89/276.00 o 1510 276.30/276.37 c 193.107 193.613 12019 7594974 276.30/276.37 o 1509 276.39/276.48 c 193.195 193.613 12050 7610510 276.39/276.48 o 1508 276.50/276.60 c 193.284 193.613 12067 7616928 276.50/276.60 o 1506 276.70/276.73 c 193.388 193.613 12088 7626245 276.70/276.73 o 1504 276.80/276.87 c 193.499 193.613 12101 7637477 276.80/276.87 o 1503 276.99/277.07 c 193.665 193.613 12133 7647547 276.99/277.07 o 1500 277.70/277.75 c 194.139 193.613 12204 7656194 277.70/277.75 o 1499 278.60/278.69 c 194.782 193.613 12343 7668287 278.60/278.69 o 1498 278.90/278.90 c 194.95 193.613 12360 7677034 278.90/278.90 o 1497 280.90/280.92 c 196.368 193.613 12644 7731701 280.90/280.92 o 1496 281.20/281.25 c 196.618 193.613 12718 7763215 281.20/281.25 o 1495 282.10/282.18 c 197.262 193.613 12802 7773715 282.10/282.18 o 1494 283.90/283.96 c 198.454 193.613 13017 7781724 283.90/283.96 o 1491 291.51/291.51 c 203.545 193.613 13973 7796548 291.51/291.51 o 1489 292.00/292.08 c 203.966 193.613 14031 7799177 292.00/292.08 o 1488 294.00/294.06 c 205.339 193.613 14316 7805661 294.00/294.06 o 1487 294.20/294.23 c 205.468 193.613 14354 7807688 294.20/294.23 o 1486 294.50/294.56 c 205.716 193.613 14431 7810379 294.50/294.56 o 1485 296.40/296.42 c 207.004 193.613 14720 7818312 296.40/296.42 o 1484 297.10/297.18 c 207.543 193.613 14858 7826013 297.10/297.18 o 1482 297.20/297.26 c 207.605 193.613 14862 7828338 297.20/297.26 o 1481 297.50/297.51 c 207.797 193.613 14899 7839765 297.50/297.51 o 1480 297.70/297.76 c 207.991 193.613 14946 7864953 297.70/297.76 o 1479 298.00/298.07 c 208.207 193.613 14983 7879511 298.00/298.07 o 1478 298.20/298.20 c 208.31 193.613 14998 7886170 298.20/298.20 o 1476 298.30/298.31 c 208.402 193.613 15023 7900256 298.30/298.31 o 1475 298.50/298.51 c 208.55 193.613 15071 7927744 298.50/298.51 o 1473 298.80/298.80 c 208.776 193.613 15106 7947092 298.80/298.80 o 1472 299.30/299.38 c 209.176 193.613 15219 7967401 299.30/299.38 o 1471 299.50/299.53 c 209.291 193.613 15244 7985060 299.50/299.53 o 1469 299.70/299.75 c 209.458 193.613 15264 7989594 299.70/299.75 o 1468 304.00/304.03 c 212.394 193.613 15798 8007897 304.00/304.03 o 1467 305.10/305.15 c 213.15 193.613 15952 8016283 305.10/305.15 o 1465 307.20/307.29 c 214.585 193.613 16194 8022489 307.20/307.29 o 1464 307.40/307.45 c 214.704 193.613 16228 8025750 307.40/307.45 o 1463 307.70/307.73 c 214.922 193.613 16282 8028495 307.70/307.73 o 1462 307.80/307.83 c 215.005 193.613 16352 8034876 307.80/307.83 o 1460 308.01/308.02 c 215.138 193.613 16370 8054228 308.01/308.02 o 1459 308.80/308.83 c 215.731 193.613 16523 8071746 308.80/308.83 o 1457 308.90/308.93 c 215.812 193.613 16532 8074082 308.90/308.93 o 1456 309.90/309.91 c 216.493 193.613 16618 8082450 309.90/309.91 o 1455 312.89/312.90 c 218.539 193.613 17030 8089713 312.89/312.90 o 1454 313.00/313.06 c 218.662 193.613 17048 8093519 313.00/313.06 o 1453 313.70/313.77 c 219.193 193.613 17146 8115293 313.70/313.77 o 1452 314.90/314.96 c 220.024 193.613 17259 8143734 314.90/314.96 o 1451 315.00/315.08 c 220.128 193.613 17266 8161653 315.00/315.08 o 1449 315.20/315.23 c 220.24 193.613 17285 8181193 315.20/315.23 o 1448 315.30/315.35 c 220.337 193.613 17297 8200551 315.30/315.35 o 1447 316.60/316.66 c 221.225 193.613 17433 8207183 316.60/316.66 o 1444 320.00/320.06 c 223.615 193.613 17844 8220681 320.00/320.06 o 1443 321.11/321.10 c 224.324 193.613 17967 8223857 321.11/321.10 o 1442 321.30/321.35 c 224.512 193.613 18007 8226197 321.30/321.35 o 1441 321.60/321.61 c 224.72 193.613 18157 8230768 321.60/321.61 o 1440 321.70/321.76 c 224.839 193.613 18178 8233760 321.70/321.76 o 1439 324.00/324.01 c 226.398 193.613 18459 8246065 324.00/324.01 o 1438 324.70/324.74 c 226.899 193.613 18537 8248793 324.70/324.74 o 1436 324.90/324.96 c 227.061 193.613 18554 8250712 324.90/324.96 o 1434 330.01/330.04 c 230.427 193.613 9811 8273483 330.01/330.04 o 1433 331.99/332.03 c 231.757 193.613 10160 8278562 331.99/332.03 o 1432 332.39/332.41 c 232.002 193.613 10209 8280954 332.39/332.41 o 1429 332.60/332.64 c 232.179 193.613 10285 8298955 332.60/332.64 o 1427 332.80/332.81 c 232.315 193.613 10311 8304187 332.80/332.81 o 1426 333.10/333.17 c 232.597 193.613 10568 8334542 333.10/333.17 o 1425 333.30/333.34 c 232.724 193.613 10581 8344851 333.30/333.34 o 1423 333.50/333.55 c 232.887 193.613 10648 8379614 333.50/333.55 o 1422 339.59/339.64 c 236.927 193.613 11399 8390310 339.59/339.64 o 1421 339.90/339.93 c 237.156 193.613 11462 8406036 339.90/339.93 o 1419 340.00/340.03 c 237.237 193.613 11474 8415553 340.00/340.03 o 1416 340.20/340.22 c 237.385 193.613 11533 8424901 340.20/340.22 o 1415 340.50/340.51 c 237.598 193.613 11597 8456087 340.50/340.51 o 1414 340.70/340.73 c 237.76 193.613 11627 8459316 340.70/340.73 o 1411 340.80/340.87 c 237.876 193.613 11645 8463150 340.80/340.87 o 1408 340.90/340.98 c 237.961 193.613 11665 8467517 340.90/340.98 o 1406 341.10/341.15 c 238.082 193.613 11717 8473105 341.10/341.15 o 1405 341.30/341.34 c 238.228 193.613 11745 8481077 341.30/341.34 o 1404 341.40/341.45 c 238.317 193.613 11793 8485727 341.40/341.45 o 1403 341.50/341.55 c 238.396 193.613 11803 8491615 341.50/341.55 o 1402 341.60/341.68 c 238.507 193.613 11855 8500405 341.60/341.68 o 1400 341.80/341.80 c 238.602 193.613 11866 8513049 341.80/341.80 o 1398 341.90/341.97 c 238.721 193.613 11877 8528203 341.90/341.97 o 1397 342.11/342.17 c 238.867 193.613 11895 8544795 342.11/342.17 o 1396 342.30/342.33 c 238.99 193.613 11922 8568093 342.30/342.33 o 1395 342.40/342.46 c 239.093 193.613 11954 8570032 342.40/342.46 o 1394 342.60/342.65 c 239.234 193.613 11993 8574695 342.60/342.65 o 1393 345.80/345.80 c 241.39 193.613 12351 8583677 345.80/345.80 o 1392 346.00/346.01 c 241.555 193.613 12403 8585502 346.00/346.01 o 1390 346.10/346.14 c 241.666 193.613 12419 8588007 346.10/346.14 o 1389 346.30/346.38 c 241.848 193.613 12488 8600726 346.30/346.38 o 1388 347.61/347.67 c 242.738 193.613 12652 8607104 347.61/347.67 o 1387 347.80/347.87 c 242.89 193.613 12674 8608581 347.80/347.87 o 1386 348.10/348.17 c 243.107 193.613 12703 8610548 348.10/348.17 o 1385 348.30/348.33 c 243.239 193.613 12721 8613451 348.30/348.33 o 1384 348.50/348.53 c 243.388 193.613 12746 8616662 348.50/348.53 o 1382 348.60/348.62 c 243.461 193.613 12752 8619476 348.60/348.62 o 1381 349.20/349.24 c 243.93 193.613 12850 8621862 349.20/349.24 o 1380 349.40/349.45 c 244.086 193.613 12871 8626588 349.40/349.45 o 1379 351.10/351.16 c 245.231 193.613 13167 8630535 351.10/351.16 o 1378 351.20/351.27 c 245.322 193.613 13209 8632190 351.20/351.27 o 1377 352.20/352.25 c 245.998 193.613 13323 8638050 352.20/352.25 o 1376 352.70/352.78 c 246.378 193.613 13377 8639743 352.70/352.78 o 1375 352.90/352.91 c 246.48 193.613 13435 8641931 352.90/352.91 o 1373 354.50/354.55 c 247.577 193.613 13644 8648550 354.50/354.55 o 1372 356.41/356.40 c 248.816 193.613 13858 8652359 356.41/356.40 o 1371 356.41/356.49 c 248.894 193.613 13862 8653951 356.41/356.49 o 1370 356.50/356.59 c 248.969 193.613 13871 8656480 356.50/356.59 o 1368 356.70/356.74 c 249.081 193.613 13914 8660042 356.70/356.74 o 1367 356.80/356.85 c 249.17 193.613 13920 8663247 356.80/356.85 o 1366 357.60/357.62 c 249.721 193.613 14001 8675190 357.60/357.62 o 1365 358.51/358.57 c 250.348 193.613 14127 8681550 358.51/358.57 o 1364 360.90/360.90 c 252.019 193.613 14438 8688255 360.90/360.90 o 1362 362.91/362.99 c 253.466 193.613 14694 8692994 362.91/362.99 o 1361 363.30/363.32 c 253.713 193.613 14741 8694130 363.30/363.32 o 1360 363.50/363.56 c 253.894 193.613 14767 8697071 363.50/363.56 o 1359 364.80/364.89 c 254.84 193.613 14913 8703412 364.80/364.89 o 1358 365.00/365.05 c 254.973 193.613 14930 8709830 365.00/365.05 o 1357 365.11/365.20 c 255.09 193.613 14945 8712499 365.11/365.20 o 1356 365.60/365.62 c 255.381 193.613 14996 8718595 365.60/365.62 o 1353 365.90/365.90 c 255.583 193.613 15056 8723011 365.90/365.90 o 1352 366.00/366.05 c 255.697 193.613 15065 8727411 366.00/366.05 o 1351 366.10/366.12 c 255.754 193.613 15071 8729056 366.10/366.12 o 1350 366.60/366.62 c 256.108 193.613 15180 8734871 366.60/366.62 o 1349 366.70/366.79 c 256.228 193.613 15217 8741167 366.70/366.79 o 1348 367.70/367.75 c 256.958 193.613 15332 8751036 367.70/367.75 o 1346 368.00/368.06 c 257.173 193.613 15365 8756504 368.00/368.06 o 1345 370.80/370.82 c 259.037 193.613 15787 8771395 370.80/370.82 o 1344 370.90/370.95 c 259.143 193.613 15796 8773891 370.90/370.95 o 1343 371.00/371.08 c 259.247 193.613 15804 8778887 371.00/371.08 o 1342 371.20/371.26 c 259.38 193.613 15819 8781772 371.20/371.26 o 1341 371.71/371.72 c 259.742 193.613 15892 8785674 371.71/371.72 o 1340 373.40/373.45 c 260.939 193.613 16118 8797949 373.40/373.45 o 1339 375.30/375.34 c 262.224 193.613 16337 8802235 375.30/375.34 o 1338 375.60/375.66 c 262.465 193.613 16383 8805220 375.60/375.66 o 1337 377.50/377.57 c 263.751 193.613 16585 8810355 377.50/377.57 o 1336 377.90/377.90 c 263.987 193.613 16613 8814482 377.90/377.90 o 1335 378.00/378.05 c 264.104 193.613 16628 8819622 378.00/378.05 o 1334 378.20/378.24 c 264.261 193.613 16651 8822368 378.20/378.25 o 1333 379.20/379.26 c 264.987 193.613 16771 8826902 379.20/379.26 o 1331 380.40/380.42 c 265.786 193.613 17023 8845844 380.40/380.42 o 1330 381.01/381.07 c 266.221 193.613 17141 8854269 381.01/381.07 o 1329 381.30/381.36 c 266.425 193.613 17202 8858992 381.30/381.36 o 1328 384.30/384.39 c 268.474 193.613 17578 8866874 384.30/384.39 o 1327 384.80/384.88 c 268.806 193.613 17628 8868363 384.80/384.88 o 1326 387.50/387.53 c 270.666 193.613 17943 8875289 387.50/387.53 o 1325 388.00/388.00 c 271.001 193.613 17989 8883151 388.00/388.00 o 1324 388.10/388.12 c 271.095 193.613 17999 8886445 388.10/388.12 o 1323 388.50/388.58 c 271.433 193.613 18058 8888435 388.50/388.58 o 1322 393.71/393.79 c 274.872 193.613 18688 8897431 393.71/393.79 o 1321 394.00/394.06 c 275.088 193.613 18728 8902656 394.00/394.06 o 1320 394.30/394.35 c 275.304 193.613 18749 8909057 394.30/394.35 o 1319 395.10/395.16 c 275.848 193.613 18834 8915454 395.10/395.16 o 1318 395.30/395.38 c 276.014 193.613 18907 8925042 395.30/395.38 o 1317 395.50/395.50 c 276.111 193.613 18931 8933610 395.50/395.50 o 1316 395.80/395.87 c 276.374 193.613 18963 8944372 395.80/395.87 o 1315 395.90/395.98 c 276.455 193.613 18970 8952816 395.90/395.98 o 1314 396.90/396.98 c 277.141 193.613 9624 8955994 396.90/396.98 o 1313 397.01/397.07 c 277.218 193.613 9663 8957933 397.01/397.07 o 1312 397.20/397.20 c 277.323 193.613 9683 8969070 397.20/397.20 o 1310 397.31/397.32 c 277.415 193.613 9698 8975421 397.31/397.32 o 1307 397.40/397.42 c 277.486 193.613 9705 8980683 397.40/397.42 o 1306 397.50/397.59 c 277.615 193.613 9721 8990215 397.50/397.59 o 1305 398.01/398.06 c 277.949 193.613 9828 9014448 398.01/398.06 o 1304 398.11/398.16 c 278.028 193.613 9837 9019215 398.11/398.16 o 1303 398.30/398.36 c 278.182 193.613 9852 9034802 398.30/398.36 o 1302 398.40/398.45 c 278.25 193.613 9858 9041534 398.40/398.45 o 1301 398.60/398.64 c 278.392 193.613 9898 9049219 398.60/398.64 o 1300 398.80/398.87 c 278.57 193.613 9985 9066276 398.80/398.87 o 1299 399.00/399.05 c 278.709 193.613 10001 9071671 399.00/399.05 o 1298 401.20/401.27 c 280.232 193.613 10266 9076050 401.20/401.27 o 1297 401.30/401.38 c 280.318 193.613 10274 9083633 401.30/401.38 o 1295 401.90/401.95 c 280.701 193.613 10329 9088425 401.90/401.95 o 1294 402.11/402.19 c 280.885 193.613 10361 9095264 402.11/402.19 o 1292 402.30/402.31 c 280.983 193.613 10377 9098200 402.30/402.31 o 1291 402.60/402.64 c 281.237 193.613 10419 9121616 402.60/402.64 o 1290 402.80/402.82 c 281.376 193.613 10442 9138902 402.80/402.82 o 1289 402.90/402.94 c 281.467 193.613 10456 9143622 402.90/402.94 o 1288 403.00/403.03 c 281.547 193.613 10464 9151706 403.00/403.03 o 1287 403.21/403.22 c 281.705 193.613 10491 9164642 403.21/403.23 o 1286 403.30/403.33 c 281.8 193.613 10539 9173343 403.30/403.33 o 1285 403.40/403.48 c 281.913 193.613 10584 9178817 403.40/403.48 o 1283 403.50/403.56 c 281.972 193.613 10592 9180709 403.50/403.56 o 1282 403.71/403.72 c 282.098 193.613 10615 9202819 403.71/403.72 o 1277 404.00/404.07 c 282.341 193.613 10665 9209804 404.00/404.07 o 1275 404.50/404.51 c 282.653 193.613 10733 9211418 404.50/404.51 o 1274 404.90/404.92 c 282.944 193.613 10786 9214444 404.90/404.92 o 1273 405.00/405.04 c 283.031 193.613 10803 9217398 405.00/405.04 o 1272 405.60/405.66 c 283.488 193.613 10924 9223299 405.60/405.66 o 1271 406.10/406.11 c 283.837 193.613 10967 9228955 406.10/406.11 o 1270 406.60/406.62 c 284.202 193.613 11045 9233970 406.60/406.62 o 1269 408.21/408.23 c 285.293 193.613 11305 9246827 408.21/408.23 o 1268 412.80/412.88 c 288.41 193.613 11824 9254123 412.80/412.88 o 1267 413.10/413.10 c 288.567 193.613 11841 9256811 413.10/413.10 o 1266 414.00/414.03 c 289.189 193.613 11985 9263421 414.00/414.03 o 1265 414.90/414.92 c 289.758 193.613 12101 9268324 414.90/414.92 o 1263 415.10/415.11 c 289.895 193.613 12116 9269916 415.10/415.11 o 1262 415.40/415.40 c 290.121 193.613 12155 9274244 415.40/415.40 o 1261 417.20/417.28 c 291.44 193.613 12417 9287670 417.20/417.28 o 1260 418.81/418.81 c 292.489 193.613 12592 9291338 418.81/418.81 o 1259 418.91/418.91 c 292.563 193.613 12612 9292691 418.91/418.91 o 1258 419.10/419.14 c 292.722 193.613 12654 9296041 419.10/419.14 o 1257 419.41/419.41 c 292.92 193.613 12696 9306254 419.41/419.41 o 1256 420.50/420.54 c 293.726 193.613 12927 9322590 420.50/420.54 o 1254 422.40/422.41 c 295.076 193.613 13091 9332275 422.40/422.41 o 1253 423.70/423.78 c 296.008 193.613 13267 9339453 423.70/423.78 o 1252 424.60/424.60 c 296.573 193.613 13376 9341307 424.60/424.60 o 1251 424.70/424.77 c 296.701 193.613 13403 9344320 424.70/424.77 o 1250 424.90/424.90 c 296.812 193.613 13423 9347132 424.90/424.90 o 1248 425.21/425.22 c 297.036 193.613 13477 9350676 425.21/425.22 o 1247 425.30/425.35 c 297.134 193.613 13490 9352007 425.30/425.35 o 1246 425.41/425.47 c 297.23 193.613 13499 9354148 425.41/425.47 o 1245 432.00/432.09 c 301.596 193.613 14410 9366381 432.00/432.09 o 1244 432.31/432.32 c 301.765 193.613 14441 9370503 432.31/432.32 o 1243 432.90/432.95 c 302.195 193.613 14504 9371601 432.90/432.95 o 1242 433.10/433.12 c 302.318 193.613 14528 9373845 433.10/433.12 o 1241 433.51/433.57 c 302.658 193.613 14592 9378354 433.51/433.57 o 1240 433.71/433.75 c 302.782 193.613 14608 9383119 433.71/433.75 o 1238 433.90/433.95 c 302.939 193.613 14649 9398384 433.90/433.95 o 1237 434.10/434.12 c 303.082 193.613 14730 9406933 434.10/434.12 o 1236 434.21/434.26 c 303.19 193.613 14753 9411175 434.21/434.26 o 1235 434.30/434.35 c 303.262 193.613 14764 9413776 434.30/434.35 o 1234 434.61/434.67 c 303.522 193.613 14801 9415009 434.61/434.67 o 1233 435.40/435.40 c 304.042 193.613 14963 9431382 435.40/435.40 o 1232 442.50/442.51 c 308.757 193.613 15875 9440632 442.50/442.51 o 1231 443.00/443.07 c 309.155 193.613 15933 9443667 443.00/443.07 o 1230 444.01/444.00 c 309.782 193.613 16048 9446767 444.01/444.00 o 1229 444.01/444.09 c 309.857 193.613 16059 9448225 444.01/444.09 o 1228 444.20/444.23 c 309.971 193.613 16071 9451015 444.20/444.23 o 1227 444.31/444.38 c 310.078 193.613 16111 9457420 444.31/444.38 o 1226 444.70/444.73 c 310.334 193.613 16165 9462680 444.70/444.73 o 1225 445.51/445.55 c 310.919 193.613 16352 9468450 445.51/445.55 o 1224 445.70/445.73 c 311.062 193.613 16374 9470164 445.70/445.73 o 1223 445.90/445.96 c 311.226 193.613 16419 9477094 445.90/445.96 o 1222 446.40/446.44 c 311.6 193.613 16549 9496211 446.40/446.44 o 1221 447.90/447.91 c 312.644 193.613 16784 9499712 447.90/447.91 o 1220 448.00/448.09 c 312.772 193.613 16833 9500727 448.00/448.09 o 1219 448.40/448.44 c 313.031 193.613 16907 9502558 448.40/448.44 o 1218 448.50/448.57 c 313.134 193.613 16960 9504352 448.50/448.57 o 1217 448.81/448.85 c 313.33 193.613 17032 9506425 448.81/448.85 o 1216 448.90/448.99 c 313.43 193.613 17042 9508667 448.90/448.99 o 1215 449.11/449.14 c 313.541 193.613 17051 9510698 449.11/449.14 o 1214 449.21/449.25 c 313.625 193.613 17060 9513318 449.21/449.25 o 1213 449.41/449.41 c 313.761 193.613 17129 9515604 449.41/449.41 o 1212 449.51/449.50 c 313.838 193.613 17135 9523005 449.51/449.50 o 1210 449.70/449.75 c 314.024 193.613 17151 9532611 449.70/449.75 o 1207 450.70/450.72 c 314.678 193.613 17257 9535199 450.70/450.72 o 1206 450.81/450.81 c 314.75 193.613 17260 9538466 450.81/450.81 o 1205 450.81/450.90 c 314.819 193.613 17266 9542201 450.81/450.90 o 1204 451.01/451.01 c 314.91 193.613 17273 9548877 451.01/451.01 o 1203 451.01/451.09 c 314.974 193.613 17281 9551506 451.01/451.09 o 1202 451.11/451.16 c 315.033 193.613 17289 9555803 451.11/451.16 o 1201 451.30/451.32 c 315.156 193.613 17303 9558196 451.30/451.32 o 1200 452.31/452.38 c 315.914 193.613 17425 9562062 452.31/452.38 o 1199 452.50/452.59 c 316.079 193.613 17448 9572807 452.50/452.59 o 1198 452.80/452.81 c 316.259 193.613 17479 9590753 452.80/452.82 o 1197 452.91/452.95 c 316.368 193.613 17514 9597375 452.91/452.95 o 1196 453.91/453.96 c 317.046 193.613 17643 9606439 453.91/453.96 o 1195 454.10/454.11 c 317.172 193.613 17679 9611410 454.10/454.11 o 1194 455.71/455.72 c 318.341 193.613 17984 9618157 455.71/455.72 o 1193 455.90/455.95 c 318.517 193.613 18007 9619995 455.90/455.95 o 1192 456.00/456.06 c 318.613 193.613 18016 9624219 456.00/456.06 o 1191 456.20/456.21 c 318.734 193.613 18066 9628801 456.20/456.21 o 1190 456.30/456.33 c 318.827 193.613 18072 9632043 456.30/456.33 o 1188 456.81/456.84 c 319.197 193.613 18146 9638670 456.81/456.84 o 1187 457.10/457.13 c 319.413 193.613 18179 9642631 457.10/457.13 o 1185 459.81/459.83 c 321.207 193.613 18488 9646645 459.81/459.83 o 1184 459.91/459.96 c 321.307 193.613 18497 9648147 459.91/459.96 o 1183 460.00/460.03 c 321.372 193.613 18503 9650069 460.00/460.03 o 1182 460.11/460.12 c 321.441 193.613 18506 9652955 460.11/460.12 o 1181 460.20/460.25 c 321.547 193.613 18514 9656822 460.20/460.25 o 1180 460.50/460.50 c 321.725 193.613 18538 9661564 460.50/460.50 o 1179 460.61/460.61 c 321.825 193.613 18590 9666005 460.61/460.61 o 1178 461.00/461.00 c 322.089 193.613 18618 9667673 461.00/461.00 o 1177 461.31/461.39 c 322.377 193.613 18665 9669440 461.31/461.39 o 1176 462.40/462.41 c 323.066 193.613 18772 9672779 462.40/462.41 o 1175 462.40/462.50 c 323.138 193.613 18788 9675530 462.40/462.50 o 1174 462.50/462.56 c 323.194 193.613 18791 9677671 462.50/462.56 o 1173 462.60/462.67 c 323.272 193.613 18808 9680746 462.60/462.67 o 1172 462.70/462.75 c 323.341 193.613 18833 9686606 462.70/462.75 o 1170 463.40/463.43 c 323.868 193.613 18921 9697718 463.40/463.43 o 1169 464.01/464.06 c 324.303 193.613 18990 9700180 464.01/464.06 o 1168 464.11/464.17 c 324.387 193.613 19011 9703985 464.11/464.17 o 1167 464.30/464.31 c 324.501 193.613 19074 9712330 464.30/464.31 o 1165 464.30/464.39 c 324.573 193.613 19078 9715174 464.30/464.39 o 1164 464.51/464.50 c 324.656 193.613 19082 9727935 464.51/464.50 o 1163 464.60/464.67 c 324.788 193.613 19100 9733147 464.60/464.67 o 1161 464.70/464.74 c 324.845 193.613 19104 9734686 464.70/464.74 o 1159 464.80/464.86 c 324.938 193.613 19108 9739786 464.80/464.86 o 1158 464.90/464.95 c 325.012 193.613 19112 9742551 464.90/464.95 o 1157 465.00/465.06 c 325.097 193.613 19118 9744671 465.00/465.06 o 1156 465.10/465.15 c 325.175 193.613 19130 9755565 465.10/465.15 o 1155 465.21/465.23 c 325.246 193.613 19138 9760397 465.21/465.23 o 1153 465.31/465.36 c 325.347 193.613 19189 9772150 465.31/465.36 o 1152 465.50/465.51 c 325.456 193.613 9610 9787850 465.50/465.51 o 1151 465.50/465.59 c 325.532 193.613 9624 9796617 465.50/465.59 o 1150 465.70/465.73 c 325.636 193.613 9637 9811293 465.70/465.73 o 1149 465.91/465.95 c 325.805 193.613 9668 9821623 465.91/465.95 o 1148 467.11/467.16 c 326.675 193.613 9782 9824168 467.11/467.16 o 1147 467.30/467.36 c 326.826 193.613 9799 9830304 467.30/467.36 o 1145 467.41/467.44 c 326.902 193.613 9826 9832323 467.41/467.44 o 1144 467.50/467.59 c 327.019 193.613 9863 9835153 467.50/467.59 o 1143 468.70/468.79 c 327.848 193.613 10070 9840389 468.70/468.79 o 1142 469.11/469.14 c 328.083 193.613 10115 9842537 469.11/469.14 o 1141 469.20/469.25 c 328.175 193.613 10128 9844562 469.20/469.25 o 1140 470.30/470.30 c 328.927 193.613 10349 9859005 470.30/470.30 o 1139 470.50/470.51 c 329.088 193.613 10372 9862824 470.50/470.51 o 1138 470.81/470.88 c 329.373 193.613 10411 9867881 470.81/470.88 o 1136 472.10/472.12 c 330.269 193.613 10546 9876470 472.10/472.12 o 1135 472.30/472.33 c 330.427 193.613 10564 9879618 472.30/472.33 o 1134 472.40/472.42 c 330.504 193.613 10570 9881496 472.40/472.42 o 1133 472.50/472.55 c 330.606 193.613 10579 9885680 472.50/472.55 o 1132 473.61/473.63 c 331.39 193.613 10741 9892225 473.61/473.63 o 1131 475.00/475.02 c 332.296 193.613 10870 9893934 475.00/475.02 o 1130 483.10/483.13 c 337.626 193.613 11961 9902048 483.10/483.13 o 1129 483.21/483.20 c 337.69 193.613 11965 9902941 483.21/483.20 o 1128 483.30/483.39 c 337.813 193.613 11999 9904577 483.30/483.39 o 1127 483.40/483.46 c 337.873 193.613 12000 9905644 483.40/483.46 o 1126 483.51/483.55 c 337.952 193.613 12005 9906849 483.51/483.55 o 1125 484.80/484.84 c 338.846 193.613 12146 9914169 484.80/484.84 o 1124 486.80/486.81 c 340.189 193.613 12346 9917622 486.80/486.81 o 1123 487.80/487.82 c 340.858 193.613 12494 9922482 487.80/487.82 o 1122 487.90/487.94 c 340.957 193.613 12502 9925684 487.90/487.94 o 1121 488.00/488.01 c 341.021 193.613 12515 9929155 488.00/488.01 o 1120 488.20/488.23 c 341.18 193.613 12532 9939924 488.20/488.23 o 1119 489.00/489.04 c 341.733 193.613 12649 9950674 489.00/489.04 o 1117 489.10/489.12 c 341.802 193.613 12659 9952888 489.10/489.12 o 1116 489.21/489.25 c 341.906 193.613 12674 9962880 489.21/489.25 o 1115 489.31/489.39 c 342.012 193.613 12700 9967215 489.31/489.39 o 1114 489.51/489.58 c 342.172 193.613 12775 9972938 489.51/489.58 o 1113 489.60/489.67 c 342.249 193.613 12809 9977759 489.60/489.67 o 1112 489.81/489.84 c 342.374 193.613 12836 9986106 489.81/489.84 o 1111 490.01/490.00 c 342.503 193.613 12848 9993365 490.01/490.01 o 1110 490.01/490.09 c 342.571 193.613 12864 9995913 490.01/490.09 o 1109 490.61/490.63 c 342.934 193.613 12920 10001852 490.61/490.63 o 1108 491.01/491.02 c 343.248 193.613 12994 10003962 491.01/491.02 o 1107 491.11/491.17 c 343.364 193.613 13058 10006227 491.11/491.17 o 1106 491.30/491.32 c 343.488 193.613 13089 10013200 491.30/491.32 o 1105 491.41/491.42 c 343.56 193.613 13092 10018698 491.41/491.42 o 1103 491.50/491.50 c 343.63 193.613 13096 10021755 491.50/491.50 o 1101 491.61/491.64 c 343.734 193.613 13123 10028227 491.61/491.64 o 1100 491.71/491.75 c 343.821 193.613 13157 10032750 491.71/491.75 o 1098 491.80/491.82 c 343.878 193.613 13161 10034605 491.80/491.82 o 1097 491.90/491.96 c 343.986 193.613 13174 10035921 491.90/491.96 o 1096 492.10/492.11 c 344.103 193.613 13196 10042872 492.10/492.11 o 1095 492.10/492.19 c 344.165 193.613 13235 10045268 492.10/492.19 o 1094 492.20/492.28 c 344.24 193.613 13246 10047382 492.20/492.28 o 1093 492.40/492.43 c 344.352 193.613 13257 10053074 492.40/492.43 o 1092 492.50/492.52 c 344.414 193.613 13274 10055876 492.50/492.52 o 1091 492.61/492.63 c 344.512 193.613 13311 10060442 492.61/492.63 o 1090 492.71/492.71 c 344.577 193.613 13328 10062579 492.71/492.71 o 1089 492.71/492.78 c 344.637 193.613 13364 10063866 492.71/492.78 o 1088 492.81/492.87 c 344.701 193.613 13371 10064926 492.81/492.87 o 1087 492.90/492.96 c 344.772 193.613 13376 10066499 492.90/492.96 o 1086 493.01/493.03 c 344.833 193.613 13380 10067748 493.01/493.03 o 1084 493.11/493.10 c 344.896 193.613 13382 10069553 493.11/493.10 o 1083 493.11/493.17 c 344.954 193.613 13385 10071440 493.11/493.17 o 1082 493.20/493.25 c 345.018 193.613 13386 10073897 493.20/493.25 o 1080 493.30/493.33 c 345.091 193.613 13391 10075798 493.30/493.33 o 1079 493.41/493.41 c 345.158 193.613 13394 10080189 493.41/493.41 o 1078 493.41/493.49 c 345.217 193.613 13397 10083768 493.41/493.49 o 1077 493.60/493.60 c 345.309 193.613 13402 10089466 493.60/493.60 o 1075 493.71/493.77 c 345.442 193.613 13475 10097097 493.71/493.77 o 1074 493.81/493.85 c 345.509 193.613 13489 10100192 493.81/493.85 o 1073 493.91/493.92 c 345.573 193.613 13497 10102131 493.91/493.92 o 1072 493.91/493.99 c 345.627 193.613 13500 10106135 493.91/493.99 o 1071 494.11/494.12 c 345.721 193.613 13515 10117489 494.11/494.12 o 1069 494.21/494.24 c 345.829 193.613 13524 10125308 494.21/494.24 o 1068 494.30/494.37 c 345.922 193.613 13533 10129107 494.30/494.37 o 1067 494.51/494.50 c 346.022 193.613 13548 10140028 494.51/494.50 o 1066 494.60/494.61 c 346.123 193.613 13570 10145828 494.60/494.61 o 1065 494.70/494.74 c 346.223 193.613 13589 10151968 494.70/494.74 o 1064 494.91/494.94 c 346.37 193.613 13606 10181828 494.91/494.94 o 1062 495.01/495.07 c 346.473 193.613 13620 10191799 495.01/495.08 o 1061 495.41/495.43 c 346.742 193.613 13719 10198789 495.41/495.43 o 1060 495.51/495.59 c 346.852 193.613 13733 10199970 495.51/495.59 o 1059 496.40/496.43 c 347.416 193.613 13908 10211293 496.40/496.43 o 1058 496.50/496.50 c 347.48 193.613 13915 10212843 496.50/496.50 o 1056 496.50/496.59 c 347.562 193.613 13945 10214179 496.50/496.59 o 1054 496.60/496.68 c 347.635 193.613 13967 10215646 496.60/496.68 o 1053 496.70/496.79 c 347.709 193.613 13971 10222192 496.70/496.79 o 1051 496.91/496.90 c 347.792 193.613 13979 10227618 496.91/496.90 o 1047 497.00/497.02 c 347.894 193.613 14033 10233563 497.00/497.02 o 1046 497.12/497.11 c 347.971 193.613 14040 10242280 497.12/497.11 o 1045 497.21/497.23 c 348.061 193.613 14049 10247896 497.21/497.23 o 1044 497.31/497.36 c 348.153 193.613 14057 10263451 497.31/497.36 o 1043 497.41/497.46 c 348.23 193.613 14063 10272670 497.41/497.46 o 1041 497.50/497.53 c 348.289 193.613 14067 10274894 497.50/497.53 o 1040 497.61/497.67 c 348.406 193.613 14115 10277276 497.61/497.67 o 1039 498.10/498.16 c 348.761 193.613 14181 10279439 498.10/498.16 o 1038 498.60/498.65 c 349.104 193.613 14254 10280711 498.60/498.65 o 1037 498.70/498.73 c 349.168 193.613 14259 10283622 498.70/498.73 o 1036 498.80/498.82 c 349.241 193.613 14267 10286567 498.80/498.82 o 1035 498.80/498.89 c 349.301 193.613 14268 10288333 498.80/498.89 o 1034 499.41/499.45 c 349.697 193.613 14343 10291112 499.41/499.45 o 1033 499.70/499.73 c 349.906 193.613 14418 10294195 499.70/499.73 o 1032 500.70/500.78 c 350.613 193.613 14526 10299776 500.70/500.78 o 1029 501.00/501.03 c 350.79 193.613 14554 10302269 501.00/501.03 o 1027 501.80/501.89 c 351.408 193.613 14635 10308305 501.80/501.89 o 1026 502.31/502.35 c 351.71 193.613 14685 10310225 502.31/502.35 o 1025 502.41/502.44 c 351.791 193.613 14692 10313281 502.41/502.44 o 1024 502.61/502.67 c 351.97 193.613 14718 10316743 502.61/502.67 o 1023 502.90/502.91 c 352.155 193.613 14781 10319270 502.90/502.91 o 1022 503.11/503.14 c 352.324 193.613 14835 10320845 503.11/503.14 o 1021 503.81/503.86 c 352.84 193.613 14964 10324056 503.81/503.86 o 1019 504.61/504.60 c 353.356 193.613 15032 10326730 504.61/504.60 o 1018 504.61/504.68 c 353.424 193.613 15038 10327887 504.61/504.68 o 1016 510.51/510.56 c 357.536 193.613 15807 10337914 510.51/510.56 o 1015 510.70/510.70 c 357.641 193.613 15821 10340549 510.70/510.70 o 1014 511.90/511.90 c 358.518 193.613 15984 10344801 511.90/511.90 o 1013 512.10/512.18 c 358.722 193.613 16015 10347509 512.10/512.18 o 1012 512.61/512.69 c 359.094 193.613 16073 10348998 512.61/512.69 o 1011 512.80/512.80 c 359.189 193.613 16099 10350824 512.80/512.80 o 1010 513.80/513.80 c 359.872 193.613 16212 10356567 513.80/513.80 o 1009 514.61/514.63 c 360.49 193.613 16341 10365858 514.61/514.63 o 1007 517.31/517.36 c 362.408 193.613 16690 10369667 517.31/517.36 o 1006 517.50/517.56 c 362.57 193.613 16727 10373974 517.50/517.56 o 1005 517.81/517.80 c 362.754 193.613 16786 10377069 517.81/517.80 o 1004 517.81/517.88 c 362.827 193.613 16793 10378880 517.81/517.88 o 1001 518.11/518.11 c 362.992 193.613 16826 10381034 518.11/518.11 o 1000 519.00/519.05 c 363.644 193.613 16943 10383980 519.00/519.05 o 999 519.11/519.15 c 363.733 193.613 16958 10385271 519.11/519.15 o 998 519.41/519.40 c 363.921 193.613 16977 10387769 519.41/519.40 o 997 519.51/519.57 c 364.043 193.613 16990 10388824 519.51/519.57 o 996 519.60/519.66 c 364.118 193.613 16999 10389772 519.60/519.66 o 995 519.81/519.82 c 364.244 193.613 17013 10390812 519.81/519.82 o 994 520.21/520.29 c 364.581 193.613 17125 10393486 520.21/520.29 o 993 520.40/520.46 c 364.708 193.613 17144 10397840 520.40/520.46 o 992 520.51/520.55 c 364.793 193.613 17154 10399320 520.51/520.55 o 991 520.60/520.63 c 364.856 193.613 17160 10400531 520.60/520.63 o 990 520.80/520.89 c 365.044 193.613 17200 10404357 520.80/520.89 o 988 521.50/521.55 c 365.494 193.613 17267 10405860 521.50/521.55 o 987 522.51/522.56 c 366.16 193.613 17417 10411275 522.51/522.56 o 986 522.70/522.72 c 366.283 193.613 17429 10415311 522.70/522.72 o 985 524.71/524.78 c 367.685 193.613 17686 10425561 524.71/524.78 o 984 525.00/525.01 c 367.856 193.613 17706 10429462 525.00/525.01 o 983 526.00/526.01 c 368.528 193.613 17839 10432801 526.00/526.01 o 982 526.10/526.17 c 368.648 193.613 17858 10436636 526.10/526.17 o 981 526.30/526.31 c 368.751 193.613 17877 10441673 526.30/526.31 o 980 526.41/526.46 c 368.871 193.613 17889 10448707 526.41/526.46 o 979 526.50/526.58 c 368.971 193.613 17893 10454468 526.50/526.58 o 977 526.61/526.65 c 369.028 193.613 17896 10456225 526.61/526.65 o 976 526.70/526.78 c 369.118 193.613 17904 10459468 526.70/526.78 o 975 526.81/526.87 c 369.19 193.613 17911 10464579 526.81/526.87 o 972 527.01/527.01 c 369.294 193.613 17920 10469330 527.01/527.01 o 971 527.10/527.15 c 369.399 193.613 17932 10475530 527.10/527.15 o 970 527.21/527.25 c 369.486 193.613 17939 10482548 527.21/527.25 o 968 527.30/527.32 c 369.551 193.613 17948 10486492 527.30/527.32 o 967 527.51/527.51 c 369.702 193.613 17972 10491605 527.51/527.51 o 966 527.81/527.81 c 369.914 193.613 18005 10493105 527.81/527.81 o 965 527.91/527.92 c 370.009 193.613 18014 10494131 527.91/527.92 o 964 528.00/528.04 c 370.103 193.613 18024 10502102 528.00/528.04 o 963 528.10/528.12 c 370.172 193.613 18029 10506967 528.10/528.12 o 962 528.20/528.24 c 370.264 193.613 18045 10513210 528.20/528.24 o 961 528.40/528.47 c 370.457 193.613 18154 10528493 528.40/528.47 o 960 528.50/528.59 c 370.544 193.613 18160 10532848 528.50/528.59 o 959 529.40/529.40 c 371.091 193.613 18271 10536202 529.40/529.40 o 958 529.81/529.86 c 371.419 193.613 18318 10537796 529.81/529.86 o 957 529.90/529.99 c 371.513 193.613 18329 10546598 529.90/529.99 o 954 530.01/530.07 c 371.586 193.613 18366 10548930 530.01/530.07 o 953 530.11/530.16 c 371.662 193.613 18391 10552739 530.11/530.16 o 952 530.21/530.23 c 371.727 193.613 18394 10555455 530.21/530.23 o 951 530.31/530.32 c 371.801 193.613 18420 10558994 530.31/530.32 o 950 530.40/530.42 c 371.888 193.613 18448 10561684 530.40/530.42 o 949 530.50/530.55 c 371.992 193.613 18461 10565058 530.50/530.55 o 948 530.60/530.69 c 372.097 193.613 18470 10568471 530.60/530.69 o 947 530.81/530.80 c 372.189 193.613 18481 10575234 530.81/530.80 o 946 530.90/530.97 c 372.305 193.613 18496 10591672 530.90/530.97 o 944 532.00/532.01 c 373.018 193.613 18611 10598844 532.00/532.01 o 943 532.21/532.24 c 373.207 193.613 18635 10608817 532.21/532.24 o 942 532.31/532.34 c 373.286 193.613 18640 10609798 532.31/532.34 o 941 532.50/532.56 c 373.457 193.613 18674 10617548 532.50/532.56 o 940 533.60/533.69 c 374.258 193.613 18789 10623786 533.60/533.69 o 939 534.00/534.01 c 374.482 193.613 18817 10625690 534.00/534.01 o 938 534.21/534.23 c 374.641 193.613 18857 10633595 534.21/534.23 o 937 535.30/535.39 c 375.424 193.613 18974 10636106 535.30/535.39 o 935 535.51/535.52 c 375.527 193.613 19031 10637756 535.51/535.52 o 934 535.81/535.89 c 375.813 193.613 19158 10642837 535.81/535.89 o 933 535.90/535.98 c 375.888 193.613 19187 10644168 535.90/535.98 o 932 536.00/536.08 c 375.976 193.613 19273 10645577 536.00/536.08 o 931 536.11/536.17 c 376.046 193.613 19280 10646631 536.11/536.17 o 930 536.20/536.29 c 376.143 193.613 19289 10649597 536.20/536.29 o 928 536.40/536.43 c 376.249 193.613 19304 10654301 536.40/536.43 o 926 536.50/536.51 c 376.316 193.613 19316 10655353 536.50/536.51 o 925 536.50/536.58 c 376.375 193.613 19321 10657255 536.50/536.58 o 924 536.61/536.65 c 376.44 193.613 19340 10659446 536.61/536.65 o 923 536.71/536.72 c 376.501 193.613 19362 10660825 536.71/536.72 o 922 536.81/536.81 c 376.571 193.613 19366 10662069 536.81/536.81 o 920 536.81/536.89 c 376.639 193.613 19371 10663837 536.81/536.89 o 918 536.90/536.98 c 376.712 193.613 19378 10666379 536.90/536.98 o 916 537.10/537.12 c 376.824 193.613 19392 10670890 537.10/537.12 o 914 537.30/537.36 c 377 193.613 9725 10680795 537.30/537.36 o 913 537.41/537.43 c 377.067 193.613 9729 10681868 537.41/537.43 o 912 538.21/538.21 c 377.672 193.613 9798 10686211 538.21/538.22 o 911 538.31/538.32 c 377.754 193.613 9823 10687635 538.31/538.32 o 910 542.31/542.32 c 380.441 193.613 10402 10691719 542.31/542.32 o 909 542.41/542.43 c 380.54 193.613 10486 10692747 542.41/542.43 o 908 543.10/543.12 c 381.002 193.613 10572 10694083 543.10/543.12 o 906 543.80/543.87 c 381.561 193.613 10741 10696764 543.80/543.87 o 905 546.00/546.07 c 383.039 193.613 10988 10699019 546.00/546.07 o 904 546.10/546.17 c 383.124 193.613 11018 10700273 546.10/546.17 o 903 546.20/546.25 c 383.192 193.613 11026 10701649 546.20/546.25 o 902 546.30/546.36 c 383.281 193.613 11034 10703567 546.30/546.36 o 900 546.61/546.65 c 383.486 193.613 11071 10705912 546.61/546.65 o 899 546.71/546.73 c 383.55 193.613 11075 10707534 546.71/546.73 o 898 546.81/546.85 c 383.642 193.613 11114 10709985 546.81/546.85 o 897 547.00/547.06 c 383.797 193.613 11157 10715781 547.00/547.06 o 896 547.31/547.31 c 383.991 193.613 11185 10718456 547.31/547.31 o 893 547.40/547.46 c 384.113 193.613 11199 10719464 547.40/547.46 o 892 547.51/547.56 c 384.19 193.613 11253 10721833 547.51/547.56 o 891 547.71/547.71 c 384.306 193.613 11268 10723920 547.71/547.71 o 890 547.71/547.80 c 384.379 193.613 11279 10726236 547.71/547.80 o 889 548.41/548.43 c 384.812 193.613 11356 10728404 548.41/548.43 o 888 548.61/548.65 c 384.968 193.613 11380 10729898 548.61/548.65 o 887 548.81/548.81 c 385.091 193.613 11400 10730871 548.81/548.81 o 886 548.91/548.97 c 385.206 193.613 11428 10732895 548.91/548.97 o 885 549.01/549.06 c 385.279 193.613 11433 10734423 549.01/549.06 o 884 549.11/549.15 c 385.35 193.613 11457 10735835 549.11/549.15 o 883 549.21/549.25 c 385.438 193.613 11494 10736677 549.21/549.25 o 882 549.41/549.40 c 385.544 193.613 11505 10739809 549.41/549.40 o 881 549.51/549.50 c 385.625 193.613 11509 10741081 549.51/549.50 o 880 549.61/549.64 c 385.733 193.613 11519 10742861 549.61/549.64 o 879 550.30/550.31 c 386.217 193.613 11602 10745196 550.30/550.31 o 878 550.41/550.42 c 386.298 193.613 11633 10747625 550.41/550.42 o 877 550.50/550.55 c 386.398 193.613 11655 10752266 550.50/550.55 o 876 550.61/550.68 c 386.497 193.613 11698 10758828 550.61/550.68 o 874 550.71/550.79 c 386.587 193.613 11704 10761829 550.71/550.79 o 872 550.91/550.95 c 386.715 193.613 11727 10766808 550.91/550.95 o 871 551.01/551.06 c 386.808 193.613 11743 10768085 551.01/551.06 o 870 551.11/551.18 c 386.903 193.613 11793 10769491 551.11/551.18 o 869 551.51/551.54 c 387.175 193.613 11863 10777027 551.51/551.54 o 868 551.71/551.70 c 387.313 193.613 11901 10777971 551.71/551.70 o 867 551.71/551.78 c 387.38 193.613 11904 10778892 551.71/551.78 o 866 553.41/553.49 c 388.564 193.613 12106 10782202 553.41/553.49 o 865 553.71/553.71 c 388.724 193.613 12134 10783323 553.71/553.71 o 864 554.21/554.25 c 389.135 193.613 12272 10785218 554.21/554.25 o 863 555.51/555.58 c 389.987 193.613 12431 10787637 555.51/555.58 o 862 556.30/556.39 c 390.56 193.613 12670 10790963 556.30/556.39 o 861 556.41/556.48 c 390.634 193.613 12687 10792248 556.41/556.48 o 860 556.51/556.59 c 390.723 193.613 12697 10794184 556.51/556.59 o 859 556.61/556.69 c 390.8 193.613 12704 10796052 556.61/556.69 o 858 557.62/557.69 c 391.506 193.613 12825 10799821 557.62/557.70 o 857 558.71/558.75 c 392.244 193.613 12952 10804363 558.71/558.75 o 856 558.81/558.85 c 392.328 193.613 12956 10805387 558.81/558.85 o 854 559.41/559.43 c 392.739 193.613 13007 10806907 559.41/559.43 o 853 559.51/559.58 c 392.867 193.613 13024 10808046 559.51/559.59 o 852 559.71/559.77 c 393.005 193.613 13064 10809368 559.71/559.77 o 851 559.81/559.88 c 393.095 193.613 13074 10810827 559.81/559.88 o 850 560.00/560.00 c 393.188 193.613 13098 10811920 560.00/560.00 o 849 560.10/560.11 c 393.274 193.613 13107 10813640 560.10/560.11 o 848 560.21/560.23 c 393.365 193.613 13114 10815007 560.21/560.23 o 847 560.31/560.33 c 393.441 193.613 13118 10817624 560.31/560.33 o 846 560.41/560.46 c 393.551 193.613 13128 10824151 560.41/560.46 o 845 560.61/560.61 c 393.657 193.613 13134 10831536 560.61/560.61 o 844 560.71/560.70 c 393.726 193.613 13140 10835108 560.71/560.70 o 843 561.31/561.33 c 394.163 193.613 13227 10837696 561.31/561.33 o 842 562.20/562.22 c 394.76 193.613 13343 10840010 562.20/562.22 o 841 562.80/562.83 c 395.214 193.613 13399 10841069 562.80/562.83 o 840 562.91/562.97 c 395.311 193.613 13407 10842249 562.91/562.97 o 839 563.01/563.09 c 395.413 193.613 13466 10844021 563.01/563.09 o 837 563.30/563.38 c 395.63 193.613 13506 10847910 563.30/563.38 o 836 564.00/564.04 c 396.074 193.613 13563 10849974 564.00/564.04 o 835 564.40/564.43 c 396.352 193.613 13600 10851121 564.40/564.43 o 834 564.50/564.54 c 396.442 193.613 13611 10852323 564.50/564.54 o 833 564.60/564.64 c 396.527 193.613 13615 10854159 564.60/564.64 o 832 564.70/564.72 c 396.592 193.613 13620 10855823 564.70/564.72 o 831 564.81/564.88 c 396.713 193.613 13634 10858918 564.81/564.88 o 830 564.91/564.97 c 396.779 193.613 13640 10861009 564.91/564.97 o 829 565.10/565.14 c 396.921 193.613 13702 10864302 565.10/565.14 o 828 565.20/565.26 c 397.023 193.613 13713 10866655 565.20/565.26 o 827 565.50/565.50 c 397.178 193.613 13743 10868258 565.50/565.50 o 826 565.50/565.58 c 397.247 193.613 13746 10869814 565.50/565.58 o 825 565.61/565.68 c 397.321 193.613 13750 10872593 565.61/565.68 o 824 565.71/565.75 c 397.383 193.613 13754 10874776 565.71/565.75 o 823 565.80/565.83 c 397.455 193.613 13781 10876873 565.80/565.83 o 822 566.71/566.71 c 398.047 193.613 13902 10879525 566.71/566.71 o 821 566.81/566.81 c 398.123 193.613 13927 10880627 566.81/566.81 o 820 566.90/566.95 c 398.228 193.613 13937 10883317 566.90/566.95 o 817 567.00/567.02 c 398.288 193.613 13937 10885566 567.00/567.02 o 816 567.11/567.15 c 398.391 193.613 13947 10889474 567.11/567.15 o 815 567.31/567.31 c 398.508 193.613 13974 10895110 567.31/567.31 o 814 567.40/567.47 c 398.631 193.613 13989 10900063 567.40/567.47 o 813 567.90/567.95 c 398.937 193.613 14059 10902076 567.90/567.95 o 812 568.91/568.95 c 399.608 193.613 14173 10903431 568.91/568.95 o 811 569.21/569.24 c 399.815 193.613 14206 10904372 569.21/569.24 o 810 569.31/569.37 c 399.909 193.613 14223 10905200 569.31/569.37 o 809 569.51/569.55 c 400.05 193.613 14236 10906172 569.51/569.55 o 808 569.71/569.74 c 400.192 193.613 14255 10907497 569.71/569.74 o 807 569.82/569.84 c 400.271 193.613 14289 10908631 569.82/569.84 o 806 569.91/569.91 c 400.334 193.613 14295 10909779 569.91/569.91 o 805 569.91/569.99 c 400.396 193.613 14297 10910838 569.91/569.99 o 804 570.11/570.12 c 400.492 193.613 14312 10912491 570.11/570.12 o 803 570.21/570.23 c 400.584 193.613 14319 10915150 570.21/570.23 o 802 570.31/570.35 c 400.69 193.613 14342 10918033 570.31/570.35 o 801 570.40/570.42 c 400.744 193.613 14347 10920553 570.40/570.42 o 800 570.50/570.50 c 400.813 193.613 14368 10921757 570.50/570.50 o 799 570.61/570.61 c 400.912 193.613 14441 10924041 570.61/570.61 o 798 570.61/570.69 c 400.976 193.613 14453 10927038 570.61/570.69 o 797 570.70/570.76 c 401.038 193.613 14466 10928346 570.70/570.76 o 796 570.81/570.85 c 401.108 193.613 14471 10930745 570.81/570.85 o 795 570.91/570.99 c 401.204 193.613 14477 10932167 570.91/570.99 o 794 571.01/571.08 c 401.276 193.613 14485 10936129 571.01/571.08 o 793 571.21/571.22 c 401.384 193.613 14493 10939121 571.21/571.22 o 792 572.31/572.33 c 402.169 193.613 14622 10942686 572.31/572.33 o 791 572.40/572.47 c 402.287 193.613 14636 10944255 572.40/572.47 o 790 572.81/572.82 c 402.518 193.613 14707 10945873 572.81/572.82 o 789 572.91/572.90 c 402.593 193.613 14732 10947196 572.91/572.90 o 788 573.12/573.15 c 402.793 193.613 14794 10949651 573.12/573.15 o 787 573.31/573.33 c 402.926 193.613 14808 10954211 573.31/573.33 o 786 573.61/573.67 c 403.167 193.613 14855 10957574 573.61/573.67 o 785 573.80/573.87 c 403.315 193.613 14893 10961034 573.80/573.87 o 784 574.01/574.05 c 403.459 193.613 14927 10962785 574.01/574.05 o 783 574.31/574.32 c 403.677 193.613 15076 10970395 574.31/574.32 o 782 574.81/574.81 c 404.024 193.613 15157 10971353 574.81/574.81 o 781 574.81/574.89 c 404.091 193.613 15163 10972140 574.81/574.90 o 780 575.11/575.19 c 404.337 193.613 15206 10973799 575.11/575.19 o 779 575.32/575.35 c 404.454 193.613 15219 10975092 575.32/575.35 o 778 575.61/575.60 c 404.649 193.613 15260 10978565 575.61/575.60 o 777 575.61/575.69 c 404.72 193.613 15279 10979424 575.61/575.69 o 776 576.81/576.87 c 405.534 193.613 15400 10981983 576.81/576.87 o 775 577.21/577.20 c 405.764 193.613 15463 10984052 577.21/577.20 o 773 577.41/577.47 c 405.955 193.613 15499 10984830 577.41/577.47 o 772 577.51/577.54 c 406.017 193.613 15503 10985657 577.51/577.54 o 771 577.81/577.88 c 406.264 193.613 15533 10986854 577.81/577.88 o 770 577.91/577.96 c 406.334 193.613 15538 10987616 577.91/577.96 o 769 578.01/578.07 c 406.421 193.613 15546 10988319 578.01/578.07 o 768 578.21/578.22 c 406.537 193.613 15559 10989543 578.21/578.22 o 767 578.21/578.29 c 406.6 193.613 15574 10990582 578.21/578.29 o 766 578.31/578.37 c 406.667 193.613 15578 10991701 578.31/578.37 o 765 578.41/578.45 c 406.73 193.613 15580 10992596 578.41/578.45 o 764 578.51/578.55 c 406.806 193.613 15584 10994379 578.51/578.55 o 762 579.10/579.16 c 407.24 193.613 15659 10998081 579.10/579.16 o 761 579.20/579.25 c 407.313 193.613 15663 10999328 579.20/579.25 o 760 579.31/579.36 c 407.4 193.613 15670 11000724 579.31/579.36 o 759 579.81/579.80 c 407.715 193.613 15710 11002042 579.81/579.80 o 758 579.91/579.94 c 407.828 193.613 15729 11003931 579.91/579.94 o 757 580.31/580.36 c 408.113 193.613 15796 11005516 580.31/580.36 o 756 580.40/580.45 c 408.189 193.613 15811 11006555 580.40/580.45 o 755 580.50/580.58 c 408.28 193.613 15829 11007721 580.50/580.58 o 754 581.01/581.00 c 408.591 193.613 15970 11011839 581.01/581.00 o 753 581.10/581.12 c 408.697 193.613 15978 11015245 581.10/581.12 o 752 581.21/581.29 c 408.82 193.613 15987 11022813 581.21/581.29 o 751 581.30/581.37 c 408.894 193.613 16000 11026492 581.30/581.37 o 750 581.51/581.51 c 408.992 193.613 16019 11030152 581.51/581.51 o 749 581.61/581.60 c 409.068 193.613 16025 11031935 581.61/581.60 o 748 581.61/581.69 c 409.148 193.613 16034 11036098 581.61/581.69 o 747 581.81/581.85 c 409.261 193.613 16086 11042904 581.81/581.85 o 746 582.01/582.00 c 409.381 193.613 16140 11045764 582.01/582.00 o 745 582.11/582.18 c 409.533 193.613 16164 11047004 582.11/582.18 o 744 583.71/583.72 c 410.556 193.613 16397 11050382 583.71/583.73 o 743 583.80/583.82 c 410.634 193.613 16403 11051066 583.80/583.82 o 742 584.30/584.34 c 410.994 193.613 16489 11052285 584.30/584.34 o 741 584.41/584.44 c 411.074 193.613 16507 11052993 584.41/584.44 o 740 584.50/584.51 c 411.136 193.613 16515 11053881 584.50/584.51 o 739 584.50/584.59 c 411.198 193.613 16516 11054636 584.50/584.59 o 738 584.60/584.65 c 411.26 193.613 16518 11055312 584.60/584.65 o 737 584.70/584.77 c 411.351 193.613 16522 11056104 584.70/584.77 o 736 584.81/584.85 c 411.409 193.613 16523 11056847 584.81/584.85 o 735 584.91/584.94 c 411.483 193.613 16528 11058744 584.91/584.94 o 734 585.11/585.10 c 411.607 193.613 16539 11060433 585.11/585.10 o 733 585.30/585.37 c 411.803 193.613 16609 11062925 585.30/585.37 o 732 585.41/585.47 c 411.885 193.613 16637 11064681 585.41/585.47 o 731 585.50/585.57 c 411.968 193.613 16656 11066587 585.50/585.57 o 730 585.70/585.71 c 412.087 193.613 16675 11069084 585.70/585.71 o 729 585.80/585.84 c 412.188 193.613 16694 11070488 585.80/585.84 o 728 585.91/585.95 c 412.27 193.613 16789 11071903 585.91/585.95 o 727 586.71/586.76 c 412.828 193.613 16900 11074007 586.71/586.76 o 726 587.11/587.17 c 413.112 193.613 16960 11075129 587.11/587.17 o 725 587.32/587.32 c 413.242 193.613 17072 11076291 587.32/587.32 o 724 587.41/587.45 c 413.347 193.613 17084 11077417 587.41/587.45 o 723 587.71/587.77 c 413.589 193.613 17207 11078938 587.71/587.77 o 722 587.80/587.87 c 413.666 193.613 17245 11080055 587.80/587.87 o 721 587.90/587.97 c 413.754 193.613 17277 11081192 587.90/587.97 o 720 588.20/588.21 c 413.931 193.613 17352 11082582 588.20/588.21 o 719 588.41/588.40 c 414.079 193.613 17433 11083360 588.41/588.40 o 718 588.51/588.50 c 414.165 193.613 17485 11084254 588.51/588.50 o 717 588.61/588.62 c 414.255 193.613 17494 11084978 588.61/588.62 o 716 588.71/588.70 c 414.323 193.613 17503 11085869 588.71/588.70 o 715 588.80/588.82 c 414.418 193.613 17524 11086913 588.80/588.82 o 714 588.91/588.97 c 414.535 193.613 17548 11087792 588.91/588.97 o 713 589.00/589.06 c 414.607 193.613 17552 11088830 589.00/589.06 o 712 589.11/589.14 c 414.683 193.613 17559 11091161 589.11/589.14 o 711 589.21/589.24 c 414.769 193.613 17621 11092153 589.21/589.24 o 710 589.30/589.36 c 414.865 193.613 17631 11093935 589.30/589.36 o 709 589.41/589.44 c 414.928 193.613 17636 11095126 589.41/589.44 o 708 589.52/589.53 c 414.997 193.613 17639 11096255 589.52/589.53 o 707 589.61/589.65 c 415.085 193.613 17690 11097271 589.61/589.65 o 706 589.70/589.73 c 415.154 193.613 17695 11097905 589.70/589.73 o 705 589.80/589.86 c 415.255 193.613 17709 11098831 589.80/589.86 o 704 592.41/592.48 c 416.99 193.613 17971 11101428 592.41/592.48 o 703 592.51/592.58 c 417.071 193.613 17975 11102629 592.51/592.58 o 702 592.60/592.67 c 417.143 193.613 17976 11103520 592.60/592.67 o 701 592.81/592.81 c 417.258 193.613 17986 11105564 592.81/592.81 o 700 592.91/592.92 c 417.349 193.613 17991 11107017 592.91/592.92 o 699 593.00/593.05 c 417.447 193.613 17997 11108055 593.00/593.05 o 698 593.11/593.13 c 417.505 193.613 18000 11109863 593.11/593.13 o 697 593.21/593.29 c 417.636 193.613 18018 11112551 593.21/593.29 o 696 593.91/593.92 c 418.122 193.613 18099 11113905 593.91/593.92 o 695 594.11/594.11 c 418.264 193.613 18122 11114885 594.11/594.11 o 694 594.21/594.23 c 418.369 193.613 18211 11116107 594.21/594.23 o 693 594.91/594.96 c 418.87 193.613 18292 11118696 594.91/594.96 o 692 595.11/595.17 c 419.034 193.613 18326 11119537 595.11/595.17 o 691 595.21/595.27 c 419.122 193.613 18336 11120521 595.21/595.27 o 690 595.30/595.35 c 419.185 193.613 18340 11121239 595.30/595.35 o 689 595.40/595.45 c 419.257 193.613 18348 11122286 595.40/595.45 o 688 595.51/595.57 c 419.345 193.613 18376 11123312 595.51/595.57 o 687 595.61/595.65 c 419.414 193.613 18419 11124527 595.61/595.65 o 686 595.71/595.73 c 419.483 193.613 18437 11126290 595.71/595.73 o 685 595.81/595.88 c 419.602 193.613 18486 11128414 595.81/595.88 o 684 596.00/596.00 c 419.694 193.613 18492 11129252 596.00/596.00 o 683 596.00/596.08 c 419.764 193.613 18499 11130156 596.00/596.08 o 682 596.11/596.17 c 419.835 193.613 18505 11131077 596.11/596.17 o 681 596.21/596.26 c 419.908 193.613 18517 11132237 596.21/596.26 o 680 596.41/596.42 c 420.025 193.613 18529 11134307 596.41/596.42 o 679 596.41/596.48 c 420.083 193.613 18529 11135207 596.41/596.48 o 678 596.51/596.57 c 420.147 193.613 18532 11137364 596.51/596.57 o 677 596.61/596.66 c 420.22 193.613 18542 11140337 596.61/596.66 o 676 596.81/596.88 c 420.408 193.613 18550 11143098 596.81/596.88 o 675 596.91/596.97 c 420.482 193.613 18560 11147093 596.91/596.97 o 674 597.11/597.15 c 420.618 193.613 18575 11150297 597.11/597.15 o 673 597.51/597.54 c 420.893 193.613 18610 11163002 597.51/597.54 o 672 597.61/597.64 c 420.973 193.613 18621 11164310 597.61/597.64 o 671 597.70/597.73 c 421.048 193.613 18627 11165657 597.70/597.73 o 670 597.91/597.94 c 421.209 193.613 18641 11167499 597.91/597.94 o 669 598.00/598.09 c 421.324 193.613 18664 11169515 598.00/598.09 o 668 598.11/598.18 c 421.397 193.613 18685 11170728 598.11/598.18 o 667 598.20/598.29 c 421.49 193.613 18693 11172254 598.20/598.29 o 666 598.32/598.37 c 421.558 193.613 18696 11173576 598.32/598.37 o 665 598.41/598.45 c 421.628 193.613 18700 11174847 598.41/598.45 o 664 598.51/598.54 c 421.704 193.613 18708 11177016 598.51/598.54 o 663 598.71/598.73 c 421.844 193.613 18741 11180610 598.71/598.73 o 662 598.90/598.93 c 421.989 193.613 18793 11182868 598.90/598.93 o 661 600.31/600.34 c 422.946 193.613 18921 11184929 600.31/600.34 o 660 600.41/600.47 c 423.051 193.613 18937 11185723 600.41/600.47 o 659 600.51/600.55 c 423.118 193.613 18944 11186778 600.51/600.55 o 658 600.61/600.65 c 423.199 193.613 18965 11187839 600.61/600.65 o 656 600.70/600.76 c 423.287 193.613 18973 11188861 600.70/600.76 o 655 600.81/600.84 c 423.35 193.613 18974 11189612 600.81/600.84 o 654 600.91/600.93 c 423.422 193.613 18982 11190286 600.91/600.93 o 653 601.01/601.02 c 423.494 193.613 18996 11192093 601.01/601.02 o 652 601.11/601.10 c 423.553 193.613 19004 11193040 601.11/601.10 o 651 601.11/601.18 c 423.617 193.613 19008 11194041 601.11/601.18 o 650 601.21/601.27 c 423.69 193.613 19013 11195701 601.21/601.27 o 649 601.31/601.35 c 423.759 193.613 19017 11197305 601.31/601.35 o 648 601.41/601.45 c 423.839 193.613 19028 11199827 601.41/601.45 o 647 601.51/601.55 c 423.924 193.613 19041 11201899 601.51/601.55 o 645 601.71/601.73 c 424.066 193.613 19074 11204399 601.71/601.73 o 644 601.81/601.81 c 424.126 193.613 19077 11205239 601.81/601.81 o 643 601.91/601.93 c 424.225 193.613 19132 11206583 601.91/601.93 o 642 602.01/602.03 c 424.312 193.613 19192 11208315 602.01/602.03 o 641 602.11/602.10 c 424.368 193.613 19205 11209935 602.11/602.10 o 640 602.11/602.17 c 424.433 193.613 19228 11211580 602.11/602.17 o 639 602.21/602.24 c 424.494 193.613 19230 11212361 602.21/602.24 o 638 602.31/602.31 c 424.555 193.613 19234 11214075 602.31/602.31 o 637 602.31/602.38 c 424.608 193.613 19236 11215284 602.31/602.38 o 636 602.41/602.47 c 424.677 193.613 19241 11217035 602.41/602.47 o 635 602.51/602.54 c 424.74 193.613 19243 11218179 602.51/602.54 o 634 602.61/602.62 c 424.804 193.613 19246 11219577 602.61/602.62 o 633 602.61/602.69 c 424.862 193.613 19253 11221680 602.61/602.69 o 630 602.71/602.76 c 424.925 193.613 19262 11222688 602.71/602.76 o 629 602.81/602.83 c 424.987 193.613 19266 11223987 602.81/602.83 o 628 602.90/602.96 c 425.09 193.613 19280 11225191 602.90/602.96 o 627 603.01/603.03 c 425.148 193.613 19280 11226556 603.01/603.03 o 626 603.11/603.10 c 425.211 193.613 19284 11227715 603.11/603.10 o 624 603.21/603.20 c 425.294 193.613 19302 11228579 603.21/603.20 o 623 603.21/603.28 c 425.35 193.613 19309 11229855 603.21/603.28 o 622 603.31/603.35 c 425.413 193.613 19324 11231198 603.31/603.35 o 621 603.40/603.44 c 425.489 193.613 19348 11232691 603.40/603.44 o 620 603.51/603.52 c 425.556 193.613 19399 11234170 603.51/603.52 o 619 603.51/603.59 c 425.62 193.613 19400 11235883 603.51/603.59 o 618 603.61/603.68 c 425.689 193.613 19401 11237282 603.61/603.68 o 617 603.71/603.78 c 425.77 193.613 19405 11239068 603.71/603.78 o 616 603.81/603.87 c 425.845 193.613 19431 11240495 603.81/603.87 o 615 604.00/604.02 c 425.963 193.613 19444 11242788 604.00/604.02 o 613 604.00/604.10 c 426.025 193.613 19449 11243802 604.00/604.10 o 612 604.21/604.22 c 426.119 193.613 19455 11244744 604.21/604.22 o 611 604.21/604.29 c 426.176 193.613 19457 11246820 604.21/604.29 o 609 604.30/604.37 c 426.242 193.613 19460 11248119 604.30/604.37 o 608 604.41/604.48 c 426.337 193.613 19469 11250590 604.41/604.48 o 607 604.51/604.59 c 426.42 193.613 19475 11252689 604.51/604.59 o 606 604.61/604.68 c 426.499 193.613 19481 11255730 604.61/604.68 o 605 604.71/604.77 c 426.57 193.613 19487 11257713 604.71/604.77 o 603 604.81/604.87 c 426.652 193.613 19493 11259538 604.81/604.87 o 602 604.91/604.94 c 426.711 193.613 19496 11260718 604.91/604.94 o 601 605.02/605.04 c 426.793 193.613 19509 11263296 605.02/605.04 o 600 605.11/605.11 c 426.853 193.613 19524 11264086 605.11/605.11 o 599 605.11/605.19 c 426.929 193.613 19584 11265974 605.11/605.19 o 598 605.30/605.31 c 427.021 193.613 19589 11267656 605.30/605.31 o 597 605.40/605.42 c 427.11 193.613 19594 11269022 605.40/605.42 o 596 605.50/605.51 c 427.188 193.613 19599 11272438 605.50/605.51 o 594 605.61/605.62 c 427.274 193.613 19604 11276394 605.61/605.62 o 592 605.71/605.76 c 427.386 193.613 19613 11281141 605.71/605.76 o 591 605.80/605.86 c 427.47 193.613 19620 11283285 605.80/605.86 o 590 605.90/605.94 c 427.532 193.613 19624 11284325 605.90/605.94 o 589 606.02/606.02 c 427.601 193.613 19639 11288904 606.02/606.02 o 588 606.11/606.12 c 427.683 193.613 19645 11296462 606.11/606.12 o 587 606.21/606.20 c 427.748 193.613 19650 11299158 606.21/606.20 o 586 606.21/606.28 c 427.815 193.613 19659 11300803 606.21/606.28 o 585 606.30/606.35 c 427.871 193.613 19660 11303726 606.30/606.35 o 584 606.41/606.42 c 427.927 193.613 19660 11304753 606.41/606.42 o 583 606.41/606.49 c 427.989 193.613 19662 11305996 606.41/606.49 o 582 606.61/606.60 c 428.071 193.613 19668 11308889 606.61/606.60 o 581 606.61/606.69 c 428.144 193.613 9858 11311128 606.61/606.69 o 578 606.80/606.81 c 428.241 193.613 9868 11313522 606.80/606.81 o 577 606.80/606.89 c 428.309 193.613 9880 11314962 606.80/606.89 o 576 606.91/607.00 c 428.4 193.613 9887 11319140 606.91/607.00 o 575 607.00/607.07 c 428.466 193.613 9927 11322455 607.00/607.07 o 574 607.12/607.15 c 428.532 193.613 9973 11324437 607.12/607.15 o 573 607.22/607.23 c 428.593 193.613 9979 11328379 607.22/607.23 o 572 607.22/607.29 c 428.649 193.613 9982 11330566 607.22/607.29 o 570 607.31/607.37 c 428.706 193.613 9988 11333130 607.31/607.37 o 569 607.40/607.44 c 428.764 193.613 9990 11335602 607.40/607.44 o 567 607.51/607.54 c 428.854 193.613 9998 11338535 607.51/607.54 o 566 607.61/607.64 c 428.923 193.613 10026 11341172 607.61/607.64 o 565 607.71/607.72 c 428.988 193.613 10052 11342437 607.71/607.72 o 564 607.80/607.80 c 429.056 193.613 10055 11343292 607.80/607.80 o 563 607.80/607.87 c 429.114 193.613 10061 11344700 607.80/607.87 o 561 607.91/607.94 c 429.172 193.613 10067 11346684 607.91/607.94 o 559 608.01/608.02 c 429.233 193.613 10071 11349091 608.01/608.02 o 557 608.11/608.12 c 429.321 193.613 10085 11351492 608.11/608.12 o 556 608.22/608.23 c 429.411 193.613 10096 11353382 608.22/608.23 o 555 608.31/608.32 c 429.487 193.613 10120 11359216 608.31/608.32 o 554 608.40/608.41 c 429.557 193.613 10124 11365824 608.40/608.41 o 553 608.40/608.50 c 429.63 193.613 10129 11371051 608.40/608.50 o 552 608.50/608.57 c 429.688 193.613 10134 11375256 608.50/608.57 o 551 608.60/608.67 c 429.765 193.613 10148 11382459 608.60/608.67 o 550 608.71/608.74 c 429.822 193.613 10152 11385585 608.71/608.74 o 549 608.81/608.84 c 429.902 193.613 10154 11392912 608.81/608.84 o 547 608.91/608.96 c 429.991 193.613 10161 11402069 608.91/608.96 o 546 609.01/609.03 c 430.057 193.613 10162 11404738 609.01/609.03 o 545 609.11/609.13 c 430.129 193.613 10168 11408281 609.11/609.13 o 544 609.21/609.20 c 430.185 193.613 10171 11409584 609.21/609.20 o 542 609.21/609.28 c 430.248 193.613 10178 11410857 609.21/609.28 o 541 609.31/609.35 c 430.306 193.613 10182 11412211 609.31/609.35 o 540 609.41/609.45 c 430.381 193.613 10195 11414552 609.41/609.45 o 536 609.50/609.54 c 430.461 193.613 10204 11416863 609.50/609.54 o 535 609.71/609.72 c 430.603 193.613 10219 11419215 609.71/609.72 o 532 610.01/610.00 c 430.825 193.613 10249 11421911 610.01/610.00 o 531 610.21/610.30 c 431.057 193.613 10367 11428172 610.21/610.30 o 530 610.30/610.40 c 431.144 193.613 10375 11429837 610.30/610.40 o 529 610.51/610.51 c 431.228 193.613 10384 11432645 610.51/610.51 o 527 610.51/610.59 c 431.297 193.613 10391 11433930 610.51/610.59 o 526 610.61/610.69 c 431.379 193.613 10423 11435294 610.61/610.69 o 525 611.00/611.03 c 431.645 193.613 10481 11436566 611.00/611.03 o 524 611.11/611.17 c 431.741 193.613 10492 11437586 611.11/611.17 o 523 611.30/611.32 c 431.866 193.613 10531 11438838 611.30/611.32 o 522 611.51/611.54 c 432.038 193.613 10559 11439901 611.51/611.54 o 521 611.61/611.67 c 432.143 193.613 10568 11440746 611.61/611.67 o 520 611.71/611.75 c 432.213 193.613 10585 11441578 611.71/611.75 o 519 611.81/611.86 c 432.297 193.613 10591 11442589 611.81/611.86 o 518 612.21/612.27 c 432.592 193.613 10653 11443424 612.21/612.27 o 517 612.31/612.36 c 432.672 193.613 10661 11444787 612.31/612.36 o 514 612.41/612.44 c 432.745 193.613 10665 11446023 612.41/612.44 o 513 612.51/612.52 c 432.806 193.613 10672 11447020 612.51/612.52 o 512 612.61/612.66 c 432.916 193.613 10686 11448526 612.61/612.66 o 511 613.01/613.08 c 433.272 193.613 10716 11449610 613.01/613.08 o 510 613.30/613.36 c 433.473 193.613 10741 11450449 613.30/613.36 o 509 613.51/613.51 c 433.596 193.613 10749 11451966 613.51/613.51 o 508 613.60/613.67 c 433.722 193.613 10809 11453420 613.60/613.67 o 507 613.71/613.76 c 433.797 193.613 10836 11454617 613.71/613.76 o 506 613.91/613.91 c 433.927 193.613 10853 11455944 613.91/613.91 o 505 614.00/614.02 c 434.022 193.613 10866 11457023 614.00/614.02 o 504 614.11/614.10 c 434.09 193.613 10871 11457860 614.11/614.10 o 502 614.41/614.43 c 434.326 193.613 10903 11459213 614.41/614.43 o 500 614.51/614.55 c 434.42 193.613 10911 11459895 614.51/614.55 o 499 614.61/614.63 c 434.494 193.613 10916 11460640 614.61/614.63 o 498 614.71/614.73 c 434.566 193.613 10921 11461288 614.71/614.73 o 497 614.81/614.88 c 434.683 193.613 10934 11463321 614.81/614.88 o 496 615.01/615.03 c 434.811 193.613 10969 11464212 615.01/615.03 o 494 615.41/615.47 c 435.146 193.613 11117 11465544 615.41/615.47 o 493 615.50/615.56 c 435.221 193.613 11145 11466288 615.50/615.56 o 492 615.71/615.74 c 435.353 193.613 11166 11467644 615.71/615.74 o 491 615.81/615.89 c 435.467 193.613 11187 11468379 615.81/615.89 o 490 616.01/616.02 c 435.568 193.613 11202 11469444 616.01/616.02 o 489 616.10/616.11 c 435.638 193.613 11206 11470181 616.10/616.11 o 488 616.21/616.23 c 435.733 193.613 11222 11471323 616.21/616.23 o 487 616.31/616.30 c 435.793 193.613 11228 11472284 616.31/616.30 o 486 616.41/616.43 c 435.901 193.613 11298 11473916 616.41/616.43 o 485 616.51/616.54 c 435.983 193.613 11304 11474860 616.51/616.54 o 484 616.60/616.65 c 436.077 193.613 11314 11476276 616.60/616.65 o 483 616.70/616.73 c 436.138 193.613 11316 11477008 616.70/616.73 o 482 616.80/616.80 c 436.198 193.613 11323 11478248 616.80/616.80 o 480 616.90/616.91 c 436.288 193.613 11331 11479021 616.90/616.91 o 479 616.90/617.00 c 436.359 193.613 11335 11479947 616.90/617.00 o 478 617.01/617.09 c 436.431 193.613 11338 11480991 617.01/617.09 o 476 617.12/617.17 c 436.499 193.613 11340 11482068 617.12/617.17 o 475 617.21/617.24 c 436.557 193.613 11340 11482795 617.21/617.24 o 474 617.31/617.31 c 436.617 193.613 11341 11484128 617.31/617.31 o 471 617.31/617.38 c 436.674 193.613 11343 11485083 617.31/617.38 o 470 617.40/617.45 c 436.734 193.613 11345 11486364 617.40/617.45 o 468 617.50/617.53 c 436.8 193.613 11352 11487220 617.50/617.53 o 467 617.71/617.80 c 436.98 193.613 11378 11488171 617.71/617.80 o 466 617.80/617.88 c 437.059 193.613 11392 11488981 617.80/617.88 o 465 617.91/617.99 c 437.15 193.613 11424 11490331 617.91/617.99 o 464 618.12/618.11 c 437.255 193.613 11474 11491678 618.12/618.11 o 463 618.12/618.18 c 437.316 193.613 11475 11492825 618.12/618.18 o 461 618.21/618.28 c 437.396 193.613 11496 11494014 618.21/618.28 o 460 618.31/618.36 c 437.469 193.613 11498 11495704 618.31/618.36 o 459 618.41/618.44 c 437.538 193.613 11500 11497255 618.41/618.44 o 457 618.51/618.54 c 437.614 193.613 11504 11498533 618.51/618.54 o 456 618.61/618.61 c 437.669 193.613 11504 11499384 618.61/618.61 o 454 618.81/618.82 c 437.825 193.613 11524 11500994 618.81/618.82 o 453 618.81/618.90 c 437.891 193.613 11525 11501562 618.81/618.90 o 452 618.91/618.97 c 437.961 193.613 11526 11502643 618.91/618.97 o 450 619.00/619.04 c 438.021 193.613 11527 11503324 619.00/619.04 o 449 619.11/619.15 c 438.102 193.613 11534 11504090 619.11/619.15 o 448 619.22/619.24 c 438.182 193.613 11536 11504956 619.22/619.24 o 447 619.31/619.32 c 438.247 193.613 11542 11506055 619.31/619.32 o 445 619.41/619.42 c 438.331 193.613 11550 11507343 619.41/619.42 o 443 619.51/619.52 c 438.408 193.613 11560 11508402 619.51/619.52 o 441 619.61/619.68 c 438.537 193.613 11575 11509720 619.61/619.68 o 439 619.81/619.80 c 438.644 193.613 11655 11510669 619.81/619.80 o 438 619.91/619.95 c 438.761 193.613 11750 11511596 619.91/619.95 o 437 620.00/620.05 c 438.848 193.613 11772 11512335 620.00/620.05 o 436 620.11/620.15 c 438.928 193.613 11780 11513304 620.11/620.15 o 435 620.21/620.25 c 439.014 193.613 11798 11515174 620.21/620.25 o 433 620.31/620.32 c 439.071 193.613 11799 11516169 620.31/620.32 o 432 620.31/620.39 c 439.129 193.613 11799 11517014 620.31/620.39 o 431 620.41/620.46 c 439.193 193.613 11801 11517917 620.41/620.46 o 430 620.50/620.54 c 439.253 193.613 11804 11519044 620.50/620.54 o 429 620.61/620.61 c 439.312 193.613 11805 11520061 620.61/620.61 o 428 620.61/620.68 c 439.37 193.613 11811 11520916 620.61/620.68 o 427 620.71/620.76 c 439.436 193.613 11822 11522040 620.71/620.76 o 426 620.80/620.85 c 439.514 193.613 11862 11522848 620.80/620.85 o 425 620.91/620.94 c 439.585 193.613 11864 11524022 620.91/620.94 o 424 621.00/621.01 c 439.644 193.613 11869 11524890 621.00/621.01 o 423 621.11/621.13 c 439.74 193.613 11924 11526367 621.11/621.13 o 422 621.21/621.20 c 439.798 193.613 11930 11527413 621.21/621.20 o 421 621.21/621.27 c 439.856 193.613 11930 11528526 621.21/621.27 o 420 621.30/621.35 c 439.916 193.613 11933 11529910 621.30/621.35 o 419 621.42/621.42 c 439.98 193.613 11935 11531191 621.42/621.42 o 418 621.42/621.49 c 440.034 193.613 11939 11531941 621.42/621.49 o 417 621.51/621.56 c 440.092 193.613 11940 11533040 621.51/621.56 o 416 621.61/621.63 c 440.151 193.613 11941 11533702 621.61/621.63 o 415 621.61/621.69 c 440.207 193.613 11943 11534540 621.61/621.69 o 414 621.70/621.78 c 440.277 193.613 11953 11536016 621.70/621.78 o 413 621.81/621.85 c 440.336 193.613 11953 11536773 621.81/621.85 o 412 621.91/621.91 c 440.39 193.613 11953 11537761 621.91/621.91 o 410 621.91/621.98 c 440.448 193.613 11956 11538547 621.91/621.98 o 409 622.01/622.05 c 440.51 193.613 11982 11539172 622.01/622.05 o 408 622.11/622.12 c 440.572 193.613 11992 11540210 622.11/622.12 o 407 622.11/622.19 c 440.625 193.613 11993 11540855 622.11/622.19 o 406 622.20/622.26 c 440.686 193.613 11993 11541783 622.20/622.26 o 405 622.31/622.32 c 440.743 193.613 11993 11543244 622.31/622.32 o 403 622.31/622.39 c 440.801 193.613 11993 11544569 622.31/622.39 o 401 622.41/622.46 c 440.86 193.613 11993 11545346 622.41/622.46 o 400 622.51/622.53 c 440.917 193.613 11994 11546068 622.51/622.53 o 399 622.51/622.60 c 440.976 193.613 11997 11546823 622.51/622.60 o 398 622.61/622.67 c 441.039 193.613 11997 11547784 622.61/622.67 o 396 622.70/622.74 c 441.099 193.613 11998 11548488 622.70/622.74 o 395 622.81/622.81 c 441.158 193.613 11999 11549076 622.81/622.81 o 394 622.81/622.89 c 441.236 193.613 12041 11550454 622.81/622.89 o 392 623.01/623.00 c 441.33 193.613 12087 11552045 623.01/623.00 o 391 623.01/623.07 c 441.39 193.613 12088 11553099 623.01/623.07 o 390 623.11/623.14 c 441.449 193.613 12088 11554315 623.11/623.14 o 389 623.21/623.21 c 441.508 193.613 12088 11555313 623.21/623.21 o 388 623.21/623.28 c 441.573 193.613 12090 11557162 623.21/623.28 o 387 623.31/623.35 c 441.639 193.613 12090 11558069 623.31/623.35 o 386 623.41/623.43 c 441.708 193.613 12091 11558873 623.41/623.43 o 385 623.51/623.50 c 441.769 193.613 12094 11559626 623.51/623.50 o 384 623.61/623.61 c 441.861 193.613 12106 11561268 623.61/623.61 o 383 623.61/623.68 c 441.919 193.613 12107 11562085 623.61/623.68 o 382 623.71/623.79 c 441.999 193.613 12118 11563295 623.71/623.79 o 381 624.01/624.06 c 442.227 193.613 12222 11564813 624.01/624.06 o 380 624.11/624.14 c 442.293 193.613 12227 11565513 624.11/624.14 o 379 624.21/624.21 c 442.352 193.613 12230 11566128 624.21/624.21 o 378 624.21/624.28 c 442.413 193.613 12232 11566843 624.21/624.28 o 377 624.31/624.36 c 442.476 193.613 12234 11567999 624.31/624.36 o 376 624.41/624.44 c 442.54 193.613 12240 11568744 624.41/624.44 o 375 624.51/624.55 c 442.631 193.613 12255 11569750 624.51/624.55 o 374 624.61/624.62 c 442.691 193.613 12258 11570376 624.61/624.62 o 373 624.72/624.71 c 442.761 193.613 12260 11571383 624.72/624.71 o 372 624.82/624.81 c 442.84 193.613 12266 11572370 624.82/624.81 o 371 624.90/624.91 c 442.931 193.613 12272 11573463 624.90/624.91 o 370 624.90/624.98 c 442.992 193.613 12278 11574248 624.90/624.98 o 369 625.01/625.07 c 443.065 193.613 12310 11575177 625.01/625.07 o 368 625.10/625.14 c 443.126 193.613 12313 11576005 625.10/625.14 o 367 625.21/625.22 c 443.197 193.613 12318 11577107 625.21/625.22 o 366 625.30/625.33 c 443.285 193.613 12324 11577924 625.30/625.33 o 364 625.41/625.42 c 443.359 193.613 12330 11578881 625.41/625.42 o 362 625.51/625.51 c 443.434 193.613 12335 11580085 625.51/625.51 o 361 625.51/625.58 c 443.497 193.613 12336 11580697 625.51/625.58 o 360 625.60/625.65 c 443.562 193.613 12353 11581460 625.60/625.65 o 359 625.71/625.73 c 443.629 193.613 12404 11582745 625.71/625.73 o 357 625.82/625.84 c 443.718 193.613 12435 11583526 625.82/625.84 o 356 625.91/625.91 c 443.783 193.613 12438 11584560 625.91/625.91 o 355 625.91/625.99 c 443.844 193.613 12440 11585548 625.91/625.99 o 354 626.00/626.06 c 443.903 193.613 12440 11586475 626.00/626.06 o 352 626.11/626.16 c 443.983 193.613 12445 11587699 626.11/626.16 o 350 626.21/626.23 c 444.047 193.613 12447 11588930 626.21/626.23 o 349 626.31/626.34 c 444.133 193.613 12452 11589944 626.31/626.34 o 348 626.41/626.44 c 444.218 193.613 12456 11591940 626.41/626.44 o 346 626.51/626.54 c 444.305 193.613 12464 11593130 626.51/626.54 o 345 627.01/627.02 c 444.645 193.613 12523 11594225 627.01/627.02 o 344 627.11/627.11 c 444.719 193.613 12526 11595021 627.11/627.11 o 343 627.11/627.18 c 444.784 193.613 12534 11595834 627.11/627.18 o 342 627.21/627.27 c 444.856 193.613 12540 11597395 627.21/627.27 o 341 627.31/627.37 c 444.94 193.613 12543 11598230 627.31/627.37 o 340 627.41/627.46 c 445.01 193.613 12545 11599363 627.41/627.46 o 339 627.51/627.57 c 445.093 193.613 12551 11600439 627.51/627.57 o 338 627.61/627.66 c 445.171 193.613 12554 11601085 627.61/627.66 o 337 627.71/627.73 c 445.229 193.613 12554 11601745 627.71/627.73 o 336 627.81/627.81 c 445.294 193.613 12556 11602668 627.81/627.81 o 335 627.91/627.93 c 445.384 193.613 12561 11603409 627.91/627.93 o 334 628.02/628.01 c 445.448 193.613 12563 11604525 628.02/628.01 o 332 628.61/628.67 c 445.903 193.613 12624 11605907 628.61/628.67 o 331 628.71/628.77 c 445.993 193.613 12629 11607191 628.71/628.77 o 328 628.80/628.86 c 446.061 193.613 12632 11608042 628.80/628.86 o 327 628.91/628.94 c 446.126 193.613 12635 11609357 628.91/628.94 o 325 629.01/629.01 c 446.187 193.613 12636 11610219 629.01/629.01 o 324 629.01/629.09 c 446.253 193.613 12638 11611215 629.01/629.09 o 323 629.12/629.19 c 446.333 193.613 12641 11612163 629.12/629.19 o 322 629.22/629.26 c 446.394 193.613 12641 11613260 629.22/629.26 o 320 629.31/629.33 c 446.455 193.613 12641 11614025 629.31/629.33 o 319 629.41/629.40 c 446.516 193.613 12643 11614899 629.41/629.40 o 318 629.41/629.47 c 446.576 193.613 12643 11615323 629.41/629.47 o 317 629.50/629.54 c 446.635 193.613 12644 11615932 629.50/629.54 o 316 629.60/629.64 c 446.71 193.613 12646 11616912 629.60/629.64 o 314 629.71/629.76 c 446.8 193.613 12647 11618194 629.71/629.76 o 313 629.81/629.83 c 446.858 193.613 12648 11618852 629.81/629.83 o 312 629.91/629.90 c 446.918 193.613 12648 11619985 629.91/629.90 o 311 629.91/629.97 c 446.98 193.613 12648 11620840 629.91/629.97 o 310 630.01/630.04 c 447.037 193.613 12648 11621823 630.01/630.04 o 308 630.11/630.11 c 447.099 193.613 12648 11622616 630.11/630.11 o 307 630.11/630.18 c 447.16 193.613 12648 11623575 630.11/630.18 o 305 630.21/630.25 c 447.217 193.613 12648 11624495 630.21/630.25 o 304 630.31/630.32 c 447.274 193.613 12648 11625341 630.31/630.32 o 303 630.31/630.39 c 447.339 193.613 12648 11626208 630.31/630.39 o 302 630.41/630.46 c 447.398 193.613 12648 11627153 630.41/630.46 o 299 630.51/630.53 c 447.448 193.613 12648 11627977 630.51/630.53 o 297 630.61/630.60 c 447.51 193.613 12648 11628868 630.61/630.60 o 295 630.61/630.67 c 447.571 193.613 12648 11629737 630.61/630.67 o 293 630.71/630.74 c 447.628 193.613 12648 11630303 630.71/630.74 o 292 630.81/630.82 c 447.691 193.613 12651 11631297 630.81/630.82 o 291 630.81/630.90 c 447.762 193.613 12652 11632205 630.81/630.90 o 290 630.91/630.98 c 447.834 193.613 12655 11632875 630.91/630.98 o 289 631.00/631.05 c 447.898 193.613 12655 11633683 631.00/631.05 o 288 631.11/631.12 c 447.954 193.613 12655 11634364 631.11/631.12 o 287 631.11/631.19 c 448.011 193.613 12655 11635322 631.11/631.19 o 286 631.20/631.26 c 448.075 193.613 12655 11636164 631.20/631.26 o 285 631.31/631.33 c 448.133 193.613 12655 11637235 631.31/631.33 o 283 631.31/631.40 c 448.199 193.613 12656 11638129 631.31/631.40 o 282 631.42/631.47 c 448.257 193.613 12656 11639265 631.42/631.47 o 279 631.50/631.54 c 448.32 193.613 12656 11639857 631.50/631.54 o 278 631.61/631.61 c 448.381 193.613 12656 11640695 631.61/631.61 o 276 631.61/631.68 c 448.441 193.613 12656 11641273 631.61/631.68 o 275 631.71/631.75 c 448.5 193.613 12656 11641843 631.71/631.75 o 274 631.81/631.84 c 448.572 193.613 12657 11642703 631.81/631.84 o 272 631.91/631.91 c 448.627 193.613 12659 11643310 631.91/631.91 o 271 632.01/632.01 c 448.716 193.613 12668 11644297 632.01/632.01 o 270 632.11/632.11 c 448.797 193.613 12691 11645222 632.11/632.11 o 268 632.11/632.18 c 448.861 193.613 12692 11645698 632.11/632.18 o 267 632.30/632.31 c 448.967 193.613 12697 11646579 632.30/632.31 o 266 632.30/632.38 c 449.026 193.613 12698 11647456 632.30/632.38 o 265 632.41/632.46 c 449.093 193.613 12703 11648339 632.41/632.46 o 263 632.51/632.54 c 449.164 193.613 12707 11649147 632.51/632.54 o 262 632.61/632.61 c 449.226 193.613 12710 11649998 632.61/632.61 o 260 632.61/632.68 c 449.286 193.613 12712 11650483 632.61/632.68 o 259 632.70/632.75 c 449.352 193.613 12715 11651192 632.70/632.75 o 258 632.81/632.88 c 449.448 193.613 12722 11651945 632.81/632.88 o 257 632.91/632.95 c 449.513 193.613 12724 11652757 632.91/632.95 o 256 633.01/633.03 c 449.573 193.613 12726 11653951 633.01/633.03 o 255 633.11/633.11 c 449.645 193.613 12774 11654931 633.11/633.11 o 254 633.11/633.18 c 449.709 193.613 12775 11655522 633.11/633.18 o 253 633.21/633.25 c 449.769 193.613 12777 11656362 633.21/633.25 o 252 633.31/633.33 c 449.835 193.613 12778 11657438 633.31/633.33 o 250 633.41/633.40 c 449.902 193.613 12782 11658584 633.41/633.40 o 249 633.41/633.49 c 449.979 193.613 12792 11659237 633.41/633.49 o 248 633.61/633.69 c 450.128 193.613 12820 11660257 633.61/633.69 o 247 633.71/633.76 c 450.191 193.613 12820 11660866 633.71/633.76 o 246 633.81/633.83 c 450.254 193.613 12821 11661596 633.81/633.83 o 245 633.90/633.91 c 450.319 193.613 12823 11662452 633.90/633.91 o 244 633.90/633.99 c 450.387 193.613 12826 11663322 633.90/633.99 o 243 634.01/634.07 c 450.448 193.613 12828 11664027 634.01/634.07 o 242 634.11/634.14 c 450.514 193.613 12848 11664840 634.11/634.14 o 241 634.20/634.21 c 450.576 193.613 12849 11665583 634.20/634.21 o 240 634.31/634.33 c 450.67 193.613 12853 11666256 634.31/634.33 o 239 634.41/634.40 c 450.728 193.613 12853 11667063 634.41/634.40 o 238 634.41/634.47 c 450.792 193.613 12854 11668179 634.41/634.47 o 235 634.50/634.54 c 450.851 193.613 12857 11668890 634.50/634.54 o 234 634.61/634.61 c 450.909 193.613 12857 11670077 634.61/634.61 o 231 634.61/634.68 c 450.969 193.613 12861 11671098 634.61/634.68 o 230 634.71/634.75 c 451.029 193.613 12862 11671871 634.71/634.75 o 229 634.81/634.82 c 451.087 193.613 12863 11672544 634.81/634.82 o 228 634.91/634.91 c 451.162 193.613 12865 11673597 634.91/634.91 o 227 634.91/634.98 c 451.222 193.613 12866 11674447 634.91/634.98 o 226 635.01/635.06 c 451.286 193.613 12867 11675264 635.01/635.06 o 225 635.10/635.12 c 451.346 193.613 12867 11675839 635.10/635.12 o 224 635.10/635.19 c 451.407 193.613 12867 11676530 635.10/635.19 o 223 635.21/635.26 c 451.464 193.613 12868 11677668 635.21/635.26 o 222 635.31/635.33 c 451.522 193.613 12868 11678660 635.31/635.33 o 220 635.31/635.39 c 451.575 193.613 12869 11679385 635.31/635.39 o 219 635.41/635.47 c 451.637 193.613 12873 11679960 635.41/635.47 o 218 635.51/635.54 c 451.694 193.613 12875 11680856 635.51/635.54 o 217 635.61/635.62 c 451.764 193.613 12877 11681562 635.61/635.62 o 216 635.71/635.70 c 451.829 193.613 12880 11682418 635.71/635.70 o 215 635.71/635.77 c 451.892 193.613 12883 11683109 635.71/635.77 o 214 635.81/635.85 c 451.961 193.613 12895 11683864 635.81/635.85 o 213 635.91/635.92 c 452.021 193.613 12896 11684479 635.91/635.92 o 212 635.91/635.99 c 452.081 193.613 12896 11685647 635.91/635.99 o 210 636.01/636.06 c 452.146 193.613 12896 11686709 636.01/636.06 o 209 636.11/636.13 c 452.207 193.613 12896 11687259 636.11/636.13 o 208 636.21/636.21 c 452.272 193.613 12896 11687837 636.21/636.21 o 207 636.21/636.28 c 452.333 193.613 12896 11688451 636.21/636.28 o 206 636.30/636.35 c 452.392 193.613 12897 11689107 636.30/636.35 o 205 636.41/636.42 c 452.455 193.613 12898 11689749 636.41/636.42 o 204 636.41/636.49 c 452.514 193.613 12899 11690742 636.41/636.49 o 203 636.51/636.56 c 452.571 193.613 12899 11691676 636.51/636.56 o 202 636.60/636.63 c 452.627 193.613 12899 11692646 636.60/636.63 o 201 636.71/636.70 c 452.686 193.613 12899 11693408 636.71/636.70 o 200 636.71/636.78 c 452.755 193.613 12904 11694355 636.71/636.78 o 199 637.11/637.10 c 453.02 193.613 13155 11696656 637.11/637.10 o 198 637.21/637.22 c 453.124 193.613 13176 11697321 637.21/637.22 o 197 637.30/637.34 c 453.233 193.613 13200 11698254 637.30/637.34 o 196 637.40/637.42 c 453.298 193.613 13206 11699013 637.40/637.42 o 195 637.51/637.58 c 453.421 193.613 13220 11700225 637.51/637.58 o 194 637.61/637.67 c 453.491 193.613 13235 11701004 637.61/637.67 o 193 637.71/637.75 c 453.563 193.613 13257 11701518 637.71/637.75 o 192 637.80/637.85 c 453.648 193.613 13284 11702266 637.80/637.85 o 191 637.91/637.98 c 453.749 193.613 13300 11702759 637.91/637.98 o 190 638.02/638.06 c 453.816 193.613 13305 11703357 638.02/638.06 o 189 638.11/638.15 c 453.892 193.613 13324 11703862 638.11/638.15 o 188 638.21/638.23 c 453.962 193.613 13331 11704491 638.21/638.23 o 187 638.71/638.70 c 454.323 193.613 13487 11705787 638.71/638.70 o 186 638.91/638.94 c 454.541 193.613 13683 11706563 638.91/638.94 o 185 639.01/639.03 c 454.623 193.613 13688 11707548 639.01/639.03 o 184 639.11/639.13 c 454.701 193.613 13693 11708241 639.11/639.13 o 183 639.21/639.20 c 454.755 193.613 13694 11708774 639.21/639.20 o 182 639.21/639.27 c 454.811 193.613 13695 11709349 639.21/639.27 o 181 639.31/639.35 c 454.885 193.613 13699 11709913 639.31/639.35 o 180 639.41/639.47 c 454.981 193.613 13713 11710929 639.41/639.47 o 179 639.61/639.61 c 455.083 193.613 13724 11711600 639.61/639.61 o 178 639.71/639.70 c 455.154 193.613 13731 11712309 639.71/639.70 o 177 639.71/639.78 c 455.22 193.613 13736 11712945 639.71/639.78 o 176 639.81/639.89 c 455.307 193.613 13764 11713766 639.81/639.89 o 175 639.91/639.99 c 455.389 193.613 13810 11714688 639.91/639.99 o 173 640.01/640.06 c 455.456 193.613 13815 11715338 640.01/640.06 o 172 640.11/640.13 c 455.512 193.613 13817 11716015 640.11/640.13 o 171 640.22/640.23 c 455.59 193.613 13827 11716815 640.22/640.23 o 170 640.31/640.32 c 455.672 193.613 13834 11717527 640.31/640.32 o 169 640.41/640.40 c 455.735 193.613 13836 11717914 640.41/640.40 o 168 640.41/640.47 c 455.8 193.613 13872 11718546 640.41/640.47 o 167 640.51/640.55 c 455.86 193.613 13891 11719199 640.51/640.55 o 166 640.60/640.62 c 455.921 193.613 13891 11719876 640.60/640.62 o 165 640.60/640.70 c 455.983 193.613 13895 11720474 640.60/640.70 o 164 640.71/640.77 c 456.043 193.613 13896 11721081 640.71/640.77 o 163 640.81/640.85 c 456.116 193.613 13899 11722045 640.81/640.85 o 162 640.90/640.93 c 456.18 193.613 13903 11722658 640.90/640.93 o 161 641.00/641.00 c 456.243 193.613 13907 11723521 641.00/641.00 o 160 641.00/641.07 c 456.302 193.613 13909 11724166 641.00/641.07 o 159 641.11/641.14 c 456.363 193.613 13910 11725068 641.11/641.14 o 158 641.22/641.21 c 456.417 193.613 13910 11725803 641.22/641.21 o 157 641.22/641.28 c 456.476 193.613 13912 11726673 641.22/641.28 o 156 641.31/641.34 c 456.532 193.613 13914 11727352 641.31/641.34 o 155 641.41/641.43 c 456.606 193.613 13997 11728157 641.41/641.43 o 154 641.51/641.51 c 456.68 193.613 14002 11729510 641.51/641.51 o 153 641.61/641.61 c 456.76 193.613 14007 11730411 641.61/641.61 o 151 641.61/641.68 c 456.818 193.613 14007 11731197 641.61/641.68 o 150 641.71/641.74 c 456.877 193.613 14008 11731991 641.71/641.74 o 149 641.80/641.81 c 456.934 193.613 14009 11732822 641.80/641.81 o 148 641.80/641.88 c 456.99 193.613 14012 11733716 641.80/641.88 o 147 641.91/641.94 c 457.044 193.613 14012 11734400 641.91/641.94 o 146 642.01/642.01 c 457.108 193.613 14014 11735101 642.01/642.01 o 145 642.01/642.08 c 457.166 193.613 14014 11735984 642.01/642.08 o 144 642.11/642.15 c 457.224 193.613 14014 11736910 642.11/642.15 o 143 642.20/642.22 c 457.28 193.613 14014 11737762 642.20/642.22 o 142 642.20/642.29 c 457.34 193.613 14014 11738468 642.20/642.29 o 141 642.32/642.36 c 457.394 193.613 14014 11739243 642.32/642.36 o 140 642.41/642.43 c 457.45 193.613 14014 11740253 642.41/642.43 o 138 642.51/642.51 c 457.516 193.613 14018 11741631 642.51/642.51 o 137 642.51/642.58 c 457.58 193.613 14022 11742669 642.51/642.58 o 136 642.61/642.65 c 457.637 193.613 14024 11743337 642.61/642.65 o 135 642.71/642.72 c 457.706 193.613 14026 11743912 642.71/642.72 o 134 642.71/642.79 c 457.766 193.613 14029 11744505 642.71/642.79 o 133 642.80/642.86 c 457.823 193.613 14030 11745092 642.80/642.86 o 132 642.90/642.93 c 457.882 193.613 14032 11746197 642.90/642.93 o 131 643.00/643.00 c 457.944 193.613 14033 11746831 643.00/643.00 o 130 643.00/643.07 c 458.001 193.613 14034 11747530 643.00/643.07 o 129 643.11/643.14 c 458.065 193.613 14035 11748423 643.11/643.15 o 128 643.21/643.21 c 458.122 193.613 14036 11749084 643.21/643.21 o 127 643.30/643.31 c 458.19 193.613 14037 11750450 643.30/643.31 o 126 643.30/643.38 c 458.251 193.613 14037 11751197 643.30/643.38 o 125 643.41/643.45 c 458.311 193.613 14037 11751874 643.41/643.45 o 124 643.52/643.52 c 458.369 193.613 14037 11752585 643.52/643.52 o 123 643.52/643.59 c 458.428 193.613 14038 11753134 643.52/643.59 o 122 643.61/643.66 c 458.484 193.613 14039 11753950 643.61/643.66 o 121 643.71/643.74 c 458.557 193.613 14042 11755254 643.71/643.74 o 120 643.81/643.83 c 458.63 193.613 14045 11755939 643.81/643.83 o 119 643.81/643.89 c 458.689 193.613 14045 11756679 643.81/643.89 o 118 643.91/643.97 c 458.753 193.613 14046 11757649 643.91/643.97 o 117 644.01/644.04 c 458.816 193.613 14047 11758401 644.01/644.04 o 116 644.10/644.11 c 458.872 193.613 14047 11759325 644.10/644.11 o 115 644.10/644.18 c 458.93 193.613 14047 11759920 644.10/644.18 o 114 644.21/644.25 c 458.993 193.613 14049 11760383 644.21/644.25 o 113 644.31/644.32 c 459.047 193.613 14049 11760938 644.31/644.32 o 112 644.31/644.39 c 459.11 193.613 14049 11761553 644.31/644.39 o 111 644.40/644.45 c 459.169 193.613 14049 11762046 644.40/644.45 o 110 644.51/644.52 c 459.229 193.613 14050 11762526 644.51/644.52 o 109 644.61/644.61 c 459.305 193.613 14059 11763240 644.61/644.61 o 108 644.61/644.68 c 459.362 193.613 14064 11763851 644.61/644.68 o 107 644.71/644.75 c 459.428 193.613 14070 11764307 644.71/644.75 o 106 644.80/644.82 c 459.487 193.613 14070 11764873 644.80/644.82 o 105 644.80/644.89 c 459.541 193.613 14070 11765265 644.80/644.89 o 104 644.91/644.96 c 459.597 193.613 14071 11765672 644.91/644.96 o 103 645.00/645.05 c 459.672 193.613 14082 11766600 645.00/645.05 o 102 645.11/645.14 c 459.738 193.613 14089 11767209 645.11/645.14 o 101 645.21/645.22 c 459.803 193.613 14089 11767682 645.21/645.22 o 100 645.21/645.29 c 459.863 193.613 14089 11768038 645.21/645.29 o 99 645.31/645.36 c 459.925 193.613 14092 11768491 645.31/645.36 o 98 645.41/645.43 c 459.984 193.613 14092 11769001 645.41/645.43 o 97 645.51/645.50 c 460.047 193.613 14097 11769410 645.51/645.50 o 96 645.51/645.57 c 460.104 193.613 14098 11769850 645.51/645.57 o 95 645.62/645.64 c 460.168 193.613 14113 11770341 645.62/645.64 o 94 645.71/645.71 c 460.229 193.613 14125 11770800 645.71/645.71 o 93 645.71/645.78 c 460.291 193.613 10724 11771379 645.71/645.78 o 92 645.81/645.85 c 460.348 193.613 10725 11771837 645.81/645.85 o 91 645.91/645.92 c 460.405 193.613 10725 11772317 645.91/645.92 o 90 645.91/645.98 c 460.459 193.613 10725 11772813 645.91/645.98 o 89 646.00/646.05 c 460.511 193.613 10726 11773469 646.00/646.05 o 87 646.10/646.13 c 460.579 193.613 10728 11774668 646.10/646.13 o 85 646.21/646.28 c 460.722 193.613 10761 11775497 646.21/646.28 o 84 646.41/646.42 c 460.852 193.613 9754 11776227 646.41/646.42 o 83 646.51/646.53 c 460.944 193.613 9779 11776938 646.51/646.53 o 82 646.60/646.62 c 461.02 193.613 9793 11777562 646.60/646.62 o 81 646.72/646.72 c 461.116 193.613 9502 11778376 646.72/646.72 o 80 646.81/646.83 c 461.204 193.613 9519 11778970 646.81/646.83 o 79 646.91/646.90 c 461.26 193.613 9526 11779658 646.91/646.90 o 78 646.91/646.97 c 461.313 193.613 9529 11780172 646.91/646.97 o 77 647.00/647.04 c 461.376 193.613 9386 11780698 647.00/647.04 o 76 647.11/647.10 c 461.429 193.613 9386 11781060 647.11/647.10 o 75 647.11/647.17 c 461.488 193.613 9400 11781592 647.11/647.17 o 74 647.21/647.26 c 461.567 193.613 9411 11782634 647.21/647.26 o 73 647.31/647.33 c 461.631 193.613 9418 11783452 647.31/647.33 o 72 647.41/647.40 c 461.695 193.613 9372 11784119 647.41/647.40 o 71 647.41/647.47 c 461.751 193.613 9374 11784839 647.41/647.47 o 70 647.51/647.53 c 461.802 193.613 9376 11785466 647.51/647.53 o 69 647.60/647.60 c 461.862 193.613 9379 11786068 647.60/647.60 o 68 647.60/647.66 c 461.912 193.613 9380 11786629 647.60/647.66 o 67 647.71/647.75 c 461.997 193.613 9447 11787229 647.71/647.75 o 66 647.81/647.82 c 462.053 193.613 9301 11787873 647.81/647.82 o 65 647.81/647.88 c 462.11 193.613 9308 11788424 647.81/647.88 o 64 647.91/647.94 c 462.161 193.613 9321 11789066 647.91/647.94 o 63 647.91/648.00 c 462.212 193.613 9334 11789615 647.91/648.00 o 62 648.01/648.05 c 462.263 193.613 9336 11790164 648.01/648.05 o 61 648.11/648.19 c 462.398 193.613 9385 11790870 648.11/648.19 o 60 648.20/648.28 c 462.471 193.613 9365 11791710 648.20/648.28 o 59 648.31/648.34 c 462.529 193.613 9373 11792225 648.31/648.34 o 58 648.31/648.39 c 462.576 193.613 9377 11792687 648.31/648.39 o 57 648.41/648.47 c 462.641 193.613 9392 11793367 648.41/648.47 o 56 648.51/648.57 c 462.724 193.613 9443 11793882 648.51/648.57 o 55 648.60/648.64 c 462.792 193.613 9421 11794422 648.60/648.64 o 54 648.71/648.72 c 462.868 193.613 9435 11795041 648.71/648.72 o 53 648.81/648.80 c 462.937 193.613 9523 11795671 648.81/648.80 o 52 648.81/648.86 c 462.99 193.613 9534 11796260 648.81/648.86 o 51 648.91/648.92 c 463.049 193.613 9548 11796780 648.91/648.92 o 50 648.91/648.98 c 463.103 193.613 9597 11797206 648.91/648.98 o 49 649.01/649.04 c 463.151 193.613 9603 11797572 649.01/649.04 o 48 649.11/649.12 c 463.225 193.613 9607 11798156 649.11/649.12 o 47 649.11/649.18 c 463.269 193.613 9609 11798539 649.11/649.18 o 46 649.21/649.23 c 463.322 193.613 9636 11799080 649.21/649.23 o 45 649.21/649.29 c 463.37 193.613 9618 11799600 649.21/649.29 o 44 649.30/649.34 c 463.417 193.613 9621 11800164 649.30/649.34 o 43 649.30/649.39 c 463.464 193.613 9625 11800563 649.30/649.39 o 42 649.41/649.45 c 463.512 193.613 9635 11801005 649.41/649.45 o 41 649.51/649.51 c 463.567 193.613 9660 11801395 649.51/649.51 o 40 649.51/649.56 c 463.612 193.613 9661 11801837 649.51/649.56 o 39 649.61/649.61 c 463.655 193.613 9662 11802312 649.61/649.61 o 38 649.61/649.67 c 463.709 193.613 9638 11802827 649.61/649.67 o 37 649.71/649.73 c 463.763 193.613 9642 11803522 649.71/649.73 o 36 649.71/649.77 c 463.807 193.613 9643 11803984 649.71/649.77 o 35 649.81/649.83 c 463.853 193.613 9654 11804396 649.81/649.83 o 34 649.81/649.88 c 463.906 193.613 9670 11804813 649.81/649.88 o 33 649.91/649.94 c 463.961 193.613 9672 11805323 649.91/649.94 o 32 649.91/649.99 c 464.003 193.613 9649 11805825 649.91/649.99 o 31 650.02/650.03 c 464.045 193.613 9649 11806287 650.02/650.03 o 30 650.02/650.08 c 464.086 193.613 9650 11806728 650.02/650.08 o 29 650.11/650.12 c 464.13 193.613 9651 11807181 650.11/650.12 o 28 650.11/650.17 c 464.171 193.613 9651 11807641 650.11/650.17 o 27 650.21/650.21 c 464.213 193.613 9651 11808116 650.21/650.21 o 26 650.21/650.27 c 464.263 193.613 9662 11808764 650.21/650.27 o 25 650.31/650.32 c 464.307 193.613 9674 11809227 650.31/650.32 o 24 650.31/650.37 c 464.357 193.613 9651 11809754 650.31/650.37 o 23 650.41/650.42 c 464.402 193.613 9653 11810271 650.41/650.42 o 22 650.41/650.46 c 464.444 193.613 9654 11810794 650.41/650.46 o 21 650.51/650.50 c 464.485 193.613 9655 11811388 650.51/650.50 o 20 650.51/650.55 c 464.526 193.613 9657 11812152 650.51/650.55 o 18 650.51/650.59 c 464.567 193.613 9659 11812774 650.51/650.59 o 17 650.60/650.64 c 464.607 193.613 9661 11813190 650.60/650.64 o 16 650.60/650.69 c 464.653 193.613 9676 11813710 650.60/650.69 o 15 650.71/650.75 c 464.715 193.613 9744 11814251 650.71/650.75 o 14 650.81/650.80 c 464.766 193.613 9761 11814725 650.81/650.80 o 13 650.81/650.89 c 464.843 193.613 9800 11815447 650.81/650.89 o 12 651.12/651.11 c 465.046 193.613 9923 11816367 651.12/651.11 o 11 651.12/651.15 c 465.086 193.613 9924 11816721 651.12/651.15 o 10 651.12/651.19 c 465.124 193.613 9928 11817240 651.12/651.19 o 9 651.21/651.25 c 465.182 193.613 9980 11817861 651.21/651.25 o 8 651.21/651.29 c 465.224 193.613 9985 11818441 651.21/651.29 o 7 651.31/651.36 c 465.289 193.613 10029 11819049 651.31/651.36 o 6 651.41/651.40 c 465.327 193.613 10014 11819549 651.41/651.40 o 5 651.41/651.43 c 465.362 193.613 10015 11820035 651.41/651.43 o 4 651.41/651.47 c 465.4 193.613 10016 11820490 651.41/651.47 o 3 651.51/651.54 c 465.467 193.613 10061 11821133 651.51/651.54 o 2 651.71/651.72 c 465.648 193.613 10162 11821719 651.71/651.72 o 1 651.71/651.73 c 465.657 193.613 10162 11821719 651.71/651.73 s OPTIMUM FOUND 651.71/651.73 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-2699115-1278465217/watcher-2699115-1278465217 -o /tmp/evaluation-result-2699115-1278465217/solver-2699115-1278465217 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699115-1278465217.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: 1.99 1.98 1.95 3/178 12237 /proc/meminfo: memFree=30963316/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=2136 CPUtime=0 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14734212 2187264 173 4089446400 134512640 136422188 4292140112 18446744073709551615 135162536 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12237/statm: 534 173 144 467 0 65 0 [startup+0.010635 s] /proc/loadavg: 1.99 1.98 1.95 3/178 12237 /proc/meminfo: memFree=30963316/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=2136 CPUtime=0.01 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 268 0 0 0 1 0 0 0 25 0 1 0 14734212 2187264 187 4089446400 134512640 136422188 4292140112 18446744073709551615 135408614 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12237/statm: 534 187 144 467 0 65 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2136 [startup+0.100616 s] /proc/loadavg: 1.99 1.98 1.95 3/178 12237 /proc/meminfo: memFree=30963316/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=3716 CPUtime=0.09 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 665 0 0 0 9 0 0 0 25 0 1 0 14734212 3805184 551 4089446400 134512640 136422188 4292140112 18446744073709551615 135161950 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12237/statm: 929 551 144 467 0 460 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3716 [startup+0.300583 s] /proc/loadavg: 1.99 1.98 1.95 3/178 12237 /proc/meminfo: memFree=30963316/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=49224 CPUtime=0.28 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 12303 0 0 0 27 1 0 0 25 0 1 0 14734212 50405376 11706 4089446400 134512640 136422188 4292140112 18446744073709551615 134706444 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 12306 11706 193 467 0 11837 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 49224 [startup+0.70051 s] /proc/loadavg: 1.99 1.98 1.95 3/178 12237 /proc/meminfo: memFree=30963316/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=121972 CPUtime=0.69 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 31400 0 0 0 64 5 0 0 25 0 1 0 14734212 124899328 28954 4089446400 134512640 136422188 4292140112 18446744073709551615 135830093 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 30493 28954 193 467 0 30024 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 121972 [startup+1.50036 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12238 /proc/meminfo: memFree=30794668/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=187180 CPUtime=1.49 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 48396 0 0 0 143 6 0 0 25 0 1 0 14734212 191672320 44426 4089446400 134512640 136422188 4292140112 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 46795 44426 207 467 0 46326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 187180 [startup+3.10108 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12238 /proc/meminfo: memFree=30785332/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=189972 CPUtime=3.09 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 48985 0 0 0 275 34 0 0 25 0 1 0 14734212 194531328 45015 4089446400 134512640 136422188 4292140112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 47493 45015 214 467 0 47024 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 189972 [startup+6.30051 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12238 /proc/meminfo: memFree=30782108/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=192600 CPUtime=6.29 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 49770 0 0 0 480 149 0 0 25 0 1 0 14734212 197222400 45210 4089446400 134512640 136422188 4292140112 18446744073709551615 134856251 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 48150 45210 237 467 0 47681 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 192600 [startup+12.7003 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12238 /proc/meminfo: memFree=30782112/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=193128 CPUtime=12.69 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 49942 0 0 0 954 315 0 0 25 0 1 0 14734212 197763072 45358 4089446400 134512640 136422188 4292140112 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 48282 45358 237 467 0 47813 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 193128 [startup+25.501 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12238 /proc/meminfo: memFree=30782136/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=193524 CPUtime=25.49 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 50064 0 0 0 1860 689 0 0 25 0 1 0 14734212 198168576 45468 4089446400 134512640 136422188 4292140112 18446744073709551615 134873052 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 48381 45468 237 467 0 47912 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 193524 [startup+51.1004 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12239 /proc/meminfo: memFree=30781184/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=194316 CPUtime=51.09 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 50284 0 0 0 3668 1441 0 0 25 0 1 0 14734212 198979584 45656 4089446400 134512640 136422188 4292140112 18446744073709551615 134597879 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 48579 45656 237 467 0 48110 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 194316 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12241 /proc/meminfo: memFree=30779388/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=195656 CPUtime=102.3 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 50723 0 0 0 7335 2895 0 0 25 0 1 0 14734212 200351744 45990 4089446400 134512640 136422188 4292140112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 48914 45990 237 467 0 48445 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 195656 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12242 /proc/meminfo: memFree=30777848/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=197108 CPUtime=162.29 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 51089 0 0 0 11382 4847 0 0 25 0 1 0 14734212 201838592 46353 4089446400 134512640 136422188 4292140112 18446744073709551615 135686449 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49277 46353 237 467 0 48808 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 197108 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12244 /proc/meminfo: memFree=30776912/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=222.3 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 51399 0 0 0 15502 6728 0 0 25 0 1 0 14734212 203014144 46649 4089446400 134512640 136422188 4292140112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46649 237 467 0 49095 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 198256 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12245 /proc/meminfo: memFree=30776620/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=282.3 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 51476 0 0 0 19734 8496 0 0 25 0 1 0 14734212 203014144 46650 4089446400 134512640 136422188 4292140112 18446744073709551615 134869093 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46650 237 467 0 49095 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 198256 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12250 /proc/meminfo: memFree=30775992/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=342.3 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 51554 0 0 0 23896 10334 0 0 25 0 1 0 14734212 203014144 46659 4089446400 134512640 136422188 4292140112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46659 237 467 0 49095 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 198256 [startup+402.301 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12251 /proc/meminfo: memFree=30775624/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=402.3 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 51648 0 0 0 28096 12134 0 0 25 0 1 0 14734212 203014144 46663 4089446400 134512640 136422188 4292140112 18446744073709551615 135028816 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46663 237 467 0 49095 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 198256 [startup+462.3 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12253 /proc/meminfo: memFree=30775548/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=462.31 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 51750 0 0 0 32298 13933 0 0 25 0 1 0 14734212 203014144 46664 4089446400 134512640 136422188 4292140112 18446744073709551615 135028672 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46664 237 467 0 49095 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 198256 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12255 /proc/meminfo: memFree=30775500/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=522.31 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 51918 0 0 0 36596 15635 0 0 25 0 1 0 14734212 203014144 46675 4089446400 134512640 136422188 4292140112 18446744073709551615 134873043 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46675 237 467 0 49095 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 198256 [startup+582.301 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12256 /proc/meminfo: memFree=30775168/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=582.3 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52140 0 0 0 40960 17270 0 0 25 0 1 0 14734212 203014144 46680 4089446400 134512640 136422188 4292140112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46680 237 467 0 49095 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 198256 [startup+642.301 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12258 /proc/meminfo: memFree=30774800/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=642.32 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52686 0 0 0 45735 18497 0 0 25 0 1 0 14734212 203014144 46708 4089446400 134512640 136422188 4292140112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46708 237 467 0 49095 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 198256 Solver just ended. Dumping a history of the last processes samples [startup+646.301 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12258 /proc/meminfo: memFree=30774676/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=646.31 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52742 0 0 0 46073 18558 0 0 25 0 1 0 14734212 203014144 46710 4089446400 134512640 136422188 4292140112 18446744073709551615 134620377 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46710 237 467 0 49095 0 Current children cumulated CPU time (s) 646.31 Current children cumulated vsize (KiB) 198256 [startup+649.5 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12258 /proc/meminfo: memFree=30774672/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=649.51 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52785 0 0 0 46355 18596 0 0 25 0 1 0 14734212 203014144 46710 4089446400 134512640 136422188 4292140112 18446744073709551615 134856294 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46710 237 467 0 49095 0 Current children cumulated CPU time (s) 649.51 Current children cumulated vsize (KiB) 198256 [startup+651.1 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12258 /proc/meminfo: memFree=30774788/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=651.12 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52814 0 0 0 46504 18608 0 0 25 0 1 0 14734212 203014144 46711 4089446400 134512640 136422188 4292140112 18446744073709551615 134868619 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46711 237 467 0 49095 0 Current children cumulated CPU time (s) 651.12 Current children cumulated vsize (KiB) 198256 [startup+651.501 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12258 /proc/meminfo: memFree=30774788/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=198256 CPUtime=651.51 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52823 0 0 0 46542 18609 0 0 25 0 1 0 14734212 203014144 46711 4089446400 134512640 136422188 4292140112 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 49564 46711 237 467 0 49095 0 Current children cumulated CPU time (s) 651.51 Current children cumulated vsize (KiB) 198256 [startup+651.901 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12258 /proc/meminfo: memFree=30774788/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=183004 CPUtime=651.91 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52829 0 0 0 46582 18609 0 0 25 0 1 0 14734212 187396096 44048 4089446400 134512640 136422188 4292140112 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 45751 44048 240 467 0 45282 0 Current children cumulated CPU time (s) 651.91 Current children cumulated vsize (KiB) 183004 [startup+652.001 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12258 /proc/meminfo: memFree=30774788/32951124 swapFree=67111528/67111528 [pid=12237] ppid=12235 vsize=183004 CPUtime=652.01 /proc/12237/stat : 12237 (pbct) R 12235 12237 11692 0 -1 4202496 52829 0 0 0 46592 18609 0 0 25 0 1 0 14734212 187396096 44048 4089446400 134512640 136422188 4292140112 18446744073709551615 135801396 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12237/statm: 45751 44048 240 467 0 45282 0 Current children cumulated CPU time (s) 652.01 Current children cumulated vsize (KiB) 183004 Child status: 0 Real time (s): 652.1 CPU time (s): 652.118 CPU user time (s): 466.015 CPU system time (s): 186.103 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 198256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 466.015 system time used= 186.103 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52830 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= 959 runsolver used 0.98185 second user time and 2.08668 second system time The end
Begin job on node137 at 2010-07-07 03:13:37 IDJOB=2699115 IDBENCH=79330 IDSOLVER=1212 FILE ID=node137/2699115-1278465217 PBS_JOBID= 11233719 Free space on /tmp= 73852 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-22s.smv--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699115-1278465217/watcher-2699115-1278465217 -o /tmp/evaluation-result-2699115-1278465217/solver-2699115-1278465217 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699115-1278465217.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97fed4a2133bff4e993c45ab3a9ac729 RANDOM SEED=890357100 node137.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.829 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.65 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.829 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.83 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.829 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.829 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.83 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.829 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.76 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.829 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.83 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.829 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.829 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 : 5246.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30963836 kB Buffers: 110368 kB Cached: 1659660 kB SwapCached: 0 kB Active: 789088 kB Inactive: 1067320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30963836 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2348 kB Writeback: 0 kB AnonPages: 86080 kB Mapped: 15444 kB Slab: 68300 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 224128 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= 73848 MiB End job on node137 at 2010-07-07 03:24:29