0.00/0.01	c MoUsSaka with meat
8.37/8.41	
8.37/8.41	s UNSATISFIABLE
1443.61/1443.69	c Core is minimal
1443.61/1443.69	
1443.61/1443.69	v 10130 17101 18669 20 1446 201 109 204 203 202 206 227 225 772 226 232 231 229 230 205 207 228 200 638 771 773 768 843 846 847 845 4560 769 3280 1848 1847 1846 1858 1806 841 1805 3281 1943 1785 842 1854 761 764 763 760 762 732 730 733 731 1803 1804 1852 1853 1851 1471 1466 1458 1468 1470 1462 1463 1460 1461 1465 1464 1469 1467 1459 1457 1456 775 2626 2624 2623 1483 1486 1476 1485 1484 2640 2637 2639 2641 2638 2633 2620 2564 2635 2629 2634 2621 2622 2643 2563 2632 2619 2615 2618 2613 2617 2614 2616 2628 2627 2636 2642 2651 1534 2625 1945 729 753 752 727 722 721 689 726 725 694 711 710 720 695 718 705 709 702 704 683 712 687 707 686 717 708 703 684 706 685 719 701 174 185 165 147 173 19 164 166 153 186 157 152 168 183 158 191 199 169 148 184 146 175 149 150 188 171 187 172 170 181 167 151 766 767 765 615 636 633 634 678 632 645 644 654 646 614 679 616 631 653 652 759 628 757 617 756 655 755 754 630 603 629 844 1949 840 2649 1547 3283 4647 3191 1842 3284 3285 3282 3286 774 3189 3190 3195 2547 4653 598 4656 4655 4654 4659 7392 7401 6023 10129 8761 8760 3184 3183 3185 1947 21 22 23 1948 770 2574 24 1776 1766 2806 806 1642 1643 837 805 801 838 818 787 814 812 839 789 819 817 1693 1612 2589 2588 2573 2587 2586 2584 2579 1532 2575 2577 1611 3040 1823 1824 1702 1676 1689 1706 1701 1688 1707 1677 1616 1703 1619 1658 1614 1624 1659 1620 1618 1613 1623 1617 1625 1626 3182 3181 1610 26 1690 778 777 808 786 785 811 810 781 809 779 799 782 836 803 804 780 607 783 807 784 1608 1609 1700 1698 1691 1697 1695 1696 676 651 1705 1622 1942 1704 1750 1752 1751 1699 1765 627 1621 1855 1856 1857 744 743 741 749 751 737 746 738 745 750 742 739 736 747 601 599 602 3039 3193 3194 1797 610 611 608 612 1733 190 1845 189 3187 2576 690 688 643 813 606 1472 637 788 609 800 748 1692 1844 758 605 1753 1944 1830 1834 1840 1841 1831 1833 1839 1832 1837 3287 3288 3289 3290 1734 3292 6025 6024 6026 18923 18922 18921 11498 12867 11499 12868 18924 18834 18835 1838 1533 1445 1809 677 724 635 1850 1843 182 728 2630 3192 1784 1946 2631 740 2578 14237 18706 18788 18792 18791 18789 18787 18790 18786 15605 15606 14139 14140 13465 14236 18813 18845 18859 18883 18852 18826 18861 18907 18896 18902 18836 18887 18894 18900 18844 18843 18899 18849 18855 18846 18890 18833 18904 18839 18884 18829 18897 18895 18898 18857 18882 18906 18822 18819 18820 18817 18821 18814 18939 18909 18920 18931 18911 18930 18938 18918 18927 18933 18925 18936 18935 18838 18802 18860 18842 18801 18800 18913 18934 18937 18705 18809 18858 18805 18810 17571 18807 18811 18940 18856 18806 17570 16975 18816 18841 18840 17538 18599 18668 18704 18667 18665 18666 18604 18602 17337 17526 17525 17527 17531 17528 17530 17529 17533 17535 17537 18429 18427 18425 18426 18446 18445 18431 18430 18614 18474 18424 18455 18435 18549 18450 18476 18475 18432 18369 18454 18576 18551 18541 18547 18417 18511 18402 18397 18615 18420 18422 18400 18508 18513 18523 18524 18526 18525 18538 18537 18360 18573 18545 18544 18543 18542 18444 18433 18434 18437 18436 18439 18438 18441 18442 18440 18428 18443 18579 18548 18550 18451 18578 18581 18577 18546 18452 18449 18448 18574 18453 18447 18580 18575 18572 18818 18837 18636 18663 18633 18629 18611 18640 18664 18635 18637 18634 18613 18642 18639 18608 18641 18628 18638 18616 18632 18914 18803 18808 18793 18799 18804 18926 18928 18929 18915 18932 18871 18539 18529 18540 18618 18619 18528 18527 18630 18621 18530 18631 18620 17521 14251 18416 18414 18505 18421 18380 18401 18394 18357 18456 18512 18399 18510 18370 18398 18477 14579 17317 17413 17429 17569 17568 17567 17565 17561 17566 17564 17563 17560 17562 13431 17518 17469 17466 17465 16989 16974 18815 17473 15657 15620 18363 18364 18367 18368 18365 18366 18716 18719 18718 18715 18785 18711 18714 18712 18713 18812 18710 17460 17488 17464 17477 17475 17490 17486 17467 17470 17480 17474 17483 17515 17492 17476 15968 15948 15974 15971 15973 14800 18507 15975 15950 15956 15612 15959 15964 15957 16087 15955 16085 16086 15932 15958 15949 16090 15962 15976 16074 15952 15947 15961 15981 15979 15978 15980 15977 15954 15951 15905 15965 15611 15963 16094 15953 15960 16117 16111 16114 16123 16119 16121 17420 17422 17421 17417 17418 17419 17423 16156 16149 16152 16158 16157 16159 17336 17252 18679 18673 18676 18552 18680 18682 18684 18681 18683 18582 18600 18603 18795 18797 18796 18703 18701 18698 18798 17248 17247 18686 18509 18413 18356 18418 18415 18419 18678 18677 18601 18597 18343 17347 17345 17346 17343 17344 17342 17334 17329 17332 17348 17350 17349 17080 17074 17079 17078 17076 17077 17075 17335 17341 17328 17326 17327 17331 17330 17333 17559 17267 17263 17266 17260 17264 17259 17265 17271 17273 17272 17270 17269 17268 17443 17444 18358 17082 17081 17086 17084 17083 17085 17102 17158 17159 17104 17107 17106 17105 17103 17514 17048 17028 17087 17108 17136 17172 17168 17169 17157 17156 17174 17176 17173 17175 17205 17211 17155 17182 17210 17209 17206 17246 17177 17245 17178 17139 17261 17181 17144 17208 17249 17207 17142 17212 17179 17251 17250 17171 17161 17180 17160 17170 17472 17445 17448 17446 17451 17471 17452 17450 17453 17449 17447 17457 17468 16169 17513 17300 17299 17297 17298 17296 17230 17233 17235 17295 17294 17239 17244 17242 17071 17062 17056 17061 17058 17060 17069 17070 17072 17073 17057 16991 17000 17055 17524 17520 17031 17051 17053 17033 17163 17164 17143 17154 16201 17416 17204 17203 17254 17255 16988 17489 17491 16060 17324 16977 16976 16980 17325 17503 16190 16198 16199 16195 16197 16191 16164 16194 16162 16161 16189 16196 16192 16160 16166 16193 17340 16100 16096 16168 16200 17432 17437 17479 17441 17442 17438 17433 17431 17436 17485 16105 16101 16098 16107 16108 16106 15608 15607 16095 16091 17459 17023 17022 16984 17006 17008 16990 17005 17019 17020 17021 17007 17024 17002 17018 17017 16050 16048 16051 16054 16049 16052 16053 17003 17456 17229 17440 17312 17412 17313 17315 17314 17311 17288 17068 17010 17067 17009 17183 17213 17228 17284 17516 17556 17558 17557 17478 17484 17399 17089 17148 17166 17227 17153 17225 17339 17151 17411 17258 17257 17224 17226 17352 17351 17353 17027 17428 17546 17427 17555 17501 17301 17454 17455 17504 17463 17407 17405 17408 16097 16104 15788 15787 15883 15813 15811 15812 15943 15942 15888 15887 15880 15945 15946 15944 15807 15805 15802 15801 15806 15800 15798 15797 15804 15714 15716 15715 15791 15717 15786 15803 15792 15790 15799 15713 15879 15808 15809 15810 15795 15796 15794 15793 15785 15898 15897 15896 15895 15844 15814 15889 15967 15901 15969 15904 15902 15903 15970 15900 15899 15860 15784 15779 15782 17410 17415 17498 17482 17495 15861 15866 15864 16120 16118 16122 15769 15877 15882 15878 15876 15770 15775 15773 16089 16099 16103 16093 16080 16078 16077 16079 16092 16082 16076 16075 16083 16081 16084 15886 15885 15884 15890 15892 15894 15893 15891 15881 15789 16063 16072 16068 15870 15875 15873 15712 15711 15669 17132 17043 17129 17134 17130 17095 17091 17093 17135 17041 17133 17128 17090 17131 17094 17092 17038 17088 17167 17012 17054 16064 16073 16069 15708 15707 15679 15659 15709 15710 17194 17285 17195 17196 17197 17223 17287 17286 15621 15691 15689 15687 15692 15688 15693 14832 15690 15631 15686 15622 15629 15628 15626 15630 15702 15703 15705 15706 15704 15649 15648 17357 17396 17397 17398 16187 16188 16202 17193 17310 17064 17065 16998 16997 16996 16993 16994 16995 16992 16999 17522 17523 17487 17502 17354 17355 17509 17554 17552 17553 17494 17274 17401 17316 17318 17497 17500 17510 17549 17544 17409 17402 17403 17511 17481 16981 17507 17406 17404 17512 17542 17551 17540 16978 16979 16044 16059 16186 16058 16177 16185 16184 15854 15828 15827 15825 15824 15857 15739 15855 15856 15837 15841 15839 15842 15838 15840 15928 15931 15930 15929 16042 15836 15927 15926 18396 18359 16047 16143 16146 16144 16145 16134 16142 16135 16141 16039 16041 16036 15650 15653 15655 15654 15651 15652 16046 15917 15826 15834 15858 15925 15924 15922 15916 15736 15923 15835 15718 15767 15843 15849 15738 15737 15941 15918 15919 15915 15940 15859 15939 15938 15935 15934 15937 16140 16045 15766 15763 15762 15761 15764 15760 15759 15765 15830 15829 15831 15821 15832 15823 15833 15818 15658 16113 16110 16116 16071 16067 16062 16138 15920 15921 15735 15912 15909 15914 15734 16040 16038 16033 16037 16034 16035 15610 15609 16032 18598 16125 16137 17358 17360 14833 17519 16129 16126 16132 18362 15641 15633 15768 16115 16112 16109 17309 17307 17426 17304 17308 15972 15966 13062 12954 13146 13148 12971 12963 13065 13057 13358 13362 12877 13230 12062 13155 13364 13154 13075 13160 13105 13072 13068 13152 13456 13455 13453 13454 13458 13414 13000 13147 12998 13056 13420 13138 12972 12973 13426 12962 12949 12920 12999 13321 13074 13099 13193 13207 13073 13166 13161 13192 13070 13142 13163 13206 13067 13143 13145 13144 13311 13315 13313 13102 13205 13132 13066 13159 13100 13156 13165 13190 13312 13316 13310 13314 13103 13158 13069 13101 13162 13157 13164 13122 13208 13359 13366 13361 12977 12958 13365 12967 13063 13064 13054 13032 13150 13149 13035 13151 13139 12931 13052 12969 12997 13048 13055 13026 13027 13140 13141 12979 12976 12950 12957 13059 12974 12965 12953 12893 13049 12964 12978 13041 13051 13053 12970 12955 12975 12961 13061 13028 13050 13047 12921 13126 12901 12903 13123 13128 12884 12882 13306 13410 13430 13428 13423 13421 13422 13424 13419 13418 13459 13448 13451 13449 13452 12980 13031 13044 13046 13029 13191 13304 13025 13023 13022 13024 13153 13333 13329 13334 13330 13380 13121 13106 13305 12902 13396 15853 15852 16130 16124 16127 13463 16128 16131 15638 15637 15636 14792 14789 14788 14791 14793 14787 14783 14780 14790 14799 14795 14797 14721 14775 14821 14822 14820 14737 14752 14748 14742 14726 14754 14750 14722 14739 14738 14719 14745 14702 14698 14693 14252 14580 14583 14678 14682 14585 14680 14675 14612 14604 14705 14610 14606 14608 14611 14607 14609 14771 14774 14718 14773 14772 14770 14599 14766 14717 13320 13447 13445 13446 14831 14829 14830 14827 14823 14826 14825 14828 14824 14728 14532 14504 14508 14506 14526 14530 14529 14525 14574 14524 14534 14522 14576 14575 14527 14531 14533 14559 14562 14561 14472 14433 14349 14404 14315 14253 14442 14295 14280 14344 14281 14428 14488 14429 14489 14427 14400 14487 14425 14262 14441 14435 14279 14293 14305 14303 14345 14285 14444 14439 14300 14474 14511 14286 14422 14343 14423 14436 14283 14416 14430 14284 14424 14438 14421 14512 14401 14418 14289 14437 14406 14290 14431 14342 14573 14690 14597 14403 14405 14516 14556 14513 14475 14546 14572 14514 14674 14517 14490 14510 14509 14274 14367 14364 14366 14368 14269 14268 14468 14369 14471 14486 14413 14415 14469 14445 14470 14410 14520 14365 14519 14598 14755 14758 14485 14761 14460 14408 14409 14407 13437 13444 13442 13435 13433 11794 11796 11791 11936 12048 11859 11837 11863 11788 11935 11862 11776 11865 11836 11838 11839 10725 11860 11876 9324 10144 11875 10472 10384 11856 11550 11872 11874 11947 11943 11946 11944 11873 11867 11869 11945 11792 11789 11823 11858 11866 11864 11937 11853 11824 11822 11797 11790 11821 11795 11793 12027 11942 11870 11868 11871 11941 11953 11841 11753 11551 11662 11513 10693 12057 12091 12093 12085 12084 12087 12086 12934 13071 13450 12960 13137 13384 13325 13324 13001 12061 13104 12966 12951 13060 12092 13210 12968 12924 14528 14346 14557 14282 14443 14310 14729 14521 14313 14473 14501 14684 14402 14560 14348 13322 12948 13409 13413 12059 11861 13382 13457 12936 13135 13058 13037 14523 14558 14341 14340 14681 14370 14426 14347 14440 14261 14683 14706 14603 14691 14535 14679 14732 14432 14420 14507 14577 14419 14605 14736 14685 14398 14434 14417 6319 6346 6316 6318 6312 1398 1394 1401 1400 1399 1404 1403 1402 1386 1213 1295 1296 1289 1290 1292 1294 1291 1293 1300 1383 1385 1317 1301 1377 1358 1355 1210 1352 1302 1376 1327 1329 1391 1388 1387 1328 1286 862 1190 2545 3301 2513 1406 1408 1410 1411 2397 2393 2396 2392 2398 2292 2461 2431 2458 2455 2322 2324 2320 2323 2318 2429 2321 2325 2319 2463 2465 2467 2418 2430 2386 2404 2395 2394 2391 2389 2390 2478 2484 2486 2488 2479 2485 2487 2502 2500 2504 2544 2512 2539 2537 2536 1442 1441 2508 2538 2535 2510 2503 2506 2505 2496 2533 2534 2540 2543 2541 2493 2490 2489 2501 2542 2310 2315 2466 2440 2441 2317 2316 2403 2492 1964 2405 2410 2521 2468 2442 2293 2296 2439 2445 2449 2435 2450 2452 2451 2082 2385 2114 2119 2117 2202 2130 2201 2200 2129 2298 2080 2081 1987 2058 2060 2059 2061 2056 2057 2018 2016 2013 2083 2482 2111 2062 2309 2304 2308 2307 2181 2180 2152 2146 2145 2134 2182 2184 2136 2135 2139 2137 2147 2150 2151 2148 2138 2155 2149 2157 2156 2153 2154 2133 2144 2132 2131 2143 2142 2140 2141 2128 2183 2186 2187 2185 2123 2126 2042 2269 2272 2270 2188 2178 2034 2043 2113 2274 2041 2179 2273 2275 1975 1966 2271 2406 2457 2460 2454 2415 2447 2448 2444 2158 2432 2411 2443 2446 2419 2427 2420 2428 2246 2244 2242 2243 2245 2247 2241 2248 2233 2224 2240 2239 2231 2232 2217 2238 2237 1959 2289 2288 2287 2204 2290 2286 1382 1384 1374 1368 1367 1370 1371 2268 2266 2267 2380 2383 2220 2312 2297 2017 2425 1977 1985 2203 2426 2414 2409 2399 2221 2416 2417 2234 2235 1984 2079 2412 2413 2408 2228 2229 2230 2110 2223 2222 2108 2171 2170 2107 2109 2169 2172 2105 2104 2106 2423 2199 2066 2464 2029 2068 2064 2069 2065 2434 2388 1982 1980 1983 1981 1965 2438 2063 2481 2214 2219 2047 2226 1437 1432 1434 1435 1436 1439 1438 1431 1440 1433 1359 1343 2384 2225 2236 1348 1347 1349 1356 1353 1350 2314 2311 2227 2052 2049 2046 2036 2051 2035 2053 2055 2048 2054 2050 2037 1365 1361 1363 2261 2008 2028 2006 2003 2023 2026 2387 2120 2124 2127 2125 2122 2121 1220 1222 1217 1219 1218 1288 1278 1283 1281 1373 1316 1216 1223 1221 2216 2218 2212 2213 2215 2211 2009 2011 2010 2012 2313 2402 1999 1215 2433 1443 2078 1202 1205 1207 2530 2532 2531 1998 1993 2002 1969 2103 1997 1995 1973 1974 1970 1972 1971 1996 1994 1338 2374 2511 2509 2070 2529 2528 1196 592 2527 2326 2375 1429 1430 2039 2030 2038 2040 2015 2014 2033 2044 2045 2032 2031 2256 2253 2258 2491 2259 2025 2024 2004 2005 2264 2265 1963 2116 2115 2118 2263 2260 1967 1968 1144 1145 1142 1143 1052 1051 1049 1050 1141 1053 1015 1017 1086 1102 1011 1082 1173 1171 1083 1045 1029 1140 1042 1054 1028 1055 1030 1044 1146 1048 1123 1137 1122 1041 1012 1034 1047 1139 1046 2372 2371 2373 1076 1009 1128 1078 1037 981 1077 1036 1079 1168 1081 1172 1027 1085 1080 960 1118 1084 1170 1167 1127 1035 1126 2347 1978 2173 2174 2177 2176 2175 1992 2112 2075 2071 2073 2072 2074 2401 2077 2076 2342 2369 2370 2368 2366 2365 2367 2345 2343 2162 2165 2167 2198 2067 2477 2364 2469 2262 2329 2330 2168 2327 2328 2337 2340 2338 2285 2284 2495 2332 2205 2208 2210 2519 2437 2436 2206 2209 2207 2424 2422 2421 2283 2282 2470 2279 1031 1043 1032 1033 980 957 978 955 958 979 954 959 956 900 1073 1038 1074 1075 1067 1069 1070 1068 2518 952 951 949 931 953 950 935 906 904 901 1284 1211 1212 1287 1285 1156 977 1154 1040 1039 1151 1065 1071 1072 1026 1024 1021 1063 1060 1066 1225 1135 1124 1112 1134 1115 1117 1136 1125 1120 1132 1103 1101 1108 1106 1119 1133 1121 2474 2476 2475 2483 938 941 1007 1375 974 975 968 972 976 973 1214 1208 1186 1184 1188 1187 1185 1299 1209 1298 1271 1272 885 1061 1062 1057 1149 1155 1152 1148 1153 1150 965 859 967 966 907 857 858 971 940 908 915 910 1005 1003 878 913 911 916 914 909 912 894 937 1006 875 1008 1004 1002 896 891 897 895 893 1182 1183 2520 2459 2456 2453 2499 1162 1131 1165 1129 1163 1166 1164 964 1418 2350 2363 2362 2348 597 863 969 970 1342 1332 1336 1389 1390 2472 2407 2462 1380 1130 1159 1059 1064 1058 1224 2473 2507 3725 3629 3649 3655 3662 3660 3654 3733 3732 3728 3730 3652 3659 3755 3639 3644 3734 3640 3638 3646 3645 3641 3657 3643 3642 3815 3814 3656 3735 3637 3636 3731 3729 3658 3661 4734 4765 4738 4756 4744 4746 4749 4754 4762 4750 4993 4757 4991 4992 4994 4952 4950 5108 4951 4853 4856 4817 4860 4944 4948 4927 4912 5107 4909 5158 4809 4812 4810 4704 6383 6307 6308 6296 6343 6344 6315 6295 6313 6309 6348 6311 6314 6345 6320 6299 6300 6321 6310 6317 6342 6347 6511 6155 6091 6212 6205 6502 7869 7884 6586 7909 7907 6477 6579 7836 7867 6199 5217 6578 6386 6581 7868 6577 6277 6380 6114 6533 6110 6384 6476 7905 6385 6479 6106 6216 6503 6302 6203 6215 6583 6365 6225 6617 6576 6382 6229 6616 6221 6132 6115 6154 6130 7833 6104 8812 6045 6118 6086 6128 6042 6615 6107 6562 6153 6184 6574 6507 6566 6471 6466 6397 6393 6392 6491 6122 6303 6222 6111 6156 7896 6220 7880 6389 6134 6125 6131 6044 6072 7861 7838 7835 7839 7858 7895 7859 7873 7766 6186 6226 6228 6585 6390 7834 7894 7875 6116 6468 6047 6089 6213 6108 7876 6377 7764 7849 7854 7881 7837 7878 7850 7763 7767 7891 6396 6465 6109 6394 6224 6112 6070 6124 6075 7892 7862 7903 7865 7765 7761 6527 7879 6504 7887 6464 6398 6391 6461 6467 6470 6388 7762 7897 7840 6563 6214 6039 6294 6293 6129 6103 6135 6074 6126 6113 6304 6306 6469 6395 6227 6569 6506 6230 6561 6573 6223 6530 6133 6121 6071 6201 5249 6043 7893 7855 6575 6217 6123 6046 7760 8775 7759 7900 6127 6305 6204 6105 6048 7877 6387 7870 6211 6117 7754 7860 7874 6531 6495 6485 6536 6484 6534 6481 6524 6508 6512 6513 6492 6480 6505 6525 6489 6501 6535 6498 6475 6514 6496 6500 6493 6537 6522 6518 6519 6515 6488 6520 6490 6516 6486 6521 6528 6494 6538 6497 6517 6523 6499 4845 4740 4736 4741 4737 4689 5216 5100 5102 5099 5098 5101 4763 4760 4747 4706 5019 5133 5134 4990 4989 4735 4858 4857 4859 4945 4937 4861 4943 4684 4808 4722 4928 4936 4712 4743 4678 4739 4705 4717 4668 4846 4761 4908 4930 4854 5016 5092 4837 4752 4753 4748 4759 4674 5097 5096 4676 4675 4755 4764 3850 4852 4707 4813 4811 4669 4690 4680 4855 5015 3882 4688 4687 4814 4681 4720 4751 4770 4758 4710 5135 4914 4926 5025 5023 5022 5024 5027 4946 5026 5029 5028 4947 4949 5018 5017 5122 4931 4677 4679 4673 4940 4838 5161 4901 4902 5021 5014 5020 4921 4918 4929 4923 4849 4851 4905 4850 4839 4903 5181 4906 4904 4840 5136 5146 5139 5155 5153 5162 5171 5167 5165 5169 5149 5143 5123 5159 5164 5156 5154 5144 4862 4892 4769 4767 4768 4935 4941 4942 3748 3832 3653 3741 3724 3777 3756 3739 3740 3738 3648 3828 2523 2525 2522 2524 2526 4898 4875 4876 4666 4897 4732 4874 4963 4907 4727 4730 4978 4976 4979 4807 4977 4663 4899 4900 4691 2515 2471 2514 2517 2516 4665 4664 4733 4873 4896 3610 3608 3606 3607 3582 3580 3585 3581 3583 3486 3519 3563 3324 3577 3609 3576 3579 3578 3611 3521 3520 3490 3302 3518 3517 3515 3516 3491 3489 3584 3488 3493 3492 3494 3522 3524 3523 3485 3487 3541 3651 3557 3450 3785 3749 3778 3781 3568 3569 3570 3561 3562 3716 3715 3718 3721 3717 3719 3722 3714 3720 3713 3727 3419 3417 3418 3525 3571 3572 3564 3575 3573 3574 3558 3397 3398 3395 3393 3394 3396 3551 3554 3556 3647 3314 3317 3320 3321 3318 3322 3319 3723 3600 3476 3475 3448 3566 3567 3650 3598 3624 3627 3626 3625 3399 3420 3565 3597 3466 3623 3474 3509 3620 3621 3619 3622 3465 3472 3482 3473 3460 3463 3484 3483 3479 3470 3477 3471 3478 3599 3333 3330 3334 3331 3332 3336 3335 3329 3303 3312 3416 3369 3368 3560 3538 3539 3537 3536 3367 3353 3467 3469 3468 3345 3340 3386 3387 3384 3381 3373 3372 3391 3379 3371 3380 3441 3505 3442 3443 3446 3444 3445 3447 3382 3383 3389 3363 3374 3392 3385 3388 3559 3311 3481 3370 3480 3343 3365 3360 3390 3377 3376 3355 3350 3617 3540 3495 3596 3456 3451 3542 3545 3547 3362 3361 3359 3358 3356 3364 3357 3454 3618 3535 3532 3534 3533 3531 3507 3508 3529 3530 3616 3544 3543 3546 3337 3299 3323 3455 3313 3341 3342 3344 3453 3452 3366 3294 3295 3298 3296 3297 3403 3402 3400 3401 3836 4835 4836 4815 3506 3742 3747 3837 4934 4933 3603 3604 3605 4938 4939 3406 3405 3415 4843 4827 3726 4842 4832 4830 3404 3407 3806 3809 3510 3514 3511 3593 3601 3595 3590 3602 3635 3630 3634 3633 4844 3438 3437 3436 3439 3440 3434 3435 4700 4699 4702 4701 4703 4698 4696 4697 4686 4685 3858 3829 3857 3865 3876 3875 3872 3868 3866 3869 3867 3803 3799 3801 3631 3613 3628 3293 3586 3632 3414 3411 3412 3413 3881 3880 3879 3870 3871 3873 3874 3877 3878 4787 4925 4891 4890 4766 4821 4818 4823 4670 4805 4806 4889 4774 4834 4833 4872 4786 4784 4785 4783 4672 4996 4887 4885 4886 4888 4884 4804 4848 4847 4671 4803 4661 4662 4800 4802 4801 3771 3775 3768 3766 3767 3743 3752 5091 4772 4773 4816 4667 4982 4883 4882 4879 4782 4869 4871 4878 4881 4880 4877 4866 4779 4778 4781 4776 4780 4968 3864 4682 4692 4693 4771 4711 4708 4709 5106 5090 4924 4967 4975 4988 3351 3352 4792 4795 4797 3504 3502 3513 3499 3512 3409 3449 3833 5104 5105 3797 3794 4986 4983 4987 4796 4794 4793 4895 4894 3796 3793 3849 3847 3845 3843 3842 3841 3839 3840 3838 4822 4966 4985 4965 5224 5225 4964 4984 5095 5084 5089 5087 5094 5182 4973 4974 5002 5000 4997 4998 4953 4660 5001 4980 4995 4999 5093 4713 4716 4715 4714 4719 4718 4721 4972 4960 4962 4969 4957 4971 4970 5195 4819 4820 5231 4728 4724 4723 4726 4725 4729 4731 4788 4789 4790 4791 5077 5075 5076 5078 5030 5013 5011 5008 5031 5145 5073 5072 5074 4824 4825 4826 5069 5070 5071 5041 5044 5042 5046 5032 5068 5138 5142 3863 3854 3852 3856 3861 5179 5119 5157 5118 3791 3790 3830 3826 3827 5006 5010 5012 5007 5004 5005 5009 5003 3813 3819 3821 3810 3822 3824 3816 3823 3807 3825 3812 5037 5036 5039 5148 3339 3308 3310 3306 3309 3307 3304 3555 3305 5152 3315 3780 3786 3782 3788 3787 3789 3795 3792 3798 3802 3800 3804 3776 3772 3779 3769 3750 3764 3763 3757 3765 3762 3760 3745 3754 3744 3753 3751 3811 3711 3665 3663 3664 3667 3666 3709 3710 3300 3708 3549 3552 3550 3553 3548 3670 3671 3669 3672 3707 3500 3503 3498 3501 3496 3497 3326 3737 3325 3835 3834 3831 3862 3784 3808 3805 3759 5163 5160 3354 3348 3349 3346 3347 5237 5235 5236 5233 5232 5199 5239 5238 5248 5247 5230 5226 5227 5229 5228 3761 3705 3674 3677 3706 3675 3704 3679 5189 5180 5214 5183 5212 3702 5234 3703 7954 7935 7942 7938 7946 7945 7952 7948 7944 7947 7950 7943 3701 3612 12040 17323 17321 11940 11939 11835 11812 11820 11847 11938 11842 11952 11989 11990 12082 12083 12044 12080 11967 11968 11950 11951 11997 12079 11993 12073 12070 12078 12076 12068 12064 16088 18717 9356 11775 11782 11786 11787 11785 11781 11706 11704 11705 11774 11780 11770 11772 11773 11783 11771 11784 11769 11703 11672 11701 11702 11675 11677 11668 11666 11736 11630 11628 11631 11629 11730 11732 11731 11733 11734 11735 11729 11728 11727 11721 11719 11720 11726 11724 11725 11615 11509 11508 11536 11534 11510 11627 11619 11626 11625 11833 11923 11531 11530 11532 11533 11616 11618 11617 11623 11624 11621 11751 11749 11750 11659 11656 11655 11654 11658 11657 11747 11763 11766 11768 11748 11754 11759 11663 11757 11612 11614 11526 11613 11578 11811 11810 11832 11831 11622 11620 11529 11809 11608 11610 11606 11609 11605 11607 11698 11697 11699 11700 11718 11711 11716 11778 11779 11777 11598 11602 11599 11603 11601 11600 11604 12026 11524 11522 11517 11518 11521 11523 11520 11519 11515 11548 11516 11562 11506 11683 11684 11685 11507 11547 11545 11543 11546 11542 11544 11877 11557 11552 11590 11583 11592 11579 11589 11591 11690 11689 11691 11587 11586 11580 11596 11687 11678 11588 11686 11688 11514 11565 11692 11572 11597 11681 11695 11696 11693 11585 11682 11593 11567 11581 11582 11680 11577 11575 11694 11595 11594 11679 11584 11555 11834 11828 11707 11737 11752 11808 11556 11948 11920 11921 11922 11963 11670 11671 11954 11958 11959 11709 11710 11708 11669 11554 11553 12043 12046 11878 11879 12047 11845 11512 11660 11632 11611 11714 11558 11717 11722 11723 11566 11563 11564 11561 11559 11560 11919 11541 12023 12017 12020 11527 11992 11996 11881 12066 11652 12075 11653 12077 12081 12883 10614 10495 10503 10501 10505 10500 10599 10610 10611 10620 10621 10605 10600 10607 10608 10603 10606 10615 10612 10638 10584 10619 10641 10631 10632 10625 10504 10492 10502 10497 10498 10598 10629 10635 10630 10622 10596 10595 10592 10588 10591 10587 10597 10593 10624 10628 10643 10647 10645 10484 10487 10489 10634 10640 10637 10646 10644 10642 10576 10572 10575 10682 10681 10683 10577 10578 10574 10680 10573 10336 10449 10453 10452 10567 10450 10365 10337 10454 10361 10451 10364 10334 10566 10359 10360 10328 10335 10363 10329 10358 10362 10366 10333 10332 10331 10367 10455 10330 10293 10303 10182 10181 10685 10688 10690 10684 10692 10686 10427 10424 10422 10491 10428 10419 10421 10426 10420 10423 10425 10490 10193 10316 10299 10325 10315 10326 10297 10327 10350 10351 10443 10724 10722 10716 10723 10718 10717 10721 10720 10719 10715 10240 10241 10238 10239 10399 10405 10394 10404 10407 10397 10442 10441 10440 10352 10260 10259 10261 10262 10246 10190 10191 10192 10196 10198 10179 10174 10157 10176 10141 10167 10139 10175 10173 10140 10178 10189 10220 10210 10247 10214 10146 10223 10218 10222 10221 10160 10148 10219 10155 10151 10153 10258 10154 10250 10149 10150 10249 10237 10313 10236 10417 10416 10418 10306 10308 10145 10381 10382 10380 10235 10228 10215 10229 10233 10232 10314 10227 10216 10234 10217 10231 10211 10230 10213 10212 10226 10658 10672 10671 10342 10406 10675 10347 10257 10256 10253 10252 10251 10254 10255 10439 10679 10506 10368 10408 10383 10317 10318 10410 10291 10319 10263 10409 10324 10323 10203 10294 10183 10311 10310 10208 10312 10206 10186 10309 10188 10242 10390 10415 10402 10388 10403 10385 10401 10338 10414 10400 10341 10340 10339 10345 10448 10446 10356 10447 10355 10357 10436 10195 10197 10194 10321 10322 10411 10412 10413 10320 10445 10353 10444 10348 10301 10300 10438 10138 10163 10162 10161 10164 10137 10172 10165 10469 10470 10468 10467 10349 10466 10243 10287 10286 10290 10284 10289 10285 10244 10245 10209 10288 10158 10379 10224 10378 10225 10283 10147 10465 10431 10430 10432 10568 10302 10618 10248 10177 10433 10354 12996 12995 12952 14243 14581 14242 14563 14584 14536 14578 14582 14602 13436 13434 13432 14716 14765 14246 14689 13386 14550 14549 14571 14570 14688 14566 14569 13412 13443 13389 13440 13387 13441 13392 13393 13390 14288 14355 14270 14271 14272 14357 14353 14354 14356 14352 14351 14316 14350 14464 14457 14461 14701 14363 14462 14463 14260 14258 14257 14259 14255 14256 14358 14360 14362 14361 14359 14713 14707 14714 14715 14712 14320 14318 14337 14333 14324 14338 14339 14335 14327 14330 14328 14321 14325 14326 14317 14329 14336 14323 14322 14334 14319 14596 14591 14594 14731 14589 14595 14592 14593 14588 14590 14664 14670 14671 14665 14672 14240 14768 14668 14241 14669 14663 14666 14667 14769 14767 14694 14703 14699 14704 14397 14518 14700 14695 14456 14677 14735 14710 14725 14727 14238 14239 14673 14817 14819 14818 14395 14396 14393 14392 14394 14391 14730 14390 14777 14776 14399 14492 14697 14692 14763 14757 14760 14759 14762 14741 14744 14747 14491 14740 14743 14746 14756 14601 14711 14720 14495 14497 14600 14806 14804 14802 14467 14466 14465 14548 14696 14662 14686 14661 14815 14808 14816 14813 14811 14814 14547 14254 14267 14250 14264 14554 14555 14553 14540 14545 14543 14751 14753 14749 14807 14613 14812 14455 14551 14552 14459 14458 14265 14515 14614 14676 14449 14452 14454 14724 14709 14805 14803 14801 14734 14810 14615 14658 14660 14659 14263 14273 14249 14291 14292 14294 14287 14586 14587 14493 14496 14494 14708 14331 14733 14809 14309 14332 14308 14311 14312 14314 14307 14306 14620 14619 14622 15732 15733 15640 15639 15731 15727 15728 15850 15851 15847 16173 16171 16175 15682 15664 15684 15662 15672 15674 15757 15758 15846 16182 16180 15619 15624 15623 16043 16057 15699 15697 15698 16061 16066 16070 16065 13464 15756 15751 15752 15754 15753 15750 15755 16176 16170 16183 15744 15747 15749 15634 16055 16031 16030 15983 15982 15617 15616 16181 16172 16174 16179 15984 15729 15730 16136 16139 15720 15724 16178 16102 12926 12984 13076 13177 12915 12910 12914 12911 12912 12917 12913 12916 12892 12900 12899 12905 12947 12982 12981 12983 12879 13086 13379 13367 13363 13369 13370 13368 13373 13376 13383 13385 13381 13242 13236 13243 13237 13240 13241 13238 13239 13360 13235 13234 13228 13309 13353 12878 13350 13357 13375 13378 13336 13347 13344 13397 13331 13326 13345 13337 13349 13338 13341 13343 13335 13372 13346 13232 13231 13233 13339 13340 13342 13229 12919 13408 13411 13407 13406 13034 13033 13215 13211 13216 13214 12874 13212 13209 13194 13213 13167 13030 13401 13403 13225 13222 13227 13404 13405 13391 13388 13394 13400 13402 13300 13298 13296 13294 13299 13302 13297 13308 13301 13295 13303 13352 13356 12872 12871 13399 13188 13097 13096 13036 13098 13189 13204 13355 13354 13351 13187 13203 13202 12869 12870 12875 12986 13117 13119 13120 13118 13021 14723 16027 16029 16028 13460 13462 13461 13439 12959 13181 13090 13089 13088 13179 13116 13087 13180 13178 12881 12888 12887 12891 12890 12094 12885 12886 12889 13124 13127 13125 12898 12895 15988 15991 13038 13040 13039 15989 15615 12896 13438 12946 12944 12941 13319 12095 13328 13201 13197 13200 13395 13185 13186 13184 13174 13176 13307 13171 12956 12989 13093 13080 12994 12992 13085 13095 12991 12993 13094 13083 12990 13183 13182 13092 13091 15694 15695 15701 15696 15700 13323 13332 13245 13244 13292 13289 13288 13290 13291 13251 13246 13250 13377 13374 13371 10494 10496 10657 10554 10507 13220 13217 13224 13221 12873 13219 13223 13226 13218 10617 10613 10623 10674 12880 10678 10677 11960 11999 12010 12001 11998 11994 12007 12004 12000 11961 10714 10676 10586 10559 10558 10557 10562 10669 10670 10673 10565 10563 10560 10570 10571 10561 10668 10687 10689 10564 10659 10655 10666 10652 10665 10653 10649 10664 10662 10650 10667 11964 12918 12922 12923 12904 12894 11981 11984 11987 11983 11988 11991 12005 12002 12003 12006 12938 12942 12943 12940 12939 12945 12937 11965 11956 11955 13253 10636 10132 10131 10633 10609 10691 10656 12009 11979 11980 10712 10711 10583 10713 10582 10292 10701 10556 10134 10133 10478 10476 11975 11969 11977 11974 11976 11962 11957 11972 10493 10569 10581 10464 10663 10661 11971 11973 11966 12008 10707 10486 10485 10481 10488 10482 10483 10479 10480 10509 10510 10508 10522 10475 10477 10474 10135 10180 10156 10166 10143 10386 10389 10201 10199 10184 10387 10200 10207 10187 10204 10185 10202 10205 10700 10459 10463 10462 10551 10553 10552 10594 10545 10547 10546 10550 10549 10548 10523 10525 10518 10520 10517 10527 10513 10512 10515 10542 10543 10544 10471 10429 10136 10456 10473 10726 9357 9307 9316 9299 9319 9276 9274 9278 9321 9323 9317 9313 9312 9315 9301 9311 9304 9266 9269 9250 9262 9253 9260 9256 9261 9246 9263 9243 9272 9314 9300 8762 8763 12925 7394 7393 12011 12013 12015 12014 12016 12012 12088 12090 12089 11986 11982 7886 7890 7397 7406 7883 7734 6618 7830 7882 7555 6463 6373 6379 6375 6381 6378 6374 6376 6190 6187 6192 6185 6551 6540 6152 6151 6056 6058 6057 6144 6148 6145 6510 6509 6149 6150 6139 6143 6453 6450 6451 6449 6027 6452 6065 6066 6067 6068 6069 6028 6372 5205 5200 5197 5194 5193 5206 5204 5207 5192 5208 5210 5209 6037 6462 6459 6259 6260 6257 6255 6258 6256 6254 6261 6231 6276 6458 6456 6454 6455 6526 6532 6529 6241 5166 5120 5113 5103 5125 5124 5115 5128 5111 5131 5126 5112 5137 5170 5168 5147 5117 5150 5151 5141 5140 5110 5127 5129 5121 5109 5130 5116 5114 5132 6362 6360 6363 6361 6060 6332 6054 6055 6050 6053 6252 6251 6253 6202 6210 6301 6460 6341 6340 6339 6334 6338 6337 6146 6147 6248 6564 6250 6249 6247 6246 6238 6235 6240 6447 6610 6609 6613 6614 6608 6611 6612 6607 6568 6552 6572 5246 6273 6274 6272 6275 6539 6549 6560 6559 6543 6558 6546 6555 6557 6550 6138 6137 6141 6142 6606 5245 5241 5244 5242 5240 5243 6542 6548 6545 6180 6178 6179 6183 6182 6177 6181 6605 6604 6603 6570 6571 5190 5191 6400 6087 6088 6090 5177 5176 5186 5188 5174 5173 6085 6082 6084 6083 5187 5184 6102 6136 6038 6041 6040 6032 5221 5219 5223 6140 6592 6588 6590 6597 6599 6601 6600 6594 6602 6290 6287 6292 6120 6206 6219 6218 6196 6298 6209 6297 6208 6207 6119 6101 6099 6096 6076 6081 6079 6281 6283 6278 6098 6100 6097 6095 6092 6093 6094 6051 6289 6288 6285 6284 6286 6291 6189 6188 6191 6077 6036 6282 6078 6080 6059 6035 6049 6280 6073 6279 5198 6335 6336 6554 6553 6329 6331 6474 6487 6556 6483 6478 6444 6482 6176 6271 6193 6195 6194 6403 6401 6402 6472 5220 5222 5218 6439 6440 6415 6438 6442 6441 6437 6541 6544 6547 6457 6567 6405 6370 6322 6364 6029 6349 6371 6366 6410 6408 6406 5185 6326 6243 6242 6244 6333 6446 6443 6445 6399 6358 6245 6359 6352 6357 6355 6356 4910 4911 4913 3291 4917 4915 4916 4919 4920 4922 5067 5066 5051 6418 6416 3883 2546 1444 1191 1194 7554 7906 7904 7908 13170 13169 13168 7932 7931 7930 7689 7681 7685 7687 7646 7690 7683 7688 7684 7682 7686 7669 7661 7668 7678 7758 7752 7656 7659 7679 7680 5250 1138 1169 892 7937 7941 7846 7955 9251 9342 9344 9252 9343 9303 9302 9281 9284 9245 9297 9249 9291 9294 9296 9287 9309 9120 9133 9123 9242 9265 9271 9273 9259 9129 9234 9237 9209 9208 9240 9355 9352 9305 9306 9310 9275 9244 9247 9248 9308 9293 9292 9130 9227 9236 9206 9204 9131 9134 9295 9289 9298 9290 9353 9255 9241 9136 9132 9205 9118 9218 9239 9238 9231 9228 9202 9351 9222 9226 9217 9277 9280 9322 8924 8813 9103 9268 9346 9348 9223 9203 9264 9345 9347 9128 9230 9349 9219 9224 9135 9350 9354 9229 9207 9115 9270 9215 9199 7717 7716 7711 7712 9214 9213 7715 7714 7713 9286 9318 7987 9258 9104 9201 9109 9194 9107 9196 9191 9126 7845 7933 9114 9113 9116 9119 9332 9267 9320 9283 8923 9340 9339 9338 9341 9335 9337 9326 9330 9195 8767 9087 9060 9188 9193 8764 9192 8765 9190 9189 9187 7988 9328 9117 9112 7755 7756 7757 7753 7844 7829 7730 7732 7731 7729 7705 7593 7503 7501 7502 7500 7552 7597 7599 7592 7596 7594 7598 7591 7595 7590 7565 7580 7584 7582 7575 7583 7578 7585 7574 7576 7667 7577 7588 7589 7579 7581 7573 7572 7666 7561 7587 7559 7571 7556 7586 7568 7570 7628 7629 7627 7626 7624 7623 7524 7625 7622 7863 7866 7864 7953 7980 7977 7979 7978 7872 7675 7871 7499 7498 7458 7674 7670 7672 7671 7673 7920 7928 7921 7929 7832 7902 7901 7898 7857 7899 7853 7848 7647 7491 7492 7483 7486 7475 7478 7479 7488 7460 7650 7652 7663 7484 7489 7490 7455 7476 7487 7482 7443 7444 7415 7411 7741 7751 7497 7465 7745 7744 7747 7750 7748 7743 7742 7470 7749 7746 7417 7414 7413 7410 7412 7408 7416 7448 7445 7494 7477 7474 7473 7493 7496 7662 7664 7495 7468 7472 7665 7481 7676 7480 7485 7450 7677 7427 7425 7426 7429 7407 7704 7644 7641 7642 7643 7919 7550 7522 7521 7549 7546 7547 7523 7551 7548 7703 7831 7828 7435 7438 7440 7441 7439 7437 7436 7817 7841 7847 7926 7924 7925 7888 7889 7911 7984 7985 7922 7936 7923 7939 7940 7709 7708 7710 7910 7976 7986 7927 7918 7621 7620 7912 7915 7983 7982 7981 7630 7423 7424 7451 7816 7813 7814 7815 7769 7768 7456 7457 7459 7434 7914 7917 7827 7820 7396 7822 7819 7823 7826 7395 7821 7825 7818 7824 7975 7971 7970 7974 7972 7969 7963 7973 7968 7959 7966 7957 7961 7843 7856 7812 7810 7811 7852 7916 7913 7782 7779 7780 7807 7809 7808 7806 7784 7785 7787 7600 7645 7701 7851 7738 7733 7740 7718 7735 7508 7520 7504 7525 7553 7610 7403 7885 7507 7505 7506 7728 7471 7409 7405 7560 7557 7558 7402 7422 7419 7399 7461 7469 7462 7466 7463 7464 7467 6619 7775 7777 7770 7774 7695 7698 7700 7707 7706 7612 7614 7613 7418 7404 7428 7442 7618 7619 7617 7517 7518 7514 7519 7516 7515 7513 7607 7609 7604 7420 7615 7616 7510 7563 7564 7651 7648 7649 7640 7702 7611 7545 7727 7562 8776 7446 7447 7449 7726 7724 7725 7721 9288 9221 9220 9282 12052 12050 12049 12055 12054 12053 12051 13398 9015 9210 9216 9186 9225 9235 10602 10627 10604 10616 10601 10626 9254 9232 9233 9279 9185 9138 9137 9257 9139 9331 9285 8968 9044 9042 8966 8998 8967 9082 8965 9043 9081 9035 9080 9083 9084 9085 9086 8997 9127 9121 8868 8867 8870 8871 8872 8869 8891 8892 8893 9055 9054 9058 9056 9057 9059 8824 9070 9014 9025 9028 9030 8969 9040 9041 8999 9053 9051 9050 9052 9198 9125 9124 9122 8934 9197 9048 9045 9049 9047 9037 9033 9036 9038 9034 9046 8918 8920 8916 8919 8921 8915 8917 8890 8777 8786 8950 8949 8990 8995 8992 8960 8963 8962 8994 8993 8989 8959 8964 8991 8961 8996 8851 8850 9016 8849 8862 8843 8863 8844 8842 9032 8865 8841 8866 8864 8854 8847 8857 8858 8848 8846 8853 8852 8845 8827 8806 8809 8804 8807 8808 8805 8810 8939 8979 8922 8877 8829 8894 8794 8795 8796 8951 8952 8953 8944 8945 8946 8947 8937 8772 8874 8876 8875 8958 9099 9100 9101 9098 8840 8988 9013 9010 9012 9011 8942 8943 8941 8925 8928 8930 8981 8784 8780 8785 8781 8779 8782 8783 8882 8982 8803 8793 8798 8770 8957 8956 8986 8987 8983 8792 8771 8984 8985 8820 8828 8768 8791 8788 8879 10708 10709 10710 10639 10648 10651 10695 10704 10706 10697 10699 10654 12028 11503 11502 11931 11930 12928 12927 12933 12935 12932 12929 12930 8889 8883 8887 8885 8886 8884 8888 8948 9039 8774 9074 9072 8973 9200 9064 8976 8978 9077 9079 9067 9078 9069 9075 9076 9073 8823 8822 8821 8826 8825 9009 9097 9095 9096 9031 8940 8914 8789 9108 8766 9102 9111 9110 9105 9106 11661 11504 12045 11926 11932 11925 11934 11929 11825 11505 11846 11798 11927 12033 12035 12034 11928 11840 11933 8818 8816 8815 8797 8773 8811 8787 9071 9020 8927 8926 8929 8838 8836 8835 8860 8814 8955 8954 8778 8837 8839 8856 8859 8855 8819 8861 8834 8830 8832 8831 8817 8833 9021 8873 8980 9212 9093 9090 9094 11819 11500 11501 12042 12039 12037 12038 12036 12031 11852 11851 11855 11849 11857 11854 11848 11850 12025 12021 12018 12024 12019 9027 11978 9026 9023 9029 9022 9024 9183 9182 9184 12022 8933 8932 8931 9177 9176 9178 9153 9179 9180 9181 9148 13260 13263 13261 13284 13286 13283 13285 13287 13282 13255 11882 11884 14657 14655 14656 14654 14629 14652 14653 9151 11815 11813 11802 11817 11818 11805 11816 11814 11807 11799 11801 11756 11758 11800 12032 11755 12030 9175 9149 9146 9144 9143 7452 7454 7453 11844 11843 18361 17262 17059 10142 13348 17138 10152 18617 10499 2480 3916 3937 3933 3917 3936 3938 3915 3935 3911 1601 1644 1762 1761 1598 1603 1849 1593 1594 1595 1767 1774 1542 1543 1600 1607 1606 1599 1604 1602 1605 1545 1546 1531 1557 1566 1565 1544 1563 1564 1760 1782 1772 1783 1555 1556 1770 1777 1686 1678 1674 1675 1778 1596 1780 1771 1554 1768 1763 1769 1779 1687 1685 1684 1775 1781 1800 1798 1792 1790 1802 1801 1793 1791 1799 1794 2864 2591 1473 1535 2605 2608 2607 3985 2703 2653 2650 2654 2652 2655 2548 3912 3996 4001 3977 3978 3994 3999 3997 3982 3986 3987 3995 4002 4003 3993 3902 3992 3998 4000 3984 3983 3989 3990 3988 3991 2552 2550 1508 2704 1941 1940 1911 1939 1915 1918 1913 1920 1919 1914 816 1530 3914 3913 3981 2549 1645 1789 3976 3979 3975 3980 3945 1592 1917 1912 1910 3699 3700 3684 2944 1562 1575 1591 1588 1590 1589 1572 3687 3685 1694 1497 1447 1496 1513 1514 1527 1453 1512 1529 1528 1449 1448 1511 1451 1452 7693 7692 7694 1668 1667 1664 1661 1665 1673 1671 1670 1666 1669 1822 1813 1808 1820 1819 1818 1815 1812 1816 1817 1814 1810 1821 1811 1672 1474 1492 1475 1660 1494 1455 1495 1493 1536 1541 1597 1663 1662 3907 3903 3904 3909 3905 3934 3908 3906 3910 3901 4552 3188 4407 4406 3186 2765 2764 3279 3900 3278 2610 2598 2717 4004 3955 3944 3958 3973 3952 3953 3960 3972 3971 3959 3950 3951 3956 3948 3946 3949 3947 3957 5314 5279 4005 4065 4064 5364 5371 5367 5368 5363 5344 5345 5280 2702 71 99 106 81 100 70 77 92 466 79 94 95 80 76 75 72 61 107 91 27 93 102 446 96 83 98 108 101 69 103 105 469 73 82 78 84 25 74 97 850 534 235 540 536 538 520 849 585 535 537 586 533 539 526 583 527 524 234 530 233 579 581 582 848 2021 2020 2019 1976 1986 2022 1962 2000 2027 2007 1955 1956 2294 2276 2295 2249 2291 2302 2305 2303 2306 2300 2301 2299 3954 3941 3940 3939 3943 3942 4650 4651 4558 4556 4562 4649 4652 6020 5927 3884 4557 8667 6620 6021 7387 6018 6022 7390 5931 5923 4554 6715 4561 4555 4648 4646 5920 5919 5921 4553 4125 4126 4127 4098 4087 4088 4086 4089 4096 4062 4095 4097 4551 4550 5266 7391 6019 2606 2590 2597 2611 2599 2596 2602 2594 2600 2595 2582 2583 2609 604 3233 4017 4016 4011 4013 4014 4015 4012 2644 4078 4077 4076 3180 3179 3108 3107 5373 3038 3037 3277 3036 3035 3034 2987 2986 2985 4549 4228 3247 3248 3276 4337 4404 4405 4338 4336 2736 4403 4402 2732 2726 2735 2700 2727 2725 2733 2734 2763 2714 2716 2715 4548 4524 4523 4273 4275 4274 2730 2729 2728 2731 4332 4335 4333 4334 2712 2724 4547 4546 4074 4075 3275 4324 2699 2762 4291 4292 4475 4474 4248 4172 4247 4416 4417 4434 4454 4230 4229 4445 4453 2697 2696 4231 2683 4195 4196 4194 4197 4433 4432 4174 4189 2559 4188 2698 4322 4187 4190 4155 4154 4186 4168 4173 4193 4180 4167 4181 2561 2662 2553 2663 3207 3225 3232 3224 4450 4443 4449 4418 4438 4451 4436 4439 4452 4448 4440 4435 4414 4437 4153 4148 4145 4128 4135 4149 4137 4136 4147 4146 4444 4447 4446 4144 4134 3223 2695 2646 3246 3245 3168 3175 3166 3177 3174 3173 3170 3021 3136 3020 3169 3176 3167 3178 3019 3148 3238 3239 3135 3134 3018 3147 3237 3234 3235 3241 3240 2706 2710 2711 2705 3244 3242 3243 3236 4319 4318 4313 4315 4298 4316 4314 4317 4177 4175 4179 4178 4176 4160 4270 3117 3116 2557 2558 3200 3201 3206 3204 3205 3202 3197 3199 3198 3196 3203 4290 4276 4277 4343 4350 4341 4342 4382 4383 4340 4348 4349 4353 4352 4351 4397 4398 4399 4400 4401 1454 2694 2692 2693 2688 3219 3220 3218 3222 3221 3217 3216 4093 4092 4091 4090 4245 4246 2760 2759 2757 2761 2758 2756 2749 3267 2755 2742 2745 3273 3272 3268 3271 3270 3274 4396 4384 3269 4390 4389 4242 4243 4227 4244 4232 4233 2689 2691 2690 1896 1938 1908 1909 1764 2551 2565 2562 2566 2570 2569 2585 2571 2567 2572 2568 3899 2612 1950 2701 2807 2808 5356 5355 5352 5360 5366 5365 5354 5346 1937 1936 1935 1927 5269 5776 4559 5775 3086 3087 2972 2971 2970 2909 2907 2908 3257 3256 3255 3254 3253 2969 2926 2968 2966 2967 2925 1901 1900 1898 1897 1899 1902 1615 2946 2965 2945 2959 2960 2961 2962 2884 2883 2833 2830 2831 2832 2791 2792 3105 3106 2790 3079 3071 3076 3081 3047 3080 3083 3072 3070 3085 3082 3084 3068 3077 3073 3051 3069 2826 2829 2786 2865 3067 3078 2809 3049 2866 3050 2867 2956 2785 2772 2810 2822 2766 2773 2784 2811 2823 2825 2824 2783 2805 2774 1887 1888 1895 1876 3156 3157 2903 1907 3230 3229 3231 3213 2681 2682 1894 1886 1870 1892 1890 1889 1893 1526 1864 1860 1861 1859 1862 1863 1865 1871 1872 1874 1868 1866 1875 1869 1873 1867 2957 3226 3227 3210 3208 5270 5267 2955 2954 1906 1904 1905 1903 2943 2709 2708 2707 3066 3065 2804 2771 2952 2953 2817 2803 2799 2802 2797 2798 2801 2794 2796 2795 2800 3251 3250 3249 3252 2942 2963 2910 2924 2911 2921 2920 2923 2713 2922 2919 2964 3209 2680 3212 3211 2882 4473 4472 2881 3140 3155 3153 2947 2932 2951 2788 1587 1586 1932 1930 1585 1934 1933 1931 2948 2949 2950 2787 2941 2935 2940 2933 2930 2934 2936 2931 2929 1883 1885 1878 1881 1882 1884 3031 3030 3033 3032 2827 2828 1879 2977 3016 3015 1523 1525 2974 2982 2975 2976 2984 2983 1524 5917 5918 5773 5774 5892 5893 5707 5706 2645 2648 2647 2660 2555 2554 2661 2656 2657 2659 2665 2666 2664 3115 1925 3104 3099 3094 3101 3093 3102 3096 3092 3091 3103 3095 3100 3058 3056 3048 3057 2820 2818 2821 4192 5383 5382 5380 5384 5381 5385 5386 1880 1520 1522 1521 2904 3139 3152 3142 2900 3141 3138 2886 2902 3143 3149 2901 2899 3145 2891 3150 3114 3154 2890 2906 3151 2885 2889 3137 2868 2880 2869 2879 1519 2878 2863 3029 3023 3017 3022 1579 4157 4165 4166 4159 4162 4161 4158 4164 4285 4289 4288 4287 4286 4150 2775 2814 2815 2812 2813 2816 2958 5361 5349 5351 5369 5372 5347 5359 5353 5358 5357 4066 5350 5370 5348 5362 899 1313 1330 1333 1337 4169 1304 1309 853 1351 1354 1340 1357 1952 1951 267 358 479 476 475 478 477 473 474 472 560 1310 1318 1315 1325 1314 1324 1305 1326 1306 1311 260 247 254 252 243 240 250 248 253 259 242 241 244 561 573 571 569 565 566 567 564 562 587 375 376 553 556 549 563 548 552 570 572 568 555 588 591 590 589 513 514 515 516 511 554 512 551 547 575 576 510 574 578 488 489 480 491 377 357 312 342 431 433 436 437 438 381 413 417 440 439 379 341 264 246 265 258 380 326 340 338 339 257 274 277 275 276 256 529 444 443 442 441 363 364 361 362 359 360 2381 2376 2378 2379 1954 1953 2382 2377 425 429 426 427 423 428 424 419 531 523 410 407 412 421 422 522 519 528 521 525 532 237 518 236 854 1195 852 1276 1280 1279 851 1274 1275 1277 1282 397 396 395 399 398 393 401 402 400 394 557 558 238 453 460 456 462 454 459 455 457 471 461 458 463 310 415 308 414 416 311 309 434 355 354 356 352 353 322 435 418 420 496 494 493 508 509 577 1206 1204 1200 1203 1201 1199 1198 1197 545 546 544 465 543 316 315 314 313 1339 1323 1321 1346 1428 584 596 594 595 464 470 902 874 1014 1013 898 903 1016 1056 1107 920 1104 1177 1010 919 1181 860 884 905 921 924 918 925 923 922 926 1180 1105 917 1424 1415 1417 1422 1362 1364 1413 1419 1425 1427 1426 1360 559 2335 2333 946 943 947 945 948 1366 1372 1369 1312 1269 1265 1263 1264 1266 1270 1268 1267 1303 1308 351 307 348 345 290 306 349 350 1240 451 452 305 388 390 389 392 368 391 371 373 372 369 366 370 365 367 1262 447 450 445 449 448 403 430 239 432 5916 5772 5771 5915 4309 4326 4325 4331 4312 4327 4328 4311 4308 4299 4297 4302 4300 4306 4296 4301 4307 4295 2769 2888 2898 4463 4467 4469 4459 4468 4462 4471 4460 4466 4470 4461 2767 2770 2768 2793 1929 4320 3064 4163 4310 4330 4142 4143 4191 2927 3126 3127 3132 3131 3129 3130 3128 3133 4272 2938 3146 2939 2937 4267 4256 4266 4250 4265 4255 4268 4269 4257 2897 2887 2896 2928 2894 2895 2892 2893 4329 4264 4254 4151 3215 4094 1238 1235 1243 1236 1241 8752 8751 8755 8753 8661 8754 7297 7293 7292 7299 7298 8017 4006 3974 6743 5928 5922 5924 5930 6742 6016 4079 6737 6741 6736 6739 6738 6731 6730 6740 6732 6733 6716 5929 4061 5458 5466 5465 5457 5464 5431 5467 5494 5496 5495 5456 5463 5814 5803 5843 5844 8658 5541 5925 4606 4605 4008 5926 8657 8514 4117 5251 4109 4634 4635 4101 4645 4643 4124 4644 4642 4615 4614 4613 4612 4103 4102 4104 4123 4111 4121 4120 4637 4640 4118 4638 4641 4639 8659 4110 4119 4122 4107 4636 4604 4601 4602 4603 2560 3898 4059 4060 3896 4600 4624 4621 4620 4618 4619 4622 4616 4623 4617 4085 5693 5701 5702 5643 5705 5704 5644 5703 4609 4611 4608 4610 4607 4045 4058 5691 5823 5822 8111 5617 5616 4590 4574 4591 4592 4599 5566 4566 4564 4565 4563 5559 4568 4567 5562 5563 5564 5565 5558 5542 5543 5556 5555 5537 5557 4572 4570 4573 4569 4571 5520 5597 5598 5786 5599 5785 5600 5642 5518 5522 5523 5524 5505 5515 5517 5497 5516 5504 5506 5514 8106 8108 8107 8109 8105 8099 8110 8100 8104 8098 5688 8018 8021 5513 8102 8101 4057 5445 5446 5447 6755 5687 8089 5802 5801 5561 5536 5550 5549 4081 5560 5503 5544 5548 5546 4587 4589 5547 5529 5545 5685 5683 5682 5686 5667 5684 5455 5808 5819 5787 5804 5783 5816 5821 5815 5805 5807 5809 5820 5812 5806 5817 5813 5818 5443 5444 5460 5459 5461 5720 5721 5722 5711 5718 5710 5765 5719 4055 5758 5596 5770 4585 5615 5769 4631 5614 4586 4588 4583 4082 5768 5766 4584 5767 4083 5612 5712 4099 5601 5709 5613 5759 5462 4100 5611 4050 5753 4108 5708 4056 5602 4054 7294 7295 7296 7300 8668 7389 7388 8666 8664 8665 7989 8663 10036 8103 8097 8660 8662 8234 8168 10037 10035 10030 10122 10124 10123 8757 8758 8195 8194 8196 8169 8203 8202 8205 8204 8233 8232 8185 8184 8088 6720 8020 6718 6713 6719 6717 6714 6650 6652 6651 8513 8201 7385 8231 7291 5276 5271 5304 6729 6724 6725 5307 5277 5283 5306 5305 5303 5374 5281 5284 5302 5282 5273 5278 5272 6727 6722 6721 5268 5434 6723 5274 5275 5435 6734 6735 6726 6728 4063 6675 6635 6671 6674 5432 5433 6649 6648 6653 6676 6646 6647 6638 6864 6865 6863 6710 6691 6683 6689 6693 6682 6690 6698 6695 6711 6697 6688 6694 6685 6686 6687 6684 6709 6696 6752 6751 6754 6749 6750 6753 8004 6907 5343 5375 8276 6644 6636 6712 6744 6681 6678 6640 6645 6643 6679 6639 6642 6641 6680 6692 6677 6799 5430 6014 6015 6017 7145 7144 5993 5988 5985 6012 5986 5987 5992 5991 5493 5969 6011 5454 5983 5984 7289 7288 6013 5990 7290 8193 5949 5393 5394 6934 5265 6932 5943 7191 6933 6935 7192 7210 6986 6985 7213 7212 8019 8400 6801 8022 8040 8044 5982 5981 5989 8007 6804 6637 5448 8093 8094 6672 8091 8090 8096 8092 6803 6802 8095 6673 8084 8086 8085 8083 8087 8082 8052 8112 6893 6892 6908 7386 8445 8444 6836 6800 8581 6835 8582 6834 6797 6798 6796 6827 6815 6825 6824 7384 8079 8078 8059 8060 8067 8066 8053 8055 8054 8056 8048 8046 8049 7330 7318 7329 8172 8171 6626 6632 6783 6781 6782 6634 6746 8561 8560 7338 7383 7382 7381 7380 6862 7353 8580 8579 7317 7316 7375 7376 7378 7377 7379 8354 8355 7374 6855 7372 7369 7373 6860 6856 6859 6861 6857 6858 8335 7336 6795 7337 7328 8576 8578 8569 8570 8577 8429 8304 8302 8303 8301 8336 8338 8337 8279 7331 7334 7335 7332 8552 8523 8524 8541 8540 8539 6817 7312 8293 8288 7305 7306 7308 7311 7301 7309 7310 7307 7302 7304 7303 6842 7313 7315 7314 6849 6841 6840 6848 6845 6847 6839 7352 6814 7351 6833 6816 6826 7350 6812 6813 7362 7357 7355 7356 7359 7361 7360 5264 8655 8656 7344 7343 8630 8631 7342 7341 7339 7340 8654 8653 7358 6823 6832 7354 6780 8262 8261 8510 8509 8511 8512 8183 6805 6806 6810 6811 8181 8182 8399 8442 8398 8381 8443 8382 8441 8380 8425 8426 8431 8440 8439 6778 8353 8286 8285 8287 8352 8267 8283 8284 8282 8423 8424 7349 7348 7345 7346 7347 7327 6793 6792 6794 7323 7326 7324 8508 7322 7321 6854 8281 8297 8300 8295 8294 8296 8421 8420 8405 8422 8275 8280 8274 8299 8298 8260 8256 8272 8271 8270 8273 8264 8265 8268 8269 8266 8255 8243 8244 8254 8253 8242 8252 8334 8339 8251 8241 8235 8257 8258 7320 8417 6966 7060 7204 7200 6969 7201 6887 6885 7189 6875 7184 6866 6874 7186 7177 6873 7181 6883 7174 6910 7172 7199 7209 6968 7208 7206 7197 7207 7205 7155 7183 6967 7198 8415 7154 7196 6931 7187 6924 7188 7185 7190 6928 7182 8435 8433 8419 8418 8432 8438 8379 8416 8434 6886 7176 6911 6927 6925 6891 7178 6884 7175 7173 7152 7156 6906 6926 6912 6809 6808 6807 8437 8436 8409 8414 8413 8408 8377 8404 8406 8407 8403 8402 8567 8568 8573 8574 8575 8565 8566 6763 6762 6791 6789 6790 8505 8507 8504 8506 8544 8542 8543 8546 8551 8556 8545 8547 8555 8521 8557 8550 8554 8525 8553 8558 8559 6788 7325 8756 8759 8669 8728 8749 8721 8722 8723 8726 8724 8750 8725 8730 8731 8729 10034 10038 10031 10590 10589 10579 10585 3890 5538 4018 4021 4019 4483 4484 4426 4429 4427 4428 4183 4503 4515 4424 4170 4171 4423 4422 4482 4421 4425 4420 4419 4321 4388 4536 4545 4534 4540 4537 4533 4544 4542 4535 4543 4541 4024 4025 4051 4053 4052 4184 4182 4042 4043 4044 8045 8051 8080 8050 8065 8057 8058 8064 8063 10127 10126 10125 10032 10128 10033 9358 11405 11492 11399 10727 11402 11401 11497 11495 11496 11494 12773 12774 12775 11397 11396 11395 9173 9174 14301 14296 14302 11511 11915 11914 11894 11568 11576 11573 11916 11891 11917 11571 11574 11569 11570 11892 11918 11886 14304 11535 11525 8041 8015 8042 8005 8009 8013 8011 8012 8008 8014 8010 4185 4323 4067 4023 4009 4022 4007 4010 3894 3895 11889 11887 9480 10755 9481 10790 9539 10742 9541 9540 11913 11549 9471 9475 9474 9477 9478 9476 9468 9390 9388 9389 9454 9470 9453 9456 9451 9452 9469 9479 9457 9455 9458 7142 7143 9421 7287 7286 7262 7261 7076 7075 3897 7074 7011 7013 7012 7171 7170 8608 8609 8492 8621 8494 8493 8590 8591 8622 8610 6009 6010 6008 5998 5994 6000 7141 5997 7140 6918 6882 6905 6872 5841 5842 5700 5697 5696 5692 7048 4598 4597 4594 4580 4593 4577 4576 4579 4578 4575 7073 7070 7072 7071 7030 5828 5835 5836 5840 5829 5830 5839 5827 5838 5832 5837 5831 5752 4582 4626 4632 4627 5751 4625 4628 4633 4084 7029 5377 5975 5974 5972 5971 5973 5970 5979 5978 5976 5977 7025 7015 5451 5452 7023 7014 7026 7027 5453 7028 6930 6929 6889 5641 5638 5637 5257 5937 5936 5262 5412 5414 5429 5413 5428 5427 5934 5935 5932 5933 7024 5450 5966 5965 5963 5942 5944 5392 5391 5379 5378 4596 4629 7062 14230 12768 12861 12862 12860 14133 14134 14135 11403 11407 13990 13989 12814 12769 12767 14233 14234 14141 12858 14137 14231 14144 14143 14142 14235 15513 15511 15512 18250 14834 16203 18251 18338 16877 18337 18249 18245 18248 18244 16875 18242 18314 18334 18335 18332 18243 16876 16878 18240 17862 16447 16382 16921 16966 18342 16968 15601 16970 15604 14847 16883 16965 15602 16872 16870 17047 15598 17001 17030 15600 17141 17011 17025 17052 17029 15507 15599 18238 18239 18027 16963 16964 16945 18093 18092 16445 17234 17231 17044 5980 16972 16971 16987 16879 17049 17050 18241 14138 15504 15503 14136 12771 12096 12770 12866 12865 12864 12863 14232 15774 15771 17232 17046 17920 16880 16967 15510 16874 18252 18339 18000 15772 18336 18097 16871 18341 18340 17786 17785 17788 18312 18313 18290 16882 16881 15508 15509 15514 18095 18028 18094 16973 17032 15505 16446 7036 7052 7053 7055 7051 6914 6915 6898 6913 7057 6917 7054 6916 7056 6888 6900 6895 7034 7035 7063 6902 7049 6896 6901 6904 6899 6897 7064 6903 7047 7046 7039 7050 7040 7037 7044 7033 7069 7038 7066 7065 7045 17921 18311 18310 5261 17045 18174 18077 18193 18173 18076 18205 18123 18214 18164 18165 18124 16795 17919 18012 18106 18107 18213 18236 18237 16796 18143 18144 18135 18122 16549 16342 16329 15863 15865 15862 16927 16926 18161 18163 18158 18149 18156 18162 18160 18151 18148 18157 18153 18225 18223 18150 18233 18226 18078 18230 18224 18227 18235 18232 18234 18231 16325 15663 15680 15661 16493 15683 15681 16551 15660 16550 17590 17677 17861 17860 16320 16322 16316 16321 16324 16302 16319 16303 16323 16314 16257 16258 16236 16254 16234 16315 16313 18112 18113 18110 18109 18111 18115 18114 18105 15671 15670 16643 18043 18090 18042 18087 18089 18091 18041 16326 15656 15642 15675 15677 15678 15632 15618 16327 15676 16295 16386 16728 16727 16726 16869 16725 16868 16724 16723 16867 16318 16317 16312 16311 14298 14297 14299 15665 15667 16659 16217 16895 17819 16345 16346 18204 18191 18075 18192 16343 16330 16331 16328 16344 16890 16889 16893 16891 16892 16894 16888 16887 16884 16886 16885 16215 16379 16381 16366 17938 16913 16920 16911 16378 17635 16214 16213 17876 17871 17936 17935 17917 16376 17934 16377 17932 17923 17922 16371 16375 16910 17869 17867 17866 17865 17868 17850 17828 17832 17830 17829 17833 17831 16907 16909 16905 16906 16908 17933 16025 16024 16255 16229 16230 16256 16794 16338 16766 16793 16754 16753 16755 16738 16347 16896 16904 18032 18072 18039 18033 18073 18030 18031 18040 16026 15668 15673 15666 16259 16235 16658 16845 16844 17918 17817 17752 17870 16912 16448 18096 16419 16416 16418 16569 16568 16383 15597 15596 15552 16415 15079 15078 15013 16417 16943 16412 16411 16414 16413 16944 17838 17839 16404 16969 17140 16774 16775 16408 16410 18024 16209 17981 17982 16398 16399 17964 16919 17963 17863 17886 17858 17864 17841 17879 17885 17857 17881 17880 17887 17877 17766 18306 18307 17765 17779 18305 17767 18308 17768 17778 18303 17764 18302 17777 17761 17762 18258 18282 17583 17714 18268 17717 17732 18298 18299 18296 17757 18295 18300 17756 17758 17718 18262 17734 17700 18281 17579 17713 18289 17716 18257 17749 18283 18280 18263 17582 17751 17733 17580 18286 17699 18288 17748 18264 18297 17586 18301 17584 18287 17711 18284 18269 18265 17826 17818 17827 17843 17845 17837 17824 17844 17825 17835 17834 18171 18129 18141 18136 18126 18142 18198 18134 18125 18138 18130 18197 18210 18206 18211 18207 18199 18195 18208 18209 18200 18194 18196 18202 17710 17750 18259 17697 17698 18267 18266 18261 18270 17883 17878 16406 17884 17578 17712 18260 17966 17976 17979 17967 16405 17977 18104 18139 18140 18108 18137 18128 18127 5939 5946 5941 5940 5968 5962 5263 5426 5967 5947 5938 5411 5948 5945 5959 5960 5376 5961 5539 5540 5473 5479 5476 5492 5471 6007 6006 5490 5488 6005 5489 5487 5491 5472 5480 5554 6984 5551 5553 5552 7068 7067 6921 5689 5690 8290 8428 8427 16372 16873 15603 17763 18212 17715 18333 17815 17816 18133 17787 17735 17937 18304 18309 18152 18159 17978 17975 8496 8497 8503 8491 9704 9882 9883 9950 10027 10026 9951 10028 9949 9880 9881 10025 10024 9878 9879 8460 9948 9450 9574 10029 9603 9601 9602 11251 11252 8430 9724 9723 5757 7126 8495 8648 8649 8641 8644 8643 8651 8652 8647 5958 7136 7138 7121 5955 5956 7139 5953 5422 5420 5421 7137 5954 5957 7120 5951 5995 5996 5425 5424 5952 6001 5419 8650 8642 7135 8640 6002 18022 18026 17882 18023 18025 17836 17776 14145 16380 18088 15506 17965 16407 16409 17980 6785 6784 5423 2780 2779 2778 2777 2776 6003 5486 5470 5478 6004 9386 9432 9426 9428 9436 9447 9448 9429 9434 9433 9425 9422 9427 9423 9449 9424 9435 9373 9391 9413 9412 9414 9409 9473 9467 9472 9466 9462 9464 9387 9376 8115 8006 8170 9646 9461 9459 9460 7059 7058 8113 8081 9645 9431 9420 9410 9411 9385 9384 9419 9418 9430 9417 9415 9416 9374 9377 9383 9380 9381 9378 8121 8120 8118 8122 8123 8119 8124 7061 6630 6631 9465 9463 8173 9379 9382 9570 9573 9562 9572 9564 9538 9571 9563 9565 16901 16373 16374 16903 17587 17840 16899 16898 16897 16364 16917 16915 16349 16363 17953 17952 17954 16365 16900 16918 16348 16914 17853 16400 17949 17948 17950 17951 17848 17847 17851 17852 17855 17849 17678 17856 17854 16836 16707 16708 16824 16805 16804 16631 18172 16392 18010 18011 17873 18119 18117 17676 18120 18116 18118 18121 16391 16385 18009 16928 18006 16935 18007 16930 17988 18008 18003 17600 16934 16933 18014 16932 18005 18004 16931 16929 16936 14960 15557 15558 16277 16281 16280 16271 16279 16273 16272 16293 16266 16292 16294 16274 16278 14632 14630 14973 16504 15993 16642 16309 18180 18203 17994 17995 18182 18179 18190 18181 18187 18175 18188 16502 16507 9553 9552 9554 17955 12776 12772 13591 14229 14226 14225 14207 14227 14183 14228 15050 15077 15594 15595 15566 15076 15567 15576 14954 14944 14945 14951 14953 14952 14955 14934 13588 13648 14862 16275 16265 16276 16264 14206 14205 13647 15574 15014 15049 15046 15575 16640 15047 15048 16645 15565 15564 15573 15560 15559 15563 15561 15520 15562 16487 16485 16486 16742 16741 16746 16270 16298 16751 16750 16748 16335 16332 16299 16745 16492 16301 16296 16297 16300 17859 16390 16736 17675 16310 16337 16339 16336 16226 16228 15018 16222 16307 16304 16333 16340 16233 16308 16268 16752 16334 16221 16747 16305 16749 15023 16269 16267 16227 16223 16453 15033 15034 13478 15035 15010 14997 15011 14846 15012 15544 15551 15009 14848 16231 16232 15358 15359 16403 16402 15356 15357 15290 15289 16500 16499 16501 15502 15476 15475 15501 15500 15542 15543 15524 15522 15521 15526 15523 15525 15426 15427 15424 15425 15124 15181 15397 15385 15386 15369 15182 15405 15406 15274 15180 15384 15499 15355 15498 15368 14188 14189 14185 14187 14186 14184 13280 15262 17781 17784 17783 17782 17780 16952 16424 16444 16441 16961 16962 16442 16428 16425 16960 16443 18029 16673 16722 16672 16674 16220 14931 14933 14897 14947 14950 14930 14928 14932 14946 14927 13587 14942 14943 14949 14948 16481 14956 16639 16260 16262 16263 16261 15017 14957 15016 16450 16225 16219 16218 14958 15519 16491 15555 15553 15556 15554 16637 16638 14926 15517 15518 15515 15516 16635 16634 16636 16619 14625 16479 16478 16482 16480 16483 16923 16922 16924 14627 14624 16925 13256 16498 16497 16496 13268 13265 13281 13258 13266 16720 16719 16718 16721 14904 16740 16743 14923 16744 17589 16341 13709 13710 13644 13708 14197 13681 13707 14198 12109 18294 17681 17691 17696 17672 17605 17687 17685 17682 17695 17759 17693 17688 17692 17626 17627 17604 17680 16387 17694 17636 17663 18254 17648 17650 17643 17662 17686 18253 17709 17599 17664 17679 17760 17649 17637 17638 17646 17755 17639 18292 17647 17708 17673 17689 17661 17754 17623 18255 17640 17641 17690 17628 17683 17645 18293 18291 17674 17633 17642 17603 17602 17668 18256 17671 17624 17594 17632 12275 12341 14196 14195 15270 15271 15276 15996 15994 8707 8720 8719 8192 16835 16822 16823 16706 16861 16864 16862 16863 16671 16662 16661 16664 16663 16670 14223 13704 13686 13703 14224 15572 13690 13687 14214 13705 16703 13706 16704 14222 11394 11073 11393 11249 11250 16784 16781 16790 16791 16789 16792 16783 16552 16782 16779 16788 16787 16780 16856 16865 16709 16866 16854 16858 14204 16855 16857 9930 9929 9893 9648 9798 9921 9705 9892 9910 9706 9909 9908 8687 8699 8698 8706 8697 8003 8705 9707 9722 9721 8229 8693 8209 9859 9875 8214 8132 8131 8230 8210 8211 8226 9829 9873 8225 9877 9874 9876 8228 8227 8681 8218 8128 8712 8713 9375 16705 16710 16717 16711 8166 8167 8001 9673 8000 8165 8704 8701 8700 8151 8152 7995 8703 8150 8708 8710 8711 8709 8683 8675 7999 8149 8686 8685 8680 8679 8682 8678 8677 8676 8670 8673 8672 8671 8674 8684 10847 10840 10845 9749 9657 9809 9808 9999 10000 9662 8164 9813 9814 9811 9810 9812 9751 9750 9767 9768 10758 8186 9894 9800 9550 9551 9912 9928 9916 9925 9927 9913 8208 9926 9923 9911 9922 9920 9915 9924 9919 9890 9914 9795 8714 8717 8718 8716 8715 8691 8694 8692 8695 8696 8748 8747 8690 8741 8746 8742 8744 8224 8743 8745 7211 6919 6983 8016 8043 13607 15200 15199 13988 13672 13680 13645 13678 13679 15132 15133 15138 16937 16939 16940 16938 18017 18018 18021 16211 16210 18016 18015 18002 17962 17959 18001 17999 16613 16654 16655 16656 16653 16657 16596 16594 16595 16649 16652 16593 17947 17946 17939 18013 15569 15570 15571 15039 15040 16633 16648 15038 15041 16646 16647 15568 15037 16589 16630 16632 16612 13669 13670 13671 13661 13660 13659 15147 15149 15148 15142 15145 15146 14201 14200 14202 15119 15126 15141 15139 15120 15140 15125 15029 15030 15028 16591 16833 16829 16840 16802 16837 16826 16651 16650 16629 16389 15288 15227 15226 14996 14995 14994 15225 14976 14977 14840 13677 15532 14199 15550 15529 15530 16511 16508 16510 16509 15546 16517 16495 16516 16488 16494 16489 16518 16515 16514 15545 15549 15548 15031 17998 17996 17992 17991 17997 17987 17990 17989 17985 17986 15527 16758 16457 16455 16458 16475 16467 16466 15531 15528 17960 18020 18019 16628 16512 16513 16622 16627 16623 16472 16471 16609 16597 15036 16598 16610 16608 16611 16607 16606 16484 15101 15106 15107 15105 15100 15088 15099 15098 15089 15080 16465 15026 15027 15097 15087 15086 16617 16616 16618 16621 16620 15103 15143 15144 15400 15388 15402 15403 15398 15404 15399 15392 15391 15387 15396 15395 15389 15401 15366 15390 15370 16586 16449 16770 16759 16772 17704 16756 16585 16760 16735 16771 16773 17703 16476 16768 16767 16765 16396 16395 17875 17874 17872 16397 16394 17701 16764 16761 16769 16393 16842 17940 16468 16590 16739 16757 16827 16578 16470 16456 16838 16588 17957 17958 17956 17945 16474 16831 16825 16388 16828 17822 16839 16843 16841 16587 16830 16469 15268 15267 15269 14190 14192 15266 15250 15265 14193 14194 12339 12340 12838 12857 12856 12338 13471 12845 12337 12336 12853 12854 8163 8162 8161 12855 12848 12852 12851 12334 12829 12849 12331 12335 12332 12333 12850 8157 9708 9709 9720 9865 9860 9872 9718 9703 9866 9719 15285 15286 15287 13668 15244 15243 15284 15279 15277 15280 15261 15278 15283 15264 15237 15281 17942 16575 15260 15282 15254 16576 15238 15229 15258 15251 15115 16571 16577 13667 15252 15239 15222 13665 13664 15249 15242 15228 15248 13666 15259 15253 17944 15240 15241 17943 14910 14911 14924 14912 14925 14905 14866 14865 14864 14888 14885 14890 14889 14867 14906 14907 14896 14895 13497 13496 13519 13516 13521 13498 13520 14940 13585 13576 13575 13586 13581 13582 13583 13584 14941 14935 14939 14938 13649 13477 13628 13643 14174 14182 14173 13640 13641 14175 13642 13479 13608 14157 14181 14163 14929 14863 14937 13574 13579 13573 13580 11400 11398 11493 10906 10972 9537 11467 11468 10970 11466 10943 10076 10121 10120 11459 11460 10934 10933 11463 11462 11461 10907 11464 10941 10942 10932 10940 11457 11458 10931 11490 11469 11487 11488 10100 10119 10118 10091 9600 10090 10094 10099 10092 9561 10095 10098 10093 12764 12765 12762 12763 12766 12620 12621 12618 12619 10097 10969 10939 11480 10967 10956 11482 10968 10965 11479 10955 10964 11485 10952 11481 11486 11483 10949 11484 10962 10946 10947 11476 10948 10954 10963 10966 11465 10930 11183 11182 13527 13556 13540 13534 13542 13538 13535 13541 13536 13555 13554 13526 13537 13543 12222 13657 13600 14852 13653 13654 14856 14860 14853 14850 14854 14857 14859 14887 14861 14886 14858 12524 13699 14217 12213 12209 12208 13483 12214 12196 12215 12206 13490 13488 13492 13518 13517 13484 13485 13487 13491 13481 14849 13525 13524 12195 13572 13571 13567 13566 13570 13578 13565 12188 12218 12219 13559 13564 13558 13568 13493 13577 13561 13560 13494 13569 12280 13495 14152 14148 14154 14156 14146 14155 14147 14151 14150 14153 14149 12820 12819 13650 13656 13651 13655 14177 14179 14180 15128 15127 15129 15112 15130 15131 14961 14959 13475 13476 13522 13523 13589 13557 13563 13562 16440 16954 16958 18079 18086 18074 16956 16955 16422 16430 18080 16432 16423 16953 16948 16959 16957 16438 16949 16439 16950 16947 16431 16941 16942 16567 16566 14211 14212 15537 15006 15538 16554 16548 16563 16553 15540 15536 15002 16564 16565 15007 15535 15534 15004 15005 15003 15541 15008 15539 14208 15414 15421 15413 15422 15420 15415 15423 6920 6922 6923 8197 8351 8727 8198 8349 8350 8340 8199 8200 12285 15419 15183 15412 15411 15410 15418 12129 12152 12147 12150 12151 12128 12284 12127 14855 13652 15045 15042 15044 15043 7008 13596 13597 13594 13595 13598 13599 15303 15304 15353 15305 14221 14210 14218 13702 13693 13685 13694 13701 14220 14216 14219 14209 14215 13700 15349 15352 13639 13638 15198 15195 15185 15194 15197 15179 13637 15196 15184 13636 13635 13634 14172 14171 14170 14169 14166 14165 13692 13684 15342 15348 15336 15341 13633 14167 14168 15350 15351 16421 16946 6970 6971 6965 6980 6981 6982 12312 12318 12317 12828 12315 12321 12316 12325 12323 12324 12826 12827 12148 12149 12122 12123 12830 12836 12837 12832 12299 12833 12831 12300 12302 12303 12310 12311 12301 12835 12276 12309 12308 11167 11247 11248 12462 12822 12824 12821 12823 12825 11368 11369 12220 13480 12536 7127 7091 7089 12204 7122 12211 12205 7128 7090 7134 13486 10902 11437 11419 11444 10890 10739 12806 12805 12804 12813 12272 12273 12274 12259 12108 12110 12271 14845 14844 10919 16420 16429 12761 10096 9804 9803 9802 10089 10835 10844 10836 10838 10842 10841 10759 10834 10826 12159 10823 10827 10757 10832 10779 10819 10760 10780 10849 10850 10851 10754 10753 10745 10833 10824 10825 10843 10839 12124 10778 10820 10848 10837 10846 10781 10782 10783 10862 12192 12193 12191 12189 12194 10744 12383 12384 12126 10903 10904 10905 12834 11436 15216 12461 11435 9521 9369 9372 9370 9500 9806 12125 9534 9805 11233 9536 9535 9501 12117 8291 8289 8292 10822 9491 9493 9490 9492 9487 9489 9488 10831 10830 9542 12111 12533 12538 9484 10821 12532 9555 10756 10750 10746 10751 10747 10752 10749 10743 10068 10050 10075 9533 10066 10067 10063 9530 11090 10062 10061 10064 10065 15294 10748 9796 9659 9797 9482 9545 9546 10088 11232 9786 11155 9787 9788 12231 8179 9785 9801 9807 8180 8174 8175 9864 9526 15293 9532 9531 9586 10113 10112 10116 10111 10115 9578 9579 9597 10117 9598 10909 11017 11075 11028 11299 11298 11092 11076 10741 12617 9595 9587 9583 9596 9580 10110 9594 9599 15291 13682 13683 13691 15301 15295 15302 15292 12197 9497 11451 12202 10916 12199 11166 11165 10914 10915 11015 11016 11449 11446 11448 11447 10861 12203 11450 10860 10857 10856 10859 10910 10858 11411 11413 11409 9495 11414 11408 11452 11416 11418 11412 11454 11453 9498 9483 9485 9486 9499 11456 9494 11455 3680 3682 12717 12698 12600 12697 12601 12729 12716 12715 12728 12599 15215 15214 12119 12120 12118 12112 12115 12116 12121 12754 12756 12749 12755 12750 12748 12758 12757 12602 12397 12535 12534 12815 12817 12818 12816 10738 10737 10865 10961 11430 12459 12460 11434 11433 11431 11432 10899 10900 10901 11429 11428 10895 12330 12800 12801 12798 12799 12268 12802 12270 12264 12803 12269 12107 12788 9368 12797 11031 11026 11244 11245 11198 11242 11243 11246 12288 10059 10060 11164 11169 11181 11118 11119 11120 11228 9528 9529 12781 12782 10913 10918 10917 10912 12786 12783 12787 12785 12613 12611 12567 12566 12565 12612 12615 12614 12598 12610 12604 12603 12779 12780 12778 11072 11088 11089 11078 11077 9527 10084 10085 10087 10083 10086 10049 10047 10048 10043 10044 10045 10046 9548 9544 9543 9549 9799 11027 11029 10039 10040 10042 10041 9661 9658 9660 11014 11115 11117 11168 12106 11030 10995 9577 9585 9593 11241 11229 11234 11235 12286 12287 12282 12281 12229 12226 12225 12230 12228 12227 12113 12640 12642 12641 12643 12283 12696 12537 12479 12478 12777 10853 11417 10911 12210 11445 11042 11404 11406 11489 10971 11093 11491 11410 12114 12217 9547 12190 12859 12207 12200 12201 12216 12212 11087 15263 13662 15247 18189 14191 10114 9371 18176 11091 15354 11415 12198 12784 12759 16737 12747 12751 13489 14936 12616 12760 15073 15071 15053 15587 15588 15061 15590 15069 15585 15581 15072 15074 15063 15593 15059 15055 15056 15586 15589 15062 15591 15583 15054 15592 15070 15075 1246 1260 1248 1261 1245 2593 5440 5439 5436 5437 5442 5441 5438 13604 15367 15374 15371 15122 15373 15372 15375 15123 15376 16463 16464 16644 16583 16584 13830 13831 13769 13764 16660 13625 14159 15117 17821 15095 15094 17823 16570 15116 15114 15111 15110 15109 17644 14176 14160 14158 14162 17588 13627 14161 17684 15118 13626 17629 17597 17665 17592 17634 17625 17596 17753 17630 17670 15096 17598 17591 17666 17595 17631 15102 15113 13780 15024 15025 15020 15019 13814 5086 5085 5088 5082 5083 5327 5321 5329 5308 5313 5323 5311 5756 5852 5319 5317 5884 5755 5853 5872 4387 5342 5322 5328 5634 4458 4514 4385 5309 5312 5310 5325 5326 5320 5318 5316 5910 5911 5902 5903 5913 5905 5906 5912 5904 12279 12278 14851 14908 14909 14971 14966 14965 14969 14964 14967 14968 14963 15135 13768 13765 13767 13766 13828 13829 13810 13815 13827 13826 13825 13816 15578 15060 15579 15052 15580 15577 15051 15584 17669 17593 14893 14891 14892 14899 14901 14902 14898 14903 14900 14894 14058 14057 13755 5914 5909 14970 16490 16224 15377 15021 15022 16506 16505 16503 16454 16452 16384 14132 14131 13528 16803 13539 13533 14107 14106 13811 10530 10528 9991 9959 9862 9863 9960 9979 13812 14028 14017 13813 14008 15121 13601 13602 14000 16462 16459 16461 16451 12442 16807 16625 18183 18184 16818 16806 18186 18185 18178 17983 16820 16834 16811 16819 16813 16626 16812 16810 16821 11319 11320 14972 11317 11318 17993 18177 4415 4069 4071 4070 4431 4485 4513 4497 4491 4430 4489 4498 4500 4305 4490 4492 4499 4486 4494 4487 4303 4495 4293 4304 4496 4488 4493 4026 4027 3891 3892 4028 5660 5661 5695 5694 5680 5681 5678 4132 5677 5698 5639 5699 5657 5658 5656 5655 5531 5527 5528 5534 5533 5535 5530 5532 5675 5664 5676 5669 5665 5670 5666 5668 5671 5659 5679 5654 5526 4501 4386 5341 5315 5340 5324 4502 12166 12168 12157 12155 12156 12153 12154 12173 12185 12174 12169 12172 12186 12167 12187 12170 12164 12165 12171 12162 12161 12163 12160 12158 12551 12552 14842 14841 14980 14979 14962 14974 14978 14975 14036 14037 15134 15136 15137 13473 13472 13610 13611 13605 13606 13592 13609 13593 13590 9364 9519 9520 9518 9504 9503 9366 9365 10055 10070 10069 10073 10072 10056 10074 11179 11180 11136 11137 11177 11178 11175 11176 11174 10054 10052 10053 10051 10081 10082 10080 10078 10077 10079 11038 11039 11040 11041 10999 11000 10998 8002 11037 11036 10996 12689 12688 11143 11161 11158 11159 11160 11144 12443 12631 12648 11142 11141 12630 11290 11279 11074 11262 11261 11277 11278 11147 11008 11025 11187 11186 11188 11149 11150 11148 11138 11020 11005 11023 11024 11022 11033 11032 11034 11018 11035 11013 11019 11173 11171 11154 11157 11170 11172 11156 11163 11153 11152 11151 11146 11162 11006 11012 11007 11003 11009 11002 11004 11011 10921 10922 10923 11139 11010 9558 9559 11312 11313 11311 11316 11306 11305 11315 11304 11308 11307 11314 11197 11196 11185 9584 11184 11227 9576 11195 11194 9575 9560 11135 11122 11121 10103 10101 10104 10105 10102 11134 11132 11131 11133 11130 10058 10991 10980 10973 11281 10981 10993 10994 11293 11280 11263 10990 11289 11292 10982 10992 11291 11285 11259 11288 11296 11294 11282 11295 11283 11284 12647 12386 12659 12444 12646 12680 12675 12685 12673 12674 12445 12682 12676 12684 12686 12687 15488 15492 15340 15497 15485 15487 15489 15467 15435 15436 15338 15339 15455 11472 11470 11473 12304 12305 12307 12306 15337 15466 15454 15453 16460 16477 16306 12683 12681 12677 12672 15493 17667 17601 17820 17846 15494 15496 15495 15486 13999 5081 5080 10740 12812 12794 12238 12239 12293 13779 13778 13777 13773 13776 13757 13771 13772 13770 13751 13756 12102 12807 12808 12811 12810 12257 12258 12241 12242 12103 12104 12240 12790 12789 12791 12793 12792 12256 12291 12292 12290 12289 14032 14035 14031 14034 14001 14019 14018 14026 13997 14021 13736 14020 13737 14023 14033 14022 13732 13738 14030 13731 14027 14029 13719 13718 13729 13730 13720 13711 11425 10854 10852 10855 11443 12668 12667 12650 12651 12632 12649 12408 12400 12403 12411 12410 12382 12401 12387 12367 12369 12368 12359 12349 12658 12351 12660 12360 12361 12652 12662 12394 12395 12391 12393 12374 12390 12392 12348 12405 12406 12362 12661 12381 12350 12358 12342 12657 12663 12407 12654 12628 12665 12653 12363 12404 12388 12666 12664 12402 12489 12550 12487 12488 12523 12525 12542 12541 12540 12526 12545 12549 12547 12546 12539 12548 12506 10889 10888 11424 11423 10733 10887 12544 12543 11442 11422 11438 11439 11421 11441 11420 13728 10908 13529 13530 13531 13532 12505 10873 10924 12343 12484 12380 12373 12356 12375 12378 12528 12529 12372 12522 12353 12511 12510 12513 12399 12503 12509 12512 12501 12371 12352 12377 12530 12365 12379 10929 12502 12504 12527 10926 12500 12370 10927 12514 10928 12515 12499 12490 12521 12354 12491 12376 12516 12520 12364 12355 14006 14003 13998 12233 13754 13753 14005 14007 14002 14004 12235 12232 12221 12237 12236 12224 12223 11471 10945 10944 10869 10870 10805 10804 10798 10803 10818 10816 10800 10789 10788 10799 10797 10817 12385 12638 12637 12639 10896 10898 10897 12563 12556 12555 13752 12564 12557 12458 12446 12457 12441 11427 12456 12447 12553 10953 12389 16641 12409 11477 5519 5646 5645 5633 5883 5870 5871 5754 4657 4658 4072 4068 4073 4504 4520 4521 4516 4522 4507 4509 4508 4506 4510 4518 4519 4517 4505 4512 4481 4249 4131 4140 4156 4139 4133 4130 4138 4129 4141 4263 4262 4253 4252 4260 4261 4259 4258 4294 4251 4020 5052 5054 5047 5049 6867 5396 5397 5395 5258 5259 5388 5390 5387 5795 5798 5796 5797 5501 5800 5799 5791 5790 5792 5784 5793 5794 5789 5788 5389 5851 5855 5859 5628 5861 5867 5862 5673 5869 5674 5866 5857 5672 5662 5631 5865 5632 5629 5860 5882 5627 5864 5858 5863 5856 5854 5868 5630 5500 5512 5507 5498 5509 5502 5511 5510 5508 5499 5525 6436 6435 5619 5891 5874 5850 5876 5625 5888 5890 5626 5620 5621 5878 5877 5622 5875 5635 5879 5636 7285 7284 5618 7124 7125 7253 7241 7123 7239 7252 7240 7221 7222 7275 7279 7274 7280 7278 7271 7282 7273 7283 7281 7272 6876 6879 6877 6880 6881 6878 6758 6759 6909 7153 7157 7161 7159 7163 7160 7162 7158 6761 6745 6760 6748 6747 7166 7164 7167 7165 7220 7168 7169 6870 7006 7255 6766 7260 7004 7250 7010 7247 6995 6988 7259 7005 7254 7243 7007 7245 6994 7256 6993 6628 7258 6987 6764 6765 7246 7257 7244 6627 7242 7003 7219 7248 8062 8047 8061 6420 7237 7233 7043 7224 7227 7042 7000 7001 6991 6990 7041 7238 7229 7228 7230 7223 7234 7226 7232 7236 7235 7231 7225 7002 7251 7031 6992 6828 6831 6830 7079 7088 7087 7078 5469 5468 5477 6829 5889 5624 5623 5886 5885 5887 5881 5663 7081 5873 7077 7080 7789 7398 7739 7691 7736 7737 7804 7805 6423 6421 7790 7792 10866 12629 12634 12635 12636 12633 9988 6757 6756 10871 10867 10734 12398 10872 10735 10868 12396 6868 6894 6871 6869 7032 6998 6999 6996 6989 6997 10786 10784 10787 10785 11264 11260 11265 11268 9903 9905 9902 9906 9907 9904 8178 9898 9899 9897 9901 9900 9891 9647 9896 9895 9958 8177 8176 8125 8126 8277 8532 8528 8530 8527 8529 8526 8531 8538 8537 8533 8534 8535 8536 6411 6413 8236 8263 8237 8248 8250 8239 8249 8238 8240 8246 8247 8245 9502 9983 9745 9748 9994 9744 9993 9733 9985 9980 9732 9984 9981 9741 9982 9743 9995 9742 9957 9992 9996 9725 9998 9726 9997 9986 9731 10864 10863 11269 11266 11270 11267 11297 15378 15381 15379 15380 15434 14055 14056 14130 14129 13987 15273 15272 15382 15383 13921 13920 15469 15207 15202 15208 15458 15433 15464 15217 15472 15461 15471 15209 15459 15220 15221 15460 15224 15474 15218 15219 15456 15457 15468 15470 15473 15462 13905 14016 15442 15451 15441 15449 15257 15452 15256 15444 15465 15438 15450 15443 15437 15206 9158 13893 14066 14098 14067 13970 14086 13969 14116 14120 14119 14126 14127 14128 13971 14123 14117 14124 14118 14125 15015 14015 16815 16624 16582 16814 16579 15275 15201 13985 13986 13907 13902 13901 13874 13875 13916 13917 13919 13857 13856 13858 13918 13915 17984 17941 16573 16574 11478 12554 11474 12531 11021 9557 11140 11145 14203 14054 14046 14052 14053 14049 14042 14045 14041 14050 14044 14051 14043 13981 13984 13982 13983 13935 13980 13936 13673 13675 13676 13674 13934 16580 16809 16808 16614 16817 16581 16816 13870 13873 12295 12296 12297 13859 13869 13871 13860 13872 12298 13868 12847 12841 12843 12842 12839 12840 12846 12313 13933 13932 13925 13926 12322 13923 13924 13922 12314 13603 13658 15084 15204 15205 9154 9156 15085 15083 16615 16572 13899 13900 13891 13908 13909 13911 13892 13910 13914 13894 13895 13763 13726 13725 12234 10802 10796 10795 10801 10791 10792 10793 10794 13881 13897 13898 13896 13722 13721 13724 13723 13712 9935 9936 9943 9942 9934 9946 9939 9945 9937 9944 9947 9938 9671 9672 9630 9670 9631 8619 8615 8375 8372 8356 8373 8133 8127 13884 13890 13885 13889 8278 13853 13912 13913 13883 13878 13880 13882 13879 8522 8589 6368 6367 6369 8134 8617 7997 8623 8628 8363 8135 7996 8374 8627 8616 8612 8626 8588 8376 8629 8611 8625 8130 8116 8117 8129 8114 8614 8357 8624 8613 8364 8362 12267 12265 12266 13979 13973 13972 13967 10022 10023 13761 13762 15081 15092 15091 15093 13760 13743 15090 13758 13759 10829 10828 13903 13904 14013 14014 14065 14011 14010 14009 14012 9159 9161 12644 12645 11271 11272 11274 11273 11275 11276 12507 10107 13646 12738 12737 15245 15439 14072 14083 14075 13888 14068 14073 14069 13855 15255 15447 14095 14087 14090 13852 11912 11899 11896 11897 11911 14100 14093 13850 14103 14088 14101 13832 13833 13840 13851 14091 14105 14092 14102 14099 13849 13839 14104 13838 14097 14084 14085 15445 15446 15440 15448 14074 13887 14096 14080 14081 14082 14089 14064 13906 13848 13837 13847 13968 12277 12706 12519 12703 12714 12711 12713 12712 12700 12705 11360 11328 11329 11348 11231 12702 12710 12707 12701 12709 12517 12708 9669 9666 9665 9624 9625 9629 14076 14079 14077 14078 9664 9663 9650 9643 9656 9667 9668 9627 14070 13886 13876 14071 13717 13727 13750 12357 9790 9774 9791 9789 9794 9792 9793 9654 9653 9651 9636 9652 9655 9644 9649 13733 13734 13775 13774 13846 13845 13835 13836 13715 11347 11346 11230 11359 9861 9990 9977 9978 15203 15212 15210 15246 15213 15082 15108 15211 13716 13714 13749 13747 13748 6633 9828 9827 9604 9623 9622 9621 9612 9613 9611 9620 9610 12346 8459 8458 9626 9746 9784 10935 10938 10937 10936 9639 9496 9858 11327 11345 11337 11334 11344 11335 11342 11330 11331 11343 11336 11358 9740 9824 9825 9818 9826 9816 9817 8564 8518 8571 8572 8563 8517 8562 8160 8159 8736 8734 8158 8735 9819 13713 12347 12345 12344 9967 9974 9965 9962 9961 9989 9968 9973 9976 9975 9966 12724 12722 12732 12735 12486 12736 12726 12733 12720 12470 12731 12721 12469 12481 12730 12482 12480 12471 12463 12718 12719 12723 12464 12695 12734 12483 12468 10920 9730 13739 9608 8733 13745 13742 13744 13741 13740 10019 10021 10009 10011 10018 10013 10016 10020 10010 10012 10017 11391 11392 11379 11378 11385 11388 11381 11380 11382 11386 11389 11390 9773 9772 9771 9776 9782 9775 9783 9777 9778 9638 9641 9642 9640 9637 9635 8600 8603 8606 8604 8411 8601 8605 8412 8410 8602 9781 9780 9634 9633 8620 9779 9769 9964 9970 9971 9963 9972 9969 9737 9739 9738 9727 9770 9729 9728 8371 8361 9734 9736 9735 11387 11114 11113 9618 9619 9605 9615 9616 9617 9614 10977 11111 11354 11100 11112 11355 11365 11367 11349 11350 11352 11353 11102 11101 11351 11094 10979 10989 10976 10988 10978 10987 11110 11095 11361 11364 11362 11363 11366 11326 11357 11099 12473 12472 11341 11338 11339 11333 11340 11332 8369 8370 9607 9609 8359 8360 8365 8368 8358 8366 8367 9632 9606 8598 8593 8594 8595 8597 8596 8599 8592 8607 11106 11303 8401 10984 10985 10983 10986 10974 10975 11001 11097 11108 11104 11098 11105 11109 11096 11103 11107 13841 13877 13842 13843 13844 13834 12508 12475 12466 12476 12465 12477 12474 12467 12699 12727 12518 12704 12796 10109 10108 13746 9762 9752 9766 9761 8190 9763 9753 9765 9764 8191 8732 8689 7367 7370 7371 6821 7365 6822 8383 8393 6819 8384 8392 7364 7363 7366 6820 8397 13482 9568 9569 9567 9566 8450 8189 8188 8207 8206 8394 8396 8395 8446 6837 8456 8457 8449 8448 6846 8447 6838 9815 1147 1174 1189 1192 1193 2782 2781 17319 17320 17322 9019 9017 9018  0
1443.61/1443.69	
1443.61/1443.69	c Core has size 14729

