0.00/0.00	c MoUsSaka vegetarian
1.39/1.43	
1.39/1.43	s UNSATISFIABLE
420.76/420.84	c Core is minimal
420.76/420.84	
420.76/420.84	v 163247 159103 159101 154957 150811 150809 154955 167395 163249 175687 167398 159106 167403 175695 163257 171549 175697 163252 159111 171544 171539 171541 175685 175690 167393 125935 130079 142519 146663 146665 154965 59775 146673 138376 142517 142527 146668 154960 150814 142522 150819 138381 138373 130081 109349 113495 117641 113497 105205 134227 138371 134225 121789 109351 117643 121787 125933 105203 57608 55712 92767 92765 88621 101059 101057 96913 96911 61506 61503 55714 15252 15870 15867 17897 15911 15915 15916 15866 15921 17899 19000 18998 19003 18407 15920 57428 57430 57433 32150 19023 17919 17907 17908 19020 19026 17928 21348 22644 15869 15912 28433 29932 28405 29929 29927 28420 28418 22818 32570 28403 15930 15927 61500 88619 84475 80329 84473 80327 76181 76183 72037 113500 117651 134230 125943 121792 117646 130084 134235 125938 113505 105208 109354 105213 130089 121797 109359 101062 101067 92775 96921 88624 96916 92770 88629 84478 84483 72035 63788 55696 59728 63790 59726 80332 80337 26395 76186 72045 67899 72040 67894 76191 22112 22065 18639 18522 18659 18536 37058 37053 48149 49428 49434 49431 49585 51704 40166 40113 40050 40173 40106 40226 32394 32564 28767 36215 36342 36222 32447 32514 28817 28647 32331 36159 32387 28640 28584 36275 36392 28700 43814 47746 45465 45462 45459 43799 43801 25125 25061 25004 24951 25011 25172 18409 17073 17078 13864 16499 29955 29949 29952 32151 24815 28413 28434 28430 28414 28425 26243 17914 21673 19400 21361 21358 15922 15872 15943 15931 22638 15938 15940 22641 21854 21345 17924 40283 40233 22817 26238 26241 26244 33732 33735 32164 24787 26221 33738 26216 26218 32191 32167 32154 30106 18597 21981 18635 22061 18501 18518 49410 49407 47733 49413 45464 47745 41684 53402 53407 51706 53404 47743 47728 47770 51731 51735 53427 53430 51726 51714 55713 51715 53424 45442 45439 45617 45437 43786 41685 55729 43784 47759 33731 33736 33733 32152 51719 51721 24804 24801 28422 28419 32177 32160 32181 32161 32172 33756 33759 33753 24948 28402 24816 24807 24812 36398 36008 35979 28825 28823 37597 35981 37600 37595 39900 39894 39895 36019 33910 35992 35995 24810 24811 37599 37602 15480 15481 21899 17446 17445 21894 15936 18449 18444 17898 19024 19018 19021 24803 44726 44712 47748 39911 32180 26396 25203 25200 26031 26007 26010 26024 26021 26026 33222 33218 29730 32571 32574 33214 29722 29726 55716 35982 37596 43809 43806 43810 43795 43794 43811 43815 49148 49143 48674 48660 24826 40822 61657 39871 49106 49095 18999 19002 19005 17901 49590 24828 25002 25170 25059 25060 25171 24829 24998 24843 25166 24939 24849 25055 24846 25003 39884 39886 35558 29450 35560 25116 25117 25112 37642 35566 35591 35579 39452 39891 39416 39440 37615 37621 37618 39476 39402 39464 39403 24784 35607 35565 39876 39867 35603 39881 39896 37640 39480 29445 39864 39428 63847 61483 61478 61480 67908 69730 69733 69727 61547 61551 67907 59769 69886 52667 52653 59770 57609 59774 40047 63806 67924 67937 17927 40820 40812 15923 17911 41531 51705 37776 65598 65595 65601 47729 48151 47760 47740 47739 47751 47756 53581 43825 39868 43803 43800 39899 45616 43783 41509 41506 41504 63836 17543 17538 57455 53429 73855 73853 73858 55743 18224 41683 47730 55727 51734 67938 15871 19401 72497 67918 67917 67929 67934 72094 53583 53422 53425 53428 59761 59759 59771 57607 59766 69707 69712 67909 72057 73854 73857 73860 55739 55734 72070 72067 36918 36926 36928 29297 25606 33070 29289 33060 29299 33068 59743 59746 72054 69709 67892 49475 49479 53471 53475 57497 57501 28580 28449 24831 24947 96931 32606 36434 36429 32601 37259 37246 37245 37249 40324 40323 48180 48185 80362 80360 74033 25989 25990 18785 22407 18780 22415 80376 82324 78178 82167 82173 82170 84935 78179 80347 86292 84492 86298 84505 84495 86295 84508 80356 80372 80355 80367 76198 84532 82147 82150 82145 86296 86291 84493 86293 80345 69888 73880 78001 77999 78004 76201 86319 86316 86313 76229 55754 51708 53409 52124 53406 53403 84490 39912 52683 44742 52691 44752 48690 48698 52693 44750 48700 78180 59763 59760 59785 48033 51948 52061 48086 52008 47973 48026 52001 48143 48093 52068 52118 56016 56069 56009 56126 55956 56076 25596 25604 82172 20999 20987 21003 36335 28707 28760 25068 25118 32454 32507 36282 60101 60048 65752 69732 69729 69735 57612 63837 63823 63821 63828 63833 63817 63816 63805 61658 64226 72068 65578 65575 63808 65573 61505 56664 56678 56132 57432 57429 55753 57435 55726 56677 56671 56676 56669 36020 28444 25751 25746 41289 48852 45227 41310 45231 41300 48848 41286 41303 41305 29700 29701 37383 37388 8145 8142 9920 8146 9912 8094 9871 9870 40952 40947 72055 72053 25191 25192 48825 48830 45179 45174 44240 44235 31770 35532 31722 35544 31710 31782 35568 35580 28044 35528 31788 31758 28041 31746 31734 31706 35556 28050 28029 35523 35524 25730 25704 35592 31857 31863 31805 35703 35539 35694 35634 28098 28110 28086 28122 33597 35688 35604 35538 31729 31716 35627 35646 28117 33605 31875 35670 35689 35658 31809 28128 28116 31869 31845 31717 35550 31821 31728 35610 31833 35551 35697 31776 31777 35631 31864 35682 31635 20886 15432 28071 22515 18899 28074 18885 28839 28844 28005 27999 27987 22523 25712 28000 27993 17421 13512 17406 20931 13509 27988 25181 15387 28017 35448 45195 45203 35493 31680 33497 33489 26065 26070 26057 26059 26064 37353 37361 8091 21344 21915 25781 21929 25767 18479 18465 11652 11657 67891 67889 25838 39477 39453 37094 39444 39570 39449 39465 39483 37110 39571 39588 39576 37469 37461 39594 37217 37212 37029 39471 39411 37037 39429 29475 29470 29476 39535 39534 33252 33236 29481 39397 39417 39516 39441 36410 39412 39472 36405 37106 39552 39504 39540 39528 39564 39396 39405 39423 39424 59729 55699 63798 59731 51696 55704 59736 63793 51689 49544 49480 49535 53535 53486 53519 53507 49490 55697 51692 49583 53567 53561 53588 49523 53552 53579 49511 49565 53476 53531 49556 49571 55700 49592 53540 49539 76224 78027 78024 78021 76230 76225 44028 44081 44141 44088 55890 51885 44021 47966 43965 47910 51941 55886 43829 51749 47907 47774 43962 55757 51882 49200 55576 55588 55600 55687 55642 55540 55618 55510 55627 55651 55660 55558 55633 55522 55624 55597 55645 55585 55690 55666 55525 55534 55609 55606 55693 55621 55648 55528 55657 55678 55654 55504 55516 55672 55507 55531 55582 55615 55594 55573 55669 55564 55513 55561 55555 55519 55591 55543 55675 55684 55636 55681 55567 55579 55639 55612 55552 55549 55546 55603 55630 55537 55570 55663 59614 59722 59647 59608 59668 59551 59674 59593 59689 59590 59632 59587 59599 59707 59683 59677 59542 59578 59635 59665 59554 59602 59704 59557 59644 59545 59725 59716 59686 59560 59584 59671 59701 59605 59611 59713 59638 59536 59572 59539 59680 59629 59566 59698 59581 59641 59575 59659 59710 59548 59620 59653 59650 59662 59623 59617 59563 59692 59626 59695 59656 59719 59569 59596 55501 59533 41245 41244 21866 21861 44206 41202 45137 45132 41203 55694 36448 36446 51691 37775 41529 41532 41526 39582 39583 37172 37167 22328 57533 57545 57557 57512 57502 57578 57561 57566 57614 57605 57593 57587 59732 61583 61616 61562 61607 61595 61628 61664 63794 61655 61611 61552 63791 61637 61643 36400 35839 35881 35824 35827 35842 35830 35815 35929 35848 35851 35935 35887 35899 35905 35836 35878 35902 35911 35884 35896 35914 35959 35893 35950 35740 35767 35800 35809 35806 35794 35791 35785 35803 35770 35776 35737 35755 35749 35752 35725 35797 35782 35779 35773 35788 35734 35764 35716 35761 35708 35710 35821 35845 35872 35854 35857 35869 35866 35818 35923 35938 35932 35956 35947 35920 35875 35812 35728 35722 35758 35731 35746 35719 35926 35863 35917 35941 35908 35953 33473 33468 33199 33198 35962 39851 48150 48153 35598 35599 31801 31800 35652 35653 31828 31827 28080 28081 55893 55949 28062 28063 44148 44198 45223 32572 36401 39910 39885 39888 40796 40782 39745 39850 39766 39817 39670 39826 39712 39739 39781 39757 39754 39763 39751 39679 39667 39715 39706 39784 39724 39685 39820 39676 39802 39796 39847 39697 39673 39769 39688 39832 39778 39709 39703 39682 39814 39718 39835 39838 39727 39661 39808 39844 39733 39787 39742 39748 39823 39793 39760 39811 39694 39775 39841 39736 39829 39772 39721 39664 39799 39805 39691 39613 39655 39628 39649 39610 39622 39631 39640 39658 39616 39619 39643 39634 39637 39646 39625 39652 39601 39599 39604 21857 39487 35614 57613 17468 21359 29273 29259 31816 31815 35640 35641 51686 43768 47711 47713 51688 51676 51631 51646 51622 51580 51562 51655 51640 51685 51556 51682 51598 51634 51565 51667 51661 51652 51616 51628 51637 51607 51571 51679 51553 51670 51568 51547 51586 51577 51649 51592 51595 51610 51673 51664 51643 51559 51625 51613 51589 51604 51574 51538 51541 51658 51601 51550 51583 51544 51619 43681 43582 39853 43766 32134 35960 11969 8483 28385 30104 26375 10223 12029 19397 10256 30077 30092 22814 15833 17883 30086 19382 26354 15854 26366 22770 26393 13853 8474 17876 15828 13841 13829 10247 17875 30065 30113 21326 24770 32138 21336 30060 10226 15845 19365 32142 21329 11979 11972 11975 28391 11971 24777 15818 10235 28388 19391 24767 33881 33917 35963 33890 43776 47721 33908 33869 35966 35970 47716 39861 33896 33864 32132 28387 22823 28395 22796 15821 13895 15820 8462 13862 11996 32135 21328 19370 10230 24769 21332 19406 13832 15908 24773 13836 17873 13828 15950 13826 11984 22802 12005 51496 51511 51529 51514 51535 51520 51532 51499 51517 51502 51505 51526 51523 51508 47521 51745 51746 47605 47581 47539 43750 43594 47656 43705 43678 43609 43756 47671 43579 43732 47572 43735 47530 43630 47623 43621 43615 47650 43765 43720 47647 43624 47524 47554 43717 47689 47638 47593 47635 43693 43753 43576 43612 47548 43714 43603 43654 43675 43645 43618 47560 47545 47674 47683 47608 47542 47533 43747 47587 47602 47563 47629 43642 47707 47632 47611 43627 43696 43648 43744 43702 43672 47662 47566 43762 43597 43723 43699 43600 43636 47626 47677 43669 47584 47710 47551 47590 47680 47668 47659 43666 47665 47698 47704 47569 47536 47599 47617 47695 43588 43591 43741 43708 43633 43684 43585 47644 47692 47527 43663 43606 47596 43657 43711 47578 47653 47641 47686 47614 43726 43651 43687 43639 33804 29996 33800 30000 33805 33815 33836 33860 33848 43771 35965 39856 30044 30001 30056 30011 32137 30032 25580 25566 31963 32122 31948 32119 32041 31981 32002 32089 32095 32113 32065 31996 32125 32032 31987 32077 31954 32023 32059 32131 32014 31984 32053 32056 32104 32074 32035 32011 32044 31966 32071 31978 32026 32128 31993 32116 32020 32029 31990 32068 32107 32062 31999 32080 32047 31957 32086 32038 32092 31969 31972 32083 32101 31945 31942 32050 32008 17879 15824 26349 22787 22775 26381 26402 31912 31930 31909 31936 31894 31915 31888 31927 31906 31921 31891 31918 31933 31897 31924 31900 31903 31885 31882 35707 35704 35611 31876 31789 31792 31879 35515 39385 35511 31698 39384 39388 39488 31699 35504 35512 31702 35615 31703 31688 31673 31640 31645 31644 31661 29468 39484 39595 39598 37337 37332 29429 29424 37073 21346 25188 28854 25193 25205 25899 25910 25207 25900 28855 18276 18290 21737 21723 25983 25991 51472 51466 51457 51445 51478 51451 51469 51442 51484 51490 51493 51481 51463 51460 51448 51454 51475 51487 29673 29678 36888 33030 33044 36902 39854 37668 41573 41577 37664 45506 45510 45614 41654 43772 41642 37700 37781 37733 41663 39857 41578 45511 45575 45596 45542 45521 37679 41633 41609 41621 37760 45602 47714 45554 41681 37754 41669 41637 37669 37724 41690 37712 45566 47717 45587 45570 45623 43769 41588 37728 37772 37745 43549 47470 43531 47509 43534 47497 47503 43555 43525 47500 47488 43570 47473 47491 47506 43567 43540 47485 43564 43537 43522 47467 47512 47476 47494 43552 43561 43573 47515 43528 47479 47482 43543 33524 33519 40795 40794 40787 40789 49591 25578 25579 33013 33009 33010 36871 36868 36867 35996 36698 36693 37316 37311 21753 18316 18314 18306 21763 21761 22170 22214 18707 22163 22119 18666 18686 28198 28270 28315 28234 28195 28360 28282 28222 28321 28210 28252 28240 28348 28306 28312 28291 28258 28384 28249 28333 28267 28201 28219 28288 28342 28294 28381 28378 28318 28300 28369 28366 28375 28207 28327 28243 28339 28192 28279 28261 28264 28330 28363 28324 28303 28231 28309 28297 28204 28345 28354 28255 28273 28216 28285 28372 28213 28237 28357 28225 28246 29238 29242 29239 32986 29215 29214 36847 32985 29218 36844 32989 36843 40588 40587 45158 45157 41224 41223 41225 49127 49122 41220 45156 45153 25571 25573 21674 22256 24940 24943 39933 40038 39930 39927 40281 40282 40277 29449 26016 29448 26017 37079 37074 33221 33216 40973 40968 49272 49280 44205 44208 44881 44880 41268 41269 29428 29427 33200 33195 43242 49164 48944 41075 48939 49172 51256 51255 29574 29575 29406 44901 33356 44902 41296 41295 33179 33171 48851 33351 29407 48846 44958 43845 48912 44953 44964 44959 48899 29724 29729 43953 43848 43850 39915 40046 48908 43842 40313 40315 44929 44928 44934 44991 49194 24351 24348 44854 41065 48866 48882 32577 45225 41376 41372 45230 44996 41377 45303 44923 49199 37181 44214 44917 48878 48156 44950 40308 40343 48161 44215 40328 45311 32582 43233 45040 41090 44860 48989 44859 48984 45039 48809 41070 48801 41064 41078 33311 35665 35664 28824 28827 40608 37375 36792 37378 36442 36440 36797 40609 36719 37392 37400 36714 18272 18416 25985 15901 15894 15899 24772 21331 22754 22711 22766 22721 28390 22742 17473 15390 17472 17469 15504 15540 15541 13425 13428 13365 13368 13371 13421 27954 39303 24343 27912 39350 39300 39294 39354 39357 39297 35575 24438 24444 35574 31753 31752 33237 33777 28023 27980 24421 28024 24420 24426 33251 25871 31741 31740 51221 47249 43389 43317 51249 47277 41004 51237 51269 47253 43365 43341 43395 51264 47301 43361 47313 43377 51225 51261 51273 47325 43356 47265 43353 47331 43313 43329 47297 40988 47289 47292 47448 47382 43455 47320 43498 51351 51411 47319 47244 43437 43419 43412 43503 51375 43491 43509 47430 43485 47358 51285 43443 47359 47376 51358 43416 47388 43308 43309 51733 47283 47272 47271 51231 51216 47352 51327 51725 47443 43449 47454 51423 51303 47436 43438 51363 51333 47431 51717 51315 47259 51370 51281 47394 47344 51732 51713 51382 47400 49452 47424 43467 51399 47412 43479 47442 47348 51405 51324 51387 47364 49455 47309 51320 51297 51357 47383 43431 43486 51339 51429 51334 51418 51406 51417 26289 19070 22706 22710 26285 21856 22442 22437 18812 18804 17531 39485 35612 51881 51750 47906 47775 18551 29694 29702 29696 22315 22454 22274 22432 22446 22429 33757 33754 33751 33912 37622 22639 22637 22642 28856 22321 22349 22340 22332 28851 22319 29802 29810 27909 26098 26097 8067 11589 9822 9807 17397 24291 24344 20802 24260 24207 22346 29478 15537 15303 24204 26092 24213 24294 24297 29472 15348 29479 25839 13504 6391 13378 15534 24264 24288 13386 8143 9921 8141 8148 9910 29473 24267 8082 6405 11604 17382 20847 13383 24210 15503 15536 37440 33576 41349 29781 37427 33563 41338 45282 41343 49251 49238 29768 41344 45269 17601 17606 13374 15561 21014 17580 17556 21027 21063 17610 15555 15535 8167 21039 17616 17583 21054 15533 9934 9945 8172 8166 21059 15546 15551 21051 17535 17597 17481 20957 20976 24504 24499 20983 24498 20961 21006 21000 21069 20964 17514 24510 28067 17487 17482 19044 20982 17520 20988 21365 21357 21373 18884 28093 17598 31840 15538 17582 18900 15543 19047 31839 28092 21350 21341 21372 9933 9936 9900 9881 11670 9944 11694 9885 12021 12022 9951 8154 11649 9957 12013 8178 9876 11666 9928 17479 8170 9894 8160 12012 17477 8184 9927 8190 11700 12009 8179 11661 11712 9873 8169 11650 9963 11658 8164 9952 9869 17484 8155 12016 9909 55737 55738 32327 36024 32196 36155 40100 40104 55773 40105 55770 43961 55776 55755 55881 43830 40042 40164 40165 40039 40160 39913 22490 18864 18860 49247 15506 15513 22481 15508 15496 17568 22494 17558 18851 17564 24757 24724 24613 24682 24574 24700 24634 24586 24736 24646 24676 24742 24640 24679 24580 24607 24628 24703 24589 24631 24655 24625 24637 24688 24763 24601 29506 28469 29500 28572 29505 28467 33269 28461 29511 29497 33278 33282 28464 17710 17821 17743 17779 21148 21268 21244 17827 11797 10171 17716 17686 11863 17800 10174 17872 17698 21142 10060 15637 11905 15643 11848 15802 10162 11902 17818 17848 17680 17692 21145 11914 13741 15787 11842 11821 17842 17809 17719 17734 17689 21247 17824 15784 13702 13759 10153 13720 13771 11899 21232 21304 15649 15703 13822 15724 13708 15739 15742 10063 17806 11833 15757 10216 21283 13681 13645 13648 10045 13756 11929 17773 21136 21208 13669 13768 15766 13762 11806 10108 17731 15769 15712 11830 21175 17860 15634 21187 21172 11779 17767 11959 10117 11953 15790 13777 15652 10177 17725 17782 13717 17845 11827 21199 21262 21217 15631 15751 15670 21190 15685 13639 13672 10129 17713 15727 11950 13774 17752 13798 21229 21307 21241 21139 10183 11935 10201 13735 21253 21169 10078 13816 13633 10048 21271 21157 15760 13750 11782 13660 13636 11860 10090 15640 10138 17788 17704 17815 17803 21154 21301 21277 11893 10156 11938 10147 13744 10219 15736 11944 15709 10159 15661 13693 24664 11869 11803 10033 15772 10204 13738 10213 10120 10051 10135 15796 15658 10027 11794 13813 21163 10165 21151 21184 21325 21166 21298 10072 10132 21256 24733 21310 21274 11890 13729 11962 11920 10123 17866 17794 17695 24718 21133 13801 17683 17722 11881 11785 17851 21295 15811 10084 11791 13657 24592 5048 5050 6722 10220 8449 13765 15628 24670 10141 13786 11932 24721 24622 24652 24748 21250 13810 17785 17758 13705 11845 15700 24739 13678 13666 13792 10066 10180 10057 24616 11878 15676 24583 15805 13726 15817 11875 11818 17770 21214 21220 15814 15664 21319 10105 15745 15775 11812 13723 10168 15781 10054 10081 24727 24694 21289 24712 24604 24577 24745 11809 10042 24667 21181 15682 13711 21223 24691 11911 24754 24658 11866 11917 17740 21265 21316 13684 13747 10189 11788 15793 13732 24643 21196 24595 11887 11857 10030 10096 11872 10222 10195 15655 21211 21178 17701 17746 15730 15721 24766 13663 15718 24709 24697 24610 15673 11815 21280 17764 24649 24661 21238 10039 17707 17836 17791 17857 13699 11908 10099 10087 11896 21292 21202 21322 21313 17839 17755 17737 24730 10036 10192 11776 11800 21226 21160 13783 11941 13825 15748 15808 24706 24598 15688 10102 11956 17833 17812 11965 24685 24619 11926 10111 10126 15667 11836 10144 10114 15715 15646 13807 15799 17869 17830 17863 10210 15694 11839 17728 17749 17776 13819 13654 13714 24751 10093 15706 13687 11851 17797 10069 10207 13696 11923 10198 15691 15763 15778 15697 11884 21259 21286 21205 17854 17761 13753 24760 13690 21193 13675 10075 13642 15679 13804 21235 24673 24715 22664 25699 33572 37436 26345 26321 26290 26300 26333 40288 40291 25696 51439 51436 51308 39374 43400 51434 43301 43259 43519 39347 39359 47461 43271 39389 43516 47459 47336 43286 47464 35457 35501 35516 35494 31686 35458 35453 35474 35499 35486 31681 31687 35500 43289 51204 47232 43296 47225 43297 51205 47233 47236 43300 51197 51208 40301 55486 59500 59527 59515 59497 59494 59488 55465 59512 55444 55462 55492 59482 55456 55498 59479 59509 59476 59518 59485 55483 55450 59503 55489 55459 55447 59524 55480 59491 55468 55474 55453 55495 59506 59530 55471 55477 59521 13452 8106 6445 9846 9831 6459 13505 11628 13458 13455 13449 11613 51433 16498 13866 17071 16497 17079 17544 17083 17082 17536 17539 24827 18411 18244 25545 21702 18243 21706 25549 21703 18247 25546 22443 18803 26012 26019 18813 33525 33518 26014 22438 22436 18809 37080 37076 26093 22268 25211 25183 28831 43426 43425 28830 40296 47371 47370 25196 51307 41057 41049 39332 36417 31761 39317 39304 35562 35583 36422 32589 43238 32594 35588 35563 39358 31766 44921 40225 40220 40224 25458 29401 21625 21624 25459 25853 25841 25832 36006 35975 33780 36007 35984 35991 35999 55441 41264 17576 35987 15516 17571 15525 15521 36002 18408 37382 37389 35623 35622 39496 39495 35571 35576 15250 28106 28101 31749 28020 31754 28025 24483 24456 24475 35673 21042 31848 24492 24488 24468 21047 31853 24463 24480 35678 24451 24474 24462 51390 15489 15495 15526 15490 21034 17594 21033 21021 47415 47420 43470 17551 17550 17454 17455 18896 21022 51395 39560 17460 39555 43475 59473 28141 28165 28159 28186 28189 28183 28162 28171 28153 28177 28168 28144 28156 28150 28147 39523 39522 25766 25782 18480 21914 21930 39511 39510 43827 45224 41298 41293 41291 21926 49168 49167 18442 18450 18446 28133 28055 28138 28135 27977 27962 27935 27947 24559 24544 24532 24529 24538 28132 28051 20891 20937 20932 20895 24541 24535 24562 24517 24523 24520 24565 24556 27973 24550 24547 27976 24568 24553 24526 24571 24515 25778 37384 33520 21893 25745 29446 25752 29444 21900 29451 21895 25747 44697 40974 49162 44687 44689 44694 40967 49173 40969 37641 51373 55430 51426 55394 51398 55382 59742 55406 59751 59466 59349 51367 55346 59426 55320 59756 59471 59378 51386 41262 51422 59402 59350 41270 59462 57475 55434 57472 59353 59450 51365 59739 59390 59366 55321 59438 55358 51372 55334 55418 59414 55370 51431 55439 51410 44724 44725 44717 44719 21118 21091 21103 17671 17662 17629 17659 17668 17626 17650 17674 17632 17653 17677 17644 17623 21130 21097 21085 21115 21109 17656 21088 17665 17641 17638 21079 21094 21076 21124 17635 21121 21106 21112 21082 17647 21100 21127 17502 24514 24448 51304 41000 51430 20991 21947 24399 17494 24408 21368 17510 27960 28037 9887 9889 11682 9865 11678 11653 25331 21491 24434 27914 25327 24390 18497 25335 24391 21498 24402 28012 25799 17505 20970 20996 17493 21966 20971 24409 28032 27918 27955 24429 25834 24394 17497 25812 28011 18560 24414 18564 27913 11671 21352 21494 27919 27961 20848 20807 21962 25808 18060 20811 18053 20853 16118 15499 17464 14062 16120 16125 9917 8137 37127 39435 37136 39547 43373 43383 43407 39456 41034 39461 39436 43348 40931 43347 43323 39546 43368 51710 51291 43324 47407 43461 40923 47406 51276 41111 43335 47304 51243 37140 47343 47260 51381 47284 41021 51316 43336 43497 51232 51369 51292 43450 43384 47395 51728 51217 51701 43462 47245 51244 43408 39400 41106 51346 51345 41030 47332 43513 43510 43399 47455 47335 43396 9941 8161 15529 22821 22816 22684 24780 24792 24783 24797 15934 24437 24425 24441 20973 24396 24400 22682 20968 20974 17442 24397 17447 24413 20966 15863 22822 24446 21073 17620 21074 10015 11731 9982 11758 11752 9985 10000 10012 11722 9905 10024 11749 9970 11705 9973 11719 11728 11764 10021 9904 11770 9968 17621 11717 11773 9997 11725 9979 11737 11755 10009 9991 11743 9994 10003 11740 11767 10018 10006 17075 13867 9004 13886 13884 13888 12544 10777 13885 18239 21008 9858 9862 9964 11641 11640 11690 9967 11701 11713 11685 9859 11716 9901 17524 19361 19072 19214 19106 19289 15619 15595 15616 15622 15607 15470 15583 15589 15592 15574 15571 15601 15568 15613 15566 15580 15604 15598 15586 15610 15577 15397 15425 15413 15440 15455 15392 15391 17433 17437 13559 13591 15450 15451 13621 20949 21011 13531 20950 13624 13582 13627 13540 13600 13543 17525 13609 17434 13606 13574 20953 13597 20942 13585 13615 13576 13630 13539 15454 13588 15443 13594 13618 13603 24449 27965 24382 24379 24371 20855 13558 17414 20954 13387 15356 13375 9812 13445 11633 20924 17398 13403 13514 15355 9863 13555 20896 9827 17402 9826 15308 13573 17389 9814 13502 13544 13430 15465 13487 11609 15383 15466 20812 21007 15329 11594 15562 13561 15313 20897 20938 13418 21070 20840 9823 13570 20828 17426 11596 15439 15473 15341 11605 15371 13388 17411 13472 15438 17387 17413 20854 15398 11645 13429 13554 20870 20912 11608 17489 15354 17438 13460 9851 13529 17617 17521 15469 20882 17401 15349 9839 13546 18055 13513 15565 17422 15433 24311 24269 24445 24352 24214 24257 24326 24511 24299 24284 24368 24353 24227 24242 24268 24298 24383 11632 11629 9850 13459 9838 9836 9847 11618 1733 3383 6732 3380 8453 1754 6749 6737 8450 6758 15823 28129 1745 11974 3387 8457 5058 28174 11761 13579 28336 35944 39730 10186 28351 28180 28228 31939 31880 24378 39700 28276 43759 35860 43690 32098 13569 28054 17425 47458 11734 13780 11947 47620 20939 31960 9976 9988 43243 39790 32017 15458 43660 47557 15754 32005 31793 31951 15625 32110 15396 43514 21010 27972 13651 13789 15733 11824 31691 43558 35743 13795 47575 11968 11620 35713 35890 39607 35833 15312 11854 31975 47518 43729 6724 11621 11704 10150 8447 24341 11746 11644 43738 13612 13831 47701 43546 60725 60711 64776 64790 29809 29804 29808 29772 29779 29773 33564 37428 33575 29778 37439 37128 37139 43958 39558 31764 35676 31851 35677 29576 35586 28832 28035 25800 35587 29540 33246 33247 33241 39460 31765 29499 39401 29571 31852 29510 25811 28036 56068 56067 56063 55442 40332 40335 48844 49193 40043 29775 29776 29770 22482 15498 26099 39875 28581 28448 36156 32195 32328 39914 36023 27942 28874 24830 18519 24324 25455 33172 28008 32209 18554 27979 22058 33355 17595 28013 18539 18515 18499 28846 24361 29137 18863 17562 39890 39882 24360 29534 24320 31836 18558 21965 22062 25460 35661 32207 29555 29400 35564 29136 27945 33177 28089 28104 26058 18470 18107 29408 32212 12019 28066 27888 11669 37644 12008 28577 18852 39897 12010 33239 15512 18474 24315 27882 26069 11697 39866 9882 33273 39898 21980 24944 11648 29465 18475 18466 29676 32580 31742 29677 39893 9874 33280 33279 33274 18561 11693 28094 9893 12015 18463 28105 17530 9883 17591 27891 18632 31841 22493 18415 17565 12024 17566 27938 32581 26091 17529 18595 35666 39548 18414 33354 39437 39500 33178 29543 29526 17596 27885 21948 35559 12018 39559 9897 28859 39459 18636 32317 39432 39543 24366 31737 18562 65711 65690 65678 72041 65702 69857 67895 65647 65642 65646 69776 69780 69836 69812 65750 69824 69893 65759 65723 69840 69791 69866 69872 69781 69884 65657 72038 65706 65732 69845 65738 84522 59787 56704 15887 15876 13877 21780 21788 18343 57213 56175 56178 57210 25602 33095 25623 40819 33097 40818 40815 29326 33087 60723 60724 60718 60716 40761 56694 56702 84518 84501 84513 84502 40765 40762 21790 13872 18333 25599 15889 25631 18341 13879 36953 36955 36945 25633 29324 29316 25603 65357 65364 61272 64985 73256 69123 73269 69110 64989 69491 69498 53196 53189 57215 57222 55885 55756 55882 96929 98909 92813 101116 92782 96960 94762 94763 98756 101091 69425 69420 73566 73571 101092 90618 92785 98751 98754 101089 98757 98908 102900 98731 98734 98729 102903 102897 101074 56648 73047 73061 68915 68901 78072 73926 73922 78068 105235 69356 69345 101105 96944 96946 102875 102877 102880 101077 94764 103054 69377 69372 69441 69446 53102 53091 96970 101519 90463 90461 57227 61268 57234 57229 57223 74037 88667 80375 76184 88637 78132 78185 73970 80330 73986 73958 78137 88639 90439 90442 90437 105236 101106 56120 56125 56124 56008 55948 56003 55943 55947 56007 61264 101079 102876 102882 96945 96951 96956 96940 96939 101076 96948 102879 96954 96955 94588 94583 94585 105238 90617 69404 69393 61167 61178 57128 57117 65270 65259 74018 78128 73982 78176 78149 78158 80333 78073 78083 78104 74003 73991 74030 73927 73937 74012 76187 78116 74039 78164 9878 39877 52160 40320 40325 56163 56168 52155 73637 73644 56134 72025 71935 71875 71932 71992 72004 71965 71911 71959 71920 71869 72010 71887 71863 71848 72034 71977 71950 71926 71929 71884 71914 71983 71986 72007 72028 71860 71947 71845 71851 71893 71938 72001 71866 71953 71998 71908 71962 71857 71890 72031 71974 71980 71944 71878 71905 71989 72022 71881 72013 71917 72019 71995 71971 71902 71896 71872 71899 71956 71941 71923 71854 71968 72016 52126 45201 45202 48829 48828 52823 52818 56834 56829 60881 60876 45197 52845 56849 52838 56856 53139 53144 57165 57170 56623 52609 52608 56619 52612 56620 44882 48620 44877 63670 63679 63709 63784 67828 63646 63610 63754 63664 67771 63751 63640 67882 67879 67843 63628 63691 67786 67741 63685 67768 67729 63682 67855 63724 63688 63697 67744 63727 67813 67807 69539 65405 65418 61312 61317 61318 61323 69552 63649 63616 67822 63766 67810 63718 67873 67792 63652 63772 63781 63706 67831 67867 67711 63601 67804 67774 67753 63760 67789 67708 63619 67798 67864 67720 67861 67699 67777 67834 63715 67705 63739 63775 67723 63733 67738 63622 63613 67765 63787 63703 67858 63745 67756 67780 67846 63661 63676 63658 67825 63748 67888 63607 63742 63673 67819 67714 63712 63736 63637 63667 67816 67876 63631 63655 63625 63598 67735 67852 67801 67762 67885 63634 63730 67870 63757 67795 63763 67747 67840 67759 67732 63694 63604 67783 63769 63700 67750 67717 67849 67726 63643 63778 63721 67702 67837 69581 69573 73685 73698 74038 76045 76087 76159 76180 76072 76117 76021 76078 76081 75994 76141 76027 76138 76006 76099 76153 76039 76048 76126 76054 76093 76105 76051 76042 76024 75997 76036 76057 75991 76108 76114 76012 76066 76120 76033 76132 76177 76063 76060 76174 76102 76147 76003 76168 76000 76009 76162 76015 76090 76129 76171 76075 76150 76111 76084 76156 76030 76018 76096 76135 76165 76144 76123 76069 60693 60696 59786 75988 71815 71806 71812 71827 71821 71809 71803 71836 71783 71791 71842 71785 71839 71824 71830 71794 71788 71818 71800 71797 71833 67696 56851 60903 60896 63595 51141 51186 47214 55185 55140 68387 68382 60476 60471 49105 49104 69548 67948 51718 49101 44648 60188 60183 55145 55191 55149 55186 69215 69210 48173 56156 52143 48168 52148 56151 71577 63366 63525 63465 63338 71592 67524 67621 71644 71760 71631 67537 71724 71683 67461 52932 63318 63460 71676 63531 67479 67578 71620 63384 63330 57294 71766 67403 63361 56144 67506 71778 67502 71613 67451 63480 63405 71625 63360 71736 67443 67455 71652 63350 56915 63424 67439 63397 67609 63520 67474 71608 56139 67399 71659 56948 56943 60951 71712 71549 67497 71658 67542 63441 63507 67419 71601 63435 53276 57101 52937 67485 63477 71688 63354 71648 63485 71597 63373 63372 67518 67614 63459 71767 71707 67561 67407 67462 67590 60962 63345 67608 63342 63513 63453 56993 56904 71553 67446 57302 71589 63429 63411 67602 67620 67560 71544 71670 61040 67431 71545 63396 63306 63333 71565 57096 63412 60171 53268 67581 71664 63417 61035 63436 67566 71706 71607 63501 67530 67467 67626 71682 71585 71580 71732 67525 67554 71748 71727 71700 71671 63423 71643 63297 63378 63519 56988 67434 67498 67398 67586 63489 57080 60176 67513 71772 67536 67473 67512 71619 63508 63298 67632 74032 71739 63492 71744 63497 67593 67598 67690 67672 63577 67660 67651 67648 63550 63544 63571 67675 63556 63580 63589 67657 63583 67642 67681 67684 67654 67693 67678 67669 63541 63562 63592 63574 67687 63565 63559 67666 63547 63568 63586 63553 67645 63538 67663 67639 67636 71782 63535 84521 80386 88664 80370 80371 80364 80361 88654 92784 90465 90459 88647 88648 84510 90462 88652 82325 86470 88659 84507 88668 64754 64761 64758 60689 80344 72499 73265 76240 74034 101094 57224 77207 77193 53195 53190 56131 44779 40839 44769 40849 48727 48717 40847 44777 52710 52718 48725 52720 68939 64806 73087 60751 64814 64816 73085 73077 60749 60741 68931 84491 88678 88651 88638 88641 89081 90441 90438 90444 92824 85525 81379 89671 77223 89661 77231 85515 81369 81377 89669 85523 89631 89645 85485 85499 81339 81353 76242 77206 77200 77198 93777 93791 110375 110361 92826 96928 106215 106229 105262 102083 102069 102948 107094 86364 90510 94656 98802 111240 115386 111236 115382 107090 102944 69897 65637 69771 57492 15957 3417 26280 6762 6765 10260 13902 19065 53592 8487 10263 19062 13899 3420 86355 29991 22827 53466 49596 90501 82335 78063 82209 78189 1758 5088 30117 8490 74043 49470 33921 15954 22701 45501 45627 12033 37659 12036 41568 73917 41694 37785 5091 26406 19410 33795 90627 86481 57618 61668 65763 61542 92825 111241 111344 113501 111326 111272 111353 111296 111284 113498 111300 111332 111251 111305 111317 117647 115451 115472 115463 115442 115446 115478 115490 115418 115499 115387 115397 117644 115430 90602 86477 90575 86396 86408 90566 90542 90623 90511 90587 90554 88622 86375 86441 86456 92768 90614 86424 90596 86429 92771 86468 86420 90521 86365 90570 86450 88625 68941 77233 77205 84479 82310 82331 82322 82283 84476 82304 82278 82295 109352 98798 86360 94652 90506 107198 98862 101060 103034 107159 102980 98906 107186 101063 94748 102959 96914 105209 107207 98867 98879 94721 98803 107105 109355 98894 107180 98834 94742 98858 94688 103025 102949 107138 103061 96917 107171 103013 103008 94712 94667 94700 107095 94716 103040 98915 98813 103052 107126 107150 98846 107154 98888 94769 94657 105206 102992 103004 94733 94760 97937 97923 82218 82214 109408 107046 105221 107043 107049 109366 105232 105243 105231 105252 105248 82250 82219 82274 82229 82262 109368 92611 92641 92746 92743 92608 92755 92644 92593 92737 92623 92638 92689 92590 92605 92626 92683 92710 92764 92713 92758 92659 92731 92635 92647 92671 92662 92656 92722 92599 92665 92614 92575 92695 92650 92680 92581 92728 92707 92698 92740 92578 92677 92602 92692 92617 92674 92686 92752 92584 92725 92587 92620 92749 92761 92632 92668 92734 92719 92653 92716 92596 92629 92701 92704 107205 96971 92800 64227 64230 113543 113515 113512 115318 115315 115313 117659 111348 109397 52127 64981 107201 107200 109381 109384 109409 106245 106255 106253 48639 52633 52636 56644 56647 48643 56643 44692 44695 61242 64966 64965 61238 68353 69090 52839 52844 97963 97961 102109 102107 102099 97953 93817 64756 64755 93807 93815 69095 64759 48640 61243 44691 60694 52632 60690 60691 68351 86030 86025 60108 77795 64163 64110 64103 72368 68229 72246 60041 72305 64220 64170 64050 59925 68222 68166 72431 68100 59988 68345 72438 64043 68097 72243 59789 63851 67952 63984 59922 72098 68292 68285 72312 63987 59981 77797 72491 69711 69714 67921 67911 69708 60158 59918 68159 72375 115340 85702 81929 76577 73649 73645 76514 76458 81936 85707 76521 73656 85700 77786 73659 81561 86075 81554 77402 77415 89853 93229 89840 85694 86082 81556 73651 77790 119481 119487 119484 117658 93986 93999 93995 121822 121819 113528 113530 109183 109249 109294 109297 109174 109171 109180 109345 109216 109177 109315 109282 109270 109198 109309 109237 109168 109258 109330 109225 109162 109204 109273 109195 109186 109213 109312 109252 109231 109234 109300 109339 109240 109291 109165 109318 109189 109264 109288 109336 109342 109306 109159 109333 109210 109279 109219 109303 109246 109192 109222 109348 109255 109327 109243 109201 109207 109261 109321 109276 109267 109324 109285 109228 127932 125981 121835 113544 117689 115492 117676 117673 117661 119459 119464 119461 121805 123633 123627 123630 117681 117686 117690 117669 117660 117670 115493 102264 119638 121846 125968 123610 123605 123607 121807 111347 123631 121806 125966 125965 123786 125994 127776 127773 127779 125992 125993 127778 122249 121809 123606 123609 123612 123628 123625 121836 121827 121816 121815 121832 121820 125952 127774 127771 125982 125978 125973 127777 144408 140262 152700 148554 136116 130099 131897 131899 131902 131924 109371 109811 111171 111174 111168 134273 144514 105103 105043 105181 105070 105085 105019 105199 105046 105079 105061 105025 105016 105112 105124 105148 105052 105040 105202 105133 105184 105193 105031 105169 105160 105127 105175 105130 105157 105013 105094 105172 105058 105064 105022 105190 105151 105142 105100 105154 105088 105196 105034 105178 105139 105082 105037 105091 105067 105076 105145 105109 105121 105118 105163 105097 105049 105073 105055 105028 105136 105106 105115 105166 105187 138389 111172 111169 109369 111167 134243 138390 140368 81548 138430 136223 138833 136043 136048 134245 136045 138403 138406 140193 138405 138408 138393 140196 140190 134259 132076 136068 136071 136065 134257 140191 138391 140189 140194 132077 132078 127751 134244 142565 130096 138388 134260 134274 134262 134253 134270 134254 134265 130097 125953 127753 130127 127931 136070 131922 125950 131925 131919 130116 130113 127756 127824 131970 119532 123678 114507 118667 118653 114521 122813 122799 126959 126945 152696 140211 140214 134268 134269 134242 140217 130112 130114 136222 117700 115335 115341 115338 152732 152744 152756 154958 152792 152786 152777 152711 152813 152765 154961 152804 152760 140216 118103 130128 130124 130119 148506 148509 148503 163253 161069 161096 161036 161048 161003 163250 161084 161052 161024 161057 161078 161105 165170 165230 165182 165215 165149 165198 165224 165242 165251 165203 167399 167396 165194 156932 156938 156950 159107 156923 156911 156959 156890 156906 156902 156878 156857 159104 142535 121612 121786 121726 121708 121684 121756 121627 121687 121603 121732 121639 121657 121660 121702 121645 121714 121750 121648 121615 121720 121762 121642 121681 121783 121633 121606 121759 121678 121624 121630 121717 121780 121609 121753 121771 121672 121651 121600 121768 121696 121669 121735 121675 121744 121618 121597 121765 121711 121663 121654 121693 121729 121705 121621 121723 121666 121777 121636 121738 121747 121699 121741 121690 121774 146666 144340 144337 144335 142537 142566 136224 144363 144360 144357 155967 160113 165134 155981 165138 160127 160992 160988 156842 156846 151821 151835 146681 150829 156847 165139 160993 150826 150857 136069 136066 136063 144515 86077 84806 84750 88896 80723 84869 97251 80667 84813 88959 89015 97307 88952 93105 93161 127167 127162 127160 146680 131966 123674 119528 127820 146699 173486 173495 173474 169370 169340 173543 173441 173462 169316 169295 169328 169349 169361 171542 169388 171545 169344 169376 169397 173490 173516 173522 175688 173507 173534 175691 163180 163126 163219 163237 163231 163246 163081 163078 163102 163177 163189 163213 163225 163234 163216 163207 163057 163060 163123 163120 163132 163114 163105 163108 163141 163138 163159 163135 163129 163147 163153 158998 163063 163093 163144 163099 163072 163090 163150 163156 163111 163117 163075 163069 163084 163096 163066 163087 163204 163201 163210 163240 163192 163168 163195 163243 163183 163174 163186 163165 163228 163222 163198 163171 163162 159016 159001 158947 158974 158968 158995 158914 158941 159043 159037 159031 159004 159025 158938 158977 158911 158965 159058 159064 159073 159097 159076 159082 159070 159079 159085 159094 159055 159088 159091 159061 159100 159067 159052 159049 158956 158920 159010 158983 158953 158944 159046 158980 158935 158986 158971 158989 159007 159028 158929 158992 158962 158959 159022 159034 159019 158932 159040 158917 158950 158926 159013 158923 163018 163009 163042 163051 163024 163045 163012 163006 158860 158893 158863 158881 158866 158902 158884 158899 158896 158908 158869 158905 158878 163054 163015 163033 163030 163036 163021 163039 163048 163027 158890 158872 158875 158887 156953 163265 152806 154990 146698 146695 155004 155000 154995 154983 154984 152627 152629 152632 154988 155014 165245 163282 155003 164273 164259 169284 169285 169280 173431 168419 168405 173430 173426 156952 125917 125800 125764 125809 125860 125851 125803 125854 125908 125749 125755 125836 125890 125812 125824 125896 125914 125773 125929 125893 125899 125848 125857 125845 125881 125827 125791 125785 125806 125887 125839 125830 125782 125767 125923 125926 125818 125758 125779 125866 125869 125794 125842 125872 125833 125863 125932 125746 125902 125788 125761 125752 125878 125797 125821 125743 125776 125770 125815 125920 125911 125884 125905 125875 125719 125698 125692 125704 125713 125695 125725 125734 125728 125722 125716 125707 125710 125701 125731 125740 125737 152807 150858 148662 142552 142549 97898 94381 94379 109813 93759 93762 93752 110556 102639 114458 114465 114468 110551 110549 106403 106410 97905 97908 97901 113959 113956 125689 125686 110360 110376 110372 106214 106230 154909 154837 154798 154858 154855 154870 154816 154849 154864 154942 154825 154786 154813 154765 154804 154912 154894 154828 154873 154888 154891 154801 154867 154792 154933 154948 154768 154783 154831 154780 154915 154951 154921 154924 154930 154918 154939 154927 154777 154852 154936 154846 154819 154771 154822 154810 154795 154807 154774 154840 154945 154876 154897 154903 154879 154954 154861 154906 154900 154882 154789 154843 154834 154885 154750 154732 154762 154726 154747 154738 154759 154753 154744 154741 154729 154717 154720 154756 154735 154723 154714 142369 142366 142423 142339 142363 142426 142414 142393 142429 142513 142450 142444 142399 142342 146542 146632 146524 146560 146503 146488 146500 146581 146545 146599 146623 146509 146629 142417 142378 142384 142471 142333 142516 142381 142360 142351 142354 142435 142411 142336 142345 142501 142468 142459 142408 142447 142330 142462 142387 142432 142438 142441 142348 142498 142357 142453 142504 142510 142405 142420 142495 142456 142489 142507 146662 146617 146569 146578 146602 146572 146533 146584 146644 146518 146485 146554 146626 146497 146605 146479 146476 146539 146611 146473 146593 146647 146521 146650 142375 142372 142402 142492 142465 142477 146596 146536 146527 146638 146641 146515 146590 146587 146575 146656 146653 146506 146494 146557 146512 146566 146608 146614 146482 142480 142390 142486 142483 142474 146551 146530 146491 146563 146635 146659 146548 146620 142396 146467 146461 146464 146470 146458 146440 146449 146437 146431 146452 146434 146443 146425 146455 146428 146446 142327 142318 142312 142324 142321 142297 142291 142303 146422 142279 142285 142309 142306 142288 142282 142294 142315 142300 142276 140306 140322 142520 140294 140375 140339 140354 140327 140366 140348 140318 142523 140273 144473 144452 144521 144464 144494 144500 144512 144419 144468 144440 144485 146669 148667 148646 148640 148619 148658 148631 150812 150815 148614 136208 138374 136176 136160 136193 140263 138377 136148 136181 136220 136229 136127 136172 136202 144409 148598 148565 148586 148610 136117 159136 156795 156801 154975 156798 156778 156773 156775 159149 163280 163306 161099 163296 159119 163279 165093 165087 165090 161098 163003 162997 163000 158851 158857 158854 148555 152701 160947 160944 160941 169211 167413 169213 167410 163267 160921 160919 160924 159121 159150 165067 165065 165070 167855 123743 123710 125939 123764 123782 119592 119636 119588 119597 121793 119645 159118 152654 154972 167428 163292 163287 148661 159130 159141 159129 159146 154989 154992 163264 154973 110399 110391 110401 113554 127937 130082 127910 127884 131091 131105 160942 160939 160945 161100 159120 159563 167452 159160 159133 150852 150853 150868 142576 142270 146416 146419 142273 142267 146413 123791 123734 119576 123738 119533 121790 123689 119618 127889 127901 130085 125936 119543 127928 119609 119564 123770 123755 123679 127916 123722 119624 127880 127835 127856 127825 127868 134228 131981 134231 132047 132083 132056 132035 132074 132014 132002 132062 132026 132030 114506 114522 131971 114518 106226 159123 160920 102659 102666 160926 102291 102284 102286 106424 160923 106437 163307 110583 110570 114716 114729 110951 110958 106805 106812 106807 113835 113891 101397 94374 94375 81082 81081 94386 98520 94389 98516 105543 105599 101453 140258 135237 135251 118875 118862 118870 118868 115111 101811 127154 101812 123021 152652 152649 152655 144404 139397 148550 143543 143529 139383 98140 159145 90228 98132 98145 98138 90221 94367 159144 156797 156799 102278 110343 110346 98513 123008 119250 123389 123014 123396 123016 119246 115119 115105 119243 115116 115104 115097 114617 114606 118844 118848 148481 148483 148486 146683 110963 110965 123391 110973 110959 110970 115100 114485 114492 114489 147689 147675 110579 114482 138419 142979 142546 142562 142545 142557 142536 144339 142539 144336 144342 138400 138399 138420 138411 138416 148507 146711 148660 123359 119223 122987 122994 119218 119217 123369 119213 122990 123365 106194 106195 102049 102048 109689 109745 102052 114702 114695 114697 118827 162994 169238 165246 158848 126397 130107 130108 127930 131051 126901 126900 126904 131046 118612 122754 118609 118608 122755 122758 152346 135191 135195 135188 135198 147462 147455 152342 131286 131279 144075 139929 144068 150844 113538 113539 136112 135411 146712 158813 158765 158789 158777 158825 158801 40339 41143 44238 41140 45135 56424 56429 41139 45136 40337 41153 44239 165244 143724 147863 147633 147636 143717 151782 151775 151772 151779 147870 147626 126923 122781 118638 122777 122784 126930 135428 135432 131656 139578 139571 131655 135797 135801 131661 131069 135807 131066 139574 131073 131076 135802 126927 131695 127549 127547 162987 162875 162935 162971 158841 158846 158837 162959 162947 162899 162992 162861 162923 162862 162911 162887 162983 150842 154711 154708 151273 146411 142265 131281 130543 130540 118604 118614 118611 118607 147127 147124 144519 134284 147865 122750 142577 163295 127140 127136 127133 131049 131042 131052 118817 106200 110339 125683 110927 106197 102044 106775 106193 102047 106189 102054 102051 106785 106781 115071 115077 115072 115067 110921 110931 131050 131047 135425 127511 127515 127505 131651 144520 144070 126896 122760 131045 122757 126903 122753 126906 126899 122127 126329 118037 122183 117981 126273 118631 118635 114467 93042 93098 85929 85940 93887 93876 98488 98487 98493 162995 160966 163263 163272 163277 163260 158849 155418 155421 156138 156134 156139 122773 144359 144361 146707 146706 162847 158701 162763 162812 162788 162800 162762 162824 162776 144382 169239 169236 169233 146676 142115 142058 142070 142082 142106 142094 146240 146252 146179 146256 146263 142117 146204 146192 144380 142110 146261 146178 146216 146679 146228 97665 97666 80604 80660 146723 146708 146688 146693 146703 150843 150846 135779 135783 135775 139922 101334 97188 97244 105536 101390 105480 131044 113556 130140 109626 109682 151859 147705 151851 147713 151861 147715 131129 131131 131121 164264 164266 164271 164272 160153 159161 150854 150849 163291 150837 146722 158678 162836 162840 158666 158690 158694 160964 158620 158629 158699 162845 151995 151991 158624 148508 151271 147849 147688 147687 146724 158642 158628 147839 143703 143693 139547 110460 110471 147682 138835 45177 45178 60496 60495 56445 56450 142982 118627 156005 156007 155997 118841 107206 155417 88534 88543 88501 88492 88450 88537 88498 88456 88546 88471 88504 88513 88486 88531 88441 88570 88558 88594 88576 88507 88495 88588 88582 88438 88561 88591 88609 88555 88585 88510 88579 88597 88483 88429 165088 165091 88525 88435 88549 88528 88489 88516 88519 88468 88600 88603 88480 88453 88540 88573 88552 88618 88474 88465 88612 88447 88444 88432 88522 88606 88567 88459 88462 88477 88615 88564 165085 163266 111193 147845 147680 151985 143699 139553 135406 135405 134689 127109 127115 127119 154705 158753 130138 139423 135267 143569 135275 143567 139413 139421 143559 106171 106174 106170 118691 118693 122839 114537 118683 114545 122837 122829 114547 92798 93226 130122 130123 126394 109385 107047 107045 147457 114462 114463 114466 142040 139550 131261 142036 142045 131265 131255 122973 122963 122969 139555 139554 122251 142044 135407 135401 118821 118822 105665 85674 84937 105667 105669 105666 134691 135400 134688 150838 158654 139557 147628 163290 160143 160151 135277 138834 138837 107023 107026 107021 105224 154702 160963 106389 102238 106379 110535 102237 110525 114671 114681 102243 102629 110316 110320 110317 102024 102025 102028 106324 106323 102260 114460 106319 101075 96959 107022 107028 107025 101097 101085 101086 105222 105225 101102 101520 101523 106385 102232 102256 92814 61177 61169 61176 61173 96972 71635 94609 92797 93227 92787 94590 94584 94587 78026 97936 97928 97935 97930 94610 92809 92808 94611 94608 94605 76215 76218 88679 125533 125681 113532 113529 98482 125522 125526 125474 125531 125510 125486 125498 114677 110531 131103 131096 131098 131104 152338 123344 123339 115051 115050 119198 126726 126731 130875 119193 135424 139907 139902 154631 154691 158729 154695 154655 154643 154617 154700 154618 158716 154679 154667 158741 154610 158715 154612 135760 130876 135759 113665 113584 113620 109808 113656 113618 113654 113662 109747 118105 134687 126985 144053 148199 144048 126975 126983 148194 111346 92802 92799 105263 76637 76584 109410 111195 111192 111189 113513 92805 92810 110373 110366 110368 110374 113535 113540 111194 84929 80783 89022 89075 84876 80730 59198 59202 60516 61007 56180 60517 53234 57273 53247 57260 89084 60978 65125 69255 60932 56885 64844 60994 59142 61019 52794 56871 52982 56624 65307 61218 65312 52802 60999 60993 64257 68966 73104 61149 73114 65238 73112 61150 68958 68968 65243 52977 60199 60986 69260 56182 57021 57035 60198 59145 60918 61219 57022 64262 65124 57025 59205 59148 65222 61129 65211 61128 107202 125976 123785 121591 121588 121564 121552 121570 121558 121573 121582 121555 121549 121579 121561 121546 121585 121594 121576 121567 125977 117918 122064 122120 117974 140369 81532 80790 80793 89820 81531 77761 77760 85679 77838 81990 77839 77833 86123 77844 81977 86136 76244 76389 89825 98117 98112 81396 89696 81404 77260 89698 77250 85550 77258 81406 89688 85542 85552 80390 76392 76451 84743 84681 80538 88827 84684 80597 88830 88682 84536 88889 80535 105411 105407 105266 81783 77646 81794 77647 113524 113523 119463 119460 119466 117663 102258 101521 113828 113772 113558 109557 113703 109412 114722 114724 109553 113699 88426 92572 109383 109386 121847 142534 140370 142561 142560 144362 123629 150828 131650 109398 109393 109392 121543 121540 121535 121537 121387 125949 125963 125946 123650 118840 123652 125958 118104 118107 93790 93784 93782 93789 109156 67490 59207 59474 59237 63536 59336 59195 63389 67637 71636 59222 105010 105007 104977 104989 105004 104968 104986 104959 104956 104962 104995 104980 104983 104971 104965 105001 104998 104974 104992 109120 109102 109117 109153 109126 109105 109147 109129 109150 109138 109144 109135 109111 109108 97375 104953 109099 109123 109114 109132 109141 93168 101460 101513 97314 93221 105606 97367 105659 126957 126958 126950 126952 109752 109805 160126 160125 114564 122856 122866 122864 118720 110418 114574 118710 114572 118718 110426 110428 131158 139448 131148 143541 138431 143536 135294 135304 127002 143542 143562 143565 127012 135302 131156 139450 143566 139440 143534 160118 136050 136044 152634 150831 152631 136047 160120 150841 152628 134247 155015 80531 76385 76935 89370 93520 93519 89375 89124 90219 93159 93754 89127 93154 93152 93160 90216 77756 142981 60166 102707 102720 106862 106866 106853 111007 111006 111001 115145 115147 111012 110999 123450 123446 119304 115158 123437 119291 115152 115153 127139 127134 127591 127596 127585 127590 126920 117911 110928 121995 123387 123384 117704 113765 117845 110929 109560 122292 117849 122252 126978 118097 117852 109619 122243 113898 126328 114700 122295 114699 122993 122988 126982 126981 121991 127010 98574 94428 94415 109743 115066 110336 109744 110338 110394 110397 110398 109620 117851 113705 113766 117908 117912 109616 105413 101328 96975 97121 101267 93036 109559 101324 97118 97182 105470 105474 109413 101264 101121 105410 105267 109556 122054 121997 122058 97372 113762 105414 101120 93035 97990 109738 105708 92973 102134 93842 101265 93844 93834 97988 105711 106282 97181 97980 101268 96974 105473 102126 101327 98116 109810 94345 110550 106409 105668 89610 101261 77173 94340 77172 77176 106803 92969 106272 94344 110555 72239 84677 88823 63980 68093 113706 118842 121850 126320 121998 126922 122190 118044 126327 113951 122057 126322 118847 102177 102178 106325 106314 106198 97902 93756 97906 93760 110924 93757 121376 121319 121352 121364 121321 121327 121340 125462 125449 114696 125448 121380 121326 121385 114701 102136 97903 97119 102263 92976 106404 109736 98115 106800 106280 97122 92828 106817 106813 106824 106819 110954 106827 90233 109097 104951 117705 117848 107068 108949 104803 109389 104742 108865 108864 104768 108938 108914 108878 108902 104743 104756 109362 108947 104801 109394 107066 108926 109374 104780 108942 109365 104796 108890 109379 104792 93966 93971 104735 104737 93813 93814 93810 113733 113746 113572 113737 110662 113760 113751 113692 113718 113745 113575 113752 113755 109685 113707 113722 113742 109622 113734 110660 113569 113730 113712 113590 113719 113715 113588 113761 113725 113563 113579 113561 130276 130147 130201 130314 126143 130350 130306 130153 130291 130326 130345 130249 126436 126439 126331 130344 130321 130172 127246 126269 130240 130296 130335 130336 130246 126266 130168 130302 130330 126140 130198 121994 130174 126204 126210 130303 130204 130339 130289 130299 130318 126392 130237 127244 127528 126206 125997 130144 130329 130156 130159 130317 121851 130309 130162 126200 113702 113559 92970 92971 92974 92840 93030 93031 93096 93097 97178 64518 64519 40742 60455 45276 45271 45277 41336 55150 55178 55307 55208 71779 71632 90223 60623 97115 72955 68809 72954 68808 64684 72958 68812 64687 64683 93091 94370 81322 85468 85465 92960 81319 93089 89614 93026 92845 92842 90229 90235 85464 85594 89611 90240 90243 92962 85593 89730 89741 102173 92967 81318 90269 90282 60778 64841 60768 64833 60776 64843 92536 92557 92542 92560 92521 92527 92563 92545 92524 92569 92530 92548 92533 92518 92539 92566 92551 92554 92515 73518 73523 89819 77168 77178 77175 64245 64250 98561 72533 72528 94422 94417 94423 85680 85676 81903 81904 81909 144169 144175 140030 148313 144174 135875 140034 144180 140021 135888 131738 131742 131729 144167 88414 88399 88408 88384 88393 88417 88402 88423 88381 88390 88396 88405 88411 88387 88420 88378 88372 88375 88367 88369 92513 134686 75940 75949 75976 75970 75929 75985 75961 75967 75946 75982 75937 75979 75964 75952 75973 75943 75955 75934 75958 75931 81792 81793 81789 148314 86132 81785 90278 80388 76241 56731 56721 56729 29480 33098 17513 21375 21366 21371 19043 17517 20962 20959 21356 19045 20975 21351 29466 21342 17485 20958 60163 72543 73632 73635 72540 32324 36152 94603 94606 55166 55193 55192 73694 21339 63285 67376 71526 63289 71533 55204 67390 71536 55203 67380 59233 63278 71517 71518 59232 59225 67387 67386 71532 63286 59236 55207 57269 73026 68881 73030 69005 69010 73157 73146 69009 69066 64944 69074 64939 64945 72786 76936 73027 72791 68884 68880 85589 77639 77643 73502 73491 76216 76214 72095 53243 90460 90457 69470 69462 73115 68358 68363 64236 56957 63865 63973 61351 61346 60190 65081 65076 65447 65040 69182 65041 69171 65439 65047 65046 63863 63868 69138 60218 65336 65328 64237 60203 69152 52131 53168 53160 52136 59451 59463 59403 59469 69753 63401 59427 59391 59379 59439 59374 59415 59373 48903 52893 52904 59445 48904 59446 48909 48910 63302 59308 59307 59331 59325 59313 67548 67549 71694 71695 80311 84313 84400 84442 80161 80254 80140 84310 80212 80155 84328 84430 84298 80287 84295 84448 80227 80326 84436 80284 84289 80152 84370 84457 84358 84283 84373 80296 80269 80233 84391 80167 84352 80224 80230 80221 80248 84424 84340 80299 80320 84427 80290 84403 80179 84451 84301 84361 80251 84334 80197 80272 80278 80200 80209 84319 80143 80176 84445 80203 84394 84304 84409 84406 84307 84469 80137 84343 84376 80293 80242 80281 84331 80194 80182 80314 80263 84460 84415 84346 84397 80308 80239 80266 84292 84355 80218 84421 84418 80164 84364 84322 80317 80158 80173 80170 84466 84472 84412 84433 80245 84337 80149 80191 84316 80188 84454 80215 80260 84385 80257 80302 80323 80206 80185 84439 80275 80236 84379 84382 84286 80305 84388 84349 84367 84463 80146 84325 96766 96856 96877 96784 96838 96757 96904 96751 96811 96742 96745 96739 96898 96880 96754 96799 96814 96790 96730 96733 96835 96844 96886 96847 96817 96889 96760 96763 96736 96850 96727 96895 96820 96826 96910 96772 96724 96901 96859 96874 96841 96808 96778 96793 96796 96907 96769 96892 96883 96802 96787 96853 96862 96721 96829 96868 96775 96748 96871 96832 96805 96781 96865 96823 73587 73592 96718 96694 96673 96676 96670 96691 96679 96667 96688 96682 96664 96709 96715 96703 96706 96697 96685 96712 96700 73539 73550 76642 76645 77411 61279 61277 65337 69092 69096 60686 65331 65332 61265 65310 65311 64982 77292 77303 65286 65291 57149 57144 61194 61197 61199 75781 55306 55295 53449 55707 55271 55299 51258 51300 55247 55724 55222 55304 44898 55221 55283 55710 51272 51253 51284 51251 55259 55235 51296 51259 44903 53447 55719 43278 39307 43236 47172 39315 39312 43279 43284 43237 44538 44979 45020 56466 44539 40686 40687 40766 45008 48807 56471 48802 44987 48988 45000 44995 48808 48987 59151 44994 56549 56544 48873 48879 45006 48880 52874 52860 48874 45001 40463 44378 36569 40459 36571 40467 36576 44382 59180 59165 59206 59152 51194 51167 51192 51150 51187 51179 51193 51146 51151 51209 56813 59297 72082 72061 72066 72050 72081 69756 45310 59292 59301 45305 45309 72059 72074 71572 67413 67573 71560 57186 57194 71559 56805 63472 71719 71718 67572 71571 63324 63325 67425 67426 60852 63471 67414 47791 59253 59245 59248 44223 48160 59458 44258 59409 59457 59319 59320 59265 44243 59259 59397 59244 59435 40311 59285 59344 59398 59352 59271 44228 59343 59280 59410 47788 59367 44230 59430 48159 59355 47786 59347 59289 59418 47896 40312 59423 59277 59272 59260 51305 59335 59470 59332 63448 63447 63385 67486 63388 63532 67489 67633 59385 59386 53118 57217 59361 59362 47195 53075 53070 47237 47207 47221 63313 39316 47215 47179 40718 63312 47220 47222 43285 47173 53123 47178 56576 56600 44203 44374 51878 47903 69493 60898 44518 53191 44517 71754 49125 73639 71755 49126 61198 61350 60860 72077 72496 77105 60688 85956 85988 85961 85977 60099 60094 60092 60100 84939 84936 64962 64967 81898 85672 76568 76570 76575 76576 92365 64750 86004 86009 77170 96661 77783 81884 81879 73235 73242 48634 44899 44897 48645 48642 56642 52631 48638 48845 52635 52638 44904 25550 68861 73002 73006 73003 72521 76662 68375 72516 68370 76667 98174 98160 73236 73241 102110 98282 98277 77387 77382 90170 80791 56701 56697 56700 17041 13053 17042 13049 14947 14952 20441 14948 17040 14946 17046 20440 20439 50684 2755 11279 46707 38864 46711 42775 46716 27454 23864 31181 9498 4417 4422 7770 50683 1083 34998 6085 38863 34992 42780 46712 31176 34994 6084 50682 7766 46710 7764 27459 42774 38862 31185 9504 2760 9499 42776 38859 7765 20445 23868 27453 23862 11283 2756 4418 27455 42771 34989 13047 6090 31179 2754 4416 1079 50679 9500 11277 34993 11278 31180 13048 23863 38868 6086 62764 54681 58707 66861 66867 70999 71000 70998 66862 54678 62763 54683 62760 58712 54682 58716 50688 58710 58711 54687 62765 70995 87588 87584 79291 87583 75144 87579 79287 66863 75145 66858 83433 91725 71004 83442 75141 83436 91730 83437 87582 75150 75146 79296 79292 62769 91734 79290 83438 91739 92570 92790 90484 92781 92778 84277 84238 84259 84265 84226 84247 84223 84268 84235 84280 84241 84256 84232 84229 84250 84244 84253 84271 84262 84274 80134 75986 88424 87593 79301 71840 71009 84278 83447 80132 75155 77738 77733 92795 88366 92505 92510 92512 84220 92465 88331 92453 92501 88307 92417 88343 92489 92477 92405 92379 88355 92380 88359 92441 92393 88319 92429 88364 84156 84157 73616 73608 84144 84165 84145 84170 71600 71588 71612 71628 71624 71633 73898 75734 73900 75758 75696 75710 75774 75746 75770 75697 75722 76197 76194 71569 71567 71574 71575 75779 76221 76211 76226 76206 81297 81290 81300 81292 88212 88153 88184 92358 90482 88158 88196 88159 92280 92306 88208 81533 81528 92330 92354 92342 88172 88151 92281 92318 92294 92363 88219 88217 60671 54692 63593 66872 62774 55499 58721 67694 59531 63822 63825 65326 64228 77381 77388 86031 86027 86023 90177 69088 68352 68355 73237 41246 41241 55196 111190 111187 77383 96658 96656 96927 96575 88286 50693 96563 96539 96525 96635 96623 96651 96611 96647 88288 47516 88293 96936 42785 46721 94630 96924 51491 88294 96587 96551 96526 90172 64883 96599 96941 43571 94627 69116 69118 65360 73155 61284 73156 68643 68644 73151 65290 65289 61273 65220 65221 65213 65217 69471 69461 65268 65261 65265 65269 81317 94296 94301 90150 90155 127755 126395 127758 127752 125955 122250 117675 117678 113371 113350 113464 113482 113404 113362 113305 113494 113317 113392 113425 113434 113320 113332 113338 113314 113407 113308 113356 113428 113470 113383 113440 113473 113401 113491 113323 113485 113380 113398 113479 113344 113287 113293 113254 113299 113275 113260 113290 113284 113266 113272 113263 113278 113296 113281 113269 113257 113251 113248 113245 113341 113419 113443 113395 113326 113452 113386 113458 113416 113410 113359 113461 113449 113413 113455 113446 113431 113347 113353 113329 113302 113437 113389 113311 113488 113476 113467 113368 113374 113365 113422 113377 113335 80537 80598 76452 73029 73025 68886 68879 73032 77171 68883 123345 123338 93972 93967 93965 89826 76974 76979 81321 81324 89613 85470 89609 89616 85467 93755 85463 102937 94645 90499 98791 130018 130057 129934 130075 129901 129949 129976 129946 129910 129922 129919 129997 129916 129943 130072 129991 130039 129931 129994 130042 129940 129958 130045 130060 129973 130054 130000 129898 129904 130024 130066 129928 130009 129877 129850 129886 129883 129841 129862 129853 129844 129856 129868 129874 129880 129859 129871 129865 129847 129982 130051 129955 129895 130003 130012 130015 129988 130063 129961 129892 129889 130006 130048 129970 129952 130036 130078 130069 129907 129937 130027 129964 129913 129925 129985 130033 130030 129979 129967 130021 129838 117505 117571 117496 117598 117574 117520 117559 117490 117451 117466 117607 117577 117502 117604 117460 117616 117523 117469 117583 117529 117625 117592 117535 117640 117511 117487 117499 117541 117514 117454 117526 117463 117628 117544 117547 117613 117622 117553 117619 117610 117586 117589 117601 117457 117484 117556 117478 117475 117538 117493 117568 117595 117550 117637 117565 117508 117481 117517 117580 117631 117634 117472 117532 117562 123291 123302 124884 112437 116583 112446 112442 116588 116592 120729 108291 108296 108300 120734 120738 124875 124880 124889 125741 94647 94773 98919 98793 116597 117449 120743 121595 27444 23853 99999 6069 14931 14932 2739 1064 70986 75126 4402 20426 38845 9485 13033 62751 62742 20424 34980 7755 50661 4401 83419 58692 75127 104150 104148 87565 27439 42756 87564 70980 79272 54665 70982 83415 87566 83420 66843 20430 38844 66849 79278 70977 79274 31167 46693 54664 79273 13038 34974 17031 91707 9484 6071 31161 38846 42757 66844 14933 50664 42758 75128 23848 7749 46694 11262 100003 13032 23847 46689 91716 95858 95856 6070 83418 70981 100008 95862 46692 6075 2740 7750 23849 46698 14937 100004 100002 50666 20425 104149 104154 7751 13034 31163 62746 66845 91712 11268 1068 38841 42762 11264 31162 27438 17026 38850 2745 95857 62747 50670 79269 54660 50665 58698 58693 54663 58689 62745 75132 83424 87561 58694 91710 91711 9483 54669 2741 66840 87570 11263 9489 104145 4403 4407 95853 27440 17025 17027 42753 34976 75123 34975 85228 85227 98111 90086 90075 98113 98118 89105 84959 84954 93251 89100 93246 115375 123667 127813 119521 134083 134065 134143 134119 134191 134194 134056 134215 134182 134098 134038 134095 134059 134188 134131 134080 134137 134047 134089 134068 134164 134035 134212 134107 134077 134104 134173 134053 134086 134206 134149 134209 134161 134122 134146 134062 134140 134152 134197 134134 134050 134200 134044 134179 134176 134092 134116 134224 134158 134167 134203 134125 134041 134071 134185 134110 134218 134170 134101 134113 134155 134128 134074 134221 97392 97397 111229 107083 115503 115377 119523 119649 117403 117433 117412 117445 117406 117421 117409 117439 117430 117442 117418 117415 117427 117436 117424 117448 134008 134026 133987 134011 133996 134005 133999 134023 134020 134032 134029 133993 134017 133990 134014 134002 133984 118652 118668 118664 123669 123795 84683 84744 88829 88890 93032 92975 106707 106718 131610 131615 115381 107089 102943 127819 132087 131961 127815 127941 123673 119527 111235 111357 107211 111231 107085 102939 103065 90102 106670 90107 106659 60744 60747 60748 114512 114514 114520 114519 98033 98022 117400 86045 86055 94253 94248 102615 102611 102607 97881 97874 97884 119195 119199 119191 138298 138307 138364 138346 138358 138292 138211 138241 138313 138343 138202 138289 138244 138337 138196 138259 138253 138226 138208 138271 138235 138262 138217 138367 138334 138331 138265 138361 138301 138328 138304 138199 138205 138316 138232 138355 138349 138283 138319 138352 138184 138238 138193 138280 138247 138295 138325 138214 138310 138190 138268 138223 138277 138187 138250 138274 138256 138322 138370 138220 138340 138286 138229 138181 140251 113159 104915 109025 109037 104927 111214 113235 104939 109061 104943 104903 113207 113219 109049 109085 113109 108963 109073 108977 113110 104950 109096 113242 113195 104891 113135 113231 109013 113123 109094 108989 113147 119647 92829 88826 121534 125680 76937 76932 117394 117397 110853 110864 129827 122253 129679 122966 122970 122971 131959 129829 129835 129832 101538 101543 129826 133172 133176 129030 129021 129026 133167 133181 129887 134033 129035 136111 140257 131965 129315 129309 94369 97835 127448 127437 97859 110805 110816 109830 105689 105684 109835 144399 144525 140253 140379 136107 136233 118395 118396 85459 100900 100915 100882 101008 101047 100996 100987 100930 101014 100879 100870 101032 101050 100981 101011 100906 100960 100885 100978 101044 100972 100921 101005 100990 101026 100999 101038 101041 100924 100969 101056 100942 100966 100939 100927 100951 101053 101023 100954 100912 101020 100948 100975 101017 100888 100897 100867 100933 100945 101002 101035 100909 100876 100891 100984 100873 100918 100963 100936 100864 89605 98442 127484 127491 129839 129316 133985 129333 129327 133466 133473 133479 133468 125187 129320 125181 133982 133981 129304 133451 133447 133455 133461 133462 98527 98525 129319 123340 98532 98535 119155 119154 127535 127542 109157 108305 112451 113303 102662 98521 105011 79283 84281 80135 87575 83429 100013 100865 95867 96719 70991 92573 91721 75137 71843 75989 127486 125173 129302 129323 127583 117398 117401 125690 129836 121544 125693 121547 112749 112743 116882 116884 116895 116896 116889 112731 112725 133480 129334 125188 108603 108597 112736 108589 108582 109109 108587 125177 113255 112750 113252 112732 108604 109106 127537 108593 100993 100894 104159 100903 101029 100957 88427 136105 144403 113520 113511 146423 141473 142325 141464 141468 141459 137322 137313 137318 137327 138179 145614 145610 146471 145619 145605 142277 138172 138142 138166 138154 138160 138163 138145 138133 138178 138136 138157 138151 138139 138169 138175 138148 145896 141750 145890 145891 130139 145900 145899 145893 160994 145886 165140 140377 160985 160979 165092 167230 167296 167302 167377 167305 167251 167380 167153 167233 167215 167242 167164 167155 167200 167188 165125 165131 167176 167194 167170 167182 167179 167167 167185 167161 167197 167191 167158 167173 167344 167371 167308 167350 167320 167353 167314 167383 167356 167224 167326 167272 167257 167278 167212 167338 167392 167362 167347 167329 167293 167323 167203 167263 167365 167332 167374 167239 167287 167218 167341 167221 167248 167299 167260 167254 167236 167227 167206 167266 167284 167389 167359 167335 167386 167368 167317 167311 167245 167269 167290 167275 167281 167209 167152 167150 140249 140255 140264 140230 140050 140147 139964 140135 140047 140207 140006 140018 140075 140045 140123 140099 140087 140228 136118 136103 136109 144376 136084 136001 136040 135872 135860 135899 135965 136061 135989 135953 135929 135977 135904 135941 135818 135901 136082 144191 144332 144110 144374 144353 144293 144152 144245 144281 144164 144269 144193 144196 144257 144221 144086 144523 144233 140111 144395 144401 144410 140186 156848 156833 156839 156814 160960 165106 158048 158052 154763 153911 149751 158043 153906 156707 156659 156791 156631 156731 156634 156812 156671 156719 156770 156683 156695 156629 156524 156602 156590 156548 153897 149760 162198 162189 162194 166335 167201 166340 166349 166344 162203 163055 153902 149756 152689 160853 160694 160805 160780 160748 160865 160670 160777 160841 160829 160937 160817 160916 160775 160736 160877 160958 156835 158909 158057 165104 165062 165023 164999 165011 164921 165083 164816 164987 164963 164840 164894 164975 164882 164951 164923 164926 161107 167149 164794 171526 171475 171517 171538 171508 171523 171511 171496 171505 175648 169252 175651 175531 171379 171418 175573 175516 175495 175507 175579 175591 171412 175642 171370 171430 171349 171445 171427 171403 175522 175498 175510 175558 171382 171391 171409 175594 173417 175681 173432 175525 175618 175504 175570 175519 175513 175552 175555 175564 175582 171532 171466 171520 171454 171433 171352 171406 171436 171424 171385 171448 171451 171415 171442 171361 171394 175633 171469 171490 175627 175639 175657 175645 175624 175615 175660 175678 175684 175600 175663 175672 173423 175669 175654 175528 175576 175501 175561 171373 175540 175543 171514 175537 175549 175597 175534 175585 175567 175588 171493 171487 175546 171478 171472 171484 171481 171535 175630 171376 171364 171367 171400 171358 171397 171388 171355 171439 171421 175675 169271 175621 171463 169286 175603 175636 171460 171457 175609 175606 175612 175666 171502 169277 171529 171499 175465 175468 175474 175447 175471 175489 175483 175459 175480 175456 175453 175450 175477 175462 175492 175486 173399 175445 174908 171591 174922 171596 171587 174915 174921 167442 171334 171301 171340 171299 171346 171319 171328 171337 171316 171322 171343 171313 171331 171307 171304 171325 171310 171296 171298 173398 169208 169109 169157 169133 169169 169121 169067 168986 168962 169040 169028 169250 169069 169097 169229 169072 169145 173267 173218 173396 173291 173279 173255 173213 173215 173303 173186 173315 173243 173375 173108 173132 173174 173354 171347 170490 168940 170495 168936 170486 168937 170481 174641 174627 150721 150643 150745 150631 150673 150724 150748 150664 150622 150739 150778 150808 150703 150805 150688 150742 150709 150772 150775 150733 150655 150700 150706 150736 150628 150619 150766 150781 150757 150712 150796 150799 150763 150697 150646 150682 150784 150769 150760 150661 150658 150727 150652 150685 150802 150679 150676 150640 150790 150691 150793 150670 150634 150730 150787 150694 150715 150649 150637 150718 150751 150625 150754 150667 156961 170772 167448 169253 167449 169216 175444 170777 171556 173379 174941 170795 173391 174932 173395 173385 169391 173382 173392 174936 170790 175442 174927 166626 166631 170766 170767 150042 156838 170784 170785 160984 148543 144397 165130 150617 149765 49533 69834 78126 53529 78122 69830 37722 30054 33858 61601 19335 26343 19341 19327 22764 140 19338 19324 19332 19347 19356 30050 33854 37718 41627 45560 82268 19295 19321 19316 19318 19344 26339 19350 19301 45564 19353 73980 49529 19359 41631 57555 19303 160631 160638 140316 86418 90564 136170 115440 161046 132024 111294 152754 94710 119586 148608 123732 98856 152668 152702 152693 152687 150613 150610 150604 150616 150580 150589 150592 150601 150574 150577 150607 150598 150571 150595 150583 150586 168926 168923 164046 164039 168930 164805 164798 164800 127878 103002 19310 169338 61605 65700 165192 156900 53525 144462 82272 169339 57551 65696 152815 150569 175493 160645 173082 173083 164791 164790 160644 173086 160648 156499 156498 156502 152483 152666 152585 148427 148478 148367 148439 148310 148339 148342 148337 148669 148499 148379 148520 148298 148391 148403 148415 148256 174632 174636 173069 168185 168188 168192 173076 173072 148522 148556 148541 148547 152485 152352 152353 152624 152645 152525 152456 152537 152488 152561 152549 152402 152573 152513 152378 152444 152356 166644 170786 166649 170781 150568 160633 94706 144458 123728 156896 107144 169334 161042 165188 98852 119582 127874 148604 111290 132020 86414 115436 152750 136166 102998 90560 148545 148671 161109 160983 165255 165129 148549 152695 22760 140312 73976 107148 156837 156963 173480 169401 173485 173484 169275 173547 173421 169249 163004 162501 162495 162502 162491 163007 173066 173087 158861 166641 166648 166647 166634 156815 162483 162484 166630 166629 166619 166623 162477 170776 170775 170765 170769 174911 167143 167140 167146 170761 165096 165103 165101 160763 160752 156492 156485 164777 164784 150566 150057 150063 160957 158858 168920 168941 172987 172978 172990 172984 172964 172981 173039 172976 173018 154712 162488 158355 158356 172631 172494 172901 168562 168590 168542 172844 172646 172703 161597 161592 157460 157455 161601 167306 168565 172523 172705 169884 172757 172673 172577 172708 168755 168788 168557 172604 168458 168838 168485 168830 168431 168348 168670 168668 168544 168835 168527 172814 165747 165752 172633 168841 168611 168529 168377 159014 168500 172688 168487 172690 163160 172784 168401 168698 168818 172934 172495 168349 168776 168638 168844 168872 165738 169889 172816 174030 174039 174044 169893 171452 169898 174035 175598 168559 161606 168352 172498 165743 172736 172711 172675 172922 172547 168832 168893 152691 152817 158339 158334 155010 155011 166615 168342 168332 168339 172485 172481 172488 172478 154210 154209 159900 159893 164780 164042 160659 160652 154715 154191 154196 154203 154192 154185 154198 158349 158342 150047 150036 150037 150050 145911 145917 151270 146420 145918 141765 150064 141771 145907 162487 164909 145904 164898 93736 164763 164750 164759 130871 130878 135762 135758 145901 141755 141772 142274 138130 138127 138124 166299 166313 171353 167207 170459 166304 170450 170445 166308 170454 162167 163061 162162 155966 155754 131693 139344 148214 152363 143487 156506 143490 139337 147629 152367 156509 143480 139341 152360 151608 151604 148221 143483 156513 156488 155750 159896 150052 166636 150565 150562 167141 133978 145888 162474 162485 162480 162475 137598 133458 137604 137599 141745 141744 141747 133449 133454 173034 173035 174591 174600 174605 175499 174596 173038 137619 137625 137612 137614 138128 129312 133452 133453 145889 141753 141754 137607 137601 137597 141743 141768 141759 141764 137622 137618 137613 133476 133470 133471 141773 137627 141758 133472 129330 133467 160654 139333 148216 155746 131201 131190 135336 135347 138121 133826 133975 133973 138119 137972 171295 166620 166621 137609 138131 133463 137626 129317 129335 133481 137608 139943 139953 131688 142857 131683 135446 135219 152009 143511 135830 148241 134621 138711 131703 144095 156162 156158 131308 148279 152385 131689 148235 135834 135455 143503 134565 152011 135459 139600 143514 147653 148277 147660 152386 152391 131300 131306 139598 152016 135215 148245 152381 147649 139605 144089 143507 156155 143751 147003 139357 139365 144099 139368 143738 139361 147059 138767 135222 142913 131313 131681 131700 147657 160067 155928 155918 155921 160064 160074 160071 155925 77791 77805 81932 77802 81882 81883 90171 90176 98446 98445 130104 127798 130095 130092 130109 95871 95876 95880 96716 106739 102588 102593 106734 121541 121538 117392 125687 125684 117395 129830 129833 133979 95885 110885 110880 108294 108295 112440 116587 112441 116586 120733 120732 141741 141746 141761 141757 171594 171588 171579 171572 168334 174923 167441 171584 174918 160950 171567 171595 171574 160955 167437 167436 171568 147607 147610 147606 169390 171557 123323 123318 89083 97882 97878 97879 118823 129595 129608 129668 127796 129620 129632 125452 125461 129672 125456 129594 129656 125460 129644 141739 129677 106760 102609 102614 106755 93732 93733 127469 127464 139314 139318 135172 139315 135168 135169 143460 143464 143461 110142 110147 109861 109859 98467 98466 94317 94322 115029 115030 158852 89821 115031 115026 85444 89586 89587 85440 85441 81298 81295 81294 89590 156817 139875 139886 135739 135738 144032 144021 135731 135735 147435 147440 129024 124879 124878 129025 167454 166993 150033 150038 146719 146718 148523 110906 110901 120756 124898 120752 112464 129048 133185 116610 129044 133194 133190 116606 129039 116601 124902 124893 120747 120750 120751 116605 116604 104172 91729 100017 95875 95874 91728 108309 108314 104167 100022 100020 104168 100021 104163 108318 100026 112460 104166 112455 164496 164510 155978 155982 162157 162156 146414 160112 167430 167427 164258 133199 134030 124907 125738 129053 116615 129884 117446 121592 120761 105008 100862 112469 100031 109154 108323 113300 104177 108312 108313 174913 164274 145941 145946 141804 145950 141809 142268 145955 93275 93277 77831 98568 98569 98563 174912 160128 164270 160124 89740 89735 89739 93563 93558 119170 119178 114287 114294 119174 114289 110907 106761 110900 106754 110902 106756 97876 125548 125547 108964 104948 111211 109089 113171 113183 113240 109001 113525 113508 142980 130873 81861 84680 90134 90123 92972 88886 84537 88683 77712 77717 158337 158331 119147 119151 142193 142181 146303 146410 146408 146351 142264 142253 142205 146278 146363 142257 146403 146327 146399 146277 142241 146339 146291 146387 146315 146375 142229 142217 142262 122541 127054 122542 127053 127049 113555 102567 102570 114267 102571 114272 102628 110469 110470 102633 102634 105958 110465 105957 114246 102519 102515 114251 102523 102522 106173 114461 106169 110315 102259 106176 102023 102020 102027 110319 102030 110312 106432 106406 106430 110322 76953 76958 102563 144379 142169 142157 142132 142131 142145 80813 80808 135754 93521 144047 144054 144049 122730 122731 122734 126877 148193 148200 126880 126876 131026 131022 131023 170780 170787 169242 170794 169247 170793 118588 118584 118585 148195 131632 131630 131637 139908 139901 130475 130419 130856 130851 160617 160604 115109 152339 151748 151758 151755 165072 165069 163709 163269 165066 167057 167093 167117 167045 167133 167423 167426 167418 167138 167409 167438 165112 167433 165109 167129 167081 167105 167008 167033 167069 167007 167021 167406 151750 158338 160649 148232 139940 135794 148210 148206 148207 139915 135768 139914 144061 135769 144064 144060 135772 139918 155012 155007 160961 170782 153314 153309 154868 157451 157446 159156 159157 154188 154193 158328 158329 154182 154183 149163 153305 153300 174910 166637 145008 149159 145013 145017 149154 140871 156811 158352 158357 156807 156808 149158 149157 153303 153304 158343 154206 158348 154211 154202 154197 150060 149168 150722 165107 163304 163299 164196 164189 168335 160047 160050 160040 164186 164193 155894 160043 155897 155901 155904 142430 140876 145022 146576 160613 158327 158323 173028 173020 171573 171576 173024 168164 168171 168166 162473 158344 160628 141446 145596 137295 145592 133158 141450 141441 145587 137300 137304 129012 133149 133154 162471 162476 150045 150039 154181 150031 150035 150046 154201 154200 150065 156616 167453 156611 156615 153884 149742 149733 153879 149738 153893 154766 153888 152665 152658 162489 162494 162498 162503 152663 164419 164339 164774 164686 164312 164524 164341 164398 164689 164684 164383 164231 164522 164747 164609 164492 164642 164411 164726 164354 164413 164698 164396 164552 164285 164692 164630 164255 164695 164416 164381 164795 164444 164465 164672 154177 162469 125166 129306 129307 164206 164203 164202 160954 160953 154184 154179 140867 140862 136725 137616 137617 136720 136719 145914 150051 145905 145910 150056 158324 136716 132579 136721 132570 128433 132575 128429 124287 128424 158034 158039 162180 162185 160623 158025 158912 163058 160624 160627 158030 162171 162176 158326 141455 145601 146474 142328 150620 149747 145919 166616 138284 136730 125175 121038 125184 125180 125189 121043 166633 166618 159567 159564 156466 156464 156457 156471 166640 166635 129007 129006 125157 125162 124282 124281 115047 115052 73617 73607 77753 85673 81534 81899 77763 81527 125171 132574 132573 129017 137309 129890 134036 125846 133163 138182 128438 129992 124292 132584 134138 150054 150055 160552 160580 160526 160549 160601 160543 160538 160546 160540 119534 152313 158744 152324 158752 158746 158751 123680 115388 93537 81833 81837 81814 81813 81840 93542 81979 81984 111242 158379 154242 142032 158388 141799 150092 154233 150560 156832 154706 140866 140865 150101 142046 158393 154247 150087 156828 136092 150096 158384 136089 142033 156820 154238 141798 156829 148322 148326 114443 104872 104877 98463 104878 104870 98468 119317 119498 119369 123665 123671 123515 123463 123623 123527 123602 123422 123539 123380 121842 123647 121843 119357 123563 119417 123491 119315 119345 119393 119456 119500 119320 123434 123461 123503 119288 119405 123551 123646 119525 119519 123644 123466 119477 119381 119234 119276 131957 131963 131972 131938 131936 131914 133497 131907 131912 127826 127793 125990 131672 93516 81985 81841 77129 148167 148178 137858 137854 137862 133716 133722 137868 133707 137853 133711 133708 77148 77152 77149 68875 102592 102591 97707 97708 131939 133487 127661 127526 127609 127649 127580 127673 127637 127769 127568 127697 127607 127709 127685 127748 127612 127790 131807 131758 133483 127811 127792 127817 127782 131933 131935 131928 127789 127787 131795 131783 131855 131819 131726 131753 131894 131755 125985 131714 131843 131915 131831 119175 119176 114292 114291 113890 113889 113865 113862 113872 113871 113868 113884 113881 113878 113875 113645 113859 113853 113847 113842 113850 113603 113837 113605 113839 113854 138047 138028 138071 138107 138059 138083 138033 138034 138095 138026 138111 133498 133491 84740 143766 143780 161918 158957 160406 160373 157779 157785 161925 157786 161932 160484 160463 163103 160496 161931 160368 160353 160363 160358 160362 145341 153639 154811 153640 145347 153628 149487 149493 153626 149480 77153 76446 76383 76256 76447 76387 76378 76261 76376 76442 80534 76258 76386 80391 77226 77229 77230 76390 90191 90197 113826 113827 94337 90201 94347 17522 98447 129731 129819 129719 129803 129755 129743 129694 129767 129693 127795 129779 129707 129791 123640 123639 121032 123643 121033 116874 108573 108578 116879 121015 121020 121014 125161 125160 116865 116870 112735 112723 112722 116868 116869 112728 112720 121025 130126 122582 122586 126732 118440 126728 118436 118433 60453 112733 126724 115048 115053 115046 115379 115373 60454 112718 102586 97710 94318 97703 102590 97705 102594 94323 94316 112739 163711 123352 131647 119205 123351 131644 119206 127501 123355 131643 127497 127498 119209 151834 145337 160378 160375 157772 151833 145333 153633 149494 150665 145348 111233 111227 111208 152069 155419 156203 156219 152073 157771 157775 151829 149483 156441 152057 156442 156215 161921 111198 111205 111203 102950 107096 107081 107087 115351 115349 115344 116917 121071 121064 121066 121078 116932 158145 166424 162285 170584 166431 121029 121034 116897 116892 116887 116886 129326 129321 169044 169055 152461 152466 152472 125726 158131 162278 171332 170583 162291 166438 166426 169064 158894 169059 158139 163040 158135 162292 170572 162280 169066 158146 152467 152459 170570 167186 170577 166437 119293 135877 135882 135883 119298 119299 94343 110695 113800 110689 113791 113797 113803 113787 113784 113774 76513 76507 113779 113806 113815 109852 113814 113790 113811 113818 110692 113821 113776 76505 113796 76512 115355 113551 113550 98804 25526 125199 116913 121048 125212 121060 127803 125217 125210 133484 129369 127808 129351 116921 125224 127810 129338 121053 129370 125206 129345 129363 121059 116899 125205 116907 125194 129358 105259 107063 105258 39377 35003 35765 39656 31190 38873 31937 73021 80788 81529 116903 129356 125223 115354 116931 121077 129340 116914 121046 129352 125192 116925 160048 164191 155902 155898 160044 160045 164194 155899 164190 71522 27920 9902 27946 24325 24367 27892 27905 11702 97266 97305 97019 93224 97291 97072 97278 97288 97269 97270 97078 97000 97034 97081 97294 97306 97061 97255 93163 97263 97258 97021 97300 97036 106165 135881 135886 139632 139633 135885 139628 139623 81314 122578 61146 61151 136081 129824 138426 138427 140231 119172 119177 73613 137869 133726 137872 133723 138118 138116 136077 136078 102715 102709 102714 77759 50675 46703 55502 67697 47519 40584 40589 63596 62756 54674 42767 58703 59534 51494 69467 43574 81862 146519 66854 97070 102257 129815 67365 71502 67320 71457 72927 72932 84966 84971 72807 72812 72833 72828 76978 76977 77516 84074 84221 79749 85794 85799 88220 75632 75576 75639 75582 75579 75636 86165 86157 63267 75585 73401 73406 75901 75723 73328 75711 73317 75918 73727 75924 73719 75777 75754 75900 75747 75753 75735 75759 75771 75906 75738 73299 73283 75699 75822 75834 75846 75743 75858 75810 75870 75894 75882 75798 75912 73361 75913 73356 75816 75817 75789 75790 75829 75878 75852 75853 75828 75765 75691 75726 75731 75873 75766 72509 72504 75690 80407 80524 80404 80825 80820 59214 77716 77715 59178 59220 59215 52442 56448 52437 81858 81863 84051 84090 84216 84138 84046 84114 84063 84198 84210 84162 80064 84069 84045 80047 84126 84186 84192 84174 82019 80052 84150 80046 80070 81612 82011 84102 84193 84086 81613 79987 79899 79845 79956 79968 79917 79905 79944 80028 79923 79900 79986 79998 79857 77474 80004 79881 80016 79980 79992 80040 79893 77463 79999 79869 84035 81591 84030 81575 84039 84027 83987 83991 84003 84015 75782 80092 71466 79802 79775 79928 80077 79787 80131 71483 80113 80101 80075 80083 80119 80125 71537 80095 71462 75629 75641 75683 75656 80080 71509 80116 80086 71495 80104 80122 79829 71503 71508 80089 80110 80128 71510 71467 80098 73295 75805 75668 75678 75672 75804 75840 75841 75664 75663 75928 75679 75925 75682 75778 56449 63231 79759 75640 75599 72854 76999 79754 79758 72849 63268 76998 63273 75586 75614 81438 81449 77357 77363 55131 55134 55126 59172 85658 85650 84082 79872 77506 84120 83983 84081 79889 79837 79877 84121 83956 84023 79935 83955 84108 79974 52295 77531 77547 84204 84132 83982 76655 81510 52541 84057 81505 77736 81648 80058 79936 56306 84205 72547 80024 79884 79975 77498 77511 84018 77445 56547 52536 65017 84109 81810 83964 77687 52297 61000 63225 79836 79950 80059 83970 81831 84133 79962 77552 65016 77737 65010 81696 84058 80019 73438 56302 65011 72545 77519 77691 77668 84097 56427 52302 61005 73448 60338 56469 52416 81815 56548 77505 52458 52463 81842 77429 52421 77667 56470 77694 76678 77490 84096 73435 60342 56428 77695 81653 79951 81511 79963 79912 85839 73434 76650 76677 79911 85844 59173 56310 81697 80074 83974 83971 79824 79818 79825 77441 84070 79924 79927 84217 79809 79828 72983 80071 79810 83960 84073 88260 63290 67329 67358 67346 63275 67325 63248 63260 59179 67330 59221 67373 67391 67371 67372 63232 67366 63274 77367 80107 73686 65409 65416 69551 69540 65410 65415 73697 61004 61311 65048 61322 65037 69181 73899 69174 69180 69175 75695 63495 67596 63496 67597 75888 75889 71742 71743 75794 60667 60670 60666 63201 49248 59169 47169 63251 39366 43266 43212 43206 43269 39330 43215 57261 63255 59174 39367 57272 63258 45003 39321 49243 63204 53246 49242 49249 39372 39326 43209 63198 63195 53235 45004 43262 65090 65446 69147 69153 69142 65441 65445 69148 52869 52903 63218 63233 60929 48951 61344 52858 43216 56886 65015 43244 52902 52896 63259 52897 39331 43229 69136 49279 56870 49278 48952 56882 47174 48325 61130 43270 61125 61352 48324 52870 63205 60933 49274 73902 65003 65019 39373 60917 52864 52875 65242 65241 52125 75707 71561 73211 75702 73221 73217 71556 65080 65079 48955 67422 60851 65121 64937 67410 71573 60875 64968 63326 60882 51763 56649 45238 44672 49146 45236 44132 52841 49196 52128 61215 44139 45232 44140 56646 45243 49147 44134 56638 60497 60492 56810 59982 76196 64040 45270 64732 41337 65092 47967 41348 69140 43846 69064 76208 69011 75719 61235 60214 43843 65105 64731 76212 59978 69000 40688 44254 69258 44016 48188 76223 56835 52134 69069 75866 43951 45281 64261 44022 44380 48942 44226 76227 44616 64963 52862 67969 64280 55892 61069 48183 65126 45073 63321 64265 61072 76228 67963 51871 60990 51760 68362 63301 48184 64260 76220 61241 64233 60861 60596 71715 63468 45070 64947 56814 51942 63473 51884 71720 57185 52792 64943 60200 60195 63309 64961 69259 55946 52135 57195 45069 56804 68361 44252 48175 52816 40461 45083 59924 61082 53169 60212 61068 63400 44012 64735 64044 57191 68086 53159 52798 64252 52797 67415 52981 63986 60995 67569 44227 61245 40466 60591 76205 43841 52980 48943 63314 48203 47909 48968 67966 44379 44017 44617 75714 55950 67574 40683 64238 51766 69070 75861 67427 52803 43963 52824 56828 71568 56830 60647 60877 60857 61220 69075 52820 81124 81123 106895 106887 122280 122285 83895 83940 88041 88086 100840 100843 100828 100852 100834 100819 100858 100837 100825 100861 100849 100855 100822 100846 100831 100810 100816 100813 100805 100807 96659 83905 83948 83900 83933 83904 83921 83975 96359 96386 96413 96371 96512 92187 92232 93263 105696 105701 93258 89117 89112 106686 106691 106524 106529 76674 76679 76693 76691 79794 96306 63222 97408 101550 97407 101555 94165 94178 94164 94168 106574 102427 98236 106569 97247 98227 98224 97184 98222 98241 98249 98235 98261 102426 76666 76665 108771 104625 94232 94221 96315 96312 96366 96362 96369 96309 88093 88046 83941 83946 88094 83947 88050 88087 88051 88092 88067 88121 88079 89985 89990 81652 93662 93657 77076 77584 81651 100479 98377 98398 98417 102572 98425 102524 98369 98376 98421 102561 98397 102545 102540 93689 98424 81665 77594 85842 77077 80823 77581 81657 85843 81677 77580 80824 96344 96370 96316 96329 102342 106496 102741 102749 102349 102343 102348 106485 102513 98373 94100 98597 98602 98601 110402 102383 102378 101131 101254 101134 101137 97427 105672 97412 105677 97399 101530 101529 109842 109847 123270 123275 123254 123243 118122 118127 126419 122273 122268 126414 92238 92196 92233 92192 113976 113981 110837 110832 96342 96338 96333 76957 76956 81644 81636 130462 130423 130437 80485 80587 85439 81940 43959 72245 85446 86049 80830 89822 81943 44074 89082 80437 81667 85443 85435 86050 89085 130229 130455 130459 130431 130187 130438 130189 130452 130465 130443 130421 130426 130468 130434 130474 130456 126445 130473 130446 130449 126443 80420 81948 81937 89846 89848 81951 86078 93731 93735 89592 93727 93738 89589 80619 80650 80622 80611 80628 80643 77524 80635 80647 80632 80638 80608 77522 80658 80629 80606 101976 110268 106123 110272 106122 101977 101980 110269 106126 80623 80659 97877 80616 80653 80646 80435 77527 89585 76454 80544 43949 76640 80539 80452 80557 59790 44191 77494 76448 68160 44197 44196 80574 80494 80422 44080 72242 80488 72099 80446 80416 80592 55758 72306 76245 80578 80550 43960 80449 80577 80569 80401 80584 80593 80551 68096 76388 80565 77492 80393 55889 63852 76579 68099 80547 80583 80411 80395 44189 80566 43956 67953 80562 59921 76517 80497 80554 44072 76391 63983 44079 89581 121416 121500 125574 121452 125598 125622 121464 125646 121404 125670 125542 121395 121396 121488 125541 125658 121524 125550 125634 125546 121476 117360 121400 117384 117361 125562 121440 121428 125610 121507 121506 125676 117378 117366 123471 125653 123479 125652 125586 121530 121512 117372 117373 117250 117270 117306 123113 123108 125665 125664 117342 117345 117249 117330 117318 117350 117354 117258 117282 117294 121518 121519 125430 117277 117289 117276 117264 117338 117265 117333 117326 121411 125556 121422 125557 121410 117124 125415 121270 110670 110675 117313 117312 125581 121435 121434 125580 111041 111033 121278 121284 125424 121274 117288 117321 125630 121472 121467 125618 125613 125625 121484 121479 125568 121423 125569 117132 125416 118763 118752 121269 117123 117138 125420 121320 121325 117207 117219 125451 125499 125511 125447 125523 125463 125475 125487 121317 121305 121341 117231 121353 117237 121383 121365 121329 121377 121301 125529 125505 125506 125518 125517 121371 121372 121349 117198 121344 123051 117203 125490 125495 125442 125443 110720 110715 117183 117171 117195 117151 121332 117159 117191 113964 117174 121296 109823 121360 121359 117214 117213 114788 114777 117186 114861 117225 117226 114866 110642 110631 117179 113969 117150 121337 121297 109818 125471 125466 125478 125483 126431 126426 94651 86359 90505 98797 127421 127416 104630 108776 108780 104634 129680 125677 125534 125434 125431 125530 117389 117391 121388 117242 117142 121288 121285 117139 121531 113096 112997 112970 113243 104804 108824 104678 108950 104635 108781 108809 108797 104651 108851 104705 104663 117385 117388 121384 117143 117116 117238 117241 63227 79800 79795 81144 81145 100488 100484 94058 94047 98204 98193 127299 127304 96501 96489 100635 96507 100647 100599 100587 96484 100571 100629 100623 100653 96483 100575 100611 100630 127389 127400 96384 96378 96379 89901 89912 96477 129645 129640 129566 127797 129621 129597 129675 129822 129669 129823 129639 127800 129593 129609 127182 129676 129580 129633 127196 129576 129570 129657 129577 129792 129720 129696 129768 129692 129756 129708 129732 129780 129744 129804 129816 127625 129798 127617 94269 94280 94136 94131 129652 127215 129651 127226 129799 129688 129687 85659 129636 127193 127197 127181 129641 129663 129664 96453 96441 129811 129810 126407 127254 129588 127259 129589 126402 129629 129617 129624 129727 129715 129714 129562 129561 129771 93941 100602 96495 100567 96421 93951 96429 96456 97380 100607 100642 89088 118904 118890 114744 114758 106455 106465 110612 106460 106464 110598 119332 119331 119327 117202 117201 121347 121348 123039 125493 123049 123044 123048 125494 127118 125457 129603 129604 127110 125458 121494 121495 117100 117099 114829 114828 119302 119295 119296 119301 125640 123438 125641 123449 123078 123073 123079 123072 129786 127584 129787 127595 98087 93239 96465 100641 96461 100566 93234 89093 98097 96420 96496 97385 109092 100758 104721 104775 104733 90303 100686 104799 108879 108962 85758 104850 104793 104745 104816 100722 104851 90311 106452 108867 109062 85759 109050 106466 109009 104916 100710 104940 109002 109038 109069 100782 96636 100770 104922 100619 100614 94014 96473 94028 96468 94457 109026 100705 96648 108863 100670 108922 104892 96654 100734 100704 104820 108891 108906 104769 108997 104946 104776 104781 85765 100776 108939 96631 100698 104928 109014 104757 109086 108966 104880 104856 100794 109008 108921 104923 96630 100777 108990 107067 108903 104904 104868 82013 109068 104765 109074 108945 108996 108927 108911 104760 94449 108978 82017 82018 85764 104862 100746 100674 104863 108915 104717 100800 104832 104844 108887 104883 100680 80815 108899 100789 96612 104787 100681 96540 104712 96608 104748 108972 108882 96603 96437 104900 100692 100665 108934 104838 96583 84547 80828 104788 93947 98093 109388 109380 107070 109396 109364 109373 109395 109034 96558 104812 100729 100666 104839 104826 85648 104713 100766 108859 96449 100749 109081 104874 96520 104736 104895 96519 100761 108984 84946 96564 84945 104912 100728 100742 100578 84550 84553 104934 85654 104729 94091 80843 104907 109080 94086 89940 104811 104741 96582 100693 96534 104875 96643 96535 96424 108957 89795 89801 109058 96591 96528 96547 100737 89805 108985 100595 109053 108958 96624 104724 96620 109020 100583 96615 96642 104888 96432 85653 96600 96444 100590 104753 96546 96559 96588 108858 84670 109046 109041 108973 96552 96576 108894 109021 100788 108933 104935 108870 100754 89945 104827 96523 108875 109391 109376 100548 108846 96408 102179 108832 96402 104685 108840 96397 104694 104686 104700 100540 96393 104690 100554 108831 102168 96394 100544 100539 108836 96508 100657 96655 100801 108946 104800 100804 104947 109093 96511 112955 112943 119128 119107 119127 118137 119106 118138 118966 118965 98246 85986 81102 97683 81103 85987 85979 85983 97688 81275 118971 118954 117914 117977 123156 118957 118952 118979 123157 118991 127463 127470 123324 123319 123317 110613 110597 114759 114743 110609 114895 114894 114898 119099 119103 114908 121254 123046 123045 123038 114005 114007 113993 113988 104670 104676 104671 121260 121289 121255 121261 104677 118901 106462 106454 106467 106461 118905 118889 106450 114755 123040 118279 118974 118278 118975 112927 112926 117092 117096 112917 112922 121311 117166 115146 111011 115157 106854 111000 106865 102748 115187 115179 102743 102747 114821 114816 85960 85959 97662 85931 85935 81251 77669 85938 97667 77664 85939 102544 114983 102543 114978 117127 102390 118129 118157 122259 118142 122260 102391 106456 122909 106494 106489 114134 114129 106495 80503 84970 80506 80520 93885 80721 93881 80707 80674 80703 80704 81727 80669 80713 80685 80839 98310 97409 101554 80722 81740 97404 80443 80481 80442 97423 80464 80700 80811 80682 97421 80691 80529 80457 98314 80521 80686 80837 80462 80493 80415 80426 98324 81730 89374 80477 80694 80679 81726 80716 80812 80697 80399 80710 93886 80533 84969 80532 80482 80501 98311 80516 89373 115010 114999 129735 121443 121448 125589 129740 115032 115027 115025 106740 106735 106733 125594 121984 125601 110886 121455 106382 121861 121867 106387 117348 117349 129752 125606 117309 118110 117253 117302 105277 110879 110881 129747 114680 121864 110526 121460 106386 117297 114439 114438 114442 101558 105675 118923 114951 79725 79778 75603 75648 79728 79785 75608 75649 79782 75612 75654 102368 97808 102381 101330 100452 114387 100458 102407 106572 85810 102382 106573 102395 100461 100512 100515 102370 101393 114392 102373 100455 97803 100508 89989 85823 85808 89988 89911 86163 89905 86164 89904 86159 89910 88693 88696 88699 88816 94416 101694 97545 98562 97550 102718 102711 90270 86133 102712 86134 101695 98573 90281 94427 86128 81989 77843 81978 130110 130125 130118 130094 130103 81662 130121 119012 119007 105283 101573 129764 129776 117165 121312 122898 105280 114962 118826 118934 117314 105400 110534 101545 106488 118115 129612 100658 92239 100559 100517 100505 92240 92366 92197 100532 92213 92225 92267 79801 100489 93713 96412 100555 100558 104701 100717 96571 96409 100716 108847 96570 104704 108850 109029 96596 100654 79722 101553 79731 114672 102387 86127 129759 118818 102717 77832 105676 129703 131609 131616 112953 112946 112950 110126 110121 114250 110100 110105 114249 110241 110246 150559 76635 76636 76630 76628 150556 86007 86008 139980 135827 139973 127485 127490 114271 114270 143720 168944 168951 143746 143744 133171 133170 130591 130589 130560 130565 144005 144000 162848 137793 135560 146085 141939 160422 160427 160785 160793 147945 148029 148034 147956 156819 159594 159599 141984 137838 146130 142784 142724 142788 142581 134496 138638 138581 142727 138642 138578 134435 138435 160557 160568 130577 146930 160679 160705 144121 147893 152433 156560 160322 146873 160673 147161 152418 156537 156184 152419 125355 156189 148284 146934 156182 148272 152030 152422 160335 160683 156557 144126 130572 152043 134979 143984 139125 134980 143973 139126 146870 152411 152430 151931 151920 160301 147156 151076 144119 151019 156564 147897 160328 152149 152425 148267 143015 148265 151312 152414 121209 151016 160308 160330 148287 160703 143010 156527 156176 146727 160710 108816 148273 160304 151080 152039 150873 125400 147884 152495 152500 152499 147998 156647 147560 150267 150210 143883 139740 150264 147555 139741 143888 150213 150260 150204 135562 135575 152133 152134 150207 156276 156281 158844 160383 160394 152159 156324 152147 156325 156246 160472 156240 156247 152139 156241 160467 159565 155448 155453 134432 134289 147175 138864 151297 155032 160286 138852 147149 134706 117108 152120 152125 143003 151305 134711 134721 112899 142998 155428 155029 112896 138857 151325 155035 151145 131479 112893 131478 151082 160278 138869 155427 151295 131492 143540 139394 139398 139382 131482 147173 155152 156639 148063 159575 148066 143528 147674 151306 147686 147144 148062 112890 148076 100524 151310 151290 152469 152465 152470 152122 147690 143544 159570 134722 117063 155709 155710 130356 130412 146090 142019 146136 141991 146123 141949 146131 141985 141990 141948 150284 146138 146137 146094 146264 142118 141944 146095 150257 141965 150410 146111 141977 150557 146165 141992 150269 150311 133676 133626 130971 133680 129546 133623 133629 130143 129501 133683 133620 130286 130976 145885 129547 129506 113979 143702 143694 162765 162761 162777 162820 152091 154551 162789 162801 158697 154533 158619 162819 158655 158631 158667 154528 154545 152102 154527 162813 158643 162825 158679 158691 158673 158615 141740 135915 135911 135916 131414 154509 150382 152175 139656 154469 152180 139657 143810 150399 150394 154539 150405 154485 154497 158685 150393 139663 154540 143799 154521 150381 158686 139662 150387 150334 150333 150375 150351 150363 113650 113611 113649 113610 113661 113671 113688 113700 113697 113701 113583 113674 113630 138844 150319 134726 162780 138568 162756 150342 151994 150327 147132 154465 150318 158625 151283 142991 162757 151278 147137 162785 150354 151986 158646 134713 154488 154464 158634 138445 162772 138451 154493 150347 134741 158611 162837 162831 162832 150482 154644 150494 158821 158793 154680 150540 148347 150516 144168 162944 150534 154686 139692 154596 162978 154623 143838 148355 150552 135549 150541 162939 158798 158742 158730 158826 162948 140055 148325 162984 158774 150486 144179 158709 154635 150522 158802 162960 139697 162888 150462 150506 162967 154563 147984 162860 162991 150474 154628 158710 162932 154608 154620 162920 158714 144209 154668 162927 150438 158838 150501 150450 162856 162900 162912 150529 162924 154564 154674 154568 154692 158718 150546 154675 154698 158790 162843 162903 162908 158757 162744 160968 162745 150268 150242 150214 150227 150409 150406 150553 162855 158639 162748 162936 154662 158833 154500 158820 154611 158762 158766 144201 140063 154687 162990 162915 162864 154647 158769 158651 150489 113594 162876 147989 162966 143843 154652 158610 150359 150477 158814 154663 158778 154656 154479 158626 138843 113689 160965 147840 113625 150517 162792 150426 158832 150339 113632 113980 150498 162797 138448 113669 158754 154584 147848 140022 135550 154616 150418 142986 162972 162771 154640 154632 150528 162979 154505 162844 158781 114391 113567 158786 154480 140033 154572 152319 156470 160217 151563 139854 135691 160616 156422 143637 152315 147587 139859 131003 151564 160221 152323 135711 152271 156443 152275 160584 147414 156459 135683 152274 160589 152295 139838 143633 143638 147774 152267 147419 139827 160605 152296 135712 156438 135687 147785 160222 156411 152322 135690 154703 158702 154556 158845 158698 151832 156216 160364 156217 160350 151836 156212 156207 156606 151820 156617 125174 121028 121035 121030 121041 104879 104865 104860 104866 121017 121023 125155 125159 129305 125163 125169 116867 116871 116877 121013 116863 144377 144373 144366 144371 145937 145932 141777 145923 145928 141791 141782 141786 137640 142271 146417 140223 140224 140227 142569 142574 121012 129510 129552 162734 158602 162738 158599 158598 150433 158725 148119 154602 162883 158737 148146 148151 150432 130835 130830 162871 158748 148130 156077 154591 154578 154590 162730 158736 162870 158724 150456 150457 150445 114419 162895 162894 156066 154603 158749 150444 154579 162729 141742 158392 158385 158391 152669 162012 166994 162018 163088 162019 174909 174914 150861 150866 144065 152058 150369 154515 150370 147926 158662 154516 158661 162807 152072 147912 162955 158808 162808 162954 158809 154180 158345 152357 42460 50366 23568 34682 54360 54362 27132 50370 42461 46394 30873 30864 42456 54361 30867 34681 38549 46398 27149 42459 46393 54357 27153 27148 50364 38547 23547 23564 34677 46392 27147 30868 34680 38544 30869 46389 38548 38553 50365 42465 34686 50361 166890 167137 166894 167136 167144 166989 166990 166891 166684 166683 154552 154453 154452 158588 158592 154699 154555 154456 137340 141477 141486 137331 137336 141482 162524 162538 162531 162537 166672 166670 166677 162526 162998 154446 158583 150306 154442 158584 158341 164573 164568 164931 164939 164613 164618 164703 164714 163745 164819 164825 164474 164454 164481 164450 164856 164849 163740 164851 164476 164468 164829 164447 163271 163278 163294 163286 163293 163262 163273 163289 150099 154232 154239 154234 150093 170768 170763 158330 158325 158380 154245 158378 154246 164220 164210 168947 164213 164217 153713 153726 153720 149574 153715 149580 150650 154796 153727 167130 167118 167106 166954 166971 166959 166953 167100 167101 166983 166651 166665 165080 165075 166659 167147 165082 166666 167125 167124 154437 150291 154438 150292 150300 137317 137316 162470 154178 167016 164762 167041 167034 164751 167040 167046 164735 167017 167094 167029 167082 167112 167070 167113 164730 167028 167022 167058 163716 163712 167090 167049 166879 164358 166923 166903 167002 166931 166902 164529 167001 166966 167085 163721 166926 166918 166875 167005 167010 166978 166906 167066 166947 166876 167078 166917 164432 164369 167073 166935 166943 167054 166977 164540 164424 167061 166884 166965 166911 166655 121024 116878 125170 156825 156830 150089 149570 156822 150100 150307 150310 62441 62445 62436 78972 83109 78968 78963 70671 58391 58395 143996 143968 144017 143956 143822 143912 143942 143962 143965 143900 143794 143959 143879 144044 143792 143762 143735 143954 152254 152203 141288 145435 152196 152336 152234 145424 152246 152201 141274 152260 145434 152248 152257 141282 152309 158942 162007 165117 150085 165111 165122 165114 165124 157872 157859 157873 160495 162472 159158 151753 151756 151752 145293 146528 143706 145287 141141 145294 141148 143713 145282 141136 142382 143711 145280 141147 91406 95547 91401 95552 83114 99693 87255 91410 87264 87260 99698 99702 83118 95556 100817 54366 14649 23563 16744 16743 20143 16745 20144 14650 14651 23562 20142 20148 12756 14655 12752 16749 66543 70676 66534 74822 70680 74817 66539 74826 58386 102001 102004 106147 110293 110296 106150 102000 110292 106146 160488 157866 146504 157861 149581 145428 141289 149567 159153 162005 152288 149566 160493 152251 142358 145421 166638 166639 166622 166617 157450 157449 117154 80671 121010 96668 92013 96166 108817 108822 130482 127921 127926 130535 127919 141491 142322 134492 137631 121047 125198 94621 94658 96165 94649 94624 92005 94614 96152 96159 94643 96151 92019 92009 96155 94505 94517 94601 94439 94412 94441 94622 94493 94469 94619 94444 94333 94481 94329 94400 94529 94358 94580 94541 94330 117068 100530 112900 108823 125360 133700 117073 117115 117114 137839 112954 121235 133643 133684 133727 121218 129511 137802 133630 137845 129539 129527 133685 137803 137819 121219 125406 121247 137844 112913 125365 117089 125435 137831 125393 117072 121262 137798 137873 125401 121214 129581 137846 117101 125381 129554 125408 133673 100531 117109 100525 125364 125407 112928 133658 129553 127927 91989 91994 91998 92525 104858 106877 102733 102872 102914 106747 106907 106967 110984 115042 106796 106746 110893 106772 115130 107060 107062 115310 115038 110892 102773 102600 111185 106882 115142 115331 102797 102736 102821 102704 102692 102604 106955 106838 111077 115169 102650 102941 102935 102809 111113 115352 107039 106750 106850 111206 115174 115247 115211 111023 110896 115171 111164 115039 111065 115259 111125 111028 90512 88675 90479 90497 90503 88674 92003 92020 92522 102601 102833 111053 102785 110942 111101 102626 115199 106979 102731 107018 115235 115064 102761 106879 110996 102893 102916 111089 115271 106919 110918 106931 106943 123356 99707 100919 95561 96773 119501 117698 117693 113246 109100 166938 123238 123314 123179 123212 123226 123224 123287 123174 123335 123235 123232 124704 123181 123229 123266 119518 119511 119516 124705 125774 116406 120545 116399 112260 120552 116412 124698 112252 124691 112266 123331 119184 119185 123334 123330 119188 119210 98188 98216 98186 98156 4189 4197 5858 7492 5865 11045 20207 11052 9279 42526 78990 74885 58454 58467 38567 38571 66602 79038 91424 27162 23582 83179 46457 99716 34695 78981 54438 54425 98213 66615 34747 23640 66515 83132 42479 99768 91419 14721 14727 58461 54384 98155 54427 95574 20220 12770 74898 50379 70694 66514 87282 27225 16821 12828 66561 7545 34700 34752 16815 2482 7491 50388 91482 14673 50429 50384 46412 95628 66604 54375 98208 87336 95615 98151 74887 91476 20166 99720 91428 95622 27219 46464 74844 79033 50436 70752 99761 16758 20162 20214 34758 30934 87278 34704 23627 70665 83190 42537 70741 62511 70651 74840 66557 11004 95617 38619 27214 66522 54380 98152 27171 62454 83184 12822 70698 62459 78986 62430 91469 79031 38562 14669 87323 95570 54432 23577 12815 9272 38625 20157 83136 70739 42524 78944 70746 42474 98215 4141 5811 810 4146 12765 30945 50431 11058 27212 7497 4140 9225 5812 9227 79044 30939 16808 62504 95565 74798 38614 16763 62517 38612 46470 83177 10999 9231 5857 2487 806 9226 10998 5817 58456 74892 70652 30882 78943 66528 62416 87330 99763 23586 7538 23629 70659 70689 66609 2483 2481 99711 58404 99774 58409 30932 91471 12774 42531 74797 16767 34745 23634 87273 62506 50442 74805 7493 11000 98128 98124 27167 30887 87325 46407 14664 46416 42483 30891 66552 74835 58413 98125 14714 98129 95528 95541 98100 87243 98105 91389 87236 98107 91395 99674 99681 95535 78957 99687 83090 95530 99676 83103 83097 83754 83755 58374 62417 58366 58380 145903 96671 98615 98687 98768 98356 98795 98587 98273 98294 98504 98390 98789 98411 98663 98480 98651 98359 98747 98306 98590 98726 98459 98438 98353 98770 98546 98639 98558 98675 98336 98362 98348 98585 98350 99234 99228 99220 98108 98083 98005 97734 97919 95074 98003 86790 97739 90936 97796 86782 98060 98080 97820 90942 99221 95082 86796 98018 95075 97744 98062 97895 95088 97976 90929 97760 97871 137593 141760 92048 92043 92052 87906 87902 83760 87897 137595 137600 134286 139904 120711 112428 116565 120716 120720 129003 124866 129008 124857 116574 116570 124862 112423 112422 129303 129308 108640 108639 112772 116918 112785 108633 112786 112779 108625 141800 141795 133512 137649 137658 137654 129301 97762 98077 97747 98045 97798 97765 98075 97847 97822 98047 97741 95542 87847 87852 100907 95579 83706 96138 87846 99725 91992 91993 96144 99688 96776 96770 96139 99775 100284 83702 95629 96761 83697 100290 98771 96966 96967 100285 120547 119505 119508 120559 112256 116413 121628 117482 113336 116402 112267 87900 87901 99235 101003 95089 96857 100295 130105 124693 112775 102919 102922 107065 108629 91415 92627 74831 83123 70685 84233 87269 84335 88481 71897 76043 88379 78977 80189 93950 93942 98096 98088 59588 51548 43628 62450 58400 55556 54371 87911 92516 46403 92057 88370 50375 66548 67751 63650 47573 42470 84224 83765 137663 133517 96194 96189 96662 137636 116915 137645 137345 125202 125207 116910 121009 121052 121061 129353 133485 125193 138176 138122 129339 138125 133494 121056 129348 96198 129344 133490 133499 96203 133976 78045 82191 78048 82194 129322 79732 79786 79745 75613 75655 79760 100516 96343 100462 100490 96385 100475 72302 90943 86797 88565 92711 120558 74849 79045 71900 87250 71894 84323 84332 62420 87857 88469 80192 91433 92630 91483 70655 92615 70703 88478 74899 66518 88484 76046 83141 58370 78958 78995 20210 87287 80186 70753 83711 76031 84338 83104 17498 87337 81509 81513 81503 130285 130284 123153 114833 114825 114845 114820 123080 123158 119010 114819 123069 119011 148512 148517 148519 118932 118933 118927 118926 133507 133506 113199 113204 113208 118134 119333 113220 118962 119325 125637 117254 118967 118139 113238 113226 113227 113214 121496 125642 43625 62518 66529 54439 51545 54389 59576 58418 62431 66566 50393 51536 59591 63647 46421 46471 63653 43616 42538 55553 42488 55544 67739 47570 58468 66616 87239 91385 78947 74801 85649 83093 96149 90323 68156 90478 90476 90347 86120 86213 86108 86152 90293 86351 86249 90295 90298 86177 90187 86237 90434 86330 86309 90371 86066 86366 86041 90335 90395 90212 90266 90184 86149 86147 90183 86288 86357 90254 90383 90455 86189 90359 86225 86037 86038 86332 86201 81147 85293 86786 77001 89435 85285 95078 89439 97730 97725 89803 76994 85655 90932 93581 81143 89431 89798 89802 99224 81139 93577 93585 76996 85289 145954 145953 145947 140233 145943 140236 150086 145939 142572 142573 150473 150545 150549 150834 148525 150554 150424 150509 150437 148528 150521 150497 150533 150839 150449 150423 150485 150825 150461 156503 156482 148482 148485 147125 146685 148488 150822 146682 148504 148501 149778 149769 145632 145623 145628 149774 134281 136079 144039 136074 134280 136085 144043 144040 145637 146468 150614 149783 122840 139897 139894 139893 139919 148231 148227 148228 115990 120137 124283 115995 124278 115989 120132 120141 150069 150078 150074 125744 117452 124871 121598 120725 113306 112433 116579 108287 112424 108277 112419 108276 108282 109160 124861 124860 128479 135502 136782 135391 135250 135664 135374 124344 135676 135470 135773 128477 135249 128484 135260 135319 128490 132623 135332 135255 124338 135620 135290 120188 132636 124334 135422 135752 136769 135500 135662 120184 120198 124331 135317 135650 135670 135244 136776 132630 135394 135530 135725 135242 135704 135443 135608 120192 135376 135262 135667 135389 136771 135359 135587 135397 135361 135673 149755 149754 139921 151601 139925 70666 67748 91396 62424 62468 47561 59585 67754 80177 97949 78951 98627 100922 92624 83191 76040 50443 74812 71885 167450 167445 116904 116905 164101 164134 164098 164080 164156 164207 164158 164083 164132 164183 164078 164096 150083 150563 116000 121700 120146 117554 171270 171276 171252 171258 171259 171264 171282 171271 162722 158549 162707 162669 158576 171289 158532 171286 171292 154457 154430 166895 166868 162695 154403 162678 171228 171240 162679 158528 162749 171283 158603 171247 154415 158561 158523 171246 158533 162674 171140 171287 158016 162153 162158 158021 158915 153866 153861 158012 153870 158007 149724 156436 156444 154769 153875 150865 150864 156450 156451 145578 149720 149715 171204 171180 171192 171163 171216 171162 171168 153900 153901 171147 171156 171195 171200 171148 169245 169246 168888 168892 168889 160596 160600 160597 164025 160590 160583 155729 164021 159875 175441 175398 170310 170311 175422 175314 171380 166164 172926 166165 175429 175392 162004 170297 175405 172933 175393 175338 175428 175435 175309 175308 175298 175432 175438 166151 174450 174457 170304 175416 175386 162008 174443 175404 175293 175526 167234 175326 175362 175410 175350 174456 175302 175417 175294 175374 166158 172931 168907 154387 168718 168717 169084 168879 168906 168858 171174 168859 166848 164580 169079 169083 164581 171152 166844 166851 154377 167890 154386 171175 171187 168880 171186 166852 169053 167889 154382 169054 168686 169260 169263 171105 171069 171057 152674 171139 168578 171049 167862 170816 171290 170818 170829 171135 169268 171063 171117 169270 171048 171040 171129 167867 171081 171099 168570 170830 171093 171030 152671 171037 171036 171026 171100 171136 167857 168642 158381 171053 170823 168656 158377 169257 171064 145583 150623 146477 149729 170299 166153 158734 158739 158740 174445 145569 141432 145574 137286 128985 133131 133136 141428 128990 128994 133140 137282 124848 141423 137277 175341 175346 173121 173116 173148 175382 173115 169014 173144 173141 175377 175365 169003 169009 175370 173111 169017 155942 168383 160091 164871 168390 160098 171224 155351 171231 164241 163643 168970 160095 169002 164868 151803 155949 159497 168515 168504 168965 160088 155952 155945 168380 175358 164237 164857 164861 175353 171219 168356 173090 173093 168387 168995 171236 168998 164244 164863 168969 168366 159441 151796 155295 151806 168363 173097 168359 168975 163587 164234 152332 152335 152331 137635 137634 137334 137335 131027 141437 142331 120702 124839 124844 116552 116547 108258 120698 116556 120693 108264 112401 112410 112406 108259 116568 116569 149718 141463 124842 124843 158010 158011 131636 131631 150049 149719 143463 143456 147605 143466 147612 147609 147602 38626 35768 39710 30878 38855 39701 31940 35819 34985 35822 38558 35810 38576 39659 30946 31172 53165 34709 47963 39713 34691 127465 31982 31991 129726 129702 31994 34759 63638 30896 83127 111025 115223 151149 171207 151205 171212 151799 168600 171072 168851 163998 164019 164024 168593 168596 164003 171077 168855 130564 130563 168899 151751 164018 141427 141445 141444 141426 135790 135789 139936 139939 135793 148495 148498 148494 165522 157244 161376 161385 163199 157230 153093 161390 154907 165527 161381 153098 165536 167345 157235 165531 159053 157239 153087 121042 133152 133153 164660 163759 164647 164646 163757 168903 169049 163881 163886 141462 164650 50853 9658 4672 3012 9766 9771 9657 6348 9659 8025 3014 4671 4673 8026 8031 7919 6246 7917 7923 9765 3013 6345 1331 7918 3018 11541 1335 4677 6242 39042 24035 24162 39159 27621 43076 9663 17340 47007 27747 27626 47016 42954 13308 15103 11442 35160 31478 145887 145892 142162 148166 148179 142168 142167 152312 152325 124853 128999 129893 125747 134039 138185 133145 137291 152292 168896 168904 164057 164035 164031 168902 164032 168909 153088 121601 120707 158575 168290 170972 170943 170937 156285 170987 154373 170997 175317 158569 154359 170999 170957 166815 170940 160471 171041 168792 154414 166867 169085 166825 173004 173200 166820 168796 169077 173225 173199 170944 173005 168728 172036 162720 172863 156293 172035 156646 170934 160470 162721 154353 154356 173229 170994 156305 168714 168719 166824 173230 156645 166853 172864 156641 168285 173193 166861 154413 171014 173194 168793 154360 158574 158568 154350 162714 162715 166841 175322 152143 154410 154388 152142 166866 170998 166860 156279 171171 156280 155162 155019 171176 148211 148185 148186 148189 168675 171111 171112 168764 171124 164139 171089 171084 168620 168627 168614 168622 171021 171022 168759 171123 173043 173201 175332 173054 175333 173231 173223 172865 172860 173006 172037 175321 172032 173190 175320 172995 11542 15108 20733 24030 20729 24039 35291 17225 24153 31473 20724 35295 17229 17334 39168 13313 20612 31482 39038 15211 17335 17220 11547 24158 35165 50979 27756 13209 31356 11436 39033 11437 46890 15102 13317 20616 43071 31352 39164 11438 35169 46881 13204 27752 20607 42950 46886 43080 42945 47012 13203 15210 50862 54852 50858 54857 75315 62934 71178 63087 58881 71169 67032 58890 62939 58886 67037 67041 62943 54861 71174 104429 100287 104433 104963 104425 100293 50988 50984 100340 54978 83703 67163 54983 67158 75441 71304 54987 71295 63065 59012 67167 59016 63069 63060 71300 59007 67026 62914 144390 144394 144391 100282 145187 141045 143683 143686 124457 107877 107873 141041 143714 128603 143668 143681 116169 128607 103726 132744 145191 143661 87845 96137 132753 124461 141036 103725 116165 96147 141050 146546 96171 83742 87884 79466 87753 96180 96050 79442 83612 104320 104325 100179 104318 100174 100185 91880 96026 91893 87747 96045 79470 83588 96033 96039 87741 91887 100172 112738 95551 137488 125055 112617 116769 116758 116763 108464 112610 108466 145785 133340 144285 144290 144292 104468 108492 112629 133353 141634 145780 145791 120909 125048 141632 104331 133347 137499 129194 120902 108477 108471 141639 137493 129201 137486 125061 120904 141645 129207 120915 112623 112612 116756 129196 145778 125050 124896 124897 145573 145572 120714 120696 120697 120715 134314 134395 134620 134348 130477 134598 134619 134602 134614 134584 134350 134595 134589 134375 134592 134572 134333 134611 134335 134583 156532 156531 139592 134569 134580 134577 134608 123651 113080 117155 113085 125948 125980 123654 123035 125979 145609 145608 110682 110683 115186 122256 122261 132849 136988 128703 132855 136995 132856 128709 132842 129944 137001 138236 128710 134090 137002 141134 136990 132844 144349 144352 120418 120403 124563 128696 120411 121652 124557 125798 120417 124550 124564 141646 133342 145792 142295 146441 128715 112638 125067 116770 120916 133354 113273 116919 129222 125220 128720 133364 132866 116286 141153 141665 112634 120428 141158 129218 145299 124578 121070 91405 91404 112721 141656 79596 91908 104490 100196 92001 75303 133508 79605 116924 116906 79614 125076 83756 75464 120930 120926 143734 91995 133359 87855 87734 79449 132870 104346 79592 100191 79557 108614 87762 100283 116780 103844 112778 92025 92034 95550 87888 145304 108483 145308 83601 141660 100344 100335 146525 137007 116775 108636 144276 104337 133503 144280 141651 141162 103848 145313 137016 137510 83695 137012 79552 124569 79563 87849 108586 91991 112131 112717 132861 120432 142292 104481 125072 143730 75320 142400 125216 129366 145806 96133 124574 116282 121074 79587 71163 63083 59028 75459 71157 87879 137514 75324 91904 146438 113360 100317 104440 75309 108632 75446 104486 104439 75468 79455 83733 107990 128724 121065 112782 83709 91899 112136 112773 129357 96141 104342 145797 91987 92030 107994 116928 83607 120423 108488 116277 144277 83699 137505 112126 100200 75450 129213 112140 142379 67176 67185 71318 59029 62922 96040 112111 116258 116271 116265 120404 117506 112119 112125 116272 87758 108575 83751 129362 79461 107985 108579 116784 108571 83738 108585 108627 141167 145811 143731 103839 125211 145802 133368 63078 71313 67013 59034 67012 67020 62928 100835 87748 104332 121565 117419 109127 104981 71150 71322 129857 92543 108478 96689 91894 112624 129208 134003 100186 88397 125062 138149 75295 137500 113067 113073 134601 134384 134392 134386 130538 134605 134567 130136 130131 93737 93661 115005 113112 89417 89412 113033 130178 119145 92223 124553 92169 130216 113184 113160 110748 117162 93561 115001 126710 112978 130255 130233 113124 113992 125605 112992 113167 89391 114808 130272 130854 113136 122903 117128 92220 113175 93249 93562 117715 92160 113037 130833 113049 113104 116261 113991 112981 110752 118113 96029 119124 117721 114981 130855 117838 119129 114982 89511 122907 114953 130234 125454 129537 117300 129480 127044 92183 130151 125593 114960 129483 113192 115009 133693 113057 114957 92166 113013 125592 121313 113021 121447 119108 130834 112993 117301 129530 114811 121446 113040 133652 130273 130268 113831 118114 114961 123047 126689 117167 112986 113016 130195 110749 93660 130245 119097 130281 129477 113166 120407 92224 113107 112115 119156 113142 130253 130258 114011 125604 129534 122908 113148 113119 113154 113143 133647 129474 130194 113103 115008 113239 113052 121458 113025 133656 125459 113768 112977 114806 113045 125959 121308 89516 133692 126684 93250 110762 109983 130214 127055 93540 115185 92216 130167 113996 113005 87737 113068 113118 113061 113130 113180 126705 117718 109988 91883 130209 115181 113187 113983 133698 143689 145182 139935 164144 129497 113092 129538 113008 113095 133657 129512 133699 129484 125711 79610 35286 145196 75296 71149 83616 150421 141278 113684 150322 150465 150295 150470 162882 154473 114390 131612 144033 148175 144020 116561 117455 142160 152321 144029 151448 135121 134491 130415 134430 134362 143886 139687 130352 134340 134341 151701 139682 143808 134427 139721 134482 143803 142714 131392 138644 134355 134380 143802 151443 134404 134324 134379 139696 150869 134399 134490 139709 134431 134485 134313 134391 138707 142597 131390 143809 139695 134401 134297 139684 134418 142594 139701 135120 134419 143887 134360 134481 142591 151706 139320 135001 113309 135713 131567 135740 135729 139858 135166 112415 109163 139887 131594 135174 135171 135000 135164 151580 139317 139873 139147 139857 139880 158732 151582 131583 143459 131562 155733 159879 156440 160586 139882 139310 155725 108269 139146 152297 135708 139313 151587 127477 127502 127476 127480 131648 131622 131626 131623 139947 135839 135841 139948 159871 124345 132625 132637 121691 128491 134129 120199 136783 125837 138275 129983 139162 139170 135020 147458 135755 143316 143312 135212 139166 135024 143309 135017 112962 117042 117039 117036 112963 112968 164363 156268 159855 135149 147783 135835 134449 150240 143272 134302 151733 142983 167905 168313 167789 167903 134442 134737 152212 134445 160021 164732 150276 139976 117046 112969 171183 151302 143293 155451 164368 117045 175329 152209 138867 173055 167891 135624 134460 151319 155879 140062 151565 156266 150231 134735 134472 134448 173042 160020 173048 168878 164367 164736 134291 139836 135849 147439 175334 134452 139833 140061 156417 150282 155452 134718 143271 117074 147779 156421 156413 150277 139837 168144 117059 150283 156271 140057 168875 167733 143292 134299 150241 134723 134476 147438 134467 150053 134414 168316 135628 151560 134422 172997 134437 168860 168149 151307 134293 134305 135638 160024 147784 171151 173001 155228 152222 151321 134455 134318 138868 156420 173050 164729 168882 155291 167886 152208 159856 134320 134463 168806 164167 150236 168849 168312 134309 135625 139829 135846 154406 171188 134475 134464 169007 164170 164166 74811 91382 58381 87249 62463 46459 156454 115088 170990 100916 61310 60474 60475 97284 97281 97253 97297 97275 97287 79851 55135 55151 63226 60334 79852 11273 27449 10028 23858 24575 21134 11777 13043 14942 28193 15626 13634 9494 17036 20435 17681 158674 150417 150510 121491 113028 113232 100326 104463 96176 100322 112760 112764 108609 144348 108618 112755 89396 125957 92170 93541 92198 125972 125975 113004 92163 121459 113079 113091 125964 113131 113215 113172 113196 112996 113155 81900 77867 81908 84182 88227 56155 77871 73370 75890 80010 88242 137021 124583 134087 128729 132875 121649 117503 116291 76669 81580 84177 88248 88243 88255 84010 81618 81619 81586 80800 75885 80402 88272 88228 56154 80036 79841 80031 80799 88236 81585 76697 81578 83998 83997 88254 76682 88232 80011 75865 79814 75718 73220 79863 79864 77872 84009 138233 120437 125795 79940 88266 88267 73212 75864 75793 77358 75717 77366 75706 129941 75705 75694 129371 125225 116933 121079 125621 125597 121444 121442 125669 121523 121463 121527 125657 125561 121449 121499 125609 125645 125673 121450 125573 121511 121475 121487 125633 125585 60032 60040 60187 60034 60039 60186 121532 125678 65412 65413 151585 151584 124971 129123 145694 149853 153999 137402 137409 129124 156621 156626 133269 124978 141548 133256 133270 153986 141561 134018 156628 137416 154000 138164 141555 145701 124963 158132 153993 129117 145707 137415 154748 129872 129110 149840 124977 149847 133263 141562 146456 145708 149854 142310 150602 137405 129113 124967 133259 153989 145697 149843 141551 65407 97686 97687 84942 88143 88665 88110 86340 88117 88658 88169 88661 88332 88320 88164 88351 88102 88161 88191 88173 88302 88338 88128 85733 88181 88634 86054 88106 88296 88311 88278 88101 85755 88144 88308 88284 88116 84947 88176 88149 88133 88129 88185 88155 86337 88303 88203 88666 88650 88137 88350 88363 88362 86046 88643 85737 88316 88646 88197 88192 85766 88344 88339 88279 85721 88356 88291 88290 88323 88328 88216 88215 88156 88204 88120 88209 92355 92343 92289 96425 96435 100581 92319 92290 100582 96436 92307 92361 92295 129738 129600 129605 129751 129788 129739 129783 52627 28190 24572 23873 27464 129750 112459 112458 11774 17051 15623 9509 20450 17678 21131 14957 13058 11288 13631 10025 55296 59480 67643 128699 129324 113378 128612 96686 62948 55236 35174 79564 55390 100349 100294 104957 55425 83591 138254 133373 55389 120935 116789 50867 92275 55354 87893 84251 88373 55359 67664 83621 136904 87856 103853 80105 104477 55275 52905 55448 55219 112028 129325 120320 124466 100331 121670 55224 129962 129854 88394 96059 80078 117416 55242 71789 128695 43085 55268 52892 52901 83747 113357 92002 42959 80087 108497 75959 75310 55365 71813 55314 55303 117524 67667 92519 125081 104495 55315 55341 55342 55347 55216 109211 107882 92337 50993 75932 92283 121562 109232 55260 55272 92362 63566 31487 109124 62929 55438 55280 67027 55330 55329 55248 55323 134000 55366 55383 79456 71164 55291 105086 55290 79550 112145 100280 92301 134108 92310 92315 92322 100593 39605 79475 67046 75329 39173 129227 138146 125708 55371 107999 105065 104954 96665 112769 55377 55378 108641 120306 136890 143662 116174 116160 132749 71786 55243 84248 31886 39047 51440 108623 92039 100811 100808 92338 84227 109103 100205 46895 31361 71810 31907 54992 63092 63074 67172 67190 103736 113270 92302 51461 55231 55230 92540 67016 71183 71327 87767 55318 35714 63563 55254 35735 75299 47486 67640 59477 63542 35300 92274 132758 112023 120315 136899 59039 55353 62918 100594 89796 55215 83710 83602 55284 137519 53451 53448 55302 55263 96185 80081 55469 103731 112019 55403 55407 55413 55414 55419 75455 55335 55431 63539 87842 75956 43520 104351 100832 58895 39626 55437 79601 112014 55255 96148 71153 112787 47465 75935 80102 43541 59021 59501 91913 54866 136895 120311 55395 55398 79619 92278 143665 107868 125816 124452 75473 79445 55426 92327 128598 92331 104978 96448 96447 71309 113249 47021 15216 27630 112643 89804 31347 96054 120921 104472 83595 116901 67181 92349 92350 17723 11819 27226 11059 15668 23641 24617 14728 13676 12829 10070 10079 9280 11048 12818 11009 14717 16811 9236 21176 16822 20221 28235 6700 6697 1681 8087 8329 8095 6688 8111 1684 1687 8443 6685 6682 8395 8392 1498 6715 6712 6709 8446 1489 1486 1672 1675 6691 6694 1678 8332 8326 8118 1492 8096 1495 6718 6721 6628 6625 6622 6406 6631 3163 3160 3157 3187 3238 3154 3151 3148 4987 4990 4993 4996 4876 4879 4882 4897 3301 3250 4981 3244 3241 3265 4939 4972 4975 4936 4894 4891 4888 4885 3307 3310 3313 3316 3298 3295 3292 3289 3286 4978 3262 3259 3256 3253 4984 3166 3172 3175 3178 3181 3184 3247 3136 3133 4900 4924 4927 4930 4933 3304 7775 51938 21080 27761 28139 24521 15572 15221 24167 17345 9776 20738 9974 24044 20621 17627 13322 13580 15113 13601 13214 9668 17648 17234 24542 9995 21101 15593 11744 11447 27635 28160 11723 11552 10225 5053 3382 17878 8452 5063 5084 5075 6727 6728 6725 3392 5051 3413 5054 3404 1724 62 74 83 1723 1721 56 5 17 26 53 55 25967 25966 25965 33452 16502 21682 21680 29117 44498 49077 49078 49079 3185 7502 3023 3182 7546 3131 4898 1717 1714 1711 1657 1660 1708 1663 1705 1666 1669 6703 6706 8299 49097 8191 8293 8290 1630 8194 8195 1654 8119 1651 1648 1645 8122 8323 8320 8317 8314 8356 8353 1693 8099 8107 8110 1690 8365 1702 1699 1696 8362 8359 2765 8440 8437 8434 3145 3142 3139 8419 8416 7760 2492 8413 8410 8407 8404 3130 3127 3125 3113 8350 8347 8344 8341 8036 8072 8074 1728 8083 8338 8335 8086 8401 8398 8098 1720 1718 8389 8386 8383 8380 8377 7928 8374 8371 8368 4855 4853 4816 4918 4915 4912 4909 4907 4906 4903 4802 4801 15680 4921 6359 5026 5023 5020 5017 5014 5011 5008 5005 5002 4999 6481 4813 4810 4807 4804 8200 8201 1624 8203 8311 1621 8209 8212 1618 8215 1615 8218 8221 1612 1609 1606 4864 4861 4858 4856 4412 28244 28247 6443 6455 6460 6461 5822 5866 15677 6251 24626 24629 6475 4427 6472 6470 27176 6469 6467 6466 6095 16754 6080 16772 20171 20153 21185 21188 5047 17735 5044 5041 17732 5038 5029 5032 23573 23591 5035 6353 14678 4942 6419 6425 13688 6556 6559 6562 6484 6487 6553 6604 6607 6610 3337 3334 3331 3328 6565 3367 4198 4156 4151 6490 6493 6496 6497 6613 6616 6619 3271 3268 6679 3220 3217 6361 4969 4966 4963 4960 4957 4954 4951 4948 4945 6664 6667 6670 3283 3280 3277 3274 6530 6532 6535 6538 6541 6544 6547 6550 4783 4781 4776 4682 6437 4873 4870 4867 27158 6463 14660 6464 4849 4846 4843 4840 4837 4834 4831 4828 4825 4822 4819 6476 6478 3214 3211 3208 3205 3202 3199 12779 3196 3193 3190 12761 11828 3169 6634 6637 6640 6643 6646 3226 6649 6652 6655 6658 6661 4798 4796 8135 8134 8255 8257 8260 815 8263 8266 1073 8269 1525 1526 8197 1627 1552 1555 1558 1561 1564 1567 1570 1573 1576 1577 1579 4852 1633 1582 1585 1588 1591 1594 1597 1600 8287 1603 8302 8131 8130 8305 8306 36824 8308 8123 1516 1519 1522 1523 8206 1531 1534 1537 1540 1543 1546 1549 1427 1439 1442 1448 1450 1466 1468 1471 8233 8236 8422 2750 8425 8428 8431 1472 1474 1477 1480 1483 1528 8284 1340 1410 1411 1414 8224 8227 8230 41 43 46 47 49 52 1636 1513 1510 1507 1504 1501 8254 8252 8251 8248 8245 8222 8242 8239 8297 1642 8296 1639 3223 3364 6673 6676 6520 6523 6526 6527 6529 3340 6577 6580 6581 6583 6586 6589 6592 6595 6598 6601 3236 3235 3232 3229 3325 3322 3319 6568 13685 6571 6572 6574 3379 3377 3376 3373 3370 6499 6502 6505 6508 6511 6514 6517 3343 8281 8278 8275 1088 8272 3361 3358 3355 3352 3349 3346  0
420.76/420.84	
420.76/420.84	c Core has size 20374

