0.00/0.00	c MoUsSaka with meat
8.80/8.84	
8.80/8.84	s UNSATISFIABLE
434.60/434.61	c Core is minimal
434.60/434.61	
434.60/434.62	v 1922 191 467 767 766 192 193 74 152 190 75 76 154 155 171 994 993 34 71 68 31 315 751 758 756 753 757 535 469 470 481 539 538 537 471 472 473 474 1846 1920 2259 2263 3622 2264 2265 1986 1989 3599 3600 2261 2262 1919 3598 3602 3601 3463 2847 426 425 389 2878 2877 2879 2839 2271 2656 400 487 2233 2846 2235 2840 2234 2236 482 477 485 478 2876 989 465 2662 1763 424 392 2657 2828 2776 2826 2827 2815 2825 3609 3605 3610 3608 3604 3590 1900 107 2659 2661 2660 2658 1898 1899 146 148 486 110 144 399 1902 1901 475 488 311 313 312 70 33 764 2267 2270 230 760 759 752 762 761 749 2652 2650 2653 768 1924 781 1923 780 2829 187 185 182 183 188 184 186 1909 1908 1904 1890 1905 1910 1897 1896 1895 2874 2873 2871 2872 1727 1726 1892 1389 1388 2620 2629 2641 2647 2640 2642 2646 2638 2649 2651 2630 2643 2627 2648 2623 2626 2621 2625 2635 2637 2634 2624 2633 2636 2628 2639 2631 2632 2644 2654 2655 2832 2845 2838 2837 2834 2833 2836 2269 2268 1645 995 2844 2842 2843 2835 2831 1717 1715 1716 2830 2083 992 763 991 226 229 990 1737 1755 1729 1738 1847 1728 1724 1750 1751 1764 1859 1761 1762 1874 1749 1906 1720 1903 1719 1723 1768 1857 1753 1745 1759 1773 1848 1734 1858 1743 1772 1744 1754 1736 1746 1725 1760 1767 1732 1856 1850 466 309 310 452 463 272 307 431 462 308 464 461 170 1170 1108 1130 468 1135 1134 1133 1042 1043 1172 1171 1177 163 997 1000 1001 1053 2441 1050 1051 1129 1119 1120 1118 1121 1072 1063 1076 1075 1086 1073 1074 1062 1116 1117 2412 2410 2409 1386 1387 2555 2554 1912 1917 1916 1888 1889 1918 1915 1913 1877 1914 164 165 169 168 2579 306 303 304 305 1887 1739 1881 1885 1886 1883 1884 271 1115 998 999 1071 2469 1173 622 1178 1343 1347 1342 1384 1383 1344 1359 1340 1341 1345 1351 1346 1349 1348 1350 1385 162 1174 1175 2880 3597 3427 3584 3587 3585 3468 3581 3467 3473 3580 3472 4750 6798 4025 4027 4026 6797 5682 3595 3592 3596 3620 3619 3615 3617 3616 3618 3612 3613 3611 3571 3569 3572 3568 3593 3594 6211 8117 8115 7980 8118 8119 6215 6216 8116 5702 5701 4021 8134 8093 4023 8130 8133 8132 8135 7944 8113 8109 8106 8128 8105 8129 4024 5545 8094 8112 8131 6212 750 628 629 637 646 656 741 638 626 655 647 66 61 56 62 158 159 3245 4748 4747 4709 4706 4703 4707 4704 4708 4749 430 4532 4531 384 385 316 450 451 448 8734 8730 11837 8732 10636 12052 10658 12053 8735 12051 10499 12054 12004 11249 13155 13154 13157 13156 13018 8733 4746 1338 213 196 206 207 217 216 209 205 219 212 222 202 203 220 210 201 200 208 211 204 199 227 225 224 214 197 221 215 198 223 218 2087 429 2511 1292 2438 2439 1337 1339 1176 551 794 782 795 1938 552 23 19 327 383 5 7 17 26 653 649 745 660 738 736 737 632 645 650 658 627 641 640 739 740 748 747 636 654 744 644 631 423 428 546 777 778 775 779 771 774 772 733 692 390 549 542 548 398 541 729 788 791 784 785 793 786 789 792 696 1327 837 838 839 1168 1169 1167 1166 2563 2232 2229 2231 2561 2562 2569 2558 2568 2559 903 2566 2565 2567 2546 2564 2560 2501 2548 2551 2500 2557 2552 2550 2549 2556 2547 1999 2467 2466 2848 2870 2849 2869 2468 2440 2497 2499 2498 2861 2863 2867 2860 2857 2855 2852 2862 2864 2858 2868 2854 2859 2856 2782 2853 2866 2865 661 746 635 5628 2875 2841 1994 2645 2622 1733 1766 166 536 734 11254 11255 11253 13153 7013 7014 6976 6969 973 970 971 972 969 16287 19393 13768 18806 25730 25578 25801 21323 21324 28287 25743 28282 25768 25754 26363 28265 23251 25742 28262 25594 23850 25736 25593 28263 25759 25803 28307 28096 25748 25762 25618 25744 28279 25579 25766 28281 25746 28320 25704 25734 25772 28277 28292 26362 23842 28288 25617 25731 25737 25735 25788 25751 25596 26361 28306 28274 28881 23843 28276 25733 25749 25575 28273 25771 28223 25584 25760 25786 28305 28321 28259 25577 25769 25588 23844 28289 28286 28285 25802 25774 23848 13773 15537 13772 13774 10656 15696 15675 15672 15676 15678 15684 15683 15677 13771 15674 13770 15501 28249 28138 28252 25763 28270 28255 28139 28132 28268 26365 28253 28140 28269 28142 26366 26369 28141 28137 25787 23846 28293 25770 25773 25750 23849 28256 28264 28322 25623 28254 28880 25595 25587 28291 28278 25767 25745 28250 25570 28280 25752 28136 21325 25622 25583 28271 25765 28261 28284 25574 28290 23847 28267 15667 15670 15668 15669 15690 15689 15687 15686 15679 15681 15664 15691 15663 15662 15651 15666 13174 13175 15688 15673 15692 15682 18805 18804 16286 16285 13163 13145 13164 13159 13165 13162 13160 16290 16289 18193 16292 16293 18056 16291 19390 19392 19391 15693 15694 23254 23240 23058 25758 23267 23252 25740 23248 20730 23233 18212 23232 23230 18213 23227 23249 20717 20720 23268 20712 18812 23253 23226 18811 20722 23282 20723 20729 20731 20716 20728 25613 23241 23246 23229 23235 23247 21331 23223 23255 23284 25755 23094 23269 23250 20575 25761 25757 23283 10655 18194 18191 18195 18192 18808 18207 18809 18810 18203 18202 18197 18198 18201 18200 18204 18183 18210 18206 18209 18208 18211 18026 13173 13171 13172 13168 13167 13170 13169 13158 13166 20579 20697 20539 20708 20693 20706 20707 20711 20695 20538 20699 20710 20585 20692 20713 20580 20696 20584 13767 13766 25612 25600 25611 25724 25707 25703 25706 25610 25601 25739 25605 25609 25727 25604 25738 25698 6220 6799 6791 6223 6219 6793 6222 6221 6794 6792 6359 6756 7007 7006 7008 6981 6979 21327 21328 23231 11251 11252 18215 18216 23238 23242 23236 23225 23185 23224 23239 6984 6978 6983 6986 7009 6982 6985 7010 6980 7012 5770 6962 7011 12055 10722 10713 10697 10695 10707 10717 10716 10708 10718 10699 10714 8186 8195 8179 8181 8200 8199 8175 8201 8194 8183 8176 8197 8196 8174 8202 8182 8188 8189 8192 8178 8185 8193 8184 8206 8203 8205 8742 8198 8177 8191 8180 8187 8173 8190 8204 11220 4527 12001 12003 12000 12002 11951 11221 10731 11225 11226 11224 11073 11223 24428 23220 24430 24431 23219 24429 21326 23208 1132 319 320 318 326 755 830 833 742 1316 1315 1317 1311 1314 1326 1313 1312 1293 1310 1309 1325 59 32 48 65 18 52 57 1 45 3 10 42 12 51 64 46 22 40 38 8 43 20 36 28 54 67 4 47 69 50 58 29 15 60 39 53 37 41 49 16 6 153 63 24 11 30 27 9 44 25 14 21 55 23244 23221 731 694 109 382 3546 3623 160 149 1907 3607 189 314 147 732 391 545 695 550 484 72 393 20732 20721 20724 20698 20725 20666 20704 20578 20705 20727 20714 23243 9313 4033 4029 4032 4526 4525 14356 14351 8739 8740 8738 8554 8741 13229 13227 13233 13228 13215 13234 13238 13220 13236 13225 13214 13239 13237 13217 13235 13226 12056 25603 25586 25576 14350 14349 13779 13777 13778 13776 13780 13741 11950 11893 11891 13248 13211 13244 13224 13221 13219 11244 13216 13232 13241 13213 13212 13209 13240 13223 13218 13210 13222 13230 13592 13250 13231 13242 10733 10736 10705 10704 10730 10692 10719 10720 10725 10711 10729 10703 10712 10696 10721 10706 10693 10698 10701 10702 13249 11243 10715 10709 10710 10691 10690 10723 10694 10700 11222 10726 10732 10728 10727 18036 18020 18037 18185 18017 18013 18018 18061 18031 18188 18066 18021 18038 18022 18027 18147 18030 18065 18060 18189 20734 18230 18217 3849 3242 3243 3244 4031 4030 3237 8714 3175 8709 3168 8715 523 525 522 526 521 2437 2436 3239 3240 4702 4699 4705 3233 3228 3232 3185 3181 3184 3223 3178 3180 3229 3234 3182 3227 3224 3179 3176 3183 3177 3235 3230 3186 3231 3187 8704 8701 8702 8703 8707 8713 8712 8706 8705 2618 2407 2619 5679 3162 3188 2507 2509 2503 2506 2508 2510 3236 3238 2504 3226 10635 10634 3603 8736 15697 8121 8122 8127 8125 8136 8120 8126 8107 8124 8137 8140 8139 13178 13177 20736 20749 20735 20748 20733 20765 15726 18244 18229 18231 20750 20763 20764 8724 26259 28724 26946 28808 25847 26275 28794 28805 28871 27104 26322 28823 26305 27116 28852 26258 28781 28778 28708 26186 3559 3574 3449 3450 3556 3557 3547 25840 26340 26338 26335 23837 28363 23835 23321 24647 23331 27005 27097 26905 27087 24598 24611 24595 24580 24653 27018 26960 27012 26964 25747 25708 25753 27022 27017 25697 3548 26189 25805 25811 25826 25837 25839 25830 25828 25812 25820 25814 25835 25822 25808 25832 25825 25816 25807 25806 25817 25833 25829 25821 25824 25810 25823 25834 25818 25819 25815 23307 23305 23287 23292 23312 23316 23289 23313 23797 23686 23786 23753 27115 26287 27013 27114 27090 27096 24645 28869 23304 23326 27058 27003 23740 27089 23817 24585 23294 25573 26321 28878 26336 25846 25842 26273 28835 27014 23767 23327 26333 25831 25809 25836 24584 23819 27008 25709 23733 23739 24597 27002 26316 26238 23841 24654 27064 24546 28705 23729 26248 27062 26371 28792 28824 28709 23317 28362 27094 24610 23296 26966 27088 24575 23306 26961 28771 23320 27066 23855 23736 27065 28780 28854 27060 24811 26279 26255 28777 24596 23852 26958 23803 28361 28857 27059 23288 26205 28870 23831 27099 23297 23314 26353 26351 23760 25764 26272 26261 28841 28822 25700 26250 26320 23768 28859 25582 23318 23300 23298 23801 23303 23290 26190 23286 26352 23756 26965 24812 25850 27015 28875 27020 24581 26959 26945 25845 23838 23302 27102 25589 23293 28791 28769 26289 27095 26303 27086 26356 27057 23285 28840 25569 23323 27063 23784 23310 25614 26951 24617 28839 28774 26354 26304 23299 27170 23667 24583 28757 23308 28876 28879 27007 23731 23322 26375 28710 23770 23802 23773 28858 23836 26963 27016 27067 23328 26339 23719 23785 26360 27021 23301 26262 24649 27092 28806 28811 28874 26357 26337 26359 27098 28855 27100 24427 26249 23311 26252 28873 23818 26191 26286 23295 23754 25616 28767 25841 28798 26355 24648 27019 24432 27117 7956 7018 1382 3550 3451 3464 3461 3462 387 388 974 11832 3420 3419 3426 3460 3443 3432 3558 3446 3466 3437 3423 3428 3453 3459 3434 3445 3433 3438 3424 3425 3455 3444 3436 3429 4168 8212 8725 11261 12050 11831 12022 11228 11233 11229 11234 11209 11232 11260 11231 11257 12021 12016 3606 1379 1360 1378 1361 1377 1381 1380 4701 2804 2814 2803 2802 2805 2799 2801 2800 2813 2777 6909 6912 6911 9317 9316 8114 381 331 380 330 321 1601 1594 1595 1640 1602 1468 1472 1639 1638 1603 1598 1600 1471 1597 1637 3173 3174 3217 3222 3166 3169 3164 3170 3218 3163 3171 3221 3165 3167 3172 3220 2984 3219 3225 4341 4340 1714 1368 1373 1364 1371 1376 1370 1374 1366 1372 1367 1369 1365 1375 2435 2423 605 2431 606 2428 2434 2424 603 2417 2433 2422 602 2430 604 2419 2425 2427 1679 1678 21322 23309 24426 23856 5704 6217 6213 6214 5683 5684 5681 5694 4022 5695 5693 5658 5672 5692 5509 5696 5698 5670 5690 5687 5691 5636 5671 5674 5678 5689 5697 5700 5699 5677 5686 5680 6964 8071 5685 8110 8111 3416 3415 3417 4700 6965 4273 26949 23821 26950 26947 21321 3695 3692 4488 4169 4489 4530 4529 4524 3246 3694 3961 3950 4486 3933 3896 3962 3945 4487 2406 1193 1676 1203 1674 1675 167 1672 1673 4528 5675 5676 980 977 960 976 978 981 979 927 917 926 909 918 951 950 935 936 959 8729 11247 8728 11248 1671 4172 4171 4174 6421 6364 6361 6362 6426 6425 6435 6444 6427 6442 6431 6445 6432 6443 6439 6441 6438 4246 4251 4248 4252 4242 4249 4245 4253 4240 4243 6434 6437 6440 6423 6447 6446 4254 4255 6422 6430 4256 4257 6436 6433 1492 2059 1308 2061 2044 2043 2050 2051 2045 2048 1490 2055 1513 1480 1306 1363 1307 2054 1304 1305 2046 1466 1397 2049 2047 2053 1516 2056 2052 1510 2060 2057 2058 1521 1205 4241 4235 4237 421 422 404 394 403 427 1179 386 1224 1219 1192 1183 528 531 530 1201 1184 1197 1195 1202 1196 1194 507 508 509 2495 4233 4247 4244 4250 4236 2492 2489 2486 2483 2491 2480 2493 2478 2490 2481 2484 529 2487 527 2494 5776 5774 6039 5777 8211 25599 28856 26350 23730 28768 24616 23743 23291 24646 24582 23820 28872 23315 28360 28364 24577 27093 26374 27091 27101 25813 26292 23742 25827 27004 25804 26948 13763 543 770 479 10659 18187 18186 15628 15685 15698 15711 15710 13179 13192 18214 18245 18019 18055 18150 18151 18044 18059 18046 18047 18029 18032 18167 18052 18140 18148 18152 18043 18149 18054 18143 18048 18053 18039 18057 18205 6796 6795 15658 15541 15661 15659 15540 15655 15654 15657 15546 15500 15542 15547 15660 23068 23104 23077 23051 23214 23076 23098 23216 23218 23099 23215 23212 23211 23055 23069 23059 23056 23064 23217 23103 23074 23075 23060 23065 20689 20665 20662 20669 20576 20700 20668 20659 20686 20671 20660 20701 4523 4520 4522 4711 4745 4717 4716 4744 3994 4741 4710 4718 4719 4743 4712 4713 4714 4739 4742 4740 4715 3686 3689 2881 3657 3684 3683 3682 3664 3666 3679 3672 3661 3685 3662 3678 3668 3669 3673 3687 3654 2718 3667 2716 3659 3658 3675 3670 3677 3665 3680 3676 3656 3660 2775 3663 3655 3671 3674 3681 3454 3588 3614 2260 3576 3577 3589 2820 2819 2817 2818 2824 2823 2807 2816 4015 4020 4019 6210 6209 4013 4014 3974 3980 4017 4018 3963 4012 20702 18246 20719 5705 3439 8168 13206 15725 13193 15712 13191 10674 10687 15727 15695 7015 7016 6966 1937 1936 3638 3651 1951 1950 5733 5720 6184 6913 1927 1930 1934 1933 1935 1931 1926 1928 1844 8155 5719 8154 8141 3624 1941 1804 1940 5706 1945 1948 1843 1807 1944 1806 1808 1845 1949 3637 3636 8153 5718 1942 1947 1841 10660 10672 10673 5261 6755 6754 7017 6971 6973 6975 6970 6974 5780 5781 2496 6954 6955 6957 6956 3583 1872 1855 1870 1868 1869 1871 1854 1873 1893 1882 3555 3573 3582 3448 2266 3554 1748 996 1894 754 1911 10624 10463 10628 10612 10638 10637 8731 10654 10651 10613 10625 10631 10645 10644 10646 10641 10626 10640 10649 10643 10653 10632 10652 10648 13109 13141 13139 13150 13138 13136 13135 13027 13140 13028 13148 13151 13142 13022 12982 13147 8138 10629 10590 10630 10647 13149 13023 6941 6936 6952 6942 6914 6937 6938 6948 6944 6947 13207 13176 13208 6953 6949 6960 5768 5771 6961 6940 6939 6963 6951 6950 6946 6945 6943 8215 161 985 2239 1993 3997 3998 3995 3996 5659 5638 5632 5629 5502 5508 5501 5630 5639 5543 5531 5532 5546 5641 5656 5533 5544 5528 5519 5515 5510 5549 5525 5518 5520 5505 5541 5535 5542 5663 5665 5667 5669 5666 5668 5521 5662 5527 5537 5507 5536 5548 5555 5516 5511 5514 5526 5550 5640 5506 5554 7635 7512 7631 7624 7506 7630 4646 6463 6750 6481 6751 6484 6749 6482 6483 6485 7612 4698 10657 10688 8170 8169 10689 2617 11990 11982 12007 12014 3993 2242 2243 2244 2254 4697 4751 6453 4695 4696 4694 4262 4483 4295 4405 4475 4263 4484 4406 4474 4473 3847 7940 8102 7972 7989 7981 8074 8075 7976 8091 7955 8070 7968 8064 7950 8067 7966 7960 7954 7970 7984 7949 7943 7985 8100 8104 8073 7979 7971 7963 8101 8065 7945 7967 7936 7942 8076 7983 7990 7937 7977 7953 7951 7962 7961 8103 7941 7978 7946 5499 5498 5497 3991 5655 5530 4028 5653 5654 5652 1965 1983 1969 1982 1957 1970 1977 1966 1976 1985 1958 1959 1961 1974 1972 1971 1973 1987 1962 1960 1978 1980 1979 1956 1975 1981 1964 2255 2256 2257 2258 4008 4693 3635 3634 1968 1967 1984 1963 5703 5734 5735 3653 3652 3621 97 96 131 106 112 115 87 143 82 79 99 78 86 98 125 139 108 121 81 114 145 132 117 137 83 92 93 95 105 130 135 102 134 136 133 85 124 116 2 88 77 138 13 810 815 824 828 814 808 817 822 807 831 809 803 826 812 819 801 827 811 825 816 813 805 823 802 806 821 820 818 800 804 829 7516 7538 6968 6972 6206 8690 8710 8210 8708 8722 8723 8721 8720 8719 6205 8689 8683 8682 8688 8698 8692 8699 8691 8687 8717 8718 8693 6487 6488 5207 5185 5138 5255 5151 5254 5256 5253 5246 5144 5237 5229 5210 5245 5238 5240 5243 5232 4266 4264 5209 5234 4272 5242 4270 5241 5208 4265 5164 5230 4271 4269 5154 5152 5155 5160 5158 5249 5157 5248 5153 5161 5247 5252 5163 5233 5236 5244 4268 5239 5156 5231 5250 5251 5159 5186 5235 4267 7525 7604 7546 7600 7595 7575 7555 7564 7578 7558 7556 7577 7579 7544 27118 27168 27167 27103 24650 23840 15764 15760 15763 15769 15756 15736 15749 15758 15739 15745 15738 15742 15748 15740 15747 15746 15730 15753 15757 15761 15733 15743 15751 15737 15741 15754 15732 15744 15731 15752 15735 15759 15755 15750 15734 17860 18007 17861 15728 15729 15765 15766 15762 18286 18287 18284 8171 8172 16282 13762 13751 13748 13745 13750 13728 13747 13753 13752 18259 18257 18251 18261 18264 18248 18256 18263 18260 18254 18276 18265 18255 18247 18262 18274 18249 18273 18271 18280 18258 18268 18278 18272 18250 18275 18270 18252 18282 18267 26017 28704 23332 28536 23498 25851 20979 28366 28370 28369 8214 8207 8213 20813 26185 20808 20802 20807 20788 20770 20774 20776 20791 20787 20775 20783 20782 20790 20793 20797 20789 20773 20781 20799 20779 20769 20796 20766 18801 18288 18266 18253 20794 20795 20777 20767 20798 20801 20778 20780 20772 18279 18269 18277 20784 20771 20785 20792 20768 20786 18285 18289 18781 18779 18293 18290 18789 18790 18786 18778 18780 18777 18791 18785 18766 17859 18782 18783 18283 20379 20526 20380 18292 13755 13761 13744 13742 13743 13740 15770 14574 18803 16281 18798 18799 18797 15768 15767 13252 13255 13251 13245 28524 28530 28521 28526 28532 28837 14575 16215 16226 16224 16220 16219 16225 16222 16132 16160 16142 16118 16133 16136 16159 16143 16145 16111 16198 16212 16235 16242 16206 16209 16155 16208 16202 16201 16234 16207 16205 16228 16237 16171 16125 16150 16122 16126 16232 16165 16197 16213 16196 16203 16211 16199 16216 16162 16129 16210 16185 16161 16153 16144 16110 16227 16186 16127 16154 16166 16170 16238 16149 16137 16236 16223 16123 16233 16158 18775 18767 18769 18768 18774 18765 20804 20803 18800 14572 14570 14569 14535 14540 14541 14571 14573 19560 19394 19558 19559 18818 19508 19389 18814 19388 18817 18802 18788 28523 28529 28868 28519 28534 16284 28359 8726 28533 21147 8727 13765 18794 18792 18761 18763 18760 18762 18796 18759 18764 18793 7530 7509 7629 7536 7611 7576 7571 7554 7591 7542 7531 7522 7550 7520 7596 7601 7535 7582 7625 7570 7574 7593 7567 7568 7599 7523 7533 7569 7515 7614 7628 7621 7633 7613 7616 7602 7603 7553 7547 7598 7502 7507 7508 7528 7510 7590 7489 7557 7549 7563 7581 7572 7626 7495 7627 7615 7632 7513 7618 7619 7610 7634 7580 7562 7592 7588 7566 7527 7565 7524 7504 7620 7532 7573 7534 7552 7623 7503 7617 7511 7622 7505 7514 7545 20378 16245 16246 16244 16266 16271 16247 16272 16243 20812 20809 20811 28365 28836 28520 23666 28838 28527 28535 15941 13738 13739 11241 11236 11242 11219 11237 11239 11240 11212 11217 11211 11210 11218 11202 11206 11207 11208 13247 13246 11201 11230 11235 11100 11246 13756 13758 13759 13760 14346 14347 14344 11245 13757 14313 14348 11072 11175 11190 11138 11189 11145 11144 11134 11161 11173 11159 11136 11135 11148 11172 11158 11091 11124 11178 11147 13764 11947 11949 13727 13720 13721 13730 13737 13736 13731 13726 13710 11948 13692 13667 13677 13663 13664 13678 13643 13680 13653 13666 13657 13610 13655 13694 13591 13709 13708 13697 13654 13691 13725 19561 19611 13729 11259 12019 12018 12017 11258 12049 12020 12969 13254 13754 13596 11238 11227 13696 13695 13701 13700 13679 13651 13633 13608 13645 13635 13607 13623 13604 13712 13714 13707 13718 13706 13705 13704 13719 13652 13703 13639 13603 13606 13598 13612 13626 13625 13617 13616 13641 13614 13618 13624 13605 13602 13713 13640 13630 13646 13634 13629 13647 13631 13613 13642 13599 13735 13746 13619 13628 13593 18628 19547 19537 19546 16260 16267 16270 16264 16263 16261 16262 16259 16269 14534 16109 18460 18294 13733 13734 18795 18773 18784 18771 18772 18748 20805 20806 19557 17041 17040 16870 20810 18692 18698 18702 18747 18629 18729 18701 18705 18716 18722 18718 18732 18746 18704 18715 18681 18693 18695 18730 18648 18735 18691 19451 19503 19507 19613 19506 17090 17091 16275 16280 16277 16256 16249 16279 16255 16250 16278 17052 16257 16240 16239 16265 14355 14522 14521 14520 14354 14523 14353 14519 16115 14470 14568 13916 14533 14526 14539 14536 14538 14537 16274 16252 16299 16295 16298 16297 16296 15771 15774 18776 19471 19456 19501 19499 19472 19470 19500 19474 19473 19465 19469 19502 19505 19498 19475 17089 17088 17060 17087 16989 17059 18634 17045 17058 17055 17057 14567 14563 14564 14543 14565 14542 14566 14312 13152 14311 14352 14310 14518 14517 14495 14498 14471 14496 14494 14493 14508 14497 14509 14507 14499 14505 14504 14502 14501 19544 19545 14503 19539 19542 19543 14500 14506 15940 13421 17028 13715 13716 13717 11983 11984 11987 11985 11980 11989 11986 11981 11988 11191 10737 13590 11071 8552 13422 15775 10903 13256 13690 13688 13636 13687 13689 16253 16276 16229 16254 16173 16174 16172 16182 16183 16179 16176 17018 17054 17027 17038 17056 16869 16875 17039 9536 6074 6123 6051 6152 6046 6069 6140 6085 6050 6084 6047 6045 6086 6057 6068 6151 6135 7543 7521 7518 7519 7526 7529 7517 7548 7541 7551 7539 7540 1084 1085 3190 3209 3198 7561 3200 3197 7608 3202 3189 3204 3191 7559 7605 3208 3201 3195 7607 5165 7583 7537 3205 7609 3193 7606 5187 3194 3199 3210 3192 3196 3206 7560 3207 6186 6188 6187 6185 6181 6183 4675 4684 4683 4685 4681 4677 4680 4682 4586 4588 4645 3326 3324 3325 3257 3907 3908 3930 3906 3913 3844 2122 3916 3931 3920 3910 2133 2155 3917 2253 2182 2132 2158 2199 2094 2153 2169 2105 2116 3937 3944 2099 2175 4001 2183 2134 2117 6194 4016 6191 6195 3919 3863 2098 2152 2171 2093 2188 2095 2168 2200 4006 4004 4005 3947 2212 2252 2218 2187 2250 1642 2201 1643 2186 1644 2251 3979 3978 3855 3884 3867 3878 3894 3861 3856 3879 3857 3895 3860 7498 7497 7490 7501 7499 7500 7492 7496 7494 7493 7491 7182 3650 4003 2798 80 90 84 94 142 119 103 91 122 126 129 123 104 118 127 120 89 140 128 141 101 100 113 480 483 446 442 444 447 445 443 432 476 540 6153 6164 6170 544 547 2241 2219 2238 773 769 776 668 680 704 790 666 699 701 720 706 1131 665 714 700 724 730 672 709 702 675 727 783 713 676 703 710 663 670 698 677 723 711 689 667 718 708 697 693 707 662 716 691 681 684 664 715 686 671 725 721 682 687 685 683 728 679 674 726 787 669 722 673 705 690 688 719 678 717 712 1997 1990 2000 1996 5184 5172 5169 5180 5176 5181 5171 5177 5174 5182 5183 5179 5173 1677 1181 1182 4674 4647 4669 4678 4670 4679 4676 4671 4672 4673 4687 4689 4690 4688 5215 5194 5199 5213 5201 5191 5204 5214 5211 5193 5203 5202 5205 5217 5216 5198 5196 5206 5212 5195 6193 6458 6457 6461 6462 6454 6460 6455 6456 6459 4686 6100 6054 6034 6097 6110 6096 6103 6109 6098 6053 6040 6106 6107 6127 6137 6120 6121 6134 6071 6044 6036 4000 3981 1079 1083 1081 1082 2797 2890 2976 2973 2975 2905 2914 2913 2904 2889 2974 2912 2906 2971 2908 2972 2907 2897 5688 2665 1925 1932 1929 1228 1229 1230 1231 4589 4533 2774 2772 4585 1223 1216 1221 498 1226 504 1220 1222 1217 1227 497 505 4644 1212 4642 4641 1215 1213 496 1214 1218 1225 6037 6168 6169 6196 8697 8216 3642 3508 3633 3645 3545 3626 3627 3628 3507 3644 3649 3648 3541 3504 3641 3544 3630 3631 3640 3647 6171 6190 8696 8695 8672 6967 8217 8382 8383 3265 3321 3414 3328 3329 8384 7005 7004 7003 5759 5762 5743 5761 5751 5741 5738 5758 5757 5749 5754 5737 5752 5739 5753 5742 5769 5744 5755 5747 5764 5756 5745 5740 5765 5748 5750 5763 5736 5767 5760 5746 5766 7931 7785 7784 3263 3259 3264 6202 6204 6198 6203 2031 3700 2022 2024 2033 2037 2039 2027 2038 3258 2034 2028 2678 2030 2679 2036 2040 3701 5783 8218 5907 5782 7783 2025 3771 8581 8711 8625 8615 8670 8656 8654 8619 8659 8553 8626 8629 8666 8640 8681 8592 8665 8617 8639 8605 8668 8616 8572 8669 8628 8642 8667 8680 8671 8593 8591 8604 8603 16283 8700 10633 6208 6207 4759 4758 2667 2666 2676 2715 2677 2713 2714 2663 3928 3929 3958 3970 3926 3942 3925 3989 3972 3960 3872 3915 3968 3943 3971 3955 3927 3914 3982 3941 3959 3988 3889 3854 3850 3881 3864 3846 3940 3969 4002 3983 3990 3956 3957 7638 8558 7637 7639 5259 5260 5258 1291 1234 1232 3250 3323 3322 5377 5496 5378 8679 8635 8637 8634 8638 8649 8652 8653 8678 8590 8555 8677 8624 8650 8623 8598 8651 8664 8636 6105 6130 6179 6148 6062 6160 6159 6115 6146 6117 6172 6147 6132 6131 6161 6118 6180 6079 6150 6162 6119 6178 6145 6104 6133 6158 6173 6192 6149 6116 9488 8556 9502 9497 11525 9531 9503 9498 9501 9500 9499 9530 9312 9537 14513 14514 14511 14512 18816 18815 21890 21880 21881 21882 21892 21871 21873 21878 21894 21879 21895 21885 21876 21897 21883 21875 21893 21899 21901 21884 21891 21900 21887 21889 21896 21898 21874 21872 21877 21886 21902 21888 9534 9535 9532 9533 9318 9495 9274 9275 8878 9310 9311 9485 9525 9273 9481 9484 9483 9482 9480 9479 9432 9471 12678 2378 2375 2384 2393 2392 2390 273 2399 2359 2367 2369 2343 2346 2354 2355 2353 2318 2381 2383 2387 2385 2373 2405 2396 2395 2386 2402 2382 2401 2391 2388 2403 2404 2379 2374 2398 2365 2364 2315 2322 2361 2296 2317 2366 2321 2371 2320 2400 2397 2377 2376 2372 2394 2389 2380 2370 2316 2345 2319 2362 2363 2311 2368 2357 2358 2312 2304 2360 2310 2313 2305 2307 2308 2356 2335 8982 8877 9455 9459 9458 9460 9470 9461 9309 9306 8980 8981 2614 2533 6358 2599 2598 2577 2605 2604 2603 2578 2602 2613 2601 2600 8851 8852 8866 8857 8868 8850 8845 8876 8874 8872 8875 8869 8863 8870 8846 8847 8860 8853 8854 8871 8864 8859 8867 8843 8873 8848 8861 8849 8844 8858 8856 8855 8865 8862 8841 8793 8842 8792 9457 9433 9456 9469 7640 2543 6356 6357 6354 6325 6346 6326 6341 6351 6331 6327 6330 6337 6343 6347 6324 6340 6333 6332 6328 6348 6329 6352 6355 6349 6334 6335 6342 6339 6345 6336 6338 6350 6353 6344 4482 4294 4292 4291 4293 6273 6323 6274 6322 6272 6312 6318 6311 6303 6321 6258 6316 6319 6249 6309 6252 6264 6299 6270 6298 6248 6306 6256 6305 6257 6267 6262 6269 6314 6320 6251 6308 6300 6295 6307 6287 6259 6297 6263 6304 6313 6315 6302 6254 6265 6310 6317 8791 6271 6260 6268 6301 2544 2545 2539 2541 2540 2542 8833 8816 8837 8826 8823 8838 8829 8832 8770 8790 8782 8830 8784 8778 8834 8768 8835 8831 8818 8820 8767 8777 8824 8773 8814 8776 8788 8822 8836 8783 8819 8771 8817 8828 8775 8825 8827 8786 8779 8787 8821 8840 8789 8781 8806 8839 3256 1288 1233 1290 1289 4342 8940 8966 5162 5147 5139 5146 5148 5140 4887 5149 5142 5150 5141 5145 5143 8965 8949 8950 8962 8961 8960 8964 8942 8958 8941 8945 8959 8951 8953 8944 8956 8954 8963 8957 8952 8955 8946 289 278 281 297 285 274 275 300 295 298 291 301 284 296 283 1114 292 302 276 288 294 282 280 293 299 277 290 287 4302 4305 4304 4303 4309 279 286 2553 1148 1149 1151 1165 1154 1147 1144 1137 1160 1150 1141 1136 1142 1159 1162 1143 1161 1158 1140 1152 1153 1139 1155 1145 1156 1163 1157 1146 1164 1138 6494 6496 6493 6495 4134 4136 4149 4160 4162 4164 4166 4147 4141 1713 1248 1236 1239 1711 1707 1247 1238 1237 1708 1709 1710 1235 4399 4329 4328 3314 3319 3316 3315 3267 3317 3318 3320 11459 11479 11480 11474 11483 11481 11469 11465 16131 16214 16231 16124 16121 16135 16117 16164 16152 16148 16138 3313 1249 1712 12972 12970 12971 4400 4379 14516 13132 13144 12981 12975 12974 13143 11472 11475 11478 11460 11461 4376 4356 4377 4232 11473 11482 11484 11464 11468 11471 11485 11476 11477 11470 9431 11379 11375 11382 11371 11370 11388 11391 11372 11380 11389 11369 11377 11373 11393 11367 11384 11385 11390 11368 11395 11376 11392 11386 11311 11312 11361 11365 11378 11362 11364 11383 11366 11363 11387 11381 11394 11374 16434 10159 11077 17053 13915 18291 12013 12012 12006 11216 11199 11186 11200 11188 11185 11187 10450 11110 11111 11123 11122 11184 11112 11215 11132 11121 11106 11084 11104 11083 11097 11099 11079 11086 11193 11194 11177 11127 11114 11182 11116 10735 9429 9430 9428 11133 11214 11089 11088 11128 11098 11115 11095 11080 11085 11126 11181 11195 11107 11094 11160 11087 11120 11093 11105 11176 12011 12008 12009 10639 10650 10623 10462 10464 10617 10491 10589 10616 10479 10496 10593 10583 10459 10500 10592 10586 10584 10473 9315 9314 6589 6577 6581 6584 6573 6578 6582 6588 6572 6553 6590 6570 6591 6567 6568 6566 6491 6551 6587 6580 6575 8098 8097 6571 6586 6585 6579 6563 6576 6583 6554 6564 6558 6552 6492 6559 6562 6557 6555 6556 6560 6565 14357 6639 6638 6618 6619 6637 6632 6629 6620 6626 6636 6624 6625 6635 6628 6634 6623 6627 6631 6630 6621 6633 10453 10451 10452 12005 5732 7641 7782 25844 25843 23839 14412 14411 14469 16874 16873 15939 13978 11074 11109 9529 9526 9528 9505 9527 9504 11310 12666 12667 12670 12665 12663 12661 12662 12664 12673 12552 12551 12669 12660 12668 12671 12527 12672 14372 14373 10622 10461 10502 10495 10480 10489 10621 10455 10475 10509 10498 10508 10595 10610 10469 10465 10497 10456 10481 10487 10504 10594 10468 10470 10486 10474 10503 10490 10485 10460 10482 10619 10472 10620 5623 5590 15488 11894 5626 4118 4108 4080 4121 4079 9493 9492 9489 9494 9490 9487 9491 8657 8658 14409 7781 11463 5772 5778 5779 12010 7779 7660 7778 5894 6816 7653 5901 7777 5906 5895 5905 5891 7654 5897 5889 5904 5892 7659 5900 5903 5898 7645 7658 6815 7652 7780 5262 8743 5375 7933 7932 7934 2195 2240 2206 2178 2165 2167 2220 2221 2127 2226 2227 2207 2209 2180 2194 2163 2208 2181 2196 2197 2193 2198 2166 2228 2164 2179 2210 3308 3309 3312 2697 3280 3285 3272 3274 3286 3275 3277 3276 3283 3279 3282 3287 3288 3310 3284 3311 4130 4122 4126 4128 4084 4078 4069 4082 4074 4066 4116 4072 4144 4142 4158 4138 4163 4154 4152 4148 4153 4156 4146 4140 4161 4143 4151 4139 4159 4135 4125 4120 4157 4150 4123 4107 4077 4124 4131 4105 4067 4081 4127 4129 4119 4070 4058 4137 4145 4167 4155 4165 4075 4115 4073 4133 4132 4083 4117 4097 9475 9474 9476 9473 13015 12987 13000 13102 12998 12984 13009 12999 12993 13105 13129 13021 12980 12988 13016 12992 13005 13103 13006 12978 13114 12983 13017 13008 13111 13019 13004 12979 12991 13108 12989 13113 13001 13014 13112 13010 5374 6489 7024 7025 7022 7023 9523 9524 6645 6521 6497 6520 6522 6574 6523 16503 16502 12015 9478 6224 4034 4306 8566 8561 8568 8586 8579 8596 8575 8608 8597 8676 8574 8663 8578 8607 8601 8674 8567 8613 8570 8602 8662 8580 8641 8614 8585 8675 8560 8588 8564 8587 8609 8565 8595 8569 8576 10057 10076 10068 10064 10073 10060 10070 10065 10072 10063 10074 10069 10071 10077 10058 10062 10067 10059 10061 10075 10066 10100 10092 10097 10089 10087 10085 10096 10090 10095 10101 10088 10099 10115 10117 10118 10120 10093 10098 10053 10044 10046 10052 10041 10051 10047 10043 10050 10055 10054 10039 10042 10049 10121 10114 10119 10122 10123 10110 10112 10107 10111 10109 10086 10081 10084 10082 10091 10083 10094 10036 10035 10037 10048 10045 10038 10040 10021 10019 10151 10029 10144 10141 10028 10154 10152 10034 10135 10080 10102 10128 10056 11526 12544 12542 12541 12533 12550 12543 12549 12540 12530 12537 12539 12220 12529 12528 12536 12538 12535 12573 12568 12557 12560 12556 12567 12558 12569 12574 12572 12565 12554 12564 12571 12566 12562 12563 12570 12561 12559 12555 9007 9006 5717 5716 10015 10009 9701 9472 9463 6548 6549 6547 6524 6546 6550 5707 12622 12635 12642 12626 12638 12624 12627 12633 12637 12629 12631 12641 12639 12623 12636 12630 12625 12634 12640 12628 12632 12548 12547 12545 12546 10113 10104 10116 10106 10108 10103 10105 1055 1054 1070 10018 10153 10127 10129 10150 10030 10140 10149 10025 10012 10132 10079 10016 10134 10142 10147 10008 8978 8976 10137 10125 10014 10146 10133 8977 10011 10020 10148 10145 10078 10136 10022 10027 10017 10033 10026 10139 10024 10138 10131 10126 8979 10023 10013 10143 10031 10032 8973 8974 10010 8975 10124 10130 12994 19042 19016 2938 2918 4830 4810 1431 2937 7075 7074 7055 4788 4829 2946 7096 7097 7077 4808 4807 9546 9545 9544 9543 11501 15100 15115 15101 15104 15106 15108 15110 15107 15109 15096 15113 15098 15114 15105 15112 15095 15102 15103 15097 15111 15099 13101 12612 12605 12617 12620 12595 12596 12589 12579 12582 12593 12604 12600 12616 12607 12608 12606 12614 12586 12592 12577 12587 12581 12601 12603 12613 12610 12588 12591 12590 12584 12594 12583 12609 12615 12585 12576 12580 12602 12611 12618 12619 12578 12653 12650 11500 12553 12656 11496 12658 12621 12648 12575 12643 11493 12651 12646 12644 12599 12597 11494 12645 11498 12657 12655 11499 12659 12647 12598 11495 12649 11492 12654 11497 12652 15197 14532 14530 14531 14528 14527 14510 14525 14529 11262 11396 11338 11349 9300 11352 11309 9277 9290 9280 11305 11356 9291 9276 9282 11344 11298 9302 9294 9281 9305 11297 11358 11357 11295 11308 9301 11348 9278 9285 11341 11290 11294 11333 11340 11337 9288 9298 11345 11346 9286 11353 9296 11303 11306 11300 11292 11360 11336 11359 9270 9304 9284 9003 9287 11343 11347 9299 11287 9297 9002 9295 9001 11307 11351 11342 9000 9293 9283 9004 11350 11289 11339 9269 11354 11325 9279 9307 11301 9289 9303 11296 11355 11286 11302 9292 9268 11335 11827 11828 11825 11791 12534 12531 12532 14001 14002 14004 13979 14003 16501 11830 12024 12023 12047 12044 12046 12048 12045 11834 11836 11835 11833 11992 11995 11994 11993 11999 11794 11793 11397 11829 11792 13900 13892 13884 13889 13903 13909 13908 13910 13894 13881 13907 13888 13901 13911 13913 13898 13885 13912 13883 13895 13906 13896 13887 13890 13882 13904 13899 13914 13902 13893 13886 13897 13891 13905 11520 11523 11788 11521 11789 11519 11787 11522 13831 13830 13880 13879 13829 13781 13862 13844 13868 13822 13860 13869 13826 13864 13858 13825 13871 13828 13859 13813 13863 13865 13817 13852 13820 13819 13811 13873 13808 13866 13816 13815 13814 13855 13861 13870 13872 13857 13875 13821 13867 13805 13856 13806 13874 13827 13876 13824 13854 13809 13877 10304 10303 10301 12819 12820 11998 11991 16405 16428 16415 16412 16419 16410 16424 16425 16413 16423 16404 16427 16406 16431 16418 16416 16432 16426 16421 16430 16407 16399 16411 16400 16408 16417 16420 16402 16350 16433 16349 16401 16398 16403 16422 16409 16414 16429 15196 15195 15194 14045 14044 9691 9690 9560 9692 9693 9574 9593 9594 10157 10158 10156 11977 11978 11974 11979 17093 16564 16563 26342 26343 26346 26348 26345 26347 26323 26358 27781 27782 27784 27787 27775 27783 27641 27660 27663 27770 25122 27771 27647 25142 25128 25245 27779 27785 25265 25263 27777 27666 27769 27768 27764 27774 25125 24815 25134 25132 17711 27772 27773 27766 25256 25248 25246 25252 27658 25133 25124 25135 25261 25146 25141 25247 25147 25140 25143 25249 27665 27780 16871 16872 17092 11171 11197 11168 11155 11156 11154 11169 11117 11198 11142 11183 11170 11143 11157 11153 11196 8167 11946 16348 16395 16389 16392 16387 16381 16373 16393 16377 16385 16371 16390 16391 16382 16388 16383 16375 16380 16376 16379 16378 14308 14042 14306 14040 14307 14041 14038 14039 16394 16396 16397 16384 16386 16363 16341 16336 16340 16335 16328 16343 16374 16330 16339 16345 16344 16333 16334 16327 16338 16346 16325 16324 16347 16332 12679 12823 12821 15339 12818 12690 9697 9698 15198 15338 18958 11945 11943 11906 11898 11908 11907 11944 27662 27767 27776 27786 27659 25268 25262 25251 25266 25264 25260 25250 25253 25145 25255 25258 25257 25259 25267 25254 25130 23228 25129 25127 25126 17042 16868 16867 16832 16831 16435 17714 17715 17713 17706 17707 17708 12677 12675 12676 17578 15190 15191 15192 15059 17588 17709 17710 17705 17703 17589 17704 17701 17702 17590 13749 15159 15158 15143 15156 15160 15149 15152 15157 15144 15150 15145 15161 15154 15148 15141 15155 15142 15153 15147 15151 15146 17037 17036 14580 14581 14582 14583 14468 14467 14466 17094 17031 17033 17032 17030 12822 16497 16522 16523 12815 12816 12698 12817 17050 17051 17046 17049 17047 15120 15130 15129 15123 15131 15126 15137 15128 15125 15127 15124 15138 16876 15139 15134 15135 15133 15122 15132 15136 15119 15121 14410 16932 17700 17698 16830 17565 16829 17048 17044 14020 15173 15171 15172 15066 15181 15183 15063 15185 15179 15182 15070 15180 15187 15069 15184 15071 15062 15067 15188 15189 15052 15065 15061 15170 15072 14014 14019 15174 15178 14013 14015 14018 14011 15177 14016 14012 15175 14017 15176 15169 15068 15064 15060 15186 15671 15494 15493 15508 15621 15513 15517 15502 15498 15535 15630 15510 15525 15624 15503 15518 15506 15520 15533 15536 15527 12691 12683 12697 12692 12696 11854 11853 15528 15512 15648 15529 15499 15534 15622 15497 15524 15633 15507 15627 15523 15519 15511 15632 15538 15631 19082 19083 19081 16987 16988 19027 19036 19039 19041 16521 16520 19033 19031 19038 19030 19034 19028 19026 19037 19022 19040 19021 15078 15075 15082 15073 15093 15077 15089 15080 15085 15091 15087 15074 15076 15079 15083 15088 15084 15081 15090 15092 15086 16929 16931 17592 17610 17594 17593 17599 17608 17609 17611 17597 17606 17601 17603 17604 17612 17600 17605 17595 17598 17596 17607 16986 16562 12209 12065 12079 12212 12210 12211 12072 14579 12064 15491 12208 12207 12089 15342 16300 17568 17567 17577 17576 17258 16508 16509 16514 16507 16512 16517 16511 16515 16519 16518 15336 15337 15334 15335 17012 17017 17015 17016 16984 16928 11629 11628 11605 11606 11608 14043 15209 15216 15215 15202 12063 15210 15217 15341 11600 11590 11604 11603 11594 11597 11598 11593 11595 11602 11601 11592 12169 12177 12161 12174 12166 12176 12173 12164 12171 12175 12179 12162 12168 12178 12167 12180 12170 12181 15333 15326 15328 15329 15331 15330 15211 19025 19018 19035 19032 19029 19017 12083 12087 12082 12081 12080 12088 16513 16510 16499 16516 16506 16498 15046 12058 12059 12214 12215 12369 19020 15489 15490 12163 12172 14578 14577 17566 27654 21302 24544 24651 24545 26373 26372 26511 26908 27120 27126 27165 27166 27119 27128 27127 26944 26943 27789 27790 27791 26907 27489 26615 26614 27667 25123 25131 25270 25272 25271 27490 27765 27778 27661 27664 24493 24495 24502 24501 24538 24499 24503 22293 24539 24540 24497 24541 24498 24500 22292 24496 24494 24489 23050 23081 23181 23086 23085 23190 23245 23093 23178 23097 23095 23189 22134 23084 23184 24483 23187 23067 24439 23090 23188 24442 23063 23179 23070 24446 24485 26952 23057 24484 24441 22135 23091 23205 23092 23080 24445 24444 23054 24440 23082 26376 26609 26508 26385 26509 24087 26386 24095 24089 26573 26379 26388 24092 26599 26610 26607 26606 26608 26612 26611 26384 24088 24090 24607 24608 24609 24606 24604 24603 26425 26382 26389 26380 24091 25148 26424 24093 24096 26422 24094 26613 26510 26381 24543 24488 24486 26423 26506 26383 26387 24447 23234 21297 21300 21301 21299 21298 17581 17582 17571 17579 17587 17580 17586 16539 17086 17084 17082 17083 17062 25139 25144 26598 21912 21319 21318 21317 21316 21315 21314 20558 20541 20546 20540 20555 20549 20557 20545 20537 20550 20532 20536 20556 23824 23827 23828 23804 23829 23826 23823 23816 23833 23834 23832 21312 21313 21296 27762 22752 27758 27759 27761 27763 27744 27754 27749 27748 27750 22753 27760 27743 27751 27740 27742 27755 27746 27741 27736 27737 27756 27753 27739 27752 27747 27757 27738 27745 27678 27679 27703 27711 27692 27688 27708 27672 27674 27686 27713 27682 27671 27691 27702 27683 27705 27696 27701 27697 27685 27693 27669 27689 27694 27680 27695 27670 27684 27681 27675 27700 27707 27712 27687 27676 27677 27690 27710 27673 27706 27704 27698 27668 27709 27699 25234 25236 25235 25237 27716 27730 27729 27731 27725 25168 27715 27732 27728 27734 27714 25213 27724 25189 25215 25188 25190 27726 27719 25214 25191 27720 27735 25167 25166 27733 27723 25212 25169 27727 27722 27717 27721 27718 25228 25226 25231 25233 25229 25232 25211 25187 25165 25206 25185 25183 25161 25160 25158 25209 25204 25180 25163 25164 25182 25210 25207 25186 20233 20234 21153 21295 20232 24080 24079 21278 21249 21266 21284 21237 21267 21254 21265 21200 21911 21910 22751 23814 23672 21310 21285 21304 21308 21309 21305 21307 26596 26597 26574 21904 21903 21210 21235 21248 21223 21214 21167 21220 21221 21148 21212 21224 21251 21283 21241 21217 21234 21560 21561 17857 17858 22129 21908 21913 22130 22080 26594 22090 22128 22083 22127 26577 26592 26585 26595 26578 26582 26591 26587 26575 26590 26588 26593 22754 26589 26586 26583 26579 26584 23991 23969 23985 23970 23955 23964 23990 23968 23973 23907 23979 23989 23982 23957 23980 23988 23967 23960 23958 23983 23984 23986 23906 23981 23987 23963 23974 23971 23977 23961 23966 23976 23978 23975 23965 23962 23959 23956 23889 21864 21865 23885 23890 22095 23898 23920 23945 23937 21597 21868 23905 23882 23901 23897 22096 21473 21907 23953 23947 23931 21598 22125 22093 23950 23954 21596 23896 23895 21595 23942 23948 22126 21337 22094 22097 21334 21333 22092 22098 23938 23952 23887 23884 21905 21870 21906 21869 23893 23904 21335 21599 23935 23892 21863 23902 21336 23930 23891 23903 23900 23939 23936 23881 23951 23944 23940 23325 23815 23324 21320 19610 22616 22747 22748 22607 25194 25241 25216 25243 25193 25170 25244 25192 25242 25239 25240 25238 22611 22613 22614 22615 22612 22606 22610 22608 22609 23933 23934 23932 23949 23946 23928 23943 23941 23972 19382 19384 19385 17645 17640 17653 17643 17654 17650 17658 17648 17646 17641 17638 17651 17647 17657 17642 17656 17639 17644 17649 17652 17655 22749 21909 22745 22618 22617 22619 22623 22625 22624 22621 22626 22622 22746 22620 22744 17716 22605 22737 22739 22742 22743 22740 22738 22741 22604 22296 22628 22627 22100 22124 22120 22123 22099 22121 22122 22896 22898 22899 22755 22895 23045 24420 24423 24422 20167 18190 18954 19351 19387 19350 19386 18952 18951 18950 18949 18868 14148 14147 14124 14125 17856 17855 17853 17854 14631 22079 14632 14653 14654 19058 25227 22696 25181 22650 22718 22672 25172 25218 25217 25230 25219 20174 20176 20168 20173 20164 20163 20166 25159 25184 25173 25171 25162 25149 25151 25150 25225 25220 25223 25224 25222 25221 20165 20172 20171 20175 20177 17848 17850 17845 17843 17852 17849 17844 17847 17736 17728 17837 17839 17836 17834 17735 17730 18867 18865 18866 15598 15618 15589 15597 15609 15588 15595 18953 16910 15596 15600 15591 15610 15582 15611 17840 17841 15593 15594 15585 15606 15608 15616 15584 15605 15601 15614 15607 15583 15592 15587 15613 15604 15615 15602 17842 15586 16828 15603 15612 15599 15590 17717 21535 25179 25176 25174 25178 25177 25156 25157 25152 25154 25155 25175 25153 21558 21559 20169 25205 25197 25196 25208 25195 21536 22669 22676 22668 22667 22664 22666 25201 25203 25199 25202 25198 25200 22670 22671 22716 22717 22715 22652 17085 22661 22663 22714 22646 22648 22649 22647 22713 22710 22712 22645 22644 22642 22736 22629 22735 21576 21569 21575 22733 22731 22734 22732 21574 21571 21577 21568 21573 21572 21570 17734 24054 22709 22707 22641 22639 18819 17851 17846 20159 22603 22723 22721 22724 22730 22722 22720 22727 22697 22728 22725 22688 22691 22690 22695 22694 22693 22692 20170 20158 20157 20162 20160 22674 22719 22673 22675 22651 22687 22685 17738 17061 14584 14730 14731 22659 22657 22665 22658 22662 22655 22653 22660 22656 22726 22729 22637 22638 22634 22704 22705 22702 22636 22706 17721 22684 22683 22680 22682 22654 16892 15928 15934 15931 15938 15937 16891 15923 15929 15935 15925 15932 17729 15926 22677 22689 22678 17833 17572 17575 17573 17570 24067 24056 24068 24065 24070 24071 24063 24059 24075 24077 24078 24055 24060 24069 24058 24073 24064 24066 24072 24074 24076 16529 14729 14598 14727 14726 14608 14728 17569 17574 22027 22679 22686 22681 18607 18463 18608 18604 18605 18606 18482 20131 20130 22698 20097 20228 20084 20229 20230 20090 15340 20125 20120 20188 20118 20191 20140 20126 20183 20186 20194 20117 20161 20193 22630 20152 20199 20153 20198 20150 20151 20139 20142 20197 20122 20141 20147 20148 20187 20119 20196 20144 20115 20195 20129 20145 20127 20123 20137 20128 20185 20149 20190 20227 19348 20099 20225 20105 20101 20102 20104 20098 20226 20100 20103 20223 20221 20108 20217 20218 20220 18010 20219 20222 20106 20107 20109 20224 20214 19056 19057 19052 20209 19055 19051 20210 20206 20205 19050 19054 20110 20212 19053 20207 19049 20216 20213 20215 20211 20208 20203 20204 20178 20201 20202 18008 18009 20236 20377 20375 20373 20374 20376 20372 20247 20255 21547 21556 21540 21544 21545 21552 21548 21551 21537 21553 21550 21555 21549 21554 21557 21546 21541 21539 20154 20156 20155 19349 20369 20367 20368 20371 20256 20370 20257 21117 21119 21123 21121 20982 21124 21125 21126 21122 21127 21118 21120 21003 21002 21001 20993 17271 17272 20132 20200 20113 20086 20094 20087 19777 20085 20096 20088 20095 20091 20092 20089 20093 18474 18603 18602 18599 18595 16721 18597 18600 18484 18598 18596 18601 19791 19790 22711 22700 22631 22699 22701 22635 22632 22703 22643 22633 20116 20181 20135 20527 20529 20709 20528 20235 20114 20124 20111 20121 17695 17697 17694 17696 17591 20112 20143 20189 17693 16985 22708 22640 19536 19531 19535 19534 19509 19532 19533 19609 19571 19564 19608 22088 22085 22084 22089 22086 22082 22087 19573 19607 19579 19578 19606 19576 19574 19575 19577 19605 19602 19601 19604 19581 19603 22071 22069 22070 22077 22076 22078 22068 22075 19077 19078 19076 19344 21363 21365 21366 21372 21368 19079 20726 20566 20548 20567 20565 20571 20574 20715 20573 20551 20562 19615 20535 20670 20561 20572 20563 19616 20531 20544 19504 22081 22759 22894 22766 22893 21282 21211 22773 22891 21930 22767 22774 22892 22768 22772 19450 19448 17035 19773 19774 20362 20358 20356 20355 20352 20351 20353 20363 16930 20366 20364 21416 21415 21413 21450 21442 23857 21446 21448 21460 21440 21469 21466 21437 21388 21387 21436 21456 21453 21451 21464 21454 21452 21438 21465 21459 21439 21470 21468 21471 21472 21412 21420 21423 21417 21418 21421 21422 21419 21414 21371 21435 21377 21432 21381 21427 21383 21409 21379 21373 21431 21425 21424 21411 21376 21378 21382 21428 21430 21362 21401 21384 21370 21385 21434 21433 21374 21426 21386 21429 20254 19410 20248 20253 19411 20240 20249 18447 18444 18457 18451 18459 18442 18448 18456 18454 18445 18453 18450 18458 19048 19047 19621 21115 21112 19586 21116 19592 19526 19594 21005 21109 18955 19600 19598 19529 19239 19046 19525 19524 19585 19589 19527 19044 19530 21114 19596 19045 18987 19015 19583 19597 21007 21113 21004 19587 19514 19584 19593 19599 19591 19528 19595 19590 19240 21110 19588 21006 21111 20184 20180 20182 20192 20179 19043 21458 21447 21443 21445 21461 21449 21467 21444 21457 21462 21441 21455 21463 20134 20146 20138 20136 20133 15325 15324 16532 16536 16537 16534 16530 16538 16535 16531 16533 17637 17689 17688 17684 17659 17613 17681 17687 17683 17685 17583 17690 17692 17636 17686 17635 17691 17699 17682 17584 17585 17665 17672 17677 17668 17679 17670 17676 17680 17674 17663 17662 17661 17675 17667 17673 17664 17669 17678 17671 17666 17660 14733 14734 14888 17614 17630 17618 17628 17625 17634 17624 17633 17622 17617 17632 17623 17631 17615 17627 17629 17616 17621 17620 17619 17626 17602 17249 17102 17250 17103 16559 16560 16557 16558 16825 16644 16667 16646 16565 16643 16666 17081 17079 19395 19447 16720 17153 17218 17197 17199 17219 17177 17196 17150 17151 17131 17246 17247 17245 17248 17127 17101 18869 18917 18918 18847 18849 18846 18844 18853 18945 18943 18926 18927 18938 18920 18942 18941 18923 18947 18935 18946 18925 18924 18948 18932 18944 18929 18940 18939 18936 18930 18922 18937 18919 18928 18921 18933 18931 18934 18863 18904 18882 18857 18899 18903 18909 18894 18895 18914 18858 18859 18907 18896 18905 18902 18910 18860 18855 18864 18897 18911 18890 18892 18898 18906 18913 18915 18912 18916 18854 18908 18862 21338 17117 17080 16528 17066 17070 17067 16995 17068 17071 16468 18593 18591 18590 17078 17073 17077 18592 17005 17008 18485 17074 17064 18486 17076 17075 18594 16496 17065 18487 16525 17007 16527 16526 17006 16436 18488 17010 17011 17009 17069 17072 19568 19569 19570 19565 19566 19567 19563 18025 18180 18181 18173 18042 18177 18176 18178 18012 18182 18174 18170 18196 18179 18016 21929 19622 19769 19768 19772 19771 19926 19764 19636 19766 19765 19646 19767 19620 16524 19556 19555 19554 17097 17096 17407 17252 19551 19549 19550 19552 17253 13413 13420 13419 13410 13409 13404 13416 13418 13406 13412 13415 13407 19644 19918 19637 19639 14601 14602 19629 19799 14606 14599 14600 14607 14591 19919 19921 19640 19920 19793 19792 19925 19923 19922 19645 19638 19798 14413 14465 17110 17120 17119 17125 17126 17121 17118 14548 14201 14202 14552 14550 14558 14561 14557 14560 14562 14549 14551 14547 14553 14559 14554 14476 20976 20970 20967 20975 20969 20978 20964 20972 20966 20973 20977 20963 20961 19775 17401 17399 17402 17280 17279 17400 17274 17403 17273 10300 15053 15050 15049 15047 15048 15057 14739 15054 15058 15051 15056 10299 10171 16645 16669 17223 17238 16719 16718 17243 16668 17129 17244 17241 17237 17240 17239 17242 15320 15317 15315 15318 12216 12217 12365 12366 12368 10902 11976 11952 11975 7026 7174 7173 7027 17255 17254 17406 17404 15164 15168 15162 15163 15165 15094 15118 15167 15140 15117 15166 15116 6599 7086 7089 7084 7090 7085 7088 7095 7092 7091 7087 7093 13995 13998 13983 13999 13988 13997 13991 13984 13980 13989 13996 13993 13982 13992 13987 14000 13990 13994 15055 13675 13661 13673 13674 13676 13702 13662 13672 3543 3506 8532 8531 8387 14046 14127 14658 14677 14678 14720 14719 14718 14721 14722 14723 14724 14725 14610 10888 10894 10885 10887 10897 10899 10890 10896 10901 10893 10900 7078 7082 7081 7080 7094 7079 7083 9373 9374 9564 9569 9568 9553 9570 9689 9688 16079 15955 16086 16083 16081 15944 16089 16088 9541 13446 13565 13569 13562 13558 13568 13567 13570 13561 9542 13564 13436 13560 13566 13444 13425 13559 13557 13563 11838 11890 11038 11047 10925 9680 11051 11041 9164 11039 10906 11050 9687 11042 11043 11049 9681 9685 11044 9686 9572 9684 9683 9682 11048 11040 11045 10917 10927 11046 15965 16082 16087 15963 16085 16084 16080 10891 9561 9562 9563 9427 9375 9424 9425 9389 9426 9397 9422 9423 9392 9391 9390 9398 9399 9393 9380 16076 16078 16077 9565 9566 9567 7020 7176 7021 7177 7331 7178 7179 9559 9547 9548 9550 9549 9558 9377 9379 9378 9376 9387 9388 7051 7172 7170 7171 7169 7041 7049 7043 7044 7045 7034 7050 7042 5723 5729 5627 5722 5727 5709 5589 5625 5724 5708 5710 5713 5726 5588 5715 5586 5731 5712 5730 10302 15313 15314 10686 8408 8406 6998 7000 6992 7001 8523 6990 6935 8528 8525 6997 8411 8412 6989 8522 6644 6452 6451 6392 6643 6642 6592 6448 6641 6617 6594 8514 8519 6932 8515 6929 8518 6569 6593 6640 6450 6449 6420 6919 7002 8517 6931 8529 8527 6988 8530 6995 8520 6994 6933 6930 8398 8516 6996 6934 6993 8521 8524 8409 8526 8410 6999 6991 6360 12041 12042 12043 4757 4879 4760 4878 4774 4877 4876 4414 4422 6852 6010 6012 5921 6013 6011 5910 7327 6908 6856 10160 17176 17174 17152 17175 17212 17211 17217 17208 17216 16632 17209 17136 17144 16568 16635 17202 16567 16628 17207 17204 16641 17205 17215 17206 16631 16640 17201 17213 16630 16638 16629 17210 16636 16637 16634 17143 17142 17141 17138 17140 17139 17203 17145 17214 17195 17179 17190 17189 17185 17191 16639 16566 17133 17149 16633 17200 16642 17178 17181 17192 17180 17187 17184 17188 17194 17183 11529 11527 11491 11683 11682 9615 9616 9540 9539 9372 9087 9086 9008 9319 9371 8971 8972 9089 9110 9109 9596 12203 12206 12202 12205 12091 12204 10179 10297 10296 10298 8378 8374 8380 8372 8381 8366 8377 8369 8368 8371 8375 10173 10164 10172 10178 9335 10177 9334 13878 11490 12069 12071 12076 12075 12077 12078 12073 12074 12200 12201 12199 6851 6814 6850 17148 17134 17147 17132 17135 17146 17137 17166 17162 17159 17157 17168 17193 17186 17182 17158 17170 16670 17222 17173 17172 12113 12093 12112 9850 12115 12135 12134 14612 3249 3248 14634 9846 9847 9849 3586 1876 1880 3570 9105 9092 9103 9097 9090 9102 9095 9107 9106 9096 9099 9098 9101 9100 9104 9108 9091 9074 9081 9011 9077 9078 9009 9010 9084 9085 9083 9076 9072 9079 9082 9080 9071 9075 9073 9452 9508 8879 9453 9511 9438 8970 9513 9514 9510 9519 11035 9515 9451 9450 9520 9516 9521 9449 8911 9162 8939 9448 11036 11037 9507 11034 9161 8968 9518 9512 9522 10929 10931 9163 8969 9454 11033 10930 9517 9509 10928 9112 9111 9088 9113 12110 12111 12094 9033 9029 9021 9018 9022 9042 9041 9039 9036 9025 9038 9028 9020 9019 9040 9016 9024 9030 9035 9032 9034 9027 9017 9031 9037 12156 12157 12158 12151 12155 12153 12147 12159 12154 12150 12139 12132 12133 12116 8967 9069 9135 9134 9114 9128 9125 9126 9123 9132 9127 9117 9129 9133 9116 9122 9131 9124 9115 9121 9130 9120 9158 9157 9137 9150 9145 9154 9143 9156 9147 9149 9138 9151 9155 9144 9139 9152 9148 9153 9598 9609 9599 9597 9601 9606 9611 9605 9608 9613 9603 9602 9610 9604 9612 9614 9600 9607 9093 17163 17160 17165 17155 17171 17154 17167 17161 17164 17169 17156 16653 16662 16651 16663 16657 16660 16652 16655 16647 16659 16654 16648 16661 16665 16658 16664 16649 16656 17231 17229 17230 17228 17227 17234 17236 17225 17226 17235 17198 17220 17221 17224 14699 14700 14680 14049 14114 14118 14120 14110 14048 14113 14047 14115 14123 14122 14121 14111 14117 14119 14109 14112 14116 14146 14145 14139 14142 14132 14144 14140 14136 14143 14137 14138 14135 14134 9140 9146 9026 9023 11528 11596 11530 11599 11591 11430 12027 11630 11681 11969 11971 11677 11676 11654 11631 11680 12032 12035 11488 11968 12039 13449 11398 11458 11632 13447 13448 11487 11972 12028 11957 13555 11489 11607 13552 11967 11973 13450 12036 12037 13556 12029 12034 12038 13553 12033 12031 11970 12040 12030 13554 12026 11656 11633 11653 19648 19762 19759 19747 19754 19750 19760 19763 19748 19761 19756 19744 19749 19745 19758 19746 19755 19753 19757 19162 19695 19669 19670 19693 19691 19187 19692 19189 19671 19188 19237 19238 19694 19738 19718 19163 19084 19740 19739 19717 19743 19716 19741 19742 19737 19164 19715 19733 19723 19719 19152 19724 19721 19732 19086 19151 19156 19147 19154 19155 19161 19149 19158 19157 19150 19159 19153 19148 19160 19087 19726 19736 19085 19722 19735 19728 19720 19727 19725 19729 19730 19734 19731 19696 19672 19650 19701 19699 19711 19708 19707 19697 19705 19714 19706 19676 19673 19675 19713 19704 19681 19677 19680 19686 19679 19688 19684 19685 19687 19690 19654 19652 19712 19702 19709 19710 19703 19698 19700 19667 19662 19651 19663 19653 19689 19678 19674 19683 19655 19665 19656 19668 19657 19661 19666 19659 19658 19664 19660 19682 19177 19183 19172 19182 19180 19174 19167 19175 19181 19178 19179 19176 19168 19171 19185 19186 19165 19166 19170 19184 19173 14128 14129 14141 14133 14130 6667 6646 6666 12097 12102 12108 12148 12146 12145 12143 12100 12101 12117 12118 12126 12130 12121 12127 12119 12131 12124 12128 12129 12125 12123 12122 12105 12096 12106 12103 12099 12095 12107 12098 12109 12104 12120 14149 14150 15967 14009 15969 14704 14008 14706 16073 14199 14713 16072 13917 15968 14023 14711 16075 14010 16071 14026 14611 14027 14715 14708 14717 14712 14707 14006 14709 14710 14126 14151 14655 14633 15966 14200 14007 16074 14714 13977 14716 19233 19220 16714 14152 19211 19190 16671 19215 14173 19207 19230 19228 19208 19200 19227 19232 19223 19222 19204 19201 19196 19209 14195 14175 16694 16715 19195 19199 19212 19221 19231 19216 19219 16691 19224 19210 14196 19197 19206 19202 19191 19193 19235 19234 19213 19236 14172 19225 19214 19218 19226 19229 19198 19205 19192 16692 19203 14675 14676 14659 14667 14666 14660 14664 14661 14671 14668 14672 14665 14669 14663 14674 14673 14662 14670 11589 9070 9119 9142 9094 9159 9136 9160 11486 12140 12149 12142 12141 12152 12144 6742 6741 11620 11613 11623 11619 11616 11611 11614 11622 11624 11610 11609 11621 11618 11625 11626 11617 11615 11627 11672 11651 11661 11650 11674 11642 11645 11643 11638 11640 11649 11646 11663 11666 11664 11675 11668 11669 11648 11652 11673 11671 11665 11641 11657 11659 11670 11662 11658 11667 11647 11644 11635 11636 11639 11634 6688 6689 6669 12218 9699 4200 4201 4229 4228 4203 6365 6391 6418 6419 6393 6390 14703 14705 13949 14656 14657 14005 4175 6804 6813 6803 5711 5714 6802 7671 7669 7682 7670 7680 7674 7675 7672 7678 7681 7683 10182 7679 7677 7667 17759 15220 15240 10202 12721 12701 17753 17747 17746 17755 17748 17751 17745 17757 17744 17750 17754 17758 17756 17739 17760 17832 17783 17831 17784 10187 10197 10189 10199 10224 17772 17779 17768 17769 17777 10194 15262 12743 17782 17778 17776 10190 10200 17780 10193 10198 17770 17761 10223 17781 10191 10188 10186 17775 10201 17767 17766 12723 17773 15242 10196 11678 11679 11655 9695 9696 14701 14679 14702 15225 15227 15228 15239 15231 15234 15238 15237 15226 15235 15312 15241 15265 15264 4665 4648 4656 4657 4649 4650 4658 4655 4668 9585 9583 9581 9586 9587 9582 9584 9592 9591 9576 9575 9578 9579 9589 9588 9577 9580 9590 4654 4667 4666 10219 10213 10208 10210 10221 10216 10215 10211 10222 10218 10220 10212 4763 4761 4772 4762 15229 15232 15236 5004 4884 4883 4900 4902 4903 5001 5002 5003 5000 4909 4901 4908 4470 4424 4469 4423 4261 4260 4202 4467 4468 4446 4445 4426 4448 4425 4258 4471 4259 4472 4230 4447 4653 4651 4652 4764 4773 4355 4404 3822 2771 2719 3774 3823 2888 3785 3821 2793 3820 2795 2796 2794 4402 4401 4378 4403 6690 6714 6734 6713 6692 6738 6668 6740 6736 6739 6691 6737 6712 6715 6735 6693 12165 5988 6007 5992 5985 6000 5991 5986 6009 5999 5929 5982 5984 5983 5975 5974 5993 6001 6008 6003 5998 5994 6002 5967 6005 6004 5997 5989 5990 5987 5931 6006 7062 7069 7071 7066 7073 7063 7072 7070 7061 7059 7064 7067 7058 7068 7060 7057 7065 7056 4756 4755 4991 4999 5996 4987 4996 4994 4988 5933 4995 4993 4912 5995 4998 5932 4990 5935 4170 5266 5275 5273 5274 5372 4549 5370 5281 5279 5371 4548 5280 5373 5934 12196 12198 20303 20302 20258 20278 20279 20350 20277 20280 20300 20301 20299 14644 14636 14635 14639 14647 14637 14650 14643 14638 14649 14646 14651 14642 14648 14652 14645 14641 14640 5005 5008 5007 20273 20264 20267 20276 20269 20272 20274 20265 20266 20270 20275 20263 20292 20295 20297 20286 20287 20294 20285 20298 20296 20291 20288 20289 11897 11895 11896 10683 10678 10685 10680 10681 10677 10676 5664 5637 5650 5651 8158 8166 8165 8164 8159 8162 8161 8157 10684 2505 12189 12190 12192 12191 12193 12197 14625 14613 14630 14623 14615 14624 14619 14618 14617 14620 14626 14614 14621 14628 14627 14629 14622 12137 12114 12188 12186 12184 12187 12136 9678 9671 9673 9674 9679 9672 9677 9670 9666 9668 9618 9669 9665 9595 9619 9617 9667 1631 1630 1636 1635 1632 1634 14686 14694 14683 14693 14682 14689 14691 14681 14688 14697 14695 14684 14698 14696 14685 14687 14690 14616 14692 12182 12160 7328 7330 7162 7166 7163 7164 7161 7165 7053 7168 7159 7160 7158 7167 7180 3690 3761 3762 3767 3697 3770 3696 3755 3768 3753 3756 3758 3769 3764 3759 3765 4874 4875 4784 4777 4767 4775 4783 4778 4776 4782 610 1596 1612 3213 1606 617 1592 1607 1633 1613 1593 3214 3215 1599 12185 12183 12138 3068 3066 3067 3005 2997 3000 3064 3006 2999 2998 3065 4885 3817 3814 3797 3808 4231 2884 2883 3799 3818 3805 3795 2792 3812 3798 3816 3807 3815 3806 3819 3810 3811 3809 3796 3813 2851 3793 7149 7152 7148 7146 7153 7150 7147 7154 7155 7151 7076 7098 7099 7100 5228 5227 5218 1068 1069 1066 1064 1065 1067 2979 3072 2978 3299 3304 3302 3303 3297 3298 3307 3305 3289 3306 3300 3301 1953 1921 1952 2148 2144 2157 2102 2088 984 2246 987 986 988 2101 2119 2217 2092 2216 2084 2146 2154 2145 2110 3269 3271 3268 3270 3273 3281 3278 5190 5188 5189 5200 5192 5197 615 616 614 587 583 584 586 503 1502 2479 2475 2473 566 565 2429 2414 2418 2432 2415 2426 600 402 401 563 564 1614 1605 1615 1604 1616 2413 502 500 582 557 559 558 2185 2082 982 4415 233 524 6561 231 232 510 73 6490 236 234 4343 494 511 235 5225 7584 7594 7589 7587 7597 7585 7586 5224 5221 5222 5223 5220 5219 1495 1494 1499 3010 1497 1498 1496 2474 3023 2485 3015 3011 2482 2471 2488 2470 3020 3013 3012 983 572 576 575 328 329 579 237 267 269 270 1048 585 1500 1046 1045 556 578 580 599 501 495 499 1047 601 1501 574 573 4352 581 1503 1504 560 561 562 1049 3212 3211 3203 5166 5167 5175 5178 5168 577 571 5170 3216 1608 1609 1610 1617 1618 1619 613 612 611 1611 1629 1628 1627 1626 1625 1078 1624 1080 1623 1622 1621 1620 5226  0
434.60/434.62	
434.60/434.62	c Core has size 10633