OK	14729

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-3501437-1308041956/watcher-3501437-1308041956 -o /tmp/evaluation-result-3501437-1308041956/solver-3501437-1308041956 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501437-1308041956.gcnf 

running on 2 cores: 0,2

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: 6.17 4.47 1.95 4/184 1904
/proc/meminfo: memFree=31442308/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=11804 CPUtime=0 cores=0,2
/proc/1904/stat : 1904 (runsolver) S 1902 1904 1767 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 915795415 12087296 50 33554432000 4194304 5436572 140735105992912 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 2 0 0 0
/proc/1904/statm: 2951 50 31 304 0 2643 0

[startup+0.0660941 s]
/proc/loadavg: 6.17 4.47 1.95 4/184 1904
/proc/meminfo: memFree=31442308/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=17208 CPUtime=0.04 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 2807 0 0 0 4 0 0 0 22 0 1 0 915795415 17620992 1412 33554432000 4194304 4365125 140735480765488 18446744073709551615 4315437 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 4302 1412 262 42 0 1450 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17208

[startup+0.101088 s]
/proc/loadavg: 6.17 4.47 1.95 4/184 1904
/proc/meminfo: memFree=31442308/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=17208 CPUtime=0.07 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 2906 0 0 0 7 0 0 0 22 0 1 0 915795415 17620992 1469 33554432000 4194304 4365125 140735480765488 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 4302 1469 262 42 0 1450 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17208