OK	20374

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 1.00 1.34 2.10 4/182 25592
/proc/meminfo: memFree=31869560/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=20472 CPUtime=0 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 2034 0 0 0 0 0 0 0 19 0 1 0 892257899 20963328 1726 33554432000 4194304 4365125 140733209530032 18446744073709551615 4293720 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 5118 1737 246 42 0 2266 0

[startup+0.055548 s]
/proc/loadavg: 1.00 1.34 2.10 4/182 25592
/proc/meminfo: memFree=31869560/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=27004 CPUtime=0.04 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 6313 0 0 0 4 0 0 0 19 0 1 0 892257899 27652096 3428 33554432000 4194304 4365125 140733209530032 18446744073709551615 4245972 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 6751 3429 254 42 0 3899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27004

[startup+0.100545 s]
/proc/loadavg: 1.00 1.34 2.10 4/182 25592
/proc/meminfo: memFree=31869560/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=30256 CPUtime=0.09 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 8364 0 0 0 8 1 0 0 19 0 1 0 892257899 30982144 4191 33554432000 4194304 4365125 140733209530032 18446744073709551615 4261057 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 7564 4191 255 42 0 4712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30256

[startup+0.300556 s]
/proc/loadavg: 1.00 1.34 2.10 4/182 25592
/proc/meminfo: memFree=31869560/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=35668 CPUtime=0.29 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 10439 0 0 0 28 1 0 0 20 0 1 0 892257899 36524032 5017 33554432000 4194304 4365125 140733209530032 18446744073709551615 4257444 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 8917 5017 262 42 0 6065 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35668

