0.00/0.01	c MoUsSaka with meat
4.99/5.07	
4.99/5.07	s UNSATISFIABLE
168.20/168.22	c Core is minimal
168.20/168.22	
168.20/168.22	v 60932 67775 67776 67774 67681 67680 67720 67773 74473 74474 74477 74476 74475 74508 74757 74692 74756 74660 74467 74471 74470 74468 74469 74466 74465 74472 60896 74482 74481 101484 81261 81257 81268 81267 81258 94850 94849 89134 94960 81544 95025 81179 94735 88084 95251 94756 90683 81180 81545 90211 94697 81480 88124 81546 81262 101406 87947 96640 81253 97471 101485 101387 89836 96985 89655 81547 96171 89670 81296 96074 81259 95149 81158 89173 95024 94845 94755 88059 95120 40568 40541 40545 40546 81449 40543 40542 81448 54108 40540 54144 40531 40539 40528 40530 40529 40536 40538 40537 40533 40535 40526 40525 40534 47356 60791 60790 88332 88268 74563 74562 74561 74564 67684 94846 74661 81260 96346 94599 89656 74758 74596 81384 81159 81254 81256 47324 40720 40721 54113 54182 55344 55442 55345 55346 54186 55454 55455 55440 55441 56096 56081 56079 56080 54146 54152 55602 55601 55716 55898 55603 55896 55616 55717 54424 55618 55913 54423 55617 55730 54439 55897 55715 60987 60986 60985 60988 33780 33741 33740 33748 33745 33746 33751 33749 33750 54112 33835 33834 33836 33831 33832 33833 40532 26992 26964 26956 26962 26963 26957 26958 26959 33639 33638 27547 29158 29372 29457 29294 29020 29159 29045 29373 29478 29479 29295 29348 29659 29044 28844 29134 28868 29276 29684 28663 29600 33612 28686 28869 29685 29622 28687 29621 29658 27007 29398 29414 29429 29413 26960 26961 33878 47215 47214 26953 26952 26948 26947 26955 26950 26949 29174 29517 29197 29268 27354 27249 29492 29544 29513 29505 29338 29490 29082 29557 29567 29083 29569 29196 29566 29558 29649 29650 29651 29652 29653 29648 29019 29347 29456 28843 27029 29243 27025 29266 29245 29267 27024 27017 29568 29515 29198 29565 29542 29269 29085 29514 29337 29199 29058 29339 29086 29340 29084 26951 29200 29506 29336 29309 29060 29516 26954 29270 29311 29172 33736 33735 47325 43229 43228 40817 40816 40818 33942 40452 40451 33960 33962 33953 33956 33959 33935 33958 33938 33955 33934 33961 33936 33963 33954 33957 33937 40751 40750 40749 40724 40728 40723 40743 40735 40739 40734 40742 40725 40745 40748 40747 40730 40737 40726 40744 40736 40738 40731 40740 40746 40732 40741 40727 40733 40722 40729 47442 47423 47435 47425 47434 47424 47429 47427 47430 47433 47432 47428 47431 33944 33948 33946 33951 33952 33943 33947 33950 33949 33940 33939 33945 33941 20174 20176 40427 40426 34030 26904 33933 33932 33868 27242 33846 27144 27145 27080 27838 40634 34626 27241 27240 27176 27549 40752 34029 33964 34028 33866 33867 47422 41414 29682 28667 28685 26998 28682 28669 27005 28684 29683 28668 28681 26999 27006 28683 28670 40400 26980 26984 26990 26988 26982 26981 26976 26987 26977 26978 26979 26989 26986 26983 26985 29665 28680 33865 33849 33847 33857 33860 33842 33840 33855 33852 33841 33851 33839 33854 33862 33845 33844 33848 33856 33864 33861 33858 33837 33850 33853 33838 33843 33863 33859 47443 47437 47440 40656 47426 47419 47417 47421 47441 47414 47415 47420 47436 47413 47438 47439 47416 47418 47534 47529 47522 47533 47530 47526 47525 47519 47513 47524 47528 47531 47527 47535 47520 47532 47539 47510 47538 47536 47523 47514 47537 40819 47240 47239 47516 47511 47518 47521 47517 47512 47515 47606 40399 54210 40523 40524 47604 47605 41878 41768 40574 41769 42026 42025 41770 41879 42041 42042 42027 47188 40480 40564 40566 40561 40565 40560 40563 40559 40562 40558 40552 40554 40553 40556 40555 40557 47264 47265 47244 47326 47327 47328 48202 47444 47509 47508 47187 47540 47322 47323 47321 42734 42239 42852 42621 42444 42263 42870 42710 42445 42871 42735 42620 42596 42595 43235 43033 42262 43054 42949 43055 40583 43198 42419 43032 42923 42420 42924 43176 43260 43261 43197 42948 43234 40527 43241 42243 40581 43258 40575 43259 40582 43092 43090 43093 42321 42504 42322 43142 42748 42770 42771 42520 42765 42887 42764 42650 42651 43120 40825 40593 43145 43143 42320 42140 42503 42505 42842 42139 42154 42819 42337 42774 42776 43089 42914 42915 43066 42845 42846 42661 42658 42912 42773 42844 40847 40846 49809 49810 49808 49806 49807 49804 54106 53884 53880 53882 53881 53883 47357 47344 47346 47354 47343 47345 47351 47341 47348 47340 47350 47342 47349 47347 47353 47333 47329 47334 47330 47352 60893 60892 60815 60816 53879 53878 60901 60900 54114 54003 54002 54111 54105 61181 61180 61183 61182 61116 54104 60899 60898 60902 60897 60903 54103 42246 61020 61085 61084 54150 54326 54327 54320 54321 54302 54324 54318 54323 54322 54301 54319 54325 54317 42258 42259 42256 42260 42261 42245 42244 42257 47331 49803 49887 47358 49805 49889 49888 49892 49891 49890 49894 49893 40610 40606 54300 49640 49522 49712 50049 48973 48593 48569 48455 49152 48758 48479 48972 48739 48689 49130 47714 48480 47715 47713 48757 48594 49153 48868 48869 48950 48672 48844 48690 50048 49737 49329 49498 49408 49027 49659 50022 47371 49232 49736 49208 49233 49842 49523 49051 49050 49985 49330 50023 49843 49384 49986 49964 49311 49821 49658 49409 53976 54307 54308 54305 54315 54310 54303 54313 54304 54309 54306 54298 54311 54316 54299 54314 54312 54209 54220 54202 54203 54222 54228 54229 54224 54230 54231 54223 54226 54201 54206 54225 54204 54227 54217 54205 54214 54211 54221 54215 54218 54207 54212 54219 54213 54216 54208 54119 54102 54107 54101 54028 54027 61112 61089 61115 61107 61108 61113 61105 61088 61111 61109 61090 61110 61106 61086 61114 61087 61101 61098 61099 61103 61096 61095 61102 61100 61092 61093 61094 61091 61097 61104 54232 54053 54394 54296 54297 54052 54115 54110 54032 54109 54100 54099 54030 54031 61012 61015 61011 61016 61008 61003 61018 61014 61004 61005 61006 61001 61000 60999 61013 60994 61010 61019 61017 61007 61009 60989 60993 61002 60995 60996 60997 60992 60990 60991 54118 54117 54122 54121 54990 60998 55453 43227 43223 43226 43222 47090 47094 47091 47093 47095 47096 47097 47098 47089 47092 47361 47360 47635 47397 47398 47636 47651 47634 47650 47649 47396 47394 42695 42679 42680 42681 42835 42794 42808 42902 42901 43082 43133 43134 42030 42038 41867 41876 41875 41874 41767 42037 40845 43068 43081 40848 42795 41866 42040 43091 41877 42885 42141 43118 42772 43144 40930 41868 42660 43224 42662 42793 43225 42750 42775 43141 42843 42636 42834 42821 42916 42696 42694 42913 40863 42659 42031 42039 41759 41758 42634 54056 55451 55452 55443 55444 60764 54159 55335 55343 55334 56609 56311 56630 56197 56020 56172 56525 56447 56811 56774 56837 56500 56286 55996 56810 56752 55838 56836 56773 55839 56196 56631 56524 56446 56428 55815 56021 56310 56608 55995 56499 56171 55606 55614 55615 55607 55613 54395 54393 54392 89077 88477 101385 95150 96343 96170 88364 90195 89837 94598 97262 90489 88379 89557 95151 96059 95252 96624 96998 88378 88465 90473 89852 90323 89133 89159 89851 89119 90021 97308 97112 101373 90036 94877 101386 89286 88362 89657 96641 97110 89393 88464 89091 88089 89121 88476 96182 96444 96626 96334 97098 88126 89394 96183 89542 95166 96330 90197 97261 89157 89271 89270 88088 97000 96071 97099 96983 101419 97472 97458 96069 90669 96458 96335 96168 89380 96341 90472 96172 96443 89382 95265 90490 96999 90488 97278 97260 90474 89543 89556 95152 95264 95167 96062 97111 97473 101388 90668 94618 95907 95946 95960 95909 95945 101371 95961 94615 94600 95920 94631 95947 95908 101372 94625 101370 95962 54328 54141 54140 54139 54138 54142 54136 54137 81263 81255 81286 81284 81285 81283 81290 81293 81282 81292 81287 81289 81291 81288 81294 88140 54134 54131 54130 54128 54133 54135 54132 54129 55450 54158 54151 54157 54010 54013 54024 54023 54012 54025 54011 54026 54050 54038 54051 54037 55836 55834 55820 56835 55821 55837 55819 56817 55835 56834 55822 54042 54048 54049 56422 56324 56237 56238 56488 56489 56666 56348 56235 56694 56210 56395 56350 56420 56352 56665 56667 56419 56421 56490 56236 56351 56461 56491 56717 56234 56349 60894 60895 60888 60887 60890 60889 60891 60841 60840 67786 61778 67777 67803 67807 67782 67802 67798 67799 67801 67805 67806 67800 67804 67781 67779 67778 67780 88056 88138 88139 87992 87972 49761 49745 49746 49744 49293 49292 49291 49308 87971 94913 94597 96178 87968 89395 89853 88333 96063 96445 96345 97097 94696 89132 88122 95122 95121 89381 96824 96625 95123 94872 90212 95867 89078 89174 101413 88377 97275 95878 90520 88058 90685 97457 96808 88062 90309 87993 94847 94912 96639 96169 97294 90020 101403 90505 97277 90684 90311 96342 90322 89172 89079 97307 88478 96457 96181 88463 96809 89269 96807 95266 96072 90487 90670 94876 94734 94914 96823 96057 89838 96073 88363 96329 89092 95880 89541 90506 89090 88125 88334 89558 96058 87967 97276 88061 87946 90521 95866 90034 90210 89669 97293 89668 96984 90310 95253 89158 88335 90019 95879 89120 96456 89284 90035 96179 94910 88057 90324 96180 95056 67578 67579 67797 67795 67789 67793 67792 67788 67796 67791 67794 56801 56800 56212 56718 56720 56326 56721 56533 56549 56534 56257 56270 56256 56271 56272 56255 56369 56371 56370 56384 56532 56566 56581 56550 56565 47311 47312 54176 67783 67785 67784 67787 67790 56799 54401 54169 54506 49383 49711 49207 49820 54422 54421 60844 47607 56346 54177 54181 55478 55477 55460 56463 47268 56341 56478 56227 56397 56644 56347 56696 56642 56418 56492 56719 56668 56669 55954 55980 55976 55977 55978 55952 55979 56805 56804 56802 56803 54007 48350 47748 47749 47737 48363 48349 47750 48362 48364 47735 47736 49124 48940 48929 48927 49109 48942 49110 48351 49125 49108 48928 48941 49306 49307 49123 49596 49583 49581 49582 48556 48557 48667 48828 48814 48813 48558 48665 48547 48666 48654 48829 48555 48815 48830 56411 56710 56658 56382 56383 54525 54536 56094 54538 54524 54523 54537 56095 55941 55527 55656 55632 55940 55268 55267 55357 55918 55738 55243 56117 55761 54501 55356 55381 54503 55382 56118 55657 55546 55760 55526 55545 56099 54502 48653 48652 56579 56547 56548 56580 56744 56745 55728 56730 56728 54438 56743 54437 55729 56729 55150 55152 55911 55139 55151 55138 55912 55137 56417 56664 56716 56798 56663 56233 56487 55975 55969 54505 56715 56486 55937 55938 55939 55922 55936 55924 54148 54006 49468 49469 49467 49482 49484 49483 55342 55341 55329 55331 55330 48406 48391 48405 48444 48392 48404 48393 48542 48554 48541 48543 47633 48431 48430 48446 48429 48445 48663 48656 48664 48662 48818 48825 48827 48546 48826 48655 48819 49034 49046 49049 50029 47362 49032 49031 47369 49045 49033 49044 49048 47370 47363 50046 49759 49595 49760 49594 53870 53869 53871 49957 49940 49762 49777 49793 49778 49942 49941 49047 50047 49956 49791 49955 49792 47219 53856 53854 47218 48553 53855 53857 60820 42299 42990 42974 42973 42303 42458 42482 42475 42989 42957 42292 42956 42301 42958 42276 42474 42485 42486 42460 42300 42278 42302 42291 42483 42484 43005 47393 47389 48738 67884 74478 67886 81269 67892 67899 81273 67903 67887 67883 67889 67891 67902 67878 67877 74479 67897 67890 81274 81271 81270 67894 67888 67898 67900 67893 67901 67896 67895 67881 67697 67698 67885 67879 67876 67880 67874 67875 67882 67693 67689 67688 67691 67690 67694 67695 67686 67685 67687 81155 54149 56797 55923 55925 48568 47388 81154 88137 97309 83733 82753 82333 82606 82607 82605 82594 81338 83686 83717 81334 82498 83684 83880 83718 83702 67678 67677 67683 67682 87942 87943 87916 88048 87915 82869 82386 82346 82332 82345 82385 83701 83685 82868 82867 82882 83050 83049 83523 83521 83536 83522 83065 82755 82754 82770 82769 82768 83882 83881 83897 67675 67676 74506 74496 74480 74502 74499 74498 74495 74505 74494 74493 74503 74501 74497 74504 74500 74492 33663 27058 33738 40685 40657 41123 40686 33869 33884 33887 33880 33885 33883 33888 33886 33874 33879 33873 33882 21050 33753 33755 33664 33754 33757 33758 33742 33739 33743 33737 33747 33898 33897 33889 33892 33890 33894 33896 33893 33891 33895 81471 81473 81477 81474 81476 81469 81475 68921 68922 68920 69030 69178 69029 69179 69018 69193 69192 69031 69177 69194 69027 69019 69191 69026 69182 69190 69028 69183 69020 69189 68910 68919 68911 67726 81349 81350 67604 67603 81351 81352 81470 81472 74417 74416 67718 67717 67716 74340 74367 74366 67873 67970 67808 67971 74396 67714 67715 67969 67968 81479 67904 81454 81453 81478 74339 60910 60909 60905 60907 60906 67552 60930 32332 32219 32220 32056 32987 47473 47445 47474 31601 32044 31589 67872 67551 33192 32501 31715 31932 32058 31590 31949 27238 33097 32218 32682 32684 31651 31933 32515 33930 33931 27142 32319 33899 27143 32697 31604 32698 31605 33206 33081 31652 32043 32973 32499 33970 33966 32683 31948 33974 33972 33976 33965 33968 33993 33971 33973 33299 32985 33080 32875 33400 31740 32972 33278 32217 31945 32500 31716 31653 32860 31947 31668 32318 32874 31739 31946 32986 33298 32514 32057 33095 32221 31751 33191 27207 32333 32204 32974 33280 31753 32205 31701 33981 33978 33990 33983 33984 33988 33994 33982 33986 33987 33989 33985 33980 33992 33979 33975 32859 32216 33205 33991 33401 32516 31738 31944 32206 31714 31702 33977 32858 32331 27239 34335 33193 33297 33967 33969 27111 32045 31666 33082 33402 33204 33279 31934 32873 33096 31603 32320 32699 31703 31752 31667 36054 36330 36186 36280 36170 35870 36099 35984 35987 36097 36436 36124 36056 36055 36437 36426 35985 36346 36127 36439 36005 36278 36006 36114 35238 35252 36293 36304 36217 35846 36301 35988 36201 35962 35986 36434 36058 36185 36046 36168 36355 36303 36438 36125 35242 35237 35239 35250 35254 36113 36354 35253 35243 35251 36031 35872 36294 36302 35249 36345 36357 36169 36126 36353 36332 36057 36305 36202 36047 35960 36007 36128 36356 35873 36020 35874 35871 33995 34026 34027 34031 33648 33661 33662 33647 33649 47911 47549 47570 47568 47461 47464 47475 54233 54237 47470 47460 47453 54260 47452 47455 47507 47468 47450 47459 47466 47446 47471 47449 47448 47447 47467 47469 47458 47457 47472 47451 54244 54253 40718 40719 54249 54261 54699 54250 54243 54357 54257 47462 47463 47454 40687 47456 54238 54258 54255 54256 54251 54246 54248 54247 54254 47465 54259 54252 54262 43624 43896 43721 44956 43472 44955 44662 44550 44882 47506 44649 43460 44650 44358 44008 43266 43427 44973 44757 44756 44758 43344 43279 43280 47238 47223 43625 43882 43880 43734 43732 43458 44771 43329 44549 43379 44359 43720 43497 43994 44772 43415 43498 44881 44009 44663 43459 44373 43719 43733 43881 43897 43995 43512 43623 43895 43277 43428 43429 44177 44535 47224 47225 45078 45077 43378 43390 47603 47602 43610 43609 43608 47571 54245 60974 60970 49561 49933 49703 49906 50014 49632 49631 49553 62241 62242 62243 62132 62230 62134 62133 62406 62391 62405 62404 62389 62390 40435 40434 40436 40447 40449 40450 40448 40437 43893 43886 43731 43614 43885 43613 43729 43622 43894 40783 40814 43722 43892 43723 40815 43730 83048 83233 83232 67629 67628 74392 74391 74759 67608 81458 81466 81460 81464 81467 81465 81463 81468 81459 81462 83231 74463 74464 81690 82344 82331 82384 74485 82497 81677 81688 83409 81676 81675 81689 82496 83246 74550 74546 83247 83063 82289 82880 82302 82303 82290 82881 83064 82304 82291 83423 83422 82593 74486 82592 83699 83700 83732 83731 83896 83895 83535 83534 75977 75965 75708 75970 75815 75979 75978 75967 75817 75971 75806 75816 75808 75807 75966 75819 75818 75981 75814 74483 75710 75980 75709 75982 81301 82483 81337 82482 77174 77201 75698 76973 76888 76650 76972 76482 76674 74523 77138 75707 76463 75699 76675 77175 76994 76995 76792 76889 77116 76481 76811 77200 77137 76810 82370 82371 82369 76863 76864 81128 83408 83407 81575 81574 81576 81573 89391 89282 89546 89383 89547 89384 89554 89392 89555 89283 89390 89275 89281 89553 89274 95046 95051 95047 95031 95053 95055 95032 95039 95029 95036 95049 95033 95037 95048 95042 95040 95041 95045 95030 95027 95050 95038 95043 95035 95028 95054 95052 95034 95044 95026 81589 81590 81300 81336 74786 75598 75597 74788 74787 74803 75558 75545 75544 75557 75596 75543 75556 75695 75693 75694 74370 74371 75705 75706 74785 75805 75804 76094 76621 75581 74549 74513 76619 76635 75582 76443 76636 76634 76444 74548 76080 76277 76081 76262 74512 76261 75583 76079 76260 76620 76460 76445 74902 74888 76275 76734 76276 76746 76896 75501 75516 75515 76897 76898 74900 76912 74889 76458 74802 76459 76911 74801 76748 76735 74887 75503 76747 75502 74901 76093 75514 76913 76733 81022 81023 76945 76930 76914 76943 76929 76944 77093 77109 77092 77094 81021 77107 77108 76092 96822 95922 83248 96070 97456 95921 89285 96331 96344 95865 95165 81591 83424 90196 90519 88150 82142 67679 69472 69489 69473 70109 69655 68015 67762 67758 67999 68000 69291 69833 69832 70168 69657 69960 69847 68114 69656 70110 69474 69293 69946 69848 70125 69292 68113 69306 68101 69672 68100 70108 69947 69831 69846 69671 69945 69670 88143 88170 88171 88166 88169 88164 88145 88146 88167 88163 88165 88141 88162 88168 88142 88144 60933 81377 81376 81382 81353 81383 81357 81381 81375 81378 81374 81358 81380 81379 43416 44360 44954 43473 43265 44534 43343 43511 47237 44190 43513 45076 44374 44773 44192 44869 44648 44974 43281 43391 43392 43377 44176 44191 44551 43996 43327 44868 43496 44536 44375 44975 43471 44007 44661 44880 44867 70776 70883 70881 70760 70882 70765 70624 71033 71032 71159 70479 72021 72106 71526 70494 71329 72108 70544 71045 70885 71046 71049 70774 70871 70625 67599 67600 70772 70872 70773 71044 70775 70761 70432 70610 70433 70495 72020 72034 72126 70566 70418 71527 71813 71923 70580 71147 71908 67839 67967 67966 67871 67870 67935 71925 71800 70567 71814 71802 70543 70648 70649 70665 72107 72019 70429 71703 71525 71342 70568 70480 70496 70481 50683 50396 50259 50247 50402 50685 50408 50682 50299 50684 50260 50668 50065 50401 50248 50246 50520 50670 50519 50673 50410 50397 47222 50669 50511 50412 50301 50409 50068 50517 50680 50286 50261 50509 50067 50522 50518 50069 75063 81851 70873 70884 70431 70611 70874 71048 70777 70612 71047 71038 71034 70762 70875 70766 70623 70886 71037 50507 50411 50521 50300 50674 50681 50398 50508 50510 50413 43326 61487 68275 67601 67589 67586 67588 67602 67587 74721 74722 57161 57202 57203 57178 57165 57067 57457 57163 57471 57201 57200 56852 57469 57458 57182 57190 57156 57472 57205 56857 56853 57197 57162 57056 56936 54047 57198 57189 56886 57470 57199 60947 63140 63138 63112 63139 63136 63026 63137 63114 62998 63023 63022 63025 63000 63024 63279 63506 63508 63251 63455 63432 63505 63430 63509 63507 63276 63456 63453 63280 63457 63482 63454 63277 63209 63208 63206 63207 63249 63183 63466 63467 63464 63468 63205 63199 63210 63185 56841 57186 57185 57184 56842 61189 63129 61211 61210 61227 61212 63498 63446 63135 63134 60937 60972 60973 60936 62022 61982 61969 61968 61981 62021 67458 67457 67459 63469 63470 62701 62685 62686 62504 62505 62518 62684 62503 63015 63014 63266 62229 62228 63337 63158 63322 63320 63159 63059 63060 63321 63172 63058 63157 60969 60965 62867 62869 62868 62884 61980 62020 61967 63045 63043 63044 60940 63369 63338 63353 63354 62240 62231 62402 62401 62232 62403 62238 62122 62395 62394 62239 62131 62123 61209 63518 63517 63516 63533 67461 60968 60967 62882 62005 63368 61313 63531 62006 63171 62883 61325 63336 63335 61225 62007 63532 61938 62700 61939 61226 61940 61324 62699 61326 63170 61311 61312 63367 62516 62517 67460 74720 74627 74659 74658 81362 75354 57181 57155 57473 74754 74755 74723 72131 72129 72130 71692 71691 71700 92274 92384 92383 92273 92470 92385 92272 92398 90860 92066 92164 92165 92472 92179 92067 92065 92289 92471 92166 92491 88639 88297 88172 88236 88237 88930 94938 88045 72033 71511 71148 71512 72229 70579 71699 71698 71688 72228 70530 72125 70531 71815 70581 71344 72032 71910 72128 71146 71702 70417 71701 71909 71327 70664 70478 70529 70542 71924 71801 71510 71328 70650 72230 71687 72127 71343 71160 70663 71161 71686 90793 90797 91235 91413 91397 91140 91411 91237 91249 91398 91250 91139 91236 91248 91141 88041 88044 88042 88046 88282 88279 88295 88283 88286 88289 88285 88273 88287 88293 88294 88290 88292 88281 88284 88288 88291 88298 88296 88277 88278 88043 88272 88275 88274 88269 87811 88270 90843 87810 88271 87809 88280 88276 88047 91874 91708 91510 92051 91692 91891 91693 91512 92050 91876 91875 92052 91525 91691 91511 90845 90844 91409 91402 91410 91408 97927 97732 97720 94640 98663 99184 99283 99260 99258 101467 97581 98952 99061 97914 97632 97815 97646 99077 101443 97802 97647 97570 101427 94646 98966 97731 98200 94655 99381 98036 97694 97733 99172 99380 98677 98855 98678 99259 97695 99075 101428 99060 97718 97801 98840 95427 99076 101434 98953 97584 98494 97583 97762 97913 99185 97585 97929 98025 97816 99186 99281 99382 97775 97682 98311 98965 97631 98854 97696 99280 99279 98300 97817 98313 99282 94639 97648 97630 101483 99062 98023 98853 98495 98839 94695 98664 99171 97681 99173 98954 98299 97764 98496 98201 98679 98186 97928 97777 98199 97763 99277 98838 97800 98967 98312 97719 98480 94679 98662 98298 98481 98038 97776 98185 98037 98184 97569 97912 97683 99278 97633 98479 98024 90975 90974 90989 90987 90988 91029 90976 91028 87797 92287 90907 90782 90930 92397 91707 90859 90944 92489 91124 90781 92288 91125 90908 91126 91889 90943 92396 92177 90858 90932 91890 90945 90895 92490 91523 90894 90931 90893 90906 91706 92593 92594 92592 91014 91013 91012 90795 90796 88039 87996 88040 92178 91524 91412 91027 91396 87950 87966 87945 91246 91239 87963 87964 87965 87952 90842 91130 87995 91238 91129 91247 91401 91245 91137 91138 87953 87951 81208 81252 81251 87795 87794 87796 84240 84625 84623 84448 84624 84461 84239 84460 84351 84447 84352 84449 84609 84005 84009 84353 84241 84610 84462 84608 84008 84337 84338 84007 84226 84336 84142 84118 85702 84155 85485 84107 85609 84919 84920 84070 84055 85684 85277 84105 85484 83994 84723 85378 84724 84903 84056 84735 84057 84144 85390 84224 85389 84736 84072 84106 85088 85262 85595 85264 85391 85682 85087 85703 85608 84071 84722 83993 84120 84905 85103 84904 85701 84225 85501 85499 85102 84119 85279 84199 85263 85376 84188 85377 85596 84918 85683 84157 85500 85101 84156 84201 85086 85610 84200 84186 85486 84143 84187 84737 85597 85278 81505 81510 81484 81490 81497 81491 81492 81499 81488 81487 81508 81507 81503 81501 81506 81485 81509 81500 81504 81502 81481 81498 81494 81495 81486 81482 81483 81493 81496 81489 83680 83879 81281 81280 85806 85805 85804 87908 87909 87812 87837 87830 87843 87827 94858 94860 98297 94851 99379 94861 98478 94868 94754 98837 98661 99369 94856 94739 94740 94854 94855 94866 94752 94862 99257 94733 94852 94867 94751 98951 94853 99059 94753 94741 88331 88330 88299 81447 81446 84621 84613 84341 84342 84459 84451 81178 81162 81165 84450 84350 84458 81177 84620 84614 84622 81164 81163 84457 81415 81176 84349 84348 81175 81157 84054 88361 82481 83683 83520 94950 94937 94947 94934 94953 94929 94957 94942 94959 94941 94943 94955 94932 94935 94940 94930 94946 94944 94956 94948 94931 94951 94945 94954 94949 94958 94939 94933 94952 94936 81264 81265 81266 88053 88052 81205 81204 81184 88050 88049 88051 81328 81333 81329 87970 83222 83225 83226 83227 83223 83224 81668 81669 81667 81671 81666 81670 81665 88256 88253 88259 88260 88258 88262 88264 88251 88265 88252 88267 88261 88248 88257 88254 88250 88263 88255 88247 88249 88243 88241 88244 88266 88246 88245 88240 88239 88238 88242 77221 78298 78115 77949 77934 78132 77936 78490 78821 78915 78809 77282 78603 78590 77284 78313 78476 78807 78896 78894 78914 78491 78808 77331 78893 78695 77283 78589 78712 78806 78601 78822 78895 78297 78130 77369 78131 77355 77948 77367 78473 78114 77413 74389 74390 74376 77837 74374 77672 77565 77660 77821 77820 74375 74377 77564 77563 77412 77453 85707 85704 85705 85706 77436 77437 77438 77266 78587 79018 79016 77933 77205 77206 77220 77548 74388 74387 77219 78916 78917 78918 91136 99377 94870 94859 94864 99378 94738 94863 99170 81543 81511 81542 83715 83750 83748 83749 83712 83716 83710 83714 83746 83747 83744 83713 83828 83831 81297 83738 83830 83833 83834 77399 77400 77398 77354 78919 79017 78588 77452 77317 77835 77836 78696 78711 77673 77822 77549 77935 77356 77330 77268 77319 78474 78300 78913 78602 78475 78315 77269 77267 78713 78698 77674 78299 77661 77217 77368 78116 78697 78117 78489 77332 77947 77318 78314 78820 77451 77550 77659 77411 83752 83753 83739 83832 83705 83402 83400 83401 83403 83397 83399 83511 83513 83514 83515 83745 83711 87821 87825 87822 87818 87824 87819 87826 83516 83512 83517 83706 87820 87823 87817 81298 83743 83709 81332 81331 83829 83827 83510 83429 83428 94857 94865 94869 95074 95059 95083 95077 95087 95061 95086 95082 95072 95078 95064 95075 95058 95062 95066 95081 95069 95068 95071 95079 95119 95118 95076 95063 95070 95084 95060 95057 95067 95065 95080 95073 95085 88177 88174 88178 88203 88179 88184 88180 88183 88192 88196 88185 88176 88191 88202 88187 88175 88182 88201 88193 88190 88186 88195 81120 81121 83221 83398 81569 81304 81570 81567 81566 81564 81568 83220 83396 81563 82860 82862 82863 82749 82743 82588 82285 82283 83040 82587 82584 82746 83043 82282 82861 82748 83038 82857 83041 82859 83042 82582 82586 82585 82858 82747 82280 82281 83044 82284 82745 83039 82279 82475 82476 82477 82473 82478 82479 82856 83037 82327 82326 82742 82323 82320 82324 82325 82322 82321 82581 81042 81055 81024 81039 81049 81370 81367 81371 81369 81364 81365 81373 81368 81372 82363 82359 82472 82361 82360 82365 82364 82362 82494 82495 82487 82486 82278 94985 94984 94978 94977 94980 94962 94972 94991 94975 94965 94964 95023 95022 94966 94986 94970 94976 94971 82308 82309 82502 82503 82673 82672 82583 82474 82352 82468 82353 82744 82467 81565 82960 82271 83315 82272 83314 82961 83138 63451 63452 63278 63484 63588 63592 63591 63593 63590 82759 82758 82767 82596 82604 82766 82765 82602 82603 82595 63585 63586 63589 49562 50013 81451 81450 81452 81455 81461 81456 81457 81009 81006 81007 81008 87815 81664 87816 81646 82774 81552 81551 82775 81647 83139 83413 83421 83420 83412 83644 83643 83574 83818 83547 83794 83821 83504 83572 83642 83570 83817 83820 83846 83503 83502 83641 83571 83869 83613 83476 83500 83819 83573 83501 83640 83390 83386 83478 83389 83362 83387 83388 81553 83848 83104 83549 81658 83129 83364 83130 83131 83796 83615 83128 83132 83563 83810 83872 83862 83873 83870 83871 83379 83378 81321 83493 81302 83630 83952 83953 83956 83955 83954 83950 83761 83349 83598 83988 83783 82990 83963 83962 83173 83462 83599 83172 83925 83677 83676 83348 83989 83782 83463 83324 83926 82991 83323 83760 83269 83270 83438 83904 81311 82967 83251 83580 82808 82809 82534 83652 83148 82698 82697 82533 83651 83147 82630 82784 82612 82629 82679 82509 82678 82508 83070 81653 81654 82913 82890 82912 83092 82420 82395 83093 82419 81655 83569 81557 83385 81657 83815 83816 83639 83638 83127 83121 81556 83867 81322 81323 81309 81310 81303 87922 85655 87941 85204 85179 85767 85429 85789 85410 85428 85318 85178 85513 85788 87931 85812 87919 87918 87939 87936 87934 87921 85837 85514 85656 87940 87938 85293 85677 85203 85539 87920 85811 85317 87937 82986 82971 82985 82972 83987 82987 82973 82989 82988 83969 82984 83986 82974 83868 83106 83951 83498 83088 83090 83074 83077 83957 83499 83076 83949 83091 83089 83075 76960 76959 76958 76611 76437 76615 77042 76961 77043 77040 76962 77044 76609 76614 76613 76612 76438 76435 76439 76436 74509 74877 74540 77046 81032 81035 77045 81036 81037 81038 81034 74545 74541 74878 74881 74883 81033 76956 88155 88149 88156 88147 88161 88159 88157 88160 88153 88148 88158 88154 88151 88152 74332 74261 74267 74236 74333 74251 74254 94988 88234 94983 94982 94989 94973 94963 94961 94969 94987 88235 94968 88173 88198 88194 88199 88200 81389 81386 81387 81410 87867 87858 87891 87907 87851 87852 81407 81413 81385 81412 81388 81414 81409 81411 81406 81408 81405 81390 74516 74544 74543 74882 74879 74880 77041 74510 77039 81029 81030 81031 74514 70207 70349 70412 69415 70387 70413 70206 69414 70076 69772 67735 70004 69694 70023 69572 69391 69597 70022 69675 70350 70101 69886 69887 70328 69748 70386 70100 69862 70185 69693 69773 69596 76729 76726 76723 76727 76728 76725 76925 76928 76922 76926 76924 76927 76075 76070 76250 76433 76071 76255 76254 76073 76074 76072 76252 76253 76256 74781 74778 74777 74782 74780 74779 74521 74522 74515 77199 77181 77198 76923 76957 76434 67712 67713 67711 67707 67710 67708 67706 67709 76955 76921 74420 83303 83297 83213 83031 83209 84010 84014 84012 84840 84828 84843 84841 84842 84827 84003 84826 84844 84013 84829 84016 84004 85833 84839 85836 85832 85821 84011 85835 85820 85831 85818 83004 83188 83027 81341 81320 83283 83203 83020 83212 83305 83029 83308 83211 81324 83306 81342 83214 83304 83030 83307 83006 75685 75799 75795 75956 75955 75961 75796 75689 75800 75539 75534 75533 75794 75535 75536 75798 75959 75957 75960 75691 75687 75958 75538 75537 75690 75797 75688 76251 76610 76724 67933 67932 67934 76384 76179 76202 76360 76560 76536 76203 76561 76385 75842 75746 75909 75996 74866 75841 76124 76020 75910 76304 74865 76282 74867 75745 76102 75824 75632 75607 75891 75721 76305 75631 76021 76125 94967 94974 88188 85834 84015 84846 85003 85538 84822 87935 85002 87933 85838 87925 85027 94990 94981 88197 94979 88181 88189 87932 84017 85028 84845 85678 76856 76786 77084 77006 76600 77029 77032 77031 76715 76712 76598 77030 76855 76716 76599 77164 77167 76854 76783 77169 76713 77081 77082 76601 76782 77165 76785 76714 76852 76825 77168 76759 77033 76574 76602 76688 76784 74776 76069 76359 76535 75494 75495 75491 75497 75496 75493 75492 81354 81355 81356 76722 76527 76432 76526 76608 76068 76249 74775 81028 75987 76351 74764 76173 76641 76350 76918 76950 76917 76172 76964 76951 81027 76965 75564 75679 75714 75573 75680 75885 75490 75574 75576 75520 75954 75686 75572 75684 75575 75793 75577 75571 75715 75565 75884 75484 75521 75532 75986 74763 76640 74858 75483 74859 74876 67705 67704 76199 76196 76201 76183 76185 76197 76186 76184 76198 76200 82952 82950 82928 82926 82954 82951 82953 74681 74689 74675 74686 74685 74687 74674 74682 74683 74671 74688 74680 74684 74670 74679 74672 74677 74676 74678 83026 82943 82949 67632 77058 77085 77083 83281 77166 76853 83028 83186 83210 76591 77162 76775 76590 77022 76842 63561 63312 63624 62809 62627 62985 63396 63397 63074 63313 63099 63098 63418 63419 63288 63562 63598 62808 62603 62626 69571 70184 70075 69747 70245 70270 70218 70242 70294 70241 70297 70295 70244 70293 70296 70243 70234 69994 69997 70064 69995 69996 70068 70066 69971 69998 69924 69927 70067 70037 70065 69925 69900 69917 69987 69928 69926 70272 70054 69923 69922 69973 70039 74246 74248 74249 74245 74243 74247 74250 74242 74241 69902 74244 70220 70376 70380 70381 70378 70379 70377 70374 76705 76690 77074 68757 68770 68769 68809 68756 68810 67728 75890 75720 69017 69016 69488 68714 69487 68014 68727 67725 68728 69305 68715 68112 68099 67977 67745 68795 68793 68794 68713 68726 68013 69304 67761 68082 67721 67998 70141 70142 70126 70157 69958 70124 70156 68768 68808 68755 69959 70155 70123 67760 67724 70139 70140 70134 70136 70137 70138 67997 70173 70174 70172 70252 70171 70170 70258 70256 70255 70254 70257 70176 70253 70177 70167 70251 68907 68906 70304 70104 70303 67722 67981 70306 70321 70305 74234 74233 74235 74691 74665 74690 74666 74588 74589 74595 74593 74594 74587 74590 74592 74586 74591 70107 74663 74664 74668 74667 74662 74669 74673 68905 69944 76576 77060 76827 67582 67583 74570 67753 67757 67752 69282 69284 69283 69286 69285 69287 74568 69645 69647 69651 69650 69821 69648 69649 69467 69465 69468 69466 69464 69462 81363 81366 81361 81360 81359 74219 74220 74221 68092 68091 68093 68089 68095 68094 68090 70320 70319 74218 70373 70286 69814 69786 69812 69803 69802 69811 69810 69813 69788 70375 68708 68707 68705 68706 68703 68709 68704 68900 68903 68901 68899 68902 68897 70169 70133 70135 67544 67463 67479 67466 67473 67545 67448 69827 69824 69823 69826 69825 69939 69938 69937 69935 69941 69940 69646 69644 69934 69461 69820 67987 69280 67994 67993 67992 69822 67989 69463 67991 67990 69936 69739 69738 68745 68787 68784 68751 68786 68788 69168 69007 68789 68785 69281 69009 69006 69011 69010 69008 69167 69169 69171 69172 68750 68748 68747 68749 67988 68088 68898 68746 69012 69170 69173 70163 70162 70130 70129 68070 69853 69852 69563 68071 67756 69385 67755 68695 68702 69384 68696 77163 74765 74533 74870 76761 77008 69809 67727 67733 67734 70062 68081 69993 70239 70063 70240 70292 70291 67980 68918 67445 76711 76710 69554 69528 69556 69553 69552 69555 69530 76424 76239 76218 76423 76422 76240 76241 76243 76426 76398 76400 76242 76425 76216 67976 67975 69198 69199 74240 74239 69097 69096 68927 68926 68892 68891 69166 68733 68732 68777 68744 68776 68783 69005 68896 69562 74566 74567 74569 74565 43019 43099 43021 43105 43103 40570 43104 43102 43022 43020 43100 43106 40569 43015 43101 62784 63540 62960 63235 63625 63216 63599 63234 62984 62783 63287 69102 69494 68819 69054 69233 69103 69053 69208 68958 68933 69517 69516 68079 69336 68843 69337 68077 69314 68078 69121 69232 69122 68957 69036 68932 60957 63587 61293 61294 67456 63465 69731 69730 69732 69728 69729 76344 76302 76342 76286 76316 76340 76288 76301 76343 76415 76232 74576 74584 74585 74582 74583 74579 74581 74577 74580 77161 76850 74869 76851 77079 76781 77080 76597 77027 77028 76421 76238 69545 69551 76300 76333 76339 81119 81103 81064 81079 81063 81070 76289 76303 76341 76287 76318 68844 70410 70393 70411 74571 74572 74573 74575 74578 69512 69501 69498 69513 69515 69514 69499 69727 67744 67748 69721 67747 67746 69707 69705 69500 57152 54043 57204 56851 57206 57461 57167 57168 57462 57159 57153 56866 57157 57169 57176 57158 57054 56844 57051 56935 57291 56843 57179 69627 69634 69610 69428 69453 69455 69637 69451 69454 69612 69452 69636 69430 69638 69444 69443 69635 67455 67453 67462 67454 67766 61178 61179 61147 69450 69633 67765 60657 60644 60643 60645 60642 60658 62117 61927 62118 60659 61925 62119 61926 67446 67447 78044 78979 78056 78622 78041 78240 78053 78391 78039 78726 78055 78214 78215 78750 78867 78530 78415 78054 78529 78504 78390 78051 78416 78868 78052 78038 78034 78751 78058 78889 78725 78050 78057 78641 78890 79000 78239 78640 79001 78049 78040 78505 79023 79049 81134 81148 81132 87944 81149 83991 81153 81131 77229 81146 81147 88060 81144 83990 81150 81133 81151 81152 87793 79050 81145 81130 79024 81137 81143 43621 43620 60938 44979 44976 44977 44978 43342 43414 44175 43328 47235 47236 60801 60800 60799 60814 60798 60813 49424 49870 63388 63389 50054 50053 50285 50284 63984 63989 64095 64096 64250 63986 64257 64256 64259 63987 64098 64093 64246 64244 64249 64258 64094 64086 64260 64087 64245 63973 63988 64097 64085 63974 63972 63985 64261 63978 63977 63645 63641 60812 60811 64084 64083 60928 60927 60921 60926 60922 60920 60923 60925 60929 60924 67452 67451 47718 49536 49929 47717 49607 47613 49558 49559 49079 49880 49908 49877 49633 49450 55597 55327 55175 55324 55212 55213 55325 55321 55326 55174 55436 55323 49690 50012 49272 49564 49854 49922 49446 49248 50015 49630 49064 49700 49246 49422 49263 49449 49881 49271 49634 49878 49879 49273 49560 49270 49931 49563 49704 49673 49447 49438 49623 49609 60934 63463 49930 49274 49856 49701 50011 49080 49448 49439 49090 49066 47381 49091 49088 49538 49702 49087 49675 49932 50010 49089 54405 57936 57003 58125 56990 57036 57309 56954 57296 57570 57035 57934 57047 58126 58458 57295 57571 56967 57950 56920 56992 57297 58111 58112 57584 56991 56918 56955 57049 57585 57768 57005 57048 57766 57034 56905 58348 58333 58549 58332 57752 58237 58456 58443 58530 56919 58110 58127 58654 58652 58551 58550 58653 58226 58225 58457 57935 57004 57751 57583 57308 57456 58238 58224 58349 56953 57951 58532 58334 56903 56904 58444 58531 58347 58445 57949 57767 56968 56966 57753 57310 57572 58239 62499 62495 62496 62498 62497 62494 57072 57073 57074 57087 57088 57089 58331 63147 63149 62959 77222 77224 77216 77225 79030 79033 77228 79045 77227 79046 79032 79048 79047 77226 79044 77215 79043 77223 63876 63877 65135 65233 64371 63837 64540 65339 64554 65319 63754 64539 65441 64724 65231 64739 64372 63706 63708 65440 63756 63630 65340 65232 65121 65014 65338 64555 65120 64914 63743 63629 65442 65342 64556 65137 64915 65027 64738 63823 63741 65337 64358 63742 63791 63707 65025 65244 65122 65012 65320 63778 63792 63755 63836 65026 64723 64359 65343 65013 65245 64360 63793 63822 64899 64373 65318 65341 63835 64913 63644 63780 63384 63380 63382 63385 63383 63386 63692 63861 63691 63693 63862 61917 61301 61306 60964 61302 61915 61918 61303 61304 61920 61919 61916 61921 61305 61307 63033 63152 63034 62858 62678 63038 62675 62859 62857 63039 63150 63035 62863 62860 63151 63036 63153 62862 62674 62861 62677 62679 62676 63037 62680 61204 61201 61203 61206 61205 61202 63348 63352 63351 63349 63346 63350 61200 63148 62493 63274 63275 65136 63875 63779 63860 64722 64737 64900 64541 63824 63643 65246 64898 63690 62115 62109 62112 62114 62113 62111 62221 62384 61961 61963 62219 61962 62224 62385 62382 62220 62218 61960 61958 62223 62381 62222 62383 62379 62380 61959 61957 62548 62445 62728 62420 62056 62333 62334 61291 62266 62145 62706 62265 62055 62169 62444 62031 62170 62248 62549 61290 62315 61289 62526 62729 62906 62887 62905 62314 62144 63381 63379 63319 63515 63156 63316 62839 62640 62824 62664 62846 62849 62847 62663 62666 62822 62667 62850 62656 62642 62848 62655 62665 63504 63503 62725 62766 62764 62726 62712 62710 62740 62765 62713 63374 63375 63347 63345 62492 63146 62951 62596 63032 62856 62597 62673 63065 62774 62775 62768 62767 62727 62711 62742 63341 63342 61199 61944 62217 62410 62138 61956 62001 61989 61908 62378 62000 61914 61997 62103 61996 61988 61998 61945 62411 62309 62308 61995 62139 61907 62110 61300 62104 62108 61283 61188 61187 61282 62950 61999 63064 62724 61129 61121 61131 61136 61123 61124 61145 61122 61146 61144 61135 61137 61125 61142 61134 61132 61143 61126 61139 61130 61138 61120 61133 61127 61118 61119 61128 61141 61117 61140 62130 63021 62757 62763 67432 67431 67433 56856 56855 56932 56933 58554 58553 58552 58555 57166 58223 54046 57050 57170 57164 56885 54044 57068 57180 57171 56882 57055 58529 58442 56902 62845 62662 55193 55194 55180 55181 55233 55234 55192 54171 54170 55210 55208 55211 55209 55169 54294 54295 54263 50797 50114 51148 51656 50117 51561 50132 51744 51743 51436 51657 51163 51451 51161 51545 51761 51322 51546 50964 50796 50217 50203 51438 50166 51449 50963 51668 50131 51762 50216 51146 51560 51655 51337 50215 50115 51437 50167 50116 50783 51670 50782 50179 51669 50204 50180 51338 51559 51339 51544 50979 51323 51162 51147 50165 51450 51763 50795 50965 50130 50202 51324 51742 51866 51865 51767 51864 51764 51766 51765 84533 84364 84534 84663 85106 85125 84363 84553 84388 84664 84389 84467 85124 54145 56562 56592 56561 56564 56563 56595 56676 56597 56598 56596 56680 60667 60670 56682 60666 60672 60669 56681 60671 56678 56679 55304 55306 55309 55308 55307 60674 60673 60665 56558 56560 55157 55156 55521 55155 55201 55350 55314 55351 55315 55316 55520 55199 55200 55207 60664 60663 55349 55519 55301 55302 55300 55303 50978 50980 50784 50178 55516 55195 55196 55517 55312 55313 55347 55348 55311 55518 55310 55305 55283 55281 54404 55297 55298 56557 60668 56677 56675 56591 56365 56364 56361 56359 56363 56362 54391 54390 54359 55854 56036 56061 55879 56058 55876 56062 55877 56034 55852 55875 56059 55878 56060 56594 56360 56358 84552 84484 84639 84485 74365 74359 74360 74346 74362 74345 74364 74343 74356 74358 74344 74361 74349 74357 74363 56559 56593 74342 74355 56600 56601 60919 60918 60917 60916 74705 74710 74703 74702 74717 74716 74714 74709 74707 74597 74708 74697 74719 74711 74713 74718 74715 74712 74706 74701 70891 71938 72213 71627 71834 72236 71270 71853 71246 71852 72191 71451 70441 71628 71962 71963 72212 72101 72262 71742 71452 72235 71269 71741 72261 71063 70674 70977 70788 70958 70813 71530 71548 71549 71427 71717 71169 71087 71191 74700 74698 74704 74694 74695 74699 74693 67912 74696 67925 67907 67929 67918 67930 67922 67913 67909 67916 67921 67917 67914 67919 67911 67926 67924 67905 67906 67920 67908 67910 67915 67931 67927 67928 67923 71603 72080 74574 68566 74617 74618 74619 74616 74603 67430 55694 55697 55698 55672 55695 55696 56051 55868 64761 65292 65447 64839 64458 65064 65175 65065 56154 56156 56131 56152 56129 56153 56155 67556 67576 67572 67568 67567 67573 67569 67554 55133 55130 55127 55128 55131 55132 55129 56248 56249 56250 56251 54513 54514 54515 54517 56071 56074 56247 56245 56070 56075 56072 56073 54519 55557 55799 55421 55580 55419 55559 54172 55581 55423 55800 55776 55422 55801 55583 55774 54190 55582 55798 55420 55670 55395 55802 55584 55397 56145 55579 55573 55687 55418 55693 56151 55797 55791 54168 54189 56244 56162 56163 55888 55885 55886 55890 56246 56068 55711 55707 55889 55891 55710 55708 55704 55709 55887 55706 56069 55892 54417 54411 54418 54415 54416 54413 54414 55126 56587 56554 56553 56586 56277 56276 71192 64664 64639 64953 65314 65424 71088 64742 64760 65448 64481 67577 70698 67557 64482 65474 65403 70976 67555 65046 70909 65313 64954 70507 70509 70699 65425 63653 65174 64663 65150 65473 65149 67575 67561 67570 67574 64929 64815 67558 64840 55705 55622 55596 55430 55432 55322 55593 55168 55590 55173 55434 55591 55435 55809 55171 55987 55592 55429 55431 55808 55986 55433 55320 55623 55595 55170 55594 55172 54494 54412 54399 54180 55119 54495 54400 54518 54516 54179 54512 55120 53885 53886 53877 54356 54350 54342 54355 54332 54343 54333 54353 54347 54334 54349 54338 54354 54346 54341 54351 54345 54348 54339 54337 54352 54344 54358 54242 54331 54340 54336 54330 54335 54329 54240 54234 54235 54241 54239 54236 41603 42785 43017 42988 42670 41864 42580 42985 42672 41865 40940 41616 42789 40939 40936 40943 41554 42555 42579 40596 40937 41555 41658 43018 41551 40614 42786 41553 41604 41552 40938 41656 40941 42987 41605 42675 42986 41550 42577 41657 41618 41556 43016 42982 42311 40600 41617 42787 42309 42783 42576 42553 40605 40594 42494 42984 41557 40942 42784 42492 40595 40601 42674 42673 40829 42578 42788 49445 49166 49191 49190 49164 49188 49189 49192 49629 49699 49927 49875 49928 49086 49876 49698 49181 49269 49187 60795 60794 54185 54184 55218 55217 55219 55179 55232 55412 56057 55874 60946 60939 60945 62610 62621 62622 62620 62623 62608 63623 63605 62607 63622 62624 62609 62625 58387 58166 64188 64299 64170 64189 64300 58686 57693 60783 60785 60770 64275 58051 58659 60769 60768 57670 58525 58636 57972 58276 60781 64024 60780 57973 60786 58141 64583 58052 56865 60784 60779 60773 60787 60789 60766 64274 58277 58504 58362 63721 64584 58615 64025 57876 58386 58165 63719 60767 58685 57875 58637 57954 63999 64000 58526 60788 63720 58660 57694 64561 60782 58258 60675 60756 60757 60691 60678 60685 60660 53968 53872 53903 53969 53890 53897 53887 64638 67571 70908 70812 70508 72102 57851 58027 50016 50017 47727 48341 47726 48339 49463 49772 49457 49282 49573 49770 49281 48343 49100 49286 47725 47627 49575 49099 47629 49572 47724 48916 47628 47731 49284 49101 49460 47730 49577 48340 48918 48923 48921 49776 49104 49287 49571 49098 49574 48345 48922 49102 49774 49103 49375 47623 49570 47728 49576 49283 48344 48342 49461 47729 48917 49462 49775 48919 49458 49459 49097 49374 48338 49456 49280 49769 47624 49771 47392 48835 49488 47391 47706 49198 49199 48834 47612 49765 49021 49766 49020 49489 47611 49813 49812 49798 48331 48332 49799 47707 47626 47630 47625 49773 48920 49285 61033 61027 61044 61029 61040 61042 61043 61030 61024 61026 61050 61049 61022 61048 61038 61041 61037 61047 61035 61051 61082 61046 61036 61032 61045 61028 61083 61039 61025 61021 61031 61034 61023 67829 81394 74613 74610 67826 74626 67828 67818 67830 67821 74623 67811 67812 67816 67809 67817 67832 74609 74611 81393 81402 81400 67836 74608 74599 67820 67823 67822 67833 74625 74604 74600 74602 74601 74607 74620 74624 67819 74622 81404 81403 67824 74605 67825 67834 67831 81395 67838 67815 67810 81399 67827 67813 67814 67835 81398 81392 81391 74612 74598 74621 74606 74614 81397 81401 74615 67837 81396 49137 49148 49150 49134 49136 49149 49135 49151 40638 40648 40629 40633 40630 40642 40645 40640 40628 40649 40650 40644 40626 40625 40631 40632 40655 40654 40646 40647 40637 40641 40635 40636 40627 40643 40651 40639 40652 40653 43153 43169 43152 50009 40777 40671 40684 40675 40680 40667 40774 40758 40769 40677 40683 40666 40766 40761 40779 40775 40782 40674 40678 40670 40676 40665 40780 42669 42671 42499 42498 42496 42497 42313 42314 42493 42495 40781 42312 42316 42315 42310 40776 40757 40753 40663 40767 40763 40659 40669 40760 47569 42668 40576 40836 40837 40838 42981 42404 40842 42782 42586 42402 42400 40839 42403 42401 40835 42376 40840 40841 42587 42378 42983 43154 40756 40768 40681 40673 40661 40773 40764 40682 40754 40771 40759 40772 40660 40658 40770 40765 40778 40662 40755 40672 40668 40762 40664 40679 47567 47554 47566 47565 47562 47563 47557 47553 47564 47556 47561 47558 47560 47555 47550 47551 47559 47543 47542 47544 47552 47545 47541 47548 47547 47546 40573 43004 40960 42841 42910 43140 40928 43220 42971 42972 43167 42807 40862 40861 43168 41765 42152 41563 42519 40948 43003 41753 42335 41575 41754 40962 40947 40961 41766 42656 40929 43088 42480 43139 42298 42840 42297 42657 43087 42481 43221 42911 42153 41562 41574 41576 40949 42806 40572 42518 41561 41755 42336 69398 69395 69410 69413 69397 69408 69396 69411 69412 69409 41643 41641 40431 40609 41642 40430 40608 47081 47069 47083 47067 47066 47068 47082 47181 47109 47102 47084 47099 47180 47115 87845 87844 58666 58668 58683 58681 58684 58682 43025 43011 43010 43024 42232 42410 42411 40824 42701 42233 40603 42700 41543 40823 40604 42978 41544 40919 42977 40918 71264 71263 71251 71602 71268 72245 72242 71250 71265 72258 71253 72256 71426 72257 70437 70436 72260 70438 71252 70439 70440 71267 72244 71266 71937 70428 72255 72259 70434 70427 70435 72079 13387 13382 13381 13388 13416 20374 20375 20380 20368 20381 20370 20372 20367 20377 20383 20376 20382 20379 20373 20062 20063 20358 20365 20369 20360 20362 20363 20364 20361 20036 20204 13380 13376 35366 35533 35863 35977 35976 35862 34142 33805 34037 35892 35353 35549 35716 35351 35891 35893 35352 35732 35534 35908 35532 35717 35715 33777 33771 33770 33768 33778 33773 33769 33776 33774 33775 33772 33764 33767 33766 33765 27243 42393 36440 36441 13377 42399 20387 20384 20366 20378 20385 20386 20371 20359 20388 20453 20452 36435 36033 35848 42222 42223 42224 42200 42225 42226 42198 33692 20451 20419 20450 57332 57333 57236 57400 57315 57487 57382 57511 57512 57237 56931 35490 35515 35695 35504 35511 35698 35503 35697 35670 35694 35512 35686 35514 35687 35488 35672 35513 35696 42215 40592 40613 42221 42575 40828 42569 57212 57211 35832 36064 36409 35656 35632 35754 36083 35808 35735 36472 35451 35947 35475 36473 36245 36388 36267 36135 35807 36136 35631 35946 36160 36082 36161 36266 36447 33795 35753 35657 35833 36244 36446 35474 35922 36410 50077 51470 51489 50905 53981 51849 53995 51239 51848 51238 53992 53980 51599 53985 53999 51573 51715 50888 51353 53982 50904 50902 51263 51087 53994 50906 50889 51488 51063 50882 50887 54000 50886 51872 51738 53996 53998 50899 53978 51264 53991 50903 51062 51088 51352 53993 51897 51716 53997 51737 29217 29380 29232 29105 28944 29104 29397 29120 29218 29219 29382 29103 29381 35162 35397 35268 35163 35374 35113 35017 34139 35181 35096 34138 35396 35292 34137 34992 35577 34879 35018 35114 34904 34903 34993 35293 35576 35182 35554 36453 35468 36471 33793 35457 35456 35472 35469 33787 35458 36470 35470 35473 35455 33786 35471 33794 13374 13379 13373 50901 51871 57401 53979 51898 51598 51827 51377 51574 50900 51378 54001 20178 20182 20181 20179 30536 31351 29712 31234 30541 30698 31014 31463 29710 29700 30699 29709 29713 31485 31124 31106 29699 31374 30899 30988 31352 30538 30539 30537 30523 31013 30724 31235 31373 31508 30525 30875 30522 30518 30540 30542 30874 30989 30900 30723 29708 30524 31125 31210 33303 20356 20355 20323 20357 20454 20292 20354 27269 27270 27271 27272 29119 27287 29118 28578 28744 28761 28745 28927 28928 28746 28929 28565 28563 28564 6723 6735 6736 6722 6691 6693 6679 6716 6678 6721 6719 6720 6717 6718 6759 6758 29427 27285 28576 28577 28943 27373 29231 27385 28942 33642 33643 29428 27286 29230 27372 27371 27384 27386 29593 29577 29578 29576 28700 28702 28727 28724 28725 28882 28726 28907 28906 28908 28910 29259 29326 29325 29195 29075 29189 29074 29194 29188 29258 28715 28899 28898 29647 28716 28723 28884 28909 20172 20173 29081 27353 27352 29335 29396 27987 28760 26997 29563 29511 29512 29564 28000 27985 26996 28759 27998 29334 27999 29395 27986 29265 29080 28905 28722 28904 29645 29644 20177 20088 14889 13394 14606 14713 14613 13389 14616 14886 14723 14714 14727 14601 14617 14614 14615 14887 14890 14712 14725 13393 13390 14602 14722 14875 14724 14888 14603 14873 14715 14618 14716 14874 14607 14885 14726 14879 15805 15542 13693 19930 13711 15821 13391 15838 16017 15641 15837 16002 13694 14878 20067 19931 13696 15806 19929 15543 16000 15544 15642 16001 20066 15804 15853 15656 13695 15643 15822 13275 13274 13404 13411 13413 13410 13371 13405 13412 13401 13408 13372 13406 13409 13414 27148 27172 27166 27168 27150 27146 27175 27173 27171 27149 27169 27170 27147 27167 27165 27174 27161 27157 27151 27155 27164 27163 27162 27160 27153 27158 27152 27156 27159 27154 13328 13403 13407 13402 13324 22232 22585 22507 22506 22669 22371 22690 22257 22584 22370 22691 22560 22256 22056 22081 22231 22668 22055 15772 15797 16089 15087 13430 15267 16107 15881 13429 15557 15107 15092 15110 13423 13422 16045 15902 16082 15093 15903 15111 15091 16109 16083 16108 16024 15880 15105 15293 15444 15469 15108 15719 15468 16046 16106 13431 15558 15583 15292 15094 15700 15771 20164 20165 26850 26851 26824 27349 28229 28393 28394 28230 28505 13248 13247 15104 20175 28326 28375 28205 28480 28308 28325 28504 27350 27351 28965 28766 28947 28608 28788 28586 28966 28789 28609 15268 15582 13325 15106 21820 21798 22559 20563 20562 20166 16077 15691 15989 15966 16073 16072 15733 15762 15693 15992 15764 15694 15991 15938 15993 15940 15763 15941 15990 15939 16075 16076 15669 15760 16069 15914 13778 16074 15690 15937 15692 15761 15482 21898 15151 22897 21899 20561 15149 13673 15306 15334 15596 22159 22178 15735 15308 15598 15621 21717 15620 21441 21978 15624 15150 22488 20167 15510 22833 22834 15622 20159 21716 22871 15148 21605 15623 15330 15509 22080 15506 22000 22177 15508 15124 15333 22346 22896 22870 22001 20219 21606 15147 20116 21442 15126 15667 22812 21875 15968 13441 15916 20192 21894 20194 20200 21880 20196 20197 21893 22894 21879 20202 20190 20195 20210 20218 20193 20189 20211 21882 29646 29638 22877 22895 21897 21895 20199 21896 20191 20201 26875 21515 21403 21405 21663 21511 21394 21391 21512 21401 21666 21402 21390 21661 21500 21395 21389 21504 21513 21667 21510 21514 21404 21676 21662 21677 21678 21406 21674 21675 21502 21673 21503 21501 13666 6757 6756 6753 6754 6755 6752 13667 21586 15682 15619 15982 16070 21417 21416 15929 15749 21692 15683 15981 16062 15618 15750 15930 21691 21587 15507 20160 21881 15484 15443 15718 15796 15109 20188 20217 15331 15332 20198 16071 13304 13400 21821 26876 26855 26854 6763 6760 6765 6762 6764 6761 6739 6751 29592 29591 33632 33635 33631 33633 33614 33629 33634 33618 33630 33900 33507 33505 33493 33506 31516 31514 31533 31530 31531 31532 31534 31507 29711 31209 31484 33636 29706 31529 31517 33617 33615 33637 33616 33872 33876 33881 33875 33877 33870 33871 27205 27185 27186 7276 13971 20398 20392 13618 13619 13620 20414 20401 20404 20409 20399 20393 20413 20405 20415 20417 20416 20411 20406 20412 20408 20410 20407 20403 20402 10173 10987 10175 9349 11010 9347 10360 11009 10536 10760 10335 20418 13627 13625 13626 13623 13630 13628 13621 13624 13622 20400 20394 20396 20391 20390 20395 20389 13613 13617 13610 13616 13615 13614 13611 13609 6730 6729 44475 44949 39009 44378 40087 38831 44396 45110 38832 38504 38721 38454 40085 39008 45039 38378 40068 38539 38541 38440 44589 45084 45060 44117 44451 38994 44275 39648 38845 39884 44300 39106 39775 39774 44701 39304 38720 39761 38993 39661 39486 44299 38527 44786 44590 44397 44810 38737 44700 38377 40067 45083 44094 39119 44950 38736 40190 39107 39485 40091 40189 39762 38528 39487 39992 39471 44928 39870 39303 39121 38491 43289 39287 40066 39993 38722 39773 45109 40086 39007 39662 38489 44811 40188 39994 39108 44118 39470 39647 39288 38503 38844 39302 39760 44682 38441 39646 39120 38455 39979 44565 38456 38502 38992 38439 39885 45061 38490 38833 39980 39869 39981 38735 39663 38526 39868 38540 39883 44476 39472 38846 39289 41125 13662 13663 13631 10160 10161 9342 10178 10159 10625 11120 11150 10535 10154 10742 11121 10511 9335 10988 10334 10176 11143 11170 10761 10845 10177 11099 10359 10870 11144 10624 10649 10172 9348 11167 10846 10650 10174 10158 11168 11169 10510 10871 27199 27194 27202 27189 27197 27195 27190 27196 27193 27192 27187 27198 27203 27204 27200 27201 27191 20397 36501 13632 13641 13657 13652 13639 13659 13640 13658 13633 13649 13660 13635 13661 6737 13648 13643 13646 13654 13651 13645 13636 13653 13637 13655 13642 13634 13647 13650 20759 27108 27109 27092 27087 27093 27083 27089 27106 27088 27102 27096 27097 27084 27082 27094 27100 27099 27098 27095 27103 27104 27101 27105 27107 27110 27090 27091 27081 13656 13644 13638 13665 13664 27086 27085 13567 11856 11842 13535 18940 19108 18641 19506 19123 18175 18481 13503 13549 18358 11690 18469 18479 13502 13557 13564 19616 19410 19122 18356 18477 18076 19703 18126 19298 19121 19702 11683 11691 11694 11853 13558 11583 13504 18074 18925 13514 13569 13600 18373 18163 18092 19282 11573 13560 11857 18757 18368 11854 19824 18075 19106 18642 18162 13563 18370 19396 18140 18478 18755 11689 11585 11682 11679 13551 11846 13568 18643 18014 18371 18939 19704 19722 19397 18091 18742 18176 18467 18644 19297 19825 18372 18924 19283 19615 18077 19520 18630 19411 19519 19617 18177 19107 18744 19284 18628 18013 18629 18640 18369 19629 19721 19630 11582 11840 18743 18480 18139 6741 13565 13547 7492 13482 13566 13545 11852 11584 18468 18125 18164 19299 19398 19521 18938 18090 19505 19409 18127 19628 18482 11845 19826 19723 18645 18357 11692 18138 19727 18923 13546 11574 13554 11855 13556 11693 13561 11841 11681 11680 6744 6742 19504 6745 18756 27182 27184 27183 27188 27180 27206 27179 27177 27178 27181 38273 37688 38161 38022 37912 38140 37913 37687 37777 37776 38295 37663 38296 37486 37487 38023 37998 37512 38322 37801 38272 38162 37802 43661 43660 44039 43936 37511 37330 37329 38321 20311 20310 20304 20317 20309 20316 20313 20270 20319 20306 20321 20303 20318 20307 20314 20320 14262 20308 20312 20302 20315 36494 36499 36500 36487 36489 36493 36684 36685 36683 36944 36945 37094 37107 36946 37109 37108 36935 37104 36826 36825 36942 36943 36834 36822 36821 36941 33659 33660 36833 36832 36933 36835 36836 36837 36820 37097 37098 36934 37106 37105 38251 37894 37306 38734 39006 39005 38842 38438 39004 38733 38841 38997 38834 38726 38835 38725 38998 38732 38843 37662 38139 37997 37327 38320 37325 33704 37312 33730 33731 37310 33706 37326 38319 37324 37311 38302 37313 33729 33734 33732 33733 37328 30157 30155 30316 30033 30032 30154 30156 30320 30305 30147 30310 30037 30038 30049 30153 30047 30304 30034 30309 30046 30158 30318 30045 30048 30321 30044 30319 30146 26966 26965 26970 26969 26967 30145 30317 30306 33813 33812 35615 35616 35573 35590 35561 35560 35614 35559 35572 35613 30143 30144 41805 40927 41969 42162 42184 42342 41902 41951 42056 42523 42542 40926 42081 41970 42365 42364 41667 42541 41692 41884 41691 40925 41806 42080 41781 42185 41901 40420 40423 40422 40405 40402 40424 40418 40419 40421 40417 36932 37093 37092 36931 33720 33721 40404 40425 20339 20455 20086 20071 20072 20073 20085 20087 33784 33785 35575 35574 35588 34141 34140 20322 33818 35731 36216 36184 34060 35907 34788 34159 34978 35086 35090 34982 34965 34786 34174 34971 34172 35548 34979 35089 34074 34774 34970 36019 35078 36215 35730 34967 34977 35906 34160 34075 35547 34980 35088 35087 34981 35365 36183 34059 35364 34161 34058 34966 34787 34773 33822 34057 34775 34173 34073 35079 35080 35091 36018 35868 36052 36123 36299 36352 36053 36300 35869 36122 35983 36351 35982 36433 36432 35611 34829 34828 34830 35558 33817 35605 35612 28771 28827 28772 28823 28828 28824 28784 36568 36569 28817 33646 28466 28451 28450 28464 28463 28462 28449 28465 28291 28177 28298 28190 28300 28290 28299 28182 28179 28301 28194 28454 28292 28303 28178 28192 28183 28193 28289 28288 28302 28189 28455 28191 28461 28826 28787 28802 28825 28770 28785 28800 28786 28773 13250 13273 13271 13272 37323 33728 33727 25728 26308 26307 26086 26186 25160 25530 26309 25418 25255 25158 25726 26293 24862 25895 24801 25257 26613 25156 25421 25265 25267 25157 25149 26072 24964 24915 26085 25531 25428 26509 26071 25256 25545 25713 26184 25430 24864 25712 24878 26513 26512 24950 26403 26292 26197 25259 26416 26198 26405 24863 25432 24928 26417 25144 24879 25894 25146 25417 24951 24802 26070 25727 25416 26490 25159 24865 25909 25711 24926 26404 25268 25896 26510 26491 25269 26199 25258 26294 24963 26612 25544 26614 25270 26087 26511 25431 25532 26492 25433 26514 24965 26515 24952 24880 25910 24913 24914 25150 25266 26418 26185 25161 24927 25145 25422 25543 25911 25429 19725 16457 17604 16177 17497 16742 17038 17716 16468 17208 16264 16176 17384 17730 17620 16472 16728 16456 17821 16744 16277 17824 17498 17619 17621 16578 17926 16741 17804 16745 17717 13299 20084 16740 20083 16262 17924 17826 17715 16567 16263 16843 16276 16473 16113 16239 13295 17827 17511 13300 16226 17925 19724 17729 13296 17605 17728 17823 16240 16458 16114 16192 16174 17040 16844 19726 16569 16238 17825 17383 13298 16580 17496 17510 16577 13297 16470 16855 17206 17398 17606 16856 17024 17025 16857 17023 17509 17207 16581 16730 16191 16225 16227 17803 16568 17222 17223 16729 17039 16743 17399 16275 16842 16469 17397 17382 16190 17802 16579 17822 16471 16175 17221 16582 10235 7815 8199 9403 10929 11034 13278 9451 11138 7634 9404 8099 8563 8090 7830 7937 8213 9017 8086 7934 9474 8102 9032 9488 9402 10942 7927 10927 10420 10252 9229 10817 13142 8380 10596 7825 8395 7623 7814 8565 9228 8087 10594 7939 10832 11033 8100 7158 13141 8756 8564 10710 10833 8091 7145 10722 7819 7160 8382 8397 11015 9212 10709 8579 10708 10068 8097 8866 6771 8755 10609 10236 10610 7621 8853 8101 7818 10831 10069 10419 9452 11014 8741 9064 9065 8754 10723 9437 7828 7935 9489 7146 11016 6772 8381 13284 7059 7936 10434 7060 7924 9034 9031 10611 11035 7826 9214 8214 9439 9018 13279 8201 8396 11136 7925 10251 10435 13283 7827 7926 7829 10418 10433 10940 7928 10067 9438 8867 8085 8200 8854 7159 7061 10818 9213 13285 10928 8739 9475 10721 7636 10595 8578 13143 9227 8580 9050 7938 9063 11137 7147 9016 7813 8098 8855 10250 9487 9049 7635 9450 7622 10237 8868 8212 10816 10941 9476 8740 9033 30535 31938 32210 32209 31937 20340 20346 20329 20351 20343 20335 20349 20337 20333 20352 20338 20347 20341 20344 20348 20342 20353 20350 20334 20345 31180 31181 31086 31293 29690 30432 30798 31072 29840 30797 31500 30615 31196 31399 31403 29802 29751 30973 30614 31378 30599 31380 30601 30974 29838 30782 31073 29814 30616 29752 30959 31502 30419 30433 31182 29766 31197 31291 31379 31087 30958 31397 31501 31398 30600 31085 29816 29852 30431 31074 30783 29767 30799 29689 31292 29815 31305 30975 30418 29839 29851 30960 29853 29768 29803 31306 30420 31304 29753 30784 31195 29801 45090 45107 45108 22978 24407 24503 24172 24609 23245 24518 24285 23355 22965 24186 23645 23013 23644 23528 22980 24590 24610 24614 24713 23368 23028 23643 24712 23063 23630 24393 24517 23531 23065 23812 23518 23530 23370 23358 24299 23256 23026 23811 23246 23258 22979 23244 23369 23356 23015 23064 23365 23994 24392 23631 23260 23996 23359 24011 24298 24009 22963 22962 24185 23529 24286 24171 24010 23827 24591 24284 23813 24592 24297 24504 23521 23051 24394 23257 23249 24170 23050 23259 22902 24187 23366 23826 23516 23532 24612 23052 24611 24505 23357 22964 24615 24516 24613 23517 24408 23533 23828 23027 23367 23014 23261 24714 24409 23522 23250 22901 23995 23632 28374 28204 40403 40406 45243 46769 45314 45292 45797 45523 46273 45373 46781 45396 45795 46856 45909 46855 45621 46436 45895 46435 46780 46434 46854 45894 46873 46091 45316 45781 45327 45634 45360 46673 46449 45411 46768 46548 46561 46092 45397 45315 46259 45632 45228 46672 46451 46450 45619 45359 46782 46767 45896 46875 46075 45780 46549 45242 45907 45278 45227 45524 45372 46874 45290 45412 46090 45291 46275 45277 45371 46658 46274 45908 45796 45620 46656 45279 46671 45329 45328 46563 45525 45244 45633 46562 45782 46657 46258 45229 46550 46076 46260 45398 46077 45413 45358 46978 46976 45181 46977 45508 45165 45509 45177 51892 51894 51891 51893 51896 51895 51881 50073 50064 50074 50071 50063 50072 51880 50075 50070 50076 51878 42347 42361 42349 41950 41780 42346 42363 42362 42348 56863 57677 56861 57675 57674 58503 58361 56862 58026 56864 57687 57676 57691 57689 57692 57688 57690 56858 57850 43356 36364 36381 36365 36366 42360 45510 45166 45179 46879 45180 20278 20275 20272 20273 20282 20279 20280 20276 20281 20277 33821 33820 34870 34869 34853 34855 34868 34854 35077 35076 33605 33563 33587 33547 33603 33548 33604 33554 40294 40280 34817 40278 40293 40281 36379 36380 34816 34815 40279 40295 40393 43910 20284 20286 20285 20271 20288 20290 20289 20283 20287 35693 35692 35510 35509 20266 20274 20267 20268 20269 13494 13485 13487 13497 13501 13488 13498 13492 13489 13495 13484 13496 13490 13499 13483 13493 13491 13500 20265 13584 13585 13587 13588 13592 13597 13590 13582 13595 13574 13580 13596 13589 13594 13586 13583 13593 13591 13578 13579 13599 47190 47205 47206 47191 47213 47210 47212 47208 47193 47209 47207 47192 13478 36539 36538 36603 38187 37387 37969 38185 37874 37985 37388 38168 36641 36541 37571 37587 37220 37208 37748 38080 38166 37402 37862 37861 36589 37968 36602 36540 37747 38092 36554 37761 36555 36556 37585 36640 36639 37404 37860 37389 37763 36626 37570 36604 37762 36590 37403 37586 37572 37983 37984 38094 37970 37206 37875 37207 37746 36627 38081 38167 38079 38093 37221 37873 36628 38186 37219 38290 38288 38289 36492 36672 36671 36725 36708 36723 38189 38191 38190 38188 36491 36710 36477 36724 36670 36478 13598 13573 13577 13576 13570 13575 13581 13571 13572 20262 20264 20263 20261 20291 36591 36709 43935 43636 43824 43355 44017 43546 43547 43522 43825 44040 43357 43911 43806 7278 12999 12660 12077 12525 12888 12549 12771 12550 13044 12411 11249 12078 12054 12909 12642 12435 13020 12260 13021 3949 3178 5 3948 5132 5019 3972 4795 3968 4794 4972 5068 4741 4973 4257 3779 3965 3964 6928 4259 5846 3959 3967 3966 6206 6169 6452 6205 6252 5850 6203 6466 6365 6442 6468 6253 6208 6202 5849 6364 6443 6207 5851 6204 6453 6308 6467 6977 6959 6967 6964 6971 6945 6819 6933 6820 6818 6937 6940 6973 6974 6936 6942 6978 6932 6947 6966 6961 6963 6976 6821 6941 6946 6943 6934 6944 6935 6938 6929 6930 6970 6960 6969 6968 6965 6975 6972 6817 6822 6939 6599 6626 3969 3970 3971 6625 7004 6728 6727 5145 5138 5135 5144 5136 5142 5141 5133 5137 5140 5139 5143 5134 29707 31527 36872 37123 7009 7006 7003 7001 7002 6124 7005 6983 7008 6352 6164 6171 6296 7011 37037 37018 36567 37122 37431 37432 37409 36848 37147 6152 6240 6103 6295 20293 6351 6104 6201 6172 6430 6170 37036 36873 37148 36847 44785 44099 44101 44116 40517 43275 40494 44113 40509 44100 44274 40515 40479 44115 44450 40508 40521 44112 44111 43288 43282 44098 40492 40518 44927 40516 44114 43287 40520 40519 40522 6598 6956 6958 6460 6173 6033 6309 6469 6738 6600 6623 6624 6601 6622 20060 20056 20055 20057 20040 17122 17299 17775 17298 17633 16672 16508 17797 20059 20042 20038 20039 20058 17548 17323 16942 17957 16783 16784 17123 17931 20061 20041 20054 16137 17324 17658 17908 16509 17437 17148 17887 16673 17412 17798 17147 17549 16965 17932 17530 17909 17413 16966 17438 17776 17659 17958 17634 6676 6675 6767 7014 7015 7013 7012 6655 3958 3950 3957 12746 27126 27138 27115 27120 27125 27112 27140 27133 27135 27217 34024 27208 34023 27235 34025 27136 27124 27131 27141 27130 27228 27219 33928 27233 27220 27210 27229 27116 27122 27129 27127 27119 27132 27139 27118 27231 27215 27214 27123 27226 27236 27225 27211 33929 27212 27218 27232 27216 27222 27117 27121 27230 27209 27223 27221 27227 27134 27128 27114 27213 27237 27224 27234 27137 27113 847 845 1311 851 1228 1307 1317 1202 1306 852 1310 1201 1227 1200 1315 1319 1214 1224 1209 2094 820 823 824 819 821 822 2093 1206 2095 1304 1318 1309 1225 1305 1219 1314 1163 1308 849 1144 1312 850 1226 1205 1208 1316 1128 848 1203 2116 2119 2104 2096 1162 2112 2114 2117 2113 2120 2121 2118 3017 3012 3018 3007 3009 3005 2147 3004 3006 3008 2892 2822 2891 2924 2914 2919 2909 2142 2893 2898 2896 2146 2141 2890 2853 2927 2928 2838 2925 13249 12910 12436 13070 12235 12661 13069 13043 12259 12745 11977 11785 13067 11247 12059 12072 12074 12060 13068 12076 12075 11242 12061 12234 11896 11784 12000 12157 11620 12180 11317 12179 11315 11895 11621 11999 11316 3159 3158 26799 26815 26775 26817 26766 26759 26816 26760 2895 2894 2897 2115 2903 2902 2140 3015 3016 2901 2899 2900 64475 64477 65470 63647 65291 63648 63639 65468 64479 63640 64476 64462 63646 63651 64463 64814 65457 65467 65456 64464 65469 64478 63650 63652 65472 65454 63649 65471 64465 2100 1579 2098 2102 1972 1962 1971 1973 1967 1581 2101 1585 2103 1578 1970 1584 1577 1964 1968 1965 1582 2099 6854 7016 6919 6917 6916 6918 20326 20327 20328 20325 6425 6422 6341 6385 6384 6412 6477 6394 6423 6424 6228 6226 6374 6328 6396 6340 6398 6387 6479 6480 2124 2886 2889 2885 2884 2887 2888 5165 5042 5164 5045 5046 5161 5163 5044 5162 5043 5160 64480 1149 1155 1147 1146 1150 2105 1156 1153 1148 1145 1157 1152 1151 1154 2145 12356 12357 12338 6126 6127 6125 6133 6262 6137 6047 6035 6093 6090 6215 6274 6138 6042 6318 6275 6218 6036 6034 6094 6282 6092 6216 6131 6386 6329 5845 6330 6272 6132 6041 6219 5104 4859 4755 4800 5015 5105 4903 6507 6508 4756 4848 4899 5175 5064 4896 4865 4970 5052 4897 4895 4860 4971 5176 4894 4858 4743 5003 4846 4898 6510 2904 6509 5190 5070 5065 4085 5016 4902 4904 3019 5189 4958 4901 4847 4853 4900 4841 2996 2935 2933 3001 2934 3000 2999 2929 2995 3002 2997 2993 2994 3003 11235 12058 11248 13050 12073 20330 20332 20331 20336 6217 6331 6342 12887 12410 7007 20324 6397 12770 6229 6230 6285 6284 6338 6286 6273 6478 6421 26861 26873 26860 26872 26859 26874 26871 29750 47211 47194 31528 2122 2123 9388 9386 9387 9389 7043 7044 7046 13129 13128 13127 7045 13126 3442 3443 3952 3440 3439 3954 3437 3951 3953 3548 3180 1514 1321 1530 1533 2108 1531 1538 2107 1535 1539 2106 1534 1536 1532 1537 2109 3438 3441 1576 3961 3960 3397 3394 3179 3963 3962 3395 3396 3198 3372 3434 3436 2434 1921 3389 3390 3388 3392 3393 3391 3435 2111 1960 1891 1961 3428 1681 1323 1684 1683 1327 1600 1686 1324 1326 1325 1682 1685 1688 1696 1687 1590 1604 1328 1603 1602 1680 1595 1601 1693 1695 1694 1691 3185 1959 1697 2089 2088 2080 1705 1993 2081 1702 2077 2076 2074 2078 2075 1704 1703 2079 1701 2087 2090 2091 1320 1995 2073 1988 1983 1994 1997 1996 1978 1974 1975 1977 3547 2110 6885 6915 6842 6852 6851 6847 6844 6837 6833 6838 6850 6841 6835 6834 6840 6839 6843 6845 6849 6848 6846 6740 6899 6909 6904 6901 6910 6913 6906 6908 6903 6907 6914 6905 6891 6902 6897 6895 6912 6896 6911 6900 1976 1692 3430 3429 3431 3432 3433 1919 1918 1909 1915 2084 2085 1916 2086 1908 2082 1920 1910 1912 1913 2083 1907 3371 3473 5024 4930 4792 4793 3176 3175 5025 4931 6647 9946 9673 9955 9674 9790 6650 6402 9683 9793 6651 6347 11581 9792 9780 9684 9668 5584 6099 9779 11570 9794 5639 6629 9952 9945 9669 11569 9956 5796 5751 5640 5696 6649 6646 9685 9670 9782 9682 6635 5752 6291 5214 5447 6448 5156 6235 6290 5035 5866 5867 6630 9680 9942 9941 9789 9781 5026 9957 9681 11580 11568 9791 9953 9954 6634 6346 6234 6447 6500 6636 5448 6499 6648 9940 6403 5583 5695 5865 5797 6098 9783 5155 12333 11969 12152 11387 11376 12827 13036 12136 12495 9325 12494 12608 12320 12716 11374 11302 12137 12939 11351 12151 12842 12150 12610 11352 11389 11039 12622 12841 12829 12828 11375 11225 13037 11968 11303 11226 12933 11388 10055 12840 11286 12731 11337 12511 11036 11339 12914 12609 12916 12938 12733 12934 11289 18471 12496 20053 18470 11967 11350 12509 11038 16462 18361 18634 18633 18362 13038 12717 16734 11338 12318 12334 11304 12335 10054 11037 12135 12935 12510 16733 12319 9326 11956 12732 12621 11955 12937 11287 11288 11954 10056 16461 16570 16571 12936 12718 12623 12915 5030 5034 4926 3020 4740 4786 4924 4925 4787 4739 4784 4922 4649 4736 4738 4923 4785 4646 4140 4644 4645 4139 4141 4648 4647 4138 3554 3186 3544 3537 3471 3467 3536 3468 3458 3469 3539 3540 3546 3470 3545 3463 3453 3538 1911 1698 1914 1917 1700 1689 3170 3167 3172 3169 3171 4737 3553 3448 3542 3543 20298 22431 20499 22429 22593 26719 26717 26718 22641 22330 22592 22332 22805 22789 22594 22626 22609 22625 22444 22788 22790 22430 22610 22331 20484 20482 20481 20483 13605 13529 13526 13522 13523 13516 13527 13520 13533 13525 13524 13531 13518 13515 13519 13521 13532 13530 13534 13528 20497 20498 13511 13510 13517 13505 13513 13508 13507 13512 13509 13506 5032 5033 5031 6506 4788 4997 5129 4911 4914 5093 4940 5128 5090 4998 4834 5130 5092 4995 4951 5117 5127 5002 5051 4912 4831 4832 4913 4829 4915 4842 5171 5170 4844 5080 2852 4950 5168 4953 4996 4985 4952 4843 5169 4845 4833 5091 13251 13269 13252 13253 13270 13254 13268 13267 13266 5167 27063 27066 27060 27073 27064 27056 27049 27050 27062 27052 27057 27075 27074 27053 27051 27079 27054 27055 27070 27077 27078 27072 27071 27067 27068 27076 27065 27061 27069 27059 40327 40296 40314 40392 40321 40311 3831 3955 3956 3834 3946 3833 3832 3835 3555 3947 6949 6924 6927 6931 6948 6926 6921 6920 6925 6923 6922 20585 26703 20208 22803 21211 20598 22442 20596 21958 21775 20597 22608 22640 21197 26704 22639 20584 26702 22804 20209 21212 22154 21973 22139 22140 21972 21776 21971 22607 21788 22317 26705 21199 21210 21789 22443 20583 21777 22155 21956 22315 22141 22156 22316 21957 21790 21198 6476 6950 6886 6898 6887 7017 6893 6888 6892 6889 6890 6894 21892 16759 16653 16483 16758 16654 16484 20301 20296 20305 20300 20295 20297 20294 20299 2125 6986 4536 7010 6832 6982 4830 13541 6985 6984 13550 13552 13555 13553 13562 13559 4994 2947 2959 6962 6957 13265 87955 87962 87960 87961 87954 87982 87988 87989 88023 88021 88022 88007 88006 88004 88005 88037 88025 88036 88024 88020 88014 87847 87959 88016 4910 4949 5126 5089 5166 4948 4909 2229 2964 3011 2998 3010 2926 13710 13709 15353 15001 15351 15169 15352 15170 15368 15002 15185 15367 13809 15168 13808 13797 13795 15366 13796 13421 13810 15000 16015 15654 15819 15655 15852 15851 15528 15529 16016 15820 15527 19916 19917 19915 14411 14423 15184 14409 14988 14422 14987 14424 14410 15183 14989 13420 19914 19963 13240 19957 13241 20029 13169 13175 13159 19932 20028 13162 19947 19950 2126 15936 15988 15140 15759 15505 13777 15758 15146 15935 15613 15987 15688 15322 15145 15139 15504 15323 15329 15612 15689 13144 6527 6514 6521 6511 6592 13477 3094 3157 3160 3060 3156 3061 3125 3062 3063 6505 6953 6952 6951 6954 6955 3541 3472 3036 3035 3033 3034 3047 3046 3048 3045 3044 87998 87917 87999 88000 88002 88003 88001 87991 87977 87976 87981 88074 88081 88079 87979 88071 88080 88038 88078 88054 87978 88064 88070 88073 87980 88072 88076 88077 88055 88063 88068 87990 88067 88069 88066 88075 87974 88082 87975 88065 3056 3057 3055 3059 3037 3027 3028 3026 3029 6853 6825 6828 6826 6824 6831 6836 6830 6823 6829 6827 6878 6884 6869 3031 3120 6864 6882 3124 3119 6875 6879 3117 3121 6874 3032 6871 6877 3114 6865 6883 3122 3099 6872 6868 6876 3115 6870 6873 3118 3116 6866 6881 6860 6880 3049 3038 4782 4783 5041 3151 3147 3148 3149 3146 3153 3150 3152 3145 3155 3130 3087 3084 2344 12071 3068 3089 3096 3097 3083 2343 3091 3086 3095 2345 3088 2326 2342 3090 3085 3093 13540 6856 6867 6855 6857 6861 6862 6981 6980 6979 3128 3127 3126 3154 3129 13538 13536 13537 13539 3058 13604 6863 6858 6859 3161 4921 13474 13473 13475 13479 10171 13548 13601 13607 13603 13612 13602 13606 13608 13629 13542 13543 13544 13486 13480 13481 13476 6715 6714 6707 6708 2355 2354 2352 2353 88017 88018 88008 87958 88019 88012 88028 88031 88027 88032 88035 88034 88029 11871 11766 11870 11596 3168 11595 11765 181 188 186 180 189 190 179 187 118 166 123 76 121 170 117 182 183 168 73 165 169 119 120 167 164 171 116 78 74 176 174 175 191 163 65 64 125 195 26 66 67 16 68 6475 6214 6327 6213 6383 6271 809 808 88030 87957 94585 92495 547 545 546 805 544 743 742 744 745 746 806 807 747 352 1699 1963 1580 1322 804 2346 2325 2336 2327 3067 2328 3123 355 354 353 803 3092 3098 3064 3065 3066 1690 1583 2097 846 1313 1207 1204 2092 1922 5029 1969 1966 6501 2356 5215 15328 3177 5216 15499 15498  0
168.20/168.22	
168.20/168.22	c Core has size 12335