OK	10633

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3501551-1308042418/watcher-3501551-1308042418 -o /tmp/evaluation-result-3501551-1308042418/solver-3501551-1308042418 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501551-1308042418.gcnf 

running on 2 cores: 4,6

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 4.04 2.68 4/189 25139
/proc/meminfo: memFree=29873216/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=15076 CPUtime=0 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 1156 0 0 0 0 0 0 0 25 0 1 0 34986668 15437824 849 33554432000 4194304 4365125 140737111267552 18446744073709551615 232124079872 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 3769 850 253 42 0 917 0

[startup+0.0400159 s]
/proc/loadavg: 4.00 4.04 2.68 4/189 25139
/proc/meminfo: memFree=29873216/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=17272 CPUtime=0.03 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 3013 0 0 0 3 0 0 0 25 0 1 0 34986668 17686528 1537 33554432000 4194304 4365125 140737111267552 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 4318 1538 253 42 0 1466 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17272

[startup+0.101052 s]
/proc/loadavg: 4.00 4.04 2.68 4/189 25139
/proc/meminfo: memFree=29873216/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=20188 CPUtime=0.09 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 4115 0 0 0 9 0 0 0 25 0 1 0 34986668 20672512 2021 33554432000 4194304 4365125 140737111267552 18446744073709551615 4257301 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 5047 2021 262 42 0 2195 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20188