[startup+0.700459 s]
/proc/loadavg: 1.00 1.34 2.10 4/182 25592
/proc/meminfo: memFree=31869560/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=42820 CPUtime=0.69 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 13816 0 0 0 68 1 0 0 20 0 1 0 892257899 43847680 6513 33554432000 4194304 4365125 140733209530032 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 10705 6513 262 42 0 7853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42820

[startup+1.50031 s]
/proc/loadavg: 1.00 1.34 2.10 6/190 25614
/proc/meminfo: memFree=31739948/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=67572 CPUtime=1.49 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 29547 0 0 0 146 3 0 0 23 0 1 0 892257899 69193728 10587 33554432000 4194304 4365125 140733209530032 18446744073709551615 4262552 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 16893 10587 263 42 0 14041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67572

[startup+3.10102 s]
/proc/loadavg: 1.00 1.34 2.10 5/190 25614
/proc/meminfo: memFree=31696176/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=81908 CPUtime=3.09 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 32304 0 0 0 306 3 0 0 25 0 1 0 892257899 83873792 12867 33554432000 4194304 4365125 140733209530032 18446744073709551615 4275982 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 20477 12867 263 42 0 17625 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81908

[startup+6.30044 s]
/proc/loadavg: 1.24 1.39 2.11 6/190 25614
/proc/meminfo: memFree=31577852/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=81908 CPUtime=6.29 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 33018 0 0 0 626 3 0 0 25 0 1 0 892257899 83873792 13288 33554432000 4194304 4365125 140733209530032 18446744073709551615 4316975 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 20477 13288 263 42 0 17625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81908