[startup+0.301099 s]
/proc/loadavg: 6.17 4.47 1.95 4/184 1904
/proc/meminfo: memFree=31442308/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=19464 CPUtime=0.27 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 4239 0 0 0 27 0 0 0 23 0 1 0 915795415 19931136 2083 33554432000 4194304 4365125 140735480765488 18446744073709551615 4243292 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 4866 2083 262 42 0 2014 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 19464

[startup+0.700979 s]
/proc/loadavg: 6.17 4.47 1.95 4/184 1904
/proc/meminfo: memFree=31442308/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=24832 CPUtime=0.68 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 9580 0 0 0 67 1 0 0 25 0 1 0 915795415 25427968 3430 33554432000 4194304 4365125 140735480765488 18446744073709551615 4257651 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 6208 3430 262 42 0 3356 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24832

[startup+1.50084 s]
/proc/loadavg: 6.17 4.47 1.95 5/190 1952
/proc/meminfo: memFree=31441552/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=52088 CPUtime=1.48 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 24785 0 0 0 145 3 0 0 25 0 1 0 915795415 53338112 7137 33554432000 4194304 4365125 140735480765488 18446744073709551615 4250320 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 13022 7137 262 42 0 10170 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52088

[startup+3.10062 s]
/proc/loadavg: 6.17 4.47 1.95 5/190 1952
/proc/meminfo: memFree=31318048/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=200580 CPUtime=3.08 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 89404 0 0 0 298 10 0 0 25 0 1 0 915795415 205393920 29780 33554432000 4194304 4365125 140735480765488 18446744073709551615 4257799 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 50145 29780 262 42 0 47293 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 200580

