0.00/0.01	c MoUsSaka with meat
3.88/3.99	
3.88/3.99	s UNSATISFIABLE
397.79/397.82	c Core is minimal
397.79/397.82	
397.79/397.82	v 23866 26387 21345 28908 33045 35562 35563 35565 35564 35559 35560 35567 35566 35558 33046 35556 35551 35557 35554 35555 35552 35532 35561 35550 35553 38068 38067 38990 41512 41511 38991 38069 38070 36504 36505 36507 36495 36491 36486 36478 36496 36485 36498 36497 36474 36482 36487 36490 36492 36471 36480 36481 36502 36503 36476 36477 36488 36484 36479 36475 36512 36472 36501 36489 36499 36494 37965 36473 36511 36500 36483 36493 36513 36510 38065 36509 38064 38437 40959 40958 38438 40790 40617 38066 40614 40591 40613 40602 40601 40597 40604 40598 40599 40607 40608 40609 40605 40606 40594 40612 38077 40616 40615 38082 38083 38084 40588 40590 40589 38081 38062 38061 38055 38031 38030 38043 38032 38044 38029 40789 40791 40961 40960 38091 38440 38439 38268 38269 38087 38078 38088 38028 38076 38040 38042 38041 38096 38270 38085 38086 38080 38072 38075 40339 40460 40467 40461 40586 40466 39034 40585 39028 39025 40468 40457 40469 40495 40496 40576 40583 40582 40593 40577 40486 39001 39008 39021 39015 39005 39024 39006 38995 38999 39018 39026 39009 39014 38996 39000 39022 39010 39007 38997 39017 39016 39011 39020 39013 39004 39019 39023 38998 39003 39012 39002 40546 40551 40552 40565 40549 40564 40547 40550 40553 40610 40559 40346 39030 40560 40348 40344 38993 38994 39031 40347 40491 40490 40456 40343 38056 38079 38060 38046 38052 38035 38051 40567 40556 40573 40572 36508 38033 38005 38022 37941 38034 38019 37989 40566 40579 39033 40459 40489 40558 40345 40482 40473 40477 40524 40487 40510 40554 40543 40526 40506 40513 40484 40455 40541 40462 40472 40342 40476 40525 40483 40453 40499 40503 40474 40501 40478 40509 40584 40555 40512 40538 40580 40542 40592 40523 40485 40338 40581 40611 40603 39032 38054 37978 37991 37964 38017 38090 37963 37982 38003 37932 38002 37966 37992 37988 37952 37953 37951 38016 37979 37980 38050 38045 38257 38097 38264 38259 38266 38254 38258 38255 38256 38429 38271 38427 38430 38423 38428 38426 38425 38420 37950 37998 38027 38000 38015 37986 37997 38001 38013 37999 36514 37987 37958 38012 38014 38260 38265 38253 38433 38424 38421 38435 38436 38422 38431 38434 38432 38262 38251 38261 38263 35568 38053 38073 35918 35919 35570 35569 38063 38967 39720 39670 39719 39680 40600 40563 40561 40562 39027 37936 37827 37822 38071 38020 38038 38004 37962 37974 37957 37969 37824 38026 37955 37821 40574 37945 37817 37956 37939 38059 38025 37961 37968 37948 38021 37826 37935 38039 38058 37934 37823 37947 38037 37975 37970 37818 37946 37825 37940 37938 38252 38267 39678 39679 39671 39672 38089 40596 36470 36469 38969 38968 37930 38966 38446 38520 38964 41376 38988 41451 38985 41509 41438 41462 41504 41500 41477 41447 41506 41476 41461 41441 41464 41425 41465 41435 38981 38982 41071 39688 39682 39687 41502 38986 41501 39715 39712 39711 39716 39686 39685 39683 39713 39673 38984 41490 41503 41485 41489 41488 41487 41379 38550 38955 38445 38944 38943 38441 38442 39675 39677 38956 39674 38855 38856 38858 38857 39676 39681 40967 41041 40962 38549 41070 40963 36465 41042 36028 36467 36468 38535 38548 41069 41056 39709 39708 41510 38989 41505 41507 39718 39689 39714 41377 41378 38992 40966 39570 36458 36464 36462 36463 36461 33944 36460 36459 36457 38534 41068 38980 38979 38983 41444 41436 38547 41055 38521 41445 39616 39610 39615 39040 39039 39036 39038 39037 38074 39865 39745 39891 39872 39866 39889 39738 39740 40021 39867 40018 40016 40020 40017 40019 40023 39888 39869 39897 40024 39746 39868 39896 39870 39890 33949 33948 31429 18824 27010 16303 18860 18858 18857 35534 35540 35549 35533 35535 35514 35525 35531 35524 35530 35541 18847 18850 18829 18855 18828 18836 18845 18849 18830 18856 18851 18843 18844 18839 18840 30507 30506 28956 28952 28955 31463 31465 26421 26420 26423 28941 21355 21374 30490 30515 30513 30509 30512 30514 30510 30525 21375 21367 21353 21373 21361 21363 21362 21359 21368 21358 21357 21354 21350 21378 21381 21379 21380 21371 21349 21348 21372 21366 21370 21376 21377 21365 21351 21364 21346 21347 21352 21369 21360 21356 32923 27011 28003 28004 23900 23899 23902 27006 27005 26435 26431 26434 27114 27113 27112 27075 26433 27004 25461 28944 28942 31452 31447 31442 31460 31445 31454 31450 31440 31436 31437 31459 31451 31455 31458 31457 31435 31453 31441 31443 31439 31456 31433 31449 31438 31462 31461 30511 33027 33028 33026 33025 31470 31469 30523 30521 30522 30520 30518 30517 30505 30504 30524 30516 33019 33013 33020 33012 31467 31468 33024 31432 31444 31448 31434 31446 33041 33014 33039 33022 33038 31431 31430 33044 33042 33043 31471 33023 35548 33984 33986 35513 35498 33987 35512 33983 35501 35529 35750 35749 35912 35917 35746 35914 35575 35743 35576 35911 35748 35744 35742 35913 35747 35916 35915 33033 33036 33034 33035 33226 30492 28936 28930 28933 28916 28922 28938 30481 30498 30468 30499 30467 30469 30466 28919 28917 28921 28912 28915 28940 28926 28918 28927 28925 28929 28924 28914 28911 28935 28939 28920 28932 28931 30480 28928 28913 28937 28934 28923 33227 33992 33990 33991 33031 33011 33030 33228 33395 33396 33970 33959 33962 35522 35509 35510 35507 33980 33963 33973 33979 33972 33954 33966 33957 33964 33977 33967 33975 35545 35909 35910 35908 33971 33956 33982 33981 33960 35432 35420 35484 35445 35431 35442 35496 35429 35443 33965 33969 33961 33974 33989 33988 35518 35517 35544 33958 33955 33978 33968 35444 35546 35547 33953 33952 33951 33040 35905 35907 35902 35904 35899 35901 35505 35449 35448 35453 35504 35543 33054 23871 23890 23873 23872 23870 23868 23884 23877 23898 23889 23894 23897 23880 23895 23882 23887 23869 23867 23896 23879 23881 23875 23886 23878 23874 23888 23891 23876 23883 23885 23893 23892 28948 30501 28950 30502 28949 35467 35900 35903 35471 35906 35482 35461 35411 35481 35470 35457 27993 27992 27988 27989 27969 25482 25483 27999 28002 28001 27996 28000 30402 28947 28946 27991 27995 27997 27994 33397 33398 33049 31428 31427 28909 28910 30869 30875 30872 30871 30874 30870 30708 30707 30873 28906 28907 26385 26386 33029 22941 22944 22943 22942 35516 35434 35435 35458 35740 35459 35733 35734 35730 35495 35738 35732 35731 35737 33047 35468 33976 32046 32047 32045 32041 31477 31476 31473 32044 31475 30368 30366 30364 30365 22939 22962 20440 20441 21385 22839 21386 22902 22903 22893 22920 22926 21382 22908 22925 22907 22896 40446 40449 40397 37876 40396 40399 40450 40452 37878 39609 39613 39614 39612 37928 37929 37931 40400 40350 37926 25841 28362 28436 28883 21968 21964 21969 21320 31426 25840 25837 25836 22909 22852 22856 22862 22854 22863 21387 21384 21383 22849 25475 22846 25477 22848 22843 22844 22847 22961 25468 26427 25448 25470 25473 30705 30703 30700 30704 30702 25467 25472 26429 27981 27980 28954 27984 27983 27986 27982 22954 22960 22959 28353 28354 26409 26414 26395 26407 26417 26410 26399 26390 26393 26398 26419 26402 26413 26405 27966 27962 27968 26416 28184 28185 25469 27967 26415 26392 26403 26418 26426 27881 26425 26408 27977 27978 27971 26391 26412 27972 22958 22957 22956 22955 26388 26389 22950 22951 22865 22904 22935 22918 22927 22946 22947 22952 25462 23907 23906 25460 25463 25464 25465 22905 22936 22906 22929 22876 22949 22915 25459 23905 23904 25360 22836 22945 22691 22698 22842 22699 22930 22696 22899 22700 22695 22933 22835 22894 22895 22953 34574 33998 34569 33997 33994 34568 34677 34678 34830 34982 34829 22697 22937 35511 35508 22934 35521 22948 22916 35447 22877 35523 35454 35539 22917 22692 22829 22912 22900 35520 22913 22866 22830 22831 22701 22911 22806 34676 34675 34674 34640 34646 34645 34639 35479 35491 35494 27961 27970 35736 35739 35741 35493 35745 35735 30493 30465 35492 35480 33037 30519 33004 30508 33009 32899 33010 25476 25481 25474 25480 27985 26404 26400 26396 26394 26411 25478 26401 26406 26397 25479 25471 26428 23843 23319 20799 23318 23317 23860 23861 30877 30528 30876 30526 26363 26364 28361 28885 28893 28892 28895 28357 38940 38941 38930 38920 38904 38926 38917 38924 38914 38915 38923 28359 28888 28887 23864 23865 28884 36405 36383 36420 36446 36434 36435 36423 35925 28871 36399 28878 36394 36403 36409 36422 36402 28872 28859 36393 28879 36396 36029 36419 28881 28882 18818 21325 21324 21310 26378 26316 26358 26357 26377 26371 26382 26370 26369 26372 21343 21344 28875 23857 23859 23858 23856 23854 23853 26367 26375 26380 26379 26374 26352 26366 18801 26373 21967 21966 26365 26376 28864 28866 28863 28822 28828 28868 28870 28869 28824 28829 28867 30987 31394 30882 33478 31421 31423 31417 31420 23862 33399 37093 37146 37095 37148 37143 37147 26355 26347 26348 26349 26346 26342 26303 26308 26343 26307 26345 28857 28820 28842 36014 36448 36445 36447 23829 23830 23315 23316 23818 23837 23836 23846 23849 23848 21337 23833 23742 30986 36027 37142 36026 35999 20904 21327 20795 21321 23839 23840 23425 21333 21335 31354 20794 23817 23424 21965 18807 23841 23320 18819 20797 18809 18808 18806 20796 20798 21332 21322 21338 21340 21339 23831 23850 23845 23851 33507 37144 37145 18800 37094 21315 21314 21313 21312 21331 21220 21221 21316 21330 21274 23842 31360 31357 21318 21319 21329 21336 21328 27065 27115 23852 11261 19443 13758 13234 13233 13756 13341 13235 13759 13755 13757 15754 15757 16278 15756 15831 15755 13782 11256 11255 33008 33003 30478 30479 30477 30407 30406 30476 30475 30411 30412 30462 30463 30533 30701 30706 30534 28012 30425 35427 35414 35415 35426 32975 32945 32940 32950 32890 32949 32936 32977 31466 32960 32961 32963 32924 35413 32980 32992 32993 32991 32946 32947 32944 33225 33224 33217 33215 33214 33223 33211 33212 33221 33220 33209 33218 33216 33210 33222 33213 33055 33219 30417 30403 30415 30440 30459 30428 28945 30471 30456 30470 25445 25429 25446 25447 25428 25424 25457 25450 25456 25412 25451 23908 32974 33378 33380 33383 33388 33381 33384 33386 33379 33382 33229 33385 33391 33390 33392 33389 33394 33393 33387 25336 25417 28355 22938 18822 18823 25426 25387 25398 25397 25425 25427 25438 25439 25436 25437 25435 25402 25364 25370 25369 25365 25359 25434 25433 25217 25350 25432 25358 25352 25220 25356 25218 25221 25330 25363 25347 25213 25333 25348 25334 25340 25357 25343 25409 25410 25411 25331 25335 25222 25219 25342 25351 25341 25367 25368 25366 25421 25423 25420 25416 25384 25395 25381 25374 25382 25396 25375 25383 22932 25466 25414 23903 25441 25430 35430 35537 30483 30442 30453 30454 30488 30489 30419 30439 30369 30426 30429 30472 27979 27998 25415 27846 27847 27012 27063 27064 27051 27041 27049 27062 27047 27048 27061 27043 27050 27046 30416 30487 29525 29526 29527 26571 26966 26963 27003 26962 26967 26968 25325 26697 26857 26856 26675 26665 26664 26361 25946 23741 23735 23734 23844 23855 31302 31315 31329 31337 31311 31340 31332 31349 31328 31345 31321 31344 31362 31322 31307 23834 23835 23795 26301 13231 13232 29532 20420 20419 20422 20421 28005 25834 25835 28186 28356 25486 28007 25484 23314 23313 25491 25663 25665 25832 23141 25833 22965 22963 25664 21342 23863 26262 26263 23394 31380 31378 31419 31422 33400 30957 30883 33404 28890 26381 31361 31352 31312 31316 31396 31408 31350 31306 31303 31339 31338 31413 31333 30879 30878 28903 33403 28466 31393 26354 31381 31341 31363 26360 31400 26356 26302 31399 31324 31414 31305 31298 28873 28877 28891 28823 26362 28360 28902 25838 28900 28467 28876 28784 28901 28898 28896 28837 28899 28358 20873 25839 28894 15753 15752 13776 13774 13775 16297 18799 18798 18797 18278 18352 18817 18816 18811 18813 18815 18810 16298 18814 31377 18804 18803 18789 31367 13773 18275 18383 18276 18277 13767 13761 13766 13753 18273 18274 16926 16925 16927 16294 16295 16296 16292 16291 16290 16293 16280 13777 16277 16276 16267 16266 15861 16254 16275 13769 13747 13762 13765 13733 16179 16289 13764 16924 13731 13716 13692 13742 13726 13679 13727 13751 13730 13768 13772 13771 13770 13728 13694 13744 13741 13750 13743 13682 13705 13693 13740 13713 13746 13651 13745 13650 13707 31356 31373 31370 31371 31375 31358 31366 31376 13658 13749 16255 15862 16252 16237 16215 16234 16235 16228 16225 16923 26359 26336 16251 16226 18788 18382 18776 18787 18775 18794 18795 16265 16223 16224 16172 16264 16261 16263 16262 16219 16218 16198 16185 16190 16189 16212 16213 16214 16197 16181 16176 16211 16196 16207 16195 16177 16180 16206 16202 16203 16186 16236 16258 16259 16249 16247 16246 16248 16250 16232 16239 16233 18699 16279 16268 16287 26339 26338 25945 26351 26350 26275 26321 26299 18712 16270 16274 16273 18758 18773 18736 18747 16271 16272 16178 18693 18692 26319 26310 26309 26312 26318 18786 18785 18779 18780 18744 18755 18735 18746 18756 18749 18724 18734 18722 16288 16282 18782 18812 18783 18802 18784 18723 18745 18740 18753 13778 18791 18739 18700 35424 35300 35483 35419 35440 35436 35499 35296 35303 35297 35425 35500 35538 35417 35542 35441 35418 35302 16283 16286 16171 16220 16222 16221 16281 19448 19447 19446 18793 18792 26253 26250 26252 26251 27066 23423 28465 26335 25944 25915 27067 27072 27073 27074 27069 27070 19444 19445 17762 16980 28840 31409 31412 16175 16217 16188 16184 16201 16191 16285 16979 16978 16977 18772 16284 18769 18770 18767 18768 18771 16205 13340 13670 13729 13711 13681 13680 13342 13712 13725 13752 13734 13763 13714 13704 37165 37196 37161 37167 37195 37152 37166 33048 35305 35301 35306 35304 37199 37198 37197 37194 32896 32903 32995 32927 32893 32928 32906 32897 32905 32783 32781 32894 32996 32898 32784 32915 32926 32919 32904 32785 32775 32913 32920 32776 32914 32892 32780 32984 33016 32932 32983 32933 34679 37159 37149 25327 25400 25361 25386 32779 32962 33017 32997 33021 32979 32978 32986 32938 32937 32989 33002 32987 33001 32990 33018 32988 32922 32921 32909 32911 32910 30378 30497 30482 30389 30400 30401 30390 30388 32461 30405 30527 32782 32053 32048 32052 31613 32010 32009 32008 32043 27948 27947 27946 27908 27945 27933 27918 27857 27907 27894 27935 27938 26424 27951 27949 27950 27976 27898 32889 30474 30384 30371 30500 30382 30377 30264 30441 27869 27880 27868 27879 27944 30262 30376 30372 30394 30392 32157 30450 30451 30452 28951 30387 27867 30259 30263 30373 30260 30261 30398 30254 30258 30393 30399 30496 30495 30457 30458 27896 27848 27919 27905 27904 27960 27959 27882 27921 32107 29633 29634 29635 29632 29637 32887 30385 30383 30375 30255 29636 29602 29572 29570 29585 29533 29562 29571 29584 29582 29583 29564 29569 29568 27266 27267 27419 29589 29567 29596 29604 29598 29603 29586 29631 30367 27936 27975 27937 27987 27974 27850 27890 27743 27941 27878 27877 27852 27864 27856 27873 27739 27855 27886 27742 27861 27851 27954 27733 27737 27942 27872 27884 27862 27871 27920 27891 27955 27741 27854 27863 27953 27734 32091 32090 33996 30503 29597 27116 27895 30395 30449 27740 27738 27885 18821 32089 32106 32083 32054 32105 32093 32103 32085 32104 32092 34824 34680 34826 32309 34825 34694 34827 34704 34687 34823 34822 32088 31365 31359 31374 31372 28006 25440 25373 25377 25453 25329 25212 25216 25458 25454 25399 25485 28182 28183 28351 28352 28013 25455 28187 28856 28839 28830 28833 28860 28831 22964 25346 31406 30880 30881 30988 31404 31403 31416 37150 37158 37151 37157 35409 28464 33506 30972 33493 33505 28451 25930 25943 28904 31351 31405 26384 28905 39717 39737 33947 39739 39707 39710 39690 39684 18848 18852 18827 18854 18835 18841 18834 18833 18842 18846 18853 18831 18837 18832 18838 21334 18825 18826 13754 18796 22940 23142 22970 23140 22971 23143 16301 16302 13781 13780 11260 11259 21294 21275 33479 36000 33492 36013 28450 30971 30958 28437 21279 25929 21276 21277 20622 16300 13779 18820 31425 31424 33401 33402 21293 21267 21233 21242 20905 21256 21270 21244 21255 21245 21257 21237 21254 21260 21253 21249 21231 21261 21232 21238 21259 21265 21278 21266 21230 21247 21248 21341 21292 21289 21288 21291 21290 30985 25916 23408 20887 23395 6219 20449 18381 20902 23422 20901 20888 23409 23421 18367 18380 15858 15859 15846 8740 16336 16339 16308 16321 16306 17028 4027 15860 16922 33925 33941 33942 33924 33937 33938 33926 33927 33940 33943 33946 16323 16314 16333 16304 16335 16334 16324 16325 16329 16311 16307 16320 16327 16317 16331 16310 16319 16330 16318 16337 16316 16322 16313 16332 16326 16315 16305 16309 16312 16328 33902 33913 33914 33508 33901 20900 18379 30984 28463 25942 17030 17029 16981 17031 16991 24490 33899 33878 33873 33881 33898 33882 33888 33491 31323 31392 40447 39611 9359 9357 9358 8788 8784 8787 8786 12878 23312 23144 22891 22840 22879 22815 15276 23309 23145 23311 23310 20318 18863 22890 16344 16343 17797 17916 17917 17915 15381 15380 15379 15378 11264 11282 11272 11294 11297 11269 11276 11280 11270 11295 11268 11283 11278 11291 11262 11273 11271 11263 11281 11290 11275 11302 12755 11284 11274 11292 11277 11265 11287 11288 11267 11266 11279 11289 11293 11286 15377 13824 15386 15388 15387 17893 17894 17887 17899 17900 17901 17902 17897 15363 15357 15303 15313 15314 15299 15300 15328 15344 15345 15333 17862 17864 17863 17861 17876 17875 17860 19550 19551 19703 19856 19704 17908 17909 17913 15398 17912 17910 17905 18101 18100 17918 16345 16341 16342 17914 17919 20436 20437 20431 20438 20430 20434 20433 20439 17920 20426 18865 20417 20423 18864 20409 20414 20415 20408 20406 20429 20418 20425 20791 20790 20623 20621 17773 20780 20784 20624 20777 20779 18269 18270 20785 20787 20782 20775 20781 20776 20789 20783 20773 20788 20778 20774 20786 18102 18271 17923 18272 17904 17928 15291 15302 15243 15293 15290 15289 15376 15389 15399 13821 12877 17885 17888 17870 17807 17767 17858 17806 17857 17871 15264 15275 15274 17921 15277 15316 15356 16351 16921 16349 16928 16350 16347 17869 17878 17884 17835 17824 17834 17823 17764 17883 17882 16964 16962 16966 16965 16963 16957 16959 16967 15327 15346 15362 15361 13819 15330 15384 19549 15246 15258 15247 15259 15395 15394 15396 15364 15383 15382 15393 15374 13820 13825 15261 17898 17907 17911 17873 17874 15397 15245 15391 15392 16984 17027 16999 16998 16993 16997 17026 17800 17802 17801 17877 20468 20405 20399 20404 17886 20428 20407 18862 18866 20432 20403 20398 20372 20339 20331 20369 22810 22814 22821 22822 22819 22813 22820 22809 22914 20356 22040 22041 22034 22035 20355 20342 20358 20341 20345 20792 20793 20335 20344 20370 20285 20387 20444 20386 20294 20375 18861 20319 20340 17896 20442 15390 17831 17832 17833 17830 17829 10357 15751 15402 12860 12857 12859 12858 13823 13822 11301 10356 15580 15579 15407 13059 12856 12854 12855 13808 13805 13810 13791 13803 13800 13809 13802 13794 13786 13788 13792 13814 13797 13799 13815 13812 13796 13795 13813 13807 13801 13785 13793 13798 13789 13790 13787 13806 13804 13811 13818 13816 15373 15372 15366 13783 13784 15375 15252 11303 12862 12863 12843 12866 12865 12867 12868 15749 15748 15365 12875 12876 12874 12873 12845 12851 12852 12819 12822 12820 12821 12834 12833 12818 15578 15408 15577 15574 15576 15575 15297 15298 22074 14662 14814 14661 21392 21963 21393 22072 22071 21391 22070 22853 22924 21999 21970 22022 22006 22020 22019 22008 22009 22001 22021 22007 22005 22004 12846 12844 12870 12871 12836 12842 22837 22827 22812 22808 22826 22878 22838 22825 22919 12835 20396 20397 20383 20384 20435 20382 20424 17890 17891 17903 17892 20333 20388 20411 20412 20381 20306 20317 17867 17853 17852 17783 17784 17785 15367 12841 12850 12849 12848 13058 12872 12861 12779 12793 12782 12722 12792 12778 12781 12768 12840 12869 11300 11299 12612 12827 12745 23914 24484 23913 24485 24543 24542 24491 23912 24540 24522 24520 24528 24525 24529 24541 24527 24526 22075 22222 22377 22225 20332 22033 22073 22026 22068 22039 12615 12607 12828 12613 12611 12608 12616 12614 12853 12747 12751 12829 12765 12816 12752 12617 12764 12815 12758 12760 12746 12759 12832 12864 12770 12831 12772 24530 17820 17796 17814 17810 17821 17811 17812 17766 17655 17768 17771 17777 17654 17794 17649 17789 17793 17656 17780 17659 17895 17772 17658 17653 17778 17779 17650 17657 17788 17787 17836 17770 20620 20617 20618 20357 20378 20392 20176 20379 20309 20171 20315 20177 20322 20175 20308 20323 20300 20174 20288 20416 20301 20299 20298 20180 20327 20292 20374 20291 17922 20170 20390 20391 20314 23139 23127 23126 23132 23131 23138 23125 23129 23137 23136 23128 23134 23130 23133 23135 22861 20179 20385 20321 20413 20373 20328 20304 20310 20316 16346 17782 15401 17849 17851 20443 22860 20616 20619 17865 17854 17866 22069 22023 20305 20178 20293 20289 20287 20450 16340 17837 17798 17795 17848 15733 15731 15736 15746 15745 15739 15734 15742 15743 15747 15740 15737 12825 12810 12756 12812 12731 12737 12743 12736 12741 12729 12738 12769 12824 12724 12725 12795 12735 12823 12726 12728 12754 12753 12807 12730 12742 12794 12811 12806 11298 12809 10339 10338 10337 10336 10335 7829 7833 7832 5455 7831 5454 7827 7828 7826 7824 7836 7830 7822 7834 7819 7821 7823 7801 7820 7825 10324 10330 10331 10346 10347 10341 10315 10329 10304 10301 10286 10258 10291 10303 10272 10257 10261 10249 10260 10247 10210 10251 10271 10248 10302 10201 10235 10274 10313 10298 10312 10300 10299 10297 8779 8781 10334 7835 10332 10220 10233 10232 10221 10222 8778 10333 8782 10234 8780 10310 10309 10344 10311 10323 9469 11915 10352 10325 10540 10702 10353 10351 10350 10354 10355 10704 10707 10539 10706 10340 10349 10314 8738 7839 11876 11873 10215 10209 10208 10092 10295 10308 10307 10243 10238 10087 10205 10204 10096 10217 8767 8759 8760 8776 8768 8742 8763 10095 10239 10244 10091 10216 10094 8752 8773 8743 8754 8748 8758 8746 8774 8750 8755 8751 8772 8741 8771 8766 8764 8757 8756 8744 8770 8762 8745 8761 8749 8769 8747 8753 8765 10214 10294 8739 2263 1215 1216 1971 2700 2699 1970 1210 1211 986 2080 2238 1973 1972 1974 1975 987 2311 2755 2697 2310 991 2694 1032 2753 1031 2696 2309 2702 2740 2739 2701 2734 2738 2737 2732 2742 2741 2754 2752 2703 2695 1686 1033 2307 6224 6233 6251 6236 6253 6220 6247 6239 6225 6237 6228 6250 6223 6241 6246 6232 6227 6221 6238 6230 6240 6235 6226 6243 6222 6229 6245 6252 6255 6248 6231 6244 6249 6234 6242 4569 4021 8716 8717 5754 5755 5756 5757 4022 6194 6195 6196 10712 10820 10715 11236 8735 8734 10714 8715 6214 8710 8711 8703 8692 8704 6213 8732 8733 8730 8725 8724 8731 8723 8193 10713 11210 11173 11195 11234 10710 10711 10199 10819 11248 11249 11212 11213 11225 11232 11224 11238 11245 11237 11246 11240 11235 11244 11226 11241 11252 11251 11250 11254 11253 11137 11228 11231 11136 8299 8714 8713 4004 4003 3673 4001 4002 4000 2234 2233 2239 2258 2240 2254 2252 2253 2227 2247 2248 2226 2246 3672 8192 8191 11233 18728 18757 18696 18710 18705 18716 18709 18732 18698 18718 18726 18738 18719 18707 18702 18701 18706 18717 18727 18733 18711 18697 26368 28794 28816 28802 28841 28781 28812 28782 28795 28817 28783 28808 28819 28818 31418 31401 31314 31385 31310 31384 31343 31388 31391 31387 31297 31390 31331 31304 31389 31407 31301 31317 28805 28897 28886 28777 28776 28789 28786 28803 28791 28810 28790 28793 28800 28785 11129 11130 11239 1209 1265 1264 1217 11209 11184 3778 11186 11193 11183 2257 2243 2151 2214 2237 2079 2250 2131 2251 3670 3671 763 133 979 764 973 975 974 976 981 982 983 952 964 985 984 253 252 762 111 740 331 741 114 330 972 943 951 1212 1214 1213 1271 1273 130 131 401 919 918 125 920 921 11192 10789 10816 10804 10817 13310 13236 11258 34 37 35 124 116 573 32 15 22 21 8 123 13 30 14 24 7 18 9 25 12 20 27 19 29 33 17 6 26 10 5 4 28 23 16 572 31 11 4042 4060 4051 4061 4041 4029 4028 4045 4050 4036 4033 4063 4032 4035 4049 4055 4048 5428 5399 4052 4046 4039 1275 1270 4058 4031 5409 1311 1276 5436 1310 5434 5435 1651 7816 5437 7818 3450 7817 7815 4040 4030 4034 5451 5452 4059 4057 5433 4037 4044 4056 4047 4038 1274 4054 4053 4043 7814 24489 24488 24487 26297 25947 26287 26284 26272 26274 26280 26282 23838 26285 24486 28771 28772 28773 26279 26259 26265 26320 26270 26290 26261 26260 26291 21317 21296 21308 21309 20903 21214 21323 21243 21303 21307 21305 21304 21306 21227 21239 21301 21217 21226 21300 21223 21222 21228 21218 21213 21240 21219 23815 23800 23778 23754 23825 23828 23827 23826 23765 23776 23791 23788 23789 23758 23738 23768 23774 23769 23770 23759 23747 23751 23752 23787 23799 23780 23821 23777 23786 23766 23797 23744 23847 23753 23764 23822 23798 23775 23781 23748 23740 23782 23761 23760 23749 23743 23739 23824 21268 21297 28807 26268 28801 26269 26264 26298 26289 26295 26296 28806 26286 28880 28774 28811 26255 28796 28780 26281 31327 26273 26256 4574 5297 4573 9356 5427 5353 5355 5384 5400 5389 5354 5372 5333 5299 5370 5358 5359 5320 5331 5330 5318 5441 5431 5432 5448 2175 5447 5450 4067 2197 2212 4066 5395 6258 6260 7713 5308 5442 5443 5421 5407 22031 22028 22030 22027 20283 22804 22032 15847 15856 15857 2186 2139 2241 2228 2242 2224 2223 2222 2221 2225 2194 2173 2163 2174 2185 2188 2195 2162 2161 2150 2156 2172 2136 2135 2171 2183 2184 2219 2196 2167 2144 2166 2215 2155 2158 2141 2178 2230 2146 2235 2256 2255 2157 2165 2149 2140 2132 2138 2177 2218 2148 2137 2145 2179 6198 6184 6203 6204 6201 6199 6202 6217 6218 4025 4026 2262 2261 5381 5364 5325 5367 5394 4064 5386 4070 5365 5380 5346 13657 13760 19552 19502 21209 21208 21210 21211 19500 19498 19499 19501 19497 19496 13715 13686 13738 13669 13659 13690 13698 13675 13655 13691 13697 13702 13660 13685 13737 13664 13703 13656 13677 13676 13674 13665 13668 19512 19511 19503 19504 19510 11988 11949 11987 11948 11989 11947 11939 11884 11885 11883 11882 11881 13663 13696 13654 13667 20874 13339 10818 11247 11243 13648 13647 13646 13645 8737 8297 12720 11938 11937 15241 15830 14405 14406 14510 11936 11935 14460 14404 13325 13338 13337 8719 11930 11934 11929 11928 11927 14458 14457 14456 14459 11171 11219 11222 11220 11223 11221 11149 11181 11194 11156 11176 11216 11217 11165 11135 11144 11164 11138 11148 11134 11163 11133 11170 11154 11143 11159 11155 11172 11153 11175 11177 11147 11161 11146 11169 11182 11160 11139 11142 8298 8691 8720 8705 8728 8671 8672 8665 8663 8662 8689 8652 8674 8688 8727 8190 8189 8707 8616 4628 13684 11940 11941 11986 6094 6170 6171 6183 5861 6182 6095 6186 8194 6211 8268 6212 6210 10788 6206 8712 6209 6207 8295 8283 8296 5831 5862 6192 5752 5753 11230 11229 11190 16299 6191 8722 8294 8284 8293 8669 8708 8709 6088 6197 6087 6208 4625 4617 4572 4570 4623 4624 4616 4619 4618 4571 4627 4626 8726 3994 8609 8608 8718 8615 6107 6148 6187 6188 6205 6168 6180 6181 6151 6150 6153 6130 6117 6119 6129 6118 6131 6142 6141 6144 6177 6178 6167 5863 6166 6163 6162 6164 6165 6176 6116 6149 11886 6114 6152 6123 6106 6093 6096 6113 6140 6175 6133 6134 6122 6174 6128 6105 6104 6102 6097 6100 6092 6121 6135 6127 6139 6101 6112 8729 6091 6111 9363 9364 9362 9361 9360 8604 8606 8603 8605 9468 9467 9466 9423 9425 9422 9428 9427 9426 9418 8628 8698 8656 8701 8699 8700 8702 8661 8660 8655 8614 11944 11943 11946 11880 11925 11917 11933 11926 11208 11206 11205 11207 11204 11945 11942 10821 11158 8721 3896 3895 3902 4005 4012 3998 3997 4010 4011 3991 3979 3903 4006 3992 4007 3990 3978 3777 4016 4015 4017 4014 4019 4020 4018 8695 8633 8621 8613 8623 8627 8654 8635 8617 8625 8622 8648 8651 8638 8650 8639 8640 8649 8673 8642 8644 4009 4024 2260 2259 4023 3956 3995 3996 4013 8632 8612 8626 8643 8618 8634 8696 3939 3937 3961 3958 4008 3976 3949 3959 3927 3999 3952 3975 3938 942 5830 922 924 934 933 925 3920 3913 3914 3912 3922 3921 4575 2245 2192 2208 2210 2206 2232 2193 2231 2160 2081 2209 2244 2211 2220 2207 3293 6215 873 2049 839 2050 6216 2063 442 443 485 483 444 479 484 476 455 477 478 480 481 449 459 458 1312 1266 132 113 112 841 845 842 2447 2659 2657 2658 2727 2730 2728 2726 2704 2729 2731 2806 2656 4678 3950 3924 3779 8736 10266 10256 17032 10268 10288 10267 10284 10270 10283 10255 10285 10282 10227 10219 8783 8777 10296 10343 10281 10269 2078 6193 6179 6190 6200 6189 17819 17818 23121 23120 23123 23122 22997 22998 22992 22996 23124 22981 22977 22988 23290 23167 23165 23291 23289 23166 23293 23288 23157 22845 22881 23146 23292 23150 23119 23161 25812 25811 25814 22886 22889 22888 25676 25675 25063 25670 25674 25671 25059 25668 25642 25645 25644 25498 24908 25506 25504 25501 24912 25507 25502 25508 25819 25820 25647 25831 25660 25655 25653 25652 25654 25666 25822 25825 25827 25659 25815 25817 25658 25650 25646 25830 25656 25648 25662 25649 22102 25828 22875 25818 25492 25824 25503 25499 25500 25661 25823 25826 25657 22832 22874 25667 25813 25651 22887 22873 25821 25677 25672 22872 25816 22871 25064 24913 25509 25505 25678 25643 25829 25669 25673 10703 10705 6259 7813 6257 10709 13228 12881 15582 15581 15738 15735 15732 10537 10538 7812 6261 5449 13060 12886 13229 13227 7779 7791 7809 7792 7777 10360 7696 7723 7571 7776 7686 7804 7773 15741 7780 7575 7803 7687 7717 7810 7574 7689 7778 7688 7694 7570 7693 7716 7811 7774 7722 7572 7786 7566 7683 7573 10701 7684 7785 7787 7695 7718 10708 15744 1809 1798 1799 1791 1789 1790 1787 1788 1786 1785 1780 3431 3430 1766 1782 3432 3433 1773 1806 1803 1776 1781 334 251 250 640 626 644 128 126 121 385 400 387 388 398 399 636 608 607 402 386 384 397 335 601 646 617 638 647 635 618 129 1797 641 639 637 127 1756 15750 13230 7800 7807 7806 7793 7798 7783 7794 7799 7808 5319 5366 5347 5401 5383 5398 4069 5422 5429 5408 5410 5439 5440 5438 5420 4068 3451 4065 5411 5349 5368 5332 5317 5396 5369 5382 5379 5356 5345 5444 5445 5397 8018 8186 3446 3445 3447 3443 3444 3449 3448 3429 5748 5749 3665 2654 2653 120 3664 9421 9465 7678 11126 11127 11125 11124 9406 9407 9416 9417 9414 9415 9413 9408 9409 9412 11257 1793 3340 2128 2129 2127 3339 1687 1738 1755 1743 1764 1765 333 213 248 249 2048 1697 1698 1774 1794 257 332 256 756 758 760 754 761 757 759 755 2064 2077 877 878 891 905 892 174 175 110 176 173 177 172 2766 2764 2763 2765 2761 2760 440 403 439 2805 2804 1328 970 971 957 962 963 435 436 437 438 418 417 408 860 117 843 859 846 844 414 874 118 876 119 858 875 1326 872 1327 592 600 648 652 673 715 716 171 714 1284 1308 1309 713 718 170 2698 2744 2751 2745 2747 2746 1038 1035 2743 2750 717 1039 1037 1269 1268 519 683 679 678 682 680 681 2446 500 415 457 456 494 416 674 2450 2452 2449 1092 1100 1108 2509 2481 2453 1779 1784 1696 1747 1695 1661 1676 1599 1596 1600 1595 1683 1597 1594 1668 1796 649 1741 1760 1684 1753 1672 1750 1742 1659 1678 1590 1673 1657 1682 1749 1685 1660 1746 1758 1690 1751 1669 1591 1655 1759 1666 1691 1656 1689 1674 1598 1707 1761 1720 1762 1795 1679 1736 1721 1775 1735 1748 1718 1733 1734 1722 1763 1719 1737 1713 1710 1709 651 1777 1771 1701 1703 1028 1712 1662 1740 650 1034 1700 1699 1653 1772 1708 1805 1754 1752 1671 1677 1725 1667 1724 1767 1783 1804 1723 1726 1802 1792 1801 1807 1172 1081 1208 1173 1124 1114 1110 1111 1112 1109 1113 1093 1101 961 969 980 247 1088 246 1091 1089 244 956 968 960 959 2076 2126 2573 2540 2479 2534 2507 2536 2506 2538 2480 2551 2535 2537 2478 2539 2541 2508 904 890 1251 1242 1240 1241 1236 1239 1252 1261 1260 1263 1262 1244 645 1298 1299 1301 1290 1295 1286 1304 1291 1294 1297 1302 1306 1305 1303 1285 1296 1292 1300 1307 1293 1267 1289 2774 2802 2803 2773 2767 2768 1238 1218 1250 1237 1256 1257 1255 1254 1253 1243 1248 1245 1246 1249 1247 1313 2609 2608 2600 2602 2604 2607 2586 2597 2601 2606 2591 2589 2596 2603 2605 2599 2590 2588 2592 2598 2587 2799 2756 2800 2801 2308 2733 2736 2735 2690 2692 2693 1318 1314 4675 4677 4676 4614 4606 6843 4568 4075 4567 4566 4529 4531 4530 4211 6842 3328 4071 4074 6841 6840 6839 1963 3565 1965 1967 1961 1964 1966 3424 3425 3418 3415 3409 3423 3395 3393 3394 3329 3368 3440 3397 3406 3392 3351 3352 3355 3398 3380 3407 3385 3396 4073 3441 3326 3316 3327 3391 3435 3439 3315 3438 3416 3436 3408 1808 2301 2302 3419 3414 3343 3345 3341 3304 3365 3354 3366 3295 3342 2304 2305 3428 3427 3421 3422 3308 3324 3185 3303 3184 3325 3310 3189 3301 3311 3190 3299 3186 3302 3309 3314 3333 3187 3337 3367 3332 3388 3188 3320 3331 3338 3318 3297 3319 3181 3298 3180 3383 3384 3401 3402 4600 4602 4598 4612 4576 4613 4611 4603 4599 4601 4610 4609 4674 4645 4646 4640 4639 2807 3411 3412 3413 3389 3400 3426 3379 3382 2300 4604 5446 5315 5303 5189 5190 5193 5194 5314 5423 5418 5417 5402 5413 5419 5430 5188 5412 3417 3442 3410 3434 4679 6838 14401 14400 13829 13830 13826 14407 14446 14442 14436 14443 14444 14445 14438 14441 13828 14478 14472 14477 14506 14507 14508 14509 10365 14505 14476 14470 14463 8187 10534 10535 10532 10533 10366 10536 19547 19519 19520 19514 19518 19548 19485 19486 19449 19487 19488 19483 19480 19484 19478 18871 18872 18868 19442 19505 19513 8185 18098 18097 18099 18095 18096 17929 18268 18264 18265 18267 18266 18103 10358 10328 10327 10321 10322 10342 10345 9396 9394 9404 9403 9400 9402 9365 9401 10320 12880 10359 8188 5751 5458 10690 10696 10693 10699 10697 10689 10691 10694 10700 10695 10698 10692 10521 10522 10525 10528 10520 10529 10531 10523 10526 10524 10530 10527 10237 10226 10273 10224 10225 10207 10203 10230 5609 13226 13222 13224 13225 10319 13061 13223 6893 6895 6844 6896 6878 6881 6875 6880 6879 6873 6882 6883 6894 6891 6892 19553 19474 19477 19475 19472 19473 19450 19476 10290 10086 10093 10289 10090 10231 10306 6887 6885 6888 6886 6884 19492 19493 19491 19490 16992 19489 14511 15339 15354 15342 15355 15343 15341 15340 15371 15262 15263 15370 15286 15257 15273 15129 15331 15279 15128 15138 15249 15133 15135 15369 15256 15350 15336 15337 15251 15348 15315 15349 15332 15266 15280 15281 15272 15137 15132 15267 15134 15285 7837 12879 15400 10348 18870 17906 21389 19700 19701 19697 19578 19696 19554 19568 19699 19698 23306 23299 23303 23307 23308 23298 23301 23300 23295 23294 17335 17183 17182 20427 20395 20394 23297 23305 23302 23296 23304 6845 6871 6868 6870 6872 6869 6867 14394 14397 14396 6948 5453 3662 3659 3663 3661 3658 3650 3649 3652 3656 3655 3653 3647 15268 15136 15250 3657 3651 3566 3660 3648 3654 12293 12141 12140 15326 15269 15308 15323 15310 15312 15311 15309 15353 15352 15324 15325 14503 14502 13056 13057 13046 13047 13055 13043 13053 13052 13049 13041 13054 13042 12887 13048 13045 13051 13044 13050 1960 1958 1949 1957 1951 1954 1955 1952 14504 5426 9320 9319 9321 9316 9315 9620 9619 9772 7770 7782 7781 7765 7751 7736 7750 8924 9389 9393 9392 9388 9390 9366 9391 9399 7714 7753 7730 7726 7680 7727 7739 7737 7728 7740 7767 7764 6256 7838 7768 7769 7704 7703 7682 7705 7752 7710 7565 7569 7709 9430 9435 9464 9429 9436 9434 9463 9050 9028 9209 9210 7701 7712 7700 7699 7711 5322 5404 5342 5341 5405 5323 5406 5337 5393 5335 5336 5392 5192 8019 8182 8181 8180 8183 8184 7863 5750 5457 3747 10790 765 1 169 166 148 157 145 163 142 151 144 161 154 153 150 155 165 137 160 143 141 139 158 159 149 138 164 146 136 162 167 140 147 156 152 583 591 623 615 605 624 612 628 614 616 606 613 629 622 610 625 611 634 3987 3988 3986 3985 3989 3915 3926 3925 5860 1272 2758 2759 2762 433 434 430 431 419 420 432 582 574 407 412 405 404 413 406 6265 6267 6266 6837 6263 4636 4638 4637 4635 4632 4633 3746 3453 3454 1822 1823 3974 3972 3957 3984 3970 3973 3971 3890 3892 3891 3893 3762 3775 4615 4622 4634 4631 4630 4629 6082 6083 6084 6085 6947 6945 6946 6907 6897 3910 3942 3908 3901 3900 3947 3943 3941 3982 3909 3905 3948 3904 3899 3919 3983 3929 3930 3931 3936 3960 3935 3744 3708 3741 3707 4683 3704 4684 4681 3745 2894 2893 2822 2892 2891 6944 6908 6914 6909 6915 6943 6900 6913 6942 2808 1856 1874 1873 1868 1867 1871 1872 1845 1824 1835 1862 1863 1858 1857 1861 1853 1859 1828 1846 515 516 518 1484 503 1486 1483 1491 517 493 1487 1490 490 1489 491 504 1485 498 492 499 1488 495 1847 1492 497 1854 496 1852 1870 1865 1875 1869 1860 1864 1866 1493 1855 514 8282 8269 1374 1375 1376 2890 2889 2888 2832 2885 2886 2887 2834 2884 2881 2883 1378 1379 1446 1373 1825 1834 1456 1460 1832 1831 1829 1827 1461 1826 1833 1830 1368 1370 1338 1367 1369 1372 1340 1371 5846 5858 5859 1343 1347 1345 1346 1342 1344 1362 1354 1363 1356 1358 1349 1348 1350 1351 1352 1366 1357 1359 1355 1361 1341 1364 1365 1360 1353 3774 8016 8017 7844 3564 5607 3563 5608 5463 988 3667 3666 3459 1812 1811 1969 1968 8011 8014 8013 8015 8012 7845 5603 5464 5604 5606 5602 5605 8006 8004 7999 8001 8007 8008 8003 8002 8000 8005 8009 8010 9018 6799 6835 6800 6403 6798 6836 5425 5371 5302 5191 5185 5184 5307 5387 5388 2811 2820 2812 2809 2821 5312 5301 5329 5324 5313 5305 5306 5328 5845 3761 5832 3748 2451 134 168 135 855 852 848 856 850 857 853 5856 5857 5847 4210 3776 849 4336 4526 4525 4334 4333 4335 4524 6402 9352 9355 9354 8267 9424 9420 9419 2303 3478 2757 8923 6462 6435 6491 6434 6463 6490 9405 9046 9314 9049 9047 9048 2882 2870 2879 2856 2867 2865 2866 2857 2849 2840 2845 2854 2848 2863 2859 2880 2862 2850 2858 2875 2838 2844 2872 2842 2855 2847 2878 2843 2853 2861 2846 2868 2852 2860 2873 2851 2837 2869 2836 2839 2841 2864 2897 2988 2896 4298 4242 4299 4270 4217 4243 4214 4213 4245 4271 4216 4273 6906 6904 6902 6905 6901 11877 11879 11878 11309 14399 14403 14402 9616 9617 9470 9484 9614 9615 14026 13998 13997 14025 14054 14053 2652 2572 2569 2571 2570 21962 16166 21959 21957 21960 6465 6437 6409 4564 4562 6405 6406 4565 6408 5482 3465 3464 3537 3534 3532 3535 3529 3536 3540 3539 3487 3541 3544 3543 3542 9011 8984 8983 8955 9012 8956 8930 8958 8986 4680 4799 4788 4783 4790 4791 4704 4795 4797 4786 4794 4798 4793 4785 4789 4796 8985 9016 9013 8957 9014 9017 9015 3620 4693 4777 4779 4787 4792 4780 4706 4694 4776 4784 4778 4692 4682 4802 4801 4926 6834 6833 6831 8926 8927 8929 5639 5661 3570 3641 3627 3618 3571 3088 3642 3631 3622 3633 3624 3626 3637 3644 3632 3578 3635 3634 3609 3625 3623 3576 3646 3577 3588 3617 3619 3638 3545 3470 3485 3486 4244 3488 3530 4337 4301 4304 4305 4300 4302 4303 3523 4272 4315 3538 3524 3526 3525 3522 3489 3533 3480 3481 3514 3496 3507 3512 3495 3515 3516 3498 3518 3504 3497 3499 3503 3501 3511 3509 3505 3521 1851 3500 3506 3520 3508 3494 3519 3510 3517 3513 3502 3531 3474 3472 2998 3468 3466 3479 3467 3476 3473 3475 3477 3469 4398 4421 4442 4441 4418 4419 4448 4443 4444 4445 4447 4446 2787 2776 2790 2784 2798 2791 2792 2794 2793 2786 2797 2772 2796 2785 2795 2783 4375 4396 4397 4395 4394 4749 4720 4715 4750 4716 4708 4709 4752 4751 1893 1894 3562 3561 1888 1892 1891 1890 4774 4773 4775 4772 4769 4771 4770 3452 1885 1887 3349 4644 3378 3377 2306 3364 3403 3361 4713 1879 3360 4721 3313 3404 3390 4710 4722 4726 4725 4711 4729 4727 3362 3321 3350 4753 4717 4728 4714 4730 4719 4724 4718 4723 1881 1876 3437 1882 3363 1884 3405 3375 3376 1878 4672 4647 4673 4668 4670 4648 4671 1962 1895 3549 3548 3555 3552 3554 3557 3546 3558 3551 3560 3550 3460 3547 3556 3559 3553 3567 3645 1918 3568 3643 3569 3590 3640 3621 3636 3639 4669 3630 11444 9595 9601 9597 9602 9608 9613 9606 9611 9496 9594 9610 9598 9603 9596 9604 9494 9607 9605 9609 9612 11840 11842 11841 11445 11505 11507 11533 11504 11477 11479 11451 11532 11476 11568 11836 11835 11837 11570 11569 11567 11534 11478 11536 11549 11539 11535 11538 11571 11537 11506 11875 13965 12137 12005 12136 12135 12138 11991 12132 12133 12015 12131 12134 12128 12125 12127 12129 12130 12126 12014 12008 12009 12007 12017 12016 11998 14028 13972 14000 16490 16489 11923 11922 11921 13971 13968 13969 19441 16918 16915 16917 16492 15338 15351 15385 16521 16549 16493 11924 12013 12004 11995 12003 9473 9471 9474 9483 11920 9472 9482 11955 11950 11951 11956 11957 11984 11979 11958 11980 11959 11981 11983 11982 11985 8233 8228 8250 8197 8246 8234 8195 8208 8262 8203 8259 8238 8216 8209 8249 8232 8241 8202 8244 8237 8290 8289 8285 8287 8288 8204 8242 8245 8206 8286 8212 8248 8213 8231 8214 8258 8207 8235 8243 8254 8226 8220 8240 8253 8210 8224 8251 8218 8291 8261 8265 8255 8239 8266 8221 8217 8229 8257 8199 8256 8247 8263 8201 8222 8292 8198 8260 8223 8215 8219 8211 8236 8196 8230 8200 8205 8225 8252 9592 9593 18263 18261 18260 18256 18257 18252 18262 18255 18258 18259 18253 18254 6494 6497 6496 6436 6493 6464 7992 7990 7997 7986 6507 5475 5480 4941 5597 5601 5599 7862 7983 7870 7861 7978 7981 7975 7878 7854 5598 5592 5590 5591 4936 5594 5593 5596 5472 5588 6492 6495 7977 5595 5600 7855 7852 7853 7851 7872 7856 7265 7866 7859 7976 7858 7993 7994 5587 5477 5476 7995 7996 7874 7998 7985 7982 7984 7980 7987 7988 7991 7261 7860 7873 7266 7857 7979 7871 7989 6903 6940 6941 6899 6898 7094 6949 7096 7095 6963 7093 16989 16990 16983 16982 7087 6973 7092 7090 7089 7091 7088 6975 6953 6950 6952 6962 16986 16987 16988 16985 5804 5801 5797 5818 5796 5811 5803 5812 5794 5814 5805 5813 5799 5820 5821 5809 5817 5808 5792 5816 5802 5823 5819 5825 5828 5806 5822 5826 5810 5807 5795 5798 5793 5815 5800 5824 11976 11978 9155 9154 9153 9150 9147 9145 9142 9151 9143 9152 9144 9148 7032 7043 7034 7037 7040 7042 7029 7038 7027 7030 7035 7041 7039 7031 6993 6995 6992 6983 6991 6984 6996 7011 7007 7013 7003 6997 6988 7010 7019 7008 7014 7005 7015 7006 7017 7018 7016 6994 6989 6985 6986 6981 6951 7083 7078 7074 7073 7075 7077 7079 7082 7086 7080 7085 7081 6795 6794 7076 7068 7072 7067 7070 7069 7071 7084 7044 6976 7022 7020 6998 7021 9116 9140 1883 1877 1880 1889 1886 1818 736 737 1896 6961 11973 11975 11977 8657 8686 8687 8659 8676 8685 8658 8683 8684 11964 11963 11965 8052 8054 8056 8067 8055 8057 8066 8062 8060 8059 8065 8063 8064 5478 5471 5481 5474 4940 5589 5479 5470 5586 5473 11892 11970 11966 11968 11967 11974 11969 4665 4667 8050 4652 4654 4666 4662 4664 8053 8061 5659 8048 8049 4659 4655 4657 4581 4663 4658 4653 4656 3582 3586 3580 3581 3579 3587 12087 19436 19439 19438 9550 9558 9555 9562 9548 9559 9553 9563 9564 9561 9552 9560 9556 9551 9572 9578 9585 9582 9577 9574 9580 9570 9584 9586 9581 9583 9573 9575 9540 9537 9527 9535 9524 9531 9528 9529 9539 9536 9526 9534 9538 9532 9505 9514 9515 9510 9502 9509 9516 9506 9517 9504 9507 9512 9518 9513 12116 12117 12123 12122 12119 12115 12118 12124 23796 23810 23813 23763 23811 23426 23812 23823 23809 9549 9545 9547 9554 9557 9544 9546 9511 9508 9498 9503 9500 9499 9501 12114 12112 12113 9588 9519 9591 9589 9543 9541 9542 9590 9587 9565 23814 16920 14582 14581 17061 22216 22214 22219 22212 22099 22213 22220 22101 19598 19594 19601 19599 19600 19597 19596 19593 19582 19592 19602 19591 19589 19590 19588 19586 19595 19583 19584 19585 19587 22082 22100 24052 24053 22218 22215 22089 22221 24175 24441 24174 24440 24446 23910 24483 24482 24447 21618 21623 21622 21633 21590 21619 21621 21562 21620 22087 22079 22088 22083 22084 22086 22085 24112 24056 24084 22199 22203 22207 22200 22210 22206 22211 22205 22209 22201 22202 22204 22208 19686 19681 19688 19580 19690 19679 19689 19680 19678 19692 19683 19694 19695 19682 19685 19693 19687 19691 19684 21563 21535 21591 23729 20637 17846 20638 17872 17845 17847 21531 21532 21534 23730 23732 23731 20886 24055 24518 24515 24492 24517 24519 24514 24516 24172 24050 24442 24445 24173 17033 17047 17180 17179 17177 17178 17170 17171 17057 17059 17176 17174 17173 17172 17175 17158 17156 17167 17163 17162 17169 17161 17157 17166 17159 17168 17155 17165 17160 17154 17153 17082 17105 17164 17106 17037 17045 17046 17058 17128 19645 19639 19647 17151 17152 19642 19643 19648 19628 19646 19644 19640 19638 17040 17043 17044 17041 17042 17940 17943 18079 17944 18080 17349 17956 17350 17946 17938 17935 18082 17941 17939 18078 17942 17945 18081 19567 19558 19566 17790 17844 20469 20470 20477 20471 20476 19097 19069 19099 19100 19098 19041 19102 19112 19101 14526 14512 14656 14658 14657 14659 14654 14655 14536 14653 14650 14636 14637 14638 14641 14647 14648 14642 14644 14639 14518 14517 14523 14519 14537 14520 14584 14524 14538 14525 14516 14561 14635 14630 14634 14607 14631 14633 16919 16884 16883 19508 19509 19506 19507 19241 19529 19542 19541 19538 19526 19292 19242 19528 19455 19522 19545 19530 19527 19535 19533 19540 19293 19531 19534 19544 19521 19537 19546 19243 19532 21751 19294 19539 19543 19536 22065 22067 20770 20764 20769 20767 20647 20762 20759 20765 20763 20757 20758 20648 20754 20756 20772 20766 20768 20753 20760 20771 20749 20755 20750 20751 20752 20652 20761 22989 20646 14606 14605 21528 17126 17121 17118 17113 17124 17119 17123 17116 17122 17114 17111 17125 17115 17107 17109 17120 17108 17112 19667 19668 19669 19670 19624 19622 19623 19621 16882 17127 17859 16487 20601 20456 20603 20598 20599 20600 20602 19615 19661 19616 19613 19664 19666 19620 19618 19619 19659 19662 19665 20467 20460 20475 20605 20608 20606 20615 20613 20612 20614 20607 20609 20610 20604 20611 20311 20350 20365 20368 20366 20354 18088 18091 18094 18092 18083 18086 18085 18089 18087 18093 18090 18084 20353 20367 20393 20351 19604 19614 19605 19606 19617 19609 19611 19610 19607 19608 19612 20461 20465 20585 20458 20462 19871 20584 20459 20457 20587 20463 20466 20596 19870 20592 20583 20589 20479 20580 20588 20595 20591 20586 19866 20597 20581 20593 20590 20594 20478 20464 20582 18867 20303 20380 12085 12065 12080 12075 12071 12067 12083 12066 12078 12072 12081 12077 12079 12084 12068 12082 12074 12070 12073 12076 12069 12041 12061 12107 12019 12039 12063 12064 12040 12108 12110 12111 12109 12086 12062 14628 14627 14586 17117 17110 14608 20579 14560 14559 14540 14562 14565 14609 14591 14571 14566 14624 14595 14575 14574 14603 14604 14557 14558 14589 14547 14626 14592 14573 14564 14601 14613 14599 14598 14579 14620 14594 14597 14555 14549 14578 14590 14617 14570 14544 14543 14542 14600 14554 14615 14548 14546 14621 14616 14596 14602 14576 14612 14619 14593 14588 20352 14614 14580 14550 14587 14569 14541 14567 14568 14553 14545 14623 14625 14552 14577 14556 14611 14572 14622 14563 14551 4740 4744 4746 4742 4735 4743 4733 4745 4738 4731 4739 4748 4732 4736 4737 4741 4747 2065 2075 2074 1999 2019 2010 2003 2068 1982 2005 2037 2011 1993 2001 2042 2039 2040 2013 2009 2016 2022 2030 2015 1986 2031 2004 2047 1998 2043 1996 1987 2002 1989 1985 1988 2020 2007 2023 1976 1983 2017 1977 2046 2026 1981 2018 2012 2029 2014 2066 2033 2021 2028 2036 1990 2034 1991 1980 2032 2067 1984 1994 2041 2044 2038 2006 1978 2070 2024 1992 2073 2071 1995 2027 2025 2000 1997 1979 2035 539 2072 532 2069 989 990 530 534 536 537 531 535 538 529 711 533 11285 22217 24610 24609 24742 24600 24741 24743 24730 24608 24729 24720 24727 24731 24620 24622 24736 24739 24728 24596 24740 24722 24733 24737 24724 24734 24738 24732 24723 24735 24721 23407 24604 24605 24607 24603 24602 24601 24606 26570 34626 34627 34575 34573 33922 36336 36443 36334 36335 36337 33816 33814 33813 33815 34628 34638 34637 34636 33862 33884 34632 34633 34635 33872 33875 33939 24556 24561 24555 24592 24590 24589 24562 24591 24593 24594 24547 24560 24544 24587 24588 24551 24548 24545 24550 24546 24549 24553 24564 24580 24579 24575 24578 24583 24572 24584 24569 24570 24563 24497 24586 24176 24582 24574 24573 24581 24552 24554 24585 24568 24571 34222 34221 34194 34165 34166 34193 29522 29523 29520 39430 39705 39694 39704 39695 39702 39706 39385 37160 39425 39462 39454 39410 39407 39381 39698 39703 39696 39623 39701 34624 34612 34625 34613 34614 34610 34611 34604 34606 39461 39700 39697 39699 27253 27241 27249 27250 27258 27252 27247 27246 27255 27248 27257 27242 37891 37892 37897 37898 27141 27245 27243 27256 27143 27251 27261 27131 27260 27259 27142 27262 27117 27263 27264 27254 37217 37841 37848 37842 37847 37216 27244 37368 37367 36937 39415 37872 37873 37871 37875 36938 37177 39422 39421 29091 36890 37178 37175 37183 37102 39413 39423 36941 35477 35476 33993 35465 35506 35478 39420 37180 37184 37924 37921 37922 37923 39419 39424 39372 37181 37173 36940 29531 27233 29754 27225 27232 29749 27224 29734 29748 29737 29750 27222 29741 29751 29739 27230 27228 29753 29736 27231 27227 27229 29752 29742 29735 29743 27219 29740 29747 29745 29746 27220 27221 29738 29744 27217 29530 27210 27207 27201 27194 27209 29713 29718 27203 29732 27211 27199 29723 29727 27191 27204 29724 29728 29729 27198 29730 27206 27205 29716 27200 27202 29714 27195 29725 29721 29726 27193 27197 29712 29722 27196 29717 29715 27208 29720 29731 29719 29215 29482 29216 29214 29489 29488 29217 29483 29484 29092 29524 29487 27130 27121 27129 32051 29529 29528 29557 29558 29560 29556 29559 29561 35437 37185 39573 39176 39571 39608 39572 35466 37874 37925 39406 39428 39382 39443 39411 39405 39386 39379 39453 39412 39417 39456 37182 39450 39451 39442 39409 39414 37186 39429 37174 39371 39418 39459 37188 39369 39373 36939 39434 39433 37189 29784 29638 29785 29652 29782 29783 31701 31673 31645 31700 31672 31644 31647 26659 31619 26603 29124 29180 29152 29154 29126 26631 26658 29098 26602 26630 31675 29781 29664 29771 29763 29766 29764 29769 29780 29776 29774 29775 29770 29662 29777 29772 29765 29762 29778 29773 29779 29668 27186 29708 29707 29688 27176 27175 27174 27178 29679 27162 27165 27164 29672 29678 29670 29675 29684 29680 29677 29682 27187 27171 27173 27179 27181 29758 29755 27154 29685 29757 27160 29666 29676 29671 29667 29669 27149 27163 27156 27161 27152 27151 27185 27182 29673 29683 29674 29681 29686 27153 29733 27157 29756 29710 29711 29709 29687 27159 27184 27183 32050 32049 39263 36689 36715 39207 36744 39267 39280 39693 36748 36747 37172 36749 36746 36745 36759 36688 39210 39268 39266 39209 39182 36686 36742 36717 39265 39237 39235 36687 39238 36743 39236 39269 39270 36716 36661 39208 39264 34140 34196 34168 32098 32102 34136 34137 37083 39178 39179 37085 37086 36660 36658 39181 34565 34562 34564 34139 34609 31618 31615 31616 32125 32153 32154 32155 32156 32119 32124 32118 36936 39378 39446 39307 39308 39375 35519 39402 39400 39447 39392 39396 39404 39376 37193 39388 39401 39455 36865 36889 39452 39426 39399 39374 39380 39431 36714 39427 37191 36913 39445 39383 39460 39384 39394 39408 39457 39432 39448 39377 39403 39395 39458 39444 39440 39397 37190 34572 39368 37179 37155 37153 37156 37154 37169 37187 37176 37192 37168 34630 34629 34692 34693 34684 34343 34414 29651 29650 29642 39436 39449 36864 36914 36935 36934 39438 36915 36933 36863 36786 39309 36892 36891 39437 39306 39370 36910 36912 36911 39435 39441 36862 36785 34370 29759 29761 29760 29534 32004 31735 31737 31738 32003 31736 32005 32308 34631 29123 29179 29151 32158 34673 31704 31707 31739 31703 31646 31705 31706 31702 31717 31674 34672 34667 34669 34668 34648 34671 34666 34670 34647 34238 34228 34224 34223 34227 34225 34226 34167 34195 34634 32173 32305 32304 34807 34805 34806 34804 34808 34816 34818 34819 34705 34820 34814 34821 34706 34812 34817 34811 34809 34815 34813 34810 32306 34644 32303 34691 34689 34688 34690 32198 32197 32196 32203 32275 32205 32202 32204 32199 32187 32188 32274 32206 32207 32273 32200 32256 32255 32272 32201 32270 32264 32271 32269 32266 32265 32257 32268 32267 34752 34772 34720 34790 34749 34794 34717 34769 34746 34724 34730 34731 34740 34719 34788 34792 34793 34729 34795 34774 34739 34770 34791 34796 34728 34775 34765 34744 34787 34745 34773 34748 34747 34742 34741 34753 34750 34726 34763 34743 34722 34725 34799 34766 34798 34771 34727 34723 34785 34751 34800 34768 34797 34732 32218 32226 32227 32224 32223 32221 32229 32209 32210 32220 32225 32228 32159 32242 32247 32250 32249 32245 32251 32248 32252 32244 32246 32234 32233 32253 32235 32243 32998 32972 32973 32957 32959 32971 32985 32916 32970 32958 32999 33032 32183 32301 32302 32299 32185 32297 32298 32300 32296 34570 34571 32283 32286 32291 32287 32284 32285 32292 32293 32290 32295 32294 32184 32908 31472 33000 32955 32956 34656 34661 34662 34655 34660 34658 34657 34659 34665 34664 34663 32163 32172 32171 32276 32278 32280 32279 32281 32277 32282 32208 32231 32232 32230 32254 33060 33207 34651 27180 27172 33377 33376 33208 33230 33061 30362 30316 30327 30361 30360 30359 30326 30319 30325 30322 30324 30539 34707 34802 34801 34803 36657 30537 30538 29787 29788 29940 34786 34721 34709 34789 34777 34776 34718 34708 34710 34778 36888 34761 34715 34783 34734 34735 34758 34782 34736 34784 34760 34714 34716 34737 34733 34780 34738 34712 34762 34713 34711 34779 34781 34764 39389 39390 39398 30321 30320 30323 39387 39393 30856 30709 30855 32885 32837 32882 32883 32886 36887 36884 36886 36885 32873 32858 32875 32879 32877 32876 32874 32857 32878 30687 30540 30686 30854 30853 30720 30844 30848 30842 30850 30847 30843 30846 30851 30835 30852 30834 30840 30845 30836 30837 30732 30841 30730 30849 30833 36909 36932 36861 29794 29795 33205 33072 33206 33374 33375 33196 33241 29590 36866 36867 36880 36876 36881 36882 36878 36879 36883 36877 27990 27902 27916 27956 27913 27957 27914 27930 27917 27931 27929 27932 27915 31292 30435 30437 30438 30491 30436 30423 30424 30434 27874 27958 27928 27903 30464 36875 36874 36869 36868 36926 36908 36903 36930 36904 36899 36900 36931 36901 36907 36923 36906 36922 36898 36927 36921 36929 36924 36858 36850 36787 36854 36788 36860 36857 36851 36855 36859 36852 36872 36873 36849 36853 36856 34393 36905 36893 36897 36894 36902 36919 36896 36847 36848 36871 32881 32848 32880 30551 30685 30684 30664 30665 30675 30676 30678 30681 30673 30668 30666 30683 30682 30672 30674 30671 30667 30677 30679 30561 30680 30563 32189 34685 34686 31295 31294 31293 34416 34418 34417 34420 34419 33059 33058 34754 34755 34767 34404 34756 33369 33251 34759 34757 32856 33056 33057 29647 29646 29649 29645 29648 29644 29643 33357 33364 33365 33370 33368 33362 33192 33195 33202 33198 33084 33201 33194 33188 33204 33199 33200 33187 33082 33372 33203 33354 33197 33189 33193 33186 33185 33356 33373 32222 32211 32219 30697 30691 30699 30688 30690 30694 30693 30696 32152 32149 32146 32147 32151 32148 32144 30860 30865 30859 30866 30862 30868 30857 30863 33361 33371 33367 32095 33363 33253 32101 32096 32097 32094 33358 33366 33355 29700 29693 29694 29697 29692 29705 29690 29696 29704 29698 29702 29703 29695 29701 29689 29706 29699 29691 36928 34381 34581 34654 34653 34652 30970 36916 34415 32143 32141 27001 26999 27002 32131 32060 32133 31899 32132 31898 31871 31895 32135 31897 31894 32138 32136 32142 31896 34392 30549 30543 30550 34367 34369 34368 34264 34345 26383 33071 32471 33064 33063 32622 33240 33233 33232 34344 33070 33062 33239 33231 24898 24745 24746 29095 29097 29094 29625 29620 29630 29626 29621 29624 29613 29616 29375 29376 29377 29326 29606 31835 29614 29539 29125 29196 29183 29182 29181 29184 29185 29153 29186 31883 29629 29615 31860 29610 27212 27236 27234 27235 27166 29611 29612 29350 31812 29327 29373 29374 29623 29617 27189 27190 29622 29627 29605 29628 29378 29325 27188 27237 29302 34366 36925 36917 34391 28338 28342 28345 28339 28344 28348 28343 28346 28337 28340 28349 28341 28347 28350 30698 30695 30692 30689 31819 31821 31820 31822 31845 31836 31842 31844 31841 31840 31837 31843 31839 31834 31833 31817 31832 31814 31818 31808 31809 31816 31813 31810 31831 31811 32123 30536 30535 32215 32213 32214 32212 32217 32216 32191 32193 32190 32194 32195 32192 32241 32237 32261 32263 32236 32238 32239 32258 32240 32262 32260 32259 34411 34412 34413 34406 34408 34409 34410 34405 34390 34387 34385 34389 34383 34386 34388 34382 34334 34341 34339 34337 34338 34340 34335 34342 34362 34364 34358 34361 34357 34363 34333 34360 34356 34365 32117 28039 28033 28162 28164 28034 28030 28040 28163 34395 34407 30867 32126 32150 32127 32114 32111 32115 32112 32116 32110 32145 32134 32137 31848 31847 31823 31846 34403 31856 31861 31857 31868 31869 31854 31858 31867 31864 31862 31866 31859 31865 31887 31892 31888 31891 31884 31890 31885 31889 31882 31877 31880 31881 31879 29218 34394 36920 31893 31829 31870 31806 34402 34401 29588 29594 29591 29593 29595 29592 34326 29587 34266 34336 34265 34347 34359 34400 28331 28330 28203 28209 28208 28201 28202 28190 28332 28333 27580 28199 28198 28191 31873 32113 32109 32108 34396 34399 27082 27076 27077 27083 27111 28207 28335 28334 27943 34398 34331 34329 34330 34332 34328 34267 34380 34384 34379 34375 34378 34377 34346 34355 34352 34351 34354 34348 34353 34327 34350 27192 24595 33275 33273 33276 33277 33274 33267 33272 33269 33270 33300 33301 33324 33323 33325 33346 33349 33350 33347 33302 33303 33345 33299 33348 33344 33319 33295 33304 33279 33326 33328 33278 33322 33280 33298 33297 33343 33320 33306 33342 33296 33282 33341 33321 33294 33316 33315 33291 33289 33335 33338 33313 33318 33337 33340 33292 33317 33293 33290 33336 33339 33314 33351 33352 33353 27081 28336 34376 34371 34372 34373 28326 28211 28327 28329 28210 28188 28196 28197 28194 28321 28312 28318 28325 28315 28319 28323 28193 28316 28317 28192 28189 28324 28320 28314 28322 28328 28195 28313 28283 30805 28307 28308 28311 28309 28310 28306 28305 30783 31805 31743 31745 31824 31746 31807 31830 31815 31744 33182 33183 33184 27168 27169 27177 27170 30864 30858 30861 27213 27216 27223 27215 33154 33175 33174 33152 33180 33181 33156 33177 33176 33153 33179 33155 33178 33157 33135 24673 24677 24675 24687 24690 24689 24679 24670 24676 24674 24678 24685 24671 24683 24680 24686 24704 24692 24701 24707 24700 24699 24694 24697 24702 24705 24708 24706 24711 24696 24712 22160 22163 22168 22161 22164 22165 22158 22179 22183 22182 22159 22173 22150 27214 27218 27226 22185 22184 22180 22187 22186 22188 22177 26430 27866 31838 31825 22190 24703 24693 24695 24672 24681 24684 24688 22172 22178 22169 24698 24710 24709 22171 22181 22151 22175 22149 22162 22167 22166 22189 22191 27167 24682 30634 30656 25928 30636 30614 27126 27128 27124 27125 27127 27240 27239 27238 29324 29303 31827 29301 28135 28113 25449 25392 25353 25407 25394 25408 25393 26604 26660 26632 26663 26661 26662 24082 24138 24081 24109 24137 24110 26605 26633 26577 33134 33107 33132 33109 33129 33128 33108 33106 33130 33131 33110 33133 33173 33169 33171 33125 33123 33105 33098 33104 33147 33166 33146 33150 33149 33168 33151 33127 33120 33101 33126 33122 33100 33103 33172 33144 28038 27068 27071 27108 27107 27109 27110 22928 28032 33163 33139 33115 33117 33097 33095 33143 33093 33096 33165 33161 33141 33142 33118 33119 33164 28022 28029 28165 28166 28021 27429 25512 25519 25641 25510 25511 25513 25632 25518 25636 25635 25637 25639 25634 25640 28093 28115 30825 30803 30779 28258 28257 28282 28303 28304 28281 30759 28170 28175 28167 28176 28178 28172 28179 28169 28181 28173 26701 26782 26803 26780 29222 24259 25614 24258 24281 24282 25592 25591 25613 25629 25631 28235 28236 28047 25624 25619 25547 25521 25569 25616 25622 25625 25593 25638 25626 25633 25618 25620 25630 25520 25570 25615 25623 28069 25571 25617 25621 28256 28253 28233 28232 28231 28255 28254 28234 28252 28244 28220 28224 28225 28223 28227 28247 28250 28242 28245 28249 28246 28222 28228 28230 24111 24143 24139 24144 24142 24141 24140 24154 24083 28259 28237 28261 28260 23168 23282 23287 23281 23284 23283 23286 28215 23279 23272 23271 23276 23270 23273 23280 23278 23277 23274 23275 23169 23285 28449 28279 28292 28280 23148 23156 22978 22538 22985 23104 23000 22999 22984 22991 23111 22979 23116 22986 23107 22983 23149 23155 23152 21560 28296 21616 28270 21588 28291 23004 21589 22987 23153 23109 22392 22982 23115 23113 28268 28269 22391 22990 23105 28300 28299 28290 23147 21561 21617 23112 23114 23118 23103 22980 23108 23117 28277 28278 27585 28274 22387 28295 28266 28273 28301 28302 28288 28298 27584 23159 23106 23110 23101 23102 28293 23160 23151 23154 28276 28271 23158 33158 33162 33160 33167 33159 33170 33140 33137 33136 33138 33145 33148 33114 33113 33116 33121 33124 33111 33112 28140 28147 28151 28152 28154 28150 28145 28158 28042 28149 28160 28148 28153 28159 28156 28161 28142 28141 28138 28137 28146 28041 28139 28157 28144 28155 28143 26573 26576 26574 28114 33090 30609 30583 30650 30647 30628 30584 30631 30623 30654 30626 33089 30645 30648 30625 30655 30610 30608 30607 30629 30605 30653 30652 30632 30651 30606 30586 30588 30633 30585 30630 30587 30643 33091 30601 30642 30597 30598 33094 30599 30620 30574 30622 30602 30604 27433 28028 33102 30640 30618 30576 30572 33099 30621 28023 28020 28019 28026 30581 30568 30571 30578 30569 30582 30573 27434 28024 30580 30570 28025 28027 30594 30596 30577 30579 30575 33092 30644 28090 28091 28092 28046 28066 28112 28067 28088 28089 28068 31886 31874 31872 24719 24718 24691 24717 24715 24716 24714 24668 24669 24667 24713 20645 20644 20640 20639 22025 22029 22024 27158 27148 27147 27155 27145 27150 27146 33281 33305 33327 33264 33266 33265 33333 33334 33332 33329 33331 33311 33262 33288 33310 33283 33309 33285 33307 33330 33312 33284 33308 33286 33287 22224 26575 30612 30611 30660 30659 30657 30661 30589 30635 30662 30663 30613 30658 24632 24639 24635 24640 24637 24636 24633 24629 24634 24638 24630 24642 24641 24644 24643 24624 24631 24628 24666 24665 28087 28083 28077 30592 28086 30603 28111 30591 28110 28108 28101 28104 28124 28126 28100 28099 28119 28130 30600 30590 28053 28061 28064 28056 28065 28058 28054 28063 28062 28059 28055 28120 28118 30638 30639 28097 28105 28109 28076 28085 28131 28132 28078 28081 30595 28107 28102 28073 28080 28075 30616 30615 30617 30627 28123 28122 28121 30619 28084 30624 30646 28051 30641 30637 28134 30649 28127 28129 28128 28125 30593 28133 28117 30778 30756 30757 33259 33258 33260 33271 33268 33263 33261 30753 30755 30743 30752 30748 30745 30765 30777 30776 30754 30751 30749 30744 30746 30770 30774 30771 30766 30773 30767 30768 30775 28238 25736 25737 30760 30769 30761 30762 30764 30772 30742 30750 28216 28218 30739 28217 28219 28226 28229 28221 28239 28251 28240 25715 28241 30747 30737 30740 28243 28248 30738 25714 27144 28177 30781 30782 30829 30830 30831 30832 30758 30827 30828 30780 30804 30826 30802 25517 30741 30763 30791 30788 30796 30790 30801 30798 30785 30800 30793 30784 30792 30799 30794 30795 30786 30787 30789 30797 28168 28171 28174 28180 34133 32888 31826 26765 26763 26778 26777 26776 26703 26702 26704 26773 26768 26766 26769 26767 26772 26779 26764 26771 26775 26770 26774 26807 26830 26800 26801 26789 26794 26793 26783 26784 26788 26799 26797 26802 26790 26787 26791 26785 26796 26798 26792 26795 22066 24331 24283 24285 24260 24334 24284 24332 24333 24308 24335 24336 25422 30824 30811 30817 30812 30809 30810 30814 30818 30807 30820 30815 30806 30823 30822 30816 30821 30813 30808 30819 27123 27122 24654 24664 24663 24658 24662 24652 24657 24661 24660 24653 24655 24659 24649 24647 24648 24646 24626 24625 24627 24656 24651 24650 22119 22103 22120 22115 22114 22108 22107 22106 22121 22118 22123 22111 22105 22113 22109 22110 22122 22117 22112 22104 22116 25805 25809 25688 25806 25810 25808 25804 25497 25690 25807 25689 25803 25801 25496 25679 25681 25686 25802 25687 25680 25682 25798 25800 27105 27084 27085 27106 27103 27095 27093 27097 27102 27094 27092 27100 27096 27104 27101 27099 27098 27088 27090 27018 27089 27091 25799 25793 25792 25795 25794 25791 25740 25788 25738 25739 25790 25787 25789 25786 25785 29339 26854 26855 26829 26853 28136 25760 25761 28262 25716 25762 31875 29356 29368 29366 29367 29359 29369 29370 29364 29358 29361 29360 29363 29371 31878 29372 29289 29292 29298 29299 29287 29291 29294 29300 29284 29293 29290 29224 29286 29225 29223 29297 29296 29288 29295 31851 29285 29315 29310 29318 29322 29312 29313 29320 29305 29309 29323 29304 29306 29316 29321 29314 29317 29319 29308 29311 28275 28264 28267 28263 28265 28272 29338 29346 29345 29341 29337 29336 29343 29333 29349 29340 29347 29335 29348 29344 31849 31863 31850 31852 31855 22140 22141 22127 22137 22136 22126 22142 22145 22144 22125 22135 22138 22143 22134 22139 22064 22063 22543 22542 25759 25756 25757 25745 25758 25748 25755 25749 25750 25752 25747 25753 29328 29351 26850 26828 26827 26819 26820 26812 26835 26816 26823 26843 26848 26817 26822 26825 26808 26810 26814 26826 26824 26815 26831 26832 26836 29342 26837 29354 29357 29331 26845 26847 26846 26839 26840 29353 26838 26851 26849 26842 29352 26844 26841 26833 29334 29330 29365 29329 26818 26821 26813 29362 26809 26852 26804 26806 26805 26781 22060 22062 22058 22057 22055 22059 22056 25729 25728 25725 25724 25721 25734 25731 25733 25723 25735 25726 25732 22054 22050 22052 22053 22043 22042 22051 22061 22046 28049 28052 28060 28048 25706 25707 25782 25702 25784 25781 25783 25701 25711 25712 25699 25703 25710 25780 25774 25771 28286 28297 28294 28284 25777 25775 25767 25779 28287 25709 25778 25769 25772 25770 25704 28289 28285 25713 28071 28082 28070 28116 28079 28072 28074 25611 25608 25600 25602 25597 25594 25595 25596 25605 25603 25607 25609 25599 25598 25606 25612 25601 25604 25610 20629 24645 23173 20022 20630 20021 20631 22080 20017 20627 20635 20634 20626 20628 20632 22081 20636 20625 20633 34567 34529 34134 34566 34531 34530 24318 24314 24256 24254 24251 24248 24245 24255 24247 24253 24257 24246 24250 24329 24326 24327 24328 24330 24293 24295 24242 24322 24324 24266 24271 24274 24276 24268 24269 24273 24278 24280 24270 24279 24277 24319 24325 24243 24316 24321 24317 24299 24296 24298 24303 24294 24302 24304 24307 24291 24301 24305 24306 23268 23269 28050 28057 22192 22198 22196 22146 22147 22193 22124 22170 22194 22197 22148 22195 28103 28094 28095 28096 28098 28106 25558 25556 25532 25552 25551 25544 25559 25555 25553 25566 25557 25562 25549 25538 25540 25534 25543 25530 25560 25565 25535 25533 25542 25537 25541 25550 25548 25568 25546 25545 25580 25583 25576 25581 25587 25586 25561 25564 25554 25563 25567 25588 25590 25584 25589 25578 25579 25741 25743 25746 25754 25742 25751 25744 22901 25705 25695 25708 25700 25698 25697 25696 19658 19657 19654 19656 19652 19663 19651 19653 19650 19655 19660 22174 22176 18687 21753 24267 21755 24275 24288 21756 24272 21758 21757 21748 21760 21749 24286 24309 24261 21745 21752 21721 21759 24263 24180 24252 24183 24249 24244 24182 24181 24262 21747 21750 21761 24310 24315 24300 24289 24320 24311 24312 24323 24292 24297 24287 24264 22049 19641 19629 19630 19637 18237 18126 18123 18104 18245 18233 18241 18250 18108 18230 18125 18242 18228 18234 18244 18236 18115 18239 18229 18118 18251 18232 18235 18117 18238 18127 18231 18240 18243 18124 18116 18248 18119 18249 18247 18246 18107 18114 18106 18105 17496 19672 19677 19625 19626 19676 19603 19675 19671 19674 19673 19627 19649 19634 19633 19635 19636 19631 17062 17066 17080 17072 17067 17070 17077 17075 17079 17064 17076 17074 17081 17065 17078 17069 17068 17063 17073 17071 22076 23087 25574 25577 23099 23100 25585 23092 23060 23062 23068 23069 23063 23065 23067 23066 23071 23070 23084 23090 23089 23091 23085 23093 23015 23014 25573 23019 23021 23016 23007 23022 23017 23020 23018 23046 23005 23025 23023 23024 23047 23006 25526 23045 25575 25582 25572 23088 23082 25528 25539 25536 25527 25531 25529 20877 20878 20876 20885 20884 20883 20881 23043 23036 23042 23041 23039 23044 23038 20880 23189 23190 23191 23188 23193 23174 23184 23192 23187 23185 23194 23176 23186 23175 23183 23229 23251 25776 25773 25765 25766 25768 25764 23259 23238 23236 23258 23257 23235 23237 23254 23231 23256 23253 23234 23260 23262 23261 23232 23240 25763 23239 23214 23210 23216 23211 23215 23205 23212 23207 23208 23213 25717 23241 23264 23265 25718 25719 25727 25722 23195 25720 23217 23219 25730 23266 23218 23263 23267 17134 17093 17148 17097 17095 17144 17145 17130 17129 17100 17141 17135 17102 17083 17092 17084 17103 17099 17149 17137 17085 17087 17101 17098 17142 17136 17133 17140 17139 17086 17096 17131 17143 17146 17147 17090 17138 17094 17088 17089 17091 17132 19555 23077 23059 23057 23058 23079 23055 23096 23072 23094 23081 23080 20747 20748 23098 23097 23095 18690 18688 18689 23248 23249 23246 23250 14539 23182 23181 23178 23180 23227 23225 23223 23228 23220 23226 23224 23230 23221 23233 23222 21788 21808 21809 21805 21806 21807 21804 21803 21801 21737 21730 21738 21735 21736 21659 21732 21734 21660 21729 21733 21727 21798 21799 21800 21793 21797 21795 21796 21725 21723 21724 21726 21722 21777 21782 21780 21784 21781 21785 21786 21776 21765 21778 21783 23196 23197 23202 23204 23206 23203 23200 23209 23198 21770 21773 21772 23201 21774 21775 23199 21768 21813 21767 21810 22047 21811 22048 21815 21812 21787 21814 21766 21779 21771 21763 21764 21739 21762 21976 23011 23009 23013 23012 23050 23026 23049 23048 20578 17948 17949 17955 17950 17947 14646 14643 14645 14640 14649 14652 14651 14521 14522 14632 14618 14610 14585 16169 16168 16167 22129 22132 22157 22154 22152 22156 22133 19632 22131 22130 22155 22153 22128 14471 15427 15435 15433 15561 15416 12740 12804 12805 12776 12803 11304 12790 15428 15559 15426 14824 15429 15560 15434 15425 15424 15557 12830 12791 12748 12802 12787 12788 12777 12817 12789 15558 15417 15727 23179 23177 15728 15729 15730 23031 23035 23034 23033 23008 23010 16518 16546 16574 16519 16575 16547 17024 17025 19096 19010 19011 19067 19068 19095 19039 19040 19013 19070 19014 19042 23037 23027 23040 23032 17954 20547 20549 20550 20548 20541 20539 20544 23054 20546 23061 23051 23064 23074 23086 20545 20542 20671 20670 20672 20673 20742 20696 20697 20698 20674 20737 20727 20689 20741 20681 20679 20684 20682 20716 20717 20668 20665 20667 20661 20657 20662 20659 20660 20738 20718 20669 20664 20695 20740 20705 20720 20743 20745 20744 20710 20693 20713 20714 20711 20715 23252 23243 23255 23244 20694 20739 20692 20683 20733 20736 20725 20691 20732 23247 23242 23245 20719 20690 20708 20707 20729 20703 20746 20728 20686 20706 15598 15726 15597 15602 15603 15596 15604 15595 20730 20687 20735 20577 20574 20575 20576 20551 18384 18721 20699 14491 14465 14468 14466 14501 14480 14500 14467 14462 14469 14479 14464 14496 14489 14490 14497 14487 14498 14493 14495 14494 14488 14492 14499 14461 20483 16696 23053 18077 18074 23073 18071 18066 18072 18068 18065 18076 18073 18069 23076 20573 23083 23078 18063 18064 18060 18067 18061 18075 18062 18070 18059 17958 17957 23075 20572 20569 20570 20571 19260 19261 19262 19256 19264 19265 19257 19263 19259 19209 19207 19210 19139 19231 19214 19205 19201 19215 19216 19202 19211 19229 19238 19228 19239 19277 19279 19284 19282 19285 19283 19288 19276 19254 19252 19251 19272 19208 19141 21741 21742 19140 19227 19232 19235 19213 19212 19286 19200 19204 19206 19203 21746 21743 19237 19287 19226 19234 19236 19280 19274 19275 19249 19253 21754 21740 19240 19224 19217 19138 20568 20567 20563 20564 20566 20561 19290 19289 19291 20526 20523 20525 20524 20504 20503 20501 20502 20529 20528 20505 20521 23029 20515 20517 20514 23030 20537 20518 20538 20513 20527 20512 20520 20536 20522 20498 20496 20495 20500 20499 15571 15573 15568 15562 15564 15565 15570 15567 20510 20493 20556 20558 20559 21728 21661 23052 20534 20491 23056 23028 21731 21662 20560 20488 20490 20492 14483 13999 14057 14059 14060 14070 14055 14027 14058 14056 21790 21794 21791 21789 21802 18111 18112 18110 18109 18113 16576 16580 16548 16579 16520 16577 16578 16591 17500 17501 19525 17104 9457 9460 9455 9462 9438 9437 9456 9458 9459 9461 15569 15563 15566 15572 15478 15522 15468 15530 12988 15529 15464 15484 15524 15499 15469 15528 13028 15506 13010 13020 13025 15516 13021 15463 12965 15504 13019 15494 15505 15479 15521 15509 13018 15496 15500 15465 15449 15454 13012 15518 15497 15482 15466 15475 15470 15480 15481 15514 13011 12966 15460 12942 15476 15472 15502 15483 12904 12895 12894 12896 15456 12902 15555 15550 15549 15551 15459 15536 15486 15533 12898 13024 13016 15556 12905 15547 15544 13033 13032 13029 12912 13036 12906 13030 13035 13031 12914 12908 15554 15552 15474 15471 15545 15548 15448 15485 15487 15532 12891 12892 12893 12899 15461 15446 15535 15534 15451 15458 15453 15457 15462 15537 15531 15450 12897 15553 12901 10499 10507 10504 10512 10496 10500 10372 10497 10395 10498 15441 9787 10379 10376 10373 10381 10380 9786 10377 10378 19581 17150 17038 17039 20552 20557 18003 17972 17994 18042 18048 17969 18040 18043 17986 17990 18005 18004 20516 18050 20565 17963 17997 17996 17991 18000 17980 18022 18010 20497 20530 20535 20540 20531 20532 20506 17974 18045 20509 18049 17983 17993 18039 17975 17981 17999 18001 17992 18023 18029 18024 17998 17987 18002 20519 17978 18051 18038 17973 17976 17964 17967 18037 18047 18046 17977 20511 17970 17971 20508 17979 20562 20494 20487 20555 17982 20533 17965 17988 20507 20543 20553 17995 20484 20486 20554 20485 17966 17968 18021 20489 15710 15724 15721 15707 15720 15722 18013 18198 15591 15589 15606 15590 15723 15725 14975 18178 18181 18188 18183 20709 15605 20702 15588 15594 15592 15585 15586 15584 15708 15587 15593 15711 15709 15718 15583 15414 19266 19218 17001 17021 17023 17022 17012 17010 17019 17009 17016 17008 17011 17013 17015 17017 17014 17018 17020 17000 17004 16581 16722 16771 16721 17962 13015 15503 13013 17985 15507 13027 18031 18009 12303 15488 15442 15510 15508 15467 13017 12903 20701 20712 20700 15712 15713 15717 15715 15716 15719 15714 17060 18131 15610 10370 10371 17006 16772 16773 16934 17005 17007 18194 18184 18186 18193 18179 18191 10513 10383 10393 10382 10509 10518 16720 18192 18190 18189 18185 18195 10511 10515 10517 10503 10505 15543 15539 15546 15540 15542 15541 15419 15418 15437 14828 15423 14829 15436 15415 15422 15538 15421 15420 20704 18197 18187 18182 18196 12900 13040 12913 15517 12308 12307 13026 13014 12964 18028 18019 18015 18018 18016 18017 18026 18020 18011 18025 15492 18027 18014 18012 9782 10516 10514 10519 10508 10375 18180 10510 10374 10506 12907 15519 15525 15495 15473 15526 13038 13034 13039 13037 12916 12915 15527 15477 16738 16745 16770 16769 16682 16718 16713 16683 16711 16708 16684 16679 11990 15832 13322 13321 13323 13324 15845 14583 14629 16747 16762 16765 16755 16752 16766 16735 16749 16740 16751 16742 16731 16758 16761 16732 16728 16733 16748 16719 16768 16746 16703 16695 16694 16692 16691 16693 16690 16739 16730 16736 16714 16707 16685 16706 16705 16710 16717 16716 16715 16680 16688 16764 16757 16767 16763 16756 16753 16754 16759 16744 16743 16741 16760 16687 16697 17984 18055 18053 18008 18057 18006 18030 18007 18035 18056 17989 18052 18058 18054 7864 7865 16617 14201 14200 14176 14250 14252 14251 14485 14486 14484 14413 20731 20722 20734 20726 20723 20721 20724 18220 18224 18199 20677 20685 18153 20688 18223 18176 20663 20680 18221 20666 18177 20678 18226 18222 18225 18175 18227 20654 18217 18173 18174 18218 18149 18152 20658 20656 18219 18150 20653 18172 18171 20655 18151 18147 13210 18140 13212 18170 18208 18169 18158 13219 18148 18161 18164 18167 18168 13216 13213 18141 18163 18211 18166 18139 18165 18138 18212 18216 18215 18209 18160 18146 18143 13218 13221 13215 18206 18204 18136 18162 18207 18214 18144 18156 19230 16699 16709 16700 16712 16704 14197 14198 14199 19219 19225 16698 19222 16701 19220 19233 19221 8035 8034 8039 8040 8032 8033 8041 8167 8165 8166 8164 8163 20675 20676 14192 14193 14194 10665 10673 10672 10669 10666 10667 10674 10564 10676 10668 10675 10677 10681 10687 10682 10680 10683 10686 10562 10685 10684 10541 10679 10688 10678 10552 10553 10561 10554 10555 10556 14222 14223 14173 14175 14174 14248 14224 14195 14196 14172 14249 14247 14246 14244 14243 14245 14238 14187 14234 14161 14170 14096 14168 14160 14099 14233 14242 14232 14235 14241 14240 14237 14162 14098 14163 14169 14230 14186 14166 14171 14184 14165 14185 14164 14190 14189 14159 14097 14167 14182 7802 16689 16619 19255 16686 16618 19247 19244 19250 14158 19246 19245 16723 16737 16734 19281 16681 16724 16725 16729 16726 16620 19269 19270 19278 19268 19273 19267 19258 14220 14221 14214 14207 14218 14212 14209 14217 14215 14211 14219 14210 14208 14216 14203 14202 14213 14205 13203 13062 13201 13199 13205 13204 13209 13200 13206 13207 13065 13196 13198 13073 13083 13084 13202 13085 13197 13072 13208 12028 12038 12036 12029 12020 12032 12021 12023 12034 12031 12027 12022 12037 12025 12033 12030 12026 12024 12035 12057 12060 12059 12048 12056 12047 12051 12045 12050 12043 12046 12049 12054 12055 12053 12042 12044 12058 12052 18154 18200 15698 15699 15652 15653 18132 15631 15676 15630 15677 18213 18202 18201 15632 15656 15700 15703 15704 15705 15706 18157 18155 18210 18205 18133 18145 18159 18142 15702 15678 18203 18135 15701 15655 18134 18137 15654 5469 5468 14979 14980 13102 13098 13177 13096 13130 13129 13123 13097 13162 13166 13150 13148 13099 13140 13094 13156 13106 13173 13108 13107 13101 13104 13105 13169 13172 13165 13164 13116 13175 13120 13124 13118 13119 13110 13109 13127 13132 13131 13126 13178 13167 13170 13174 13147 13121 13154 13152 13128 13151 13176 13145 13142 13153 13144 13143 13155 13217 13211 13220 13214 15633 15611 11680 11678 11727 11728 11679 11729 11724 11725 11726 11677 11676 11674 11675 11671 11672 14227 14226 14183 11723 14231 14236 11637 14188 11644 11641 11645 14228 14180 14179 14178 11673 11664 11649 14225 14239 11578 11669 11661 11640 11665 11730 14191 11668 11663 11666 11646 11639 11642 11648 11643 11731 11655 11576 11575 11654 11647 11652 11577 11722 11713 11714 11717 11709 11719 11716 11712 11720 11721 11638 11650 11711 14177 11653 11651 8178 8176 8171 8168 8173 8175 8177 8169 8172 8174 8179 8170 13311 10547 10545 10549 10550 10551 10548 9937 10544 10543 10546 9938 10542 9933 14204 11703 11687 11681 11699 11700 11701 11686 11702 11698 11691 11683 11689 11696 11693 11697 11688 11694 11684 11690 11692 11695 11682 7251 7098 7099 10560 10384 10441 10442 10426 10434 10439 10433 10440 10428 10431 10429 10430 10436 10438 10437 15679 15657 9454 9452 9446 9449 9445 9448 9447 9453 6939 6938 6937 6929 6936 6930 6933 6926 6932 6925 6928 6931 6934 9156 11447 11448 11450 7747 7706 7760 7763 7788 7789 7748 7790 7775 7762 7745 7735 7734 7761 7749 7746 10563 7698 6262 5729 5730 5724 5725 5726 5611 5622 5727 5632 5728 5631 5623 5624 5617 5063 5619 5625 5626 5064 5059 5616 5621 5614 5613 5630 5612 5615 5620 5618 5720 5721 5719 5717 5718 5723 5714 5716 5633 9203 9202 9201 11704 9192 9193 9184 9196 9194 9186 9183 9191 9125 9127 9120 9165 9132 9162 9166 9181 9123 9121 9133 9163 9160 9179 9169 9174 9176 9178 9173 9129 9122 9057 9118 9056 9131 9054 9128 9130 9171 9172 9055 9126 9119 9117 9177 9124 9206 9208 9205 9207 9158 9157 9134 9182 9159 5709 5710 5715 5708 5711 6922 6689 6685 6850 6923 6921 6686 6688 6687 6684 6660 6639 6662 6683 6682 6917 6916 6927 6924 6935 6661 5745 5747 5743 5746 5733 5731 5739 5742 5740 5736 5737 5734 7971 7969 7968 7974 7973 7972 7970 6653 6679 6674 6669 6675 6647 6646 6664 6676 6663 6678 6642 6672 6665 6655 6659 6651 6677 6641 6649 6652 6648 6654 6671 6670 6673 6645 6680 5610 5744 5706 9185 6640 6657 6681 5634 5722 5707 6668 6650 6656 6658 9195 9198 9167 9161 9199 9204 9197 9188 9170 9190 9168 9175 9180 9189 9200 9444 9443 9442 9371 10638 10619 10652 10584 8141 8144 8152 8143 10598 8162 8159 8161 8157 8028 8026 10606 10653 10574 8112 8155 8154 8093 8153 7412 10597 10660 10659 8029 10570 10588 10569 8089 8147 8043 8148 8150 10572 8146 8151 8135 10611 10620 10581 10587 10625 10589 10662 10627 8123 10571 8113 10646 8077 10661 10614 8136 10612 10637 10609 8111 10615 8042 8023 10639 8020 10656 8106 8114 8027 8145 8091 10655 8069 10640 8139 8140 8142 8137 8127 8086 8103 10629 10645 8156 8031 10578 10623 8078 8088 8021 10618 10580 10622 10605 10591 8085 8110 8101 8102 8022 10644 10628 10636 10590 10651 10643 10630 10601 8133 10575 8108 8030 7417 10649 10634 10583 10664 8098 8084 8076 8138 8024 10616 8025 10624 10592 8082 10573 10648 10654 10642 10631 10593 10633 10602 10577 10650 8068 8105 8087 10576 8160 8149 10641 8158 8092 8115 8100 8120 8124 10617 8125 10621 10603 10599 10663 7416 8130 10595 10586 8131 10626 10607 8134 10658 8132 10596 10647 8128 8122 10582 8079 8081 8090 10610 8109 10657 10604 8074 10613 10579 10632 10608 10594 10585 10635 10600 11656 12106 11667 9521 9530 9523 9525 11670 9520 9533 9522 6635 6614 11658 11662 6638 11657 11659 6637 6636 13158 13112 13136 13090 15489 15490 15455 15498 15447 15491 15513 15523 15520 15511 15512 15443 15452 15515 15445 15493 15444 13190 13189 13187 13195 13193 13194 13188 13186 13071 13066 13070 12459 13069 13067 12458 13068 13074 13081 13075 13076 13077 13082 12995 12997 13001 13008 12927 12979 12940 12993 12938 12928 12975 12973 12930 12936 12939 12985 12935 12983 12978 12986 12984 13000 12925 13007 12998 12996 12982 12981 13004 12976 12937 12929 12933 12974 13003 13005 12932 12971 13006 12958 12951 12949 12948 12950 12954 12955 12960 12946 12956 15501 12987 12947 12943 12944 12953 13009 12962 12959 12957 12963 12945 12941 12961 12952 10386 10392 10385 10391 10387 18044 18034 18041 18033 18032 18036 10394 15625 15673 15621 15635 15622 15628 15629 15683 15636 15694 15668 15686 15643 15619 15650 15690 15618 15639 15666 15672 15661 15641 15685 15627 15634 15696 15626 15693 15659 15660 15644 15697 15662 15638 15665 15667 15695 15645 15670 15623 15616 15613 15651 15687 15649 15640 15642 15624 15637 15658 15646 15675 15647 15614 15691 15664 15669 15615 15671 15674 15612 15688 15620 15617 15648 15663 15682 15684 15680 15681 15692 15689 13179 13180 13135 13157 13134 13184 13183 13182 13133 13181 13111 13185 10803 5579 5576 5578 5492 7065 7063 7062 9568 9576 9579 9566 7064 9569 9567 9571 7052 7049 7054 7056 7059 7053 7060 7051 7061 7057 5489 5490 5485 5483 5484 5491 5493 5584 5583 5582 5580 5581 5585 5575 5573 5570 5568 5574 5567 6920 8047 5566 5569 6529 11706 11718 11715 11705 11707 11710 13141 13139 13161 13115 13122 13125 13114 13113 13163 13138 13093 13159 13092 13100 13117 13137 13171 13149 13168 13160 13146 13091 13095 13103 5515 5517 5563 5565 5542 5562 5543 5564 5519 5518 5516 5538 5546 5512 5508 5535 5539 5505 5537 5531 5524 5522 5561 5532 5498 5509 5499 5523 5503 5545 3002 3471 5525 5500 5521 5511 5514 5541 5507 5526 5530 5547 5544 5506 5510 5527 5550 3003 5540 5577 5528 5533 5536 5551 5560 5513 5501 5549 5520 5534 5502 5529 5548 5504 4393 4391 4392 4389 4388 4390 6623 6634 6619 6630 6624 6601 6610 6622 6633 6632 6598 6629 6596 6604 6612 6631 6627 6600 6606 6608 6611 6607 6603 6621 6626 6595 6599 6609 9138 9146 9137 9149 6625 6620 6615 6628 6617 6616 9141 9136 9135 6613 6667 6644 2775 7923 7920 7921 7924 7922 5849 5782 5766 5855 5764 5762 5786 5760 5758 5765 5851 5779 5775 5778 5774 5761 5787 5759 5853 5770 5776 5763 5771 5785 5783 5852 5788 5777 5848 5791 5780 5768 5767 5850 5772 5829 12100 12090 12095 12103 12097 12099 12096 12093 12101 12102 12094 12089 12098 12092 12105 12104 12088 12091 5784 5854 5773 5781 5769 5789 12990 10482 10479 10476 10484 10480 10486 12989 10488 10485 10475 12991 12992 12994 13002 12999 10487 10477 10472 10474 10483 10471 10470 10478 10468 10473 10469 10481 3773 3686 3735 3740 3730 3681 3691 3739 3711 3685 3700 3720 3689 3771 3702 3768 3738 3703 3717 3763 3769 3696 3715 3682 3718 3679 3710 3767 3709 3726 3736 3721 3733 3722 3713 3728 3729 3732 3766 3697 3701 3677 3725 3734 3764 3676 3690 3684 3772 3678 3714 3699 3719 3694 3765 3675 3695 3737 3687 3716 3770 3692 3698 3723 3680 3742 3688 3731 3705 3693 3674 3727 3683 3712 3724 7004 7009 7002 7001 7000 7012 7066 6999 1810 13063 13064 12454 7891 7964 7896 7916 7885 7959 7942 7937 7932 7962 7883 7931 7913 7941 7958 7933 7888 7890 7956 7936 7954 7963 7909 7895 7919 7934 7965 7966 7946 7944 7898 7899 7900 7894 7908 7967 7945 7961 7905 7943 7907 7939 7955 7951 7917 7910 7929 7915 7953 7918 7897 7912 7886 7893 7940 7901 7879 7925 7892 7881 7889 7926 7914 7906 7927 7880 7911 7935 7904 7903 7928 7884 7930 7882 7938 7902 8697 10420 10419 10494 10495 12934 12923 12924 12931 12922 12926 12921 6977 5456 6978 6990 6987 6982 6980 6979 8670 7887 10421 10492 10445 10444 10493 1817 4420 10418 10416 10415 10417 2781 2780 2709 2782 672 1901 1906 1934 1943 557 1903 1897 558 1933 1947 1898 1945 554 553 1948 1932 1527 1926 1930 1928 1919 1935 3616 1907 1925 1944 1920 3607 1927 1938 1905 1940 1904 1937 1939 1929 1900 1931 1522 1526 1908 1946 1942 555 1902 1936 1899 1941 3608 10454 10465 10446 10458 10457 10447 10453 12967 10408 10411 10461 10464 12968 10466 12977 12970 10452 10448 10450 10406 10412 12969 10455 12980 10462 10404 10451 10463 12972 10407 10409 10449 10456 10460 10459 10414 5680 8096 10467 5691 8095 8070 10489 8051 8094 5738 5741 5732 8072 5681 8083 5735 10491 10490 8104 8075 10443 8099 8097 8073 8058 8107 5658 8071 8080 10403 10401 10422 10413 10410 10435 10432 10424 10427 10402 10400 10423 10425 10405 1317 871 866 867 862 1315 864 869 863 870 1316 18366 18805 18353 18365 17345 17937 18363 17936 18364 21961 3599 3598 3615 3600 3575 3093 3614 3603 3601 3612 3597 3574 3602 3573 3595 3589 3572 3604 1924 3613 3610 3611 3606 3092 3605 3596 11242 11191 10815 10814 10734 10749 10735 10733 10738 10751 10757 10717 10787 10739 10746 10744 10772 10780 10718 10719 10773 10721 10760 10762 10725 10782 10730 10763 10742 10775 10752 10747 10774 10726 10784 10781 10778 10732 10783 10776 10768 10761 10724 10771 10754 10729 10766 10737 10745 10779 10750 10736 10755 10777 10769 10722 10723 10765 10767 10758 10786 10720 10728 10764 10741 10805 10813 11992 10807 10811 10810 10806 10808 11994 10812 10809 11218 11993 10743 10753 10759 10727 10770 10731 10756 10740 10716 27009 16878 13317 14513 13314 14515 13313 13318 13315 14514 13320 17034 16486 14398 14362 14363 14357 14358 14361 16879 18754 19557 18359 18357 18360 18362 18356 18355 19556 19007 13966 14092 16613 18781 34526 34525 34260 36654 21326 24049 27008 26334 26333 26332 26331 26317 26330 33483 34683 34681 33482 33488 33481 33489 33485 33490 33486 32160 30965 30969 30961 32162 32161 30960 30964 30962 30967 30968 34682 31612 22078 27118 27120 25922 25923 25925 25920 25918 25919 25927 25926 28853 28855 28889 28838 28854 28851 28852 28444 28441 30711 28447 29639 28439 28443 30542 28448 29640 28440 30719 30101 30718 28446 29950 29641 30712 27119 28468 30541 26344 28865 30710 23402 23405 23404 23406 24599 23399 23401 23397 24597 23398 24598 21925 21926 21924 21920 21921 21529 19440 19405 19008 19404 19403 19400 19399 22077 21302 21655 19134 27007 16260 17035 17036 15855 15854 15851 15852 15850 15853 5689 5688 5686 15792 15760 15815 15782 15781 15825 15805 15763 15809 15774 15812 15778 15786 15828 15777 15797 15766 15795 15773 15826 15785 15819 15800 15759 15822 15798 15829 15771 15762 15780 15820 15816 15848 15787 15821 15793 15803 15784 15799 15779 15817 15823 15764 15761 15794 15811 15767 15775 15791 15788 15802 15804 15789 15814 15808 15849 15806 15813 15824 15807 15765 15801 15818 15772 15783 15796 15758 15769 15770 15768 15810 15776 5679 5678 5703 5682 5645 5672 5664 5671 5656 5641 5651 5676 5648 5646 5675 5653 5655 5654 5643 5650 5677 5667 5670 5640 5644 5662 5652 5669 5649 5666 5674 4410 4415 4440 4413 4437 4432 4433 4431 4429 4407 4428 4436 4405 4408 4411 4416 4426 4423 4435 4422 4434 4424 5690 5683 5684 5673 5692 5663 5642 5647 5665 5685 5660 4417 4406 4414 4427 4430 4438 4439 4403 5657 5705 5704 5702 5701 5668 5687 13739 1552 1553 1554 1557 1551 734 735 1956 1953 1950 1959 701 655 654 739 693 687 699 684 692 686 689 690 696 700 698 738 695 702 721 719 731 725 730 722 556 543 542 4768 4767 5700 5558 5559 5557 5699 1549 1555 1550 1556 724 728 727 1558 1559 733 4765 4766 3115 4409 4404 4401 4400 4399 4412 703 707 706 705 708 704 4385 4381 6533 4380 4379 4378 4377 4376 709 3025 3026 3027 3038 3035 3030 4386 3118 6597 6536 6535 6534 6605 6602 3128 3125 3120 3117 3116 3028 732 729 726 723 720 710 663 664 668 669 5555 5554 5553 5552 5556 2871 2874 661 662 660 670 5696 5693 5694 5695 7023 7024 7025 7026 4764 4763 4759 5697 5698 8129 8126 8121 8119 8118 8117 8116 7960 7957 7952 7950 7949 7948 7947 2810 688 685 4762 4761 4760 4758 4757 4756 4755 4754 4734 4712 691 694 697 7028 7033 7036 7045 7046 7047 7048 7050 7055 7058  0
397.79/397.83	
397.79/397.83	c Core has size 15240

