0.00/0.03	c MoUsSaka with meat
17.86/17.95	
17.86/17.95	s UNSATISFIABLE
1714.05/1714.17	c Core is minimal
1714.05/1714.17	
1714.05/1714.17	v 2325 20221 20187 20186 26986 33807 26982 26979 26981 26973 26972 26871 26872 33779 27080 20181 20182 40428 40568 40569 40457 40458 40571 40560 40561 40562 40487 40508 40507 33771 33767 33768 27263 27262 27166 27167 27264 27198 20185 20374 20192 20373 20471 26983 26977 26975 26974 26984 33664 26925 26969 27014 26970 26985 26976 26978 26971 26980 33777 40563 40570 40556 40572 40600 40564 40557 40558 40559 40565 40566 40427 40486 40485 40567 40511 40555 40510 47546 47545 47642 47481 47641 47366 47577 47643 47367 47371 47370 47361 54068 54069 47365 40574 40578 40575 40573 40577 47359 47358 47353 47360 47356 47354 47350 47355 47391 47380 47378 47387 47377 47381 47388 47382 47389 41157 40656 40654 40653 40655 40651 40652 40849 40784 40752 40753 40850 33665 33635 33774 54186 40483 40482 54044 54014 60946 60944 60945 60862 60979 60942 60949 74618 67599 67736 67629 67772 67630 67600 60940 60941 60937 60938 60939 60943 27006 26999 27008 27004 26998 27011 27010 27000 27009 27002 27003 27007 27005 27001 27012 54013 47351 47352 47362 47363 54043 47357 20188 20191 20193 20472 26842 26897 26896 26841 27571 88204 81322 60967 60963 60966 60969 60965 60964 60968 81240 81241 74534 74533 81185 60935 60934 60976 60975 60972 60977 60974 60970 60971 74540 74539 74542 74536 74528 74525 74529 74530 74526 74531 33634 27245 27246 27243 27249 27240 27232 27252 27234 27255 27238 27242 13396 13398 13394 13393 13336 13579 20078 20079 13339 13383 13384 20049 20198 20195 20196 20180 20194 13580 13581 13547 27253 27258 27241 27236 27244 27247 27233 27237 13400 13399 13387 13390 13385 13395 20470 20372 34364 20178 20179 20184 13335 27256 27259 27239 27248 88205 88206 81331 81335 88207 81414 81412 81413 74520 88109 88129 88126 88125 95032 81411 94806 94827 94826 94922 94918 94919 94917 94921 101737 101825 101889 101697 101698 101599 101620 101619 101565 101595 101564 101701 101711 122171 115573 115571 115323 115507 122172 115411 108683 108682 108778 108780 108779 108618 101598 101712 101988 101986 101987 101985 101706 101705 101693 101648 101704 101707 108499 108498 108502 108583 108584 94914 94909 94915 13428 13315 20183 20190 27235 27231 27254 27251 20405 13392 13391 13388 27257 27230 20309 101791 115379 108494 94908 101921 94772 94912 94910 88117 88009 88008 88108 94904 88113 94999 94801 94802 94905 81358 108497 88119 88121 60890 74423 74422 74473 74452 74472 67742 67739 13678 4972 3971 3970 6741 6631 6746 4795 6632 5068 4741 4259 4794 4973 5019 3968 6738 3969 3972 13255 13285 13286 13256 20469 20371 20340 5132 6602 33770 33769 33766 33765 33764 20189 26924 13389 13397 13386 74393 74392 33773 33772 33776 33763 33718 33762 33775 33778 74535 74527 81186 81216 81215 824 189 188 823 190 191 821 819 820 73 176 115378 115377 115376 101692 101700 101695 101624 101644 101645 101647 2113 2112 2122 2104 2103 2119 1162 2117 2116 1921 1973 2101 2102 193 66 822 403 350 817 810 818 1128 1201 802 801 402 2123 175 123 163 166 164 169 10 2090 2091 1320 2096 2125 2088 1697 2089 21 24 2115 2094 2093 1209 1208 1206 1200 1205 1203 1202 2120 2121 2118 2124 2114 19 183 182 1311 1306 1305 1318 1319 1312 1224 1214 1163 852 1304 1310 1308 1219 1307 1309 557 474 22 407 65 16 26 68 118 180 174 67 64 23 120 125 179 121 117 76 168 119 122 25 20 18 360 391 390 206 351 365 392 272 386 394 395 387 393 396 397 400 389 401 1595 1685 1445 1684 1590 1683 1673 1680 1679 1677 1672 1676 1675 1328 1687 1681 1671 1674 1600 1669 1682 1327 1688 1695 1678 1686 1670 1696 187 202 203 345 344 338 340 339 343 341 342 752 792 794 797 786 798 790 601 597 757 667 787 789 783 791 785 793 784 1959 847 845 1964 1891 1967 1972 1970 1971 1965 1968 1026 1960 1962 1961 2095 1996 2076 1994 2075 1983 2086 2087 1997 1978 2074 2078 2077 1907 1993 2079 1988 1995 2073 2081 2080 1705 816 815 741 408 580 578 579 583 593 586 584 585 589 594 552 581 588 220 543 813 404 733 2436 3817 3816 3813 3810 3815 3805 3806 3749 3811 3807 3818 3809 3814 3812 3819 3808 3825 3830 3826 3822 3828 3829 3780 3821 3820 3827 3823 3824 3557 3803 3804 3799 3802 3801 3800 336 335 337 590 814 2107 2106 1538 2108 1539 1321 1537 1536 542 422 540 812 811 2105 2142 2876 2895 2893 2899 2877 2898 2891 2882 2888 2892 2900 2884 2871 2869 2901 2902 2872 2889 2883 2878 2896 2853 2870 2822 2890 2873 2875 2874 2111 2110 1151 1150 1155 1152 1157 1154 1156 1153 1700 1698 1703 800 799 595 354 739 738 736 737 740 735 734 596 388 541 78 587 598 2109 1689 75 186 171 170 15 74 582 1038 116 762 788 181 165 167 108485 108486 108441 115282 115286 115280 115231 115205 115206 115185 115184 115297 115301 115574 115296 115300 108412 108503 108413 108505 108507 108391 108504 108508 108510 108512 108511 108509 115180 115290 115293 115291 115284 122088 115151 108501 115181 115279 115294 115230 115285 115289 115283 115292 108500 115210 108495 122182 116169 122116 122170 115288 95194 95128 122169 74815 74816 81446 81511 81510 74814 74653 74717 88115 88151 88146 88147 88145 88148 88149 88062 88107 88061 194 192 88142 88144 88141 88143 88139 88140 88136 88137 88138 88135 101793 94997 94998 101790 95192 88120 88112 88106 88118 88116 95000 88110 101594 101710 67740 67727 67683 67728 67654 67655 54154 54155 67734 67735 40348 40461 40462 54093 67731 60950 60947 60948 60861 74813 94854 94855 94900 94899 115298 115281 101715 101714 108714 101890 94911 115278 115476 115475 108392 101792 74532 81332 94944 95193 88114 74448 88111 88124 88122 108586 67741 67743 67732 108530 67733 115572 101694 101696 108585 94913 54146 54147 54149 54148 54156 54163 54159 47459 41446 27176 20129 20128 20132 20177 20176 21067 20108 13421 13425 13416 13414 13418 13413 13417 13424 13415 13422 13412 13423 13420 13426 13419 33714 33715 20402 20396 20401 20399 20398 20395 20394 20397 20400 20387 20392 20391 20385 20389 20393 20388 20390 20384 20404 15649 15845 15847 15848 15842 15645 15881 15878 15960 15880 15882 15844 15846 15876 15879 15646 15648 15647 15963 15962 15966 15965 15964 15359 15356 15172 15357 15355 15170 14992 15534 14990 15353 14995 14993 15532 15529 15358 14994 14991 15175 15533 15174 15176 15643 15531 15535 15173 13465 13460 13429 13461 20236 2903 1295 969 1302 1297 1293 1298 1300 1296 1294 1301 1299 1303 2084 1704 2085 2894 2897 3797 3796 3798 2885 2886 2879 2881 2887 2880 5 3950 3957 3958 3949 3178 3948 1144 615 1317 850 1225 1227 1316 851 1226 1228 27189 27178 27195 27185 27184 27183 27197 27173 27182 27188 27179 27180 27170 27193 27169 27172 27181 27186 27191 27175 27196 27190 27171 27174 27168 27187 27192 27177 27194 3032 3034 3033 3031 2126 33960 33959 34057 40666 34653 34056 33991 34055 74621 74620 27250 115321 108387 108388 108358 115361 115365 122204 122269 122268 122366 128909 129158 129159 129160 129157 129093 135523 135522 128770 128792 128729 128771 128791 128730 128997 129062 129061 121944 121973 121974 122026 122071 122027 122072 122083 131020 130366 131147 131510 130219 130381 130662 130480 129917 129188 131509 130663 131134 129303 131149 129301 131314 130368 129204 131021 129187 130494 130861 131315 130495 131036 130482 131148 131493 131037 131299 129915 129289 131136 130677 130661 131345 130859 131135 129189 131297 130383 130111 129983 129998 130207 129984 130109 130094 128951 128949 129997 130205 129999 129982 130110 129945 129946 129944 129958 128947 135420 135438 135454 135423 135448 135422 122085 121943 122367 122089 121998 122090 122091 121999 122094 122093 121977 121978 122364 122365 122300 122024 122023 122003 128648 128655 128645 128661 128613 128614 122121 123303 123302 122157 128615 131331 129288 130844 130218 129916 129902 130220 131313 131298 131035 130493 131508 128913 130382 130676 130846 130095 124343 123166 123111 123122 123316 123868 123588 123688 124342 123425 124522 123590 123589 124538 124229 123204 123427 123885 123702 124052 128628 123870 122509 123191 124068 123151 123190 124053 124505 128627 122409 122411 124553 123573 123152 124552 124244 123701 124521 124551 123205 124702 123689 128629 123189 123412 123414 124354 122508 124243 123124 123109 122497 124356 123318 123206 123574 129202 135441 135421 130096 129203 130678 130845 128950 129302 131330 129290 131495 130206 131312 128914 129959 129904 130860 129903 130481 131346 131022 130367 129957 131494 131344 123883 123153 124051 122396 124716 123123 124717 124715 122394 122495 124700 124504 124227 123317 123884 123165 123164 124701 122395 124506 123426 122410 124228 124067 123700 122154 122156 123301 128612 122120 123306 123313 123314 123315 123307 123415 123424 123423 123422 123416 123586 123578 123579 123585 123587 122393 122076 122078 122079 122077 122082 122081 122510 123687 123413 124520 124355 122158 124242 123869 124519 122496 124537 123110 123575 124341 128630 124066 117760 117711 117548 117562 117561 117745 117726 117550 117713 117759 117449 117727 117563 117758 117712 117450 117549 117744 117451 117729 117436 117435 117434 116412 116360 116373 116359 116413 116358 116371 116372 115363 116523 116524 116522 115364 115704 115716 115715 115717 116514 116513 116525 108781 108528 117923 117908 117909 117922 117924 117907 116318 116398 121836 116396 116331 116411 121834 121835 116330 116317 116316 116397 116329 116510 116896 116509 116782 116632 116634 116620 116796 115327 116786 116793 117090 116907 116622 117077 117274 116630 116521 117092 117259 117075 117275 116619 116792 117273 116781 116909 116629 116894 116780 116797 116895 117258 116621 116908 117091 117260 116633 116631 116785 115601 115618 115603 115602 115617 122962 128975 121821 121819 115600 116795 121820 116508 115616 117076 116623 116794 116520 115703 115702 121822 108525 108526 108524 108527 121937 121936 115320 115319 115318 115312 115316 115315 115310 115309 115317 115314 108523 108522 115308 108515 108514 108516 108521 108517 108520 108518 128870 128878 128871 128874 128866 128877 128875 128876 128869 128868 128879 128867 129186 128882 128884 130378 130108 130107 130371 130379 128883 130106 130209 130215 130100 130380 130372 128886 130208 130217 128887 130099 129092 122295 122293 129078 129075 129085 129063 129079 129089 122280 122290 122297 122289 129084 129083 129077 129066 129082 129071 129086 129081 122282 122296 129069 129076 122272 122276 122278 122270 129074 129091 129064 122271 122298 122273 122277 129073 122294 122274 122275 129067 129080 122291 122288 122292 122284 122286 129068 129070 129088 129072 129087 129090 129065 122299 122281 128766 128767 109578 109603 109620 108571 109729 109830 110001 110000 109993 109987 109727 110002 109567 109829 109566 109579 109604 115380 108923 108922 109524 122194 122177 108825 108810 108807 108808 108809 108824 108823 122181 122193 122188 122191 122187 122186 122184 122192 122189 122179 122190 122185 108513 115505 115506 110481 110465 110482 110466 110467 110658 110770 110756 110755 110757 110769 110768 110480 110641 111129 111131 111114 111115 111130 111116 110951 110933 110936 110965 110967 110935 110952 110966 110918 115043 115026 115029 115028 115042 115041 115039 115040 115038 111113 115032 110917 130216 122283 122287 122285 122279 115386 122174 122175 122195 128968 128970 128967 128969 121855 121837 121868 121862 121852 128987 128971 128989 128991 128995 128990 128988 122178 122203 128993 128994 128992 128996 128966 122173 122197 122198 122202 122200 122201 122196 122199 115144 115143 109720 109999 109838 109837 109992 109721 109836 109728 110114 108535 109523 110297 110102 109841 109988 110284 108534 109536 109827 109619 109605 110115 109732 109730 109525 110283 109828 108572 109618 108924 109565 110004 109826 110003 108568 109580 110919 110920 110642 110643 110657 109715 109716 109537 109717 110103 110282 110656 110934 110298 110299 110116 108911 108570 108909 108910 109989 110101 109839 109538 109840 109731 67827 67828 67826 115150 117775 117771 117773 117776 117774 117857 117856 117855 117772 115324 117861 117860 117859 121847 121845 117854 115325 121846 121849 121848 121843 121844 117858 115360 115356 115355 117875 117671 117530 117531 117599 117503 117527 117821 117846 117845 117848 117896 117600 117574 117598 117601 117529 115685 117670 117668 117669 117642 117894 117666 117842 115580 115348 117590 117980 117982 117889 88033 88013 88012 88034 88128 94907 87979 94902 94901 94903 94851 94831 94852 94906 89451 89622 89450 89351 89336 89348 89459 89449 89457 89609 89460 89338 89462 89341 89353 89337 89352 89350 89621 88189 88193 89613 89624 89461 89608 89349 89342 89614 89620 89458 89623 89610 89625 88303 88304 88239 88401 88399 88400 88402 117156 117417 117391 117416 117157 117158 117389 117415 117414 117155 117447 117446 117439 117440 117448 117154 117823 117899 117897 117597 117665 117148 115684 117843 117837 117977 117770 117777 117981 115233 115209 115208 117657 117976 117412 117520 117405 117406 117526 117984 117978 117979 117898 117159 117528 117873 117667 117576 117844 117640 117847 117505 117133 117983 117900 117131 128978 128972 128979 128981 128983 128974 128977 128973 128982 128986 128984 128985 128980 128976 115410 115044 115059 115069 115062 115075 117895 117596 121840 121841 121842 121851 121850 117779 117766 117765 117736 117743 117741 117740 117742 117732 117733 117679 117626 117489 117200 117704 117376 117375 117199 117810 117625 117788 117490 117175 117809 117703 117018 117351 117017 117297 117296 116994 117278 115338 117607 117465 117174 117678 117350 117787 117953 117931 117952 118016 117989 118015 117990 116836 116535 116639 116561 116724 116835 116657 115681 115680 116706 115682 116939 116446 116917 117103 116940 116422 117117 117104 117116 117780 117525 117115 116705 116725 117102 117120 116656 117119 117101 116560 117097 117118 116536 116447 116811 115329 115579 115674 115696 117247 115698 117252 117065 116307 116308 116305 117067 117071 116888 117064 116312 116988 116886 117069 116299 116802 117165 116298 115697 117250 115694 117253 117249 117254 117248 116885 116890 117066 117541 117539 117341 117342 117538 117737 117429 115592 117428 117430 115595 115594 117540 117738 117423 117166 116801 116309 116306 117456 117455 115331 115578 115358 115359 115591 117537 117424 117425 117739 117543 117542 117427 117426 115597 117544 115693 116887 115695 115590 115337 118014 115330 118013 115336 117996 117014 117013 117000 117001 116999 117015 117016 115673 117251 115692 122183 117011 122176 117012 122180 115313 115307 115311 116998 102583 108596 54143 54153 54150 67679 67680 67730 67729 67659 95096 95097 67634 67657 67658 60985 116883 116987 117068 117070 116310 116311 116884 116348 116389 116388 116769 116609 116336 116502 116506 116380 116612 116610 116495 116386 116700 116353 116500 116351 116392 116504 116387 116354 116529 116499 116390 116350 116494 116391 116772 116615 116775 116530 116611 116349 116608 116379 116770 116774 116501 116503 116771 116773 116613 116335 116776 116505 116352 115691 116699 116614 116889 116347 115596 115593 108496 115328 108519 122084 115287 117728 101699 115027 115234 40688 81333 81609 81336 54157 47385 47386 47384 47349 47304 47348 74749 47275 74718 74565 60973 47390 74543 47364 47379 47383 74447 47303 74619 47393 47276 54144 54094 40848 20427 20428 20432 20429 20431 20408 20407 20406 20435 20433 20430 20434 20425 20426 20778 27207 20776 27112 3001 2997 3002 2934 2929 2993 2996 2998 3000 2964 3003 2999 2935 2995 2229 2994 2959 2933 3010 3012 3008 2924 3007 2919 2914 3004 3009 3006 3017 2909 3018 3005 2947 2147 3011 33785 33797 33795 33802 33801 33796 33791 33799 33803 33794 33800 33805 33792 33793 33798 36500 33804 27133 27165 27261 27229 27147 27148 27149 27154 27164 27134 27162 27158 27260 27161 27160 27157 27156 27155 27159 27163 27153 27144 27151 27152 27139 27150 27145 27143 27140 27146 27141 27142 27136 27135 27137 27138 3955 3956 6601 22576 22577 22602 22524 22914 22888 22887 22850 22913 22829 3966 3964 3779 3967 3965 3959 16036 15893 15730 16095 13435 16094 13441 15712 15808 16120 15783 15731 15915 16058 13443 16121 13434 15809 1146 1911 1534 539 1920 1909 1532 1535 1148 1530 1915 1916 1149 1145 1531 538 1913 1910 1912 1914 537 1919 1908 1147 1917 1918 16057 16118 15914 13442 16119 15784 15892 22685 22505 22686 22707 20417 20423 20418 20416 20411 20420 20413 20412 20424 20422 20421 20419 22851 22601 22708 22523 20334 20339 20331 20338 20336 20333 20330 20332 20337 20335 20410 20409 20414 20415 22097 20579 22018 22017 21733 21838 22388 22195 21815 15679 15978 15994 16089 22098 21458 22363 21915 21734 22387 15926 22248 20580 22249 16004 16087 16002 20383 13685 15706 15773 15928 13790 15980 15681 15949 16086 15952 21837 22073 20578 21459 22176 21622 16088 15704 15950 16001 15951 16084 15774 15703 15747 15705 22072 15702 15772 13453 15775 16005 21995 21892 21623 16085 15776 15953 15745 16003 21916 22273 22274 21604 22194 20228 22151 22150 20594 21964 22324 22755 22638 21967 20596 21788 22669 22675 22637 22641 22441 21969 22325 21784 22438 22322 22442 21208 20590 22147 21785 22148 21204 21205 21966 22436 20253 22437 20258 22152 20593 20595 21783 20254 22440 21787 22328 21209 22439 21965 22327 20592 21968 22149 21210 21963 21786 21207 22639 22640 22759 22672 22753 22635 22673 22757 22671 22756 22674 22758 20234 20222 22912 20235 22911 20227 22146 22326 21206 20591 19951 19955 19953 19952 19956 19954 20229 20488 20493 20491 20495 20494 20492 20490 3936 3935 3932 3944 3945 3939 3933 3938 3937 3934 3931 3836 3841 3851 3846 3765 3562 3854 3855 3852 3558 3853 5845 5165 5164 5163 6507 6508 5161 5044 5034 5030 5033 5029 4648 4141 4649 4924 4788 3020 4784 4787 4922 4786 4925 4740 4926 4736 4737 4739 4738 3172 3167 4921 4138 4139 4140 4647 4923 4644 4785 4646 4645 3171 3170 3166 6506 3168 3169 5031 5162 5045 5046 5032 3165 5042 5043 5041 2904 6034 3942 3563 3943 3874 3886 3923 3920 3861 3930 3927 3922 3860 3921 3929 3862 3891 3925 3856 3924 3926 3928 3556 3561 3831 5844 6610 6629 6340 6226 6044 6286 6338 6285 6284 6046 6228 6042 6040 6093 6230 6090 6092 6043 6038 6041 6229 6047 6037 6094 6039 6045 6341 6283 6282 6342 6339 6396 6394 6395 6398 6397 5861 5857 6033 6628 6393 5859 6035 5862 6227 6337 6281 6036 6225 6091 5860 6630 20219 20217 20214 20218 20216 20215 20213 20212 20210 20209 20207 20205 20208 20211 20206 13403 13406 13402 13401 13405 6351 6468 6253 6240 5851 6430 6295 6296 6309 6252 6443 6364 6352 6469 6452 6365 6308 6453 6442 6243 6249 6247 6251 6242 6241 26028 26503 25671 25828 26254 26611 26363 25670 26339 26235 6744 6740 6745 6739 6510 6509 6743 6742 6735 6737 6731 6732 6734 20467 20436 20468 5850 6467 6466 6626 6612 6624 6623 6625 6613 6611 6614 6627 6674 6676 6673 6675 6490 6489 6492 6491 13985 20465 20466 6736 6733 6660 6659 6678 6679 6677 6680 6682 6681 6661 13314 20445 20107 20437 20438 20452 20450 20461 20443 20440 20453 20456 20455 20444 20447 20442 20459 20463 20460 20449 20448 20457 20441 20464 20451 20462 20458 20446 20454 5846 6248 6250 5849 13658 13671 13668 13654 13653 7285 6609 13662 13667 13665 13663 13656 13661 13669 13670 13666 13660 13652 13664 13657 13659 18873 18861 19325 19059 19235 18875 18878 19034 20056 20077 20076 20075 20057 20048 18860 19710 19709 19546 19442 19868 19211 18876 19867 19035 19841 18049 18858 19687 19349 19460 19819 18859 18877 19236 19571 19210 19324 18854 19797 19350 19688 19842 19060 19545 19570 19818 18872 18874 19461 13313 13338 19866 19865 18048 13377 18047 18042 18035 13382 13379 13327 13330 13329 13331 13332 13328 13334 13333 6164 6152 6774 8221 6200 6206 6205 6061 6169 6198 6049 6203 6208 6207 6199 6104 6202 6062 6204 6201 13673 13355 13378 13380 13353 13381 13516 20121 20125 20124 20127 20126 20106 20123 20120 20122 25668 25651 25652 25665 25654 25653 26658 25669 25667 25666 26659 14274 20287 20310 20312 20314 20313 20311 20315 6891 6889 6888 6882 6886 6887 6890 6885 6884 6883 13517 7283 13519 13526 13531 13545 13546 13530 13518 13544 13535 13543 13540 13536 13523 13528 13541 13529 13539 13520 13537 13521 13525 13533 13522 13538 13542 13524 13534 13527 13532 26991 26989 26987 26988 26992 33694 36162 26641 25852 25647 26634 26612 25827 26660 26635 26253 26364 26003 26118 26590 26481 26004 26480 26143 26502 26338 26661 26142 26029 24842 25853 27265 40762 40782 40758 40776 40774 40775 40781 40783 40767 40763 40766 40770 40772 40764 40771 40768 40769 40777 40778 40780 40761 40779 40760 40765 40754 40757 40756 40759 40755 40773 33926 33958 34054 34022 6986 6987 6985 23383 23082 23534 23081 23535 23548 23830 23373 23382 23662 23275 23843 23385 23277 24013 23262 22981 22982 22979 22980 23828 23549 23067 23533 24189 23661 23829 23386 23844 23080 23261 24012 23278 23276 23550 23647 23649 23068 23263 23274 23273 23374 23845 23546 23660 23545 23547 22918 24534 24607 24533 24028 24409 24424 24314 24187 22997 24628 24203 23045 24627 24202 23043 24027 23030 24521 24729 24730 24731 24188 24316 24426 24303 22919 23372 23648 24011 23384 23069 24204 22996 23032 24410 24535 23031 24302 24626 24522 24301 24411 24520 24425 24026 24608 22995 24315 24609 23044 36293 36163 36415 36188 36474 36499 36109 36187 36436 36473 36272 33813 36437 36110 36498 33814 36497 36480 33821 33820 36294 33822 36091 36271 24840 24828 24841 24835 5453 5552 3159 3158 5522 5555 5779 5519 5791 5713 5382 5554 5518 5521 5452 5513 5553 5556 5501 6877 6875 6878 6876 6879 6872 6880 6881 6873 3125 6871 6892 6924 13494 6957 6926 7023 6839 4536 13616 13640 13617 13639 13631 13627 13630 13618 13619 13614 13642 13621 13629 13637 13641 13613 13615 13620 13624 13626 13634 13638 13625 13636 13633 13632 13622 13628 13635 13623 20117 20116 20118 20113 20112 24909 26892 26893 26895 26894 13679 27103 7002 7007 6998 7004 5658 5601 5657 5199 6959 6961 6962 6980 6982 6984 6979 6977 6978 6983 6981 7020 6988 17523 17409 17728 17508 17509 16204 17835 17616 17727 17411 17814 17633 17618 17510 17410 17815 17617 17729 17742 17816 20325 20323 20319 20328 20329 20321 20320 20324 20326 20327 20377 20403 20378 20375 20379 20376 7010 7014 7009 20317 20322 20318 20316 16187 17938 16186 17937 16188 17936 16189 27124 27108 27131 27106 27128 27125 27117 27114 27118 27109 27119 27111 27115 27107 27121 27120 27110 27122 27116 27113 27129 27132 27130 27105 27104 27127 27126 27123 6973 6971 6968 6975 6970 6974 6972 6963 27202 27208 27203 27222 27228 27217 27227 27205 27216 27213 27224 27209 27225 27201 27226 27219 27210 27204 27206 27223 27215 27220 27218 27199 27214 27200 27221 27212 27211 5550 5714 5589 5557 5200 5602 5198 6967 6958 6964 7019 6923 7001 6997 7003 6966 6965 6976 7006 7008 7012 6960 7015 7011 6840 7016 7013 7005 6999 7499 6969 7022 3157 6925 34053 33957 26869 26868 26870 26849 26850 42167 42164 40632 42342 42163 42346 42344 42348 42525 42166 42345 42162 42165 42347 27102 33873 27860 30804 31402 30621 30997 30054 30166 30343 30441 30338 31326 31313 30176 29788 30805 31421 30341 31203 30339 30980 30995 29873 30638 30326 31401 29838 31217 29711 29773 31094 30055 30820 31108 30442 30066 29837 29712 29875 30636 29790 30179 31400 30806 30981 31219 30178 31419 29836 31095 31328 29774 31107 31096 31327 30342 30622 30067 30340 30177 29823 30819 29775 30056 30328 30982 31202 31420 30454 30070 30180 29860 31314 30165 29862 29789 30440 30453 31218 30327 30821 29861 31109 31315 30071 30167 29772 29825 31204 29824 30455 30996 30175 29874 30637 30069 30068 26891 26884 31522 31523 31524 31425 30623 26921 26922 26901 33969 33990 33989 33975 33961 33973 33964 33978 33972 33976 33977 33983 33984 33986 33981 33962 33968 33967 33971 33963 33974 33966 33979 33965 33970 33988 33982 33985 33987 33980 9171 9172 9169 9082 9050 8377 8739 8855 8740 8738 8560 8853 8202 8566 8382 8379 9089 9051 9055 9085 9049 9167 9086 9053 9088 9087 9054 9083 9084 6776 9168 9170 9052 9048 9166 8849 8201 7146 7141 8380 8850 8852 6807 8741 6806 6811 8563 8376 8195 8375 8559 7148 7042 7040 7045 8737 7044 8378 7043 8374 8383 7143 7145 6775 7142 7144 8565 8197 8198 8742 8199 8200 8736 8564 8381 8562 8854 8856 8851 7046 7047 8196 7147 8561 13159 13158 9173 26883 26875 26876 7021 6762 6758 6766 6763 6764 6768 6771 6760 6769 6772 6770 6761 6765 6759 6767 6752 6747 6748 6751 6749 3160 3063 3062 26746 26747 22668 22670 22678 22663 26744 26748 22630 22677 22631 22754 20223 22664 22636 22752 26749 26745 19949 6684 6730 6685 14414 14417 14412 13797 13799 14416 14411 13803 13798 13800 13802 14415 14413 13801 13695 15727 22520 13699 13701 15714 15352 15530 15169 19950 13697 15843 15726 22506 15729 13430 15959 15716 14989 22521 22519 15713 15644 19947 15875 13700 13698 15841 15354 15961 14988 22522 22507 15728 13796 15715 15725 22518 22509 15877 22508 15171 13702 17522 17833 17521 17740 17631 17632 17741 17834 30168 30169 30332 30059 30331 30060 8388 7834 8105 8387 8404 7933 7836 8107 8206 7945 8092 8207 7946 8389 8098 7826 7837 8097 7942 7835 8108 8093 7944 7941 7825 8094 8208 7935 7934 7932 8106 7931 7943 8109 8104 13163 13160 13161 13162 13156 13155 16869 17235 16239 16237 16593 17220 16238 16480 17396 16591 16468 16579 17035 16590 16742 16594 16868 16854 16752 16274 17233 16757 17219 16756 16580 16289 16250 16470 16740 16589 16482 16867 17394 16251 16126 16287 16856 16485 17218 17052 16275 17037 17395 16755 16754 16741 16202 16288 16483 17234 16753 16855 16484 16203 17839 16481 16125 17050 16469 17036 16252 16276 17051 16592 16581 18034 18030 18029 35658 35859 35478 35974 35973 35502 35781 35683 35659 35762 35834 35780 35860 35835 35949 35501 35684 26968 26966 26967 26080 26304 26410 26302 26305 26197 26299 26303 25903 25724 25907 25901 25718 26077 18642 18481 18374 18494 18490 18482 18491 18368 18489 18385 18657 18641 18369 18483 18382 18652 18645 18656 18653 18370 18646 18492 18493 18383 18640 18373 18380 18654 18480 18655 18479 18381 18384 6729 33895 40667 67746 67747 67750 67749 67745 40674 40681 40682 40679 40672 40683 40677 40680 40668 40675 40678 40673 40676 40671 40685 40684 40686 40669 47461 47462 47472 47475 47479 47476 47477 47465 47478 47467 47464 47455 47473 47460 47474 47466 47471 47468 47470 47480 47469 47454 47458 47452 47457 47463 47456 47453 47451 47576 47570 47555 47568 47560 47559 47565 47557 47567 47569 47572 47574 47573 47566 47571 47564 47561 47562 47556 47563 47549 47547 47575 47551 47550 47558 47553 47552 47554 47548 35483 35497 35485 35496 35498 35500 35499 35482 35484 35495 41899 41791 42063 41900 41909 41800 41790 42186 41911 42073 41801 41799 42069 41898 42184 42070 41608 41593 41595 41607 41606 41594 42057 41906 41896 41802 42071 42059 42062 42072 42173 42171 41908 42172 41907 41897 42074 42185 42058 41910 41798 41787 41797 40605 41785 41786 40604 40687 40661 40660 40664 40670 40662 40663 40658 40665 40659 3124 3036 3115 3114 47450 40657 6954 6952 6950 6951 6939 6944 6935 6949 6936 6937 6945 6947 6946 3122 6941 6940 3120 3035 6948 6943 3121 6942 6953 3119 3118 3116 3117 6846 6851 3094 6853 6848 6857 6859 6844 6842 6841 6856 6850 6849 6858 6845 6855 6854 6847 6852 33955 33954 33936 33948 33949 33946 33941 33947 33956 33940 33943 33950 33952 33939 33951 33953 33937 33944 33942 33945 33927 33928 33929 33934 33932 33935 33933 33930 26878 26880 26879 26955 26889 26890 33931 33938 62673 63646 63609 62855 63282 62674 63281 63444 62934 62650 63146 63121 63587 60994 63145 63032 62856 63335 63360 62952 63645 63465 63031 62831 63672 63359 63671 63608 63263 63466 62953 63007 62830 63443 63006 63334 74924 74923 13672 6488 13645 13651 6460 6246 5858 13648 13655 13649 13647 13650 13646 13644 1533 40633 81520 74570 74606 75638 75639 75640 76790 76691 76692 76693 75863 75767 74573 74566 74607 74603 76954 75861 76792 76805 75655 75654 75765 75874 76953 75615 75614 76970 74845 74860 74844 74843 75602 75601 76955 76791 75862 75875 75766 75876 75864 75872 75865 75755 75873 75764 75756 74842 81321 81327 81319 81318 81326 81315 81317 81316 81328 81266 81320 81314 81313 81269 81268 81265 128817 128796 128816 74427 47950 47368 47644 74538 75871 94771 76678 76677 76676 88208 81245 76971 77002 76986 76987 81220 75751 75752 82393 82406 82446 82447 82448 81396 81400 82407 82395 82394 82408 83746 83763 83747 83748 83485 83470 83471 83484 83486 83469 81752 81738 81737 81751 81739 81750 82353 82365 82351 82366 82352 82364 81653 81638 81636 81637 81651 81652 81219 76969 77001 76803 77000 76804 76968 74858 74859 74605 74569 77150 77149 77165 77166 77151 77164 76149 75559 76317 74945 76500 76150 76138 74958 76333 76035 76037 75763 76027 74946 76334 74959 76137 76502 76515 75613 75653 76036 75600 76039 75572 76136 76516 76034 75571 76332 75558 76501 74957 76022 76517 76319 76151 75560 76318 76038 74944 75573 76028 76023 76024 74591 74592 74593 75750 74426 75762 88335 74563 74562 74559 74561 54164 102294 108357 88155 88156 88532 88530 89145 89159 88545 88191 89226 89241 89240 89201 89224 89225 89200 88192 88543 89146 88544 88531 89144 89157 89158 89239 89199 101597 95195 94805 89735 90087 89448 89447 90103 89918 89905 89722 89724 89736 89919 90088 90086 90101 89904 89920 90102 89903 89737 89723 108437 108438 88444 88445 88446 101622 101623 94942 90378 90554 90541 90377 90391 90555 90539 90389 90390 90587 90557 90586 90573 90572 90588 90556 90376 90540 90279 90278 90264 90263 90262 90277 108417 115389 90750 90735 90737 90736 90751 90752 88058 88038 88059 95001 95005 95030 95024 95026 95025 95023 95029 95031 95028 95006 95022 95027 95020 95021 95018 95016 95015 95019 95013 95017 95012 96253 96401 96033 94982 96896 96880 95938 96696 96530 96881 96879 96516 96697 96698 96517 96713 96515 96712 95952 96403 96242 95980 96402 96418 96241 95981 96145 96255 96417 96240 96034 94986 96144 96146 96416 96018 96032 96017 96894 95337 95324 95951 96529 96528 96711 94985 95950 95338 96131 94949 96130 95323 96895 95325 95939 95937 95336 96254 95993 95994 95979 95992 96019 101794 88429 88428 88430 88431 101735 101708 101733 101731 101732 101734 101702 101703 94650 94662 94663 94664 94649 94647 94648 115486 115493 115490 115492 115487 115503 115489 115499 115501 115494 115480 115502 115491 115500 115504 115498 115495 115481 115497 115496 108251 108282 108266 108350 108276 108269 108351 109376 101798 108705 108707 108700 108699 108708 108710 108703 108697 108701 108698 108711 108702 108696 108694 108687 108693 108706 108704 108713 108709 108688 108712 108615 108612 108613 108614 108610 108616 108608 108611 108617 108609 108587 108592 108590 108589 108588 101727 101726 101730 101728 101729 101725 103962 103976 103849 103975 103865 103848 103977 103964 103864 102130 103674 102116 103689 103672 103850 102118 103688 103863 103687 103673 102117 103963 102131 102129 101722 101724 101721 101723 102785 102827 102773 101775 101779 102772 102774 102825 102786 102826 102787 102810 103209 103033 103210 103195 103196 102937 103035 103194 102938 103046 103034 102939 103211 103047 103048 102812 102811 103309 103308 103310 102731 103506 102732 103504 103323 102744 103491 103490 102743 103505 102730 102745 103321 103322 115409 104141 104172 102031 104173 102030 102032 104174 104140 104143 104159 103489 104158 104142 104127 104126 104125 102015 102014 102017 102016 104323 104338 104322 104337 104336 104321 103961 104124 104320 102922 102923 102924 101741 101742 101778 101777 115384 115407 115385 115405 115404 115406 115408 115401 115403 115402 115381 115382 115383 108248 108250 108249 108236 108234 108233 108235 110977 111063 110979 110982 108532 110984 111061 110983 110980 111062 110981 111065 111066 109710 110634 109709 108567 110636 110950 110459 110947 110637 109711 108903 108904 108901 110943 110458 108563 108905 108899 110457 110456 110461 110946 110633 110635 110949 110460 110945 108562 110948 108900 108902 110631 110745 110750 110748 108804 110746 110744 110630 108797 110095 110276 110277 110097 110094 110090 109516 109513 110751 110632 109819 109818 109983 109822 109982 109816 109821 109980 109713 109977 109979 109820 109981 109712 110092 108801 110273 110455 108800 110747 110275 110272 110093 110096 110278 110271 110274 109518 109517 109519 109515 109514 108799 108802 110749 110091 110454 115051 115053 115054 115056 115055 115049 115058 115052 115050 115057 111067 111068 109543 109736 109587 109542 109596 109559 109560 109976 109599 109598 109557 109586 109737 109906 109978 109708 109706 109595 109558 109907 94830 94829 95790 101803 94941 94940 94938 94939 94935 94937 94930 94936 94934 94933 94929 94932 94931 94928 104121 108695 102927 103199 103207 103044 103037 102935 102936 103208 102928 103045 103206 103200 103036 103043 109701 108798 110549 110548 109707 109817 108538 109594 109554 109593 109556 109815 115047 115048 109702 109597 109561 109555 108898 109512 108390 106335 106334 106460 106497 106484 106483 106459 106498 107064 107063 107065 106461 106448 106447 107442 107427 106496 106446 106485 107078 107261 107444 107246 107077 107259 107260 107244 107429 107076 107245 107428 107443 107731 107730 107719 107718 107620 107717 107619 107618 107604 107605 107732 107603 106348 106349 106350 106346 106413 106398 106397 107936 107938 107951 107937 107950 107949 107825 106412 107840 106411 107826 107842 107841 107827 106396 108044 108024 108042 108025 108043 108023 101639 101637 101629 101628 101641 101643 101627 101640 101636 101638 101642 101634 101633 101632 108046 108144 108143 108145 108440 95003 95004 95002 108416 108415 90080 90077 94674 94675 90602 90605 90599 90604 90603 90569 90570 90565 90567 90601 90686 90571 90687 90683 90685 90568 94673 88153 88152 90600 90689 90688 90566 90684 90608 94676 94677 94672 94678 94679 94670 94671 88520 88522 90594 90560 90561 94669 94668 90598 90593 90564 90607 90682 90370 89898 90371 89899 89140 90368 89716 89893 89713 89896 89135 89895 89139 89897 90369 90372 89714 89715 89134 89894 89138 90076 90078 90252 90082 90256 89137 90366 89718 89136 90254 90255 90081 88523 88184 90257 90258 90079 88188 88526 88183 88524 88521 88525 89717 101557 101558 115400 115392 115396 115398 115391 115394 115399 115395 115397 110940 110972 110973 110939 110986 110194 110195 110009 110008 108786 109505 108880 110373 109506 108565 110662 110372 108881 110663 108566 108785 110987 104202 104093 104118 104039 103904 104403 104366 104223 104404 104092 104201 104040 103692 104345 101752 103711 104021 103710 104367 104429 104224 104117 103903 103879 104430 89331 89604 89177 89602 89180 89438 89328 89178 89334 89600 89598 89443 88423 89332 88422 90253 88425 89441 88421 89712 88424 88420 89599 89176 89179 89437 89329 89182 89440 89333 89603 89181 88159 88419 89442 90367 89330 89439 89601 89220 89215 89218 89219 89216 89217 101743 104410 104427 104428 101751 101750 88418 89892 88519 90365 103885 103902 103884 103883 103898 103900 103886 103901 103899 108686 108685 108684 108691 108689 108690 101744 103897 104412 104426 101749 104425 101748 101476 101458 101483 101473 101489 90283 89358 89597 89357 89163 89527 89208 89528 89322 89436 89214 89175 88501 88502 108591 101807 101799 101819 101815 101822 101821 101823 101818 101816 101824 101817 101820 108606 108603 108601 108599 108607 108604 108605 108602 108598 115482 115485 115477 115479 115483 115484 115478 115488 108261 108260 108262 108257 104275 108258 104269 101739 104274 104271 101738 108259 108263 104273 104272 104270 108256 108264 108265 110406 111222 110697 110583 110832 110224 108545 111196 111160 111016 111138 110407 110833 111017 110382 110911 110995 110886 111197 110696 110582 110910 110814 110672 110201 110225 111159 111223 110558 110885 110994 110557 110381 104188 104191 104185 104190 104187 104189 104186 115388 115387 115390 115393 101770 101769 101774 101795 101796 101797 94976 94981 94977 108600 108594 108595 108593 108597 89164 90284 108536 104193 104194 101911 101895 101912 101919 101920 101894 101917 101913 101916 101914 101918 101910 101915 101892 101891 101893 101808 101809 101814 101805 101811 101810 101806 101813 101812 101905 101908 101904 101909 101906 101900 101901 101903 101907 111203 110206 110207 110222 110223 110208 108544 108543 108537 110220 111221 110218 110205 110221 111220 110219 104184 104179 104180 108254 108255 97333 97334 97332 97349 101745 97070 97169 97072 97071 97171 97184 97170 95224 95223 95239 97057 97056 97055 97182 97183 97348 97347 94984 95221 95222 95237 95238 97517 97494 97598 97520 97496 97603 97521 97519 97600 97602 97601 97518 97442 97291 97263 97292 97469 97467 97466 97290 97288 97465 97599 97261 97289 97444 97468 96129 97381 97366 97365 97350 97380 97379 97545 97544 97528 97529 94948 97530 97543 97458 97510 101455 97168 97527 97331 101440 97278 103790 103431 103408 103765 103589 103614 103789 103432 103588 103613 103764 97148 97152 97219 97149 97221 97195 97222 97220 97124 97150 97218 97151 97034 97197 97036 97010 97037 97038 97035 97147 97146 97211 97033 97217 97141 96795 97430 97324 97431 97610 97611 96972 96638 96615 97228 96821 97409 97636 97086 96820 96639 97637 96971 97573 96796 97552 97111 97247 94959 97299 97246 96996 97325 97300 97110 97574 96997 97126 97012 96652 96678 96834 96675 96860 96859 96676 96862 96861 96677 96836 96679 96858 97026 97027 96851 96674 96857 96667 96668 97605 97604 96654 95306 94969 95201 108692 95305 97408 103945 103988 104085 104083 104396 104398 104395 104397 104056 102099 101994 104237 103944 103943 103829 103803 103990 103831 103828 103830 103941 103917 103827 103942 104287 104262 104312 104314 104310 104259 104260 104311 104235 104258 104261 104313 104289 104084 104393 104013 104011 104015 104081 104082 104014 104012 104394 104054 104303 104251 103940 104071 104004 103805 103919 104391 103939 103545 103571 103547 103570 103572 103573 103569 103655 103652 103627 103653 103654 103651 103747 103629 104390 103468 103469 103471 103470 103445 103447 103472 103644 103461 102098 103819 103826 103820 103467 103650 103460 103562 103568 103744 103934 104079 104010 104257 104256 104080 104309 104308 101765 101761 103369 103390 103391 103367 103394 103745 103393 103748 103738 103392 101762 104392 103070 102096 102974 102975 103053 102860 102861 103225 102836 103071 102094 103511 103138 102950 103139 103533 103120 103534 103250 102095 103249 101997 101998 101782 103722 101764 103749 101763 103724 101783 103395 103746 103384 94950 97328 101442 101456 101441 101457 101443 97516 97463 97464 97287 97286 97515 97597 96622 94951 96637 96635 96621 96636 97634 96619 96634 96620 94957 94958 97617 97635 96633 96632 101899 101898 101902 101896 101897 104268 103430 103426 103415 103414 103412 103427 103429 103413 103428 103425 101804 101800 101802 101801 94945 94946 101469 101465 101464 101467 101470 101468 97482 97479 97481 97480 97400 97475 97401 97397 97398 97395 97392 97396 97393 97391 97477 97476 97478 97394 101472 101463 101471 97164 97358 97360 97361 97362 97165 97364 97363 97162 97159 97163 89207 89133 89711 97386 97387 101466 67769 67768 67770 97357 97359 97354 97353 97161 97158 97160 97076 97077 104155 104150 104154 104157 104156 104151 104152 104153 104146 104147 96873 96871 96872 97045 96874 96875 94764 94765 103029 102768 94952 96870 97051 97050 97048 97047 97049 96233 96236 96127 96234 96232 96230 95975 96235 96122 96125 96124 96123 96126 95974 95972 96010 96012 95971 96121 95313 95315 95318 96391 96510 96869 96690 96688 96509 96689 96686 96506 96692 96390 96395 96397 95956 96504 95312 95215 95929 96321 95928 97044 95930 96151 96868 95214 95931 96687 95933 95957 95218 96116 95213 96962 96963 96120 96229 96013 95212 96001 95970 96008 96011 96007 95319 95316 95314 95317 101461 101462 96115 96231 96505 95217 96150 96000 95216 97046 96009 95969 95973 103026 103028 102916 102919 103027 102764 102918 102766 102767 102763 102805 103023 102803 102917 102804 102762 102806 103024 102765 102802 103025 102914 102920 102801 102915 103187 103184 103185 103188 103189 103186 103190 103113 102106 102110 102108 102107 102109 102721 102724 102112 103483 103303 102723 103485 103480 103304 102725 103299 102111 103481 103302 102722 103479 103300 103301 103482 102720 102726 103484 103298 103663 103662 102006 102004 102008 102009 102007 102105 103844 102011 103843 103841 103666 103297 102010 102750 103114 103665 103838 103958 103183 103954 103840 102749 103667 103957 103955 102005 102761 103022 102793 102908 102909 103755 103664 102794 102943 103951 103953 103839 103668 103952 103956 102944 103756 103842 103661 102800 103870 103869 101992 101773 103478 101993 102087 103215 103216 103579 103580 103402 102913 103837 102712 102088 102713 101772 103401 102719 96511 96508 96685 96691 96507 96786 95199 94979 95294 95200 95295 95920 94980 96787 95919 108787 108555 96608 96423 96609 96422 95968 96393 95211 95926 95927 96392 96320 96394 95932 96396 110124 110304 109742 109846 108888 110018 110043 109743 110327 109931 110042 109912 109767 109932 108889 109863 110146 110503 109864 110504 109913 109653 109768 109629 110147 110326 109654 110485 108887 90493 90234 90241 90217 90242 90498 90726 90672 108177 108176 108150 108151 108174 108175 108157 74521 74475 74560 74476 74523 74522 74524 110872 111101 110733 111049 110619 111183 111050 110621 110783 111030 110877 110734 111185 108892 110623 110805 111055 110878 110875 111102 108196 110622 110624 110797 110738 111106 111103 110710 110613 111096 111191 111188 110876 111107 110612 111187 111053 110596 111051 110806 110803 108210 108211 108202 108203 108891 110873 110732 111104 110735 110847 110598 110620 111054 110808 111186 110807 111028 111052 110781 111080 110849 110736 111044 110864 110804 110874 111105 110712 111189 111190 110737 111082 111184 110322 110323 110364 110366 110324 110311 110325 108227 108228 110338 110361 110309 110365 110355 110422 110261 110446 110443 110264 110240 110447 110260 110444 110445 110448 110263 110363 108219 110420 110254 110238 110262 110265 110437 110340 110308 110362 110310 110944 110727 117413 108531 111064 110978 108803 61229 54152 54151 54161 54160 60952 54097 54142 54141 54435 54434 60953 60954 54339 54436 54338 54274 54370 47221 47220 40596 40592 40585 40595 40594 40587 54096 60992 60993 60986 63652 63670 63669 40588 40597 40851 47250 27051 47251 40593 40584 40590 27046 40589 40591 40586 27047 28576 40598 74554 74552 74553 74551 74555 74557 74556 74558 48701 48865 48689 49367 48864 48867 47395 61148 50085 50023 61159 61150 61145 48852 48595 48699 61151 48605 61162 48690 48856 48855 48862 48702 61156 48692 48704 47400 40606 61153 47430 47394 48592 48593 48583 42295 60836 49146 48964 49145 48966 48979 49162 49147 49925 48965 47279 43266 47300 47280 43086 43064 54071 48866 48700 48594 48584 54072 54073 61158 61160 61143 54145 61142 49748 61146 49695 61137 61152 60837 48606 47750 49420 49348 49270 50001 43293 42652 43065 42980 42653 42476 42477 43229 42955 42903 43267 42452 47278 49167 43230 43087 42956 40615 49190 48727 47407 47406 48851 61155 47426 47425 49677 49189 49560 42628 49244 49064 49880 49857 50022 49858 47408 42884 49269 50086 49696 47752 48709 49245 48863 42627 49879 49087 48775 49446 49924 50059 49088 49928 49927 49535 48630 48794 47751 48726 61157 61154 61149 61147 49929 47399 49926 61161 61136 60807 48693 48850 48691 48703 43292 47301 42271 42294 43208 49445 49421 49366 49559 42981 42902 42742 49774 50060 49749 49773 81608 81606 81607 61131 61132 61067 81542 81325 88217 62467 62313 62312 62776 62491 61338 62775 62216 61336 62753 62381 62295 62217 62380 61337 60866 60887 60886 88238 82204 81329 81324 81323 88212 88230 88233 88234 88235 88232 88229 88237 88231 88236 88213 62573 62102 62103 60983 60984 90671 90402 90357 90728 90727 90331 90358 90808 90219 90429 88176 90348 90244 90426 90665 90651 90485 90674 90725 90495 90233 90468 90807 90497 90701 90404 90243 90675 90333 90418 88408 90717 90809 90810 90240 90723 90424 90494 90670 90722 74550 74549 60841 62595 62192 62596 62362 62078 62492 67633 89323 95010 88997 88512 90245 90806 90427 90428 90676 90355 90673 90703 90356 90496 90724 90425 90359 90499 90649 88513 90470 90805 87978 90075 74567 75747 75748 75633 75745 75742 75595 75746 75596 75744 75634 75857 81351 81355 81349 81350 81348 81363 81399 81352 81347 81346 81354 81356 81353 76018 76015 76016 81359 76014 76012 76017 83806 83812 83811 83810 83809 83808 81360 83890 81398 81629 81628 81627 87880 87883 87879 87884 87882 87878 87881 83807 83891 81366 81626 81390 81391 81395 81362 83774 83778 83772 83461 83288 83578 83579 83465 83463 83104 82921 83105 83776 83775 83777 82923 83285 83287 82924 83459 83289 83106 82922 83103 83102 81731 81727 81733 81729 81728 83462 83286 82925 83283 81732 81730 83573 83576 83284 83464 83575 83577 76492 76496 76495 76493 82347 82342 82346 76494 82344 82341 82345 82343 76310 76130 76132 76131 76307 83773 76313 76309 76127 76129 83100 76128 76312 76311 76491 76308 76126 83893 83892 83894 83896 83895 82920 83574 83889 83805 74597 83771 76490 82919 82807 82541 82809 82647 82649 82646 82537 82539 82540 82808 82427 81631 81632 81630 83460 82536 82806 82389 82805 82644 82648 82535 82538 82426 82422 82425 82424 82423 82383 82386 82387 82384 82645 82388 82385 83101 82810 82811 82650 81625 83377 83376 83572 83458 83282 69088 69105 67787 69106 75578 75941 75942 75940 75772 88011 75735 75770 75621 75771 75736 75577 75737 75622 75620 75576 81531 81537 81533 81535 81538 81541 81536 81532 81539 81534 81515 81516 81540 81077 81061 81064 81076 81063 81078 81062 82918 83099 82340 81726 81709 83201 82836 83022 81614 82837 82333 83200 81613 82334 83023 81708 83598 83584 83583 83585 87877 87886 87885 74571 81635 82667 82830 82816 82560 82656 82817 82669 82930 82929 82559 82655 82668 82558 82831 82815 82832 82654 81364 82549 82820 82664 82658 82827 82665 82548 82431 82544 82432 82557 82556 82545 83294 83293 82931 83111 83112 83127 82829 82666 83110 82657 82828 82821 83310 82944 83295 82433 81526 81521 81530 81525 81529 81522 81527 81524 81528 83582 83942 83764 83795 83779 83780 83944 83959 83943 83761 83762 83794 83793 82734 82735 81244 83308 83309 83597 83596 83815 83801 83814 83800 83125 83126 82943 82942 82415 82534 82414 82421 82565 82529 82370 82804 82564 82543 83767 83768 82530 82382 82371 82643 83491 83490 81394 81393 87875 87876 83957 83958 87870 87869 87871 87857 87855 87854 87856 76707 76849 75899 74580 75881 75898 76236 77173 76732 76867 76868 76593 77052 76259 76441 76617 76945 76946 77051 76618 77258 76731 77030 76921 77195 77194 77231 76417 77257 77232 76442 76260 77029 76592 76416 76920 83745 83742 83941 95106 81345 81344 95118 95122 95123 95124 95127 95125 95117 95121 95100 95102 95126 95099 95098 95119 95120 95101 75852 76013 75593 75594 75632 75630 75629 75592 75631 75851 75853 75856 75854 75855 75743 75590 75591 81424 75411 77090 76658 76771 77117 76656 77141 76842 77140 77086 76841 76633 76659 76745 77142 77088 76772 76843 76816 76839 76912 76910 77138 77221 76655 76657 77063 77089 77222 76911 76884 76773 77115 76770 77139 77087 76909 77065 76631 76818 76747 77220 76882 76840 76913 76769 77223 77224 70127 69914 70153 69799 70464 69824 69467 70236 69466 70075 69825 70152 70056 69648 69745 70258 70465 69800 69623 69938 70074 70237 69443 70401 69624 69727 70439 70128 69939 70402 69649 70438 69746 70259 70380 69009 69366 68130 69155 69568 68131 68871 68984 69389 69569 69260 69388 69174 69285 68896 68985 68895 69173 69546 69284 69154 68129 69010 77226 77225 74590 74822 74927 77131 77079 75730 75729 75728 75725 75727 74826 75733 75731 75768 75617 75732 75722 75724 75721 75734 75616 75939 75938 75583 74579 74578 74572 75553 75554 75549 75552 74938 75551 74935 74936 75548 74937 74940 74939 75550 74934 74598 74602 74926 75719 74825 75718 75769 75723 75937 81445 81444 81441 81437 81440 81442 81436 81443 81420 81438 81439 81430 81433 81429 81432 81431 81435 81427 81426 81434 88210 88211 88209 81415 81419 76240 76242 76255 77255 76257 76258 76256 76241 76243 77238 77256 90811 90812 76362 75689 75803 76053 75966 76181 75948 75688 76361 76077 75967 75664 76520 75778 75802 76078 76159 76182 74922 76339 76538 76539 90354 90353 88223 88220 88224 88219 88227 88225 88226 88222 88228 75777 75947 90804 88406 88186 88187 89816 89127 89815 89126 89993 88407 89994 89630 89629 90251 90169 90170 89327 76899 90043 89883 90066 90067 89859 90069 89884 89882 90068 90065 89885 89874 89875 90058 89861 90041 89886 77219 90064 89881 95110 95107 95113 95104 95103 95115 95116 95105 95108 95111 95109 95114 95112 81097 81079 87971 87972 81104 81110 81179 81094 81178 94680 94696 94690 94683 94665 87872 87897 87890 87887 87903 88036 88037 95014 95007 95009 95011 95008 88321 88325 88324 88331 88328 88330 88326 88329 88314 88332 88322 88320 88327 88318 88315 88317 88323 88319 88333 88334 88308 88309 88306 88305 88307 76479 76481 76300 76273 76298 76482 76299 76457 76483 76297 76480 76296 76455 81243 76275 76666 76671 76672 76781 76782 76780 76784 76783 76670 76668 76669 76786 77013 76982 76979 76983 76984 76985 76981 77097 81090 81091 81089 81092 77019 77103 77018 77102 81088 77100 77016 77099 77101 77017 77015 76785 77021 77022 76767 76768 76832 67473 67521 67522 76116 76001 76093 76119 76091 76002 75980 76115 76118 76005 76004 76117 76003 76108 76000 75994 76114 81087 77014 77098 77096 77007 77008 74837 74836 74835 74834 74832 76230 76044 76043 76229 74838 76306 76583 76667 74839 76584 76408 76407 76697 76489 76779 76698 76975 76974 74833 76980 77012 75628 75589 76011 75850 75741 76978 76665 75547 75978 77218 76908 77137 76838 76907 76762 77136 77085 77084 75541 74601 74915 74933 74916 74820 76125 75540 74821 74600 76295 76472 76289 76654 76478 76648 60840 60800 67524 67511 60731 60700 67493 67592 60718 60799 67508 60725 60715 74386 74301 74286 74317 74385 67520 67518 67593 74304 74311 88221 88216 88218 88215 88214 88313 81513 81514 81512 81418 81417 81416 81517 81519 81523 81518 81343 81342 81093 88316 88310 88311 88312 88157 90453 89845 90028 90204 89846 90203 90507 90454 90317 90531 90532 90318 90027 90179 90003 90178 90759 90124 90637 90002 90293 90638 90106 89822 90435 90616 90780 90781 90817 90615 88166 90818 90844 90843 90125 90506 88164 88165 88158 89983 89984 89987 89961 89959 89985 95242 95240 95241 89976 89982 89986 89947 89664 89389 89552 89484 89274 89767 89553 89363 89768 89250 89467 89364 89485 89925 89663 89534 88509 88508 89639 89745 89948 89533 89275 88510 89388 89930 89943 89929 89932 89945 89944 89931 89946 83411 83739 83661 84051 83410 84050 83988 83210 83524 83714 83966 83642 81373 84025 83209 83713 83987 83053 83029 83660 83738 83235 84024 83525 83845 83844 83234 83052 83880 83924 83908 83879 83872 83931 81371 81365 81372 83047 84048 83048 83050 83035 83051 84049 83034 83049 83033 83036 84031 83910 83331 83332 83313 83500 83822 83823 83386 83385 81715 82481 82482 81716 82691 82871 82457 82974 82846 82571 82975 83155 82692 81717 82741 82952 83132 82760 83154 82870 82595 82596 82674 82759 82740 82570 83046 88497 88464 81425 81423 81428 81422 81421 83881 83932 83935 83934 83856 83883 83933 83882 83675 83706 83703 83677 83858 83704 83705 83702 84017 84016 84015 84014 81615 81720 81383 83426 83449 83632 83633 83450 83538 83564 83424 83540 83611 83563 83566 83565 83451 83452 83609 83636 83562 83634 83448 83635 84013 83555 83561 83560 84019 84018 83692 81385 81384 83878 83929 83930 83877 83700 83701 81719 83441 83447 83440 83631 84012 84011 83625 83273 83274 83276 83248 83275 83250 83272 83068 83090 83091 83066 83092 83093 83089 83088 83265 83271 83082 83081 67780 67810 67814 69064 68951 68841 68952 68949 68954 68840 68052 68050 68051 68067 67737 67738 81915 68022 68020 67925 67924 68021 67860 67682 60889 67766 67765 67764 67767 49620 49504 49329 49506 49521 49505 49618 49330 49345 49633 49783 49782 49328 49798 49619 49781 67825 68023 54368 54343 54356 54353 54351 54361 54367 54340 54362 54350 54363 54359 54366 54358 54355 54344 54360 54365 54352 54342 54349 54341 54369 54354 54364 54348 54345 54346 54357 54347 34025 34033 34039 34030 34027 34040 34044 34048 34051 34052 34042 34043 34028 34038 34041 34026 34047 34023 34049 34034 34036 34046 34029 34024 34035 34031 34032 34050 34037 34045 133570 135465 134599 126790 126863 128423 128523 127057 121872 121997 121993 121996 127638 127999 126838 127072 128672 126776 135013 128404 134997 135214 135316 127073 127443 135215 133567 128669 126876 126877 134777 126840 128204 126825 108679 108650 121871 127343 128671 127330 135461 126791 127340 133633 126875 126774 134774 128205 121991 127342 127170 133568 128096 127177 128664 134790 127808 128665 135123 127806 121995 121981 121985 121994 128688 135502 126775 127823 127344 134616 134600 127180 135109 121980 121992 121986 135459 127061 126729 127807 135471 127442 134614 134889 128522 127328 126826 128668 127624 128402 128221 134903 127345 127984 128424 135315 127056 127457 127179 135014 133520 135012 135216 128098 133506 133631 128315 134891 127062 126864 126714 127329 128110 128330 127982 133569 134776 127639 127178 128109 135196 133584 126777 133619 127983 128422 126713 133632 127070 127168 128219 128678 127333 127334 127455 128111 135122 127625 135458 126725 127182 134601 133522 135464 134598 129466 135481 128329 127341 133507 134999 126728 135463 134998 127456 135108 128220 135195 127181 134890 128206 128670 133518 135110 133620 133585 126827 133618 127058 135121 128421 128317 127623 126862 127997 134904 127171 128425 127068 135197 127640 127822 128403 128316 133521 126839 134775 128728 127169 121982 128666 128524 128709 134615 122673 128097 87906 87907 61045 55032 67763 67762 48987 49009 88411 49945 49915 49916 49917 49893 49943 49966 49918 47650 47418 47755 49914 49891 53912 53917 53921 53918 53913 53915 53920 53919 53916 53914 49930 49931 47401 49967 49970 49830 49814 49815 49959 49969 49968 49799 50054 50051 50049 50050 48443 48483 48430 50048 48429 48442 48482 50052 50053 49710 49671 49727 49740 49712 49737 49670 49739 49644 49646 49738 49667 49668 49741 49907 49660 49906 49669 50047 49796 49977 49992 49632 49829 49797 49631 49828 49978 49979 49993 49994 47397 47398 49964 47754 49912 49735 49736 49913 50046 49666 49965 50084 50083 50066 47255 47254 49846 49847 49844 49845 49843 49841 49840 47431 47435 49849 47688 47433 49836 48388 49842 47673 48401 48400 47774 48399 49850 49835 47785 48387 47686 47773 47672 47786 47671 47687 47772 47670 48386 47787 47434 49678 49694 49693 49692 49690 49681 49691 49679 49680 49689 48481 48591 48580 49160 48978 48590 48578 48579 49161 48977 49344 49343 48492 48516 48517 48467 48428 48441 49519 48466 49520 48468 48776 48905 48631 49010 48906 48795 48881 54181 54180 54178 54183 88412 81085 81086 81084 81083 81082 28575 27015 68955 67773 67774 68953 69703 69697 70307 70304 69993 69991 69990 69989 69987 70189 70186 69877 69876 69702 69879 70223 70222 69878 69873 69699 70226 70221 70224 70225 70191 70192 70190 70306 70188 69992 69221 70220 69224 69219 69223 69222 69225 68803 67805 67809 67804 68802 69875 69701 69700 70219 70308 49085 49070 49083 49084 49071 49081 49082 49069 49068 49086 69343 69526 69524 69541 69525 70012 69999 69997 69998 70162 70161 70160 70177 68979 68977 68978 68942 68829 68944 68827 68828 68943 74651 74643 74652 74623 74625 74648 74627 74622 74645 74649 74644 74650 74647 74646 74624 74738 74742 74739 74744 74746 74740 74741 74743 74745 74722 74723 74748 74721 74719 74747 74720 74626 68033 68934 68935 68937 68932 68936 68928 68930 68929 68931 68962 68823 68824 68963 68971 68976 68975 68940 68939 68938 69072 69079 69071 69080 68941 68959 68809 68862 69229 69082 69081 69083 69070 69244 68974 69245 68957 68807 68973 68861 69069 67812 69068 68860 68808 68821 68822 69231 69883 67797 68029 68134 69885 69900 69898 69899 69884 67778 68972 68958 69230 69246 69709 69708 69707 69724 69344 69345 69358 68820 67813 69243 69234 69242 69235 54179 54182 54184 70214 70215 69148 68785 69147 68784 68783 69149 74292 74293 74295 74296 74298 74294 74297 70023 70048 70089 70049 70046 70050 70349 70345 70322 70348 70091 70295 70119 70346 74291 70106 69338 69336 69335 69515 69514 69516 69333 69339 69337 69518 69519 69517 69520 69334 69988 70039 70297 70286 70296 70294 70270 70293 70118 70120 70117 70116 70047 70429 70428 70427 70324 70347 70431 70430 70426 70338 70025 70272 67656 67598 69220 68797 68836 68838 68839 68837 69060 69059 68798 69062 69058 69063 68950 68801 68799 69061 68800 74290 74289 74300 74299 70309 70310 67798 67799 69144 69145 69146 67786 67785 67779 68143 68144 68145 68142 68146 68147 68141 68757 68755 68761 68756 68758 68760 68759 70305 70303 68032 68790 69698 70045 68970 68846 68845 68847 70229 70185 70228 68044 68041 68045 68046 68042 68043 69874 70187 70193 70209 70194 68040 70178 67800 67777 67776 70175 70176 68039 69872 68835 68948 69696 69790 68754 69332 69513 69218 68796 69057 69791 69986 68133 68926 68925 69722 68165 69357 68778 68151 68152 68767 68765 68164 70011 68780 69356 69540 68766 69723 68779 70010 68153 68166 69539 70156 70357 70356 68065 74283 69996 70371 70208 70207 74285 74284 70358 68066 70373 70372 70159 70355 70292 70114 70343 70115 70344 70291 70433 70432 74270 74269 74271 74268 68123 70425 70181 69905 69904 68747 68027 68028 70182 68140 69614 68748 69615 69251 69437 67808 69436 68122 67807 69250 24859 24843 16101 20263 20259 20199 13433 13432 25284 25178 25175 25448 25450 25447 25162 25276 25435 25167 25438 25445 25282 25439 25173 25163 25161 25174 25176 25275 25283 25446 25449 25274 24834 24830 25287 25177 25166 25286 25285 29120 29119 29464 29433 29432 29468 29434 29466 29465 29118 29121 29117 29115 29428 29467 29430 29462 29431 29429 28943 28944 28941 29546 28945 28942 28940 27016 29333 11688 11581 11701 11587 11860 11591 11861 11687 11696 11576 13283 13284 13264 13263 11853 11590 11863 11689 11847 11588 11577 11698 11699 11686 11700 11864 11852 11690 11580 11592 11859 11848 11862 11849 11697 27383 27388 27389 27387 27385 27386 29233 29232 29231 29234 29235 29229 28578 28760 28761 28758 28939 28580 28762 28756 28577 28759 40845 40835 40842 40820 40843 40838 40836 40839 40840 40844 40837 40819 40841 29548 29547 29549 29550 29545 29463 29461 29427 27040 27041 27042 48239 54252 27029 29479 29316 29681 29478 29317 29622 29680 29298 29369 29395 29501 29706 28969 29156 28685 28987 29180 29066 28709 29181 28988 29042 28708 28866 29041 28252 28251 28415 28526 28810 28416 28811 28788 28608 28630 28631 28527 43290 43291 40614 40607 40613 43273 27018 27019 42275 42290 42291 42293 42288 29424 29423 29457 29456 29470 29552 29551 29471 33537 33536 33538 33542 33541 33540 33539 33534 33535 29512 29220 29591 29580 29566 29528 29537 29538 29590 28850 28822 28846 28824 28848 28849 29671 28847 29292 29281 29287 29357 29356 29533 29534 29348 29667 29586 29585 27375 29358 27376 29589 29587 29108 29104 27271 29291 29289 29107 29514 27039 29359 29290 29331 29536 29668 29361 29672 29669 29288 29535 29265 29564 29588 29267 29218 29082 29222 29194 29221 29219 29196 29080 29106 29105 29673 29674 29362 29539 29670 47617 20382 20386 20381 20380 47638 47630 47632 47628 47637 47623 47626 47636 47613 47610 47631 47624 47611 47629 47612 47621 47634 47633 40895 40879 40880 40878 42877 43150 43175 43124 42945 42851 42552 42874 42875 43152 42536 42948 42946 43125 42537 43122 42947 42917 42878 42876 43098 40877 43173 15118 15595 15123 15279 42766 42574 42276 42292 42289 42277 42278 42767 42573 42555 42451 134996 133960 134417 133656 133962 133866 133700 133657 134123 128881 134888 133714 133668 133973 135107 134234 134136 134433 133864 134249 128769 134250 128778 134122 133701 133739 128785 134432 133974 128872 135194 128774 133699 134236 133753 133712 134418 133754 133655 133669 133849 133851 134415 128873 122362 128880 128773 133737 134138 134431 134121 133752 134416 128790 133738 128779 134235 133850 134137 133961 128786 128784 133670 133865 15481 15103 15455 15117 15105 15119 15120 15280 15456 15305 15569 25538 26196 24823 15570 15594 15099 15122 15121 15104 15106 15480 26079 25541 24827 25723 26193 26081 26083 25722 25543 26191 15304 25542 26194 26301 25539 24822 25540 25720 26082 25904 25906 25905 25721 26195 33295 32282 32006 32281 31703 32444 32462 32458 33451 26960 128772 128814 128806 128805 128797 128801 128865 128819 128736 128800 128813 128737 128794 128795 128798 128803 128799 128820 128804 128815 128864 128812 127998 127071 127069 128328 133583 127167 128775 134248 126792 127821 32447 32446 22797 22877 22426 22425 22568 22496 22538 22498 22794 22428 22742 22429 22744 22743 22796 22719 22745 22773 22427 22566 22746 27020 22567 22472 22771 22795 22798 22565 22495 22499 22569 22403 22497 32460 32935 32463 33028 33404 32646 32911 33643 33662 33642 33663 33661 33046 33453 33273 32796 26961 33452 31634 26962 26941 32445 26939 31628 32543 32363 26964 32461 26963 31702 32152 26957 32085 32724 32742 26965 33131 32464 32565 32102 32171 32743 26956 32566 32257 31701 26959 32386 31635 33383 32821 32440 32797 31982 25931 32621 33454 33157 40829 40825 40832 40833 40830 40831 40826 40834 40828 40525 40554 40547 40548 40553 40551 40527 40549 40552 40550 25950 24910 25570 25214 25309 25949 25310 25488 25489 25377 25593 32620 25592 25292 25213 25773 24908 32645 33132 33427 33274 33428 32936 32822 33047 33156 33405 31621 32385 32007 74729 74728 74731 74732 74733 74737 74727 74736 74735 74734 68049 81194 81213 81212 81193 81214 81311 81310 81312 81299 81298 25189 25750 25378 53200 53315 53201 54021 54041 53176 53535 53025 52842 53511 53762 53000 53833 53674 53783 53314 53807 53675 54416 54403 54404 54418 54415 54421 54407 54420 54429 54414 54406 54419 54413 40741 40738 40740 40742 40736 40734 40739 40744 40743 40737 40748 40735 40731 19410 19409 19627 19629 19408 19423 19533 19516 19642 19628 19517 19119 18951 19120 19640 19294 18769 19422 19134 18189 18026 18175 19118 19135 19532 19309 18935 19310 18950 18952 19295 18025 18756 18139 18152 18151 18138 18754 19531 18936 18188 18768 18937 20131 20175 19496 18914 18050 19474 19274 19791 19607 19897 19610 19097 19790 19363 19902 19606 18915 19251 19901 19898 19609 19677 19788 19277 19098 19764 19389 19387 19276 19073 19679 19680 19676 19249 19275 19390 19494 18918 19653 19100 18916 19388 19900 19273 19499 19582 19391 19608 19899 18917 19655 19669 19678 18120 19075 19495 19101 19766 19099 18891 19789 19584 19365 19472 19090 20170 20148 20172 20171 20146 19895 19488 19780 19599 19735 19715 19716 19266 19095 19380 19096 18104 18103 19734 19733 18906 18907 19605 18119 19386 19786 19674 19894 19385 19272 19604 19785 19271 19675 19714 19787 19133 18755 19497 19498 20174 18893 18176 19296 40746 19641 19518 19311 18913 18066 43050 43051 43048 43052 43054 43053 28204 28215 28213 28205 28325 28313 28051 27052 28320 28103 28312 27056 28311 28324 28063 28322 28323 28321 28050 28064 28214 135317 134237 135457 134791 135462 133975 128788 128787 121976 128789 126727 133713 134902 134792 31633 27395 27406 28007 28022 27407 28009 28021 28008 27393 27394 27408 28020 28487 28471 28477 28486 28472 28483 28488 28485 28476 28484 28473 32228 32241 32243 32231 31971 32238 32080 32067 32065 31960 32076 32068 32075 31969 32069 32226 32066 32239 32227 32079 31959 32232 31970 32078 31968 32240 32077 32242 40749 40728 40723 40725 40727 40726 40724 40732 40722 32103 29370 33296 32170 40733 25359 25464 40729 40730 32459 40745 47635 47609 54410 54402 54424 52843 54408 53832 54411 54427 54425 52014 54430 47622 47618 47625 54022 54042 54040 54743 54428 53121 53024 53536 53425 53426 53653 54431 54409 54422 54423 54412 53784 53103 47627 54405 47619 52819 53290 53407 54417 54426 53122 53806 25772 20173 86587 86570 86585 86571 86572 86586 86315 86314 86424 86313 86423 86409 86410 86411 86422 86300 86299 86298 81509 81477 87239 86699 86685 86684 87224 86686 87050 87048 87240 87226 87241 86867 87049 86882 87225 86866 86034 86018 86019 86017 87572 87339 87559 87558 87446 87463 87448 87462 87352 87571 87351 87570 87461 87338 87557 87353 87340 87646 87663 87664 87665 87644 87645 86082 86069 87064 86067 86081 87063 86880 86105 86698 86881 86104 86106 86118 86119 86117 86080 86068 85955 85956 86033 86032 81508 86865 85971 85967 86016 85970 85969 86148 86149 86150 86162 86201 86161 86203 86202 86163 86188 86186 86187 81227 81228 81223 81233 81222 81234 81224 81238 81235 81236 81237 81239 81114 81113 81264 81263 81255 81253 81261 81248 81250 81259 81257 81254 81262 81260 81258 81249 81218 87667 87765 87666 87764 87766 126676 126675 126673 126671 126524 126525 128849 122671 125739 124939 125738 124962 124825 124877 124814 124828 124813 124827 125157 126652 126656 126638 126649 126650 126631 126655 126651 126654 126644 126653 126626 126613 126677 126672 126625 126617 126669 126619 126618 126610 128827 128847 124890 126612 125908 125006 126657 126658 126632 126623 126521 126198 126210 126306 126416 126211 124963 126196 126428 126320 126197 126523 126305 126084 125171 124938 126098 126097 126099 126083 125921 124977 124964 124927 125555 126082 125021 126682 126670 126680 125007 124892 125443 125280 125429 124876 125019 124875 125428 125281 125922 125544 125268 124926 126503 126504 126502 126417 125444 125542 125282 124975 126522 124976 126415 125907 126319 126209 126321 126304 126430 125543 125172 125430 125173 125725 125923 125060 125061 125059 125723 124829 125556 126527 126526 126662 126691 126692 121983 126622 125740 126621 126683 126659 126611 125557 126620 126664 126681 126679 128757 126641 126640 128763 128762 128748 128749 128758 128761 128760 126429 125267 125020 125008 125445 125724 125269 125906 81119 87913 81117 87914 81137 87930 87908 87910 81177 81121 87920 87951 81115 87911 87912 81127 81158 87970 81120 81118 81386 86697 87065 87447 80272 80074 80255 80089 79893 80072 80256 79226 79225 79178 79174 79794 79618 79522 80447 79520 79792 79629 79793 80446 80073 79521 80432 79906 79891 79892 79777 80448 79241 80257 79224 80433 79631 79779 80431 79630 75122 79778 88708 88021 88032 88029 88020 88030 88031 88028 88017 88015 88302 88301 88270 88016 88027 88026 128765 128862 128861 126678 126684 128759 126663 125158 124940 124891 125156 124925 109087 108386 108365 108385 108366 115563 115565 115556 115566 115549 115567 115562 115568 115543 115561 115560 115542 115554 115551 115559 115553 115558 115552 115548 115555 115564 115557 119999 120167 120113 119981 120388 120386 120277 121029 120385 120649 121030 115473 115474 115442 115570 115183 115880 119983 120070 120126 120046 120083 120128 120032 119982 120153 120662 120536 120166 120831 120663 120537 120269 120276 120278 121028 120378 120376 120384 120374 120846 120280 120540 120375 121014 120268 120664 120845 120389 120275 120651 120151 120082 120168 120264 120551 120541 121013 120550 120832 120377 120548 120547 120265 120830 120279 121015 120152 120071 119984 115202 115188 119935 115198 119921 115193 115192 115200 120127 120263 120552 120650 120387 120535 120549 119920 115201 119932 115187 119936 119934 115199 115203 115189 115204 120033 120114 120047 119998 120084 120115 119997 120034 120069 121303 121413 121304 121428 121426 121412 121190 121427 121318 121628 121629 115078 121632 121731 121205 121535 121537 121522 121536 121610 121524 121523 121305 121204 121316 121411 121191 121189 121317 121206 126117 126119 124831 125926 124832 126131 124830 126138 124823 125271 126248 126120 126137 126249 126132 126134 125944 124834 124833 126135 126609 126088 126475 126359 126087 126497 126334 126095 126094 126096 125270 125279 126136 125442 126230 125277 124836 125440 125441 125433 126118 121979 124835 126113 101888 101856 101887 101615 106803 106954 106950 106802 101614 101617 106962 106955 106961 101618 106792 106791 101607 101606 106951 106966 101616 106964 106963 106801 106949 108674 108670 108672 108671 108675 108677 108673 108678 108676 108655 108652 108651 108653 101984 101983 101952 126133 125945 126333 126358 125434 126608 124837 125278 125169 125170 125168 122267 122235 122340 122356 122349 122345 122344 122346 122350 122336 122341 122342 122347 122348 122357 122359 122361 122353 122355 122351 122358 122352 122354 122332 122343 122334 122339 122333 122338 122337 122360 122335 115158 115159 115178 115179 114544 114161 114562 113956 114673 114563 114313 113979 114162 114648 114970 114921 114427 114259 113980 114899 114790 114337 113151 114812 114943 114240 114672 114451 114920 114811 114338 114944 114969 114452 114137 115177 126498 125162 125161 128768 125044 125045 128746 121730 121630 121631 121609 115079 121611 115538 121729 115569 122363 126959 126945 126944 126908 126907 126919 122331 126961 126921 126960 126906 126920 126946 129143 129151 129135 129128 129147 129145 129144 129150 129138 129141 129148 129137 129149 129146 129134 129142 129139 129140 129152 129133 129129 129131 129154 129136 129127 129126 129153 129155 129156 129132 129125 129124 129130 120045 120847 126624 127444 126587 125046 128747 126476 135521 122266 128745 114258 80172 81004 80372 80956 80294 80275 80846 80196 80707 80014 80708 80978 80955 80462 80934 80683 80487 80348 80486 80373 81005 80979 80579 80197 80598 80015 80293 80597 79991 80847 80825 79186 74440 74441 74431 74429 60936 61230 28600 29404 28767 28212 29403 28949 29126 28768 29419 28211 28951 28964 27055 28585 29125 29240 29141 28783 28598 29418 28200 29127 29140 29241 28766 28201 28587 29417 28599 29402 28950 28781 29239 28586 29254 29142 28966 28965 28199 27054 28782 27081 27095 27089 27098 27093 27091 27090 27094 27082 27099 27083 27085 27092 27096 27086 27100 27087 27088 27097 29394 28104 29360 28216 27371 28310 27373 28314 28865 28891 29643 29707 29644 29067 29675 28890 29500 27372 28579 27384 28581 61163 61228 61227 43049 40642 43047 40638 40602 46742 46232 46882 40601 46497 46743 46026 46860 46990 46633 46632 47040 46522 45221 46383 46231 46614 47039 47014 46049 46050 46881 46521 46407 46408 47013 46969 46991 63298 74442 74434 74430 74435 74445 74444 74446 74443 68329 63367 63313 63502 63326 63325 63503 63504 63477 63323 63324 63501 63296 63327 63500 56634 56635 56636 56638 56639 56637 55363 55365 55366 55367 55637 55216 55254 55636 55255 55369 55368 55633 55635 55639 54194 55217 55638 54187 55478 54188 63257 63256 63253 63254 63230 63255 56719 56722 56721 56724 56723 56718 56717 56640 56720 55198 55241 55358 55392 55357 55243 55393 55356 55242 55199 55562 55563 56633 54176 54177 54172 54170 54173 54174 54171 54175 63531 63553 63555 63552 63554 63556 63529 63479 61236 61341 63232 61004 63634 63636 63635 63545 63563 63184 63069 63183 63070 63047 63185 63045 63071 63073 63187 63186 60854 63493 58989 60166 60291 60387 59708 58909 60472 58861 59876 59132 59399 59239 63206 63205 63219 63204 63245 63246 63638 63637 63159 63161 88397 88366 88398 88104 88103 88105 88092 88091 81582 63633 61256 63107 63106 61258 61259 61274 61257 61021 61017 63105 63639 63640 74716 74684 81596 81593 81584 81594 81578 81592 81583 81590 81577 81603 81601 81602 81589 81588 81600 81595 81587 81597 81598 81599 81586 81591 60980 67838 61825 60956 60957 60181 58976 60274 59014 58990 59238 58978 59893 60492 58932 58908 60400 58846 58977 59525 60168 58896 54065 54063 54055 60473 58991 58934 58897 60180 59400 59251 58946 60167 58895 60385 60069 60275 60855 60493 59249 59413 59241 58795 60052 59031 60491 60290 58847 59892 58845 60179 60398 60054 60399 60859 60849 60386 59891 58910 59709 59237 60848 59016 60474 58945 58862 60068 60815 60814 60843 60276 59415 59143 59142 47544 47512 47543 59131 61536 60856 60858 60860 60857 54056 54067 61099 54064 54337 54305 54066 59240 54336 58947 60289 60067 60845 59398 59410 59140 59250 59252 59248 59141 58799 59403 59029 60835 60834 59412 59411 59526 60844 58860 60053 58933 59030 59015 60594 60593 59404 59414 59247 61130 61129 61098 65919 66191 65924 65931 66203 66197 65933 65925 66034 66041 66042 66033 66196 66204 66205 65932 66040 66032 65591 65920 65809 66031 65823 66193 66043 66044 65936 65592 65921 65588 66045 65935 66206 66207 65824 65934 66208 65822 66192 66030 65590 79223 74715 88394 88395 88396 88388 88380 88379 88376 88386 88370 88387 88393 88384 88383 88385 88381 88390 88377 80560 80546 80547 80545 81478 79368 79357 79369 79356 79409 79408 79410 79355 79370 79617 79616 80559 79240 80558 79239 79313 79275 80271 79274 79289 79288 79287 79276 80270 80088 80087 79325 79326 79312 79324 79311 81507 88287 88300 88293 88298 88292 88296 88290 88286 88282 88294 88291 88284 88295 88281 88297 88289 88299 88285 88288 80764 80853 80655 80851 80654 80852 80779 80872 80653 80670 80766 80765 79505 79506 79507 80973 80971 88271 88275 88276 79904 80870 80777 80778 79905 80669 80871 80668 79162 79163 79176 79395 79393 79177 79394 80873 80874 74321 74320 80972 67607 67628 67608 67627 65600 81283 81307 81285 81306 81301 81304 81308 81300 81305 81309 81303 81210 81196 81211 81198 81209 81195 88392 88389 88391 88371 88382 88374 88367 88378 88368 88369 88373 88372 88375 81576 81575 81574 63385 81585 81580 81581 88006 87987 88007 87986 81579 74631 68618 88005 74633 74638 74637 74636 74640 74639 74634 74632 74641 74642 74730 74726 74724 74725 74629 74630 74635 74628 74780 74812 74811 76399 76373 76400 76375 76397 67956 67927 67955 67926 67952 67946 67949 67953 67951 67950 67948 67947 67945 67929 67954 67930 67928 68011 68001 67998 68016 67999 68000 68004 68010 67992 68006 68017 67997 68005 67994 67988 68015 68007 68012 68008 68014 67991 68002 68013 67995 68009 67989 67990 68003 67993 67996 74808 74810 74809 74784 74781 74792 74790 74798 74802 74796 74807 74791 74797 74795 74806 74805 74804 74794 74801 74789 74799 74800 74793 74803 74785 74787 74786 74788 74782 74783 65599 65593 65586 65598 67892 65577 65576 80682 80171 80347 80824 61016 61012 61011 79510 79511 79519 79791 79619 79627 79620 79789 79782 79790 79628 79783 79626 74518 74516 74511 74519 74510 74513 74514 74517 74512 74490 74515 74492 74507 74508 79172 74421 81032 81034 80525 80746 80928 80624 80792 80527 81038 81039 80926 80744 80609 80747 80927 80611 80790 80526 80516 79257 80634 80901 80719 81037 80500 81024 80805 80517 80814 80925 80635 80502 80917 80524 80528 80736 80815 80625 80806 80903 81035 80632 80813 80523 80916 80924 80817 80735 80721 80522 80636 80745 80743 79203 80816 80633 81036 79187 81033 80414 80388 80402 80413 80411 80410 80403 80412 80386 74401 74419 74420 74400 67650 67642 65639 65640 65655 66488 66305 65638 65739 66306 65726 66503 66686 65782 65783 67651 65784 66307 67653 67641 67652 67649 65725 66685 65653 65701 65688 65702 79518 79517 79184 79179 79185 80011 81002 79998 81003 80012 80985 80009 80008 80013 79996 80010 79995 79997 74506 74505 79189 79188 87372 87280 87255 87165 87797 86808 87727 87639 87501 87749 87390 87391 87500 87476 87771 86989 86807 87141 87140 85979 87748 86990 87618 86965 87617 87166 87640 87798 87279 86784 87772 86964 87475 85965 65601 65617 65637 66320 66487 66670 66671 66486 66669 65654 65740 66684 66502 65727 66319 66318 65738 65690 65689 66501 65703 66861 66974 67178 67192 67265 67266 67285 67067 66973 66972 67084 67193 67069 67286 66959 66847 65770 65769 65771 66845 67179 66860 66961 66960 67284 67082 65808 67267 65807 67191 66846 66862 67180 67083 67068 76390 76396 76398 76401 76345 76359 76358 76357 76344 76343 76360 76346 75839 75844 75842 75843 75816 75841 75840 81488 81504 81497 81501 81496 81489 81492 81493 81482 81500 81491 81503 81502 81483 81505 81498 81495 81499 81506 81494 67761 67756 67760 67758 67757 67759 66876 66707 67122 67011 66787 66429 67012 66900 67348 67369 67370 67261 66762 67260 66786 66611 67419 66586 67392 67121 66610 67097 67239 66428 66901 66708 66405 66689 66993 67418 67393 72381 72385 72384 72383 66761 67238 66585 67096 67416 67417 67399 54048 54047 67386 67385 67387 67626 67288 60735 60734 67287 73222 73786 73403 73501 74141 74053 73915 73579 73669 73914 73500 73482 74163 73805 73404 73198 73379 73890 73555 74032 74162 74212 73221 74211 72393 73693 74186 74185 73694 73804 74054 73580 61194 61226 72430 68019 67987 68018 81487 61225 67647 67648 67636 67637 72370 67638 72369 73477 73639 72531 72481 73294 73973 73862 73638 73295 72496 72433 73653 73875 73281 72432 74058 74059 73765 73462 72518 73464 73279 74079 73463 73296 72532 73861 73877 73767 72483 73640 73655 72482 73753 73654 72495 73971 73112 73479 73985 72446 73986 73876 74077 74078 73972 73984 74060 72448 73111 72494 72431 72520 72447 73752 72519 73113 73754 72533 73766 73478 73860 73280 69952 69979 69976 69978 69974 69975 69977 69980 69504 69662 69503 69482 69687 69689 69664 69505 69507 69506 69480 69686 69690 69688 69866 69838 69864 69954 69840 69865 69862 69863 59138 58798 54062 58797 54050 59127 60494 53942 53941 58784 59693 54061 59512 59139 59695 59694 59878 59513 59710 54051 60495 59514 59126 58783 59128 54052 60592 59877 58844 54437 59527 66409 66424 66427 66426 66410 66425 66411 66422 66423 66412 73889 73378 73554 74031 60987 54433 54401 54432 61223 61224 61218 61219 61209 61211 61221 61214 61220 61217 61199 61215 61216 61207 61210 61204 61213 61198 61212 61205 61208 61222 54128 54138 54129 54113 54139 54133 54136 54134 54135 54137 73219 73202 73205 72379 73203 72386 74209 73204 73216 73218 72392 73217 72391 73215 74210 58807 58808 58806 58793 58800 58805 58810 58809 58824 74192 74611 54111 54131 54140 54132 73220 74610 76573 76195 76550 76222 76575 76197 76219 76576 76221 62657 62669 62655 62670 62672 62668 62656 62654 62671 54192 55496 55388 55497 55495 55386 55484 54224 54228 55387 49597 49461 49486 49599 42352 42354 42369 42353 60446 59969 59612 59994 60108 59818 60577 60304 60599 60083 59635 60200 60445 60303 59968 59792 49575 49483 53175 49487 49573 49601 49590 53652 49476 49459 49484 49475 49598 49485 49600 55348 55343 54447 54446 55350 54443 54211 55346 54547 55349 55344 55345 55351 55342 54548 54193 55502 55520 54200 54201 55519 54199 55880 55568 56160 56141 55423 56062 55960 56328 55982 55587 55424 55569 55983 55674 56239 56488 56794 56878 56672 56879 56566 56853 56673 56489 56542 56852 56567 56651 55398 56238 56038 56214 55698 56063 55399 56353 55857 55588 56159 56352 56816 56650 56815 55699 56037 55309 55285 55802 54545 55780 56213 55310 54543 55803 56541 56470 55881 54544 63510 63514 63511 63512 67503 67501 63435 60981 63513 63436 63517 63515 67502 63516 42727 42840 42827 42712 42825 42726 42535 42990 43005 42728 42989 42711 42713 42988 42826 76218 75931 75582 75702 75818 75930 76220 76566 76572 75911 76552 75704 74589 75934 75933 75726 75932 75935 76223 76212 76574 75924 76577 56642 56643 69450 69448 70462 69463 69465 69464 69449 69447 70463 70445 56628 56629 55928 55930 56291 56604 56606 56602 56293 54556 55174 60706 55169 55172 54559 56287 55750 56605 54557 56600 55934 55171 54560 55173 54561 55175 55749 56292 56115 56603 56289 56117 60711 60712 60708 60709 60707 60710 56116 55933 55751 54218 54558 54555 55170 55752 54219 55932 56113 55753 54223 56290 55748 56114 55931 56111 56599 55929 56112 56601 55747 60714 60713 60705 56404 56403 56406 56405 56407 56401 56402 55212 55253 55364 55250 54458 55214 54455 54454 54459 55476 55251 55472 55473 54457 55634 55474 55475 54456 55211 55252 56288 55215 54460 55477 55213 55471 55746 55210 55632 55362 69462 55236 55222 55221 55234 54226 54227 55235 55223 54191 54190 62015 62028 62016 62068 62029 62069 69969 62067 62014 62027 69855 69496 69679 69685 69502 69861 63428 63431 63430 63426 63433 63432 63429 63427 63090 63176 63072 60933 67939 67938 67940 67941 67935 67944 67936 67942 67943 67934 67931 67932 67933 67937 63182 63181 62895 62897 62894 62712 62869 62713 62711 62871 62710 62687 62714 62893 62896 62689 49225 49201 49229 49228 49226 49203 49227 49218 67499 67500 67504 67505 62361 62191 63384 63401 63416 63368 63400 63369 63091 62748 63092 62915 62931 62914 62916 62551 62288 62565 62552 62276 62179 62290 62436 62438 62437 62451 62452 62453 62181 62277 62180 62275 62449 62450 62178 62278 62287 62448 62285 62279 62442 62731 62733 62732 62289 62550 62441 62286 62169 62170 61020 67491 67492 67478 61986 61987 62930 62929 62746 61272 63578 63414 61273 61360 63564 61371 61373 63218 63383 62747 61372 61985 61358 63217 63580 63415 63579 63382 61972 61974 61973 61359 63565 61019 67490 67477 62166 62165 62054 67476 62052 62563 62053 62564 67497 67498 67496 67506 67507 62164 67475 63422 63421 61058 61057 61040 61056 61052 61062 61063 61059 61055 61050 61048 61054 61051 61065 61060 61041 61064 61036 61061 61066 61053 61047 62814 62812 62815 62787 62789 62811 62813 62772 62774 62771 62760 62757 62773 62759 62758 61005 61006 62177 67856 67855 67847 67839 67841 67851 67854 67853 67852 67850 67845 67848 67858 67834 67849 67859 67857 67840 67844 67846 67843 67829 67830 67836 67831 67842 67837 67832 67835 67833 63252 63321 62804 62810 63499 63498 63550 63322 63551 63068 62176 63062 63061 61340 63631 61339 63632 62886 63397 63394 63396 63398 63392 63395 63399 63393 62709 63199 63198 63197 63193 63388 63389 63200 63112 63111 62703 62892 62702 62667 63195 63196 63194 56596 56595 54453 56110 55168 56286 55927 54554 54466 54566 55664 60704 56318 60703 54537 54536 54465 55162 55181 56029 54578 54567 54480 54441 54565 55179 56319 55193 54580 54221 56205 55192 55249 54464 55851 56204 55194 54442 56400 54481 55665 54579 55850 55180 56028 54479 55161 54222 55483 55276 55482 55274 55275 56393 56761 56391 56277 56738 56503 56700 56752 56520 56709 56366 56711 56710 56760 56252 56462 56686 56437 56394 56840 56841 56843 56845 56844 56842 56461 56460 56368 56439 56763 56531 56392 56464 56505 56390 56534 56762 56276 56532 56708 56736 56684 56530 56254 56280 56463 56759 56278 56707 56533 56279 55921 56102 56076 55896 55917 56104 55918 56100 55894 56078 55920 56101 56103 55910 63080 62907 62909 62906 62910 62908 62904 62542 62543 62545 62725 62727 62721 62723 62726 62546 62724 62544 62540 61249 61248 61251 61252 61253 61250 63082 63083 63084 63086 63085 62905 61349 61352 61353 61350 61348 61014 62997 62998 61015 63081 61347 62428 62429 62430 62271 62426 62431 62432 62159 62160 62158 62267 62268 62161 62270 62265 62162 62269 62156 62541 62722 61246 61965 61968 61964 61963 61967 61966 61962 61961 62355 62356 62185 62186 62425 62010 62157 62048 62155 61025 62035 62036 62539 62008 62004 62903 62151 63079 62047 62045 61991 62644 62643 62458 62042 62009 62720 62150 62046 62266 62044 62822 62457 62043 62007 61992 62006 62821 62264 62003 62427 62005 61235 61329 61330 61955 61247 61234 61351 61354 61954 54463 56389 56388 56453 56846 56847 61024 60329 60468 59915 60328 59793 59914 59636 60555 59817 60626 60576 60467 60625 60107 60600 59896 60218 60219 59993 56576 56574 56575 56591 56314 56312 56313 61141 61133 61139 61140 61138 61134 61135 61144 56839 56412 56411 56426 56413 56623 56608 56607 56589 56590 56622 56425 56424 56621 56592 56297 56299 56298 56876 56859 49188 49187 49186 49185 49174 49173 49171 49172 49482 49595 49596 49224 55955 55938 55940 56123 56121 56122 55939 56138 55772 55953 55954 55770 56137 56136 55771 56877 55879 55878 55877 55863 55861 55864 55862 55876 49126 49124 49101 49310 49127 49128 49125 49308 49307 49300 49311 49309 49283 49285 56093 55645 55660 55658 55644 55659 55643 56383 56269 55757 55759 56022 55996 56018 56020 56019 56021 55994 54213 55204 54212 49103 49116 49117 49123 55485 55493 55486 55494 55377 55376 55385 55492 55354 55355 55561 55389 55559 55237 55197 55238 55391 55352 55560 55353 55558 55390 55657 55649 55648 55655 55656 55259 55260 55261 61046 54263 54247 54268 54254 54255 54273 54270 54259 54258 54272 54253 54261 54257 54260 54243 54266 54262 54269 54264 54271 54267 54248 54265 56011 56529 56758 56705 56757 55340 56528 55373 55372 55371 56706 56459 55339 56275 56017 55383 55384 49306 53906 53905 53904 53889 53890 53892 53891 54245 54250 54249 54244 54251 54246 54256 55980 55981 55967 55979 55966 55965 55964 55978 60697 56771 56770 60699 56786 60685 60698 56785 56772 56787 60684 60683 60682 43022 43021 43006 42866 42867 49811 49813 40959 40958 40426 42368 42367 41648 41637 40994 41635 40640 40981 40894 40979 42551 40641 40993 40893 40992 40980 42550 41650 41636 41649 43035 43201 43200 43184 47099 47113 41674 47098 41690 47097 47096 41673 43036 43004 43186 43199 41675 47112 43003 42839 42838 41689 41688 47111 43185 43042 43043 42666 42690 42691 42692 42693 42683 42694 42804 42780 42806 42797 42808 42796 42807 42782 42668 43119 43171 43172 42943 43123 42942 42805 43174 42944 43121 43120 42873 42919 42803 43114 43113 42933 43100 42853 42934 40961 40857 40962 42802 40625 43177 43166 43176 43260 43259 43256 43257 43258 43254 43261 43253 43255 42515 42507 42517 42516 42518 42490 42514 42492 42333 42332 42324 42334 42323 42335 42308 42331 42310 40349 40350 49808 49812 49807 49810 49806 49809 43137 43134 43132 43133 43136 43135 26954 42682 43165 42506 42689 42330 42513 61042 61039 61038 61043 61037 61044 61049 31622 42899 42901 42886 42898 42897 42900 42888 42885 42887 42896 40827 40818 40816 40822 40817 40824 40823 40821 33434 32457 40721 40747 40720 33780 33784 34058 40088 39821 40176 39233 39414 39590 39439 39950 39517 39839 39614 39536 40198 39728 40220 39729 40247 39615 40067 39535 40197 40089 39257 40221 39704 39840 39438 39949 38428 40246 39925 40066 43056 43057 43138 43131 33717 33757 33756 33734 33760 33761 33732 33759 33758 39589 39256 35908 35914 35910 35913 35912 35911 36024 35737 35735 36022 36026 36025 35736 35734 35738 34177 34176 34179 34178 34181 34180 34182 35732 35372 35371 35549 35551 35553 35552 35373 35369 35374 35370 35554 35555 34795 21899 33755 34794 33754 34793 34791 34790 34796 34792 21914 21913 21897 33849 33845 34086 34087 34085 35935 34102 36033 36047 36034 36032 33808 35733 33782 36151 36381 36466 36307 36060 36152 35987 36083 35899 35900 36154 36463 36383 35897 36126 36380 35873 36382 36357 36467 36384 36468 36153 36331 36329 35898 36328 36082 36028 36027 36196 36197 36212 36195 35550 36465 36012 35875 36081 36011 36330 36014 36305 33809 36343 36344 36345 40334 40332 40335 40333 40330 40331 36359 36339 36341 36342 36464 36010 36124 36058 35989 36013 36084 36085 36015 35901 36340 33844 33839 33840 36224 36226 36258 36227 36225 36223 36255 36221 36261 36259 36260 36257 36256 34077 35909 34081 34080 34076 34079 34078 34075 36462 36461 36460 36009 36155 36332 36074 34169 33832 34064 36373 36338 33083 33084 33168 32975 33193 32976 33239 33081 33194 33263 33265 32977 32949 33196 33058 33373 33082 33192 33350 32973 32974 33170 33264 33352 33195 33266 33085 33262 32861 32863 32862 32835 33060 32951 31652 31706 32859 33241 32860 33119 33102 33103 33104 31616 31615 32837 31636 31620 33375 33376 33487 33483 33484 33488 33485 33377 33374 33486 33184 33185 33254 33255 21912 21898 21910 21911 21896 33690 33689 35934 35933 33811 34101 33848 33847 33812 34100 34802 34187 34199 34186 34815 34814 34200 34801 34188 34800 32705 32341 32522 32340 32521 32538 32965 32966 32704 32355 32523 32342 32706 32721 36141 36321 36320 35919 35918 35920 35744 35742 35743 34084 35279 35281 35265 35264 35280 35276 35277 35278 33747 33748 35559 35576 35378 35560 35393 35379 35561 35106 35118 35107 35114 35113 34997 35269 35270 35006 35115 35007 35008 35117 36045 36046 36244 36228 36229 36213 35757 35758 35103 36392 36391 36393 36406 36407 36408 34843 34897 34857 34844 34896 34895 33668 33669 35392 35004 35575 40304 35574 40319 35391 35005 36210 34882 36242 40320 34994 34881 36243 36211 40306 40318 34993 40305 35009 35759 35104 35105 40303 34201 34992 34998 34813 34856 34842 34855 35116 35380 35266 3086 3076 3084 3138 1974 3142 3147 13591 3073 3081 1977 3091 3080 3139 3153 3150 3090 3152 3082 3074 3146 13592 3144 3078 3141 3077 3088 3079 3089 3145 3151 13610 1975 3149 3072 3143 3136 3087 3085 13590 3140 3135 3083 3148 3134 1976 29216 29217 36023 32851 32852 33118 33117 33482 28795 28808 28809 28806 28807 28792 28793 28396 28227 28397 28226 28501 28502 28845 28062 28049 28088 28087 28102 29103 29096 29097 28839 28089 28794 29211 36254 40327 40328 33864 21781 21782 21962 20489 22323 22435 26742 26741 27021 29704 27028 29705 27027 27101 22894 34074 35907 35731 36222 35826 35825 36220 36021 35368 35367 40326 36149 33843 36150 33842 36326 36378 36327 36379 36080 29687 40329 34168 35940 35472 35649 35939 35650 35285 35471 35548 35286 36249 36263 36264 36250 36217 36216 35515 35697 35538 35699 35542 35724 35725 35723 35541 35517 35722 35540 35721 35539 34783 34789 34175 34062 34158 34063 34157 34782 20104 20103 21229 20615 20600 21228 21215 20613 20602 21216 20614 21227 20601 21214 27293 27292 29435 27309 27291 29436 29420 29451 27294 21693 21695 21694 21679 21691 21680 21692 21531 21530 21532 21690 21678 21990 22446 22642 21794 22448 22156 21793 21989 21807 22447 21988 22157 22173 22172 22333 22158 22610 21974 22658 21975 22611 22609 22626 22349 22332 22643 22334 22171 21973 22461 21792 21423 21527 21419 21528 21421 21519 21529 21408 21422 21407 21420 20516 20499 20501 20515 20500 22657 22347 22624 20262 21517 20226 20225 22459 20261 21518 22625 21406 22627 22460 22656 21805 22348 21806 21418 20514 20498 21684 21521 21683 21412 21520 21411 21909 15162 15518 15344 15160 15632 15522 15343 15163 15136 15496 15520 15342 15346 15633 15320 15519 15610 15138 15161 15494 15159 15521 15635 15318 15634 15608 15636 15345 28705 28689 28706 28707 28690 28704 28691 28703 28692 29253 29252 27307 27308 29450 29598 29449 29615 29599 29613 29600 29614 20484 20485 15540 15541 15539 15556 33686 33685 33688 33687 21708 21603 21709 16083 21433 21434 20487 20486 22540 22878 20478 20246 20583 22721 22474 22488 22494 22555 22876 22792 22741 22564 22563 22787 22735 22793 22740 26743 20476 22353 21886 20572 22240 22354 20589 22321 21196 21700 21197 20582 20256 21699 21203 20257 22063 20571 22239 20477 22064 21885 22634 22145 22517 26740 27022 28003 28001 28002 28000 27997 27999 27998 22287 22880 22879 22401 22313 22315 22310 22289 22881 22311 22314 22312 22882 22304 35044 35603 35045 34166 35401 35209 35604 35140 34164 35424 35141 35320 35581 34165 35423 35208 35020 35019 35190 35123 35319 35295 35189 38494 39179 39156 39178 38495 38496 28302 28193 28196 28300 28194 28306 28305 28303 28304 28465 28463 28467 28461 28464 28466 28195 28191 28197 35642 35615 35643 35641 35640 35639 35617 27282 29230 27284 27285 27286 27283 29116 27287 27288 28757 29033 29032 35599 35588 35586 35602 35585 35601 35587 35600 28574 28938 29228 29114 27281 28755 28856 28679 27270 28678 27990 29146 28492 27050 27989 28493 27364 27365 29147 28857 27269 27049 27996 27382 39359 39358 39074 38799 39336 38964 39050 39075 38895 38963 38878 38896 38800 39924 39413 38945 38775 33526 33513 33525 33512 33527 33511 33510 32685 32686 32684 32500 32479 32683 32501 32499 32477 32661 32503 32504 32687 32502 32659 33896 33925 33924 39025 39035 38762 38858 38764 38861 38761 38868 38752 38753 39034 39021 38872 39019 39032 38859 38870 38871 38862 39036 39033 38860 39024 39031 39020 38763 38869 38873 33684 33677 33676 36566 36565 40143 39768 39878 39653 40058 39986 39877 39652 39851 40055 40145 40056 39875 39874 39744 39656 39630 39766 39628 40057 39985 40032 39876 39961 39742 39654 40059 39989 39770 39987 39767 39769 40166 39988 39655 39514 39331 39315 39314 39134 39498 39135 39148 39497 39133 39316 39499 39759 39645 39644 39758 35714 35720 33228 33008 32897 33009 33226 32996 33213 32995 31690 32895 32994 33007 33215 33365 32972 32971 33073 31674 33214 32896 31672 31675 33227 33074 33366 31673 26733 22820 22806 22821 22807 26732 22805 26734 22822 37234 37133 36853 37124 37597 37248 36568 36581 37614 37416 38107 36861 38315 37431 36666 37120 37995 37235 37612 37599 38108 36655 38316 38106 37135 37775 36631 37889 37598 36582 36972 38121 37789 36653 36617 37901 36567 37887 38011 37132 36859 36583 37136 36958 36630 36864 36862 38010 36860 37997 36959 37900 37233 37131 37774 37773 36962 36961 36970 37125 36968 36852 36969 36504 36960 38120 36505 36668 37415 37119 36973 36667 36618 37996 37902 37429 38317 38212 38193 38194 36847 38119 36629 38213 37414 37888 37247 36849 36848 38218 36971 37121 37613 37430 37134 36863 37788 38195 37790 37246 36654 38012 36616 38214 33673 33672 33671 33683 33682 15653 15833 16014 15850 19939 16029 19940 15816 15849 15668 15817 15654 15655 16013 19941 15865 15834 15818 16012 22874 20308 20083 20278 13707 20082 13706 13708 13723 26720 15554 27071 13705 15555 32882 32881 32880 32562 32604 32601 32549 32579 32548 32605 32561 32603 32577 32594 32550 32547 32602 32564 32563 39396 39398 39394 39397 39372 39395 43016 43018 43013 43019 43020 43015 43009 43010 43014 43017 42818 42821 42816 42820 42819 42815 42817 38445 38499 38429 39853 40034 39963 39272 39294 39296 39270 39479 39297 39454 39293 39476 39295 39480 39452 39789 39896 39897 39787 38483 39788 39895 39912 39802 39690 39689 39688 39673 38466 39674 39675 38465 38467 38468 38420 38416 31623 31688 33320 33302 33321 33319 31627 31625 31611 31612 31689 39764 39867 39866 40048 39978 39977 40279 40169 40168 40167 40170 39370 32676 32493 32492 32675 40047 40278 40277 40276 40281 40280 39765 33473 33481 38421 38427 38774 38944 38426 39250 40227 39239 39254 39252 39255 38414 38408 38413 38409 31858 31806 31818 31857 31817 31859 31819 31805 32719 31761 31725 31738 31844 31737 31775 31736 32537 31774 31724 31760 31954 31956 31955 31773 32720 31762 31843 31842 31723 32536 32354 32353 33301 33300 31626 31804 39237 39251 40244 39240 39238 39253 40245 31967 31966 33190 33261 33422 33421 33191 33371 26769 33480 26770 33420 33322 33080 33079 33372 33323 33260 33479 46207 46718 46859 46382 46206 45738 45593 45867 45592 45756 45757 45289 45287 45288 40435 40455 40436 40456 40454 45843 45842 45568 45737 45972 45971 45868 45949 40021 40006 40008 40007 40275 40266 40095 40274 40159 40158 40093 40114 40094 46310 46328 46329 47536 47534 47535 47518 47537 47538 47541 47533 47539 47540 47517 47542 47513 38760 38747 38749 38759 38748 47526 47532 47529 47528 47523 47524 47531 47527 47530 47614 47615 47620 47616 42814 49614 49612 49610 49611 49608 49613 49496 49499 49498 47768 49321 49323 49494 49324 49320 49322 49319 47763 47765 47762 47766 47764 47767 49500 49497 49318 40540 40541 39477 39478 42704 42707 42530 42703 42528 42531 42706 42527 42529 42705 42701 49411 49412 49526 49525 49609 49607 40505 40506 42733 42732 40491 40492 47664 47662 47660 47663 47665 47667 47666 49495 49135 48959 48956 48958 48957 48960 48954 47121 47125 47124 47120 47123 47126 47122 49137 49141 49138 48376 48378 48377 48380 49140 49139 48382 48381 48379 49136 48955 48375 49134 48953 47661 49803 49802 47429 47428 49493 47648 49236 49235 47649 48369 48368 49058 49057 49317 47744 48871 47761 47743 48872 41838 41837 42002 42112 42001 42397 40957 42087 41983 41812 42088 41813 42216 41982 42217 42113 42374 42194 42396 46717 42702 42700 40974 40975 40970 40972 40973 42619 46129 46151 46152 45207 47128 47127 46033 45219 46046 46044 46030 45214 46043 46048 46045 46032 46047 46031 45220 40480 40478 40479 40481 47037 47038 47036 47035 42618 42526 47020 47022 36092 36095 36107 36108 36105 36093 36103 36104 36106 36094 42524 40971 40969 40499 40501 40502 40500 40504 40503 45567 40608 47119 42160 42265 42161 42343 42264 41584 41586 41585 40495 40496 40497 42442 41587 41589 41583 42443 41588 40869 40873 40872 40870 40867 42341 40871 40874 40868 41582 40470 41575 42079 40950 41576 40855 40951 40636 40635 42078 40856 40968 40477 40469 40490 52922 52944 52945 52482 52385 52386 52361 52550 52549 52661 52464 52636 52481 52660 52531 52080 52247 52272 52764 52000 52013 52007 52012 53510 47343 47347 47344 47341 47346 47345 47339 47340 47338 52999 47336 47335 52742 52765 52271 52081 52082 52002 52006 52053 52054 52052 52069 52051 47247 47229 47249 47248 47228 38531 38405 38517 38553 39330 39513 38529 38516 38554 39329 38518 38566 39512 39146 38530 39147 38404 38567 38568 38555 40719 40751 40750 47299 47284 47515 47516 47520 47522 47525 47521 40846 40847 40815 47285 47293 47292 47298 47294 47295 47296 47297 61128 54334 54335 54316 54330 54319 54323 54320 54322 54321 54317 54315 54324 54332 54326 54331 54327 54333 54328 54329 54325 54306 54310 54312 54307 54314 54313 54311 54318 54308 54309 61118 61111 61110 61113 61116 61114 61104 61103 61109 61115 61120 61117 61119 61112 61122 61127 61121 61125 61124 61123 61126 61108 61106 61107 61105 61102 61100 61101 53831 53830 53813 47519 55919 52015 52031 52085 47514 52459 52445 52620 52607 52606 52350 52348 53084 52457 52605 52458 52622 52446 52349 53276 53274 53275 52621 53260 53259 52902 52917 52900 53083 52720 53085 53100 52901 52444 52719 52721 53261 52734 52198 52197 52184 52236 52238 52237 52183 52196 52185 51991 51990 47289 47288 47290 52334 52104 52141 52103 52068 52153 53099 52732 52222 52067 52115 53098 52916 52154 52915 52223 52140 52005 52733 52102 52152 52117 52116 52004 52139 52221 52335 52333 47271 47272 47274 47273 47259 47258 47257 47263 47270 47269 47262 47268 51994 51995 51999 54088 54091 54076 54078 54085 54089 54090 54092 54086 54087 54077 53375 53374 53373 53498 53483 53388 53481 53482 53592 53593 53607 53594 54083 54082 54081 53879 53880 53881 53882 53876 53877 53712 53714 51992 53713 53715 53717 53716 53718 53884 53883 51993 53878 53587 53582 53586 53584 53585 53588 53583 53706 53707 53875 53474 53076 53365 53363 53077 53075 53476 53255 53251 53362 53253 53252 53368 53079 53249 53475 53078 53471 53369 53366 53367 53477 53473 53073 53254 52094 52092 52097 52096 53364 53472 53167 53166 52098 52095 53074 52093 53250 53247 53072 53246 53248 53711 53581 53470 52456 52338 52448 52447 52339 52347 52618 52610 52611 53281 52091 53503 52991 51998 52345 51997 53502 53496 53606 53387 53605 53497 53386 52346 52990 52073 53400 52617 53280 52619 52074 52454 52455 53401 61197 61196 61195 61206 61203 61202 61201 61200 53645 53437 53571 53241 53463 53574 53355 53864 53865 53753 53755 53863 53754 53644 53328 53460 53462 53729 53575 53641 53238 53214 53572 53618 53642 53464 53239 53643 53547 53354 53216 53573 53330 53866 53867 53862 53752 53356 53353 53461 53352 53731 53240 53756 53242 53439 53620 53549 53452 53453 53350 53351 67891 74693 67923 74686 74701 74687 74697 74706 74711 74704 74692 74702 74690 74699 74713 74703 74708 74709 74707 74698 74695 74712 74710 74694 74691 74688 74705 74685 74700 74689 74714 67922 52881 53062 53065 52880 52856 53064 52882 52879 53040 53066 53038 52883 53063 67917 67916 67896 67920 67898 67908 67921 67913 67911 67907 67901 67900 67894 67912 67906 67902 67914 67910 67903 67915 67909 67895 67893 67897 67918 67899 67904 67919 67905 44900 43459 43422 44209 43640 44039 43764 44207 44694 43927 44788 44407 43361 43912 43448 43424 44028 43447 44790 43461 44391 43409 43914 43642 44222 43766 43374 43376 43460 43359 44040 43753 44803 44405 44406 44583 43928 43410 44041 44026 43641 43657 44899 43655 43375 43656 44681 43929 44392 44680 44789 43913 43423 44224 44901 44695 44682 44567 44568 43446 44582 43765 44566 44581 43360 44693 44390 44804 44805 44223 44027 44208 40465 40466 40464 45011 43298 45108 44987 43297 44986 45006 44912 45109 44913 45110 44914 44988 45005 43751 53861 45007 43411 43752 52927 52926 52929 52942 52941 52943 52928 52530 52360 52825 52838 52839 52823 52837 52841 52840 52826 52824 52940 47639 47640 47608 53852 53860 53745 53744 53681 53680 53700 53564 53634 53633 53563 52836 53679 53699 53698 52084 53231 53344 53345 53237 53570 53569 52083 53750 53858 53639 53458 53230 53459 53640 53236 53751 53859 52984 52956 52958 52983 52982 52981 52980 52979 54127 54126 52973 53702 53799 53800 53801 47149 47148 53701 66222 65668 65971 65972 66068 66135 66246 66508 66136 65667 66351 66247 66067 66328 66530 65666 66117 65947 66050 66350 66531 65858 65857 65833 59154 59343 58875 59558 58873 59040 59257 59275 59342 59454 59453 59274 59737 59064 59738 59429 59324 59179 59178 58874 59065 59535 59715 59557 60606 59633 59617 59631 59629 60623 59616 59619 59632 59630 60624 59634 59618 60833 52858 45652 45444 45213 45827 45555 45556 45209 45557 45812 45664 45828 45666 45829 45665 45813 45814 45653 45443 45445 45651 46466 46560 46644 46559 46535 45403 46551 45404 46756 46938 46552 45941 46307 46109 46936 46851 46779 46780 46850 46959 46562 46669 45222 46646 46668 45391 46537 46827 45390 45405 45928 46124 46291 46108 46292 46290 46107 45927 46561 45926 46670 46825 46778 46852 46754 46781 46848 46671 46782 46849 45392 46563 46667 46423 46438 46446 46449 46445 46447 46437 46421 46448 55463 55818 55553 55844 55621 55325 55465 55462 55556 55735 55842 55841 55738 55464 55739 55626 55740 55599 55712 55840 55347 55843 55714 55555 55323 55729 55624 55736 55622 55461 55737 55437 55625 55552 55439 55623 55532 56187 56197 54214 56196 56171 56195 56173 55833 56193 55916 56099 54210 55615 55839 55545 54231 54232 55816 55601 56198 55460 56194 55551 55554 55454 46770 46689 46660 46580 46595 46690 46688 46799 46705 46800 46841 46951 46960 46961 46952 46962 46963 46814 46801 46659 46771 46581 46582 46840 46468 46483 46467 46558 46557 45201 45238 45292 45291 45206 45202 47068 47067 47071 47059 46907 47070 46888 47072 47069 46886 46887 47074 47073 47318 47342 47320 45208 46269 46273 46247 46272 46270 46271 46245 46261 46262 45217 45218 46444 46443 47333 47334 59153 59323 45198 45197 72825 72601 72824 72617 72600 72615 72616 72564 72985 73001 72827 72727 72718 72562 72997 72989 72999 73100 72984 72726 72835 73000 72713 72838 72712 72836 72725 72998 72602 72834 72575 72823 72833 72576 72714 72717 72729 72728 73098 72724 72990 72577 72837 72826 72563 73099 72986 72996 67527 67528 74080 74180 74178 74179 74081 56471 56472 56485 56474 56486 56484 56473 56483 56482 56487 46079 46087 46078 46065 46090 46063 46089 46088 46086 46085 45276 46579 46687 47006 46798 46885 47007 46909 47008 45259 46482 45258 45261 46481 45348 45361 45430 45541 40476 45428 45360 45323 46122 40475 45322 46305 45359 45309 45540 45542 45324 45212 46123 45310 45429 46306 45939 46905 46906 45275 46593 46704 46812 46703 45274 46594 46267 47066 47065 40355 46957 46777 40356 46958 46665 46776 46666 46908 46268 46813 45260 45211 45940 46846 45311 45347 46847 45346 66800 66916 67160 67046 67161 67025 67206 67048 67339 67050 66827 67340 67453 67452 67450 67451 66817 66914 67047 66802 67315 66941 67228 66939 66940 66826 67157 67227 66938 67230 67158 67023 67338 67159 67204 67049 67229 66931 66816 67231 66936 65671 66828 67447 66825 67342 67341 67135 67133 66942 67449 66937 67039 67038 67438 67330 67331 67220 67219 67150 67149 67446 67445 67444 66930 67448 73143 73040 72765 72651 72459 73039 73323 73121 72626 72860 72764 73015 72460 72650 72910 72929 72740 73324 73144 72843 72928 73301 72861 72461 79808 79653 79443 79654 79444 79937 79936 79254 79419 79557 79721 79252 79722 79533 79253 79914 79558 80116 80117 79833 79636 80094 79703 79832 79702 79532 65946 66116 67726 67722 67715 67720 67723 67699 67725 67721 67719 67717 67718 67697 67724 67714 74020 73952 73620 74108 73735 74024 73733 73618 73928 73621 73619 73841 73593 73707 73926 74131 73843 74132 72394 74110 73840 74135 74242 73818 72464 72410 74241 74240 74134 73595 73709 73842 73953 74133 73734 73954 73816 74022 73731 73950 60926 60904 60906 60931 60925 60928 60921 60930 60929 60932 60927 60924 60922 73610 73723 73949 73616 72462 72463 73615 73948 74129 73609 74019 74130 73838 73837 74018 73724 73943 73832 74013 74123 73729 73942 74012 74124 73831 73730 74243 74244 74239 74231 95068 95064 67712 67713 72739 72909 66640 66457 66641 66444 65581 65585 65580 66468 66442 66624 66650 66652 66469 66466 66467 66651 66465 66626 66648 66649 66464 67337 67336 66458 66822 67156 66647 66646 65670 67225 67045 66823 67226 67044 65669 67155 73839 74021 73951 73997 74023 74245 74238 74237 74246 60919 60920 73732 74696 73617 73999 67317 66824 92760 92764 95501 92763 92762 92809 92810 93659 93842 93857 93492 92860 92899 92875 92910 93673 92861 93858 94019 92873 94131 94239 94034 94254 94241 94240 94132 94144 94133 94146 94145 93379 93091 92980 92825 92826 92812 92827 92811 93658 93660 92912 93479 92911 92898 92897 93841 94017 92874 93491 93856 93477 93490 92862 93675 94018 93478 93843 93674 93368 93093 93107 93097 93216 93364 92955 93212 93202 93215 93104 93103 93092 93376 92981 93363 92956 93205 92748 92942 93206 92979 92996 93204 93108 93378 93203 93106 92941 93214 94255 94256 94033 94032 93375 93096 92943 93377 93380 92995 93369 93213 93365 93105 92749 92994 93217 92954 94822 94825 94813 94824 94823 94814 94821 94350 94363 94351 94365 94352 94364 94439 94438 94437 94457 94456 100032 100033 100015 99565 101384 101383 101358 101357 100958 101313 100866 100976 100977 100551 101226 100370 100673 101062 100751 100576 101087 100752 101334 101335 100394 100654 100672 100841 100865 101086 101225 100393 100575 99557 99553 99997 100008 99884 99899 99900 100010 100009 99885 99886 99901 99890 99889 99898 99896 99897 95191 95159 101961 95190 100550 101061 108400 108411 108399 108410 108408 108409 108407 108777 108745 108394 108395 113858 108405 113857 108406 108396 113856 113871 113757 113596 113744 113743 113486 113472 114220 114053 113254 114054 113487 113758 113595 113742 113594 113583 113759 113485 113471 114237 114039 114235 114236 114397 114398 113278 113290 114221 113253 113291 113289 114411 113190 113869 113870 113127 113128 113206 114413 113205 113189 113484 113476 113593 113241 114222 113277 113252 114038 114037 113204 113585 113747 113755 113754 113756 113748 113592 113483 113188 113143 114412 113139 113276 113584 113239 113191 113240 114052 113591 113475 114396 106693 101603 106790 101613 101612 101602 101601 106694 106692 106677 106678 106689 106528 106798 106683 106788 106690 106567 106566 106789 106529 106682 106565 106541 106540 106542 106582 106799 106580 99605 99604 99603 99620 100284 100156 100270 99996 99690 100466 99666 100283 100467 99705 99667 101047 99655 99691 100271 100635 100827 100811 100172 100636 99654 99668 100650 101048 100649 100651 100812 100634 100452 101033 101157 100451 100285 99995 101156 101144 101158 100171 101143 101145 99704 100173 99692 100826 100157 101034 100158 99653 99703 100825 100453 100272 101049 100468 100810 100939 100926 100925 100924 100938 101032 100937 99736 99735 99747 99748 99789 99734 99749 99788 99787 106800 106691 106581 106527 106679 106965 115544 115539 115541 115546 115545 115540 115550 115547 95172 95168 95174 95177 95183 95175 95181 95164 95179 95189 95187 95176 95188 95186 95185 95182 95163 95169 95180 95184 95178 95173 80409 80630 80923 80631 80408 80811 80741 80922 80812 80742 95170 88101 88094 88076 88097 88099 88078 88102 95070 95161 95167 95166 88096 88100 88098 88093 95162 95165 95171 95160 106395 108285 108286 113582 113581 113335 113360 113333 113358 113142 113320 113359 113141 113334 113374 113375 113373 113470 114837 114817 114816 114818 114836 114835 114510 114512 114635 114618 114744 114731 114620 114729 114525 114730 114511 114743 114742 114524 114633 114634 113322 113321 114523 114619 114936 114839 113482 114838 114937 114938 114890 114709 114779 114889 114684 114780 113168 114757 114700 115001 114778 114771 114686 114701 114893 114781 114708 114997 114755 114892 114866 114891 115000 114999 114782 114710 114712 114770 114711 115002 114868 114882 114881 113152 114998 115264 115274 115276 115271 115277 115272 115268 115250 115266 115275 115270 115269 115248 115265 115273 115004 115003 94458 114489 114493 114465 114492 114490 114491 114574 114589 114487 114488 114600 114599 114598 114481 114590 114597 114482 114601 114467 114576 108289 108330 108291 108349 108287 108290 108299 108309 108292 108293 108649 108680 108681 121878 121879 121873 121885 121916 121935 121875 121877 121895 121876 128764 128863 128859 114706 114888 114596 114776 114777 114595 114887 114707 114996 113219 113218 113153 113154 113160 122258 122261 122259 122263 122265 122262 122236 122241 122257 122264 122240 122256 122260 121737 121033 121605 121583 121763 121355 120749 121245 121441 120954 121337 120480 120394 120566 121970 121952 120411 120315 120461 120316 120590 120479 121714 121356 120291 120930 121692 121713 120591 121220 120412 121972 121951 121466 121052 120773 121465 121051 119944 121736 120955 120772 121130 121131 121244 121762 121604 121106 122238 122239 122237 114531 108484 108472 108482 108483 108476 108477 108478 108475 108457 108480 108455 108481 108473 108479 108471 129028 129046 129049 129042 129033 129037 129041 129057 129052 129053 129045 129034 129030 129047 129031 129038 129040 129054 129056 129048 129059 129060 129032 129029 129058 129044 129036 129051 129035 129039 129050 129055 129043 120929 121582 121105 121440 121971 115443 119930 113222 114989 114374 114375 114376 114353 114367 114373 114368 114351 114377 114379 114378 114191 114017 114019 114198 114020 113993 114200 114015 114014 114009 113995 114175 114018 114197 114008 114201 114016 114203 114199 114202 114192 114177 113221 122021 122019 122007 122008 122013 122017 122006 122011 122018 122016 122012 122015 122020 122022 115083 115084 115080 115086 115142 115123 115092 115085 115082 115102 122253 122247 122254 122249 122251 122255 122246 122245 122243 122252 122250 122242 122248 122244 120290 120460 113220 114995 101492 101493 108045 94800 94799 94779 94780 99542 99541 101954 101977 101979 101962 101973 101981 101976 101960 101967 101975 101968 101970 101972 101965 101982 101980 101953 101957 101955 101964 101963 101971 101966 101959 101974 101978 101958 101956 101969 108654 101516 101498 101494 99618 99556 99555 99619 99774 99773 101506 101499 101556 101497 101537 101251 101232 101230 101250 101249 101231 99772 101496 101500 96135 96406 96407 96415 96414 96142 96413 96134 96143 96251 96252 96250 101685 101682 101687 101683 101680 101688 101664 101691 101689 101684 101686 101679 101662 101690 95205 95204 101573 101592 101593 101572 96243 96244 94489 94798 103353 103331 103119 103354 102949 101678 101122 101192 101194 101195 101265 101267 101262 101196 101280 101264 101266 101193 101263 101100 101098 101125 99544 99566 99543 101169 101282 101303 101171 101126 101124 101123 115351 117308 115350 115584 117332 117335 117331 115349 117334 117333 117324 117310 115583 115347 117330 103103 103083 102876 103173 103175 103150 103174 103177 103176 102990 103289 102902 103106 103288 103105 103291 102899 103287 102874 103016 103012 103265 102900 103104 103263 103013 103152 102901 102898 103107 103014 102755 103015 103290 94459 94558 94557 94559 94460 103166 103172 103280 102754 102897 103005 103102 103011 103286 102891 102988 103096 103517 103530 103518 103515 103516 103531 103532 103529 99546 99545 99550 100903 100879 100881 99582 99636 101880 101862 101860 101882 101881 101884 101877 101857 101878 101861 101858 101859 101883 101879 101886 101885 101011 101015 100904 100907 101012 100905 101014 100990 101013 100906 100988 108662 108664 108669 108665 108668 108658 108666 108667 108660 108661 108659 108656 108663 108657 100793 100767 100791 100792 100765 100789 100790 95095 95063 95094 101413 101414 101412 99552 99568 99567 101351 101352 101350 101417 101418 101416 101415 101304 101305 101306 101307 101253 94699 94700 101252 100626 100629 100627 100630 100628 99551 94183 94072 94073 94165 94520 94294 94541 94590 94591 94269 94565 94542 94293 94411 94564 94410 94268 92758 92771 92770 92765 94571 93880 93861 94184 93879 92772 94048 94432 94433 99586 99585 100005 99998 99999 100006 100007 99602 94820 94809 94808 94819 94810 100168 100161 100170 99563 99558 99564 100169 100162 100901 100902 100782 100781 100896 94589 94588 99684 99685 99680 99683 99681 99682 99686 99881 100152 99882 99879 99878 99768 99767 99880 99876 99991 100263 100265 100262 100264 100261 100266 94642 94641 94633 100625 100260 83193 83190 83191 83194 83168 83192 83166 99635 101009 101121 101120 101190 101010 101191 100788 100787 101302 101301 101409 101410 101430 101268 101431 101269 99646 99647 99649 99645 99643 99648 101403 101411 99644 101429 94894 94893 94895 94892 94891 94897 94896 94887 94871 94898 94890 94886 94889 94869 101115 101295 101184 101185 101003 101296 101004 101114 101433 101432 101434 101435 101426 101427 101428 101026 101025 101139 101135 101138 101028 101027 101024 101133 101136 101137 101022 100804 100803 100802 96326 96918 96327 96260 96156 96278 96157 96043 96182 96718 96560 96345 96181 95301 96561 96741 96917 96538 96456 96740 96067 96457 96277 95302 96346 96899 96432 96068 95303 100445 100443 100917 94402 94401 94399 94510 94487 94332 94403 100447 100444 100800 100446 100441 100916 100805 100624 100918 100806 100919 100920 100914 94218 94222 94221 94220 94330 94305 94219 94195 94376 94331 94333 94329 94400 94111 94112 94086 94088 94110 94114 94113 92789 94197 94514 92843 94623 94625 94624 94622 94511 94620 94307 94513 94621 94378 94512 100915 101258 101257 99985 99988 99987 99989 99990 100146 99764 99766 100150 99765 100148 99724 99763 99877 100149 100151 100895 101134 101021 101132 101023 99730 100075 99904 99756 100076 99906 99710 99709 99708 99905 99869 99871 99870 99729 100074 99755 99754 99595 99726 99723 99728 99986 100440 100801 99597 99725 99642 99984 99596 99593 99727 100145 100259 100623 100913 100717 100799 100718 99762 100147 99594 99599 99598 99592 100442 99679 99875 99580 99581 92752 92753 92757 94884 94885 101054 100952 100951 101053 100532 100509 100534 100535 100533 100531 100507 100529 100530 100524 100523 99625 100177 99624 100178 100363 100832 100542 100541 99672 100364 99548 99673 99549 100831 94847 94848 94850 94849 94836 94844 94843 94845 94835 94834 94846 94841 94839 94840 100727 101204 101203 100726 101591 94804 99936 99632 99912 100293 100100 99631 100211 100212 99822 100187 100316 99911 100496 100473 100495 99633 100101 100081 99937 99798 100082 100315 99823 101364 101381 101382 100480 100494 100492 100477 100493 99868 88056 88043 88042 88041 88057 100479 100491 93934 93959 93972 93997 94000 93996 93999 93998 93974 79255 79256 99864 100072 99857 99855 99867 99751 99859 100071 99865 99750 99861 100073 99902 99862 99858 99903 99856 99863 99866 99853 99852 93933 85966 85981 85982 100478 86802 86806 86788 86803 86790 86789 86804 87778 86791 87795 86805 86801 87796 85978 85972 85977 93782 93600 93783 93601 93958 93757 93758 93577 86047 86046 80152 80130 80156 80128 80112 80098 80099 80113 80101 80115 80114 79166 80100 94397 93994 94217 93995 94327 92842 93988 94328 94103 94398 93989 92841 94617 94509 94616 94508 94216 94102 92773 93523 93030 93143 92839 93119 92838 93680 93222 93144 93418 93703 93289 93394 93522 92840 93308 93239 93240 93419 93500 93702 93307 93005 93029 93288 93118 93731 93700 93684 93699 80234 80051 80055 80053 80028 80210 80226 80044 80237 80043 80227 80235 80054 80236 80238 80052 80212 80030 86045 86495 86626 86707 86212 87086 86514 86625 86237 86325 86909 86910 86887 86326 86496 86729 86601 87068 86236 86730 86447 86350 87087 86446 86351 86515 86429 88280 81604 81605 81573 79171 101868 101867 101874 101876 101875 101866 101871 101870 101872 101873 101864 101863 101869 101865 95093 95088 95086 95080 95084 95091 95079 95075 95078 95092 95083 95090 95085 95087 95082 95074 95081 95077 95069 95089 95067 95072 95071 95076 95073 95065 95066 80154 80155 80153 79167 100389 100377 100375 100374 100391 100392 100390 87402 87203 87425 87207 87318 87320 87319 87204 87321 87181 87293 87317 87404 87514 87540 87538 87583 87537 87536 87539 87429 87427 87426 87512 87428 85980 86050 85996 87721 87828 87717 87826 87720 87585 87609 87719 87608 87694 87610 87607 87606 87827 87718 87205 87206 87179 87696 87196 87599 87309 87195 87529 87528 87417 87710 87418 87598 87316 87315 87310 87295 87709 87830 85959 85964 85960 86312 86304 86303 87829 87825 87832 87831 87551 87550 87677 87553 87552 87549 87547 85957 85958 87676 87817 87681 87682 87672 87671 87683 87679 87680 87847 87844 87845 87848 87846 87678 94619 87546 87842 87841 87468 87467 87548 87843 86310 86311 87439 87438 87440 87436 87330 87334 87332 87218 87219 87328 87333 87216 87220 87217 87331 87214 87441 87442 86680 87041 87042 87044 87043 86857 87040 86678 86679 87038 86676 86860 86861 86677 86855 86859 86858 80151 80145 87849 86293 87215 86292 86399 86294 86009 86291 86401 86007 86008 87423 87715 87604 87535 87534 87716 87605 87424 87201 86048 86049 87202 87003 87028 87005 87031 87030 87027 87029 86582 86583 86584 86575 86576 86419 86421 86413 86412 86420 90138 90136 90163 90162 90159 90160 90158 86921 86923 86949 86947 86945 86948 86946 90161 90152 87020 87019 83151 83152 83136 83137 83138 83139 83153 83150 86823 86846 86844 86837 86845 86821 86836 86847 86848 86944 86937 86938 86943 86907 81256 86893 81246 81247 86891 86894 86905 86908 86892 86906 81128 79144 79160 79159 83189 83183 100376 86142 86179 86182 86403 86404 86402 86405 86400 86181 86138 86140 86178 86180 86295 86177 86139 86144 86141 86296 86143 86566 86563 86562 86561 86565 86674 86560 86564 87039 86675 86000 87123 87124 87121 87114 87122 87437 87435 86062 86097 86063 86099 86100 86098 86290 86059 86061 86060 86058 86096 86095 86094 86057 87131 87132 87327 86006 87329 86137 86854 86490 86169 86285 86559 86124 86170 86284 86289 86123 86319 86398 87037 86673 86955 86489 86320 86039 86176 87246 86056 87366 86778 85963 86087 87365 85962 86038 85995 87213 87245 86010 86011 86012 86013 86856 86093 85988 92750 86662 86639 86552 86667 81030 81031 81479 81484 81486 81480 81490 81481 81485 88273 88274 88272 88278 88283 88279 88277 86483 86275 86542 86278 86366 86252 86472 86528 86481 86480 86273 86277 86388 86364 86842 87025 87026 86843 86459 86131 87125 86656 86479 86482 86478 86276 86250 86391 86390 87098 87100 86381 86392 86389 86665 86663 86551 86526 86549 86664 86553 86666 86550 86768 86745 86769 86743 86770 86767 86766 86771 87840 85987 85999 86760 87120 86387 86130 86267 86548 86956 86641 86274 89843 89829 89840 89844 89828 90841 89839 89827 90842 89842 89826 89841 94723 94713 94707 94705 94701 94706 94703 94704 94763 94744 87824 87823 90824 94211 94109 94392 94321 94610 94618 94502 94503 94210 94108 94322 94391 93595 93581 93598 93582 93597 93583 93596 93594 93584 93599 95256 93687 93737 93686 93685 93701 93698 93739 93741 93716 93714 93738 93742 93740 95243 80232 80233 80049 80050 86086 85994 86592 86591 86777 75833 88448 88449 88447 88052 88053 88050 88054 88055 88047 88046 88048 81704 81671 81382 67818 66567 66544 66570 66542 66569 66568 66566 43037 20439 23387 55758 40637 34880 33781 106338 106343 106339 121006 121009 121007 121005 121008 121661 121571 121548 121503 121505 121260 121477 121391 121394 121393 121501 121392 121390 121367 121502 121504 121791 121564 121479 121285 121286 121258 121283 121282 121284 121792 121684 121573 121572 121659 121574 121793 121685 121682 121575 121683 121686 121517 121515 121518 121516 121809 121810 121808 121795 121794 121675 121281 121280 121494 121383 119922 121642 119924 119929 119925 121406 121404 121407 121405 121512 121514 122058 122070 122069 122067 122043 122066 122064 122065 121796 122068 122041 122061 122059 122062 121797 122063 120824 120639 120826 120369 120643 120822 120825 120257 120530 119931 120260 120255 120364 120370 120529 120531 120644 120366 120823 120258 120642 120259 120820 120641 121003 120645 120525 120528 120367 120527 120261 121004 121646 121432 121513 121647 121637 119923 121330 121645 121511 121648 121331 121433 121641 121643 121644 121400 121636 120027 120022 120024 120025 120026 120028 119961 121550 119945 121369 115228 115229 121401 121185 121296 121184 121182 121403 121299 121295 121293 121297 121181 121179 121183 121298 115213 115220 115222 115226 115223 115219 115224 115214 115218 115227 115215 115225 121180 119972 119978 121178 119973 121402 119976 119974 121096 121294 119971 119975 121292 119977 121097 120105 120147 120285 120108 120144 120743 120454 120061 120284 120134 120143 120742 120107 120819 120109 120106 120145 120088 120363 120455 120059 120003 120638 121002 120142 120821 120062 120021 120104 120365 120060 120004 120135 120921 120052 120023 120064 120065 120920 120089 120249 120063 120526 120058 120524 120640 120146 120103 121812 121811 121805 121804 121803 121814 121813 121210 120141 119959 121211 119928 120254 119960 120557 119927 120556 120051 121806 121807 120015 113217 113619 113409 114081 113523 113408 113687 113668 114059 113686 113601 113798 113797 113901 113773 114082 113384 113498 113902 113618 113879 113522 120014 122057 108073 107796 107978 107696 107672 107781 107700 107808 107699 107697 107806 107698 107804 108100 108099 107797 107674 107694 107783 106375 107695 108088 106359 108205 107907 107964 108207 107988 108096 107989 107985 107987 108098 108097 107917 107915 107807 107805 107893 107977 107908 108089 107916 107919 107891 107918 107962 108209 108208 108204 108206 107986 108075 107582 107583 107585 107558 107586 107584 107560 106429 121275 121681 121500 121680 121389 121499 121569 121570 121789 121790 121088 121090 121087 119964 121063 121089 121079 121086 121065 119965 121085 120368 120250 120102 120256 108384 106336 108222 108220 108224 108223 107925 108055 107926 107932 108058 108056 107928 107929 107931 108060 108059 107930 108221 108226 108062 108225 108061 108057 107927 106337 108776 108435 108420 108433 108432 108436 108434 108431 108422 108421 108429 108430 107816 107815 107818 107821 107814 107820 107817 107819 114117 114121 114118 114093 114120 114095 114119 108427 108425 108426 114116 114110 114115 114109 107382 107384 107407 107406 107410 107409 107408 114272 113172 114286 114294 114270 114293 114297 114296 114295 106360 106361 106345 107327 107326 107302 107328 107324 107300 107325 107738 106344 107737 106428 106427 107913 107983 107914 107984 108095 108094 107227 107200 107223 107224 107225 107226 107202 107222 106379 107504 107479 107149 107150 107122 107148 107146 106367 107147 107124 107499 107144 106365 106378 107500 107405 107477 107493 107398 107138 107139 107145 107575 107574 107501 107399 107404 107580 107581 107502 107503 106366 114292 113171 113170 113158 113159 107689 107215 107317 107323 107216 107688 107802 107803 113941 113650 113725 113915 113835 113562 113561 113644 113839 113559 113837 113813 113838 113424 113724 113560 113834 113654 113631 113942 113538 113651 113698 113564 113917 113655 113827 113700 113939 113563 113653 113940 113811 113836 113713 113943 113720 113828 113833 113303 113723 113558 113722 113714 113721 113652 113449 113450 113445 113422 113448 113447 113446 113719 113536 113643 113649 114285 113553 113302 113552 113301 113937 113938 113932 113444 114530 107544 107163 107520 108018 107368 107658 107465 107751 107879 106358 107880 107344 107769 107997 107770 107186 107187 107634 107447 107855 107659 107545 108019 107466 107369 108127 108128 108106 113439 113438 107288 106875 106591 107109 106705 107086 107289 106980 106826 107266 107108 106894 106808 107005 106616 106730 107004 106825 106424 106893 106615 106426 106729 106425 107854 107519 107343 107996 106874 106704 113931 107419 107423 107422 107421 107420 107712 107599 107593 107713 107597 107709 107598 107595 107596 107710 107707 107418 107706 107711 108050 108051 107847 107745 107744 107846 107270 107285 107287 107272 107271 107286 107284 107273 107625 107624 108755 108763 108747 108757 108758 108762 108764 108754 108753 108746 108748 108774 108751 108749 108766 108750 108756 108775 108768 108769 108765 108770 108767 108772 108771 108773 108752 108760 108761 108759 106387 106390 106389 106385 106386 106388 107238 107236 107239 107237 107240 107054 107417 107055 107234 107058 107057 107059 107056 107511 107594 107708 107235 107053 106391 106392 107052 107592 107233 106373 107415 107335 106341 107334 107232 106374 107416 106971 107156 106342 106970 107157 107231 107414 107510 96778 96780 96779 96754 96777 96776 96752 115668 115636 115669 94970 94971 96724 96738 96722 96723 96737 96725 96739 106356 106351 106357 96955 96945 96956 95962 96104 96109 96108 96107 96106 96098 96736 96769 96775 99634 114950 114968 114967 120768 120771 120770 119943 120766 121760 119942 121743 120754 120755 120756 119937 120769 120767 120753 121761 113137 114725 114849 115012 114855 114853 115018 114852 115017 115021 114724 115020 115015 114854 115019 114722 115016 114723 114851 114850 114848 114718 113130 113129 120695 120177 120852 120012 120010 120672 120694 120201 120875 120202 120011 120874 114136 114647 114312 114789 113497 113667 114064 114066 113132 114065 114078 114079 114077 114063 114080 113136 113131 100431 100423 102033 102034 102035 102036 102049 100615 100614 113138 100606 100407 100613 100589 100617 100616 100432 100430 100433 83012 83014 82988 81404 83016 83013 83015 115471 115472 115468 115469 115467 115463 115464 115465 115470 115466 115445 115444 115446 115448 115447 115458 115450 115460 115449 115451 115462 115454 115455 115459 113976 113962 113975 113144 113149 113150 113973 113960 113978 115456 115452 113961 115457 113977 113963 113974 115461 115453 100945 100944 114843 114844 115014 115013 114640 114639 100612 100429 100409 100591 100434 107169 107183 107168 107167 107181 107170 107184 107185 107182 107180 94470 94340 94343 94346 94345 94344 94342 94472 94473 94474 94476 94475 94637 94638 94639 94640 94229 94235 94231 94234 94232 94233 94471 94469 93820 93823 93821 93824 93822 93796 94339 94341 93798 94464 94465 92751 94635 94634 100710 100707 100711 100700 100686 100684 100708 100709 100706 94260 94261 88051 94228 94230 92850 93653 94009 94013 93472 93468 93833 93835 92852 92853 93470 94121 94012 92855 92856 93836 92854 94010 93469 93648 93832 93651 93831 94125 94124 94126 94123 93654 93650 94007 93837 93834 92851 94127 93471 94011 93652 93473 94158 94159 92804 92802 92891 92893 92889 92799 94008 92806 92805 92801 92803 94120 94122 92890 92800 93467 93649 92888 92887 92892 93925 93924 92886 92849 94006 94636 92788 92879 93385 92831 92880 93466 93749 94039 92832 93570 94038 92755 92787 93647 92756 93830 93748 93571 93384 93813 92775 92774 92781 93638 93640 93637 93616 93614 93641 93639 93636 93630 93819 93812 93818 93629 93918 93891 93893 92779 93917 93906 92780 93907 94152 94151 93563 93538 93564 93536 93553 93552 66558 66564 66565 66559 69757 69784 69781 69780 69759 69782 69783 69605 69580 69607 69608 69582 69606 69604 67817 69603 69597 69779 69209 69050 69323 69049 69210 69212 69208 69321 69201 69325 68911 69211 69185 69324 69315 69300 69051 69046 69187 69326 68909 69048 69023 68933 69047 69025 67796 69207 69040 69298 69773 69322 69138 69118 69139 69131 69137 69140 68789 69142 69141 69565 69551 69564 69550 69566 69553 69567 69552 81403 82990 88462 83011 83005 108827 108828 108826 102048 121172 121170 121144 121169 121171 120910 120912 121146 120911 120903 120888 120913 121167 120886 115622 115630 108841 115628 115631 115633 115627 115626 108842 115625 115635 115629 121160 121161 96496 96494 96498 96472 96493 96495 96497 96303 96953 96929 96313 96310 96312 94972 96290 96314 96954 96083 96309 96931 96952 96470 96487 94989 94968 95961 94990 96951 96311 96380 96359 96379 96357 96381 96383 96382 96384 89805 115632 120909 120914 115634 121168 88196 89808 88179 89798 89783 88197 88177 88178 89806 89807 89809 89804 89781 88175 96081 96221 96195 96105 96223 96222 96219 96197 96220 96218 89703 89702 89705 89701 89694 89587 89425 89519 89428 89169 89429 89520 89497 89517 89188 89516 89426 89187 96212 89590 89588 89677 89564 89580 89700 89679 108829 96373 89404 89521 89290 89566 89704 89430 89586 89589 89427 89510 88450 88463 89518 89591 114611 114503 113185 113182 114391 113181 114500 114385 114390 89402 114719 114721 114720 114499 114498 114303 113180 113177 113176 95255 114386 113183 114392 114501 114612 114388 114304 114614 114387 114607 114389 89168 89311 89312 89288 114506 114609 114504 114502 114505 114497 113178 113184 114537 114417 114418 114538 113166 113179 89314 89419 89315 89316 89313 89305 99574 99573 113167 114608 114613 114610 100352 100357 100353 100356 100355 100331 100329 100346 100354 93916 93915 93914 93912 93913 80328 80305 80330 80320 80329 79195 80332 80331 80307 80321 80327 80326 79194 79193 93561 93560 93562 93558 93559 73250 73251 73257 73259 73258 73261 73260 73433 73439 73434 73419 73440 73417 73441 73444 73443 73445 73442 73235 73262 73237 73256 73181 72395 73184 73159 72402 73157 73185 72396 73183 73182 72400 73174 72401 73180 73173 73179 81657 74911 81654 81655 74878 81656 81670 81669 60545 60146 60365 60255 60254 60145 60121 60342 60230 60357 60144 60143 60356 60548 60434 60367 60547 60436 60245 60438 60411 60253 60368 60123 60522 60137 60413 60138 60546 60366 60246 60149 60148 60537 60147 60427 60538 60257 60256 60232 60364 60437 60426 60435 60340 60549 60524 60656 60655 60654 58878 60024 60033 60023 58787 58792 60007 60034 58788 60032 60031 60009 60035 60645 60658 60653 60657 60659 60660 60252 60030 58877 60029 60433 60363 60432 60544 60543 60362 60651 60251 60652 59856 59673 59665 59858 59857 59859 59855 59847 59674 59675 59833 59651 59848 59664 59676 59672 59649 59831 59853 59671 59854 43763 43653 43918 43646 43652 43924 43762 43925 43926 43754 43761 43755 43917 43645 43654 43358 40484 40301 42410 42433 42432 42408 42435 42436 42434 42392 42378 42379 42380 54006 53946 53943 54007 53965 53945 53955 53948 53949 53947 54005 53986 53055 52872 53054 53061 52871 53060 52877 52878 42425 42431 42381 42393 42394 42395 55203 59926 59928 59949 59951 59942 58816 59953 59952 59950 59947 59948 58815 58814 59941 40215 40214 40213 47091 46921 46920 45200 45199 46919 46918 46923 46922 47088 47087 46924 47086 47089 46925 47090 38418 38419 38482 40020 39910 40019 39800 40113 38481 39801 40112 39911 38612 38598 38610 38611 38599 38597 46794 46790 46793 46795 46681 46791 46683 46684 46789 46792 46677 46788 46682 38635 38651 38652 38637 33563 40115 38636 45661 45553 45825 45662 45826 45824 45554 45663 45655 45817 45654 45818 45546 45545 38650 33562 40116 46573 46680 46678 46574 46575 46679 46576 46569 47214 47193 47172 47154 47150 47213 47162 47155 47152 47156 47153 47212 33567 33586 33570 33569 33566 33627 33607 33576 40421 33568 33564 33628 33626 33891 33870 33871 33884 33876 33889 33869 33878 33865 33882 33875 33888 33881 33877 33892 33872 33866 33867 33885 33887 33890 33874 33894 33879 33880 33886 33893 33868 33883 40360 40379 40369 40363 40359 40357 40420 40361 40419 40400 40362 28702 46189 46190 46187 46165 46188 46191 46150 46134 46136 46133 46149 46163 46135 46147 47085 47082 46458 46572 46461 46456 46570 46459 46460 46462 46457 46455 46571 46373 46374 36004 46148 47083 47084 46608 46710 46709 46914 46607 46913 46488 46487 46186 46180 35890 35889 35896 35531 35530 35537 35638 35632 13643 13675 13674 13677 13676 39873 20350 39286 39469 39468 39285 34000 33920 33914 33910 33903 33923 33906 33913 33908 33904 33897 33899 33995 33905 33898 33907 33918 33919 33901 34001 33915 33916 33902 33922 33912 33909 33921 33900 33917 33911 20368 20347 20364 20352 20360 20370 20354 20361 20351 20342 20366 20363 20362 20358 20369 20356 20344 20365 20345 20346 20357 20359 20353 20341 20343 20367 20349 20355 20348 26069 25710 26291 26289 25684 26581 26544 26042 26044 25892 26288 25711 25868 26070 26281 26403 25893 26402 25891 25894 26543 26557 25708 26471 25866 26290 25890 26690 26265 26469 25707 26692 26546 25709 26173 26375 26691 26473 24913 26068 26287 26545 26448 26377 26400 26583 26158 26067 26183 26184 26399 26540 24912 26580 26267 26470 26180 26559 26401 26156 26066 26584 26181 26582 26693 26292 26472 26182 26059 26446 26542 25686 26416 26412 26415 26414 26413 26694 26695 26687 29301 29315 29299 29300 28724 28749 28747 28931 28930 28928 28932 28745 28929 28906 28904 28722 28746 28748 19836 19835 27060 28921 28927 28744 28737 28738 38498 38497 40054 40164 39650 39983 40165 39651 39984 40053 23376 23538 23267 23375 23266 24632 23539 19834 39872 29311 29312 29314 29302 29313 39475 39292 39474 39291 22875 33533 14726 14899 14887 14898 14901 14886 14902 14885 14900 14897 14891 16583 16745 16582 16473 16746 16474 22418 13311 13310 22424 13578 13612 9396 12723 12615 13043 10617 11143 10616 12922 12516 12834 11021 10715 13294 13293 13306 11145 13042 11022 10936 12517 12942 9411 10717 12849 13041 12617 9393 11295 11296 9395 11042 13292 13309 13308 13307 12630 12724 12835 12725 12616 10824 10840 10935 10825 9394 12518 11311 12923 12921 11294 11144 11293 10716 10730 10949 10823 10934 10618 12836 11023 12740 15380 15364 15365 15181 15363 15000 15014 15001 14999 15724 15695 15762 15013 15942 14890 14727 15180 15379 13512 13513 13509 13511 13510 13515 13508 13485 13507 13506 13514 15631 15630 15196 13596 13607 13598 13594 13600 13606 13597 13605 13608 13601 13595 13609 15832 16027 13289 13496 13497 15195 13504 13502 13505 13500 13499 13495 6861 14422 13290 13583 14626 14630 15863 13503 13501 13490 14724 15667 13611 14613 13587 14435 13721 13807 13822 14628 13820 19927 13586 14625 14618 14629 13585 13809 15666 13593 14627 13489 14619 13588 14614 15378 13493 14421 14615 14423 14434 13488 16028 15182 13584 13821 15864 13589 15012 13808 13498 12342 11381 12327 11383 12144 12142 11359 11975 12159 11394 12157 12158 12325 11358 12143 11344 12341 11346 11976 11357 11396 11974 12340 11382 9483 9459 10441 9444 9482 9496 10244 10427 9457 10257 10426 10075 9495 10242 9494 10442 10440 9458 10243 10074 10259 14907 13696 15446 15447 13788 9948 10729 12848 13778 11040 11962 12628 9788 9675 13789 16080 15948 15770 16000 15560 9690 10947 10063 14403 9799 10603 10601 9800 9410 9689 12501 13684 15270 9797 9786 13683 9801 14404 10602 15885 9963 9676 9960 13464 15093 11232 9964 11041 12940 9692 15870 10728 11961 12629 9691 11310 9787 12738 15092 9947 15561 10839 9333 9688 11963 12941 13463 15838 13779 9962 15871 15528 15642 15837 10062 15271 9798 10948 12739 9687 9959 9677 10076 9409 10061 12502 9332 9446 9796 11345 14410 9961 11233 12326 12847 15884 10258 14906 19948 9949 10838 15831 13603 9445 13604 9481 16081 15701 15999 15694 15947 15771 13722 13602 13582 15197 10425 13599 14436 11395 39386 39392 39393 32857 31705 31704 32858 32682 32681 39387 27076 27075 27079 27074 27084 20296 20298 20301 20302 20288 20305 20303 20290 20307 20293 20294 20292 20295 20297 20300 20299 20291 20289 20304 20306 27077 27078 27072 27073 15116 15517 15158 15151 15152 15511 15625 15341 15335 16082 34008 34015 33997 33996 33993 33994 34018 34007 34004 33992 34011 34013 34010 33999 34014 34005 34019 34012 34017 34002 34009 34006 34021 34003 34020 33998 34016 29310 21956 22137 21954 22138 21953 21952 22139 22135 21931 22136 22111 21955 22113 21929 22128 21951 21944 21945 22134 26689 32777 32781 32778 32756 32779 31638 31637 32770 31644 29025 29024 28646 28644 29023 28668 29015 28671 28999 28669 28672 29026 28670 29001 29022 32754 32775 32776 31643 26711 26709 26708 26712 26707 26710 26573 26203 26216 26421 26326 26310 26311 26435 26422 26202 26104 26420 26309 26201 26462 26392 24880 26528 26508 26509 26507 26102 24897 26103 24882 24879 26688 26178 24881 26179 26089 25912 26215 25927 25926 26325 26526 26527 24895 24967 24931 25745 25561 25729 32780 26065 26064 26397 25888 25883 25560 24969 25730 24968 25743 25728 25272 25549 25433 25273 25548 25434 25699 26578 26434 26467 26324 25889 26087 24930 24818 26088 26579 24932 24980 26214 25700 25562 25911 25913 25547 25928 26398 24981 25706 24982 24943 24896 26433 24819 25744 24945 26468 24944 24820 42610 42611 42601 42587 42585 40646 42612 40626 42609 42608 40627 40861 45224 45230 45223 42254 42255 40628 42256 42232 42230 42257 42258 42253 40624 42247 40860 40645 42607 39356 39355 39343 39341 39340 39357 39342 39354 45987 45985 46012 46009 46013 46011 46010 29021 28667 27059 27038 28661 46363 46340 46364 46366 46365 46367 46356 46342 45249 45252 45250 45254 45255 45248 45253 45251 45205 45204 46002 45229 46001 45228 46007 46008 45236 45237 46362 40272 40273 25664 32151 31981 24833 24832 20281 20283 20282 20279 20286 20280 20285 20284 32600 26835 20099 20102 20101 20100 26834 26766 26735 26760 26750 26753 19896 20162 20168 20169 19287 19403 18927 18931 18749 19506 19400 19753 19747 19111 19509 19619 19622 19749 19284 19402 19752 19621 18928 19398 18746 19108 19110 19508 19620 18748 19914 19113 19511 19112 18929 18925 18750 19510 18745 19404 19512 19286 18747 19751 19290 18930 19916 19918 19919 19917 19623 19915 19114 19750 19401 19289 19288 19617 19848 20086 20085 20087 26627 26628 26629 26530 25188 25358 18086 18089 18088 18087 18767 19421 18150 18137 18102 18187 18174 19737 13319 13325 13320 13323 13324 18871 13375 13376 13369 6728 6699 11255 11254 6725 11249 6726 6727 6723 11242 6701 6724 6622 13562 13573 13566 13571 13557 13565 13558 13570 13575 13559 13576 13563 13561 13569 13574 13572 13567 13568 13564 6902 5801 5802 5701 5645 5792 5817 5816 13550 13548 13556 13552 13549 13560 13553 13551 13577 13554 13555 5140 5143 5145 5144 5141 5142 5139 5809 5133 5137 5134 5797 5696 5751 5447 5752 5640 5639 5583 5448 5695 5796 5584 6921 6919 6918 6917 6922 6914 6913 6920 6860 6836 6843 6838 6835 6832 6830 6831 6833 6834 6837 6907 7018 6910 6908 6903 6906 6909 6912 6904 5473 5818 6916 6915 5136 5815 5138 5135 5520 5195 5551 5700 6911 5644 3019 4858 4756 4846 4971 4859 4755 4970 4903 5104 4847 4901 4898 5189 4853 5190 5105 4860 5016 5175 4865 5003 4904 5070 5052 5015 4848 4900 4743 4958 4895 4894 4897 5176 5064 4902 4800 4896 4899 4841 5065 4085 13157 6657 6640 6656 6655 6638 6639 9790 9681 9952 9953 12944 11046 5216 6448 5865 4792 6346 6291 6653 5214 3038 6499 3175 5025 6235 6636 6500 4793 6447 3161 6098 5026 5155 6652 5156 5024 5867 6867 3177 6654 3176 9789 6635 5035 4930 6403 6402 6234 6099 9680 5215 6347 4931 5866 6290 12668 12532 12895 12752 12557 12083 12753 13282 12777 11256 12085 13075 13074 12066 12242 12084 12417 12267 12068 12443 13072 12241 12067 12649 12916 13048 13025 12061 13026 13004 12080 12531 12418 12065 12081 12894 13049 12778 12442 12556 12917 12667 13073 12266 40717 40718 40689 6665 6666 6956 12079 12082 3156 7024 9040 8861 8875 9023 8762 8763 8862 9025 9024 8761 8860 3947 3946 3555 7068 7052 7051 7053 7050 6088 8571 8570 8572 6089 8587 9220 9041 9072 9236 9219 9056 9057 8746 8748 9221 8747 2838 2925 3015 2141 2140 2146 2927 2926 2928 3016 2145 8735 13491 13492 6938 6927 6934 5129 5171 5166 4953 5117 5080 5092 4994 4985 5170 5127 2852 5090 4952 4997 5169 5168 4951 4996 4940 5128 5093 4998 4950 5091 5130 4995 5089 4830 5002 5051 4911 4833 4912 4842 4829 4834 3164 4913 4910 4843 4914 4844 4915 4845 4831 4832 6993 7017 6991 6992 7000 6996 6990 6994 6989 6895 6995 6898 6896 6899 6894 6900 3155 13487 13486 2337 2359 2358 13055 12078 13154 7041 8653 8654 5167 7167 8874 9092 7153 7628 7629 7643 7152 7641 9091 7630 7166 7165 7067 7066 7642 3093 128822 128823 3065 3064 827 2355 2342 2336 2356 6671 2354 2345 2326 2353 3075 3068 3066 6670 2328 2343 2327 2352 6669 2357 3163 3070 3069 6931 6932 6928 6929 6930 6955 6933 3067 3071 3092 2360 2344 128903 128906 128901 128900 128892 128888 128891 128890 128894 128897 128899 128893 128831 128846 128852 128830 128838 128833 128832 128856 128844 128845 128755 128855 128756 128750 128885 128853 128854 128824 128825 20042 19942 13149 13248 13167 13164 13174 19967 19973 19960 19957 13180 20041 13249 7124 8477 9078 7029 7028 9044 8767 8768 8299 8113 9077 9045 8114 7123 8300 8478 6810 353 6487 747 1699 807 809 804 808 3026 3024 3022 3021 3029 3037 3023 3025 3027 3028 3051 3057 3042 3043 3041 3039 3058 3044 3050 3047 3049 3045 3060 3046 3052 3061 3059 3054 3055 3053 3056 3040 3048 9071 8220 4783 9039 6778 4949 8219 9038 4782 6505 5126 9070 8873 4948 5160 6779 6809 7154 8402 7820 7822 8586 7832 7833 7821 8585 8403 6862 6864 6865 6868 6874 6870 6869 6863 6722 6721 6866 6901 6893 6897 6905 124810 128611 128860 128907 128905 128744 128895 128898 128826 124811 128902 128857 128889 128904 128848 128850 128834 89186 13146 13147 13148 6527 13134 6715 6501 6521 9235 6511 6595 9234 6514 806 546 545 547 805 355 803 743 745 744 746 2347 2346 825 829 828 826 128842 128843 128841 128840 128896 135408 370 1247 3127 3095 1966 1969 846 767 1259 1235 3123 2092 562 3099 1963 3126 1313 3133 135218 1635 1640 3137 3096 3129 1207 3132 1611 1623 1922 3098 3130 1264 3128 3154 3131 3097 1204 11575 11589 11309 12503 14739 14738 14737 14736 14735 14734 14728 14725  0
1714.05/1714.17	
1714.05/1714.17	c Core has size 22563