[startup+6.30104 s]
/proc/loadavg: 6.00 4.46 1.97 5/190 1952
/proc/meminfo: memFree=31054200/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=309912 CPUtime=6.27 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 179942 0 0 0 608 19 0 0 25 0 1 0 915795415 317349888 47772 33554432000 4194304 4365125 140735480765488 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 77478 47772 262 42 0 74626 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 309912

[startup+12.7008 s]
/proc/loadavg: 5.84 4.46 1.98 5/190 1952
/proc/meminfo: memFree=30603524/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=686108 CPUtime=12.68 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 413619 0 0 0 1223 45 0 0 25 0 1 0 915795415 702574592 109395 33554432000 4194304 4365125 140735480765488 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 171527 109414 264 42 0 168675 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 686108

[startup+25.5007 s]
/proc/loadavg: 5.43 4.43 2.01 5/190 1953
/proc/meminfo: memFree=30558496/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=657356 CPUtime=25.48 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 472879 0 0 0 2495 53 0 0 25 0 1 0 915795415 673132544 104095 33554432000 4194304 4365125 140735480765488 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 164339 104095 264 42 0 161487 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 657356

[startup+51.1011 s]
/proc/loadavg: 5.00 4.41 2.07 5/190 1990
/proc/meminfo: memFree=30898736/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=490028 CPUtime=51.08 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 630273 0 0 0 5036 72 0 0 25 0 1 0 915795415 501788672 87578 33554432000 4194304 4365125 140735480765488 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 122507 87578 264 42 0 119655 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 490028

