0.00/0.02	c MoUsSaka with meat
3.68/3.70	
3.68/3.70	s UNSATISFIABLE
238.39/238.40	c Core is minimal
238.39/238.40	
238.39/238.40	v 117079 100400 83319 100397 83318 100395 83566 83325 83324 83317 100396 100399 100402 82700 82709 82698 82690 82697 82710 82701 82711 82695 82712 82692 82694 82691 333871 350549 367227 383188 366509 383187 349832 349831 366510 383186 366508 349830 99453 99452 99454 83440 83452 66792 66747 66758 66751 66791 66770 66759 66794 66750 66765 99940 99941 99939 99432 66793 66757 99426 99439 66766 82689 66799 66790 66796 66764 66772 66795 66775 99442 99427 99436 99438 99435 99425 66797 99443 66788 99428 99441 66723 66787 66798 66771 116677 116678 116619 116618 116617 116596 116600 116586 116611 116549 116456 116429 83438 83419 66749 83430 99457 99466 99485 99458 99460 99470 99473 99472 99451 83441 99440 99459 99463 99471 99474 99467 99469 99434 99483 99482 99465 99484 99410 99420 99411 99408 99418 116440 116423 116419 116569 116442 116601 116572 116562 116585 116410 116462 116483 116453 116496 116544 116615 116582 116591 116416 116412 116587 116592 116454 116457 116468 116452 116458 116616 116345 116598 116422 116574 116610 116605 116485 116575 116494 116594 116566 116479 116347 116583 116584 116561 116424 116344 116545 116346 116455 116491 116559 116470 116459 116489 116411 116480 116433 116441 116343 116606 116503 116595 116548 116443 116613 116570 116437 116438 116444 116430 116432 116427 116580 116546 116439 116447 116473 116551 116409 116602 116420 116579 116501 116597 116448 116609 116425 116558 116445 116612 116552 116604 116565 116421 116451 116571 116475 116588 116607 116436 116431 116446 116581 116608 116426 116553 116449 116435 116563 116560 116550 116543 116500 116428 116599 99422 99394 99421 99407 99419 99406 83434 99399 99396 99404 99405 83420 83432 83424 83421 83433 83431 99401 99400 83423 83422 99393 99403 99481 99468 99464 99395 116072 116078 116113 116117 116087 116086 116161 116163 116103 116130 116083 100112 116081 100110 100111 116079 116109 116099 116074 116162 116084 116088 116141 116142 116159 100119 116131 100116 100108 116111 116135 116129 116119 116151 100123 116077 116071 116145 116076 100109 116098 99298 99295 66746 49909 66313 49420 66049 66744 66064 66047 49418 99296 65948 99294 65947 49911 33234 65949 65946 49419 66743 66052 66063 65950 50078 82624 82626 66048 82623 99293 82622 66066 49912 66745 50077 50075 66054 66051 82627 66065 66742 33233 49635 82625 49908 50076 66055 82628 116158 116153 116155 116116 116112 116149 116160 116148 116100 116132 116082 116089 116085 116073 116097 116075 100132 116156 116154 99376 99375 99364 99362 99373 99386 99368 99363 99388 99374 99387 99370 99371 99379 99389 99369 99361 99377 99378 99372 33230 33231 99431 99433 83439 99390 116120 116106 116137 150033 133356 133355 132753 132756 132759 132770 132773 132769 132764 132750 132768 132751 132763 116807 116801 116808 116794 116786 132767 132772 132754 132755 132761 132752 132765 132762 116797 132757 132771 132775 132774 132760 116790 132766 116788 116789 132839 116795 132784 132787 132789 132783 132841 132794 132810 132840 132777 132776 132808 132788 132790 132809 116796 132795 132791 132796 132778 132797 132798 132792 132807 132799 132816 132815 132827 132823 132821 132828 132825 132822 132824 132838 132826 132820 132830 132829 132818 132819 132781 132837 132749 132833 132817 132835 132831 132836 132834 132832 149518 149517 149491 149519 149488 149487 149459 149486 149427 149455 149456 132785 132782 132786 149454 133354 133468 133449 133475 133481 149467 149462 133458 149473 149476 149477 149472 133480 133464 149438 149433 149435 149434 149437 149428 149429 149430 133472 149439 149440 149441 149442 149445 149444 149443 149453 150034 149460 133447 133448 149485 149461 149475 149469 149466 116771 116803 133465 149432 133467 133466 116810 150434 150436 117076 117073 117075 117074 117077 117072 117078 117080 99997 99995 99996 116147 116150 100129 116105 116146 116143 100130 116121 116114 116110 116093 83316 116092 116152 116118 116096 116157 116144 116091 116094 116095 116138 150435 166105 166132 166133 149509 149514 149508 149502 133457 149494 149513 133485 149503 133454 149499 149493 149515 149498 149497 149512 149507 149511 149510 149496 149504 149501 133486 149506 133455 133456 149505 149500 166322 166320 166321 166164 166711 166196 166134 166168 166136 166166 166165 166199 166197 166195 166169 166137 166712 166653 166652 166651 233423 233424 216686 216687 216685 149974 149973 183792 183791 133474 133473 183790 149492 149484 149465 133756 133350 133453 167112 167114 167113 116839 150431 133600 133758 133351 150430 149390 150433 133352 133359 150428 116838 150429 116858 133358 133353 150432 183050 232909 232846 232845 232878 232849 232844 232876 232877 232817 232907 232908 232881 166372 182875 182783 182873 182844 182874 182847 182812 182843 182815 182842 182810 183039 183013 183021 183029 183009 183023 183016 183037 183026 183012 183015 183041 183030 183040 183028 183022 183010 183019 183033 183038 183036 183014 183020 183024 183032 183027 183017 183031 183018 183025 183034 183011 183035 199552 199522 199490 199521 199493 199553 199489 199461 199551 182877 200068 200067 182814 182846 183047 183044 183048 183042 183043 183045 183046 199525 183049 166371 183389 183390 182998 182999 183000 166364 166366 166368 166363 166365 183007 183006 183005 183008 183003 183002 183004 166367 166369 166370 183001 199488 199520 367071 367221 367220 367069 367070 367064 367068 350243 367065 367061 367066 367312 367297 367294 383183 367300 367303 99764 99732 99866 99918 99917 99802 99927 99757 99892 99762 99872 99908 99822 99932 99744 99775 99916 99887 99881 99771 99742 99668 99807 99873 99760 99669 99777 99902 99912 99805 99748 99818 99901 99870 99767 99734 99755 99795 99759 99928 99761 99874 99921 99768 99938 99731 99924 99781 99905 99891 99825 99864 99884 99904 99745 99909 99779 99926 99801 99930 99776 99746 99756 99786 99752 99915 99733 99907 99868 99888 99919 99883 99797 99936 99897 99770 99937 83263 99753 99823 99880 99750 99792 99903 99920 99763 99910 99747 99741 99738 99896 99925 83262 99751 99758 99923 99766 99790 99875 99811 99911 99865 99922 99824 99867 99885 99931 99749 367073 366918 367302 367299 366920 366924 367267 366925 366921 367293 367215 367217 367216 367218 366919 367222 367225 383185 367205 367219 367224 367207 367226 350548 367206 350529 350528 350547 383182 383179 383181 366506 383178 383180 367067 366926 350527 350546 350544 350239 367062 367309 367308 367310 367307 367235 367296 366917 367311 350552 350550 350615 350557 350618 350616 366501 366504 366503 366502 333561 350551 350622 350621 350624 350381 350625 350619 350378 350379 350377 350380 350382 200147 233034 233032 233033 200008 200009 200007 183469 216198 216168 216166 216167 216745 216139 183515 183509 183520 183498 183506 216171 199495 199511 199499 199500 199469 199479 199472 199502 199477 183519 183513 199475 199507 199473 199549 199538 199537 199541 199550 199540 183483 199542 199539 199519 199471 199474 199496 199510 199506 199508 199465 199462 199466 199467 199545 199548 199544 199543 199546 199547 199536 199528 199532 199531 199527 199509 199463 199464 200180 200186 200187 200185 200198 200184 200191 200179 200178 200177 200176 200220 216215 216217 216219 216216 216227 216145 216149 216150 216146 216147 216154 216151 216152 216153 216165 216156 216158 216159 216181 216186 216190 216196 216192 216188 216193 216182 216185 216221 216224 216222 216223 200206 200207 200208 200203 216184 216213 216214 216212 216141 200214 200215 216142 200219 200212 200221 200199 200218 200211 200170 200200 216203 216228 216191 216180 216194 216195 200201 200210 199476 199501 183492 199533 199535 183502 199487 199468 199504 199503 199478 216160 216157 216189 216199 216200 216230 216229 216231 216220 200197 216164 216163 216162 216161 216225 216226 216197 116593 116590 116542 149516 149474 116589 149470 149468 116603 182811 99914 99933 99670 99906 133479 99935 99773 99871 99765 99813 99784 99929 99894 99893 99882 99769 99934 99816 99913 99743 116780 132813 132814 116757 83261 116090 99780 99774 99778 99754 116614 149975 116434 116348 116464 116502 366923 366922 367072 367285 367291 367230 367091 367283 367084 367085 367086 367288 367286 367087 367090 367089 367083 367284 367088 367282 383176 383170 383155 383151 383166 383165 383145 383164 383138 383160 383162 383158 383173 383150 383169 383177 383141 383146 383168 383152 383144 383163 383157 383174 367057 383142 383167 383147 367060 367059 367058 383148 383143 383175 383159 383149 383153 383082 383137 383133 383131 383132 383136 383083 383135 383080 367054 367321 367318 367320 367031 382788 382802 382780 382787 382796 382781 382798 382800 382789 382797 382799 367035 367316 382795 383134 367080 367289 367228 367081 367082 367287 367078 367229 367290 367074 367079 367077 367262 367233 367258 382785 382784 382786 367239 367238 367234 367240 367281 367237 382783 367231 367241 382782 367232 367236 367252 367251 367277 367266 367254 367276 367264 367271 367269 367253 367255 367274 367280 367272 367278 367265 367256 367275 367268 367263 367279 367273 367270 367257 367076 367075 316883 316887 349822 349823 349825 349826 349824 349827 349802 349799 349806 349820 349821 349803 349791 349818 349817 349792 349795 349800 349793 349805 349796 349813 349807 349808 349815 349798 349804 349789 349814 349819 349790 349809 349794 349811 349797 349812 349816 349810 366491 366471 366489 366477 366483 366478 366470 366493 366468 366480 366486 366474 366488 366490 366469 366497 366472 366479 366464 366465 366462 366463 366461 366460 366482 366494 366499 366496 366473 366498 350526 350524 350525 366457 350385 366458 366456 383139 383154 367055 383140 383172 367056 383156 383171 383161 367063 333148 333149 350589 350629 350634 350633 350613 366122 350642 366124 366109 366119 366110 367317 350643 350640 350543 350532 350531 350383 350410 350405 350411 350390 350392 350389 350412 350246 350394 350241 350388 350248 350391 350386 350395 350244 350245 317262 317259 317201 183331 183330 183329 183155 183157 183146 183161 183141 183310 183313 183275 183262 183128 183320 183170 183182 183316 183152 183137 183300 183284 183213 183147 183160 183323 183295 183302 183312 183321 183208 183140 183149 183145 183309 183299 183318 183153 183174 183171 183142 183056 183324 183167 183298 183297 183274 183139 183305 183185 183294 183322 183307 183272 183144 183166 183150 183292 183156 183315 183187 183197 183264 183136 183191 183261 183303 183314 183255 183151 183154 183282 183273 183311 183271 183148 183278 183256 183328 183060 183195 183057 183212 183254 183325 183192 183258 183131 183201 183059 183206 183214 183270 183317 183265 183143 183257 183283 183058 183122 183124 183215 183168 183138 183260 183287 183263 183158 183159 183134 183301 183176 183277 183286 183293 183308 183203 183296 183121 183164 183135 183291 183281 183163 183304 183327 183132 183306 183319 183180 183165 183133 183326 183123 183169 183522 199832 199819 199873 199961 199812 199975 199989 199869 199842 199802 199811 199974 199824 199983 199825 199981 199823 199828 200006 199951 199996 199847 199858 199985 199987 199941 199980 199852 199821 199992 199734 199936 199994 199830 199988 199964 199834 199950 199933 199826 199997 199955 199870 199891 199801 199738 199932 199971 199956 199953 199965 199977 199942 199979 199810 199845 199737 199816 199991 199962 199934 199809 199893 199735 199844 199938 199969 199943 199839 199881 199984 199978 199875 200004 199848 199820 199939 199800 199831 199884 199806 199999 199990 199849 199960 199827 199972 199733 200000 199817 199863 200003 199886 199815 200005 199993 199833 199854 199879 199890 200002 199836 199846 199841 200001 199970 199843 199829 199736 199818 199892 199973 199835 199982 199935 199838 199948 199813 199940 199865 199952 199995 199837 199814 199822 199976 199799 199860 199998 199959 199986 199949 200161 183055 350402 350611 333866 333851 333850 333870 333864 333868 333869 333849 333863 350415 366117 366103 350638 366102 350592 350598 350560 350584 350602 350580 350601 350603 366108 366104 366105 366107 350573 366106 350556 350574 350587 350562 350594 350588 350595 350591 350554 350590 350558 350597 350586 350555 350559 350600 350596 350579 350561 350553 350593 350585 316470 316471 216901 216825 216900 300584 300523 300581 350599 350575 350578 350576 216406 199728 233084 200223 200222 199732 349784 349783 349787 349788 349782 349785 349786 350612 349781 350563 350396 350401 350400 350398 350399 350397 367248 367249 367250 350542 350541 383079 350357 350353 366111 366453 366121 366402 366404 350607 366120 366118 366405 366454 350530 350376 366455 350577 350631 349828 349829 350632 350630 333565 350406 350387 350408 350403 350609 350240 350384 350604 350242 350605 350608 350606 350610 350404 350409 350393 350407 350413 333865 333854 333853 333852 333873 216209 216178 216206 216174 216218 216179 232911 232880 232848 216155 200193 216208 216204 216210 216211 216207 216173 216205 283527 333953 333952 366908 366909 333954 333940 333937 333879 350231 350230 333946 333943 333911 317263 317260 333872 333714 333732 333731 333729 333733 333730 333735 333716 333727 333734 333705 333715 333711 333728 333717 333710 333706 333708 333713 333712 333570 333709 333569 333568 333566 333567 333956 333944 333947 333941 333938 333874 333672 367203 367094 367202 367204 367200 367093 367201 350168 350172 350173 350166 333651 350229 350228 333653 350163 366207 366204 249762 350414 350165 350184 366208 333650 350167 350183 366205 333652 183054 199486 349801 350247 366500 366505 366475 366467 383184 366507 366459 366492 350416 350522 350523 366484 366485 366495 366487 366466 366481 366476 266719 266720 266721 199484 199482 199485 199480 199513 199515 199518 199514 199516 199481 199517 199512 199483 82696 82693 232903 232883 232897 232890 232828 232829 232906 216875 232884 232863 232866 216839 216869 232819 216876 232893 232902 232859 232899 216865 216858 232823 232862 232856 232835 232898 232867 232857 232834 232832 232831 232860 232894 232843 216871 232864 232858 232887 232891 232820 232889 232904 232905 232895 232825 232855 216848 232833 232888 232900 232875 232827 232901 232892 232865 232824 216663 216659 216477 216514 216672 216670 216680 216684 216666 216674 216510 216673 216637 216671 216516 216656 216415 216416 216658 216619 216642 216661 216527 216679 216652 216551 216630 216502 216676 216478 216504 216506 216500 216489 216541 216639 216627 216538 216653 216649 216503 216562 216480 216491 216648 216643 216564 216668 216628 216621 216626 216507 216618 216638 216571 216675 216629 216536 216490 216678 216548 216662 216520 216611 216647 216650 216669 216617 216493 216614 216522 216523 216616 216497 216487 216499 216414 216411 216413 216655 216660 216484 216612 216677 216557 216651 216683 216524 216492 216654 216569 216495 216559 216494 216631 216501 216519 216682 216496 216525 216547 216620 216521 216412 216640 216515 216633 216498 216553 216512 216513 216568 216517 216570 216613 216530 216667 216526 216543 216664 216634 216657 216610 216532 216488 216681 216479 216511 216509 216665 216508 216505 266388 266390 266389 333718 333719 333723 333720 333152 316476 333154 333153 316475 216408 283120 266441 149695 233085 199730 299798 299797 249764 183051 149696 199729 283119 166374 183052 249763 233086 266442 216407 166373 283118 316474 299796 266440 150387 117031 133709 167065 333564 333930 333932 333928 333563 333562 333934 333724 333726 333725 333933 333927 333721 333722 333929 333150 333151 316473 316472 333845 333935 317193 333553 333552 333926 333931 316754 316755 316753 333955 333702 333701 333704 333700 333703 333699 349443 349432 349446 349440 349431 349433 349442 349444 333962 333964 350639 333965 349441 333707 317171 317173 317172 317192 333675 333698 333679 317191 317186 317188 317185 317190 350325 350249 350324 366927 367003 367002 349726 349724 366401 333951 333846 333847 333848 349779 349780 349776 349777 349778 349727 349775 333399 333372 333356 333396 333386 333375 333360 333367 333410 333376 333422 333398 333405 333374 333411 333357 333384 333429 333377 333366 333418 333408 333428 333389 333420 333430 333364 333358 333403 333414 333395 333359 333421 333363 333317 333316 333424 333417 333362 333401 333373 333394 333308 333400 333433 333297 333432 333305 333419 333426 333427 333413 333310 333402 333397 333379 333416 333393 333299 333314 333409 333388 333423 333407 333365 333380 333315 333383 333406 333404 333431 333415 333412 333303 333385 333425 333278 333245 333159 333162 333158 333262 333261 333263 333284 333294 333289 333282 333247 333223 333235 333267 333157 333160 333242 333230 333255 333243 333266 333258 333233 333257 333268 333241 333239 333240 333256 333259 333234 333254 333251 333287 333273 333272 333265 333271 333276 333236 333238 333225 333224 333226 333270 333237 333248 333246 333252 333293 333922 333902 333921 349429 349430 333960 349424 333908 333910 349428 333880 333882 333919 333912 333924 333923 333877 333898 333876 333897 333909 333918 333917 349425 333916 333914 333884 333913 349426 333920 333878 333896 333881 333895 333900 333906 349427 349439 333925 333901 333915 333875 333885 333907 333883 317025 317020 317024 317022 317023 317026 317021 333647 333646 333571 333156 333644 333623 333642 333636 333645 333643 366304 366301 366300 366273 366332 366305 366302 366333 366848 366847 366335 366270 366268 366269 366331 349653 349655 349654 366241 366992 367000 366968 366979 366998 367001 366999 366976 366970 366997 366996 333635 382829 382841 382842 382838 382834 382839 382831 382836 366966 366991 366973 366975 366967 366978 367023 366945 382833 382837 382827 382830 382828 366956 367092 366851 350328 366850 366844 366907 366906 382886 382885 382882 350331 366849 366861 367025 366969 366953 367026 367024 367021 366862 367027 367053 367012 350330 350329 366843 366845 366846 366841 350350 366272 316978 316992 316987 317019 316993 349651 349652 349644 349643 349639 349632 349641 349640 349638 349631 349636 349635 349633 349634 349637 83522 116127 116122 83521 116124 116140 100117 83502 116126 116139 100003 100244 83526 116107 99994 116104 116136 100097 100002 116128 116123 116125 99409 116108 100118 116787 366319 366322 366317 366318 366329 366267 366255 366259 366253 366256 366258 366287 366290 366299 366286 350286 350282 366252 366289 366959 366960 366958 366248 350272 366249 366247 366257 350293 350274 350299 350281 366266 350280 350279 366283 366282 350323 350322 366963 366995 350284 366962 366246 366245 382881 350321 350297 350314 350313 350267 350273 350277 350276 350285 350317 350283 350278 350169 350170 366274 333253 333260 333244 333269 333249 333250 333161 366277 366278 366276 366280 366285 133750 116673 116922 116675 132806 116833 116676 165973 165985 165982 165984 165983 165975 65918 99553 82875 49234 49520 65902 99271 32562 82593 99273 82582 132629 100437 132617 33725 65905 99261 82594 82596 49224 115947 132619 82592 99258 99263 67081 17068 32564 82878 49239 66197 49238 32552 115938 115946 116231 132912 132618 149587 82595 65903 82591 49227 83759 65907 32844 32842 82590 99556 49225 65906 82580 49226 99274 50403 32554 49236 49519 65913 82589 32561 65915 65904 65916 65917 49240 32558 99272 115949 149297 115941 115945 115939 132627 115937 49228 66200 99268 99267 82583 32550 99554 99259 82584 99269 32565 66198 82876 99262 65914 32553 65912 116232 132630 115952 82585 32559 49522 49237 32560 49233 32563 82581 32549 149295 132910 115950 49235 32551 99260 99270 65911 49229 115940 149296 132909 115948 132626 115936 132628 116234 115951 182663 182664 182660 182653 182652 165986 166266 166268 182651 182661 182662 149306 149307 149304 149588 149590 149305 149308 182944 182946 350320 350301 350292 350296 350298 350290 350319 350318 350291 350275 133755 133753 133752 116681 116674 100180 116680 116672 133510 133435 133511 149292 149293 149294 133793 149289 149303 350263 350261 366323 366324 366325 366326 366328 366327 350308 350309 350305 350303 350310 350312 366262 366264 366261 366260 366263 366265 366242 350171 350270 350271 350269 333491 333492 332975 332977 332944 332946 332914 332913 332976 332945 349627 349622 349623 349590 349591 349592 350268 349624 349626 333622 333621 349709 349685 349717 349719 349718 349683 349720 349675 349686 349684 349682 349716 317029 317169 317168 317170 349563 349642 349630 349629 349628 349646 333627 333631 349650 349647 349649 333630 333625 349722 349688 349689 349658 333844 349594 349715 349678 349710 349677 349713 349680 350259 366316 366311 366312 349645 350289 350287 350288 349711 366313 333634 366315 349648 349714 333632 349681 350262 350260 382883 350295 350294 350300 349676 349679 349712 333738 333737 333602 333603 333604 333490 333611 349581 349577 349580 349578 349573 349589 349569 349570 349571 349574 349610 349612 349621 349613 333594 349605 349604 333585 349608 333615 349602 349600 349599 349575 349598 333593 333592 349597 349603 349601 349596 349609 333591 349606 316974 333736 316975 333488 316973 333485 333487 333489 333495 316972 333551 333550 333505 333506 333494 333493 333618 333641 333620 333639 349668 349666 349671 349708 349703 349674 349672 349665 349664 349661 333582 349697 333583 333584 349700 349701 349702 333607 333605 333601 333612 333640 333614 333608 333617 333616 349706 349705 349669 167182 150107 167148 167166 167160 167131 167175 167174 166781 167172 150506 100159 132616 100161 116924 132712 100160 116923 117030 132614 100158 132615 116679 167150 167152 167146 149479 149483 149463 149464 149478 149481 149480 149482 150504 132625 167147 117115 300209 167151 167153 167093 333619 349568 349567 349579 349673 349699 349695 349663 333610 333609 167154 167092 333595 333599 349707 333590 333613 333597 333606 333596 333598 349662 366946 366955 366250 300582 300585 366947 366948 366950 366994 366949 366954 350540 350536 349696 333581 349566 349576 349565 349588 366320 366314 366306 349615 349620 366293 349618 349582 349585 349619 366295 366254 349586 366243 366244 366298 366297 349617 349587 366294 366292 349616 349614 366296 349583 349584 366961 366957 366974 366951 366964 366972 366330 366275 366281 366307 366310 366321 366309 366308 366279 349595 316994 349657 366291 366288 366251 366284 366965 150415 150414 133429 150485 150488 116751 150474 150496 150497 116747 150495 150494 150476 150421 150482 149290 133815 133801 133819 150472 150470 133425 133777 133772 133773 117102 117146 117099 117092 117111 117081 117096 117123 117070 117110 117100 117061 117093 117058 117120 117101 132612 117064 117129 117069 117095 100069 117062 117063 117068 117118 117140 117138 117148 117065 117141 132611 117112 117071 100073 117082 117098 132610 117067 117066 117137 117139 117108 117126 117150 117109 117105 117083 117085 117104 117107 117084 117086 117106 117113 117119 117117 117059 150475 133798 133602 133760 133740 133779 133742 133781 133776 133778 133792 149288 133828 133788 133825 133763 133795 133786 133762 133784 133766 133782 133783 133761 133785 133797 133744 133764 133739 133759 133771 133775 149291 133747 133810 133745 133807 133741 133804 133708 133818 133826 133748 133743 133787 133796 133770 133737 133774 133601 133754 117088 117103 133765 150479 133749 150453 116342 117097 132613 116775 167173 167163 133791 117087 117132 117094 167149 133824 133751 167184 117116 133736 133789 117114 167072 133790 316976 349473 349474 349472 349475 349478 349529 349530 349527 349526 333671 333697 349698 349611 349667 349704 349670 349564 333600 333589 316939 316960 316961 316969 316964 316937 316944 316959 316813 316925 316933 316962 316963 316958 316965 316945 316916 316915 350316 316967 316966 316814 332892 332901 316968 316922 316930 316926 316907 316931 316924 316932 332893 332895 332896 332903 332897 332912 332902 332899 332900 283397 283399 283398 283458 283457 282943 282880 282912 332888 332891 332887 316957 316936 316934 316940 316942 316918 316919 316941 349572 316935 316906 300205 317250 317252 317254 317249 316893 317275 317274 317182 317181 317233 317251 317265 317268 316905 316914 316929 316928 316927 316938 316923 316217 316218 316210 316215 316213 316209 316214 316222 316225 316281 316274 316282 316288 316219 316265 316221 316257 300229 316233 316224 316296 316283 316278 316279 316284 316277 316287 316273 316285 316294 316290 316291 316292 316293 316289 316295 283570 332930 332931 332961 332962 332928 332966 332974 332965 332963 332973 332910 332927 332943 332926 332935 332911 332932 332934 332942 317277 300316 316812 317195 317255 317256 317194 317253 317248 317183 317276 317273 316874 316875 333101 333102 332964 332937 332939 332905 332936 332909 332940 316943 332906 332938 332941 332904 332907 332908 316920 316917 316921 332916 332948 332764 332762 332753 332755 332765 332763 332754 333048 333046 332766 317284 317286 317059 317060 333006 333007 332997 333005 332886 332922 332890 332919 332954 332953 332950 317167 317166 316890 316888 316889 332995 332984 332991 332981 332982 332990 332992 332989 332988 332994 332986 332996 332985 332987 332983 332993 333100 300291 300290 300215 299745 299746 299744 300135 300136 332949 332885 332917 300077 300075 300076 300515 349607 316815 317001 316997 332918 333004 333145 333144 333146 333147 300514 333137 333120 333121 333122 333135 333123 333115 333141 333126 333130 333125 333127 333140 333112 333138 333136 333111 333132 333118 333114 333119 333142 333128 333134 333143 333129 333116 333113 333139 333124 333131 333133 333117 332979 332925 332923 332924 332972 332969 332971 332968 332967 332970 332752 332751 332761 332750 316908 316910 316909 317040 317049 317044 317057 317053 317033 316892 317046 317047 317048 317038 317052 316886 316891 332768 300278 300276 300271 300288 300286 300269 300274 316272 300254 300244 316208 300287 349723 333961 350570 350572 350571 316911 266849 266853 283531 283811 300590 300555 300497 300595 300599 300597 300587 300196 283896 283894 283898 317278 317266 317269 317037 317184 317031 317034 317042 317032 316885 317043 317055 317051 317039 332794 332795 332796 332799 332797 316989 332793 316913 316912 316990 316991 332920 333103 333104 333109 333110 333105 333107 333106 333108 333099 333049 333097 333098 317287 332980 316952 316953 316954 316949 316956 332999 332998 333002 333003 333001 333000 316904 316947 332952 332958 332957 332956 332951 332960 332959 332955 316828 316873 332933 332800 316872 316827 317035 316884 317050 317036 317028 317030 317045 317027 317056 317054 317282 332747 332746 316480 316578 316723 316708 316730 316682 316594 316555 316719 316733 316699 316636 316720 316694 316592 316678 316741 316718 316582 316732 316721 316715 316606 316736 316616 316743 316750 316590 316710 316639 316735 316724 316726 316751 316722 316577 316615 316742 316584 316686 316548 316546 316556 316739 316609 316569 316600 316565 316563 316576 316558 316711 316557 316745 316619 316583 316483 316637 316564 316581 316545 316598 316749 316585 316573 316687 316547 316568 316701 316747 316481 316482 316744 316588 316587 316729 316731 316571 316567 316717 316734 316589 316706 316752 316705 316688 316595 316627 316685 316716 316579 316591 316689 316727 316559 316680 316737 316574 316696 316728 316681 316695 316561 316604 316593 316748 316611 316740 316566 316707 316552 316679 316697 316684 316638 316560 316738 316702 316580 316484 316562 316698 316621 316746 316625 316630 316632 316725 316575 316570 316572 316479 332748 317218 317220 317223 317203 317242 317204 317246 317245 317244 317224 317229 317237 317239 317217 317222 317221 317240 317228 317243 317232 317199 317219 317238 317235 317236 317200 317241 317205 317234 317198 317197 317230 317207 332749 317206 317247 317231 317202 300236 317058 316817 316811 332848 316807 316244 316810 316809 317196 317257 333894 333892 333893 316466 316468 316467 316469 316478 316946 316439 316456 316464 316459 316454 316433 316450 316444 316440 316463 316448 316443 316435 316461 316458 316452 316438 316465 316447 316453 316449 316462 316457 316437 316436 316455 316451 316442 316460 316445 316434 316446 316441 300150 300195 300149 300194 333638 300252 299547 299588 316425 316431 316432 316429 299620 299589 299621 299619 299561 299590 316424 316423 316422 316426 316428 316427 300237 300238 300266 300255 299592 299623 299560 299557 299558 299529 299556 299544 299555 299546 299543 299542 299541 299545 316207 316298 316299 316239 316271 316234 316266 316236 316235 316267 316268 300282 300279 300256 300249 300241 300257 300289 300280 300267 300250 300251 300243 300239 300242 300283 300285 300262 300264 300284 300258 300263 316240 316430 316297 316245 316250 300138 300380 300133 300129 300247 300246 300245 300253 300248 300261 316253 316256 316254 316252 300260 300232 300231 300281 300230 317215 300240 283638 300235 300139 300134 300265 300259 316246 316242 316241 316248 316249 316247 300596 300598 283530 283529 283528 300573 300343 300344 300345 300348 300346 300347 316087 316085 316086 316084 316077 316075 316076 300495 300494 300570 300577 300575 300342 300323 300319 300600 316090 300579 300591 300588 300571 300489 300572 300574 300576 316088 300518 300606 300608 300609 300578 300517 283893 300516 317283 300197 300550 300526 300569 300568 300524 300546 300545 316370 316368 300521 300520 300525 316071 316072 316074 300527 300528 300540 316073 316070 300519 300539 300522 300567 300561 300529 333045 300381 300382 300488 316420 316371 316421 316419 300604 316083 316068 316069 300554 300552 300559 300560 300557 300551 300553 300558 300556 300566 300542 300543 300544 300541 300565 300564 300562 300563 300008 300001 300023 300027 300073 300044 300028 300020 300059 300063 300002 300019 300061 300017 300048 300062 299885 299888 299886 300040 300067 300064 300038 300030 300033 300016 299910 300074 300045 300006 300043 299917 299898 299938 299928 299916 299897 299931 299937 299933 299949 299941 299959 299869 299805 299867 299884 299877 299878 299882 299881 283919 283899 283918 299793 299792 299790 299789 299791 299788 283840 299795 283838 299794 283901 283837 283906 283903 283920 283845 283922 250481 267159 283877 283839 299690 299692 299900 299906 299915 299902 299901 299907 283907 283904 283117 283909 283912 267161 267162 267160 267231 283115 283116 283114 267234 267228 267225 250171 267167 267226 267229 299913 283113 283112 267235 267232 299803 299754 299757 299759 299747 299763 299761 299752 299772 299768 299764 299782 299786 299770 299785 299755 299780 299767 299771 299781 299749 299758 299773 299762 299776 299765 299751 299779 299748 299784 299777 299769 299753 299760 299778 299766 299756 299783 299750 299775 299787 299774 299804 300057 299880 299896 299899 299893 299903 299879 299909 300066 300003 299943 299801 300009 299954 300055 300050 299891 299926 300065 300041 300021 299887 300011 300053 299952 299870 300047 299911 299912 299890 300029 299922 300072 299892 299961 300068 299889 299874 300042 299947 300070 299920 299960 300004 300052 300024 300007 299883 300039 299904 300069 300032 300037 299894 300046 300051 300018 299806 300071 300060 299895 299868 300010 300000 299905 300058 300056 300049 299802 299914 300054 299958 299800 300210 300351 300379 300372 300371 300373 300376 300375 300374 300234 283825 300496 300208 300207 300349 300354 300356 300357 300355 300360 300361 300214 300352 300359 300509 300498 300512 300507 300510 300513 300508 300493 283533 283817 283816 283815 283829 283830 283835 283834 283832 283673 283813 283814 283812 283836 300233 283826 316276 316275 283827 316243 300268 300298 332852 332851 332849 300297 300295 300294 316816 300296 349477 316270 316301 316238 283831 283828 332921 332889 333008 333665 333656 283694 283683 283698 283700 283701 283696 283699 283697 283695 283677 283672 283674 283536 283680 283682 283679 283678 283671 283675 283681 283676 283913 283910 333010 283535 283534 283532 300363 300366 300365 300362 300367 300364 316286 316255 316280 316220 316223 316228 316260 316232 316263 316226 300275 316262 316229 316258 316261 316231 316259 316230 316264 316227 300377 300206 300370 300368 300369 250479 250480 250476 250473 250474 250461 250478 250460 250459 283690 283692 283691 333670 333669 332894 332805 332803 333667 332808 332807 332802 332804 332929 333668 283537 316251 283921 283688 283684 283686 283687 283689 283685 283895 283900 283892 283897 283917 250463 250462 250339 250342 250340 250338 250345 250341 250344 250343 250335 250334 250336 250177 250332 250174 250328 250327 250172 250331 250178 250330 250173 250176 250329 283693 250179 250323 250325 250315 250468 250464 250326 250472 250322 250318 250321 250475 250180 250316 250320 250333 250337 250324 250319 283928 283930 299397 299399 299406 299407 299409 299408 299398 283703 283704 300492 300490 300491 299743 299741 299693 299742 283931 283670 283668 283669 283666 283667 283665 300132 283617 283619 300131 283616 283618 300137 316211 316212 283569 299534 299533 299530 300502 300211 300506 300213 300378 300350 300358 300353 300212 283810 299410 316367 300605 283641 283645 283664 299412 299540 299539 299537 283568 283567 299535 299536 283518 283519 266841 266840 266838 266793 266839 266794 316170 299531 299532 299396 299405 283872 283891 283890 283889 283880 283878 283888 299392 299395 283841 283849 283862 283844 283847 283867 283843 283846 299390 283883 283873 283879 283876 283881 283874 283875 283882 283884 283886 283885 283887 299394 283863 283864 283865 283866 283851 316116 316115 316118 316117 316119 316122 283620 299593 283084 283104 283074 283070 283075 283068 283066 283067 283069 283100 283101 283086 283105 283073 283103 283099 283079 283094 283076 283106 283093 283109 283077 283090 283098 283111 283110 283102 283087 283096 283097 283089 283082 283092 283083 283071 283091 283108 283107 283088 283095 283081 283080 283078 283085 283072 282945 282914 282882 300536 300538 266433 266437 266435 266436 266432 266438 266434 266439 266431 300537 266396 266412 266409 266408 266393 266417 266395 266429 266415 266416 266421 266391 266411 266422 266394 266426 266425 266406 266404 266401 266392 266413 266424 266405 266423 266428 266410 266430 266407 266400 266420 266403 266414 266418 266399 266402 266427 266398 266397 266419 283574 283566 266960 283582 283577 283575 283576 299565 299566 299576 299574 299578 299579 299575 299587 299572 299609 299605 299610 299606 299618 299607 299617 299577 299598 299573 283456 283460 283459 233497 233493 283471 283517 283472 283516 283588 283560 283557 283559 283558 299569 299568 299570 299567 299571 233861 283551 216819 283609 283610 283608 283593 299613 283596 283598 283597 299614 283591 299611 299616 299612 299615 283585 283607 283586 283606 283584 283580 283578 283571 283573 283605 283561 283600 299562 283579 283563 283572 283562 283564 299538 299602 316216 299604 299603 299601 299600 299608 299438 299599 217183 283269 283250 283248 283271 283281 283238 283343 283350 283341 283359 283354 283389 283329 283340 283363 283367 283381 283386 283229 283191 283201 283196 283219 283216 283208 283234 283199 283124 283202 283212 283550 283555 283547 217186 217184 217182 283556 299594 283590 283122 299586 299564 299563 299439 283633 299437 299440 299443 299441 283635 283634 299444 217207 283842 283848 299393 283926 283861 283868 283850 299391 283126 283612 283613 283366 283388 283265 283215 283282 283218 283375 283259 283362 283345 283328 283210 283368 283371 283385 283225 283207 283200 283276 283233 283222 283325 283189 283380 283601 283611 283602 283589 283583 283581 283587 283352 283394 283376 283213 283395 283239 283260 283205 283237 283364 283128 283226 283231 283125 283338 283351 283204 283326 283255 283360 283206 283322 283390 283374 283227 283355 283214 283383 283274 283377 283244 283228 283192 283236 283283 283127 283235 283391 283372 283253 283190 283392 283323 283387 283384 283224 283382 283342 283369 283370 283217 283331 283242 283203 283332 283333 283280 283393 283209 283223 283349 283339 283330 283123 283211 283379 283221 283373 283324 283378 283232 283346 283361 283396 283365 283220 217126 217187 217181 217188 217209 217165 217197 217200 233885 233784 233884 233883 233872 233869 233811 233886 232685 232686 232687 233864 233862 233859 233866 233860 233805 217208 217191 233804 283604 267133 250317 283015 283014 283012 267217 267140 267239 267241 267240 267242 267141 250175 283548 283549 299595 283565 217194 200141 217099 217133 200137 200421 299596 282721 282720 267218 267222 267220 267216 250102 250101 249527 249495 249555 249556 249523 267158 267138 267139 267152 267135 267136 267134 267151 267156 267137 267157 267154 266995 283859 266387 266385 266386 266337 266334 266336 250553 250556 250565 250562 250521 266054 266056 266051 266043 266042 266052 266041 266053 266050 299552 299581 299582 299550 299548 299549 299554 299580 299584 299585 299553 216991 217098 216992 183463 183459 200313 200420 200314 233579 233503 233578 133757 199341 199331 199330 199338 199329 183862 183860 183750 183850 183851 199342 183838 183835 183849 183852 183777 183809 183844 183841 183826 183830 183825 183828 183832 183771 183770 183831 183824 183829 183751 199340 199624 199622 183743 199339 183827 233543 233542 233536 233365 233363 233364 233540 233547 233541 233554 233549 232693 232684 232697 232696 232679 232678 217214 232694 232695 217216 217218 249372 249363 249364 249365 249373 249374 249375 232698 249758 249760 249756 249761 249754 249755 233894 249757 249759 249753 233896 233897 233777 232978 233843 232980 233875 233878 233887 249371 249357 233892 233785 249356 200248 216744 233535 233532 249742 249730 249747 249731 249733 249750 249721 249740 249745 249727 249729 249746 249737 249710 249714 249718 249717 249719 249720 249732 249716 249726 249751 249736 249734 249743 249739 249752 249715 249711 249712 249713 249744 249724 249735 249722 249725 249728 249738 249749 249723 249741 249748 233534 233533 250162 250163 233484 216806 200128 166362 166347 166337 166353 166361 166345 166344 166348 166336 166341 166351 166342 166352 166360 166332 166358 166334 166350 166356 166343 166340 166335 166349 166333 166355 166338 166354 166346 166339 166357 166331 166359 249587 249524 249559 249586 249545 249536 249544 282887 249554 249542 249541 282891 249574 249503 249509 249497 249512 249575 282915 249511 282941 249585 282890 282878 282851 282879 282897 282894 250043 249500 249550 249534 249543 249499 249560 249567 249565 249582 249578 249566 250042 249538 250041 249546 249496 249563 249552 249528 249532 249531 249533 249570 249562 249569 249502 249572 249507 249501 249506 249498 249571 249576 249521 249505 249513 249584 249510 249522 282892 282883 282899 282900 282885 282942 282889 282886 282901 282896 282898 282893 282910 282909 282911 266780 266779 282884 282888 266899 266898 266897 266935 266934 266859 249577 249579 249581 249564 249530 249551 249547 249529 249548 249535 249561 249583 249573 249508 249568 249580 249553 249537 249540 249549 266263 266265 266202 266200 266205 266234 266232 266233 266173 266264 266237 266201 316171 250256 250257 250213 250211 250212 266196 266175 266178 266180 266187 266184 266186 266199 266195 266181 266183 266177 266174 266188 266191 266192 266179 266185 250282 266189 266198 266190 266197 266176 250214 266193 266194 233351 233336 233341 233361 233344 233345 233359 233352 233358 233362 233331 233093 233342 233337 233170 233156 233171 233360 233172 233094 233338 233343 233299 233298 233339 233296 233305 233166 233201 233202 233349 233173 233330 233292 233329 233177 233291 233198 233176 233199 233165 233295 233348 233175 233347 233350 233174 233340 233200 233157 233188 233242 233246 233187 233316 233214 233315 233210 233191 233312 233235 233356 233208 233304 233321 233354 233204 233216 233181 233306 233248 233333 233353 233307 233320 233327 233226 233240 233194 233162 233357 233325 233219 233317 233205 233355 233229 233231 233221 233288 233318 233308 233185 233183 233297 233346 233311 233247 233158 233237 233326 233167 233090 233091 233092 233225 233309 233328 233178 233290 233197 233289 233179 233334 233332 233294 233335 233249 150146 166123 166122 166119 166117 166120 150152 150159 150153 150158 150164 166131 166112 166107 166108 166111 150150 166115 166116 166113 150127 150126 150125 150142 150151 150136 166328 166326 166325 166330 166329 166324 166327 183636 183635 183742 150103 183544 183545 166785 150471 150493 167171 167073 167074 100470 115933 115932 100472 100468 150386 150279 150280 183784 183787 183786 183789 183788 183785 166710 150214 166705 166714 166715 166956 166709 150188 150189 150113 150144 150145 150186 150178 150177 150184 150165 150187 150185 166121 150139 150183 150182 150162 150160 150154 150161 150155 150156 150143 150181 150149 150147 150148 166114 166125 166128 166124 166127 166129 166126 150124 150468 150473 150469 166109 166110 166130 133499 133507 133508 133487 133509 133500 133506 183450 166106 166118 166791 166867 166866 116339 133018 116340 133017 150394 166772 166842 182790 182793 182786 182785 182797 182794 182791 182795 166814 166835 166831 182789 166828 166824 166805 166836 166841 166837 182864 182859 182834 182826 182799 182809 182871 182862 182828 182868 182829 182823 182869 182867 182857 182824 182817 182801 182858 182863 182849 182838 182832 182837 182800 182866 182865 182830 182835 182860 182870 182833 182839 182822 182825 182855 182818 182841 182798 182850 182836 182861 182872 182854 182840 182831 182796 182853 182784 166829 166823 166821 166830 166822 182821 182816 182848 182852 182851 182856 166859 166858 166857 166860 166864 166862 166863 166855 166843 166856 166865 250455 267252 282734 282729 282732 267248 282712 282730 166323 149694 133016 82982 116338 99660 200470 200469 200468 133489 133495 133498 133496 133494 149661 149655 149663 149682 149653 149666 149679 149672 149678 149668 149691 149688 149687 149686 149650 149675 149649 149665 149648 149671 149660 149667 149673 149658 149693 149680 149657 149677 149670 149651 149642 149646 149643 149644 149659 149685 149674 149690 149692 149689 149676 149669 149684 49588 49589 49610 49617 32948 49598 32923 32908 32906 32942 49626 32944 32947 32905 32927 32911 32941 32929 49607 66278 32940 32904 32913 32907 32916 32930 32933 32924 32915 32918 32903 32943 32932 32928 32935 32938 49599 49619 49615 49593 49609 49592 49597 66283 66254 66303 66282 66295 66298 66275 66286 66300 66258 49621 49625 32912 49601 49585 32939 32926 32934 32909 32922 32931 32914 32921 32910 66279 66291 66281 66288 49577 49581 49612 49608 66299 66269 49584 49618 66273 49622 49614 66296 66255 66260 66257 66268 66271 66264 66277 66302 66256 66293 32919 49616 66301 49594 66280 32945 66287 66265 66262 66284 66292 49595 49591 49582 49623 66297 66263 66289 49624 49604 49587 66266 49596 49620 32937 32946 66304 66261 66259 49590 66285 66267 66290 49578 150094 32936 49575 49600 66276 66272 66294 66274 32925 32917 32920 49613 49580 66270 49611 49579 49576 49606 49583 49605 49603 49602 49586 133491 132803 116820 116818 116811 132802 132801 116828 116817 116832 116822 116809 116831 116813 132804 116816 132805 132800 116821 116829 116830 133357 116837 116836 133504 133460 133482 133477 133505 133476 133484 133461 133478 133483 150195 166708 150194 150192 150193 166707 166713 182650 182648 182649 182659 133817 133746 133716 133794 133816 133717 133780 167099 167157 166958 166957 167064 167140 167101 167118 167117 167105 167122 167100 167121 167103 167141 167142 167136 167135 167134 167144 167138 167102 167095 167129 167128 167133 167180 166319 166318 182644 166269 182645 166317 99662 82983 82984 99661 32678 32902 32901 32899 32900 116738 100060 133416 83382 32898 32897 32680 66305 66306 49628 66704 50026 33348 32950 32949 263 223 17033 17032 224 213 16708 251 252 209 212 33284 33295 33282 33283 33347 50368 33285 50366 50365 50362 50361 50363 50364 50367 50360 15887 15878 15882 15880 15900 15881 15867 15873 15901 15889 15884 15892 15910 15899 15869 15872 15902 15885 15909 15875 15870 16365 15904 15894 15879 15893 15891 15874 15896 15907 15877 15897 15886 15908 15905 15890 15876 15903 15906 15898 15883 15871 15866 15868 15888 15895 166725 166771 166770 166726 150092 150048 150093 150047 166871 183385 166873 183388 199424 166892 183391 183858 199337 183392 183387 166872 199322 199323 183634 166870 183386 183393 183383 217125 200447 117035 117036 117057 100379 100359 117056 117049 117050 117037 117052 117054 100357 117055 100358 100377 100356 100354 100215 100372 100376 100378 100374 100371 100355 117032 117034 117033 116893 233485 150413 133735 233803 183769 200129 167091 216807 167090 167086 166927 167083 167089 167084 167069 167067 167070 167066 167088 167071 167068 133730 133714 133715 133727 133732 133734 133571 133733 133712 133713 133728 133710 133711 150392 150249 150406 150389 150411 150410 150391 150405 150390 150412 183764 183746 183605 183748 183767 183766 183747 183768 183744 183745 183749 150388 150408 150393 217123 217122 216961 217118 217124 217117 217120 32669 32672 32671 32670 32658 32660 32652 32666 32663 16746 32667 16055 13 16054 67023 32676 32656 15757 15756 150507 165988 49571 49574 49573 49242 49572 49523 32894 32893 32845 32895 32567 32896 150095 116739 16077 16063 16071 16068 16078 16075 16095 16069 16090 16080 16062 15865 15863 16092 16066 16064 16086 16072 16057 16094 16065 16048 16076 15864 16058 16087 16093 16074 16067 16085 16091 16050 16088 16081 16059 66250 66251 66253 66252 66249 65920 66201 183451 166773 15765 16047 15761 15861 15859 15860 50345 17009 17014 17015 17010 16851 16849 16858 16853 16854 16855 16997 17016 16828 16830 15762 288 32649 12 11 16749 16745 16079 15862 15755 15772 15782 15775 15767 15783 15780 15770 15779 15778 16748 32657 32674 15758 32668 15763 32659 32665 15759 16073 15768 15769 15776 16046 15773 15766 15785 15777 16056 15753 15750 16084 16049 16051 16070 16364 32661 16096 16053 16083 32673 16052 16061 16747 15760 16082 15747 15746 15752 15748 16060 16089 15751 15749 15771 15781 16045 32677 32675 32651 32650 250312 250311 250313 250309 250310 250314 33687 33684 33683 33686 33682 16658 33690 16706 16707 16675 16657 16655 16654 16668 33685 33688 33689 250458 250456 250457 49627 17017 33667 192 173 183 191 193 184 178 176 174 175 180 181 182 169 170 143 144 145 147 146 166 185 142 148 124 157 261 163 110 160 19 122 188 117 262 156 152 128 99 158 139 159 108 96 186 140 135 107 136 165 141 153 119 115 134 109 149 118 120 125 164 34 33 98 126 123 114 113 161 112 127 151 189 97 35 121 133 116 130 138 103 137 111 154 190 177 33349 16709 17012 162 16996 172 171 129 155 131 187 167 179 132 16852 16850 150 168 33346 33281 33302 15695 50027 408 15857 15692 344 340 405 66705 341 339 388 319 406 15807 15856 387 17 400 336 15693 403 15858 16656 18 15 211 16 14 16366 15690 337 15808 407 15691 401 338 335 133417 100061 150395 150259 150270 150271 150253 150258 150254 150112 150255 150104 150111 150106 150108 150396 150247 150251 150252 150257 150265 150262 150264 150263 150261 133428 133427 133426 133431 133432 133430 133433 317216 317214 83383 83701 33499 33498 33496 33646 33475 33471 33665 33666 33497 33664 33500 33660 33494 33503 33495 33647 33659 33662 283451 283702 283455 50340 50337 50342 150277 150274 150272 150273 150105 150110 150256 150250 150109 150407 150260 150248 150275 150267 150266 150276 150269 150268 233801 233802 233795 233778 233780 233783 233781 233639 233782 233779 217104 233798 233800 233796 217105 217102 217101 217100 217103 50174 50149 50172 50344 50178 50177 50324 50176 133591 133598 133599 133593 133592 133594 133596 133582 133586 133585 133573 133579 133577 133574 133578 50173 50153 50325 50338 50343 50181 50175 67021 67016 67003 67015 67020 66859 67022 67002 67018 283461 283454 283453 83537 83680 83699 83693 300311 316125 282875 282877 282866 282876 282861 282865 282863 282873 282857 282854 282859 282853 282868 282871 282870 282858 282867 282872 266892 282862 282874 282869 282855 282852 282856 266904 266905 266871 266891 266882 266890 266888 266872 266873 266903 266896 266909 266910 299597 282939 282917 282924 282926 282932 282929 282927 282918 282922 282931 282923 282925 282930 282928 282940 266889 266869 266870 282936 282933 282937 282935 133575 133584 133583 133570 133576 133595 133572 133588 133580 133569 133434 133587 133589 133729 133718 133563 133564 133565 133568 133567 133566 266923 266906 266929 266924 266900 266930 266908 266902 266932 266931 266933 266911 266880 266881 266879 266907 266901 266885 266884 83681 83698 83696 83700 100353 317212 317213 266926 266893 266878 266927 266895 266883 266887 266886 266894 32664 32662 316174 316173 282713 267253 267223 283063 283065 283064 267250 282727 282731 282728 267215 317209 317208 317211 317210 299583 299551 267199 267244 267221 282719 267243 250566 216874 216851 216852 216892 216868 216859 216899 216857 216867 216877 216896 216895 216897 216849 216898 216866 216864 216861 216873 216894 216853 216890 216847 216850 216889 216893 216872 216860 216870 267214 299689 283927 266693 266544 266673 266535 266555 266534 266660 266672 266695 266550 266684 266538 266645 266525 266674 266688 266716 266711 266710 266692 266652 266537 266646 266450 266664 266682 266528 266572 266702 266540 266602 266690 266715 266536 266542 266598 266681 266701 266697 266575 266582 266564 266593 266554 266686 266449 266513 266518 266698 266548 266545 266533 266661 266511 266706 266558 266591 266526 266543 266662 266596 266676 266713 266577 266603 266687 266524 266521 266448 266587 266648 266700 266560 266685 266667 266671 266530 266561 266514 266699 266654 266703 266604 266663 266581 266539 266655 266704 266529 266718 266549 266512 266717 266691 266705 266605 266557 266683 266446 266665 266559 266532 266696 266712 266566 266694 266546 266653 266585 266523 266447 266644 266527 266647 266531 266445 266547 266541 266556 266708 266522 266668 266709 266650 266570 266677 266553 266689 266651 266707 266551 267019 267015 267017 267022 267001 266999 266858 267219 283011 267026 267025 267132 282717 282716 282718 267202 267200 267212 282714 267211 267183 282715 267173 267213 267210 267194 267198 267197 267196 267204 267201 267207 267208 267206 267209 267195 267203 267205 267007 267009 266781 266782 267172 267184 267169 267189 267171 267168 267185 267170 267186 267165 267163 267164 267188 267166 267190 267187 266773 267024 266776 266777 250261 266778 266783 266775 250260 250262 266997 266857 266993 266992 266989 266988 266990 266991 282814 250263 266852 266963 266987 266986 266967 266851 266854 267150 266998 267146 266856 267012 267142 266855 267003 266996 267000 267153 267020 267011 267010 267013 266994 267004 267018 267002 267008 267023 267014 267016 266850 266877 316126 300300 300313 300312 300314 300315 316129 300309 316121 316127 316124 300341 316130 266938 266941 266939 266940 282920 282919 282916 282921 282864 282818 282815 282817 299496 299495 299493 299492 266942 266919 266913 266922 266920 266915 266918 282895 282860 283637 283663 283631 283636 299451 299449 299448 299447 299446 283622 232734 232850 232818 232854 232886 216879 216885 216884 216886 216881 216888 266912 282766 216846 216845 216854 216863 216855 216862 216856 216837 232821 232896 216836 232822 232885 232853 216835 216838 232874 232826 266444 282760 282763 282762 282761 282759 250264 250028 250007 249892 250040 249880 250029 249993 250031 250030 249970 249967 249854 249875 250017 250006 249983 249873 249894 249771 249975 249851 249913 250023 249909 250036 249847 249915 250015 249907 249996 249976 249883 249855 249859 249984 249999 250037 249863 249925 249876 249881 249878 250027 249768 249853 249986 249769 250021 250018 249904 249985 250019 250004 249994 249836 249972 249864 250025 249882 250009 249849 250035 249897 249927 249871 249772 249974 249856 250038 250010 249987 249977 249860 250034 249868 249969 249872 249840 250032 250033 249879 249846 249858 249998 249770 249973 250026 249886 249833 249990 249767 249865 249968 249924 249995 249888 249845 249877 249850 249834 249989 249857 249844 249903 249982 249852 249870 249866 249861 249966 250039 250008 249867 250003 250016 249848 249918 249843 249869 249920 249899 250020 249862 250024 250014 250012 249926 249835 250022 250013 250011 250005 282934 282938 299452 233548 233526 250225 250232 250231 266261 266255 266257 266259 266256 266258 266260 250218 250210 266215 250227 266222 266220 266223 250204 266221 250221 266216 266219 266218 266214 266250 266253 266251 266262 266254 266231 250195 266249 250103 266252 166827 166833 166826 166861 166840 166838 166832 166834 166839 166825 166819 166818 166817 166815 166816 166807 166808 166806 249376 249378 250199 233057 233049 233044 233047 233068 233063 233074 233065 233050 233061 233070 233054 233072 233062 233073 233045 233056 233071 233058 233043 233064 233035 233036 233038 233039 233042 233041 266240 266248 266245 266247 266244 266246 266239 266243 249766 250234 250557 250554 250538 250542 250540 250539 250544 250537 250483 250550 250548 250551 250561 250572 250574 250536 250543 267249 250575 250545 250484 250541 266035 266034 250570 266049 250285 250289 250308 183501 183499 183500 183508 183507 183534 183541 183517 183514 183537 183495 183518 183494 183497 183496 183493 183503 183505 183539 183536 183480 183481 250507 183853 167097 167119 167115 167098 167120 167116 167096 167145 167104 182646 182647 167130 167143 167132 167139 167137 167127 167126 232700 233670 233669 249708 249709 249656 249658 249659 249707 216392 216378 216379 216385 216375 216361 216383 216371 216359 216387 216389 216394 216357 216388 216386 216395 216382 216366 216354 216397 216369 216405 216400 216399 216402 216403 216401 216364 216376 216393 216367 216391 216374 216356 216404 216365 216373 216355 216384 216377 216358 216372 216398 216360 216390 216363 216370 216362 216380 216368 216396 216381 199705 199718 199715 199697 199714 199719 199707 199704 199700 199724 199681 199680 199682 199678 199727 199688 199692 199722 199708 199706 199698 199717 199711 199696 199716 199693 199713 199703 199691 199702 199725 199721 199695 199710 199694 199723 199689 199687 199690 199699 199683 199677 199712 199720 199676 199679 199726 199686 199685 199684 199709 216815 199701 233858 233865 233863 233776 250506 250490 250491 250528 250523 250526 250516 266037 250487 250531 250512 250485 250505 250525 250527 250510 266036 250494 250508 250522 250520 250519 266039 266038 266040 250492 250181 250535 250530 250533 250532 250517 250486 250529 250495 250493 250524 250511 250488 250534 250509 250518 233517 250348 250347 233553 250454 266209 266206 250219 250220 266210 250230 250229 250222 250223 250224 250251 250228 250250 250242 250241 250244 250254 250248 250209 250205 250203 250202 250201 250206 250208 250249 250215 282768 250245 250246 250253 250255 250252 266242 266217 250226 266207 266213 266208 199370 183565 199371 183538 183542 183482 199369 183521 183504 183511 183510 183540 183512 183543 233031 233030 232981 233029 233067 233055 233076 233075 233079 233078 233080 233053 233077 233040 233083 233082 233081 233051 233037 233060 233066 233052 233069 233046 233059 233048 183516 183533 183566 199372 216020 216019 200505 200536 216007 216001 216015 216000 216299 216300 216302 216008 216016 216009 216017 216018 216004 216005 216006 216170 216202 216233 199497 199498 199494 199530 183529 183525 183479 199526 199534 199529 183530 183528 183532 183523 199524 199555 233867 233888 233806 233879 233870 233873 233876 266238 250240 250235 250237 266241 266182 250194 250192 250193 250191 250216 266204 266236 266267 216926 233555 233575 233577 233568 233576 233567 233574 233527 233530 233537 233539 233538 233528 233552 233545 233529 233531 233573 233546 233550 233572 233544 233551 233557 233559 233566 233562 233564 233563 233668 233421 233426 233422 233427 249589 249526 249558 199492 266956 282770 282773 266959 266211 250207 250233 250217 266212 183448 183449 183404 183403 250161 250160 250115 250116 233604 183854 183842 183839 183833 183836 183845 183772 199673 199675 199344 199625 199674 183863 233585 250095 250099 233584 250098 233582 250105 250346 233583 250097 250100 233586 199375 183567 199373 233524 233525 199376 233556 233516 233515 182997 182996 182666 182995 182947 167185 167155 167094 167176 167161 166820 199328 199326 199327 166813 166812 166811 166810 183814 183810 183806 183816 183795 183779 183799 183781 183800 183773 183822 183811 183807 183821 183796 183817 183819 183782 183815 183774 183798 183805 183820 183794 183812 183797 183818 183778 183793 199324 183776 183823 199325 183775 183813 183808 183804 183780 183783 183491 183489 183490 199505 182787 182788 182820 166854 166845 182819 166851 166847 166852 166850 166809 182792 166534 166580 166616 166535 166642 166631 166645 166593 166578 166620 166617 166623 166604 166582 166621 166648 166585 166637 166633 166609 166603 166583 166638 166577 166594 166643 166614 166579 166618 166640 166636 166530 166587 166608 166596 166646 166649 166625 166644 166536 166622 166606 166619 166595 166627 166615 166537 166641 166630 166634 166597 166629 166624 166576 166528 166600 166626 166605 166586 166639 166628 166584 166517 166599 166525 166632 166647 166635 166519 166613 166592 166650 166523 166482 166381 166444 166473 166509 166460 166489 166446 166481 166478 166504 166458 166472 166443 166466 166459 166493 166467 166468 166456 166453 166474 166498 166490 166496 166487 166471 166455 166469 166483 166513 166445 166477 166463 166486 166454 166492 166462 166465 166380 166476 166382 166450 166480 166457 166502 166461 166464 166475 166479 166470 166485 166488 166507 166379 166514 166491 166377 166378 166844 199425 199427 199428 150157 166193 166177 166194 166182 166174 166185 166171 166172 166180 166173 166178 166176 166179 166181 166170 150163 166186 166183 166184 166189 166188 166190 166192 166191 166139 166146 166140 166145 166144 166147 166152 166151 166153 166148 166154 166163 166155 166143 166150 166187 150172 150176 150173 150167 166175 150174 166141 150169 166142 183629 183630 183631 183626 183625 183627 183632 183633 183624 183623 183622 183620 183617 183618 183616 183615 183621 183619 183462 183468 183461 183466 183464 183752 183467 183763 183608 183604 183610 183603 183612 183465 183611 183460 183606 183609 183614 183628 166941 166940 166938 166943 166946 166950 166937 166939 166945 166955 166952 166949 166953 166947 166944 166933 166934 166936 167082 166929 166925 167085 166930 167078 166935 166926 166928 166932 166790 166931 166787 166786 166782 166784 166789 266139 166788 166948 166951 166783 166954 266955 266985 282765 266958 282771 282774 266944 266953 266957 282769 266137 266136 283858 283860 116692 116737 116736 116671 132998 132971 132963 132967 132961 132975 133006 132990 132972 132989 132969 132988 132979 133013 133002 133007 132999 132974 133009 132978 132981 133011 132973 133000 133004 132632 132913 133008 133012 132985 117151 133001 132964 132968 132993 132983 132984 133005 133015 132980 132986 132991 132966 132994 133003 132977 132976 132992 132982 132970 132987 133014 132962 132997 132995 132996 133010 132965 116885 116886 116861 116884 116865 116890 116887 116888 116889 117045 117047 117046 133738 133799 149639 133829 149641 149640 149591 133805 133802 133811 133808 133820 117060 117121 133562 133543 133539 117127 117133 117124 117142 117130 183597 183577 183599 183600 183601 183598 183573 183602 183596 150243 150246 150245 150242 150241 150244 150221 150217 150240 117048 117051 116921 116920 116908 116916 116909 116919 116903 116913 116906 116904 116905 116914 116915 116907 116894 116900 116897 116752 116750 116756 116755 116754 116892 116911 116910 116753 116899 116749 116895 116891 116901 116896 149664 149662 149647 149683 149656 149681 149652 116918 116898 116912 149645 116917 332898 266714 317187 283263 317041 333899 266928 199621 183859 133295 133297 133296 149952 149841 149948 149955 149905 149779 149967 149791 149814 149808 149949 149956 149899 149857 149939 149964 149783 149847 149820 149958 149938 149921 149772 149839 149831 149818 149953 149807 149925 149795 149767 149785 149941 149852 149966 149930 149775 149798 149950 149946 149856 149900 149829 149960 149845 149936 149901 149945 149947 149824 149789 149811 149954 149942 149815 149944 149943 149935 149961 149835 149917 149914 149796 149793 149968 149766 149971 149780 149907 149787 149962 149836 149940 149786 149951 149908 149915 149902 149922 149918 149858 149812 149826 149972 149790 149810 149909 149904 149957 149859 149704 149700 149701 149703 149788 149927 149919 149970 149797 149792 149969 149782 149813 149768 149784 149805 149926 149928 149809 149702 149801 149804 149965 149799 149777 149802 149800 149699 149794 149778 149781 149963 149765 149776 149931 149803 149898 149937 149916 149850 149959 149906 166376 150196 149698 166889 182695 166888 182694 182693 182692 182697 166887 150166 183569 183595 182943 167181 165974 149431 149452 149447 149448 149449 149450 149446 149451 149521 149490 149458 165981 165972 165971 165970 149341 133533 149338 149339 149336 133531 149337 133532 149335 150027 150037 150031 150036 133536 150032 150278 116691 100235 100236 100237 100238 100230 100231 100227 100225 133414 133370 133415 133349 149310 83315 132716 132715 132713 149391 149393 182746 100234 83724 49378 83722 66016 83719 50067 67044 67038 66009 49341 49963 66015 49387 33390 49373 49361 49337 49343 66010 49353 49334 49973 66017 49961 49380 66637 49346 66023 50064 49372 49370 49351 49375 66028 33389 66026 49386 33388 49329 49356 66024 49344 49352 49340 66638 49328 32710 49327 49388 49362 67040 49369 49354 49350 49366 83720 33397 67043 67042 49364 50066 33399 66025 49377 66007 49359 67045 83717 66651 66029 49384 49347 66022 49365 33398 50068 83721 49376 49342 32712 49385 49959 49367 33387 66018 49371 67046 49338 32742 49336 49374 83723 66639 66641 66702 49390 49382 66658 66031 116328 116301 66019 66012 49335 49358 66005 83718 49349 83716 50024 67041 49962 33386 49332 49330 49363 66036 50065 49360 66027 66014 66020 67039 49345 49331 50025 66032 49381 33400 116295 116327 116331 116294 116312 116297 116326 116320 116309 116334 116300 116303 116337 116305 116318 116316 116306 116302 116292 99616 99619 116325 116290 116333 116289 116310 116311 116335 116321 116330 116287 116313 99618 99630 116299 116329 116319 116307 116291 116336 116314 116322 116304 116324 116308 116315 116288 116296 116293 116298 116323 116332 99646 49355 99617 99641 99608 99650 99631 99624 99629 99657 99615 116317 116286 99637 99643 99633 99612 99653 99623 99640 99627 99610 99632 99651 99636 99654 99625 49960 66640 49339 66034 99611 99659 99621 99645 99622 99634 99648 99626 49379 66008 66006 49348 99638 99609 99639 99655 99644 99620 99652 99658 99607 116235 99276 116284 99605 116283 99606 99628 99649 99635 99613 66030 66021 66013 66703 49980 66033 99642 99656 99647 99614 99557 116285 100360 100361 100216 100078 100214 100220 100224 100221 100373 100362 100218 100070 100217 100233 100223 100226 100241 100075 100077 100219 100240 100228 100213 100229 100076 100239 100242 100243 100074 100071 100072 100222 100232 132812 132780 133369 149471 82974 82968 82961 82942 82962 82937 82966 82948 82943 82965 82953 82981 82945 82978 82970 82946 82939 82964 82940 82933 82936 82947 82934 82976 82973 82977 82957 82979 82972 82952 82949 82960 82980 82958 82938 82963 82971 82959 82975 82941 82955 82944 82951 82956 82935 82950 82967 82954 100211 100210 100206 100208 100187 100209 100183 100207 100212 149394 149344 149346 149350 149349 149347 149345 116037 116035 116034 100000 99999 100423 100431 100415 100440 100416 100433 100432 100430 100420 100422 100418 83395 100442 100417 100421 100436 100380 100434 100438 100419 100424 100425 100387 100388 100406 100405 83391 100390 100451 100454 100461 100426 100435 100384 100408 100386 100445 100404 100410 100389 100428 100439 100460 100383 100407 100381 100414 100427 100391 100441 100462 100448 100429 100392 100463 100459 100409 100352 100246 100245 217147 217148 217146 233826 233824 233825 83483 83481 100001 100393 83482 115934 83480 115935 100403 99487 99424 99456 83336 83381 83329 100443 100464 100455 116038 100058 100059 100446 100014 100007 99392 99993 100452 100449 100473 100382 66852 82879 82928 66851 82930 82931 82932 66850 66827 66856 66854 66831 82929 66853 66855 82598 82927 166942 115954 82969 83380 116902 32744 132843 149654 49383 100385 116748 267181 267180 267182 250504 250502 250503 217127 200428 200502 200504 200508 200506 200509 200449 200527 200529 200531 200519 200522 200487 200448 200510 200503 200507 200429 200530 200516 200513 200455 200528 233570 233571 233523 233522 217185 217180 200492 200476 200461 200495 200475 200490 200485 200458 200493 200500 200459 200501 200453 200478 200451 200482 200454 200452 200498 200471 200491 216003 200499 200497 200489 200460 200477 200474 216002 200456 200472 200496 200486 200457 200494 200483 200473 200484 200488 183570 200538 200540 200537 166874 217205 216140 216148 200192 200189 200190 200188 200194 200196 200171 200174 200183 200195 216143 200172 216144 200181 200182 200175 233514 233513 200158 200159 200157 200160 200071 200070 200066 200312 183549 183548 200065 183550 200069 183551 200063 200064 216102 233599 233602 249409 233601 249407 249406 233588 233597 233600 249404 249405 217219 200217 200216 200173 266082 266081 266083 266084 266085 266088 233482 233437 233438 233483 249504 250277 249403 233417 249410 250281 216759 216760 216805 216804 250275 250266 250278 250280 250200 266093 266087 250307 266092 266095 266090 250279 266091 233636 200424 200440 200439 233603 233629 266333 250571 266140 266096 217114 217115 216818 217116 216817 216816 217119 217113 216820 216823 216824 216821 216822 217128 217210 217195 217192 217201 217198 217189 200299 200307 200297 200294 200296 200300 200290 200282 200441 200287 200288 200281 200438 200142 267006 267021 267005 250104 233155 233189 233186 233182 233169 233180 233195 233203 233184 233193 233190 233192 233168 200541 216353 216352 216303 216351 216022 200517 200514 200523 200511 200532 200450 200520 200167 200169 200165 200168 200166 200243 200245 200244 249362 249360 249361 217206 217167 217160 217162 217168 217179 217178 217177 217166 217176 217163 217164 217171 217170 217169 217161 217173 217174 217172 217175 217135 217150 217129 217137 217130 217156 217132 217155 217136 217138 217134 217131 217151 217154 217153 217152 232682 232683 216746 217149 232681 232680 232977 217215 216741 216749 216742 216990 216748 216743 216747 217139 200229 216739 200228 200227 200226 183552 233089 232861 233854 233808 233816 233810 233828 233809 233813 233833 233846 233845 233842 233848 233840 233849 233841 233827 233815 233838 233857 249359 233839 249358 233834 233847 233855 233856 233807 233817 233851 233850 233852 233853 233829 233830 233832 233831 233812 233814 233844 200126 200127 200081 200061 200082 216177 216176 233660 233661 233665 233656 233657 233654 233651 233653 233652 233655 233893 200304 200139 200311 200306 200425 200446 200289 200285 200286 200305 200298 200278 200309 200143 200293 200445 200426 200280 200276 200255 200302 200279 200274 200430 200303 200295 200442 200251 200434 200138 200275 200284 200292 200144 200146 200145 200427 200291 200140 200444 200301 200308 200310 200277 233425 233420 233419 216905 216907 216904 216906 249655 200230 216172 216187 249458 216410 216175 233499 233496 233648 233640 233646 233645 233638 233502 216953 216958 216956 216954 216988 216980 216979 216987 216982 216983 216968 233647 233794 233637 233797 233641 233642 233521 233088 216908 233786 233790 233501 233658 233500 233662 233498 233644 233650 233495 233664 233667 233494 233643 233663 233649 233666 233631 233611 233607 233635 233633 233630 249462 249461 249459 216972 216981 216989 216969 216964 216962 216976 216985 216978 216984 216967 216971 216975 216960 216977 216963 216970 216959 216965 216966 216986 216974 216973 216957 216955 216933 216952 216929 216925 216951 216878 249412 249413 249417 249415 232783 232781 232784 232780 232735 216285 216843 216295 216292 216296 216294 216293 216283 216279 216281 216284 216282 216278 216276 216286 216291 216289 216288 216290 216287 216271 216275 216274 216298 216277 216265 216048 216047 216049 216050 216051 250489 250563 250547 250564 250482 216103 216105 216106 216054 232737 232736 216280 232740 232739 216183 216272 216273 216844 216057 216056 216053 200273 200247 216061 216059 216062 200241 200246 200232 216058 199470 200283 200422 150489 167167 167158 150480 150483 183613 183607 200423 150416 150477 249418 150498 150486 167164 233659 233632 233634 249414 232725 249514 249519 249517 249515 249516 249520 249518 249539 232729 232727 232731 232728 232732 216919 216924 216910 166924 166918 166920 166919 166895 166922 166921 166899 166923 182698 150239 133277 133283 133284 133276 133180 133179 133136 133137 133148 133153 133142 133146 133157 133140 133158 133151 150138 150437 150464 150451 150422 150427 150459 150457 150465 150449 165969 150452 150462 150502 150425 150444 150461 165968 150460 150420 150423 150442 150426 150455 133517 150463 150441 165967 150467 150458 150438 150029 133515 150030 133514 133516 150035 150440 150456 150466 150450 165966 150443 150424 150417 150419 150418 150448 150439 150454 150135 150133 150134 133088 133127 133126 133120 133115 133114 133118 133097 133125 133117 133109 133087 133104 133094 133113 133121 133105 133119 133103 133026 133098 133089 133116 133100 133122 133025 133102 133099 133110 133090 133107 133135 133106 133112 133111 133101 133108 133123 133226 133220 133294 133163 133293 133269 133248 133282 133238 133273 133239 133291 133268 133178 133169 133228 133221 133270 133280 133229 133271 133237 133288 133241 133249 133267 133285 133240 133287 133230 133172 133258 133260 133250 133231 133236 133223 133161 133261 133289 133286 133278 133224 133272 133222 133290 133257 133259 133253 133279 133281 133263 133174 133262 133292 133265 133275 133264 133227 133181 133266 133252 133244 133247 133023 133133 133129 133134 133132 133131 133130 133024 133021 133022 133243 133274 133167 133124 133488 166265 150503 133020 166072 166068 166069 166071 166138 183487 199379 199378 199384 199383 199381 199380 183488 166891 166917 166885 166876 166890 166149 150209 166014 150210 166016 166015 150211 166017 166019 166013 150213 166023 166022 166020 166024 133534 133520 133529 166028 166027 166025 182747 182749 182750 150131 167108 167109 167106 167110 167107 167111 150400 150404 150212 150198 150207 116840 149342 166215 166214 166216 166211 166213 166204 166205 166212 166208 166210 166224 166209 166228 166221 166220 166222 166218 166223 166219 166217 166225 166227 166226 166158 166162 166160 166159 166161 166157 166230 166200 133518 232882 232870 232872 232871 232868 232873 232869 82714 16609 32716 32723 32721 32715 32727 32729 16757 16764 32708 32695 32740 32709 32713 32703 32700 32682 32704 32707 32697 32699 16766 32688 32692 32683 32731 32689 32735 32702 32739 32681 32736 32693 32741 32734 32698 32701 16759 32730 32733 16756 16758 32705 32719 32737 32714 32691 32726 32728 32722 32724 32684 32720 32687 32706 32732 32696 32738 16765 32694 100398 100401 100394 116165 116134 116102 83529 66061 66068 66053 66037 66038 82687 66039 66057 82708 82707 82706 82703 49422 82699 66062 66043 66042 82702 82688 49391 66044 66040 66056 66050 66045 82683 82704 82705 66041 66060 82686 82684 66058 82685 66059 266230 99299 83532 83509 83534 83505 83528 83533 83531 133597 133590 133581 83530 133535 133561 182827 183563 183554 183568 100162 232842 232830 182808 182804 182807 182802 182805 182803 182806 232841 232839 232836 232838 232840 232837 32957 49270 49268 49271 65945 65944 49272 49269 266229 266226 266224 266228 333862 266227 266225 282906 282907 282908 282902 282903 282904 282905 232851 232852 183760 183756 100366 100370 49266 49267 49274 32592 65952 32597 32595 32591 32593 82630 32594 183762 183761 99450 333858 166156 133726 133722 83694  0
238.39/238.40	
238.39/238.40	c Core has size 10501