OK	22563

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

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.92 4.43 1.88 4/189 22996
/proc/meminfo: memFree=31592528/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=11804 CPUtime=0 cores=5,7
/proc/22996/stat : 22996 (runsolver) S 22994 22996 22849 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 915793350 12087296 50 33554432000 4194304 5436572 140735188813472 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699977015 0 0 17 5 0 0 0
/proc/22996/statm: 2951 50 31 304 0 2643 0

[startup+0.0455979 s]
/proc/loadavg: 6.92 4.43 1.88 4/189 22996
/proc/meminfo: memFree=31592528/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=27256 CPUtime=0.01 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 3932 0 0 0 1 0 0 0 22 0 1 0 915793350 27910144 2758 33554432000 4194304 4365125 140733219266272 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 6814 2758 253 42 0 3962 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27256

[startup+0.100542 s]
/proc/loadavg: 6.92 4.43 1.88 4/189 22996
/proc/meminfo: memFree=31592528/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=29324 CPUtime=0.06 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 6165 0 0 0 6 0 0 0 22 0 1 0 915793350 30027776 3881 33554432000 4194304 4365125 140733219266272 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 7331 3881 253 42 0 4479 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29324

[startup+0.300512 s]
/proc/loadavg: 6.92 4.43 1.88 4/189 22996
/proc/meminfo: memFree=31592528/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=38400 CPUtime=0.26 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 13398 0 0 0 24 2 0 0 23 0 1 0 915793350 39321600 6640 33554432000 4194304 4365125 140733219266272 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 9600 6640 262 42 0 6748 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 38400