[startup+0.30104 s]
/proc/loadavg: 4.00 4.04 2.68 4/189 25139
/proc/meminfo: memFree=29873216/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=22488 CPUtime=0.29 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 5004 0 0 0 29 0 0 0 25 0 1 0 34986668 23027712 2663 33554432000 4194304 4365125 140737111267552 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 5622 2663 262 42 0 2770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22488

[startup+0.700958 s]
/proc/loadavg: 4.00 4.04 2.68 4/189 25139
/proc/meminfo: memFree=29873216/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=25372 CPUtime=0.7 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 7803 0 0 0 69 1 0 0 25 0 1 0 34986668 25980928 3353 33554432000 4194304 4365125 140737111267552 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 6343 3353 262 42 0 3491 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25372

[startup+1.50082 s]
/proc/loadavg: 4.00 4.04 2.68 5/190 25140
/proc/meminfo: memFree=29892080/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=46696 CPUtime=1.49 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 27406 0 0 0 146 3 0 0 25 0 1 0 34986668 47816704 7884 33554432000 4194304 4365125 140737111267552 18446744073709551615 4257977 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 11674 7884 262 42 0 8822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46696

[startup+3.10054 s]
/proc/loadavg: 4.00 4.04 2.69 5/190 25140
/proc/meminfo: memFree=29830532/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=117104 CPUtime=3.09 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 60824 0 0 0 303 6 0 0 25 0 1 0 34986668 119914496 18805 33554432000 4194304 4365125 140737111267552 18446744073709551615 4316995 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 29276 18805 262 42 0 26424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 117104