OK	10501

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 4.01 4.12 2.66 4/189 23241
/proc/meminfo: memFree=30954692/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=32772 CPUtime=0 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 835 0 0 0 0 0 0 0 25 0 1 0 915835614 33558528 773 33554432000 4194304 4365125 140734578693840 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 8193 783 245 42 0 5341 0

[startup+0.0888751 s]
/proc/loadavg: 4.01 4.12 2.66 4/189 23241
/proc/meminfo: memFree=30954692/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=56480 CPUtime=0.07 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 11610 0 0 0 7 0 0 0 25 0 1 0 915835614 57835520 8126 33554432000 4194304 4365125 140734578693840 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 14120 8126 254 42 0 11268 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56480

[startup+0.10087 s]
/proc/loadavg: 4.01 4.12 2.66 4/189 23241
/proc/meminfo: memFree=30954692/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=56480 CPUtime=0.09 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 11920 0 0 0 8 1 0 0 25 0 1 0 915835614 57835520 8367 33554432000 4194304 4365125 140734578693840 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 14120 8367 254 42 0 11268 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56480

[startup+0.300839 s]
/proc/loadavg: 4.01 4.12 2.66 4/189 23241
/proc/meminfo: memFree=30954692/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=69240 CPUtime=0.28 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 22266 0 0 0 27 1 0 0 25 0 1 0 915835614 70901760 12077 33554432000 4194304 4365125 140734578693840 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 17310 12077 254 42 0 14458 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 69240