[startup+0.700443 s]
/proc/loadavg: 6.92 4.43 1.88 4/189 22996
/proc/meminfo: memFree=31592528/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=43760 CPUtime=0.66 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 16664 0 0 0 64 2 0 0 25 0 1 0 915793350 44810240 7111 33554432000 4194304 4365125 140733219266272 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 10940 7111 262 42 0 8088 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 43760

[startup+1.50031 s]
/proc/loadavg: 6.68 4.43 1.89 5/190 22997
/proc/meminfo: memFree=31539944/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=50904 CPUtime=1.47 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 18725 0 0 0 144 3 0 0 25 0 1 0 915793350 52125696 8753 33554432000 4194304 4365125 140733219266272 18446744073709551615 4257796 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 12726 8753 262 42 0 9874 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 50904

[startup+3.10104 s]
/proc/loadavg: 6.68 4.43 1.89 5/190 22997
/proc/meminfo: memFree=31503380/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=77716 CPUtime=3.06 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 25498 0 0 0 303 3 0 0 25 0 1 0 915793350 79581184 14390 33554432000 4194304 4365125 140733219266272 18446744073709551615 4257793 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 19429 14390 262 42 0 16577 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 77716

[startup+6.3005 s]
/proc/loadavg: 6.47 4.42 1.91 5/190 22997
/proc/meminfo: memFree=31366560/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=97856 CPUtime=6.26 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 43967 0 0 0 620 6 0 0 25 0 1 0 915793350 100204544 18613 33554432000 4194304 4365125 140733219266272 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 24464 18613 262 42 0 21612 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 97856