OK	15240

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 5.43 4.14 1.82 5/187 22679
/proc/meminfo: memFree=31965032/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=380 CPUtime=0 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) S 22674 22679 22538 0 -1 4194304 76 0 0 0 0 0 0 0 20 0 1 0 994426424 389120 29 33554432000 4194304 4365125 140733697350976 18446744073709551615 231890566791 0 2147483391 4096 0 18446744071699215550 0 0 17 0 0 0 0
/proc/22679/statm: 95 29 22 42 0 22 0

[startup+0.077412 s]
/proc/loadavg: 5.43 4.14 1.82 5/187 22679
/proc/meminfo: memFree=31965032/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=19828 CPUtime=0.05 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 4287 0 0 0 5 0 0 0 20 0 1 0 994426424 20303872 2169 33554432000 4194304 4365125 140733697350976 18446744073709551615 4261489 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 4957 2169 259 42 0 2105 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19828

[startup+0.100399 s]
/proc/loadavg: 5.43 4.14 1.82 5/187 22679
/proc/meminfo: memFree=31965032/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=25276 CPUtime=0.08 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 4518 0 0 0 8 0 0 0 20 0 1 0 994426424 25882624 2398 33554432000 4194304 4365125 140733697350976 18446744073709551615 231895187664 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 6319 2417 262 42 0 3467 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25276

