0.00/0.01 c MoUsSaka vegetarian
13.39/13.44
13.39/13.44 s UNSATISFIABLE
188.29/188.38 c Core is minimal
188.29/188.38
188.29/188.38 v 259279 251308 259277 251306 275221 283192 267248 235366 283195 243337 227395 219424 227393 291161 267250 291166 291171 283200 299134 307105 315079 315076 331021 323050 323045 331018 315084 323055 331026 299142 299137 243335 275229 259282 251311 251316 259287 243345 211453 211451 235369 227398 235374 219432 155654 219427 163625 155656 147683 187538 179569 171596 131743 139712 195519 179577 187548 211461 171598 211456 203480 195514 179572 179567 203485 139722 131751 155664 123770 115801 107828 99859 107830 115799 123775 107838 99867 91888 99857 115809 99862 115804 107833 147688 155659 163630 131741 131746 195511 203490 291163 163635 203482 219422 331028 187540 195509 171601 331016 147693 275219 315074 235364 267253 299132 323047 171606 227403 123780 139714 123772 267258 307103 163627 275224 243340 139717 147685 187543 307108 283190 307113 54903 54897 62868 62874 62863 70839 70845 70834 54855 54861 62826 62832 62821 70797 70803 54892 70792 46947 46953 46890 46884 54850 17907 17960 17912 17927 17939 17946 17934 17941 17904 17964 46926 46932 38967 38973 39030 39009 39015 21915 21945 21971 21918 21952 21957 21923 21975 21938 21941 21950 28380 28387 28353 28392 28385 28373 28358 28376 28406 28410 28350 38962 39025 39004 34830 34857 34869 34864 34883 34850 34862 34835 34852 34887 34827 42764 42793 42786 42798 42779 42791 42812 42816 42781 42756 42759 41989 41957 41967 41968 42102 41846 41961 42098 41834 41820 42104 41822 38996 41778 39022 38963 39005 39002 38960 39023 19065 19071 24813 24792 31260 31266 31281 31218 31224 31287 29633 29629 29632 29630 24750 24756 24819 24798 19077 31255 31213 31276 31211 31274 33977 31277 31209 34233 30390 34219 34368 34220 34214 34243 34361 34354 31251 34073 31204 31214 31256 34037 31247 31210 34064 31198 34071 31246 34224 23167 29705 31244 34097 34212 34360 29696 31240 23263 34072 34227 34359 34241 34022 23170 34240 34029 34026 34244 31203 34355 31272 31243 31252 34353 34085 31273 34349 34208 34089 34084 34247 34343 34348 34218 34213 34347 34092 34066 34080 34095 42109 41976 42117 41993 23922 27885 27887 15594 27881 27598 27745 27769 27611 27610 27767 24736 24787 24775 24742 24745 24735 24784 24776 27759 24808 24730 27880 27873 27879 27874 27609 27738 27773 27869 27615 27875 27592 27740 27750 27734 27552 27770 27621 15588 27509 27563 124 25 27886 22 27746 27548 23228 27766 23164 23162 23165 23161 24805 27590 24772 27597 24804 27753 27599 27739 23237 27623 24783 27618 31253 24741 27744 27606 24779 27894 24778 27555 54918 54924 54913 62889 70866 70860 70855 62895 62884 34083 41815 23103 23097 29731 41771 23085 39036 91891 91896 83925 36131 36134 36133 36130 46942 46921 362 365 364 117 111 108 75 367 214 60 361 368 69 215 219 46879 46919 46877 49756 49738 49698 49701 49891 49892 49916 49886 50026 50031 50025 49915 49757 49919 49767 50015 49764 50020 49769 49880 50019 50021 49761 49912 49752 49755 49896 49745 50027 49913 50702 50704 50735 50679 50739 50687 50721 50709 50716 50682 50714 36197 41841 49899 46869 46918 46913 46922 50040 46909 46910 46864 46943 49905 50033 46939 46880 46876 46906 36139 44153 44162 49649 49694 36232 49709 49736 58706 58692 58653 58650 58680 58675 58687 58658 58673 58710 58685 29550 29568 29544 46875 49884 49885 46938 46870 46912 49743 46917 49890 49744 50032 46056 41832 29638 38952 41813 41833 42103 38959 41962 41990 39021 39000 41844 39001 41973 41963 38992 38993 38139 38958 29635 41996 42092 39026 38947 41775 41821 41726 41992 42110 41786 38953 42096 38995 23091 41982 36206 38989 42097 41838 42108 41969 41829 17454 17313 17319 15639 46940 19200 19179 24788 19206 19143 19185 15709 17306 17178 19172 17435 15634 17446 15680 15723 17333 17300 4389 17169 17439 15645 17305 19175 17330 17433 17159 15660 17326 17304 19193 15640 17298 17166 17441 17440 15682 17157 15654 15635 17294 17181 17171 17158 17429 15646 15687 15692 15674 15696 15717 17175 19133 21312 21341 21306 21337 21437 21178 21179 21314 21318 21160 21120 4299 19166 19165 21313 19123 19122 21462 19128 21123 8022 64 19129 19159 19170 19192 19195 19132 55 66646 66651 66629 66677 66656 66624 62882 62819 62861 70853 70790 70832 83915 75946 83917 91886 75944 67975 83920 23498 23256 23504 23247 23241 23213 23501 23500 23217 23212 23497 23253 23503 23232 23250 34625 34620 34387 34629 44013 34390 34384 34381 44007 44001 19 20 16 17 24806 24746 24743 24809 21189 52 21116 21327 21131 21177 21442 19162 21453 21308 21338 21191 21441 21449 19117 19171 21448 21454 21077 21167 21443 15688 17447 17100 66681 66663 66658 66621 67983 75949 75954 67978 43989 34382 34379 21158 21183 21307 66644 54911 54890 54848 52058 52060 52057 52061 51954 29556 51975 47301 29971 29966 29680 29969 29965 29685 29968 29972 29709 29715 29721 29718 51981 29700 29681 29724 36045 36069 36039 29613 36114 49224 49212 60004 36057 57183 57188 49215 67973 59977 59992 59980 59969 60001 59960 59962 59986 59995 59954 59998 59983 59989 59974 59971 59948 23144 370 23506 29609 29973 36110 36051 57996 54910 58002 57669 57732 57728 57887 57723 54835 54841 54909 57672 57997 54883 57863 57884 57992 57991 54027 54880 57709 57890 57857 57886 57861 57726 54889 57990 57738 57862 57714 54884 54881 57716 57715 57707 54893 52033 60012 29699 29708 60002 52041 44070 29714 29974 29967 29719 29684 29716 29970 29722 36185 36200 36468 36215 36217 36220 36474 36471 36475 36209 44066 36223 59348 59842 59918 58988 59738 59936 52037 44176 44141 44156 57473 58157 59851 59809 59198 59168 59839 59003 59800 59821 59878 59899 59468 59318 59836 59929 59893 59708 58454 58646 57578 44173 44430 52150 59942 52401 52144 52395 59884 57242 59408 44431 44427 44165 52127 57452 59876 57536 57196 58097 59588 58484 58016 59927 59815 59827 59849 59911 59138 58187 58067 59648 59864 59887 59078 59905 59908 57284 44171 60008 52112 59890 57557 44424 58127 57515 57494 57389 57199 58439 59920 59678 58217 58616 59870 57305 57326 57410 57221 59618 57431 59830 59438 59858 59063 59528 59258 59833 59881 57368 57881 57599 57263 57347 59378 59108 59812 59824 59798 59228 58853 59768 58550 44179 52142 59093 52147 59896 52136 59818 59806 59288 59902 59498 59558 59033 59803 54851 54914 57680 57727 58004 57851 57856 57883 54847 44092 57876 57735 57620 57740 54877 44095 57998 52133 57870 54888 52124 57855 57867 54840 44188 54846 58011 57986 58003 57665 19137 17327 21166 21302 17097 21186 19191 15650 21165 17329 17183 19196 21455 21174 17299 21334 21335 15708 17310 15713 24785 49 21447 21321 17445 15641 17434 19130 61 15702 19174 19163 17170 91879 91882 91885 75978 91705 91742 91112 90917 91682 91795 91726 91771 91412 91802 91082 91861 91867 91870 91838 91858 91846 91853 91873 91876 91472 91792 91820 91684 91711 91804 91292 91022 91717 91783 91622 90992 91762 91562 90872 91765 90737 91262 91592 91502 91352 91813 91774 90947 90977 91696 91652 91714 91702 91172 91760 91142 91826 91754 91442 91789 91777 91532 91720 91780 91844 91864 91832 91855 91693 91690 91811 91322 91723 91708 91687 91768 91733 91052 90962 90887 91202 91735 91699 91232 91786 86787 86776 86781 86774 86732 86739 86734 86797 86745 83944 86802 86808 83941 86795 83942 83945 75972 75975 90564 90571 90557 90590 90559 90537 90534 90542 86746 86788 86809 91880 91877 91883 89905 85584 90576 90594 90569 73137 81096 81108 73803 73809 73939 69969 73614 73804 73828 73829 73938 73669 73651 73668 73798 73793 73797 73682 73932 73658 73607 70831 70783 73826 70830 73953 70826 70777 70789 70793 73562 73622 60037 70819 65166 68003 73125 73130 90595 88989 89010 88968 89013 88992 89079 81039 51963 51996 73825 73649 73812 60034 68075 73657 73665 60130 73674 70782 70822 73944 70835 68002 67999 68000 73934 73611 73928 70823 73933 70851 73946 73940 70856 73799 73656 73945 73680 73670 70825 70788 73805 73818 73677 73832 70852 65158 65157 75971 78826 75973 75970 78763 78816 78805 78810 78837 78774 78803 78761 78824 75974 78768 78831 65159 65154 51969 203473 203476 203479 202122 195394 195310 194495 195449 195385 195425 195397 195215 195319 195502 195334 195313 195443 195356 195095 195415 194915 195328 195391 194675 195493 194600 193574 195245 195065 195005 195499 194945 194975 195155 195436 194510 195455 194705 195478 195365 195467 194765 195349 193022 192749 192770 195331 194585 193694 195371 193946 195487 192686 193106 193085 193388 192833 192791 192959 194795 195316 193724 195185 194123 193001 193604 195125 195305 194057 195490 195418 195476 194153 193664 192875 192917 193634 195508 195388 195358 195505 195322 194735 195340 195035 194360 195496 195346 195275 195406 195377 193064 195412 194615 195343 195400 192812 192980 192707 195481 195469 192728 192664 193043 195337 195427 195461 195307 194885 194219 193991 192854 192896 194540 193961 195383 193523 195403 194570 195434 195409 194825 194855 195325 195484 192938 203354 202124 203006 203449 203290 203308 203455 202766 203420 202736 203365 203299 202123 202108 202113 203342 202916 203405 203380 202541 203302 202556 201695 203036 201635 202481 202190 203156 203440 201665 203186 203458 202118 202098 201917 203276 202094 202796 203284 203438 203461 203426 203452 203464 201575 202946 203359 203336 203317 203327 203320 203305 203414 202028 202886 203396 203287 203126 203383 203467 203470 203386 203329 203278 203348 203096 203432 202106 202676 203447 203398 202466 203356 202856 203296 203371 202331 202586 203246 203293 203311 202646 203389 202101 202706 203374 203281 202511 202826 203407 178568 179513 179527 178703 179458 187034 179534 179380 179485 187372 178418 187244 178733 187304 187274 187351 187064 186884 179374 179363 178913 187510 179551 178853 187412 187124 187447 186914 187420 179365 179033 179123 178598 187354 179063 179449 178673 178643 179542 179401 187345 179371 179395 187432 187334 186539 179476 187505 187423 186644 179483 179435 179273 179494 179464 178658 179213 187414 187519 179446 187094 187366 186824 179368 179501 186569 187522 179563 179452 179539 178823 187516 179554 187498 179303 187435 179461 187360 187531 178763 187534 179557 187465 186524 187484 187004 186674 186599 187378 187528 187387 187348 178973 179398 179414 179473 179389 179423 179443 179470 179545 187375 179093 186854 186248 186734 187214 187472 186389 187525 179536 187507 187400 187154 187478 187394 187454 187438 179003 179467 179392 179441 179153 187537 179407 179548 187429 179429 179386 187456 187496 186614 179455 178628 178943 179566 179333 187417 187342 187513 179519 178277 187363 186974 187336 200804 200631 201035 200720 201359 200825 200951 200635 200846 200741 200699 200867 192661 201014 192660 200632 201056 200909 201077 200623 200622 200678 200888 200762 200657 200930 200783 184689 200972 202116 202110 202104 202117 98888 99713 99835 99658 99682 99856 99083 99413 99791 99773 99143 99832 99685 99661 99673 99797 99763 99739 99748 99353 99670 99383 99023 99694 99766 99688 99679 99263 99053 99323 99853 99563 98501 98471 98405 98567 99803 99719 99838 99815 99733 98918 99113 99742 99667 99736 99623 99745 99829 99233 99533 98948 99443 98933 99691 99653 99697 99782 98993 99751 99760 99676 99725 98858 99731 99173 99775 99847 99293 99817 99704 99203 99784 99503 99706 98963 99655 98708 99754 98339 99593 99841 99824 99473 98843 99664 99757 99844 99826 99809 99850 200621 200625 200633 200628 178883 179404 187385 187463 187444 187339 186944 202976 203368 203377 202616 200993 201962 187441 186629 178793 178553 187406 179560 179243 179183 203216 179525 186794 186764 179507 201605 201932 202571 203314 203362 194645 202105 202096 201545 203066 179383 179492 179377 179416 187184 186704 187369 187426 187490 187357 107774 107797 107809 107800 107788 107806 107815 107803 107821 107812 107818 107780 107795 107824 107827 107786 107594 107354 106919 107696 107668 107647 107626 107114 106814 107690 107684 107707 107504 107665 107629 107728 107677 106994 107324 107659 107174 107755 107746 107710 106829 107384 107564 107653 107632 107054 107294 107204 106934 107713 107744 106859 107704 107474 107084 107444 107702 107638 107644 107024 107719 107753 107650 107737 106904 107725 106889 107722 107731 107768 107264 115766 115777 107734 107762 107234 107716 107656 107534 107635 107414 107641 106679 107144 106964 107662 115759 115780 115751 115745 115757 115792 115783 107624 107675 115771 115798 115789 115774 115786 115795 115768 97050 105009 105014 104952 104934 104955 104931 89902 96939 96960 96942 96963 96981 96984 104945 104924 62864 65957 65822 65711 65961 65861 65858 65847 62860 62880 65680 65969 62855 65685 65686 65640 65855 65828 65982 65832 62852 62817 62848 65706 65709 65974 62818 65854 65834 62851 65975 65703 65698 65967 65699 62854 65968 62881 62811 65827 65962 62859 65963 65826 65643 61998 62812 65841 65838 65857 65694 65833 65973 65687 65697 62806 62822 60095 52063 65678 60104 62885 65651 52066 65636 65591 36065 36071 36059 36053 36070 36046 67948 67960 67940 67963 67945 67966 67925 67931 67942 67972 67954 67969 67933 67919 67957 67951 67979 60115 60366 60373 60083 60118 60121 60113 60372 60107 60098 60369 67439 67858 67499 67259 67409 67876 67913 67798 67319 67898 67861 67813 67864 67807 67004 67169 67649 67229 67469 67829 67679 66959 67835 67199 67709 67870 67849 67792 67889 67900 67891 67804 67786 67780 66824 67789 67739 67049 67882 67289 67867 67769 67795 67847 66587 66683 66455 66617 52006 51856 51092 51827 51922 51868 51737 51919 51913 51467 51907 51916 52021 51925 51989 50513 51934 51677 51587 51835 51905 52015 50675 52030 51971 50645 51853 51940 51899 51928 51317 51227 51949 51107 51865 52027 51017 51931 51767 51557 51197 52024 51617 51647 51032 51829 51377 51871 52018 51977 52012 52003 51937 51998 51956 51287 51893 51862 51832 51347 51838 51137 51859 51841 51910 51122 50741 51497 51850 51983 51527 51407 51847 51167 51878 51958 51797 51887 50579 51965 51880 51062 51947 51844 51257 50882 51437 51991 52009 84285 84026 83996 84279 84282 84011 84020 84028 84034 84031 84286 91892 99863 92257 92002 92005 91999 91997 92250 91982 91991 92253 91967 92256 44090 44089 44086 44087 82563 82588 82605 82619 82598 82586 82593 89072 83947 73071 81032 73068 81018 81021 60353 66410 65234 66098 65528 65339 66038 65987 65213 65570 65318 65170 65297 65167 65360 65444 65549 66128 66068 65192 60358 73029 73026 80990 83946 83943 91983 91992 81042 89003 88961 81000 41289 41294 41301 73050 73047 81011 60164 60323 60315 60317 60284 60209 60288 60134 60272 60270 60215 60329 60327 60345 60346 60333 60278 60207 60276 60340 60219 60166 60041 60266 60199 60321 60178 60028 60142 60145 60174 60031 60029 60374 60026 60007 52031 44062 52036 67911 50481 50056 50062 50477 50053 50065 50059 50048 50050 50472 50482 36106 44060 59993 29602 29581 369 107 59999 366 29599 68 29605 74 29578 116 54904 29593 29584 363 109 29575 29596 29572 54862 59996 59 36104 29587 29590 54925 218 44065 44059 44053 44056 44027 44015 44035 44021 44029 44032 44009 44038 44044 44041 44047 44050 60233 44002 35885 36019 36035 36011 36100 35255 36091 36041 36073 34889 35315 35615 36079 35945 36103 36109 35165 35645 35977 35675 35270 35825 36005 35999 35405 35240 35585 36022 35980 35525 35795 35855 35465 35435 35375 35992 34823 34727 35180 36017 36094 35495 35989 35983 36088 35705 35345 35555 35210 36097 36025 35765 35915 35986 35030 35735 35285 36028 36082 35975 62875 67964 67970 36247 36118 36423 36280 36128 36386 36417 36277 36372 36390 36335 36459 36442 36143 36236 36268 65998 66001 66004 65990 66423 65995 65992 66007 66419 66414 66424 44057 60170 60282 60339 60197 60183 60213 66158 65486 65402 60359 60335 67820 67771 67855 67079 67810 67801 67349 67841 65255 67783 65276 67064 60175 67873 67822 67379 36368 36453 62896 36455 36230 36266 67967 36454 62833 51964 36244 36441 36309 36392 36425 36465 36448 60308 60136 65852 65423 67559 67139 66974 60290 60044 60311 60016 67529 67589 67879 67777 67907 67109 67619 65381 66425 65465 67774 67852 67034 60263 60363 60203 60357 60352 60128 36429 36146 36413 36317 36241 36315 36311 36115 36461 36285 36374 36301 36410 36365 36437 44054 39037 36305 39016 36378 36272 36299 44051 36419 36238 36276 36384 67912 76063 83921 76049 76315 76040 76314 76060 76057 76025 76311 76308 68344 68086 68089 68084 68337 68343 75950 68092 68054 68340 68078 76257 76149 76265 76259 76141 75986 76230 75955 76288 76212 75968 76151 76282 76305 76139 76269 76224 76161 76275 76287 76293 76281 75958 76070 76112 76220 76145 76108 76121 76155 75983 76084 76214 76263 76106 76081 76226 76117 76299 76157 83875 83911 83902 83908 83899 83914 83884 83882 83896 83890 83887 83905 83893 83737 83800 83713 83561 83471 83719 83006 83821 83861 83824 83141 83111 83809 83201 82766 83081 83867 82901 83711 83743 83531 83873 83855 83849 83722 83725 83764 83789 83591 83746 83818 83840 83171 83734 83803 83740 83842 83716 83731 83783 83797 83752 83621 83791 83351 83681 83651 83755 83771 82946 83321 82991 83831 83806 83501 82976 83749 83441 83411 83777 82916 83261 83021 83291 83231 83381 75847 74654 75806 74492 75844 75853 75832 74795 75590 75925 75170 75937 75745 75928 75080 75005 74426 75812 75943 75775 75110 75260 75440 75902 75650 75500 75871 75742 75800 75860 75772 75410 75050 75020 75919 75850 75826 75862 75530 75754 75940 75823 75560 74930 75838 75769 75878 75763 75922 75916 75820 74975 75835 74588 74945 75829 75791 75911 75766 75200 75760 75793 74558 75896 75140 75710 75884 75748 75778 75841 75751 75904 75781 75380 75784 75350 75740 75680 75913 75230 75620 75934 75931 75320 75818 75035 75890 75869 75757 73958 74159 74381 74009 74099 74396 74039 74129 70846 75938 73954 73957 73822 73819 70804 78817 75935 83906 83909 75941 78775 83912 78838 82624 82367 81512 81344 82070 81155 81218 81794 82100 81491 81239 81365 81281 81980 81386 82529 81929 81176 81428 81112 82130 82352 82010 82625 82559 82397 81323 82040 65072 65058 73457 73205 73163 73520 73141 73289 73373 73352 73436 73415 73541 73268 73823 73394 73310 73478 73184 73226 68241 68253 68259 68286 68117 68247 68237 68304 68174 68292 68179 68145 68282 68154 68300 68190 68184 68310 68322 68328 68279 68329 68323 68204 68234 68330 68324 68316 68012 68105 68249 68186 81940 81934 82356 82365 81937 81946 81932 81943 82361 82366 299131 299125 68278 68243 68306 68146 68261 68150 68178 307096 298328 298658 298930 298945 298538 298994 298208 299032 298942 298966 298957 315193 297983 298133 297842 298963 299078 299122 299101 299041 299026 298948 298508 298981 298688 299008 298960 298969 298936 298238 299048 298118 298778 298388 299017 299038 299023 298223 298898 298358 299000 298478 298418 298868 298954 298979 298163 298448 299057 299011 298748 298598 299110 299090 299099 299092 298628 298972 299029 307467 323051 315185 315170 315187 315441 315155 315444 315179 315445 315438 290327 291121 290717 291148 291133 291079 290537 290980 290959 291001 291136 291142 290237 291151 291055 290252 290974 291095 291119 290747 291107 291052 290962 290657 290927 291040 290687 291128 291160 291113 290837 291067 290147 290989 290965 290983 290012 291049 290162 291088 290222 290777 290267 291035 291070 291157 290297 290597 290417 290992 291023 290897 291043 290507 291064 290986 291086 297146 210093 209516 210095 210542 211336 211378 211376 211385 211348 211007 211187 208712 209933 209027 209465 209636 208796 208754 208649 208733 210065 211157 211097 208985 211264 208859 208943 208775 209330 208901 208817 209006 208922 209048 208670 208691 208880 208964 209546 210977 211339 211217 211300 211255 211258 211037 210647 211369 210161 211127 211282 211249 210302 211397 211418 211403 211391 208628 211411 211409 209903 209666 209576 209606 210452 210737 208838 208606 210527 211351 211307 210617 211291 211313 210079 210089 210084 210072 210069 210077 211067 210482 211298 211333 211285 211267 211327 211319 210707 211360 211279 210557 211276 210857 210767 211357 211270 210887 211247 209999 209888 211273 210827 210512 210677 210917 211288 211261 211325 211330 210947 210797 211367 211342 210437 211354 211345 210094 210067 210087 210081 210076 210088 210075 211432 211435 211420 211441 211426 211423 211444 211429 211447 208595 208590 36447 36321 36476 36460 36435 73138 73247 83812 76055 83815 81197 81260 81302 81407 73331 81449 81134 82463 73499 81470 66521 66188 65507 83728 83794 76218 76116 76253 68298 76078 76076 68334 83762 83051 83833 74069 60351 60139 60032 81109 104926 104947 104910 104913 91914 91917 97876 97888 97882 98298 97885 97874 98307 98303 104905 104903 96974 96953 96973 96935 97038 97043 96932 96955 96934 96976 89917 90327 89920 89908 89914 90332 210587 208602 208596 208599 208589 211450 219409 219403 219394 219406 219412 219382 219389 219400 219397 219418 219415 219421 219391 218064 218040 218048 218055 218050 218060 218043 218052 218058 218059 218046 218047 218038 216570 216567 216573 233982 233994 234006 226026 226011 226035 226031 226021 226014 226019 233992 233988 233980 234000 233989 234001 226023 226029 226009 226017 226018 226030 235360 235357 227215 227255 226649 227206 226919 227203 227200 227293 227212 227333 227194 227278 227345 226454 226499 226739 227209 227197 227327 227383 226469 226829 227368 227189 226679 227374 227267 227224 226244 226379 227299 227240 226769 227269 227275 226394 227371 227311 226484 226559 227365 227287 227009 226979 227296 227284 227099 227039 227230 227233 227360 227129 227318 226949 226859 227261 227380 226889 225941 225875 226037 226007 227392 227389 227249 227242 227221 226799 227159 227353 227302 226619 226709 227351 227218 227281 226424 226103 226589 227386 227191 227290 227309 227320 226529 227069 227227 227272 227339 235363 234500 235183 235289 234740 235070 235177 235339 234425 235291 234440 234530 235354 235258 234950 235310 235324 235273 234680 234455 234560 234650 235261 235342 234215 235331 235267 235192 234890 235040 235198 235168 235232 235160 234770 234800 235130 235186 234590 235252 235243 235316 235255 235189 235100 235211 235280 235298 235204 235220 234860 235264 235165 234980 234365 235270 235174 235348 235010 235171 235246 235351 234920 234830 235201 234395 235322 234350 235333 235226 235304 235249 235345 234470 235238 235213 234710 235336 235282 235195 234620 235180 235240 235162 234007 234074 233429 233459 233378 233816 233579 233846 233801 233489 233549 233519 232835 233912 233978 232709 232793 232625 234008 232562 232667 232730 233243 232688 232856 232898 232814 232772 232583 232541 232877 232519 232961 232919 232604 232646 232940 232751 224544 227506 227509 227489 227763 227764 227512 219538 219541 219786 219518 290357 290477 290995 290807 291061 290567 290968 291037 291029 289643 289775 289226 289598 289316 289709 297746 297257 297614 297569 297680 297287 297584 297347 297776 297227 289175 289376 289613 289805 289256 289346 288316 288443 288422 288737 288653 288632 288359 288485 288338 288590 288611 289040 288548 288527 288569 288695 288464 288506 288716 288401 283183 283108 283069 282191 283064 283021 283093 282596 282997 283117 283030 283058 282806 283081 282506 282416 282896 282536 283006 283037 283000 283027 283015 282716 282251 282746 282176 282686 282296 283039 281804 282986 283106 282956 282476 282041 283099 281405 283115 283075 282988 283072 281315 283130 283177 283186 283171 283174 282776 283159 283150 283148 283136 283157 283142 283168 283165 283180 281738 283096 282566 281900 281642 283024 283084 283009 283003 283090 281672 283189 282626 281375 282221 283018 282446 281345 282656 282266 281285 283066 283052 283046 283012 282994 281204 282926 282836 282991 282386 283078 281834 281255 283124 282326 282866 281627 283087 282356 282281 280619 280724 280388 280787 280661 280598 280514 280430 280556 280703 280409 280345 280367 280766 280451 280682 280493 280640 280745 280535 280472 280577 281069 273861 275059 274715 275026 275035 275015 274865 274475 275153 275177 275032 274355 275119 274685 275135 274070 274445 275041 274835 275113 274505 274925 273929 275050 275017 275159 275125 274280 275066 275075 275056 274385 274655 275023 275101 274250 275068 275165 275137 275053 274565 275104 275122 275095 275197 275215 275093 275044 274310 274325 275110 275186 274745 275081 274220 275107 274415 274295 274625 274205 275128 275144 275191 275179 275212 275098 275146 274595 274775 275116 275200 275194 275029 275047 274535 275171 274895 275188 275203 275218 275020 274955 274805 275206 275209 275038 274985 275087 273767 272711 273098 272438 273656 272816 272795 272480 272606 272396 273701 273434 273314 272690 272501 273863 273404 272774 273374 273233 272522 272753 273344 272374 272564 272585 272669 273833 272459 272417 272543 272627 273284 273671 272732 90500 90368 90596 90434 90337 90530 171574 171556 171563 171592 171548 171542 171583 171571 171595 171586 171577 171589 171565 171580 171568 171554 171523 171530 170447 171512 171397 170852 171403 170702 171272 171470 171032 171392 171472 170822 171505 171502 171499 170582 171443 171424 171002 171478 170627 171436 171242 171464 171487 171332 171409 171521 170306 171493 171445 171092 171536 170597 171394 170942 171182 171475 171430 170882 171484 170732 170672 170912 171427 171452 170687 171433 171122 171062 171406 171400 171458 171421 171514 171418 170657 171152 171490 171481 170792 171362 171415 170972 171496 170762 171212 171412 171302 185975 185633 185693 186086 185603 186020 186152 186182 185663 185753 185723 185990 185552 185417 185051 184715 184862 185135 184904 178049 178211 178115 178181 177446 176870 176744 177632 176996 177722 176954 176722 177752 177038 177164 176891 177122 176912 178004 177692 177080 176933 176807 177101 177581 176786 177782 177059 176828 177143 176765 176975 176849 177662 178019 177017 169046 169151 169109 168773 168751 169004 169172 168857 168920 168836 168941 169088 170210 170144 169781 170240 169751 169610 170048 169691 169721 170078 169661 169811 170033 168983 169130 169193 168815 168878 168794 169475 169067 168899 169025 168962 307473 307474 307208 307184 307470 315080 307222 307216 307219 289782 289787 289789 289799 289779 219527 219789 219535 219503 233985 233997 224538 233990 224541 234002 232509 232517 232512 211818 219428 203844 203847 283560 283303 283554 283561 283309 283271 283295 283306 283557 283286 307109 289798 289777 299138 304574 304490 305258 305555 305540 305117 305168 305198 305288 304469 304637 304427 304700 304448 304595 304258 304982 304280 304364 304553 304679 304532 297774 306539 307012 307021 306209 306809 306934 306479 306089 307030 306689 306928 307072 307081 307070 307049 305954 306919 306599 306971 306988 306977 306569 306869 306937 306179 306931 306959 307061 306997 306194 306925 305813 306950 306359 306985 307003 306994 306952 307075 307078 306134 306389 306979 306329 306982 307006 307009 306991 306916 306659 306940 306419 306965 307084 296393 296351 296477 296582 296540 296687 296645 296603 296708 296498 296435 296624 296519 296561 296309 296287 305585 305717 305651 312229 312524 313199 313511 313139 312671 312377 312251 313229 312953 312587 312545 313526 312503 312440 313289 313169 315046 314750 315001 314990 314570 315052 314999 314923 314942 314992 314872 314870 314660 314480 314105 314980 314510 291167 314896 313925 314911 314977 314135 314962 314780 314210 314540 314953 314914 315026 314360 314420 315064 315055 313716 314810 314950 315061 315058 315014 314150 314908 315043 314878 314902 314968 315041 314300 314881 314974 313688 314948 315020 314965 315067 314720 315070 314165 314930 314893 314899 314240 314270 315034 314690 314180 314884 314959 314875 323029 322894 323005 322852 322954 322930 323041 322979 322121 322241 323017 322843 322907 323003 322301 322858 322961 323014 322846 322481 322451 322942 322046 322892 322031 321896 322106 322951 322985 322936 323035 322939 322864 322876 322511 322963 322927 322882 322849 322879 322076 322855 322870 322421 322781 322873 322921 323032 322924 322151 322211 322991 322945 322361 322972 322948 322933 322661 322721 322631 322601 321755 322571 322867 322811 323023 323020 322885 322919 322901 322861 322691 323044 322271 323026 322997 322331 299228 299499 297775 65079 65055 73040 65051 84044 73019 65076 131846 132112 132108 131857 131837 131822 132111 131852 139718 131854 132105 131860 92016 155635 155650 155647 155653 155629 155641 155626 155644 155623 155638 155632 98528 94716 94773 94768 94747 98513 98540 94703 94758 94752 98561 94766 94710 94779 98530 98505 98542 98508 94705 98535 98565 98547 91915 91916 91912 91913 155545 155606 155300 155551 155542 155030 155120 155450 154850 154940 155473 154364 155180 155557 155060 154655 155554 155588 154880 155528 154970 155270 155522 155612 154640 155501 155240 155000 154505 155516 155330 155210 155420 154715 155476 155548 155150 155614 155390 155533 154910 155467 155581 155530 155570 155464 154745 155560 155572 155579 154685 155455 154730 155510 155488 155594 155563 155491 155461 155458 155539 155470 154760 155485 155503 155452 155090 155621 155536 155479 155360 155482 154820 155600 155494 154790 115612 114860 115145 115708 114800 115265 115597 115673 114650 115175 115355 115385 115606 115715 115705 115699 114509 115648 115667 114830 115235 115325 115717 115621 115675 115655 115115 114413 115739 115636 115415 115681 114875 115055 115603 115615 115693 115025 115733 115702 114935 115475 115609 115600 114995 114443 114347 114281 115661 114905 115445 115624 115295 115535 115646 115724 114965 115618 115630 115678 115639 115687 114785 115633 114890 115726 115627 115505 115595 115696 115684 115085 115205 115565 115690 102674 102723 102750 102739 102737 102681 102716 102744 102676 102687 102729 102718 163606 163600 163603 163609 163615 163594 163585 163612 163592 163597 163621 163618 163624 106499 106536 106518 106506 106501 106513 106511 106476 106484 106479 106532 99947 91923 99951 99954 91920 93555 115880 116163 115904 116170 115895 115912 115918 123776 116166 115915 116169 115910 123889 123886 123883 124137 124141 123881 124134 131747 123875 124140 123851 123866 291242 291525 291266 291528 92015 211821 227498 235370 227474 184988 184778 185093 203851 184883 227757 185009 185114 184925 185072 184820 227760 211457 211570 203850 203599 227399 184946 185030 184736 184757 184841 184693 184799 184967 296285 296280 288309 288306 288314 296272 296270 329683 329667 329702 329672 329701 329664 329686 329689 329694 329706 329682 329676 280338 280343 325911 325875 323176 323083 329716 329719 325862 325925 323383 323245 323078 323319 323313 323389 323251 323327 323209 323222 323240 323250 323256 323226 331007 325939 325938 331015 331009 323331 323358 323388 323376 325906 325869 325864 323173 329715 329720 323072 323177 323084 323071 323074 323406 323400 323417 280335 280331 288299 289804 273835 273849 273856 273843 273855 273844 288312 280341 288313 288304 323148 323169 288305 288300 272370 272371 280342 272367 320904 320892 320874 320775 320898 320803 320886 320933 320894 320875 320880 320887 321015 320821 320893 320782 320794 321010 320812 320868 321003 320881 321028 320783 321009 320801 320948 320712 320753 320757 320715 320910 320905 320758 320770 320752 320781 320766 307041 323174 323218 323185 323384 315039 315040 272372 105257 105278 106310 105215 106265 105152 105362 106376 105383 105022 105707 105173 105236 105131 105893 106280 105341 105923 106013 105068 106442 106043 105953 105110 105089 105425 105299 105983 106538 105842 106472 105194 105404 105047 105320 98308 99976 99973 99970 106537 107825 107819 102730 102751 107822 102688 100019 100021 100178 99895 107834 99892 100188 105026 104984 104962 104942 104920 104960 104939 104941 105005 104918 104963 99889 99986 97054 97051 97952 97370 98012 97202 97076 97349 98294 97871 97736 97244 97454 97286 97139 97097 97982 98042 98309 97307 98072 97223 97412 97433 97922 97265 97181 97328 97160 97118 97391 100227 99953 100224 99938 99962 99968 100221 89420 89126 90011 89357 89000 89462 90041 89210 89020 89441 89981 89018 90323 90338 89231 89021 89294 89900 89083 90071 89168 89084 89483 89378 89080 89273 89042 89252 89765 88997 90101 89105 89315 88978 89147 88999 89951 89063 89189 89399 88976 89336 94780 94717 99851 99854 99848 94759 107947 107941 107944 115805 108199 108198 108195 107924 107939 107933 108192 107909 299213 299251 291532 291274 299503 291531 291277 291280 299496 299245 299237 299502 299248 297765 297753 297760 297750 297758 297770 304256 299071 323416 323126 323156 323141 323415 323412 323150 323409 317947 317961 317946 317905 323036 323042 317898 317904 317967 317940 317968 323039 305736 305741 305729 305731 305721 323147 329646 323139 329652 307042 323081 329649 99985 96968 96971 96947 97055 97034 96970 96992 97013 96949 96991 96989 99884 99883 99887 99886 100086 100082 330832 329030 328214 328361 329468 330913 330895 329453 328424 328298 328193 330122 330272 330932 330994 330910 330985 330983 330997 328550 330934 331003 329171 329111 330814 328571 330823 330878 329081 330826 330919 330212 330152 330941 328529 330542 330572 330976 330904 329141 330692 328403 330017 330829 329659 328445 330974 331000 330838 330962 330968 331006 328508 330853 330302 330922 330892 329867 329630 328487 330898 330092 330422 100118 100138 296284 281832 296276 297762 297769 297748 297757 297768 297756 273857 273847 273840 273837 272364 272360 273852 317926 321054 321058 317920 317923 317924 317952 321055 321047 317931 317953 321593 321230 321110 321527 321140 317932 321260 321200 321170 321659 321689 321497 321059 99893 106454 106446 106449 106461 106456 315110 100163 100083 99961 100079 100084 307139 329642 329637 73128 73129 304255 304254 304247 304242 312213 312218 320710 320189 320196 305728 305719 305739 305733 305740 299261 329641 329632 329640 320411 320495 320306 320558 320348 320453 320516 320243 320222 320537 320285 320264 320621 320642 320432 320924 320474 320369 320390 320327 320200 320600 320579 320197 100087 106464 99964 100196 106452 99965 100208 106465 106444 106453 100202 99974 99967 99955 100070 99989 100212 99896 106466 100177 106470 100038 100068 100206 100139 100125 100033 99983 100127 100194 100182 100176 100054 100201 100195 100137 100062 100170 100064 99988 100052 100143 100172 100131 91825 91824 322977 329658 329634 330752 328340 328319 330077 330392 330632 328235 330332 330841 328256 330884 330820 330890 330662 330925 329564 329231 330812 328466 328613 330782 330047 330901 330916 330512 330452 330907 330835 330863 328592 330482 328171 330865 330939 328895 328277 330107 330872 328382 321045 320788 320713 320791 321011 320939 329653 264393 264396 329724 331010 323365 329725 321039 325918 331013 325876 321040 320926 320906 320913 320927 317894 321041 317889 317927 320900 320923 320920 317957 320919 317883 317936 317878 317890 317884 320930 320759 329654 323142 323267 323332 323272 323351 323271 281820 281826 281827 281814 281815 281806 281833 281818 281811 281816 281823 281808 281828 291126 291127 272362 272361 88971 36076 91382 36047 52000 49217 36136 68069 36085 75470 52402 100228 68066 52159 51707 49216 81101 57195 81949 76208 76316 58712 70867 76125 91748 96931 97891 97879 94745 80997 88982 89067 88963 89911 90336 36040 38974 52398 75290 99960 99963 251312 243699 138336 138349 138348 138354 138342 138337 138328 235731 235460 235445 235735 235480 235728 235483 235477 235734 139603 139534 112895 112874 139478 138326 115738 112915 112876 112985 139508 139612 138848 99888 99885 139705 112897 112980 138818 138356 139628 139516 139609 138908 138194 139711 139693 112916 112992 139672 139586 139591 115737 139681 139684 139546 139238 112918 138698 138968 138563 139600 139448 139510 112923 112884 112905 112881 139618 139513 139118 139670 139652 139696 139552 138998 139580 139588 139664 139702 139690 139639 139687 139699 139543 139559 112926 112902 139328 139208 138713 139088 139418 139621 139646 139178 139597 139679 139606 139708 138773 139574 104944 139522 138788 139519 139658 138260 139615 139028 139058 138422 139268 139630 138803 139540 139537 139528 243448 243451 152915 153083 153668 153533 153167 153719 153188 152852 153146 153779 153125 154268 154202 153869 153062 153104 152936 154136 160773 160770 153839 154106 152957 153020 153041 152894 154091 153809 153749 153209 154298 153251 153230 152873 152978 152831 152999 243440 211547 211564 211556 211567 211532 211822 211815 208603 208604 203596 203593 323038 322136 322181 321046 323012 312629 322913 320899 304241 320771 323364 321482 291101 322751 312293 289791 321029 289803 312314 304248 320929 315204 314630 291139 289785 291145 323242 323158 314956 289797 291130 323394 321033 315203 323370 329707 321035 329699 305746 321034 325932 314600 320966 314905 330362 314330 321027 312482 296456 313622 320818 314971 330844 312608 305724 312566 296330 314060 296271 306913 330950 305747 289794 304406 296729 306749 305727 315105 330956 315108 291010 307000 323382 306839 288674 323207 330182 304616 291008 304301 296666 305318 290957 304322 330002 306899 290387 307043 297317 323262 289871 306922 330850 307019 288758 306719 313259 304658 291017 306299 331012 307028 290867 323161 321004 289786 291154 304343 290192 305228 330940 304511 290977 315008 314390 314840 290971 312461 329201 314890 290998 313088 297197 314983 289286 315073 296277 306629 290447 306904 315032 306164 288380 312272 330943 312419 291058 312335 312356 290627 298939 329726 314921 291077 314075 312398 298298 296283 299128 329660 299107 315102 299119 296372 314887 323135 313556 329498 314450 323080 298838 330602 314936 306239 313718 320869 298988 307037 325904 315049 315111 298808 323306 298568 329644 299014 330722 299006 323077 299020 323366 298951 307090 298193 296414 306269 307093 306910 323171 307087 307055 307099 330242 307063 306907 304385 320778 306901 306943 299116 320769 323325 299113 325917 299059 320811 299066 306449 299084 330847 298268 306779 298928 307199 299035 307102 299050 331022 298933 323258 299072 330817 323075 330991 321016 325927 304251 321021 304243 306509 297011 323164 330988 320932 313784 235469 243706 243702 243431 243416 243705 243341 243454 203585 187657 195515 203486 211375 211374 320992 320980 320847 320855 320989 312219 312227 312222 320198 312212 307232 320190 320193 315176 320183 312214 320185 313692 313702 313700 313712 313707 313710 313704 313698 313699 313690 313711 320850 320998 320978 320810 320863 320954 283196 275332 275335 307133 313757 313778 313764 309933 307129 313759 313752 309996 309927 275300 275583 275324 267353 320790 320935 320708 320832 328157 320950 328161 323180 320977 320824 323143 328164 320663 320971 323153 320976 320864 320835 320827 320968 323182 328154 320953 323257 320837 328169 321023 320793 320836 320857 320834 320938 320988 320723 315167 320750 288302 321022 227362 317070 313717 323149 201494 329687 312650 298718 219792 322841 283162 330856 313695 219793 299104 216560 291257 320862 322978 322391 315190 272648 306104 211438 322541 320999 203561 227377 291046 322970 203576 323221 211252 186180 186181 179686 179680 187544 179683 179937 179931 171715 179573 171966 171960 171963 171692 171701 171712 171709 163738 155773 138345 138333 138338 138340 138350 138330 163631 139635 139636 131673 146325 146304 146301 146316 146321 146311 146309 139650 139568 139637 139525 139594 139531 139388 139148 139298 138938 139561 139549 138743 138878 139358 147802 155767 139828 155770 147796 147799 139831 155660 139825 147788 139793 148054 147779 148050 140083 147794 148053 147764 148047 140079 140076 139808 139823 140082 147689 139817 156024 155735 155765 156025 156018 156021 155759 155750 139677 113354 113081 113291 114251 113312 113984 113039 113396 113018 113060 113270 112976 112997 112931 112913 112912 112934 113144 113333 113207 113165 114014 113864 112910 114236 112891 112933 112889 112955 113813 112993 113102 113249 113954 113924 113375 113228 113678 113123 113894 113186 138355 137120 136910 137099 136889 137036 138164 137807 137777 137267 137141 137078 138149 137162 137288 137246 136952 137867 137015 137204 137309 137183 136994 137225 137837 137726 137591 136973 136931 137897 137057 137927 147670 147629 147643 147650 147682 147658 147641 147673 147664 147661 147655 147667 147679 147676 147652 147635 147617 147610 147623 146393 147580 146744 146789 146669 147505 147487 147557 146819 146879 147523 146969 147449 147517 147589 147559 146714 147565 147179 147389 147490 146849 146759 147520 147299 147269 147029 147479 147149 147583 147481 147574 146684 147530 147239 147119 147562 147599 147511 147532 147209 147059 146774 147577 147592 147608 147551 146999 146939 147493 147571 147329 147601 146909 146534 147586 147484 147568 147514 147419 147359 147539 147499 147502 147496 147089 147508 147545 146307 146299 146313 146320 146326 146308 146319 107957 130359 130367 130377 130378 130383 130365 130366 130357 130371 130362 130379 130369 130374 145196 144965 145238 145748 145028 146297 146231 146165 146327 146120 144986 145868 145154 145133 145112 146135 145898 145562 145007 144902 145808 145778 144860 145697 145838 144923 144881 145217 145070 145049 144944 145280 145175 145259 145091 131734 131725 131728 131722 131719 131713 131693 131708 131740 131701 131699 131687 131716 131710 131737 131731 120866 120894 120897 120873 120855 120887 120876 120845 120852 120889 120868 120847 120963 120951 131870 128826 128837 128844 128823 128868 128865 128816 128847 128858 125439 123899 128860 128818 128839 137746 137737 138158 138153 138162 137743 137740 123673 123695 123592 123574 123536 123598 123728 123652 123116 122831 123769 123742 123739 123766 123760 123266 123056 123601 123644 123730 123658 123617 123638 122846 123646 123670 123583 123745 123754 123748 123757 123737 123751 123722 123664 123763 123632 122996 123296 122876 123604 122936 123655 123026 123710 122756 123649 123577 123619 123679 123566 122801 122480 123688 123236 123589 123506 123595 123586 123568 123206 123697 123704 123607 123356 122906 123626 122771 123716 123176 138163 137731 137734 137729 136797 136839 136818 136794 136829 136808 136787 136815 136810 136789 136831 136847 136844 136802 136804 136846 113821 113833 114240 113816 113818 114249 113827 122391 122403 122408 122398 122396 122400 122412 122394 122407 122386 122395 122406 122388 131681 131675 131668 131635 131609 131557 131590 130997 130451 131644 131237 131087 131620 131641 131548 131597 131117 129107 129149 130385 128960 129191 130727 130907 131507 129002 130289 129233 131057 131542 131537 130967 131603 131539 131650 131657 131554 130847 131027 131387 131581 131569 131545 131560 131588 131566 131447 131647 131572 131578 131638 131623 131659 131297 131267 129128 131147 129896 131617 131551 130193 131666 130592 130355 131327 130742 131417 131629 131177 131207 131477 131615 129806 129065 129317 130802 131626 130817 129254 129086 130223 129296 131563 130877 131632 131575 130832 130937 130772 129866 129836 130178 129212 131357 130384 126572 125450 125480 125489 125440 125470 125459 125468 125498 126155 131744 122414 122318 122384 163741 171602 163706 163992 163996 163730 163744 163721 163989 163995 147719 147812 128876 128831 128875 128854 128855 128833 128897 128918 128939 120967 121835 121262 121073 121283 121304 122222 121241 121052 121784 121865 120947 121178 120989 121136 121220 121115 121094 120860 120904 120883 120926 120968 121985 121895 121199 121649 121955 121346 121157 122207 121925 121367 120964 120884 120862 120905 131664 122413 171967 171677 98566 179934 179672 179938 179648 179663 187902 187908 187909 139841 154296 154272 154287 154292 154280 154282 154275 154297 137735 154279 154284 154278 154270 154291 154290 131679 154362 154324 154344 154332 154340 154358 154337 154363 150576 150513 150507 150549 150555 150570 147785 150556 155648 155651 150514 155645 150577 162267 162246 162258 162253 162251 162263 162243 139748 144779 144758 144807 144765 144802 144786 144781 144810 144800 144760 139840 155578 155577 147718 147716 147789 147780 123667 122966 123476 123386 129338 129620 129956 121325 129023 128981 120902 123610 123326 123676 123416 131665 129275 123686 120881 123146 121010 122252 123446 129926 123580 129044 123661 123086 129170 123571 122861 121031 122621 129755 195628 170238 170239 170220 170226 170212 170232 170233 170221 139644 147607 186171 186156 186176 186164 186166 186159 176718 200619 200624 184690 192653 192648 147606 152802 152799 160763 168747 187651 187654 184677 184682 176706 176711 178209 200618 192657 192654 168741 168744 192662 168749 186174 186154 186168 186162 186175 186163 168734 184686 184691 192647 176705 176708 176715 176712 184683 184679 161504 160865 161054 160780 161096 161138 161033 160907 161012 161201 160949 160886 161117 160970 160844 160823 163391 162761 163465 163583 163301 163522 163577 163061 163181 163121 163565 162851 162626 161720 163429 163571 163444 163211 162791 163426 163453 160991 162821 163450 163531 163361 162476 163438 163528 163510 162656 163421 163423 163474 160802 161222 160928 161075 161180 161159 163543 163432 163151 162611 163031 163472 162881 163441 162686 163534 163091 163271 161639 161780 163504 163447 163516 163559 162731 163481 163525 162716 163499 163501 163519 163541 163462 162941 163331 162701 161690 161810 161840 162173 162269 162077 162335 163507 162062 163552 163459 163456 162911 163513 161750 163493 162971 163487 162107 162239 163001 163550 163241 163435 162268 152809 170214 170234 170217 170224 170222 170229 184676 194151 203445 203446 194152 195873 195880 195879 195876 160778 194130 194147 194142 194135 194127 194137 152807 203609 194125 194145 194146 194133 194139 194134 203412 203413 187643 187619 187634 187905 203516 152792 144828 144831 144838 144836 163548 163549 149679 153321 153384 153375 160776 162262 162241 162250 162249 162255 162261 160777 153612 153477 153619 153489 153483 153613 153478 153618 153484 136860 144821 136857 153642 153637 153496 153501 153636 153631 153625 153630 153490 153403 153495 153624 153541 153390 153366 153387 155934 155985 155991 155997 155940 155922 155928 155967 155973 155930 155871 155979 155865 155826 153362 153324 153378 153361 153391 153507 153502 153421 153427 153575 153430 153542 156003 155975 155992 153392 153638 153503 155816 155936 155998 155854 155818 155690 155780 153412 153557 153410 153644 153648 153650 153655 153654 153656 153649 155686 162303 162333 162296 147717 162329 162308 154313 162310 154322 162315 162298 162276 162273 162281 155692 154328 154317 131706 153643 153538 158478 155683 158527 158520 163616 158484 158541 158526 158548 163622 158547 155681 155684 158485 163619 155680 150562 150536 153663 150533 153367 150532 150540 150492 153528 150529 150541 150493 150498 150561 153379 153513 153519 150535 150487 150499 153522 153514 153508 131707 131680 153539 153380 153509 153536 155744 153529 158471 158515 153667 150503 158513 158473 150566 158536 158534 147714 153532 147711 153664 156015 156009 156026 162334 153472 153592 136850 128886 128889 153443 153419 152798 160764 160769 152793 144834 152805 147648 147649 152806 144835 155783 155785 155851 155849 153332 153272 153317 144827 144822 136863 128892 147813 147720 153471 153601 153462 153607 153464 153632 153466 153359 153402 153544 153589 153587 153597 153399 153448 153459 153606 153456 153547 153445 153451 155748 155752 155876 120915 120907 155929 155791 155830 155693 155912 155794 155762 120911 155941 155914 155906 155822 155880 155881 155974 155758 155960 155689 155771 155819 120918 136867 155747 153441 153446 153585 153473 153577 153586 153322 153319 153620 153400 153548 153398 153535 153515 153368 155879 155915 155999 155761 153580 153562 153559 155855 155678 120925 155760 155935 155782 155883 155669 120922 155786 155884 120921 153420 155757 153444 120913 128893 136864 155764 128896 120912 153433 153608 128880 136856 136851 153436 128885 155987 155963 156011 156004 155778 150545 155789 155866 155696 155859 155867 155835 128879 155831 178205 178188 178195 178200 178193 178185 176720 176719 139678 178210 166497 163652 166455 166491 163651 166449 168739 166518 166512 163655 178192 178203 178204 178183 178197 178191 166519 171590 166498 171593 166456 171587 161333 161448 161449 161466 161583 161609 161350 161490 161473 161374 161338 161507 147621 168735 168740 163654 168738 163969 163793 170300 170286 163649 163797 163911 163751 157323 163792 163968 163946 163757 163830 163836 163944 163842 163938 163806 163962 170304 155682 163765 163768 166507 166484 163715 166442 170274 163640 166444 163934 155685 163826 163769 166505 170281 155688 166486 170244 163956 163974 163855 163820 163762 163822 170252 163950 163899 163756 163889 163789 163787 163880 170279 170247 163667 170267 163749 158512 161627 158500 158507 158469 158506 161339 161621 158532 161363 158464 161478 161493 161472 161362 161620 161467 161626 161460 161615 161479 161484 158458 158503 161512 161358 158537 158511 161474 161591 161619 161455 161346 161292 161634 158533 161596 161528 161589 161584 161546 161337 161601 161383 161595 161625 161510 161614 158516 158470 158463 161486 161513 161506 161602 161608 161454 161607 161499 158504 157650 161613 161295 161361 161349 161590 161355 161485 161401 161461 161392 163754 163727 171870 171882 171909 171813 171802 171940 171876 171933 171807 171878 171796 171939 171945 171801 171915 171927 171864 171921 174462 174489 174468 174483 171626 171622 174426 171623 171625 174420 171902 163718 171720 174490 179564 174469 174427 179561 179558 163653 163656 174415 174478 174457 171934 171917 171857 171947 174476 171946 171760 171635 171777 171884 171827 171953 171957 171758 171951 174455 171952 174413 169584 169329 169263 169560 169419 169420 169555 169332 169586 169317 169426 169561 169425 169363 169431 169554 169308 169598 169591 169590 169580 169596 169597 169585 169326 165621 169266 169303 169320 166440 169354 169438 169449 169432 169444 169456 169455 169450 169309 166435 169464 166429 169333 169372 169605 166477 166434 166478 169470 169443 169566 169345 169437 169517 169461 169579 169499 169572 169578 169567 169573 166504 166503 166482 169321 169451 166474 169480 166475 169592 169322 169481 169445 166471 169478 166483 166441 169484 169483 169334 171968 166487 166445 166508 163662 163659 171628 178238 171686 178215 178218 178223 178257 178234 171772 178270 178240 178276 178267 178258 178252 178237 178233 171690 178253 171632 169474 169471 169609 169606 171699 171866 163755 178266 178271 178227 178245 178275 178250 171634 173265 171698 171631 171727 171791 171793 171769 171736 173285 174398 173981 173276 173294 173266 173306 173296 173324 179570 173315 161391 195625 195622 171528 171773 171725 171529 187461 169549 169413 169408 169548 169398 169543 169529 169344 163590 171693 171935 171704 171694 171713 171916 182460 182454 182433 182439 182397 182391 195614 195590 195605 169404 169486 169505 169301 169489 146129 146124 145711 145714 146134 146133 145706 145717 145700 145702 169361 169274 169401 169341 169387 169406 169531 169393 169390 169540 169414 169539 169385 169574 185989 185984 185979 185988 185569 185564 185566 185572 145708 145705 171534 171535 155593 155592 155619 155620 171561 169534 171731 171733 171562 161381 163963 163663 161519 161371 163661 171689 171638 171722 171620 171611 177279 171624 171627 171630 179593 179594 179500 179499 171520 171519 179505 179506 179603 136865 171910 171850 171929 171898 171901 171896 136853 136849 163723 163912 163733 155691 161569 163660 163722 163931 163719 161389 163729 163664 163742 168737 179533 179532 163591 187574 179696 179669 171633 187568 190431 190425 163563 171768 171860 171761 171739 171905 171763 171740 171764 187667 147622 163905 170269 187462 173592 177550 177549 177555 177470 177323 177291 177538 177533 177561 177543 177537 177237 177562 177556 185367 185496 185503 185373 185305 185368 185362 185492 185497 185361 185502 185294 185250 185268 185379 185374 185296 185459 185314 185311 185509 185205 185508 185514 185441 185380 185385 185287 185259 181563 185515 185245 187887 187869 187875 187881 187863 187471 187470 187801 187802 187706 187798 187580 187793 187705 187664 187824 187820 187678 187807 187808 187703 187795 187812 187806 187749 187818 187755 187743 187719 187711 187851 187714 187857 187710 185520 185526 169386 169261 169352 169415 169528 169375 169519 169388 169527 169264 169383 169550 169562 169362 169304 206346 206310 206304 203506 206352 206373 211445 195545 195638 198381 198333 198375 198339 195539 195538 195535 198402 198396 195536 203573 201192 201474 201470 201481 201482 201475 201480 201201 197505 177592 177598 177601 177583 178013 178017 177586 177595 178008 177589 203582 187662 190404 190410 185302 187567 187564 187503 187504 190362 190368 187565 185206 185391 185276 185387 185522 185426 185386 185521 185425 185275 185532 185392 185393 185527 185422 185419 185538 185533 185528 201188 201148 201321 201238 201229 201322 201468 201333 201328 201463 201327 201462 201339 201361 201469 201205 201334 201464 169369 169340 169342 201304 201247 201438 201309 201439 201315 201310 201383 201450 201147 201210 201316 201451 201216 201303 201213 201150 201456 201444 201413 201256 201401 201445 201457 195822 195858 195840 195852 195795 195828 195846 195834 193247 193497 193362 193358 193493 193397 193499 193368 195690 195777 195783 195720 195714 195726 193276 193491 193258 193486 193356 193430 193485 193492 193338 193285 193357 193333 193479 193351 193350 193467 193246 193474 193475 193396 193468 193332 193339 193282 193345 193473 193480 193344 193374 193504 190353 193518 190348 193377 190342 190347 190390 190391 193383 193222 193369 193223 195770 195547 195815 195864 195870 195611 195740 195860 195779 195681 195824 195818 195865 195773 195842 195653 195797 185262 185398 185263 185251 185403 185397 185423 185264 185399 185534 185420 185252 187738 187882 187750 187715 187859 187876 187735 187733 187640 187670 190399 190420 195789 195859 187641 195791 198391 198368 195830 195853 195847 195704 198370 198328 195706 195671 187569 198389 187566 198326 195673 195709 201204 187700 187702 187669 181236 187570 194187 194165 194199 194182 179601 194157 194160 187666 194192 194213 179697 194217 194194 203507 203748 203754 203766 203588 203518 203512 210159 195543 210122 210129 210141 203677 210124 210107 210155 210102 210099 210134 197178 203604 203644 203642 203611 203657 203793 203760 203697 203817 203691 203661 203685 203675 203829 203824 203818 203801 203680 203805 203823 203811 203799 201187 169490 169477 169310 169457 195633 185274 185208 185271 182371 182420 182377 185412 185547 182376 185539 182382 182419 185406 202165 202153 202163 195640 189207 202128 202188 202158 185540 190357 182383 182450 182417 182424 182429 182446 182445 182413 182416 182425 195641 185325 185461 185330 185357 185317 185469 185470 187628 179595 190397 190418 179598 169378 171702 171706 171821 187877 187635 195738 195739 195854 195734 194180 193239 193230 193176 189534 193363 193217 193177 193412 193265 193216 193245 193267 193233 193242 193174 190369 195506 187893 187739 187751 185332 185490 185485 187644 187577 190355 169214 206353 169522 169259 169504 169501 171825 203510 206367 206374 203509 206311 211442 211448 198382 203474 187844 195503 195500 190432 190411 187858 187631 193326 195637 193462 195790 195541 202151 202184 202136 187572 202131 193311 193487 193456 202170 195599 195796 195685 201292 201274 201427 201282 201432 201298 201423 201290 201424 201297 201415 201433 201458 201225 201285 201228 201288 201217 201367 198325 201348 201340 198361 198324 201206 198320 198367 201329 201193 198387 201218 198313 201368 201364 201345 198366 198359 198314 198388 201354 198353 201489 198319 201335 198318 201365 201476 201194 201362 201341 201145 187899 187826 187894 187853 187769 187888 187799 187819 187648 187645 195602 177235 163564 187532 182440 187529 182461 182428 182386 182449 182426 182447 182384 179596 177234 177297 177448 177567 177557 177428 177292 177427 177426 177452 177293 179597 177521 177397 177390 177544 177526 177334 177396 177531 177525 177391 177402 177532 177300 177316 177343 177488 177340 177303 177408 177409 177403 177414 177325 179748 179911 179918 179729 179888 179784 179916 179922 179900 179691 179905 179835 179917 179731 179778 179798 179880 179912 179772 179744 179780 179773 179886 179849 179767 179841 179828 179923 179855 186211 186216 179698 179764 179762 186209 179657 179699 186228 179599 186223 186221 177416 177551 177305 177455 177420 177454 177421 177451 177422 177304 177415 177386 177499 177498 177359 177354 177490 177346 177232 185203 185328 185246 185282 185284 187760 187889 187764 187825 187765 187642 185504 185304 185432 185443 185464 185320 185446 187576 187910 185343 185283 185350 185346 185491 185447 185327 185329 185286 185340 185481 185516 187767 187768 187763 187535 182398 195835 195676 195841 195866 195615 195544 195606 195613 195735 195829 177288 177274 179707 179740 177333 177568 174405 174448 174411 174400 174412 174406 174449 177563 177280 177432 177230 177185 177569 174416 177449 187553 187883 152797 187562 152796 187636 185416 185413 185551 181277 185201 187813 182369 182387 181265 185548 181295 187814 181256 181286 181237 185156 194218 181267 187541 181952 181247 179660 179604 152795 185243 187675 152791 187632 187646 187673 187573 177281 177435 174453 174474 174454 174442 177576 174446 174445 177441 174475 179490 201389 201245 203693 195474 203741 203711 179491 195475 203762 203786 203620 203653 203656 203800 168733 206341 203615 203617 203819 203702 203706 203707 203767 206299 195540 195537 206362 203519 201185 201158 203612 187655 185355 185428 185473 174458 177493 177313 177357 177349 177331 177311 177472 177275 177461 177475 201269 201271 203570 201446 201411 201272 201267 201412 201403 201299 201259 201253 201434 206339 201226 201374 203768 201246 206297 206360 203597 177372 177358 177379 177514 177315 177385 177312 177510 177502 177519 177356 177520 177384 177361 177377 177500 177511 177545 177476 177369 177375 203578 203574 210160 197209 197179 195546 197189 203515 197198 203483 197894 197228 197207 198311 197219 197237 203608 203761 203575 203587 195639 203583 203590 203825 203540 203524 203559 203531 203544 203551 203550 197167 203554 203534 203547 201406 201262 203681 179796 179677 179792 179774 179797 179765 179674 171726 179848 179939 179605 179673 174479 203477 203471 198403 198340 168748 198371 198329 198392 201098 201143 201270 201224 201236 203584 201418 201370 201373 203709 203705 203710 203403 203404 203740 195441 195442 203831 203852 203837 203836 203830 203835 203841 195447 195448 177445 177442 177580 177577 185216 171728 136855 136854 171826 171703 179768 179693 179591 144826 179609 179582 144825 163753 163854 163731 163850 163970 163906 161384 161526 161533 161412 161548 161444 161462 161557 161417 161579 161551 161407 161530 161522 171877 190395 190396 190416 190387 190417 190384 190354 190388 203737 203788 203750 203749 203734 128884 179695 186189 186246 186242 186186 179670 186194 179606 179779 179887 179743 179664 179602 179661 179684 177364 177505 177457 177460 203795 203495 203606 203504 203522 201490 201355 201358 161597 128883 161556 161527 203813 203560 201277 178018 201388 201385 179789 179793 179671 179854 179794 144824 179704 179702 177245 179906 177272 193511 193370 193234 193505 193461 193444 193453 193390 193498 193221 193391 193510 171856 171853 171941 171803 171809 171724 171865 201493 210136 214344 211477 211481 214275 214317 214323 211480 214338 214281 211478 193179 195548 171794 171797 179876 179842 179831 186247 179847 179853 179924 179892 179904 179928 179898 179873 179910 195626 195617 195607 187575 193328 193403 193432 193296 193301 193255 193299 193440 193463 195881 185335 185471 185348 185356 185482 187792 185476 185431 144820 218121 218108 218113 218122 218078 203514 211483 211656 203508 214270 211800 211764 211782 211737 214312 211788 211794 211770 214333 211776 203511 209118 209281 209200 209280 209207 209440 209292 209275 209172 209298 209427 209421 209310 205476 209209 209224 209121 209293 209439 209175 209227 209184 209218 209428 209372 209339 209415 209410 209189 209435 209287 209187 209159 209181 209441 209416 209163 209304 209422 209409 209305 209176 209274 209286 209300 209354 209319 206290 209299 206295 206332 209460 209338 209188 209434 209316 209433 206284 209452 209447 209165 209453 209336 206333 209325 209312 209333 209446 209332 209451 209445 206289 195603 195736 195731 195848 195682 195635 193394 195686 195533 195524 195551 193235 193393 193364 195710 193402 193418 193317 193274 187668 195612 195616 195619 139651 190421 190358 190400 160767 193414 193435 193127 193172 193522 195772 193253 193387 193417 193288 193441 193275 193384 193291 193519 160768 195763 195811 193298 195809 193321 195814 193319 193327 193452 193303 195649 179665 179675 120923 155986 155924 155980 128894 155861 155798 155885 155969 153598 153563 147776 155751 155821 155993 155827 171923 171922 171911 224537 224532 219551 216561 216566 218070 218089 218082 218105 218100 218130 218112 218093 218126 218125 218107 218095 218073 218088 218092 211541 211575 211795 211733 211651 211662 211668 211719 211725 211731 211613 211615 211490 211489 209119 209417 209217 227429 211416 227522 227486 219458 211789 211632 219345 230217 227422 227419 230266 230286 230265 230280 227423 227420 235355 230287 230259 235358 230223 209164 209311 206296 206359 206329 206330 206337 206326 206358 206338 211772 235361 230224 211628 206363 206300 206342 211389 211383 211646 211648 211582 211544 211664 211583 211577 211623 211618 211493 211466 211475 211595 211652 211580 203517 211553 211586 211588 211591 211790 211487 219354 211557 203610 211579 211554 211561 211712 211681 211732 211796 211558 211676 176709 176710 214310 214268 214331 211784 211680 211677 211486 209382 209238 211594 209270 209215 209245 209386 209429 217453 217863 217868 217456 217872 217450 213120 211485 211488 211581 217448 211492 209195 209345 209197 209116 209383 209374 209114 209243 209405 209069 209241 209356 209359 209233 209377 209230 209240 209196 209384 219459 219552 227487 227496 219452 219451 219448 222309 222288 222294 222315 222246 222252 219449 227742 227724 227736 227706 227718 227712 227679 227730 227675 227590 227588 227524 227610 227737 227565 209259 209199 209242 209395 209404 209261 209403 209256 209269 209263 209268 209398 209253 209394 209335 209306 209177 209158 222295 222253 227387 222316 227390 227384 209360 219524 227731 227557 227555 227483 227490 217263 217171 217251 217258 217257 217252 217188 217281 217411 217147 217310 217404 217271 217410 217405 217198 217406 217309 217089 217303 217422 217417 217416 217135 217283 217423 217282 217136 203418 227499 227624 219747 219346 219349 219374 219362 219380 219368 219356 219771 219584 219766 219603 219460 219457 222304 222241 222239 219461 226097 226071 226083 226049 211482 219454 226102 209129 209248 209389 209344 209341 209156 214255 217290 214261 217431 214304 217296 214266 214260 214303 219635 214313 214334 214330 214329 214308 214301 214309 214300 214297 217307 214271 214267 217447 217445 217444 217441 184680 184681 219794 219783 219777 227517 227618 227622 227654 227569 227748 227743 227754 227749 227765 227503 227500 227738 227566 227536 227750 227744 227699 225123 225060 225369 225117 225314 225105 225296 225352 225063 225166 225169 221418 225114 225241 225371 225228 225382 225234 225381 225364 225235 225142 225242 225126 225149 225223 225370 225375 225229 225129 225061 225351 225222 225217 225358 225387 225160 225357 225280 227681 227594 227537 227702 225247 225278 225377 225275 225106 225253 225248 225258 225393 225252 225246 225274 225119 225383 225130 225118 225281 225131 192650 230210 230273 227726 219301 219188 219235 219298 219253 219259 219223 216704 216788 216725 216599 219347 219238 219220 219278 219158 218858 218498 218618 216620 218423 216641 219284 218948 217607 218558 219296 219241 219307 218738 218408 218708 218132 219322 218798 216662 219319 219226 218918 219271 219269 219232 217873 219098 218036 219247 213170 213836 213140 219425 218678 218453 218588 218528 219338 218978 219331 219290 218513 219316 217436 218828 219250 219128 219244 213149 217970 219038 219218 218483 219256 217517 217547 216956 216683 216914 216872 216830 216935 217019 216977 217859 218066 218768 219262 219328 218273 217904 218888 216575 219340 219229 216998 219068 216851 213131 213121 214253 213179 213161 213151 219313 211384 217388 217354 217168 217316 219529 219703 219683 219532 219528 219651 219525 217348 217327 217040 217301 216746 217637 216767 217487 216893 216809 217874 217577 219310 219304 216577 216574 218648 219325 219008 219519 219742 219728 219520 219648 219649 219516 219539 219530 219598 219594 227432 227574 227606 219453 227525 227593 222272 222226 225261 222300 234049 227663 227661 227604 227673 227598 227667 234037 234047 227431 234015 234012 234072 222227 222238 222237 222279 225394 222301 234042 234068 221091 234035 227425 219456 234020 227674 218065 214345 214324 219416 219413 214282 219419 203419 217143 217158 217129 217392 217152 217155 217393 217398 217275 217276 219550 217304 217325 217178 217399 217387 217381 217245 219619 219765 219553 217090 217201 217241 219623 217264 217343 226064 217246 219512 222302 217195 217270 217189 217159 219554 217180 217269 222283 211479 217166 222281 217424 226044 226041 226076 226101 226066 226078 219696 219639 217130 219546 219633 213447 219741 217087 219760 219586 219617 219702 217134 219735 217092 219627 219690 219708 217412 217146 217380 217386 217160 217287 217418 219759 219753 219743 217442 219360 217438 195715 195707 195823 202189 190340 189238 189236 189266 189208 189248 189218 189227 189257 189923 195512 193442 193399 193300 193306 193254 193447 193314 193257 193187 193214 195646 160766 195644 161437 161414 161568 161435 161603 161578 161373 161419 163802 161370 161558 211823 218131 211568 211738 211559 211555 211806 211807 211663 211721 211678 209329 211549 211739 211673 211619 211766 211783 211624 211545 211808 211657 211548 211757 211812 211627 176704 211765 209464 209326 211658 209461 211771 211727 195716 195778 195677 131674 267612 267618 267364 267361 267329 267367 275225 267619 267344 267615 315101 315100 315103 227510 227501 227491 227605 227713 225359 225159 227530 227528 227533 227521 227428 234073 227396 221141 221122 221092 221132 221102 221807 222224 221150 221111 221120 227708 227668 227561 227600 160762 155756 113830 114245 193509 193503 163657 217345 217085 217353 217376 217204 217212 219710 219778 219590 219737 219629 219566 219653 219748 219755 219692 219772 227719 227657 230275 230252 230254 219450 230212 234054 219686 219731 232515 232506 232507 224531 232516 219644 219565 219526 219557 232503 232508 232502 275315 275590 275586 275589 275338 307205 288298 320839 320842 320997 320983 320853 222232 222266 222268 225277 222231 222274 225388 222271 225402 225267 227519 227570 227408 227435 227417 225395 227495 225058 309920 312897 313033 313038 312841 312904 312910 312921 283122 328158 328168 323326 328155 323087 280333 313058 312799 313068 312812 312933 312800 312781 299168 312742 312977 312832 315348 315291 315399 315393 315429 315425 315205 315395 315236 315305 315424 315112 312739 312782 312787 315280 315430 315164 321693 307137 321723 321730 315217 315246 315251 321687 307196 299055 299056 225376 225216 225240 225389 225151 222280 225363 225157 312995 312939 312928 315405 315342 312962 315214 315238 315269 315412 313063 313062 312915 312983 315106 313032 313056 323152 307132 315387 315356 313045 315380 315209 312226 312823 328167 312903 312786 312830 309975 315354 313050 312741 312847 312927 280332 307130 313039 299070 312795 315335 309969 313051 312838 288303 315255 312958 312225 312959 315411 315286 315271 309990 315287 313782 315423 315360 312810 321701 315279 312929 312798 320184 323243 309965 313064 312923 328159 315417 299097 312916 309099 312807 312804 315198 315247 312744 315211 315285 323069 315250 312934 299098 312898 299065 299064 243331 243307 243295 243293 243319 243313 243328 243316 243334 243322 243325 243275 243287 243310 243281 243302 243304 267206 267215 267244 267229 267200 267235 267247 267220 267238 267188 267194 267223 267226 267241 267217 267079 267046 266984 267151 267110 266924 266309 267148 267157 266354 266594 266834 267064 266504 267061 265958 267124 266444 266954 266414 267082 266384 266249 267085 266324 266774 267175 267154 267073 267142 267076 266279 266744 267208 267232 267166 267070 267173 267139 267058 267116 266624 266474 267122 266099 266684 267130 267095 266564 267044 267133 267049 266864 266234 266804 267067 267014 267097 266654 267088 266534 267164 267145 265730 265862 265796 265403 265892 265313 265700 265685 265373 266714 267182 267055 266894 267052 267136 265463 265343 267104 266339 267127 265262 265433 264425 264614 264635 264761 264509 264719 264656 264551 264401 264446 264845 264740 264803 264403 264488 264677 265127 264782 264530 264824 264572 264698 264467 264593 275184 259237 259244 259252 259217 259223 259255 259264 259261 259258 259267 259276 259273 259270 259229 259246 259249 259235 258383 259186 259126 259124 258983 259043 258803 259078 258473 259177 258923 259156 259195 259081 259075 259108 259211 259105 259087 259202 258533 259117 258593 259093 259096 258713 258353 259102 258743 258683 258278 259099 259171 258893 258308 258128 259183 259133 258623 259165 259168 259090 259013 259204 259153 259145 259139 258263 258413 259180 259084 259174 258368 259073 258338 259162 258953 258863 258443 258833 259111 257987 259151 258503 258773 258653 258563 259159 259114 259193 265873 265884 265881 265866 265885 265872 265878 265864 265890 265891 265876 265874 265886 265869 264399 264400 225834 225843 225421 225427 225839 225424 250412 250862 250682 251233 250157 251137 250382 251122 250502 251200 250892 251290 251305 251266 251264 251281 251252 251293 251275 251302 251299 251258 251296 251287 251182 251143 250016 250397 250712 250652 250982 250622 250832 251273 251278 250532 251231 250562 251209 251128 250292 251140 251104 251197 251168 250592 250922 251102 251119 251125 251116 251155 251191 251240 250742 251072 251212 251146 251162 251180 251134 251107 251215 251246 251284 250952 251185 251222 250367 251188 251206 250442 251203 250307 251174 251110 250772 251194 251042 251113 251012 250802 250337 250472 251131 251153 251224 249948 267186 249320 248840 249461 248630 248504 249758 249854 248693 249743 248756 248861 249491 249401 248735 248609 248714 248777 249920 249371 248651 249521 248819 249788 248903 248461 248588 249431 248882 248483 248672 249185 249950 248798 248525 248567 248546 256727 256496 257342 256622 257462 256580 256601 256811 256748 257759 257156 256538 257825 256853 256685 256643 257432 257891 256790 256664 257291 256517 257921 257492 257402 256454 256706 257714 257729 257372 256559 256475 256874 256769 256832 256432 291084 291085 219773 219779 219559 219704 217230 219599 219562 219622 217227 219437 219647 219464 219446 211756 211751 211705 211753 211592 163957 163838 265282 265276 265699 265698 265694 265689 107766 107767 139645 171818 171700 171822 171823 225183 219548 225347 217209 217214 217330 219652 158474 161503 161500 161638 161635 163558 163557 163980 163986 163997 163801 163847 163852 163964 163882 163885 163666 163907 161351 161303 161332 128882 161480 161577 161443 161572 161416 163798 161330 161509 161515 161442 161563 161518 161534 161433 161560 161422 163728 155784 163856 163732 163735 163933 163958 163925 163930 163927 161398 161369 161415 170305 157354 158039 157373 157334 158456 163628 157324 157352 157382 161288 157343 161243 163975 171883 123708 123709 131936 131938 163837 128878 161430 161427 163982 132097 163760 163945 163888 163886 157364 163825 163893 163851 163976 161404 132021 131958 132009 132015 265279 273845 242411 242045 242366 243229 243223 243232 242771 243211 243136 243166 243163 243217 243101 243235 243184 243262 243226 243191 243169 242801 243241 242561 242501 243203 242831 242711 242336 243154 243133 243260 242891 243238 243041 242186 242321 243071 242441 243214 243148 243011 243131 243160 260946 243197 242921 242531 242396 243145 242861 242681 242471 243139 242651 243172 243253 242591 242951 242426 242981 243251 243244 243269 243157 243220 242741 243175 243182 242621 243151 243209 243142 262108 262107 262101 267245 262164 267242 262170 267239 259304 262143 262150 260987 260966 260975 260977 261005 260996 260947 262079 259307 262171 259306 262149 259303 260957 261662 267251 251342 256422 256425 256415 248454 248451 256428 264392 264387 241977 131865 132096 132074 132085 132079 132090 132098 132066 132078 132084 132047 132072 132029 132102 132060 132027 132054 132056 131952 132011 131922 131948 131946 225302 219387 219361 219355 225175 225319 225324 225180 225287 225139 225137 225172 192652 219388 225195 225337 225203 225345 225205 225328 225340 225190 225210 225346 225211 225336 225182 225201 225198 225138 225100 225286 217400 217240 217213 217369 217234 217374 217224 217357 217216 217366 217232 217355 217239 217375 217306 217277 217148 217365 217187 217331 217167 217170 219709 219595 219761 225844 225418 225415 240480 240473 241956 241963 241961 241973 241953 241968 251435 217360 217312 217315 217127 217100 217219 184675 241817 241979 241883 241949 227701 225419 222284 222305 222242 227497 227680 227725 219515 227620 225071 225098 227619 192646 227615 225326 225331 227732 225187 225283 225184 225254 225101 225107 225301 225298 225185 225316 225325 225212 131913 132017 131954 225056 225011 219767 227623 227714 227695 192651 227693 227648 227698 249927 249939 249924 249934 249932 249944 240659 241349 241520 240785 240764 241787 240596 240932 240869 240806 240827 240533 240743 240490 241490 240701 240848 240554 241214 240911 240575 241460 240680 240617 241430 240890 240512 240638 241772 241550 241400 240722 241978 229389 132062 132023 131873 224717 224696 224990 224885 224780 224570 224654 224633 225830 226036 224675 225458 225407 224969 224822 224906 225272 225518 225548 224738 224948 224612 225608 225578 225845 224759 224864 224801 225488 224843 224591 224927 224548 217435 217432 217297 217300 224545 224546 225271 225268 211390 211417 225403 225406 225412 227650 227647 227653 227662 227599 227720 219754 219628 219736 240483 248444 241965 241960 256421 256416 248457 241959 241951 241971 241972 248450 248445 240486 248459 256430 249949 240474 240487 256429 240479 248458 259406 249931 249936 249922 249942 249930 249943 225141 217211 139802 142594 146354 146366 142578 131772 139744 139739 139738 146331 146387 142584 146361 131775 142573 131769 146373 146356 146368 142531 142605 146391 139741 142536 146334 146339 142542 142571 142529 139815 139818 139843 139907 139909 139844 131871 139750 139751 140037 140061 140049 140043 140055 140057 139993 139973 139880 140031 139919 139913 139923 139929 140021 139980 139754 139986 139885 139884 139992 139852 139893 140025 139838 139976 139917 139855 140027 139888 139998 131872 131768 134613 134602 138383 138385 134571 134600 138368 138402 131767 138360 131770 134565 138397 134634 138390 134558 131831 123804 131773 138420 134560 123798 131771 134607 123801 134621 138416 134623 138363 138395 131903 131905 131780 131779 131761 131759 131762 131758 131777 139709 139706 134614 138421 139703 134635 134572 131835 131963 131967 131843 123807 131849 131968 131838 131839 132080 131858 131847 131869 131844 123900 132022 131970 131966 132002 131971 280334 280329 280328 259379 291290 139941 139942 139937 139876 139836 139819 139822 139874 140067 139994 133439 133430 139810 140056 133460 139747 133411 133469 134543 139806 134126 139820 133421 133451 140050 139715 133441 131778 139809 140073 140033 146392 147677 142585 147680 147674 142606 142543 140032 140000 140084 131845 131776 131764 131909 132050 131914 131881 131917 131953 131867 132005 131999 132016 131993 131885 131783 132001 132086 131851 131848 115928 126636 126657 126652 126594 126631 126650 126629 126587 126589 88981 123860 123867 123864 123806 264386 139938 139816 139999 139939 139814 139934 140051 147713 139743 147773 150544 150500 147710 150563 147712 139740 150542 150502 147709 140018 140068 139982 139943 133410 132113 132046 132061 131942 139829 132028 107864 323252 323155 323060 323246 257919 257920 240488 248449 248448 313745 299234 313725 313730 257901 257893 257913 257914 257907 257902 251425 323276 323395 323309 323396 323300 323302 323305 251419 251422 275255 251676 251673 251670 259370 257898 257915 257903 257905 257910 257895 243300 273904 273909 273923 273890 273927 243301 267338 323401 323162 328160 323151 323275 323390 323270 323274 315104 305745 312850 313069 313070 323308 313044 312909 259313 235400 224536 224535 259614 259620 259598 259626 251387 251411 249036 249027 248973 245331 123720 123714 123721 249159 249290 249271 249082 249136 249079 249135 249130 249141 249270 249265 249129 249264 249030 249276 249277 249142 249147 249282 123715 116069 116114 116010 115980 116004 115975 116120 116085 116006 115943 116000 115967 115971 116063 115961 116016 116067 116112 116124 115963 116073 116118 116079 118692 118629 118671 107859 115829 118623 118686 107856 118665 118681 118618 118660 147715 139746 154353 154345 154327 154305 154310 154325 115837 154357 154354 154314 115835 115930 115889 107958 121792 116171 121804 121801 122211 121798 122220 121795 116136 116130 116148 116142 122216 122221 121787 116154 121789 115903 116144 251402 251677 249055 249148 249153 273928 251239 251238 249064 249209 249043 243361 246228 246165 243365 246159 246222 246207 251303 243364 246166 246201 259494 259482 259559 249283 259477 249288 259403 254130 254136 259621 254193 254199 254172 254178 291094 291093 243371 259590 259596 254137 259274 259644 259647 259638 259632 267254 259396 259583 243464 259393 259390 259382 256944 256998 257013 257007 116060 116080 115994 115996 116081 259633 259648 259358 259641 259373 249194 249294 249295 249044 249166 249187 249171 249300 249155 249160 249167 249020 249306 249301 249019 249302 249165 249073 249039 249307 249174 246188 246139 246145 249013 249308 246150 249315 246187 249193 249180 246144 249161 249032 248976 249018 249042 249296 249031 246151 246213 246184 246214 246193 246181 251333 251335 251332 251336 246229 251300 246208 235493 243437 243362 115902 116029 116024 116028 115905 259563 259557 259488 259565 259602 259489 259610 259545 259634 259608 259551 259586 262159 262096 262138 265914 259309 265918 257035 265896 265926 265919 265904 251337 251334 259401 265908 265899 265951 259315 257001 257132 257162 257277 257142 257003 257273 256990 257159 257020 257198 257050 256945 256947 257014 118658 118616 118679 116021 249154 249289 254125 243363 243366 254167 254188 257261 257015 257165 257131 257026 257255 257022 257025 257023 323303 323297 323212 323377 323217 323402 323360 154302 154320 147722 147777 147847 147845 147721 139749 147787 147880 147811 147814 147878 147786 147815 139842 147963 147864 147888 147992 147851 147957 147969 147951 147947 147953 147859 147998 147894 147996 148002 147855 147900 147725 147823 147809 147856 147706 147704 147821 152773 148014 148008 148021 148027 148032 148026 148020 323321 259283 243441 243615 243673 243616 243648 243540 243546 243512 243530 243552 243425 243532 243459 243684 243672 243548 243603 243678 243650 243660 243656 243542 243654 243666 243621 243516 243463 250010 249991 243679 246154 243696 243690 243374 237033 243373 243707 250014 249984 249957 243370 235494 249962 243367 243466 249977 249954 249989 250015 243499 249996 243497 243467 246194 246152 246215 257010 257137 257259 257241 257236 257100 257242 257112 257243 257101 257106 256942 257271 257161 257130 257002 257180 253302 257272 257136 257266 257126 257265 257125 257113 257248 257253 257164 257254 257124 257247 257118 257119 257235 257267 257107 257044 256989 256985 257260 115923 115906 115909 115826 115828 115825 116119 116025 116105 116138 116026 115901 116086 115916 118672 115893 123764 118630 115896 123761 123767 107865 115897 115907 115838 118693 122441 122418 122478 122453 122443 122455 122448 122460 122421 122474 122426 107862 109497 249014 249272 249072 259499 259504 259503 259374 259564 249070 251468 251470 251631 257985 257967 251396 257960 257933 254123 254186 257981 257955 251344 257928 245004 254165 257962 251338 243369 251345 251570 251478 251576 251592 251575 251471 251523 251560 251566 251586 251479 251588 251506 251348 251482 251474 251511 251487 251563 251561 251473 251574 251569 251517 251483 251432 251580 249215 251619 251625 251649 251637 249260 248971 249237 249093 249050 249238 249085 249125 249096 248974 249062 251438 251519 251503 251501 243432 235401 243429 243439 243605 251437 249214 249088 249232 249211 115972 147781 147793 148028 147800 148022 147807 147791 147790 115831 116137 115927 147944 147964 147989 148003 259383 249052 251535 251536 251321 251531 251330 251507 249190 249241 249054 249097 249258 249123 249239 249111 249114 249100 249108 249051 249118 249124 249250 249253 249116 249095 249249 249259 249284 248984 243428 251518 249011 216563 251441 251446 251443 147971 115834 148038 148044 147908 147970 147910 147895 116102 116104 251399 251408 147896 148016 235392 246196 235395 246217 243536 243442 243445 245063 245054 245035 245720 245033 245045 245024 245015 245005 251309 251430 251423 251645 251341 251678 251404 251655 251414 251403 251661 243372 251667 251528 249199 249196 249244 251410 251400 251644 148040 148015 148034 147913 147909 147965 147905 147912 147914 148055 251567 251587 116160 115931 123800 123934 123943 123996 123796 92067 123902 92048 123942 124095 124034 124107 123894 123878 123913 123967 130389 123901 92229 124079 124114 92093 92166 124089 92062 91922 124056 92087 92224 92205 92050 124119 92207 126663 124044 92235 92199 92160 123975 92017 123951 123977 130441 130411 92168 130412 92059 124050 91921 92099 115830 115833 130440 123997 123896 123910 130432 130414 130427 123808 130397 130426 130431 123965 126600 124108 124101 123946 124038 124085 92097 123797 124001 91924 130445 130424 130419 130401 126642 123932 123802 130449 124113 123874 115827 124040 124083 92103 92154 130407 92058 91918 123987 130408 123971 123793 124091 123938 130444 123908 123981 123812 123799 130392 148039 148009 148033 154339 147890 147827 148004 154321 152778 147884 152781 112873 152729 152739 147701 112919 147703 152757 152752 147700 152731 112877 140044 140069 140045 259609 259439 259441 259381 259616 259585 257278 257145 257279 257151 257286 254116 254159 254121 254110 254158 254115 259474 259472 259408 257200 257069 257096 257067 259577 259582 259579 259628 259622 259502 259552 254185 254122 254156 254184 254152 254155 254164 254163 257230 257095 257094 257071 257220 257079 251343 262094 262157 262136 225409 225413 225416 249979 235398 243438 243452 243479 243668 243507 243443 243644 259271 254179 254200 259268 142592 139742 134628 142599 115939 115925 115841 246192 246185 216564 216565 248969 248924 116012 116143 109517 110213 109547 109498 110630 109538 122479 109528 109526 109556 109508 259367 251340 265938 265934 265956 265939 265947 265948 265915 265931 265921 265952 265933 259405 251436 259380 259409 259615 259414 259453 259454 259412 259417 259450 259301 259458 259319 259421 259449 259420 259292 259316 259385 259375 259312 259394 259371 259597 265957 224534 243273 257089 257082 257066 256984 257186 257042 257229 257068 257085 257224 257212 257087 257221 256982 256955 257215 257074 251626 251612 251593 251532 251627 323320 323378 251412 251434 251650 241776 241781 241785 241786 116030 259201 259200 241363 241360 241369 241366 257170 257167 241357 241355 154104 153676 153682 153688 153685 153671 154105 257231 257138 256895 216559 257986 249181 246155 246218 246197 249316 251413 249319 249184 251533 249229 257925 243465 251409 257948 257950 251651 249098 251416 249200 249103 249188 251643 153679 153673 154095 154100 251449 251621 251450 237034 243338 237044 237749 237062 237074 237083 238166 251447 237053 237064 237092 243433 246137 249191 251297 249227 259210 259209 114420 114437 114427 114429 114423 114441 113824 114250 152786 152765 152789 152767 152788 152768 152810 144794 144817 144773 144796 144818 144815 144797 144775 267171 267172 254168 254126 254189 140062 139987 140038 152744 115750 115749 92249 92251 92252 92254 139735 104923 104906 139733 139850 139730 104927 139732 139729 283226 257290 257152 257155 224530 259541 257287 257185 257182 259478 257171 257043 257064 257209 256940 257059 259384 257158 257203 257033 257056 256991 259490 259506 259507 259558 259538 257208 259532 114417 92081 114415 92230 114425 124052 123983 259649 123809 124090 124076 123982 124109 123992 123872 124057 123805 115836 123887 243274 259445 259484 259547 259592 259387 257053 257210 243609 124000 124115 124051 123995 124031 124097 123873 123898 115929 123876 123868 123877 123880 100145 100218 321718 313737 313744 313742 321735 321716 321728 321696 321753 315435 315418 321749 315362 315407 315401 315274 315109 315113 315241 315178 315350 315168 307140 315171 315389 317935 317893 317956 315206 307131 307134 100214 99959 152750 99981 100144 100074 112894 100200 124121 124120 124126 124131 124125 124103 124058 124127 123788 88960 129758 123787 129763 88964 123791 129760 129775 88985 130187 130182 124142 129769 129766 89002 89006 129772 130191 123790 130192 126664 131732 130450 126601 126643 131735 131738 302004 299162 302019 302025 301956 301998 299158 301962 299161 283123 307097 307100 302005 307094 302026 301963 307446 307458 307428 307422 307440 307452 307364 307389 307416 307333 307453 307436 307384 307434 304958 304816 304829 305103 305098 304963 305093 304962 304988 304968 304984 304987 304952 304990 304956 304991 305092 304957 305091 304841 304828 305068 305061 305062 305080 305024 305087 305086 304944 304938 304926 305067 304933 304861 304950 304852 304945 305006 304836 304827 304811 304824 304839 304810 304833 304932 304879 304927 304951 305085 304939 305079 305074 305073 304840 305099 305104 305105 304815 304985 301128 304773 283128 283129 307409 307390 307284 307308 307371 307441 307424 307298 307447 307314 307383 307320 307377 307334 307267 307141 307265 309922 299163 309964 299160 309985 307234 307276 313747 300801 299166 313722 307135 307227 291197 124096 124102 123999 240478 240477 275151 315098 315218 315116 315089 315200 307233 315379 315374 315376 315328 315388 315355 315184 315303 315394 281861 281894 281863 275316 281880 281898 281841 281868 281873 281846 281838 281875 281899 275325 275152 291099 291100 307206 307209 307332 283155 283156 283114 283113 315065 309997 309976 315068 309962 309983 301984 301947 301936 301942 301941 304971 307235 297836 283224 283227 284909 297815 297822 297788 297803 284888 297780 297841 284860 284900 297817 285992 284918 284859 284870 284879 297805 297840 297783 297810 291164 285575 284890 275253 276919 277604 289851 289834 276947 289812 289809 289869 289844 289832 289846 289865 283214 275256 276899 276929 289817 276888 283222 278021 283193 289839 276889 276908 276938 283225 283205 276917 289870 305811 305788 305774 305793 305781 299164 299260 305751 305807 299167 305812 305786 305754 305759 305776 58711 114432 114424 57877 58012 66682 114435 114436 307231 84278 84280 84283 107779 123731 115744 119040 299262 307316 315400 313748 313733 307435 307454 307142 307378 307385 307475 307464 307303 315413 305036 305038 305046 304905 304921 304920 304913 305047 305056 317954 315281 315446 315202 315275 315296 315300 307200 307325 307329 307207 307138 307244 307310 307373 307213 307210 307448 321683 321666 321671 321663 315377 321678 315361 315301 315182 313005 312861 312893 313006 312997 312866 312853 313028 312968 312840 313000 312818 312979 313040 312820 312856 312982 312864 312692 312737 315383 309981 309982 309953 309961 309955 309952 309949 309960 321688 321661 299169 307330 307423 307201 307211 307220 307279 313783 84021 84012 107778 84281 115743 315431 315406 321670 280327 315191 315172 321675 321669 321681 321682 317933 317891 321754 315242 321076 321491 322969 321070 321079 321496 322968 321486 313087 313084 309986 313083 321067 321073 321062 321064 313076 315272 315349 315181 315177 321673 315329 315304 315343 315299 315180 315337 315419 307360 307363 315344 315338 315071 309934 305041 304848 305050 304900 304911 304996 304908 305055 304993 304894 304892 304915 304897 304851 307280 305112 304977 302010 301990 301948 302011 301982 301981 301978 301989 307270 307430 307275 307379 305026 305057 305034 304922 305035 304890 304882 313105 313096 313108 313515 314997 313520 313102 313099 307035 313091 313093 307036 314998 313525 307229 307304 307145 305069 304869 304893 304859 304771 304768 304876 304847 304997 304849 304817 313075 312952 312811 312935 313057 309912 313074 312955 312942 312956 312788 312922 312949 312948 307069 307068 309919 309956 309907 309913 309918 315006 313027 315007 312752 312868 312822 312779 313026 312819 312871 313052 312863 313007 312879 313021 312892 313012 312882 313009 312967 312891 312865 305029 305008 304885 305011 307372 309923 312886 313018 312964 312884 313017 312876 301952 304766 301994 302015 304721 300802 307106 304978 300832 300842 305113 305116 300812 301934 300851 300821 300860 304981 307118 307127 304868 305012 307238 304781 304808 299225 307240 273862 307247 307271 307268 272356 275185 307243 307315 307197 304895 305081 304770 307328 301985 307309 304964 313524 304870 307193 307417 301517 307300 307442 305097 300830 307357 23231 60289 60334 23240 60232 321495 272363 272358 267284 272357 286083 286062 286056 283219 283216 283220 286020 286077 286014 275247 286009 283217 275250 281155 281043 280957 281149 281031 281148 281077 281013 281019 281154 281160 281161 281172 281173 281178 281037 280927 281174 280928 281039 280920 280860 280902 280857 280939 281111 280911 281093 280948 281185 281190 280938 280935 280855 280954 278091 251229 278085 283401 283511 283464 283503 283395 283407 283476 283470 283458 283515 283451 283521 283371 283509 283322 283403 283354 283352 283390 283385 283387 281050 280903 278106 278112 297014 296997 297020 296870 296881 296979 296974 296955 296908 296956 296967 296905 296961 296862 296799 275348 278078 297096 296962 296973 293157 296856 296868 296844 296840 296846 297132 296991 296993 296985 297016 297126 297121 296986 296968 296845 296981 297128 283314 281051 281072 283316 283280 278043 278049 275350 286049 251230 275351 275312 283319 280858 100213 248447 235713 238194 238251 235393 238257 238236 238188 235394 235391 235390 238230 235709 235628 235536 235490 235638 235406 235632 235644 235701 235673 235650 235689 233248 233334 233029 233223 233225 233071 233090 233353 233359 233094 233088 233102 233122 233217 233213 233085 233187 233194 233200 233297 233089 233206 233285 233348 233107 233113 233205 233245 233252 233097 233188 233218 233267 233229 233340 233335 233354 233328 233224 233249 233219 233358 233341 233329 233347 233140 233078 233322 233323 233131 233211 233346 233199 233251 233100 233246 233352 233193 233360 233364 233077 235457 235721 281180 281044 280915 277215 281184 278071 281049 280914 281071 281055 281186 280904 281192 278029 281038 281026 281014 281025 281166 281167 281020 281032 280926 280966 280923 281078 281075 281074 280916 281045 281191 278035 280898 278072 281199 278023 278034 281064 281058 278028 267377 275349 283477 283529 283417 283416 283412 283298 283307 283499 283288 283510 283366 235575 235461 235683 235545 235703 235707 235677 235470 235695 286070 283321 286051 286072 283293 283228 283318 283471 283296 283300 283297 278098 278077 278065 278069 278076 278068 278097 89903 297109 297102 297108 297013 297019 296899 297035 297122 296858 296888 297017 296890 296987 299256 270078 270120 270072 270114 270141 270135 267350 251244 267509 267579 267534 267587 267561 267554 267599 267479 267372 267410 267412 273897 273892 273902 273875 65108 65129 65086 65065 65084 65150 65063 65087 65171 283397 299313 299332 299299 299309 302014 301993 299264 296880 299457 299441 299475 299412 299438 299434 299406 294027 299337 299333 299400 293985 291195 292830 299418 297134 297133 299349 299463 299263 299329 294054 294033 291190 299170 299481 299296 291188 293991 294048 299440 299258 299432 299304 299294 299453 299451 299387 299437 297000 299414 299469 299445 299327 299129 293992 296937 294055 299126 299470 299123 299476 294034 283495 283292 286052 283294 283402 283460 283284 283358 286007 283517 278081 283229 283232 283355 283498 283492 283445 283490 283396 283363 278102 296800 296797 299173 299226 291198 291263 299419 299229 283327 283325 248443 283330 106458 283367 283534 283541 283545 283540 283527 283478 283362 283472 283357 281009 281121 280969 280977 281122 281113 280982 281156 280956 280934 280946 280936 281144 281084 280963 280980 281123 283535 280979 281168 281000 281002 281125 281134 281137 280998 281142 281099 280984 264978 264915 264981 267180 267528 267522 267516 267465 267448 267421 267429 267563 267548 283320 281143 281133 280995 281008 280981 280992 280897 281007 296924 297063 297064 296911 297055 296914 296922 297086 297058 296951 280868 280987 281080 280895 281128 281083 281098 283415 267511 267420 281116 59941 59940 65048 57105 65069 107931 57084 57087 57108 108025 108110 107935 107925 107952 108134 107922 107959 108171 108165 108115 108059 267376 267286 270142 275216 275213 270121 270079 275210 243267 291187 108053 108058 110658 110647 110710 107857 107858 110715 110721 110701 115796 108177 114482 114470 114507 114484 108172 107960 107918 108147 107956 108001 108035 108137 108039 107971 108092 107968 101526 107867 108173 76073 270130 270067 267277 270109 267274 259308 270107 270128 270065 265071 265083 265206 265077 265024 265169 265214 265207 264972 264960 264984 265237 264985 265133 265132 265238 265107 264955 265236 264997 265224 265135 265232 265090 264986 265097 265230 265101 265004 265243 265248 265108 265109 265006 267508 267505 267356 267568 267342 259314 291152 291158 291155 286021 286084 286063 272986 275321 283562 273172 283333 273029 273036 278113 272995 273189 283184 283187 278050 278092 281203 281065 280808 281200 273043 273055 273048 283181 108179 108178 108184 107831 102242 101585 101555 102659 101567 108200 108088 278039 283287 280853 294018 297067 294007 299358 299171 294011 291254 294040 294010 294019 294039 283523 283547 283546 283551 283528 283539 283421 283533 283496 267380 108033 107854 108023 110687 108114 110694 107992 108160 108050 107860 114472 114477 108054 115793 101527 114508 107954 114447 114455 108149 108154 108080 114442 101546 110659 101557 101576 107926 108166 107945 107934 108029 114503 115790 101537 110722 114450 107863 99891 108108 110652 108189 108104 110700 108102 107870 108041 110708 108185 108103 108116 99987 108057 108009 108055 108167 107938 108159 107936 107930 108183 108143 110645 108000 110689 107855 108096 99894 108148 107932 108153 107866 114489 107990 108004 108045 108109 108089 108141 108086 267592 265231 267573 265072 264969 265212 273870 273867 265136 267287 243259 259311 265151 264973 267379 265225 265015 265102 265218 264956 267443 267598 264918 267351 265095 259407 267358 265129 267374 267290 259305 265078 265213 265096 267591 267604 264974 267530 267445 265084 243268 267425 265021 267280 243258 267345 267275 265242 267352 267529 267585 261273 267586 267278 267603 267453 267283 265103 267459 267567 265089 267597 267609 265219 267536 296878 297026 297098 296898 297040 100025 100166 100121 100029 106278 105859 105850 105853 105845 106279 106269 285186 288882 288828 288891 288894 288984 288991 288985 289082 289125 288996 288934 289120 289115 288990 289119 288937 289126 288897 288928 289003 289002 288997 288917 288919 289008 288910 289131 289143 289137 289138 289064 289132 288826 288925 100223 100220 100225 288829 289014 288898 289145 289009 289144 289093 288940 289127 288951 291504 291486 291492 291498 291480 291505 291429 291447 291443 291510 291372 291378 291366 291474 291441 291435 291342 291499 291482 283283 289155 289163 291193 291196 291358 291356 291361 291292 291285 283334 283391 283420 283331 281068 296921 100222 107852 107962 75882 75883 291383 289026 288874 291289 288886 289150 288899 289015 296919 297116 297090 297091 296853 296980 297115 297120 296802 296857 297053 297127 296865 297114 297103 297097 296896 296992 299477 299222 299159 301951 299174 299393 299413 296750 296795 299147 264390 264391 299156 297141 297006 291291 299235 294014 293976 293965 293971 294013 293970 293977 291189 291192 299238 299239 299361 299357 299362 299242 299249 299471 299230 299240 299396 299354 299452 299236 299359 299300 299267 299305 264389 264385 299272 299269 299308 297076 296877 297065 297070 296944 297079 297025 296923 296934 296942 296949 296926 296929 296940 296839 297041 297022 297110 297075 108161 100189 100069 100184 93575 93605 99899 93596 100001 99997 100030 94271 100229 93614 100058 99860 106471 93584 99991 99871 99881 99994 289046 289020 289045 289048 289157 289042 289021 288885 288875 291199 291516 288887 289162 291325 291323 291374 286048 289170 286043 289156 288873 288869 289151 289049 288831 286047 285994 286042 286000 285999 286005 286006 289022 289035 289029 289043 289149 289161 289016 289010 297085 296950 296837 297010 302012 297145 301949 294023 297142 301991 297007 273027 273183 273008 272889 273184 273049 273154 273061 272955 272952 273190 273054 272931 273042 272949 272886 272940 273177 273060 273140 273066 273178 272977 273196 273122 275556 275568 275557 275432 273073 259215 259216 278036 278099 273228 270100 273215 273213 272956 273068 273207 273106 273214 273203 273202 272957 273201 273107 273208 273067 275550 273219 275493 275436 275532 275538 275499 275487 275424 278080 278038 278101 272944 273079 273103 273078 273080 275157 283459 283453 283444 283447 82600 219749 99868 107965 107839 105025 82623 105021 82571 112996 82566 120956 107842 99878 99874 99995 99880 99877 99875 65093 65097 57126 57129 65090 65100 73061 65105 65107 286069 286040 286068 286036 286039 289092 289055 288980 288948 288927 288905 288907 288943 289069 289087 288953 289084 291481 291269 291255 291388 291467 291265 291259 291448 291258 291387 291500 291296 291337 288955 288978 299339 299273 299338 283450 259242 275158 305125 299489 299395 299447 305120 299363 293963 305549 292861 305554 307027 299408 292880 305544 299487 299482 299392 299389 292889 299402 305553 299488 305122 299504 305137 305134 292831 299420 307026 299135 305131 299493 292841 299459 292859 292850 305128 299483 293546 294044 292871 299345 296876 299343 296869 297037 275449 273197 273171 273013 273037 273021 273031 273162 273166 273163 275525 275495 275392 275479 272984 275473 275476 275574 275580 275552 275551 275533 275521 275524 275519 275534 275576 275569 76277 76175 76174 76276 76294 76300 76231 76301 76205 76295 76232 76250 267187 267181 256418 291293 291338 291200 291431 291442 294041 291264 291268 291271 291362 291392 291511 291493 294020 291386 294022 291512 283218 291422 293980 286073 283221 291430 291506 293978 291373 291267 294043 291278 291251 291391 259243 299401 283419 280972 281095 281179 267346 267365 267512 267413 267416 267415 267503 267461 275544 275396 275506 275575 275505 275489 275400 275501 275562 275540 275480 269633 268946 268976 267282 268967 267378 275251 275322 275343 275359 270052 270101 270050 268937 268958 268918 275309 275313 267276 275246 268928 268917 275257 270064 275419 275383 275381 275414 275416 275245 275248 275249 270106 270127 270094 270097 273101 270058 270057 273221 273084 270063 273093 272933 273220 272932 270098 270105 270126 267341 275317 267518 267391 267523 267574 267581 267354 251245 267620 81050 81092 73034 81047 73076 65089 65047 65068 73121 88984 89005 73057 81005 81113 73142 73079 81026 73036 73100 81007 81071 81028 81029 73055 73078 73058 81049 107851 107966 275336 275323 275327 275446 275558 275445 275441 275254 291287 289070 288979 288906 289108 289139 288966 288969 289105 288952 288909 289096 289114 288868 289094 289113 288973 289104 288971 288963 288950 291522 291533 275539 275431 275395 272897 272924 275354 240476 275356 289174 289171 291421 267455 81031 115819 115822 115937 115817 81035 115820 81014 115816 273010 273024 273152 272964 272967 273209 273074 272945 273104 273100 272926 273157 273112 273109 273016 275258 273185 272975 272887 272884 272985 275329 275500 275347 275448 275444 275391 272963 272965 273113 273011 273150 273038 272998 273142 273151 273173 273006 272992 273009 272927 275420 273145 273001 273128 291424 291469 291416 291425 291418 288824 288779 291298 291301 291334 291203 265274 262139 262129 265244 262093 262134 267392 267562 267605 267553 262130 265130 262156 265113 264962 262081 265122 267517 267355 265249 265257 262127 262155 262086 264961 262126 262092 262087 267502 267550 267449 267569 267593 262135 265116 262123 265250 265142 264913 265040 265180 265030 267478 267473 265174 80989 80993 81010 267213 286010 267214 275591 270110 270131 273094 273232 273229 270068 240472 273097 273127 273124 275564 272837 275326 275261 275345 275243 275234 275527 275483 275387 275494 275528 267279 268948 275563 275488 272968 273072 275222 267285 275430 272943 273195 269244 273087 23502 23248 23251 23246 23216 23505 23499 23254 23486 23490 23492 23496 23485 23466 23312 23174 23297 23411 23409 23403 23473 23302 23335 23352 23417 23462 23269 23399 23340 23278 23330 23177 23484 23478 23460 23299 23441 23307 23450 23396 23308 23454 23261 23159 23472 23491 23267 23507 23366 23423 23272 23316 23421 23332 23415 23479 23341 23149 23456 23444 23346 75981 27084 27077 27072 23405 23146 84009 23468 84079 83953 84025 84032 84043 84055 84088 84041 77614 77624 77642 77672 83918 78746 77633 77644 77663 78329 77654 267477 265058 265191 265200 291333 297573 297582 297160 291449 291329 291470 297157 297163 291494 297154 289036 291368 291476 297578 291436 291304 291305 297149 297151 297166 291517 256414 291487 289066 289039 297583 291328 291326 84022 289099 288958 288866 288839 256420 256419 291185 291176 23348 23275 23448 27913 28152 27910 27902 28148 27904 28143 27907 51997 57136 57092 57134 57115 57116 57137 57200 57179 57113 57158 57094 65848 65983 65851 65986 291415 289051 289054 83954 84259 84253 84264 84240 84246 84252 84236 84258 84052 84049 83939 83929 84254 84146 84221 84266 84272 84013 83950 84265 84023 90514 90504 90507 90524 84019 84202 84137 84142 83926 83933 33540 33545 33552 29378 29348 29558 28064 29570 28250 29318 29018 29506 29527 28553 29540 29519 28139 29288 28412 29500 28778 28898 28928 29503 29525 29198 28184 29533 28154 28868 27899 28808 29513 28733 28316 28988 29530 28703 28958 29608 265067 264992 265153 265156 265179 265027 267474 267470 267535 267475 265038 264994 265171 265202 267263 267272 44003 43997 43918 43904 43334 43784 43484 43991 43930 43514 43274 42818 43544 43214 43364 43985 43958 43604 44008 44014 43874 43244 43754 43634 43394 43906 43454 43975 43424 43952 43094 43921 43924 42959 43966 43972 43909 43946 43694 43139 43927 43969 43304 43574 43814 43169 43978 43199 43912 43844 43664 43724 43915 43933 43940 43964 43109 43184 43990 50045 50216 50186 50246 50468 50096 50156 50483 50126 46891 52022 52025 52028 46954 46933 84190 84241 84248 84127 84047 84144 84145 84196 90510 90516 90522 90511 84176 83951 84116 84059 84197 84087 84126 84276 84270 84271 84017 84203 84096 84224 84122 84230 84083 84120 84046 84183 84189 84132 84201 84234 84112 84110 76074 77613 84091 84005 90502 84179 84018 51976 51992 51982 307412 307391 307418 307367 307459 307366 307429 27974 29546 28838 29408 29168 50740 17152 42817 34888 24757 29600 29594 27895 29597 24799 24820 27763 31267 36101 36095 31225 36098 31288 100088 100207 293981 291390 272882 296810 291191 297084 235684 235624 235669 235666 235619 235627 235634 235531 235540 235621 235532 235537 235507 262097 235466 235499 235504 235501 237360 241073 241005 241300 241159 241165 241164 241319 241170 241000 241043 241293 241102 241065 241223 241294 241071 241158 241299 241188 241068 241184 241056 241002 241042 241323 17029 28411 17929 17113 17093 17032 29438 17110 29498 29552 93566 17053 28763 29138 17107 27760 29108 27944 29564 83853 17150 29258 28094 105847 105862 28034 28346 28004 17051 29228 27898 106274 94688 29468 29048 29078 105856 28793 93586 28688 83854 93556 49397 49481 49586 49502 49460 49355 49523 49565 49628 49376 49910 49250 49544 49418 49271 49607 49292 49313 49439 49334 90529 84287 84235 84247 84128 84228 84195 84185 84140 90512 84039 84077 84260 90528 83957 90519 90523 84141 42560 42722 42545 42233 42173 42656 42122 42203 42590 42293 42752 42323 42263 41986 41983 42121 42118 265181 265053 265157 265037 265056 265039 264911 264866 267385 265261 267424 267383 265123 265258 267388 265126 262160 235708 235646 235541 235564 235508 235388 235379 68242 68305 68203 68260 267454 232505 232501 264916 41663 41369 41432 41537 41987 41453 41474 41302 41705 41642 41390 41411 41348 41327 41495 41579 41305 41600 41558 41684 41621 41516 267575 265014 265035 267446 34481 34541 34631 34616 34373 34511 49105 57077 49151 84053 83938 49126 49134 49130 49109 49116 49158 57119 57098 83935 83936 49113 83932 49155 49147 49137 60013 68311 68140 68168 68137 68294 68170 68255 68135 68317 74390 74385 73961 73969 74394 73975 73963 73978 73972 74395 73966 67984 67997 67987 68099 68015 68345 29569 42127 42558 42142 42130 42125 42554 42549 42136 42139 42133 42559 49228 49225 33543 33544 27076 27075 33662 33914 33578 33725 33553 33683 235618 235664 235719 235595 235725 235625 235569 235581 235702 235715 235529 235714 235672 265186 27488 27383 27404 27173 27467 27152 27299 27764 27320 27110 27362 27194 36052 27131 27215 36058 27088 33893 33641 27341 27257 34451 33809 33767 33556 27278 27446 57880 33872 27425 27236 27085 58015 33956 33851 34421 33830 34238 33746 33935 34793 33620 34661 33704 34571 33788 51970 33599 51955 91980 83952 92108 92192 92206 91988 84045 98499 91925 98490 98478 98495 92231 92167 92147 98473 91984 91994 92116 92018 265050 265195 265138 264926 264953 265141 265201 265183 265013 265066 265226 264993 265045 265042 265192 265065 264996 265060 132073 150565 144768 136823 96956 104902 144789 104948 136836 136868 128873 136825 152746 144839 96977 152760 128852 136826 131879 96952 152736 152771 112898 115802 115936 115933 115813 115823 92213 98494 91993 92091 92218 91990 92111 98493 92172 98485 92113 92026 91928 92173 98481 98487 92217 92223 92010 92112 98482 91996 92003 91989 92211 92083 92029 92012 92054 139849 139846 128934 147697 147817 147820 144864 128922 152851 136905 128935 144877 147694 136909 152847 139726 105012 128927 105013 136898 144880 112984 136893 136906 128938 147707 152848 144869 144876 139736 139723 152835 131755 312961 233032 235736 235559 235561 235528 235526 233308 233307 233172 233169 233166 233176 233317 233316 233076 233031 233034 235402 233155 131875 97042 131765 97041 131878 131752 230245 235403 238246 238225 238223 227424 238183 238244 238181 227421 233110 233342 233153 241329 241325 241220 241059 241324 241219 241190 241194 241061 241060 241189 241256 241111 241216 241196 241217 241335 238174 241048 241337 241049 241331 238217 241200 241209 241330 241003 238216 241305 241203 238179 238173 241336 241195 238168 241047 241344 241306 241312 241311 241176 241182 241317 241177 241171 241084 241072 241318 241183 241222 243640 243508 243649 243541 243589 243476 243635 243637 243535 241093 241091 241238 233181 233129 233112 233182 233299 233109 233311 233158 233174 230242 230251 233373 230272 230271 230243 230239 230250 242025 242006 242020 241991 227427 241986 235458 235396 242008 242043 227430 242013 241983 242039 242018 235454 235670 235468 235496 233287 233296 233151 233183 233318 233143 123904 89071 123794 123907 123784 89070 81100 115810 81099 235645 233232 230203 230208 230255 230202 230246 233212 233238 233365 235495 233366 233101 230209 230213 230197 230276 241013 241040 241229 241289 241267 240953 240998 241240 241078 241258 241125 241154 241081 241117 92219 98483 208594 238180 235720 235652 233042 233069 233254 233161 233257 74627 74622 74652 74600 74592 74617 74634 74629 74615 74595 74648 112983 152840 123781 74653 107846 107848 107845 107849 73022 73060 73018 73043 73064 73039 235562 235576 235633 235640 235570 58452 58443 58036 58027 58033 58030 58448 91909 92014 92225 92195 92150 83949 92156 92201 34378 34376 233302 235651 29627 29743 29735 29784 29946 29960 29871 29767 29891 29885 29803 29834 29953 29816 29952 29645 29740 29918 29617 29800 29883 29873 29864 29916 29958 29975 29642 29809 29765 29808 29924 29798 29820 29959 29941 29934 29776 29912 29729 29877 29928 29775 29964 29746 29940 29909 29922 29879 29814 29867 29930 29889 29614 29770 29936 233072 233330 233137 233154 233130 232982 233027 233120 29737 29780 29954 29947 52337 52292 52364 52375 52163 52362 52392 52313 52352 52248 52262 52358 52226 52193 52380 52344 52195 52299 52381 52305 52386 52368 52228 52374 52317 52369 52387 52356 52307 52388 52382 85595 86717 85615 85625 85643 91889 85604 86300 85634 85585 85613 92117 52403 52363 52318 92174 233273 57186 57187 57080 57122 57101 58024 58021 58019 91906 91904 91903 92024 91900 91910 91897 92023 92020 92247 241080 241244 241124 241137 241129 241282 241099 241140 57076 57097 57118 92237 52261 52311 52070 52350 52319 52045 52232 52346 52207 52171 52242 52203 52238 52340 52073 52055 52212 52165 52236 52301 52168 52157 52295 52199 52174 52204 58453 44409 44265 44415 44291 44379 44334 44261 44277 44397 44421 44403 44381 44393 44340 44373 44321 44366 44416 44348 44391 44398 44328 44324 44346 44369 44385 44336 44271 44410 44273 44267 44233 44232 44227 44411 44255 44224 44432 44342 44200 44102 44330 44197 44074 44194 44203 44222 44404 44241 44237 44099 44417 44257 44186 44375 44192 44084 44071 98500 92241 92258 92236 92243 92242 98475 92115 91976 91907 233258 241083 241279 241288 241147 241152 241126 241313 235565 241228 241225 208592 241132 241273 243680 243596 243565 243560 243564 243604 235593 235685 243359 243377 243461 243350 243472 243475 243470 243622 243595 243592 243643 243655 243562 243674 243617 243547 243557 243641 243561 243667 233269 233146 233290 233272 243511 241278 241268 241270 241143 241145 241153 241287 233295 235594 233156 243329 243326 238258 238237 133 169 281 168 279 343 273 209 330 201 130 320 336 122 267 235492 160 360 128 354 191 29 158 235591 235590 235586 200617 356 287 235399 29557 269 326 355 177 139 263 348 332 193 312 172 371 14 203 4 207 342 318 308 285 197 314 213 337 164 324 305 136 32 1 41293 41292 28153 34237 34369 34372 34630 34234 52042 49909 49906 50041 50044 29545 49229 49208 49187 49142 49144 49163 49121 49123 49165 49145 49166 229073 238195 233374 243332 233242 229112 229091 233377 229778 235367 233239 235679 229121 235571 235678 229063 230195 242044 229082 235471 235474 235472 235481 235488 235462 229093 229103 235467 227523 229062 235589 243599 243478 243611 243502 16617 20652 20664 20657 16608 16609 44392 44347 44290 21475 21472 21713 21708 21717 21478 21470 10145 7157 16610 7152 13311 16605 13304 10152 10140 7164 13299 29551 140063 7155 7156 238221 243593 238213 243587 238247 238226 238243 238184 208588 238214 241345 241213 241266 241261 241127 241243 241122 241301 241108 241101 241114 238222 238242 238210 241210 208593 241348 179837 155956 155954 155962 155797 155909 155959 156005 251537 187736 243623 203807 20655 20656 10143 10144 14384 12131 20795 15041 23093 8585 18107 9238 11201 11129 22883 19054 8405 15631 15601 21026 23003 9250 10199 18662 15590 10544 8705 10262 22553 11741 16643 19072 6302 9247 11651 18632 9223 9065 17009 11801 8915 14189 13703 15101 14861 22343 14636 13315 14249 22358 22373 14471 15596 22403 15613 6313 20690 20879 11009 15161 18812 18242 22433 23068 18962 15616 21539 12397 23071 23065 10304 18992 10949 22643 10241 10814 19102 8128 16958 12101 8114 8525 15461 12041 20665 9220 11831 23137 13421 11666 22823 10430 18287 19111 15598 17693 19067 18932 19052 14921 8270 12409 23107 17618 14279 11951 16748 10529 11225 10493 21629 16853 14495 10178 14219 18392 23110 9241 17528 16790 15371 23128 6328 16727 10979 9095 23077 22763 21005 19079 19108 11039 10451 11981 15431 15607 12071 8855 19087 17324 6325 12394 12407 13526 15583 23131 15629 15625 6316 14411 8480 15311 8945 15131 21599 15281 10156 23125 15191 14981 9235 15619 21509 12251 13463 9005 13358 12221 12161 12385 11861 11891 15221 14786 15628 22583 18257 22613 21881 6319 8795 11711 18332 16618 23080 20942 11261 20711 15011 8450 23104 21911 12400 16811 17738 9232 10388 16621 13673 8615 13688 15341 20984 22703 12406 21815 13589 8885 9226 15401 12391 10220 15622 11189 20668 18452 9215 22118 14018 16979 21704 11636 8765 14435 20732 12371 9217 8825 17708 21569 6304 11174 11606 14891 12403 21467 19057 10367 14816 14339 18602 13568 19114 17900 19090 12281 6307 12388 9229 19096 23063 10346 15521 10283 9185 23138 13547 22268 10409 21659 21749 11249 18347 16874 18512 23033 14876 18572 11426 19112 17588 19073 12011 14153 16916 13610 13505 15491 18902 15604 18842 18362 6310 9125 12311 8975 11285 18872 16895 22253 12379 10325 13442 14846 20900 11069 9155 29603 22523 14459 22793 16685 18542 16706 20774 14399 18752 13400 10514 8109 19093 8645 17870 22853 11576 14951 12376 18422 13631 21056 12191 21332 12341 20816 22943 23105 17966 10472 12382 21977 14309 8555 17804 8420 15610 20858 23074 19105 11771 23113 15251 23116 17459 9244 11921 15071 18782 22733 11681 18722 15551 21719 13379 23140 14771 15581 20921 8735 22493 16769 8510 13484 22973 16832 6322 20753 22328 13652 23119 18482 20963 17648 18317 10153 22298 13337 23099 8675 21041 6331 19081 9248 23122 19060 23134 13312 17558 22463 16994 20837 11561 16937 23087 22673 19022 11099 17498 22913 12373 19084 16664 9035 18692 19099 8495 8126 23143 15595 13303 13302 36391 36334 36436 286 229 260 331 29833 350 29890 116075 116126 171851 171904 187847 187682 163895 163940 163832 68275 68230 116125 68273 68233 147988 84175 163894 219691 219682 219589 179735 179739 219679 179711 219676 323213 323315 323354 323333 163913 163951 163900 163981 259531 259537 259534 259591 259540 259546 275474 203756 203647 203652 259444 299446 299386 259442 315239 219587 219620 283454 283505 283465 283516 251608 251620 251611 251606 283493 299344 307405 307403 307408 307358 219677 219685 219724 219727 219722 307246 219730 315382 227591 227696 315331 315334 307406 307361 307355 227560 227558 227656 195674 219725 195652 267551 195769 195766 259483 259475 195764 211720 211711 211708 275386 275384 323359 171899 267500 267524 267506 235577 203624 203743 203648 203686 203687 203789 203755 203623 235639 235622 235616 259535 259553 259529 275471 275477 163879 275482 275425 275522 275546 275362 275426 267557 267556 179734 179710 267580 323299 323345 323347 323350 171928 171859 323210 179836 251594 251662 251663 251656 251657 251615 251614 251638 251639 179824 179827 179732 179821 259627 259508 179867 179872 179869 179822 179875 323314 203678 243590 315332 315326 251558 251582 251581 251564 251513 243503 243500 251512 251633 251632 251609 267460 163823 163831 163939 307460 203785 203782 203780 203794 211715 203735 203645 203732 203738 211709 211726 211703 211714 211706 187790 187796 187744 187895 187745 187852 187838 187843 187840 291367 291359 291461 291463 291475 291466 155860 227707 155981 155852 227645 227651 227669 307411 155908 155968 243692 243691 139972 243610 100190 100183 100132 92161 92212 291437 291419 291413 283466 283448 283442 211754 211777 211778 299390 299384 299407 323353 323188 323189 148010 147986 140015 140039 140017 283504 291488 291464 211760 211759 291518 211801 211802 211682 219674 219698 219697 219680 203812 132092 132091 131972 132067 132068 132044 155911 155923 179843 179819 179825 163952 163928 124075 124073 275417 275545 283522 92191 171872 171848 171871 171854 163901 163877 163883 84242 155957 84218 84220 275363 275507 203744 100162 275450 275570 203692 147943 195722 195721 195836 195812 195761 195785 195784 195767 124030 124028 124045 124046 124022 147935 147958 147941 147959 243566 243686 243685 139988 139964 139970 243661 243662 243638 235697 235696 156010 155942 155918 155917 179830 23365 84191 84173 84167 179881 179882 171808 92189 92138 92144 92162 92146 179870 179893 179894 203806 203783 179899 68227 68288 68287 76087 76271 235667 235690 235691 299435 299458 100160 100133 100117 100115 100109 116051 116074 116057 116059 259604 299464 259580 259603 299465 187846 187865 187864 187841 299275 299276 108155 108133 108131 52244 139925 139924 44387 92098 23467 23422 116087 108098 107996 323348 323371 323372 36431 108040 116108 219634 195817 187681 36380 116132 116131 187871 187870 243598 230 349 116011 116156 116155 29935 116150 116149 275 19066 7253 8018 7973 7442 21463 21331 7943 7526 7541 7556 7715 23129 7793 19078 7232 7211 19207 23086 23132 7165 19186 7168 7190 15703 6308 15661 7883 11284 7913 11265 17323 21718 11270 21466 15724 19106 14494 19103 14492 14480 17455 7295 7274 7316 7337 7358 7379 7400 7421 7463 7853 19109 7823 23078 19058 19144 23092 23098 17458 11282 21328 7505 7484 8129 21976 17965 23135 14475 8105 8093 8069 17320 8045 8033 0
188.29/188.39
188.29/188.39 c Core has size 17319
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495744-1307806549/watcher-3495744-1307806549 -o /tmp/evaluation-result-3495744-1307806549/solver-3495744-1307806549 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495744-1307806549.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 1.56 5/179 21837
/proc/meminfo: memFree=31515460/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=23252 CPUtime=0 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 1453 0 0 0 0 0 0 0 22 0 1 0 892257534 23810048 1392 33554432000 4194304 4365125 140733915935168 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 5813 1401 246 42 0 2961 0
[startup+0.097035 s]
/proc/loadavg: 0.92 1.00 1.56 5/179 21837
/proc/meminfo: memFree=31515460/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=40432 CPUtime=0.09 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 11492 0 0 0 8 1 0 0 22 0 1 0 892257534 41402368 6162 33554432000 4194304 4365125 140733915935168 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 10108 6164 254 42 0 7256 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40432
[startup+0.101028 s]
/proc/loadavg: 0.92 1.00 1.56 5/179 21837
/proc/meminfo: memFree=31515460/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=40432 CPUtime=0.09 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 11623 0 0 0 8 1 0 0 22 0 1 0 892257534 41402368 6265 33554432000 4194304 4365125 140733915935168 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 10108 6266 254 42 0 7256 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40432
[startup+0.300999 s]
/proc/loadavg: 0.92 1.00 1.56 5/179 21837
/proc/meminfo: memFree=31515460/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=51044 CPUtime=0.29 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 17842 0 0 0 27 2 0 0 23 0 1 0 892257534 52269056 7887 33554432000 4194304 4365125 140733915935168 18446744073709551615 4272031 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 12761 7887 261 42 0 9909 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51044
[startup+0.70093 s]
/proc/loadavg: 0.92 1.00 1.56 5/179 21837
/proc/meminfo: memFree=31515460/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=51044 CPUtime=0.69 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 17954 0 0 0 67 2 0 0 25 0 1 0 892257534 52269056 7994 33554432000 4194304 4365125 140733915935168 18446744073709551615 4257495 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 12761 7994 262 42 0 9909 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51044
[startup+1.50079 s]
/proc/loadavg: 0.92 1.00 1.56 5/190 21862
/proc/meminfo: memFree=31341564/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=51044 CPUtime=1.49 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 18061 0 0 0 147 2 0 0 25 0 1 0 892257534 52269056 8071 33554432000 4194304 4365125 140733915935168 18446744073709551615 4271958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 12761 8071 262 42 0 9909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51044
[startup+3.10051 s]
/proc/loadavg: 0.92 1.00 1.56 5/190 21862
/proc/meminfo: memFree=31287116/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=56876 CPUtime=3.09 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 19315 0 0 0 307 2 0 0 25 0 1 0 892257534 58241024 9201 33554432000 4194304 4365125 140733915935168 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 14219 9201 262 42 0 11367 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56876
[startup+6.30094 s]
/proc/loadavg: 1.33 1.09 1.58 5/190 21862
/proc/meminfo: memFree=31112920/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=65644 CPUtime=6.29 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 22278 0 0 0 626 3 0 0 25 0 1 0 892257534 67219456 11430 33554432000 4194304 4365125 140733915935168 18446744073709551615 4258260 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 16411 11430 262 42 0 13559 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65644
[startup+12.7008 s]
/proc/loadavg: 1.54 1.13 1.60 5/190 21863
/proc/meminfo: memFree=30646348/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=81120 CPUtime=12.69 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 33753 0 0 0 1265 4 0 0 25 0 1 0 892257534 83066880 14708 33554432000 4194304 4365125 140733915935168 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 20280 14708 262 42 0 17428 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81120
[startup+25.5005 s]
/proc/loadavg: 2.08 1.27 1.63 5/190 21863
/proc/meminfo: memFree=30020356/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=25.49 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 2544 5 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4272662 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94232
[startup+51.101 s]
/proc/loadavg: 2.74 1.49 1.70 5/190 21864
/proc/meminfo: memFree=29606136/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=51.1 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 5104 6 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4272195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 94232
[startup+102.307 s]
/proc/loadavg: 3.45 1.88 1.81 5/190 21865
/proc/meminfo: memFree=29396664/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=102.3 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 10223 7 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 94232
[startup+162.3 s]
/proc/loadavg: 3.80 2.26 1.95 5/190 21867
/proc/meminfo: memFree=29326284/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=162.29 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 16220 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 94232
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 3.81 2.29 1.96 5/190 21867
/proc/meminfo: memFree=29326284/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=166.29 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 16620 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4242770 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 94232
[startup+179.1 s]
/proc/loadavg: 3.84 2.35 1.98 5/190 21867
/proc/meminfo: memFree=29326268/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=179.09 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 17900 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 94232
[startup+182.301 s]
/proc/loadavg: 3.85 2.37 1.99 5/190 21867
/proc/meminfo: memFree=29326144/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=182.29 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 18220 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4242588 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 182.29
Current children cumulated vsize (KiB) 94232
[startup+185.5 s]
/proc/loadavg: 3.86 2.40 2.00 5/190 21867
/proc/meminfo: memFree=29326128/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=185.49 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 18540 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 185.49
Current children cumulated vsize (KiB) 94232
[startup+187.101 s]
/proc/loadavg: 3.86 2.40 2.00 5/190 21867
/proc/meminfo: memFree=29326128/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=187.09 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 18700 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 187.09
Current children cumulated vsize (KiB) 94232
[startup+187.901 s]
/proc/loadavg: 3.86 2.40 2.00 5/190 21867
/proc/meminfo: memFree=29326128/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=187.89 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 18780 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 187.89
Current children cumulated vsize (KiB) 94232
[startup+188.301 s]
/proc/loadavg: 3.86 2.40 2.00 5/190 21867
/proc/meminfo: memFree=29326128/32951124 swapFree=67052812/67111528
[pid=21837] ppid=21834 vsize=94232 CPUtime=188.29 cores=1,3
/proc/21837/stat : 21837 (MoUsSaka) R 21834 21837 20670 0 -1 4202496 43041 0 0 0 18820 9 0 0 25 0 1 0 892257534 96493568 17096 33554432000 4194304 4365125 140733915935168 18446744073709551615 4242708 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21837/statm: 23558 17096 263 42 0 20706 0
Current children cumulated CPU time (s) 188.29
Current children cumulated vsize (KiB) 94232
Child status: 20
Real time (s): 188.393
CPU time (s): 188.396
CPU user time (s): 188.293
CPU system time (s): 0.102984
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 94232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.293
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43046
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= 19
involuntary context switches= 655
runsolver used 0.290955 second user time and 0.740887 second system time
The end
Begin job on node103 at 2011-06-11 17:35:49
IDJOB=3495744
IDBENCH=82483
IDSOLVER=1989
FILE ID=node103/3495744-1307806549
RUNJOBID= node103-1307806548-21805
PBS_JOBID= 13551073
Free space on /tmp= 74048 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-nusmvtcastp2-tseitin.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495744-1307806549/watcher-3495744-1307806549 -o /tmp/evaluation-result-3495744-1307806549/solver-3495744-1307806549 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495744-1307806549.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b89aeb63aa93f7d74332e7bb38b0b94a
RANDOM SEED=1694150986
node103.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.858
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.71
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.858
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.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.77
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.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.858
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.83
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.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31517144 kB
Buffers: 300476 kB
Cached: 887352 kB
SwapCached: 22864 kB
Active: 521452 kB
Inactive: 703252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31517144 kB
SwapTotal: 67111528 kB
SwapFree: 67052812 kB
Dirty: 21940 kB
Writeback: 0 kB
AnonPages: 34052 kB
Mapped: 8556 kB
Slab: 143692 kB
PageTables: 4880 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 196096 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= 74040 MiB
End job on node103 at 2011-06-11 17:38:58