[startup+12.7004 s]
/proc/loadavg: 6.27 4.41 1.92 5/190 23034
/proc/meminfo: memFree=31311948/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=184068 CPUtime=12.66 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 129960 0 0 0 1249 17 0 0 25 0 1 0 915793350 188485632 40134 33554432000 4194304 4365125 140733219266272 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 46017 40134 262 42 0 43165 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 184068

[startup+25.5003 s]
/proc/loadavg: 5.92 4.40 1.94 5/190 23072
/proc/meminfo: memFree=31129424/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=368764 CPUtime=25.47 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 289654 0 0 0 2513 34 0 0 25 0 1 0 915793350 377614336 83694 33554432000 4194304 4365125 140733219266272 18446744073709551615 4262585 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 92191 83694 263 42 0 89339 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 368764

[startup+51.101 s]
/proc/loadavg: 5.16 4.36 2.00 5/190 23109
/proc/meminfo: memFree=30987528/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=476340 CPUtime=51.06 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 448834 0 0 0 5055 51 0 0 25 0 1 0 915793350 487772160 99076 33554432000 4194304 4365125 140733219266272 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 119085 99076 264 42 0 116233 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 476340

[startup+102.306 s]
/proc/loadavg: 4.56 4.32 2.11 5/190 23111
/proc/meminfo: memFree=30753208/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=511784 CPUtime=102.27 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 609133 0 0 0 10157 70 0 0 25 0 1 0 915793350 524066816 121374 33554432000 4194304 4365125 140733219266272 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 127946 121374 264 42 0 125094 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 511784