[startup+6.30097 s]
/proc/loadavg: 4.00 4.04 2.69 5/190 25141
/proc/meminfo: memFree=29646596/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=224028 CPUtime=6.29 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 136894 0 0 0 615 14 0 0 25 0 1 0 34986668 229404672 40506 33554432000 4194304 4365125 140737111267552 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 56007 40506 262 42 0 53155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 224028

[startup+12.7008 s]
/proc/loadavg: 4.00 4.04 2.70 5/190 25141
/proc/meminfo: memFree=29616812/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=336268 CPUtime=12.69 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 211936 0 0 0 1246 23 0 0 25 0 1 0 34986668 344338432 58769 33554432000 4194304 4365125 140737111267552 18446744073709551615 4248416 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 84067 58769 264 42 0 81215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 336268

[startup+25.5005 s]
/proc/loadavg: 4.00 4.03 2.72 5/190 25142
/proc/meminfo: memFree=29604524/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=336268 CPUtime=25.49 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 220152 0 0 0 2525 24 0 0 25 0 1 0 34986668 344338432 64031 33554432000 4194304 4365125 140737111267552 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 84067 64031 264 42 0 81215 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 336268

[startup+51.101 s]
/proc/loadavg: 4.00 4.03 2.75 5/190 25142
/proc/meminfo: memFree=29614480/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=51.09 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230991 0 0 0 5084 25 0 0 25 0 1 0 34986668 321269760 61570 33554432000 4194304 4365125 140737111267552 18446744073709551615 4250109 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61570 264 42 0 75583 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 313740