[startup+0.30036 s]
/proc/loadavg: 5.43 4.14 1.82 5/187 22679
/proc/meminfo: memFree=31965032/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=24176 CPUtime=0.28 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 6054 0 0 0 28 0 0 0 21 0 1 0 994426424 24756224 2943 33554432000 4194304 4365125 140733697350976 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 6044 2943 262 42 0 3192 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24176

[startup+0.700288 s]
/proc/loadavg: 5.43 4.14 1.82 5/187 22679
/proc/meminfo: memFree=31965032/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=29132 CPUtime=0.68 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 8810 0 0 0 67 1 0 0 22 0 1 0 994426424 29831168 4191 33554432000 4194304 4365125 140733697350976 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 7283 4191 262 42 0 4431 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29132

[startup+1.50114 s]
/proc/loadavg: 5.43 4.14 1.82 5/190 22685
/proc/meminfo: memFree=31860024/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=40948 CPUtime=1.48 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 20545 0 0 0 146 2 0 0 25 0 1 0 994426424 41930752 7128 33554432000 4194304 4365125 140733697350976 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 10237 7128 262 42 0 7385 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40948

[startup+3.10082 s]
/proc/loadavg: 5.43 4.14 1.82 5/190 22685
/proc/meminfo: memFree=31805712/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=81916 CPUtime=3.08 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 55614 0 0 0 302 6 0 0 25 0 1 0 994426424 83881984 14708 33554432000 4194304 4365125 140733697350976 18446744073709551615 4250360 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 20479 14708 262 42 0 17627 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 81916