[startup+102.307 s]
/proc/loadavg: 4.43 4.35 2.16 5/190 2103
/proc/meminfo: memFree=30650364/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=502240 CPUtime=102.28 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 842192 0 0 0 10130 98 0 0 25 0 1 0 915795415 514293760 89040 33554432000 4194304 4365125 140735480765488 18446744073709551615 4306828 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 125560 89040 264 42 0 122708 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 502240

[startup+162.3 s]
/proc/loadavg: 4.19 4.29 2.28 5/188 2219
/proc/meminfo: memFree=30644532/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=599224 CPUtime=162.28 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 1229549 0 0 0 16083 145 0 0 25 0 1 0 915795415 613605376 106705 33554432000 4194304 4365125 140735480765488 18446744073709551615 4271958 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 149806 106705 264 42 0 146954 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 599224

[startup+222.3 s]
/proc/loadavg: 4.07 4.24 2.39 5/190 2226
/proc/meminfo: memFree=30405756/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=511812 CPUtime=222.28 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 1558379 0 0 0 22044 184 0 0 25 0 1 0 915795415 524095488 101210 33554432000 4194304 4365125 140735480765488 18446744073709551615 4275899 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 127953 101210 264 42 0 125101 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 511812

[startup+282.301 s]
/proc/loadavg: 4.10 4.21 2.49 5/190 2229
/proc/meminfo: memFree=30411800/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=565056 CPUtime=282.28 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 1794090 0 0 0 28014 214 0 0 25 0 1 0 915795415 578617344 107644 33554432000 4194304 4365125 140735480765488 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 141264 107662 264 42 0 138412 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 565056