[startup+102.307 s]
/proc/loadavg: 4.04 4.04 2.82 5/190 25144
/proc/meminfo: memFree=29609356/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=102.3 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230991 0 0 0 10204 26 0 0 25 0 1 0 34986668 321269760 61570 33554432000 4194304 4365125 140737111267552 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61570 264 42 0 75583 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 313740

[startup+162.3 s]
/proc/loadavg: 4.06 4.04 2.90 5/190 25145
/proc/meminfo: memFree=29587252/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=162.3 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230991 0 0 0 16204 26 0 0 25 0 1 0 34986668 321269760 61570 33554432000 4194304 4365125 140737111267552 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61570 264 42 0 75583 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 313740

[startup+222.301 s]
/proc/loadavg: 4.02 4.03 2.97 5/190 25146
/proc/meminfo: memFree=29587444/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=222.3 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230991 0 0 0 22204 26 0 0 25 0 1 0 34986668 321269760 61570 33554432000 4194304 4365125 140737111267552 18446744073709551615 4262636 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61570 264 42 0 75583 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 313740

[startup+282.301 s]
/proc/loadavg: 4.01 4.02 3.03 5/190 25148
/proc/meminfo: memFree=29514752/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=282.29 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230991 0 0 0 28203 26 0 0 25 0 1 0 34986668 321269760 61570 33554432000 4194304 4365125 140737111267552 18446744073709551615 4267801 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61570 264 42 0 75583 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 313740