[startup+6.30022 s]
/proc/loadavg: 5.32 4.14 1.83 5/190 22685
/proc/meminfo: memFree=31644132/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=123612 CPUtime=6.28 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 85176 0 0 0 618 10 0 0 25 0 1 0 994426424 126578688 20213 33554432000 4194304 4365125 140733697350976 18446744073709551615 4261511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 30903 20213 264 42 0 28051 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 123612

[startup+12.701 s]
/proc/loadavg: 5.21 4.13 1.84 5/190 22760
/proc/meminfo: memFree=31512472/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=127708 CPUtime=12.69 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 85865 0 0 0 1259 10 0 0 25 0 1 0 994426424 130772992 20818 33554432000 4194304 4365125 140733697350976 18446744073709551615 4282128 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 31927 20818 264 42 0 29075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127708

[startup+25.5006 s]
/proc/loadavg: 4.94 4.13 1.87 5/190 22760
/proc/meminfo: memFree=31419100/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=140096 CPUtime=25.48 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 93587 0 0 0 2538 10 0 0 25 0 1 0 994426424 143458304 26755 33554432000 4194304 4365125 140733697350976 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 35024 26755 264 42 0 32172 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 140096

[startup+51.1007 s]
/proc/loadavg: 4.62 4.12 1.93 5/190 22761
/proc/meminfo: memFree=31400488/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=147444 CPUtime=51.08 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 96317 0 0 0 5097 11 0 0 25 0 1 0 994426424 150982656 28859 33554432000 4194304 4365125 140733697350976 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 36861 28859 264 42 0 34009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 147444