OK	12335

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 4.16 4.14 2.15 4/186 8489
/proc/meminfo: memFree=31370844/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=22468 CPUtime=0 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 1896 0 0 0 0 0 0 0 25 0 1 0 915810607 23007232 1636 33554432000 4194304 4365125 140735097844992 18446744073709551615 4303479 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 5617 1648 247 42 0 2765 0

[startup+0.0680689 s]
/proc/loadavg: 4.16 4.14 2.15 4/186 8489
/proc/meminfo: memFree=31370844/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=25048 CPUtime=0.05 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 4949 0 0 0 5 0 0 0 25 0 1 0 915810607 25649152 3172 33554432000 4194304 4365125 140735097844992 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 6262 3172 253 42 0 3410 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25048

[startup+0.101091 s]
/proc/loadavg: 4.16 4.14 2.15 4/186 8489
/proc/meminfo: memFree=31370844/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=26832 CPUtime=0.09 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 6588 0 0 0 8 1 0 0 25 0 1 0 915810607 27475968 3748 33554432000 4194304 4365125 140735097844992 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 6708 3748 253 42 0 3856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26832

[startup+0.301055 s]
/proc/loadavg: 4.16 4.14 2.15 4/186 8489
/proc/meminfo: memFree=31370844/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=37592 CPUtime=0.29 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 11368 0 0 0 28 1 0 0 25 0 1 0 915810607 38494208 6178 33554432000 4194304 4365125 140735097844992 18446744073709551615 4258260 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 9398 6178 262 42 0 6546 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37592