[startup+12.7003 s]
/proc/loadavg: 1.46 1.43 2.12 6/190 25614
/proc/meminfo: memFree=31138864/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=81908 CPUtime=12.69 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 34137 0 0 0 1265 4 0 0 25 0 1 0 892257899 83873792 13848 33554432000 4194304 4365125 140733209530032 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 20477 13848 263 42 0 17625 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81908

[startup+25.5009 s]
/proc/loadavg: 2.02 1.56 2.15 6/190 25614
/proc/meminfo: memFree=30306220/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=81908 CPUtime=25.49 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 34137 0 0 0 2545 4 0 0 25 0 1 0 892257899 83873792 13848 33554432000 4194304 4365125 140733209530032 18446744073709551615 4257742 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 20477 13848 263 42 0 17625 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81908

[startup+51.1002 s]
/proc/loadavg: 2.70 1.75 2.20 6/190 25615
/proc/meminfo: memFree=29746032/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=81908 CPUtime=51.09 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 35333 0 0 0 5104 5 0 0 25 0 1 0 892257899 83873792 14958 33554432000 4194304 4365125 140733209530032 18446744073709551615 4262585 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 20477 14958 263 42 0 17625 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81908

[startup+102.307 s]
/proc/loadavg: 3.43 2.10 2.29 6/190 25616
/proc/meminfo: memFree=29622144/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=94132 CPUtime=102.29 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 44234 0 0 0 10223 6 0 0 25 0 1 0 892257899 96391168 16376 33554432000 4194304 4365125 140733209530032 18446744073709551615 4242774 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 23533 16376 263 42 0 20681 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 94132

