0.00/0.03 c MoUsSaka vegetarian
17.89/17.92
17.89/17.92 s UNSATISFIABLE
92.89/92.97 c Core is minimal
92.89/92.97
92.89/92.97 v 796223 796213 796210 796178 796192 796174 796198 796205 796202 796231 799058 56408 799046 799026 799038 799076 56406 799032 799062 799040 799028 56478 799746 799692 799730 799712 56474 799722 56484 56411 799061 56403 799037 799029 56415 803364 803346 799059 56409 799070 799068 56412 799052 799080 797730 797742 797703 797721 797702 797712 56268 797696 56270 56262 797741 56267 797711 797720 797717 56255 801752 57722 57726 801722 57732 798717 798705 798731 798713 798695 798693 798747 798743 798701 798699 798729 798723 56378 803334 799043 798785 799361 799365 56442 799371 56450 799359 799388 799374 799386 799394 799376 799406 799412 799404 799395 799373 799397 799413 799389 799401 799391 799385 799379 799383 799119 56447 56441 56435 803352 797382 797414 797394 797408 797388 797412 797390 797367 797369 56228 797405 797393 797399 797375 797391 797379 803298 800732 800730 57426 800720 57422 800723 800751 800729 57435 800738 800766 57431 800455 800446 57438 800760 800710 800461 800403 800393 800435 800412 57323 57330 57339 801720 801726 57332 800742 57428 800449 800391 800433 800415 800427 800411 800387 800399 800402 800390 800432 57333 801758 801732 801473 801740 801744 801734 801764 57728 801738 57720 801750 801768 801728 797733 797381 56219 797385 797373 797403 56232 56445 799377 799400 56231 797372 56225 797364 797121 56220 797359 56235 797370 56223 56229 797366 799451 56472 799742 799734 56448 799409 799382 797376 57327 800141 57335 800721 800759 57432 800768 800713 800748 800762 800718 797402 797378 797120 797415 56234 797411 797400 797715 797736 797384 797396 797363 797361 797706 797729 797732 797745 56261 797744 797723 801807 57818 802074 802045 57830 802070 57824 802092 801784 802055 57833 798041 798065 797786 798053 798071 56306 798081 798077 798069 56304 798075 56294 798059 798035 798027 56292 798047 798039 798033 798063 798051 56300 56298 798045 56303 798030 798050 798078 798038 798042 798054 798060 798044 798062 803316 801405 801393 801435 801431 801411 801140 801395 801423 801389 57635 57627 801417 57623 801425 57633 801413 57621 801387 801429 801419 57629 801401 801383 801399 57630 801414 801408 801410 801432 801428 57636 801396 57624 801379 801384 801398 801390 57626 801434 801402 801392 801422 801404 57620 801416 801426 801420 802276 802280 58114 58119 58121 58122 58118 802282 803433 802278 802281 802279 801127 801112 801121 801118 801133 801115 802277 58120 58116 799099 799354 799096 799111 799090 799093 799105 56339 798369 798399 798375 798358 798381 56337 798393 804004 804008 804007 122255 56334 798362 56336 798372 56328 798378 798366 798360 798368 798408 798392 798404 798410 798402 798398 798390 798384 798396 798414 803328 798766 798772 798760 798757 798763 799021 798778 797767 797779 797773 797758 797761 798022 803412 803415 122235 803979 801772 58043 58041 801773 58044 58036 801774 58040 801775 801771 803439 803980 803977 803982 122230 122228 122232 122265 122268 122269 804013 804017 804021 122266 804018 122264 804015 122267 804020 122271 122234 803978 122229 797046 797049 797052 56198 797078 797066 797030 797072 797067 797037 797069 797058 797039 797060 797036 797040 56199 56186 797034 56189 797048 797076 797042 797075 797070 797054 56196 56184 797064 56190 797028 797082 796241 56192 797356 797107 797092 797095 797101 797113 797098 800088 57224 800066 800064 800054 800072 800084 800096 800094 57240 800076 800052 800102 800090 800078 803157 801050 801062 57530 57536 801066 801078 801098 57521 801099 57533 801059 801101 800788 800779 800782 796216 802444 802441 58179 58181 58176 802442 802443 58182 58174 58178 802446 58180 803403 803995 122250 122252 122247 122253 122248 122249 803997 803421 122245 804000 804001 122246 803996 804003 803999 803998 122251 56565 56566 807333 1194172 103536 103532 1194155 103442 1194127 1194153 103496 1194154 103446 58641 806919 59046 103529 59320 59318 59455 59453 58915 58916 58781 103462 803442 803355 803356 803357 803452 803453 804009 804011 765649 765656 765222 765217 765096 75458 765224 765527 765653 765651 765657 75515 75516 765654 75512 765528 75513 75387 764643 764645 764519 801781 802097 802067 802065 57819 802079 802042 801793 803448 802095 799077 799024 799067 798786 799035 799079 801141 766890 103475 59050 103493 59047 103498 103535 59182 59186 103515 103517 802668 58294 58293 802664 58290 802660 58637 58262 58261 58264 802640 802635 58631 806286 806288 806722 59045 59043 59042 807327 807332 59315 59310 807329 59254 807330 807136 807321 807324 807323 58632 802639 56803 56810 802590 56808 802583 1194180 59445 807536 59468 59474 59471 807539 1194182 59448 59444 103460 1194136 58638 806297 58635 1194123 58640 806295 1194192 1194141 58905 1194162 59464 806712 1194144 807120 807123 807125 802641 802637 58266 802633 1194128 806294 1194126 58984 806292 806929 103510 1194163 59185 1194146 59178 59175 59119 59171 807119 59122 59169 806932 807122 59177 59180 1194195 806708 58910 58849 58766 58769 806910 59036 806912 59441 807531 58987 59442 807533 765800 765798 75534 75530 802587 56806 56811 802589 103516 806502 58770 806504 58772 58714 806499 806501 58775 59039 806495 59392 806909 807117 806725 806907 807116 58717 806291 806493 807530 807139 59037 807346 807326 59307 806518 58901 806700 806702 58855 56783 802558 802555 56782 802563 806498 58764 806496 59304 59306 59257 59309 59034 806285 59165 807108 59438 807524 807110 807318 59300 58623 807349 59174 59172 807114 58767 58629 802324 806289 58634 58162 59439 806904 58990 59030 806492 58720 103481 103479 103474 103478 806311 806703 58852 58899 806705 58902 58904 58075 807537 59312 1194145 806515 58908 58776 806505 58645 103439 806711 58907 802556 56778 803868 803865 122121 803869 122114 803866 122119 803867 122115 803871 122118 122120 803864 803863 122116 59028 807522 59433 59436 806901 806903 806283 802516 807525 59395 807527 766959 764789 764787 764793 75405 75407 764663 764937 764807 764933 764931 797726 797708 56256 799724 799698 799728 56486 799710 56480 799694 799700 799718 799740 799704 799706 799736 799716 800739 800745 800747 800763 57425 800715 57429 800741 57423 798380 56330 56342 798119 766908 103492 103553 103533 103445 103497 801436 801439 801437 801444 800773 58015 58016 58014 800774 800778 800770 800771 58011 58773 802132 806913 806915 59313 806308 806706 103494 103534 1194135 59467 103464 1194132 103444 103518 103499 806298 103512 103461 59181 1194150 103528 103456 103438 1194186 103500 59317 59481 1194201 103482 59183 59461 103463 1194171 59316 1194177 58911 103551 103546 59325 58912 59470 1194198 807126 103547 103511 59476 1194164 59055 59190 58913 103514 1194159 59473 103476 59051 1194137 103552 59321 766944 765513 765509 765383 765507 802960 57015 57016 57012 802965 802958 802961 803319 803981 803984 122231 803983 803985 122227 122233 58017 58013 58009 800775 800776 800777 800772 58010 58012 122134 803886 122139 122132 803883 806696 58626 807317 58898 806699 58758 58625 807320 59298 806314 806489 806906 58760 58893 59435 59166 807142 806490 798057 798029 798036 797787 765672 75425 764649 57011 57018 57013 56998 56997 56917 802782 802943 802939 802947 58273 57134 803162 803159 803161 803158 57133 57129 57132 803166 803112 58257 802648 58278 58271 802649 58274 802647 58270 802644 802650 802646 802642 58275 58272 58276 802645 58277 802643 58302 58308 802536 58317 802670 58313 802702 802690 802610 802547 802621 802616 58268 58267 58295 56826 802582 802618 58258 802600 802696 802703 802700 802706 802522 58254 802625 802607 803416 803417 56819 802659 802651 802652 802545 56769 58335 802663 802669 802636 802634 802681 58299 56832 802606 802592 802632 802523 56838 58312 802627 802699 802697 802574 58329 802519 802572 58309 56770 802586 802554 122138 122136 802673 803881 58326 56742 802537 802603 58323 802686 802678 802594 56796 802687 802549 802532 56754 802528 56756 802688 802595 56817 58259 802693 56745 802624 802619 802677 802601 802520 802661 802576 802691 802599 56829 58281 802655 58284 58285 802654 58332 802550 802546 802672 802591 802609 58304 802541 56818 56755 56772 56841 58286 56800 802604 58311 802682 56814 802705 802612 58303 802628 58320 56844 802694 802622 56799 802567 56787 802573 802577 56791 802172 802174 802257 58092 802253 58094 802252 802250 802183 56610 802286 56529 802206 802181 58101 802145 56619 802216 58129 802258 58138 802309 56616 802310 802268 58139 802294 56547 802184 802180 802228 802136 56589 802318 802207 802304 802313 802192 802266 802298 802240 802217 58146 802243 56625 802202 58161 58111 802139 56613 802303 58130 802289 58137 802143 802564 802568 56790 56792 803884 56544 802154 56760 56764 797043 797031 797063 797026 56183 797061 796225 797033 797051 803293 803289 803292 803294 796242 797073 56193 797081 56187 797079 797045 797055 56195 56400 799065 799073 56405 799034 799050 799049 56414 799056 56226 57524 57522 801092 801054 801096 801068 57534 801056 801048 801072 801080 801060 801466 801451 801460 797409 797387 800063 800085 800073 800099 57237 57239 57225 57528 801102 801086 800807 56222 801709 801448 801454 801445 799044 56402 56376 798725 56364 798719 56366 798737 798735 798452 798711 798741 801765 57729 800785 801095 801071 801046 801065 801089 801063 801081 57527 800794 801083 801043 801053 801075 801069 57525 57531 800808 801051 801087 801093 801729 801767 801749 801755 801474 801723 57719 801753 801737 801761 801719 57723 801759 801725 801741 801712 801747 801743 57735 801731 801717 57731 801735 57725 75497 765793 75423 75389 75495 799357 56451 799410 799380 799392 799370 56439 56444 799398 799367 799407 803399 803397 799074 799071 799064 57326 57324 800394 799041 799047 800409 800417 800400 800414 800380 799053 799031 56399 56438 800426 799403 800408 800429 800142 800396 799118 799368 800436 800388 75480 765240 765368 75476 765361 797699 56271 56265 800069 800082 799809 800067 800075 800049 800097 800087 800081 800051 800079 57233 799808 800055 800061 800044 799789 799786 57227 800057 799783 800091 800093 800047 800070 798386 56340 797057 798374 800421 800424 57338 800382 800406 766896 801443 801441 802777 56916 802778 802774 56918 802775 56913 802295 802285 802153 802275 802261 56530 58152 56556 802234 56584 802188 56549 802197 802237 802293 802220 58080 58143 58149 56628 58125 56585 58134 802270 802222 802319 802148 802267 802225 802248 56580 56558 802163 802170 56553 802166 56567 802312 802190 56557 802171 58158 803104 57075 803111 57073 803109 803110 57076 57074 57127 803160 803165 57135 803164 57128 803106 57078 803108 802531 57131 57130 803163 803880 122128 803873 122124 803875 122126 122122 122130 803876 803872 122129 803879 803877 765366 764952 75440 765073 765080 765078 75444 802436 58167 797735 797697 801714 801746 801756 801716 800103 57228 57821 802083 802053 57827 802071 802047 802091 801787 802089 57825 801806 57831 802059 802085 802049 802073 801778 797454 797705 797739 797727 802080 802094 802100 57236 797700 797453 797718 797714 797694 57734 56264 56258 797724 797425 797431 797689 797692 797748 797709 797738 803307 56259 797747 800060 802061 802101 802077 801799 802058 57822 57828 799801 56994 58170 58172 802435 58171 802433 802990 58459 803000 802997 58451 803065 57021 802975 58476 56971 58432 58468 802983 58464 58467 803030 58450 803061 803072 58428 56985 57057 58446 802912 803062 803066 803070 56967 56972 802966 57054 803026 803034 58486 58491 803063 803083 57024 802985 802970 57026 803048 802974 802907 803071 803054 802999 57006 802976 57034 57030 58478 58482 58458 802979 57007 56989 56970 802994 803006 58433 803044 56962 802938 802996 56976 56980 802903 802930 58509 803077 803074 803029 802951 802956 57003 56979 803020 803025 56963 803009 803008 58506 803016 803005 802906 802942 802924 803011 57060 803047 803045 803078 802984 58473 57025 803021 802978 803052 57022 56991 56975 58465 58470 58483 56964 803046 58463 58466 56983 56987 57020 802973 58452 58448 58444 56956 56960 57053 57059 57044 58447 802950 58457 58502 56911 56919 57009 57001 58484 58481 802986 803023 57036 57040 57041 57038 57010 57014 802968 802971 58462 57019 58474 58496 58472 803050 803049 58475 58499 57004 56984 56959 56957 58430 57002 802779 56915 802972 802780 802776 803033 57047 56968 802955 58436 58507 56965 56978 57027 56973 56966 56986 58429 57032 58461 58453 58454 58456 57005 58426 57050 58480 58488 56982 57056 58443 57028 57031 57029 797764 796180 796234 797023 796207 796195 801777 801769 75443 75441 765081 765075 765077 764951 802993 803081 58487 803075 803089 802987 803003 802991 803086 58449 802931 56961 802922 803084 57042 58503 58440 58442 57008 802952 58437 58494 802933 802988 56990 56981 56988 803057 58469 58431 802921 802920 802929 57033 57035 57048 803039 802940 802911 802904 803080 803056 802434 802438 802437 802439 58165 58173 806690 58892 58169 806688 58890 56936 56914 56903 58421 58402 802771 802797 56923 802881 58408 802822 802868 58357 58342 802789 56905 56901 802815 58340 802763 802836 58414 56933 56851 802812 56902 802896 56945 56950 802744 56928 806891 59024 806898 59025 806897 59027 806895 806900 59021 59022 806892 59018 58996 806894 802731 56887 56876 802740 802752 58415 56951 56921 56869 802762 802803 802893 58347 58409 56857 802761 56848 58352 802831 58348 56941 58411 56849 802785 58387 58393 58406 802716 802754 58339 56870 56866 802734 58392 58384 56912 58385 802830 56896 56894 802884 58394 58388 802758 58358 802866 802899 56888 56948 56942 56930 56852 802809 58361 56897 58420 802832 802823 56939 58401 58343 802872 56879 56858 802827 58356 58351 58349 802841 802839 802749 802887 56883 56885 58397 802717 802781 802727 56856 56884 802890 802713 802772 802821 802806 56929 58396 802726 802877 802876 56892 58417 58993 806731 58887 806693 797754 56280 56276 56272 797755 797751 56633 802332 56635 56640 802329 802334 56632 56636 56732 58241 58183 58243 802452 802422 802431 802515 56641 802395 56659 56644 56696 802352 56642 58240 58247 56716 56726 58222 58184 56719 58244 56705 58232 802493 58202 58229 802475 802473 802506 56686 802457 56669 56658 802338 802413 802509 802416 56650 58186 56731 56725 56722 56645 802378 56728 56713 58191 56708 56704 58246 802503 58209 58214 802500 58196 802347 802359 802351 58168 802491 58177 58219 58227 58223 802455 802333 56690 56663 802397 802396 802342 802447 56654 802341 56653 56660 56651 56649 802360 56698 802512 802361 56677 802343 802369 802448 802425 802386 802410 802419 802428 56694 56662 56712 56734 58187 58238 56717 58237 56699 58166 802388 56667 802497 802484 58213 802474 802488 802465 58201 802350 56671 802392 56681 58204 58192 58234 58228 58210 58195 802470 58231 802483 802492 58193 56707 56735 802401 802330 802695 802692 802657 802653 56634 56638 56639 802335 802328 802331 56637 58282 58283 802327 56807 802584 58287 58620 58622 58336 58889 802588 58279 806524 58858 802658 58861 806527 806687 802656 58883 58280 806685 58881 56804 56766 802557 802676 58316 56744 56824 56788 802560 56780 56840 58611 58616 58613 806268 58423 806273 806271 806270 802900 58614 58754 806484 58752 806481 58755 806532 58865 806677 58876 58866 58879 806531 802674 58298 56784 802684 802535 802533 56802 802534 802698 802566 802570 56836 802542 56839 802524 58253 56748 56828 56812 58751 807107 807105 59157 807104 59159 59162 59160 59423 807512 59401 59421 59426 807510 59289 59154 807306 807101 807098 59151 59153 807099 59286 807148 807305 806486 58757 59398 807516 807352 59429 807521 59432 59427 807518 807309 807312 59292 59294 807314 58726 807311 58748 59297 59295 58749 59263 806480 58746 806478 806320 802521 802526 802671 56789 802553 802552 56785 56827 56759 56761 802561 802593 56813 56822 56815 56820 802596 56816 58265 58328 58331 58334 58255 56753 56768 806276 58617 802708 806277 806279 58619 802578 58297 58307 58321 58333 802704 58322 802626 802598 802562 58300 58318 56741 802707 802623 58260 58327 802675 802685 58306 802580 56798 802569 56786 56837 56842 58314 58269 802680 802683 58310 58330 802551 56830 802605 56825 802614 802611 802602 802548 802571 56834 56776 56777 802617 56749 56794 56831 56821 56775 56762 56767 56779 56757 802629 802539 56758 56750 802689 802620 802543 56843 58325 802525 56793 58301 56740 58252 802701 58315 56743 802530 58418 56861 58360 56935 58405 56944 802840 802753 802735 56874 56867 802800 802794 802743 58403 58412 56875 56878 56860 802818 56893 58365 56938 802770 56906 802767 56910 802745 802718 56865 802722 802725 56947 802736 56932 56920 56924 802790 802788 56424 806529 806528 58882 58885 806683 58862 58863 806686 798084 56312 56316 58095 58087 799767 799770 799764 799758 56552 803889 803885 56348 798417 802116 798422 56352 56204 56509 56518 800106 56239 57994 58073 58058 56501 56456 58003 802131 56381 56497 58027 58061 58064 58066 56273 56237 56344 56345 56347 58049 58045 58054 797423 802113 799776 58069 56200 799773 58067 798420 58070 56452 798754 799419 56504 798421 56733 56718 58239 56724 58185 58245 56721 56730 56715 58248 58189 58242 56736 802364 56673 802363 802367 56684 802376 802375 56682 56675 56674 802366 56670 802371 56710 802344 802400 802510 56656 56706 802384 56691 802499 802385 802427 58206 802409 56666 802458 802453 802451 56700 802382 802358 58190 58188 802508 802490 802487 802450 802454 58208 58225 56652 56702 802424 802345 802390 56693 58197 802495 802421 56701 802460 802391 802408 802514 56643 802504 802429 802417 802348 802389 802355 58221 802403 802399 56709 802463 802445 802478 802415 802407 802430 58199 802353 802393 58217 802449 802498 802418 802502 802489 58194 802357 802511 56688 802486 802472 802477 802398 802462 802469 58203 802426 56697 56648 802507 802423 802420 58207 802501 58215 802459 802354 802494 56661 802362 802480 802349 802394 802411 802467 58212 58233 802505 802414 802340 802513 802496 58230 801090 801084 801074 800750 800736 800724 798363 798371 798365 798389 56333 798407 798411 798387 798401 56343 798395 56331 800754 800452 800475 801077 800800 801057 57537 800756 800726 800744 798066 798056 798032 798048 798074 798025 56297 56295 798080 56307 56291 798068 800128 800122 800134 800119 800377 798072 56301 800467 765363 75479 75477 765239 765369 802954 802905 803014 57046 58504 803013 803004 803007 802992 802829 802861 802862 58354 58350 802825 58386 58389 58390 802828 802864 802869 802865 802833 803041 803037 802962 802964 58505 58508 58492 803055 58490 803069 803068 803058 803076 802917 802936 803028 803010 57043 58498 57049 57058 802937 58501 802953 802932 802909 802935 803001 802995 802908 803032 802998 803088 803091 803031 803079 803060 803064 58493 58495 802919 802918 802910 802928 57055 802923 57052 803067 802826 57079 57081 57077 802892 802813 802886 56864 802889 802751 802874 802810 58380 802747 802878 802835 58346 802837 58404 56943 802870 56880 802853 802851 802847 802860 802844 802855 58372 802791 802856 802787 802742 802712 802714 56850 802759 802757 56895 802755 802746 802741 57037 802980 802982 56927 56925 802733 802715 802895 802883 56900 802814 58373 802879 802805 802808 802838 802802 802799 58407 802804 58410 802801 802891 802871 56937 56871 802885 802843 802852 802846 56926 802784 803225 803234 58540 803224 803274 58534 803232 58535 803223 58539 58531 803220 58532 58530 803251 58558 803283 58577 802981 802977 58517 803205 803206 58521 58516 803207 58513 58514 803202 803171 57159 803113 57106 57162 57071 803114 803194 803226 803235 803191 803132 57098 57096 803123 803219 57165 803121 803257 803197 803195 803192 803189 803183 803180 803177 803185 57153 57147 57097 803125 57102 58533 803117 57080 803130 57107 57105 57070 803249 803095 803131 57143 803167 803208 803143 803148 803182 57116 803200 803141 57115 57111 57114 803186 803198 803116 57156 57089 57093 57084 803134 803107 803176 803139 803221 57168 803246 57066 57150 803096 803103 803099 57088 803179 806534 58869 803170 57142 766953 122193 58037 58039 58004 58055 56507 801776 58008 58063 58057 802169 802256 56559 56555 802164 56554 802251 802255 58091 802167 58088 56551 802168 58886 806684 806682 58884 802738 802897 58395 802724 56934 58377 58363 58398 802880 802721 56862 58400 802817 56868 56855 56898 56899 802792 802807 802719 56886 56890 58399 802723 802729 802739 58382 58345 802819 56877 58422 802756 58344 802764 802888 56873 802824 802873 56889 58413 56882 58364 58362 802748 56891 58416 802882 802816 802728 802730 802842 802834 58368 56881 56952 58289 802638 58263 58355 58353 1194168 807540 803430 59477 802793 56940 802898 58383 802863 802848 802867 58378 58367 58370 802858 58375 802850 802849 58379 58376 802379 802377 56685 56680 802666 57000 56992 802941 802946 802945 56993 56995 802944 56996 802857 802854 58369 58366 802845 802859 58374 797752 56278 56279 56277 802402 59451 802665 56491 802773 56909 56907 802769 802765 802737 56854 58381 56946 802374 56678 802667 58291 802662 58288 58296 58292 797750 56676 802370 802368 56672 797757 56274 797749 797753 766914 75462 803937 122185 803935 803940 122190 803939 803942 122192 803943 122189 122191 803936 122187 803938 59460 1194181 103554 766932 765225 79671 79673 765906 766269 79743 79748 79746 765221 764520 79953 75408 79025 770174 766268 770178 79027 765902 766266 79032 79811 769824 764929 770180 79817 766264 79029 764808 75426 765219 764936 764934 764641 770057 770052 78610 75422 75386 75390 770055 78606 75382 764648 78664 79815 764646 765848 78609 765844 764664 75404 764790 75418 764785 764792 78663 765852 58650 58643 58642 56603 56594 802189 802161 103548 802288 802322 802201 802152 802244 56583 802316 56607 56535 56539 56622 802223 58110 802262 58103 802208 56598 802215 802210 58112 802219 802229 802211 56574 58083 802175 56548 56571 56531 802199 58128 56526 56575 802307 56592 56593 802297 802179 802302 802138 56576 802147 802231 56562 56540 59462 59452 56602 58107 58102 802157 802238 802271 56601 802321 802259 56538 802315 802306 802198 802135 802226 802193 58646 802235 802156 802232 58098 807152 806739 58512 803094 59146 807359 807505 807360 58609 806945 59135 806324 806884 807091 806470 803093 59405 59419 806325 59281 806887 806263 807094 59271 58606 806266 59011 59416 58744 58730 59000 806946 59001 59149 806473 807301 59284 58511 59014 807153 807298 807508 59270 58741 59406 798419 798418 56346 56350 798415 56351 56349 798423 798416 807316 59302 807143 59262 806736 58997 59017 806893 807144 807319 59261 58425 59268 59152 802902 806942 59425 807514 58728 806890 806269 58424 806735 806322 807100 807357 807511 58747 807356 58615 59290 58750 59403 807150 59402 59132 59020 806272 806479 807307 807097 59422 58727 59155 802901 59133 807304 807149 59267 58998 806943 59287 806321 58612 806899 806732 806896 59023 58995 58994 59026 806733 58603 58722 806316 58721 806315 806491 806488 59399 807353 59264 59161 807354 807520 807517 807147 807103 806939 806940 58338 58618 58621 802709 806275 58337 802710 59437 806729 806730 807350 59164 59396 59127 58992 807526 807523 807351 59032 59397 806905 806902 59434 806936 59167 807112 806284 58250 58624 802517 806281 58627 58251 59274 59138 58724 806319 58753 806318 806485 806525 58888 58891 806526 806692 58860 806689 806698 58897 806523 806522 806695 58856 58894 56563 56528 56527 802290 58123 802247 802291 58081 802204 58144 802205 802203 56564 56623 56572 56588 58086 56533 58117 802187 56525 58145 802305 802299 802296 802260 58157 56620 56618 58090 802200 56537 56524 802218 802323 58156 802221 802283 802317 802233 56626 802292 58140 802311 802151 802308 802314 802236 56591 802245 56560 56614 802186 802185 802142 58078 802173 56568 56577 58097 56542 58105 802137 58079 802320 802140 58115 802178 802176 802242 802230 802146 56605 56611 802150 58141 56595 56587 56541 56536 56534 56590 802300 802177 56570 58135 58133 58136 58106 802265 56608 58150 58108 56597 58147 802263 56586 802213 56609 56627 56624 58099 802264 56612 802160 56606 802212 58096 56596 58113 802273 802159 56545 802209 56599 56604 802155 56543 103530 59465 58777 103458 59048 103457 56683 802380 56679 802373 802372 807343 802406 58391 802404 56668 802405 59389 58778 58785 58780 79030 79031 766271 766265 766272 79026 766267 78560 765658 78559 78555 78558 765659 78658 78659 765903 78666 765900 765905 78661 765904 78662 78532 78523 765805 78564 78541 78585 765821 764798 765085 765082 765522 78506 765829 78510 78519 78551 764938 78540 765814 764651 765090 765083 765833 765832 764797 764794 764795 765517 765086 764658 765514 765226 765230 78579 78497 78576 78505 765806 78501 78495 765371 78594 78504 765830 78522 78531 78515 764946 78591 764942 78537 765810 78542 765370 765374 765229 78528 765234 765373 764941 770573 80006 766404 79161 766468 79230 769830 79674 79024 766587 79344 766579 79341 766583 79345 79162 79158 766399 79163 79159 766270 79028 79347 79342 79340 79339 766586 79343 766585 766581 766584 79883 770297 766001 78757 78717 78731 78740 765974 78708 766044 78722 78728 78797 78782 765969 78780 78800 766038 78767 766010 766014 78739 78755 78794 78737 78730 78790 78700 78784 78802 78712 78710 78749 766041 78709 766017 765960 766026 78713 79880 78744 78735 78703 765973 765981 78763 78758 78791 765947 78785 765963 78775 78727 766000 78796 765972 766005 765983 78771 78781 78793 78726 765946 78736 78787 78762 765942 78746 78788 78799 78701 79164 79156 766689 79278 766164 78922 78927 766165 766161 766517 766516 79273 766512 79940 79937 79950 79952 79264 79737 79869 766508 79269 79265 770283 79872 770286 58089 802249 58000 58001 800443 770420 770418 78925 766163 78924 766159 79946 766505 80002 78612 78608 78607 78605 765846 79266 766501 770408 766509 79267 79263 79268 78842 78845 766088 78849 78841 766086 78844 766087 766083 766085 766089 78848 766518 766514 79275 766510 79276 79272 79277 79438 79733 79728 765671 765797 765884 75498 78645 78602 78672 78674 78618 78636 78651 78615 765920 78646 75526 78597 765836 78647 769821 770421 75531 75472 765795 78654 79232 765907 765505 770412 770417 770415 770181 75533 78681 78665 78687 765801 78684 765935 75508 765510 765908 765937 765838 75454 765853 765893 765932 765845 765883 765919 765875 765384 765911 765934 765917 78601 765880 765854 78637 78656 78633 765892 78655 765926 765931 765929 765938 765866 78624 765888 765881 78696 765857 765923 765839 765843 765835 78600 765847 78678 765890 765889 765928 75490 765899 765879 78611 765874 765872 78699 78693 765871 765901 78627 765856 78638 765897 78619 765861 78620 78690 765512 765925 765915 765910 78673 78642 765916 765922 78669 75494 75400 79236 766681 79439 766680 766690 766691 79435 79436 766682 79445 79447 79444 79452 766677 79443 766686 79448 770169 770166 769827 769829 80076 770576 770583 770580 770499 80072 770502 79727 79730 79299 80069 79862 79311 79240 79323 79304 79308 79302 79314 79320 79326 79303 766502 766504 766372 766377 766373 766370 79131 766369 79135 79136 79134 770162 770158 79317 766473 766478 766469 766475 766477 79241 766474 766482 766466 79231 79239 766465 79227 766511 766513 79233 79229 766470 79225 766472 769823 79667 79665 766413 766405 79170 766409 766406 766487 766531 79254 79725 766500 766495 766493 79258 79286 79245 79284 79293 79329 79295 79249 766564 766567 79294 766568 766565 766559 766519 766522 766545 766527 766558 766553 766491 766549 79281 79285 766538 766537 766528 79250 766496 766483 766552 766532 766550 766562 766540 766541 766492 79248 766546 766536 766555 766547 766520 766523 766561 79257 79259 766484 766556 766529 766486 79290 79724 79731 766396 766400 79244 766418 766414 79179 766422 766436 766440 766432 79185 79144 79140 79145 766442 79149 79152 79153 79154 79143 79194 79199 79189 79198 79197 79203 766441 766447 766445 766381 766454 766456 766382 79171 766431 766424 766364 766417 766427 766448 766463 766391 766395 766387 79215 79221 79209 79180 766378 766379 766415 766361 766386 766459 766360 79172 79167 79190 79188 79176 79212 79206 79122 79126 79224 79218 766390 766388 766426 766457 766368 766453 766460 766451 766450 766444 766408 79181 766462 766423 766433 79127 79125 766363 766435 766683 79440 766687 766692 766675 766685 79446 79450 766679 79441 79437 79881 79884 770298 770295 770054 770058 79749 79745 79375 770152 770160 770157 769818 769820 79726 770175 770177 770405 770291 770570 80003 770288 79736 79391 79372 79346 79389 79381 79363 79428 79337 766616 79407 79409 79408 79400 79413 79419 79416 79335 79431 79434 766641 766634 766664 766667 766615 766670 766596 766610 79371 766598 766624 766650 766669 766661 766571 766618 79362 766580 766570 766573 79390 766655 766592 766632 79395 766607 766643 766597 79336 766606 766660 766658 766663 766623 766666 766627 79332 766614 766605 79382 766673 766657 766642 766601 79399 79353 766651 766578 766591 766654 766652 766672 766628 766619 79373 770046 770043 770051 770049 79603 79607 79604 766845 79611 79606 766850 766849 766848 79541 766782 766785 766787 79543 79548 79929 79932 79935 79871 770281 770285 79608 766851 766846 79605 766844 766781 766788 766783 79542 766784 766780 79545 79547 79546 79610 78598 770172 79740 78967 78968 766211 78972 766210 78964 78965 766206 766208 766204 766212 80015 80078 770501 769812 770564 770582 769814 770274 770271 770406 770403 770400 770392 770397 770562 770565 770487 770490 770481 769809 769806 769808 770478 770559 770484 770039 765962 770170 80068 766003 78769 78761 78741 765959 766039 766002 765998 766013 766016 766012 766004 766021 766031 78747 766011 765967 78751 765958 766015 765952 765968 78743 765948 78756 78778 765953 765950 765957 79807 766033 78774 78720 766007 765966 766042 766037 765993 765961 770413 769822 765997 765943 765944 80005 766040 766022 766043 766030 770572 766034 765977 766006 766025 765941 78783 78786 766024 78798 78770 78779 78715 770491 765980 78716 78738 78707 765979 765994 765995 78765 78732 78804 78789 78733 765986 766028 78750 765989 765949 766036 78795 78705 78734 78792 78768 78723 78729 765975 765984 78752 765971 78725 78760 78777 78714 78742 765940 78711 78706 78702 765970 78801 765988 78759 765976 765985 766027 766020 78724 770171 766830 79586 766832 79590 79593 79588 79589 766827 766833 766826 766828 79585 766831 79587 765914 78670 765860 78688 79592 765869 765858 765887 78650 765896 78631 765876 765933 78595 765891 765841 765912 78675 78686 78698 78685 78622 78634 765842 78603 78657 78680 765873 765855 765859 765921 765837 78596 78667 78626 765868 765909 78639 765877 78623 78625 765864 78630 765840 78671 78682 78694 765930 78676 765936 765927 78689 765878 765939 765918 765924 78641 765885 78635 78617 78644 78640 78692 78649 78691 78668 78677 765867 78697 78648 765886 78683 78653 765882 78695 765913 765894 78679 78621 78613 78616 78614 770280 79931 79934 79933 79928 770168 807141 802325 806727 807118 58900 806701 59170 59308 807140 58988 59440 806290 58989 58633 59124 802326 806287 59035 58768 58718 59259 807348 58765 59305 59394 806908 806933 806726 58903 807115 806911 806312 58719 806313 58163 59038 58164 59443 58630 59173 807325 807529 806519 807532 59123 59393 807347 806704 806520 58854 806497 58853 806934 806494 59258 1191958 1191891 1202882 1203270 1203264 1202091 1203273 1202628 1201821 1202616 1202632 1202874 1203246 1191960 1191890 1202094 1201815 1201698 1203208 1203192 1203081 1203066 1203083 1191529 1191462 1191380 1191369 1191774 1191693 1201805 770301 59299 58445 57023 803042 802914 803040 802544 58319 802631 58471 803085 58500 58497 57045 807109 802214 56600 58759 802926 802925 56958 802948 58857 802518 59126 59029 58762 56569 56573 56617 802565 802615 56774 802559 56835 802538 56746 802540 802527 807528 56665 802339 802337 802346 58226 802485 802381 59447 807534 58479 58434 803059 802989 58427 803015 803082 803036 58455 806937 803043 56747 56763 56781 802581 802679 802529 56765 56773 770272 78518 78509 78525 78536 78563 78554 78527 78508 78507 764796 78494 78557 78500 78521 78502 78491 765228 78566 78534 78529 78512 766160 766162 79944 80074 80011 78937 78947 78997 766188 79006 78994 78928 79000 766219 79001 78909 766136 766145 78812 766135 766091 766111 766048 78807 766117 766116 766071 766147 78857 78913 78949 78945 79013 79010 766156 766193 766228 766202 766242 766248 766245 766174 766170 78954 766224 78992 79009 78911 78941 79007 78973 79012 78938 78821 78879 766075 766055 78855 766098 78864 766127 78852 78897 766103 78816 766094 766138 766141 766218 766251 766239 766233 766229 766152 766227 766254 766236 78825 78874 766139 78900 78891 766067 78810 766076 766129 78829 78828 78820 766112 78888 766100 766054 766099 766132 78830 766093 78894 78903 766053 78819 766144 78873 766072 766109 766046 766073 78884 766148 78958 766179 766183 766191 78963 78956 766197 766201 78959 766062 766108 78882 766125 766126 766130 78839 766049 766142 78875 766107 766102 78861 766118 766133 78883 766080 766120 78931 78977 78974 78932 79003 766155 766182 78991 766184 766192 766215 78990 766175 766173 78940 78986 78950 78955 766200 766220 78981 79004 78976 78946 78998 78983 78910 78995 78982 78918 78985 766157 78914 78929 78936 766181 766235 78988 766230 766223 766199 78939 78980 78926 78951 78912 78934 766171 766216 766158 78935 79005 78960 766238 766253 766249 766250 766189 78943 766180 766247 766246 766222 766225 78979 766168 79002 78984 78975 78942 766194 78989 766243 78944 78930 766177 766252 78957 78961 766244 766234 766178 766185 766217 78978 766169 766207 766214 78971 766172 766154 766190 78987 766237 78953 79014 766151 766150 78993 766153 78915 78933 78916 766240 78917 766195 78999 78962 78952 766198 766221 79011 78996 766226 766232 766241 78948 766196 766205 766186 766187 766231 766176 766213 766203 79008 766347 766297 766344 766302 766293 766306 770035 1191299 1191137 1202880 1191450 1203261 1202098 1203209 1203201 1191612 1202877 1203207 1202881 1203258 1191286 1191448 1191219 1191367 1191855 1191785 1202633 1202625 1191704 1201822 1191205 1191300 1202082 1201818 1191623 1191543 1191610 1191288 1191218 1191705 1191461 1191531 1191624 1191542 1191786 1191691 1191853 1191138 1202368 1202364 770305 769816 770569 770304 770306 766279 766280 766278 766275 766325 766257 766261 766315 766287 766311 766323 766338 766359 766305 766307 766289 766332 766334 766341 766350 766353 766356 1203337 1203948 1203807 122219 122849 1203884 1204257 122592 1204236 1204027 1204023 1204020 1204100 122117 803970 122135 804014 122281 804034 804016 804039 122986 1203944 123381 122163 803909 122160 803911 803908 122125 803878 804024 804019 804028 123115 122276 122272 1203336 122580 122577 122583 122214 122221 122236 1204098 123120 122216 803941 122186 122188 122195 122184 122177 803928 122179 1203943 122199 122716 1204228 122589 1203879 123245 1203862 1203960 123383 1203872 122980 122720 803899 803903 122854 1203939 1203888 1204104 1204016 1204156 1204161 122721 1203945 122723 1203796 1204233 123119 1203800 122853 1204222 1204175 122200 1203278 122222 122198 122582 1203338 1204087 1204092 123248 122852 1204091 1203940 122856 1204171 1204244 122988 1203865 1204084 1203815 122718 1204150 804030 1203873 122848 1203946 123251 1204012 123249 1204006 1203810 1203812 1204243 1204239 1203801 1204160 1203947 123380 123244 1204088 122588 123117 1204089 1204172 1203804 1203955 122210 123252 122724 122159 122154 803954 803960 803951 803986 122223 803990 122202 803947 803963 122165 803957 803966 1204235 122584 1204232 122591 123376 122850 1203941 122290 122296 122284 122295 122292 122722 1204230 803926 122288 1203795 803925 123378 1203811 803900 122151 803902 1204090 123250 1204260 1204170 1203951 1204099 1204095 1204167 1204242 123384 803907 1203956 1203883 1204263 1204026 123246 1204157 803931 122194 1204248 1204028 1203954 1204251 122576 122207 1204164 1203882 1203331 122208 122217 1203330 122211 122178 122205 122298 122164 803916 803912 122855 804029 122984 122987 1203803 1204017 803950 122156 122146 803894 122145 803898 122155 1203334 1203332 1203875 1203868 122218 122985 123112 803953 123116 1204019 122141 803890 766288 766284 79069 79015 79109 79086 79016 79096 79041 79052 766316 79064 79117 79114 79033 79102 79077 79045 79037 766262 766333 766260 766320 766324 766329 79099 79078 79090 79073 79036 79079 79050 79097 79081 79060 79103 79070 79105 79042 79061 79051 79018 79068 79019 79072 79034 79059 79046 79023 79091 766296 79118 79082 79111 79043 79095 79054 79100 79115 766314 79055 766298 79108 79063 79112 79087 79088 79106 770164 770566 80065 770485 79657 79865 80062 769804 766688 766684 79539 79491 79442 79494 79477 766733 766729 766715 766719 766678 79530 79536 79524 79476 766711 79496 766714 79473 79449 766712 766732 766730 766760 766737 766755 766747 766751 79512 766748 79509 79513 766750 79514 79495 79533 79451 766742 79478 79527 766676 79486 770163 770563 770398 79999 770282 770560 79864 766375 766376 766371 766389 79148 766461 766464 766366 766437 79193 79195 766438 79196 766443 766420 766430 766458 766455 766452 766439 79192 766428 79147 766434 79138 79137 79133 79129 766410 766412 79166 79173 79169 79165 79178 79204 79174 79211 79207 79222 766429 79202 79191 79186 79201 79184 766425 79183 79187 79123 79121 79120 79128 766367 766365 79124 766476 766542 79300 79305 79298 766543 766544 766539 79301 766563 766548 766551 766566 766557 766480 766525 766560 79297 766521 766554 766569 766530 766534 766820 79581 766497 766499 766494 766498 80063 770567 769817 769815 770482 766635 770480 770476 79861 770483 766481 766490 766479 766488 79659 79661 79251 79247 79243 79313 79307 79246 766524 766533 79234 766471 766485 79315 79309 766467 79287 79282 79316 79235 79228 79226 79327 79312 79288 79322 766526 79255 79279 79306 79292 79252 79325 79260 79318 79289 79280 79310 79256 79319 79237 79238 79242 766535 79328 79324 766489 79291 79296 79253 79283 79321 79577 79579 79584 79997 79995 79998 79723 79578 79582 79394 79430 79424 79396 79401 79415 79418 79427 79411 79421 79433 766575 766626 766612 79402 766656 766648 766630 766593 766659 79405 766665 766662 766653 79410 766644 766639 766647 79406 766674 766668 766608 766649 766671 79403 766595 766577 766617 766621 766622 766620 766602 766604 766599 766603 766823 79576 766822 766821 766818 80060 79101 766354 766328 79017 79104 766357 766299 79110 79035 766348 79020 766319 766281 766351 79098 79048 79057 766326 766258 766339 766336 79075 79119 766322 766304 79056 766285 79089 766256 79066 766342 79094 766291 79116 79074 79093 766309 79076 766313 766345 79053 79062 766259 79058 79067 766282 766346 766317 766273 79071 766352 766263 79022 766335 79085 79049 766277 766340 79084 766276 766274 766331 766321 79047 766286 79083 766327 79044 766294 766355 766349 79065 79107 766312 766255 766300 766310 766318 766308 766290 766301 766358 79113 79092 79021 79039 79080 766283 766295 766303 766292 79040 766343 79038 766337 766330 80012 80010 80007 79348 79374 79334 766572 79423 79414 79361 766594 79352 79412 79358 766631 79333 766613 766576 79369 79426 79388 79384 79429 79393 79331 79370 79365 79379 79356 79397 766638 79367 79420 766640 79360 79351 766629 79330 79338 79357 766590 766611 79417 79392 79387 79385 79378 79432 79366 79376 79383 79349 79863 769811 770571 770574 770568 770493 80057 80001 80004 770275 79866 80073 80067 80070 80056 770479 80059 80058 80064 80061 80071 80008 79930 770595 770510 770586 770590 770508 770505 58126 802287 58124 58131 802227 56621 802224 803098 803188 57141 803140 803105 57087 803135 803126 803144 57069 803122 803168 57138 807322 58082 56550 802141 802246 58153 58100 802274 802158 58127 802272 58151 58142 58160 802239 79938 79812 79814 79809 79798 79803 79806 79927 770496 770498 79656 79658 770165 79499 766767 766744 79520 79453 766731 79532 79534 766752 766779 766776 766700 766713 79535 79528 79454 79461 79868 79515 79462 79457 79497 79490 79471 766754 79492 766707 79506 766770 766764 766740 79538 766753 79498 79525 79507 766699 79472 79508 79531 79484 79466 766718 79529 766709 766758 79489 79502 79526 79522 79479 79523 766743 766698 79474 79470 79510 766749 79537 766761 79463 79488 79480 766725 79501 79465 766727 770561 770557 79795 79796 79799 79941 79943 79792 769807 80000 79996 79993 766829 803254 803268 803277 58549 58595 803242 58590 58587 803231 58578 803204 58575 58598 803260 803259 803256 803201 806327 58562 58561 59008 58541 58734 59275 803262 806742 58564 803244 803269 58585 58570 58571 58567 803265 58544 803229 59273 803228 58438 57120 803152 803150 806466 58607 59420 807509 807159 807507 806472 59418 806875 806675 807506 806537 59144 806330 57072 807092 803281 803115 57163 803199 57110 807362 807499 806467 58538 806878 807292 803279 58552 58537 58586 58583 58580 58582 58591 58589 58547 58588 58520 58553 803243 803276 58565 803245 58550 58596 803238 807156 806674 58568 58548 803255 58573 58569 59140 59413 59005 59408 803253 58735 59410 803286 58600 807088 59143 59139 806328 803252 803271 803282 803222 803218 58536 58543 806881 58574 803264 806260 59409 806464 58515 58584 59003 58599 58738 58733 807155 58519 58572 803275 803203 58518 806741 803263 807295 803280 803285 58557 58559 803270 58868 59004 58555 58551 803239 803237 58529 803213 803209 58527 803216 58522 803214 58526 58439 58435 803024 803022 803258 803267 58560 803217 58581 803266 58593 58576 58870 58566 806949 58563 807363 803248 806257 59278 806535 806948 58592 806671 807085 803261 803278 803247 803250 807502 803233 803272 803273 58545 803230 803227 58873 58546 803236 803240 58554 58556 803100 57148 57083 57113 806681 58732 57140 803102 57160 803119 806678 59141 59006 806458 807079 57091 806267 807300 58601 59415 806259 806533 59150 57092 807154 803178 803101 806877 807496 807084 807293 59285 807158 806665 806947 807087 806469 806668 807493 59002 803477 59404 58610 59148 57121 57158 807296 57099 806670 803174 807093 806256 59012 59147 806679 807294 807289 806885 59269 59142 58729 807500 59414 806264 806465 58743 57095 57103 57155 57137 57136 803145 57109 57152 57117 57068 803151 803136 57122 803155 803127 57144 803156 58871 803184 57119 803124 803133 803138 57065 58737 806468 803196 803147 57164 806461 803120 806673 806951 803478 57126 57149 57118 806262 807365 806261 806744 807291 803092 58875 807504 59272 59277 807151 806463 806886 59007 58608 806538 806672 806880 58872 59283 806872 59010 59412 58878 806879 59015 807501 807090 58597 806251 806323 806952 806944 59407 806882 807503 57139 807089 58880 806737 807286 58604 803172 57166 57094 57146 57151 57101 58874 59134 59417 58877 803146 807095 59276 803169 57082 57104 59280 58740 803284 806254 806331 803128 807302 807366 803154 57145 57167 58864 57086 57157 57154 57108 803187 803137 803097 806883 58605 58742 806471 806530 806740 806326 58602 806676 59279 59137 59013 59411 59009 807299 58867 58739 806745 57067 59145 806474 58510 58745 803193 803129 803190 803142 803181 57112 807361 57085 57064 803173 57100 803118 57161 803211 58524 803210 58528 58525 803212 803149 57123 57125 803153 1203075 1204266 1203276 770424 770591 770589 770509 1202086 1201775 1201771 1201779 1191861 1201707 1201700 1191210 1201702 1191618 1191782 1191780 1201699 1201792 1191456 1201757 1191701 1191377 1191372 1201725 1191867 1201756 1191858 1201721 1201784 1201786 1201726 1201772 1191294 1191537 1201708 1201718 1191538 1201745 1191458 1201716 1191882 1201790 1201761 1201787 1191876 1201712 1191615 1201747 1201770 1201752 1201743 1191295 1201763 1191862 1191214 1191700 1201766 1201709 1191619 1201703 1201734 1201748 1201780 1201796 1201744 1201798 1201736 1201711 1191777 1201720 1201802 1201727 1191453 1191879 1201765 1201739 1191291 1201762 1201730 1201735 1191963 1191699 1191534 1191873 1201789 1201783 1191215 1191888 1191539 1191620 1201781 1201717 1201754 1191375 1191457 1191213 1201738 1191696 1201795 1191863 1201793 1201753 1201801 1191870 1201804 1191296 1191781 1202501 107380 1202611 1202499 1192006 1202491 1202620 1202618 1202232 1202355 1202359 1202084 1201809 1202226 1201951 1202350 1201696 107182 1202228 1197371 1197375 1201959 1201961 104968 1202623 107382 1202493 1202497 1202502 1202614 1202619 1192008 1191965 1202739 1203240 1202741 1203237 104970 1203242 107448 1202742 1197367 1203249 107623 1202085 1203195 1201957 1201808 107184 1203251 1202227 1202867 1202089 1202223 1201962 1202744 1203190 1202872 1201953 1201810 1202860 107446 1203111 1202869 1203194 1203187 107565 1202080 1203196 1203239 107563 1203113 1203109 1197374 107625 1203235 1202737 1203199 1202868 1197372 1203243 1201693 1203114 1203061 1203070 122204 1203869 122273 804036 122575 803891 1204158 122176 122201 1203279 122285 804041 122162 123114 803993 122590 122717 1203934 122147 803893 122148 1203816 1204032 1203799 1203797 1204229 1204015 123247 122286 122289 122283 1203802 1204018 122585 122213 1203959 122182 1204031 1203790 1203871 122293 122287 804043 122578 1203870 1203874 122981 122586 123118 1204086 122131 803888 1203942 122203 803975 803882 803965 122113 122197 803958 804037 1204162 1203887 123113 122226 122237 122196 122183 122149 123377 122279 122294 803974 1204155 122241 804046 122242 122282 803972 804025 122982 803976 122278 122244 122270 122243 804031 1204153 1203333 1204014 804033 122719 122297 122225 804022 804044 804023 804040 1203335 803989 803971 1204083 803944 122983 1204085 803973 1204227 1203937 122161 803906 803914 803915 122158 122157 803946 803927 803959 122280 122206 803892 1204013 803895 122140 803956 803897 804035 122143 122209 122123 803910 803964 122152 803952 803988 1203347 123379 1204231 1204078 1204011 1203793 803945 803932 803991 803992 1203339 122137 803962 1204103 122212 804047 804032 122215 122579 804038 122851 122238 122291 122224 122220 803968 122581 122175 122133 122263 803948 122144 803896 1204225 804042 122239 804048 1203798 122275 122240 122587 803929 1204009 122277 803870 803967 803930 122181 122166 1203328 1203348 123382 804045 803905 803913 122153 803934 804027 1203867 1204234 803955 122142 803987 804026 1204081 803969 803994 1204159 122274 122180 1204176 803407 1201751 1201778 1191866 1191775 1201767 1201764 1191877 1191452 1201791 1191535 1191540 1201794 1191451 1191776 1191621 1191859 1191702 1191857 1191783 1201749 1201769 1201759 1201758 1201750 1191694 1191614 1201777 1201773 1191617 1201785 1191616 1191695 1191697 1191871 1201733 1201737 1191533 1191532 1191459 1201731 1191455 1191869 1201776 1191778 1201760 1191536 1201732 1201742 1201741 1191874 1201728 1191454 1191878 1201740 1191856 1191613 1191872 1191860 1201782 1191779 1201755 1201768 1191698 1202500 1202622 1191962 1191373 1191212 1191370 1191961 1201803 1201723 1201797 1191209 1191289 1201806 1201719 1201713 1201715 1191371 1191887 1201724 1201704 1201800 1201705 1201714 1191880 1191374 1191293 1201722 1203345 1201706 1191297 1191216 1191290 1191881 1191378 1191875 1191886 1191883 1191208 1191292 1201710 1201701 1202864 1202361 1203193 1202352 1201960 1201697 1203082 1203063 1203065 1203078 1203188 1202358 1203071 1202862 1202081 1202351 1201812 1202078 1202367 1202349 1203191 1203200 1202083 1202743 1202861 1202866 1202870 1202873 1202871 1201814 1202087 1202348 1202617 1197373 1203197 1203074 1203241 1203189 1202357 1203072 1201811 1202613 1202090 1202360 1202353 1201694 1203062 1202615 1202621 1197307 1201941 1202486 1202967 1202942 1202466 1202457 1202926 1202981 1202450 1201943 1202175 1201914 1201950 1197314 1202463 1202933 1197362 1201904 1202202 1202184 1201916 1197312 1202171 1202951 1202438 1197324 1197320 1202208 1201925 1202936 1197350 1197326 1197348 1201911 1197318 1201946 1202447 1202189 1197365 1201919 1202948 1197344 1202192 1202453 1202219 1201894 1202963 1202970 1197342 1202469 1202483 1202984 1202474 1202945 1202164 1201938 1201934 1202181 1202478 1197330 1197338 1202460 1202481 1202441 1202957 1197360 1202975 1202444 1202210 1197336 1202960 1197332 1202196 1202168 1202930 1202178 1202205 1202973 1202186 1202472 1202434 1201902 1194204 1202978 1201932 1202490 1202214 1201907 1197356 1201923 1197354 1202199 1201929 1202954 1202987 1201899 1202939 1202216 803921 122170 803917 80075 79653 802195 56579 56581 56689 56797 799083 57124 802383 56687 802387 802959 802963 802768 56904 802766 56908 56795 802579 802575 802191 80014 888266 803920 122173 803918 122169 803923 803919 122167 1186725 821274 1190358 1191087 1190035 772391 1189761 1187604 1189525 1185822 1191114 1187281 772502 772514 1190295 1186549 772287 1186487 1186345 1186916 1185751 772466 1186179 1187605 835512 1094734 1188665 1185816 886406 1188701 1189888 1190153 1188981 1050475 1186184 772561 1191044 1190763 965367 1050483 1187582 1189530 1186116 1186134 1190051 772451 886479 1186503 772538 772445 1186854 1187927 1188187 1188289 1188028 1185770 869653 772409 1187291 772442 772399 772286 1188342 1187556 1186717 1190654 1185715 1188681 1187283 1190668 772414 772368 1186001 1190127 835595 886467 886440 1190278 1187201 1186818 1186475 772363 1187551 1185985 1188118 1187189 772456 1190145 1186540 772449 1186176 1189536 1050489 1191111 1188308 772539 1094150 772525 1187219 1189544 1186125 1187660 1189554 772513 1188993 772395 772404 1187961 1188736 1186114 1186112 1190354 1191093 1187973 1190370 1186497 1188712 1186820 772390 1188390 1188576 1188348 1186836 1187594 886435 1190376 1190970 1190628 1191050 1186133 1188385 1189561 1187223 772487 1187286 772573 1187656 1189874 1190129 772503 1187193 772386 1187236 1186545 1186547 1186711 1186548 1190281 1189164 1186848 1187949 802194 56582 56578 802196 803924 122172 122174 803922 122168 1201774 1201729 799086 799088 1191772 1201823 1201788 1187090 772387 802783 802732 58359 58371 56922 802750 802798 806476 56999 802913 802967 802915 802934 57051 803017 58485 803012 58441 803018 57017 1202631 1191381 1203204 1203112 1191865 1201746 1203255 1191868 1202865 1191884 1191207 1189562 1186863 772454 1190630 1190005 1190827 1186118 1187606 1094524 1187455 1186121 772406 1191123 772527 1190852 1186972 803090 58460 803002 803053 58477 57039 803035 1191211 1202369 1191864 772285 1186918 1188201 1190559 759503 75311 759629 75309 759633 759627 759918 759792 759913 75348 759920 75344 75291 759485 75294 759486 759481 759360 758783 758907 75218 758912 758905 758784 758910 75222 758909 75221 75219 758913 75293 759359 759483 759489 75290 759488 760959 79620 79615 766854 766857 766860 766855 79613 766853 79614 79616 79612 766859 766858 79591 766825 766839 766841 766836 79561 766840 766856 766794 766793 79554 79558 79566 79562 79553 79557 79555 766803 766805 766804 766800 79559 79549 770555 770548 766986 766983 770552 766980 766989 759921 759917 759053 75237 758927 759057 759051 75239 759915 759791 75347 75345 759049 75240 759056 758928 759054 75236 758766 758601 75204 758761 75200 758768 79597 79567 766809 79568 79636 79630 766813 79637 79634 769805 79544 766786 79633 79571 79575 766812 79622 79640 766884 79628 79594 79598 79646 79643 79639 79627 766869 766863 766881 766878 766814 766875 79570 770159 770155 770156 770154 770161 769833 760902 791236 79677 791244 790209 790422 790321 790211 790424 791299 790376 791322 791237 790439 791289 80081 791281 791272 791319 790317 790212 790080 791313 791304 791263 80018 791259 790425 790442 80019 790417 791282 80082 790373 79676 791273 791271 79751 790369 790322 790208 79956 790394 790398 790320 791264 790377 790268 79820 790266 790390 79887 791232 804005 122260 122262 804006 122257 122258 122254 122256 122259 804012 804010 122261 56729 56720 56703 58235 58175 57090 802482 58220 802461 56695 56714 58218 802479 802466 56723 800420 802356 58211 59266 806477 806941 58200 802464 59288 807515 807303 803451 802076 57834 802082 802056 802050 802064 802068 802086 807513 806734 59156 59131 806889 806475 59424 807355 807096 59291 59019 59016 58109 56546 59168 807111 806483 807145 806691 806317 806938 806274 58236 56655 56657 58216 802476 58224 802412 56647 802468 807358 806888 806258 58999 56859 802820 58419 56863 802811 56853 58341 802795 797440 803310 807102 59128 58723 802720 59260 58154 802149 58132 58148 56532 802254 802269 58159 58104 806487 58628 806282 806694 806280 807113 59303 58761 59125 806697 58895 807315 806935 59301 58896 806521 802471 56727 802336 56711 56646 58198 802481 56664 803019 58736 58489 797406 802241 807498 806265 59282 807297 802062 802088 802052 802098 800430 57336 800384 800418 801381 801407 57632 801376 801386 802284 58594 759769 75326 759774 75330 759776 759648 758600 75201 758769 75203 758765 758763 759344 75276 759216 759342 75272 759337 75273 759345 759341 75275 759215 759339 79655 770042 770045 770037 770040 770048 79739 79648 770409 769801 79794 79729 79800 79797 79939 770184 770044 770029 770041 770188 769813 79867 79936 759072 759198 759193 759200 769838 770065 769836 770061 791255 803475 803391 803343 803348 803347 103440 802585 806918 59040 806916 56805 58920 760929 769837 766865 766871 79596 79619 79617 766862 766838 766868 766837 79618 766852 79629 79641 766799 79635 766874 79572 79609 79600 766861 766867 766864 766873 79560 79564 79563 79565 766801 766883 79647 79644 79623 766877 766847 766808 79649 766834 79599 766880 79574 766876 79601 79573 79632 766870 79638 75258 75254 759201 759197 75255 75257 759071 759195 759490 790375 790267 790371 790392 79954 1187587 886460 772476 1186914 1186868 1187967 1188347 869645 772477 772472 1186234 1188896 1190832 1188995 1187680 1190123 1189542 1190380 886444 1187050 1185814 1188562 1189172 1185871 1190139 1189842 1186352 869638 772366 886451 886431 1185813 886453 1188320 1188314 1186467 1187838 1190846 1187380 1187945 1185734 1185750 1094142 1187558 1187840 1187939 1188203 1188302 772537 1186942 1189884 1188448 1189266 1189248 1188983 1186461 924776 1186469 924650 1190364 1187818 1188888 1188559 1186273 1188687 1190838 1187580 1189276 1185720 1188306 1189872 1094320 1190622 1190634 1189767 772501 1094473 1190660 1186813 1187080 1189460 1094137 1189532 1191038 1094764 1187284 1189848 1190617 1188766 772474 1189850 1191036 1190646 1189868 1189300 1189587 1189880 1189878 1191082 1191042 1189860 1190964 1189854 1189763 1191031 1189452 1094824 1189279 1189862 1190642 1186681 1189458 1190652 1189927 1189538 1190658 1190653 1188022 1186177 1185949 1190664 1186603 772549 1188805 1191062 1189548 1188880 1188874 1189408 1187011 1185979 1190553 1185841 1189966 1190636 1190555 1189580 772585 772489 1189578 1191078 1189550 1094854 1185818 1189572 1185756 886415 1188711 1188987 1190133 1188487 1190141 886471 1188578 1188977 1185746 1188312 1191067 1189757 1186088 1189260 1186092 1189567 1185982 1185993 1187211 1050480 1050485 1186844 1187576 821272 1186721 1186110 1189244 1188677 886399 1186120 924647 1190854 1188049 1189271 1188884 771540 1188663 1190057 1187570 1186204 772396 1187956 1190844 1186183 771535 1186727 772422 1187788 1188157 1188336 1190347 1190366 1187821 1186104 1189844 869643 772465 1189256 1187278 1185821 1187232 1186342 1189268 1188207 1187943 1189560 1189454 1186838 886404 1187469 886458 1188330 1186922 1185815 1189575 772441 1188029 772586 1185758 886398 1190858 1190384 886402 1186485 886422 1188716 1186111 772478 886413 886426 1191060 869649 1188715 1187311 1191066 886483 1188391 1188844 1186117 1189254 1186364 1185910 1188693 1190360 1187653 1188190 1188325 1188969 1188669 1189242 1189176 1188894 965408 1189250 1190765 1188989 1189262 1188526 1188675 1190840 1186444 1190297 1187749 965362 924653 59486 772469 1186553 1186866 1186872 869658 1186871 1187225 1186860 1188705 1187970 1188392 1185762 869641 835508 1186130 1187237 772486 772463 1188388 1187592 772485 772381 772550 1186909 772417 772462 1186498 1186171 1189579 1188708 772587 772459 1187218 772526 772515 772379 1188699 1186180 1188398 1187229 772460 1186494 886417 772405 1191129 1189270 1191120 1187598 1189000 1191090 1191099 1188694 1187241 1185771 1186856 1191117 1186499 886408 1185811 772457 772382 1188332 772551 772482 772415 1186543 1191096 1186174 886449 1185732 1189556 59485 1190152 886442 772397 1186178 1186491 1187975 1186502 1187601 1187963 886424 772378 1186119 772388 1187240 1186129 772408 1186867 1185808 1188394 1186480 888174 1190049 924643 1186731 1188397 1189001 1186832 1186830 1188683 1186312 1187586 1189170 1187564 1187568 1190121 1187657 1186850 1186356 770618 1186106 1189277 1188964 1186714 772479 1185999 886462 1185995 772284 770619 772400 1187195 1187096 1186463 1187205 888161 888170 1186082 772488 1188572 1094422 1190381 771532 1190372 886433 1185817 1188695 1186849 886468 1188971 1185819 886397 965412 869646 1190640 1191056 1188671 772282 1187217 1186451 1187213 1187094 1189873 1187187 1187199 1186100 771537 1186080 1190849 59487 1190135 1186094 771539 1187920 1187955 1188296 1188324 1188300 1188318 1188326 1188026 1188570 1187290 1187452 1190045 1188658 965414 1186348 1186473 1188566 1187824 1094148 1187341 1190769 1186733 965372 1187710 1190285 1187659 1188418 1187449 1189166 1186362 1190855 1190378 1187471 1187562 834638 886476 1189280 1186075 1185989 1186842 965369 1186457 1188556 1188193 1188079 1187086 1188197 1188294 1188209 1187834 1187832 1187828 1187951 1187933 1187931 1185722 1186449 1094144 1185744 1185726 1187925 1187459 1186358 1187588 1188877 1190275 1186824 1187937 770064 770066 770428 770427 770429 1203213 1203224 1203218 1203107 1203092 1203104 1203095 1203227 1203221 1203216 1203098 1203230 1203233 1203090 1203101 1203087 799362 803073 122127 806680 807308 58763 56931 806738 1191376 802969 59136 1201799 58542 56872 58305 803038 58991 103480 58731 802760 58093 798707 802786 58205 803027 57434 802916 803175 803087 799364 802597 58579 802949 59031 802957 802894 803874 56370 807082 802456 807086 58249 56752 802711 802365 799055 802875 802796 56969 56801 59430 56949 807519 797397 56977 56833 56974 806709 802927 1194189 1187235 1191885 59450 1194173 56436 1188393 59163 803241 79885 79819 790438 80080 80017 79948 770578 79879 770497 79813 79669 770176 770053 79744 769825 770293 770416 790423 790263 791298 791235 790419 790396 79675 790207 790374 790079 791290 791241 790397 790443 79886 790201 790395 791286 791262 791295 791307 790203 791316 791280 791310 791291 790421 791245 791268 791277 790440 79955 791254 791250 79750 791300 79460 766762 79503 766701 770401 770034 770276 770279 770031 79468 79467 766702 79469 766706 79464 766703 770033 770467 770471 770474 770150 770146 770189 770187 770399 770278 770277 770402 770032 770395 770407 766710 766705 766696 766777 79455 766765 766771 79518 766757 79521 766768 766697 79459 79485 766775 766774 79487 79458 766693 766724 766778 766769 766728 766772 766741 766756 766738 79500 766763 766766 766694 766746 766759 79504 766739 79505 760724 76471 76468 760723 760719 76469 76476 76472 760722 760765 760763 76515 760770 76591 76595 76599 760845 760846 760842 760766 760843 76597 76598 76593 760840 760844 760848 760841 76596 77022 764508 764502 77034 763947 764511 764289 764293 764514 764505 763956 764077 763958 764073 77025 77028 77031 764499 77037 764474 764184 764190 764354 764370 764374 763941 764172 763937 763935 764471 764351 764468 763943 764178 764465 764461 764169 764180 764363 764367 764358 764361 76513 760767 76521 76517 764051 764165 764348 763931 764345 764162 77040 77043 760764 760768 764069 764064 764057 764067 764285 764280 764282 764274 764276 764060 764267 764412 764484 764494 764403 764406 764487 76986 764490 764414 76983 76514 764477 764480 759771 75327 759777 75329 759773 759647 75625 764481 764478 764483 76736 76740 76743 76745 75626 764486 76676 76730 76728 76733 75624 759062 759058 759061 764187 764191 764495 764409 764413 76661 76659 764373 764375 76653 76655 76725 764493 76441 760695 760704 76454 76450 760762 76518 76519 76520 76977 76965 77039 76742 764066 764070 76968 76980 764405 76974 76863 76866 76985 77042 764292 764283 764294 76982 76971 76746 76721 764078 76668 76800 76662 77027 77030 76920 76923 76929 76925 76802 76916 76664 76670 76806 76791 76794 76913 76909 76446 76542 76539 76545 76448 758915 75616 75617 758922 75612 75615 758917 76787 76784 764485 76915 76656 76904 77024 76727 76907 76903 76910 75971 75978 75973 760224 760226 760221 76594 760847 76592 764355 764346 764343 764338 764349 764352 76677 76673 76667 76860 76671 76854 76851 76847 76844 760769 76516 76906 77020 76859 764279 764277 76853 764273 76857 76442 76453 76451 763940 76922 764171 764360 76799 764174 764177 76052 760299 76048 76056 76049 760298 76051 760302 760304 764181 76803 76796 764183 76805 763932 763934 76055 763950 763953 76793 760305 76053 76050 763946 76926 764364 764366 763944 760300 760303 76928 75935 75938 760185 75937 760189 760188 75934 75942 760190 764398 759064 75623 75619 75627 760134 759060 75883 75887 759063 75891 760137 760138 764464 764399 76979 764390 76973 764393 76976 764396 77036 77033 760741 760737 76487 76494 760705 760701 760706 76495 76538 760779 76498 760782 760696 760788 760794 76540 760776 760791 760773 76528 76537 76523 76525 760785 76541 76526 76529 76531 76512 76532 76535 76522 76485 76467 76499 76544 760750 76543 760749 760692 76503 760751 76969 764263 764387 76967 76963 76243 760496 760494 760491 760495 76240 76244 76248 76241 76651 764161 76720 764059 760657 76347 760595 760597 760602 76350 760661 76789 76912 1186917 1186912 772424 1187974 772431 772563 772450 772432 772354 772359 772362 1188021 1189571 1185759 1187979 1185765 1188019 1187978 772369 772370 772471 772436 772435 1188339 772292 1187609 1190667 772357 1185767 1191081 1190661 1189881 772444 1190669 1189889 1187610 772427 772562 772453 772423 1191075 772575 772440 1188016 772574 1187655 1187650 1191083 1188023 1188024 886474 1187647 772372 772491 772377 772433 772373 772490 834639 1189281 1189570 772361 772293 1189887 1187654 1187652 1189569 1189278 1189564 1187288 1186489 1186182 886416 886425 1186923 886429 1186490 1186488 1187221 1188702 1186857 1187226 1185731 1187658 1188027 1188334 1188396 1185754 1187597 1188697 1186835 1190546 1188292 1094322 1188311 1188299 886420 886465 1186185 1186852 1187228 886438 1186554 770488 1189764 1190645 1188327 1190552 1188569 1094538 1190506 1094569 1191057 1094572 1187093 1189455 1190973 1186821 1094283 1186466 1188323 1094486 1187928 1188678 886447 869657 1189557 1190542 1189760 1190621 1094147 1188200 1187923 1187831 1187960 1190556 1189750 1190956 1187468 1189851 1187589 1094645 1187214 1190614 1189845 1187091 1187210 869655 1185748 1094184 1190398 1188321 1190625 1189565 1189451 1191045 1094577 1189863 1189869 1187103 1186083 1186464 1186460 1186359 1050472 1185712 1094263 1186458 1186454 1186476 1187954 1188573 1187099 1188575 1190649 1094856 1187097 1187579 1186816 1189675 1187577 1187591 1191035 1188567 1189563 1187190 1094385 1094796 1189747 1094370 1187204 1191051 1190637 1186823 1189875 1191069 1190627 1094765 1190631 1188303 1189871 1186845 1188692 1189528 1187829 1189714 1094701 1094641 1187224 1189584 1187962 1094134 1188206 1185747 1187934 1191041 1186734 1187583 1185735 1094153 1191071 1190655 1190657 1187216 1189859 1186107 1189457 1188698 1187198 1094217 1186089 1094183 1185990 1186085 1188666 1094384 1187936 1094131 1094470 1187946 1094373 1094416 1191063 1186722 1187571 1189535 1185737 1094735 1188399 1186859 886411 1188704 886461 1187595 1187590 1186483 886407 1186550 1188700 1188703 1094523 1190428 886485 1187959 1189870 1187661 1187466 1094423 1191033 1190923 1190536 1189744 1187559 1190643 1190975 1188690 1189766 1094472 1187462 1189865 1187554 1189857 1094574 1186470 1094136 1185725 1094761 1094537 1094424 1188315 1188198 1188210 1094220 1186113 1186115 1186095 1187841 1190619 1191064 1190650 835865 1186827 1187185 1094671 1186839 1094372 1094676 1186841 1187565 1188317 1190467 1190953 1094521 1186101 1187837 1094436 1187835 1187958 1094151 1187942 1187930 1188204 1185755 1188335 1094615 1094611 1187222 1094706 1187220 1187202 1188680 1094791 1189547 1189541 1189545 1188333 886443 869648 1188672 1187561 1186728 1190963 1189758 1187585 1050497 1186853 1187472 1189539 1186829 1186103 1185992 1186091 1094215 1094212 1187948 821275 1094317 1188686 1094475 1094282 1185753 1189606 1185741 1185723 1187192 772484 1094576 1094851 1185717 1094334 1094365 1094368 1188661 1188329 1185749 1188331 1189006 1189879 1190383 1187593 821276 1190659 1190969 1188579 1186002 1186097 1185996 1185998 1186478 1050490 1094268 1186484 1186482 1050493 1188668 1187460 1189559 1187567 1185743 1189533 1187208 1187196 1189847 1189551 1187966 1094821 1094825 1094731 1185719 1188696 1189461 1186847 1186730 1190539 1094266 967852 1094321 1189585 1188674 1189449 1189636 1191047 869656 1094231 1094271 924673 1186365 1186355 1186447 1186472 1094487 1188309 1094525 1188684 1191039 1094333 1094314 1189553 1094219 1188297 1094435 1094467 1094474 1190651 1186109 1186078 1189582 1186851 1191065 1094232 1094270 1186353 1008298 1186361 1191028 1189754 1190558 1094421 1186833 1191059 1190639 1094319 1189877 1094139 1190884 1094419 1189841 1190967 1191053 1187964 1094141 1185729 1094145 886452 886456 1188305 1188328 886481 1189586 1186724 1050498 1094138 1094526 1189853 1189834 1190959 1190633 1186452 1188030 1202696 1202690 1202721 1202727 1202702 1202687 1202714 1202699 1202732 1202693 1202708 1202705 1202735 1202718 1202729 1202681 1202723 1202684 1202677 1202711 770404 79732 770396 770394 78538 765521 78511 78561 765807 78581 78575 765231 765232 765372 765825 765809 78493 765834 765808 78545 78547 765828 78570 78590 78552 78593 765233 78553 765089 765087 78580 765084 78578 78565 78543 78539 764799 78556 78586 78592 765520 78517 765519 78535 764800 770414 79951 765088 765831 78562 78499 765804 78589 78577 78544 770419 770581 79882 770296 770179 769828 770411 770601 770598 770604 770607 770575 770050 770494 770173 770290 79945 79810 79666 79876 79741 764047 760611 76845 76848 764268 764159 764043 764262 764046 763923 76646 764259 764157 764048 764340 76649 76360 76356 760898 760895 764385 764388 764402 764397 764400 764391 764394 764382 77021 760892 76352 764052 764049 764054 76640 76637 760886 760889 764041 76911 76914 76905 76908 76917 764045 763928 76576 760828 760869 76604 76600 76573 76603 76581 76636 76621 760829 760881 76627 76639 760872 76622 76577 76601 760855 76617 76608 760887 76618 760856 76574 76590 76630 760878 760824 76626 76619 760854 760851 76634 760890 764264 76555 760800 76648 760801 760797 76558 760896 76554 76645 760810 76556 760811 76563 760806 760802 76546 760893 76559 76549 760809 760899 76550 76547 76551 760799 764469 76497 76548 76553 760745 760796 764466 760798 760795 76572 760803 760752 764472 760897 764475 764463 76552 76642 760747 760805 764163 76919 76790 764261 764257 76557 760808 764160 76650 76561 764168 764166 764357 76785 760894 76644 76560 760812 760804 760807 76647 76562 760821 760891 76643 76625 760871 760880 76607 760852 76620 760875 76605 760885 760883 760877 76638 760850 760868 760857 760867 760870 76635 760866 760876 760849 76629 76606 760853 760879 76641 76602 76624 76632 76623 760839 76345 760826 760822 76578 760830 760823 76580 760888 760825 76579 76575 764383 764380 764384 764347 760739 760743 76491 76501 76493 760748 760727 760691 760693 76530 760707 760702 760700 76456 76452 760771 760774 760787 760734 76443 76455 760792 760698 760772 760703 760694 760786 76473 760784 760790 760780 760793 760716 760725 76474 760729 76475 76470 76466 76464 76527 760708 76465 760761 760783 760789 760777 760778 76461 76483 76457 76447 760721 760720 76479 760712 760709 760775 76536 760781 760699 760718 760690 76726 76966 76482 760730 760726 76633 763924 764158 764044 764260 76786 76846 760882 76349 760600 76353 760596 760601 760599 76346 76348 76357 76362 760609 76355 760605 76359 760603 760607 764386 104948 104958 104952 104934 107286 104942 107166 107181 104940 107277 107273 104960 107172 104946 107283 107168 107289 107175 107280 104936 107177 104954 104966 104930 104964 107291 790261 79821 791253 790323 79752 790315 790319 790265 791246 790269 764392 764053 1202099 1201807 1202088 1202230 1203250 1203238 1202612 1203198 1191966 1203267 1202079 1202077 1201813 1202745 1202097 1202863 1201695 1197369 1202624 76861 76672 763945 764281 1191074 1190966 1190549 1094614 1094644 1094218 1189755 1094704 1186919 1186855 1094575 1094269 1189448 1190547 1188395 1185757 1191073 1187965 1186920 1187596 1191070 1190857 1186551 1189273 803469 803472 1190155 821277 1186181 1186486 1189876 1190656 1189583 1187289 78886 766052 766047 766128 78905 766074 78832 78833 766146 78826 78809 766065 78831 78881 78896 78887 78859 78863 78808 78901 766131 78877 78860 78805 78902 78899 769819 770284 770167 766092 78851 766096 78853 766077 78880 78907 766106 78889 78867 78827 766115 78872 78813 78885 78893 766097 78878 766119 766137 766050 766079 766140 766056 766060 766061 78869 78876 766078 766068 78806 766069 766149 766113 78823 766124 766101 78908 766070 766123 78892 766122 78836 766051 78890 766134 78904 78895 766114 78840 766104 78868 78862 766110 78898 766105 78835 766143 78817 766059 78850 78858 766095 78854 78818 78822 78814 78815 78824 78871 764254 764335 764152 763918 764038 76792 760586 76361 760593 760585 760589 76395 76414 76422 76413 76415 76387 76419 76425 76410 76368 76397 76392 76396 760620 76370 760612 760616 760688 760681 76434 76428 76431 764455 76351 760676 760639 760660 760622 76342 760666 760630 760634 76343 760669 760642 760633 760588 760665 760598 760629 760678 760687 760631 760656 760667 760670 760658 760621 760624 76374 760672 76338 760675 76437 760638 760647 760643 760673 760640 76365 760615 760613 76369 760604 764389 764482 76843 763927 76783 76654 76723 760443 76197 760445 76192 76190 760440 76386 76388 76341 760625 760684 760685 760594 76379 763925 764270 76731 76734 764058 76737 764063 76739 764055 764061 76652 764378 760554 76306 76304 76252 760500 76257 76250 760682 76440 76383 76377 76311 76378 760873 760874 76631 760827 76628 76788 76970 764175 76797 76856 764271 760679 76850 76964 764342 763926 763921 763929 760717 76502 760711 764155 76724 76484 76722 76524 760744 76500 76658 76533 77023 764265 760503 760884 76249 760504 76253 760505 56416 56488 56383 797422 799749 801110 800110 802108 800444 56519 797421 798089 56309 58028 797085 802107 799087 56311 56515 58035 56512 56492 802122 56503 57991 56455 802128 799421 800442 58018 58026 58019 56201 801438 797088 56500 58053 801105 58046 58048 799754 57992 797418 800109 56510 799752 801108 56388 58060 802125 58030 56453 800111 56498 58022 797090 799753 802104 798755 798753 56419 801442 56516 56417 56496 799416 798087 57999 56244 797089 798088 56384 58021 56513 799420 58072 801109 56240 58031 56460 56203 56308 57995 799779 798750 800439 56380 56236 56208 56489 802109 802119 56420 799761 56506 803321 803320 798106 798097 798112 798094 798355 56275 797756 56483 56481 56477 799701 799725 56475 799690 799733 799727 799697 799444 799432 799429 799687 799438 799426 799719 56471 799695 799731 799713 56487 799715 799709 799743 799707 799739 799745 799452 799737 799703 799721 802110 58050 802106 802102 58002 800438 800440 800445 802120 802114 58051 58042 58052 801104 802111 802103 58065 58020 57998 58024 58062 801107 58068 802126 802115 802112 801111 57996 802105 58033 58056 58059 801103 800441 800437 803424 57993 800105 802127 802123 800112 800107 800104 58029 802117 802124 801770 801106 802121 802118 800108 57997 58023 58006 58038 58007 58025 58071 799082 56387 56310 798752 56494 799751 799769 56243 799763 56495 56315 56499 58074 56517 799766 56385 798085 799765 799417 797083 799081 798756 798748 56241 799757 56490 56418 798749 799747 799759 799755 799768 799415 799414 56458 56242 799760 56493 56386 56202 797084 802129 798751 56454 56206 56423 797420 56207 56457 799771 797424 799778 799748 798090 799772 799089 56238 798083 799762 56313 56508 56502 56421 799777 56314 797087 798082 56382 799750 799756 799422 798086 56511 799085 56514 56422 56459 799775 799774 56505 799418 56205 803426 803425 803301 803303 803302 803312 803443 803444 803434 58034 58032 806710 59449 806293 58077 58986 58636 59041 58850 806516 59446 58716 59176 58985 807328 806310 807535 59391 59255 806723 806296 58639 806500 806503 807137 58909 59311 806707 806309 807344 806914 58715 58851 58774 59044 807121 806917 58906 58771 59179 58076 59314 59256 59390 807345 806724 802133 806517 807538 806930 807124 806931 59121 59120 802134 803385 803379 803382 803388 107157 87064 87094 87109 60434 104755 104632 87110 87078 103670 107159 104758 104749 60396 103708 107145 104926 104842 87058 87075 87101 104720 107150 104759 1194085 60401 87049 87048 87044 87105 60450 60443 87063 104745 87059 1194120 107147 104756 87083 60406 87042 107154 60445 103700 87057 87107 104535 60430 60431 87114 104727 104738 104543 104546 104548 104517 87098 107259 103677 104510 104716 87050 87072 104752 60441 60405 107265 1194081 87081 103709 104539 104528 60407 104732 60428 60392 87053 87068 60437 103706 107270 104542 87065 104549 107162 104753 104736 107267 103696 103703 107262 60398 103413 104115 1203342 104325 104330 104108 104332 103913 103912 103389 103401 104122 104120 103898 104326 103910 798688 798424 798430 798439 1192241 1192958 1192701 1192105 1193389 1192697 1193662 1193191 1193044 1193839 1193861 1192658 1193863 1192807 1193899 1192952 104318 103905 104123 103906 104333 104116 796035 1192244 1192654 795902 1192487 1192570 1192455 1192247 796118 1192450 1192417 795900 796121 1193872 796088 1201955 1192250 796085 1194111 796142 796027 1193635 1192238 796124 795961 796031 1192693 1192930 796081 796091 1192481 1193404 796114 795965 795895 796139 1194108 1192477 1193167 795969 1192333 796136 1192484 1193408 1192189 1193908 1192913 1194095 1193624 1192948 1193189 1194103 1193412 1192715 1193665 795972 1194099 1193518 1193602 1193902 1193150 1192724 1194076 1193845 1193992 1192961 1193669 1193426 795906 1193909 1193755 1193422 1193171 1193394 1193192 1193843 1193666 1192021 1193613 1193640 1192665 1193195 1192711 1193868 1192954 1193128 1193633 1193850 1193905 1192660 1193877 1192915 1193671 1192718 1192723 1193432 1193157 1192955 1193152 1193608 1193428 1192920 1193855 1193859 1192934 1193365 1194117 1193429 1193626 1194093 1193631 1194114 1192891 1192938 1192721 1193870 1193435 1193672 1193906 1193185 1193175 1193387 1193851 1193903 1193198 1193281 1193606 796038 803463 803466 803460 803457 803376 803373 803370 803330 803325 803329 803365 803406 803408 798744 798702 798704 798726 56379 803338 798728 803339 798738 798740 798710 798722 798734 798746 798453 798427 798720 798716 803337 56367 798433 56373 798732 798708 798445 56363 798698 56375 798714 56369 798696 798691 79663 770047 79660 79873 79942 770287 79738 770410 764350 76181 76188 76166 76170 76171 76220 76226 76217 76216 76223 76214 76210 760433 763933 76660 764269 764167 76849 76729 770610 770616 772290 770613 965359 965375 1190291 1190352 1190151 1189237 1186573 1186921 1189866 1094674 1186086 1094518 1187574 1188975 1187083 1185738 1187957 1186455 1187207 1189839 1188343 1189438 1188890 1190771 1190775 1187102 1187182 1186098 1190147 1190156 1187463 886434 772413 772468 1187465 1185820 1187292 1187227 1187940 772360 1189568 1189566 1187419 1190206 1187287 1189330 1190289 1189897 1186552 1190055 1189005 1189274 1187100 1190245 1191126 835499 1188689 1186826 1189369 1191072 1191048 1190648 1186128 1189441 869650 772426 886478 772418 1187952 1190116 965404 1187573 1186858 1189444 1190972 1190976 1187285 1186479 1186481 1189007 1190041 1190038 1186642 1190167 56561 56615 802301 56692 797091 807138 803311 802440 802432 801440 59428 59129 800423 59130 800405 800116 807310 59158 58756 1094371 1190624 1188025 1188344 1191135 1185766 800397 803398 798100 798413 58005 797417 797419 797086 802130 56327 798405 1189856 1094794 799795 58047 798091 799423 804002 800113 807331 56520 800385 806482 802613 56809 56823 56751 806278 59293 807313 802165 802144 58085 57231 802162 58084 58155 802182 58725 807106 807146 59296 59265 59431 58859 59400 803435 103443 103550 802630 802608 58256 56771 58324 803051 800100 57329 799780 57230 800058 57234 1190834 803394 797416 1189837 1191068 1185740 1191054 803901 803904 803961 122171 1185752 803887 1191132 1186122 1204163 1204254 1203876 59033 59456 1186546 1190550 1188999 1185728 1094154 803361 803366 798377 798120 798383 1191108 1191105 1191102 122150 803933 803949 1188713 799084 56372 801762 803215 58523 800769 800733 800765 800753 800757 800735 800727 800474 57437 800717 806728 1186915 760527 76393 760641 76391 76398 76279 76284 76277 77026 764470 760532 760531 760530 76138 760413 76180 760434 76127 760461 76202 76184 76302 76222 76229 760400 760398 760452 76201 76130 76153 76126 760407 76134 760454 76199 76135 760473 76225 760467 76165 76162 760435 76228 760399 76172 760458 76148 76145 76147 760395 760409 760386 76154 76174 760479 760381 76193 76139 760431 76129 760436 760444 760453 76183 76156 760389 76206 760476 760449 76207 76163 76208 760464 76211 760380 76161 76157 76144 76213 76179 760408 760418 76143 760382 76152 760422 76136 76189 760404 76219 76198 76175 760427 760425 760377 76261 76267 760557 760559 760485 760563 760558 76234 760518 760513 76280 76333 760514 76327 760566 76330 760522 76258 76266 760486 760581 760523 760482 76232 76231 76239 760509 76262 760572 760487 760584 76259 760512 76235 760569 76315 760536 76268 76285 76316 760539 76271 76322 76270 760540 76286 760541 76307 76303 76319 76293 760575 76331 76318 76276 76328 76325 76334 76324 760578 76312 76275 76321 76289 760521 76288 76313 760139 75886 75884 75940 760186 760191 75939 75941 75936 760184 760183 760187 75832 75830 75837 760089 75828 760155 760152 760161 75841 760075 75839 760093 760164 760158 75898 75914 764278 763942 76921 76669 76738 76858 764062 760143 760120 75895 75842 760071 760065 75902 75869 75892 760102 75848 75896 760149 760074 764176 77035 760085 760083 75860 75838 75878 764479 760130 75901 76978 760062 75907 760080 760092 75882 760067 760111 75873 75819 760121 760110 760112 75905 75908 75911 760098 75850 764359 76798 760107 760129 75857 75859 760076 75864 75877 75855 75824 75866 75829 75833 760094 75821 75815 760146 75846 75875 75874 75868 760128 75899 75811 75812 75856 75893 75904 75814 75910 760125 75913 760116 760119 75865 760084 75823 760066 75820 75847 75851 760103 760101 760301 76054 760297 76295 760497 760493 76246 76242 760492 760490 760489 760133 760132 760135 760140 75885 75889 75888 760136 75890 75642 759350 75643 75639 759354 759347 759349 760023 760016 75759 760034 75778 75788 75754 75733 759969 759989 75714 759970 760007 75790 759961 760041 75737 75718 759960 75752 75751 75715 75742 75746 759998 760047 75805 75806 75725 75710 75809 759987 759988 759348 75638 759353 760025 760053 75802 759984 75734 75736 75741 760038 75750 760044 75803 760015 760024 760020 760050 760032 759351 759352 75637 75641 75645 75640 759966 75745 75657 764284 759925 758774 76804 759635 759637 764068 759494 759202 75608 75693 75696 75699 75606 75662 76675 75671 75680 75651 764365 77041 763948 76927 76984 758770 75669 759630 759504 75312 75308 759625 759632 76864 764401 758773 759779 75675 75653 75635 75634 75603 759210 759206 759782 759949 759940 759941 75679 759953 764404 759205 759926 759922 76744 759932 759934 75670 75666 764182 75661 759778 75705 75702 75690 75678 75630 75633 764275 764173 763939 764356 76666 76735 76855 76975 76918 77032 764476 76801 764179 77038 76981 76741 76924 764065 764362 76003 76000 760239 760243 75960 76006 760244 760234 75979 75955 75916 760257 760179 75953 75983 75998 75952 75956 760180 75919 75974 75946 75928 760254 760263 76007 75929 75951 760176 75961 760215 760217 75965 75964 75925 76012 75969 75920 760233 760198 76018 75947 760269 760194 760171 76015 760230 760208 76010 760167 760251 76016 76013 76019 760170 75987 75992 75917 760199 760248 760235 75970 760225 75980 760216 75962 760212 75982 76009 75991 75989 75988 75996 75933 76001 76004 75944 760242 760181 760197 75926 75943 760260 760206 760207 760172 760266 75997 75924 760549 760545 761004 76196 76194 760442 760446 75748 760040 760017 760039 760012 760031 760027 75744 75771 760036 759992 75720 759976 759965 759986 759974 760004 75757 760000 759977 759985 759964 75711 75740 75726 759955 760048 759973 75738 75739 75749 759991 75747 759995 760009 75785 760037 75784 75795 760010 760046 75762 759994 760022 759968 75807 759983 75729 759981 75801 759982 75730 759963 759990 760042 760057 760051 75731 759959 75735 759958 759956 75722 75756 75758 760008 760001 760003 75753 760028 760019 760021 75780 75717 75810 75708 75721 75713 75712 75804 760043 760018 75766 759999 75792 760013 760026 75789 75783 75798 75775 75765 75767 760030 75774 760045 75776 760035 760992 760986 760989 760983 760998 761001 760279 760287 760282 76037 76035 760283 760731 76481 76030 76034 760284 760285 76038 760281 76031 76033 76586 760836 760838 76477 76587 760831 76582 76589 760835 760753 760757 76511 76509 760649 76405 760651 76401 764272 764353 764170 76663 764473 764056 763936 76732 76972 76852 77029 758916 75610 758921 758919 75614 75611 758920 75618 760345 76077 760327 760324 76080 760325 76081 760332 760328 76082 76059 76028 76104 760323 760270 76107 760271 76119 76064 760306 760273 76023 760372 760360 760370 760314 76113 760366 760369 760358 76063 760351 76062 760355 760289 760274 760291 76026 760373 760309 760361 760354 760357 76125 760364 760307 760352 76116 760367 760278 76098 76041 760350 760343 76036 76099 760341 760363 76122 76110 76027 760310 76046 76045 760342 760346 760288 760292 760296 76044 76100 76095 760428 760401 760396 760394 760911 760393 76486 76490 760740 760742 76358 760608 760610 76354 760333 76091 76089 760337 76406 76404 760648 760652 760819 76565 76570 75632 760815 760816 760814 76566 76567 760710 760714 76462 76460 760478 760475 760471 76149 76146 76151 76150 760397 760223 760219 760227 75975 75972 75976 760329 764266 764467 763930 76657 764050 764164 760220 760222 75977 76326 76332 76233 76237 76335 76238 760483 760526 76264 760480 76245 76260 76247 760510 760562 760579 760580 760507 760484 760534 760538 760508 76287 76291 76292 76282 76278 760537 760551 760560 76255 76256 76254 76323 76265 76320 760481 76314 76236 760567 760533 760528 760515 760576 760577 760568 760535 760542 760574 760573 760524 760582 760565 760561 76263 760571 760583 760506 760564 760529 760570 760556 760552 76251 76310 76309 76305 76283 760525 76281 76329 76317 76290 760502 760555 760498 760499 760511 760501 760553 76308 760264 760178 75931 760173 760193 760192 760196 75927 760169 75993 760182 760165 760267 75995 760240 760256 760252 760261 760253 75950 75918 76005 760262 75999 75984 760258 76008 760200 75922 75948 760218 760247 75981 760228 75985 760246 75994 75990 760241 760245 760237 75921 760236 760209 760238 760174 75949 760195 760268 75945 760232 75986 760214 75966 75968 760210 760265 760175 76011 760255 760231 75930 760229 760177 75932 760259 76014 76017 75923 760168 76020 76002 760249 760250 760166 76076 76083 760326 760331 76078 760754 760756 76506 76510 760606 760081 760086 760079 760546 76296 76300 760544 760859 760861 76611 76615 76297 75959 760205 760201 75957 760105 76215 760465 76185 760448 760437 760392 760474 760410 760456 760468 760457 76159 760459 760462 760460 760387 760432 76160 76218 76221 76209 76205 76204 76230 76200 760406 760405 76227 76186 76182 76224 76212 76137 76142 76187 76203 760463 760472 760419 760466 760455 760403 760385 760477 760430 760469 760383 760451 76155 760388 760429 760402 76140 760384 76158 76141 760450 760447 760113 760109 75863 75861 760108 75858 75862 760106 760118 760123 760126 760127 760141 760145 75894 75876 760117 75871 75897 760115 760114 75867 75872 760124 75870 75880 75879 760144 760142 760131 75881 760122 76128 760376 76132 760063 760082 760068 760064 760154 760095 75912 760061 760160 760159 760163 760073 75900 75843 75845 75818 75816 760156 760157 760078 75831 760104 75915 75840 75835 75909 75836 760091 760090 75825 760147 75827 760153 760148 760069 760150 760070 75826 75822 760072 760162 760077 760087 760151 760088 75903 760060 75844 75813 75906 75817 75834 760378 76131 76133 760379 760375 76492 76488 760738 760736 76420 76394 76426 76389 76417 76407 76423 76371 760664 760668 760662 760659 76435 76432 76366 760677 76344 76337 76429 76427 760671 76380 76424 76416 76411 76409 760689 76336 760590 760683 760680 76408 76412 76363 76367 76439 76421 76433 760645 76364 760674 76418 760644 760592 760686 760614 760587 760617 760618 76390 760591 76430 760619 76569 76571 76568 760813 760818 760820 760817 76564 76459 760715 760713 76463 760655 76613 760865 760653 76403 760758 76504 76609 760858 76508 760862 760760 76616 76614 760863 76399 76298 76294 760548 760550 76097 76093 76101 760347 760213 75967 75963 760211 76400 760654 760650 760547 760543 76299 76301 760637 760635 76385 76381 760315 76071 760319 76073 76382 760636 760632 760834 760832 76588 76584 760344 760348 76376 760626 760628 76373 760623 760627 75958 760202 75954 760204 760424 760420 760520 76272 760516 76274 76178 76176 76169 760411 760415 76167 76065 760340 760338 76088 76092 76085 760339 760335 76087 76124 76123 76112 76111 76108 76115 760349 760293 76114 760286 76043 76047 76039 760374 760353 760368 76029 76105 76121 76103 760371 76079 76106 76075 760330 760359 760295 760356 760365 76096 760362 76118 76109 76094 76102 76074 76120 76117 76022 760276 760272 760277 760275 76021 76025 76024 760978 760977 760905 760906 760907 760979 760974 760412 76068 760316 76072 760318 760099 760097 75853 75849 76042 76040 760290 760294 76070 76058 76061 760311 760313 75852 760100 760096 75854 79804 79801 79808 79805 79802 770577 79793 770269 770273 770579 770263 770267 770023 770027 770390 770386 770036 766968 766974 766971 766722 79870 766977 79735 766726 766736 79481 766935 766909 766905 766926 766892 766919 766927 766899 766928 766950 766955 766954 766900 766917 766918 766923 766901 766937 760735 760438 76507 760864 760860 760441 76505 760320 76402 76084 76195 760439 76191 76372 76612 760759 760755 76610 760322 76066 76057 760334 76086 760336 76090 760317 76067 76069 76173 76177 760421 760423 76489 76384 760321 76273 760517 76269 760519 759939 759639 759936 759942 759641 760837 76583 760833 76164 760414 76168 76585 76478 76480 760728 760732 76375 76060 760308 760312 758775 75629 759933 759948 759929 759783 759785 759927 759495 759497 759065 759945 758772 758776 758777 75628 75681 759207 759636 75602 75620 75622 759951 75667 75672 75691 75692 75695 75604 75697 75658 759209 75677 75694 75686 75685 75689 75688 75701 75700 75698 759640 759954 75636 75650 75676 75609 75605 75656 75703 75664 759780 759784 759204 75613 75601 75654 75646 75665 75631 75673 75663 75655 75659 759924 759928 75674 75683 75704 75682 759208 75668 759492 75647 759496 75649 760965 760947 760951 760920 760924 14662 14682 14704 758923 764659 764515 766945 758596 760952 759643 758779 760934 759499 760956 760932 760938 760925 760923 760943 760942 760941 760970 760916 760961 760960 760969 760950 760914 760915 764803 764947 765091 766941 765667 765379 766962 766936 766946 765523 765235 760933 766964 759787 766963 766910 759355 759211 766887 766891 759067 770038 79168 765999 78748 78753 78718 766029 766515 766374 766393 766392 766384 79208 79205 79219 79595 79602 79624 79642 79556 766819 79583 766636 79200 79150 79151 79580 79223 79213 79132 79130 766383 78811 766090 766084 766082 78628 765865 765863 78629 75436 765862 765870 79210 766407 766411 766063 78866 79625 79621 79540 766872 79274 766394 79217 79214 766416 79175 79177 79182 766419 766421 79141 79146 766380 79139 79216 78599 765895 78632 766019 766018 766023 766058 766057 78865 766121 766449 766446 79878 80009 770294 770292 770489 766843 78906 766066 766064 79734 79742 79155 79654 766866 769798 769803 766879 78846 78847 78843 766081 766397 79874 79670 79668 769826 78838 78837 78834 78776 766209 80066 79262 79261 766032 766035 78966 78970 78969 78660 765898 78803 78745 765965 765987 765992 78533 766009 766008 765978 765954 765955 765956 765991 78754 765375 765803 764653 765518 765665 764945 764944 764943 764939 765227 764940 75459 75461 765095 766166 766167 78921 765376 765812 764801 79672 78503 79816 765819 765823 765822 78764 78719 78721 765982 78766 78772 78773 765996 765951 78546 79157 78498 78520 78549 78524 78583 764654 78919 78920 78923 765851 765850 765849 78604 80013 80016 770495 770492 78584 80079 764655 764656 764657 770500 78569 78567 78568 78573 78572 765365 78496 78492 78513 766503 78704 766398 766401 79160 765516 765515 765378 765377 765964 765816 765817 765824 765818 78530 765811 78514 764652 79747 764650 770056 78571 78526 78582 78550 78548 78574 79818 79354 79355 766588 79350 766609 766589 766633 79631 79422 79425 766810 769802 769800 766735 79404 766646 79368 766645 79359 766600 766582 79398 766773 79475 766717 766695 79377 766625 78856 78870 766574 79552 766795 79550 766791 766796 79651 766797 769795 79386 79511 79519 766842 766835 766882 766720 766817 79380 766637 766792 79551 766790 769810 79456 766815 79645 766798 766802 766824 766816 766789 766506 766507 765945 765813 765990 765815 770486 79664 79662 79877 79875 770289 79270 79271 765820 765666 78490 764802 766403 766402 80077 79949 79947 765827 765662 765661 765826 765660 765663 765664 765802 766362 766806 79626 766716 766704 79220 766385 79142 766045 766708 766745 79517 79516 79650 78643 78652 79482 766807 766811 79569 79364 79483 766734 79493 766721 766723 79994 79652 78516 78588 78587 758778 760968 75770 75772 75732 75644 75723 75808 75777 75787 759978 75755 75761 75728 75797 759993 760059 759962 760005 760014 75786 75724 75763 75800 759957 75781 75769 760029 75743 760056 759979 759971 760033 75773 75782 75794 75706 75791 760002 75799 759975 75707 75716 75709 759980 75727 75793 760011 759346 760006 75719 763957 764076 764192 759996 75779 759997 75768 75764 75796 75760 76534 760995 764459 76339 760488 76795 764395 794168 794289 794282 794272 794109 794285 794226 794156 797428 794160 760663 794213 794216 794279 794034 794042 794046 794152 794163 794526 797434 797446 764344 764341 760280 763949 76032 76674 760733 764286 76340 76436 760646 76438 760416 760417 760470 760426 760746 76496 76665 763938 76862 76865 760203 760390 760391 76444 760697 76445 76449 76458 759203 759952 759931 759944 759972 759498 759781 75684 759491 759946 75652 75607 759923 75621 760049 760052 760058 75660 794209 758918 758914 759967 759930 759638 759937 759642 759938 759066 759943 794092 794096 794100 794276 794529 794036 794532 794040 791328 794535 794103 794166 794105 791325 1202495 794029 794222 794219 759493 758771 759059 760055 760054 759947 759634 759935 759950 75687 75648 759786 14699 14703 14669 14671 14693 14676 14692 4004 4000 1297 8404 8398 3973 3984 3970 3990 8434 4009 8438 8402 3980 4010 8432 8413 8401 8409 3986 8405 1285 3976 8414 8442 14738 14723 22925 14705 14678 14695 14750 22940 14744 22955 14748 8444 8411 22883 34163 22879 22893 22889 22658 34106 34162 22920 22916 22912 22895 33986 34016 34046 22733 22966 22654 34193 34177 34178 34208 22662 22899 34076 22885 33956 22910 22853 22793 22823 22703 22961 22957 22965 14740 14708 22967 14707 65132 65130 65126 65131 65122 65118 65112 48064 48059 48074 48077 48081 48072 22982 22980 22922 34136 22763 4075 4055 4048 4067 4058 4052 4064 4061 4076 4073 4006 4007 1201 3773 3771 1213 3777 3779 4070 22909 22924 22970 22969 525 518 520 684 690 798 792 464 471 466 484 482 489 516 561 552 852 846 453 449 445 444 500 502 507 556 554 768 534 543 539 535 557 553 825 819 717 711 714 738 744 517 448 462 498 503 467 446 499 536 538 854 853 849 463 485 481 480 521 800 799 773 772 692 864 746 822 687 873 826 718 719 741 745 691 861 867 870 765 795 771 858 827 124 125 842 762 764 594 455 812 814 841 840 844 668 695 786 751 754 778 750 790 442 588 438 603 473 615 492 598 456 460 597 599 644 639 736 781 704 731 722 749 457 547 546 514 510 643 810 760 759 763 677 787 785 670 709 706 697 679 705 817 724 682 808 678 758 804 805 756 589 437 585 439 607 475 624 496 803 723 727 509 532 633 528 733 527 630 550 545 651 648 430 654 529 657 660 634 666 635 663 776 669 673 696 700 702 783 675 729 642 830 837 835 832 831 732 777 590 625 621 511 626 616 612 493 491 617 474 606 478 608 813 839 129 476 472 843 845 838 21 683 681 757 761 130 3630 3717 3714 3686 3685 3711 3684 3690 1026 65138 34223 34222 14752 14765 14759 14753 14763 22972 4079 3719 3724 3722 3725 107504 103666 103582 103433 103430 103426 103436 107445 3731 3728 65135 67019 67016 67022 67025 67007 67004 65981 66740 66743 65978 65504 67028 67001 65500 67013 66998 67010 34253 34238 22976 22985 22995 22997 22991 34280 34276 34272 34250 34268 34248 35104 34631 34627 818 816 3 6 7 8 12 15 710 815 122 138 16 17 24 25 26 30 33 34 35 39 42 43 102 93 89 88 86 85 84 81 78 75 72 69 103 104 106 107 111 112 113 115 116 120 121 154 151 149 148 147 811 142 140 530 526 134 133 131 676 680 703 707 708 461 459 458 454 443 441 495 497 508 512 513 152 155 157 158 160 161 163 164 168 435 436 440 490 494 94 95 97 98 479 477 66 62 61 60 57 53 52 51 531 533 544 548 549 791 551 789 788 784 737 735 734 730 515 44 48 874 581 580 578 577 575 574 572 571 569 568 566 878 877 565 563 562 875 143 139 48068 34240 34244 48127 48128 48108 48126 65083 48110 48114 48122 48118 34235 34233 34229 34225 65114 22999 48061 48085 757908 757903 757450 718888 672934 672736 643036 530212 599800 599797 530215 569812 757912 757913 44011 460594 434056 403147 403144 378403 349174 349171 251206 251290 326260 277141 298687 298690 41152 31117 28834 84610 20431 18712 103258 120373 123418 145921 165949 166402 186820 207457 207910 232117 493282 460597 12868 11536 7174 6229 3642 3641 74143 3283 2725 59482 56071 1195 1204267 1204272 1204273 757911 757934 757937 757936 757943 56111 56114 56117 56120 56123 56126 41201 56129 41198 35108 56141 56138 56132 56135 1363 1358 1355 1352 1361 1346 1349 1343 1340 1364 8447 8450 14771 14767 48484 48488 23018 23015 14755 22987 8446 758467 790861 23362 1204268 1203325 56107 56143 56147 56150 56153 56156 56159 56162 56165 56168 56171 56174 56177 23843 23840 23366 1203068 3680 3678 3625 3541 3451 3367 48962 48965 49724 49727 56075 56078 56081 794426 794423 794420 794417 56084 56087 56090 56093 56096 56099 56102 56105 794399 794396 794393 794390 794342 56179 56209 794324 794321 794318 794315 794312 794309 794306 794495 794492 794489 794486 794483 794480 794432 794429 794411 794408 794405 794402 790366 790312 790258 790205 790198 790058 790054 772279 1192448 1192003 1191955 1191850 1191769 765790 765646 794303 794300 791227 791047 791044 790865 790858 790678 790669 790489 790477 790436 790432 790414 794414 801130 801124 800803 800797 800791 800470 800464 800458 800137 800131 800125 799804 799798 799792 799447 41159 41156 1191688 1191607 1191526 1191445 1191364 1191283 1191202 801802 801796 801790 801469 801463 797443 797437 790387 801457 801136 796237 796228 796219 794522 794519 794516 794513 794510 794507 794504 794501 794498 799441 797449 797770 797776 56431 56461 56464 799435 799114 799108 799102 798781 798775 798769 798448 798442 798436 798115 798109 798103 797782 103916 103900 103876 103792 103672 75214 75232 75196 75250 59483 75268 75286 57814 75304 57811 57808 57715 797104 797110 797116 57712 57709 57616 57613 57610 104320 104296 104212 104129 104126 104110 104086 104002 103919 57313 57220 57217 57214 56467 56251 56281 56284 56287 56317 56320 56323 56353 56356 56359 56389 56392 794339 794336 794333 794330 794327 56248 56245 56215 56212 57517 57514 57511 57418 57415 57412 57319 57316 104740 104728 104722 104530 765358 765502 758595 758758 758902 759046 759190 759334 759478 759622 759766 56425 56428 56395 75322 75340 103385 765214 765070 764926 764782 764638 759910 107379 107375 107373 107370 107367 107364 107361 104512 104506 104422 104339 104336 758592 758589 758586 758583 758578 758548 758536 758506 758389 757940 107621 107618 107616 107613 107561 107558 107556 107553 0
92.89/92.97
92.89/92.97 c Core has size 14228
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495927-1307808750/watcher-3495927-1307808750 -o /tmp/evaluation-result-3495927-1307808750/solver-3495927-1307808750 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495927-1307808750.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.32 2.21 2.95 5/187 780
/proc/meminfo: memFree=30488332/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=33732 CPUtime=0 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 1013 0 0 0 0 0 0 0 22 0 1 0 892474733 34541568 952 33554432000 4194304 4365125 140734535203616 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 8433 963 245 42 0 5581 0
[startup+0.085317 s]
/proc/loadavg: 1.32 2.21 2.95 5/187 780
/proc/meminfo: memFree=30488332/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=66032 CPUtime=0.07 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 14060 0 0 0 6 1 0 0 22 0 1 0 892474733 67616768 10422 33554432000 4194304 4365125 140734535203616 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 16508 10424 255 42 0 13656 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 66032
[startup+0.100296 s]
/proc/loadavg: 1.32 2.21 2.95 5/187 780
/proc/meminfo: memFree=30488332/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=66032 CPUtime=0.09 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 14541 0 0 0 8 1 0 0 22 0 1 0 892474733 67616768 10799 33554432000 4194304 4365125 140734535203616 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 16508 10801 255 42 0 13656 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66032
[startup+0.300277 s]
/proc/loadavg: 1.32 2.21 2.95 5/187 780
/proc/meminfo: memFree=30488332/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=130872 CPUtime=0.29 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 36459 0 0 0 26 3 0 0 23 0 1 0 892474733 134012928 21794 33554432000 4194304 4365125 140734535203616 18446744073709551615 4293720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 32718 21817 255 42 0 29866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 130872
[startup+0.700195 s]
/proc/loadavg: 1.32 2.21 2.95 5/187 780
/proc/meminfo: memFree=30488332/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=138624 CPUtime=0.69 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 54528 0 0 0 63 6 0 0 25 0 1 0 892474733 141950976 26717 33554432000 4194304 4365125 140734535203616 18446744073709551615 4261511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 34656 26717 256 42 0 31804 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 138624
[startup+1.50106 s]
/proc/loadavg: 1.32 2.21 2.95 5/188 781
/proc/meminfo: memFree=30370672/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=186256 CPUtime=1.49 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 57860 0 0 0 143 6 0 0 25 0 1 0 892474733 190726144 29973 33554432000 4194304 4365125 140734535203616 18446744073709551615 274664505813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 46564 29995 263 42 0 43712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186256
[startup+3.10078 s]
/proc/loadavg: 1.32 2.21 2.95 7/188 781
/proc/meminfo: memFree=30366332/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=175668 CPUtime=3.09 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 68161 0 0 0 302 7 0 0 25 0 1 0 892474733 179884032 32009 33554432000 4194304 4365125 140734535203616 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 43917 32009 263 42 0 41065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175668
[startup+6.30023 s]
/proc/loadavg: 1.86 2.30 2.98 6/187 781
/proc/meminfo: memFree=30273848/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=175668 CPUtime=6.29 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 69600 0 0 0 622 7 0 0 25 0 1 0 892474733 179884032 32831 33554432000 4194304 4365125 140734535203616 18446744073709551615 4257564 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 43917 32831 263 42 0 41065 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175668
[startup+12.7011 s]
/proc/loadavg: 2.19 2.36 3.00 5/188 819
/proc/meminfo: memFree=30149716/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=207424 CPUtime=12.69 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 80204 0 0 0 1260 9 0 0 25 0 1 0 892474733 212402176 40860 33554432000 4194304 4365125 140734535203616 18446744073709551615 4244666 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 51856 40860 263 42 0 49004 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 207424
[startup+25.5009 s]
/proc/loadavg: 2.59 2.44 3.01 5/188 909
/proc/meminfo: memFree=29679348/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=25.49 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 2536 13 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4262552 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 278896
[startup+51.1005 s]
/proc/loadavg: 3.15 2.58 3.04 5/188 950
/proc/meminfo: memFree=28916712/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=51.09 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 5096 13 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4272222 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 278896
Solver just ended. Dumping a history of the last processes samples
[startup+76.701 s]
/proc/loadavg: 3.44 2.70 3.07 5/188 990
/proc/meminfo: memFree=29029108/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=76.69 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 7655 14 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 278896
[startup+83.1009 s]
/proc/loadavg: 3.72 2.77 3.09 5/188 990
/proc/meminfo: memFree=28900616/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=83.09 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 8295 14 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4260965 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 83.09
Current children cumulated vsize (KiB) 278896
[startup+89.5008 s]
/proc/loadavg: 3.75 2.79 3.09 5/188 990
/proc/meminfo: memFree=28840180/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=89.49 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 8935 14 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4260871 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 278896
[startup+91.1005 s]
/proc/loadavg: 3.77 2.81 3.10 5/188 990
/proc/meminfo: memFree=28840180/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=91.09 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 9095 14 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 91.09
Current children cumulated vsize (KiB) 278896
[startup+91.9004 s]
/proc/loadavg: 3.77 2.81 3.10 5/188 990
/proc/meminfo: memFree=28840180/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=91.89 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 9175 14 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 91.89
Current children cumulated vsize (KiB) 278896
[startup+92.7003 s]
/proc/loadavg: 3.77 2.81 3.10 5/188 990
/proc/meminfo: memFree=28833856/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=92.69 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 9255 14 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4260918 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 92.69
Current children cumulated vsize (KiB) 278896
[startup+92.9002 s]
/proc/loadavg: 3.77 2.81 3.10 5/188 990
/proc/meminfo: memFree=28833856/32951132 swapFree=67054616/67111528
[pid=780] ppid=778 vsize=278896 CPUtime=92.89 cores=1,3
/proc/780/stat : 780 (MoUsSaka) R 778 780 31313 0 -1 4202496 117417 0 0 0 9275 14 0 0 25 0 1 0 892474733 285589504 57548 33554432000 4194304 4365125 140734535203616 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/780/statm: 69724 57548 264 42 0 66872 0
Current children cumulated CPU time (s) 92.89
Current children cumulated vsize (KiB) 278896
Child status: 20
Real time (s): 92.9833
CPU time (s): 92.9839
CPU user time (s): 92.8269
CPU system time (s): 0.156976
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 278896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.8269
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117422
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= 5
involuntary context switches= 211
runsolver used 0.146977 second user time and 0.366944 second system time
The end
Begin job on node131 at 2011-06-11 18:12:31
IDJOB=3495927
IDBENCH=89520
IDSOLVER=1989
FILE ID=node131/3495927-1307808750
RUNJOBID= node131-1307808750-723
PBS_JOBID= 13551052
Free space on /tmp= 74048 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/c10nidw_s.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495927-1307808750/watcher-3495927-1307808750 -o /tmp/evaluation-result-3495927-1307808750/solver-3495927-1307808750 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495927-1307808750.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1a8cb3a9f1cc6864d169355525091641
RANDOM SEED=1244653673
node131.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 : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.83
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.75
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.77
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 30488884 kB
Buffers: 296456 kB
Cached: 1838548 kB
SwapCached: 9824 kB
Active: 608980 kB
Inactive: 1601740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 30488884 kB
SwapTotal: 67111528 kB
SwapFree: 67054616 kB
Dirty: 25268 kB
Writeback: 20 kB
AnonPages: 73004 kB
Mapped: 13136 kB
Slab: 186784 kB
PageTables: 5452 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 316752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74044 MiB
End job on node131 at 2011-06-11 18:14:04