[startup+342.301 s]
/proc/loadavg: 4.00 4.02 3.09 5/190 25150
/proc/meminfo: memFree=29610812/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=342.3 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230992 0 0 0 34203 27 0 0 25 0 1 0 34986668 321269760 61571 33554432000 4194304 4365125 140737111267552 18446744073709551615 4262098 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61571 264 42 0 75583 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 313740

[startup+402.301 s]
/proc/loadavg: 4.00 4.01 3.14 5/190 25152
/proc/meminfo: memFree=29565516/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=402.3 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230998 0 0 0 40203 27 0 0 25 0 1 0 34986668 321269760 61577 33554432000 4194304 4365125 140737111267552 18446744073709551615 4245201 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61577 264 42 0 75583 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 313740

Solver just ended. Dumping a history of the last processes samples

[startup+409.501 s]
/proc/loadavg: 4.00 4.01 3.14 5/190 25152
/proc/meminfo: memFree=29590680/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=409.5 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 230998 0 0 0 40923 27 0 0 25 0 1 0 34986668 321269760 61577 33554432000 4194304 4365125 140737111267552 18446744073709551615 4257533 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61577 264 42 0 75583 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 313740

[startup+422.3 s]
/proc/loadavg: 4.00 4.01 3.16 5/190 25152
/proc/meminfo: memFree=29585464/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=422.3 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 231009 0 0 0 42203 27 0 0 25 0 1 0 34986668 321269760 61588 33554432000 4194304 4365125 140737111267552 18446744073709551615 4249793 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61588 264 42 0 75583 0
Current children cumulated CPU time (s) 422.3
Current children cumulated vsize (KiB) 313740