[startup+342.301 s]
/proc/loadavg: 4.13 4.20 2.59 5/190 2232
/proc/meminfo: memFree=30362740/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=515204 CPUtime=342.29 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 2095127 0 0 0 33979 250 0 0 25 0 1 0 915795415 527568896 112434 33554432000 4194304 4365125 140735480765488 18446744073709551615 4245201 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 128801 112434 264 42 0 125949 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 515204

[startup+402.3 s]
/proc/loadavg: 4.05 4.16 2.68 5/190 2234
/proc/meminfo: memFree=30261764/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=816676 CPUtime=402.29 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 2487903 0 0 0 39929 300 0 0 25 0 1 0 915795415 836276224 157108 33554432000 4194304 4365125 140735480765488 18446744073709551615 4262060 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 204169 157108 264 42 0 201317 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 816676

[startup+462.301 s]
/proc/loadavg: 4.02 4.13 2.76 5/190 2281
/proc/meminfo: memFree=30374844/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=691240 CPUtime=462.29 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 2843617 0 0 0 45883 346 0 0 25 0 1 0 915795415 707829760 149574 33554432000 4194304 4365125 140735480765488 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 172810 149574 264 42 0 169958 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 691240

[startup+522.301 s]
/proc/loadavg: 4.00 4.10 2.83 5/190 2322
/proc/meminfo: memFree=30643784/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=709324 CPUtime=522.29 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 3175631 0 0 0 51843 386 0 0 25 0 1 0 915795415 726347776 154063 33554432000 4194304 4365125 140735480765488 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 177331 154063 264 42 0 174479 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 709324

