0.00/0.01	c MoUsSaka with meat
16.60/16.63	
16.60/16.63	s UNSATISFIABLE
1641.64/1641.61	c Core is minimal
1641.64/1641.61	
1641.64/1641.61	v 40568 33752 33748 33749 33736 33692 33746 33745 33751 33741 33740 33750 33780 33638 33639 33612 33744 40537 40536 40540 40528 40529 33743 33742 33739 33738 33737 33747 33611 33735 26960 26961 26962 26953 26952 26948 26963 26947 20174 20176 26904 26956 26964 40532 40523 40524 40480 40539 40538 40531 40525 47356 40526 33755 33758 33757 33754 33753 33767 33773 33769 33772 33770 33765 33764 33766 33771 33768 33774 33775 33776 40530 40721 40720 40534 40533 47509 47508 47444 40818 33933 33932 40817 40752 40816 40527 40535 47606 54199 54198 54200 47604 47605 47540 54197 47316 47214 47215 47317 47328 47320 47325 47324 47188 47313 47312 47311 47268 47267 47322 47323 47327 54144 47326 47318 54105 54104 54108 54113 54112 47331 47330 47329 47333 47334 47315 47319 20168 26958 26957 26959 20254 13380 13388 20161 13386 13377 13385 13384 13376 20259 20258 20172 20173 13324 13325 13378 13328 13371 13327 13372 20257 20255 20260 20165 20164 20256 13383 20036 20063 20062 13387 13381 13382 41414 47422 40400 40426 40427 40479 20116 20160 20159 26851 26850 13373 13374 13379 26903 26824 26955 26954 26949 26950 26823 40399 26992 26951 20204 13416 27153 27163 27160 27155 27168 27170 27161 27169 27172 27152 27175 27151 27174 27146 27156 27162 27165 27171 27149 27150 27147 27158 27167 27148 27173 27166 27164 27157 27159 27154 47423 34029 34028 40634 34626 34030 33868 40656 47533 47532 47514 47536 47537 47513 47530 47529 47535 47539 47538 47531 47534 47526 47519 47522 47528 47524 47520 47523 47525 47527 47436 47439 47441 47440 47435 47437 47438 47442 47434 47518 47424 47429 47425 47427 47430 47432 47428 47433 47431 47517 47516 47515 47512 47521 47511 47510 33691 33777 33778 15903 16108 15111 15558 16109 15772 15267 13431 15700 15443 15796 16045 16046 15718 15582 15087 15881 15110 15469 16082 15583 16024 15468 16083 15444 15293 15902 15797 15268 15292 15771 15719 20364 20379 20381 20383 20035 33964 40749 40731 40735 40745 40744 40737 40732 40738 40746 40740 40743 40742 40747 40734 40736 40739 40751 40748 40741 40725 40750 40726 36160 36267 36266 36409 36446 35631 36410 35656 35832 36136 35657 35451 35922 36388 36244 33795 36245 36472 36064 35632 35475 35807 35833 36135 35947 35808 36083 35474 36447 36473 36161 36082 35946 34337 40730 40723 40722 40728 40733 40724 40729 40727 40652 40645 40643 40641 40639 40649 40636 40653 40630 40642 40651 40637 40640 40644 40646 40648 40650 40655 40654 40635 40647 47417 41123 54116 20378 20362 20360 20367 20376 20366 20377 20373 20372 20361 20384 20375 20385 20380 20386 20382 20374 20359 20365 20387 20371 20368 20369 20363 20370 47443 54306 40625 40628 40638 40629 40633 40626 40631 40632 40627 47413 47418 47415 47414 47416 47426 47420 47419 47421 35458 35472 35469 35457 35470 35473 35471 35456 33794 33787 33786 35455 33793 36470 36471 36453 35468 20171 40819 60985 60986 60988 60987 54307 53976 54002 54003 54321 54308 47346 47351 47350 47349 47347 47348 47344 47341 47342 47340 54301 54322 54313 54314 54316 54304 54300 54323 54324 54326 54312 54327 54311 54305 54315 54319 54303 54299 47352 47354 47345 47314 47321 47343 47353 54317 54318 54320 54325 54310 54302 54298 54309 47239 47240 40546 40545 40559 40562 40561 40557 40563 40552 40564 40558 40553 40565 40566 40560 40556 40554 40555 40477 40476 40456 40454 40455 42924 42420 40583 42239 42262 42710 42621 42948 42620 43197 42445 43055 43054 43176 43198 43261 43235 43234 43260 7276 6734 6729 6725 6724 6735 6739 6730 853 1028 1144 1152 856 1873 1791 1631 1882 1141 2120 3967 1879 1773 1145 1790 1150 3966 3959 4973 1794 1139 3969 846 5 4794 3964 3965 1870 854 1142 1153 851 1793 1785 1644 2121 1880 845 843 847 4795 10 2123 848 1885 2116 844 849 20453 42870 42852 42871 42734 42735 42263 42444 43033 42596 42949 34335 27058 21050 20357 20356 20452 4259 20167 20166 20175 20163 20170 20169 20162 42923 34031 13394 13390 20388 22859 22863 22862 22861 22346 22690 22871 21898 22371 22691 22833 22507 22056 22080 22370 21899 22584 22585 21875 22896 22870 22081 22669 22177 22232 22055 22231 22159 22560 20219 22488 22668 22559 22834 22257 22256 22812 22178 22506 22897 15990 15989 15667 15992 15966 15761 15991 15669 15938 15939 15596 15762 15624 15690 15691 15940 16074 15763 15914 15692 15968 15735 16073 15623 15916 16077 15693 16075 16076 15733 15598 13441 15937 15620 15694 15993 15941 15621 15764 15760 16071 15622 13304 14886 14885 14603 14889 14616 14713 14602 14888 14617 14725 14615 14716 14879 5019 3968 1877 6726 1147 2114 1151 6731 6727 7014 7015 6728 6732 6733 6598 6672 6669 6626 6671 6655 6666 6625 6675 6676 6674 42696 42695 42595 33813 33812 33817 43103 43104 43102 43100 40939 40938 40941 40940 40942 40937 40943 41557 41553 41552 41556 41554 41555 40605 41551 40601 40600 42987 42988 42985 42986 43022 42984 43021 43020 43018 43019 43016 42982 40574 34059 34075 34058 34060 36303 36332 36031 36128 36054 36302 36353 36304 34142 36278 36305 33805 35874 36301 36280 36330 34037 36126 36058 36099 36127 35986 35871 35848 35987 35984 36125 35873 36055 35960 35985 35962 36033 36124 36056 35846 36097 36057 35872 35988 35870 36435 36355 36438 36441 36354 36437 36356 36357 36439 36440 36047 35977 36114 36346 36185 36170 36169 36294 36293 36201 36217 36202 35534 35717 35716 35732 35549 35715 35533 35532 35351 35352 35731 35548 35547 34074 34160 34073 34174 35365 34773 34159 34172 35239 35251 35249 35254 35237 35238 35091 35090 35089 34981 35243 35076 35242 34980 35078 35077 34971 34982 35086 35088 35087 34978 35079 34173 35250 34967 33784 33785 34775 34774 35252 34966 34787 34788 34979 35364 34977 34161 34786 34965 34970 35253 35353 35080 35366 35730 33642 33663 33643 33664 36436 35983 35982 34057 36184 36300 36123 36299 36352 36122 36351 35862 35892 36168 36018 36183 36007 35906 36019 36020 35907 36006 36215 35891 36005 35908 36216 35863 34141 36053 35869 36186 35893 36433 36379 36381 36364 36434 36365 36366 36380 42419 43032 42541 42523 42542 42056 42081 41969 41805 41901 42080 41902 41970 41806 40927 40926 42185 42184 42162 42257 40581 40575 40582 42261 42260 42258 42245 43259 42243 42259 42244 43258 42256 42246 43241 42364 42365 41951 41781 41780 41950 40925 41884 42342 35696 35670 35697 35488 35514 35512 35515 35672 35490 35698 35511 35694 35513 35695 35693 35503 35510 35692 54210 48202 47607 54099 54100 54056 40451 40452 54296 54297 53975 54115 54110 54109 54111 27242 27144 34027 33930 34026 33931 54032 54052 54053 54232 54106 54107 54101 54102 54114 54103 60901 60900 60892 60893 60932 60764 60791 60790 60894 60902 60890 60889 60891 67775 67776 67774 54394 67773 54030 54031 60896 60815 60816 60897 60899 60898 60895 54212 54211 54227 54226 54216 54229 54219 54221 54228 54220 54223 54218 54230 54213 54225 54217 54224 54222 54215 60841 60763 54207 54203 54202 54205 54208 54231 54209 54214 54201 54204 54206 60820 60903 54055 67679 67688 2418 3179 1367 3180 1581 3951 3547 3548 3954 3953 5068 6667 6738 6673 2831 1584 2115 1774 2118 1883 1884 1876 1874 2119 1583 2124 1775 1878 4257 4741 3970 4972 3971 3779 1871 1872 857 67676 67632 67578 67579 67675 67608 67629 67628 67607 67606 67682 74563 67689 74562 74561 67551 74564 67552 67720 67678 67686 67680 67681 67685 67691 67690 67684 67687 67683 67677 67968 67904 67873 74574 67808 68566 67603 67604 67969 67970 67872 67971 74392 67717 67704 67705 67710 67712 67713 67714 67709 67711 67718 67716 67706 74391 67707 67708 67715 33984 33988 33994 33978 33980 33985 33992 33990 33977 33986 33974 33991 33979 33983 33975 33981 33987 33993 33968 33969 33989 33982 13274 13248 13621 13624 13628 13611 13610 13623 13617 13625 13614 13627 13609 13619 13616 20397 20418 20410 20399 20404 20411 20409 20398 20405 20413 20402 20408 20412 20415 20417 20400 20395 20391 20390 1780 2113 2117 1881 1985 1570 1374 1989 1886 1902 1986 1568 1755 1579 1993 1569 1575 1369 1905 1896 1578 1567 1375 1371 1981 1901 1988 3553 1984 1994 1768 1891 1904 3552 1987 1990 1983 1572 1992 1995 1903 1372 1573 5395 5690 5383 5441 5689 5578 1642 5576 5385 2947 5193 5686 5194 5742 5743 5745 5574 5384 5442 5688 5691 5382 5579 5634 5633 1632 2929 3011 2996 1640 3010 3007 3005 2997 2993 3002 5553 3958 5547 1643 1634 5512 3001 2995 5494 2999 3008 1638 5714 5556 5792 5713 5779 2914 2924 2934 3000 3006 2131 3004 1645 5513 5551 5549 3957 5550 5589 5501 5701 2998 2122 2994 3017 1639 1635 3003 1633 1146 1143 2125 1641 1636 2935 2919 3950 3948 5817 5506 5818 5398 5499 5555 5657 5554 5658 5411 5602 5410 3417 3429 3433 3420 3428 3431 3422 3421 3430 3416 3419 3442 3441 3372 3952 3443 3438 3440 3439 3437 3427 3435 3462 3460 3459 3554 3539 3544 3185 3546 3541 3542 3186 3540 3458 3545 3453 3184 3183 3543 3538 3448 3434 3436 1582 74508 74463 74464 74366 74468 74469 74367 74477 74476 74420 74340 26946 26945 26944 26942 1997 1998 1999 2000 2111 2112 1996 3468 3530 3534 3537 3528 3536 3492 3533 3486 3529 3491 3532 3467 3463 3531 3535 1708 3481 5390 1580 27241 5839 6605 6621 6603 6620 6623 27176 40767 40757 40759 40781 40778 40779 40774 40763 40769 40773 40771 40775 40766 40756 40776 40772 40782 40780 40765 40758 40777 40762 40768 40770 40754 40753 40755 6736 6737 26943 26941 26916 26918 20115 40815 40783 5591 5393 3835 5394 3555 3832 5700 5209 5387 5388 3947 5210 5386 3833 3371 3946 3834 5600 5195 40687 40719 40718 27142 40814 27129 27121 27137 27139 27131 27133 27236 27235 27125 27140 27122 27134 27237 27138 27123 27127 27135 27141 27117 27136 27130 27132 27126 27128 27115 27118 27124 27120 27119 27112 27116 27114 27113 61487 33899 40685 33846 13596 13592 13588 13584 13597 13587 13591 13595 13585 6767 13583 13593 13590 13579 13578 13589 13605 13375 67726 74472 81352 81351 81350 81349 6679 6723 6721 6678 67698 67693 67697 74339 74470 74395 74417 74396 74394 74416 74481 74485 74486 74478 74471 74467 74466 74465 74475 74474 74473 74419 74482 74483 74759 74479 81296 81155 81154 81128 81267 81266 81258 81257 81256 81252 81251 81184 81204 81180 81179 81269 81255 81262 81261 81253 88140 88138 81259 88137 81273 81272 81264 81265 81260 88139 81268 81205 81254 74758 81158 81448 81449 81159 81127 81182 81183 47187 40764 40760 40761 40666 40671 40667 40663 40681 40673 40670 40677 40657 40658 40672 40668 40659 40675 40676 40683 27080 40678 5141 5139 5590 5596 5815 5816 5644 3955 5144 5145 5837 3831 3956 5143 5592 5598 5198 5809 5329 5518 5389 5439 5597 3178 1772 5635 5575 5838 3018 5801 5500 5140 5557 5511 5744 5599 2933 3012 1637 5392 5791 5577 5199 3949 5840 2959 3009 2909 5687 5645 5747 5142 3469 1140 1875 3303 3418 855 1792 6619 6618 6601 5632 5746 5396 6670 6665 6654 13580 6599 6624 13618 40686 27838 27143 27145 20403 40679 40674 40684 40665 40660 40662 20416 20406 40680 40664 40661 20759 40682 40669 20401 13626 35687 13622 6622 6617 20414 13630 20389 27547 13620 6602 13613 13615 13275 6600 20407 20396 20392 20394 6722 13594 13582 13586 6653 60930 94730 94731 108331 108332 108448 115236 115120 115119 108425 108421 115196 115204 115205 115195 115098 115211 115214 115213 115094 115095 115068 81263 115207 115206 115203 115222 115232 115225 115224 115221 115233 115234 115230 115231 115220 115227 121757 121766 128696 128812 128674 128695 122024 121886 122274 121994 121997 129062 129060 121883 121856 121882 121993 121982 121991 121998 121887 122208 121908 122273 121907 121984 122275 128636 129063 124608 131412 135328 123112 123792 123960 123494 124263 124461 122028 123597 123209 124150 124137 123320 122416 123114 123483 123099 130924 130749 129849 129206 129105 130284 122302 130121 130286 130269 129820 124427 124445 131200 130271 129193 129887 129862 131234 129998 131202 131050 131037 122062 123493 123032 123225 131218 130581 130385 135325 130580 128817 128852 135353 129999 135326 123333 123335 123019 123495 123609 123030 124264 124262 124413 129805 123595 124412 130398 130748 122064 123031 121999 123487 122066 128854 130108 128540 130940 122317 124429 124609 124623 124250 123596 124414 129886 129192 123098 124610 124430 129997 123097 122303 124251 124446 130939 124249 129191 124625 129848 128565 129819 129106 123610 124135 122418 123334 123321 130013 123322 122301 130763 130565 131233 129847 131201 128853 135343 129204 131411 135346 122304 123496 123498 123017 122318 123975 123486 124428 122065 123018 123793 123961 123226 123976 123778 124151 123482 123791 123481 123497 122417 123211 123210 130285 128539 130109 131038 128524 130384 121996 122176 122112 121855 121737 121751 121750 121980 121885 121979 128996 130925 130123 130270 128571 135327 131396 131397 131052 130579 124460 128816 129807 129885 129818 129860 130012 130014 130122 130938 115199 131215 129806 129092 131217 128558 131039 129107 131051 115201 115193 115202 115198 115194 131413 130110 131248 131249 130764 129091 115210 128537 129902 130396 135359 129861 128555 129900 130383 128538 129061 135424 130923 94703 94704 130747 128525 130564 122177 129090 130566 121987 128675 123777 123608 124136 129901 128850 115209 121992 121988 122272 121983 128637 130762 115099 115420 115486 131247 135425 115487 128522 94836 43106 54130 54119 54028 54117 54136 54121 54135 54131 54122 54027 54134 54118 54392 54393 54140 54137 54128 54328 43105 54129 54141 54132 54139 54138 54142 54133 54150 55455 55451 74500 74756 74757 74660 74503 74661 74499 74497 74494 81362 74501 74493 74498 74596 74506 74505 74492 74502 74496 74495 74504 74692 60909 55613 55607 55615 74690 55344 55603 55443 55345 55602 55452 55618 55617 55334 55343 55335 55346 55606 55454 55453 55450 55614 55444 55601 55616 60904 60788 60787 60766 60789 60840 60927 60928 60929 60926 60888 60818 60836 60887 60844 56364 56365 56359 56361 54186 56363 56362 54182 55193 56678 56676 54439 54424 55887 55892 56071 54423 55710 55708 55896 55715 54176 55706 55886 55709 55707 55711 54177 55891 56249 55889 56245 56080 56248 56096 56081 56073 56074 56072 56075 56271 54145 55194 56247 56270 56257 56255 56256 56272 56371 56384 56369 56370 56533 56534 55716 55717 55897 55913 55898 56079 56549 56532 54181 55730 56562 56564 56561 56560 56558 56595 56596 56594 56598 56597 56592 56251 56250 55890 56069 55888 55128 55127 55133 55131 55132 55138 54416 56246 54524 55911 54536 54538 54537 55728 55432 55321 55323 55324 54422 55594 55137 54184 56593 55912 55327 56070 54514 54513 54517 55440 55441 55442 54515 54516 54518 54519 55430 56559 55597 55326 55595 55434 56677 55591 54412 54418 55596 54413 54146 54417 55436 54152 54185 54415 55593 60667 56675 60666 60668 60671 60670 56682 56680 56681 60672 56679 60669 60908 60843 56491 56489 56669 56642 56667 56666 56668 56665 56237 56036 56418 56420 56421 55875 56326 56061 56352 56227 55878 55868 56395 55852 55879 56349 56350 56235 56212 56422 56351 56034 56341 56419 56058 56060 56236 55867 56210 56051 56059 56324 56348 56226 56234 56050 56062 55876 55877 56492 56490 56020 56774 56525 56021 56609 56631 56630 55838 56446 56752 56286 56447 56773 56810 56500 54159 55839 56310 56172 56428 56196 56837 56197 55996 56811 56311 56836 55815 56524 60998 67882 67894 67899 67887 67901 67896 67897 67903 67893 67892 67886 67890 67883 67891 67888 67889 67884 67898 67900 67895 67876 67875 67874 67902 67877 67878 67879 67881 67880 67885 54395 67786 61778 61084 61085 61182 60886 60870 60846 60845 60884 60873 60871 60872 60849 60850 60851 60885 61106 61108 61107 61113 61110 61112 61115 61111 61114 61109 61090 61089 61181 61180 56397 56346 56347 56719 56721 56720 56710 56696 56694 56718 61116 60905 60882 60883 60856 60880 60906 60838 60819 60839 60830 60837 60826 60825 61020 55995 56499 56608 60801 60799 60800 60813 60798 60814 56171 61018 61019 67777 67804 67802 67801 67779 67782 67780 67778 67798 67807 67781 67803 67799 67805 67806 67800 67790 60794 60812 60811 60795 56411 60673 54158 54157 56834 56835 56817 54151 60989 55821 55833 55835 55820 55836 55834 55819 55822 55832 60665 60674 55192 55837 61098 61095 61104 61102 61100 61103 61096 61105 61101 61099 61088 61086 61087 61094 61093 61097 61091 61092 56591 61011 60993 61015 61006 61005 61001 61000 61010 61014 61007 61004 61012 61013 61017 61008 61016 60994 61003 61009 60999 67783 67784 67792 67797 67791 67795 67788 67785 67794 67789 67787 67796 67793 56581 56550 56565 56566 56557 55885 54512 56244 55704 56163 54411 56162 55126 47219 47218 60785 60784 60782 60779 60770 60781 60769 60786 60767 60780 60768 60773 60783 47264 47265 48663 48662 48827 48829 48814 48654 48655 48557 48825 48653 48656 48652 48667 48555 48826 48819 48664 48547 48546 48556 48813 48666 48665 48830 48818 48828 48558 48815 47394 47398 48942 48929 48927 49109 49108 49110 48928 49125 49293 49291 49292 49308 54525 56658 54149 55729 54401 54506 54505 54148 55151 55152 55150 55139 54523 47362 47633 47634 47635 47636 47651 49330 49329 49311 49711 49207 49820 49383 49232 49712 49384 49233 49986 49409 49408 49498 49821 49050 49640 49985 49659 49051 49842 49522 49027 49843 50048 49523 49964 49208 49658 50023 50022 47371 50049 49736 49737 48479 48844 48593 48569 49130 48480 47713 48758 48868 48757 48594 49153 48672 48689 48950 47714 48972 49152 48739 48455 47715 48690 48869 48973 47370 49031 49047 49048 47363 49033 49034 50046 49045 49046 49032 49049 50029 49044 50047 47369 56068 56358 54421 47736 48362 47735 48364 47748 48363 48350 47361 47750 47749 48351 48349 47737 47360 49596 49583 49582 49581 49745 49744 49761 49746 49484 49469 49468 49467 49482 49483 60848 60847 60827 60828 60765 60829 60854 60855 60853 60852 60869 60868 48392 48405 48393 48445 48446 48406 49760 49759 48940 48541 49306 49594 49123 49595 49307 49124 48941 48543 48542 48553 48554 47649 47397 47650 47396 56095 56382 54437 55329 55342 56383 56548 56580 56547 54438 56094 55330 55331 55341 56579 48404 48444 48391 48429 48431 48430 54007 54006 49940 49956 49778 49957 49941 53871 53855 53856 53854 49793 53869 53870 49955 49791 49762 49792 53857 49777 49942 60643 60642 60644 60645 3426 3388 5552 3527 2822 2850 1767 1760 1766 1756 1769 1761 1763 1764 1765 1758 1762 1759 3389 3394 3392 3960 3962 3395 3390 3393 3397 3396 3961 3198 4897 4841 5052 4958 4903 5190 4847 4865 4900 4858 4898 4899 4904 5015 4970 5016 5070 4896 3019 4085 4894 5105 4756 4901 4755 4971 5104 4848 4860 4800 4743 5065 4853 4895 5064 4902 5003 5175 4859 4846 5176 2147 1770 1771 2829 2826 2851 2834 2827 2823 2825 2833 831 833 839 835 841 834 837 836 832 842 830 840 838 806 748 745 746 747 810 807 200 204 808 202 805 850 852 549 548 211 547 749 1982 5440 6604 5208 5841 5211 3432 5453 5391 5200 5548 13971 3391 5631 47554 47558 47547 47548 47559 47552 47556 47566 47568 47563 47553 47557 47545 47570 47542 47543 47911 47541 47507 47475 47506 47567 47544 47564 47565 47546 47562 47555 47551 47550 47560 47549 47561 47569 54699 60916 60917 60918 60919 60925 60921 60920 60923 60922 60924 60912 60913 60914 60907 60910 56601 56600 56587 56586 55173 55315 55157 55213 55170 55171 55520 55322 55175 55208 55174 55316 55212 55351 55350 55521 55210 55168 55172 55156 55211 55200 55209 55169 55320 55429 55431 55201 55592 56553 54180 55120 55809 55987 54494 54400 56276 54179 56277 55986 54495 55622 54399 55119 55808 55623 56717 56488 56644 55590 55207 56554 55854 56478 55433 55435 55705 56461 56238 56463 56360 54414 55130 55129 55325 56563 819 20229 351 28 34 545 195 22480 22521 22754 366 22523 543 22756 22482 22549 353 22779 210 179 206 812 592 816 22478 350 22778 22481 22729 22781 22780 22552 181 22550 818 20 352 22457 370 367 355 20461 22777 396 235 221 168 541 817 76 544 354 406 403 22728 22726 402 209 22551 22704 22455 207 22727 397 22548 22479 22702 814 398 395 26 20566 217 542 31 36 394 15 287 74 22725 77 196 356 361 197 811 2835 3498 5443 1149 2849 2824 2832 1576 1546 47571 47602 40541 47603 88045 88046 88041 88042 88043 88048 88047 81274 81270 88057 88061 88062 81271 115389 115324 115388 101632 115292 115290 108412 115291 87968 87967 81282 81286 81280 81284 81281 81285 81290 81291 81292 81289 81293 81287 81283 81288 81294 88058 108307 108280 108306 88054 88050 88053 88052 108279 115289 101660 88055 123214 123215 123223 122002 123222 123072 123061 123059 123324 123330 123073 123060 123332 123323 123221 108502 108503 108504 108501 108418 101908 101909 101910 101633 101637 101634 101635 101624 108417 108416 121933 121912 108697 108696 108601 108536 108600 108632 121986 121932 129205 123074 122319 128523 108422 108426 108423 101844 108409 108411 108408 108410 108415 122001 123959 131398 123331 124459 123974 131216 101522 108407 101523 101543 101544 108403 108404 40293 40294 40281 40295 54092 54049 54082 54063 54042 54085 54051 54047 54084 54093 54083 54095 54057 54094 54058 54097 54062 54061 54068 54096 54070 54043 61183 61140 61146 61145 61143 61138 61141 61139 61136 61121 61137 61144 61142 61119 61118 61117 61120 54038 54037 54050 54048 54046 54044 54098 121936 108360 88084 101715 101716 101714 101713 87996 88040 108699 108310 108311 115192 115191 87993 87992 108441 108444 108446 108440 108443 108442 108445 108438 108437 115148 88039 94840 94832 94841 94755 94756 94872 94829 101638 94850 94846 94845 94849 94735 94734 101911 121848 121849 128900 122870 128878 128964 128965 122079 122078 116082 122090 122077 115067 81546 81545 81544 81480 108435 108433 108432 108434 115228 115223 108698 115302 109294 115484 88044 122080 115197 88049 94833 115229 88051 115200 121765 115226 108439 115485 108436 121995 81208 81207 63693 63692 63708 63754 63741 63743 65136 63742 63755 64737 63756 64724 65026 64723 64739 65014 65122 64738 65135 65025 65121 65013 65137 65120 65027 65012 64722 67935 67600 67599 68275 67589 67602 67601 67587 67588 67967 63823 63876 63837 63641 63824 63877 63835 63691 63836 63645 63822 63875 63639 64358 63792 63778 64541 64359 64539 64913 64898 64899 64900 63779 63791 63780 64373 64540 64360 64556 64914 64554 64371 64372 64555 67909 67926 67934 67927 67931 67932 67925 67929 67908 67928 67924 67930 64915 63793 61083 61082 61147 67933 61179 61178 63690 67922 67918 67921 67919 67914 67915 67920 67917 67923 67913 60858 60881 60915 67906 60832 67907 60831 60835 60834 67905 58615 58166 58277 58052 58258 58027 58636 58525 58276 58362 58141 57876 57670 57694 58504 58526 57693 56865 58051 58637 58387 58386 57851 58165 57875 56851 58503 57850 58026 58361 57675 57691 57688 57690 57674 57689 57692 57676 57677 58684 58683 58666 58686 58659 58660 58685 61051 56863 56858 56864 61132 61130 61124 61123 61131 61129 61133 61135 61122 61125 61134 61127 61126 61128 813 369 393 128 399 424 25 405 539 130 540 35 170 392 2828 172 2830 169 171 208 368 58735 58729 58732 58733 58734 58730 58737 58736 40576 40569 58731 58728 5002 43015 54026 54025 54011 54012 54013 43010 43017 40570 42981 43011 42983 43099 43101 43024 43025 40698 40786 40790 40794 40803 40796 40797 40705 40696 40792 40692 40811 40809 40799 40707 40695 40713 40716 40813 40789 40701 40693 40697 40689 40702 40691 40711 40801 40800 40808 40699 40804 40709 40806 40812 40784 40795 40791 40708 40807 40787 40785 40706 40712 40802 40700 40704 40717 40798 40788 40688 40694 40810 40690 40703 40805 40710 40714 40793 40715 56843 47237 47224 47225 47238 47223 56844 58435 58436 58437 58571 58439 58570 58567 58438 58565 58569 58564 58568 58433 58432 58566 47244 47235 47236 52032 53662 53459 53568 53644 53461 53047 52117 53350 53349 53224 52864 52879 52116 53238 52065 53062 53061 53570 52031 53351 53446 53337 52115 53239 53764 53336 52067 52696 53766 52066 53237 52863 52880 53048 53460 53338 52030 52697 53444 53556 52078 53642 53557 52103 53661 52079 53046 53445 52878 53223 52865 53555 52695 53663 53063 52102 53765 52104 52080 53222 53569 53643 52684 52298 52583 52421 51953 52296 52312 52420 52585 52568 52313 52584 52682 52569 52409 52311 52422 52570 52407 52297 52683 51954 52408 58434 53667 52015 52017 52016 40430 40431 2958 2957 2952 2213 78 809 1757 1991 1148 35504 3551 1373 1646 20393 5206 5189 3461 5601 5802 3493 122404 122403 122405 124624 123224 123113 121981 121985 124152 123776 122029 130397 101630 101627 94842 94831 94837 94838 94835 94834 94830 94839 94843 88059 95123 94847 115060 115061 94867 94859 94862 94868 94858 94860 94864 94869 94866 94861 94870 94865 94863 94857 94856 108273 108272 101628 101629 101621 101617 101618 101619 101620 101622 101623 87946 87947 95056 95120 95122 95121 94960 95025 95024 95718 101726 94927 94928 87972 88072 88068 88080 88077 88073 88079 88070 88078 88075 88074 88076 88071 88069 94926 88082 94925 88081 81384 87970 87971 87995 87942 87943 88237 88236 88335 88332 88172 88333 88334 67694 88268 101625 101631 101626 67695 70433 70431 88930 94938 74687 74682 74665 74683 74689 74684 74685 74681 74688 74666 74686 74691 74662 74663 74664 87916 94784 94827 94828 94781 94783 94760 94780 94759 94758 87915 74672 74680 74671 74678 74675 74676 74679 74677 74674 74668 74669 74673 74670 74667 88639 101485 94697 101484 94696 121749 101569 101568 47388 47729 49774 49773 49810 49888 49807 49776 49805 49806 49809 48922 48921 48919 48923 48920 49808 49775 49804 49447 49422 49700 49448 49703 49701 49563 49673 49438 49630 49424 49929 49632 49439 49702 47358 49803 49770 47357 49772 101748 101812 101813 108514 95427 102506 101548 81547 101651 101652 101653 101657 101654 101658 101656 101655 101648 101645 101650 101647 101646 101644 101649 118397 118282 118389 118561 115482 133321 131702 132907 132251 128778 132238 128781 132999 132419 132778 133113 124884 128678 132779 135423 132253 133110 132140 131672 115103 118401 125451 126336 131510 125450 135367 126412 133125 131756 132239 125646 131868 133219 124883 128784 128635 125647 132905 128679 128680 131588 131963 125816 133002 126533 126007 126532 128780 132891 126118 132603 132794 125814 125990 126411 131703 115104 118387 115791 126435 128595 126429 133320 132252 128770 132240 126005 132604 126212 132906 132435 124846 128783 126430 133111 125633 131717 131867 131636 133001 128771 128681 132601 131586 133017 132617 131715 131525 124871 126117 118402 115105 115102 115118 118550 118400 115097 118563 118388 118391 118292 118399 118548 118554 118291 118549 118390 118564 115117 118565 118560 118281 118398 124721 124722 115483 118553 131673 125449 128777 126213 132418 131742 132436 129367 124833 126119 133218 126227 133000 132892 132893 131740 131573 128774 124834 124872 128772 126323 131671 133197 133322 126337 132793 126324 131660 126104 131704 108309 108419 109003 128586 131521 125465 131659 131755 132602 131716 128693 124847 131976 131757 133126 128619 131509 126106 125992 131523 126325 133217 132237 125829 132777 132139 132126 124835 132420 131572 126534 132125 125831 126431 128776 133015 135407 133199 131852 126228 132124 128769 128775 131854 132141 128691 131635 131621 124885 132618 133198 135383 128694 133112 128779 133016 131658 126229 131623 131853 128782 128773 135374 132434 133200 131869 131622 124848 131741 131965 124870 121990 121989 131634 126105 133124 128579 132619 132795 125815 132780 135368 132421 131977 128673 131964 131571 132894 131587 131978 125991 128692 131524 128580 49623 49690 49704 49446 49880 49854 50013 49634 49631 49633 50011 50014 49933 49536 49877 49930 50017 50016 49564 49561 49908 49856 49881 49607 49538 49906 49879 49878 47728 47727 47731 47726 47725 47730 47393 47389 49457 49286 49284 49285 49283 49287 49571 49103 49463 49104 49101 49100 49098 49281 49460 49576 49577 49102 49459 49461 49575 49573 49462 49574 118293 118290 118562 84352 84009 81157 81163 81177 84460 84625 84188 84008 81851 84448 81190 81199 81200 81196 81237 81249 81209 84007 84239 84005 84608 84186 84240 81178 81162 84225 84241 84224 84199 83994 84624 84461 84226 84447 84353 84200 81176 81165 81164 81175 81202 81153 81130 81152 81194 81203 81189 81236 81234 81215 81151 81201 81198 81210 81248 81250 81235 81214 81213 83993 84201 84338 84449 84351 84187 84336 84610 84337 84623 84462 84609 112528 111874 112747 112835 111761 111760 111505 111503 111613 111145 111489 112760 112431 112748 112957 112636 112414 112255 111887 112057 112651 112542 112254 111257 112530 111296 111888 112240 112430 112071 112253 112761 111270 111259 112762 112070 112958 112956 112749 112529 111775 111599 111777 111614 111601 112859 111600 111504 112541 112055 112543 112429 111762 111612 111146 111157 111309 112652 112416 112638 112853 112834 111294 111295 112239 112836 112238 111490 112415 111258 49891 49892 49887 50012 48345 48342 48340 48343 48339 48341 48344 49799 49798 49894 49893 49813 49890 49889 47718 49609 47381 47613 49931 49558 49559 49629 49088 49248 49246 49270 49272 49080 49091 49263 49090 49273 49271 49087 49064 49066 49079 49274 49089 50015 49932 49449 49560 49675 49450 49562 49553 74696 74697 67631 82142 88150 111602 111502 111766 111603 111493 111610 111609 111774 111494 111765 111501 112857 112856 111308 112056 112855 111271 112858 111875 111876 112072 112653 112854 111488 112637 111500 111307 111272 111161 111889 111611 111776 111773 111772 78474 78589 77318 77936 81504 81510 81495 81493 81502 81506 81498 81484 81494 81490 77214 77398 77452 77411 77412 77451 77221 77400 74377 88277 74390 74754 74659 74755 74627 74389 81500 81497 81485 81503 81507 81508 81509 81505 78588 78130 81501 78131 78489 77354 78712 78475 78117 78697 77356 77369 74376 77413 77453 77217 77210 77209 74374 74375 75063 78698 77399 78315 77319 77368 77332 78491 78590 77355 78603 78300 78314 78299 81491 81499 81496 81486 74723 81487 81481 81489 81483 81488 81492 81482 53886 53883 53879 53882 53885 53880 48917 49282 48538 48809 48806 48807 48644 48648 48808 47628 47626 47625 49458 47629 47627 47630 49771 49572 48535 48646 49099 48918 108314 108315 108329 108317 115429 108316 108330 49766 49765 49769 47099 48536 48642 47084 53878 49812 53877 53884 48537 53881 48533 48645 48539 121935 49375 47624 49489 49570 49280 49456 49374 49488 47623 48338 48916 49097 47364 48647 48803 48805 125464 126214 125830 85101 85102 84119 84120 84118 84071 84070 84057 84920 84142 84157 84143 84724 84107 85608 85610 85376 85484 85087 84722 85389 84105 84155 84156 85500 84055 84072 84144 84106 84918 84919 84736 84735 84904 84723 85391 85499 85597 84056 85390 85596 85485 85103 85088 84737 85378 85377 85501 84905 85595 85486 84903 85086 85609 85277 85279 85264 85278 85263 85262 85682 85703 85701 85683 85684 85702 85806 85804 115425 115448 115433 115439 115424 115438 115445 115440 115437 115450 115449 115446 115434 115447 115435 115441 115442 115444 115431 115430 115443 115436 108305 99173 97733 97695 98311 98679 99077 99260 97646 99184 98840 97913 98480 98854 97914 98855 98300 98952 99277 98967 98494 97570 98966 97718 97928 99062 98953 98495 98313 97696 97569 97912 97583 97584 98186 97929 98663 99060 97631 98853 97648 97694 98481 99279 98965 99185 99186 97681 98199 97927 98024 98184 97581 99075 98678 99171 99278 99172 98496 98023 98201 97719 97732 97731 97585 98954 97683 98298 97632 98185 97633 98200 99061 98036 98838 98677 98299 99259 98312 98038 98839 99076 98664 98037 98662 98479 97720 97647 97682 99258 98025 101443 101467 97817 97800 97775 97763 97815 97776 97762 97802 97816 97801 97764 97777 99281 99382 99380 99282 99283 99280 99381 101483 108359 101427 101434 101428 108215 108216 108255 108271 108222 108231 94961 69031 69030 69179 69177 69192 69193 69194 69178 69017 69016 69018 69019 69029 69190 69189 69191 69182 69183 69028 69020 69027 69026 78691 78688 78686 78293 77926 78692 78111 78106 77349 79099 79098 79097 77929 78467 79096 78690 78291 77927 78799 77348 78801 78464 78800 78689 78466 78105 79100 77930 78469 78584 78581 78582 77347 78578 78107 78583 78933 78929 78108 77344 78288 78468 78290 77928 78292 78470 78294 78802 78580 78803 78110 77346 77345 78109 77350 78934 78935 77311 77309 78289 77312 77308 77313 77307 77261 77262 77263 77310 78932 78931 78797 77925 67762 67758 67998 68000 68015 67999 67728 68756 68757 68770 68809 68810 68808 68769 68768 68755 70109 70108 70125 70110 69960 69945 69947 69846 69946 69847 69848 67997 68920 68793 68905 67583 68795 68918 68906 69655 69672 69832 69657 69656 67760 68921 68794 68917 67761 68907 68922 68910 68911 67725 67724 68919 67582 69831 69833 94598 94597 94599 70157 70126 70141 70142 94625 94631 94618 94615 77229 78336 78318 78337 76636 76619 76634 76635 69489 69473 69474 69472 69306 69293 69292 81195 76896 76913 76734 76898 76897 76735 76733 69958 69959 70124 68114 70123 68113 68112 68099 68100 68101 68014 68013 69291 69670 69304 68713 69487 69671 68727 68714 69305 68715 68728 68726 69488 74546 74550 74788 74787 74803 76444 76260 76443 76445 74902 76276 75503 75501 75502 74801 76458 74887 74802 74889 76277 74900 87909 87908 87852 87891 87858 87851 87867 87907 74581 74587 74593 74586 74590 74588 74583 74569 74565 74592 74576 74589 74568 74567 74566 74582 74577 74585 74595 74594 74579 74584 74591 74570 74580 81121 81120 70304 70305 70321 70156 70320 70155 70306 70319 76943 76911 76945 76944 76747 76930 76746 94600 74786 81472 81473 81477 81471 81469 81476 81474 81470 81475 81479 81464 81459 81458 81465 81468 81466 81463 81460 81467 81462 81478 81451 81453 81452 81450 81454 81455 81461 81456 81457 94585 94582 94584 94583 76613 76612 76438 76436 76435 76437 76439 76609 76615 76614 76611 87827 87843 87830 87812 87837 74509 76961 76962 76956 76960 76959 76958 76924 76928 76927 76926 76925 76922 109648 109748 110687 109758 110869 110885 110836 110686 109747 109650 109485 109910 109755 109639 109484 110019 110034 109498 108743 110575 109537 109917 108489 108488 109920 109907 108728 108453 108741 108726 108727 109919 109483 109496 110853 109536 109522 110837 109906 109647 108486 108490 109905 110216 110560 110032 108452 110200 110202 109523 110574 110559 109521 110675 110673 109759 109443 110215 109456 109442 109441 109454 108829 110217 109744 108842 110400 110384 109455 108841 108827 108828 108840 109634 109635 109633 109646 108742 109645 110561 110033 110576 108725 110383 110021 110385 109497 109538 109638 109649 109918 110398 110674 110399 110854 110838 109922 110688 109746 109921 109911 109757 109756 109745 110020 110201 109754 77040 77043 74510 77042 77138 77137 77044 74514 76863 76972 76923 77041 76957 81032 81036 81033 81030 81031 81035 81034 77045 77046 76965 76964 77039 76955 76921 76951 76950 76716 76601 76775 77058 76782 76825 77006 76712 77033 76598 77030 76574 76827 76842 76759 77081 77029 77084 76855 77074 77031 76783 76852 76705 77022 76853 77085 76761 76786 76715 76602 76599 77082 76600 76690 76713 76784 76688 76714 77008 76576 76785 76856 77060 76854 77032 76070 74877 74881 74879 76071 74882 74883 74878 74880 75496 75495 76252 76433 75497 75492 75493 76073 76255 76072 76254 75491 76075 76074 76250 76256 75494 76253 77165 77163 77166 77167 77164 77162 74533 74870 74765 74541 74545 74540 76728 76726 75558 76727 75557 76725 76729 76723 75597 75598 75545 75544 76535 77200 77201 76650 76888 76203 76385 76811 76384 76202 76810 76995 76179 77174 76792 76561 76973 76675 76536 76360 74523 77175 76674 77116 76359 76889 76994 76864 76560 75710 75805 75818 75581 74548 75709 75583 75819 74549 75804 76080 75708 75582 75806 76081 76710 76711 76079 76093 75516 76094 76261 76262 75515 74901 76620 74888 76912 76914 76460 76929 76459 76748 76275 75514 76092 76621 111034 111049 110884 111032 110883 110851 110852 75354 74785 95049 95050 95052 95051 95053 95048 95054 95030 95055 95045 95046 95047 95029 81379 81370 81375 81372 81374 81356 81353 81383 81378 81377 81382 81367 81359 81368 81363 81360 81357 81381 81365 81355 81364 81366 81361 81371 81354 81380 81376 81358 81369 81373 89285 89558 89541 89284 89395 89382 88122 88126 89557 89543 128785 130111 130120 128787 130282 130119 128786 130283 128790 130011 130275 129089 130009 130118 128789 130003 130281 130112 128968 128991 128970 128990 128992 128989 128986 128985 128967 128966 128988 128993 128994 128995 122187 122188 122192 122193 122191 122194 122190 122182 122196 122198 122195 122197 122181 122186 121770 121777 121767 121752 121783 128987 122203 122180 122179 122207 122206 122200 122199 122204 122201 122202 122205 122178 114949 115144 115145 115274 115278 115516 115531 115515 115514 116326 116286 116285 116273 116325 116324 116284 116271 117476 117461 117463 117462 116709 116693 116547 116708 116438 116694 116710 116437 117188 117172 117173 117171 116822 116809 116989 116988 117005 116990 116533 116532 115513 116422 117624 117625 117641 117626 116423 115277 116705 116698 116699 116706 116427 116435 116707 116426 116545 116543 116536 116535 116544 117475 117474 115241 117639 117640 115240 116311 116310 116309 115530 115529 116807 117362 117347 117348 117363 117364 117349 116421 115276 115244 115251 115493 115261 115418 117835 117672 117836 117837 117821 117658 117657 117673 117822 117642 117820 117671 115497 115262 115263 115419 116434 116433 116821 116242 116229 116820 115630 115617 116243 115629 115615 116230 115628 116231 117187 116244 115496 121736 121735 121734 115243 115249 115250 122183 122189 122185 122184 114948 114963 111048 111033 111047 110870 114946 114947 114962 114961 117186 130274 116272 116808 116695 116534 116546 116436 117003 116542 115616 115242 128969 117004 130002 130010 101519 101518 101492 101491 108505 95028 95026 95027 128981 128977 115315 115321 115316 115296 128980 128974 128979 128973 128972 128971 115323 115319 115322 128975 115314 115294 115293 128984 128982 115297 115320 115318 115298 115317 128983 115295 128978 128976 108532 108528 108529 108534 108509 108510 108530 108508 108506 108507 95035 95043 95036 95040 95044 95041 95038 95042 95039 88458 88453 88454 88455 88459 88456 88457 90498 90503 90501 88116 90305 90303 90301 90299 90504 90500 90304 90302 89651 89650 95031 95037 95032 95034 95033 108176 108201 108194 108191 108207 88092 89647 88117 88085 88121 90616 90502 90309 90196 88362 90210 90310 90211 90195 88379 89836 90036 90021 89655 89657 89656 89838 89670 89837 90019 90020 89853 88363 90532 90537 90535 90534 89648 90536 90538 89649 89394 89393 89542 89286 89381 89556 89173 89174 89380 90212 90197 90311 90324 88364 90618 90619 82593 82482 82605 82592 82594 82759 82481 82602 82604 82755 82493 82595 82607 82498 82497 82606 82496 82603 82486 82753 82767 82770 82768 82758 82495 82596 82494 82769 82754 82765 82487 82483 82766 101616 101615 101572 81591 81576 81575 83049 82868 83065 82867 83048 82332 82346 82345 82333 81328 81329 81333 81338 81334 82385 82386 83233 83232 81574 82344 82331 83504 83502 83573 83362 83388 83794 83387 83872 83364 83869 83952 83684 83522 83523 83498 83718 83702 83733 83563 101571 83871 83817 83476 83951 83379 83953 83503 83641 83572 81321 81658 83478 83571 83408 83499 83870 83615 83643 83820 83536 83862 81553 83701 83950 83389 83521 83685 83686 83818 83409 83423 83644 83848 83231 83248 83640 94608 90620 90622 90621 94613 94609 94612 94611 94610 94614 89120 89133 89172 89134 89121 89119 89132 88086 94605 90499 94607 94606 90617 90615 101814 101815 101816 102862 103133 102971 103132 103134 103119 103117 102860 102970 103118 102861 102958 102969 101825 101821 101827 101826 101823 101824 101829 101830 101832 101831 101828 101822 108519 108522 108516 108523 108521 108524 108610 108605 108611 101837 101835 101834 101841 101833 101839 101836 101838 101819 101820 108526 108527 108525 108517 108531 108515 108520 108533 101842 101818 101817 101843 101698 101702 101840 117403 117264 117902 117929 117865 117378 117617 117592 116930 117402 117844 117520 117616 117113 117903 117701 117722 117112 117723 116907 117088 117928 116931 117538 117288 117263 117087 117700 117591 117539 117866 117289 110324 110934 110935 111141 111056 110300 111115 110142 111140 111114 111078 110804 110913 110476 110828 111077 110829 108463 110732 110590 110143 110119 110751 110325 110500 110614 110750 110501 110615 114964 114982 114989 114979 114995 117788 117761 117759 117809 117734 117758 117786 117757 117760 115237 117811 117810 115598 117812 117736 117813 117440 117584 117514 117553 117487 117328 117582 117489 117329 117583 117416 117581 117511 117442 117443 117330 117304 117555 117326 117513 117327 117580 117510 117512 117444 117302 117441 117653 117655 117656 117654 117438 117893 117892 117891 117439 117418 117319 117570 117318 117503 115268 115269 115273 121763 121764 121759 121758 121760 121761 121762 117690 117688 117689 117687 117686 117684 115408 115392 115400 115416 115407 115395 115406 115396 115411 115414 115415 115412 115390 115401 115398 115399 115403 115394 115393 115417 115405 115404 115397 115402 115409 115413 115391 115410 122111 122105 122102 122086 122107 122106 122104 122084 122082 122108 122081 122083 122109 122085 122110 122103 128886 128877 128875 128870 128869 128885 128874 128872 128887 128888 128873 128882 128884 128896 128881 128899 128890 128893 128894 128879 128898 128880 128891 128871 128889 128892 128897 128895 128876 128883 117895 117897 117896 117890 117894 117750 115124 117650 117652 110475 108454 110912 110299 110803 108455 108462 108461 122100 122099 122094 122088 122096 122095 122101 122089 122092 122091 122097 122087 122098 122093 110136 110137 110126 110141 111138 110125 110140 110138 110123 111121 110124 111139 110139 115299 115305 115304 115307 115303 115311 115309 115313 115308 115301 115300 115312 115310 115306 117433 117774 117770 117768 117771 117685 117683 115238 117769 117767 117772 117773 117678 117693 117679 117692 116924 117926 116926 116928 116912 117909 116927 116913 116911 116925 117649 117646 117645 117651 116929 117802 115597 117579 117509 117755 117756 117578 117325 117808 117807 117889 117927 116914 117456 117369 117368 117455 117454 117457 117450 117072 117070 117071 117046 117044 117069 117068 116637 116448 116830 117209 116359 117210 117033 117032 115595 116360 116638 116569 116748 116853 116552 116449 116335 117191 115594 116474 116724 115593 116473 116749 116852 116570 117010 116619 117030 117031 117014 117029 117061 117067 117017 117015 117028 103131 103130 103129 103123 103122 102960 102966 102967 102968 102859 102959 102850 102851 102847 102846 116618 117016 108606 108626 108625 108621 108618 108616 108617 108619 108628 108609 108607 108608 108603 108630 108613 108629 108612 108623 108627 108615 108622 108624 108631 108614 108620 108602 108604 94873 94874 94910 94914 97404 97405 97407 97406 97409 97408 97410 102858 94880 95151 95152 95167 95920 95907 95922 95962 95921 95909 95908 95961 95150 101742 101738 101743 101741 101722 101745 101721 101740 101746 101739 101747 101717 101744 94909 94905 94904 108405 108406 116523 116264 116265 116526 116266 116304 116524 116416 116414 116683 116527 116419 116301 116522 116261 116415 116418 116305 116300 116413 116267 116684 116686 116685 116303 116417 116528 116262 116263 116689 116525 116688 116302 117451 117340 115504 115509 117341 115607 117343 117339 115606 117452 115605 115507 117163 115610 115611 117338 117165 115609 117453 117167 115506 117337 117161 117166 117162 117342 117164 115508 115505 115510 101939 101955 101940 101938 103233 102041 101954 102654 102054 102667 103231 103246 102655 101665 101664 102668 102040 102053 103610 102845 103245 103232 103428 102052 103427 103612 103595 103597 103412 103596 103414 103429 103413 103244 103611 102039 102653 102666 101953 110665 110663 108481 108485 108480 110549 110555 110552 110553 110551 110898 110902 110896 110899 110900 110901 110378 110377 110376 110379 110375 110554 110865 110867 110980 110864 110868 110862 110866 110667 110666 110668 110669 108449 108414 108413 110982 110984 110983 110986 110985 110863 117160 115503 117254 117255 117336 108456 121755 121756 110010 110011 110012 110195 110190 110196 110193 110192 110194 110015 110373 110014 110013 114975 114973 114976 114977 114978 114974 114972 108450 110374 110861 110895 110897 109739 109740 109628 109897 109738 109898 109895 109631 109734 109630 109625 109900 109629 109737 109736 109899 109627 109901 110979 110981 108356 108357 108336 114970 114971 110664 110662 116979 116978 116799 116803 116221 116797 116800 116981 116224 116225 116219 116222 116223 116984 116220 116980 116977 116443 116796 116249 116260 116613 116682 116521 116408 116801 116442 116292 116798 116407 116983 116248 116982 116802 116299 116293 116612 116412 116715 116218 117078 115272 115587 116211 117079 115492 116901 116212 115271 116900 115586 115491 116714 128721 128700 128720 110548 110466 110467 110550 110372 110291 110290 97564 97565 97539 109436 109434 109431 109433 109437 109432 109435 108821 108817 108822 108823 108818 108820 108819 110891 110890 110191 110189 110008 108722 108721 108719 108718 108720 108717 108715 110009 108716 108704 109430 110857 110858 110580 110581 110904 110113 109927 110112 109424 108799 108483 108816 108798 109423 108484 108703 109926 96331 96073 96074 96344 96330 96346 96072 96181 96329 96345 96170 96182 96183 96071 96171 96178 96334 96180 96335 96343 96179 96341 96342 96063 96062 94878 96458 96625 96624 96444 96808 96809 96824 96807 96641 96626 96443 96445 97261 97097 97260 97277 97099 97112 97098 96169 96168 97278 97293 97294 97309 96998 97262 96999 97000 96983 96984 96985 95149 95960 109825 109626 109620 109655 109894 114967 114968 109511 109476 109474 109512 109514 109472 109478 109505 109479 109473 109461 109475 109477 109654 109517 109516 109460 109735 109896 109515 109504 109624 109513 109733 109619 109824 110905 114969 102696 102695 102710 103773 103772 103771 103787 103788 103786 102697 102708 102709 102957 102750 102749 104081 104064 104050 104096 104097 103898 103887 104082 104049 104066 104063 104048 104065 103900 104095 103899 103886 103885 101701 101700 102733 102735 102734 102857 102748 104244 104245 104259 104246 104260 108174 108175 111000 110654 110782 110630 110516 110793 110946 110652 110794 110699 110969 111021 108473 110628 110971 110948 110726 110514 110723 110645 110538 110656 111107 110970 110795 110651 110792 110765 110531 111105 111106 108810 111109 110539 110650 110715 110767 110962 110655 110542 110653 110541 110725 110998 111108 110973 111023 111024 111103 111025 111022 108705 110796 110722 110540 110724 110701 110972 111104 108159 108158 108160 108161 108809 110967 110968 111019 110790 110537 110791 110721 97446 97445 97447 97448 97424 94900 94899 94898 102956 104261 108173 101937 97501 97359 97336 96925 97174 97538 96567 97502 97228 96566 97039 97156 96723 96924 97175 97480 97337 94887 97253 97358 96748 97038 97252 97227 96724 96543 97014 96749 96899 96900 108535 94886 94879 97563 97562 94885 97545 101737 101734 101732 101735 101728 101733 101736 101731 101729 97370 97397 97218 97189 97396 97394 97139 97206 97077 94628 94629 94757 94702 101719 101718 101720 96562 96560 96549 96561 96563 96548 96564 96547 96550 101398 101394 101397 101395 101396 101400 101399 97403 96565 110530 95129 111020 111101 111102 111014 97123 97148 97146 97150 97069 97074 96940 97125 97054 96955 96954 97191 97219 97395 97386 97080 97078 97393 97220 97217 96963 96966 96965 96964 97075 97216 96962 96938 97052 97079 97076 97149 97147 97422 95234 97372 97449 97438 101730 101725 101723 101727 101724 108189 108187 108184 108188 104197 104113 101662 104110 104108 104109 108183 104195 104193 108190 108186 104198 104192 108185 108181 101661 104191 108182 104107 104114 104111 104112 104194 104196 110179 110366 110361 110355 110158 110362 110182 110181 110364 110340 95133 94897 109781 103802 110403 103615 110042 101675 109961 109960 110065 109936 104268 110064 108806 109849 109547 104146 109661 109782 110421 109685 108805 104326 110244 103687 109831 103944 103633 104327 110422 104353 104290 109850 108807 104289 109686 104352 109572 103355 103713 103962 104147 104041 103712 103512 103963 103536 104016 103826 110222 109764 104015 104124 103511 104125 103537 103688 110245 104040 103634 109571 103354 103827 103331 95890 110172 110365 103977 103865 103751 103913 103994 104237 103935 104236 104319 104320 104315 104182 104181 103728 103750 103936 103867 104160 103934 102022 103866 103726 103938 104007 104004 104005 103868 101917 101685 103937 94877 95132 96172 101666 110156 110338 110363 110183 110178 104317 96789 96788 96787 96786 96764 96790 96605 96607 96604 96762 96603 96606 96582 96580 96779 96596 110180 109660 109830 103864 104185 104233 103752 104316 104184 104314 103754 102784 103043 102976 102898 102759 102993 102872 102783 103254 102018 102017 103173 103148 103061 103457 103062 103434 103172 103277 102897 103456 102019 102873 102994 103276 103042 97529 97527 97528 97530 97531 97526 96880 96881 96882 96873 96884 96883 94918 96879 97215 97214 94896 97145 97392 97391 94876 94917 96859 96857 104234 104210 103842 104318 103911 104006 104235 104008 103927 103863 103857 103753 104174 103743 103979 103742 104212 104226 104321 103840 103862 94627 97532 97533 108518 108512 108511 108513 97458 97471 97308 96823 96822 95266 95252 97525 95878 95166 94913 95946 96456 95264 97110 95947 97307 97472 95865 97473 94912 95866 96457 95880 97111 95867 95253 95165 95879 96640 96059 97276 95265 96639 95945 96058 97457 97456 95251 97275 101402 101401 101393 101697 101668 101692 101693 104116 104117 104103 104102 101403 101413 101388 101419 101406 104002 103749 104179 104232 104231 104313 103933 104180 104003 102021 104158 104183 97328 97329 103351 103348 101673 103349 101667 103337 103336 104333 103338 104350 103352 101674 103335 104351 103353 103350 96057 101387 101385 101386 96785 95233 96069 96070 101371 101372 101373 101370 101392 101391 97443 96961 97444 96602 115608 116687 115604 90541 90526 90527 90540 128671 128670 90250 89961 90368 90548 90137 90439 90713 88099 90387 90570 90776 90750 90692 90751 90386 90777 90440 90549 90464 90714 90571 89778 90251 90112 89755 89936 90226 90465 90136 89779 89960 89935 104080 104079 104077 104078 103586 103591 103587 103590 103588 103589 104073 103875 103767 103877 103765 103766 103764 104076 103878 103881 103879 104074 103880 103761 103763 104075 103876 102843 102842 102840 102841 103874 103678 103679 103760 103584 103494 103468 103496 103492 103495 103470 103493 104070 104069 103439 103407 103226 103221 103227 103404 103225 103223 102690 102686 103111 103107 102832 102691 102673 103792 103793 103503 103325 103324 103402 102866 103139 102951 103108 103138 103036 102688 103502 103762 103112 102687 103405 103110 102867 103224 102952 103109 103585 103222 102685 103113 102836 102831 102689 102684 103401 102672 103403 103037 103406 103408 103106 103220 108179 108180 103441 103454 103455 103440 103438 103452 103453 103485 103491 94580 82384 83247 83246 83064 82302 81690 81689 81688 82303 82290 82369 82370 81677 81301 81336 82880 82881 81590 81337 83873 83955 82882 83050 82869 83407 83422 83819 83846 82289 81300 83063 83547 83500 83613 83386 83390 82371 81589 83424 81676 83549 83570 83821 83642 83796 83493 82291 81675 83954 83378 83501 83717 82304 83574 88089 88088 102716 102717 102837 102839 102728 102729 101687 101686 102029 102035 102034 102031 102032 102030 102033 102028 101695 101696 102011 102010 102950 102644 102647 102948 102838 101930 102725 102724 102645 101929 102648 102726 102643 102727 101933 101934 101928 102646 102947 101931 102946 102649 102949 101932 102945 101927 102723 102635 101915 101916 102636 102642 110258 110280 110283 110240 110242 110228 110227 110241 110229 110256 110279 110243 110226 110284 110282 110273 110281 94957 94953 94959 94950 94955 94954 94931 94929 94951 94952 94958 94956 94933 94930 94932 94934 90521 90505 90506 90473 90472 90474 90489 90669 90685 90670 90490 90668 96827 96668 96846 96188 96646 96273 96085 96110 96255 96384 96274 96385 95971 95230 96845 96669 96360 96206 96488 95231 95995 95996 96466 96489 90531 90497 96254 96084 97319 97290 97291 97320 97285 97322 97321 97324 97326 97289 97323 97292 97325 97088 97086 97090 97089 97091 97087 97286 97093 97092 97287 97288 96890 96974 96973 96977 96976 96975 96979 96972 96978 96891 97281 97314 97282 97315 96160 96158 96161 96162 96163 96164 96055 96050 96052 96051 96053 95903 95941 96054 95936 95939 95937 95897 95940 95938 95900 95902 95899 95898 96159 95901 96049 95145 95860 96801 95247 96615 96620 96797 95861 95856 95139 96796 95142 96616 95241 96803 96613 95141 96619 96802 95243 95855 96799 95146 95246 95244 95857 96618 96800 96798 96617 95242 95859 95858 95144 95245 95143 96614 96437 96435 96436 96439 96434 96438 96432 96322 96248 96321 96043 96079 96323 96249 96319 96044 96324 96325 96078 96320 96318 94942 97004 97005 95885 95884 95929 95928 95140 96157 96433 95896 95935 95854 95128 95847 96715 95127 96048 95223 96714 94908 96351 96537 96350 94907 95848 95222 96536 95240 96205 96109 95229 96697 96680 96707 96708 96706 96682 96705 96704 96703 90111 89269 89271 89158 88090 89159 89270 89157 88361 90741 90661 90175 90659 90266 90291 90167 90166 90288 90290 90742 90744 90177 90286 90429 90431 90176 90634 90360 90609 90582 90606 90605 90743 90174 90152 90351 90178 90739 90657 90418 90337 90264 90607 90289 90660 90292 90432 90359 90401 90335 90287 90658 90361 90281 90584 90745 90608 90403 90428 90362 90430 90636 90358 90150 90650 90738 90598 90740 90468 90308 90471 90667 89777 88097 89762 89773 89761 90774 89772 90775 89774 89775 89759 89760 88098 90757 89776 88091 96664 96665 96666 96652 96653 96651 96667 96650 88144 88146 88143 88142 88171 88167 88168 88141 88166 88164 88145 88162 88165 88163 88169 88170 88149 88153 88160 88158 88157 88152 88161 88147 88151 88156 88154 88148 88159 88155 88125 88124 89851 89092 89852 90034 90035 88477 88465 88463 90520 90488 90322 88476 90487 90519 88464 89078 90684 90683 88378 88377 89091 89090 89668 90323 89669 89079 88478 89077 75556 75543 75596 89068 89069 89646 89070 89072 89073 89071 89067 83652 81311 83989 83783 83760 83904 83925 83677 83324 83676 83926 83782 82967 83173 83463 83438 82990 83147 83651 83761 83962 83988 83963 83599 82991 83148 83323 83349 83462 83580 83172 83598 83348 90300 81573 90494 90533 90298 90493 83700 83699 83731 83732 83534 83535 94943 94941 94948 94944 94935 94937 94940 94946 94949 94947 94945 94939 94936 88243 88245 88246 88253 88247 88255 88250 88249 88256 88254 88251 88244 88248 88252 88262 88266 88238 88240 88241 88258 88259 88261 88257 88239 88242 88260 88264 88265 88267 88263 81302 83213 83186 83214 83188 83211 83203 83212 83210 83810 83630 81657 83006 83004 83028 83020 83030 83029 83019 83031 83027 83957 83956 96424 96238 96310 96033 96311 96287 96240 96032 96241 96218 83209 82971 82973 81310 83986 83987 81309 82974 83569 83385 83867 83816 83639 83815 83868 83638 83026 96312 96239 96009 96123 96147 96307 96425 96285 96036 96148 96237 96146 96150 96415 83897 83895 83880 83896 83881 83882 96037 96011 96301 96423 96426 82988 82985 82987 82972 83969 82986 82989 81303 82984 96035 96398 96308 96034 96309 96151 96242 96421 96400 96125 77109 77094 77093 77108 77092 77107 75967 75814 75978 75982 75694 75695 75693 75817 75981 75815 75966 75980 75699 75707 75705 74371 74370 75965 75977 75706 75698 75979 75807 75970 75971 75816 75808 74513 74512 96140 95889 83949 90039 89858 89183 88443 89322 90058 88441 89486 89417 89700 89296 89678 89881 89485 89597 89467 89321 89208 89400 89297 89418 89880 89596 89207 89701 88442 89572 89466 90057 87797 87811 87796 87809 87795 87810 96422 96149 96231 96026 81008 81006 81021 81022 81023 81009 81007 87794 79095 88341 88109 88446 83749 83747 83750 83832 83831 83828 83830 83748 83746 83744 74219 74235 74218 74220 74233 74234 74221 76918 76917 77169 77168 77083 87821 87822 87820 83833 83834 76434 75691 75535 75956 74780 75537 75533 75572 74778 76069 75690 75959 75798 75797 76610 74782 74779 75800 75539 75688 75689 75794 75576 75960 75686 74781 81029 81038 81037 74516 75799 75574 75573 75958 76251 75957 75796 75575 75687 75534 75577 75685 74777 75961 75536 75955 75538 87823 87824 87819 87818 87825 87817 87826 83715 83714 83716 83713 83710 83712 83225 83222 83224 83223 83227 83397 83226 81297 81298 83827 83829 83743 83709 83711 81670 81668 81666 81671 82475 82474 82476 82477 82327 82582 82585 82588 82479 82586 82478 82587 82584 82365 89392 89546 89391 89384 89554 89275 89383 89547 89555 89283 89274 89553 89390 83745 82473 82364 82363 82322 82326 81304 82323 82362 82361 82360 82324 82321 82325 82583 87815 83043 83040 82283 83513 82281 82862 81669 81665 81667 83514 83402 83401 83403 83511 83515 83399 82282 82284 82863 82860 82280 82861 82279 83044 82859 82285 83038 82858 83516 83221 83042 83705 83739 83706 83738 83752 83753 94603 94604 89265 89266 89264 89267 89263 89261 83220 83396 81567 82960 82961 82856 81568 81569 81566 83398 82278 81563 82353 82352 82672 82503 82742 82746 82744 82745 82502 82857 82749 82581 82320 82467 82468 82308 82748 82747 82472 83139 81331 81332 82272 81646 83429 82775 83138 82774 81552 81551 90014 90185 90011 90188 90009 90015 88358 90102 90186 90187 88353 90189 90012 88355 90103 90184 88356 90190 90013 88357 88354 90008 90191 88352 89830 89826 89831 89644 89827 89828 89152 89149 89148 89109 89140 89151 89153 89373 89374 89372 89461 89110 89291 89255 89111 89371 89262 89375 89535 89376 89534 89256 89113 89532 89530 89533 89097 89460 89112 89370 89108 89369 89096 89114 89531 89825 89536 89537 89829 89645 89290 89832 89147 89927 88452 89749 90216 88435 89563 88119 88120 88434 89748 90217 88339 89060 89066 89926 89059 88340 88351 89150 90010 89141 89260 89562 89115 83041 83039 83510 82271 83037 83428 83400 82309 87816 83315 82743 83512 81565 83517 83314 81570 81564 82673 89917 89919 89892 89916 89894 89920 89918 89878 89865 89864 89879 89862 89877 89282 90357 90655 90656 90427 90603 90426 90604 90737 88445 90173 89915 89909 89863 89876 81653 81654 83093 82533 82678 82508 82509 81655 82808 82697 82890 82913 82534 82630 82629 83269 82912 82419 82679 83270 83251 82612 83092 82698 82809 82784 82395 82420 83070 76200 76198 77181 76199 77199 76197 76201 76185 76183 76184 77198 74521 74515 74522 76186 76724 76196 81049 82359 81647 81055 81042 81024 81039 81664 76218 76398 76242 76424 76422 76423 76426 76216 76239 76243 76240 76425 76241 76400 81246 81220 81247 81385 81414 81145 81143 81133 81131 81149 81132 81134 81150 81144 81137 81147 81146 81148 76415 76591 76231 76232 76590 81244 85707 74658 79018 78896 78822 78820 78808 79017 79016 78913 78895 85805 77283 77267 77266 77284 77268 77269 77282 77230 77246 70253 70174 70135 70255 70171 69939 69936 69823 70140 69468 69466 69826 67722 70254 70252 70134 69825 69647 69645 69283 69282 69467 69651 69821 70139 70258 69824 70169 70138 69285 70257 70170 70256 70168 67721 69935 69938 69937 69941 70172 69650 70136 69827 69648 69287 69465 69462 69649 69284 69463 69286 69940 70137 70173 69464 74245 74247 74246 74248 81232 81212 81219 81129 81233 81217 81218 81216 77216 77206 77836 77219 77548 77550 77837 77220 74387 77822 74388 77835 77672 77549 77565 77438 77820 77660 77821 77674 77673 77661 77561 77662 77663 77833 77669 77670 77562 77832 77671 77834 77553 77826 77825 77554 77560 77256 88202 88173 74407 74413 74414 74415 74408 74406 74410 74411 74412 77215 77254 77255 78919 78918 78917 78916 77222 77227 77228 77252 77253 77260 78465 78382 78381 77244 77245 78116 78711 78821 74402 78601 77367 74401 77331 77934 77659 78809 77437 77949 78807 78476 78115 77330 78696 78914 77948 78713 78602 77563 78132 77564 77205 77436 77947 78915 78894 77317 78298 78313 78490 77935 78868 79000 78750 78622 78505 78979 78890 78416 79001 78530 78889 78641 78529 79050 78239 79024 78726 78215 78415 79023 78391 78058 78057 78240 78751 78640 78034 79049 74365 67586 70429 70432 63640 81405 81409 81403 81398 81412 81413 81389 81411 81396 81395 81401 81404 81410 81399 81388 81386 81387 81400 81408 81394 81390 81407 81402 81406 74236 74267 74333 74251 74254 74261 74332 74708 74711 74706 74712 74710 74702 74703 74705 74713 74698 74709 74700 74704 74707 74699 74701 70623 70883 70625 70665 70624 70610 70875 70871 70872 70886 70611 70873 70881 70777 70882 70765 70766 70612 70884 70874 70776 70885 70663 70774 70775 70664 74722 74721 74716 74694 74693 74717 74715 74720 74718 74719 74714 74695 71801 71703 71702 71701 71814 71815 71813 71800 71802 70479 70496 70481 70495 70480 71327 70494 71342 71344 71328 71329 71343 76527 76608 74775 76722 76432 76526 76640 76641 75484 75490 76351 76350 75483 76249 75714 75715 75885 75884 75680 76068 75987 74876 74859 76172 74763 76173 74858 75986 108598 71925 71909 71910 71923 71908 108599 108567 108695 108694 71924 125337 125338 124800 121890 124928 126211 124783 124929 124967 124952 124968 124784 125081 125079 124798 124785 124927 124916 125351 124915 125352 124954 124737 124914 124733 122579 125080 125336 126322 125353 125175 125176 124799 125813 121905 121906 121892 121893 121891 125177 126103 125630 124969 125188 88276 88280 88274 88275 88283 88281 88285 88284 88296 88293 88295 88294 88291 88289 88292 88298 88297 88269 88270 88282 88286 88287 88279 88278 88288 88290 88272 88271 88273 126432 126433 121903 124736 125065 126434 125064 115451 125066 126410 126338 124735 125463 126409 125189 126006 121904 125452 125190 124953 125648 125631 125632 129019 129003 129021 129007 129006 129010 129015 129022 129002 122217 128999 129014 128998 129023 129008 129004 122175 122143 122174 122234 122235 122226 122223 122232 122233 122224 122229 122228 122222 122230 122213 122236 122218 122219 122221 122225 122238 124782 125989 129013 129012 129000 129005 129011 129009 129016 129024 129020 129018 129001 128997 129017 122227 122231 129025 129026 108663 118942 119064 121879 121871 121881 118786 119046 121862 119257 121880 119479 117957 119752 119453 118968 118785 119595 119618 119369 119119 119258 119118 119596 119617 119368 119144 119478 121874 119065 119143 118967 119454 119778 119350 121878 121861 121858 119233 121872 121877 121876 121859 121865 119751 118762 119707 115325 121860 118943 119728 119729 119777 121873 121875 131570 115432 115427 115428 115426 115422 115421 115423 101528 101527 101541 101526 102215 101521 101542 101529 105903 105470 105878 105682 106041 105186 105543 105366 105567 105489 106202 105209 105392 106131 104381 106153 105210 105542 105902 105792 105391 106020 106152 106176 106201 106042 105568 106175 105774 105681 105793 105657 105367 105488 108662 108660 108654 108659 108658 108646 108647 108648 108645 108649 108650 108653 108652 108637 108651 108656 108655 108657 108643 108641 108642 108661 104987 104564 104717 104973 105961 105849 105451 105268 105848 105269 105865 105740 105450 105643 105960 105628 105627 104972 104826 104604 104813 104989 104988 104974 104605 104603 104824 104812 104825 105267 105959 105467 104715 104565 104563 105087 104373 105755 105086 105626 105974 104716 104811 105742 105741 105088 105850 105284 105452 104369 105101 106168 104436 104420 106047 104483 105958 105266 106045 104521 104484 104482 105466 105847 105283 104519 104520 104507 104506 105625 105282 104470 104508 104471 105465 105449 104469 104702 104700 104701 101540 101539 105739 104371 104372 105864 105641 105085 105863 106065 104419 104421 106046 105973 105753 104434 105754 106066 105642 106067 104435 105972 106048 104418 128962 128963 128931 122271 122239 122270 129059 129058 129027 122237 122216 122209 122211 122220 122212 122215 122214 122210 105100 104358 104590 104357 104588 105099 104589 106170 106169 119425 119441 119550 119535 119537 119536 119424 119426 119043 118060 118843 119217 118675 118677 119439 118676 118059 118045 119623 119624 119026 119316 118058 119330 119041 119622 118858 118844 119027 119318 119203 118082 118084 119218 119202 118047 118859 119440 118011 118012 119331 118845 119548 118095 118010 118097 119219 119317 119643 118096 118046 119641 119329 118083 119028 119204 119549 119042 119642 118860 118663 118662 118664 121798 121791 121807 121847 121831 121792 117995 117997 117949 117945 117994 117996 115387 115355 117948 117947 118276 118277 118278 117934 117933 115386 115116 115115 118289 118288 119746 119621 118127 118180 118139 118128 118179 118166 118140 118126 118165 118141 118164 118181 119644 119744 119647 119645 119745 119646 108328 108327 111224 111209 111352 111393 111207 111392 111340 111351 111391 111208 111338 111339 111353 111206 111159 111160 111223 111376 111222 111378 111377 117958 117974 117953 117956 117954 117952 117943 117950 117955 117944 117951 112258 112690 112581 111974 112179 112355 112990 112562 112919 111169 112277 112830 112469 111998 112445 112940 112470 112941 112180 111997 112155 112666 112331 112808 112691 112964 112356 112829 112963 112580 112276 112989 118779 119772 118767 119773 118766 118768 119774 106069 104550 106071 104552 104551 106068 106070 119761 118782 118783 118781 118784 118780 119758 119775 118769 119776 119760 108636 108635 108639 108640 108644 108634 108633 108638 112330 115074 115072 115088 115087 115084 115092 115071 115073 115083 115085 115089 115090 115070 115086 115077 115091 115093 112807 108385 108386 108402 108371 108361 108395 108396 108375 108376 108384 108373 108383 108372 108367 108401 108387 108366 108362 108399 108389 108400 108365 108374 108397 108398 108388 118023 118493 118707 118214 118708 118215 118604 118024 118424 118579 118025 118190 118328 118329 118685 118407 118425 118603 118304 118492 118474 112665 112154 108382 118473 118303 111167 111168 111162 108378 108381 108380 81277 81276 81275 81278 81279 119771 108289 108295 108297 108301 108285 108300 108298 108283 108296 108284 108303 108286 108299 108282 108302 108304 112988 111155 111992 111991 111995 111981 111993 112970 95085 95086 101853 94739 94741 94740 94733 94754 94738 94753 95119 95118 95087 112987 111996 111980 111994 111979 111978 105877 106019 111427 111704 111686 111402 111237 111540 111235 112077 111426 111919 111619 112099 111897 111920 111816 111791 111636 111705 111541 111637 111815 111236 111516 112100 111685 108566 115004 115019 115059 115003 115010 115043 108537 98189 97926 97917 98190 98033 98034 98198 81447 81446 81415 94990 84003 94982 94966 94989 94987 94988 94986 94981 94984 94983 94985 95023 94991 90790 90785 90786 88331 88299 90806 90822 91255 91273 90805 91272 87951 87950 87965 87966 87953 87952 94963 94962 94964 101874 101873 101847 101851 101850 101859 101863 101866 101856 101860 101848 101862 101854 101869 101865 101855 101858 101861 101868 101872 101870 101864 101867 101857 101849 101871 101846 101845 101852 94825 94786 94822 94790 94810 94791 94824 94785 94796 94813 94821 94812 94811 94798 94789 94826 94820 94823 94770 94777 94776 94775 94779 94778 94774 94772 94771 95022 91119 91116 90797 91250 91237 90793 90969 91139 91248 91140 91249 91121 91141 90970 90783 91392 90784 91120 91008 91118 91122 91231 90792 91007 90791 91247 91238 91239 101749 101778 90886 91506 91683 91869 91687 90888 91867 90884 91868 91503 91686 91505 90887 90885 90889 90883 91870 91866 91684 91693 91692 91681 91685 91512 91708 91510 91502 91504 91691 91511 91525 92044 92042 92377 90837 90838 90839 92264 92040 92268 92376 92373 92505 92046 92043 91865 92262 91500 91875 90845 91398 91411 91874 92378 92267 90844 91413 91412 92265 92379 92266 92375 91397 91891 92045 91876 90860 91396 92374 92507 92674 92673 92508 92510 92675 92509 92672 92511 92676 92671 92677 90843 101753 101774 101751 101755 101759 101768 101767 101761 101758 101757 101756 101762 101764 101777 101769 101754 101773 101771 101776 101752 101750 101772 101770 101775 101765 101766 101760 101763 118888 118887 118865 97630 98026 98197 98196 98027 97918 98035 94752 94751 97924 97925 108549 108541 104377 105204 105207 105196 105190 104378 105201 105203 106184 104367 104374 105191 105192 105193 104379 104376 106200 104368 105206 106197 106185 106196 104380 106182 106199 106198 105208 105205 105202 128921 128925 128903 128924 128916 128911 128906 128912 128927 128930 128923 128909 128907 128926 115346 115329 115349 115348 115353 115345 115330 115327 115326 115354 115352 115350 115328 115351 115347 122119 122128 122121 122116 122134 122133 122126 122142 122131 122140 122113 122123 122135 122122 122115 122114 122118 122141 122132 128918 128902 122139 122137 122138 122129 128919 128904 128910 128901 128922 128915 128929 122130 128905 128913 128920 122124 122117 122127 122136 128908 122120 128917 128928 128914 122125 119295 119293 119700 119807 118901 121976 119697 118927 121923 119689 121964 121929 119183 121978 121941 121938 121943 119404 118885 119396 118886 119507 118926 119174 121924 121974 118923 119577 119287 121965 119563 118883 119515 119184 119294 117937 119808 119701 119181 119690 121975 118884 119382 121922 118028 121963 119797 119699 119271 119518 118925 119809 119587 118872 118899 118924 119811 121926 117938 119395 118871 118870 119561 121948 119182 118869 119273 121931 119576 119157 119812 119676 119173 121927 119586 119806 121977 119810 119514 121930 119298 119185 119406 119288 119299 119296 119407 121950 119506 121962 119588 119159 119405 119585 119403 119179 119803 118026 119583 119513 119180 119804 119582 119695 119512 118027 118916 118922 121942 119402 117942 121937 119517 119380 119297 119674 119490 119805 121928 119698 119516 121972 121918 105225 105248 106010 105583 106100 105938 105607 106236 105720 105721 106123 111515 105695 105605 105431 105985 105422 106233 105407 105697 106121 105598 105819 105405 105931 105711 106232 105806 106114 105608 106235 106012 105250 105249 105914 105942 105804 105941 105429 105432 105987 106009 106011 105606 105581 105723 105722 105719 105940 105597 106098 105827 106230 105609 105421 105930 106122 106124 106001 105831 105916 105712 105247 105238 105239 105246 105718 105717 106120 106119 106125 105939 106000 106113 105430 105830 105828 105223 105829 105237 105236 105234 105226 105214 105216 105222 105215 105235 105244 105233 105245 105211 105232 105227 105433 106234 105212 106007 106006 105820 106008 104398 104382 104452 106231 106229 106221 121973 119584 121917 101574 101600 101584 101612 101599 101611 101613 101579 101601 101609 101573 101578 101614 101610 101577 101586 101598 104375 106195 115344 115343 115331 115336 115342 115337 115339 115335 115338 115333 115340 115341 115334 115332 108565 108554 108551 108550 108562 108557 108563 108556 108542 108547 108560 108564 108538 108545 108540 108539 108543 108544 108558 108555 108548 108559 108552 108546 108561 108553 105936 105937 105427 105603 104451 105604 105428 105224 104450 106228 105826 105825 106227 101608 101607 91864 92272 92398 92384 92383 92385 91501 92273 92179 92289 92274 90987 90976 91236 90989 90988 91029 90975 91028 91235 92397 92470 92472 92287 92491 92288 92396 92178 92177 92490 92489 92471 88235 88203 88330 92658 92654 92538 92657 92656 92549 92252 92432 92340 92355 92659 92660 91409 91410 91401 91402 91408 91138 91129 91130 91246 91245 90932 91524 90943 90931 91523 90930 90944 90945 87945 88234 92263 92506 90826 90796 90795 90828 90803 90798 90804 88200 88175 88201 88186 88191 88181 88199 88184 88174 88178 88196 88195 88187 88193 88182 88176 88192 88179 88189 88185 88198 88180 88177 88188 88194 88190 88197 88183 92051 92165 92067 92052 92065 92166 92066 92164 92050 90842 90781 91125 91124 90782 91126 90858 91707 90859 90906 91890 91012 91013 90894 90908 90895 90907 90893 91706 91889 91014 90974 91027 91137 91136 90825 92592 92492 92493 92495 92594 92593 92494 87963 87964 101811 101779 101810 94655 94679 94640 94695 94639 94646 128698 128699 119696 119492 94707 94719 94720 94708 94723 94710 94713 94721 94727 94729 94722 94728 94709 94726 94706 94724 94725 92626 92600 92625 85587 84896 84895 84715 85076 84898 84893 84716 84096 84897 85588 85258 85257 84101 84098 84100 84004 85254 85256 85480 84095 84097 85477 84099 85478 85476 84714 84717 85479 85591 85368 85371 85370 85366 85372 85369 85589 84899 84718 85080 85079 85082 85252 83995 83998 85255 84002 85717 85585 83997 85081 85078 85077 85474 85590 85723 85721 85720 85722 85719 84135 84134 84137 84132 84136 84133 84894 84713 84138 88035 88037 88001 88034 88002 88010 88036 88033 88024 88023 88003 88025 90925 90926 90923 90924 90922 90921 90920 88038 92217 92216 92105 92302 92326 92106 91992 92465 91967 92444 92466 92327 92301 92443 91966 92555 92198 92599 92576 92081 91633 91610 91634 91815 91991 91816 92577 91791 88008 87997 87998 88032 88022 91790 92157 92154 92156 92155 92158 92159 92160 92500 92499 92504 92669 92670 90832 92372 92293 92294 92261 94965 94976 94968 94978 94971 94969 94967 94973 94977 94974 94972 94980 94970 94975 94979 94765 94766 92366 92255 92030 92033 92434 92147 92146 92363 92254 92121 92436 92029 92007 92545 92031 92433 92365 92409 92145 92144 92338 92251 92524 92364 92522 92032 92547 92119 92143 92005 92435 92362 92228 92244 92546 92548 92253 92653 92230 92142 92425 92191 92192 92624 128672 92623 92606 95084 95082 95083 95079 95080 95057 95059 95058 95077 95061 95060 95076 95081 95078 95071 95069 95074 95062 95063 95068 95064 95073 95070 95067 95072 95065 95066 95075 84620 84622 84613 84621 84614 92153 92071 92072 91617 91632 91616 91629 91631 91614 91615 91630 90833 90834 90835 90836 91682 92041 91229 91005 91003 90967 90966 91391 91228 90965 91389 91390 91117 90968 91004 91226 91006 91227 91230 91387 90964 91388 91225 91386 83996 84045 84047 84051 84048 84049 84046 84050 85253 85884 85888 85887 85886 85885 85889 85883 92668 92136 92411 92022 90876 90830 90829 90831 92652 92655 92028 90875 85440 85465 85456 85758 85578 85870 84034 84088 85761 85645 85576 85550 85868 85466 85464 85463 85467 85552 85637 85574 85647 85736 85757 85621 85646 85865 85567 85750 85734 85760 85577 85644 85575 85648 85759 85866 85869 85872 85871 84018 90871 87922 87940 87936 91176 91427 91912 87939 87918 91555 91340 91735 91713 87937 87920 87932 87938 87925 91452 91177 87941 87931 87921 91322 91451 90872 91038 87935 87933 87934 90873 87919 91894 91533 91556 91341 91152 91913 91736 91063 91062 91151 91321 91718 91733 91717 91732 91734 91719 91720 91772 91749 91775 91747 91774 91771 91773 91731 92250 92431 92361 92360 92543 92544 92430 85473 85403 85404 85584 85586 85716 85505 85678 85317 85318 85812 85428 85106 85124 85125 85539 85838 85837 85410 84017 85028 85429 85677 85514 84845 85293 85203 85538 84822 85767 85788 85656 84846 85027 85789 85179 85204 85003 85811 85178 85002 85513 85655 91764 91770 84350 84451 84342 84458 84341 84459 84450 84457 84054 85712 85506 85711 85718 85475 87987 87988 87991 87989 87983 87984 87990 87986 87982 84349 84348 85367 85365 81543 81511 84829 84015 84839 85835 85836 84842 84844 84827 84828 84010 84016 84826 84274 84663 84485 84275 84768 84745 84389 84364 84467 84484 84948 84639 84767 84085 84947 84084 84553 84388 84552 84664 84083 84534 84250 84925 84841 84843 91110 90950 91315 91109 90949 91146 91144 91314 90995 91316 90948 91145 90996 91111 90994 91311 91099 91103 91102 90990 91108 91312 91143 91313 91098 91097 91096 91142 91104 91106 90991 91095 91101 91107 91105 85283 85284 87978 87977 91092 91093 84840 81542 92667 92666 91499 91957 92039 91680 91958 91863 85818 90963 91224 91385 90865 91002 91604 90913 91603 90788 90912 91417 90882 90919 91782 90789 90864 91418 91781 90821 91115 90820 81245 81222 84533 84363 77207 77208 79094 79093 78798 78930 78796 79101 79092 78718 78717 78687 78685 84330 84439 84220 84217 84333 84604 84441 84601 84712 84218 84438 84219 84216 84215 84440 84334 84176 84603 84331 84329 84600 84437 84443 84332 84598 84442 84602 81397 81393 81392 81391 84180 84182 84181 84177 84178 84599 84179 85623 85442 85881 85882 77259 77258 77257 85867 85462 85573 85643 85642 85572 84087 85864 85756 85755 85880 78924 78923 78928 84328 84358 84994 84993 85251 85169 85075 85170 84892 84044 84815 84816 84711 84528 84175 84357 84597 84322 84436 84527 84323 84094 84076 84077 84001 84131 84033 84032 84125 84000 84124 84207 84162 84208 84161 84214 84629 84630 84327 78616 78615 78579 78495 78496 78577 78463 79090 79091 78206 78205 78027 78028 77337 77336 77653 77654 77810 77813 77814 77542 77545 77543 77651 77655 77540 77812 77815 77544 77649 77652 77546 77924 77816 77569 77387 77535 77393 77811 77570 77426 77373 77739 77420 77648 77374 77740 77539 77809 77394 77650 77428 77390 77429 77427 77541 77419 77392 77430 77432 77388 77431 77391 77389 77534 78104 77343 77212 77289 77288 77842 77841 77213 77306 78287 77923 78390 78214 78867 78725 74244 74243 74242 74458 74426 74461 74460 74449 74434 74459 74457 74448 74432 74425 74422 74421 74427 74446 74462 74447 60911 74776 75795 60933 60934 60964 60969 63033 61306 61302 61307 61305 61304 61303 61301 81027 81028 63037 63035 63036 63039 65007 65002 65005 63737 63638 64714 64718 64888 64715 63633 63735 63736 65225 63731 63734 63733 64716 64717 64891 63732 63631 62224 61963 62382 62381 62383 62384 61962 62385 62379 61919 61920 61917 62676 61915 62675 61921 61918 62862 62677 62859 62680 62860 62678 62861 62679 62863 62858 62857 62496 62494 62495 62498 62499 62497 62674 61957 62493 61960 61958 61961 61959 62115 62109 62112 62114 62111 62113 62001 62000 62222 62223 62221 62218 62220 60940 63347 63349 63348 63147 63150 63151 63149 62380 62219 61202 61204 61206 63148 63034 61205 61203 61201 62229 62022 60974 62134 62132 62133 60938 62243 62242 62230 62404 61981 62684 62389 62503 62883 62118 60937 61189 60957 61294 60970 62405 62390 62406 62685 62686 62021 62228 61969 61968 61982 62701 62391 62867 62518 62504 62505 62868 62869 62884 63044 63043 63045 63159 63157 75520 75532 75565 75793 75954 75564 75521 75571 74764 75679 63152 63153 61225 62516 63058 61311 61212 60973 61939 62699 61926 61940 61325 61997 61996 61998 62241 61200 62110 61999 61226 61312 72308 63383 72311 72310 72309 70421 71142 70558 70561 71141 71138 63386 70562 70560 71140 70426 71139 70422 70556 70557 70559 63382 63384 63385 63453 63508 63432 63484 63455 78835 79083 79079 78969 78456 63352 63380 63350 63351 78453 64534 64533 64531 78652 78787 79084 78431 78962 78779 78948 78857 78455 78970 78568 79077 78860 77300 78571 78790 78764 63506 78677 78569 63482 63505 78856 78973 78543 78788 78971 78678 78675 78676 78859 78849 64532 64354 64352 64529 64712 64535 64351 64353 64350 78567 78946 79078 78833 78570 79082 78858 78762 78654 78668 78789 78429 78457 78454 78786 79080 78679 78545 78972 79081 63278 62998 63251 63023 63277 63183 63025 63000 63139 63249 63138 63206 63276 63022 63136 63140 63024 63185 63114 63280 63112 63026 63464 62265 62266 62248 60947 63540 62603 63098 63234 62906 63418 62627 62783 63287 62959 63216 63562 63498 63396 63599 63598 63074 63419 63313 63397 62808 62960 62984 62784 62626 62985 62887 63099 63235 63625 63312 62905 62809 63561 63288 63624 63266 63199 63129 63337 63322 63466 63381 63590 63587 63591 63589 71755 70512 71781 71891 71782 71665 71757 71888 71779 71889 71890 71866 71778 71880 71887 71976 71864 71783 71780 71998 71974 71666 71777 63342 63345 63341 63379 67916 67910 67911 67912 63446 63316 63468 63467 63210 63456 61925 63457 63279 63338 61326 61313 63059 63172 63158 63470 63469 63509 62517 61324 63207 61227 62006 63346 61916 63038 60965 61938 62005 63015 63321 62119 63507 63209 61927 61211 63137 63208 63430 62882 62007 63320 63060 62700 63454 63593 63592 56905 56920 56903 56904 65353 64713 65111 69998 69924 69900 69928 69814 69813 69926 69810 69917 70272 70220 70054 70064 70037 70066 70067 70065 68082 67977 70296 70286 70245 70270 70297 70218 70243 70242 70293 70244 70294 70234 70068 70241 70295 70039 67745 70375 70377 69803 69802 69786 69927 69811 69812 69788 69925 69971 69996 69995 69997 69994 69973 70376 69987 69902 69646 68897 67991 69007 68745 69010 69167 69009 67988 68747 68898 69169 68785 68788 69173 68746 67989 69011 69281 68902 69008 67992 67994 68748 68900 69172 69822 69006 68899 67993 68750 69170 67990 68751 68786 68901 68749 68787 68784 68903 69168 68789 69171 69012 69444 69452 69634 69886 69596 70004 70349 70206 69693 69694 70412 70386 69572 69414 67735 70328 70350 70184 70075 69571 70022 69748 69887 69597 70100 70387 69391 70101 69773 69415 69675 70413 69862 70207 70023 70076 70185 69772 76421 76597 76781 76238 77079 77028 77080 76851 76850 74869 77161 77027 67809 67455 63463 67454 67458 67459 67460 67457 67456 63465 64246 64244 64245 64259 64085 64084 64261 64260 64098 64097 64096 63989 63988 63987 64083 64256 63986 64249 64250 63977 64257 63706 63707 63643 64094 64086 63984 64093 63630 64095 63978 64087 63974 64258 63644 63973 63629 63972 63985 65338 65318 65244 65232 65319 65233 63862 63861 63860 65440 67461 67453 67462 70167 65003 64349 65355 65354 65222 63632 65112 65116 64893 64894 65110 65114 69636 69612 69922 69627 69453 69428 69451 69635 65221 69454 65004 69455 65115 54405 65224 69430 69443 65006 65008 64890 64892 65223 69923 69637 65226 65113 69638 69610 65227 65357 65520 65358 65521 65519 65359 65356 67555 67573 67558 67557 67556 67570 67561 67572 67567 67575 67576 67577 67554 67569 67571 67568 67574 70133 71991 72001 72045 72185 70442 72183 72047 72069 72068 72174 70458 71643 71668 72072 71999 72181 72184 72182 72160 72071 72158 70427 77299 67625 67624 67622 67626 67619 67620 67627 67614 67613 67618 67623 65343 65442 65231 65441 65339 65245 65246 65337 65320 70478 67870 67871 67966 70760 71032 70761 71033 70418 71047 70650 71048 70648 71034 71049 70417 70649 71046 71045 70773 70772 71037 71038 70762 71044 72019 72020 72034 72021 71160 70530 70543 70581 70531 72125 70567 70579 71147 70566 71687 70580 70542 71146 70544 72032 70529 71686 71511 71527 71688 71510 72106 72033 72127 72108 71526 72107 71525 71148 72126 71512 70568 71159 71161 72000 72070 72002 72061 72289 72292 72293 72294 72290 78560 78446 78445 78855 78967 78968 78784 78854 78674 78452 78785 78566 71664 71772 79076 74456 72066 72067 71886 71997 71996 71641 71658 71667 71669 71657 72312 71137 72291 72313 70419 70428 72295 72288 72296 72307 72305 72306 72304 72213 71853 71548 72261 71269 71627 71427 71603 72101 71852 71549 71717 71741 71530 72080 71962 71451 70441 72191 71742 72236 72235 71963 72102 71452 72212 71270 71628 71246 71834 71938 72262 70867 71026 70758 70864 71024 70865 70863 70752 70866 70756 71028 70755 70754 70861 71025 70757 71027 71136 71022 71602 71426 71937 72079 70891 70976 70507 70908 70977 70909 70699 70787 70162 70163 70251 70177 70176 74364 74355 74342 74344 74359 74360 74361 74345 74358 74343 74346 74363 74357 74362 74356 74349 67839 74612 74614 74620 74615 74622 74623 74601 74617 74613 74611 74619 74610 74597 74625 74607 74602 74618 74626 74624 74608 74621 74616 70378 70381 70379 70380 74606 74604 74609 74603 74599 74598 74605 74600 74543 74544 75684 71169 71063 71349 70509 71191 70958 70508 70698 71192 70788 70812 71088 70957 70813 71087 71371 71372 70674 70410 70411 70393 67727 74250 74249 74241 67838 71253 71264 72242 72260 71266 71267 71252 70440 72259 71265 70434 71268 70439 71250 71251 70374 74239 74240 71263 69553 69552 69554 69555 69530 69556 70475 71677 70473 71789 71594 71897 72142 70420 72009 72010 72012 72013 72014 72011 71505 70472 71319 70474 71791 71679 71680 71790 71794 71681 71902 71898 71317 71323 70470 71901 71676 71793 71678 71899 71503 71792 72146 72147 71682 72143 72141 72144 72015 72145 70524 70523 71499 70518 71675 70520 71501 71318 70521 70522 70519 70525 71500 71900 71502 71320 70471 71321 71322 69528 72140 71904 71795 71796 71903 70468 71593 70469 71504 71506 72008 68708 68704 68709 68705 68707 68703 68706 68091 68092 68095 68093 68094 68089 68090 67753 67752 67757 69934 67987 69820 69738 69739 69461 69644 69280 68777 68776 68891 68088 69097 68926 68896 68733 69096 68927 68892 68783 68732 69005 68702 69384 69852 69199 69385 67975 69198 69853 68070 70130 68696 67976 67756 70129 69563 68695 69562 69166 67446 67445 67433 67447 67755 68071 68744 70424 70501 70500 70425 71023 70606 70644 70753 72228 72129 72130 72131 72229 72230 72128 70555 72180 72179 70600 70603 70641 70639 70601 70602 70862 70643 70548 71316 71021 70951 70952 70585 71135 70586 70781 70782 70747 70631 70599 70511 65352 72303 71930 72135 72136 71929 72302 70860 70632 70746 70642 70751 70605 70640 70604 63654 63670 63724 71239 71054 71418 71053 71707 71827 70456 70457 71417 71828 71708 78093 65220 65109 67670 67633 67659 67646 67669 67637 67644 67638 67639 67672 67661 67634 67673 67674 69248 67981 69272 68997 68999 67748 69157 67747 63969 63966 63970 63967 63968 67658 65213 65506 65257 65396 65395 65102 65186 65103 65502 65281 65282 65393 65211 65283 65284 65076 65386 65280 65212 65504 65099 65100 65273 65397 65370 65505 65214 64954 64482 64639 64742 64839 65474 65175 65174 65314 65424 65065 65403 65313 65425 65046 65473 65447 64481 64663 64760 65064 65292 64815 64840 64458 65448 63653 64664 64761 65150 64929 64953 65508 68843 68077 68844 69232 68958 69336 68819 69122 69494 69208 68957 69036 68078 69517 69103 69121 69314 69516 69054 69337 68933 69233 68079 69053 65523 65522 65524 65525 65516 65517 65518 63634 64530 65503 64348 63683 63682 63684 63685 63769 63771 63772 63768 63773 63774 63770 63964 63686 64889 63687 67746 67660 67671 65203 65188 65372 65259 65078 63723 65092 65500 63680 65501 63965 64237 63855 63817 64238 63815 64234 63818 64076 63852 63812 64240 64077 63854 64235 64239 64236 64075 63814 63856 63853 64073 64078 63813 63851 64079 64074 63816 64711 64806 65001 64805 64528 65347 65348 65142 65141 65040 65039 63963 63959 63811 63798 63994 63843 63797 63958 64233 63844 64163 63993 64072 64347 64164 63730 63767 63636 63637 64630 64920 63760 64266 63713 64919 64265 63761 64452 64629 63712 64451 64887 63681 63669 63668 63850 74575 67466 67448 67463 67545 67473 67544 67479 42958 42808 42794 42973 42956 42795 42957 42793 68932 69512 69501 69102 69514 69515 69498 69499 69513 69500 70292 70291 70062 70063 69809 70240 70239 69993 68081 69545 69551 70373 68996 69352 69085 69089 68738 69087 69079 69066 68994 69135 69374 63588 63586 63374 63375 63388 63389 61967 62020 61980 63146 63064 63065 60936 61289 62526 61291 62144 62056 62444 62031 62445 62314 62549 62706 62548 61290 62728 62334 62333 62055 62729 62170 62315 62145 62420 62169 62765 62764 62766 62742 62740 62768 62767 61209 61210 63518 63533 60972 63515 63171 63532 63368 63335 63336 63156 63369 63319 63170 63531 63516 63354 63353 62117 63517 63367 60757 60660 60756 60678 60675 60685 60691 63134 63135 63622 63605 62623 62608 62607 62622 62610 63623 62609 60945 62625 62624 60939 74572 74578 74573 74571 60946 69721 65101 65210 68973 69378 65507 65394 69156 69088 69269 53890 53872 53969 53903 53968 53897 53887 63032 62951 62950 54169 56802 56805 56804 56799 56801 56803 62712 62725 62727 62711 62726 62713 62710 56800 56798 63585 63504 63451 63452 63503 63021 63205 61293 63274 63275 62757 62763 62724 62309 62308 61943 61945 62104 62102 62103 61988 61987 62139 61989 62138 61944 54503 54502 62122 62123 62131 62130 62307 62092 62306 62096 62240 62136 62095 62100 62101 62137 61193 61984 62090 62304 62098 62088 62239 62231 62232 62097 62089 61983 62091 62094 62305 61192 62099 62135 62085 62086 61050 61049 61047 61041 61048 61042 61021 61043 61044 61026 61023 61025 61046 61022 61045 61024 54990 61031 61039 61030 61033 61029 61027 61040 61037 61032 61035 61038 61034 61036 61028 49192 49191 49188 49190 49164 49189 49166 60995 60996 60992 60991 61002 60997 60990 49021 47724 47611 48835 48834 47612 49199 48331 49198 47706 48332 49020 47707 50009 49870 49922 50010 48738 48568 49927 49928 55874 56716 56663 56664 56233 56486 56057 54404 56487 56715 56417 49135 49136 49151 49137 49150 49149 49134 49269 49148 47717 49181 47391 47392 49699 49875 49876 49187 49698 49086 49445 56745 56729 56730 56728 55219 55218 55233 55217 55180 55181 55234 56744 60657 56743 60659 55179 55232 60658 55545 55657 55546 55382 55656 55381 55243 55738 55267 55761 56117 55940 56118 56099 55760 55918 55478 55941 55527 55460 55632 55477 54501 55357 55268 55356 55526 47181 47109 47115 47102 47180 62664 62850 62640 62663 62847 62667 62666 62656 62673 62856 61199 62774 62775 61914 61187 62402 62394 62403 62395 61907 62596 62492 62597 61908 61188 62217 62378 61956 62410 60967 62411 60968 61995 62108 56797 61282 61300 61283 78052 78056 79047 78055 81070 81119 81103 81079 81063 79030 79048 78039 81064 78051 62665 62849 62846 62824 62848 62822 62839 62642 42673 42671 42672 42675 42674 42783 42785 42784 42669 40840 40842 40841 40839 42498 42496 42499 42493 42495 42497 42670 40837 40838 42787 42788 42978 42977 40606 40610 40863 40846 40847 40848 42694 42494 40543 40542 40836 40835 42700 42701 42782 42587 42586 42492 47093 47090 47098 47094 47097 47091 47096 47095 42130 42321 42519 40961 42520 41575 42031 42025 41754 42026 41758 41765 41875 42030 41768 41866 41767 40573 41563 42335 42322 40572 42042 42041 42037 41759 41755 41770 41867 40960 42336 40962 42320 41874 41865 41877 42027 41561 42153 41576 40949 42141 42337 41574 41562 41864 41878 42504 40948 42038 42039 41753 41766 41868 41876 41769 42040 41879 42152 42154 42139 42518 40947 42505 42140 42503 42680 42679 42681 40862 40861 42806 42807 42310 42314 42316 42132 42135 42134 42131 42133 42313 42312 42315 42311 42128 42410 43005 42974 42989 42990 42233 42232 42129 41550 43004 42972 42971 40608 40609 41544 40603 43167 47092 40823 43003 40824 40604 40936 43152 42047 40919 42668 41543 43168 47089 40918 43153 43154 43169 42046 42309 42786 42411 42789 33730 33729 33704 33733 33734 33706 33732 33731 33995 37894 37802 38023 38022 37329 37663 37777 36501 38251 37487 38272 38322 37511 37687 38273 38161 37662 38139 38162 38296 37486 38321 37512 37330 37998 38140 37997 38295 37801 37306 37913 37688 37912 2853 363 365 362 364 358 198 357 359 829 826 815 823 822 743 1044 821 820 8504 8931 8321 8304 8984 8480 8656 8299 9258 8983 9236 9295 8320 8795 8479 8680 8681 9093 8323 8769 8930 8794 8317 8318 8306 8505 9115 9321 8303 9257 6782 8655 8319 9092 9294 9320 9009 8305 8322 8912 8770 3963 9008 9114 3016 3015 4995 4997 5080 5091 2852 5167 5129 5128 4952 5130 4951 5117 4950 5092 4831 4830 4832 4911 5169 5127 5090 5171 4833 4913 4834 4998 5170 5093 4985 4912 4829 4940 4996 4953 4915 3982 5168 8902 9151 8721 8881 8718 3369 8905 3365 2817 8363 3362 8543 2820 8879 8833 8808 8719 8359 8832 2821 3387 8542 9152 8694 3363 8945 3360 8904 9150 8947 3359 8976 9149 6792 3386 9126 8810 8518 8906 3370 8696 8520 2816 9153 8544 3361 7023 8975 3364 8834 9180 8720 8338 8362 8360 8836 8545 8361 8835 8336 7128 2818 9128 8722 2819 2805 8972 9201 8973 8903 8546 9286 9285 9288 9202 9283 9287 9203 9289 9204 9205 8830 8831 220 9178 360 8974 75 4914 180 26969 26965 26966 20292 26970 20454 26967 26876 22270 22297 22295 22386 22411 22384 22272 22294 22296 22409 22412 22410 22408 22298 26983 26986 26990 26987 26984 26988 26985 26989 26998 27185 26980 26978 26981 26977 26979 26982 26976 33970 33976 33973 33972 33967 33971 33966 33965 22865 22864 13414 13413 27111 33963 33938 33962 33937 33949 33943 33955 33947 33944 33954 33946 33953 33959 33952 33957 33961 33958 33951 33956 33948 33960 33950 13412 13402 13410 13407 13409 13401 13406 13403 13411 13408 13405 13404 13400 16106 16107 21820 22001 22000 21606 20563 21716 21821 21441 21605 21442 21798 21717 21978 20562 20561 15108 15105 13422 15106 13430 13423 29373 29685 29294 29479 29295 28663 29019 28868 29622 28687 29684 29658 28686 29659 28844 29159 29347 29276 28869 28966 28965 29134 29044 28843 29478 29158 28947 29621 29600 29457 29372 29045 29456 27007 29348 29020 28789 28766 28229 27349 28505 28394 27350 28393 28504 15104 16089 15880 15107 15094 15093 15109 13429 15092 14727 14714 14712 14873 14618 14614 14874 14724 13391 13389 13393 14875 14726 14715 14887 14606 15091 20358 14878 14722 14607 14890 14723 27195 27191 27197 27189 27186 27190 27193 27200 27202 27194 27198 27199 27187 27204 27196 27192 27203 27201 33908 33916 33927 33922 33920 33909 33901 33921 33906 33924 33907 33900 33917 33915 33902 33929 33918 33911 33904 33919 33923 33914 33903 33925 33926 33910 33905 33912 33928 33913 15509 15150 15510 22860 13778 15147 15308 15149 15507 15124 15330 13777 15151 15306 15148 15331 15126 15484 15506 15334 16072 15508 13673 15482 15332 15333 21896 20218 20211 21897 22877 21879 22894 21881 21893 21882 21894 21895 33888 33897 33887 33885 33894 33869 33886 33882 33893 33890 33883 33870 33878 33877 33881 33884 33891 33898 33876 33871 33875 33872 33879 33874 33892 33880 33889 33873 33895 33896 33997 34001 34010 34011 34023 34019 34000 20197 20194 20200 20190 20195 20189 20191 20198 20196 20201 20202 20193 20199 20188 20192 34002 34015 34025 34016 33999 34024 34018 34006 34012 33998 34003 34005 33996 34017 34007 34004 34022 34020 34009 34008 34021 34014 34013 27205 27206 27180 27181 27178 27179 27177 27188 27183 27182 27184 27239 27207 27238 27240 37325 37312 37313 37310 37311 37327 37328 37324 37326 36500 36494 36487 38319 38320 36499 33614 33631 33615 33630 33635 33632 33616 33618 33636 33633 33617 33634 33637 27065 27052 27059 27078 27077 27056 27074 27061 27055 27067 27054 27057 27049 27060 27068 27075 27243 27051 27076 27079 27053 27062 27064 27069 27073 27070 27071 27072 27063 27066 27050 24336 24447 24112 24087 24337 24446 24585 22926 22942 22996 24422 24563 23936 23911 24111 11054 11217 11049 10917 10584 11055 10588 10919 10412 10587 10225 10230 10048 11051 10229 13268 13247 10045 10228 10049 10050 10227 9329 10408 10046 9330 9334 10047 13253 11221 10410 11052 13322 13319 13318 13321 13302 13303 13323 10809 10806 13316 13315 13320 11220 10413 10921 10700 13369 11053 11218 10704 13314 13367 10703 11219 10808 10811 10810 10812 10589 10231 10702 10411 13269 13270 13272 13251 13267 13254 13266 13252 13273 13271 10922 13365 10923 10698 10586 13366 13370 10701 11216 10920 13368 10590 10414 13340 10846 6720 10158 13342 10334 11120 6719 10510 6717 10760 10871 10870 10177 11170 10359 10159 11010 13364 16123 10535 11144 11121 10160 10511 10360 6716 10154 10176 10175 10173 10161 6693 11143 10178 10650 11168 10536 10988 10624 11099 10335 11169 10174 10172 10987 9347 9348 10625 10761 9335 6691 10742 9349 6718 10845 11009 9342 10649 11167 10218 11066 10665 10663 10772 10908 10687 10574 10549 9350 11068 11198 10566 10797 10373 11201 10401 10689 10575 11203 13250 10399 11090 11202 10216 10193 10979 10796 10680 10899 10910 10799 10690 10217 10400 10774 10691 11204 11089 10907 10795 10906 10955 10688 10215 10882 10398 11093 11200 10909 10798 10884 9366 10551 10390 10577 10191 11091 10573 10214 9420 11092 10397 10375 11082 10576 10978 10976 10953 10977 10980 23910 24318 23754 23730 23935 22925 24201 24014 24032 24033 20158 16204 17147 17776 17298 17634 16508 17122 16205 17530 17909 17299 17775 17548 17931 17123 16137 16203 16888 17798 17932 17437 23753 17797 17226 17245 16865 17438 17244 16673 17633 16784 17413 16887 16966 17659 16672 17958 17068 17148 17887 17323 16783 16509 20061 17045 17549 24675 24746 24696 24720 24745 24697 20130 20156 20155 20153 20060 20057 20059 20055 20058 20054 20040 20039 20041 20042 20056 22918 22911 23296 23572 23461 23571 23297 23460 23856 23855 20038 23653 23833 23676 22992 22991 23675 22993 24086 24225 24226 20128 24421 24564 24586 24719 20154 20157 24668 24666 24667 24529 24554 24458 24483 24485 24555 24484 24556 24482 24665 24553 24375 24669 24486 24552 24642 26875 24373 24372 24777 24644 24371 24774 24460 24776 24779 24374 24348 24780 24778 24350 24531 26829 26849 26846 26848 26845 26843 26827 26842 26844 26828 26830 26847 26826 23735 22923 24743 23750 23749 23748 23734 23751 23736 23737 22924 23752 24744 22895 21880 20210 20217 20182 20181 20178 20177 20179 29083 29490 29309 29513 29339 29565 27017 29514 29492 29544 29517 29515 29516 27354 27249 29198 29245 29266 29243 29542 29086 29336 29340 29085 29174 29058 29267 29199 29311 29196 29200 29082 29268 29338 29060 29172 29084 29269 29197 29337 29270 28824 28826 28825 27025 27024 28828 27029 28800 28802 28827 20419 20451 20354 20323 20355 20450 29652 29651 29653 13663 13631 13664 3972 17583 17337 16981 17004 17585 17694 17586 17672 17362 17364 17163 17187 17451 17475 17562 17189 17478 17361 17188 17479 17477 17587 17476 17002 16979 17003 17670 17584 17005 17560 17453 17161 17186 17363 17339 17185 17006 17365 17992 17881 16154 17743 17764 17991 17741 17695 17698 17767 17856 17765 17879 17766 16208 17880 17984 17877 17986 16138 17768 17989 17987 17878 17696 17988 17990 17854 17697 5132 13658 13645 13644 13652 13633 13641 13634 13638 7009 7011 13648 13643 13659 13650 13656 13640 6817 6821 13647 16139 16903 16901 16928 16927 13635 13655 13636 13637 13646 13649 13661 13639 13651 7278 13632 13660 13653 6819 6818 6820 6822 13657 13642 16929 16925 16140 17517 13654 13454 13662 17106 16124 17280 17103 17279 17281 17258 17079 17272 17105 17107 17104 17282 17081 20088 29567 29569 29650 29649 29647 29568 29566 28882 28906 28700 28884 28910 28724 28725 28723 28726 28908 28907 28909 28727 28702 33945 33935 33934 33936 33939 33940 33942 33941 20270 14262 20066 20067 21587 21416 21417 21692 21586 24726 27351 28230 28586 28609 28608 28788 29648 28480 28205 28204 28479 28374 28375 28785 27385 27373 27386 27371 27372 27384 26996 26997 28771 28787 28773 28786 28784 28772 28770 29563 27352 29645 29512 29081 29335 27353 29644 28823 29265 29080 29264 29511 29334 29564 28817 28822 28816 26855 26854 20455 20087 28191 28192 28189 28288 28178 28300 28303 28464 28565 28761 28944 28299 28291 28179 28190 28183 28461 28454 28465 28450 28194 28193 28290 28182 28466 28302 28301 28449 28942 28928 28564 28943 28927 28577 28745 28292 27998 27999 27986 27987 28000 27985 28462 28177 28455 28463 28289 28298 28578 28929 28760 28759 28744 28563 28746 28576 28451 29074 29189 29075 29188 28682 28685 28668 28670 28684 28683 28669 28681 27005 27006 27000 26999 28667 29682 29683 20085 20086 20083 20084 29665 13665 13666 13667 19410 18756 18164 19617 19702 18176 19397 18175 18162 18125 18755 18757 18923 19520 19519 19409 18163 18140 19506 18139 18177 18925 19283 19284 19628 18940 19703 19615 19504 19122 19106 19282 18138 19521 18939 19629 18924 19398 18126 19123 19505 19704 19299 19630 19411 19121 18127 19616 18938 19108 19107 19396 18628 18640 18634 18630 18361 19824 18641 18629 18371 18370 18642 18362 19826 18372 18742 20072 20071 19825 20073 18467 18480 19723 18373 18743 18468 18481 18482 18643 18469 18645 18744 18644 18633 16176 16175 16192 17397 17398 17399 16177 13600 2904 4138 13569 13504 13487 13493 13484 13494 13483 13492 13495 13498 13500 13496 13485 13491 13490 13499 13488 13497 13489 13501 13502 13599 13503 6947 6944 6942 6945 6946 6943 6940 6939 6941 5133 5134 5136 5135 5137 5138 6937 6938 18092 19297 18075 18077 18076 19298 15642 15002 14988 15820 13797 15527 15643 15822 15528 13808 15805 15529 14411 15352 13421 15185 15001 15654 15656 15544 15821 14989 15000 13709 14987 14410 15543 13795 15641 15837 16017 13810 16002 14424 16015 15169 15542 14422 13710 15819 15168 16001 13711 15853 15806 15351 15655 15170 14423 14409 15368 15353 15851 16000 15367 15804 13796 15183 16016 13809 15838 15366 15852 15184 19929 19931 19930 6930 6929 6936 6934 6935 18369 18368 18358 19722 18013 18090 18356 18357 18091 19721 18014 19727 6928 6949 6933 6932 5051 17023 16730 16844 17382 16857 16729 16843 16473 17384 17025 16743 17040 16471 17383 16745 16728 16580 16568 16842 16567 17223 17206 16569 16582 16472 16744 17207 16581 17208 17024 17605 17821 17823 17717 17510 17497 17822 17606 17511 17619 17728 17729 17926 17924 17925 17715 17620 17730 17716 17621 17802 17498 17604 17509 17803 17496 17804 13568 16264 16225 16855 17221 16227 17039 16277 16190 16262 17222 16856 16191 16275 16226 17038 16240 16276 16263 16238 16239 15987 15328 15982 13696 15988 15688 15750 13695 15749 15612 15140 13693 15322 15613 15329 15758 15498 15499 15139 15145 15619 15146 16070 16062 15682 6950 15935 15689 15936 15930 15504 15929 15981 16069 13694 21691 15323 15505 19917 15683 15759 15618 29577 27272 29428 29218 29231 29105 29591 27285 27270 29118 27269 29592 29395 29119 29219 29397 27286 29103 29429 29104 29232 29413 29427 29593 29381 27271 29382 29578 27287 29380 28680 29414 29398 29230 29217 29576 29396 29120 29195 29506 29325 29258 29194 29646 29557 29326 29505 29259 29558 16174 16461 16742 16740 16468 16578 16458 16113 16462 16570 16741 16469 16734 16579 16571 16470 16456 16457 16114 16733 13567 16577 13520 13521 13524 13522 13519 13515 13523 13525 13516 13514 13518 13534 13533 13535 13531 13528 13530 13505 13527 13507 13510 13517 13532 13526 13529 17256 17977 17870 17576 17757 17575 17686 17869 17756 17474 17473 17985 17687 13513 16146 16926 17283 13442 15416 15427 13444 13774 14928 14799 14929 13775 14818 14653 14654 13773 14817 15425 15417 15424 13462 15390 15371 15389 24264 24150 24125 24151 24265 24239 24149 24267 24241 24153 24266 24152 24127 24263 26874 26873 30359 30464 30248 30441 30644 29780 30084 30621 30085 30249 29713 31533 31352 30989 31124 31463 30541 31125 31484 31234 31013 31485 31235 30802 31373 30699 30542 31014 31507 30723 30821 30518 30875 31508 31210 31534 30724 30899 30820 31106 30463 29779 30900 31374 29781 30643 30360 30060 30334 30059 30335 30230 30229 26861 26859 26860 31209 30698 31351 30874 26841 23974 23951 23792 23794 23793 23791 23767 23977 23949 23973 23975 23976 23790 23769 20449 20447 20448 13249 6124 5846 12078 12550 12549 12660 12909 12525 12642 12436 12435 12411 12661 12910 12260 12259 12357 12771 12054 12338 12356 12887 12410 12746 6385 6424 6138 6328 6272 6478 6216 6132 6127 6262 6125 6423 6479 6133 6480 6126 6273 6422 6384 6386 6275 6217 6137 6215 6329 6131 6274 6387 6218 6331 6219 6330 6476 6412 6374 6318 12745 7005 7004 7008 7001 7002 7003 7006 7007 6442 6203 6295 6205 6308 6352 6351 6309 6201 6365 6206 6467 6202 6468 6469 6204 6453 6104 6208 6171 6452 6207 6103 6443 6253 6252 6164 6169 6173 12180 12179 13070 11249 13020 13021 13044 12235 13043 13069 12234 12999 12077 5850 5851 5849 6364 6466 6296 6240 6152 6033 11784 11315 11620 11621 11896 11317 11895 11785 11316 6430 13068 12058 12060 12061 11235 12076 12073 11247 12075 12074 12072 11248 13067 11242 12059 23531 23533 24171 22902 24010 23994 23368 23050 23517 23065 23249 23995 24009 23358 23052 24011 23528 24170 23355 23028 23826 23246 22901 23529 23257 23521 23644 23244 23256 23359 23357 23258 23026 23370 24187 23813 23259 23027 23811 23645 23261 23532 22980 22978 23643 23632 23996 23014 24172 23365 23245 23250 24185 23013 23369 23356 23630 23522 23260 23051 24186 23518 23828 23812 23631 23827 23366 23063 23015 23516 23530 23367 22979 23064 22962 22963 22964 22965 24256 22994 24369 24261 24370 22995 24364 24363 24262 24255 24141 24142 24148 24147 6477 6983 6985 6460 6982 7010 6986 6984 6170 6172 12770 12888 6425 12157 23789 20053 23788 23971 23972 23783 23966 23782 23965 16948 16947 16960 16946 17956 16962 16135 16963 17955 16964 16961 16130 16136 16949 24474 24408 24545 24298 24409 24286 24544 24285 24407 24299 24284 24394 24297 24393 24392 24475 26871 26872 24611 24610 24773 24590 24591 24657 24658 24714 24609 24592 6757 13571 13573 6753 9284 6764 6751 6755 6756 13598 6761 13572 13574 6765 13575 6760 6759 6758 6754 13581 6762 6752 6763 13570 13577 13576 17908 16965 17324 16942 17957 17658 34137 35735 35268 34993 35181 34992 35292 35754 35374 35576 35554 35577 35162 34139 35182 34138 35017 35397 35267 35396 35293 35018 35163 35753 36486 36481 36482 30525 29712 30524 29711 30536 30523 30538 24503 24712 24517 24775 24516 24504 30537 24505 30540 29706 31531 30539 30522 24765 29699 31532 30033 30147 30304 30032 30044 30045 30309 30034 30305 30153 30317 30048 30318 30158 30046 30316 30038 30146 30306 30319 30047 30154 30321 30157 30320 30155 30037 30156 30049 30145 30310 29701 29705 27081 27110 27095 27107 27100 27101 27104 27103 27099 27105 27094 27096 27092 27098 27108 27106 27109 27091 27102 27097 27093 27085 27086 27082 27090 27089 27088 27084 27087 27083 47580 20306 20302 20307 20317 20316 20315 20308 20314 20310 20313 20311 20312 20309 20303 20304 20321 20320 20319 20318 20322 17938 14601 14613 13420 20151 20152 10818 10710 10816 10708 11035 10927 11015 11016 10833 10611 10929 10928 10942 10817 10723 10709 47472 47473 47469 47458 47455 47461 47450 47449 47465 47464 47459 47471 47466 47474 47470 47456 47467 47463 47460 47462 47468 47447 47457 47453 47451 47452 47454 20284 20280 20275 20267 20276 20262 20288 20278 20279 20290 20261 20263 20287 20264 20291 20289 20272 13478 20273 20277 20274 20266 20285 20265 20269 20281 20282 20286 20283 20268 20271 20333 20353 20348 20351 20342 20337 20334 20344 20338 20343 20339 20347 20352 20350 20335 20341 20340 20349 20346 20345 7012 7013 31514 26940 30535 26939 24713 24518 17067 13458 15428 15403 15426 13443 17692 17763 17762 17000 17581 16207 17183 17359 17184 17876 17875 17693 17001 17360 17582 22037 22040 40405 40420 40402 40421 40404 40424 40403 40418 40423 40422 40419 40406 40425 40417 47445 44648 44549 44756 44757 44649 44758 44550 44650 44551 43344 44773 44663 43266 43265 44955 44868 44975 44954 44956 44882 44869 44867 43327 43328 43329 43281 43277 43280 43279 51716 51088 50905 50882 51827 50077 51470 51715 51062 51184 51488 51599 51738 51489 51898 51185 51871 51872 51353 51166 51378 51239 51063 51598 51848 51264 51849 51897 50906 51377 51263 51087 51737 51574 53980 53982 53981 53997 53994 53979 53998 53999 54000 53993 53995 53996 54001 26167 26141 26382 26053 25876 26272 26275 25694 26250 25874 26360 26358 24826 26052 26051 26567 26163 26027 26431 25875 26675 24842 25849 26676 26452 25877 25851 26248 26166 25690 26454 26385 26674 26025 26049 26139 26165 24896 26455 26383 26566 25693 25667 26456 26453 25691 26542 26429 26050 26544 26569 26568 25873 25692 26386 25669 26565 26164 26273 26274 26384 26271 51238 51573 54330 54332 54356 54352 54337 54342 54357 54350 54340 54336 54347 54353 54358 54344 54339 54334 54341 54355 54331 54335 54348 54329 54354 54345 54338 54351 54346 54343 54333 54349 50058 50062 50057 25418 25431 25432 25416 25430 25429 25417 25433 24927 25895 26294 26509 25711 26309 26405 24950 26186 26198 25712 25543 26404 25545 26510 26086 26199 24879 25544 26072 25532 26416 25530 24952 24951 24926 24928 25531 25270 26070 26307 24915 26490 24965 24878 25911 26071 25726 24880 26492 25727 24913 26308 26184 26085 26511 25909 26418 26197 26087 26292 24964 25713 25896 26185 25894 26417 24914 25728 26491 25910 24801 25258 25257 25146 25159 25149 25255 25256 25156 25157 24863 25266 25160 24802 25145 25265 25161 24864 24865 25422 25150 25421 25158 25268 25269 25267 26293 25144 26403 24963 25428 25259 40845 22012 22014 22038 22039 22036 22906 22910 22905 43326 43092 43141 43118 43066 43090 43091 43093 43089 43120 43068 42659 42660 42658 42772 42915 42842 42483 42482 42912 42662 42636 42845 42819 42748 42460 42843 42774 42887 42486 42458 42484 42485 42846 42916 42914 42634 42885 42844 42773 42661 42913 42776 42775 42834 42835 42902 42770 42771 42750 43082 40930 40825 42821 42841 42901 40522 40492 40520 40519 40521 40518 40517 40494 40593 43143 43222 43142 43145 43144 43223 43225 43226 43228 43229 43227 43134 42301 42276 42278 42299 42303 42302 42300 47446 47448 21912 21939 21938 22094 22119 22120 22121 22122 22118 21936 21935 22096 21914 21937 38060 37950 38034 37815 37840 37728 37725 37949 38062 36518 36502 36572 38355 38353 38354 38352 38356 37842 37726 37727 38350 38241 38132 38130 37926 38220 38129 38218 38036 38131 38243 38242 38244 38245 37948 38061 38059 37839 37701 37924 37729 37841 37951 37817 37703 38107 38128 38058 38105 37947 37843 37552 37369 37551 37550 37553 37549 37525 37370 37367 37345 37368 37366 45110 45060 45061 44094 45083 43289 44701 44949 44700 44300 44589 44590 44810 44475 44950 45039 44682 44118 44299 44451 44476 44811 44397 44378 44565 45109 45084 44396 44117 44450 44274 44785 44786 44275 44928 44927 38302 33781 36234 36231 36230 36229 36232 36228 33782 36233 44197 44220 44219 43356 29525 29448 29528 29442 29449 26993 29435 29412 29446 29443 29411 29529 29526 29444 29409 29434 29440 29439 26994 29445 29406 29441 29530 29524 29410 29408 29523 29407 29527 31162 31246 31160 31053 31029 29784 29730 31159 31051 31054 31136 31052 31055 31161 31163 31027 31270 31138 31248 27018 27019 27038 27020 29714 31453 31341 31317 31274 31430 31272 31340 31342 31343 31273 31319 31432 31271 31344 29003 29096 29094 29001 29004 27264 29211 27261 28993 29208 29098 29213 27259 28979 29099 29207 27265 27263 29092 29000 29209 27266 29095 27262 29212 29002 29093 29097 29210 28999 31562 31564 31567 31566 31568 31565 31454 31455 31457 31456 40453 40276 30939 30938 30937 30913 30915 30941 30940 29693 29698 29694 28624 28650 28646 28648 28622 28649 28647 30762 30764 30739 30763 30761 30765 30737 33520 33518 33515 33517 33519 33514 33522 33521 37432 37431 37409 37609 37229 37251 37036 37037 37608 37147 37590 36569 36872 37252 37148 36568 36873 36567 37428 37430 37429 37414 37413 37416 37415 37427 33668 33688 33689 37123 37017 36847 37018 36848 37122 37471 37445 37470 37467 37468 37443 37469 37838 37837 37762 37761 37970 37860 38080 38094 38081 37862 37969 37985 38079 37968 37861 37875 37763 37940 38051 38234 38120 38121 38050 38233 37939 37343 37527 42378 42403 42376 42401 44040 44039 47192 47193 47211 47210 47191 47194 47207 47190 47208 47204 47205 47213 47212 47203 47206 47209 47197 43756 43660 43935 43355 43757 43661 43739 43825 43824 43936 43806 43635 43636 43357 44017 43911 52301 52574 52411 52581 52410 52417 52573 52582 52310 52580 52419 52302 52418 52308 52309 43805 38093 38092 38185 37748 37746 44098 44100 44116 45108 44113 44101 43275 43288 44114 45107 43287 44099 44112 44115 43282 36571 36570 38351 38349 37984 38341 37983 37873 37874 37747 38167 38166 38168 38186 38187 37717 36837 36825 36934 36944 37104 37092 36946 36932 37572 36836 37105 37094 37207 38348 38347 36832 37724 37389 38056 38239 36602 37723 36478 36822 36477 36833 36820 36821 37093 37097 37208 37108 36935 37206 36835 37107 37098 37109 36834 36931 37571 37404 37388 37570 37220 37387 37403 38126 37831 37945 37946 37832 38240 36589 36591 36590 36627 36640 38127 38057 36628 36604 36641 36626 36639 36603 37585 37219 37402 37106 36942 36941 36933 36826 36943 37718 37587 37221 36945 37586 36538 36541 36556 36539 36540 44111 45090 33727 33728 33720 33721 40516 40515 33629 33649 33659 33648 33661 33647 33660 33662 38289 38290 38288 36555 36554 38439 38721 39487 40188 40067 38737 38845 40086 40085 38831 39106 38735 38490 38844 38993 39870 38454 38377 38732 39120 39288 39648 38734 38540 39646 39981 38720 39773 39304 40087 39470 38736 39647 39993 39485 39486 38994 39289 38526 39663 40066 38504 39007 40189 38489 39774 39108 38833 39121 38541 39472 39303 39760 40068 39762 40091 38491 38832 39662 38528 38503 39008 38722 39979 39009 39885 39994 39471 39868 38378 39661 38846 39302 38502 38456 38733 38440 39107 39119 39992 39775 38539 38455 39980 40190 39884 39761 39287 39869 38441 38527 38992 37323 38191 37465 37466 37459 37460 38438 38834 39004 38843 38726 38725 39006 39005 38998 38835 38841 38997 38842 39883 40508 40509 21210 22155 22139 22607 22429 22317 22593 22788 22609 22610 21957 21958 22431 22443 20585 21956 22592 22805 22608 21972 22331 22332 22156 20597 21211 20584 22594 22315 22430 22444 20583 22639 21790 21973 22626 22330 26718 26717 26719 21513 21512 21391 21511 21510 21678 21676 21674 21677 21663 21662 21927 22776 22547 21401 21395 21504 21775 22110 21394 21934 21928 21500 22850 22293 21666 22537 22775 21503 20481 21403 22723 20565 22858 22477 20209 22406 22117 21501 22770 20482 22292 22546 22538 22476 22769 22401 22470 21402 22718 26705 21405 22857 22442 21404 21515 21788 22471 21514 21212 22154 20497 22803 21971 21390 22640 22724 20499 22400 21198 21197 22717 22140 21661 22625 21502 22789 22287 21789 20598 21776 22804 21777 22116 22641 22141 20483 20596 21933 21406 21667 21673 20484 20498 22111 22286 20208 21675 22790 22407 21199 22316 21389 42580 40594 42578 40614 42576 40595 42555 42577 42579 40596 43081 44627 44603 44605 45008 44893 45006 44917 44631 44736 44629 44738 44735 44920 44916 44846 44714 44630 44737 44847 44712 45029 44849 44850 44919 44822 44918 44739 44628 44895 43290 44824 44848 45033 45032 45031 45140 45030 45138 42402 42404 42400 44515 44514 44513 44489 44516 44517 44491 45142 45141 45143 45144 42553 42222 42226 42223 42224 42225 42198 42200 43133 42569 42657 40829 40592 42481 42393 40828 40613 40929 42399 42910 42911 43087 42221 43088 43139 43140 42215 42575 40928 43270 43269 43274 45139 43360 43306 44727 44908 44728 45021 45022 44839 44909 44838 44625 44626 45129 45137 43291 43292 43298 36312 36314 40306 40308 40307 40303 40305 36313 36315 36316 36318 36317 40310 40309 43224 40398 35613 35588 35615 35614 35616 35612 35590 36311 35572 35560 35561 35559 35573 35575 35558 35574 35611 35605 40304 30144 30143 36227 40301 36222 36223 36237 36236 40302 42764 42650 42765 42651 47083 47081 40324 40325 42360 42349 42348 42346 42347 42363 42361 42362 47069 47082 33867 27260 28977 31180 29751 31074 30975 29752 30974 31182 31072 29768 29750 31181 31087 30973 29753 31197 31073 31293 31292 31291 31306 31304 31399 31086 31378 31379 31196 31380 31305 29767 31398 29766 31397 31085 31195 29815 29814 30959 29839 30431 30432 29801 30599 30797 30783 30600 30799 29838 29851 29802 29803 30784 30418 30960 30420 30782 30601 30614 29840 29853 30419 29816 30615 30958 30798 30616 31049 31050 31332 31152 31151 31333 31262 31263 33856 33858 33847 33865 33862 33849 33855 31500 31502 33854 33857 31501 33851 33848 33859 33863 33861 33866 33852 33864 33860 33853 31445 31446 30433 29852 24550 20298 24480 24551 24481 32681 32682 32875 33190 32987 32859 32699 33279 33280 33401 33299 33400 33402 32974 32860 33081 33206 32972 33080 33278 33193 33097 32683 33191 32973 33192 32684 33082 32858 32501 32500 32516 32499 32971 33079 33277 32498 32857 32319 32317 32318 32320 32333 29690 29703 29689 31403 31651 32874 31650 31652 31653 32873 31716 31703 31701 31715 31702 31714 32986 32514 31738 33204 31751 26933 32698 31667 31739 26932 31590 33095 31740 31666 32332 33303 33297 31752 33096 31589 33298 33205 32985 32515 32697 31668 32331 31753 29704 24615 33837 33507 33505 33506 26613 26515 26612 33493 26614 43220 43221 33842 40323 64814 64638 65291 65149 57687 50148 50094 50078 37358 37542 37548 37365 37359 37541 37547 40447 40449 40450 40448 24862 47309 47306 47307 47280 47310 47308 47282 47305 47297 47296 34148 36001 36200 35997 35706 35704 36199 35886 35708 34155 36194 34149 34152 35885 35995 34153 36000 35799 35798 35999 36198 34154 35887 34151 35996 35709 35884 35998 34150 35705 35994 36196 35882 35707 36195 35881 35883 35711 36197 35710 67810 67833 67837 67836 67812 67831 67835 67813 67834 67830 67829 67811 67832 67814 67818 67825 67824 67822 67821 67828 67823 67817 67815 67826 67827 67816 67820 67819 54239 54244 54261 54260 54259 54255 54258 54234 54256 54240 54248 54257 54241 54242 54262 54245 54237 54238 54254 54246 54235 54236 54250 54243 54251 54252 54253 54247 54233 54249 54263 50681 50685 50518 50511 50520 50684 50674 50402 50510 50519 50508 50509 50517 50521 50669 50413 50670 50673 50668 50522 50411 50682 50507 50401 50410 50680 50412 50683 54294 54295 54359 54390 54391 78040 78038 78054 51896 51878 51895 50063 64480 64463 64462 63646 53978 63652 64477 64465 65454 65471 51302 51416 51525 51418 51419 51610 51681 51526 51635 51391 51524 51305 51637 51523 51303 51500 51301 51527 51415 51417 51277 51636 51304 51634 51638 56857 56853 56852 51279 51683 51704 51502 51612 51393 51708 51707 51706 51705 51817 51796 51794 51930 51819 51926 51820 51818 51927 51821 51932 51929 51928 51931 50197 50195 50194 50196 50192 50193 50198 64475 50985 50145 50805 50612 50449 50613 50724 50545 50527 50723 50827 50828 50699 50544 50448 51008 51007 50594 50593 50424 50921 51129 50944 51128 50943 51127 50945 50919 51103 50942 50946 51125 51101 51126 51438 51436 51407 51293 50934 51118 51697 51294 51627 51516 51626 50935 50784 50980 50782 50964 50963 51147 51545 51544 51546 50783 50797 51451 51437 51146 51163 51322 51148 51339 51323 51324 51561 51696 51408 51515 50965 50143 50144 64476 64464 65472 64478 64479 63651 42475 42292 42291 42474 51779 51650 51651 51648 51777 51645 51944 51649 51780 51783 51948 51782 51945 51949 51946 51947 51539 51540 51781 51537 51538 51647 51428 51138 51429 51312 51426 51140 51141 51318 51142 51317 51430 51316 51139 51314 51315 50773 50775 50953 50957 50777 50958 50955 50776 50959 50774 50956 51136 50778 50069 50065 51337 51338 50301 50260 50246 50300 50248 50247 50259 50299 50261 50056 50132 50068 50202 50054 50167 50203 50179 51450 50067 50408 51656 51161 50978 51449 50180 50215 51669 51668 51559 50217 50396 50285 50178 51560 50979 50397 50130 50131 50284 51655 50795 50053 50409 50796 51657 50286 51162 50204 50166 50165 50398 51670 50216 51925 51810 51809 50423 50990 50989 50992 51005 51006 51004 51003 50991 51534 51432 51431 51536 51776 51778 51644 51533 50055 54010 58127 57936 57200 57310 57934 57571 57753 57585 57752 57297 57199 57473 57935 57308 57457 57309 57768 57295 57472 57458 57201 57471 57456 57296 57570 57572 57751 57951 58239 58226 58224 58225 58110 58112 58111 57306 57468 57307 57305 57470 57469 58126 58125 56902 57198 57299 57298 57461 57462 57189 57190 51763 51742 51744 51743 51917 58458 58445 58444 58443 58349 58332 58334 58333 57185 57184 57186 47222 50158 50156 50160 50155 50161 50159 50157 51427 50116 50117 50115 51646 51943 51942 51940 51941 51137 50114 51865 51866 51864 51313 51135 50771 51230 51311 51229 50952 51425 50108 50191 50110 50106 50104 50111 50107 50109 50954 51535 50772 50105 51413 51414 51761 51766 51765 51762 51764 51767 57197 57196 51344 50875 50137 50136 51053 51565 50689 50876 51054 47303 47304 51463 51464 51566 50185 50092 51772 51771 50184 50690 50154 50093 51343 71383 71385 71411 71407 71408 71410 71409 71400 71406 71355 71367 71354 71356 71353 71370 71368 71369 70638 71240 70549 67668 78041 78053 57047 57089 57003 57035 57073 56954 56991 56990 57005 56966 57949 57584 57583 58238 57088 56856 56855 57072 56842 58550 56955 58531 58457 57074 58549 56968 57767 56919 57766 56841 56953 57004 56967 56918 56992 57034 58551 58237 58532 58530 58347 58456 57950 57049 57036 58348 57087 57048 78276 78278 78086 78097 78098 78253 78281 78094 78071 78255 78270 78279 78280 78096 78095 78087 78277 78073 58203 58422 58206 58205 58492 58424 58288 58179 58425 58494 58496 58426 58605 58582 58493 58495 58423 58207 58313 58400 58312 58315 58181 58469 58398 58311 58204 58314 58196 58195 56846 56845 56850 58584 56866 58471 58290 58414 58415 58303 58485 58484 58304 58608 58606 58607 58609 58598 58597 58327 58325 58328 58326 58324 58322 58323 58103 58102 58105 58104 58106 58100 58214 58219 58216 58217 58220 58218 58215 57561 57927 57743 57924 57566 57926 57930 57744 57564 57741 57565 57745 57747 57929 57928 57746 57562 57563 56897 56898 56899 56892 58654 58555 58652 51815 51923 51633 50147 51816 51924 50146 51521 51702 51632 51703 51522 57400 57973 57237 57954 57401 57511 57972 57236 57512 57796 57593 57616 56931 57615 56933 57773 57795 56932 58552 58553 58554 58653 51036 51300 51299 51042 51044 51021 51046 51043 51041 51035 51019 51045 51047 65098 65391 65392 65209 65278 65279 65208 54023 54024 58202 27212 27227 27213 27224 27220 27228 27222 27209 27211 27221 27223 27217 27219 27229 27214 27233 27226 27234 27215 27208 27218 27232 27225 27216 27210 27230 27231 58716 58714 57382 57486 57211 57487 57212 57381 56156 54172 56153 56155 56145 56129 56154 56131 54190 54170 56152 54171 58715 58065 58089 58093 58092 58090 58091 58067 58082 58081 50070 50886 50889 50901 50903 50887 50899 50900 50076 50888 50902 50904 50075 58201 47572 47595 47578 47581 47588 47597 47582 47484 47598 47591 47496 47574 47499 47482 47497 47492 47488 47593 47477 47599 52014 47493 47479 47596 47501 47483 47585 47579 47575 47589 47600 47592 47495 47489 47502 47491 47601 47576 47480 47486 47594 47503 47587 47490 47586 47478 47500 47590 47584 47504 47498 47505 47487 47476 47485 47481 47583 47577 47494 47573 57891 57913 57917 57914 57915 57916 57889 56867 56874 56868 57905 57906 57656 57657 57654 57655 57653 57629 57631 58559 58353 58560 58354 56936 56882 58720 58718 58717 58719 57707 57731 57709 57734 57733 57732 57730 57723 57722 58713 58712 58711 57809 57831 57807 57791 57794 57793 57777 57780 57834 57832 57835 57833 57778 57779 57792 56896 58101 56895 56894 56893 58321 57729 58009 58007 57984 58010 57986 58011 58008 58000 56935 58491 58087 58490 58088 58603 58604 58420 58309 58421 58310 57911 57912 58213 58006 57830 57824 58099 58017 58018 57652 56881 56873 57646 57645 56872 57651 56848 58252 58131 56849 58132 58251 56880 50941 51124 64103 64188 63886 64404 64025 64121 64583 64381 64024 64120 64403 64275 63720 64170 64300 63911 64561 63721 64584 64189 63910 64000 63719 64299 64169 63999 69133 69705 69090 69086 69271 69160 68995 69377 69376 69375 69350 69747 67734 69411 69398 69395 69408 69397 67733 69410 69396 69412 69413 69409 69270 69728 69707 69731 69274 68998 69273 69159 69155 69158 68859 67766 69730 69732 69729 69263 64879 64880 64995 64969 64991 64881 64994 64967 64855 64992 64853 64877 64878 68971 69373 68737 69727 67980 67744 69367 67765 69149 68988 69450 69246 69633 77764 77851 77486 77487 77295 77679 77600 77696 77697 77957 77979 78137 77875 77746 77765 77296 78159 77297 77876 77601 77576 78160 77462 77980 75841 75890 75721 75996 75891 75746 75842 75631 75910 76020 76463 76482 75720 75909 75824 76021 76481 75607 75632 76102 76125 76124 74865 76305 76282 76304 74866 74867 75745 62845 62662 117245 117221 117246 117243 117237 117244 117247 117223 115282 115281 117248 101706 101705 78195 78196 78173 78197 78198 78199 78171 78158 78157 78142 78144 78156 78141 78143 77745 77575 78155 78194 78188 101906 101907 101875 104447 104614 104831 104848 104727 104639 104638 105312 105003 104752 105132 105027 104917 104916 104728 104753 104898 104448 105289 104849 105028 105131 105109 105311 104449 101510 101512 101508 101496 101513 101497 101516 101501 101494 101514 101517 101507 101495 101515 101509 101498 101511 99365 99387 99005 99343 98894 99413 99090 99388 98604 99253 98422 99004 99114 98398 99232 98603 99115 98893 98700 98755 98701 98869 98579 99364 97593 99254 98421 98779 98682 98986 99414 98780 89999 90002 90001 89815 89998 89816 89819 89976 89817 89792 89794 89974 89818 90000 89991 89807 89808 85358 85359 85357 85348 85331 85333 85355 85356 85353 85354 89814 89997 76287 76303 76302 76289 76288 76286 76301 76300 76341 76340 76318 76344 76343 76316 76342 85233 85234 85241 85242 85219 85217 85243 85244 85245 99231 98578 98754 99089 83129 83132 83104 83106 83131 83128 83130 83307 83305 83281 83306 83304 83308 82665 81323 82575 82549 82709 82573 82461 82846 83283 82849 82848 82928 82711 82847 82666 82664 82926 82574 82732 81322 82435 82953 82824 82950 81557 82642 82954 82822 82460 82736 82733 82952 82951 82433 81342 82571 82662 82459 82734 82458 82663 82735 82457 82314 82572 82850 81324 82547 82570 82456 82725 82845 82839 82661 83297 82731 82655 82450 83303 82949 83127 81341 83121 82564 82943 81320 82313 81556 98934 98793 99039 99016 98818 98821 99040 98820 98642 98644 98932 98907 98643 98931 98645 98933 98617 99223 99043 99197 101596 99154 98809 99032 99447 101588 99220 99446 99310 99337 99336 101597 98633 98795 99224 99448 99212 99222 101595 99128 104897 99142 99213 99444 98924 98923 98634 99042 98810 99126 99441 101585 98641 101594 99326 99333 99312 101587 99334 99150 99445 101583 99221 98819 99335 99153 99433 98817 99143 99041 98909 99325 99152 99031 99151 99442 98935 98619 98640 99219 97571 99038 99148 97574 99440 97663 99018 97573 99149 98639 99331 98815 98816 99332 97610 99199 97578 97664 99218 98240 98128 97660 98110 97940 98344 97965 97964 97850 98129 98061 97661 98523 98501 97659 98343 97851 98215 98524 98043 98060 97826 98321 98239 99443 97594 98930 98929 97579 98382 98384 97601 97602 98381 98109 98385 97939 98359 98374 97595 98383 97596 85069 85043 85041 85068 85065 85067 85058 85066 85240 84861 84875 84886 84885 84884 84882 84859 84883 84874 85064 84881 98416 98417 98419 97592 98404 97586 98418 98402 99412 99394 97591 99411 98415 98420 98405 98403 98380 84983 84959 84961 84985 84984 84986 84987 84976 84982 84944 84945 84946 84929 84932 84930 84931 70443 70444 84943 71492 71489 71491 71465 71490 71493 71467 98458 98450 98437 98451 98462 98435 98461 98460 98457 98459 98357 91671 91853 91663 91846 91670 76333 76339 91829 91673 91649 91831 91674 91647 91857 83091 83089 83090 83088 83074 83077 83075 83076 91852 85160 84020 85159 85163 85152 84019 85136 85161 85158 84025 84026 85138 85162 84809 84783 84808 84807 84798 84804 84806 84781 84805 91669 91672 91854 91856 91855 71482 71488 71299 71298 71283 71310 71306 71285 71305 71307 71309 71308 64870 64990 64984 64869 64989 64993 68883 68881 68880 68885 68857 68882 68884 64705 64677 64703 64522 64679 64704 64497 64521 64511 64519 64510 64702 64520 64701 64495 64518 64694 64621 64623 64619 64620 64622 64595 64597 70450 64612 64700 64517 64876 64618 71229 71233 71230 71232 71231 71207 71205 71228 70449 71587 71585 71582 71586 71560 71584 71562 71576 71583 71222 55978 55952 55980 55976 55979 55977 55954 54189 55798 55801 55800 55774 55802 55799 55776 55797 55923 55925 55939 55938 55924 55937 55922 55936 64565 64579 64581 64567 64582 64566 64580 64568 68874 54168 55975 55969 55791 56151 42298 40311 40392 40393 40321 33523 33539 33508 33605 40296 40327 33526 33604 40314 33533 37364 40436 40435 40437 13279 13278 13299 13300 33844 33850 33839 33840 33841 33845 33838 33843 44423 44431 44432 44435 44434 44408 44424 44433 44410 46767 46780 46074 46658 46875 46657 46433 45244 46076 46092 46781 46855 46435 46549 46275 46873 46768 46450 46671 46673 46856 46436 46854 46260 46550 46561 46874 46259 46769 46449 46434 46656 46077 46451 46562 46782 46258 46075 45242 46563 46548 46672 45243 45226 45228 45166 45227 45229 45165 45895 45278 46273 45896 45292 45329 45316 45327 46257 45315 45907 45328 46274 46091 45893 45291 45909 46090 45277 45894 45290 45279 45908 46976 46853 46547 46655 46766 46977 46978 46879 45314 44358 43896 43880 43625 43897 44535 43995 43996 44534 43719 44375 43720 43734 44177 44009 44176 43994 44360 44536 44359 43881 43732 43733 43895 43721 43882 43623 43624 44192 44175 44771 43416 44974 44662 43414 44008 43342 43392 44973 43391 43377 43343 44881 43609 44661 44191 43379 43429 43608 43415 43390 44880 43610 44190 43427 44373 43428 44374 43378 44007 44772 43892 43893 43729 43622 43730 43894 43731 43620 43621 43722 43886 43613 43614 43723 43885 44506 44505 45076 44979 45078 45077 44340 44313 44315 44341 44339 44338 44337 44080 44079 44081 44078 44077 44055 44053 44133 44155 44154 43267 44156 44158 44131 44157 45160 43408 43410 43404 43407 43409 43406 44329 44330 26679 26677 26680 26678 30680 30655 30681 30657 30679 30682 30683 26673 26375 26557 26445 26374 26264 26558 26444 26161 26665 26162 26263 20329 13566 22028 22034 22029 22035 20564 22856 35913 36190 36189 34130 35878 34131 33816 33815 35622 35623 35879 35880 45161 44204 44215 44233 44257 44258 44202 44259 44203 44256 44218 44216 44217 44231 44201 44255 44992 44993 44861 44991 44989 44863 44862 44860 45159 45157 45156 44995 44994 45158 44857 44859 44248 44254 43358 43359 44914 44915 45028 44733 44734 45027 44844 44845 44619 44620 45136 45135 44512 44511 26720 26817 26745 26751 26735 26738 26816 44640 44353 44752 44352 44354 44638 44641 44750 44642 44746 44526 44530 44644 44749 44524 44528 44748 44751 44350 44643 44529 44527 44351 44348 43985 43987 44165 43988 43986 43990 44169 44171 43989 44166 44170 44167 44168 44429 44430 43296 43297 44146 44147 44336 44335 44153 44075 44069 44070 44076 38201 38072 38370 38205 38372 38368 38207 38369 38073 38204 38074 38203 38373 38206 38075 38371 6918 6919 20324 7016 28905 28904 28721 28716 28899 28722 28898 28715 30834 29722 30479 30847 30848 29715 30859 30503 30857 30502 30505 30501 30855 30856 30504 30858 29716 30477 33516 30578 30557 30581 30580 30582 30555 30579 30832 31563 27028 29402 27036 28638 27016 27247 29010 27027 28645 27037 28639 29124 29011 29405 29125 28644 29401 27248 29206 33513 37962 37964 37560 37958 37201 37562 37377 37963 37379 37852 37381 37739 37736 37742 37960 37853 37382 37738 37199 37197 37740 37380 37741 38071 37198 37565 37200 37855 38069 37563 37961 37383 37850 37564 37854 37856 37202 37566 20305 31561 31553 23747 24663 24664 24771 24772 20144 20145 31559 30577 31157 30759 30935 31339 31452 31560 31268 31451 31158 30760 30936 29783 31269 29782 31338 30570 30754 30929 31043 31044 30930 30753 30571 30853 30499 30493 30500 30672 30854 29721 29720 30494 30678 6854 13457 25865 26564 26048 26671 26563 26672 26047 25871 26270 25689 25866 24895 25682 26381 25688 25683 26451 24894 26380 25872 26041 26269 26156 26155 26450 26042 36193 13486 13476 13473 11150 11199 11136 13296 11137 11138 13295 18470 13283 18074 8855 9016 8755 6916 6917 9017 8868 20328 8754 6744 6885 9018 8854 8756 9050 6745 9034 9049 13536 13565 6741 10609 9404 10610 20327 20330 20326 20331 20332 20336 20325 10419 10435 10418 10420 10236 10056 10054 10055 10069 11852 11842 11583 11841 11853 11681 11856 11694 11854 11584 11690 11692 11691 11693 11689 35912 11585 11857 11855 13309 9794 9953 9781 9956 9792 9790 9685 9793 9941 9669 9952 9791 9682 9779 9683 9668 9681 9954 9684 9957 9789 9680 9955 9942 9670 9940 9780 13456 7017 7061 11582 11679 10237 11840 18471 18478 18477 18479 13297 11014 9033 10235 8853 11680 13310 13265 13285 13298 13284 6981 35341 35523 35342 35522 35526 35343 35524 35527 35344 35528 35347 35525 35346 35345 35340 13482 7492 35444 35445 35259 35258 35520 35521 35519 13607 13606 13629 13603 13612 13608 13479 13477 13481 13480 20297 20295 20300 20294 20301 20299 20296 20293 23546 23271 23272 23442 23547 23441 16959 23895 23892 23893 23867 23894 23869 23891 23838 23852 23837 23839 23840 23853 23854 23851 30626 30641 30639 30640 30628 30627 30642 30625 23884 23890 13509 13506 13508 13050 6616 13511 13512 11765 11574 11197 10969 10788 10171 13357 9783 11573 11682 13356 11766 13549 13563 13541 13556 13542 13554 13547 13544 13540 13538 13543 13539 13564 13562 13546 13558 13555 13559 13557 13551 13561 13552 13548 13553 13550 13537 13560 13545 21892 13601 13602 13604 10206 10207 17353 17468 17354 17467 16995 17177 16994 17178 2877 2878 2883 2872 2892 2806 2890 2126 16758 16654 16759 16484 16483 16653 2899 2901 2885 2895 2896 2898 2889 2897 2902 2903 2893 2894 2886 2874 2875 2873 2887 2876 2888 2884 5162 5044 5164 5160 5046 5042 5163 5165 5034 5031 5033 6508 2900 2882 2891 2925 2926 15401 3033 3034 6914 6915 3036 3035 2129 2928 2927 6507 2130 4736 3020 4842 6506 6509 6510 6505 5166 4139 3170 4740 4649 4921 4922 4141 3171 4923 4786 4784 4788 4925 4924 3169 4646 4648 3172 3167 4645 4737 4647 4785 4739 10068 10433 9437 9451 10067 9475 9489 9325 10685 9476 9487 10434 9438 9439 10686 9326 9450 9452 9488 9474 5025 5156 4931 4792 5024 4793 3176 4783 4782 5026 5035 5155 3177 9673 4930 10571 9945 6740 11846 11683 6742 12071 11845 9782 10396 9946 10572 10213 9419 9674 4926 4140 4787 4738 4644 5157 11870 11596 11595 11871 5041 5032 5043 5045 4845 4844 5030 5161 4843 10395 13475 13474 6883 6884 3038 3159 3063 3062 3160 6832 4536 3158 6849 6837 6853 6838 6836 6841 6824 6843 6846 6852 6840 6839 6850 6826 6835 6831 6959 6976 6974 6971 6970 6967 6963 6973 6964 6972 6977 6975 6978 6965 6968 6969 6966 6961 6960 6980 3094 3125 3157 6895 3061 6909 6913 6911 6899 6910 6912 6906 6900 6901 6908 6902 6896 6897 6903 6907 6905 6904 6875 6876 6871 6877 6869 6878 6868 6866 6880 6873 6881 6879 6870 6882 6872 6865 6874 6864 6958 6957 3145 3129 3119 3150 3127 3116 3147 3118 3128 3130 6962 6956 6951 6954 6955 6953 6952 3117 3148 3152 3121 3156 3091 3090 3032 3089 3031 3086 3085 6931 6925 6920 6926 6979 6825 6828 6844 6851 6833 6834 6827 6829 6830 6848 6842 6823 6845 6847 5216 5215 3056 5595 3161 3059 3045 3026 5214 5448 3046 5447 3055 6860 6948 9386 12510 12829 13142 12842 11288 9389 9387 9388 9229 9213 13036 11287 12608 12935 7046 7043 11286 11304 11289 12509 13037 13038 12609 12915 12828 12914 13141 13143 12716 9214 12623 9212 12718 9065 12916 12610 12827 12717 12733 7045 7044 12511 7938 7935 7934 7828 8396 8397 7924 7827 8100 8565 8087 8199 6772 8090 8091 10595 7830 7926 8381 8102 8578 6771 7147 10596 8212 17827 7829 7818 7928 7815 10594 8214 7936 7939 8580 8395 7146 7634 8097 8101 7927 7819 7937 8098 7813 8201 8099 16068 8213 7145 8579 7825 8200 8564 7814 7826 8380 8086 8085 7622 9402 8316 6891 10941 10722 11033 10832 10831 11034 10940 10721 9403 16917 17101 17102 17095 17277 16924 17278 17516 17096 16918 16923 16145 2964 14629 14904 8710 8824 8535 8352 14903 14628 13162 13175 20029 19963 20028 19950 19957 19947 13159 13241 13144 13169 13240 13440 15422 13460 5836 3149 3126 3083 3122 3114 3088 3064 3084 3087 3124 3093 3115 3155 3154 3120 3153 3151 3146 128599 128600 128734 128733 128667 128665 128666 128689 128690 128682 128683 128648 128646 128668 128645 128764 128649 128724 128644 128768 128767 128760 128763 128759 128732 128751 128748 128766 128731 128723 128669 128750 128752 128753 128735 128643 128749 128765 128756 128688 128788 128659 128662 128747 128742 128740 128754 128661 128741 128745 128755 128746 128762 128650 128664 128736 128744 128647 128653 5207 5437 5438 5584 5639 5751 5696 5752 5695 5640 5583 3060 3047 3057 3049 3058 3044 3048 3175 6500 6499 5088 5089 5126 4993 4948 4949 4994 4910 4909 5125 11087 10904 10905 10974 11088 10975 11196 10794 6661 6660 6715 6714 6099 6235 6326 6214 6403 5867 5866 6271 5796 6889 6892 6420 5797 6887 6475 6383 6382 6890 6898 6888 6474 6886 6270 6098 6290 6448 6447 6708 6402 6347 6707 6213 6234 6291 6421 6346 6893 6327 6894 5865 9281 6856 8971 8901 8900 9200 11580 11570 7127 6862 6861 6867 7126 11581 6863 9148 11568 6857 9280 6855 9147 9199 8970 11569 6649 6630 8541 8357 8358 8540 6629 8563 3168 6634 7623 7621 7158 7160 6651 7635 7636 8382 8351 6650 7159 8534 8825 12151 6592 6511 8739 9274 8961 11968 11969 11225 12934 12152 12939 12841 7060 11376 9228 8867 7059 9227 11350 12319 11375 8866 9031 8740 12137 11954 8895 9282 11955 11374 11303 12933 12333 12318 11388 9141 9193 12335 12840 12732 11339 11226 12621 12320 12494 15423 13129 11302 11387 11389 11956 8741 9142 8894 8962 11351 12495 9194 11967 12496 11337 6501 9032 6514 6521 9064 13461 19932 12334 12731 11352 11338 12622 12150 12135 12136 9063 13439 128800 128796 128797 128807 128806 128805 128810 128808 128801 128798 128803 128799 128809 128804 128802 128708 128707 128709 128705 128710 128719 128717 128718 128716 128706 128704 128703 128702 128727 128730 128729 128793 128794 128792 128795 124719 128521 175 176 79 185 184 194 193 186 192 191 123 83 125 174 126 124 122 173 121 81 1364 1703 1361 1696 1155 1698 1354 1694 1353 1355 1699 1705 1702 1695 1707 1706 1704 1693 1697 1701 1362 1356 1358 1359 1332 1366 1365 1700 2309 2311 2320 2312 2337 2338 2339 2340 128660 128791 128757 128663 124718 128758 128726 128728 188 187 1360 1154 1363 2332 2322 2328 2323 2330 2327 2324 2329 2325 2326 1156 1357 2305 135313 2307 3067 3095 3097 3123 1574 1368 1370 2335 133223 3096 1577 2310 1571 205 2334 2333 3098 3099 2308 3092 3027 3068 3066 3065 2306 6921 6922 6923 6924 6927 2336 5630 8711 8716 8717 5029 3037 3029 3028 7925 6635 6636 6646 6647 6648 6527 6859 6858 11039 10252 10251 10250  0
1641.64/1641.62	
1641.64/1641.62	c Core has size 21976