[startup+102.307 s]
/proc/loadavg: 4.27 4.10 2.03 5/190 22799
/proc/meminfo: memFree=31258948/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=153588 CPUtime=102.3 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 97123 0 0 0 10218 12 0 0 25 0 1 0 994426424 157274112 29665 33554432000 4194304 4365125 140733697350976 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 38397 29665 264 42 0 35545 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 153588

[startup+162.301 s]
/proc/loadavg: 4.10 4.08 2.15 5/190 22847
/proc/meminfo: memFree=31167364/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=163852 CPUtime=162.29 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 104817 0 0 0 16214 15 0 0 25 0 1 0 994426424 167784448 29816 33554432000 4194304 4365125 140733697350976 18446744073709551615 4272191 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40963 29816 264 42 0 38111 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 163852

[startup+222.301 s]
/proc/loadavg: 4.03 4.06 2.27 5/190 22848
/proc/meminfo: memFree=31163088/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=222.29 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 22213 16 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 161804

[startup+282.301 s]
/proc/loadavg: 4.07 4.06 2.38 5/190 22850
/proc/meminfo: memFree=31175196/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=282.3 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 28213 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4242868 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 161804

[startup+342.3 s]
/proc/loadavg: 4.07 4.06 2.48 5/190 22851
/proc/meminfo: memFree=31167084/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=342.29 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 34212 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4257412 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 161804

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