[startup+582.3 s]
/proc/loadavg: 4.05 4.09 2.91 5/190 2398
/proc/meminfo: memFree=30009576/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=725708 CPUtime=582.3 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 3410707 0 0 0 57816 414 0 0 25 0 1 0 915795415 743124992 156151 33554432000 4194304 4365125 140735480765488 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 181427 156151 264 42 0 178575 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 725708

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=29969304/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=691240 CPUtime=702.29 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 3929731 0 0 0 69748 481 0 0 25 0 1 0 915795415 707829760 149574 33554432000 4194304 4365125 140735480765488 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 172810 149574 264 42 0 169958 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 691240

[startup+762.306 s]
/proc/loadavg: 3.15 3.83 3.02 3/178 2451
/proc/meminfo: memFree=30266304/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=715468 CPUtime=762.3 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 4189852 0 0 0 75717 513 0 0 25 0 1 0 915795415 732639232 154866 33554432000 4194304 4365125 140735480765488 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 178867 154866 264 42 0 176015 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 715468

[startup+822.301 s]
/proc/loadavg: 2.42 3.49 2.95 3/178 2453
/proc/meminfo: memFree=30258212/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=731848 CPUtime=822.29 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 4447645 0 0 0 81687 542 0 0 25 0 1 0 915795415 749412352 156922 33554432000 4194304 4365125 140735480765488 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 182962 156922 264 42 0 180110 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 731848