[startup+162.3 s]
/proc/loadavg: 4.28 4.27 2.23 5/190 23158
/proc/meminfo: memFree=30783980/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=691488 CPUtime=162.26 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 752734 0 0 0 16140 86 0 0 25 0 1 0 915793350 708083712 118343 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 172872 118343 264 42 0 170020 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 691488

[startup+222.3 s]
/proc/loadavg: 4.15 4.24 2.34 5/190 23160
/proc/meminfo: memFree=30543732/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=691488 CPUtime=222.26 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 752734 0 0 0 22140 86 0 0 25 0 1 0 915793350 708083712 118343 33554432000 4194304 4365125 140733219266272 18446744073709551615 4262661 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 172872 118343 264 42 0 170020 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 691488

[startup+282.301 s]
/proc/loadavg: 4.11 4.20 2.45 5/190 23161
/proc/meminfo: memFree=30601340/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=712508 CPUtime=282.26 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 780311 0 0 0 28137 89 0 0 25 0 1 0 915793350 729608192 124197 33554432000 4194304 4365125 140733219266272 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 178127 124197 264 42 0 175275 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 712508

[startup+342.301 s]
/proc/loadavg: 4.04 4.16 2.54 5/190 23166
/proc/meminfo: memFree=30532820/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=694052 CPUtime=342.26 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 802707 0 0 0 34134 92 0 0 25 0 1 0 915793350 710709248 121891 33554432000 4194304 4365125 140733219266272 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 173513 121891 264 42 0 170661 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 694052