OK	21976

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-3501524-1308042286/watcher-3501524-1308042286 -o /tmp/evaluation-result-3501524-1308042286/solver-3501524-1308042286 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501524-1308042286.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: 4.00 4.07 2.47 4/186 8608
/proc/meminfo: memFree=31117824/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=24992 CPUtime=0 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 1962 0 0 0 0 0 0 0 25 0 1 0 915829029 25591808 1901 33554432000 4194304 4365125 140735306225136 18446744073709551615 4292408 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 6248 1911 246 42 0 3396 0

[startup+0.0897809 s]
/proc/loadavg: 4.00 4.07 2.47 4/186 8608
/proc/meminfo: memFree=31117824/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=29312 CPUtime=0.07 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 6386 0 0 0 7 0 0 0 25 0 1 0 915829029 30015488 4053 33554432000 4194304 4365125 140735306225136 18446744073709551615 253640859392 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 7328 4055 253 42 0 4476 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29312

[startup+0.100781 s]
/proc/loadavg: 4.00 4.07 2.47 4/186 8608
/proc/meminfo: memFree=31117824/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=29312 CPUtime=0.09 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 6642 0 0 0 8 1 0 0 25 0 1 0 915829029 30015488 4251 33554432000 4194304 4365125 140735306225136 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 7328 4253 253 42 0 4476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29312