[startup+358.301 s]
/proc/loadavg: 4.06 4.06 2.50 5/190 22852
/proc/meminfo: memFree=31150204/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=358.29 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 35812 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (KiB) 161804

[startup+383.906 s]
/proc/loadavg: 4.04 4.05 2.54 5/190 22852
/proc/meminfo: memFree=31150184/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=383.9 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 38373 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 383.9
Current children cumulated vsize (KiB) 161804

[startup+390.301 s]
/proc/loadavg: 4.03 4.05 2.56 5/190 22853
/proc/meminfo: memFree=31150552/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=390.29 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 39012 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 390.29
Current children cumulated vsize (KiB) 161804

[startup+393.501 s]
/proc/loadavg: 4.03 4.05 2.56 5/190 22853
/proc/meminfo: memFree=31150428/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=393.49 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 39332 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 393.49
Current children cumulated vsize (KiB) 161804

[startup+395.101 s]
/proc/loadavg: 4.03 4.05 2.57 5/190 22853
/proc/meminfo: memFree=31146456/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=395.09 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 39492 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 395.09
Current children cumulated vsize (KiB) 161804

[startup+396.701 s]
/proc/loadavg: 4.03 4.05 2.57 5/190 22853
/proc/meminfo: memFree=31146456/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=396.69 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 39652 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 396.69
Current children cumulated vsize (KiB) 161804