[startup+0.700773 s]
/proc/loadavg: 4.01 4.12 2.66 4/189 23241
/proc/meminfo: memFree=30954692/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=85876 CPUtime=0.68 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 36812 0 0 0 65 3 0 0 25 0 1 0 915835614 87937024 17786 33554432000 4194304 4365125 140734578693840 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 21469 17786 263 42 0 18617 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85876

[startup+1.5007 s]
/proc/loadavg: 4.01 4.12 2.66 5/190 23242
/proc/meminfo: memFree=30916640/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=105128 CPUtime=1.49 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 46194 0 0 0 144 5 0 0 25 0 1 0 915835614 107651072 19315 33554432000 4194304 4365125 140734578693840 18446744073709551615 4317213 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 26282 19315 263 42 0 23430 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105128

[startup+3.10043 s]
/proc/loadavg: 4.01 4.12 2.66 5/190 23242
/proc/meminfo: memFree=30883404/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=193612 CPUtime=3.09 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 91827 0 0 0 300 9 0 0 25 0 1 0 915835614 198258688 36903 33554432000 4194304 4365125 140734578693840 18446744073709551615 4244784 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 48403 36905 263 42 0 45551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193612

[startup+6.30089 s]
/proc/loadavg: 4.01 4.12 2.67 5/190 23242
/proc/meminfo: memFree=30807004/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=227792 CPUtime=6.28 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 130837 0 0 0 615 13 0 0 25 0 1 0 915835614 233259008 47981 33554432000 4194304 4365125 140734578693840 18446744073709551615 4249097 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 56948 47981 264 42 0 54096 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 227792