[startup+0.700978 s]
/proc/loadavg: 4.16 4.14 2.15 4/186 8489
/proc/meminfo: memFree=31370844/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=44316 CPUtime=0.69 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 15971 0 0 0 67 2 0 0 25 0 1 0 915810607 45379584 6906 33554432000 4194304 4365125 140735097844992 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 11079 6906 262 42 0 8227 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44316

[startup+1.50085 s]
/proc/loadavg: 4.14 4.14 2.16 5/187 8490
/proc/meminfo: memFree=31337488/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=54452 CPUtime=1.49 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 24801 0 0 0 146 3 0 0 25 0 1 0 915810607 55758848 8817 33554432000 4194304 4365125 140735097844992 18446744073709551615 4258228 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 13613 8817 262 42 0 10761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54452

[startup+3.10054 s]
/proc/loadavg: 4.14 4.14 2.16 5/187 8491
/proc/meminfo: memFree=31309092/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=77288 CPUtime=3.09 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 44515 0 0 0 303 6 0 0 25 0 1 0 915810607 79142912 12997 33554432000 4194304 4365125 140735097844992 18446744073709551615 4257495 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 19322 12997 262 42 0 16470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77288

[startup+6.30096 s]
/proc/loadavg: 4.13 4.13 2.17 5/187 8491
/proc/meminfo: memFree=31294992/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=112144 CPUtime=6.29 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 67241 0 0 0 620 9 0 0 25 0 1 0 915810607 114835456 20162 33554432000 4194304 4365125 140735097844992 18446744073709551615 4275989 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 28036 20162 263 42 0 25184 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112144