[startup+0.300731 s]
/proc/loadavg: 4.00 4.07 2.47 4/186 8608
/proc/meminfo: memFree=31117824/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=38384 CPUtime=0.29 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 13383 0 0 0 28 1 0 0 25 0 1 0 915829029 39305216 6632 33554432000 4194304 4365125 140735306225136 18446744073709551615 4257936 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 9596 6632 262 42 0 6744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38384

[startup+0.700654 s]
/proc/loadavg: 4.00 4.07 2.47 4/186 8608
/proc/meminfo: memFree=31117824/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=50884 CPUtime=0.69 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 17926 0 0 0 67 2 0 0 25 0 1 0 915829029 52105216 8331 33554432000 4194304 4365125 140735306225136 18446744073709551615 4257546 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 12721 8331 262 42 0 9869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50884

[startup+1.50052 s]
/proc/loadavg: 4.00 4.07 2.47 5/187 8609
/proc/meminfo: memFree=31105564/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=50884 CPUtime=1.49 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 18682 0 0 0 147 2 0 0 25 0 1 0 915829029 52105216 8738 33554432000 4194304 4365125 140735306225136 18446744073709551615 4257799 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 12721 8738 262 42 0 9869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50884

[startup+3.10019 s]
/proc/loadavg: 4.00 4.07 2.48 5/187 8609
/proc/meminfo: memFree=31080764/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=66968 CPUtime=3.09 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 25605 0 0 0 306 3 0 0 25 0 1 0 915829029 68575232 11767 33554432000 4194304 4365125 140735306225136 18446744073709551615 4257799 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 16742 11767 262 42 0 13890 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66968

