Trace number 3495735

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MoUsSaka 2011-03-26UNSAT 1011.82 1011.78

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-10-10t0.cnf
MD5SUMe2edbe336f5bcaab72d4c9db48067f8a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark995.54
Satisfiable
(Un)Satisfiability was proved
Number of variables125691
Number of clauses605085
Sum of the clauses size1419948
Maximum clause length10
Minimum clause length1
Number of clauses of size 17341
Number of clauses of size 2480045
Number of clauses of size 384559
Number of clauses of size 43680
Number of clauses of size 514720
Number of clauses of size over 514740

Solver Data

0.00/0.01	c MoUsSaka vegetarian
2.29/2.35	
2.29/2.35	s UNSATISFIABLE
1011.73/1011.77	c Core is minimal
1011.73/1011.77	
1011.73/1011.77	v 561954 583303 501165 535452 535444 501179 515495 515499 501172 515518 515514 501186 515461 501137 515457 501144 501116 535389 515438 501074 515362 535224 501088 582607 535279 501095 560610 501102 560738 515404 535287 515400 515381 560834 501151 515480 515476 535397 560850 599526 593842 582723 593975 599543 515419 501123 501130 594190 599642 602426 535334 515442 560722 501109 535342 515423 582590 501158 517247 517224 537919 537982 517243 583982 563410 563426 594538 537432 516844 516863 516867 537369 562850 562866 516829 516825 583767 516806 562738 537377 537314 583634 502180 502173 502166 601962 592798 603603 603702 536222 561618 501648 561858 516141 536332 516160 536379 536269 516084 561730 501620 501655 536387 501641 583170 516145 501627 516103 516164 561746 501662 516126 536324 583187 516122 501606 501634 594207 240230 540009 518668 518649 319535 319533 320453 320454 501571 321558 501564 516050 516027 536214 501578 516046 319357 501550 240237 536159 321561 561634 501536 318987 318988 516008 240232 318989 240233 501529 321564 516031 240234 319355 240235 321560 319356 501557 515989 321562 516012 321563 536167 501543 320459 320456 320458 320455 320457 321557 518653 240236 240229 515993 319536 240231 321559 604069 570690 506098 545132 522183 522187 506084 545069 522164 506091 570706 587827 604417 579939 555570 511908 511866 530164 511885 511923 555586 511904 592583 530282 511927 530219 530227 555458 579922 598830 500710 500715 500708 580287 556146 498512 498533 490476 229600 498526 87922 229601 229595 276516 229046 276507 498519 276521 229049 276510 229043 229040 229045 229033 229596 276505 517988 502999 503013 517965 539019 517984 518007 564530 539082 539027 503006 564546 502992 518003 584562 503020 594903 506240 545344 506210 522373 571042 506233 522377 545407 522358 587926 506226 522354 570914 522335 545352 587943 506219 275048 275042 275047 275034 275039 514868 530777 500701 592699 559954 534572 498776 514872 512250 498769 580154 512269 498783 498778 498785 592682 556018 514891 500717 534509 512246 530714 559938 603139 602310 319537 603704 604400 503566 540182 516221 320447 518767 516255 321539 240219 598946 598963 600686 499240 512892 499233 512873 512896 531649 499247 531657 512877 499254 531602 512854 499170 512782 512759 531539 499142 531492 499156 499191 512835 556914 499163 512820 556802 580618 512740 499184 512801 556818 499226 512797 499177 499198 499212 499205 556930 512858 531484 512839 512763 499149 531429 531594 580635 512816 557042 531547 499219 592914 512778 580751 592931 601150 602329 602890 593743 582259 603023 602909 572258 588639 596858 596643 600935 547599 523912 604087 602892 603025 604185 523874 523878 589103 600570 547709 589219 547764 597090 573394 547552 573378 524011 524045 523931 589086 524030 573170 597223 523916 524026 601167 547717 523897 547772 523855 547544 573282 524049 573154 523954 523950 547489 589202 523969 524007 523992 523893 523973 547827 547662 547654 523935 573506 523988 523836 547607 573266 599891 521347 543914 587114 521252 521275 521271 521313 569458 587131 543757 569234 521309 543969 543859 543812 543749 569362 521290 521214 543922 544032 543694 596179 569570 521385 569586 521408 521389 521233 521328 521332 521370 521237 587247 586998 521404 521427 596162 521423 543977 596046 521366 543867 569346 543804 569474 521256 521351 600705 589335 597206 599990 573618 587346 569906 596278 603257 603953 595582 600338 594323 602791 519846 519865 519770 240752 519827 585954 504355 504376 504334 504327 504362 586087 541604 541722 516297 516331 536599 501772 320973 562082 536654 583286 567234 567106 541659 240201 240747 562066 320977 356678 240755 567218 504348 504341 519808 541667 240754 541777 595599 240750 240748 240753 240749 320791 320789 240197 320790 504320 519793 567346 585971 541714 519831 240757 240751 129438 240756 504390 320981 501800 320980 501793 516312 519789 128518 320793 501765 501744 320979 516316 516350 240204 536607 536544 240205 516274 519812 495136 536662 320795 320974 501751 320792 240200 516293 320975 320978 320796 240199 240198 501786 240203 240202 516354 501758 516373 516369 320972 501807 319315 319317 240196 319316 583419 562194 536717 240195 320971 501814 320797 600587 595930 603837 502444 502451 502458 546727 546774 523342 506910 506945 506924 523327 506903 523346 506952 546782 523304 506931 572386 572370 506938 546719 523289 523285 523323 523266 546664 506896 588622 544417 544409 505720 505741 505729 505727 505736 570034 521670 505743 521689 521712 521693 505734 544354 604299 518763 503573 516217 240207 240218 320440 516240 320448 536497 320441 319523 321537 518615 565426 320444 240210 320452 240213 516236 240217 240220 320449 240215 319539 518592 240224 240216 503454 240209 321538 319526 585142 565666 565554 240222 561970 501716 319524 501709 240223 501730 240226 320450 320437 240227 240212 320439 536552 319532 503580 320461 321535 240228 518725 503531 565538 565650 240208 320443 320451 501702 320446 539899 320445 501697 321540 240214 536489 240211 240225 320442 240221 516065 501683 516179 536442 321543 501522 561842 536434 516069 321549 501690 536104 583071 501592 561506 321542 321565 321545 321555 321548 321541 321556 501585 583054 599659 321551 321546 516198 321553 501676 515970 516202 594074 321550 321547 536277 589451 573842 602559 603586 602095 602078 603605 602097 603588 604187 594671 601283 597339 584115 512003 511961 530384 530392 511980 555682 511946 530329 530337 511942 530274 555698 512022 511999 580055 592566 599079 229042 229037 229038 229034 276508 229047 229044 276509 276514 276511 229035 276517 229036 229587 275037 275046 275035 498540 498498 275033 229594 229591 275036 229599 498603 498547 229598 229593 341842 275045 229586 498582 498589 276515 276518 276513 275049 275043 229590 275041 229588 229589 275044 229592 88842 498568 275038 498554 498596 275040 229597 276512 229041 229048 276506 276519 229039 599410 531209 512588 556594 580519 599874 563538 517262 537974 505048 228601 507603 272209 507568 547984 272216 524216 524201 544307 272212 548102 505020 542979 587363 520682 228604 543097 569922 521617 270742 538037 517285 228057 270738 505657 548094 505664 271661 271664 502479 272391 524178 505636 595947 520701 504999 568578 504992 568562 589318 524235 524254 521594 228056 507631 272213 544252 569794 505692 228051 494954 507624 507617 270740 228049 544244 521579 521632 272210 505643 569810 270745 505678 228052 524239 271662 271665 271663 228050 524258 507610 270737 228053 272215 548039 228054 521556 520705 521613 272393 272397 272395 502472 272396 505034 520720 228606 542924 228600 228602 505041 586667 520781 270736 544362 228048 505701 272392 505699 502481 520762 586783 505006 505685 521655 568690 568450 505055 505057 83986 520739 228609 544299 521598 505650 505671 548157 272207 524277 270743 544189 270739 543042 228607 521636 270741 270744 272214 228055 573730 270735 543034 573714 507582 507575 272211 507589 524197 521575 228047 228603 586650 340482 542987 228599 84906 520758 507596 228605 524220 548047 228608 573602 272217 502164 516886 502157 537424 516848 502192 502178 502171 516882 502185 502143 502150 583651 562754 516772 502129 502101 516920 516924 562978 516962 537479 537542 298818 498888 531099 530989 498874 498916 512474 512402 512398 298810 298814 298813 498972 234595 556370 234592 298819 531162 592815 234602 498937 498965 512455 498895 234591 556482 297156 297155 234599 298827 512417 234611 234606 580403 298811 530879 512459 234594 512364 556258 298824 234608 298809 498979 512440 530934 498909 298808 234607 234605 512497 298817 531044 512535 234598 498846 531052 298815 234597 512341 234603 512421 498853 498860 498867 531107 498986 512478 498958 530997 298807 234604 512383 512512 530887 556242 298816 298823 512436 234609 297158 297153 297154 297157 298821 498951 580386 298822 234596 556466 234593 512379 498944 298812 298820 498930 498881 234600 530942 512360 298826 498923 512516 298825 498902 556354 234601 512493 234610 512531 298801 512554 298067 531217 512573 534957 531154 534949 234589 297160 298805 499028 298806 535004 515176 298802 515191 498993 500960 500946 298065 234587 512592 298804 234586 298066 560386 500925 298069 500918 515172 515214 500953 297159 298803 499021 499014 499007 560402 512550 234585 515210 298070 499000 500932 535012 234588 298071 234590 512569 515153 580270 530769 234616 234614 234613 234617 298829 498818 234615 530832 512303 512307 530824 298831 498832 498804 512284 234612 512326 498825 298833 556130 498811 512322 298832 298830 226382 506399 571378 522563 262816 545682 522567 262812 521674 571250 221201 221199 221203 221205 221210 221214 221198 221196 221194 221195 221213 221211 221209 221212 221206 221204 221207 221200 221202 221208 221197 505713 262815 262817 262819 262813 262811 522605 506392 226376 225823 225824 225827 225825 225834 225833 225831 225829 263359 261890 261889 225835 225828 225832 225830 225826 261888 261887 506366 506371 226378 545619 226384 226383 226381 522548 596626 226385 506378 506401 506357 261891 263365 263362 263367 263369 263363 263361 263366 263370 263364 263371 506385 522586 75876 262814 337524 522582 571266 506373 545737 506364 588175 226387 506380 494390 76796 226375 588042 226386 226380 226377 226379 545674 522544 596297 600688 601863 599427 602327 596527 600802 234037 233488 234039 292731 491444 292734 294387 233485 233487 294388 234036 292733 292735 233489 292737 292736 347754 105058 233484 233483 292732 234040 234041 104138 294389 233486 234038 234035 603470 605028 598499 552714 527446 578418 509976 591754 502467 517266 584098 502453 502474 604767 227834 227838 227839 227836 227840 227837 227835 84499 86155 86154 86158 86161 86160 86157 86159 228591 505148 228040 493674 505153 340466 228030 494314 228034 228582 228575 228036 228593 228586 84874 505132 228033 228571 228587 228590 228035 228580 228581 228583 228589 228029 228037 228038 83970 228031 228588 228039 543254 228041 228578 228592 228584 228027 228579 19338 228573 505139 520872 228032 228585 520895 520891 84890 228028 340450 505141 228572 505155 543262 520914 505146 228576 568802 228574 228577 568786 543199 164914 507694 507666 524353 271830 271829 548149 507668 507673 507687 507696 271823 524372 548204 271827 271831 524330 271825 271820 507703 548259 589434 524349 271828 524311 524292 507659 524334 507701 271833 271821 524315 271822 548212 271826 548267 573954 507682 507675 271819 507652 573826 507680 602774 600471 270361 586766 270358 270360 270355 270357 270356 270359 105941 138336 276693 138323 276704 275953 105953 105939 242101 219649 276695 242098 233276 105943 348081 105952 431433 276694 138335 275957 233273 138329 233266 105945 276700 242108 233277 276703 229585 242103 242110 242112 233270 275964 233280 276691 138334 138332 105946 242102 233279 275968 276701 276698 276705 233275 138327 276699 242100 275959 233271 360593 233268 138324 275955 275961 138328 56258 276697 233272 242111 242099 105950 233269 233274 275966 105942 105951 275965 32578 138330 275960 233267 186345 276702 242106 275956 275967 138331 275962 138337 105948 138333 105940 275963 242109 276692 105947 242107 105949 138325 275969 376601 242104 242105 233278 297370 514887 234623 498797 234625 234627 299388 234622 234619 299393 498790 299394 514910 234626 297367 234621 234624 297369 498799 500722 297368 234620 512265 299391 299392 534564 297371 297365 512288 297363 299389 299395 299387 500729 93860 93864 230020 235355 515001 534792 500778 298077 515100 298087 109686 534847 515081 298649 514986 298284 534619 560290 298285 24725 560050 174815 514982 109683 534737 534682 298078 500862 534627 500785 500848 560066 500841 560178 582242 515119 298075 298093 500757 500764 298283 534729 515058 298091 93862 593726 298074 514948 109688 560162 298648 515024 500820 500806 515138 515077 298076 515134 500813 500750 515115 108210 514906 235358 24693 298097 109684 500736 109685 593859 593861 599561 599545 582491 602312 298086 560274 298094 534784 109687 514925 515039 235354 500855 235360 235357 298286 298089 93865 230017 298083 298080 515005 298088 500876 235356 298079 298081 515020 298082 230022 93861 230023 230021 93863 230019 93859 230024 534894 500799 298288 298095 500834 174816 24709 235359 515096 515062 298287 298647 582358 514963 500771 174817 500869 534674 514967 230016 230018 298289 500792 298073 534839 514944 298085 534902 582375 298092 109689 500897 500883 298090 500904 500890 604433 601846 604398 253873 223513 254425 68586 489826 67666 224065 334466 535232 501060 515343 85971 228018 221156 85237 85241 85975 85236 228570 228021 85239 85972 228025 19193 331924 228024 85977 331929 228020 331928 228019 228023 331925 331923 331927 221160 221157 221158 221159 228022 85973 85235 85970 85238 85976 19189 85234 228026 85433 85439 84149 228767 85435 84150 228773 19340 84691 84153 84151 84695 228769 84152 84147 84697 228765 85429 85437 228764 85436 83954 228774 84693 228768 85430 228766 228772 85428 84148 84696 228775 84699 85434 228763 228770 228771 228762 228776 84698 85431 85438 84692 85427 85441 165834 600918 588390 571922 546334 523038 506730 506723 523042 571938 506709 523023 522981 506688 506716 546342 523000 523004 506702 506695 546287 523019 546279 506674 546224 571810 522962 588407 596742 604071 270903 270906 270899 270907 270900 270901 270905 270904 523152 506751 523137 523175 546444 506800 506765 506737 572162 506758 506807 523133 506828 546507 506786 506793 546562 523114 572050 546389 506814 546499 523080 523057 523061 523156 523076 546452 506772 506779 506744 523118 572146 523099 523095 506821 523171 546397 588523 588506 572034 596875 604282 603354 601614 577202 591191 598134 294206 228883 89781 89783 89779 228887 294209 89782 294207 228888 228885 89784 294203 228886 228884 294205 89785 294208 502460 298037 298046 298036 298035 298051 298047 298040 298049 298039 234569 298044 298053 298045 298043 298038 297114 234555 234570 234564 234559 234557 234573 234553 298041 234568 298042 234565 234566 298033 234562 234567 234560 234558 234561 234554 234572 234556 298034 234563 234571 297115 297116 297113 517228 537927 502432 502446 502425 517209 517205 502439 298776 298781 298780 298775 502411 517110 537762 502332 517114 517072 563186 537864 563314 502418 517167 517186 502369 563298 502339 517133 537809 502390 517190 583866 537817 502362 537699 537872 517148 517171 502397 517129 502355 517091 502348 502376 502404 563202 537754 517095 580502 552882 511733 591887 497224 497215 498428 497238 591870 555234 511790 498386 297120 297117 578530 497229 497222 555346 510156 578663 579806 510160 530062 497208 498435 530054 527634 510141 527697 497217 592450 511794 579823 510137 511752 497231 498442 511771 527689 598847 297119 297118 598482 553010 511714 498400 529999 497236 510118 555362 530007 498414 529944 297128 297127 297122 297126 297121 297123 297131 297125 297124 297133 297129 297132 297130 298774 298773 298779 298784 298778 298771 298770 298769 298772 298789 298783 298788 298782 298777 298787 298785 604748 517152 502383 603006 604085 228504 505582 521484 505398 544079 544142 505454 228513 228505 505531 228518 505545 228524 505589 569682 505503 228519 544024 228514 505496 228500 521442 340398 505468 505510 228525 228510 491594 505575 84822 271558 270643 271563 547937 507484 271552 547874 270632 270631 507435 573490 545289 271577 521446 587230 505426 228498 228503 505482 505412 521503 228496 228506 228517 228511 505405 505391 505440 505568 505447 505538 544087 502913 272309 564194 538854 594770 502808 538697 538862 517760 517874 517946 538744 564434 502836 502934 502899 272295 272288 538799 517741 272307 502815 517889 538917 517950 538634 502976 517832 584446 228497 569698 228501 505384 228502 228522 521465 521480 521461 228520 228512 228516 83902 228515 228495 228508 505419 228499 505475 228523 505517 228507 505559 505552 228521 505524 228509 521499 505489 505596 505461 227943 227953 227947 227972 227956 227954 270645 506196 270635 270653 271565 522301 507365 524121 507449 270651 507316 507477 271571 524102 271575 271551 506175 524087 507507 507421 271559 270633 271556 507428 227959 227957 227951 507393 227965 227963 271570 227961 227955 507400 227968 227958 227967 227964 227946 271569 227962 271572 227966 227969 227949 227950 227960 227973 227945 507379 227944 227952 227970 227971 227948 270637 271568 270647 507351 270639 507498 270638 507372 524083 271578 270652 271553 271557 547882 524106 271579 507470 271564 524125 507491 547819 522320 271581 507514 271561 271567 271560 270634 271562 270648 524064 506182 507414 271573 507521 506189 270640 271555 507442 570930 507344 270649 271554 507528 522297 507463 507330 271566 507407 507456 270646 522316 270641 545297 507337 524068 507358 507386 271574 271576 270642 517775 272293 564322 502948 502857 272306 272310 538964 502962 272304 272308 502969 517836 564210 584463 517718 502885 272302 594787 517798 502850 272305 517817 538752 272315 272290 272317 517908 584330 272287 502920 272297 272311 272316 272294 502906 272301 517870 517813 502822 538972 538909 564306 272289 517851 564082 600007 502878 517756 272303 272291 517927 517737 502892 538807 538689 502829 272299 517794 564418 502871 517855 502864 584579 272314 272313 604203 601053 602561 221133 221131 221132 221130 221128 221129 603157 603835 267823 512630 266350 266345 226973 267825 267265 227527 267818 499030 227524 499086 512668 226974 227523 512607 266353 267267 226975 266349 226969 267266 267819 512664 266352 266347 80882 499044 531327 531319 556706 499058 226970 266348 226971 531272 227522 226972 512645 339034 267817 267821 227528 267273 267271 267269 266351 227521 499051 226976 512611 79962 227525 512626 267820 531264 495912 499072 499037 267822 266346 227529 499079 227526 556578 226977 268003 268004 509376 526629 509369 526633 221127 237707 237710 237705 44421 203091 237691 202539 237704 237699 44453 237703 237689 44450 237706 237713 237683 237712 237698 237700 237711 237701 237697 228483 44437 237687 237692 237696 122165 237694 237684 237688 84780 237686 237714 237715 237709 237693 122164 203090 237690 237708 237682 237716 122163 237702 353971 237685 236578 41458 221136 221139 221140 221135 221134 221126 18 221138 221125 221124 221137 221122 221123 331705 141081 221148 221149 221150 221147 221145 221155 221142 221144 221154 221146 221152 221153 221143 221151 221141 352866 603141 539962 503510 503503 503517 518748 503524 319530 319527 503468 319538 503489 585026 518691 540127 319534 503482 518634 518710 503552 518706 540119 503538 518687 518744 503496 503475 518611 319531 600106 503559 595118 503461 319541 539954 319540 319525 540017 319529 595135 518630 518672 585159 540072 540064 565442 602677 517414 584231 502591 538257 517437 538194 502577 563634 502586 502584 517433 502593 502598 502600 517418 563762 594654 545234 522259 545187 506126 587810 506161 506112 506140 545124 522282 570802 570818 506133 506119 522225 506154 522278 522202 522240 522244 522221 545179 506168 596510 545242 546554 506842 523190 604415 603951 604765 602542 320433 320435 320436 320432 320431 506849 506882 572274 506868 523247 506875 546617 523228 546672 506854 523213 546609 523251 523209 599893 602577 603969 604551 114187 114177 114186 235622 235615 114179 235619 114184 235625 114182 114178 235624 235623 114185 235620 114180 235618 235626 235627 235617 114175 114183 114181 114176 235621 235616 114188 604535 235600 40485 40501 195117 40533 235604 195118 195121 40613 195124 195119 235599 195120 235601 40517 235603 235602 40549 235598 235605 40581 40597 195125 195123 235609 235606 235611 235612 235608 235613 235614 235610 235607 114194 114193 114169 235635 235630 114168 114197 114173 235628 114192 114195 235636 114191 235632 235633 114167 235634 235629 235631 114171 114172 114190 114189 221223 221231 221227 61523 61519 221216 61515 221224 61518 221226 221228 221232 221230 61522 61517 221222 221219 221220 221215 221221 61511 221218 221217 221225 61513 61514 221229 221233 221234 61516 61521 221177 565 221161 221180 221172 562 221184 221182 221165 221181 142407 221187 642 141851 141852 141853 594 141855 597 142403 658 221192 221176 221178 142409 221171 142405 221190 221168 221163 581 221189 221193 221174 613 141856 578 141857 221169 221179 221186 221173 645 221185 221188 629 661 221167 142408 221183 221164 221170 221175 626 142406 142404 221162 221166 221191 508970 508968 526101 508975 576530 550797 590843 232266 232265 232258 232255 232254 232259 232263 232251 232253 232267 232268 232262 232260 232264 232257 232256 232261 232252 232248 232246 232249 232247 232250 232271 232272 232269 232270 332258 332259 332263 332271 332262 332266 332267 332269 332272 332261 332264 332273 332268 332260 332265 332270 236581 236585 352321 236580 236587 352322 116800 116798 352323 352324 352318 116804 236582 116803 352320 116801 116799 352317 116802 352319 236586 236584 116797 236583 352499 332277 332276 332275 116805 117531 352329 236588 236592 116806 116796 352327 116807 352326 41474 236591 116809 236589 352325 352316 236590 352333 116813 236595 236594 236596 236579 116811 352331 236593 352315 116795 199226 600589 237938 311905 237939 237937 311911 311913 311912 311910 311354 311909 237940 237943 311906 311358 237941 311355 311361 311360 311356 237946 237944 311914 237945 311907 237942 311908 311362 311359 311353 311357 311919 311920 311917 311921 237952 237947 237953 311915 237948 237950 311918 237951 311916 237949 235558 235562 235566 235564 235565 235563 235560 235557 235561 235559 235556 235553 235554 235552 235555 235549 235551 235550 39698 311365 311364 311363 311368 311367 311366 230005 230004 229987 230002 229989 229994 229992 229995 229999 229993 229998 230001 230000 230003 229996 229991 229988 229990 229986 229997 230009 230007 230006 230008 230014 230010 230015 230011 230012 230013 537204 537267 516905 516768 502199 516753 502122 502213 516749 516943 502234 502248 516791 537322 537534 562626 502115 516939 502220 502108 537259 502136 537487 516730 502241 516901 502087 516958 502206 502080 502094 502227 562962 516787 516810 210 130 142571 142555 338 194 142565 142566 142572 332257 66 142560 142559 142562 142568 142557 162 146 258 50 114 142573 178 142556 242 322 274 142553 82 142554 142563 306 98 226 142561 142558 34 142564 142569 142567 297145 297165 297167 297151 297163 297169 297161 297164 297166 297152 297146 297168 297150 297149 297162 297147 297148 448361 517338 563522 502528 502530 502521 538084 517342 603371 508639 525660 550192 525679 591058 508660 508667 508674 508646 577074 575842 598151 525622 525645 509276 526553 509297 526515 526557 525641 551402 551457 526538 550129 597786 509290 551394 551339 577090 550074 526534 597803 526519 509311 550137 575730 575858 601515 526496 509304 590495 590362 509283 525683 509318 508632 514815 514811 500666 500659 500661 563650 502542 502537 538139 502549 538147 517380 502535 502544 517357 517361 604301 604783 508942 576418 508954 526082 550742 508963 508940 508933 526059 526040 526063 550679 508961 508956 508947 526044 590710 601498 597902 526078 550734 576402 601631 598035 229955 229956 229954 605042 225539 157275 271539 271538 11858 11874 118266 337593 227931 227930 157274 272274 337595 157273 272273 337594 227929 271537 77085 225542 225548 225566 337813 225562 270618 225545 225550 270619 340356 270617 225564 225541 225568 225567 337812 225552 83860 225546 225555 77083 225572 225563 225558 77084 225561 225560 225551 489914 225540 225571 225544 225569 225547 225557 225553 225543 272275 352867 604923 272089 514488 602194 514340 533739 514431 514507 533802 514454 514450 533857 559506 514545 514583 582010 514568 534179 559618 225556 353233 225554 199409 203089 337811 225565 118267 11890 225559 225538 237695 225549 225570 240166 320955 319301 240169 320951 319282 320947 320943 320954 320940 320953 240158 240167 240172 240164 319293 319281 319283 240159 240162 320950 240168 240165 320956 320938 320937 319285 320949 320957 320939 240157 320948 240175 319295 240173 240178 319297 240176 240174 320946 240179 240180 240181 319299 319298 240163 319287 319296 319286 319289 319291 240161 320941 320952 240160 320942 320944 240171 240170 320945 319288 319294 240177 319300 319278 319279 319277 319280 174754 174753 23701 23733 174755 174756 23749 23717 23714 23730 23746 175123 344404 344402 175122 175121 344403 344401 175124 23698 240713 61603 352497 61606 161321 61595 199225 61594 339985 449649 162977 61605 198489 116794 339065 364825 61612 61611 81834 352865 449833 61599 61609 61598 61613 407145 61607 61604 61600 61601 61597 14818 61608 61602 199227 61596 41490 197754 352313 197753 352314 60895 61444 449834 449835 339618 61443 61449 61447 60897 61448 61445 60891 60893 60896 60892 61446 240729 240733 129414 240730 240725 240727 240731 240718 240717 240723 240719 240726 240709 240711 494176 320770 320753 320750 320752 320749 320758 320757 320751 320754 320755 320756 320759 320769 320771 320765 320768 320767 551504 591174 509341 526648 526595 526591 526610 551449 268002 551559 509334 268008 577314 551567 268001 268005 268007 526572 509383 509348 577186 526652 551512 509390 268009 509362 228482 228481 202537 353969 44418 23906 229967 229971 23954 229957 229958 229961 229970 23810 23874 229963 229966 23794 23858 229969 23986 23922 23890 229962 229964 229968 23970 23842 229959 229965 23762 23778 23826 229960 23957 174767 23813 174759 174768 23989 174766 174758 23925 23797 23877 23861 174763 174765 23845 174761 174760 174762 174757 23781 174769 174770 23941 23909 174764 23765 23893 23973 23829 174771 271687 270768 505533 546169 272250 228096 271699 271686 271694 521218 270781 272246 270784 502145 228084 228087 228086 507465 272235 505463 272236 505449 271683 505519 505470 505505 271684 271679 271682 272231 270767 271681 270771 228075 272244 507388 228080 271692 228076 272240 272241 507472 507402 507444 271690 270766 507332 521294 547434 523817 523798 272247 272249 270776 271698 505358 272439 272232 272239 505498 507409 228077 270764 505526 228074 270763 272233 505540 272237 228083 270772 271685 228081 507458 505477 270770 270761 271691 270759 507416 507437 228078 270760 507395 272234 272242 507318 507290 271701 272435 272252 272436 523859 521195 507325 270765 228072 505484 505491 271680 228071 507430 228079 271689 270769 507367 270773 505393 271696 228082 507451 505512 507423 270780 272437 507304 271703 270783 521176 272441 272257 573042 505407 228095 272245 228094 271695 521199 505414 507374 543639 228092 505400 270782 270777 507346 507360 272253 272254 522943 228097 506660 507311 270775 272255 505428 505386 505379 505456 270762 569250 588970 523840 505435 506646 271705 543702 505372 546232 507339 271693 272251 228090 228091 270778 505442 505421 571826 228085 507353 228089 272248 272440 502152 272243 228093 505365 597107 547497 502138 228088 271697 270774 270779 522924 270785 228073 272238 507381 271688 520321 504777 228637 520397 568242 520530 504868 520359 228627 504847 228643 520302 228628 520534 586534 542704 542492 520344 504882 504714 228625 504721 504854 504742 504770 228624 542429 504875 520420 228634 520477 542767 586302 542484 84946 520553 520473 520515 228647 568226 542712 567890 228629 496554 520492 542649 228632 520401 586551 504805 228623 228633 228644 504896 542594 340522 504735 504840 542437 568114 228631 228641 504784 504728 542657 84026 228638 520458 586435 520454 520435 542547 520416 504791 595831 228640 520511 520378 228648 504756 542374 520439 568018 568002 504826 504819 520496 600454 542602 228630 228639 504812 504861 504798 228645 228646 520549 228649 228626 228636 595814 586418 520340 504889 542539 568130 568354 228642 228635 504833 520325 595698 582027 514602 559490 599294 533904 514526 534077 534187 514625 534124 534069 593627 514393 514492 533912 581894 533959 593494 533794 514317 514336 581778 559266 559170 533967 593511 514564 534132 514644 514621 559282 514374 559378 514355 514530 559154 514469 534022 581911 533747 534014 514397 559394 231793 231063 231060 231619 231067 99323 231068 231435 231066 97844 603721 231799 98771 231061 97843 97846 231065 231062 97845 231794 98404 96379 231434 231798 231064 231059 97667 231796 95827 231795 97848 98956 231797 99507 97849 231801 96930 228672 271362 83495 228308 271361 17850 273751 273757 522415 522411 325092 325091 506268 83500 398685 273753 228303 228306 522430 228675 167397 273752 273750 273754 273756 506282 522434 273755 325090 228305 271363 228307 228302 83498 228673 324533 83496 341461 228676 83501 603041 503111 518140 539239 524140 564770 507542 547929 271917 600804 596529 325085 545509 506296 522468 271364 228304 325089 506275 545462 506261 325093 325098 522392 325097 325099 325095 228309 83499 545454 83494 228670 83497 228674 241194 324547 539129 241183 518102 324538 324536 325276 325275 325279 325266 325272 241178 325270 325271 324530 325265 325268 241180 325277 325267 325281 518079 324535 518064 518060 539184 503055 539192 503069 241185 324537 241190 324545 594886 503034 241195 241187 539074 564658 539137 241189 324543 503041 518041 518045 324539 503048 324540 241188 241191 324541 324544 584695 324546 241192 241193 518022 571026 228301 228671 325096 545399 506254 324534 503083 564642 503062 503076 241182 241186 518083 241184 241181 500675 500654 534399 500645 534454 514834 559826 559842 534462 500673 514796 514792 500652 593610 582126 505169 505174 505176 505167 520933 505183 520952 520929 543317 543309 505181 596063 568914 586899 604567 602445 590263 508380 597670 508431 525360 508429 549697 508396 549642 590130 575410 508436 508438 549689 597687 508408 508415 525356 525303 575282 549579 575298 603240 601401 525341 525337 508417 508422 508403 525299 508410 525280 508424 525318 508401 508394 525322 508387 549634 508389 594555 583999 501044 560626 535169 515324 499119 556690 499112 531437 512721 531374 499126 512725 512702 603855 320764 320763 320761 240715 240721 240728 240732 356654 240720 240714 240722 128494 240710 240724 240716 240712 235548 235547 235546 523532 523517 507101 507087 507106 547049 523551 507085 507092 507094 572706 588871 572722 523555 547112 523513 596974 507108 523536 507078 547057 507071 507099 507080 517395 502570 517399 502563 538202 502572 502565 517376 502556 504469 504483 504511 567554 541887 520017 504532 504474 567458 504504 504518 595715 504460 586203 504476 520036 504530 504502 519983 567442 519964 504509 586070 520040 567570 504467 520055 504516 504488 519998 504497 520002 542052 541879 520021 541997 504453 519979 519941 541934 504481 541989 520059 504523 504462 519960 504495 504446 504490 541942 114136 235577 235578 235571 235574 235573 235572 235569 235570 235568 235567 114138 235576 114137 114139 114135 235575 39650 601034 596295 587479 39682 39714 604205 232242 232245 232244 232243 232241 232239 232240 232238 232237 30882 30850 30818 232236 30802 30898 30770 183107 232234 183109 347058 347054 183108 347049 30786 30834 183106 183111 347055 183112 30866 347053 347052 347051 183110 347056 183105 232235 347050 183114 30914 347057 183113 114133 114131 114132 171156 602793 603955 114122 114127 114125 114118 114126 114120 114123 114119 114124 114121 114117 225815 225810 262980 262983 262978 225813 262972 225808 225806 225807 262975 262974 225804 262976 225805 262973 262977 225811 262979 225812 225809 262981 225814 261505 261504 261499 261503 261507 261508 261509 261501 261502 261506 261511 261510 262967 225803 262971 225800 262969 262970 225802 225799 225801 262968 114115 261495 261863 261497 261498 261866 261865 114113 114114 114111 241266 241261 325906 325901 325899 241262 325900 241263 241260 323879 241264 325907 323882 323883 323880 325903 325904 323881 323875 323878 323877 241265 325905 241259 241267 324799 324796 324800 324795 324797 324798 324801 324803 602443 599775 594422 594439 603820 603818 227826 22114 228935 22066 228933 228934 342644 228938 342647 228932 228937 228936 342648 90019 170973 342643 342651 342645 90018 22082 22130 170972 22050 342650 170976 170971 170975 343012 90196 405940 342649 90015 90017 90016 90013 352402 236664 116882 352399 352403 352396 236661 236660 236662 236666 236663 352397 352400 352395 116883 236665 352401 271359 588059 325086 571154 241177 241179 325283 506310 506303 271358 522472 522449 325269 325278 325273 325087 545517 584678 271365 325274 416907 271915 87361 86995 86989 325082 86990 340918 87357 228123 228121 228117 87365 84237 84236 87363 228125 228124 228116 84229 86814 86993 228119 84232 228122 86991 490313 86262 84231 87358 87360 86994 87359 84235 86997 86996 228118 325083 84230 84234 84233 228120 604907 604219 603159 604533 262056 262051 262052 262053 262054 262057 262055 262059 238505 238504 238501 238500 238503 238502 238499 194515 310435 351099 351100 310437 310436 351101 194513 351097 310433 194517 353690 121298 493372 120378 61494 61500 61491 61495 61497 61489 61492 61487 61488 61490 61493 61503 61498 61501 61496 61499 332699 142811 1202 1234 1170 332701 142809 332697 142813 332700 1218 142812 547104 523574 507113 507038 507036 507029 523460 507045 523456 507043 572594 572610 546939 547002 523479 588738 509047 509045 526158 509024 576514 509038 509061 509040 550852 526173 526135 526192 509059 509031 526154 550962 509052 590826 509054 509019 526215 576642 550844 550907 509026 509010 509017 526177 576626 509003 526196 550899 526139 509033 521807 505820 505825 544582 544574 505827 570130 521784 521826 570146 544519 505804 505811 505813 521803 505818 505797 521788 587462 604750 604419 604435 499532 500204 499553 513291 499504 248586 250241 532199 513253 499560 557602 513276 250246 248585 222463 250248 500176 532144 499511 513234 222462 499546 513310 222457 222460 250242 500169 250247 580966 222459 514146 499518 250244 222464 250249 499539 250245 222458 514150 222465 500197 513257 248590 513272 557474 499525 250243 248589 557586 513295 532262 514184 222461 532207 532254 513314 514188 580983 513352 559042 248548 500493 532427 599311 222440 557826 533464 557938 499595 514169 248569 558946 558274 248582 499793 514165 222438 499786 500260 500309 250227 500274 500190 532584 514241 532317 222450 557810 222412 514264 513561 250221 248543 500302 558818 513747 500281 222444 248592 513557 500521 500393 222435 222418 250237 499602 532309 500479 499763 499630 499779 513519 532749 500430 557698 248546 514302 500330 514260 250206 499574 248544 514222 248581 222449 222422 499658 532694 513481 593146 222448 558034 222421 500351 533629 532859 500239 513500 513390 250234 532364 222443 500465 248584 532372 222416 532529 499856 513709 532867 222436 222432 513428 250199 513713 250200 602211 500246 499637 581314 532647 533472 248547 513690 514245 222417 250228 514279 250218 513348 250213 250225 513443 250212 222455 248573 513538 248550 499665 500211 222454 222446 532474 532757 248565 500407 500323 222433 250230 250219 500472 513766 173466 343481 343484 222423 513447 581331 533692 499644 513618 514203 500218 514473 500528 248545 499800 250208 581662 222437 248574 499749 499877 500458 248591 499814 499728 248588 222415 533637 250205 599195 513371 250235 499609 500358 499623 500288 250011 593030 343482 248570 222414 514549 248576 500148 173465 249459 249458 173467 499870 599062 248555 513614 248568 581198 533574 500162 513523 532804 222442 250233 250220 250238 248538 500451 500535 513405 250236 514207 222434 248580 222410 500414 250224 222447 513466 248567 513728 514298 559058 514127 500155 513599 513485 250232 500486 248549 248577 250229 222413 499772 250215 173468 343483 222429 248571 250195 513424 222428 248583 248575 500344 250223 222452 248563 593163 500225 222451 532482 222431 250217 499742 513770 513656 222427 499679 533582 593279 222426 513333 500386 222441 499686 222453 248578 514226 250197 513576 513652 533684 222409 558146 499849 249457 250012 250009 499707 514283 581795 248556 532419 513409 499721 514359 499714 514587 222420 499735 250201 222445 513386 222411 499588 513595 513367 248541 500400 222456 557922 513580 514108 500444 558050 248553 532914 581099 499891 533409 557714 250194 581082 248587 499884 500183 499567 248579 513637 514131 500253 581679 499898 500267 222430 248557 499807 558834 248539 248559 532537 513462 250010 532702 533519 499672 222439 532922 533527 222425 250211 248558 500514 499756 599178 499651 499700 593378 500232 532639 250216 250209 250214 499581 250207 250226 248551 248540 581215 499616 513542 222419 558162 248593 250240 250239 248564 500423 500316 532592 558930 248554 250231 500500 222424 513329 250210 249460 558258 513633 513751 250196 499842 240138 240148 18994 240139 320361 240136 320359 320368 320369 320362 240140 320366 318902 240150 318894 320363 240141 341529 167101 167097 341533 166183 320360 318891 19026 340799 318887 320373 240146 319440 318890 240143 319443 319441 318889 240144 320365 227830 227832 84494 84495 340622 340624 240147 319447 319446 319444 319439 319445 318895 240149 240135 240142 320372 319448 320371 320370 240145 318901 318897 227822 227820 227819 227818 240151 319271 18930 318903 227823 227821 319449 320375 227824 227825 318893 240137 320364 320367 318896 39749 195071 318900 318898 318899 340793 166177 604671 603839 501914 501912 583402 516502 536929 536874 583535 594306 562418 516540 501940 501933 501942 562290 516544 604067 603238 604685 601399 587481 596280 604655 262061 262063 604050 602907 517456 502605 538249 600703 602925 604553 323610 323609 323612 323611 312097 312092 312094 312093 312096 312091 312095 346499 346502 181638 181635 312089 181636 346500 181637 346497 346503 346504 181641 346505 346501 181640 181639 181633 599758 602428 599777 604935 604669 502514 502523 517319 538092 516464 516521 501879 501921 536937 516525 501928 516483 516487 501886 501891 501884 501905 536882 501893 562306 501900 536827 516445 501919 501935 501926 501877 501870 516468 536819 501898 501907 516506 604933 603853 604921 223014 223003 63674 223013 223009 223007 492064 223016 223005 223006 223004 223017 333050 223002 223008 223015 223001 223010 64594 223011 223012 222982 222974 502262 222992 222984 222997 222996 222980 222989 502283 222998 222991 222966 517034 516977 223000 222973 502276 537652 222990 563090 222983 502318 222972 537644 537589 222968 222979 222981 517019 222976 563074 222963 517053 222970 222962 222965 222961 502269 222999 583883 222964 222971 222967 502290 222978 537707 222988 222986 222969 517015 222993 222975 222985 222995 516996 222994 502304 537597 222977 222987 517000 272932 272927 272937 272933 272931 272923 272935 272928 272926 272930 272929 272936 272925 517323 502509 517300 502507 538029 502500 341546 341547 86151 341542 341541 341543 86147 341545 86150 86149 604537 241065 241067 241070 241069 54434 241068 241066 241071 241064 54418 54354 241060 241061 54386 241063 54402 241062 214012 358268 214013 54370 214014 358267 214011 214016 214015 358271 358272 358270 358269 214007 358273 214017 54450 241057 54290 241056 241059 241058 54322 358264 358263 214008 54306 214009 358265 134349 134347 134353 134352 604653 604651 323616 241737 323623 174215 174206 358036 174205 343668 343675 323626 323624 323615 343667 174207 133372 241745 343665 323618 241735 174208 323625 174203 241736 343673 323620 343671 323614 323627 323621 323613 241733 174210 323622 490578 241729 174213 241738 174218 241732 241734 241741 174211 241746 343678 323619 343682 323617 174204 343677 241743 241744 174201 241742 174214 241747 343676 174219 132452 241730 343670 343672 174209 174202 343683 174212 343679 343666 343681 343669 241731 241740 174217 241739 343674 236653 236654 236659 236656 236652 116881 42610 236651 199301 42674 39685 358456 358447 214749 214751 232166 232171 232172 232167 232170 232168 232169 604073 603027 600937 596991 523498 523475 546994 507059 507057 507050 523494 507064 601051 525128 508270 590014 597554 575074 549359 498125 229723 497896 229726 497908 229725 229724 511068 229721 229702 511049 229722 511072 529009 511053 497894 229693 498008 498006 497889 229728 497887 229177 229176 229182 229179 229175 524900 497980 229701 497978 232281 232282 232275 232279 232273 232276 232274 102013 232280 232278 102012 232283 102011 232284 232277 194516 604687 604699 39573 39605 195059 195063 39621 235538 39557 195060 39541 235543 235541 39525 195056 195055 235537 235544 39637 604673 529457 498111 529449 511376 511357 498118 498120 229657 511353 229659 498127 171155 498034 229686 229682 229681 229684 498043 229683 511243 511239 511258 529284 511262 498036 229685 529292 228924 21922 343002 343017 21938 171147 228927 343006 22018 171146 171151 22002 343009 171148 171154 343003 343005 21906 22034 90201 228923 21986 343010 171152 228930 343004 171153 228926 171150 343008 228929 21970 228928 171149 343007 21954 228925 405939 228931 171161 90011 405945 90012 22146 343011 276759 276809 229110 275117 229108 498673 229153 229171 525109 508142 530659 498722 275109 229112 229133 498762 276813 276773 275114 508296 229126 555922 275116 508053 530549 508170 508291 508247 549249 525130 229148 229143 275122 229119 549139 549194 229172 229154 229124 229166 275105 276765 229123 276805 276776 229159 275107 229136 524957 276827 549414 229138 275133 276841 498720 530722 276819 508261 229160 525056 498701 498748 275135 498671 276843 229164 555906 498708 498755 498757 229117 524828 580171 574962 508032 276837 549369 275121 275113 229135 229165 229152 549361 229131 276803 276828 275111 574850 597556 275120 275119 597573 530667 524824 512170 525052 498743 498734 229129 229116 524919 548974 276042 524843 229151 229155 497434 549304 508272 276807 508254 229122 524999 548927 512174 530557 549257 276801 498706 512136 508205 498750 525170 276823 498685 549092 549422 275129 525379 276764 276821 512212 498741 524961 229103 229132 276767 498715 229121 525166 512113 575394 275126 275106 498680 276761 276806 498699 276839 508074 229161 525147 276820 276775 525037 574834 276811 275128 530612 276766 512208 275110 276818 275127 275124 229114 525018 275125 275130 276774 229130 276763 229170 498694 275123 229111 229113 512151 276802 498729 524980 508137 508198 549752 508443 508039 229120 525094 508298 229162 276822 229109 229145 229144 508109 229128 276768 554450 229699 497973 529174 229704 529182 229705 554466 511186 511182 497985 497994 497992 497964 511167 529119 229700 229697 19010 167102 341534 498001 497999 22098 343016 90200 171158 405943 343014 405941 90197 171159 90199 405944 343015 171157 171160 90198 343013 171145 228922 343001 21890 227817 18914 167096 341528 167087 166171 18850 340784 341519 18818 18866 227808 340787 227813 227809 340788 340783 18770 18802 341522 341521 167090 227811 166167 166169 340791 18882 166168 18786 227814 18834 166173 227815 166175 340785 227816 18898 227812 166172 340790 227810 340789 167089 166174 166176 340786 340792 166170 18946 18962 18978 341532 340797 340795 166178 167098 167099 166180 166181 340794 340796 341531 167100 341530 166179 167091 167095 341523 341525 167094 341526 167093 341527 276618 514853 500694 534297 497917 276631 498631 514682 514773 500640 276626 534407 276581 93857 93856 93855 276044 276043 510426 497427 497425 134345 414209 528027 497385 497357 497369 500533 276607 276588 500477 559730 276591 276578 497336 276077 497278 497371 275140 514663 275167 510403 554578 511110 511300 497406 553234 497350 500547 276093 500612 276067 276617 527807 229716 229670 497931 500526 500626 498645 276579 276595 276577 276629 514830 500470 514739 276599 276602 500624 276576 276625 500696 276593 497299 276082 500584 276641 500332 534234 276620 276582 276645 534344 511828 276592 498636 276589 497957 500591 500638 528184 498013 498489 276028 591986 498090 229735 512037 276052 510175 510251 276027 229732 275174 511395 498559 229655 276040 498538 276105 276047 512056 275146 275175 529072 229707 229672 498477 498659 275158 554802 275164 528082 498517 528962 498622 497924 497448 534352 276575 276635 559602 500589 500540 276585 276623 276601 534289 497271 553218 510365 598714 510445 497383 510293 512098 229691 510122 276100 497376 276091 276098 276089 276101 497852 276049 275139 498020 498141 511984 276079 498664 276074 510407 275165 497418 229720 498055 229717 500374 276658 500381 276657 500318 500505 500570 276627 514701 514849 276603 276633 500617 514754 276584 500689 276612 276598 514716 500605 229690 530494 497868 497866 498552 527854 512060 497880 527909 229729 497446 497306 497399 498601 498617 511030 511870 276095 578646 276099 275138 229679 275173 498566 511106 497495 276594 497859 528137 497497 553122 510179 555794 497343 497285 500687 276608 500554 276600 276583 276615 500561 276614 276634 514697 514659 497945 498657 497901 529127 511091 276029 498099 497488 511148 229676 276030 276045 229678 276034 511277 498608 275179 511129 229673 498587 276037 511224 498545 510502 498104 229689 511832 498463 530172 276023 510198 229680 276081 276070 511015 276058 511011 511087 592235 511315 497329 497266 592003 497201 229712 229713 511338 275171 276073 497294 229675 553106 497313 592351 510479 498643 275149 579359 512075 229709 497481 530117 497467 578878 498573 229739 529347 229737 497915 497922 497952 276036 229671 578779 510521 276072 229733 276032 498083 275157 275143 497929 529229 276083 276038 555810 275151 498134 553442 579591 276031 527917 528247 229719 554674 275104 498496 510213 510270 497439 275144 275137 497936 229736 229692 500631 500680 276630 514720 500563 498531 528954 275163 275156 498624 598731 498078 276075 527862 275169 510194 497854 229711 554242 275152 554338 511281 275153 275154 498076 276090 497252 275103 554786 514777 276624 498139 511334 229665 552994 229731 497873 510483 500598 514758 276613 276610 514735 276587 500568 276616 500610 500577 500603 276622 276619 500519 528899 579226 498482 511319 275147 498594 497959 512018 497334 554690 229669 497943 578895 276057 497280 276055 580038 275161 275148 511201 554226 275160 512079 498503 512094 510996 276071 229668 495996 498666 497861 511125 275145 497950 511965 579458 498097 510992 275141 275168 275155 276102 275178 497322 276062 229706 497287 528074 598615 497413 512041 497845 229688 229730 498456 498022 276046 510384 510274 601979 229677 579475 88980 229734 498015 498470 276086 549147 275115 497243 527752 527744 498132 497411 554354 229106 229708 528192 229104 275142 582143 500582 500484 500633 514640 500498 559714 500575 534517 276611 276606 276605 534242 514678 276621 276609 500549 276628 514606 500556 500512 500596 276597 498727 497441 497364 229107 529339 589898 276061 276832 524847 508282 574626 229718 497264 276078 276094 276076 524881 276063 276804 512189 498692 549037 510236 229658 556034 341980 229661 276035 497453 508184 497397 508046 508088 524942 229141 276815 530604 589915 229656 276829 275136 229674 229178 508177 508240 524805 510308 229173 498085 497903 498092 498678 229156 498764 510464 276041 497420 498510 497259 276107 276025 276092 497250 575091 549312 276060 525090 276087 525033 276814 229174 276051 525071 524995 510255 497341 512117 229150 229169 574722 527972 276064 276836 276039 275172 229663 88060 275150 229687 276104 229660 555474 275177 508373 276638 500428 500421 276650 500311 276642 276783 276795 601417 508347 508354 276770 276769 525284 508359 508331 276649 508361 276786 276780 500456 525261 553346 229163 498615 508275 229142 510289 229146 276810 276826 229168 498687 276097 525075 229127 525113 508130 276830 229149 510346 510312 525185 508338 276790 524862 275134 590033 497378 497390 530109 508060 548982 549202 497362 510350 497308 275170 524904 229186 529237 498050 548919 276033 527964 275131 276084 574610 510369 511847 229694 498106 497476 229187 530439 498652 229695 530502 229664 512155 592334 276808 276054 590016 510388 497355 276834 508233 229184 497348 229140 276835 529394 229662 498027 553570 553458 549084 508102 275112 497320 276050 229698 497882 511296 497292 497455 578762 508289 512231 527799 276068 508226 276840 229714 530447 554562 511034 276069 510327 276817 276066 276816 229158 528019 508116 529512 510441 276812 508081 229139 508284 276831 276056 229134 508149 229157 508123 229118 497462 511220 229703 512227 498650 229125 497938 497474 511809 553330 229738 229137 508095 525151 497327 276053 497315 276842 498629 276825 510217 276085 276789 508317 525227 276800 508345 276788 500416 508310 525242 549469 597438 276643 514416 276651 500442 514378 276646 511889 498062 512193 497404 229710 592218 525014 574738 276048 511163 497966 579342 498057 497987 275159 511144 229105 529402 229715 276762 498580 276024 497469 497257 276103 276833 575076 508156 529064 508219 574946 528129 510460 497483 512132 498113 510331 275166 510422 497432 229666 229115 498069 497971 498638 498071 276026 510498 497490 497460 498048 275132 508305 575170 276772 549587 276797 276785 508352 525204 549477 276796 511372 498524 229696 229181 497910 229180 524976 500388 500402 276648 500304 276639 276654 276799 276777 590147 525223 498713 524938 498041 275162 511851 276059 525134 500339 276793 508312 508375 589782 276771 508366 508319 276779 508303 525189 276784 276824 229167 508277 514435 276655 500346 533849 276652 276659 276637 500449 276653 500360 500353 525246 508324 549532 276798 276781 601266 549524 575186 525208 508340 500395 514412 276647 500367 525265 276787 276791 508191 510232 229727 511205 229667 529017 549029 508163 229185 524885 229147 508212 497392 524923 276065 229183 604052 600572 596065 42642 352938 352940 241072 340625 227828 84493 195057 116880 236655 195058 195064 86153 86152 341539 42626 199302 195062 199297 39701 227833 340623 227829 340621 352942 235536 116879 116877 214745 358455 39669 195066 195068 236658 340620 195061 214747 214746 358453 54338 235539 358451 235542 236657 235545 352941 341544 39717 358454 84492 199299 42658 199298 42690 227831 199300 134350 116876 134351 352937 214752 235540 214750 195069 358450 39493 195065 39653 358449 39589 236650 214743 116875 39509 352939 195067 84497 227827 84491 84496 340619 604089 602911 602894 600707 602927 604101 604683 603971 134348 604103 399785 352507 117538 352505 352502 117537 352510 352506 117541 117536 352508 352513 352501 117544 117540 117533 352504 352509 117532 352512 117548 117547 117539 117542 117535 352514 352517 117534 352503 117543 352515 395185 117545 352516 117546 352511 117549 352500 235124 235121 298591 298603 298586 24021 344408 344410 344406 344412 235114 344418 175127 344405 344407 175139 344419 174773 298596 298600 344420 298588 298594 298587 108166 298597 298598 235123 235119 235112 109086 344421 235118 229973 175140 229972 24002 235109 235105 344417 449651 235125 235117 235111 344415 175128 235106 235107 235115 235116 349206 298592 298589 235113 24018 235108 175141 298585 490646 298599 298593 298602 298595 235122 344414 298605 235110 298601 298590 175132 175125 175134 175130 175138 175129 175126 175135 344411 344413 175133 344409 175137 235120 175131 229977 229983 229980 229978 229982 229979 229974 229981 229985 229984 229976 229975 604518 604516 227747 227746 345881 86069 98216 98217 345878 345879 177513 324531 271911 98215 341089 231058 344953 345880 166841 341459 26658 271910 86067 98214 271913 324529 271912 231800 97847 17778 227748 325081 262807 604166 31045 30997 182939 31029 182933 30965 182938 182935 30981 182937 31061 182936 182934 31013 341535 167103 503949 503937 519257 503935 519261 540952 519299 519276 503970 519295 566434 503956 503963 595350 503942 540897 566450 519238 585490 540889 503928 595367 566322 519280 503944 600222 540834 585623 503951 604909 298645 174786 174791 174811 174805 174809 174807 24453 174803 24645 24421 298631 24469 298629 174785 298643 174808 24565 24437 24229 298634 24277 24261 298633 174788 298625 298621 24597 24213 174794 298641 298640 298630 24373 298623 298618 174800 24293 174790 24485 298626 298644 174793 174789 298642 24357 24581 174813 24309 174795 298627 24341 24405 298622 24661 24629 298617 174797 298637 298619 174798 174810 298632 174812 298639 174799 24245 24533 174787 174801 24613 298620 174802 24501 298635 583750 310449 310444 310442 310439 310447 310448 310446 310445 310441 310440 310443 311369 262809 602658 583785 516850 502182 594441 562868 537442 537379 562852 537371 516873 594424 516846 502168 516869 502175 537434 583769 599760 516865 562883 599644 594209 130019 240964 240947 240970 240944 240952 240945 130018 240954 130017 240950 240961 240967 240971 240968 240958 240963 240972 130015 130014 240957 240966 240959 240962 240946 240953 240942 240943 240948 130021 240949 240955 240969 240965 230325 95085 91773 95086 91774 95087 91775 91776 95088 91777 95097 95094 230331 95091 230333 95092 230332 91784 95465 230337 95096 91780 230334 92333 95461 92326 92331 95467 91782 230338 91785 91781 91786 230336 95460 95463 92325 92337 92328 92334 95462 92338 92330 95466 95454 95456 92327 95455 92335 95458 92332 95459 91783 95095 230335 91779 95090 95093 250028 249476 249475 249477 343501 250029 343500 240956 130016 130013 240951 240960 604581 604569 603857 604945 604746 604937 605012 602463 340627 101997 101994 101993 101995 101996 101989 101991 101987 101992 101990 438881 352601 42834 117620 340817 117635 42786 117618 236679 236678 42882 236676 352595 197841 117623 42866 117628 197835 352593 117621 352588 236673 236682 42770 438883 198578 197842 236670 352603 197836 42850 117624 352599 236680 236672 352594 197843 236667 117637 352587 352604 117619 352585 352586 236683 236684 352605 197840 198577 42802 352590 117626 117636 117629 117617 352600 352597 117627 117632 352592 117631 236668 236674 352591 236677 352589 236671 236669 352602 117634 42898 117622 236681 352596 352598 438882 236675 197837 197839 117633 117630 117625 101437 346706 101422 346700 346703 346702 101429 346694 346704 346697 101421 346701 101432 101426 346698 101431 346712 346711 346715 101435 346708 341553 101428 346699 346714 101433 346710 101441 346707 346695 341552 101445 346713 101438 101425 101439 101434 101443 346717 101436 101440 341550 341549 341551 346705 346709 346693 101423 101427 101430 101442 85782 85779 85780 85781 85783 238489 238490 238493 238492 238491 388265 134530 134531 358826 358829 358828 134532 358827 358825 134529 134533 238496 238494 134535 238495 358831 238497 602447 603869 604947 604925 85784 173482 343485 250019 173481 343498 173483 249468 250027 343486 249462 250022 343487 250024 173477 173474 250013 23938 173485 250021 343494 250020 250014 343495 249471 249465 250026 250025 173469 343496 173470 343491 249473 249464 249470 250017 343499 173475 173476 343492 173471 173480 250015 343490 249474 249467 173478 250023 173479 173472 249463 250016 343489 343497 250018 343488 249461 343493 173484 249469 249466 173473 95100 230339 91787 91772 91788 230340 95452 92339 91771 344435 175169 173504 173509 344434 343508 173507 173499 249482 24258 175177 24178 173490 175159 24098 343509 250047 344437 250064 24306 173502 173494 175143 175151 249494 173505 250059 249506 250037 343519 249490 344431 343523 175149 175158 173513 24082 249493 343518 24194 249512 173487 344429 175150 249479 343520 175168 24274 344430 344445 173520 175147 175144 24482 173486 250057 343505 343506 250034 173501 343502 250065 344428 250032 249497 249486 250055 175170 250040 249505 24434 250051 175165 250048 24114 250033 24386 175155 250042 175167 344433 249511 173518 343535 343511 24562 175161 249513 249502 24370 173519 343530 343525 344423 24034 249495 344426 24050 173514 175145 344444 344439 24210 249504 24546 344447 24130 343531 343537 343513 175172 250038 173498 249496 250056 250035 24146 250030 173516 344450 250054 173492 250052 173506 249483 249503 344453 249484 343527 343526 173512 249498 173496 249510 344443 249487 250050 249485 344427 173497 250049 344451 343521 343512 344442 24450 175166 249500 250058 343536 175164 343529 24466 24418 24354 173517 344425 344438 249480 24594 343510 175171 173508 250036 173488 173493 250031 250062 344456 344452 249501 24322 344457 24290 24242 343516 343504 24530 173503 343534 249509 249508 173489 249499 343514 343522 175153 175163 24162 344440 173515 173521 175174 175160 250046 175148 343517 344424 249491 175146 249481 344446 344449 250053 173510 250041 173500 249489 24578 24498 24226 343533 249507 250061 343532 24402 175162 175154 250043 344455 343524 250044 24338 173495 250060 343515 175175 344441 173511 24066 250045 173491 343528 344448 175173 24514 343507 250039 343503 175176 175157 344454 250063 272399 272401 340616 84488 340615 84487 340617 340609 340613 340612 340610 340611 165441 165444 165445 84484 84485 84483 84482 165442 231139 231150 27810 345946 97380 97370 97383 231134 345227 345228 345949 231144 231145 345217 345947 345215 179244 231143 97367 97368 345229 345219 231135 97369 231130 345945 345231 179245 345948 345222 97375 345224 97371 231141 231147 345225 345226 231140 231149 345216 179243 345223 231132 97378 27826 345218 231131 231142 231136 231133 97377 231146 345220 97372 27842 27858 27874 179241 97374 231148 97373 231137 97376 97379 97381 231138 179242 345221 537992 537929 563443 583984 594540 198491 599909 537921 563412 517230 502455 537984 517249 438795 517253 584001 594557 502448 517226 563428 603043 417091 250203 248537 478721 209478 52474 601169 601152 597225 603143 390295 19058 165443 352943 42706 199303 195081 39925 39813 195087 39861 39845 195079 39893 39877 195080 195078 195077 39957 40005 195085 39973 39989 195086 195082 195075 195084 195083 39941 39909 340801 166185 340802 166186 19074 84489 84481 238498 193786 39794 350922 193777 350913 39778 350921 193785 350917 193780 193779 193778 39666 193784 39762 350916 350919 350920 350914 350915 39746 193781 193783 39730 350918 193782 602461 262047 134536 358832 262048 134537 358833 85223 93623 94730 94729 93625 230521 94726 230519 230520 230517 93627 94725 94724 93626 93619 93622 94727 94728 93620 94723 230522 230515 93621 122153 122147 122159 122154 122143 122160 122157 122144 122155 122146 122161 122145 122158 250193 232195 232183 232187 232181 232177 232176 232192 232180 232189 232179 232178 232185 232184 232191 232196 232190 232193 232182 232194 232186 232188 594325 583421 594341 599793 182951 31253 182952 31269 95083 95451 230322 262049 31317 182944 31125 182950 182956 31189 31237 182949 31285 31301 31141 182943 31349 182957 31109 182954 182947 31333 182955 31157 182942 31093 182953 182945 31221 182941 604667 603122 604168 603719 602430 599795 604697 232175 233096 233097 102823 99697 103375 101719 232727 101169 102824 232729 102825 101167 232728 99696 233095 101721 102826 103377 99695 101720 122149 122152 122151 122150 235487 114077 235508 235505 114052 114064 114054 235479 235514 235493 235495 235477 114068 235498 235478 114074 235515 235481 114065 38498 235485 114075 235504 114056 235502 114051 114062 235503 235490 235501 114063 235484 235499 235507 114070 235513 114055 114069 114059 235511 235475 114053 235494 114073 235476 114057 235500 114067 235486 235474 114060 114072 114048 235509 235491 114049 114050 114066 235480 235483 235492 114058 193705 235506 235510 114047 235496 235489 235488 235512 114061 235497 350841 235516 114071 235482 590861 590845 598053 604317 603373 603356 601649 576532 88785 90622 89524 90632 88791 89518 89520 88789 90626 229914 88237 88230 88790 88782 89530 88788 229909 89526 89517 89519 88231 88781 90625 90628 90621 90629 229917 89529 90633 88239 90623 229918 88783 88793 89523 90634 90627 229921 89525 90635 89522 89521 90631 88792 95703 98829 95706 231682 95705 97726 231678 97174 99381 99386 231683 97180 98832 231681 97729 97727 97731 232050 99388 95707 232049 95701 99384 95702 99387 99383 231677 98833 98834 97178 98831 232051 95708 98835 98836 232047 231684 97732 97179 97177 97730 99389 232048 232046 98830 99382 232045 231679 99385 97728 97725 95704 231680 97173 97175 97176 92324 99690 101718 101160 102819 232721 233090 232723 232725 103370 233086 233091 103373 233094 101716 101165 99691 102816 232722 99692 232724 232726 101717 99686 232720 101163 101166 99694 101162 99687 99689 99688 233092 102818 103368 101161 232719 102821 102817 233089 101712 233093 101714 99693 232718 101713 103369 101159 102820 102815 103371 103374 233087 101715 101164 101711 103367 103372 233088 228380 228383 85049 86700 85597 85045 85044 228384 85599 86703 86702 228381 85046 86701 85598 85047 228382 85048 86704 85600 232201 101904 101903 101920 101919 101929 232199 101921 101906 101931 101924 101905 101915 101910 101933 101911 101913 101930 101907 232203 101927 232202 232197 101932 101926 232204 101909 232198 232200 101918 101917 101923 101925 232163 347011 232164 183033 102093 347003 112785 347006 350885 112789 346995 112788 350882 346992 350880 29618 350879 102097 347012 102094 102099 102101 112784 347002 350881 232165 232162 102104 102102 102105 112786 347009 112783 102109 102096 347013 346999 232173 346991 350884 101538 347007 347005 346997 112787 347010 346994 102092 347001 102089 346993 346977 232174 347008 347000 102100 102098 102095 102090 346996 102088 101999 102000 102001 31026 347065 183121 102103 102106 102087 102107 347004 102091 350883 102108 346998 101922 254609 221561 141817 203273 331889 354337 276689 252953 135269 85601 86705 228386 86706 83583 241616 135816 133611 134163 132141 134165 135271 134166 133615 241614 241982 132135 132139 241619 135823 241624 135268 241618 135824 134167 241986 241991 132138 228387 85051 85603 228385 85607 134162 241622 132137 86708 228392 86711 85055 228391 132136 135263 135815 135822 135821 133613 135819 241620 241621 241623 241615 135265 135817 241617 134161 85053 86712 228389 85605 85606 86709 228388 85604 86707 103416 101208 101209 232768 102879 102862 103413 233134 102866 101756 102861 232764 232773 101769 233137 232770 102859 233150 102872 99749 99733 99743 232765 103414 232782 102875 101771 232777 101211 101759 101773 101767 99741 102869 101206 101755 101776 233151 102863 103415 101758 99739 103430 232775 101217 99753 102855 102853 102856 101201 103395 101186 103394 102842 99715 233114 69368 69369 69364 68818 70476 223745 255940 105980 233308 67342 67341 223926 70842 71031 67522 70843 67526 68075 71208 71020 223931 223749 223751 224294 70844 67523 69365 68074 71215 71207 67340 67535 67533 105982 105979 69366 70474 223923 491985 224292 68813 223746 223742 223747 68085 70479 224293 224295 223929 70478 223934 71024 69371 223930 71213 224299 224290 70477 71025 67350 67343 67529 68076 224296 67525 71027 71028 67530 71211 67338 255941 70112 70465 69361 71017 223921 71201 67521 68073 67337 224289 67349 71203 68080 68077 70471 69367 70473 71030 223928 224300 71029 223750 223925 69372 223748 223740 67524 68814 71204 69370 70847 67348 67344 69373 70469 68081 233307 223741 70467 71206 71214 69363 223744 68084 335072 233309 68819 67528 224291 67351 224297 68820 223743 71019 224302 71210 70664 67527 70846 70845 255939 71018 67339 69375 224298 223927 67534 70470 71205 70475 68823 67345 68086 70466 70468 68812 67346 68817 255937 253729 223737 223933 71021 69362 68083 67532 68087 69374 67347 68815 70472 223924 223738 223932 224301 71023 223739 68821 68822 67531 223922 71202 105981 68079 70841 255942 71209 223935 71212 233306 95313 93658 93638 94746 230535 93088 93641 93662 230558 94757 91628 95302 93103 93645 230542 93650 93090 230540 93639 94748 94747 93091 93642 95299 93643 94745 95312 93105 230553 93656 93657 230559 93663 94767 93653 230549 93654 94744 93092 95298 91623 95303 230544 91622 93098 94749 95304 94751 93647 93659 230552 230560 94768 93664 94762 94761 93640 93094 230541 94753 230543 93096 93652 91630 94764 91627 95309 230556 230550 95308 230546 93095 94752 95301 95305 230545 230548 91629 93099 94758 95310 93649 93093 230554 230551 95311 94754 93655 94760 94755 95307 93651 91621 93097 94765 230557 93089 94743 94759 93104 94742 95306 93661 230555 230534 94763 101744 102844 233120 101185 103385 232753 99716 101184 103383 102832 101170 101181 103393 233115 101726 232734 102835 232733 101735 233116 233100 232739 102837 103380 99719 101746 101725 233111 101179 99700 99702 232736 101736 102847 102841 233117 101733 68811 6572 6576 33218 93634 94738 230530 93633 230529 94739 94741 93635 94740 93637 237147 119571 119572 117916 237148 119019 117917 83750 228200 84297 228194 84312 83752 87434 228187 83762 87443 228190 87057 83756 87061 228196 84311 87064 83749 83747 83745 84318 228186 87433 228192 83746 87435 84309 83748 87431 83751 83744 84301 228195 87073 228184 87071 87059 84305 87068 87444 83764 228204 228203 84299 87065 87442 228202 83759 228199 87439 228198 83758 87449 228207 87437 87426 87440 84300 87070 83755 84310 228206 87446 87438 83765 87077 87445 84302 228193 83753 87067 87069 87058 87447 84313 84315 84317 228188 228191 84298 87429 84303 228185 83763 87063 83754 87072 83760 87060 84307 228189 83757 228197 232755 101732 103391 101182 99703 103431 101219 101727 101723 103388 102831 99732 103412 99723 101743 101191 232759 233109 101199 233152 101216 233129 232760 233142 101765 99701 102836 103426 102874 101218 102873 102870 232772 101742 99708 233124 232762 101222 232756 101212 232767 102852 103419 103399 101738 99725 99726 102871 103429 232751 99712 233108 101753 101194 101770 232769 101183 101728 102840 232730 102829 101176 102839 102876 103422 99736 101748 103417 101200 99706 232750 101764 103387 232735 101177 103379 101214 102877 103397 103404 101189 101210 102868 101741 233126 99728 101750 101221 102830 232738 232743 103378 101173 101225 102881 103403 102838 232741 101731 103406 103427 233133 101205 101174 232761 232758 103420 232742 232747 103408 103421 101760 99734 232737 101772 233135 102865 99744 232776 103402 101223 99724 99709 102851 233128 232754 101178 232745 101197 101724 103392 101781 99759 232786 232789 99758 99757 99755 101783 101782 233155 102884 103436 103435 102885 99761 103405 102850 232766 103425 99710 99711 233112 99718 103433 101777 102848 232752 103400 101193 99721 102849 103401 232784 99752 232785 102833 101175 232740 232744 101730 101187 232793 232790 103440 232792 99760 103434 103439 232788 101780 232787 232791 102886 103438 99748 102857 99747 101768 103398 101747 233127 233118 101722 232781 233131 103411 233102 232749 232757 99745 232778 233156 101779 102887 99754 102883 102882 102889 233154 233157 102888 99756 101785 103441 103437 101202 232763 101203 103407 99742 233136 101752 233103 99737 101757 101774 103432 101751 101198 101220 233107 233104 232780 233121 101749 99722 101775 99698 101761 233113 99713 99705 101196 232783 102860 101195 233130 233132 233122 99738 232771 233110 103423 99750 232779 99746 99699 99729 99735 101737 232732 101734 101740 232748 101729 101171 99714 101739 102834 102843 103389 232746 99727 99730 99717 233099 233125 99707 99704 233101 103381 102827 101215 99751 232774 99740 233119 101213 103409 99731 102845 103382 101745 99720 102878 232731 102867 233138 103410 101763 101207 101754 115767 112087 112639 115399 235919 112641 115401 112089 235921 115769 115572 115024 236461 115022 115031 236104 115032 115582 115030 236101 115581 115029 115585 115033 115018 236090 113915 113364 115574 236462 236094 111899 236458 236464 111889 236454 115025 113928 113927 111893 113359 111895 236453 113910 113358 236085 236463 115019 236097 113917 113365 111886 115569 113366 113908 111887 113361 236456 236096 236467 115026 236102 115580 236100 115028 111900 236105 113929 115013 236084 236103 115027 236092 113357 113356 236089 115021 111897 111894 111896 236457 113919 113916 113362 115573 236459 236098 115575 115016 236465 111890 113914 111892 115568 113918 236460 115576 115567 115014 113911 236455 236087 115015 236452 236099 115579 111888 113913 236091 113909 111898 113360 115017 113367 236095 115570 115583 113912 115564 236088 236086 115565 111884 236093 115020 111885 115577 113363 115571 115023 236466 111891 99945 232609 103257 100497 103625 99786 232807 101246 101240 102894 102895 103455 103446 101256 99777 233180 232810 232817 102897 102901 99775 232806 103456 101247 102910 232814 102903 99785 101257 99784 102905 99764 103444 233166 102892 101813 232813 103463 103460 103466 99776 101241 102913 232796 233171 102899 102908 233172 99774 101260 232818 101245 103454 99771 232804 101786 102891 103449 103467 101238 99782 232797 101236 232795 103468 102912 101239 103452 103451 101787 103447 99783 103457 99767 103445 233165 233187 99778 99780 99766 233173 232812 101796 101795 101800 101799 101797 101798 102911 233179 232799 232800 99770 102900 99762 99768 99773 233181 101248 103462 101249 232811 233182 233184 232798 232805 102902 102909 103442 99787 101235 103443 233185 99765 102893 102896 103450 99772 233170 101243 233178 103459 103453 102907 101255 233176 232816 101251 232819 101237 233167 233186 232809 102904 101250 232820 103458 99763 233163 101254 99779 99788 102915 103465 103464 103461 99781 233177 232794 99769 232808 101259 233169 233162 101253 232815 230528 94736 93632 93631 230527 94735 94734 93630 230526 93629 230525 94733 166745 117365 6592 6588 6590 105977 233305 69360 71016 68072 223736 223920 70464 71200 67520 67519 69359 255935 71199 70463 71015 253727 223919 68071 223735 224288 67336 255936 253728 348118 272126 348119 272127 33202 223369 272124 348116 95825 99505 231433 99137 60677 60676 61229 62333 61230 61228 62895 62889 62334 62347 62348 61236 61235 62891 61244 60679 60681 60688 61240 221689 60689 62342 61237 62888 62886 59217 60690 222057 62890 62339 61227 221679 62899 221690 62894 62349 61241 62332 222058 221687 60680 221688 61233 62892 62885 60692 62344 62897 221691 60687 61243 60678 62896 62343 61231 222059 59220 60686 221692 62341 62345 60675 60691 62883 59219 62900 62337 60683 62898 62893 61239 59218 61238 62884 60685 62338 62340 62336 62887 348115 101710 102828 101158 102814 91636 230926 91638 91639 230927 91637 91640 6558 6556 6560 91299 89639 89091 89089 89090 90743 89087 89641 90745 229490 229489 89097 89649 91302 91301 89093 229486 229487 91303 229478 90751 229483 229485 91304 89644 91305 229481 89088 90744 89640 229480 229479 89098 89096 89648 229488 89650 90754 90755 89642 89095 229484 89646 89645 89647 90749 89092 91300 89643 90742 89086 89638 91296 91297 91298 87427 87428 86621 85517 87173 84965 113355 236451 115006 236449 236080 236075 113897 113899 111874 115554 113905 236083 111882 113351 115558 111881 113350 113904 115561 236441 115002 115555 111875 115553 115003 113345 236073 113347 115001 236442 236081 236448 113907 115559 115000 113344 115552 113896 111872 236440 236072 113341 113353 115560 113903 113354 236446 111878 236078 236447 111883 115007 236082 236450 115009 115563 115010 115011 111879 113906 236079 236074 111873 113898 111880 90620 88229 229908 119015 119567 119018 117913 237145 237146 117912 119016 119568 237144 119565 119013 237143 117914 119569 119017 262799 119564 237140 119012 117915 117911 117910 119566 237142 237141 87053 83741 221717 62373 62956 62383 62947 221734 61293 221726 60729 60726 61265 60714 60720 62378 61273 61290 221735 62943 62932 61267 62931 62380 62376 222106 62369 221714 59266 62955 61288 62366 62919 62368 60709 60711 62917 60712 61271 221724 221728 62401 221748 62944 61274 62375 62920 221711 221709 221710 221712 60710 60734 62945 62949 60745 61264 221721 62946 221739 60739 221733 59270 60718 62939 62389 62381 60736 62390 61284 59271 60746 62387 61292 62367 62365 221745 60719 62374 60721 62922 221727 60748 61286 61277 62403 62951 62936 62384 62942 61297 61287 62382 61263 60733 62953 60735 221725 61279 61283 61268 62957 221747 60747 61295 62925 60725 62933 60737 60722 62950 221723 221736 221720 60715 61285 62372 221715 221740 61298 62402 240784 240048 240781 240045 130387 240789 240049 240788 240052 130385 240051 240047 130389 240050 240787 240785 240786 240782 240783 240046 130383 130384 130382 130381 236948 116612 116061 236949 116613 116062 236950 116063 116615 119375 236951 236952 116064 116616 116627 236958 119751 116074 236957 116628 116622 119756 116625 119750 119389 119746 116068 119748 236961 236963 116623 119752 119387 236959 119744 116620 119380 116065 236956 116073 119385 116624 119749 116071 236962 116621 116066 116075 116069 119755 119383 119754 119382 119757 236960 116072 119753 119747 116619 236964 119379 119743 119377 119378 116617 116067 236955 119745 119741 119742 91488 87809 88361 229304 91120 119099 117995 119649 119091 119093 237220 117449 119658 119657 119105 237223 117993 237216 119086 118003 117996 117989 117452 119636 119660 119646 117999 117994 117998 118004 119103 119637 119095 119652 117451 237219 117442 119641 119090 119650 117443 117441 117448 119094 118005 119106 119085 237213 119638 119639 119087 237212 237214 237215 119635 237211 119083 117979 119088 117997 119651 237230 119097 237235 237218 119640 117983 117439 237229 117446 237226 119079 237207 119631 117975 119653 119647 119096 117445 119108 119089 119107 118000 237232 117988 237233 117981 237225 237217 237234 237236 237221 237224 237227 237231 237228 117440 119648 119659 119656 117438 117437 237222 119645 118001 118002 119654 119101 119102 117987 117450 119655 117447 112081 111904 235913 112633 236470 111903 236471 111902 236469 111905 236472 111901 236468 115393 117435 117434 117432 117429 117428 117431 241612 135813 241613 241611 135259 241610 135258 135811 241609 135257 135809 272123 79103 78551 226119 76895 77447 75427 226121 77449 79106 79107 226120 79108 226124 78556 78552 76898 78555 76899 76897 76900 77448 79105 78553 226122 76896 226490 226491 226123 75428 75426 76894 76893 226117 77445 226118 78550 78548 79102 79101 77446 76892 78549 226116 97744 97193 97184 97747 231700 99404 231689 97740 97741 97189 231697 97742 231698 98846 97194 231694 97745 97749 98847 99406 98854 231702 97197 97185 231685 98840 231701 97733 98852 97746 98842 97181 99399 97196 231691 98843 99405 97182 231699 97188 98839 99391 97183 97186 99398 98850 231695 98849 231696 99397 98838 231693 231687 99400 231692 97192 97738 98841 98851 98844 97748 97190 99394 99403 99393 97739 231688 231690 98837 99401 97743 99395 231686 99402 97195 97191 98853 240027 240763 240764 270351 69529 69511 272114 69528 69536 272117 223344 69537 272133 223356 272108 69525 223351 223364 223362 272111 223335 272116 69535 223348 69522 272109 223340 69524 69519 223355 69526 272112 223370 69533 272110 272113 69531 223354 272105 69547 223365 272131 223358 223359 223366 69532 273019 272104 286819 69515 273017 272107 223353 272119 69530 223337 223371 223346 223368 272115 69513 223339 149546 69517 223331 69548 223334 223363 223360 272106 273015 223367 5955 223372 223336 69520 272103 69527 223332 272132 223350 223347 223333 223338 223342 272120 223349 69521 223345 69523 273021 272121 223343 223357 223352 69549 223341 223361 150504 293656 186384 6574 293657 186385 150505 272129 272128 348120 348121 93617 230513 93065 95277 95273 93075 94732 230524 94716 93069 95281 95283 230510 94718 93062 95267 95268 95282 230505 95266 95285 95276 93614 94714 93610 93064 230512 230523 93613 93061 94717 94719 93063 93615 230511 93616 94731 93611 93612 93076 94721 94720 230514 94722 93618 93067 95274 95272 95279 93070 93071 93072 93073 95278 95284 93074 91631 230920 230903 230900 91620 230902 91617 230901 91613 95477 91802 92345 91824 95118 95498 230353 91818 91789 95117 92350 95472 92375 230361 92355 95494 92365 95502 92368 95487 230345 95481 92367 91813 230342 95104 230344 95105 91816 92346 95479 230362 230360 95107 95129 91808 95137 91823 95499 92373 95126 91810 92374 91792 230363 91791 95495 95122 92358 95103 95490 91820 91821 95504 91796 91809 95128 95114 92344 95108 91811 95115 230371 92372 92371 92347 230354 91790 95475 95489 95474 95470 95102 91804 95131 230370 230376 95469 95111 91800 92351 95480 95120 95119 95112 230355 92357 95134 95113 95478 91801 230343 230351 95471 91803 95482 92370 230375 92360 95491 92369 95116 91819 91817 95501 95133 92377 230346 95485 230359 95127 230365 95123 91814 95497 95503 92362 230347 92364 230357 91815 230350 95125 92361 95493 95101 92366 95124 95106 92359 95473 91794 95135 92376 91807 95483 230369 91805 230368 230367 91795 92348 230374 95130 95136 95496 95121 95492 230349 91797 230364 91793 91798 92354 95132 230341 230373 95110 230366 92363 91799 230899 230897 91605 91607 230894 230898 91609 230893 91608 91606 105976 233304 233303 105975 70461 223918 224286 69357 70462 71197 253725 68069 67333 71013 224287 67335 71198 67518 255933 67517 223917 69358 224285 223733 67334 223734 237020 119443 237017 116681 116684 119811 237018 116133 119445 116683 116132 116685 116131 119810 119813 237021 119442 116682 237019 119441 150500 293652 6508 6512 6510 105973 33138 186380 233301 233302 91603 91604 230891 230892 6544 6542 6540 293654 150502 105972 33122 293651 69356 67332 255932 6494 6492 6496 223732 253724 186379 150499 70460 67516 68068 223916 224284 71196 71012 99959 103272 99957 103640 100506 100517 103646 100515 103644 99971 232624 101811 103641 99968 103281 103653 99963 103638 103283 100516 100519 103273 99960 100511 103274 103637 232634 101804 99966 101806 232622 103635 100507 232633 99969 232629 103284 99964 99958 103278 103651 103271 101809 103648 100521 103649 232626 103650 103647 232630 103267 232619 101808 101803 232623 100514 103269 100513 100512 232636 101801 101807 232618 103643 232632 100524 103645 101802 99967 103279 232621 101805 100520 232635 103277 100509 99965 103636 99955 100518 100508 103639 101810 99956 103275 232628 103280 103642 100522 100523 232631 232627 100510 103634 232620 103270 99961 232625 233300 33186 33170 83577 59239 59238 222079 222076 59237 59235 62915 62916 59236 60707 59240 62363 60708 62364 91294 237016 116680 119808 84319 84314 87055 84321 87079 228183 228182 228205 83761 87422 87054 228181 83767 87424 83743 84320 87075 83768 87441 83742 228201 89514 229907 133184 132630 133185 133923 231429 96373 95821 99133 99501 86691 86692 87246 85041 228372 228365 86686 86697 228361 85577 87233 86680 85031 85587 85026 87247 228379 228360 228369 87240 86684 85034 85589 87256 228374 85039 86694 87238 86699 228370 228371 86681 228363 85602 87255 86693 85584 85594 87235 85579 85578 85582 87257 85025 86682 85027 86685 85024 86687 228367 86690 228376 87249 85035 228373 85033 85030 85595 87245 85588 87243 87244 85583 85028 85593 85036 228378 86698 85591 85040 87241 87239 85581 228375 85029 86689 228366 86695 87254 86688 228362 86683 86696 228377 85037 95709 232054 95721 232064 95714 232056 232059 232052 95717 95723 95710 232058 232053 232060 95726 95724 232055 232057 84961 135797 86679 228359 85023 150503 132301 135981 83675 87355 228115 87354 228113 84226 84225 135256 135255 135807 241608 241607 85011 99217 99216 96451 99587 96458 95896 95893 99573 95906 99572 99204 99213 99583 231510 96457 231514 99221 95902 99582 99212 96455 95903 99206 231501 96456 99220 99591 99203 231511 99209 96460 95898 99588 95908 96461 231518 96449 231504 231513 231506 95900 231509 99202 99208 96447 231502 95894 99219 231497 96441 231500 99210 99207 95897 95890 95895 231498 99581 96459 95910 96462 231508 99215 99211 96453 99584 99585 96443 99571 95905 96454 231507 99569 95889 99205 95901 95899 231516 231505 99201 95892 99218 231517 99570 231515 96450 95909 95907 99214 95891 97717 98808 97688 231631 97127 98809 97705 231657 98796 97130 99360 231656 231650 98786 97703 231655 98807 97151 99379 99344 231640 97143 98799 97695 99351 99352 97135 97172 97696 99337 231660 97129 231646 99359 99364 98788 231636 98827 231675 97681 98804 231658 97684 231671 98824 97171 98811 97706 97721 99343 95693 95696 95686 98828 231676 98802 97723 98805 231653 99370 97131 97683 97149 97701 232001 97707 99363 97148 231652 231665 99345 95690 231651 98803 99353 97164 97687 99342 98791 231635 97680 232040 231672 97716 231639 95692 97685 231654 99373 97144 98821 98787 99339 98810 95685 99346 231642 99355 97699 97147 95700 98812 99380 98794 231647 97682 98806 98789 97694 99340 97169 99365 97702 95695 95676 97157 231661 97714 97724 97158 99378 98819 97715 99361 97153 231670 231632 95665 99349 232000 95656 95681 95674 231649 99372 231648 97709 97156 231669 97161 99354 97697 97145 98793 97719 97167 99335 97165 95666 99341 231637 97708 95699 98798 97693 97141 98814 231662 99367 97159 98815 232037 232038 232039 98792 231645 98784 231674 97170 231664 98816 97712 231663 97711 231638 97133 98801 95657 99376 231673 231659 97155 95659 232002 231633 99375 99350 95658 231999 97166 98822 99377 98825 98783 99371 97163 99357 98653 98817 97718 97686 97137 98797 99348 98813 97692 98800 97136 231643 99368 97139 99347 231644 97140 231641 231668 99336 98785 231667 97128 97679 97720 99338 231634 97722 98826 97142 97132 97691 99369 97168 98823 98795 95655 97713 231666 97162 228298 85514 77453 77437 77429 226109 226112 226113 226099 79088 79082 78541 77434 78536 78534 76882 77432 76884 76891 76879 77422 226094 79090 79074 226090 77440 78547 79077 76872 76883 76880 78526 78533 226096 79080 226097 76870 79075 79079 77423 78529 77443 226114 79085 226106 79083 76885 226103 77439 78535 76886 226098 79087 79081 226110 226105 76875 77427 79098 226108 226095 78540 77433 77435 78543 78531 79078 78546 77452 76888 78544 77442 78538 226115 77431 76881 79076 77426 77441 79096 79086 78537 76887 76871 79093 76877 226107 76869 77421 79089 79097 78539 78542 76890 79091 76889 226104 77428 226100 226101 77425 76873 77438 79084 78545 79095 226111 226102 79099 106891 84290 87050 87048 84289 83736 87417 87047 87049 228180 83740 87420 87418 83738 87051 87052 228178 83737 228176 228175 84291 83735 87419 228179 228177 83739 116692 237050 237036 116162 116164 119473 116158 237028 116711 237051 116149 237034 116716 116715 119836 116695 119475 119829 237052 119470 119832 116159 116146 237035 116697 119845 116143 116699 119831 116714 116703 237029 116155 116707 119834 237033 116151 116163 119841 116705 237030 119821 116693 116698 237031 119823 116712 116700 119458 119459 116710 119471 116161 119837 119464 119461 119465 116157 116150 116709 119467 237038 116706 116696 119476 237048 119838 116145 116713 116147 116160 116701 116153 119474 116144 237042 119472 116142 119844 116152 116702 116141 116704 237049 237037 237044 237032 116694 237045 237039 119826 119839 237046 237027 116139 116691 119819 62714 62715 63103 62700 59395 63071 62704 59944 59973 221525 63091 59411 62733 62736 62719 59963 62710 62732 59956 59968 62728 59413 63088 62731 62721 59403 221527 59410 59943 59961 63089 221507 62725 63081 63099 59386 59964 59975 59939 62730 62735 63092 221515 59398 59400 221526 63078 62711 63084 221524 62724 62726 59418 221517 221494 221516 63074 221513 59958 62713 221505 62703 59954 63073 63083 221506 63104 221514 59962 59976 59957 62717 221509 59419 221523 59396 59399 63097 59940 63093 59965 63079 59946 63094 59967 59948 63086 59415 62707 62716 62727 59405 59397 221521 221519 59422 59393 59407 63070 63076 59391 221522 59970 59966 221518 62720 59401 59955 59942 221497 63085 59969 59960 62729 63096 62723 63105 59423 59420 59414 63095 63090 59941 62701 63069 59959 63087 221512 59950 221501 62712 59947 63077 59945 62718 221495 59951 62702 59953 63075 62734 59412 63101 221493 59949 59971 62699 221528 221510 59421 59952 221504 59972 62705 59392 59417 62709 62722 59409 59424 59408 59404 61256 59222 61252 62353 62904 60699 60706 59227 61248 60696 62362 62901 61249 62355 221697 59223 62902 59233 60693 222069 221696 62356 62351 222065 62907 62906 60701 61246 61253 60703 59230 62912 60697 221695 62914 62910 62354 222066 222073 62357 61254 62913 60694 61251 221703 59232 62903 59224 221700 60702 62352 61255 60704 61245 60695 61247 221694 59221 62909 222064 60698 60705 62358 60700 62905 61257 62361 59226 62908 59234 62911 62359 61250 59225 221693 231609 99313 113328 112588 114959 115712 112584 112595 300610 112012 112044 236028 236040 236045 235855 112570 112565 115514 112583 113326 235884 112017 114992 235874 113337 235878 113302 115354 113333 114993 113889 236067 235860 235873 236049 112596 115729 112590 115543 112045 115353 114963 236061 115350 115697 236058 115525 115518 115545 236066 236068 114994 236065 113329 112040 235844 113877 236053 115731 113305 112022 113865 236055 112571 113878 113866 115718 113308 235881 113858 112580 113852 114956 236027 236048 115329 114985 115345 115510 115336 112031 235848 115694 115509 112019 112567 112014 115362 113303 236063 115714 115730 115704 115541 115719 113875 113323 235845 113331 115532 113870 112579 115328 115535 115703 115359 114970 236057 114966 112589 236056 236047 115340 236041 112574 236035 113313 114973 115523 115548 112021 113315 115515 235859 112585 235850 114984 113321 112563 114977 113327 115538 112015 115521 115706 112050 113301 236038 113891 236037 115529 235856 113320 113319 235866 115351 113854 115700 113318 113317 115708 112035 115512 113339 235864 115508 235854 114989 236033 236062 236050 112568 112578 112025 112592 114969 236059 236054 115352 113884 115546 114986 235880 115698 115360 113314 114955 114972 115337 115707 114978 115524 115342 115343 115720 112601 115536 112599 115716 114981 115711 112027 114961 115361 115721 114971 114995 115326 114960 115364 235879 113851 112041 115516 113338 235862 235851 115331 113322 113311 235882 112030 236051 112603 235843 112029 113874 113860 115725 115522 112036 115542 112033 115349 236039 236044 235875 235861 112593 112011 115705 115539 113867 236064 115527 115519 112051 113316 236052 236026 115727 113871 112032 112575 115547 114957 112037 115348 113859 115722 113880 235870 114996 235852 112049 113332 235871 115511 115339 115723 114976 113324 236036 113869 235867 114958 112572 113885 114979 115357 235868 112016 113882 114980 112573 236060 235863 113879 236042 235846 112026 115517 115531 114983 112024 112591 113868 112582 115513 113309 112569 113336 112052 113325 113872 115327 236032 113306 112587 115330 235847 235857 115338 115530 113335 235869 112586 113881 115710 114975 115713 114974 114965 112028 115332 115347 115355 115724 235853 115344 112047 113887 235865 112564 114987 112039 115701 112566 115699 112048 113861 114988 115323 236046 112600 112046 115537 115695 113888 235849 113307 115526 112034 115696 113883 112602 113864 235842 115356 236043 113863 113340 115346 114991 235883 115540 113330 115335 112013 113299 115533 115534 115693 115544 236029 113862 115363 115365 113890 114990 236030 113853 112604 115528 115702 115507 115728 236031 114982 235872 112594 112581 112576 113312 115715 236034 235858 112038 113873 115717 235876 113876 112042 115709 112597 112577 235877 115341 112043 115333 112598 115692 303922 112023 90600 88212 89515 88207 88751 88227 88213 90605 88764 88750 88773 89499 90617 88779 88756 229904 90618 90611 90619 88226 89490 90591 90597 90596 89491 88762 88208 89488 90602 90595 88202 88758 88200 88197 88198 88754 88204 88211 88771 88780 90615 90606 88223 88770 89506 88765 88777 88759 89507 88767 89503 88221 229897 90609 90589 89501 89509 88218 89498 88769 90608 89502 89511 90616 88214 88774 89500 90613 88766 89510 89513 88228 88203 229892 88775 88215 88772 229903 90614 229896 88763 88209 89505 88778 88217 89493 89492 90599 89497 88220 88216 88206 88199 88210 90598 90607 229884 90603 186382 293655 186383 62941 62395 61299 221746 62938 60738 60713 60731 62937 221730 221744 62377 62929 62397 60744 221719 221742 61261 61275 59268 222110 59267 59269 221743 62370 60724 62940 62371 61291 60723 59265 62393 221718 60743 60741 62948 60740 62400 62396 221713 60742 59272 61278 62921 62923 62935 61282 62385 62391 62928 61276 221741 61300 62930 221731 60727 60717 221737 61289 62926 222105 60730 221716 60716 62392 62927 221729 62386 61281 62379 221722 61269 62399 221732 221738 61270 231438 103949 104501 233669 107629 132863 132312 241425 132313 241424 241423 132311 135995 132314 241426 101154 101706 232714 222074 87622 229854 87621 87624 87623 87265 87262 87261 85609 3894 144634 3891 145554 99320 231615 99317 231616 98768 99314 97665 97659 99315 97107 231611 231612 231618 99319 97111 98769 231617 97113 99321 231614 97663 97109 231613 97661 103559 99879 100431 103191 134359 134360 134358 241079 241817 241819 241815 241080 241816 241082 241081 241078 241818 241814 134361 132133 241981 132318 135628 241429 132869 135625 132867 135997 132872 241431 135627 135629 241428 132317 132316 132319 241430 135998 132871 135999 135633 241432 241427 132315 135630 229287 88343 240026 130557 240030 130564 130559 130549 240777 130543 240040 130560 240769 240771 240761 240775 240032 240028 130554 130545 240765 130553 130561 130562 240760 240031 130571 130569 130566 130558 240766 240039 240773 240044 240762 130551 496416 240767 240034 130573 130552 130556 130563 130568 240779 130567 240768 240776 240778 240023 240038 240780 240772 240043 128550 240042 130548 356710 130565 130555 240041 240033 130570 240029 52470 240770 130544 240025 240037 240036 240759 240035 129470 240024 240774 130547 87792 91472 229288 91104 115956 237584 237585 237597 115975 115976 237587 237588 115959 237582 115978 115974 115958 237580 115972 237592 237586 237598 237590 237583 237593 237591 115977 237602 115965 115961 237595 237589 115960 237581 115964 95317 95319 93108 93084 95291 95294 95321 93087 93078 95287 95292 95293 93082 95314 95318 93083 93111 93110 95289 93080 93079 95316 95320 93106 93107 93113 93086 93081 95288 95315 93109 93085 95290 93077 232715 101155 101707 103363 237210 115955 119634 237209 237577 117978 119081 237208 237576 117425 117977 119633 119632 237578 239962 240696 130293 239966 130303 239965 240695 240703 240698 240702 239961 130294 239957 240700 240701 239959 240699 239964 240693 130295 130300 130301 239958 130297 130296 240697 239960 130299 130302 240694 239963 136002 132874 241434 132875 136003 135635 241435 233668 104500 107260 241438 241437 136007 132323 241436 136005 132877 132880 241439 136004 132322 136001 132879 132329 132873 132327 135637 135639 132324 136006 132878 132325 241433 132321 241440 132328 117418 117421 117973 237204 119628 119629 237205 117971 119627 117419 237203 237202 119078 119076 117970 101709 232717 102813 59273 222113 222112 59275 59276 59274 222115 86166 86165 85245 84516 85249 85981 227845 85989 86163 227849 85798 84521 85980 85250 85248 85800 85809 85795 227848 85985 227856 227855 85799 85979 85247 86169 227844 86171 86176 227843 84517 86168 85986 85990 86170 85806 85808 86172 227846 85982 85987 85807 84520 227853 227852 85993 85991 86175 85803 86167 85801 86173 85805 85796 85251 227854 84519 85988 85983 85797 227851 85243 227847 84518 84515 85244 227850 86177 103364 101708 101156 298291 93867 99947 232611 100499 103627 103259 232612 100500 99948 103260 103629 100501 232613 103261 99949 100502 103262 232614 99950 103630 103631 232615 100503 99951 103263 103264 99952 232616 103265 103633 100505 99953 232617 103546 103178 100418 103547 100419 99867 99143 99511 95831 96383 231439 100420 103180 103548 116059 119371 236946 119738 116058 236947 101553 101556 101544 101554 101546 101548 101550 101552 101537 101542 101551 101549 101545 101543 101540 96370 99498 231426 77695 226367 77694 226366 225630 225628 225629 226363 226365 226364 225627 77692 77691 77693 262797 99869 103181 103549 100421 87793 91105 229289 91474 229290 87794 91106 90736 89080 89632 229472 237131 237132 117352 119007 119560 237136 117909 119562 237133 119006 119008 117904 117351 117349 117906 237135 117899 117350 117903 119010 117901 119563 237137 237138 119009 237130 237129 237134 119559 117902 117905 117898 237139 117900 119005 117908 117907 119561 134160 133607 133608 133606 133601 133604 115890 115889 115892 237513 237515 115891 237514 59253 59246 59257 222097 222084 59255 59252 59264 222100 59260 59248 59256 59254 222086 59245 59261 222101 59241 59251 59258 59243 222096 59247 59250 59242 59244 222082 59259 222083 59262 222098 59263 59249 119630 119077 117422 237206 117974 91475 91477 88347 229297 88354 229295 91112 91480 91481 229296 91483 88353 87800 91114 229291 87804 88349 91111 91113 88352 87799 91482 88355 91476 91478 87803 229294 229298 88348 87801 91110 87797 229293 87795 88351 91479 91115 88346 87798 88350 88356 229292 91109 222080 239954 240691 130291 130292 239955 240692 240690 132131 132132 241979 241980 135799 134143 133591 135247 241599 133592 135800 134144 241600 135248 134145 241601 135801 133593 130380 88358 229303 91487 88360 88359 91117 91485 229301 91486 91119 90610 119070 117966 105788 105236 107444 63107 59982 221552 62758 59443 221529 59984 62751 62748 221539 62770 221562 62767 221542 221547 59987 59456 62741 62763 59429 62740 60003 59439 221546 63133 59437 62766 59430 59979 221540 59432 59983 59459 60012 59436 59999 59435 221531 62754 62753 63111 59433 60013 59441 62768 63129 221554 221550 221549 59989 59448 62765 221556 63114 59978 221557 221532 221563 62771 60009 62745 221548 63121 59994 59997 62738 63118 221543 59449 63128 59458 63117 63122 221553 63110 59434 60000 221537 63123 63115 59447 63124 59992 60005 221559 63108 60011 59996 62737 62760 62757 60001 221533 59453 62742 59457 63119 62750 59985 221551 63125 60004 62759 63126 221545 59428 63135 63138 59431 59993 63116 59977 62762 60007 59445 221538 59442 60002 59995 221555 59426 62772 59451 59425 63131 63113 63130 63132 59452 59455 59981 221535 63109 59440 221536 59988 62761 62739 59998 221560 63137 59446 60006 62746 59986 221534 62755 62744 59438 221544 221558 63127 59427 62743 62749 221541 221530 59991 221564 63140 63139 62747 62769 62764 130379 130378 130377 130366 130369 130367 130368 130372 130373 130375 130365 130374 130371 130376 117361 117358 117356 117357 79259 75579 76131 75580 76132 79261 75581 76133 85564 228348 123418 238050 79293 75612 78924 76164 225940 105240 106896 233856 105792 112420 112421 112419 236435 133594 135802 134146 241602 135250 135803 241603 134147 133595 135251 135804 134148 241604 135252 133596 78923 75611 225939 76163 111870 236071 113900 115549 113901 111871 113348 236433 236444 236077 114999 111866 236076 115557 115004 111865 111876 115550 236069 115556 236443 236445 113894 113343 111867 111868 236437 111877 115551 236439 114998 236070 114997 113893 111869 236434 113895 113349 236438 115005 105789 233853 105237 106893 106894 233854 105238 105790 105791 233855 107447 105239 106895 358098 241813 241076 493058 134723 213474 134724 241812 134728 133444 241075 134730 132524 241077 134727 241811 358108 493458 134725 134729 54602 134731 91116 229300 91484 112084 115396 113378 235914 235918 113375 112086 112088 112082 113376 113377 112638 235920 112635 235915 115395 115402 112637 235917 112085 113372 112636 113373 235916 115397 115398 115768 112083 115400 113374 113371 244010 304914 302890 115373 103588 235906 103604 103215 101231 232567 100494 235896 115757 99946 115759 112626 100456 115378 112070 99916 115379 112053 115761 115737 232589 232605 232607 103247 115755 101790 232584 99943 232573 112069 115754 115750 115735 103609 103595 112076 112621 115385 99938 115374 112060 112080 115383 100488 115372 103217 103611 235903 235910 100459 112611 115756 99906 113369 103590 115748 232582 115387 100498 103586 100471 112610 232603 112627 101789 101230 103596 232566 235888 99915 103585 100492 115380 115734 115388 101233 112619 99923 232570 100479 232602 103582 115749 112615 100463 99939 103252 103229 112059 100485 103613 235885 99921 112607 115377 103603 103218 103584 99904 112625 235893 100482 232596 103589 232587 232593 100486 100481 101227 113925 112629 235900 115367 103221 112057 103619 232594 103608 235892 115390 115389 103617 99942 115741 103600 103607 103583 99933 115369 235891 101791 100454 232608 103234 99903 232604 112628 99926 112612 103235 235897 115733 103232 99928 235902 103598 112616 100466 103243 100493 103233 235886 112613 115758 100460 100477 99931 115740 99911 115736 112078 115386 103592 103593 103621 232578 235894 99909 100467 232580 103594 232579 232571 113921 112056 103626 100473 103237 112065 232568 112071 101228 102890 99940 235901 103223 232572 100496 100465 103224 115391 103245 99907 100475 103616 235904 235905 235909 115739 112072 112074 103597 100457 101793 112073 235908 99905 103601 115763 232610 112075 112617 287398 103231 103219 99918 100472 103622 232598 115746 112624 235907 99925 232601 235898 112063 100469 100478 103244 103227 304510 99927 101232 103255 103253 302302 232583 103620 232574 103238 99908 112058 103220 100470 115764 100458 112079 101229 112067 115738 103610 112055 112608 103605 103241 100489 100483 235895 115384 232591 112606 112605 103254 112066 103599 99934 103591 232588 235887 115371 100491 103226 115375 103614 99941 99930 100461 112061 99917 112632 103249 113924 112630 232600 99935 232569 103239 235911 100487 115381 232577 99937 99912 232597 103222 232585 232590 100495 103612 115765 103623 100464 112054 232576 232581 103242 103251 112077 232575 101794 112614 112631 103230 115747 115394 113370 103225 99929 99922 235912 103587 235890 112623 99919 115382 103240 99924 115368 232595 232592 112609 103246 100468 235889 232606 99944 99913 103256 232586 235899 103236 100455 99932 232599 100476 112062 115753 100490 100462 112620 103615 89633 89083 90738 91291 89082 229477 90739 89635 91292 89081 89636 89634 89085 90737 229475 91293 90741 89637 231490 99194 95882 99562 87407 228167 87039 84279 83727 132127 132128 241976 132129 241975 231431 96376 231427 95823 99500 95819 99499 96371 96377 99502 99135 96374 95824 99503 95818 96375 95820 99131 231430 326618 324410 113850 115506 91602 91600 230889 282592 91601 248736 279280 91599 249472 117969 237201 117417 119625 75424 226472 75415 226469 75419 226482 75404 75413 75420 75423 75408 75407 226477 226470 226475 226474 226486 75409 75406 75421 75418 226468 75403 75410 226476 226479 75425 75412 226473 75416 75411 226489 226481 75422 226485 226471 75417 226467 75414 226487 226480 75402 226478 75405 233671 104503 107631 103951 107263 233672 107264 103952 107632 287468 287466 119805 237013 116125 119806 237014 116126 237015 119807 116679 116127 119002 119003 117363 236945 238234 123602 121394 237774 122223 237771 45846 237773 237772 201338 122221 241414 135982 135615 132303 132855 241415 135984 135616 132304 132856 90748 90753 90752 90747 231622 97119 231623 99327 99329 98777 97121 97673 231625 231627 97675 97123 98779 99331 99333 97125 98781 231629 99200 231496 96440 99568 95888 97672 231624 97120 99328 98778 99330 231626 97122 97124 97676 99332 231628 95879 99559 99191 231487 96431 99560 95880 99192 96432 231488 99193 231489 95881 99561 84277 87405 87037 228165 83725 84278 83726 228168 84280 87408 87040 122169 122167 237719 237720 294391 294393 87041 228169 83729 87409 84281 83730 87410 228170 84282 87042 83731 87043 84283 228171 87411 83732 87044 87412 228172 84284 83733 84285 87045 87413 228173 228174 83734 87046 119623 117415 237199 117967 119071 270659 122171 122173 237721 237722 237724 237723 270661 237022 119814 116686 119446 237023 119447 119815 116687 116688 119448 237024 116137 119817 119449 237025 116689 91592 91588 91591 230876 230878 230879 91590 230877 91589 119372 225910 76134 78894 79262 75582 76135 225911 75583 79263 225912 78896 76136 76137 75585 79265 225913 78897 79266 76138 225914 135985 132305 132858 132306 135986 132307 132859 241420 132308 135617 135618 135619 135620 241421 135621 117968 117416 237200 119624 228349 86669 87221 85013 85565 87224 228352 85016 85568 228355 85571 87227 85019 86675 87626 87625 229857 225906 225915 78899 76139 79267 75587 79268 76140 225916 78901 76141 79269 75589 225917 76144 225920 78904 79272 75592 76130 75578 79258 78891 78903 79271 225919 76143 75591 225921 78905 79273 76145 75593 76146 78906 225922 75594 79274 75595 76147 78907 79275 225923 78908 75596 225924 78909 79277 76149 225925 75597 75598 79278 78910 225926 76151 78911 75599 225927 79279 225928 76152 75600 79280 78912 225929 75601 78913 79281 76153 79282 225930 75602 78914 76154 79283 76155 225931 75603 78915 76157 79285 78917 75605 225933 225934 75606 76158 79286 78918 76159 75607 225935 79287 78919 79288 75608 225936 78920 76161 75609 79289 225937 78921 91121 229305 91489 91122 91490 229306 87811 87810 87808 133597 241605 135253 135805 134149 135254 135806 241606 95834 99514 99146 96386 231442 99152 95840 231448 96392 99520 99521 95841 231449 96393 99153 95854 96406 99534 99166 231462 87222 228350 86670 87223 86671 85567 85015 228351 85569 228353 86673 85017 87225 85570 87226 228354 86674 85018 85020 85572 86676 228356 87228 228357 85021 86677 85573 87229 228358 85022 86678 103550 103182 99870 232534 100427 103555 103187 99875 232539 99886 103201 289032 99890 103567 291240 99882 100441 99881 232545 100439 232548 103569 103194 103199 100434 99883 103561 103566 103562 232544 103200 232551 103568 103193 103195 103563 232553 232549 232547 99887 232550 100435 100438 103198 103565 100436 99888 99889 100433 232546 103564 99884 232552 103197 100437 99885 241598 135798 134142 99334 97678 98782 97126 231630 103183 99871 232535 100423 103551 99872 103184 100424 232536 103552 103553 99873 232537 103185 100425 103186 232538 100426 103554 99874 103556 99876 232540 103188 100428 232541 100429 99877 103557 103189 232542 103190 103558 100430 289676 291700 130480 225617 129011 226354 129745 225621 130478 226357 225618 226360 77870 226362 225619 129744 130485 225626 225622 129007 77135 129741 77876 130479 492870 337486 75856 130484 129008 226358 129006 77134 493590 226353 129742 262795 130483 156798 130476 77866 77132 77879 226359 77131 225616 226361 77874 77871 130481 225624 129740 77136 77864 130477 77868 130487 225620 239956 130482 77128 226352 77127 129009 77872 226355 129013 13098 337504 225623 129012 226356 225625 77867 77863 77133 129743 77865 77875 76776 77873 129005 129014 226351 77877 129010 225615 77869 77689 77686 77684 77682 77680 77681 77687 77679 77688 77683 77685 116690 119818 237026 491510 103560 99880 130729 130730 52467 210398 130363 129827 130738 129828 52476 129084 130748 129083 129073 130756 130742 130735 129821 129082 129835 129837 130733 129829 129834 130732 129832 130734 130751 130362 129085 130360 130743 130364 130731 129825 130745 129820 130740 130739 130754 129079 129081 130741 130755 130737 129086 129077 130359 129819 130757 129836 129826 129831 129823 129087 130361 130752 130727 129830 129075 130750 130749 129088 129822 130753 129080 130747 129074 129833 232554 103202 103570 103571 100443 99891 103203 232555 232556 100444 103572 99892 99893 103205 103573 100445 232557 232558 99894 103206 103574 103207 103575 99895 100447 232559 103208 100448 103576 232560 99896 100449 103577 103209 232561 99897 100450 103210 99898 232562 103578 100451 103211 103579 232563 99899 103580 232564 99900 99901 103581 232565 100453 103213 255934 247470 253726 245446 99512 96384 99144 95832 231440 99513 231441 99145 96385 95833 99515 231443 96387 95835 99147 95836 99516 231444 99148 96388 99517 95837 99149 96389 231445 96390 99518 99150 231446 95838 99151 95839 99519 231447 96391 96394 231450 99522 99154 95842 231451 99523 99155 96395 95843 95844 99524 99156 231452 96396 99157 96397 95845 99525 231453 231454 99526 96398 95847 99159 231455 96399 99527 95848 96400 99528 99160 231456 95849 99161 96401 99529 231457 96402 231458 95850 99531 99163 95851 231459 96403 99532 231460 96404 99164 95852 99165 231461 96405 99533 95853 96407 95855 99535 99167 231463 231464 95856 96408 99536 99168 95857 96409 99169 231465 99537 231466 95858 96410 95859 96411 231467 99171 99539 231468 95860 99172 99173 96413 95861 99541 231469 231470 99542 95862 99543 95863 96415 99175 231471 231472 95864 96416 231473 99545 96417 95865 99177 95866 231474 99546 99547 95867 96419 231475 99179 99548 231476 99180 95868 96420 231477 96421 99549 95869 99181 99182 231478 95870 231479 95871 99551 99183 96423 99552 96424 95872 231480 99185 95873 231481 99553 96425 99186 99554 231482 96426 96427 95875 99187 231483 99555 231484 99556 99188 96428 99557 95877 231485 99189 96429 231486 95878 99190 99558 99563 99195 95883 96435 231491 96436 99196 231492 99564 95884 231493 99197 96437 99565 95885 99198 96438 95886 99566 231494 95887 99199 231495 99567 96439 312102 312104 312101 312105 312100 312103 312099 293653 490809 352152 490730 490160 75590 225918 76142 78916 75604 225932 76162 225938 78922 496480 496328 270713 132862 132310 241422 495058 491187 491378 236432 111864 114141 320773 76399 76402 76407 76403 76395 76405 76406 76400 76404 76398 76397 76401 270709 270349 270711 270347 237781 237775 122229 237782 122225 237779 122231 237776 122227 237777 237778 237780 270657 353638 201286 270655 491292 45014 490084 493524 239952 134356 239953 134540 240689 129384 128464 325171 134544 77137 13094 356624 356606 51318 209406 134541 240687 134542 134545 51322 134539 134543 134357 77129 54598 492256 492976 239951 134355 240688 490388 69509 69507 490020 222298 296811 222294 296819 65528 349250 296818 65531 222296 296815 222297 296813 65529 65525 296814 222295 65523 65527 222292 65530 492406 296817 222291 296816 65526 222293 269705 269707 269709 269703 269701 228869 228879 228878 228881 228874 228870 228882 228871 228873 228876 228868 228875 272091 21011 228877 228867 228880 169802 228872 148626 5958 45011 202206 118105 490897 490979 297171 272125 69541 494088 350764 235587 235588 114147 261899 202258 45843 19334 494890 52471 52480 46092 123338 354258 46094 494011 122786 65515 491753 157718 13091 19331 270353 492152 31619 346366 31622 181134 494802 182054 355220 206364 495694 205444 49731 49734 255943 319319 319321 319323 319325 318959 319327 222283 272419 272420 272421 272415 272417 272423 272418 272416 272424 272422 272431 272430 272433 272428 272432 272427 272425 272429 272426 238933 238934 238936 238935 40214 193260 41830 197224 198144 41827 40211 194180 235585 235584 235583 235581 235586 235582 210326 51319 13095 13100 13104 214394 54595 343370 492718 54599 51315 54604 54608 51328 51324 33326 233312 106536 107088 33324 33317 129001 129002 130472 128999 129003 130474 130473 130471 130475 492330 133806 133811 133809 133803 133805 133807 133810 133808 490239 189170 36586 235171 235177 108220 235174 235175 235173 109140 235172 235178 235179 492806 349260 235176 190090 36583 36592 36588 222288 222306 222284 222285 222310 222307 222302 222300 222301 222290 222305 222287 222299 222289 222304 222303 222286 222308 222309 36579 36582 21014 168882 65521 248561 321470 321472 321474 321479 129735 321475 321465 129739 65534 321471 65533 65535 129736 321473 129737 321469 321467 321478 321477 321463 297177 108771 108763 234436 108767 110421 234438 108765 234440 234439 234442 110420 108768 110426 234437 108766 234435 234441 110427 108769 110425 108770 110423 110419 110424 271647 271645 270909 271649 270913 270911 173906 24867 230051 230083 230035 230041 230043 230058 230049 230066 230055 230057 230075 230074 230048 230054 230052 230084 230071 230073 230036 230042 230053 230077 230079 230080 230047 230065 230045 230064 230081 230061 230067 230040 230050 230063 230072 230082 230078 230037 230060 230068 230070 230069 230039 230038 230044 230062 230056 230059 230046 230076 320787 230034 230090 93934 230095 230089 230086 230031 230032 230093 230092 93935 230094 230027 230033 230087 230029 230088 230028 93933 230091 93931 93936 230085 230030 172986 24870 320240 93879 323327 323328 261893 93925 93918 93897 320243 323329 93919 93877 320238 323323 93915 261895 320241 261897 93920 93882 263544 93901 323330 93898 263547 93907 263548 263545 93875 263554 320239 263553 93900 320236 93921 93883 263543 320237 93880 93923 320235 323325 320242 93899 93922 93896 93916 323331 263551 93906 93881 263555 263546 320245 93917 263549 93904 93903 263552 93905 93895 491246 415960 308673 244511 495487 63831 65127 495407 306780 237574 388614 64358 271149 88178 493687 491421 273359 493281 495853 281361 317655 100893 95653 312997 304127 270997 308729 308727 263653 274547 304289 492962 276939 86499 318701 229867 264363 322979 496241 495396 100878 129965 270706 84131 307308 300903 246913 305225 86465 282223 254829 494157 495855 282095 86453 300620 129985 86434 132621 85474 305349 288184 330619 252287 274487 283684 494270 290267 495716 305229 320200 291115 493771 495207 263529 271360 492852 320178 322079 246801 75397 246847 308964 92139 493103 306339 276604 237499 61043 235594 65134 303541 283179 490891 111841 86599 494010 284361 491091 432018 84085 87617 122952 261101 60344 273197 491211 255595 77342 128659 101521 92190 128701 131047 88645 264405 277759 493456 491962 84738 246771 84204 108926 110737 100308 304325 274499 253419 271434 288843 297312 108380 325094 281305 94555 284335 490521 247474 318892 111840 320926 492646 494277 273836 281465 235841 109658 306700 278767 262165 276632 272916 81282 265763 231981 231980 278793 85494 304139 492927 276794 318745 277390 282059 282285 84205 270127 88179 88180 64355 244559 301975 228792 262155 247851 100873 4 88166 270288 301923 306475 301967 117066 303557 129229 84190 229777 87613 86526 322065 290203 490079 491786 282177 492881 492218 493474 304269 89386 322073 322075 493202 109634 492793 281549 282081 493447 491281 492295 271007 493369 307985 279907 108921 288160 274545 324716 318735 270131 321321 282055 263649 322977 282299 274489 272637 305247 278735 270135 491728 282277 254849 290145 94540 492313 83547 84069 305367 492795 308705 272607 274437 271099 110753 282079 282077 496287 264934 274555 283129 493169 301945 492799 281535 272623 229770 228744 116434 271005 322991 322993 282239 493040 61052 64373 493160 493129 80689 318763 303589 228717 290153 491422 493476 270061 290339 264742 282037 288827 274313 282289 491661 285875 492274 492995 264732 262163 273327 133175 88181 306489 84625 286814 271888 491155 280756 493257 493256 270199 490477 395696 492434 307795 278725 88746 85420 261089 63814 86586 318966 273654 319522 301943 287645 287647 490877 496175 94574 288697 237572 493833 492446 282083 493176 274479 492485 490920 65118 279925 272461 300925 491041 491189 304407 322893 282101 243401 110736 88089 61225 228719 109659 223166 65119 491984 490498 84616 237567 491247 494921 492842 318655 108897 263533 283724 281397 281407 244577 131062 282089 108343 304884 264517 494141 308669 318637 287639 269955 277777 276640 304233 320918 308974 263086 281425 262203 246757 84513 85563 261091 288132 277649 492781 495361 279849 492497 419668 281543 495256 270129 281443 89460 491357 93893 283299 490105 492941 272647 282065 490665 279897 489848 92149 491385 291330 290199 282241 270999 256118 283229 108925 110761 110726 318771 278759 262169 286818 492817 281557 491322 289056 323695 271916 494193 286601 302854 319528 493007 279879 133174 281475 261077 108378 490104 277677 490018 490322 367274 407950 389534 282157 269943 495474 495933 495936 290309 284261 282231 492335 491517 281313 494096 254841 324113 88099 80690 288669 491075 278771 262532 306351 264087 255591 492328 303559 291129 326628 95449 108379 283193 295301 94559 279901 492162 321476 305243 263685 300825 305419 252301 492415 64367 89459 289626 493217 276945 490446 301951 291676 490800 490950 284237 276272 291047 290311 326329 281353 264086 84617 320772 274573 492602 295287 261063 491321 320189 301989 495441 495767 290133 278795 278751 274816 261087 262191 272619 290907 490608 290169 240904 281495 492702 281375 492200 262530 493409 492847 279851 493216 493329 490648 309777 269957 304273 283183 273321 303535 279903 272585 289044 492954 108895 324101 493794 282123 274920 95081 95639 85485 85484 287609 272400 290931 283726 492720 274595 304518 261075 274297 493913 294553 287753 265755 111844 89631 275954 495615 495616 304341 401638 492433 282173 262167 494681 290127 326325 490584 274541 493234 491238 279827 281321 281477 282113 493237 264073 288687 492959 246885 286286 112452 282199 492756 493411 493416 274495 495496 281529 492240 84113 282293 108333 287745 298636 491597 284337 490119 491744 490598 401766 320256 494056 94547 94584 490381 321325 323796 323490 326630 492486 288821 273806 95638 287591 287070 491117 92144 244555 83491 492875 493877 320221 303569 303571 303573 101602 60345 322043 88655 490181 323013 109506 325601 323007 86461 249492 493969 241921 228706 88161 236473 88162 88100 66244 133180 244589 490955 288707 281559 278745 253393 253423 38486 94569 269706 253417 235329 235328 89481 270346 274750 254827 278779 279821 494357 108391 326323 330623 492761 321307 330625 287655 277651 324091 283243 496015 273373 92156 95636 277785 281341 491362 306497 246855 235590 92189 305104 493200 329893 491301 490714 494034 98583 304271 66240 283203 274583 65093 129941 251233 493634 112377 252317 303603 303601 283205 493777 132126 250204 304111 492006 321341 492815 290413 283233 262982 320426 324964 254815 278757 490541 282135 493399 272665 493077 492943 324960 272615 492914 272643 63808 119072 279917 111833 91598 490634 281485 305387 492823 279895 264401 321911 283257 283259 493236 304135 121113 283293 490835 301949 308689 301969 321913 281337 494717 303527 279915 493556 272645 66210 51669 493849 492682 263550 282167 279877 493561 493039 490709 493320 269947 492342 319472 490718 492741 287593 287595 491120 492160 416640 255537 86462 246807 91597 100871 304381 288721 238233 318973 263100 84717 110053 494487 61048 230928 246187 122949 492182 303585 300901 329867 329869 492658 307987 318783 236422 84061 89079 122939 235348 281473 84711 282087 109499 493401 267456 318981 243429 282069 274563 270167 262524 491198 325623 255944 271111 495295 270169 495597 304301 287681 304155 304153 495157 129228 131084 110731 65120 325834 312209 129963 495796 246155 264421 88643 86597 243395 276838 277041 323697 490566 94538 246879 271009 490542 323003 66201 84720 83542 84159 129955 63833 246845 330631 274529 267268 287254 494655 491162 92699 248192 255543 492407 490822 491077 289652 493517 281325 108365 284283 282103 276264 493597 493433 246713 231992 229782 229783 493616 490117 490744 294547 294549 318924 252309 320398 491381 304395 304393 278749 92155 89463 246789 251251 492366 494121 285230 291009 453234 132626 313135 492022 284293 493851 279831 282145 300823 85482 274477 303693 65142 270968 492849 491568 281301 303439 284235 275579 278773 321468 491958 495893 491110 291111 492970 322069 324121 321317 288755 133240 92689 492895 283297 273347 274523 312217 290171 308537 273341 89456 271095 241920 490101 490161 490669 298638 288735 491821 453050 283255 277779 283694 288731 295347 492440 317657 493089 283253 307937 326614 288853 319512 252818 325603 274603 252307 263532 262189 492458 492525 276222 288699 492767 492178 282187 492956 493901 281363 264365 493322 277683 235323 132687 84663 270710 86468 246783 133977 251267 93609 313015 101595 495476 301981 490461 104833 493757 228738 79993 494030 305393 318625 235326 132119 248204 251265 229781 115950 115949 309771 244866 244858 300881 287637 493361 492527 493473 490785 110767 254859 129227 493274 491154 287687 287685 492837 70241 491808 291005 281345 326313 288667 491566 490549 490280 291033 110057 95637 320214 277755 492917 305830 110777 272673 492674 492676 276096 287663 289108 321903 301993 494447 319256 273369 490874 277757 286621 310066 264085 309627 248742 306513 273014 270496 65128 495209 66243 318986 84119 85346 492417 108918 78439 66245 251277 116129 87608 86510 288759 319455 246843 494016 235347 83567 121027 68401 494197 129951 243475 129953 228715 66196 88725 247881 65117 274463 83546 223181 223180 115321 493081 274467 274469 274471 303413 237506 493376 304357 306347 306349 227009 86583 494647 303669 60343 228791 86515 86619 312650 59204 324111 122948 110235 88733 232311 309773 321185 287635 262058 85424 306345 274473 494196 116443 312943 277029 493275 254797 228786 135013 102044 490880 494847 494727 275958 295343 282303 277679 284271 305375 102036 102034 273405 490642 490641 288845 42531 244579 109677 116996 246723 281309 111861 306465 303451 273990 279863 491481 295357 89461 490674 490600 490489 304413 492978 302268 493247 493115 493250 290165 290163 318629 493156 271356 326982 496087 493681 244535 246123 493647 274559 280774 494240 273357 92182 277667 277669 492578 492143 274509 330621 274323 493193 493194 493316 493317 117715 489798 270063 251235 87616 284383 64386 276590 495567 90568 96831 286595 493290 108376 305385 324109 274577 94576 494396 491222 493509 63820 273020 492288 491361 492560 288120 281453 279871 264944 302039 282267 496001 492648 493554 284331 279861 281431 494876 103768 107633 281333 304165 491768 63857 273349 275551 92698 270087 283301 323692 494236 321187 279893 282950 282812 494736 494401 279841 490741 308551 492448 494090 490704 318963 318964 490487 273812 282243 493541 490182 320220 322889 492474 493050 278250 274561 287661 261528 321311 290141 290143 493035 276288 92183 492969 491080 302278 321915 304417 129249 86476 108366 129946 41444 283195 275183 326311 492514 492513 274557 281405 326606 89457 282247 495215 277661 303435 330611 320934 281547 282776 294204 410530 318631 288741 490448 301953 272667 273808 263675 274459 274457 92150 491857 491834 296455 272639 493994 290275 263667 272864 263665 491126 32566 490169 490170 92703 110755 110754 254871 318659 108890 491200 290913 303661 493714 279853 264102 274455 394776 295275 392116 272192 494677 264403 89474 274319 282115 269983 271165 303663 277671 228828 284279 261257 491978 490682 471084 263811 322760 330609 288765 304528 490490 492298 116432 84757 494201 271085 271137 493052 273335 492553 495816 496047 320244 492743 490782 290367 273064 323876 493950 493079 294539 283271 493529 283161 282209 329873 305411 493562 303599 283171 490567 491702 247286 85492 291133 493389 281415 272370 281307 492061 254837 308527 493296 274491 492353 493761 283291 283313 493917 263807 278715 269945 392578 278777 263106 492058 279829 284269 318739 282121 288857 318781 276782 269989 304177 326339 295124 491320 491109 304175 287717 309791 491960 493008 308703 492783 491982 492977 263795 492913 305391 305389 493753 321345 490821 287707 272300 272298 492621 495655 273982 318983 493442 284303 99325 490029 492593 491742 263805 490909 286445 493181 493021 492502 308523 308525 282211 263360 254835 493491 288154 308553 491928 495037 490611 491088 110052 278713 494721 490878 284285 281395 110768 287619 304245 304247 492423 304474 304287 304285 272611 490902 264932 318971 273381 322085 269961 493354 261113 492562 321923 490171 492048 234224 269931 264543 492876 489883 494561 279296 367458 92163 272850 246530 92701 117068 288837 246175 109669 306493 94572 247853 295277 293836 128661 301999 287611 301985 290193 271644 59753 246127 270656 240932 102026 326984 301987 129984 493776 301961 308721 320760 271722 304311 227561 493527 281359 263677 229868 61057 281367 246799 493162 104869 238688 246173 246829 247504 492354 491261 235324 86520 492889 237573 244615 300801 312985 255597 247488 301903 247893 63852 63853 307949 64393 95647 112456 287374 492341 269949 491366 422542 115942 264419 493292 247863 133907 282109 273367 94558 278747 307318 307316 65105 254813 84613 306467 494233 63835 64364 494033 304894 65133 89449 493696 493263 300889 294611 108340 92321 288719 282133 281349 17990 65138 250503 492687 492688 492772 416880 493437 325587 271814 63834 282608 116509 296802 271109 427978 238602 320207 492141 279911 288781 274938 306521 313121 273403 128673 244551 291127 282027 274511 492577 90582 108381 246031 63818 282039 493793 490474 92142 241917 241918 117080 90735 319346 308543 308541 288841 492610 262796 493836 489949 490062 318671 307809 495921 300951 109665 111845 101601 92188 245979 270985 307977 301907 270067 63839 246059 222046 116990 319318 306449 270025 491997 492993 306517 270047 312265 108337 283173 246121 307935 263534 491127 493132 289630 491998 288705 288757 287711 276080 493501 246707 100309 495167 303547 495535 495437 312397 235353 319345 302007 53286 53285 287557 308671 490358 262161 300793 270215 291424 246871 76603 129225 23686 491762 92187 89482 269933 269790 102045 101600 304355 284339 291324 129945 92143 90484 226457 246053 270650 263092 291007 308731 398410 307997 63815 129961 495841 269708 95650 92696 115946 247867 306469 262179 117084 493209 269963 284301 324107 492732 306313 272593 318777 490522 287719 303503 94571 385510 495634 245478 493611 329875 281503 492920 322987 493277 492337 281311 490790 490789 285162 274325 274531 321909 271840 382524 277031 274451 274447 264533 276636 300893 492286 493461 272434 492262 493280 320920 263350 491045 290905 492841 253730 263793 306343 276106 272852 312257 287627 493282 264076 291244 492796 387878 283231 110725 303453 492128 490981 304141 291135 281527 493127 295345 296467 290201 490299 490301 290409 262818 302860 491042 496176 89478 261067 261069 288679 490757 287432 493520 281451 493649 278799 283227 493357 85360 255938 492738 273325 277033 111831 493480 290897 290901 288799 288805 274465 493082 282221 492418 494110 283764 282780 491243 492565 278737 491482 492848 274485 287679 322057 495935 263651 276929 281467 495721 303633 325595 325599 291113 496007 304231 273333 495887 324097 304171 282261 282263 291035 326806 493927 282287 492877 493593 493594 326626 491398 492716 303383 425154 493953 276218 493756 283155 270924 305106 398426 304331 270964 284273 281449 282179 492742 278755 64404 228689 270021 290185 278821 284259 322877 495556 304363 283139 278783 290395 282143 282141 493651 320187 282237 263637 329889 290909 316921 321895 275181 494009 317659 303409 306491 104316 88182 492303 493609 270011 302023 320190 491102 493610 295349 286587 491360 290177 305239 305241 491562 307981 283141 492880 290385 303677 303501 269915 261261 269895 493196 492082 281317 282305 493717 291496 288729 273365 312221 325627 308549 318970 110237 89477 264523 322891 492489 304265 304267 288779 264391 492568 492622 291031 319442 491278 309769 494961 255539 321907 246037 322995 288761 95651 282309 428864 491902 490745 94531 94530 92193 490430 490080 325607 278789 261109 273824 493074 282213 493001 492120 279867 496296 318753 308533 271424 492583 492008 492567 491048 305383 94545 317649 492581 281385 492957 281403 281371 282093 492719 434344 493691 83723 312391 277045 290883 290881 493362 492282 492034 279819 274575 86501 273353 84169 86581 312945 490767 492607 263797 493451 491478 324117 263368 493341 266569 493522 95829 492114 86504 492735 279817 492698 29604 29606 492605 84067 116433 84629 84293 236409 84713 261269 296457 490081 490529 490530 490531 288849 288847 277334 276778 274543 262794 288839 261115 321347 263531 262810 322873 286451 492797 275187 492442 291175 493516 288801 273319 290389 495001 282033 274327 277049 303607 291169 228716 84161 83569 85419 273413 278809 86561 61044 279839 129962 303423 290151 282099 282073 274589 493929 92138 306485 282071 305377 491069 228685 132627 237566 84185 90561 291171 330603 294557 294559 294561 283760 283758 110778 274481 288725 276925 492836 281463 492983 300887 319453 318725 290161 282197 492634 305417 318757 290419 232314 246055 238049 119437 492018 281553 493607 281481 464718 493722 492103 84619 76533 131050 307811 492495 287625 271442 323694 271430 263693 283273 491081 290135 96824 495116 324085 324083 290919 290915 489800 276212 428714 274519 307989 495156 108884 262171 108885 281489 493172 273371 288763 59213 270181 303932 303930 493153 490630 289098 299099 290927 491741 269999 320766 325617 303659 283269 105608 84184 288102 309336 247827 492367 261111 400110 312090 270103 270027 490961 398316 88173 84193 272000 283032 246853 246183 246811 84665 56243 275344 21846 21845 84633 84632 86467 276923 261117 304373 2965 44403 493861 493289 283315 312389 277765 275559 492725 318779 307933 303421 88734 261061 304163 304161 283263 108883 84128 84129 83580 84624 84623 491522 493810 223167 59214 400718 401454 255611 491047 279837 290205 305413 490675 308535 285721 414098 415618 493873 493874 491626 278797 277043 324802 492542 492381 491914 265104 265110 304333 66206 330607 305363 493141 260898 282097 492002 261253 307803 493252 281299 287709 246881 121110 271117 418196 418304 286617 493087 86511 306499 471074 491782 398610 398594 307999 492663 318922 493741 492122 492126 283175 489870 490159 303449 271632 295353 326355 295351 495176 274587 321355 321353 494194 85497 263695 110759 80138 84668 116431 108882 304291 270053 321893 283137 299097 320199 283223 278817 278815 490847 321327 493061 492673 493553 492237 288665 321359 247811 491746 263530 261868 253421 288663 66248 66249 243419 303976 284379 318759 278743 319513 493155 291109 280752 287603 491826 281439 272922 278805 288717 304147 493829 223190 133233 222050 246753 492037 303555 263687 492840 283135 275844 94575 319520 319521 307801 295303 296379 290865 277023 277021 305379 279923 289656 495575 494154 312207 86507 107627 229858 63841 84621 271982 263528 278753 303577 320198 304281 493297 318639 108387 492183 325583 274569 490528 291472 228708 109654 129245 492223 272661 269897 492835 260872 319508 323698 493349 290341 304159 306323 431834 495761 274321 490557 277769 492754 490808 493242 304167 277312 279891 274483 491806 273940 304347 265757 274551 108938 108937 108363 428582 287581 64398 303553 494976 492903 272605 246165 84759 123601 86459 85576 86987 85478 307983 319517 321159 283285 321349 493276 284265 296463 493309 296511 492890 492594 284381 305217 269997 492770 492021 298048 321357 319324 305415 245456 59208 35522 320191 121102 75400 86591 425890 492879 133922 87403 76055 495536 319260 322077 325579 273012 326315 493770 287721 324135 291276 490371 277039 284289 308559 281483 495656 322059 281884 494070 283177 261055 281331 490901 492809 490702 493199 281441 318960 301899 66241 104320 235297 63801 17764 83570 318665 287667 494234 271133 302888 116985 84635 83305 88191 303609 493367 283157 494397 283187 492615 108922 492322 278787 283215 305423 303405 277035 291125 265759 254817 320935 492737 494230 264413 303635 493801 493797 319354 319347 282051 494554 282219 274549 255613 495036 304389 91587 283742 246135 288661 496394 492101 493834 304131 495495 281327 493930 272671 492566 304283 493400 303539 271169 271167 272609 321301 491462 494261 291650 269965 290175 283217 20038 492042 493197 279865 494276 490398 254847 254825 290149 94534 275573 261898 92702 297364 297366 387962 244635 122941 250499 492080 322081 76608 236412 246823 282281 282189 307813 84509 270654 65114 494167 303521 281391 65111 271135 304253 304187 272463 305355 303549 490862 307963 305381 276947 261083 374210 287695 270101 494073 89471 263635 128665 77417 325619 325621 83490 491678 492117 275218 325589 88190 304241 300953 271159 281555 88187 86578 303441 282185 325832 320438 492462 284287 301947 303639 120549 81425 296515 241413 322879 494007 493641 308693 318627 492575 298828 495594 496114 287601 112009 89378 263803 271908 437168 290895 291039 294607 491838 281365 492762 85454 5925 276927 493327 263671 229866 264389 288769 326359 303505 272653 271638 320212 228737 228735 129979 495201 64399 84121 232298 308906 493407 264381 277771 76129 236403 112454 247857 326078 274006 95654 66203 81430 96816 85483 109674 236406 54116 19653 323693 304321 318741 287677 274591 283225 11846 59209 84164 86454 321486 290125 279859 492953 326349 270636 271175 279899 270171 308428 308420 64353 306515 312754 493360 490949 490450 271171 491064 270165 269893 492157 319454 304403 223146 111863 274461 281509 493689 128658 102040 246721 320933 322903 283191 65099 80697 64397 491438 94546 290921 108899 285877 491477 304299 270023 493330 490922 263643 490945 283153 492645 270514 270091 84755 62329 316919 241970 241969 290391 290431 490607 490661 270093 303563 85575 61061 86503 107628 64403 323488 84747 270029 111862 309074 33107 84743 235341 84674 251229 251231 236395 84751 84750 240911 492642 270342 245450 491002 303395 281303 492802 290157 290155 493076 290415 263641 263639 75399 278572 490635 492636 287649 108934 319284 490771 303665 90483 272990 250501 313674 101594 54115 84664 291173 288751 86579 83724 75398 251239 65097 130289 131054 247845 287579 262798 288773 270191 494407 287458 304405 245963 270340 493916 303531 303529 306756 236408 86477 306519 84746 493355 303429 303431 247847 85329 76049 76048 264371 274501 78443 84718 264545 129244 108383 83673 88644 310729 300849 84188 490544 492967 306461 306463 300883 243431 88185 288791 490458 84057 86475 84165 290911 87035 495447 309799 308725 85345 20725 303579 321323 320248 323492 492858 494367 494207 324123 492650 493870 255567 493121 281471 303591 495077 246139 282295 282297 282229 84070 312967 489918 89467 493682 132118 253415 96825 64363 66215 235350 235349 492197 325280 264075 428766 85452 246103 243519 232289 86498 88715 65091 304339 65129 283309 303427 86517 492949 116438 101597 86582 66209 52278 76604 269899 280788 277653 322875 277781 303519 281357 493381 272633 261081 121097 108385 107443 108364 121105 107593 229860 84195 84127 250754 84042 84742 88101 270189 317651 493239 492753 110776 104873 119073 117065 491331 81427 38484 490447 109623 300935 492280 493101 247292 281335 59207 83561 492242 108346 318982 281447 274497 281537 287643 88657 491065 269991 492994 283275 301979 308436 494527 271157 304421 84622 62330 84610 492800 272312 89465 92146 291037 489994 288673 490705 254863 263787 253429 253427 306341 307995 495596 285707 491282 94539 291121 492882 254831 492768 63849 84627 274533 246819 283189 303499 490504 493189 96185 491000 263525 284267 492554 307312 312279 312953 238937 89451 89450 286597 287741 287743 320924 490918 303593 282798 250198 89469 289036 281421 273331 272122 262808 264385 290293 290295 493157 492839 263801 270069 75401 108384 134151 312969 18564 236400 246825 13478 67849 59216 108370 490488 491448 108923 111835 111834 274311 273329 302314 274740 492166 304335 287755 324093 304431 303455 492855 321313 474516 86455 86457 283730 303433 286842 282119 493581 495561 304125 493837 274521 494113 490640 274008 493183 494967 272591 491606 492408 264535 491101 290281 278769 84671 104317 14804 288112 291666 272635 287703 320992 490168 255541 274309 282183 109667 491600 38483 116445 235334 235333 102019 14803 270338 262195 303389 110758 238682 110721 33110 33106 23683 23684 246861 132629 273568 495914 109664 472972 246153 100886 133983 303691 76599 321177 244565 84735 247807 80137 69137 306451 495175 129250 232041 102039 272677 66221 229859 95645 322041 277025 132117 86448 119381 492327 246057 64370 117079 247883 84689 492863 240905 246869 243531 264521 89453 95634 273375 102029 495927 63856 117785 236417 85353 63828 232319 235336 270844 322051 85487 129251 312993 283199 308416 491640 305399 305401 305345 117081 492801 494634 253397 325585 91596 113004 95677 495056 253399 101153 492818 64401 282047 490887 322039 279847 322037 493336 493809 111843 251237 270922 303653 319468 122947 284281 288803 274449 246805 227193 86502 226566 271818 302017 135015 306481 312385 273383 76865 88731 303695 87169 284277 301971 84197 247861 274307 272438 304239 246703 65098 320915 494514 95697 282291 277248 135014 271103 291163 320794 325902 329877 248198 106711 233085 322881 322883 270989 277645 282139 282257 270290 82537 84736 65139 312999 84683 84684 3 116991 61045 270085 271131 62217 88184 238685 330629 496354 263520 490034 450226 491446 110729 94543 61042 84637 84123 104315 65115 2966 117897 62219 76607 304476 307951 243523 248756 284253 300869 229774 229773 312281 66234 88176 59937 136849 85356 65145 32563 284247 492757 223179 223178 88357 131045 246033 250529 273650 63829 267824 235304 494997 116135 235327 302055 303543 303545 313023 318663 222048 222049 270073 323324 282181 281505 262205 115884 246803 128654 235306 126331 235289 246909 303425 61054 132685 132688 288789 86523 66216 76866 243427 308735 495456 270966 89379 250222 321351 305044 303381 85447 44406 45554 129226 59385 131086 128656 128655 277027 135022 231978 264379 86473 228787 65541 312989 246065 246067 33108 306453 86509 88094 84719 84196 129942 66217 116983 133179 100885 95635 243232 496314 87610 129948 492812 65543 65137 493762 121849 251281 131053 84287 238684 250531 77340 243260 84666 83579 244621 64402 64389 241597 250515 490470 109666 279300 117077 312395 246827 85348 84615 84593 88649 88194 237565 113297 403666 226559 302053 122950 235332 85480 76051 86518 66242 300949 101705 116441 305213 64405 244587 228690 84209 250527 105603 312981 318977 318976 246725 306457 247859 65094 65095 228730 41443 84662 491944 108345 108348 304377 86474 246719 304237 324119 312393 117714 63832 85449 234219 250505 236394 65143 237497 86617 66225 129987 306501 52277 132686 102037 273415 493970 26836 246179 246731 270276 270282 270286 320206 282796 247895 133979 133980 63819 66229 235305 235291 88095 84117 312387 132623 65121 262062 60341 236404 312987 306487 223170 312383 223171 129253 278739 323031 129950 492655 282800 119455 119453 119452 119451 131063 490942 309789 115941 241916 132625 246711 95678 117791 273564 301991 93927 491527 491526 420144 420036 494596 270185 270125 303689 305351 248194 131060 237503 494887 121099 121098 237579 238687 282151 269698 236414 102025 95698 490888 65123 271658 494881 115876 86576 135021 121842 246849 62697 243455 324726 271762 493450 495016 270187 238601 108894 104321 129956 66226 87421 319334 309442 281355 270908 89475 265100 278729 495367 326343 397858 133171 247120 117078 90567 271754 271750 306455 320420 313139 94577 132123 26835 303385 303387 86519 84166 86433 86451 84199 235339 109675 300813 303419 496096 318980 235342 119374 264423 303371 303373 312979 61049 243411 270209 84126 236416 235294 307797 235299 66218 106709 88102 113849 117069 320762 275182 109653 236413 235295 90566 92162 92176 290131 279835 322061 264409 493676 85515 231989 235298 318713 318737 121100 493097 276951 322063 271704 496161 311650 86985 228729 95646 495601 236393 302001 131067 325593 76611 231621 247817 88722 494476 246149 83543 88195 270035 261267 264395 304243 287633 492938 244585 117790 244503 244505 83575 111852 85350 111851 491190 94566 84744 76059 243495 306772 306766 495096 300943 495834 282201 228701 64360 301931 21842 281521 228300 237501 270912 270910 494516 495727 131058 228734 255573 324422 312223 495681 83489 76601 275575 95669 88098 85475 119922 313123 232296 279825 235344 495436 270003 270350 291167 304251 304249 283004 492074 276760 241968 493090 250756 83559 83558 83571 84202 84962 88167 88163 88165 85491 86521 269941 252299 246863 102047 64387 494281 66232 491150 101535 78448 86590 232288 133187 247302 133183 304419 490997 493571 277647 96826 231993 494996 495517 122940 85495 228692 65103 301925 305221 305116 133178 132634 132628 132125 122937 232013 246093 246091 243477 307823 66200 32564 59201 119373 312642 132689 104868 119456 123787 271129 59938 246023 109655 235337 281399 246015 20726 13477 300947 278232 76609 83572 272679 316917 66228 320913 288825 494356 274812 492234 278761 494521 324099 274535 270203 290273 495832 270051 281469 367826 306523 83576 84749 102049 244489 244491 269987 244573 282117 121101 246877 102043 115886 492277 261255 493887 494190 494637 279927 491480 282195 490941 132680 304425 304423 303515 323326 490915 302041 270213 303587 265753 264188 494361 493677 323494 288703 287705 491306 280764 269939 492062 324720 492690 492729 269935 269993 274565 269919 281573 235340 63846 84626 115878 244557 246727 93929 270049 306696 493513 330613 92186 281347 84189 84115 244611 493122 283197 494837 300945 262159 302019 313005 235345 309787 64359 77343 77345 307971 271119 494716 320250 88732 119376 129947 66223 264547 88196 85513 115875 87609 109662 84183 303667 320249 494557 243423 243421 240941 302870 300877 312259 244008 492535 301901 306509 20034 246029 80693 82529 5922 237569 237498 115885 286449 305778 65096 81433 81431 284349 84963 223195 84620 44404 303415 84661 17762 84612 228727 223189 276696 493210 271087 240934 493034 131087 63840 288817 288815 308980 231977 232003 302009 80144 84761 246791 109671 309142 84669 243407 309797 104318 17986 246887 229842 88743 320258 320742 84631 84594 84206 76047 86469 84055 26644 26643 245991 283305 226089 493315 274453 270902 320215 301983 273407 85344 244593 110756 45557 45558 19650 26646 65100 65101 82385 302003 84076 236410 66208 302037 492928 493434 492929 271143 492520 312213 312211 301897 85471 275541 247839 238681 102033 102015 318729 84160 103767 100882 111838 109672 495674 66246 237570 84685 100890 495316 108891 86596 104870 83565 83550 108892 133181 281437 290929 109652 66207 75577 65122 313003 313001 108888 108929 493557 77341 132633 270195 109635 84618 128657 244591 305211 236397 228827 245981 245983 245985 245987 270708 305219 78451 244513 244515 309795 303621 490505 65144 101593 304293 283241 64354 300937 244583 232301 493531 492916 304429 319353 115874 229778 236407 255599 300831 491942 491909 326321 287621 281369 110766 271702 244595 84721 321488 226464 271127 490794 290899 282125 282127 84687 228691 100887 85349 250774 85372 66214 270179 121025 231982 301997 243276 325597 282203 491342 491344 392394 223151 228788 112449 89390 306750 273399 299093 287184 284407 272459 253391 321528 246859 94529 93937 133177 84198 88096 246865 63848 234220 234221 234222 234223 86595 226562 83551 84124 109661 247901 86584 76050 312399 250543 246021 108339 491946 302027 270344 75946 86506 64408 86527 116128 81429 87404 133231 128699 87353 300855 88093 312381 492194 111832 496295 121106 319478 494061 303495 304297 320188 303393 282235 303623 309793 271153 312975 243399 495647 84741 246025 88168 236398 109673 116437 84673 88159 84059 264940 85472 83544 131052 89391 89388 85371 88653 228718 88104 490065 326341 493396 491035 490784 277787 262193 65132 496255 290323 491280 387926 256130 489877 94556 90495 269702 264184 270057 270059 305245 255565 493036 325350 272200 262181 322983 279855 491242 286607 324087 326353 256126 312219 490968 489843 385476 491840 286627 284233 300821 270089 269981 272601 274599 324081 95673 282163 320919 283185 277675 493781 279823 274513 112457 112458 90579 90578 275854 269881 261071 90486 90485 494877 283251 490562 492921 491241 94541 288164 276088 493530 111837 89448 283133 493120 254843 493921 491586 281377 279887 274808 492778 492248 493313 283235 491558 270193 495241 279843 279873 273102 245965 274503 270484 281531 319350 108927 321343 322997 300931 324105 324103 493159 290303 269921 283163 282265 110724 110723 288727 254819 490882 288863 304391 278819 492393 263647 272659 493321 282105 492302 288851 495416 495375 491345 108886 90490 252295 492526 277346 492221 304522 277685 495607 284275 272986 275118 261107 482408 271093 281417 482415 291137 325615 325613 492968 305365 319450 281569 281539 269883 287607 304361 326337 493721 496074 265465 282974 275186 492662 281381 493489 290207 290123 290307 492715 276586 322742 302266 329881 291298 287613 276915 271958 282193 282191 290383 493235 281323 492360 494074 281419 320392 108347 277037 263655 298786 491087 288733 490760 290173 326335 287673 493477 263629 262177 322071 495954 276949 291654 262786 277773 282311 272118 264210 262221 489882 303517 273393 270133 275370 290381 275185 112450 110728 416824 283167 493637 493976 63838 284359 254865 491400 121112 275563 252319 264084 274303 493701 306507 66230 85479 85357 306527 248566 85352 237571 129989 76053 85473 301927 301929 326331 318965 492807 493075 326319 490931 105605 66227 246069 247843 59212 92169 65106 228688 313129 300879 86529 244619 308547 493449 281383 273323 318731 114953 312971 312973 246857 116994 84748 101596 306525 246769 11844 82530 86553 282029 87415 129957 493195 80143 109676 83541 281511 318956 318954 303507 304107 244533 278781 223176 88193 238686 102046 247450 104319 304235 281315 494117 281479 66220 306483 119457 300797 492480 304486 78521 228684 495876 75396 232297 493441 85354 229775 83540 86464 492713 64396 223162 329895 288807 223183 84192 86449 86450 84114 318707 290181 84041 61259 86600 263681 318967 319514 494247 282249 330615 88721 247320 491447 491465 491424 139057 84056 101609 121393 312245 88201 88183 88738 64391 85451 66233 307821 83539 272675 65136 85343 84207 87607 65092 110059 232042 36034 76531 100877 108336 86525 238678 86559 237575 494156 493569 495752 110730 476518 493713 129219 237504 238676 238677 247801 92175 303611 303619 493117 303401 85369 303399 64394 5926 84658 85368 63847 321917 89489 100880 100879 93871 85488 274012 270019 318888 490998 303447 303445 273612 300833 83545 290191 88735 11843 301973 282275 116436 236415 42532 232031 116987 116988 275547 493941 493073 290762 290183 88711 306505 263689 494114 320216 122944 493149 321921 321919 86463 89494 99509 490840 238683 116514 274024 264411 88719 232007 115689 301424 85366 83562 84081 281401 491161 64375 64409 88757 129960 94549 269995 323021 122953 251273 84073 92697 96818 88172 84611 281507 269967 281519 304115 267272 492040 282175 400754 84071 84062 64392 232318 92178 490514 494956 495161 246001 245993 246171 223163 262207 129248 246813 95667 270207 270201 108335 312983 84203 84745 85425 277047 303417 63822 494076 62881 312247 312249 116430 308675 301939 275108 33109 243218 246867 85421 106708 88760 246895 246907 319348 290179 88714 88713 84656 246061 131069 131083 61046 323019 243405 246161 63850 63851 106707 80145 62220 272669 300799 110764 83568 305215 116435 246749 245977 287751 246751 288691 246119 494927 302336 308699 496041 321165 304181 326054 322095 229780 64362 306317 272208 102035 65124 304359 495736 491437 291073 491434 303605 276596 90555 494161 320264 325605 285873 285871 80177 131092 228722 229864 135016 243270 495321 90580 494221 491966 235591 66199 272934 26838 495874 270205 247849 247855 17110 92705 108332 307815 64365 63845 235343 493229 65125 66235 246167 492989 63837 85455 235346 244575 494241 116513 122945 116508 322049 308340 104499 92164 254851 133911 133910 496335 262072 272641 492501 128697 307817 63823 63827 135991 304307 253403 329885 309779 273363 492154 274441 301959 246109 139793 111860 123785 496434 240893 306503 85477 322766 320213 490958 229879 243457 271125 113003 86557 238674 88729 313137 20037 59205 99510 304427 262197 228819 324398 90564 85367 20722 232044 312283 102809 237568 117067 75393 61047 106713 246775 88736 246773 88795 86508 228683 240931 312991 246077 107261 133176 86470 75394 111850 83584 246915 120554 493936 88761 300853 270658 231991 304179 287691 319516 330605 288795 271155 102032 92159 244545 264425 281491 281493 253405 52274 89377 318972 307947 287689 495636 495632 270898 303651 319352 319351 84294 133239 108362 291139 291141 298646 474404 281413 246705 92160 320984 305223 133906 84667 235589 307953 307955 301963 318979 300897 244541 120545 240935 83564 84595 84607 84608 83555 88097 221489 232295 307793 246027 60673 103763 246841 131089 274515 131090 88205 232292 78440 78441 229843 232291 84715 85351 250519 246797 86528 85373 63811 88105 120105 84137 84075 83556 226567 303375 277051 318743 273010 288785 490710 294555 276268 281501 226460 494301 276152 493002 121108 232294 85476 85418 494836 244637 229769 309781 95641 312949 115505 228739 229840 94548 86593 86587 84186 88103 283213 319320 76605 229776 64407 434084 288689 287599 310070 302021 302033 246897 283247 283245 493439 264541 84120 493033 493847 83121 63810 87619 87618 65110 110238 300803 95668 320209 320210 320257 308434 271105 491265 491266 244501 283734 112455 121103 121104 84754 65126 222044 117070 132143 133909 318916 312995 235296 235307 61041 95450 276520 252303 493201 59206 103766 86575 246917 232008 492102 321171 271123 323029 274475 108344 432202 316923 228164 262187 85450 66231 322093 254799 115948 304143 110732 110733 255581 262157 494917 246159 302320 283277 250517 302005 495714 307320 306698 270644 64400 232293 79441 19654 232299 230881 246889 321169 308691 493967 228822 271657 282217 308904 306335 304145 243417 88747 406110 398358 322087 285186 287657 270097 270095 84511 236401 223197 324406 303657 246809 84064 281461 322089 287749 303497 304173 247823 84660 84659 84201 85580 322981 244567 243413 64395 102042 88177 282205 495801 490944 304149 250202 236399 88740 115883 306459 492888 84614 88175 84072 61051 65140 88716 88717 312947 88160 61060 496081 300851 270516 84077 84063 223160 223161 490921 66219 66195 308970 222060 255607 263527 105235 59210 229841 83552 76606 83566 65090 238675 86471 84634 229779 278803 270045 492421 492378 65089 320247 287042 491862 255569 490982 94713 76532 303525 495376 492206 495807 88741 88742 235593 300873 243403 300835 88650 129959 296517 278791 65519 65517 110781 494601 288813 87219 82533 236425 303391 306315 273397 495269 66205 63817 85481 312255 63844 312253 272663 320923 282279 309344 495356 492922 329883 92147 226569 240933 120553 276656 496121 300811 495961 116995 51670 235592 493519 491011 298236 94557 90492 492142 291414 283237 281545 304337 377208 493536 432272 303681 308529 276644 318721 108361 274539 254845 261073 66224 492375 95670 261864 495672 94563 109649 109650 108342 325170 266532 494874 272952 265765 490989 491901 287545 109628 263799 389766 281379 491204 263683 495813 281339 279845 493850 493240 279889 491062 270031 284249 97105 279286 491195 284409 92174 111842 90493 108917 491355 491382 100307 403850 492528 262175 94553 94579 90496 99865 262082 493249 493177 282283 490807 285887 490651 491008 491202 295361 432088 432032 283261 482410 303567 491358 291306 288737 490510 287270 491922 296393 491397 491240 489096 91103 98649 300839 287072 491904 491277 17989 264529 491701 491757 491021 299833 491602 491326 110769 277763 274315 264078 291466 490122 492301 273351 492570 282131 272382 264387 321179 305373 287623 274581 274579 290277 329879 276943 278731 321466 270987 279883 493261 285891 398132 491938 95640 322985 495081 319349 493135 325577 303511 303513 303597 92184 490236 490382 491386 111830 491864 290393 306337 110054 89381 474356 101599 492759 278775 274527 490811 290147 303403 269903 264072 453182 103177 105609 289648 491954 277767 303533 323691 493821 276941 493069 493496 277681 496136 282251 95265 492517 290937 490509 490048 300795 35525 88718 88720 496234 493690 273016 308685 490518 281551 304151 276931 272603 300939 270055 269700 86986 275360 76057 129982 54118 26645 87237 85457 84079 66194 247821 86592 287410 107630 95649 279833 272597 261524 274507 494674 493009 492394 274525 135623 64406 63821 131049 84752 21844 21843 35526 80913 228820 228821 278785 88189 88744 88647 129983 86556 86555 229839 84200 109651 85355 235303 492728 111849 111848 111829 246075 64366 77347 17766 281393 85456 102038 82531 100870 65104 109657 64390 247819 85486 84125 251275 235322 63825 85364 85363 75395 84168 275222 84167 88192 84187 102048 489881 428496 261526 326361 492338 434950 93059 99685 91471 277657 318657 490585 286603 292552 110741 491624 266536 283169 264186 283690 281373 493910 272394 496274 494101 300805 110055 89385 89387 268558 281343 494477 303637 283002 274585 319290 319292 281329 296399 296397 287563 281319 496135 91585 326804 326802 326800 493370 319519 287617 493063 490638 492522 304918 495735 274571 304397 325625 490520 277783 482409 284305 254823 274301 275545 495775 324095 493727 254853 281427 96819 95652 305395 305409 318633 288855 281525 304327 306327 401822 492046 274317 264525 261079 490209 415802 285855 285857 261896 317653 493287 493923 275184 274597 263669 264079 303509 322989 490637 94551 253425 492692 490629 490688 296401 482411 490225 291314 493479 426074 269951 287659 275549 492437 318974 326351 492463 252321 95270 95269 284351 304109 303675 493882 490904 277663 287697 320911 330617 254879 492457 305762 492701 263809 288767 318950 95713 491341 255533 89383 296459 492909 490721 490701 278566 287641 288783 304369 63813 244581 90575 493841 275567 264531 261894 284241 303407 272924 281297 281295 281293 281291 308539 280776 266534 300861 492997 492996 491563 272655 321002 326632 304183 291149 261085 304323 329871 321905 273826 319462 281497 323696 321536 51666 61059 60339 493233 281445 275555 275557 493596 492810 255563 492617 304169 303537 490798 306331 288833 102027 63812 490848 284413 491784 287046 281894 493729 287450 269925 269923 319451 492597 492600 493170 290347 418932 490480 291063 495994 290279 274305 95711 94570 101536 284295 492999 284371 90494 109633 109632 109631 471400 90569 320927 490971 272182 493881 493490 288739 284367 291003 482403 96822 287757 495335 303655 290271 306329 303595 275577 277761 320912 304113 318975 490875 274299 431168 295291 285851 290365 491557 284385 290439 281565 261065 320828 326363 273796 280772 304305 304303 89483 287561 490302 89384 98652 271147 284365 252297 274198 493896 493890 90583 285859 492714 89466 99575 110772 110771 389718 286599 95672 95671 261259 493636 94561 491051 489920 493621 279881 278823 494607 279913 493080 91595 490861 493796 228163 91586 277500 493521 320255 320254 492981 283249 491994 492775 330627 289642 319518 490019 296493 490127 491363 275180 254839 272613 290195 303443 287615 305357 321901 252291 492538 492537 300927 304411 302029 495592 269891 319476 304189 288753 490797 273395 281567 491304 491302 287733 284357 264077 269752 287631 290676 100305 92691 491194 89484 89389 491461 270033 275543 282227 495255 304345 492755 275569 306321 263080 308545 265761 288711 304277 283311 287629 271832 304263 434030 305353 264074 318761 272090 491968 494049 493241 494050 261892 493012 288823 492647 493092 304157 110770 108943 263627 273345 273343 274517 494896 492608 285194 286266 434214 491781 491262 491797 312263 261057 110760 95719 492703 93928 252814 492955 92177 263663 264383 288771 284291 287701 283287 492473 305369 305371 304261 309332 492258 288659 95662 287547 96820 110056 287364 385660 282271 290167 323699 493436 492695 273195 274194 287573 95663 90576 282245 491197 263659 289090 290137 491001 272657 263645 288859 287693 493397 493167 278733 492222 281409 291155 286593 307805 318733 94535 108367 66197 294563 93058 93057 95680 286447 491244 278723 493010 493319 282598 324958 290744 291045 95661 492661 303565 304409 493421 304279 278727 493996 272617 272625 492623 261105 307973 495287 96815 108889 273932 495397 493221 494237 252315 92690 288715 281523 318717 318719 326317 493049 255601 288861 272621 495401 318961 304912 252305 278721 305407 273828 491149 491201 290674 303437 491981 492246 95712 281541 304275 491118 288777 89380 263522 493130 427944 90601 254803 254801 261095 305359 305361 492503 493119 89496 272599 303575 495773 305405 274593 282137 305403 320936 281533 491941 93887 93886 112417 111859 281487 108349 89479 291159 291051 284604 284606 492477 490010 290925 491608 287713 287715 284369 284317 284319 491837 284642 284646 287585 264415 254821 94554 90581 438272 89382 90558 261273 283303 235321 235308 92700 112451 303523 287675 318645 401490 287699 275553 279875 270005 459364 272595 326357 282225 300807 99684 300809 300863 254873 252313 290197 305421 290770 296395 108924 286838 286822 489876 262215 477438 90604 492181 255589 255553 90572 90573 272950 272946 264369 284239 304133 283289 494594 306333 90487 493279 263789 304367 282129 236402 493981 492138 262534 276236 276228 295299 312977 321464 321163 492898 492901 276276 304387 282067 492932 492930 286816 284347 496247 274553 321331 321315 281561 108945 108881 319452 94562 100874 282075 496336 492861 492498 493393 283201 283295 282165 318653 282255 290375 298659 492343 277665 279885 277687 492637 274818 281513 272583 492657 290159 277655 287723 270117 305028 261049 318749 318747 95722 282233 284263 282035 261103 490865 271173 307939 278763 300865 320404 287683 492202 318962 318952 304878 318635 492455 262223 282085 282091 291672 289068 281517 281515 493023 492972 492320 282111 282053 491487 290877 491664 319322 282149 492769 493914 263524 262183 108914 101557 313125 59203 494041 492857 283207 274601 84507 246821 83548 77346 85490 88749 83560 83563 116057 133920 243451 278811 243387 105793 112561 111825 111826 111827 78447 78445 88712 230880 243453 492541 270348 494002 246003 245989 223150 300915 492777 313133 306511 18566 107259 103765 318984 492937 283219 88091 226570 307819 135624 61053 306495 102041 83578 84227 84737 270354 273614 496216 121111 113005 246741 132121 132144 246151 80695 229784 230906 228752 228682 228681 247865 262060 271003 245969 312227 264367 496474 492808 282301 275565 283131 87423 227712 301915 296519 318978 323005 326812 186943 322999 288819 291476 247877 227711 246043 321000 492960 492961 17106 129981 312203 85347 119074 86522 223196 87612 85365 270177 85361 320921 320922 281571 492447 81426 493116 271580 302035 320251 324129 246157 283181 493993 282153 493954 271161 494517 304259 245967 270716 288685 272589 492722 282063 282061 246005 247440 66247 86577 87620 281455 304313 304315 86601 84194 85423 93060 270995 84058 86505 232061 84065 110734 109663 496056 496207 304736 492640 493962 304730 304255 304257 83557 85489 84208 228299 100884 84116 83549 237500 92172 65141 65130 83581 83582 312287 312939 84630 232287 237599 495357 312285 496215 278801 493650 495754 495756 300837 287739 308667 82532 255615 491888 287416 91594 269911 391564 254875 90577 491686 284399 99497 108368 492555 94583 94582 263781 322887 254811 493337 325581 61056 282253 271163 492892 277775 277344 300885 296389 287665 303679 274505 282159 282161 281411 490482 322083 493802 492721 492782 386212 283211 493314 286619 294621 490270 282041 492402 92185 59202 131051 307807 110774 96828 491131 108935 236411 312941 232716 229856 104867 288797 88737 100883 110236 270524 77418 77419 66238 495007 321335 63855 63854 85586 85585 100889 276937 495521 307961 271824 88726 495895 88186 78444 246013 223169 88654 404586 362214 362030 493482 492461 493469 496194 490517 88171 281499 490870 492794 492088 492445 261093 276792 262219 492086 88727 110779 84655 492098 102017 84066 320253 320252 277506 277510 495676 287729 240900 244493 307993 103361 103362 323001 79625 496055 494936 308713 116992 116993 237511 243503 251283 251247 251245 270352 250513 282155 305233 110763 271984 110727 236421 247480 231997 231996 228696 306477 244543 228812 228813 228814 228726 246143 493402 284345 76867 226461 434074 253409 253411 233083 233084 246911 492727 59211 243449 495856 247875 247869 244497 131065 303411 86580 491158 301406 229771 229876 75947 245997 82937 88090 87242 248752 246011 273391 273389 84162 223145 223191 223168 88730 232713 87611 493037 304365 491105 281389 272631 270292 270175 111828 17765 100891 101598 271966 14806 87416 17109 230911 230890 232063 86552 246145 240907 305038 495794 494441 495477 243222 237505 495047 286455 282215 493377 287224 285709 284309 277242 285879 492377 282307 287671 307991 495336 252293 490985 277330 282269 320186 88748 494756 246163 324133 264399 252289 265116 282273 110783 110784 110722 422174 108372 490722 284411 261500 92695 273938 261099 261097 298270 298268 490208 111854 283283 490554 290933 290903 278719 278717 95691 490749 482406 490571 304385 263679 492487 284245 276933 491114 493514 297332 428898 111855 291075 291165 287565 296385 278765 108887 89472 59215 63809 255547 493876 494042 491029 491030 491034 491037 491038 2962 6 287406 95682 95683 92141 282045 108936 100875 273199 103764 112415 109507 91626 294609 103545 304375 492680 493137 493029 490687 287759 490305 492618 276935 278807 79073 88652 88651 88739 275571 275561 276913 254809 321333 253401 278741 492400 494597 285717 284323 290129 490570 269959 308733 308711 308709 120551 246169 482407 324089 287727 253413 283265 275352 108939 95679 95675 320434 101157 287583 93873 491521 90562 93885 490491 98651 491504 290722 284694 284656 286625 110240 296495 100312 100311 111839 94578 92161 100310 491022 491024 491040 93890 286996 111846 93889 294551 294567 290343 290345 291041 291043 491560 474588 491207 109681 107262 108375 261059 493856 490469 92693 271914 290297 410346 297174 490834 491226 282107 489810 95084 295295 295297 430432 399982 263657 284257 91634 494567 265124 265130 99577 295293 395880 289122 291153 287002 491248 491384 290411 296441 89527 494310 110051 105606 105607 96827 99576 92694 95720 491142 285725 285723 490728 244617 132624 89454 112416 273355 491315 491318 286856 91635 108334 398174 285853 428950 284634 434994 264427 264429 283281 110241 94542 101541 108942 273337 428530 496256 318667 261265 316915 288775 490264 489873 100417 102023 65102 119370 241922 287036 287006 494037 95688 90559 110735 108915 85453 92173 491798 108369 109619 65131 288695 493736 95689 493922 492760 90481 491544 491546 285713 398226 489862 490150 383628 95271 94715 110757 61055 493842 264537 118817 95830 491760 491514 491491 287218 492919 286902 95664 287569 284614 283279 489954 94533 491957 254833 321329 493410 492651 281387 284243 490109 490287 491622 491677 254857 254855 492261 261051 287575 389350 109620 285885 490802 288671 264081 264080 490515 263661 89495 91770 89486 284648 95817 279869 283159 493154 489837 109622 490670 93891 92323 297170 296806 110782 112562 92706 288743 286314 491305 490070 464982 489922 92191 490441 255609 279905 283165 263791 89485 264539 318767 493767 101539 92170 92171 270009 91610 262173 298658 277019 482412 290891 290893 110775 304123 304121 318751 282043 89473 269917 270007 255535 261053 491234 491237 285869 110765 282147 491284 255545 490838 490720 261119 285719 287577 409794 490248 94573 292037 490715 112453 111857 111858 491367 284343 284363 91614 292550 94565 284395 262201 491061 287731 91615 313013 100888 115881 271089 95687 91619 494436 493816 264082 264083 263673 252323 490526 290728 286605 95660 286589 318769 264417 492557 90489 269704 90491 89464 95453 90571 95718 89447 89393 493889 492368 283307 95648 284630 491848 108928 291057 490545 493769 281459 94581 262199 18563 464430 90565 436432 90587 110239 94552 99682 99683 261496 110773 95089 288787 60305 285867 286316 286344 286262 284608 491846 287587 269909 494116 413730 287589 91618 92322 491425 89531 491861 291157 290403 490449 490502 490761 90560 281429 281423 109625 109626 491025 253395 95716 96821 284610 90551 90497 273377 269937 272844 272848 261271 323806 92181 92180 92179 486502 491666 490731 494316 263785 263783 294565 385694 284393 491842 264527 92707 274188 274567 446464 446728 290941 490717 89470 492000 95082 262074 90556 265767 493567 434160 491758 291097 291091 116439 99681 295279 287735 290943 290353 91632 91633 490621 92192 488798 290421 290349 286812 287567 274445 283143 316913 492314 273339 492317 300859 491283 287559 491368 286457 286461 490424 490400 490069 436486 489812 109617 109618 285889 491394 269901 263691 295289 96823 389582 304415 493730 253736 494676 274537 494327 100313 279921 274493 493811 492582 281351 92154 92153 291316 263521 94585 91612 90590 115887 241987 85331 92692 109501 90563 290355 272186 85043 237596 53282 66193 228728 62331 84163 232290 85359 84753 223177 62882 103179 235335 109679 109680 90553 492874 254877 92140 90557 95275 91624 91625 291019 491582 490030 271091 294619 290285 287220 490680 111853 490762 290373 290405 290407 490076 490118 111856 490561 490662 491324 286459 490478 285715 108913 94580 287186 491115 491274 491275 286850 121945 121947 241923 238680 81465 112418 100881 235330 235331 87791 306762 246019 236423 236424 88641 75945 17763 270660 237601 237604 237603 243415 495687 245442 228830 309625 222116 291117 312269 492915 495554 492887 303561 304117 302310 243980 321897 309342 495415 270173 320806 273642 237594 492530 88755 88188 86589 84083 86551 86447 86435 86466 84043 63065 84740 84739 230873 491160 312233 132140 271988 273018 494181 318755 78450 243990 84133 84135 84191 84657 66239 238679 123417 61234 96817 302013 228817 493429 270043 302015 490451 492482 270041 240902 246835 228114 300923 228740 229471 495733 247805 494794 301995 323015 116982 229862 229861 232065 229886 244613 117789 321552 320460 327000 326988 304129 244539 247903 247873 247809 490851 270039 320219 233670 243497 240910 229847 115970 246781 246837 318709 115873 272398 135027 250507 494754 307965 301941 271107 304185 320925 494797 313019 313017 270712 308677 308679 247803 230918 117345 117965 116426 116981 116980 235292 235293 243483 241971 241972 283221 287737 271634 307957 81428 247076 493990 308908 270896 318643 133186 246873 132619 132620 133914 270065 243509 243507 243533 240909 240901 490486 228741 230324 304309 308707 318715 312955 244495 222067 240896 228707 308958 232026 232034 116997 116986 228742 282259 270500 321339 228697 228720 120548 222056 135025 135023 270720 270718 84686 244499 115888 244529 244527 244868 270512 320374 325575 325282 282049 302011 320205 495815 271404 493956 82535 82536 62335 319515 288793 272587 493269 493273 281563 87251 247871 121833 250511 246141 245995 240940 246045 240897 240898 65112 65113 84295 492077 261275 269929 494473 318647 287653 287651 304329 492685 490960 312267 88656 230924 246041 307787 226465 282207 492168 278052 278062 490795 84609 83553 83554 493161 492606 276690 282057 282788 492543 270920 308683 262050 246901 246899 493487 495087 496327 230919 222045 247466 245410 244519 244521 495846 308681 493207 303980 133589 305124 300891 300895 272629 272627 226560 264397 223147 246729 128653 308350 308356 227710 261620 261530 116609 84296 492834 274443 490595 89455 65116 223175 228695 301913 301909 301911 254807 254805 263535 273379 269927 246903 240912 271001 493205 59231 29603 59229 104871 263631 263633 494636 494321 321309 318968 492730 245416 245426 90588 435080 435004 91616 264738 282612 92165 254861 254867 254869 91769 90554 493661 493656 288835 305237 279857 262185 90592 494641 272130 89480 489919 489879 108930 284333 286623 104872 494001 95633 260876 90585 97117 252311 264431 93068 284397 428214 489917 290427 473668 491408 456528 95684 115877 321173 300668 270494 495514 495197 270071 322901 322899 322897 494916 229855 229852 243397 115971 235351 230917 87253 88728 88241 88243 88233 88234 86497 86495 298604 294392 264407 302045 496095 84628 250547 115957 312231 312237 305235 312235 88787 244631 132632 131055 300664 116427 225907 119621 120547 270436 300909 397706 491917 291147 288675 490597 312205 128671 323025 318649 115879 115880 121109 304383 304399 304401 312965 312963 494481 490464 493997 271448 492850 324612 246097 320976 304714 304718 241974 241930 228745 222081 119737 246111 228705 247899 494796 270001 495896 298100 326333 319328 318661 304544 300847 306471 307789 119921 248562 248560 249478 306325 329887 236396 248174 121761 117071 117072 116507 203193 324532 307799 312277 132631 133609 229853 229844 232302 246105 88753 237507 236405 115953 241928 241929 308715 308717 273401 303629 247829 222077 247124 495196 493143 493353 493301 300907 300905 300899 240916 305209 115968 246743 115951 222071 130290 322907 240908 246905 244916 240906 237516 63802 494856 244553 247813 228811 228753 321161 128672 128664 248542 248552 132120 247837 223192 223193 223194 246875 134363 101555 236429 133600 308695 114151 114145 116512 493041 493042 493047 321167 495117 321337 322905 490910 308719 309340 63804 63803 308701 271660 271659 321319 312229 300933 226565 226564 223198 223199 88170 232043 493957 495712 494714 301955 272296 271141 271139 288709 318765 318773 318775 273409 495121 302894 301937 77451 77339 490927 246009 237510 227708 246125 495976 270081 270083 312239 312241 302025 281575 495076 307967 304343 300919 244633 255579 78442 223156 227709 492208 283209 222114 134141 121847 121848 222102 247074 308723 301977 243505 230328 222103 267270 246883 264377 306319 271406 240915 494437 495975 300829 300827 245464 222063 222062 222061 313007 237502 255593 490881 87805 247835 241925 223157 82569 303643 303645 303647 88219 88092 236431 236430 79626 77335 116511 116134 246147 63805 221490 221491 493109 245971 232005 232004 303551 494150 320202 229863 229890 121838 62221 321544 325088 322091 230915 228751 103365 100876 86588 82570 223182 109624 303671 302057 302051 302049 319332 319511 226463 495216 324542 321303 321305 324115 496167 495916 270197 84682 115973 244569 246177 117413 288723 320204 320203 105753 105787 88723 88724 102031 236436 121107 493570 494287 102021 103947 283239 321899 133605 495377 303397 244609 244607 13474 59388 59389 129943 246851 246817 251279 134153 322047 255583 302043 276917 275176 490928 243974 246073 322067 495552 229910 229915 228297 308988 222068 117354 117353 222099 226462 323023 493356 307969 495516 320208 270013 276919 276921 301402 79257 322885 322895 307975 490914 303673 494021 493961 323500 303631 232006 490957 304119 318651 249488 132622 117075 229893 229895 121837 240894 228347 307931 312957 312959 312961 313021 300618 300921 244563 270119 244523 304371 321181 318641 283267 63068 63067 226561 320802 323017 271656 276911 276909 304295 309783 271151 223159 495296 120561 120657 243535 135017 223186 223187 238673 246035 132635 320217 320218 300843 300845 312098 494089 307791 244549 222090 303649 318711 492382 132142 251253 233082 233081 243481 226568 273748 241992 223164 241927 114153 83574 79292 322045 222087 131061 233851 255571 304191 78525 494077 494081 270714 300841 329891 301919 312225 247897 115969 232036 116984 222089 310434 310438 246755 121843 121844 226492 270183 273411 273656 229891 133173 133599 308418 320788 300875 303379 307979 100869 110762 88235 281878 490917 302031 490905 288831 288829 494556 495527 495281 84275 243473 271700 494082 495881 262153 77337 228815 495317 300941 320211 270268 495433 273652 318985 301965 301418 495792 117076 250521 134154 303625 303627 490995 493212 287362 495247 273638 324131 321554 494807 495236 495237 255585 495967 495836 240903 300857 312271 494153 492897 495641 308531 235352 244507 244509 493481 493440 135249 492383 492362 318969 271097 492821 264393 277659 492833 492422 493642 273361 494317 282954 320201 261622 117347 246115 495742 87615 88745 79291 243385 301957 304137 80691 300871 307943 122942 122951 132683 313117 495776 271145 270123 270121 496127 269985 225908 243499 243501 309775 78524 323009 323011 221681 64369 232529 246831 246833 131056 131057 493576 282031 495576 244537 318703 318705 246185 313127 244547 305231 246113 244561 243489 243487 243485 64382 296513 228732 312401 312403 122943 313119 309078 309090 310731 243391 248572 241919 229877 321175 305227 494127 271646 300817 300815 301935 301933 233852 237600 495695 495696 496016 320394 303683 228750 78523 78522 229894 244912 272364 231979 243441 228731 251269 241924 59387 77338 325084 491104 495481 324420 324424 87258 78449 110785 60340 270993 300867 222070 271113 271115 223200 246919 119828 119827 325591 88345 103950 59228 102811 66211 66212 66213 119075 86585 270079 270077 494757 116989 129988 264740 295359 491206 290935 290429 490163 471258 471268 94532 490825 286443 296383 291143 490742 490560 491328 491221 491224 289106 289088 285711 491542 490011 296403 271446 271444 278813 269953 108329 491185 482414 482413 291023 490221 410714 489847 286854 287054 108371 287076 298102 404402 108941 108940 108393 464448 389802 490622 490864 381788 290939 296381 495327 270099 322053 322055 324125 324127 490681 490555 269913 274439 108338 264373 493716 489790 493731 111836 277673 279919 493807 318669 491184 287230 490042 490568 491264 115882 117348 250509 271121 88224 88225 221492 232062 246047 246923 255577 255575 290269 271648 271655 308697 243389 492697 133170 133169 117082 114155 133978 121846 229885 241966 232300 230914 246089 246087 312251 243439 261632 261628 495847 495127 492596 303641 495511 270017 270015 36038 87259 88648 63842 87425 87231 87234 88222 288809 288811 273632 244639 302047 225905 241965 321183 305108 304379 308687 496034 255603 255605 260874 270037 495276 119833 243266 246099 246101 495455 270211 238938 246921 307959 85493 87170 87171 87263 101547 63843 230895 230896 61050 83573 87264 88786 305766 300819 491621 309785 66236 66237 301905 303377 312215 494696 320917 320916 318727 305347 326327 324976 290283 495041 312261 264375 495277 285881 261263 96442 470644 263519 286609 291081 291079 296485 490129 490581 470480 489865 489869 293135 490378 490130 456194 456160 489840 491168 276580 494559 434582 491766 290869 290871 290873 434268 90624 491637 296387 296489 296491 97657 284403 386448 386430 386396 490166 296449 295281 428680 287571 291083 398442 491662 485066 489858 284650 490501 491157 491688 491520 491518 290377 491346 490841 95725 109503 296808 489859 296812 450268 295355 274814 308555 308557 490224 490194 493000 491323 92166 92167 293137 294623 486868 452998 91287 91289 490869 279909 271101 492357 281457 398500 489921 491920 298260 109504 109505 491354 491451 397580 108341 109637 490286 291145 108893 492326 264071 490727 473596 288749 296497 430362 294942 491314 292035 386062 298256 287605 490594 296503 296505 108373 108374 428030 264519 110740 492633 108919 108901 491918 92168 492397 95694 474332 468722 484746 491501 489891 490258 490259 450452 450520 290357 447136 489880 491121 491122 289052 289054 489890 491464 290859 290861 490624 490824 491880 284405 491402 491401 294543 294541 428128 490091 490167 110739 490043 290923 491488 491523 299338 299380 386246 491364 490481 92145 490569 290139 490218 490219 491288 491287 491286 490801 491235 286453 298624 491123 291680 490758 490768 491926 286864 109629 109630 108933 108931 490837 298838 296804 491007 289116 290301 490829 294545 272292 272372 494036 288701 490289 444436 491186 109621 285206 284315 491403 490276 490038 291089 291087 291085 489989 490261 491598 290317 286810 490984 490677 290379 491208 491466 383444 296509 299095 491371 490842 489792 98650 491898 284419 296465 320914 326072 493394 494841 489901 489913 480590 291055 491474 490278 490210 98762 489836 489834 290867 471012 482402 470706 455458 471452 489926 482420 482419 108331 108330 98584 409978 490527 491086 288126 491128 491181 262213 262211 490156 490157 490126 486516 361478 422726 419852 296469 286858 490678 288693 375736 109627 285160 287210 490750 490954 290863 491648 489849 290313 291017 291123 291296 489889 108377 287038 287597 97735 491166 284307 284325 490362 490211 491541 290359 392300 383260 489861 284353 284355 290315 99141 253407 90593 491794 291013 291011 98761 241967 88169 228693 228694 246839 128675 131093 87614 245480 246891 246893 232312 61260 270722 240895 117423 113923 115690 247815 133603 290189 290187 245973 245975 236025 246051 246071 307945 300917 244517 241977 241978 232315 241983 300929 115962 117074 117073 121836 115944 115945 133905 131064 133238 235338 246787 251249 246733 244571 132681 133981 132853 251259 251257 251255 121845 490402 490401 491531 291131 263523 490589 491078 288649 288651 288653 290361 490582 490041 380296 380112 97658 297176 99129 489864 94737 491141 491167 97737 489905 448680 290325 90594 90612 99579 99580 465000 490379 470716 290401 291065 290319 491726 491164 471442 489822 489821 286615 290331 290333 290335 490367 490368 446360 415904 397674 377392 374026 490201 491406 434258 290351 93869 93100 93101 93102 491866 297175 92353 89487 94568 94567 91473 91107 95715 93112 454688 99578 290299 491800 291053 285246 489818 255559 99586 468684 474628 474700 96434 262217 91611 490064 255555 255557 492873 493602 493601 488760 290917 287725 452814 452498 272256 284391 92343 92341 96829 92349 491877 291119 290291 91593 297336 297348 297360 490329 471308 471380 291025 490465 491225 482405 290417 286591 491411 255549 255561 447016 452866 377576 98773 385528 489969 407766 490418 397396 285861 406846 298050 440740 491441 489850 489898 477254 379376 397806 94536 94537 291029 288122 290387 491506 491505 490754 288747 490625 490110 92329 95297 95098 95109 288745 290327 479670 478934 290321 263526 255551 489794 446280 490202 490246 490049 490050 490142 490141 96381 491638 299831 299829 299827 415986 297316 416722 290875 291151 290686 290710 290718 290305 290879 491584 446912 446768 489874 489998 255587 489784 489782 296411 296413 490058 92340 492263 293143 293141 293139 490327 489929 490077 489923 437904 470460 489839 489838 490036 490037 490283 97736 489950 491878 291059 291061 458996 467580 467618 468316 284341 391748 391842 290363 490590 484642 489829 288677 490000 490131 490396 99318 98582 373290 490304 490099 490102 482416 490330 490203 92157 92158 296499 296501 386028 490046 490007 437222 108389 95099 492488 490074 490002 490001 489802 92148 97660 386264 490349 491906 285883 491581 490144 489999 491327 296471 490990 490994 490830 284417 490691 107445 489830 490274 491317 290433 490281 465184 93066 92137 99589 291812 441164 464662 490409 296407 296405 490025 456344 456378 98585 298628 490009 490116 490047 471492 491144 490361 490360 286613 286611 284602 295283 295285 471032 491483 284311 291262 294625 432216 440244 108382 491182 288683 288681 368194 490003 291049 491426 285200 298052 298068 297180 297314 490230 490229 489796 490262 471216 472932 489886 296391 449306 490154 490199 290329 287555 489833 98765 490189 491082 296475 441108 298096 299089 299091 490114 490006 278582 489909 489910 489887 489888 284387 284377 491704 490206 490406 490078 491528 285196 284415 491824 491822 290778 290780 288655 288657 490755 296473 111847 490781 490647 491440 491145 474812 474772 474724 489904 296451 296453 490345 490344 490200 490323 489878 489902 284375 284373 291099 284389 490158 438142 488012 487640 98767 459180 294617 294615 294613 491706 490384 294944 490207 490318 470532 252806 95295 491718 472884 446400 465166 262209 95457 450042 450084 291103 291264 491680 491407 291067 291444 119553 133237 133235 246793 246795 246785 247066 129224 117985 117359 116429 117433 246815 135012 246715 246717 248184 134155 131091 246544 246572 246578 246582 246588 263076 117427 119557 119556 222111 232068 115691 323027 119369 246737 229882 229883 250523 136000 134157 134158 134159 42534 246779 244627 244629 246534 303685 303687 243409 232033 228665 241915 228824 247907 247909 119001 250493 116515 121839 131085 129221 129223 116425 305397 321157 262992 263000 493359 133916 133917 132679 135983 115952 56244 59394 250537 247825 251271 120552 222047 246761 246763 250525 121835 246765 246767 250750 117346 229898 229899 117355 56246 41446 115980 115745 115743 115744 247905 247831 123049 59390 247911 246777 246739 222095 232320 222094 246735 247885 247887 135613 132134 133915 284327 284329 290437 290435 291260 291252 293133 91295 98776 98775 97674 490021 490008 490120 490309 491683 491502 490022 97751 491720 491722 485744 484404 483994 490082 296461 379928 296377 291161 490602 490601 287553 287551 287549 96433 98774 299087 298072 298084 97669 490462 490558 290287 440924 440796 490277 491203 92151 92152 490145 490243 490356 490354 490317 490316 489824 489916 491171 290885 290887 284313 291077 490350 490237 285863 284401 468500 431904 490442 452262 490403 296479 490061 490269 490121 456562 291438 493754 91290 299835 416354 491442 491443 490149 491874 434810 434820 434896 97670 97671 284299 284297 431848 464614 455424 454722 484678 489927 447200 491882 491886 470522 474540 98763 98764 96445 96444 373842 490407 490369 490370 489990 226563 228166 246007 233161 135019 135018 132860 246049 233188 232030 116979 128674 117990 117991 221500 229299 246137 241984 241985 240939 223149 221684 221698 232016 223172 232009 306479 237512 226459 226458 230910 230912 228754 228829 228789 65109 243515 244531 228818 228702 228703 228748 230874 324418 233139 232029 232028 232027 64381 64380 246081 65108 231984 228825 64385 312243 228725 128670 130287 130288 228823 230506 228704 247841 236953 236954 241914 241913 241990 241988 243445 243443 222041 222107 231428 221678 221680 228700 228699 228698 230913 244597 133919 133984 228758 223153 223154 135020 119069 235325 129247 129246 246709 246759 132684 117083 247833 221499 229913 312951 301921 301917 243447 246039 243393 226466 230329 228826 230358 232066 119809 120555 63807 64361 221702 221701 232531 120557 120558 120559 230908 243435 243433 119439 246129 230875 80140 228687 229302 223158 135011 228831 228832 64371 64372 244623 244625 135993 135994 247322 233148 228757 230921 230922 226092 226093 222108 131059 131066 229912 230096 228756 228755 236419 236418 243479 494957 493113 493114 496154 494776 268006 494816 229846 135818 243425 241926 116130 132857 305122 229869 229870 246131 240936 240937 320197 494834 236427 247434 228390 243491 228679 228680 64383 232015 65135 63080 119469 119739 119740 307941 236426 247879 247502 128662 128663 132865 116618 135987 133913 246701 244599 119555 129944 232069 223184 221503 230916 221496 222043 222042 222072 229900 231425 232067 243513 235290 221699 246083 237508 223188 232035 80142 80141 78893 119843 119842 119440 243493 241973 240914 233145 237509 246063 240913 223174 245999 119835 225909 235301 235302 121841 115979 229916 241419 241418 241417 241416 135988 135989 117992 235300 246181 133234 116708 121840 250545 251241 251243 250539 244525 132854 115943 250541 117986 250533 221682 228783 246017 306473 228208 240899 240938 233164 233667 133921 300913 300911 233140 119840 119830 233183 246133 64378 246117 232019 232018 221686 223155 223148 221683 221673 221674 221675 221676 246079 231994 228816 231995 230507 230508 230509 80139 120556 233105 233141 232017 221685 230907 231998 230533 86667 233123 233149 229851 78895 64377 64376 78889 78890 228810 228809 117788 228666 226484 226483 233146 229871 114143 230323 233159 230884 119462 232020 243461 243459 229911 232011 246747 246745 115325 231990 226091 229878 228746 229865 244603 244605 229922 230330 227707 228747 229880 229901 229902 222055 230882 243437 228723 132130 135266 135267 129949 251263 251261 221677 247889 247891 117786 117787 228790 221498 233147 119466 237040 237041 491717 490550 290889 490310 490040 490039 292039 296487 296415 490051 291069 291071 371536 491682 290399 290397 291021 285865 288713 491074 296477 295862 295864 296447 237198 237197 243471 243517 87807 229772 116677 116611 233175 233174 132124 222075 222078 230909 64356 64357 228721 228733 63100 241989 232533 232532 232313 233168 233143 228761 228686 221511 119626 230516 246095 228736 120560 229848 229849 229850 64379 243511 246107 232012 230539 230538 230537 230536 227706 227705 230883 232032 236428 228724 246085 223165 233158 222109 231432 228743 243525 243527 243529 222085 233153 230326 230327 232014 233160 232303 231437 223152 313131 232025 232024 230518 230904 86668 228807 228808 473620 490178 490179 490139 444068 291015 91778 464632 397764 491070 287669 490664 284321 491802 490967 490962 287747 119825 230532 230531 114967 229881 232308 232307 221708 221508 232530 236420 230547 229474 229473 222104 230905 65107 228749 229476 229872 229482 231610 250495 250497 116977 113001 230885 230886 233098 78527 228368 233144 230321 228364 228759 230356 230925 230352 115963 116428 117424 117085 115954 132122 135245 113304 115520 229873 221707 471196 97677 450336 490249 490247 442596 490123 490162 490138 490190 490366 115947 88752 223173 243521 237043 237047 113857 113856 113855 114968 229889 222093 229888 230372 229906 231503 232310 232309 232070 229845 229875 229874 232317 232316 230888 230887 222052 222053 222054 231499 222091 222092 229887 221704 221705 221706 120658 134164 121834 490197 490222 489851 484770 290425 290423 489846 476702 470664 438326 440188 115752 115751 117713 230348 119463 115966 115967 119642 97115 452314 97662 96369 98780 401674 98845 490290 465214 489852 290289 291434 465350 465368 465398 446952 470572 291027 291101 369696 370432 371168 490328 491486 291095 291093 490422 490421 490419 97187 490288 490298 490198 490265 233106 290337 291432 491646 491642 477070 490408 490342 490410 490411 97689 490385 490429 232010 228784 228785 243467 243469 232543 119643 119644 221520 226488 229905 229919 229920 223185 228760 230923 231512 119104 222088 243463 243465 244601 232801 232802 232803 232021 232022 222051 232304 232305 232306 221502 232023 231983 465454 490397 490291 489806 489808 466844 490250 490251 490242 449348 449416 379560 373474 489841 489842 482401 299390 489899 490282 490238 490241 296483 296409 490234 296445 296443 490363 299085 299825 296481 452446 489979 490389 490390 298278 490320 490321 119011 250535 490059 490326 133985 135009 135010 246699 135260 135261 135262 129243 292031 292029 490128 489942 489944 489981 489982 489984 489985 490184 490394 294390 299823 299821 489941 489945 489978 490331 298290 490024 416538 489970 490098 489956 489957 489958 489959 489960 489961 489962 489963 489928 489996 489997 490338 490339 490341 297173 297172 490434 490185 490196 128676 128677 128691 128692 128693 128695 131068 128667 128669 132861 490357 490425 490437 490438 490440 132617 132618 132309 292033 489938 489939 489966 489967 489968 490083 490086 490087 490088 490089 490090 135272 135273 135631 135632 489971 489931 489930 129205 129207 129208 129209 129210 129211 129213 129214 129215 129217 129218  0
1011.73/1011.77	
1011.73/1011.77	c Core has size 26421