[startup+428.7 s]
/proc/loadavg: 4.00 4.01 3.16 5/190 25152
/proc/meminfo: memFree=29589432/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=428.7 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 231016 0 0 0 42842 28 0 0 25 0 1 0 34986668 321269760 61595 33554432000 4194304 4365125 140737111267552 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61595 264 42 0 75583 0
Current children cumulated CPU time (s) 428.7
Current children cumulated vsize (KiB) 313740

[startup+431.901 s]
/proc/loadavg: 4.00 4.01 3.16 5/190 25152
/proc/meminfo: memFree=29584964/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=431.9 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 231020 0 0 0 43162 28 0 0 25 0 1 0 34986668 321269760 61599 33554432000 4194304 4365125 140737111267552 18446744073709551615 4242710 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61599 264 42 0 75583 0
Current children cumulated CPU time (s) 431.9
Current children cumulated vsize (KiB) 313740

[startup+433.5 s]
/proc/loadavg: 4.00 4.01 3.17 5/190 25152
/proc/meminfo: memFree=29555948/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=433.5 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 231020 0 0 0 43322 28 0 0 25 0 1 0 34986668 321269760 61599 33554432000 4194304 4365125 140737111267552 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61599 264 42 0 75583 0
Current children cumulated CPU time (s) 433.5
Current children cumulated vsize (KiB) 313740