[startup+162.301 s]
/proc/loadavg: 3.93 2.47 2.41 6/190 25618
/proc/meminfo: memFree=29564568/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=98740 CPUtime=162.28 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 45633 0 0 0 16221 7 0 0 25 0 1 0 892257899 101109760 17461 33554432000 4194304 4365125 140733209530032 18446744073709551615 4242747 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 24685 17461 263 42 0 21833 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 98740

[startup+222.301 s]
/proc/loadavg: 4.04 2.77 2.51 6/190 25620
/proc/meminfo: memFree=29488032/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=128408 CPUtime=222.27 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 69945 0 0 0 22217 10 0 0 25 0 1 0 892257899 131489792 26881 33554432000 4194304 4365125 140733209530032 18446744073709551615 4244758 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32102 26881 263 42 0 29250 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 128408

[startup+282.301 s]
/proc/loadavg: 4.01 2.99 2.60 6/190 25621
/proc/meminfo: memFree=29384572/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=282.27 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 28216 11 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 130452

[startup+342.301 s]
/proc/loadavg: 4.07 3.19 2.69 6/190 25623
/proc/meminfo: memFree=29317448/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=342.26 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 34215 11 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 130452

[startup+402.301 s]
/proc/loadavg: 4.02 3.33 2.77 5/190 25662
/proc/meminfo: memFree=28819404/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=402.27 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 40214 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 130452

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