[startup+12.7008 s]
/proc/loadavg: 4.01 4.12 2.67 5/190 23242
/proc/meminfo: memFree=30721076/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=281392 CPUtime=12.69 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 186040 0 0 0 1250 19 0 0 25 0 1 0 915835614 288145408 62911 33554432000 4194304 4365125 140734578693840 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 70348 62911 264 42 0 67496 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281392

[startup+25.5007 s]
/proc/loadavg: 4.00 4.11 2.69 5/190 23243
/proc/meminfo: memFree=30689680/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=25.49 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 2529 20 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 318252

[startup+51.1003 s]
/proc/loadavg: 4.00 4.10 2.73 5/190 23281
/proc/meminfo: memFree=30676820/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=51.09 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 5089 20 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 318252

[startup+102.307 s]
/proc/loadavg: 4.00 4.08 2.79 5/190 23282
/proc/meminfo: memFree=30680056/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=102.29 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 10209 20 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 318252

[startup+162.301 s]
/proc/loadavg: 4.00 4.07 2.87 5/190 23283
/proc/meminfo: memFree=30678860/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=162.29 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 16208 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 318252

[startup+222.301 s]
/proc/loadavg: 4.04 4.06 2.94 5/190 23285
/proc/meminfo: memFree=30657644/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=222.29 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 22208 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 318252

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