Verifier Data

OK 0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 19384
/proc/meminfo: memFree=30905828/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=31492 CPUtime=0 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 2381 0 0 0 0 0 0 0 25 0 1 0 85049673 32247808 2074 33554432000 4194304 4365125 140735077583984 18446744073709551615 4303419 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 7873 2085 247 42 0 5021 0

[startup+0.0434369 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 19384
/proc/meminfo: memFree=30905828/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=36284 CPUtime=0.03 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 6051 0 0 0 3 0 0 0 25 0 1 0 85049673 37154816 4811 33554432000 4194304 4365125 140735077583984 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 9071 4813 254 42 0 6219 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36284

[startup+0.100415 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 19384
/proc/meminfo: memFree=30905828/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=39672 CPUtime=0.09 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 9125 0 0 0 8 1 0 0 25 0 1 0 85049673 40624128 6373 33554432000 4194304 4365125 140735077583984 18446744073709551615 251367546624 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 9918 6374 254 42 0 7066 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39672

[startup+0.300388 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 19384
/proc/meminfo: memFree=30905828/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=70420 CPUtime=0.29 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 25736 0 0 0 26 3 0 0 25 0 1 0 85049673 72110080 13065 33554432000 4194304 4365125 140735077583984 18446744073709551615 4261008 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 17605 13065 255 42 0 14753 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70420

[startup+0.700308 s]
/proc/loadavg: 0.00 0.00 0.00 4/177 19384
/proc/meminfo: memFree=30905828/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=81060 CPUtime=0.69 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 28798 0 0 0 65 4 0 0 25 0 1 0 85049673 83005440 15542 33554432000 4194304 4365125 140735077583984 18446744073709551615 4257590 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 20265 15542 262 42 0 17413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81060

[startup+1.50116 s]
/proc/loadavg: 0.24 0.05 0.02 4/184 19405
/proc/meminfo: memFree=30640924/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=86424 CPUtime=1.49 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 34489 0 0 0 145 4 0 0 25 0 1 0 85049673 88498176 17059 33554432000 4194304 4365125 140735077583984 18446744073709551615 4257802 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 21606 17059 262 42 0 18754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86424

[startup+3.10086 s]
/proc/loadavg: 0.24 0.05 0.02 5/184 19405
/proc/meminfo: memFree=30596780/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=126676 CPUtime=3.09 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 67172 0 0 0 302 7 0 0 25 0 1 0 85049673 129716224 24028 33554432000 4194304 4365125 140735077583984 18446744073709551615 4245180 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 31669 24028 263 42 0 28817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126676

[startup+6.30027 s]
/proc/loadavg: 0.54 0.12 0.04 4/184 19405
/proc/meminfo: memFree=30568012/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=126676 CPUtime=6.29 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 73331 0 0 0 621 8 0 0 25 0 1 0 85049673 129716224 27108 33554432000 4194304 4365125 140735077583984 18446744073709551615 4274056 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 31669 27108 263 42 0 28817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126676

[startup+12.7011 s]
/proc/loadavg: 0.74 0.16 0.05 4/184 19405
/proc/meminfo: memFree=30561724/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=141012 CPUtime=12.69 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 75130 0 0 0 1261 8 0 0 25 0 1 0 85049673 144396288 28907 33554432000 4194304 4365125 140735077583984 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 35253 28907 263 42 0 32401 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 141012

[startup+25.5007 s]
/proc/loadavg: 1.24 0.30 0.10 4/184 19405
/proc/meminfo: memFree=30551636/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=141012 CPUtime=25.5 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 75130 0 0 0 2541 9 0 0 25 0 1 0 85049673 144396288 28907 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 35253 28907 263 42 0 32401 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 141012

[startup+51.1009 s]
/proc/loadavg: 1.84 0.52 0.18 5/184 19406
/proc/meminfo: memFree=30531860/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=168148 CPUtime=51.09 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 98051 0 0 0 5099 10 0 0 25 0 1 0 85049673 172183552 33595 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 42037 33595 263 42 0 39185 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 168148

[startup+102.306 s]
/proc/loadavg: 2.49 0.90 0.32 4/184 19408
/proc/meminfo: memFree=30518516/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=168148 CPUtime=102.29 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 98051 0 0 0 10219 10 0 0 25 0 1 0 85049673 172183552 33595 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 42037 33595 263 42 0 39185 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 168148

[startup+162.3 s]
/proc/loadavg: 2.86 1.29 0.49 4/184 19409
/proc/meminfo: memFree=30506808/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=168148 CPUtime=162.29 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 102103 0 0 0 16218 11 0 0 25 0 1 0 85049673 172183552 35621 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258095 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 42037 35621 263 42 0 39185 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 168148

[startup+222.301 s]
/proc/loadavg: 2.95 1.60 0.65 5/184 19411
/proc/meminfo: memFree=30504788/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=170196 CPUtime=222.3 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 102360 0 0 0 22218 12 0 0 25 0 1 0 85049673 174280704 35878 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 42549 35878 263 42 0 39697 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 170196

[startup+282.301 s]
/proc/loadavg: 2.98 1.85 0.79 5/184 19413
/proc/meminfo: memFree=30502504/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=170196 CPUtime=282.3 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 102360 0 0 0 28218 12 0 0 25 0 1 0 85049673 174280704 35878 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 42549 35878 263 42 0 39697 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 170196

[startup+342.301 s]
/proc/loadavg: 2.99 2.06 0.93 4/184 19414
/proc/meminfo: memFree=30501212/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=170196 CPUtime=342.31 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 102864 0 0 0 34218 13 0 0 25 0 1 0 85049673 174280704 36130 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258073 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 42549 36130 263 42 0 39697 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 170196

[startup+402.301 s]
/proc/loadavg: 2.99 2.23 1.05 4/184 19416
/proc/meminfo: memFree=30493960/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=210896 CPUtime=402.3 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 126166 0 0 0 40215 15 0 0 25 0 1 0 85049673 215957504 37616 33554432000 4194304 4365125 140735077583984 18446744073709551615 4257751 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 52724 37616 263 42 0 49872 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 210896

[startup+462.3 s]
/proc/loadavg: 2.99 2.37 1.17 4/184 19417
/proc/meminfo: memFree=30489692/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=210896 CPUtime=462.3 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 128344 0 0 0 46214 16 0 0 25 0 1 0 85049673 215957504 38705 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 52724 38705 263 42 0 49872 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 210896

[startup+522.3 s]
/proc/loadavg: 2.99 2.48 1.28 4/184 19419
/proc/meminfo: memFree=30482448/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=210896 CPUtime=522.31 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 131956 0 0 0 52214 17 0 0 25 0 1 0 85049673 215957504 40511 33554432000 4194304 4365125 140735077583984 18446744073709551615 4257861 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 52724 40511 263 42 0 49872 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 210896

[startup+582.301 s]
/proc/loadavg: 2.99 2.57 1.39 4/184 19421
/proc/meminfo: memFree=30460072/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=210896 CPUtime=582.31 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 132212 0 0 0 58214 17 0 0 25 0 1 0 85049673 215957504 40639 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 52724 40639 263 42 0 49872 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 210896

[startup+642.301 s]
/proc/loadavg: 3.03 2.66 1.49 4/184 19422
/proc/meminfo: memFree=30412272/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=237520 CPUtime=642.31 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 146084 0 0 0 64213 18 0 0 25 0 1 0 85049673 243220480 46194 33554432000 4194304 4365125 140735077583984 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 59380 46194 264 42 0 56528 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 237520

[startup+702.301 s]
/proc/loadavg: 3.04 2.73 1.59 4/184 19424
/proc/meminfo: memFree=30409868/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=702.32 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 70212 20 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 235472

[startup+762.307 s]
/proc/loadavg: 3.01 2.78 1.67 4/184 19425
/proc/meminfo: memFree=30407108/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=762.32 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 76212 20 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4272580 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 235472

[startup+822.3 s]
/proc/loadavg: 3.00 2.82 1.75 4/184 19427
/proc/meminfo: memFree=30405932/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=822.32 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 82212 20 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 235472

[startup+882.3 s]
/proc/loadavg: 3.00 2.85 1.83 5/184 19429
/proc/meminfo: memFree=30404648/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=882.32 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 88212 20 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4242678 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 235472

[startup+942.3 s]
/proc/loadavg: 2.78 2.82 1.88 3/178 19454
/proc/meminfo: memFree=30578544/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=942.32 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 94211 21 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 235472

[startup+1002.3 s]
/proc/loadavg: 2.28 2.67 1.89 3/178 19456
/proc/meminfo: memFree=30579060/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=1002.32 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 100211 21 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 235472

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

[startup+1004.7 s]
/proc/loadavg: 2.28 2.67 1.89 3/178 19456
/proc/meminfo: memFree=30579060/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=1004.72 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 100451 21 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 1004.72
Current children cumulated vsize (KiB) 235472

[startup+1007.9 s]
/proc/loadavg: 2.26 2.66 1.89 3/178 19456
/proc/meminfo: memFree=30579040/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=1007.93 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 100771 22 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4242756 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 1007.93
Current children cumulated vsize (KiB) 235472

[startup+1009.5 s]
/proc/loadavg: 2.26 2.66 1.89 3/178 19456
/proc/meminfo: memFree=30579040/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=1009.53 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 100931 22 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 1009.53
Current children cumulated vsize (KiB) 235472

[startup+1011.1 s]
/proc/loadavg: 2.24 2.65 1.89 3/178 19456
/proc/meminfo: memFree=30579040/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=1011.13 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 101091 22 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 1011.13
Current children cumulated vsize (KiB) 235472

[startup+1011.5 s]
/proc/loadavg: 2.24 2.65 1.89 3/178 19456
/proc/meminfo: memFree=30579040/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=1011.53 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 101131 22 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 1011.53
Current children cumulated vsize (KiB) 235472

[startup+1011.7 s]
/proc/loadavg: 2.24 2.65 1.89 3/178 19456
/proc/meminfo: memFree=30579040/32950928 swapFree=67111528/67111528
[pid=19384] ppid=19382 vsize=235472 CPUtime=1011.73 cores=5,7
/proc/19384/stat : 19384 (MoUsSaka) R 19382 19384 19342 0 -1 4202496 151963 0 0 0 101151 22 0 0 25 0 1 0 85049673 241123328 45937 33554432000 4194304 4365125 140735077583984 18446744073709551615 4242912 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19384/statm: 58868 45937 264 42 0 56016 0
Current children cumulated CPU time (s) 1011.73
Current children cumulated vsize (KiB) 235472

Child status: 20
Real time (s): 1011.78
CPU time (s): 1011.82
CPU user time (s): 1011.59
CPU system time (s): 0.228965
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 286668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1011.59
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151968
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= 8
involuntary context switches= 1371

runsolver used 1.62475 second user time and 3.79442 second system time

The end

Launcher Data

Begin job on node113 at 2011-07-21 13:31:07
IDJOB=3495735
IDBENCH=70981
IDSOLVER=1989
FILE ID=node113/3495735-1311247867
RUNJOBID= node113-1311247867-19363
PBS_JOBID= 13653641
Free space on /tmp= 73684 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-10-10t0.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495735-1311247867/watcher-3495735-1311247867 -o /tmp/evaluation-result-3495735-1311247867/solver-3495735-1311247867 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495735-1311247867.cnf

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

MD5SUM BENCH= e2edbe336f5bcaab72d4c9db48067f8a
RANDOM SEED=1817904842

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30907132 kB
Buffers:        191220 kB
Cached:        1627240 kB
SwapCached:          0 kB
Active:         648028 kB
Inactive:      1240696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30907132 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           30356 kB
Writeback:           0 kB
AnonPages:       70324 kB
Mapped:          14424 kB
Slab:            91152 kB
PageTables:       5128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192568 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73680 MiB
End job on node113 at 2011-07-21 13:47:59