[startup+6.30064 s]
/proc/loadavg: 4.00 4.07 2.48 5/187 8610
/proc/meminfo: memFree=31092496/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=87116 CPUtime=6.29 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 43946 0 0 0 624 5 0 0 25 0 1 0 915829029 89206784 15936 33554432000 4194304 4365125 140735306225136 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 21779 15936 262 42 0 18927 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87116

[startup+12.7005 s]
/proc/loadavg: 4.00 4.06 2.50 5/187 8610
/proc/meminfo: memFree=30994940/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=173340 CPUtime=12.69 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 126255 0 0 0 1256 13 0 0 25 0 1 0 915829029 177500160 35607 33554432000 4194304 4365125 140735306225136 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 43335 35607 262 42 0 40483 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 173340

[startup+25.5011 s]
/proc/loadavg: 4.00 4.06 2.51 5/187 8610
/proc/meminfo: memFree=30834088/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=361312 CPUtime=25.5 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 293441 0 0 0 2517 33 0 0 25 0 1 0 915829029 369983488 80452 33554432000 4194304 4365125 140735306225136 18446744073709551615 4258089 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 90328 80452 264 42 0 87476 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 361312

[startup+51.1005 s]
/proc/loadavg: 4.00 4.05 2.55 5/187 8611
/proc/meminfo: memFree=30720108/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=487772 CPUtime=51.09 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 427729 0 0 0 5062 47 0 0 25 0 1 0 915829029 499478528 99215 33554432000 4194304 4365125 140735306225136 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 121943 99215 264 42 0 119091 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 487772