[startup+409.501 s]
/proc/loadavg: 4.02 3.36 2.78 6/190 25663
/proc/meminfo: memFree=28640716/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=409.47 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 40934 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4260848 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 409.47
Current children cumulated vsize (KiB) 130452

[startup+415.901 s]
/proc/loadavg: 4.02 3.37 2.79 6/190 25663
/proc/meminfo: memFree=28640708/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=415.87 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 41574 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 415.87
Current children cumulated vsize (KiB) 130452

[startup+419.107 s]
/proc/loadavg: 4.02 3.38 2.80 6/190 25663
/proc/meminfo: memFree=28640708/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=419.07 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 41894 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 419.07
Current children cumulated vsize (KiB) 130452

[startup+419.901 s]
/proc/loadavg: 4.02 3.38 2.80 6/190 25663
/proc/meminfo: memFree=28640708/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=419.86 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 41973 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4242615 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 419.86
Current children cumulated vsize (KiB) 130452

[startup+420.301 s]
/proc/loadavg: 4.02 3.38 2.80 6/190 25663
/proc/meminfo: memFree=28635624/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=420.26 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 42013 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4242819 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 420.26
Current children cumulated vsize (KiB) 130452

[startup+420.701 s]
/proc/loadavg: 4.02 3.38 2.80 6/190 25663
/proc/meminfo: memFree=28635624/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=420.66 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 42053 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 420.66
Current children cumulated vsize (KiB) 130452