[startup+230.3 s]
/proc/loadavg: 4.03 4.06 2.95 5/190 23285
/proc/meminfo: memFree=30657296/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=230.29 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 23008 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 230.29
Current children cumulated vsize (KiB) 318252

[startup+233.501 s]
/proc/loadavg: 4.03 4.06 2.95 5/190 23285
/proc/meminfo: memFree=30650108/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=233.49 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 23328 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4264017 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 233.49
Current children cumulated vsize (KiB) 318252

[startup+236.701 s]
/proc/loadavg: 4.03 4.06 2.95 5/190 23285
/proc/meminfo: memFree=30622364/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=236.69 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 23648 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 236.69
Current children cumulated vsize (KiB) 318252

[startup+237.501 s]
/proc/loadavg: 4.03 4.06 2.96 5/190 23285
/proc/meminfo: memFree=30633648/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=237.49 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 23728 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 237.49
Current children cumulated vsize (KiB) 318252

[startup+237.901 s]
/proc/loadavg: 4.03 4.06 2.96 5/190 23285
/proc/meminfo: memFree=30633648/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=237.89 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 23768 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 237.89
Current children cumulated vsize (KiB) 318252

[startup+238.301 s]
/proc/loadavg: 4.03 4.06 2.96 5/190 23285
/proc/meminfo: memFree=30633648/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=238.29 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 23808 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 238.29
Current children cumulated vsize (KiB) 318252