[startup+102.306 s]
/proc/loadavg: 4.00 4.04 2.63 5/187 8649
/proc/meminfo: memFree=30539748/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=492872 CPUtime=102.3 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 582305 0 0 0 10163 67 0 0 25 0 1 0 915829029 504700928 110642 33554432000 4194304 4365125 140735306225136 18446744073709551615 4262125 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 123218 110642 264 42 0 120366 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 492872

[startup+162.3 s]
/proc/loadavg: 4.06 4.05 2.72 5/187 8651
/proc/meminfo: memFree=30620316/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=688036 CPUtime=162.3 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 772694 0 0 0 16140 90 0 0 25 0 1 0 915829029 704548864 119334 33554432000 4194304 4365125 140735306225136 18446744073709551615 4262636 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 172009 119334 264 42 0 169157 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 688036

[startup+222.3 s]
/proc/loadavg: 4.09 4.05 2.80 5/187 8652
/proc/meminfo: memFree=30590776/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=686720 CPUtime=222.3 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 793472 0 0 0 22137 93 0 0 25 0 1 0 915829029 703201280 119260 33554432000 4194304 4365125 140735306225136 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 171680 119260 264 42 0 168828 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 686720

[startup+282.3 s]
/proc/loadavg: 4.03 4.04 2.87 5/187 8654
/proc/meminfo: memFree=30571528/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=696960 CPUtime=282.3 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 819429 0 0 0 28133 97 0 0 25 0 1 0 915829029 713687040 120577 33554432000 4194304 4365125 140735306225136 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 174240 120577 264 42 0 171388 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 696960