[startup+397.501 s]
/proc/loadavg: 4.03 4.05 2.57 5/190 22853
/proc/meminfo: memFree=31146456/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=397.49 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 39732 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4272145 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 397.49
Current children cumulated vsize (KiB) 161804

[startup+397.701 s]
/proc/loadavg: 4.03 4.05 2.57 5/190 22853
/proc/meminfo: memFree=31146456/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=397.69 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 39752 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 397.69
Current children cumulated vsize (KiB) 161804

[startup+397.801 s]
/proc/loadavg: 4.03 4.05 2.57 5/190 22853
/proc/meminfo: memFree=31146456/32950928 swapFree=67054844/67111528
[pid=22679] ppid=22674 vsize=161804 CPUtime=397.79 cores=0,2
/proc/22679/stat : 22679 (MoUsSaka) R 22674 22679 22538 0 -1 4202496 110955 0 0 0 39762 17 0 0 25 0 1 0 994426424 165687296 28348 33554432000 4194304 4365125 140733697350976 18446744073709551615 4260893 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22679/statm: 40451 28348 264 42 0 37599 0
Current children cumulated CPU time (s) 397.79
Current children cumulated vsize (KiB) 161804

Child status: 20
Real time (s): 397.837
CPU time (s): 397.842
CPU user time (s): 397.659
CPU system time (s): 0.182972
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 180236

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

runsolver used 0.71889 second user time and 1.45278 second system time

The end

Begin job on node114 at 2011-06-14 10:59:17
IDJOB=3501438
IDBENCH=89982
IDSOLVER=2000
FILE ID=node114/3501438-1308041957
RUNJOBID= node114-1308041935-22556
PBS_JOBID= 13564714
Free space on /tmp= 74032 MiB

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

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

MD5SUM BENCH= 3870b6e38041d9f02e7abd04a4a0903e
RANDOM SEED=1087305105

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31967848 kB
Buffers:        151736 kB
Cached:         517848 kB
SwapCached:      10332 kB
Active:         388908 kB
Inactive:       411276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31967848 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           79856 kB
Writeback:           8 kB
AnonPages:      128620 kB
Mapped:          12664 kB
Slab:           116680 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   397836 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= 74100 MiB
End job on node114 at 2011-06-14 11:05:55