[startup+238.401 s]
/proc/loadavg: 4.03 4.06 2.96 5/190 23285
/proc/meminfo: memFree=30633648/32950928 swapFree=67050644/67111528
[pid=23241] ppid=23239 vsize=318252 CPUtime=238.39 cores=0,2
/proc/23241/stat : 23241 (MoUsSaka) R 23239 23241 22849 0 -1 4202496 190666 0 0 0 23818 21 0 0 25 0 1 0 915835614 325890048 67537 33554432000 4194304 4365125 140734578693840 18446744073709551615 4257387 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23241/statm: 79563 67537 264 42 0 76711 0
Current children cumulated CPU time (s) 238.39
Current children cumulated vsize (KiB) 318252

Child status: 20
Real time (s): 238.419
CPU time (s): 238.419
CPU user time (s): 238.188
CPU system time (s): 0.230964
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 318252

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

runsolver used 0.406938 second user time and 0.894863 second system time

The end

Begin job on node126 at 2011-06-14 11:06:09
IDJOB=3501541
IDBENCH=90087
IDSOLVER=2000
FILE ID=node126/3501541-1308042369
RUNJOBID= node126-1308041928-22867
PBS_JOBID= 13564691
Free space on /tmp= 74008 MiB

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

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

MD5SUM BENCH= aa03abda1d022f8b562043b661c96dc2
RANDOM SEED=2124560612

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30954988 kB
Buffers:        147216 kB
Cached:         782204 kB
SwapCached:      14596 kB
Active:        1135748 kB
Inactive:       656400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30954988 kB
SwapTotal:    67111528 kB
SwapFree:     67050644 kB
Dirty:           50160 kB
Writeback:           0 kB
AnonPages:      860744 kB
Mapped:           9804 kB
Slab:           134956 kB
PageTables:       7068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1363140 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= 74028 MiB
End job on node126 at 2011-06-14 11:10:08