[startup+342.301 s]
/proc/loadavg: 4.01 4.03 2.94 5/187 8656
/proc/meminfo: memFree=30557860/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715392 CPUtime=342.3 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 834046 0 0 0 34131 99 0 0 25 0 1 0 915829029 732561408 122890 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178848 122890 264 42 0 175996 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 715392

[startup+402.301 s]
/proc/loadavg: 4.00 4.02 3.01 5/187 8657
/proc/meminfo: memFree=30563784/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715392 CPUtime=402.31 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 834046 0 0 0 40132 99 0 0 25 0 1 0 915829029 732561408 122890 33554432000 4194304 4365125 140735306225136 18446744073709551615 4263838 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178848 122890 264 42 0 175996 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 715392

[startup+462.301 s]
/proc/loadavg: 4.00 4.02 3.06 5/187 8659
/proc/meminfo: memFree=30504376/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715392 CPUtime=462.3 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 834046 0 0 0 46131 99 0 0 25 0 1 0 915829029 732561408 122890 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178848 122890 264 42 0 175996 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 715392

[startup+522.301 s]
/proc/loadavg: 4.05 4.03 3.12 5/187 8660
/proc/meminfo: memFree=30560888/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=684672 CPUtime=522.31 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 860110 0 0 0 52128 103 0 0 25 0 1 0 915829029 701104128 119035 33554432000 4194304 4365125 140735306225136 18446744073709551615 4262098 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 171168 119035 264 42 0 168316 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 684672