[startup+434.3 s]
/proc/loadavg: 4.00 4.01 3.17 5/190 25152
/proc/meminfo: memFree=29555948/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=434.3 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 231020 0 0 0 43402 28 0 0 25 0 1 0 34986668 321269760 61599 33554432000 4194304 4365125 140737111267552 18446744073709551615 4262032 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61599 264 42 0 75583 0
Current children cumulated CPU time (s) 434.3
Current children cumulated vsize (KiB) 313740

[startup+434.506 s]
/proc/loadavg: 4.00 4.01 3.17 5/190 25152
/proc/meminfo: memFree=29586204/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=434.51 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 231020 0 0 0 43423 28 0 0 25 0 1 0 34986668 321269760 61599 33554432000 4194304 4365125 140737111267552 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61599 264 42 0 75583 0
Current children cumulated CPU time (s) 434.51
Current children cumulated vsize (KiB) 313740

[startup+434.601 s]
/proc/loadavg: 4.00 4.01 3.17 5/190 25152
/proc/meminfo: memFree=29586204/32950928 swapFree=67111364/67111528
[pid=25139] ppid=25137 vsize=313740 CPUtime=434.6 cores=4,6
/proc/25139/stat : 25139 (MoUsSaka) R 25137 25139 24676 0 -1 4202496 231020 0 0 0 43432 28 0 0 25 0 1 0 34986668 321269760 61599 33554432000 4194304 4365125 140737111267552 18446744073709551615 4249815 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/25139/statm: 78435 61599 264 42 0 75583 0
Current children cumulated CPU time (s) 434.6
Current children cumulated vsize (KiB) 313740

Child status: 20
Real time (s): 434.632
CPU time (s): 434.641
CPU user time (s): 434.35
CPU system time (s): 0.290955
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 442756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.35
system time used= 0.290955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231025
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= 7
involuntary context switches= 662

runsolver used 0.739887 second user time and 1.63575 second system time

The end

Begin job on node124 at 2011-06-14 11:06:59
IDJOB=3501551
IDBENCH=90097
IDSOLVER=2000
FILE ID=node124/3501551-1308042418
RUNJOBID= node124-1308041932-24695
PBS_JOBID= 13564702
Free space on /tmp= 73740 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/pdtvisns2p1.aig.k15.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501551-1308042418/watcher-3501551-1308042418 -o /tmp/evaluation-result-3501551-1308042418/solver-3501551-1308042418 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3501551-1308042418.gcnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 65a69e61d48e095d6e2496ee2e1ff40c
RANDOM SEED=1877068996

node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.71
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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.82
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.855
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.77
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.855
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.82
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.855
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.75
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.855
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.82
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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29874008 kB
Buffers:        222552 kB
Cached:         887804 kB
SwapCached:          0 kB
Active:        2064276 kB
Inactive:       795988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29874008 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            2648 kB
Writeback:           0 kB
AnonPages:     1749196 kB
Mapped:          16800 kB
Slab:           148440 kB
PageTables:       8120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2257300 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= 73740 MiB
End job on node124 at 2011-06-14 11:14:13