[startup+12.7008 s]
/proc/loadavg: 4.12 4.13 2.18 5/187 8491
/proc/meminfo: memFree=31278264/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=120336 CPUtime=12.69 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 68277 0 0 0 1260 9 0 0 25 0 1 0 915810607 123224064 21198 33554432000 4194304 4365125 140735097844992 18446744073709551615 4244666 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 30084 21198 263 42 0 27232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120336

[startup+25.5005 s]
/proc/loadavg: 4.10 4.13 2.19 5/187 8491
/proc/meminfo: memFree=31272924/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=25.49 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 2539 10 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4258116 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 140816

[startup+51.1008 s]
/proc/loadavg: 4.06 4.11 2.25 5/187 8529
/proc/meminfo: memFree=31190560/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=51.09 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 5099 10 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140816

[startup+102.306 s]
/proc/loadavg: 4.02 4.09 2.34 5/187 8530
/proc/meminfo: memFree=31128544/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=102.3 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 10219 11 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 140816

[startup+162.301 s]
/proc/loadavg: 4.01 4.07 2.44 5/187 8535
/proc/meminfo: memFree=31132200/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=162.3 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 16217 13 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4272208 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 140816

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

[startup+163.1 s]
/proc/loadavg: 4.01 4.07 2.44 5/187 8535
/proc/meminfo: memFree=31132200/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=163.1 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 16297 13 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4242896 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 163.1
Current children cumulated vsize (KiB) 140816