[startup+582.301 s]
/proc/loadavg: 4.02 4.02 3.18 5/187 8662
/proc/meminfo: memFree=30512376/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=713344 CPUtime=582.3 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 881837 0 0 0 58124 106 0 0 25 0 1 0 915829029 730464256 122601 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178336 122601 264 42 0 175484 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 713344

[startup+642.301 s]

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

/proc/meminfo: memFree=31177420/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=692772 CPUtime=1062.32 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 961317 0 0 0 106110 122 0 0 25 0 1 0 915829029 709398528 120008 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 173193 120008 264 42 0 170341 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 692772

[startup+1122.3 s]
/proc/loadavg: 1.58 2.36 2.74 2/169 8748
/proc/meminfo: memFree=31603552/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=717344 CPUtime=1122.33 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 982259 0 0 0 112108 125 0 0 25 0 1 0 915829029 734560256 123092 33554432000 4194304 4365125 140735306225136 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 179336 123092 264 42 0 176484 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 717344

[startup+1182.3 s]
/proc/loadavg: 1.21 2.11 2.62 2/169 8750
/proc/meminfo: memFree=31603764/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=717344 CPUtime=1182.33 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 982259 0 0 0 118108 125 0 0 25 0 1 0 915829029 734560256 123092 33554432000 4194304 4365125 140735306225136 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 179336 123092 264 42 0 176484 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 717344