[startup+882.301 s]
/proc/loadavg: 2.15 3.22 2.89 3/178 2454
/proc/meminfo: memFree=30264396/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=719564 CPUtime=882.3 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 4736179 0 0 0 87652 578 0 0 25 0 1 0 915795415 736833536 155410 33554432000 4194304 4365125 140735480765488 18446744073709551615 237278573641 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 179891 155410 264 42 0 177039 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 719564

[startup+942.3 s]
/proc/loadavg: 2.05 2.99 2.83 3/178 2456
/proc/meminfo: memFree=30270196/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=709324 CPUtime=942.3 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5017600 0 0 0 93614 616 0 0 25 0 1 0 915795415 726347776 154093 33554432000 4194304 4365125 140735480765488 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 177331 154093 264 42 0 174479 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 709324

[startup+1002.3 s]
/proc/loadavg: 2.02 2.81 2.78 3/178 2458
/proc/meminfo: memFree=30266440/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=733896 CPUtime=1002.3 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5089713 0 0 0 99604 626 0 0 25 0 1 0 915795415 751509504 157177 33554432000 4194304 4365125 140735480765488 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 183474 157177 264 42 0 180622 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 733896

[startup+1062.3 s]
/proc/loadavg: 2.05 2.67 2.73 3/178 2459
/proc/meminfo: memFree=30263440/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=721612 CPUtime=1062.31 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5252310 0 0 0 105582 649 0 0 25 0 1 0 915795415 738930688 155667 33554432000 4194304 4365125 140735480765488 18446744073709551615 4244660 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 180403 155667 264 42 0 177551 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 721612

[startup+1122.3 s]
/proc/loadavg: 2.02 2.55 2.68 2/172 2485
/proc/meminfo: memFree=31030056/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=709324 CPUtime=1122.3 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5530330 0 0 0 111548 682 0 0 25 0 1 0 915795415 726347776 154093 33554432000 4194304 4365125 140735480765488 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 177331 154093 264 42 0 174479 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 709324

[startup+1182.3 s]
/proc/loadavg: 1.37 2.26 2.57 2/172 2486
/proc/meminfo: memFree=31034488/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=740040 CPUtime=1182.31 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5579094 0 0 0 117542 689 0 0 25 0 1 0 915795415 757800960 157948 33554432000 4194304 4365125 140735480765488 18446744073709551615 4245180 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 185010 157948 264 42 0 182158 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 740040

[startup+1242.3 s]
/proc/loadavg: 1.13 2.03 2.47 2/172 2488
/proc/meminfo: memFree=31038436/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=731848 CPUtime=1242.31 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5649654 0 0 0 123534 697 0 0 25 0 1 0 915795415 749412352 156920 33554432000 4194304 4365125 140735480765488 18446744073709551615 4267844 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 182962 156920 264 42 0 180110 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 731848

[startup+1302.3 s]
/proc/loadavg: 1.05 1.84 2.38 2/172 2490
/proc/meminfo: memFree=31030100/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=748232 CPUtime=1302.32 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5651710 0 0 0 129534 698 0 0 25 0 1 0 915795415 766189568 158976 33554432000 4194304 4365125 140735480765488 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 187058 158976 264 42 0 184206 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 748232

[startup+1362.3 s]
/proc/loadavg: 1.02 1.68 2.29 2/172 2491
/proc/meminfo: memFree=31038264/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=731848 CPUtime=1362.31 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5667884 0 0 0 135531 700 0 0 25 0 1 0 915795415 749412352 156920 33554432000 4194304 4365125 140735480765488 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 182962 156920 264 42 0 180110 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 731848

[startup+1422.31 s]
/proc/loadavg: 1.00 1.56 2.20 2/172 2493
/proc/meminfo: memFree=31039480/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=729804 CPUtime=1422.32 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5686885 0 0 0 141529 703 0 0 25 0 1 0 915795415 747319296 156663 33554432000 4194304 4365125 140735480765488 18446744073709551615 4257987 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 182451 156663 264 42 0 179599 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 729804

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

[startup+1433.5 s]
/proc/loadavg: 1.00 1.54 2.19 2/172 2493
/proc/meminfo: memFree=31036372/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=735944 CPUtime=1433.51 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5696514 0 0 0 142647 704 0 0 25 0 1 0 915795415 753606656 157434 33554432000 4194304 4365125 140735480765488 18446744073709551615 4242868 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 183986 157434 264 42 0 181134 0
Current children cumulated CPU time (s) 1433.51
Current children cumulated vsize (KiB) 735944

[startup+1439.91 s]
/proc/loadavg: 1.00 1.52 2.18 2/172 2493
/proc/meminfo: memFree=31036372/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=735944 CPUtime=1439.92 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5696514 0 0 0 143288 704 0 0 25 0 1 0 915795415 753606656 157434 33554432000 4194304 4365125 140735480765488 18446744073709551615 4249855 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 183986 157434 264 42 0 181134 0
Current children cumulated CPU time (s) 1439.92
Current children cumulated vsize (KiB) 735944

[startup+1441.5 s]
/proc/loadavg: 1.00 1.52 2.18 2/172 2493
/proc/meminfo: memFree=31036372/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=735944 CPUtime=1441.51 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5696514 0 0 0 143447 704 0 0 25 0 1 0 915795415 753606656 157434 33554432000 4194304 4365125 140735480765488 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 183986 157434 264 42 0 181134 0
Current children cumulated CPU time (s) 1441.51
Current children cumulated vsize (KiB) 735944

[startup+1443.1 s]
/proc/loadavg: 1.00 1.52 2.18 2/172 2493
/proc/meminfo: memFree=31036372/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=735944 CPUtime=1443.12 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5696514 0 0 0 143608 704 0 0 25 0 1 0 915795415 753606656 157434 33554432000 4194304 4365125 140735480765488 18446744073709551615 4242730 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 183986 157434 264 42 0 181134 0
Current children cumulated CPU time (s) 1443.12
Current children cumulated vsize (KiB) 735944

[startup+1443.5 s]
/proc/loadavg: 1.00 1.52 2.18 2/172 2493
/proc/meminfo: memFree=31036372/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=735944 CPUtime=1443.51 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5696514 0 0 0 143647 704 0 0 25 0 1 0 915795415 753606656 157434 33554432000 4194304 4365125 140735480765488 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 183986 157434 264 42 0 181134 0
Current children cumulated CPU time (s) 1443.51
Current children cumulated vsize (KiB) 735944

[startup+1443.7 s]
/proc/loadavg: 1.00 1.52 2.18 2/172 2493
/proc/meminfo: memFree=31036372/32950904 swapFree=67055440/67111528
[pid=1904] ppid=1902 vsize=735944 CPUtime=1443.72 cores=0,2
/proc/1904/stat : 1904 (MoUsSaka) R 1902 1904 1767 0 -1 4202496 5696518 0 0 0 143667 705 0 0 25 0 1 0 915795415 753606656 116420 33554432000 4194304 4365125 140735480765488 18446744073709551615 237278922887 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1904/statm: 183986 115908 268 42 0 181134 0
Current children cumulated CPU time (s) 1443.72
Current children cumulated vsize (KiB) 735944

Child status: 20
Real time (s): 1443.72
CPU time (s): 1443.74
CPU user time (s): 1436.67
CPU system time (s): 7.07392
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1167408

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

runsolver used 2.29065 second user time and 4.93325 second system time

The end

Begin job on node121 at 2011-06-14 10:59:17
IDJOB=3501437
IDBENCH=89981
IDSOLVER=2000
FILE ID=node121/3501437-1308041956
RUNJOBID= node121-1308041928-1785
PBS_JOBID= 13564692
Free space on /tmp= 73900 MiB

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

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

MD5SUM BENCH= 672d9e899c4896db5318263cea098f2b
RANDOM SEED=257852677

node121.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.817
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.63
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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.817
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.84
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.817
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.817
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.817
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.74
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.817
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.817
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:     32950904 kB
MemFree:      31442860 kB
Buffers:        187420 kB
Cached:         968020 kB
SwapCached:       9696 kB
Active:         478160 kB
Inactive:       829700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      31442860 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:          167452 kB
Writeback:           4 kB
AnonPages:      150480 kB
Mapped:          13376 kB
Slab:           135032 kB
PageTables:       5568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   404336 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= 74060 MiB
End job on node121 at 2011-06-14 11:23:20