[startup+402.301 s]
/proc/loadavg: 4.01 4.13 2.63 5/190 23205
/proc/meminfo: memFree=30660384/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=694052 CPUtime=402.25 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 802707 0 0 0 40133 92 0 0 25 0 1 0 915793350 710709248 121891 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 173513 121891 264 42 0 170661 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 694052

[startup+462.301 s]
/proc/loadavg: 4.00 4.11 2.72 5/190 23280
/proc/meminfo: memFree=30699644/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=698148 CPUtime=462.25 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 809357 0 0 0 46132 93 0 0 25 0 1 0 915793350 714903552 122405 33554432000 4194304 4365125 140733219266272 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 174537 122405 264 42 0 171685 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 698148

[startup+522.301 s]
/proc/loadavg: 4.00 4.08 2.79 5/190 23282
/proc/meminfo: memFree=30704112/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=702244 CPUtime=522.25 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 867449 0 0 0 52125 100 0 0 25 0 1 0 915793350 719097856 122243 33554432000 4194304 4365125 140733219266272 18446744073709551615 4242730 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175561 122243 264 42 0 172709 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 702244

[startup+582.301 s]
/proc/loadavg: 4.00 4.07 2.87 5/190 23283
/proc/meminfo: memFree=30678860/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=696100 CPUtime=582.26 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 892773 0 0 0 58122 104 0 0 25 0 1 0 915793350 712806400 121472 33554432000 4194304 4365125 140733219266272 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 174025 121472 264 42 0 171173 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 696100