[startup+1242.3 s]
/proc/loadavg: 1.08 1.90 2.52 2/169 8751
/proc/meminfo: memFree=31603372/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=717344 CPUtime=1242.33 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 982259 0 0 0 124108 125 0 0 25 0 1 0 915829029 734560256 123092 33554432000 4194304 4365125 140735306225136 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 179336 123092 264 42 0 176484 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 717344

[startup+1302.3 s]
/proc/loadavg: 1.03 1.74 2.42 2/169 8753
/proc/meminfo: memFree=31604340/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1302.33 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 130106 127 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4242889 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 715296

[startup+1362.3 s]
/proc/loadavg: 1.01 1.60 2.33 2/169 8755
/proc/meminfo: memFree=31604676/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1362.34 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 136106 128 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 715296

[startup+1422.31 s]
/proc/loadavg: 1.00 1.49 2.25 2/169 8756
/proc/meminfo: memFree=31604532/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1422.34 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 142106 128 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 715296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.40 2.16 2/169 8758
/proc/meminfo: memFree=31604740/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1482.34 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 148106 128 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 715296

[startup+1542.3 s]
/proc/loadavg: 1.00 1.32 2.09 2/169 8760
/proc/meminfo: memFree=31604724/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1542.34 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 154106 128 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4242855 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 715296

[startup+1602.3 s]
/proc/loadavg: 1.00 1.26 2.02 2/169 8761
/proc/meminfo: memFree=31604568/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1602.34 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 160106 128 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4257751 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 715296

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

[startup+1612.7 s]
/proc/loadavg: 1.00 1.25 2.01 2/169 8761
/proc/meminfo: memFree=31604800/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1612.74 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 161146 128 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1612.74
Current children cumulated vsize (KiB) 715296

[startup+1625.5 s]
/proc/loadavg: 1.07 1.26 2.00 2/169 8762
/proc/meminfo: memFree=31604800/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1625.54 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 162426 128 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1625.54
Current children cumulated vsize (KiB) 715296

[startup+1631.9 s]
/proc/loadavg: 1.06 1.25 1.99 2/169 8762
/proc/meminfo: memFree=31604920/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1631.94 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 163065 129 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1631.94
Current children cumulated vsize (KiB) 715296

[startup+1638.3 s]
/proc/loadavg: 1.06 1.25 1.98 2/169 8762
/proc/meminfo: memFree=31604916/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1638.34 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 163705 129 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1638.34
Current children cumulated vsize (KiB) 715296

[startup+1639.9 s]
/proc/loadavg: 1.06 1.25 1.98 2/169 8762
/proc/meminfo: memFree=31604916/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1639.94 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 163865 129 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1639.94
Current children cumulated vsize (KiB) 715296

[startup+1640.7 s]
/proc/loadavg: 1.06 1.25 1.98 2/169 8762
/proc/meminfo: memFree=31604792/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1640.74 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 163945 129 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1640.74
Current children cumulated vsize (KiB) 715296

[startup+1641.1 s]
/proc/loadavg: 1.05 1.24 1.98 2/169 8762
/proc/meminfo: memFree=31604792/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1641.15 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 163986 129 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1641.15
Current children cumulated vsize (KiB) 715296

[startup+1641.5 s]
/proc/loadavg: 1.05 1.24 1.98 2/169 8762
/proc/meminfo: memFree=31604792/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1641.54 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 164025 129 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1641.54
Current children cumulated vsize (KiB) 715296

[startup+1641.6 s]
/proc/loadavg: 1.05 1.24 1.98 2/169 8762
/proc/meminfo: memFree=31604792/32951124 swapFree=67060180/67111528
[pid=8608] ppid=8606 vsize=715296 CPUtime=1641.64 cores=0,2
/proc/8608/stat : 8608 (MoUsSaka) R 8606 8608 8293 0 -1 4202496 998318 0 0 0 164035 129 0 0 25 0 1 0 915829029 732463104 122835 33554432000 4194304 4365125 140735306225136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8608/statm: 178824 122835 264 42 0 175972 0
Current children cumulated CPU time (s) 1641.64
Current children cumulated vsize (KiB) 715296

Child status: 20
Real time (s): 1641.65
CPU time (s): 1641.69
CPU user time (s): 1640.38
CPU system time (s): 1.3138
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1101708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1640.38
system time used= 1.3138
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 998323
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= 3264

runsolver used 2.75458 second user time and 5.34519 second system time

The end

Begin job on node106 at 2011-06-14 11:04:46
IDJOB=3501524
IDBENCH=90070
IDSOLVER=2000
FILE ID=node106/3501524-1308042286
RUNJOBID= node106-1308041936-8311
PBS_JOBID= 13564709
Free space on /tmp= 74080 MiB

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

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

MD5SUM BENCH= 19c537b7cfbea0d4d5e97a33961a550c
RANDOM SEED=231385691

node106.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.830
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.66
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.830
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.20
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31121220 kB
Buffers:        180556 kB
Cached:         461580 kB
SwapCached:      13084 kB
Active:        1187456 kB
Inactive:       441976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31121220 kB
SwapTotal:    67111528 kB
SwapFree:     67060180 kB
Dirty:           10944 kB
Writeback:           0 kB
AnonPages:      983928 kB
Mapped:          10764 kB
Slab:           132860 kB
PageTables:       6476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1391332 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= 74084 MiB
End job on node106 at 2011-06-14 11:32:08