[startup+420.801 s]
/proc/loadavg: 4.02 3.38 2.80 6/190 25663
/proc/meminfo: memFree=28635624/32951124 swapFree=67052968/67111528
[pid=25590] ppid=25588 vsize=130452 CPUtime=420.76 cores=0,2
/proc/25590/stat : 25590 (MoUsSaka) R 25588 25590 24151 0 -1 4202496 70206 0 0 0 42063 13 0 0 25 0 1 0 892257899 133582848 27142 33554432000 4194304 4365125 140733209530032 18446744073709551615 4242737 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25590/statm: 32613 27142 263 42 0 29761 0
Current children cumulated CPU time (s) 420.76
Current children cumulated vsize (KiB) 130452

Child status: 20
Real time (s): 420.853
CPU time (s): 420.824
CPU user time (s): 420.685
CPU system time (s): 0.138978
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 130452

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

runsolver used 0.707892 second user time and 1.55176 second system time

The end

Begin job on node104 at 2011-06-11 17:36:15
IDJOB=3495747
IDBENCH=82484
IDSOLVER=1989
FILE ID=node104/3495747-1307806574
RUNJOBID= node104-1307806574-25555
PBS_JOBID= 13551072
Free space on /tmp= 74124 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp0neg-tseitin.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495747-1307806574/watcher-3495747-1307806574 -o /tmp/evaluation-result-3495747-1307806574/solver-3495747-1307806574 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495747-1307806574.cnf

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

MD5SUM BENCH= 4cbc17c0fba4366b08e82594de9ab9bd
RANDOM SEED=538072166

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31874128 kB
Buffers:        150652 kB
Cached:         748992 kB
SwapCached:      11076 kB
Active:         274756 kB
Inactive:       647520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31874128 kB
SwapTotal:    67111528 kB
SwapFree:     67052968 kB
Dirty:            6644 kB
Writeback:          16 kB
AnonPages:       20280 kB
Mapped:           8900 kB
Slab:            91348 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   199644 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= 74116 MiB
End job on node104 at 2011-06-11 17:43:15