[startup+642.3 s]

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

/proc/meminfo: memFree=31006348/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=706340 CPUtime=1062.24 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1074615 0 0 0 106096 128 0 0 25 0 1 0 915793350 723292160 122725 33554432000 4194304 4365125 140733219266272 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 176585 122725 264 42 0 173733 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 706340

[startup+1122.3 s]
/proc/loadavg: 2.00 2.44 2.57 3/178 23346
/proc/meminfo: memFree=31001212/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=708388 CPUtime=1122.24 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1074872 0 0 0 112096 128 0 0 25 0 1 0 915793350 725389312 122982 33554432000 4194304 4365125 140733219266272 18446744073709551615 4258095 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 177097 122982 264 42 0 174245 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 708388

[startup+1182.3 s]
/proc/loadavg: 2.00 2.35 2.53 3/178 23347
/proc/meminfo: memFree=31020984/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=685860 CPUtime=1182.24 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1081274 0 0 0 118095 129 0 0 25 0 1 0 915793350 702320640 120155 33554432000 4194304 4365125 140733219266272 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 171465 120155 264 42 0 168613 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 685860

[startup+1242.3 s]
/proc/loadavg: 2.00 2.29 2.50 3/178 23349
/proc/meminfo: memFree=31028152/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=685860 CPUtime=1242.23 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1147883 0 0 0 124086 137 0 0 25 0 1 0 915793350 702320640 120155 33554432000 4194304 4365125 140733219266272 18446744073709551615 4272160 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 171465 120155 264 42 0 168613 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 685860