[startup+166.301 s]
/proc/loadavg: 4.01 4.07 2.45 5/187 8535
/proc/meminfo: memFree=31126120/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=166.3 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 16617 13 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4257796 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 166.3
Current children cumulated vsize (KiB) 140816

[startup+167.101 s]
/proc/loadavg: 4.01 4.07 2.45 5/187 8535
/proc/meminfo: memFree=31076392/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=167.1 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 16697 13 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4257751 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 167.1
Current children cumulated vsize (KiB) 140816

[startup+167.901 s]
/proc/loadavg: 4.01 4.07 2.45 5/187 8535
/proc/meminfo: memFree=31076392/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=167.9 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 16777 13 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4242636 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 167.9
Current children cumulated vsize (KiB) 140816

[startup+168.101 s]
/proc/loadavg: 4.01 4.07 2.45 5/187 8535
/proc/meminfo: memFree=31076392/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=168.1 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 16797 13 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4260931 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 168.1
Current children cumulated vsize (KiB) 140816

[startup+168.201 s]
/proc/loadavg: 4.01 4.07 2.45 5/187 8535
/proc/meminfo: memFree=31119908/32951124 swapFree=67060180/67111528
[pid=8489] ppid=8487 vsize=140816 CPUtime=168.2 cores=0,2
/proc/8489/stat : 8489 (MoUsSaka) R 8487 8489 8293 0 -1 4202496 71143 0 0 0 16807 13 0 0 25 0 1 0 915810607 144195584 23916 33554432000 4194304 4365125 140735097844992 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8489/statm: 35204 23916 263 42 0 32352 0
Current children cumulated CPU time (s) 168.2
Current children cumulated vsize (KiB) 140816

Child status: 20
Real time (s): 168.231
CPU time (s): 168.235
CPU user time (s): 168.098
CPU system time (s): 0.136979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 153188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 168.098
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71148
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= 10
involuntary context switches= 334

runsolver used 0.295955 second user time and 0.627904 second system time

The end

Begin job on node106 at 2011-06-14 11:01:42
IDJOB=3501500
IDBENCH=90046
IDSOLVER=2000
FILE ID=node106/3501500-1308042102
RUNJOBID= node106-1308041936-8311
PBS_JOBID= 13564709
Free space on /tmp= 74076 MiB

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

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

MD5SUM BENCH= ddc25fcc7da0162a7a3805515ced5462
RANDOM SEED=72542047

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31371248 kB
Buffers:        180224 kB
Cached:         448328 kB
SwapCached:      13076 kB
Active:         954588 kB
Inactive:       424880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31371248 kB
SwapTotal:    67111528 kB
SwapFree:     67060180 kB
Dirty:            7540 kB
Writeback:          96 kB
AnonPages:      748340 kB
Mapped:          10692 kB
Slab:           132624 kB
PageTables:       6284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1179508 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= 74080 MiB
End job on node106 at 2011-06-14 11:04:30