[startup+1302.3 s]
/proc/loadavg: 1.81 2.20 2.45 2/172 23375
/proc/meminfo: memFree=31360380/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=718628 CPUtime=1302.24 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1159939 0 0 0 130085 139 0 0 25 0 1 0 915793350 735875072 124267 33554432000 4194304 4365125 140733219266272 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 179657 124267 264 42 0 176805 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 718628

[startup+1362.3 s]
/proc/loadavg: 1.30 1.98 2.36 2/172 23376
/proc/meminfo: memFree=31360360/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=718628 CPUtime=1362.24 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1159939 0 0 0 136084 140 0 0 25 0 1 0 915793350 735875072 124267 33554432000 4194304 4365125 140733219266272 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 179657 124267 264 42 0 176805 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 718628

[startup+1422.31 s]
/proc/loadavg: 1.11 1.80 2.27 2/172 23378
/proc/meminfo: memFree=31360340/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=718628 CPUtime=1422.25 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1159939 0 0 0 142085 140 0 0 25 0 1 0 915793350 735875072 124267 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 179657 124267 264 42 0 176805 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 718628

[startup+1482.3 s]
/proc/loadavg: 1.04 1.65 2.19 2/172 23379
/proc/meminfo: memFree=31374188/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=692004 CPUtime=1482.24 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1164285 0 0 0 148083 141 0 0 25 0 1 0 915793350 708612096 120926 33554432000 4194304 4365125 140733219266272 18446744073709551615 4242708 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 173001 120926 264 42 0 170149 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 692004

[startup+1542.3 s]
/proc/loadavg: 1.01 1.53 2.11 2/172 23381
/proc/meminfo: memFree=31374168/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=692004 CPUtime=1542.25 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1171972 0 0 0 154082 143 0 0 25 0 1 0 915793350 708612096 120926 33554432000 4194304 4365125 140733219266272 18446744073709551615 4272172 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 173001 120926 264 42 0 170149 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 692004

[startup+1602.3 s]
/proc/loadavg: 1.00 1.43 2.04 2/172 23383
/proc/meminfo: memFree=31370064/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1602.24 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 160081 143 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 700196

[startup+1662.3 s]
/proc/loadavg: 1.00 1.35 1.97 2/172 23384
/proc/meminfo: memFree=31370168/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1662.25 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 166081 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 700196

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

[startup+1663.9 s]
/proc/loadavg: 1.00 1.35 1.97 2/172 23384
/proc/meminfo: memFree=31370044/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1663.85 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 166241 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263737 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1663.85
Current children cumulated vsize (KiB) 700196

[startup+1689.5 s]
/proc/loadavg: 1.00 1.32 1.94 2/172 23385
/proc/meminfo: memFree=31370140/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1689.45 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 168801 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1689.45
Current children cumulated vsize (KiB) 700196

[startup+1702.3 s]
/proc/loadavg: 1.00 1.30 1.93 2/172 23385
/proc/meminfo: memFree=31370140/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1702.25 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 170081 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1702.25
Current children cumulated vsize (KiB) 700196

[startup+1708.7 s]
/proc/loadavg: 1.00 1.30 1.92 2/172 23385
/proc/meminfo: memFree=31370140/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1708.65 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 170721 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1708.65
Current children cumulated vsize (KiB) 700196

[startup+1711.9 s]
/proc/loadavg: 1.00 1.29 1.92 2/172 23385
/proc/meminfo: memFree=31370140/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1711.85 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 171041 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1711.85
Current children cumulated vsize (KiB) 700196

[startup+1713.5 s]
/proc/loadavg: 1.00 1.29 1.92 2/172 23386
/proc/meminfo: memFree=31369892/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1713.45 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 171201 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1713.45
Current children cumulated vsize (KiB) 700196

[startup+1713.9 s]
/proc/loadavg: 1.00 1.29 1.92 2/172 23386
/proc/meminfo: memFree=31369892/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1713.85 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 171241 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1713.85
Current children cumulated vsize (KiB) 700196

[startup+1714.1 s]
/proc/loadavg: 1.00 1.29 1.92 2/172 23386
/proc/meminfo: memFree=31369892/32950928 swapFree=67050644/67111528
[pid=22996] ppid=22994 vsize=700196 CPUtime=1714.05 cores=5,7
/proc/22996/stat : 22996 (MoUsSaka) R 22994 22996 22849 0 -1 4202496 1173000 0 0 0 171261 144 0 0 25 0 1 0 915793350 717000704 121954 33554432000 4194304 4365125 140733219266272 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22996/statm: 175049 121954 264 42 0 172197 0
Current children cumulated CPU time (s) 1714.05
Current children cumulated vsize (KiB) 700196

Child status: 20
Real time (s): 1714.2
CPU time (s): 1714.15
CPU user time (s): 1712.69
CPU system time (s): 1.46078
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 1132292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.69
system time used= 1.46078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1173005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 20399

runsolver used 2.37364 second user time and 6.02708 second system time

The end

Begin job on node126 at 2011-06-14 10:59:06
IDJOB=3501429
IDBENCH=89973
IDSOLVER=2000
FILE ID=node126/3501429-1308041943
RUNJOBID= node126-1308041928-22870
PBS_JOBID= 13564691
Free space on /tmp= 73960 MiB

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

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

MD5SUM BENCH= 3752e4f5670213a8bb9d67d0b8cec264
RANDOM SEED=69477572

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31593296 kB
Buffers:        146328 kB
Cached:         747940 kB
SwapCached:      14596 kB
Active:         583380 kB
Inactive:       571388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31593296 kB
SwapTotal:    67111528 kB
SwapFree:     67050644 kB
Dirty:          117076 kB
Writeback:           0 kB
AnonPages:      258124 kB
Mapped:           9628 kB
Slab:           136828 kB
PageTables:       5700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   578812 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= 74064 MiB
End job on node126 at 2011-06-14 11:27:41