0.00/0.01	c MoUsSaka with meat
21.28/21.32	
21.28/21.32	s UNSATISFIABLE
1476.42/1476.41	c Core is minimal
1476.42/1476.41	
1476.42/1476.41	v 54314 54338 54337 54313 54454 48208 54445 54441 54440 54439 54442 54443 54446 47650 54364 54344 54346 54345 47615 47620 47618 47617 47610 47609 47614 47611 40791 40790 47624 33961 33964 33953 33955 33952 33949 33950 33960 40776 40773 40774 40775 40747 40749 40771 40772 40735 40734 40777 47619 47621 47623 47622 47612 47613 47637 47639 47642 47643 47645 47640 47641 47646 47638 47647 47644 47636 47648 47505 47484 47483 47504 47508 47625 61174 61281 61280 61272 61273 61274 61278 61198 61283 61275 61277 33946 33905 33904 33948 33956 33947 61268 61224 61225 61266 61267 61263 61265 61261 61239 61262 61264 61237 61144 61143 61168 61167 33823 33824 33848 41065 61271 61276 40792 40793 40788 33941 20304 40655 47516 34177 40889 34838 34239 34243 34146 34240 34242 34208 34041 34081 40798 40656 33942 40800 33919 40678 40654 40785 40783 33917 41038 41072 40974 41668 41071 47719 40871 41073 41070 40794 41069 40942 41007 40976 40973 40911 40975 33945 40674 40784 40677 40787 33944 40653 33943 40799 34143 33954 34144 40782 40676 40675 34145 54431 54407 54438 54394 54395 54436 54432 54433 54437 54444 54435 54434 68199 68198 61312 129494 129487 123031 136207 129473 136258 131850 129444 129598 129606 131838 129570 132197 130618 132196 132034 131723 129518 129479 129502 129591 129604 136242 129603 129828 129864 129797 129573 130006 132001 132198 129653 131722 131999 129586 131548 132195 129993 131196 130007 129994 132016 131851 132015 131852 131837 129588 129492 129498 131740 131366 129503 131381 129517 131996 129992 132017 132213 129567 129594 132002 129607 129863 129860 129493 129575 129576 129475 129482 129579 129477 136218 129610 136259 131562 116203 129597 136208 116201 129600 116001 129525 129601 131182 131198 131183 129468 115829 131364 115833 131546 115831 116105 116072 116106 116041 116103 115916 41061 33847 122839 122837 122836 102264 102256 115922 102252 102261 102253 132048 129862 129612 132211 129661 129859 129497 131836 130619 131839 131739 131725 131380 122831 122967 131564 131563 131197 132033 131549 129650 129908 129891 129892 132018 129569 129515 129589 129572 129491 129490 129474 129481 61368 61369 61367 68197 34112 34241 33951 41378 40778 134243 134226 129448 129465 136175 136144 129443 129553 134227 129524 136154 129464 129463 134242 129446 134225 116204 132322 132321 129565 115819 115818 122998 122661 122664 115927 115925 115930 123164 123078 125009 123162 125383 125493 125185 123788 125219 125491 123061 125007 124733 123063 123775 123789 124732 123176 123790 123077 125204 125008 125367 124717 125186 124366 124719 124535 123062 124368 124894 125170 123175 125217 124534 125203 124909 125171 125021 125368 124734 123076 123831 124079 123872 123870 122786 118664 118679 123969 125022 129701 129765 129732 129764 129766 122644 122663 122648 122646 123856 125479 122760 122659 124256 124353 122787 124354 122757 123968 123855 122823 122822 122645 122759 123984 115913 115921 109004 111834 122598 122599 108986 131086 131069 129486 130814 130660 130647 131071 109171 130909 131084 131085 130921 130799 130922 130908 130686 130648 130662 130797 130701 130702 130798 108999 109099 109003 109338 109373 109371 109370 109307 109372 109369 109086 116007 116008 116233 115994 116231 117040 117139 117250 117411 117425 117524 117263 117249 117138 117409 117410 117426 118079 117887 117904 115993 118179 117888 118663 118661 118662 117903 118064 118080 118078 117537 117706 118190 117720 117538 117902 117721 118538 117719 116960 116332 116945 118340 116959 116333 118177 118552 118537 118551 118358 118388 116345 116247 118389 116246 118357 118191 116346 118536 118178 118553 118649 115956 117137 118076 118069 118075 118077 129445 129549 129530 129535 129528 129533 129531 116987 116989 117002 115830 115926 116988 129593 129516 129527 134155 124908 115920 115912 115917 115918 118374 118063 118356 129587 122650 131363 123034 122782 116104 116202 117027 116168 117025 117152 125187 124549 116248 116232 115952 118342 118387 115992 117001 116946 129551 123177 129616 117704 116334 124718 123776 123818 122824 129893 124254 123832 124893 124093 136209 129552 129449 129861 129595 136257 129462 123819 130812 125188 123857 130813 129906 132047 123163 131185 123967 129476 129602 129568 117041 123777 109084 108984 108985 130661 129763 129429 122755 123033 125382 129564 122756 122662 111849 117424 117154 118648 117525 117523 115832 115814 115929 122838 129532 129566 129529 129571 129489 115820 115834 115957 117248 118355 129617 130620 129652 130005 131070 129488 129428 125478 129548 130910 130649 129584 129466 129574 129478 129480 129585 129590 115815 129467 129605 129599 129592 123817 130685 129534 129536 129608 124355 131379 117260 68196 40659 40789 38215 47855 47847 36746 38106 47851 34548 41016 47858 115966 115963 115965 61279 61166 68142 68698 61366 54531 54633 54635 54571 54634 54636 54602 115978 117251 115822 115821 117252 115826 117142 117422 117150 117259 115827 115828 117414 117423 117258 116230 117143 117149 117415 115958 115960 115967 115977 116210 115979 40786 47649 33958 33957 41058 41068 41048 41054 13453 20300 20303 13452 13427 116214 116216 124367 125366 124910 122820 123982 125492 124241 125020 124895 123983 125381 116137 116199 116200 123871 129907 124550 124536 124091 117705 116347 117026 116958 117042 117889 117536 54733 20293 20292 33844 47652 36086 36542 36082 36516 36243 36083 36513 36311 36197 36340 36568 36270 36492 36339 36338 34017 34250 36565 36649 36266 36652 47701 47902 47903 47741 47803 47806 47772 47804 47805 47868 47900 47901 47837 47899 54549 48498 61379 55328 47507 47888 47896 47869 47884 47878 47885 47891 47893 47883 47882 36567 34355 33874 33854 33855 102848 102341 102446 102444 102445 102412 116006 109177 109176 102260 102249 102250 102258 102259 102257 109179 109178 109002 109000 108988 109001 108990 108989 118068 41067 36172 36648 127413 127412 127397 127396 129345 127325 129324 129367 127395 129314 123027 120565 122515 120583 122537 120582 122484 122494 120566 120567 115911 115914 120495 123338 134153 132701 133072 132357 132687 132421 132469 129379 133834 132468 132506 133851 132406 132343 133850 133270 134138 132688 132420 132974 132405 133727 132958 129378 132470 134016 134015 132456 133741 132702 133085 130168 132493 132457 132960 133613 134053 132505 133627 132407 129388 134052 132975 134018 133835 134154 133740 133438 133628 134051 133253 133452 133436 133074 134034 134017 132422 132810 134003 132959 133614 133453 132494 133836 132492 132507 132703 133086 133629 134033 133268 132797 132973 133451 132811 133255 129427 129412 132355 133269 133849 134004 133254 133073 133739 132344 129377 133612 133437 133728 132455 132358 134002 133087 132798 132812 133726 122936 122935 122902 122934 122933 122871 123628 129679 109082 109083 109085 109274 109276 109242 109275 109273 109211 115923 109091 109094 109035 109034 109077 109078 109090 115808 115784 115783 115807 108978 108977 109093 108954 108953 109076 109075 109074 109049 109047 115838 115915 115909 115910 115854 115843 115855 115856 115842 115858 115837 115836 115857 122754 122636 122613 122637 122688 122667 115853 122749 122751 122750 122666 122668 122687 127004 126909 127173 126898 127188 127204 126897 126910 127019 127185 127021 126896 126799 127174 126798 127005 126797 127187 125592 125590 125591 127222 125744 126242 127224 126257 126607 125856 125745 127225 125675 126255 126783 125980 126143 126244 125746 126438 126243 126424 126423 125982 127308 126440 125626 125871 126782 125528 126128 125858 126623 125664 126606 125720 125663 125510 125872 127221 126439 125967 125968 125707 126256 125529 125708 125662 127223 125721 125625 125760 125627 125706 125761 126129 125576 125577 125575 125511 125639 125640 125514 125873 125719 125527 126621 125677 125981 126130 125759 125513 127323 126144 109678 132575 132574 132538 132590 132576 132550 132591 132537 132549 132589 132536 108956 108975 108976 108974 108955 115768 115769 116798 122849 116019 109968 132799 131738 132323 136197 126911 115816 122649 117151 125525 127006 126425 125857 125638 126622 124080 127203 115990 127186 127172 129550 123030 123032 123029 122660 129496 109100 109096 109095 129596 129609 126784 129583 132551 132212 131184 132049 122638 122614 129654 131724 131365 131547 130687 130923 129890 116213 130700 132686 132359 115919 115964 115959 117000 117153 118373 118192 117421 117262 118341 125218 124551 124078 118065 117261 125172 109092 109089 36744 47862 47860 47850 47864 37833 38108 37818 47846 47865 40672 33966 36733 36747 37993 36743 33970 33968 47861 37215 47867 37197 38009 38214 33967 37817 36734 38397 37994 38107 47859 37992 40814 40806 40813 40673 38121 54728 38231 38382 38383 47853 36745 47852 37816 36740 38384 37214 36818 47854 38216 40808 40811 40816 40818 40819 40657 47863 33969 40812 40807 40809 40820 40817 40810 40815 40658 47848 68294 68393 130607 130606 130605 115805 115786 115806 115804 109122 116009 116947 124244 123972 124082 124252 122657 124907 124899 124905 124906 123980 124253 123060 122651 123981 123973 124251 124245 122652 124081 36195 36268 36174 36198 36309 36653 36544 36196 36200 36199 36651 36085 36337 36650 36060 36267 36566 36569 47534 47514 47515 47630 47629 54731 54729 54732 54698 54730 54667 54452 54451 54450 54366 54367 54387 54368 54388 54386 54381 54385 54382 54384 54383 40962 40963 47779 47794 47797 40964 47783 47782 40956 47801 47780 47788 47785 40954 47776 47800 40967 47777 47786 40952 47799 40969 47792 40944 47787 54449 54409 54315 54316 54334 54335 54336 47486 47485 47506 35682 35843 36682 35663 35687 36134 43452 42224 35868 35869 42335 43309 43125 35683 33998 35844 42155 42989 42059 36347 43202 35681 36020 36294 42517 43308 42034 36683 42416 35684 36372 36456 40837 35667 42156 36159 42988 36373 35669 36659 34007 42439 41182 42138 42699 36295 35685 42493 35670 36019 35668 43489 36685 43451 36276 43515 42334 36622 41181 36158 36044 33999 36478 34006 43514 36348 42310 42874 43488 43203 36684 42205 68106 61300 61303 61310 61297 61309 61301 61299 61307 61308 61298 61306 61305 61304 67976 67974 67998 67973 67997 67994 75026 75029 75028 75027 75178 75177 75162 75184 75186 75182 75180 75179 75183 75185 75161 122658 122656 124088 123979 124090 125969 127020 126608 126145 127324 125676 74940 74853 74851 74835 74834 74838 74839 74885 74941 74928 74884 74932 81773 81666 81764 81633 81634 81684 81765 81768 82358 43124 42698 54333 54319 61501 61524 47564 47604 47605 47603 47579 47565 47608 47601 47489 47500 47503 47488 47557 47606 54331 55038 54320 54318 54330 54317 54688 54681 47499 47602 54697 54678 54696 54691 54694 54683 47607 54672 54685 54690 61506 61511 61512 54332 47577 54671 54684 54695 54689 54693 54692 54597 47600 47599 67977 67992 67979 67978 67980 67991 67989 67990 67993 75181 47538 47536 47490 47502 47558 47537 47487 47501 61507 54577 61527 61526 61516 61515 61513 61520 61522 61518 61521 61523 61517 61868 61519 81770 81772 81771 81779 81780 81776 81775 81766 81767 81761 81769 81681 81682 88687 88688 88689 81777 88686 109063 109062 122686 122685 122672 122673 109164 110172 110170 110210 110157 109160 110211 110171 110159 110158 110212 109401 109402 109403 109418 109120 109118 109119 109117 109087 109105 109111 109080 109079 109033 109027 109008 109028 109106 109102 109101 109115 109088 109113 109110 109116 109103 109109 109098 108972 108959 108973 108970 108969 108971 108957 108960 108958 108968 110197 109503 110128 108998 108991 109504 110116 109502 109515 109127 109126 110196 110195 109517 108997 108996 108992 110129 110115 110130 109516 109162 109163 109417 109416 122549 122558 122597 122582 122547 122548 115851 115852 109061 126788 126794 126787 126795 126796 109059 109042 109041 109046 125868 125862 132801 125978 126141 125970 126133 109060 132700 132809 132807 132691 132692 132699 132698 126142 126134 125977 132808 132971 125869 132964 132970 132972 132404 109037 125971 125979 125870 126140 132963 132800 125861 109058 109040 109108 109104 124239 124255 123830 124092 124240 124089 132000 109112 109114 109107 109097 109081 88592 88594 88593 88595 88596 88589 88590 88591 81851 74931 82049 82051 82050 82052 82053 82018 74850 74849 47592 47593 102174 102156 102254 102155 102154 102173 102171 95426 102266 102267 102381 102269 102270 102443 88601 102172 102160 102265 102159 102169 102170 102158 102544 109045 109043 109044 109039 109189 103138 102541 102540 102543 102539 102542 102477 102508 102198 102176 102178 102193 102177 102191 102192 102196 102195 102197 102194 102189 102187 102183 102182 109374 110591 110430 110592 110584 110421 110593 110585 110581 110422 110596 110579 110595 110433 110594 110432 110431 110580 110797 110798 111347 111361 111527 111249 111706 111557 111235 111721 111248 111349 111250 111360 111543 111708 111234 110322 111818 105004 105019 111832 111833 111819 111831 110320 110319 110307 110308 110309 111528 111233 111558 111544 111722 111059 110706 110324 111058 110890 110694 110889 111074 110420 110874 111073 111072 110708 110875 110707 110419 110891 110693 111723 111707 111362 111559 111525 111510 111511 111526 111512 109400 110312 110313 110321 110429 110428 110695 110418 110323 110876 110117 111348 111057 117882 117883 117881 117880 117879 115989 116225 116224 116226 116328 116327 117878 118057 118053 118055 118056 118058 118168 118169 116220 118484 115954 118488 118485 118487 118490 118489 115953 118366 118372 118402 118406 118403 118405 118404 118400 118367 118369 118370 118401 118172 118173 118399 118483 118365 122747 122748 115847 115949 115950 115948 115943 115947 115945 115944 115946 115942 115940 115941 115939 115937 115936 115938 116219 116218 116217 118166 122635 122634 122616 122695 122736 122735 122694 122737 122738 122734 122722 122723 115849 118054 118052 115785 118408 118395 118394 118362 118361 118409 115987 115988 118084 118085 117971 117970 117877 117696 117700 117698 117697 117699 117694 117515 117516 117517 117519 117403 116983 117401 117513 117242 117399 117133 117405 117240 117238 117134 117402 116941 117244 117241 118417 117623 118254 118094 118582 118438 117804 118005 117926 118333 118581 118560 118332 117828 117829 117980 118004 118255 117646 118439 118308 118119 118236 117647 118118 117335 117568 117285 117189 117354 117569 117286 117748 117546 117268 116311 117190 117165 117075 117464 117353 117726 117440 117465 117051 117076 117514 117018 116979 116981 117239 117017 116977 117132 116982 116980 116978 117695 117400 117020 117016 122615 118486 115985 118059 118371 118171 118368 116227 118167 118170 118526 118518 118476 118450 118474 118610 118502 118477 118475 118529 118525 115802 115800 115788 115790 115799 115789 115803 115798 115801 115787 102262 102263 102255 102277 102283 102279 102282 102285 102278 102280 102281 102276 102284 102287 102286 102289 102288 102290 102251 102188 109026 109025 109021 109022 109024 109023 108987 109007 109006 109017 109019 112003 112016 111978 111966 111967 109013 109012 111869 112059 112048 112061 112060 112046 112047 112099 116508 111916 111917 116054 112085 112002 112004 111854 112086 111865 111965 111931 112084 111867 112015 111979 112100 112017 111932 111915 111853 112101 118891 118889 118877 118747 118930 118929 118762 111868 111980 111930 118746 118745 118695 118931 118699 118878 118890 118876 115817 120175 119952 120373 120374 120080 120176 120189 120357 120355 120068 120344 120190 120358 119969 120342 119954 119967 120343 120067 119594 119152 119310 119032 119151 119137 118698 118796 119041 119412 119298 118846 118847 118795 120392 120081 119953 120393 120356 120174 118797 118833 120391 119031 119311 119141 119304 118760 119414 119139 119793 119776 119609 119148 119140 119039 119303 119147 118761 119300 120079 119968 120066 120191 119425 119315 119314 119791 118684 119792 118832 119027 119610 119595 119427 119043 119028 118916 118808 119778 119608 118834 119042 118915 118914 119138 119413 119313 118810 119777 118809 119426 119150 119299 118845 119593 119312 119040 119149 119026 118697 118683 119038 118744 118203 118229 118230 118269 118227 118228 118300 118297 118299 118298 112469 112480 112321 112470 112484 112482 112485 112468 112311 112310 112319 112320 112483 112474 112481 112322 112473 112212 112210 112318 112211 112213 115908 115864 115865 112202 112201 112317 113361 113360 113359 112208 113122 113236 112197 113345 112597 112196 112778 112595 112946 113251 113137 113124 112308 112962 111914 112948 112961 113344 112780 112763 112765 112309 112582 113138 113346 113123 112209 113249 113139 112963 113238 112596 112779 112584 112198 113250 112307 112947 112764 113237 112583 120478 120493 120494 120395 118681 120394 125574 122647 118680 117787 117788 118045 116315 118271 118205 118452 118504 118286 117803 118160 118159 118307 117762 118018 118020 117760 118416 117979 117876 129806 116303 116209 116208 117794 117795 117431 117616 117617 115907 116927 116928 117128 117329 116964 117398 116965 117008 117328 117123 117124 116976 117158 117009 117237 117015 117159 117518 117135 116940 117243 117404 117021 117019 115841 116304 117512 117430 117693 111788 111814 111815 111789 129702 129731 129730 129825 129827 129826 129812 129813 129820 129809 129818 129819 129811 129803 129821 129810 129807 129805 129802 129816 129798 129814 129815 129817 129822 129824 129801 129799 129823 129804 129800 129808 129706 129727 129707 129726 129722 129729 129725 129723 129724 129719 129717 129721 129712 129716 129720 129713 129718 129715 105491 105655 105640 105477 105492 105654 105490 105382 105381 105639 105479 105653 105383 105638 105478 105087 105149 105754 106117 105085 105752 105950 105136 105767 106118 105948 105753 105935 105150 105148 105933 105086 106132 106116 105102 106131 106133 105934 105949 105135 105137 105271 105039 105231 105270 105269 105035 105216 105217 105218 105229 105230 106421 106292 106308 106293 106420 106515 106406 106529 106514 106695 106407 106307 106682 106696 106294 106309 106408 106419 106683 106684 106516 106697 106531 106530 106732 106698 106713 106733 106731 106714 127297 127307 127306 122995 122996 122997 118608 118528 118466 118611 118527 118609 117777 118155 118294 118471 118295 116314 118472 118524 118034 118158 118157 118132 115976 117334 117164 117907 116312 115980 117749 118612 118149 116310 117925 118523 118134 118219 118035 118046 118225 113565 113663 113648 122681 122679 122683 122684 122682 122677 113525 113513 113526 113562 113543 113561 113514 113512 113528 113544 113563 113664 113527 111846 111845 111841 111839 111847 111848 122680 124898 122675 122676 122899 122897 122876 122895 122894 122892 122872 122898 122877 122900 122901 122893 122896 122875 122873 122874 115892 115893 115879 115904 115906 115877 115905 115903 115900 115899 115890 115870 115866 115891 115871 115867 115872 129711 129714 129708 129710 115719 115717 115752 115728 115767 115718 115797 115791 111813 111795 111812 118687 118692 118688 117629 117642 117641 117640 117644 117630 117643 117645 117628 117627 111775 111783 111782 113735 113753 115707 113736 113737 113752 115664 113665 115685 115654 129709 129703 129705 111776 111781 111780 117937 117963 117939 117953 115998 115997 117964 129458 129557 129554 129460 129560 129556 129447 129461 129563 129558 129459 129555 129562 129559 108939 108938 102109 102108 129728 129704 129450 129514 129507 129513 113742 113748 113750 113749 113744 113751 115848 129758 129760 129755 129735 129754 129733 129734 129738 129761 129759 129757 129737 129762 129756 129753 129736 124885 124997 123056 124886 124887 122819 124800 122815 123057 124884 123052 125000 124999 124889 123050 122814 123055 124996 125001 124883 125191 124914 125230 125314 125003 125239 123038 125320 125192 125199 125232 123039 125002 125200 125234 124882 125238 125319 125198 125503 125506 125225 129501 125229 125224 125195 123051 125313 125236 122817 125235 124915 125507 122784 125202 125317 125196 125500 125316 122783 125505 125318 125233 122818 125201 122790 125501 125231 125499 125197 123054 125502 125315 129504 129506 129505 129577 129578 124998 125508 124801 124888 122671 123053 125504 122721 122696 122697 122701 122702 122700 118670 118671 118678 118668 118676 118667 118669 118675 118677 115984 116325 116322 116324 116323 116326 109016 109015 105172 105173 105174 105186 105187 105185 105100 105101 105084 109224 105256 105254 105255 105038 105024 105766 105765 105368 105367 105037 105023 105366 106681 106833 106834 106818 106735 105021 106734 106513 106678 106405 109213 109212 102157 105020 109032 109031 109029 109030 109018 113746 113747 108922 108898 108887 108937 108889 108888 122984 122986 122985 122994 122990 122982 122983 122978 122992 122987 122981 122971 122977 122976 122991 122993 122972 122989 122980 122979 122988 122975 122970 122968 122974 122973 122969 122879 116062 116064 116070 116066 116065 116068 116042 116071 122878 122886 122880 122891 116047 116067 116045 122881 122887 122882 122890 122885 88496 89188 88514 88495 88494 95518 95519 95517 95516 88882 88606 88607 88605 88609 88610 88513 88509 88498 88510 88512 88500 88499 88511 88817 88681 88881 88487 88463 88488 88464 88883 88785 88786 88783 88784 88752 88721 120237 119692 120527 122620 122626 122631 122618 118693 119531 118705 119533 119518 119532 119530 120525 120507 119534 119517 119868 120312 111864 111863 119529 118700 120524 119516 118706 115850 115845 115846 119519 122888 122889 122883 122884 119796 119458 119815 119638 118964 111877 112862 113482 113407 113696 113289 113177 113505 112706 113633 113611 113270 113670 113039 112682 113483 112705 112863 112888 113432 113671 113697 113433 113178 113288 119814 119615 119457 118965 119637 119354 118774 118773 119242 119054 119157 119224 119353 115796 113038 113632 113064 112887 113504 113408 113063 119329 119435 119174 118775 119079 119078 118940 119243 119175 113153 102346 95430 95432 95431 95342 95339 95340 95325 95344 95324 95326 95341 95343 95417 95418 95294 95293 95318 95317 95425 95422 95423 95424 95433 95427 95428 95374 95375 88599 88597 88598 88600 88603 88602 122628 122619 122630 122629 122632 120118 120262 122621 120334 119869 120463 118707 119717 120526 120335 120500 120008 120238 120100 119535 119693 119536 119983 120462 120501 118694 119894 120119 120007 119718 119893 120441 120313 119512 120263 122627 122633 116159 116147 116148 116153 116151 116155 116142 116157 116160 116158 116165 116166 116141 116167 116164 116154 116163 116156 116152 116162 116150 116161 95330 95329 95328 96018 95420 95429 95419 95421 95436 102347 88538 88518 88516 88517 102349 102348 113695 113694 113677 111876 111870 112700 112699 112702 112688 112703 112701 112687 112686 111875 112704 95368 95346 95347 95348 95367 112689 116044 116063 116046 116069 116043 120486 120168 120170 120169 120481 120368 120491 120167 120488 120371 120094 120362 120093 120482 120361 120492 118788 119947 119945 119944 119946 119948 120580 120575 120581 120574 120576 120579 120577 120578 116138 116140 116139 116143 120370 120165 116144 116149 116145 116146 120571 120166 120572 120570 119942 118685 118686 120164 120372 120490 120369 120489 118785 118790 119769 119770 119772 119767 118786 118791 118787 118789 119771 119768 120163 120487 120485 120365 120367 109215 109237 109240 109241 109235 109238 109234 109232 109233 109216 109217 109214 116223 117130 117131 117129 116936 116938 116937 116321 116939 116935 116934 116221 116222 119943 118737 118736 120058 118741 118740 118739 120056 118738 120059 120060 119860 118734 120055 120062 120061 119941 118826 119583 118690 118691 118828 119584 119766 119587 119406 118822 118824 118825 119404 119589 119290 118910 119020 119019 118871 119289 118908 118872 119292 119291 119018 118866 119131 119127 119133 119130 119293 119128 119129 119021 118823 119294 118905 118867 118909 119132 118906 119022 118869 118868 119402 119407 119405 119408 118827 119403 119586 119585 118907 119288 118735 113745 113743 119974 119973 119047 119048 119218 119582 119765 118723 118722 119287 118821 118814 119684 119320 118767 119505 118766 119506 119683 118815 119319 118865 118897 118898 118852 119126 118851 118904 119017 119013 119012 119217 118784 120366 119859 119401 120057 118870 119023 120573 119588 119024 113112 113114 111855 113532 113656 113540 113263 113659 113337 113655 113535 113536 112939 113116 113118 112942 113537 113340 112940 113660 113652 113539 113333 113538 111856 113661 113334 113336 113115 113657 113541 111857 113339 111858 113651 112941 113338 113662 113264 113542 113117 112938 113531 111862 113658 113226 112759 113229 112757 112755 113227 116053 116060 116061 116051 116056 112574 113230 113228 113232 112936 112577 112756 112573 112753 112758 112575 113231 112578 112576 119053 119223 95365 95366 95359 95361 95362 95364 95363 95357 116050 116048 116049 116057 116055 116052 116058 109236 116059 109239 95647 95712 95511 95437 95353 95710 95711 95678 95713 95714 95709 95614 95616 95615 95551 95613 95582 88884 95327 98193 98194 88630 113105 113372 113302 113101 113079 113601 113216 113473 113577 113217 113104 113327 113326 113077 113474 113396 113191 113397 113215 113103 113324 113471 113325 113475 113300 113219 113447 113472 113193 113374 113579 113400 113218 113102 113399 113398 113323 111948 111878 113208 111894 113449 113316 113094 113093 113604 113727 113605 113602 113603 113726 113593 113729 113389 113463 113214 113213 113724 113730 113731 113728 113725 113469 113395 113100 113600 113599 113723 113394 111947 113322 113470 112925 112741 112918 112926 112742 112901 112927 112743 112746 112924 112929 112745 112928 112735 88625 112744 112719 112903 112721 105034 106109 106912 106921 106920 105928 105747 106106 105745 105746 105748 105927 105923 105929 105924 105926 105925 106110 106111 106108 106112 106107 106919 106915 106913 106916 106917 106286 106287 106914 106918 106288 106284 106285 105744 106504 106507 106505 106712 106709 106510 106706 106708 106508 106710 106707 106506 106509 106711 105163 105168 105164 105162 105166 105165 105167 105743 105032 105131 105126 105125 105128 105130 105025 105027 105127 105026 105129 105028 106282 106830 106828 106832 106829 106826 106831 106827 106705 106825 106503 105079 106402 105081 105075 106397 106401 105078 106398 105077 106400 105076 105080 105206 105358 105212 105245 105248 105211 105471 105472 105250 105363 105469 105467 105473 105209 105208 105207 105362 105361 105360 106396 106283 106399 105632 105630 105629 105631 105468 105634 105633 105628 105742 105364 105470 105359 105247 105246 105249 105210 106200 105074 106281 105124 106199 106395 88626 88629 88624 88621 88623 88619 88617 88622 88616 88628 88627 95352 88618 88620 95460 95451 95447 95448 95456 95450 95452 95454 95449 95446 95455 95453 95458 95459 95457 102057 102058 102092 102059 102068 102107 105238 105237 105161 105557 105357 105388 105741 105558 105352 105353 105466 105244 105627 105205 105192 105191 105922 105387 106822 106434 106821 106702 106701 106433 106023 106314 106024 106313 105031 105030 105155 105106 105107 105845 105846 105154 95440 95439 95435 105660 105063 105659 105062 102181 116073 116192 116170 116191 116173 116172 111247 111245 111239 116193 116188 116189 116171 116198 116169 116190 116195 116197 116177 116194 116196 116178 111246 111238 116082 109128 99120 99103 99104 99105 99287 99286 99303 99288 98662 98661 98823 98553 98648 98649 98551 98809 98935 98305 98342 98307 98923 98255 98922 98660 98808 98825 98552 98647 98810 98824 98205 98209 98208 98320 98306 99118 99119 98257 98256 99463 99686 99685 98937 99464 99699 99477 99301 98272 99479 99302 99700 99478 99462 98207 98318 98343 98357 98924 98344 99701 98319 98936 98355 98356 98271 98441 98538 98440 98387 98536 98270 98400 98388 98537 98401 98426 98424 98439 98425 109130 106910 106911 99866 99867 99852 99854 99853 99865 109147 109380 111945 111944 105652 105371 105481 105643 105480 105489 105644 105651 105650 105488 105372 105380 105487 105379 109011 106105 113113 113335 112937 113144 112854 112853 113143 113225 111861 111860 112572 112752 113111 113029 113030 112754 112935 112675 112489 112571 112676 112490 112297 112388 112463 112300 112462 112218 112302 112301 112458 112194 112387 112192 112460 112464 112193 112299 112191 112190 112303 112461 112217 112189 112035 112039 112298 112296 112457 112042 112041 112036 112021 112188 112037 112182 112040 112183 112038 112022 112459 111904 111909 111910 111907 111908 111906 111911 111905 111993 111997 111996 111992 111994 111998 111995 112078 112077 112080 112079 112067 112075 112068 112074 111957 111961 111959 111960 111958 111956 111955 112187 111892 111893 111991 111985 111954 111937 111936 111984 112076 98386 98399 99903 99868 99902 99901 99883 99884 99027 99026 99576 99684 99577 99590 99589 99578 99591 102047 102025 101994 100077 100076 100093 100092 100005 102004 100075 105033 109337 109336 109309 109308 109310 109330 109329 109311 109331 109312 109332 109328 109327 109333 109335 109334 109071 109072 109073 109069 109070 129857 129831 129842 129829 129845 129832 129835 129838 129851 129848 129841 129853 129843 129834 129858 129855 129833 129846 129852 129850 129849 129856 129830 129847 129840 129839 129836 129837 129854 129844 129739 129742 122903 129743 122927 129745 122926 122928 122929 129750 122907 122924 122925 129746 129751 129748 129744 129741 129752 122923 122904 122931 122908 122906 129747 129749 122917 122922 122920 122909 122916 122914 122915 122911 122921 122919 122918 122910 123028 123020 123016 123015 123018 123022 123025 123023 123019 123017 123011 123009 123008 123021 123012 123026 123014 123013 123024 123007 123003 123002 123006 122999 123005 123010 123004 123000 123001 118619 118645 118618 118644 118625 118627 118642 122912 118640 129740 122913 122930 118641 122905 122932 118643 95316 95296 95315 95314 95416 95415 95387 95413 95412 95414 95410 95409 95402 95403 102145 102147 102126 102146 102123 102148 102124 102144 95355 95356 115901 115902 120021 120303 120432 120153 120154 120038 120049 120047 120155 120156 120302 118708 120553 120561 118724 120559 120044 120048 120224 120132 120305 120157 120228 120304 120556 120558 120435 120227 120433 120560 120277 120023 120046 98254 102127 102129 102142 102143 102128 102141 102140 102130 95351 120423 120300 120409 120555 120225 120219 100004 99905 99851 99575 98190 99848 99683 95389 95411 99988 100003 120146 120293 120152 120554 122720 120279 120557 120045 120202 120299 120301 120226 120429 120130 120043 120229 120431 120430 120230 120204 120407 120434 106577 106652 106440 105048 106493 106771 106644 106641 106497 106470 105118 106619 106472 106633 106486 106749 106544 106559 106566 106542 106567 106645 106642 106496 105064 106643 106495 106570 106617 106494 106569 106747 106568 106773 106895 106775 106774 106896 106897 106763 119850 119853 106772 106492 106639 106640 106899 106898 106901 106900 119842 119848 119828 119851 119852 119849 118728 109036 106893 106894 119675 119636 119932 112110 112135 112134 112785 112628 112807 112627 112249 112393 112412 112985 112984 112345 112499 112523 112524 112327 119621 119666 112413 118727 119826 112804 112821 112792 112789 112843 112806 112805 112803 112845 112791 112842 112808 108966 108967 108961 106840 106803 105047 106841 106781 106653 106459 106866 106602 106802 106867 106603 106458 106674 106578 106675 119933 112223 112224 112344 119651 119649 119673 119635 119907 119935 119622 112819 112836 112847 112844 112248 112966 112394 111943 112605 105046 106863 105044 106847 105045 105040 105117 106564 106565 106770 106769 106864 106862 106865 106849 105043 112790 112846 96308 102359 95405 95407 95408 105050 105049 105068 105067 95278 95279 88448 88449 99904 98191 119674 67988 95656 119909 119672 119676 119633 119620 119634 119931 119924 88537 91364 91831 91832 91818 91708 91707 91830 91379 91817 91722 91723 91819 91721 91375 91596 91594 91595 91611 91610 91363 91706 88536 88531 88529 88535 88534 88533 88532 88527 91367 91365 91366 95358 119934 119619 119923 91377 91378 91570 91558 91571 91557 95661 95665 95651 95668 95673 95667 95670 95675 95669 95652 95672 95677 95676 95660 95662 95671 95674 95658 95664 95666 95657 95663 98195 100087 100088 100089 98196 99996 100085 100001 100083 99998 100000 100002 99999 100084 100086 99878 99876 99877 99676 99678 99680 99679 99677 99674 99675 99879 99880 99882 92633 92854 91609 91477 91512 91513 91475 91525 91476 91514 91527 91489 91526 92107 92458 92869 92870 92871 92760 92855 92856 92648 92471 92472 92456 91978 91488 91490 91441 91440 91427 91425 91426 91442 91424 92649 92647 92275 92632 92290 92273 92289 92274 92473 92457 91980 91994 91979 92093 92094 91995 91993 92106 92288 92105 92746 92761 92748 92747 92759 92634 93036 93023 93022 93024 93037 93035 92092 99995 99281 98295 98300 98197 98301 98198 98297 98298 98296 98202 98299 99277 99997 99278 99280 99282 99279 100090 100091 92737 92741 92628 92624 92742 92627 92622 92625 92850 92846 91372 91368 93051 93052 93048 93050 93049 92848 92847 92740 92849 92844 92739 92738 92736 92626 99673 100082 99992 99991 93074 93075 91361 91360 93174 91569 91556 93038 93072 93054 93071 93073 93053 92845 99458 99881 99456 99457 99454 99452 99455 99604 99875 98337 98333 98332 98336 98335 98334 98338 99093 98913 99096 99568 98915 98916 99567 98918 99095 99098 99566 99099 99097 99276 98917 98914 92085 92269 92267 92265 92263 92084 92086 92268 92088 92087 92451 92450 92449 92448 92452 92266 93047 92446 93046 93166 93170 93169 93168 98529 98528 98533 98637 98643 98416 98534 98641 98638 98418 98532 98640 98642 98419 98376 98415 98639 98420 98530 98531 98204 98417 98382 98377 98379 98381 98378 98380 98804 98800 98798 98803 98802 98912 98801 99569 98248 98247 99571 98249 98246 98251 99453 98250 98245 99094 99570 99572 98799 99871 99872 99603 100081 100080 99451 99370 99369 118777 118778 119677 119930 109313 109323 109314 109318 109326 109317 109324 109320 109325 109321 109322 109316 109315 109319 102486 102382 102402 102386 102406 102384 102383 102411 102405 102409 102387 102410 102403 102404 102408 102385 102407 102507 102497 102500 102498 102501 102504 102502 102503 102499 102505 95228 95238 88398 95229 88447 95277 88397 102487 102494 102493 102495 102490 102482 102492 102496 102491 102488 102390 102389 102394 102401 102397 102396 102393 102395 102400 102399 102391 102392 102398 102388 102506 102479 102480 102485 102483 102489 102484 102478 102481 95227 88408 95262 88432 88399 109230 109225 109219 109223 109231 109222 109229 109221 109220 109227 109226 109218 109228 91504 92083 91508 91503 92264 91505 91506 91507 91502 95649 95648 95650 95653 95659 95655 95654 95573 95578 95580 95552 95572 95581 95579 95574 95577 95576 95575 95556 95554 95555 95557 95553 91374 91969 91698 91587 91588 91550 91585 91973 91808 91701 91700 91703 91971 91970 91586 91968 91548 91546 91810 91812 91590 91699 91974 91813 91552 91972 91551 91547 91807 91811 91549 91704 91589 91809 91702 88497 88528 91984 91992 91983 91821 91828 91712 91991 91990 91820 91711 91720 91829 91827 93143 92942 92549 92663 92943 92780 92192 92688 92398 92573 91387 92799 93206 92687 93180 92373 92798 93015 92215 92574 93181 93014 93142 92216 92918 92993 93121 93207 92397 91373 93173 92917 92548 92992 92372 93158 91719 88522 88523 91718 92082 92623 93171 93172 93255 93252 93260 93261 93256 93259 93257 93258 93254 93253 93167 93162 93161 93165 93045 92447 92843 93042 93041 92621 92539 92540 91470 91467 91466 91471 91469 91468 91465 92445 92262 92185 92186 92363 92364 92000 91999 91577 91897 91898 91530 91532 91531 91728 91691 91896 91726 91578 91727 91693 91692 91576 95310 95313 95298 95307 95306 95299 95300 95301 95311 95312 95309 95297 95308 92735 93187 92211 93205 93204 92213 92212 92197 92214 92199 92196 92198 91416 91415 91421 91419 91418 91420 91417 95400 95380 95401 95382 95381 91967 92081 93251 92654 92653 95377 95376 92774 92773 91385 91386 91380 91414 91501 91384 91584 91806 91697 91545 91383 98821 98822 98820 98814 98813 98550 98541 98542 98659 98651 98658 98650 98657 93250 98549 91370 91371 91402 91447 91403 91494 91495 91446 91464 98203 98294 99092 98523 98244 99403 99610 99845 99517 98217 99203 99022 99046 99772 99951 99972 99227 99973 100037 99379 99404 99844 99628 100010 100036 100011 99629 99228 99493 99823 99773 99045 99518 99748 98324 98277 98331 99194 99275 98325 99565 98276 99483 98911 99822 99747 98557 98408 98527 98727 98375 98522 98558 99484 99193 98728 98636 98797 98362 98407 98361 98414 99015 98200 98201 98232 98233 99016 98830 98829 98210 98216 98215 100035 100034 100017 75168 75171 75170 75167 106249 106385 106363 106389 106264 106270 106272 106387 106388 106386 106378 106361 88466 88485 88486 67995 68231 54595 54592 54598 54593 54600 54687 61508 54682 54686 68296 68191 68295 68262 54677 61510 54680 61525 61502 61514 75174 75176 75172 75173 75175 68390 68391 68389 68392 68327 68358 68293 61269 61176 61270 61194 54601 54594 54599 54596 61175 67996 106384 106273 106274 106263 106271 106275 106247 105913 105904 106073 81856 42596 41945 42619 36600 35686 20302 105916 106094 106097 105912 106071 105914 106088 105911 105889 105915 106098 106096 106095 105905 88484 105891 88478 88479 88469 88483 88480 88468 88470 88481 88482 88467 105009 105018 105017 105003 105002 105001 104989 106099 106383 81859 81857 81858 40951 35680 36479 34005 42875 36336 36517 42204 36658 42035 36084 40971 40957 40949 40953 40966 40961 40947 40955 40959 47793 47775 36058 40958 40968 20301 41045 33992 40948 42618 47798 47890 47873 47895 42438 36515 41051 41062 41066 41041 41056 41053 13456 33826 33845 47887 54727 20295 41050 13451 33962 36245 41064 47886 36457 47781 47789 47795 47773 47796 47790 47774 40965 41044 33856 47889 13455 41057 47894 47897 40822 54482 47879 13414 41060 41055 41046 47872 41052 41063 41040 33959 47881 41042 41043 41047 67975 106323 106058 106032 106233 105852 106234 105875 106033 106348 105876 106209 106208 106347 106057 105857 105859 105856 105874 105871 105858 105870 105872 105873 105869 75188 99378 99202 99040 99029 99039 99043 99042 99028 99044 99041 74946 74949 74858 74877 74948 74842 74848 74951 74952 74953 88725 88747 88751 88726 88723 88750 88746 88748 88727 88742 88744 88749 88743 88724 88722 88745 75187 74943 74938 74937 33940 33939 47791 40945 40972 47802 47778 40960 40946 40950 36621 41039 36045 40943 33846 33963 41049 47892 41059 40970 47784 68038 68115 68004 68005 68024 68006 68028 68048 68047 68027 68026 68042 68044 68046 68045 68043 68041 68039 68108 68107 68109 68040 70877 70875 70878 70882 68022 68009 68008 68010 68021 68023 68019 68020 68394 68120 68119 68117 68116 75125 81954 81955 81956 81922 75224 70889 70885 71068 71067 71080 71081 72159 72157 72158 71121 71120 72366 72381 72365 72364 72258 72256 72257 72271 71342 71341 71329 71328 71232 71231 71233 71327 77703 77704 77817 77830 77816 77853 77854 77829 77867 77781 77782 77766 77767 77765 77828 77815 77852 77911 77897 77910 77951 77935 77950 77719 77715 77949 77934 77909 77780 77717 71022 71023 71024 70998 70999 71036 71035 71037 70986 70985 70987 71000 71602 71783 71785 71616 71615 71066 71079 71119 72380 72379 72270 72269 81998 81997 72142 72144 71968 71505 71503 71106 70874 71105 71104 70888 70873 70887 71501 71494 71500 71222 71230 71337 81991 70935 70934 70952 70937 70936 71967 71338 71339 71488 72143 71799 71221 71798 71216 71981 71217 71490 71504 71330 71982 71603 71604 71800 71502 71340 71966 71331 71229 71228 71493 71983 71218 71784 71617 71489 74856 74857 88699 88846 82007 82009 82012 82010 82014 82011 82008 82015 82013 82017 81992 81988 81989 82016 81990 81686 81707 81708 81688 84658 85263 85275 84683 85458 85443 85276 85277 85460 85628 85444 85626 84696 84646 85459 85642 85643 85627 84695 85641 84645 84697 85264 85262 84660 84659 85445 84684 84682 84647 74923 74897 74922 74925 82006 82004 82005 82002 82001 82000 82003 74874 81994 74876 74869 74873 74875 74955 72547 72533 72534 72532 81697 81706 75818 78158 78319 78446 78447 78433 78063 79099 79101 78613 78614 78629 78615 78630 79087 78157 78445 78813 78812 78798 78811 78797 78796 79088 79100 79086 78628 78432 78171 78333 78062 70950 78061 78170 78159 78318 70951 78048 74871 72581 72548 72582 72564 72545 72546 81996 81993 81999 81995 78052 78331 78160 78161 78060 78058 78059 81656 81636 81655 95338 95336 95337 77764 79513 79514 72668 70870 72585 70871 78973 78972 78987 78989 78974 78988 75092 74841 74926 75220 75221 74840 74836 74854 74847 74954 75126 81759 81763 81658 72583 72563 72683 74878 81869 75157 75061 75123 75021 75219 74950 74945 77866 74872 74924 74867 74899 74921 77898 77718 77936 77896 77865 74929 74961 74962 74970 74963 74966 74964 74969 74965 74968 74967 74837 74852 74947 74944 74927 81891 81668 81670 81669 81679 81680 81665 81664 81657 81687 81683 81987 81953 81760 81762 81802 78434 81654 81705 74957 74939 74958 74956 74933 74934 74936 75124 75223 75222 75528 74959 74930 74935 74960 74942 72584 72684 81704 81703 81692 81693 81702 81701 81699 78320 78051 78335 78169 78323 78324 78334 78047 78330 78046 78172 78168 78332 78167 84544 84727 85000 84766 84741 84892 85001 84765 84728 84987 84989 84764 84780 84740 84893 84988 85002 84891 85165 85164 85163 85149 85148 84781 85150 81691 81756 81757 81715 81758 81714 82648 84612 84596 86242 86192 84739 86243 86241 84597 84610 84549 84595 84545 85929 85917 85918 85916 86025 85817 85930 84611 86041 84779 86206 86207 85815 85819 86205 85816 86194 86024 85803 85804 86193 85814 85808 84726 86224 86208 85931 85807 85802 86223 86039 85818 86040 86026 81698 84534 84533 84877 84876 84878 84547 84548 81795 81796 81789 81800 81791 81799 81792 81790 81788 81798 81787 81797 81786 81793 81794 82852 81844 82851 83112 83004 83098 81649 81650 81639 82877 83260 82875 83276 83274 83000 82988 83261 83275 82987 81806 81727 81729 81637 81640 81638 81651 81652 81653 81751 81755 81753 81752 82993 83113 83100 81840 83002 83003 81754 83111 82850 82876 82992 83001 83099 82837 82838 82892 82890 82891 82839 81843 81842 82989 82999 81807 83259 82183 82795 82810 82808 83753 83754 83386 83556 83554 82196 82184 82182 82197 82195 83738 83373 83737 83375 83387 83739 83374 83569 82796 82809 83570 82797 83752 83571 83555 83388 81749 81750 88880 88879 88848 91404 91458 91408 95529 89478 91388 91457 91690 91407 91687 91685 91684 91686 91683 91688 91689 91680 91678 91679 91677 91681 91675 91674 91390 91389 91455 91854 91837 91855 91454 91573 91572 91724 91895 91894 91893 91725 81672 81671 81678 81677 81676 88847 88819 88820 88818 88842 88821 88843 88841 88844 88840 88837 88839 88845 88822 88838 79210 79195 79211 79194 79196 79209 79415 79394 79364 79412 79413 79411 77701 79376 79414 79498 77700 79375 79363 79362 79393 79378 79377 88833 88832 88836 88826 88823 88825 88828 88827 88831 88834 88824 88829 88835 88830 81648 81743 81742 83265 83272 83101 83273 83264 83102 83110 83271 83108 83109 95569 95559 95561 95564 95567 95558 95566 95560 95565 95563 95562 95568 95570 95571 98968 98839 98967 98667 98563 98945 98684 98863 99306 99324 98283 98285 99147 98284 98450 98685 98589 99125 98474 98475 98864 99325 98753 98733 99148 98564 98588 98752 98734 95164 93263 93245 93246 95195 93262 93247 95174 93175 95217 95268 95265 95267 82054 84543 85858 85833 85719 85567 85386 85744 85857 85568 85385 85543 85743 85362 92494 92495 92476 85968 85969 85950 86184 86312 84557 86112 86377 86376 86313 86113 86351 86185 86350 85718 85542 86291 88477 88476 88471 86163 86088 86087 86162 85369 85384 85383 85382 85366 85381 85380 84556 84555 86375 86374 84550 86357 85368 85367 85379 84594 81921 88740 81907 81909 81902 81912 81920 81896 81635 81899 81900 75081 75079 75085 81898 81894 81893 88730 81892 81897 81919 88736 88741 81905 81910 81911 88733 88737 88738 88739 81916 81917 88731 81918 81913 81915 88732 75082 75091 75084 75090 75083 75076 81906 75066 81904 75078 81908 75087 75086 75088 75089 75075 75080 75062 75077 88734 88729 81895 75068 75072 84888 84890 86344 86343 86245 75073 88735 81903 81901 81914 86328 84889 84881 84882 88728 93237 93236 93235 92982 92983 93111 92984 92981 93089 93112 92959 92973 92985 93087 92957 93103 93115 93113 93114 92725 92701 92703 92910 92810 92899 92836 92906 92837 92826 92726 92812 92587 92612 92615 92604 92614 92613 92611 92589 92728 92834 92882 92835 92727 92718 92909 92908 92907 92729 92884 92833 93239 93240 93238 93241 93234 92357 92331 92355 92356 92329 92352 92346 92610 92353 92354 92724 92723 93233 91759 91645 91734 91923 92115 92009 92138 92317 92295 91733 92034 91922 92033 91453 91644 91758 92318 91620 92137 91903 91904 92980 92979 92832 92905 92904 93110 93109 92302 92301 92315 92313 92314 92299 92300 92316 82081 82082 82098 82083 82096 82097 84192 84206 84042 83913 84190 84191 84207 83915 84028 83930 83914 83929 83928 84040 84205 84027 84041 84029 82080 84223 84239 84208 84237 84238 84224 84403 84386 84388 84402 84387 84401 88632 88588 88545 88544 102292 95462 118672 118674 88753 88758 88778 88780 88774 88779 88757 88776 88781 88775 88773 88782 88777 88755 88754 88756 118673 116094 116093 116099 116097 116096 116100 116101 116098 116078 116077 116102 116076 116074 116095 116075 102687 102330 102334 102686 102685 103285 102674 103287 103298 102673 103299 103300 102572 102573 102588 102571 102672 102586 103286 102587 103367 103366 104713 103878 104044 104045 104046 104681 104714 104697 104698 104532 104519 104696 104695 104419 104420 103749 104680 104729 104531 104530 104727 104728 104418 104517 104518 104682 103876 103877 104059 104060 103381 103328 103602 103601 103365 103764 103603 103329 103766 103750 103765 104061 103341 103588 103382 103494 103380 103493 103492 103590 103589 103751 103342 104404 104405 103479 104242 103478 104243 104228 104227 104229 103477 104244 102332 102333 102296 102297 104403 102570 104876 104892 104877 104878 104891 104893 109243 116186 116181 116187 116182 116180 116185 116085 116090 116088 116087 116079 116091 116083 116092 116080 116089 116086 116081 116084 116176 116184 116183 116175 116174 116179 109249 104408 104409 104417 104416 104415 122728 118605 122729 122730 122733 122727 122725 118606 122724 118226 118156 88587 118613 118296 88670 88674 95592 118044 117785 117784 117786 118043 118042 117730 117747 117744 117731 117746 117783 122732 118607 117732 118041 89680 89682 89681 89667 89669 89668 89721 89722 89720 88638 88657 88890 88640 89929 89942 89943 89833 89941 89832 89834 89930 88912 88910 88928 90758 90858 90857 90872 90759 88508 88502 88501 90760 91021 91037 91022 91020 91038 91053 91069 91054 88507 88506 89026 89013 89639 89027 89626 89627 89625 89640 89012 89638 89025 88926 88647 88637 88636 88672 88673 89707 89706 90569 90567 90583 90218 90400 90401 90217 90399 90384 90584 90386 90744 90745 90743 90871 91036 91067 91068 91035 90870 90205 90204 90203 91231 91218 91217 91232 91216 91233 89938 90101 90105 90103 90102 89932 90094 89939 90095 89940 89931 90090 89822 90091 90104 89831 90106 89818 89817 89829 89819 89830 91343 91341 91342 84514 91328 91329 84529 88893 88894 88659 88658 89650 88645 88639 88646 89823 90089 89705 90385 90582 90216 88911 90568 88927 88913 89014 90859 89928 88465 95602 95599 95588 95608 95610 95598 95689 95585 95589 95694 95698 95697 95605 95593 95688 95707 95687 95693 95595 95584 95609 95586 95603 95606 95601 95583 95612 95604 95590 95597 95587 95607 95594 95600 95596 95611 95591 95692 95695 95696 95691 95699 95686 95684 95690 95681 95703 95682 95683 95680 95704 95708 95706 95702 95679 95705 95700 95701 95685 103865 103327 103340 103864 103863 102161 102168 102162 103762 103600 103763 103592 103755 103754 103591 103761 102167 103489 103491 103490 103482 102166 103483 103598 103599 98189 104988 98174 91359 91344 111049 111050 111051 102190 102246 102204 102205 102247 102248 102325 102324 102329 111406 111174 111730 111264 110999 111175 111752 111608 111609 111751 111425 111502 111587 111424 111288 111503 111289 110998 110793 110817 111229 111053 111228 111052 111225 111227 111223 111226 111339 111341 111340 111337 109368 109367 111586 111657 111575 111572 111542 111570 111653 111843 111655 111574 111573 111658 111654 111660 111571 111576 111659 111656 111844 111842 111343 111342 111840 109123 109020 109352 109357 109354 109351 109349 109353 109358 109356 109348 109355 111579 111578 111532 111531 111569 109124 111048 109494 109497 109496 109155 109495 109493 109492 109159 109154 109498 111564 111565 111536 111538 111540 111541 110107 110106 110109 110108 110105 110110 110111 111047 110867 110870 110689 110687 110868 110869 110685 110688 110686 110866 110864 110684 110305 110571 110408 110412 110575 110574 110409 110572 110304 110301 117745 118473 117733 109064 109065 109067 109068 111150 109137 110816 111478 110974 111149 110973 111477 109272 110104 111338 111336 109394 109393 111140 109395 109390 109397 110682 109396 111224 110865 109392 111141 111535 111537 110683 110300 110499 110189 110191 110149 110568 110498 110153 110570 110293 110135 110185 110179 110146 110328 110186 110148 110329 110863 111046 110787 110097 109158 109473 110600 110786 110964 109379 109474 109491 111222 109378 110601 109157 111254 111255 110965 110150 110151 110410 110407 110569 110187 109391 110299 110147 110573 110178 110152 110188 110414 110411 110303 110190 110302 110413 110134 110294 110298 110098 106907 106922 106923 108824 106906 108877 106835 106905 108855 108834 111539 109366 88586 110813 110800 110814 110812 110815 110811 110810 110799 109129 109136 109135 95758 95756 95757 102300 102298 102125 109361 109364 109362 109365 109264 109269 109270 109271 109248 109266 109263 109246 109244 109245 109265 109267 109247 109268 109343 109359 109363 109342 109360 95295 97883 97884 97899 97868 97865 97850 97688 97898 97867 97897 97866 97687 97702 97700 97998 97997 97590 97588 97589 97851 97689 97701 97852 95500 95504 96759 96758 96772 96760 96773 96664 96648 96649 96663 96662 96647 97214 96771 97033 97048 97034 97035 96936 96935 96921 96934 96920 97215 97216 97231 96919 97575 97574 109260 109262 109253 109254 109258 109257 109261 109259 109256 109255 109252 109251 109250 102534 102538 102532 102512 102537 102535 102528 102518 102519 102522 102529 102524 102536 102533 102523 102527 102530 102531 102525 102513 102526 102521 102517 102514 102515 102516 102520 102510 102509 102511 97514 97746 98154 98092 98091 97843 97927 97133 97338 97339 98155 97314 97628 97764 95477 97157 97156 97948 98070 97765 98129 97604 97949 97629 97490 97818 97842 97515 98128 97876 97994 97996 97999 97881 97916 97914 97880 97915 97912 97913 97879 97882 97910 97878 102437 102438 102439 102441 102440 102417 102416 102418 102414 102415 102433 102436 102435 102434 98185 98186 98183 98000 98184 98187 98188 95495 95494 95499 97391 97387 97210 97208 97563 97390 97392 97389 97565 97206 97569 97393 97568 97566 97207 97204 97209 97567 97683 97680 97682 97681 97679 97677 97026 97029 97028 97025 97027 97414 97399 97398 97397 97024 98048 98047 98046 98063 97573 97817 95468 90757 90756 90749 90755 90748 102442 102413 97489 97313 97926 96497 96499 96510 96498 96551 96550 96552 96511 96512 95502 95503 95466 95467 96537 96535 96536 96468 96457 96455 95844 97229 95856 95855 97230 95842 96470 96469 96456 95857 95843 97046 97047 95470 96660 96652 96659 96661 96653 96924 96770 96932 96762 96925 96933 96761 96768 96769 96931 97412 97413 98061 98062 95743 95742 95741 95740 98173 95332 95331 98158 98159 98171 98172 97153 97152 98135 98153 97150 97138 97155 95476 98152 97154 97140 95469 95475 97139 97137 97151 88585 88584 88581 88582 88557 88559 88583 102293 95360 102243 102244 102245 102233 104828 104827 102240 102242 102241 102219 102217 105014 105016 104829 105012 105013 105015 105010 104830 102294 104823 102239 104565 104496 104634 104866 104499 104569 104568 104570 104474 104626 104806 104543 104635 104497 104500 104472 104566 104625 104564 102317 104498 104567 104559 104495 104494 102550 104842 104813 104814 104817 104636 104611 104609 104640 104815 104792 104844 104638 104639 104865 104816 104790 104637 104545 104947 104949 104857 104867 104868 104948 104858 104869 110918 110919 110634 110716 110335 110610 110456 110455 110896 109481 111095 109482 110635 110360 110221 110438 110245 110246 110524 110359 111077 110505 110523 110738 109480 111096 110739 104434 103987 104266 104985 104594 104779 104168 102307 104247 103963 104672 104648 104595 104757 104673 104169 104922 104344 104144 104345 104458 104900 104265 104459 104984 104778 104959 104921 103986 104576 104320 104958 110504 110334 95404 117960 117962 117961 111695 111373 111643 111699 111470 111215 111469 111645 111468 111439 111213 111398 111779 111330 111397 111644 109485 111672 111212 111302 111326 111328 111467 111400 111698 111396 111327 111697 111647 111216 111620 111214 111778 111646 111399 111329 111188 111696 111622 111375 111304 111190 111674 111441 111464 111204 109484 111641 111694 111693 111205 117959 111211 111777 111642 111389 111688 111319 111324 111465 111395 111466 111325 111456 102650 103625 103693 103391 102652 103415 103529 104088 103416 103608 104089 103908 103626 103675 103504 103886 102651 103780 103694 103804 103909 104066 103805 103505 103530 102655 104358 104382 104383 104384 104386 104385 104360 104375 104374 110957 110953 110900 110917 111636 110955 110958 110932 110901 110947 104184 104025 104000 104024 104208 104027 104182 104209 104207 104026 104206 104210 104023 110915 110916 110902 110930 110903 110954 110956 98118 98119 98121 98120 109347 98122 98123 102185 102186 109340 95463 95720 95825 98035 98014 97960 97987 98012 97984 97985 97983 97986 97962 95487 109339 109350 109341 109346 109344 109345 110914 104143 104647 104756 104319 104950 104952 104951 104953 104946 104938 104002 102320 102319 102318 104198 104016 104489 104199 104015 104488 102654 104944 104381 104812 104945 104811 104863 104205 104022 102653 104380 104021 104204 104864 104126 104127 104125 104102 104128 104100 104124 102665 103278 102664 103275 103276 102662 103277 102667 102663 103279 103281 102668 102666 103280 104123 102316 95488 95489 103674 105011 104748 104749 104825 104711 104739 104708 104706 104710 104744 104712 104826 104745 104742 104705 104709 104741 104824 104740 104707 104746 104743 104734 104735 104701 104702 98039 98036 98038 98037 97715 97736 97713 97642 97552 97553 97666 97669 97555 97554 97556 97528 97668 97644 97806 97740 97781 97530 97779 97737 97739 97670 97667 97738 90724 90979 90723 91130 90908 90883 91157 91207 91205 90980 91206 90909 91153 91155 91208 90910 90722 91132 91209 91184 90951 90976 90977 90814 90698 90726 90812 90725 88995 90836 91156 91154 91288 90949 90839 91287 91289 91182 90837 90838 90907 90700 90978 90840 90885 90906 91145 90834 90899 90965 90898 90835 91146 90966 91292 91291 91293 91290 97734 97551 97544 97545 90367 90546 90524 90522 90363 90550 90545 90340 90365 90549 90342 90548 90547 90364 90366 98182 97877 97995 95464 95832 97388 95838 95834 95837 95833 95835 95836 102422 102427 102421 102424 102429 102430 102431 102428 102426 102420 102425 102432 102419 102423 98117 97809 97810 97981 97982 97807 97808 97805 97804 98181 98179 97993 98180 90327 90799 91118 91097 90484 91240 91119 90774 91261 90935 91012 91299 91298 91325 90684 90685 91324 90303 90934 90988 90660 90509 90508 90798 90916 91262 90326 91013 91096 90483 90659 90987 88573 88572 90904 88993 90715 91152 91203 90720 90975 91204 90829 90721 90905 90974 90828 90714 88994 91151 96796 96863 96845 97236 95822 96699 97435 96585 95821 97056 96561 96778 97436 97258 96864 95820 97259 96974 97078 97079 96700 96795 97417 96950 96975 96586 96675 96674 96844 90356 90355 90362 90539 91323 91305 91285 91284 91322 90309 90310 90307 90323 90308 90324 90321 90322 90325 90320 97659 97735 97658 97550 91278 91286 91198 91197 97729 97728 97796 98028 97976 97795 98116 98108 97665 97975 98027 97664 84499 77684 84498 84511 97272 97296 97297 97298 97911 95736 95732 95734 95737 95733 97564 95735 95731 96751 96748 96493 96527 96448 96446 96529 97205 96487 96641 96915 96489 96750 96449 96643 96909 96445 96528 96447 96530 97023 96910 96752 96645 96450 96640 96531 96526 96451 96913 96911 96644 96488 96912 96754 96492 96642 96491 96753 96914 96749 96490 95823 95824 97909 97676 97919 97918 97594 97595 98033 98034 98114 98115 97287 97875 97904 97872 97871 97905 97295 97293 97270 97294 97378 97352 97379 97368 97374 97194 97193 97170 97255 97172 97185 97380 97196 97369 97186 97354 97376 97375 97195 97192 97377 97197 81618 81619 102235 102234 102237 102238 102305 103967 103982 103981 103969 104965 103985 103980 97254 97256 97240 97257 97242 97241 97243 88580 103984 102306 103983 103968 103970 104983 97386 95730 97678 97562 97480 97481 97203 97022 104982 102299 96838 96668 96634 96839 96747 96633 96486 96908 96474 96518 96525 96638 96669 96475 96639 96519 84512 84513 77699 95814 95498 97304 97305 95497 95718 95831 95719 95813 96941 96940 97127 97126 96438 96437 96444 88530 86417 88387 86432 86433 86416 88334 88365 86345 86415 88344 91358 91349 88633 88634 91164 91165 91166 91163 91167 91168 88665 88669 88664 91354 91352 91356 91355 91357 91169 91350 91353 91170 91351 91086 91049 91082 91084 91083 91081 91052 90605 90587 90606 91088 91089 83497 84289 83830 84104 84105 84086 83679 84288 84267 84183 84266 83829 83653 84157 84182 83969 83968 83944 81817 84158 83855 83678 83473 83854 84410 84432 84469 84495 84468 83496 84431 84494 83654 88877 88878 90464 90467 90456 90442 90457 90463 90462 90468 90465 90466 90440 90014 90120 89756 89844 88990 90144 90034 89755 91079 61289 61285 61290 86220 86218 86222 86221 86219 88762 88770 88764 88768 88765 88761 88759 88760 88772 88767 88763 88766 88771 88769 86216 85620 85796 85618 85621 85619 85798 85622 85792 85794 85795 85797 86019 86018 86020 86016 86017 85908 85910 85433 85909 85907 85435 85439 85911 85438 85616 85436 85912 85906 85437 91075 91074 64658 64511 64059 64512 64673 64402 64401 64403 64660 64674 64675 61286 61287 61302 75067 61296 61218 61282 91051 91050 91080 91085 81667 64510 64659 64055 64499 64053 68055 68097 68096 61165 81923 68095 68094 61146 61164 79332 79257 74824 74806 74825 74805 74826 79544 79545 79527 75163 75158 75159 75165 75160 75169 75164 75166 78888 78712 68110 68111 74862 74863 76445 76282 76173 76444 76172 76270 76174 76431 75010 76281 76283 76446 76429 76430 75014 76443 76441 74846 68104 74920 74919 74868 74972 85162 85153 85161 84997 84998 84991 84990 84999 85154 85160 68103 68099 68105 68100 68101 68102 74827 78737 79283 79027 78738 74802 77713 79547 79461 79483 79120 79003 78532 79520 79521 79482 77727 79546 68113 68098 68054 76434 76442 76435 68112 77714 74803 74828 74804 78889 79028 79139 78713 79354 79258 78555 78914 79333 79355 79282 78913 78556 79138 86336 86340 86335 86014 86337 86431 86429 86428 86338 86339 86427 86430 86341 86342 86426 84535 84536 85253 85258 85254 85256 85257 85255 84538 84542 84537 86080 86152 86154 86282 86285 86283 85759 85757 86005 85996 85781 85897 85871 86004 85895 86007 86006 86273 86284 86281 86259 86257 84628 86078 84574 86129 86153 86069 86155 86076 86127 86151 86143 86052 86079 86077 86054 84627 85893 85896 86003 85784 85980 85783 85899 85785 85782 85894 85873 85898 85982 85888 85774 85773 79542 79543 79529 86407 86409 86411 86410 86406 86408 86404 81578 81568 81569 81617 81602 81567 86244 84531 84530 86403 86150 86074 86075 86149 86002 85780 86279 86280 86405 84558 85605 85606 85424 85426 85399 85422 85607 85423 85581 85583 85425 85609 85608 85401 85414 85415 85604 85421 85598 86424 86422 86423 86425 86217 85943 86013 85944 86015 86211 86212 86331 86215 86332 85204 85092 84815 85664 85665 84929 84790 85285 84904 84928 85007 85179 85203 85093 85024 84625 85025 85308 84814 85646 85307 85465 85488 85074 84624 84623 85487 74748 74739 74788 74772 74789 74737 74738 74787 84903 85073 90411 90424 90410 90425 90413 90426 81721 81717 81720 81722 81740 81716 81741 78554 78536 78552 78537 78538 78551 78550 78539 77725 77720 79451 79066 79246 79150 79427 79177 79323 79248 79249 79175 79322 79152 79064 78929 78953 78927 78952 78955 78954 78951 77744 77728 77798 79321 79299 79297 79041 79065 79043 79429 79247 79174 79068 79224 79222 79176 79250 79324 79067 79173 79325 78950 78751 78778 78753 78777 78776 78775 78779 79573 79443 79574 79575 79579 79452 79454 79577 79581 79578 79453 79166 77797 78944 79172 79058 79244 79319 79320 79245 78943 78774 79069 79455 79576 79580 78768 90033 90145 90428 89948 90249 90226 90015 89966 89731 89845 90427 90412 89965 89869 90429 89870 90406 90248 88991 88992 81808 88874 88870 88869 88853 88868 88871 88876 88873 88875 88852 88872 88865 88866 88861 88859 88867 88862 88864 88858 88863 88857 88849 88850 88851 88854 88860 88856 88855 83477 83491 83495 83494 84493 83490 81815 84492 84475 81816 83493 83479 83478 83480 81810 74917 74918 74914 74915 77724 77723 81809 83492 78549 77726 78553 79063 78585 78584 78571 78595 78594 78569 78593 78592 78596 79449 79450 79313 79239 78591 74807 74810 74808 74809 74822 74821 74820 74823 33987 33980 33981 33986 33977 33985 33982 33990 33976 33983 33984 33979 33978 33988 33989 33932 36665 33933 36269 36514 36194 36490 54448 54453 54447 76157 76159 76158 75353 75366 75365 75354 75367 75352 75965 75251 75967 75979 75980 75966 75978 75268 75252 75253 75266 75267 74977 74976 76740 76556 77211 76741 76557 76924 76908 77199 77084 77099 77098 77197 77085 77210 76922 77212 77394 76558 76923 77378 77376 77375 77362 77361 77360 77377 77393 76907 77407 77408 76726 76724 76544 76739 76545 77409 76909 77198 77100 76543 76725 84022 83909 83731 82172 84254 83908 83905 84023 81834 81835 81839 84219 83907 83729 82173 83733 84221 84216 84218 84222 84220 83906 84019 84253 84017 82174 83903 84252 83732 84250 83730 84020 84021 82175 82178 82176 82177 83727 81700 68184 68180 82043 82044 82046 82039 82040 82048 82047 82042 82045 82038 82041 76060 76022 76020 76007 76061 76009 76008 76021 76062 82021 82020 82019 84334 84337 84336 84256 84255 82077 82073 82072 82076 82074 82075 81804 84338 84251 81934 81952 81940 81950 81948 81938 81951 81944 81936 81937 81941 81949 81943 81946 81939 81947 81942 81945 81928 91045 91042 91041 84217 81803 84339 84340 84335 84215 84211 84212 77083 74870 76269 76268 82035 82036 82022 82023 82029 82028 82033 82032 82031 82037 82034 81695 81696 82027 82025 82026 82024 82030 77114 77275 77328 77353 76666 76849 76848 76667 74987 77025 76643 77639 77138 77352 77437 77459 77580 77602 77024 76946 77664 77000 77458 77256 76046 76045 76047 75012 75013 77571 77556 77558 84528 84527 84525 84523 84526 84524 77573 77557 77572 76163 76171 76271 76162 76279 76280 76278 76272 75250 84333 84259 84258 84249 84520 84522 84521 84519 84245 84244 83726 83902 83820 83821 84016 83544 83547 82791 83549 83366 83548 83369 82785 82787 82786 83550 83364 83365 82790 83546 82789 83545 83368 83367 82788 84018 83728 83904 82071 82983 82982 82980 82981 83934 83935 82831 82827 83089 82829 82832 83092 83094 83090 83249 83251 83093 83250 83091 83088 83253 83363 82833 83254 83252 82828 82830 83255 82984 82871 82985 82868 82869 82870 82867 82866 82979 83644 83645 83466 82784 83362 82778 83467 83543 82777 82070 83178 83179 82858 82859 82978 82814 82815 82973 82865 83248 82826 82974 83009 83008 83087 83281 83280 81837 81838 82171 82059 82058 82154 82153 77139 76824 76927 47856 47857 76945 77638 77274 77665 77601 83118 82161 83039 83135 83203 82160 82162 83015 83136 83757 77327 77436 76823 76999 54676 35454 35461 35450 35463 35464 35451 35465 35466 35455 35449 35462 36103 35928 35929 36398 36414 36120 36380 36217 36218 36381 35927 36429 36382 36232 36104 36397 35944 36219 36413 36105 35745 35578 35746 35564 35565 35563 35744 35761 36189 36557 36505 36506 36259 36188 36325 36558 36074 36258 36326 36075 36592 36593 36428 36578 36577 36576 36427 35700 35724 35727 35882 35910 35884 35906 35726 35899 35898 35909 35702 35725 35723 35716 35908 35907 35715 36119 36118 34387 36231 36395 35577 34373 35576 35760 34987 35943 34372 35942 34386 36396 34998 35000 34986 35759 36230 34999 34985 36591 34385 34374 81927 36646 36638 40762 40763 35292 35291 35300 35192 35182 35194 35290 35191 35301 35302 35183 35298 35299 35303 35193 40770 40769 43177 42673 43430 42674 42796 42777 42516 42964 43106 43287 42850 42849 42795 43286 43178 42060 41921 41180 42223 41946 54704 54712 54699 54724 54726 54722 54708 54721 54714 54702 54700 54719 54713 54723 54709 54717 54716 54706 54701 54703 54711 54718 54707 54705 54725 54715 54710 54720 49528 50033 50139 50008 49680 50117 49504 49954 50260 50138 49704 50281 49607 50344 49936 50318 50345 50032 49819 50282 50319 49529 47667 49955 49347 49346 49625 49794 49818 49626 49705 49323 49679 50116 54630 54621 54616 54622 54604 54610 54628 54607 54613 54623 54627 54618 54614 54603 54620 54617 54624 54631 54632 54619 54626 54615 54612 54605 54611 54609 54606 54629 54625 54608 36647 40829 40828 40836 43512 40835 43513 42499 42497 42513 42511 42500 42514 42515 42498 42512 47898 47870 47871 47877 47874 47876 47875 47880 42510 43495 36563 35904 36564 36080 36265 36081 35722 35905 36264 36512 36511 36335 36334 40780 40779 40781 33853 33849 33852 33850 35289 35288 38277 38302 38375 38567 38140 37909 38541 38278 38353 38048 38540 37576 37933 38159 38374 38502 37757 38047 38023 37934 37758 37552 37575 38481 37733 38503 38352 38303 37732 38158 37908 38566 49246 49269 49140 49053 49449 48865 49165 48985 48012 49268 49054 49035 49426 48010 48889 49448 47518 47520 47519 47532 47533 47531 47529 47530 35721 54572 54574 54575 54573 40671 40660 40670 40669 38564 38565 37556 37574 37558 37572 37557 37559 37573 37571 13471 13470 13458 13415 13457 13474 38547 40796 36764 36748 40797 40801 40804 40803 40802 40805 37453 37083 37081 37082 37452 37190 37192 37179 37191 37048 37044 37049 37047 37039 37634 37454 37467 37635 37633 37650 38398 38007 36837 36800 38431 36874 36872 36886 38119 37832 38413 36739 36735 37071 37072 37080 37085 37050 36933 36932 36931 36930 36929 37180 36924 36971 36969 36970 37043 37051 36928 36927 37053 37189 36923 37088 37181 37045 36783 36768 37255 37040 37084 37037 37041 37038 37046 37188 37257 36926 36922 36925 37087 37256 37064 37173 37086 37052 37258 36890 36912 37334 33892 33887 33894 33896 33895 33898 33897 33891 33893 37254 36937 36938 33877 33889 33888 33876 33878 36901 36914 36921 37253 37060 37061 37058 37062 37063 36936 36726 36956 36892 36950 36770 36725 36949 36913 36891 36911 38597 38596 38598 38172 38449 38332 38185 37964 38319 38244 37949 38194 38088 38472 37974 38061 38195 38600 38601 38473 38317 37975 38258 38186 38086 37972 38170 38089 38343 38462 38447 38268 38333 38085 38341 38471 38197 38196 38259 38463 38474 38475 38344 38267 38078 37963 37971 38077 38193 38063 38599 38270 37973 13465 20164 20188 20187 20185 20163 20186 20166 13464 13469 13459 13460 13466 13463 13462 13454 13429 13461 13472 13468 13473 20298 20297 13467 36767 36815 36980 37005 36814 37035 37034 33883 33882 36724 37067 37066 37068 36723 37079 38433 37465 38432 36816 36817 37831 38414 36835 36849 38395 36802 36885 38230 36836 38008 36850 37466 36873 36887 36801 36848 38120 37648 38396 38229 37649 38586 38084 38083 38594 38345 38342 38266 38269 38242 38087 37947 20245 20288 20244 20286 20287 20259 20283 20284 20282 20281 20285 20257 20296 20290 20289 27134 47866 27392 27395 27399 27401 27398 27379 27405 27380 27397 27403 27404 27384 27394 27389 27396 27393 27383 27391 27385 27390 27400 27386 27381 27402 27388 20552 20578 20561 20571 20567 20558 20568 20565 20564 20573 20569 20559 20557 20562 20563 20574 20570 20575 27382 27406 27408 27407 20332 20566 13502 20576 20554 20577 20572 27387 20560 20556 20549 20550 20555 20551 20553 44019 44009 44183 44022 44021 43901 44182 44010 44170 43902 43913 44020 44185 43912 43910 44011 44174 44180 44173 44184 43911 44169 44018 44017 44181 44168 41017 41037 41027 41035 41033 41032 41012 41029 41028 41018 41034 41024 41031 41021 41011 41020 41022 41030 41023 41036 41025 41026 37605 37612 37799 37611 37787 37613 41009 41014 41013 41010 41015 41008 41019 27126 15064 13539 13535 13534 38470 38340 38192 38469 37969 37970 38264 38339 38265 38593 38592 37591 37616 37589 37797 37795 37615 37773 37771 37796 37614 37798 37794 37788 37793 20165 20294 20184 26993 27015 26994 27017 27018 27016 20579 20381 27014 20582 20580 20581 26996 15849 15777 15778 15848 16025 15779 16052 15821 15850 16000 15753 15819 16026 15780 16023 15846 16027 16024 16054 15847 15776 16075 15594 15068 16002 15682 15710 15709 15392 13527 15755 13760 15237 15419 15066 15420 15409 15707 15592 15233 15234 15418 15065 15067 15236 15235 15596 15416 15568 15595 15708 15706 15417 15593 15069 13865 15394 16161 16158 16076 16163 15212 15684 16159 15210 16078 15570 16079 16162 16077 16160 27131 27130 27123 27122 27133 27125 27132 27127 27128 27129 27120 27119 27162 22498 22616 22027 22208 22635 22384 22999 20347 22940 22359 22687 26995 15173 15196 15966 15353 15668 15805 15179 15989 15379 15804 15180 16110 16168 16195 16194 15643 21734 23022 20339 20346 20345 15554 15669 22962 15857 22713 22184 15530 22209 15883 15882 22998 22796 16192 22183 16169 15858 13515 20691 22360 22499 20338 22819 15354 15529 22026 15786 23023 23024 15555 15197 22385 27124 20299 14058 20532 20537 20535 20533 20540 20545 20539 20547 20542 20541 20544 20543 27377 27356 27369 27350 27355 27365 27373 27374 27366 27353 27370 27351 27348 27349 27362 27364 20548 20546 20518 27089 27075 27118 27074 27117 27114 27116 27113 27111 27112 27115 34224 34229 34228 34218 34225 34219 34213 34226 34222 34221 34227 34223 34212 34215 34220 34217 34216 34214 27026 27025 27044 27024 27140 27139 27137 27148 27159 27150 27158 27151 27157 27152 27156 27155 27147 27146 27153 27154 27121 27160 27149 20520 20521 20522 30248 30520 30250 30357 30241 30514 30236 30348 30513 30525 30350 30359 30361 30524 30521 30509 30523 30251 30362 30510 30237 30360 30253 30347 30358 30249 30351 30242 30238 30252 30508 30522 30349 13752 13687 13551 20523 20524 20525 20529 20519 20531 20534 20888 20517 20536 27357 20526 27371 20538 27375 20530 27372 27136 27368 27358 27363 20527 27354 27361 27376 27360 27352 20528 27135 34206 27367 27359 27718 47627 47626 52186 52070 52066 52072 52068 52071 52069 47548 47549 47554 47552 47551 47556 47553 47555 47547 40937 40934 40928 40913 40932 40927 40929 40914 40931 40926 40925 40940 40939 40923 40941 40921 40936 40917 40922 40930 40918 40912 40924 40935 40933 40938 40919 40916 40920 40915 50007 49503 49034 48864 54379 52189 52188 52190 47841 47842 52191 52192 52276 47635 47631 47634 47633 47632 27211 50393 49856 49832 49834 48015 47910 50175 50176 50228 50226 50174 50225 50202 50173 50204 50229 50227 50177 50000 49718 49746 49742 49720 49745 49744 49743 47543 47542 54380 51417 51963 51707 51708 51818 51393 51819 52034 51962 52035 52013 52012 51938 52163 52200 52201 52162 52227 51569 50407 51683 51212 51236 52141 51418 51235 51800 51593 52226 51594 51937 52278 52277 52279 50386 50385 52187 52185 50394 50405 50400 50406 51216 52225 51219 51392 51218 51217 51231 52207 51234 52224 51232 51230 51568 51233 51229 54329 54328 50378 50372 50370 50371 50375 50377 50311 50306 50369 50309 50308 50310 50374 50376 50373 52275 50307 52273 52274 54576 51496 51514 51515 51315 51338 51337 50778 50640 50474 50942 51135 50874 50857 50779 50664 50875 50924 50665 51053 50754 51158 50473 50475 51054 50943 51157 51029 47904 61504 61503 61498 61499 61500 61505 61509 52181 52182 52067 47658 52065 47770 47747 47768 47755 47746 47762 47758 47769 47759 40668 54670 54668 54669 54673 54679 54674 54675 49344 50343 50342 49345 49341 47659 49342 47665 47666 49343 49330 47840 47839 47849 47838 47845 47843 47844 50325 43565 43569 47761 47763 47753 47756 47752 47757 47764 47754 47744 47766 47765 47771 47743 47748 47751 47749 47760 47745 47767 47750 47742 61426 61417 61412 61421 61419 61402 61407 61424 61406 61427 61431 61430 61413 61422 61420 61418 61416 61415 61425 61428 61429 61423 49340 49328 49327 49329 49857 49926 49971 49903 49860 49858 49927 49929 49996 49859 49905 49999 49928 49997 49969 49930 47677 47498 51869 51870 51865 51866 51868 51867 51864 52061 52062 51863 51690 51704 51689 51705 51706 51702 51688 51687 51701 51467 51468 51471 51469 51472 51470 51647 51646 51648 51644 51645 50387 50392 50388 51642 50491 50488 50489 50490 50487 50486 50485 50408 50424 50395 50399 51793 51794 50445 50462 50447 50444 50446 51668 51766 51874 51891 51768 51876 51667 51669 51875 51767 51781 51309 51653 50534 50546 51125 50532 51126 51492 51890 51654 51779 51780 50545 50508 50495 51308 50496 50510 50533 51293 51477 51295 51294 51478 51127 51310 51493 51476 50547 50497 51491 51652 51889 50509 52043 52057 52044 52042 50838 50837 50409 50410 50839 50852 50743 50851 50741 50742 50577 50590 50631 50591 50578 50630 50740 50841 50999 50840 51015 50848 51000 51004 51012 51010 50847 51114 51014 51011 51003 51013 50850 50731 50732 50849 50998 51112 51113 50383 50384 50738 50727 50739 50726 50728 61405 61404 61403 61411 61409 61410 61414 61408 50589 50629 50576 52056 52055 50460 50461 50398 50397 50616 50614 50615 51703 52257 52256 52259 52258 52134 52135 52133 51979 51856 51902 52005 51721 51745 52003 51830 52001 52109 51929 51854 51928 51977 52260 52261 52002 51927 52107 51738 50478 52131 52004 51749 51747 51857 51930 51853 51746 51748 52132 51993 51855 51919 51926 51832 51904 51723 52255 51375 51632 51349 51376 51631 51633 51374 51351 51377 51609 51607 51634 51635 51373 54377 52280 52281 54378 40708 40728 44007 44008 34034 34030 34273 34272 34288 34271 34270 34244 35505 35586 35965 35394 35205 34351 35788 35116 35947 35504 35308 35766 35480 35325 35393 35608 35375 35091 35609 35966 34352 35115 35229 35326 35789 35230 34350 33965 31164 29955 31291 30018 31384 30622 29972 33870 31163 31400 30988 29908 31179 30042 33869 31385 31289 30635 30819 30020 30019 29909 31401 29970 31399 31278 30818 30820 31002 29956 30055 30044 29907 31003 30987 33871 29905 33872 33873 30056 27414 30624 31001 30006 29957 29894 30636 27316 30043 31162 30005 31277 31386 29893 30057 30637 31290 29954 30803 30986 30805 31276 27251 29971 30007 30804 30623 51758 51760 51756 51759 51761 51762 51466 51287 51108 51289 51107 51286 51285 51288 51106 51105 51283 51104 51103 50724 50833 50827 50832 50830 50723 50391 50390 50988 50991 50831 50720 50994 50718 50722 50829 50993 50721 51102 50992 50990 51643 50437 50440 50438 50439 50441 50436 52092 52058 52091 52093 52073 52074 51757 50522 51674 50434 51755 51673 51641 50527 50525 50524 50523 50526 50528 50435 51559 51465 51560 50484 51383 51384 50467 50466 52123 65329 64238 64250 64107 65327 65328 65312 65313 64953 64787 64772 64773 64955 64954 64774 64970 65138 64106 65314 65137 65136 65153 64498 64237 64291 64290 64251 64122 52254 64046 64045 64047 64048 65728 65730 65729 65727 65726 65526 64763 64767 64268 64383 64382 64381 64054 64378 64226 64267 64380 65529 65530 64266 64270 64764 64384 64768 64766 64265 64269 64379 65131 64052 65524 65128 64765 65132 65130 65129 65302 65527 65528 61197 61196 44278 44275 44273 44274 45034 43562 43557 44277 45037 45036 44640 45240 45239 44459 45033 44453 44458 44641 44812 44818 44817 45238 44456 44926 44455 44636 44642 45241 45236 45355 45358 45362 45361 33860 33859 33858 49854 49855 49998 50152 50150 47689 47685 47684 50313 50312 64968 64170 64155 64969 64785 64786 64194 64168 64205 64157 64169 64192 64156 64206 64207 64193 64058 64043 64044 64057 64120 64121 70881 68032 68033 70880 75039 65381 65293 65267 65408 65294 65295 65406 65291 65515 65383 65517 65292 65409 65407 65405 65490 65514 65269 75063 75065 75064 65284 65283 65398 54519 54515 54514 61465 65588 65586 65663 65791 64138 65769 65589 65664 65637 65590 65665 65661 65587 65662 65767 65562 64084 65492 65639 61464 61466 61361 61561 61563 61560 61562 61432 61497 61559 61463 61401 62158 61539 61549 61553 61548 61554 61550 61542 61544 61551 61545 61552 61556 61557 61555 61530 61531 61536 61535 61546 61558 61547 61541 61543 61533 61540 61534 61529 61537 61538 61532 48687 48740 48700 48741 48962 48742 48702 48688 48689 47694 47690 48963 48701 48961 48949 48950 48851 48842 48852 48843 48948 48853 48854 65660 65659 65516 65513 65404 65403 48776 48011 48775 48890 48986 48968 48751 49164 45351 45352 68069 68067 68091 68092 68093 44929 44931 75230 77524 77486 81748 77633 77390 77392 77420 77389 77422 77429 77428 75955 77425 76714 76901 76719 75961 77423 76534 76538 77549 77472 81744 77629 77630 77631 77548 81745 77496 77495 77628 77632 75335 77538 77497 77494 77545 77470 81747 74997 77547 77493 75009 77507 77506 77504 77505 77508 77503 77509 77510 77695 77694 77698 77696 77690 77697 77693 77691 76535 76718 76902 76900 76717 75958 77426 75956 76537 76715 76720 76716 76539 77073 74973 75004 75005 75960 76536 77424 76897 76903 76899 68127 68129 68137 68132 68134 68128 68135 68139 68131 68133 68126 68130 68138 68136 68140 68090 76151 75999 76153 76036 76263 76041 76261 75997 76040 76037 76155 76001 76154 76038 76262 76258 76259 76003 76260 76152 76000 74980 76264 76150 76149 76039 77485 65579 65506 65512 64068 65151 65152 76002 74974 77546 77522 75998 77391 75957 75959 75206 75197 75215 75189 75201 75207 75217 75191 75204 75205 75218 75199 75210 75194 75192 75202 75209 75190 75211 75216 75214 75200 75195 67947 67945 67948 68037 68036 68035 81933 75203 75198 75208 75213 75212 75193 75196 56935 56930 56934 54483 56929 56931 54484 57015 56862 56863 56535 56534 56968 56838 56510 56947 56785 56649 56648 56969 56784 56176 57174 57149 57148 56455 54497 56624 56766 56437 56334 57090 57175 56153 56359 56456 57112 56177 56358 57111 51591 51589 51590 51334 51592 51588 51575 51576 51573 51574 51336 51320 51335 51321 51319 51322 51744 51743 51846 56946 56837 56509 44375 44276 44638 45360 45039 43558 54460 54459 54455 54471 54470 54472 54468 54467 54465 54466 54469 54457 54456 54477 54476 54473 54474 54479 54475 54478 54480 52272 51333 54430 52253 54429 51587 58901 58698 57229 58302 57225 58899 58902 58694 58900 58474 58475 58478 58299 58301 58896 58700 58697 58898 58477 58696 58300 58298 58699 58476 58472 54496 54488 54495 54489 54373 54372 57172 57173 57155 65887 65254 65078 65860 65861 64895 65229 65598 65253 65367 64896 65077 65623 65368 65694 65822 65343 65673 64872 65479 65695 65801 65823 65478 65622 65460 65053 64067 65886 59016 68331 68355 68349 68351 68332 68328 68330 68347 68353 68350 68329 68354 68356 68352 68348 68357 68988 54362 54363 54359 54361 54360 54349 54350 54348 54375 54376 56933 57013 68334 68345 68344 65597 65672 65228 65052 56175 56171 56333 56172 56173 56157 56160 56158 56174 56159 57202 56170 64065 64066 64060 64879 64894 64892 64889 64891 64876 64877 64893 64890 64878 65885 65884 65867 68335 68339 68333 68336 68346 68340 68341 68342 68337 68343 68338 75069 75070 75071 75074 61349 61345 61344 68082 68209 68083 77038 77249 77180 77063 77065 77248 77250 77152 77225 77178 77317 77179 77176 77064 77040 77223 77246 77177 77066 77320 77318 77247 77154 77062 77316 68242 68253 68243 68260 68247 68241 68245 68252 68249 68255 68256 68261 68237 68259 68250 68251 68246 68257 68248 68258 68254 68232 68238 68233 68239 68234 68236 68240 68235 68244 61528 56702 56701 56588 56410 56412 54855 54852 56703 54854 56413 56586 56411 54858 56585 54856 54853 54857 56700 56697 56589 56409 56583 56699 56587 57020 56407 56938 56939 57016 57014 57019 57018 57017 56936 56932 56899 56901 56898 56902 56408 56896 56900 61149 61162 61160 61163 61161 61150 61159 63979 63006 63978 64005 63692 62983 63941 63798 63668 63777 63920 63454 63478 63188 63615 63340 63164 63365 63364 63189 63614 63007 63799 63479 63596 63693 63942 61327 64004 64105 65725 65848 65846 65847 65849 65850 65845 65939 65941 65940 65937 65938 65936 65851 65852 65935 65932 65933 65934 63403 63406 63494 63516 63405 63404 63380 63492 63402 63833 63835 63885 63864 63836 63837 63812 63810 63862 63834 61570 61675 65564 65523 63563 63656 63587 63658 63660 63588 63589 63517 63629 63659 63519 63520 63565 63657 63590 63518 63631 63586 65915 65917 65916 61209 61215 61213 61216 61211 61212 61217 61214 61145 65732 65731 65535 65551 65534 65536 65427 65428 65426 65441 65439 65549 65717 65703 65704 65715 65716 65702 65440 65550 68279 68275 68283 68284 68286 68267 68285 68264 68278 68289 68287 68266 68263 68265 68268 68292 68274 68291 68269 68270 68282 68280 68271 68281 68276 68290 68288 68277 61208 61207 68272 68273 61458 61455 61438 61446 61444 61437 61447 61445 61451 61433 61439 61452 61449 61441 61453 61462 61457 61440 61459 61434 61443 61460 61450 61442 61448 61461 61454 61435 61436 63585 63579 63584 63578 61456 61337 63163 63667 63776 63339 65653 61564 65795 65794 65793 65792 65783 61259 61260 61350 61354 65920 65919 65921 65918 64672 64392 64501 64663 64670 64509 64400 64671 64664 64507 64104 64500 64391 64508 61210 68387 68388 68366 68372 68373 68367 68362 68364 68384 68368 68365 68386 68370 68382 68377 68381 68363 68383 68369 68376 68359 68378 68385 68379 68375 68374 68371 68380 68360 68361 56924 56925 56895 61190 61192 61189 61191 61193 61178 61179 61180 61203 61202 61205 61252 61253 61206 64182 64187 64184 64188 64185 64183 64186 56228 56227 56229 56230 56046 56044 56045 56047 56048 56049 56226 56224 57055 54845 54507 54740 57004 56980 57005 57006 57032 57003 57007 61148 61147 56897 55466 55471 55470 55468 55465 55467 55469 55489 55477 55488 55490 55476 55475 56698 56584 56225 54851 56043 54875 54877 54862 54863 54864 54876 54517 54518 56042 54486 54487 56500 54834 56581 56580 56582 56324 56325 56615 56146 56147 56223 55961 56614 56891 56892 54833 55960 56221 56222 56406 56501 56696 64137 43483 43482 57203 57204 57208 57205 57206 57207 54734 56236 56053 56054 56055 56234 56235 56068 56251 61158 55793 55779 55683 55792 55682 55780 55684 55778 56417 56418 56419 56434 55941 55956 55954 55939 55955 55940 65789 65790 57058 57059 57057 57056 57034 56982 55951 55944 55788 55953 55781 55945 55791 55782 55952 55789 55790 55672 55681 55673 56690 56689 56576 56757 56799 56573 56688 56756 56758 56575 56662 56550 56686 56687 56572 56574 56760 56759 56828 56827 56826 56733 56830 56829 56664 56548 56801 56735 56679 56564 56565 56996 57048 56749 56816 56595 56610 56722 56594 56593 56708 56709 56707 56067 56066 56871 56872 56887 56870 54458 65913 56903 56888 56919 56904 55571 55572 55531 55518 54524 55519 54520 55532 56609 56608 56720 56721 56885 56886 55530 55517 56918 65585 65584 52095 52094 50380 52178 52194 50381 52193 56250 56249 56432 56433 57066 55556 55557 57068 57083 54777 54778 54776 54763 54760 54761 57082 57081 55667 55570 54762 54522 55669 55555 55668 54523 56917 57067 55679 55680 57179 57192 57193 57191 64713 64534 64438 64584 64603 64602 64414 65175 65156 64689 64413 65174 64714 64439 64583 64535 64517 44730 44729 45359 44927 44454 44663 44465 44297 44648 44647 44480 44284 44283 44464 44282 44463 45237 65304 65307 64943 64947 64948 65416 65418 65308 65420 65306 64945 65422 65305 64946 65419 65421 64949 65126 64249 65751 65752 65718 65734 65733 65753 65914 44554 45038 44637 44639 45356 44376 44932 45040 44646 45242 57216 57215 58897 58297 65525 64088 64300 64817 64795 64324 64818 64998 64135 64133 64325 64134 64997 64975 64087 64398 64399 64386 64387 64388 65290 58793 58865 57237 58971 59057 58065 58768 59056 58248 58066 58864 58345 58344 58649 58843 58247 58042 58630 58326 58513 58648 58424 58423 58992 58993 59030 59031 58223 58399 58792 58537 58538 58579 58937 58961 58833 58831 58835 58686 58683 58807 58734 58676 58660 58758 58757 58760 58759 58685 58834 58662 58732 58756 58687 58684 58832 58464 58465 58578 58577 58575 58461 58553 59086 58939 58551 58964 58962 58965 58963 59088 59090 59089 59091 59087 58437 58462 58576 58463 58439 58953 58823 58749 58809 57308 57254 57238 59017 59018 59019 57687 57704 58168 58167 58145 57705 57609 57754 57584 57773 57494 57859 57883 57305 57987 57470 57495 57988 57965 57304 57608 57884 57303 57772 45301 45100 45147 45302 45427 45423 43555 45025 45304 45174 45097 45171 45303 45099 45072 45026 45428 45172 45027 45426 45173 45277 45431 45430 45175 45429 45022 43594 43578 45000 43648 45024 45293 45163 45074 45002 45089 45016 44844 44963 44964 45046 45044 45045 45061 44451 44452 44811 44634 44635 44810 44445 44421 44442 44629 44917 44601 44802 44915 44626 44627 44777 44916 44891 44444 44918 44625 44446 44804 44443 44628 44908 44794 44893 44937 44951 44434 44603 44938 44618 44435 44936 45424 45149 58842 58398 58222 58767 57583 57753 58895 58891 58892 58205 58204 59085 58181 58207 58206 58203 57217 57222 57218 58296 58118 57938 58113 58119 57937 57936 58115 57934 58117 57935 58116 57933 58179 57420 57421 57406 57419 57407 57408 58590 58586 58589 58588 58592 58591 57681 57682 57667 57573 57668 57669 57571 57572 57957 57844 57943 57845 57829 57828 57944 57228 57227 57830 57843 57942 57223 57570 57562 57561 57356 57353 57354 57932 57660 57357 57820 57657 57824 57821 57659 57224 57662 57663 57320 57321 57318 57319 57316 57317 57315 57661 57822 57823 57818 57358 57355 57352 57553 57550 57552 57554 57551 43556 44925 45279 44419 57548 59020 59015 43746 44822 44838 43615 44824 43748 43760 43759 44823 43632 43801 43747 44837 43616 43617 43799 43800 43761 44839 45232 45231 52270 52271 57266 57267 57268 57271 57270 57269 58473 57265 58114 50422 50423 57956 57557 57558 57376 57377 57362 57364 57375 57955 57363 57556 57214 57213 57658 57396 57439 57438 57437 57435 57549 57436 57440 57402 57819 59011 59012 59022 59021 57276 57292 57277 57397 57401 57399 57400 57398 57671 57841 57678 57679 57670 57842 57834 57677 57840 57833 57680 58598 58597 58611 58596 58125 58308 58306 58307 58498 58497 58482 58323 58484 58705 58704 58721 58706 58610 57326 57325 57339 58139 57327 57290 58719 58609 57338 58322 57291 58138 58321 58140 58124 58483 58123 58499 58720 57340 58874 58872 58104 58288 58079 58102 58286 58285 58287 58081 58873 58886 58885 58887 58289 58263 58105 58261 58106 58103 58587 57314 58585 57264 58295 58471 57351 58112 57577 57578 57931 57748 57747 58390 58389 58573 58574 57428 57427 58695 59109 59105 59106 59107 59108 59103 59104 57381 57817 57382 57656 57395 57434 57542 57543 57253 57221 58504 58214 58503 58213 57296 58036 57220 57345 58624 57252 57849 58035 57344 57850 58623 58693 57297 57547 59102 59110 59111 58061 58047 58063 57230 58064 58046 58048 58062 57235 57236 58060 58059 58049 57569 57568 59055 59054 59037 57307 58568 59083 59084 58454 58453 58278 58196 58094 58095 58682 58830 58829 58959 58460 58755 58754 58960 58202 58101 58284 65037 65034 65033 65009 65036 65011 65035 64762 64654 64648 64653 64651 64650 64652 64493 64487 64490 64491 64489 64232 64649 64492 64488 64228 64227 64231 64230 64229 64274 64276 64275 58152 58166 58150 58163 58149 58165 58151 58164 64289 64236 64497 65930 65931 65838 65853 65854 65415 65303 65301 64148 64147 64149 64101 65417 64145 65220 64761 64146 65127 64150 64097 64094 64944 64099 64151 64100 64578 64577 64407 64408 64212 64647 64211 64372 64258 64486 64377 64257 65219 64942 64225 65125 64095 64096 64373 64264 64098 64144 64866 65722 65841 64680 64082 65044 65043 65453 64126 65721 65454 65842 65334 65333 64175 64679 65755 64040 64041 64050 64127 64174 64051 65754 64083 64865 64181 64996 64995 64994 64980 64981 64982 64979 64069 64070 64219 50477 52000 51999 51924 51925 51852 51273 51276 51455 51433 51456 51458 51457 51275 51459 51249 51431 51274 51272 51251 51454 51448 51264 51265 51271 51624 51630 51623 65026 65032 52130 52129 57274 57275 51366 51372 64993 40704 54586 54582 54581 54591 54588 54590 54585 54587 54589 54583 54579 54584 54580 54578 34286 34287 33997 33996 35179 35177 35178 35041 35029 35040 35065 35067 35066 35082 35080 35081 35027 35042 35028 40727 40685 40686 40684 42712 42545 43166 43098 42556 43347 43398 43372 42913 43047 42130 43212 42012 43227 42285 42022 42729 42888 42737 43320 43396 43026 43139 43345 43028 43399 43388 43097 42740 43073 43156 43019 42714 42295 42129 42284 42758 43244 43259 42024 42759 42013 42296 43228 42131 42279 42121 43210 42132 42394 42395 42575 42023 42393 42294 42408 42122 42291 42118 43062 42280 42292 43049 42591 42021 42128 43343 43155 42736 43336 43169 42546 42739 43397 43075 43029 43096 43030 42555 43395 43170 43141 42119 42757 42293 43211 43243 42133 43048 42281 42912 42915 43387 43479 43478 42554 42728 43167 43374 42574 42738 43088 43346 43168 43099 43018 43322 42576 43002 42532 42530 42553 41185 40847 41080 42120 42774 43344 43004 42904 43027 42916 42905 42914 43335 43100 43089 43481 42557 43480 42890 40860 42948 42950 42949 41101 40864 41102 41118 41103 43024 43025 41074 41100 37354 37178 37338 37355 37340 36917 36918 36916 37339 37353 37177 36702 36703 36701 34033 34032 36689 38381 36750 36749 45357 45035 40795 44272 44271 45108 44563 44988 44588 44878 45205 45332 44738 45182 45107 44562 45397 45133 45370 45183 44587 45371 44763 45311 45333 44764 44405 43577 44853 44382 45132 44739 44877 45204 44970 44406 45396 44989 44327 43835 44027 44112 43834 44328 44305 44684 44045 44508 43924 43948 44094 43643 44485 44199 43644 44224 44507 43645 44666 44223 44044 43810 44113 44685 43949 44093 43923 43575 43563 44401 44389 44386 44388 44404 44387 44403 43576 44399 44402 44400 43570 38595 30101 30099 31552 31583 31177 31178 31602 31565 31568 31566 30088 31554 31584 31601 31553 31567 30087 30100 30086 31603 45212 45059 44949 45214 45213 45060 44950 43717 45226 44296 43679 44295 44661 43666 43678 45225 43665 43715 44479 43704 43702 44478 43703 45227 43680 44662 43716 43667 43553 43786 43785 43567 43554 43630 43631 43568 43784 43896 43898 43897 36784 36785 36787 36786 40683 40701 40702 40700 40699 40703 38534 38518 38533 45261 45262 45244 45228 45263 45243 40689 40688 40690 38378 38105 38213 33972 33974 33971 33975 33973 36954 36955 36737 36738 38435 43908 43909 43614 45348 45363 45265 45364 38191 45394 45395 45377 23044 23059 27043 27030 27042 27041 27028 27029 27378 27413 27315 27410 27282 27314 27411 27347 27412 27313 27409 20436 20432 31703 31704 29890 30126 27039 20441 20437 14348 20485 20435 20583 27256 27272 27269 27279 27268 27229 21178 27273 27281 20438 27271 20447 27275 20421 20445 20442 27274 27252 27280 20486 20433 20443 27040 20451 20448 20431 27277 27257 20446 20449 20483 20444 29891 31688 30125 31605 27278 27263 27267 27265 20452 20439 30139 30141 27270 20484 13753 13656 13591 20440 20399 20450 27266 30140 30124 31604 43225 41871 43408 42590 41858 41895 41830 41872 42406 41216 41815 41817 41828 43257 43226 42935 43421 43407 41816 41859 41870 41117 42407 43060 42933 41910 43406 42772 42589 41203 41204 43423 41911 43061 41202 41217 41897 43422 41912 41857 41896 42934 41116 42773 41829 41215 43258 43468 43476 34353 35189 34354 35190 34237 34238 34236 20291 22010 22024 22023 22021 22025 22009 22022 22008 34209 34231 34233 34211 34235 34234 34230 34232 34210 34205 34207 27087 34200 34202 34199 34198 34203 34204 34197 34178 34201 34182 34179 34180 13499 13496 13489 13488 13500 13498 13486 13494 13493 13490 13495 13497 13491 13487 13492 17780 17706 17957 17829 17983 17704 18110 17309 17482 17283 17595 17123 17099 17573 17281 17984 17851 17597 17481 17126 17571 18105 17101 17598 17457 17305 18111 17779 17981 17122 18106 16328 17483 17125 18107 17854 17596 17484 17307 17308 17599 17776 17707 17852 17855 17959 17459 17485 17306 17703 17124 17982 16258 16274 17705 17682 17778 17680 17827 17754 17853 17777 18109 17985 17752 18108 20321 20318 20322 20327 20326 20324 20317 20319 20323 20320 20330 20325 20328 20316 20329 24937 24936 23158 24512 24608 24935 24311 24536 24314 23420 23690 23411 20307 20310 23678 23693 23412 23530 23529 23421 23694 23528 23692 23527 23680 23531 23422 23423 23532 23695 23684 23683 23691 23679 34195 34196 34184 34187 34190 34185 34193 34189 34183 34191 34181 34194 34188 34192 34186 23406 23407 20306 23408 20305 23521 20309 23520 23519 23418 23518 23517 23419 22007 23899 23086 23080 23896 23910 23085 23912 23897 23911 23914 23898 23073 16689 24938 24941 24940 21790 21630 21519 21643 21804 21640 21802 21638 21518 21529 21534 21639 21533 21789 21632 21791 21801 21803 21641 21805 21517 21795 21530 21794 21523 21642 21532 21531 21522 21631 21806 23226 23989 23988 23214 24172 23990 23064 23188 24157 23806 23807 24158 23794 23973 23805 23213 23175 23190 23975 23063 23177 23189 24173 23176 23792 23212 23974 24156 23225 23793 23227 24171 23005 20374 20370 22020 22003 13517 22688 22961 22818 16132 23025 13509 16193 22634 13516 16131 22797 22474 13508 22712 24418 24134 24933 24932 24939 24683 24139 24680 24537 23953 24427 23956 24138 24609 24534 23929 23088 24289 24113 24428 24685 24681 24315 24287 23944 24310 24679 24111 24309 24604 23157 24610 24682 24535 24136 24584 24582 24304 24810 24606 23156 24605 24417 24809 24532 23945 24607 24815 24533 23954 23104 24403 24787 24510 24684 24814 24401 23951 24128 24426 24133 24303 24789 24811 24137 23955 24429 24135 24425 24312 24313 24657 24659 23952 23931 24813 24812 20195 24905 24904 20214 20196 24821 24843 23087 24842 23892 24480 24072 24617 24692 24248 24176 24195 24194 16848 23733 16701 16687 16690 23915 24098 24388 24249 24715 24643 24618 24387 24642 24073 24693 24498 24714 24499 23916 24273 24274 24363 16592 13476 16688 16702 16590 16697 24906 16581 16700 24881 16698 13480 16864 16850 16582 16865 16853 23458 13479 16860 16854 13475 23623 13477 23622 16863 23734 24907 16593 16849 16862 16861 24880 23459 16699 16691 29464 29792 29465 29136 29648 29328 29627 29190 29215 29446 29117 29543 29791 29329 29304 29135 29770 29649 29542 29214 29039 29014 29855 29828 29829 37678 37836 37004 37393 37119 37282 37497 37369 36813 37264 37498 37283 37655 37854 37677 37855 37475 37118 37394 37094 37263 37093 29517 29518 28856 28833 28857 29854 27177 29038 27522 27521 28674 28756 28563 28936 28496 28399 28650 28375 28779 28400 27520 28495 28564 28478 28959 28545 28778 28675 28958 31544 31104 31329 31545 31472 31473 31218 31217 31523 31079 40707 40706 23124 23079 24571 24724 24556 24736 23140 24446 23126 24673 23125 24735 24569 24461 24599 24525 24334 24448 24349 24802 23142 24332 24723 23078 24348 24526 24459 24555 24598 24460 24722 24447 23075 23141 23077 23127 24570 24347 24803 24333 20584 24737 24672 24554 24934 24772 24738 24754 24771 24773 24753 24926 31078 31522 25114 26251 25877 26674 26060 25077 26234 26362 26568 26654 26236 27168 27176 27169 27175 27110 27109 22679 22830 22651 22512 22680 22398 22064 22539 22067 22607 22422 22249 22585 22066 22222 22540 22583 22224 22609 22536 22882 22906 22909 22853 22856 22425 22400 22423 22247 22610 22538 22246 22248 22537 22649 22065 22606 22040 22608 22424 22063 22857 22855 22426 22678 22854 22989 22905 22514 22884 22908 22988 22250 22677 22987 22676 22907 23909 24887 23913 16591 24097 31103 30928 31448 30903 31447 30902 29683 29507 29686 29712 29509 29510 29479 29687 29481 29436 29506 29685 29714 29735 29508 29660 29437 29415 29438 29440 29413 29662 29439 29684 27420 29344 27525 29342 29368 29366 29367 29369 29370 29739 29737 29736 29738 29819 29818 27187 30722 31006 30746 31193 31024 31025 31711 29917 30745 31673 31736 31710 31310 31672 31651 30288 30263 30538 30452 30563 30453 30539 30847 30848 30825 30668 30645 29984 29983 30667 29985 30434 36645 36644 25420 25324 30433 29817 26059 24980 26569 25308 26567 25129 25433 25594 26350 25310 25597 25321 26458 25128 25876 26456 25029 25092 24966 26471 25592 26058 25115 26655 25695 26778 25043 26777 25707 26249 25421 25892 24977 25042 25580 25694 25079 25891 25581 26073 25116 25582 26673 26363 25320 26656 24965 26349 25434 25322 25709 25432 26457 26675 25078 25595 25309 24979 26582 25890 26075 25419 25596 26473 25028 25708 26361 26472 25091 25875 26776 25325 25323 25090 26348 25044 26250 26235 24981 25127 25027 26581 26074 25593 25696 26580 30743 30729 30728 30744 30741 30740 30742 29910 29915 29903 30726 31735 30727 20357 20695 20590 22042 22832 29916 31717 31734 30739 45235 45449 45446 45447 45443 45444 45445 45448 29013 29189 29626 35204 35374 29823 29820 29822 29814 29815 29821 29816 37713 37717 37715 37689 37716 37714 37691 31328 31737 30264 30564 30289 30927 31231 29988 29934 31134 31145 31133 31141 31142 31143 31144 31117 30943 30941 30965 30969 30783 30785 30966 30774 30775 30958 30786 30759 30967 30784 30957 29256 28872 28870 29230 29077 29853 28852 29852 28854 29835 28855 28853 28840 28837 28838 28851 28839 29252 29054 28893 27195 29076 27199 29253 29255 29078 28896 29080 27194 29079 28897 28894 29254 29052 28892 29228 28895 29919 29926 29920 27204 27200 28363 28469 28633 28468 28470 28352 28461 28361 28362 28473 29097 29099 29114 28624 28914 28931 29098 28916 28619 28471 28632 28631 28462 28364 28472 28636 28915 28353 28733 28734 28735 28748 29358 29359 28625 28460 28621 28634 28635 28620 30761 34142 34141 34137 34138 34128 34131 34134 34129 34130 34140 34122 34117 34135 34123 34113 34059 34133 34124 34118 34126 34127 34136 34132 34139 28008 29364 29365 29747 29675 29401 29748 29495 29728 28850 29245 28930 29388 29274 28929 29599 29598 29387 29567 29068 29069 29496 29763 29565 29566 29402 29551 29244 29428 28886 29429 28885 29808 29727 29273 29552 29568 29550 29400 29597 29762 29389 29761 29584 29746 29583 29290 29676 29275 31766 31644 28544 28374 44633 44919 44814 44803 44843 44801 44457 44815 44813 45098 44805 45450 45451 45442 45096 44809 44450 45023 44816 44928 45305 44779 44553 44930 30859 37659 36728 36727 37661 37676 37660 36732 37673 37674 37662 37675 31139 31640 30964 31435 31639 31361 31510 31509 31253 30963 30781 31254 31140 31362 31434 31756 31642 31764 31645 31342 31414 31641 31503 31428 31258 31632 31768 31489 31619 31769 31643 31767 31363 31356 31364 31247 31257 31340 31412 31366 31259 31367 31355 31429 31365 30780 30968 30782 31119 31514 31487 31436 31438 31255 31233 29918 31765 31248 31256 31502 31511 31633 31437 31513 31440 31617 31439 31512 31515 30884 30705 30706 30886 30709 30707 30708 30681 30885 31061 31051 31062 31038 31052 31297 31060 31036 31059 31063 28459 28458 30887 29986 29987 34110 34093 34096 34106 34104 34105 34091 34099 34098 34101 34095 34103 34100 34102 34109 34108 34092 34097 34107 31770 31771 36756 40719 40726 40721 40718 40723 40724 40725 40722 40713 40712 28198 28212 28199 28211 28197 28252 28210 28251 28250 29173 29162 27424 29163 29174 30883 30861 40717 37706 37711 37712 37705 31762 34111 31763 44913 44914 29288 29289 27443 27458 27441 27442 29871 29872 28156 28169 28747 27457 29113 27557 27203 28170 28157 27167 28155 27542 28746 28348 28347 27456 27166 27544 27202 27555 27556 28349 29112 28168 27543 29858 23042 23041 29859 23043 28235 28237 28236 29873 27440 27009 27013 27000 27011 26998 26997 27010 26999 27012 27103 27102 27008 24423 24424 25585 26679 25586 25314 25313 27423 27422 28360 27524 28359 27523 29504 29434 29251 29250 29733 29682 29734 29075 29074 29681 29435 29505 30698 30875 30881 30882 31057 31296 30703 31295 30704 31058 30876 30697 29925 29924 30683 27189 27190 29172 29147 29170 27188 29149 27208 29171 15177 15194 21844 20692 15193 15178 15967 21733 21569 21570 21845 15192 15378 15195 15191 15644 15988 22287 22305 22306 36755 35802 35824 35826 35827 35828 35800 35825 22992 22991 22990 22993 20481 20480 20478 20475 20476 20479 20471 20472 20466 20464 20470 20473 20463 20477 20462 20458 20467 20468 20469 20474 20482 27288 27303 27304 27310 27296 27293 27294 27297 27301 27302 27306 27312 27309 27308 27311 27299 27292 27300 27298 27305 27307 27287 27283 27289 27286 27291 27285 27284 27290 27295 20181 20183 20170 20169 20182 20180 20179 20167 20168 34082 34084 34083 34089 34086 34087 34085 34088 34090 34094 22460 13654 13622 13655 22721 22769 22559 22916 22557 22754 22722 22720 22933 22738 22753 22917 22558 22737 22918 22572 22599 22666 22846 22598 22665 22845 20628 22459 22458 22284 22443 22269 22101 22444 22267 22268 22445 21917 21916 21918 22085 22084 22086 20613 20612 20611 20610 22100 21629 21628 21903 21905 21904 22735 20210 22768 22767 22736 20213 20211 20212 20209 22931 22570 22283 22529 22897 22898 22414 22415 22056 22055 20272 20200 22851 20273 23029 22986 22978 22420 20199 22238 20337 22903 22244 22675 22062 22852 20694 22605 20198 21326 20726 22984 22245 20693 22604 20727 22932 22528 21339 20626 20627 20336 20373 20372 22239 20713 20725 22282 22571 20712 21325 22061 22534 20714 22674 22421 22535 22985 22904 22099 21340 21327 21338 35823 35816 35817 35822 16175 21714 21544 21820 21819 21545 21715 20690 22128 22129 22106 21949 21948 21926 20455 20456 20453 20457 20454 14798 14799 14701 14692 14973 14703 14801 14810 14811 14812 14809 14976 14800 14961 14965 14959 14964 14960 14808 14972 14975 14704 14971 14802 14693 14813 14974 14702 14687 14699 14688 14689 14700 17519 17893 17924 16976 17145 17618 17504 16975 17518 16977 17907 17905 16359 16397 17160 17631 17617 16346 17942 17726 16347 17906 17908 18044 17894 16395 17941 17630 17158 16384 17159 17144 17725 18043 17503 17741 16312 16345 17629 16311 17342 16310 17326 16396 17143 17616 17739 16382 17724 16383 17740 17341 16358 17517 18028 17502 17943 17328 16360 17923 17327 17892 17343 16157 15728 16086 15727 13882 13896 15629 15269 15271 15923 15438 15256 13895 14497 15740 16211 15905 15270 13884 15453 16212 14495 14510 15614 15924 15907 14496 13798 15254 16213 15452 15741 15437 16103 15255 15938 15908 15891 15088 15454 15890 15439 15615 15729 15742 15939 16087 15892 16088 15613 15630 16233 17945 13506 16101 15190 13754 13749 13750 13751 13718 27185 29168 27186 29169 27206 27207 19627 19421 19419 18196 18197 19739 18198 17768 17695 19643 19626 19825 16297 19947 19738 18199 17972 17842 18096 17973 19946 19845 19737 19826 19520 17843 19519 19824 19518 19420 19948 17593 19752 18104 18214 17696 17594 16296 16295 19533 19628 16294 16234 13507 15074 15073 15075 13382 13381 16199 13383 13370 13369 13368 13883 13797 15087 15906 13384 16102 14508 14509 15086 13897 15937 13796 15628 16589 16588 16576 16963 16962 16964 13380 13783 13782 13379 16577 20280 13781 20279 16578 13780 15768 15699 15585 15769 15836 15698 15225 16068 16015 16156 16148 15835 15226 16067 15584 16016 15845 15590 13864 15704 13863 16155 16073 24531 24127 16021 16022 15415 15775 15232 13653 23950 15705 13443 20461 15844 15591 13442 16154 15414 16074 24858 24873 24874 17120 17121 17473 17980 17775 17701 17480 17774 17849 17474 17303 17702 17304 17298 17979 17850 17588 17297 13449 16326 18102 20465 17115 20427 17114 20459 17479 16327 20460 17769 27261 18103 17587 27276 27262 36754 57199 57201 57200 56995 56279 56278 55719 55606 54842 55970 55883 55720 55581 55816 55695 55815 55865 54840 55884 56256 56099 56076 55994 55798 55605 54841 56098 55995 57141 57143 57138 57142 57140 57139 56290 56317 56292 56314 56315 56316 56318 56630 56643 56645 56631 56646 56628 56629 56647 56644 56642 56276 56516 56529 56261 56532 56263 56533 56531 56260 56517 56530 56515 56275 56277 56514 57109 57106 57107 57108 57110 57096 57095 57097 57094 57047 57054 57053 56528 56262 57105 56274 56396 56389 56192 56374 56206 56397 56217 56216 56190 56398 56400 56213 56399 56215 56214 56372 56205 49488 49477 49487 49486 49588 49225 49110 49780 49735 49764 49765 49763 49587 49986 49879 49918 49589 49223 49604 49919 49848 49114 49115 49406 49238 49224 49125 49404 49126 49109 49124 49405 49985 49849 49877 49878 49892 49734 49121 49122 49421 49123 49111 48839 47693 48951 49462 49485 49460 49444 48850 49445 48958 48959 48952 48837 48849 47692 49447 49431 49433 49430 49432 48838 49446 48960 49484 57137 56755 56313 56307 56825 56824 57136 57001 54844 57002 54843 56571 57128 56395 56212 56684 56685 54422 54423 49580 49755 49579 49582 49360 49387 49569 49570 49386 49383 49566 49385 49567 49384 49568 49542 54464 54463 54462 54461 50058 50089 50073 50074 50057 50042 50041 50040 47653 47654 50068 50069 50066 50070 49759 49756 49873 49872 49758 49870 49544 50184 50188 50186 50187 50106 50105 50103 50104 50100 50102 50185 50183 50071 50072 50190 50189 47947 47948 47946 48047 48045 48032 48033 48647 48658 50238 50237 50252 50253 50236 50251 50087 50088 48034 48046 49778 49891 49602 49420 49419 49890 49779 49237 49603 49236 50055 50056 48660 48646 48659 48645 50109 50108 50099 47660 49362 50065 50101 50218 50165 50166 50304 50305 49559 49558 49376 49375 47914 49218 49216 49399 49397 49400 49867 49869 49581 49753 49217 49215 49583 49219 49396 49394 49757 49577 49871 49398 49868 49214 48727 47933 50349 50362 50361 47656 47931 48725 50348 50363 47930 43549 48726 43534 47932 47657 47913 47912 49740 49994 50094 50224 50172 48014 50095 49924 49925 48013 49741 49483 50171 50223 49995 65118 64932 64934 64933 64911 65108 64909 65117 64924 64925 64936 65093 64935 65115 65091 65119 65116 70809 70629 70308 70019 70195 70284 69836 70772 68157 70445 70522 70194 70018 70444 69994 70170 70628 70426 70115 70523 70771 70808 70097 70116 69837 70607 70750 70498 70309 69813 70835 70834 63760 63763 63765 63759 63762 63769 63847 63844 63845 63846 63764 63766 63850 61314 63849 63848 63843 63768 49864 50067 49866 49865 63508 63515 63514 63509 63378 62296 62300 62299 62877 62879 62301 62874 62298 62878 62876 62297 62295 62875 75095 75096 75094 75097 75116 75118 75122 75119 75113 75098 75093 75114 75117 75121 75120 75115 77537 75110 75111 75107 75104 75103 75112 75109 75106 75108 70869 70854 77668 77669 77683 77682 77681 75102 77555 49754 48676 49578 49752 49212 48678 49211 49028 48683 48681 49100 49750 49751 49391 49574 49104 49102 49105 49101 49392 49393 49099 48665 49576 49029 49210 48679 49395 48664 48677 49098 48682 48680 49575 49103 49213 43477 43164 43095 40827 42734 42552 41184 40826 43341 43094 43394 43393 41183 43165 42551 43342 42911 42910 42735 49495 49670 50061 49131 50062 49671 49785 49316 49130 49317 49784 49494 63418 63416 63529 63527 63531 63415 63413 61580 61584 61586 61583 61582 63412 61585 61587 63728 63730 63726 63532 63729 63533 63731 63725 63414 63754 63755 63526 61686 63242 63241 61688 61687 63243 61684 63240 63237 61313 63060 63053 63056 63057 63238 64033 64034 64037 64035 64036 64038 64032 64030 64031 63761 61320 65447 63330 63154 63155 62294 62761 62491 62598 62600 62759 62873 62763 62492 62489 62494 62603 62601 62762 62493 62765 62495 62764 62602 62604 62288 62287 63727 63058 61683 63239 63530 63417 63419 63236 63054 63055 63059 63732 61685 63528 50416 47678 47698 47679 47680 49652 49662 49637 49663 49664 49661 49653 49639 49660 48905 48927 49194 49205 49206 49200 49081 49203 48930 48928 48929 48931 48903 50217 49067 49180 48791 48812 48814 49284 49310 49308 49306 49307 49309 49282 48816 48817 48789 48813 48811 48815 51551 51550 51542 51553 51549 51552 51526 51528 49080 49087 49090 49204 49091 49086 48925 48926 49178 49089 49202 49201 49092 49065 49195 49088 48670 49019 49017 48998 49011 49021 49022 49020 49018 63722 61682 63331 63721 61581 49381 49565 49382 49564 62695 62800 63109 62714 63086 62929 61672 62549 62694 62550 62906 62525 62524 62628 62436 63108 62824 62928 63267 62646 62713 62645 62411 61670 63286 62825 61671 63285 62435 48669 47676 47696 48806 49299 49298 48805 49304 48919 48920 47697 49305 49659 49658 57460 57461 57459 34116 34114 34120 34115 34125 34121 34119 57444 57445 57446 70497 69993 70606 70169 57134 57135 68148 75105 75099 75101 75100 69818 69820 69832 70833 70815 70832 61318 69379 69380 69543 69655 69475 69458 69654 69476 69544 69630 69525 69355 69736 69241 69266 68500 69758 69939 68502 69916 69938 69265 69759 68501 63002 61326 62990 63004 63985 64003 63001 63005 61325 61319 62988 63003 64002 62987 62989 63000 24775 42007 42009 42019 42020 42008 68155 69817 69835 69354 69524 68156 69830 69834 69831 68149 69819 69833 70884 72750 72751 72748 70883 72749 72747 72746 62381 62760 62490 62343 62338 62377 62341 62380 62337 62342 62340 62376 62339 62379 62378 62599 62484 62325 62488 62689 62483 62368 62518 62872 62688 62597 62336 62758 72309 72428 72005 72653 72631 70897 72197 72290 72503 72453 72525 71725 72173 71986 72691 72716 72717 72524 72690 72083 72084 72198 72652 72004 72059 71908 71907 72452 71702 72308 71726 71883 71882 72427 72502 72058 72697 72714 70896 71706 72715 71709 71724 71721 71722 71720 71707 71723 40863 40862 43475 43474 70890 70895 71647 71365 71269 71433 71828 71827 71414 71155 71268 70963 71432 71244 71544 71154 71519 70964 71625 71347 70965 71130 71805 71648 71364 71543 40679 40682 40680 63968 63967 63887 63886 63888 63889 63969 71719 71708 65114 64931 72745 63444 63445 61568 61347 61663 61348 62977 61569 62791 62976 62519 62375 62369 61681 62790 62324 61664 65211 65212 65210 65213 65209 65188 64750 64637 64638 64614 64076 65186 65202 64454 64338 64363 64477 64364 64362 64480 64365 64366 64476 64478 64744 64640 64729 64755 64641 64639 64753 64751 64727 64754 64752 64340 64568 64547 64569 64571 64567 64479 64636 64616 64560 64566 64630 64475 64361 72556 71960 71961 71958 71959 72132 71957 71962 72562 70876 72561 72558 72559 72560 72676 72678 72679 72680 70898 72597 72621 72599 72622 72624 72625 72623 72238 72121 72236 72343 70968 72347 72322 72344 72213 72483 72417 72239 70914 72418 72346 72211 72099 72492 72493 72420 72467 72491 72495 72394 72416 72392 72494 72419 72469 72124 72235 72237 72097 72125 72320 72345 72122 72123 64075 65446 64452 64218 64469 64857 64859 64833 64831 64855 64856 64858 65208 64854 64355 64848 64570 63825 63826 63832 63831 72233 72234 63646 63645 63654 63655 72764 72769 72763 72768 72766 72767 72765 72681 72682 72613 70967 68150 72409 72336 72557 72677 72671 72555 72675 72672 63971 63970 63972 63973 61339 61338 63966 63958 62512 62513 62514 62623 62622 62610 63120 63147 63144 63148 63146 63145 63122 62609 62608 62402 62401 62361 62362 62349 62348 63878 63877 63883 63884 62885 63701 63538 63440 63066 63248 63247 63249 63081 63424 62884 62898 63064 63264 63423 63425 63065 63539 63552 63700 63717 63537 63702 62621 63439 63438 62883 62400 62360 62347 63091 63090 63104 63092 63093 63106 63105 63107 61357 63229 63226 63228 63022 63044 63043 63045 63227 63202 63230 63204 63046 63047 63020 62966 62968 62944 62967 62969 62970 62959 62942 63042 63297 63324 63299 63321 63322 63323 63320 63313 62784 62786 62769 62771 62785 62770 63219 63394 63395 63401 63400 63036 63035 62499 62498 61353 61317 63225 63136 63142 63137 63143 62385 62386 63319 62965 62387 63263 61674 62306 62781 63079 63550 62612 62510 62307 63551 61316 62611 62502 62775 63716 61707 62319 62509 62503 62511 63715 61693 61705 62497 61673 62305 63262 61706 62620 62320 63080 62783 62774 62896 62897 62618 61692 62318 62782 62619 61694 61358 70369 70579 70548 70531 70547 70382 70368 70564 70563 70530 70532 70862 70865 70866 70860 70864 70863 70861 70859 70868 70867 70674 70676 70678 70677 70675 70680 70679 70595 70599 70598 70596 70592 70593 70594 70590 70728 70743 70727 70726 70546 68436 68437 70545 70269 70380 70381 70577 70578 70268 68438 70367 70270 68144 70673 68143 70589 70591 70070 70073 68174 68513 68517 68515 68518 68514 70072 70071 70069 68179 68175 70243 68516 68512 68412 68414 70067 68413 70244 68415 68417 68416 70068 69709 69888 69889 69705 69890 69706 69886 69707 69887 69708 69703 69884 69704 69126 69131 69129 69128 69125 69885 69127 69130 70246 70245 70247 70797 70799 70798 70361 70357 70360 70560 70561 70559 70558 69191 69192 69178 69190 69231 69177 69230 69179 69232 70551 70555 70552 70363 69343 69894 69599 69614 69344 69911 69438 69616 69615 69601 69714 69715 69452 69728 69453 69439 69713 69895 69342 69600 69440 69896 69451 69332 69333 69442 69341 69611 69441 69604 69449 69450 69612 69613 69605 69448 70801 70800 70796 70094 70077 70078 70079 70253 70255 70254 69322 69592 69431 69594 69432 69595 69430 69324 69325 69321 69323 69434 69428 69591 69433 69589 69593 69590 69173 69319 69172 69171 69168 69169 69170 69429 69167 70275 70274 70362 70249 70248 70562 70556 70359 70358 70557 68421 68422 68423 68420 70236 70234 70210 70324 70235 70716 70715 70718 70640 70717 70694 70692 70667 70642 70663 70719 70665 70664 70666 70232 70225 70348 70349 70208 68167 70416 68400 68505 70393 70459 70488 70487 70486 70489 70419 70417 70418 70461 70395 70420 70490 70347 70339 70224 70350 70322 70346 70233 69135 68536 69910 69137 69727 69328 69149 69726 68537 69148 69329 69217 69909 68522 69216 68147 68182 68183 69215 68523 68524 69150 69327 68146 68535 69136 70584 70585 70356 68411 76169 76170 70092 70093 70851 70852 84639 85617 84640 84635 84641 84636 84637 84638 84588 84591 84589 84590 70742 70741 70853 84586 84585 84981 84982 84980 84873 84979 84977 84874 84872 84870 84871 84983 84868 84718 84716 84721 84722 84719 84720 84717 103856 103858 103854 104038 103855 104223 104040 104039 104034 103859 104037 104218 104219 104220 84677 84584 85251 85252 85905 85434 85615 84673 84634 85793 84676 85791 84674 84678 84715 84869 84748 85068 85144 85141 85140 85142 85138 84897 84898 84759 84754 84755 84701 84757 84863 84976 85137 84758 84862 84702 84978 85139 104393 103857 104035 104217 104036 104222 104221 77705 79600 79599 79597 79598 79601 79596 86420 86421 85709 84587 84672 84747 85143 85710 84867 85067 84671 84760 84756 81925 81926 81924 70409 70476 70656 70708 70345 70344 77707 77760 77708 77759 77712 77761 77758 77757 77755 77756 77810 78792 78790 77806 77809 78788 77805 78787 78791 78789 77811 77807 77808 81931 81929 81930 81935 81932 77386 77388 71776 71596 71597 71773 71595 71777 71779 71594 71956 71598 71778 71775 71774 71012 71015 71018 71593 71017 71016 71013 71014 77319 77289 77291 77305 77055 77054 77169 77306 77175 77174 77238 77239 77168 77414 77415 76898 75345 75342 75346 75348 75347 75343 75344 70066 70242 70160 69883 69124 69211 69320 69588 74866 74865 70338 69208 69207 69210 69209 69206 69166 69427 69154 69518 69348 69519 69313 69199 68399 69621 68177 68494 69985 69620 69984 68398 69349 68178 69155 69702 68511 69314 68493 70161 68410 61608 61593 61591 61592 61590 63734 63733 63718 63749 77077 77192 77193 77191 77079 77189 77075 77076 77187 77190 77078 77626 74801 74799 74800 74798 76533 76421 76419 76422 76425 76424 76423 75246 77074 75243 75245 75247 77188 75244 75242 75241 77385 77387 77382 77381 75341 75240 76990 76532 76896 75954 76991 77072 75985 76420 76348 76148 76029 76179 76028 76143 77421 77419 75996 76144 76257 76178 76418 76349 75984 76636 77105 75228 75008 76450 75007 76815 76814 76451 76637 75948 75324 75229 77104 75947 75323 76035 76713 77186 82925 83418 82926 83419 82901 76864 76889 76888 76886 76890 76887 76703 76680 76706 76704 76707 76862 76705 76682 74978 76695 76879 76696 76663 76664 76648 76647 74985 74986 77662 76649 76650 77663 76665 76662 76661 76660 74979 83315 83598 83599 83204 83775 83040 83396 83185 83290 83314 83576 83776 70803 70802 76878 84080 83896 84055 84119 84149 84150 83893 84008 84053 83895 84007 84458 84354 84326 84376 84375 84352 82060 82165 84325 84300 84377 84459 84323 84379 83982 84078 84079 84006 84121 83868 83894 84147 84010 84148 84076 84009 83892 84146 84461 84324 84378 84327 84302 84460 84457 84463 81827 84462 83984 83870 84077 76566 76096 75331 76095 76460 76769 76288 76373 76485 76768 76184 76354 76305 76746 76306 76355 76185 76484 76589 76071 76209 76210 75332 75330 76374 76588 76959 76980 76983 76982 76957 76981 76984 75234 76973 76808 76780 76782 76804 76805 76807 76806 76342 76339 76525 76602 76627 76522 74998 74999 75333 75990 75334 75000 76628 76604 75018 77848 79509 78967 79388 79390 79188 79184 78426 79392 79508 79386 77844 79391 79186 77846 78964 79189 78423 78608 78424 78603 78609 78966 78605 78606 78425 79190 79389 78968 78607 79076 79078 79187 79506 79081 79082 77843 79080 78604 79079 77845 78786 78427 78428 77842 78962 78965 79510 77847 76340 76524 76526 76979 76500 76629 76523 76630 76111 76338 76412 76341 75233 79512 79511 68404 68169 84577 84578 85432 68168 76753 76767 76766 76764 76765 74913 74912 76751 76752 76750 77245 77315 77314 77491 77244 77492 77061 77060 77543 76803 77544 76797 84368 84456 84316 84136 83884 83999 84069 83885 84005 84004 69340 69339 83638 83637 83636 83635 83634 83610 83612 79385 79387 79507 79382 79381 79185 77706 79501 79114 78993 79077 79505 79113 79075 78994 79183 79502 76515 76401 76331 76521 76318 76337 76498 76626 76247 76137 76410 76134 76109 76132 76223 76133 76136 76409 76250 76408 76225 76135 76246 76387 76251 76249 76248 76385 76407 76411 76126 74996 76625 76702 76884 75017 76240 76701 76885 75989 76619 69198 69205 69117 69806 69118 69807 69318 85355 84616 84541 85533 85534 84617 84540 85823 85824 85169 84572 84573 84665 84664 85170 83014 83184 88526 88525 83595 83594 83583 83582 83597 83580 83581 83596 84448 84374 84322 84373 84321 82163 82164 82064 82063 104117 77618 77624 77627 77625 104085 104070 102554 103565 103569 103732 103707 103567 103705 103431 103846 103834 103845 104301 104303 104300 102337 104302 104277 104304 104279 104293 105669 105394 105582 105564 105955 105280 105693 105775 105419 105114 106136 106154 105113 105977 105515 105978 105563 105393 106155 105497 105798 105305 105694 105797 105583 105514 105418 105115 105304 102552 102553 103721 103720 103950 103543 103731 103922 103728 103570 103568 103842 103729 103924 103939 103730 103560 103835 103946 103566 103841 103559 103840 103820 103727 102338 103948 103571 103818 103945 103949 103947 103844 103843 103659 103310 103660 103657 103661 103651 103658 103662 103638 103309 103545 104072 104073 104087 104071 104086 104084 104299 91048 91046 91047 89701 89696 89920 89658 89810 89660 89918 89922 89700 89924 89919 90848 90850 90847 90851 90849 90563 90561 90197 88902 88907 88906 89615 89620 90736 90733 88901 90374 90082 89005 89616 90557 89617 90198 90083 90008 89839 90192 90373 88900 89001 89656 89003 90735 90738 89809 89814 89698 89815 89812 89813 89657 89659 89661 89697 89921 89662 89699 89663 89923 89811 90852 90739 90379 90193 90084 90195 90196 88905 90560 89004 90085 90080 90079 90081 90199 89007 89008 88903 89006 89002 88904 90377 90737 90380 89619 90375 89618 90556 90376 90378 90194 90853 90559 89621 90558 90734 90562 106192 106193 106182 104398 104397 104395 104512 104392 104509 104513 104507 104399 104396 104394 104510 104511 103853 104310 104311 103739 103742 103743 103741 103744 103745 104508 102563 102560 102564 102562 102567 102565 104506 102566 103852 104033 90078 89688 89689 89917 89644 89645 89838 90009 103669 103668 102561 102661 103738 103740 103323 103318 103319 103320 103321 103316 103305 103304 104425 102549 102328 104134 103957 103771 102644 104135 103770 103268 103267 103956 102327 103274 103317 103322 104424 102643 104216 102548 82062 88667 90765 89607 90764 88983 89804 90474 90296 89608 90650 90651 90475 89803 90111 88668 88984 90297 90110 90846 90633 89885 90160 90068 90158 90184 88678 90185 90182 90181 90067 89906 88660 90183 90186 90175 89900 88656 90071 90070 90643 90619 89883 89909 89908 90069 90641 89911 90045 90047 89910 89907 90642 90640 90644 90617 89998 89978 89793 89795 89769 90001 90002 89999 90000 89792 89997 89991 89797 89796 89794 89771 90732 88888 89695 89614 89808 88889 90289 90287 90262 90286 90288 90264 90290 90279 90285 88677 89786 90639 90072 89649 90061 103726 103455 103446 103453 103457 103429 103452 103456 103454 103445 103451 84455 84454 88521 79602 79515 81557 81535 79585 79587 79603 79586 81514 85501 85523 85527 85525 85524 85526 85499 81504 84675 85356 84135 84315 83998 84068 84367 99442 99740 99556 99533 99444 99531 99554 99443 99663 99445 99811 99555 99441 99419 99729 99814 99739 99417 99803 99815 99813 99736 99656 99558 99434 99666 99812 99664 99640 99559 99553 99433 99737 99557 99548 99787 99712 99738 99667 99665 98234 99642 99917 99941 98288 99714 105456 105459 105594 105619 105457 105618 105458 105460 105617 105620 105621 105455 105616 105610 105735 105733 105734 105732 105731 105709 105707 105730 105724 105596 106191 106189 106190 106166 106168 105056 111014 110832 111012 110830 111040 111036 110857 111038 110846 110853 111039 111037 110854 105432 105989 106017 105991 106016 106015 106013 106014 106012 106006 110852 111029 111035 110856 110855 105434 106188 105449 105055 105320 105342 105318 105344 105346 105343 105345 105341 105335 105973 105976 105959 105974 105975 105962 105960 105961 100071 100070 99942 99943 100069 100066 100067 99944 100068 99945 100064 99933 98218 100065 99258 99267 99243 99265 99268 99269 99266 105811 105838 105837 105835 105834 105813 105836 105839 105828 99919 99789 99086 99059 95508 99183 99187 99185 99184 99161 99186 99082 99085 99084 99083 99241 99074 99075 99061 99159 98220 99810 99939 99940 98287 99662 99735 99440 99734 99809 99176 99182 100063 99130 99146 99145 99132 99143 99131 99144 99129 99597 98238 99362 99359 98226 99360 99352 99361 99336 99363 99338 98788 98790 98764 98787 98904 98903 98791 98902 98789 98877 98905 98901 98629 98630 98628 98766 98786 98900 98780 98625 98490 98879 99081 99264 98237 98894 98717 98720 98721 98718 98697 98369 98719 98710 98716 99358 98368 98225 98219 98626 98604 98627 83510 83535 83720 83537 83536 83719 83534 83717 83716 83692 83718 83533 83526 83525 83709 83694 95507 95506 83512 97117 97119 97094 97118 97116 97120 97092 97108 97115 97109 97114 83708 98619 99596 92508 92529 92522 92533 92532 92530 92531 92506 98602 98512 98515 98514 98505 98511 98488 98513 98516 91396 92435 92439 92411 92436 92437 92438 92428 92413 92179 92176 92153 92151 92178 92177 92168 92434 91395 92528 92174 92175 81848 81828 81829 85484 85486 85469 85472 85470 85485 85471 85522 85516 85483 92245 92255 92253 92229 92256 92231 92254 92252 92251 82962 82965 82961 82967 83351 83345 83075 83079 83236 83238 83352 83242 83239 83344 83081 83356 83241 83353 83328 83231 83076 83355 83330 83354 83230 83350 83080 83240 83215 83217 82939 83053 82941 83078 82963 82964 82966 83077 83055 83237 84074 83890 84145 83626 83632 83891 83627 83633 84144 84075 83070 81846 83715 81847 83069 83532 83531 83714 82955 82956 77692 77689 83789 83810 83811 83814 83803 83812 83787 83813 83457 83459 83432 83458 83456 83460 83434 83808 83454 83448 83449 83455 83809 64039 70839 70838 64024 69160 77645 68402 68403 72744 70032 70060 70057 70049 70048 70058 70056 70059 63896 63897 63898 63913 70231 68504 70230 70662 68503 70713 70414 70795 70485 70415 70661 70484 70714 69874 69876 69850 69875 69873 69877 69852 70034 69865 69866 70475 70788 70707 70655 70408 68188 69973 69976 69975 69950 69974 69977 69978 69952 69670 69696 69693 69695 69692 69694 69691 69580 69571 69579 69420 69668 69415 69557 69555 69582 69570 69421 69417 69685 69577 69419 69690 69393 69395 69578 69581 69416 69418 69684 70054 69871 70055 69872 69796 69774 69772 69500 69302 69301 69304 69303 69305 69307 69576 69279 69306 69506 69798 69797 69800 69281 69799 69512 69511 69509 69510 69507 69488 69508 69501 57209 57194 61352 63747 61606 61607 63748 63912 63911 64021 64022 64023 43531 43532 64008 64009 43519 43533 69794 68187 69296 69295 68186 69158 69788 69789 69409 69410 69967 69159 69795 70794 72773 74727 74705 74684 74674 72755 72756 72685 72757 72772 65855 65927 67958 65943 67844 67875 67959 67854 67897 65942 78872 78871 78848 78869 77729 77736 78846 78669 78693 78671 78696 78694 78695 78697 77748 78870 78862 78873 77730 84560 84559 85937 85234 85241 85243 85219 85245 85242 85244 85240 85217 85059 85037 85057 85060 84709 85050 84830 85056 85058 85061 85936 84708 78816 78835 78834 79595 71214 71323 71592 71213 71482 71317 71321 71211 71480 71484 71322 71320 71208 71212 71481 71319 71210 71478 71483 78516 78493 78518 78517 78519 78515 78491 63964 63965 78349 77960 78658 77984 77795 78477 77794 78635 78098 78455 78263 78195 78657 78373 78194 78177 78099 78073 78243 78074 77985 78262 78478 78374 78244 77793 79594 79593 78642 78640 78656 78639 78641 78654 78655 78653 79592 78686 77711 77710 78692 78963 78961 77754 77804 78602 78879 78880 78785 77841 78421 78422 78237 78314 78238 77892 77871 78309 77872 78312 78310 78313 78068 78308 78067 78153 78149 78032 78147 78151 78044 78150 77918 77917 77927 77926 77928 77886 77925 77929 77930 77887 77888 77889 78043 77890 77885 78040 78038 77891 78039 78146 78033 78041 78311 78148 78152 78042 78037 77743 78525 77834 78339 78703 77835 78526 77742 78340 77786 78704 77787 77924 78307 77735 77747 78508 78514 78868 72761 72762 72760 72770 72771 71864 71865 71839 71866 71867 71863 71811 71841 71413 71824 71823 71812 71826 71809 71810 71825 71243 70900 70899 72041 72032 72040 72043 72042 72039 72018 70905 70906 72016 69934 69936 69922 69921 69935 69920 69923 71947 71741 71923 71762 71921 71946 71949 71766 71765 71945 71764 71739 71938 71763 71948 69937 70975 70979 70978 72247 71591 72353 72355 72359 72358 72357 72356 72354 72360 70926 70927 70929 70931 72135 72133 72136 72138 72248 72137 72250 72251 72249 72252 70925 70924 70928 70930 72246 72134 71094 71095 71056 71097 71098 71096 71100 71088 71099 71477 71479 71209 71057 71060 71202 71062 71055 71059 71316 71237 71407 71061 71238 71408 71058 71203 71042 72050 72245 72049 71955 70913 72284 72552 72551 71509 71696 70957 71772 72163 71510 71005 71695 71874 70956 71011 70912 72283 71207 71004 72164 71041 70974 71087 71318 72131 71873 70981 70977 70976 70980 72277 70918 72276 71944 72038 72120 72342 71856 71862 70917 72114 72113 72228 71755 71754 71761 72743 72415 72414 72489 72490 72620 72619 64029 83802 61014 61045 59113 59112 59097 61024 61067 61128 59025 61129 50415 51548 58888 58922 58904 58923 58903 58921 54340 54339 54343 54342 58925 59023 59024 59008 47418 40598 54297 40639 40588 47417 54249 54247 54299 40637 54248 54258 47469 47419 40622 40587 47467 40589 47468 54282 40638 47452 54298 47428 43647 45169 44623 44800 45425 44799 45300 45094 44624 45299 45170 44190 44189 43560 43561 45095 44441 823 824 820 819 822 821 3021 3954 3953 3934 3955 3952 1906 1543 1905 1814 1899 1804 1803 1801 1796 1749 1795 1798 1908 2096 1797 1733 1800 2094 2095 1912 1823 1822 1547 1821 1820 1544 1546 1904 1809 1907 1910 1900 1819 1913 1902 1903 1911 1545 1901 1914 1542 1915 2137 2135 2136 2121 2114 2118 3923 3930 3931 3918 3562 3910 3908 3913 3911 3921 3912 3917 3914 3922 3915 3919 3906 3920 3563 3916 3904 3909 3825 3557 3817 3818 3816 2138 2139 3815 2087 2132 2131 2133 2134 1162 2086 1916 2085 2112 2113 3813 3749 3812 3811 3809 3810 2127 2130 2129 2128 3805 1963 1960 1955 1964 1966 1956 1957 1958 1961 1967 1128 1968 2091 1419 1356 1420 1163 2089 2090 1421 1423 1426 1427 1424 1539 2099 2092 2100 2084 2124 26895 26874 33807 24875 20099 33808 20098 24947 24962 33757 26864 33768 24963 26978 20149 20132 33809 33792 33759 26979 26917 20147 20097 20148 20108 33758 2120 2105 2110 2111 2435 2098 1969 7321 6780 6783 6779 2097 2141 27258 27254 27260 27255 27259 27264 27253 3940 3941 3830 1972 1970 1971 1973 1372 1432 2102 1373 1380 2104 1377 2103 1375 1381 1378 1374 1376 1379 2101 1418 2109 1752 1750 1757 1751 1758 1755 2108 1754 2107 1917 3835 3929 3928 3840 3844 3846 3845 1753 2106 1756 3870 3924 3949 3932 1984 2083 1991 2074 1144 1990 2077 2080 1979 2076 853 850 2070 2143 3858 1974 2069 2073 845 2075 1989 2895 2893 2896 2903 2902 2899 2901 2898 2123 3948 3950 3942 3951 2822 3180 3442 3437 3441 3439 3440 2894 2900 2897 2125 2884 2889 2886 2885 2887 2888 3680 3819 3814 3820 1540 3907 2122 3905 2081 4258 2853 3836 3837 3765 3839 3838 3556 3561 3560 23604 23709 23433 23434 23708 17863 17268 17086 17062 16243 17533 16257 16250 16255 16256 17532 17862 17788 18076 17812 18051 18075 17558 17081 17443 17444 17267 17085 17885 18057 17082 17080 17557 17650 17669 17418 17068 17884 18050 17419 17991 17787 17242 17243 17084 17069 17083 17067 18012 17813 18013 17668 18077 17066 23603 24017 23155 23153 24018 23995 23837 23815 23154 23838 13612 13617 13606 13605 13611 13616 13610 13602 13609 13601 13608 13614 13618 13613 13620 13619 13615 13603 13607 2071 1993 852 1992 851 849 2072 2079 2082 2078 3807 3806 3808 3372 17079 18074 20178 6811 13707 13711 13712 13709 13714 13708 13710 13715 13713 13701 13704 13705 13698 13703 13700 13697 13696 13702 13706 7060 7058 7059 7057 13716 13717 13699 13693 13694 13695 20422 20428 20425 20430 20429 20423 20424 13621 6995 20426 20434 19531 18766 19244 19843 19229 18483 18248 13365 18136 19047 18878 18495 18762 18865 18592 18765 18299 18249 19405 18604 18494 19060 18484 18599 18298 19245 18262 19243 18877 19642 13366 18490 18491 18480 19061 19641 18864 18752 19751 18212 18260 18600 18764 19844 19532 18213 19404 18591 18492 18751 18297 18590 18601 18285 18866 18603 19046 18493 19230 19228 18755 18261 18286 19750 18750 18593 18756 18135 19045 19062 18589 18247 18763 18478 18284 18879 18479 19406 18602 18767 5209 5208 2892 2890 2891 848 2924 3008 2914 3011 3009 3010 3004 3005 3006 2148 3007 3012 3018 2919 2909 2934 2929 2935 2997 2994 3002 3001 2998 2995 3003 3000 2996 2993 2933 2999 2959 3438 1149 1147 1150 1152 1145 1153 1157 1156 1146 1155 2142 2146 2147 2230 2925 2926 2927 2838 2928 3544 3554 3543 3553 3539 3542 3540 3545 3185 3538 3458 3453 3537 3531 3536 3527 3535 3533 3532 3529 3534 3530 3186 3469 3017 3015 3016 2947 1148 1151 1154 2140 3555 3443 3944 3943 3933 3947 3945 3946 3184 3179 3183 5019 4972 4794 5068 4973 4795 5 3939 3938 3936 3937 3935 1167 1166 1528 1525 1538 1523 1442 1526 1527 1524 1165 1530 1529 3548 3467 3971 1535 1534 1536 1537 3493 3448 1443 1444 1446 1522 1170 1445 3969 3435 3434 3436 3970 3433 3429 4741 3551 3552 3462 3460 3461 3459 3388 3303 3968 3966 3967 3960 3965 3468 3432 3430 3431 3428 1533 1168 3463 1169 3528 1437 3546 3481 3541 6717 6714 6697 6708 6695 6712 6711 6713 6715 6696 6716 5409 5410 5411 5408 5407 5455 5224 5221 5223 5591 5592 5225 5590 5456 5454 5406 5593 5594 5135 5132 13732 13728 13738 13734 13739 13735 13737 13745 13727 13744 13741 13733 13742 13729 13746 13743 13740 13731 13736 13748 5458 5457 5226 5065 5052 5003 5016 5064 4971 4970 4848 5015 4958 5002 5051 5105 5104 3020 5176 5190 5175 5070 13725 13722 13726 13724 13719 13730 13747 13721 13723 3019 4086 4903 4902 4755 4756 4743 4900 4901 4899 4898 4894 4897 2904 13720 13576 13572 13574 13580 13583 13581 13570 13571 13575 13589 13585 13582 13569 7536 13577 13565 13579 13587 13588 13584 13578 13590 13586 5165 5044 5161 5164 5043 5041 5045 5160 5163 5046 5032 5033 5042 5034 5030 5162 5031 4925 4922 4924 4923 4926 4921 3972 5794 5564 5781 5616 5617 5562 5468 5516 5604 5426 5567 5413 5751 5793 5818 5570 5833 5565 5571 5425 5568 5569 5834 5673 5750 5563 5672 5572 5817 5215 5533 5566 5738 5528 5660 5514 5515 5509 6643 6664 6666 6663 6667 6642 6665 5808 5809 5807 6645 4841 4847 5144 5143 5145 5140 5141 5139 5142 5138 5136 5137 5692 5843 5637 5638 5730 5733 5636 5731 5763 5694 5732 5695 5682 5773 5775 5774 5776 5693 5639 5842 5720 5210 5626 5579 5497 5583 5502 5501 5581 5580 5582 4865 5841 4800 4896 4846 4960 4968 2908 4959 2852 4961 4965 4966 4967 2907 4969 5203 5187 5188 3973 4788 3168 3172 3173 4784 4740 3171 3170 4785 4786 4787 4649 4913 4829 4951 4914 4912 4950 4915 4833 4949 4940 4911 6760 6738 6710 6763 6723 6724 6764 6766 6736 6762 6767 6761 6765 5222 6660 6662 6661 6648 6658 6659 5646 5648 5704 5650 5702 5649 5706 5705 6647 6649 6646 5647 13689 13692 13690 13691 13688 5806 5703 5845 5857 5858 5810 5811 5844 5859 5860 6707 6701 6702 8798 7104 7667 12035 12689 11773 11650 11665 11469 12688 11454 11384 11468 11456 11417 11937 11922 12591 11306 11660 13116 11772 12995 11934 13019 12920 11761 11770 11774 13014 12400 13015 12048 12994 12701 11383 12049 11933 11467 4792 3177 3178 10689 11213 4793 11078 10801 19849 5453 6705 6866 6706 6704 7056 5452 6864 6867 6865 5231 5230 5654 5598 7970 8135 8145 7015 5207 5197 9108 9369 5599 9257 8426 6815 8799 7106 8131 5812 7982 7871 7971 5463 5462 6816 7666 7017 5802 13598 5801 7018 5710 9109 5803 5701 5655 10895 5645 10786 7874 11214 7050 7053 7046 7052 7981 7968 12047 6789 8800 9273 11455 11062 13013 8898 12575 7980 7873 13016 7969 8134 11382 9258 8130 7978 8129 10894 12036 9093 9077 9383 13118 11077 9381 10896 12996 12812 9060 8912 9061 9382 9078 3176 6862 6863 7054 7049 7025 13117 12813 7020 11419 11093 12811 11662 12921 7051 7047 7048 8899 12034 8142 8144 8143 11198 11920 11305 11921 11649 7972 8897 9094 12690 7021 7019 7022 7016 11064 7665 11935 11648 11932 11661 9256 12415 7979 7023 11936 7983 7026 8245 8146 7870 7872 11113 10911 11760 11769 11771 7869 5711 5589 8141 11664 9482 12590 10688 9368 11063 5202 5181 13627 13625 13623 13624 13635 13626 13639 13646 13651 13640 13645 13650 13652 13648 13638 13641 13636 13642 13632 13637 13649 13644 13633 13631 13629 13630 13634 13643 13628 13647 4834 4952 4953 5206 6644 5205 6709 4985 4998 5168 5126 5130 5170 4996 4997 5169 5129 4995 5171 5090 5117 5092 5089 5127 5091 5093 5128 5080 4860 5204 4904 4895 5189 6751 4832 3037 4830 3035 3036 4843 4739 4842 4737 4738 4736 3156 4782 3034 4845 3154 4964 4844 4831 13302 13269 13267 13318 13268 13278 13317 13319 6899 6895 6992 6984 6920 6963 6929 6927 13573 6959 13562 13566 7062 6922 13564 6921 6958 7061 6986 6994 13561 13560 13568 6964 6985 6898 6890 6926 6891 6896 6954 6889 6893 6990 6991 6988 6892 6989 6925 6951 6987 6924 6894 9466 6923 6928 6960 6952 9464 9465 9467 7000 5856 7089 7091 7088 6674 6467 5026 4930 5024 5156 5025 5195 5035 5196 5155 4931 3160 3161 3162 5167 3095 11654 11925 11763 11762 5635 6689 6688 5229 3159 3158 3157 3125 3123 6999 7024 6998 3124 3115 3119 3117 3097 3098 3096 3099 2345 3120 3121 6996 6997 2343 2344 2346 2347 3100 3122 3118 3116 5578 5840 5577 5691 3094 3126 3092 9859 10134 10496 10133 9553 10032 10498 10497 10147 9480 9868 9746 9872 9554 9860 10020 9861 10030 9763 10512 10313 5729 5634 5772 10031 10034 9867 10132 10019 10033 9869 10018 10672 9481 9565 9870 10800 9871 10035 10146 9762 10674 9761 5737 5659 3925 5512 5510 5499 5498 5500 5513 5511 3547 2355 2356 3131 3130 3127 2357 3129 3128 3155 3148 3147 3149 3153 3150 3146 3151 3152 2354 2353 5344 3875 3032 3085 3089 3090 3088 3033 2126 3086 3091 3084 3087 6968 6873 6903 3058 6935 3060 3057 3059 3038 3030 3029 3027 3028 6936 6900 3048 6934 3046 6905 6902 6904 3045 6901 3049 3047 3056 2964 2093 1802 1799 1532 1422 1425 2326 2088 6657 1531 9062 10788 11094 9858 10687 7090 10787 9857 1909 805 803 1541 804 802 191 176 186 67 27 174 175 129470 129469 129472 129500 129499 69 66 187 25 68 190 65 116 117 119 75 118 77 166 115 180 169 170 165 167 74 188 123 182 120 195 189 168 181 179 164 171 163 121 183 125 129582 129581 129580 1959 1965 1962 738 742 740 739 1918 741 847 495 493 800 799 494 801 686 687 688 1164 743 492 3093 3065 3066 3067 3069 3068 134055 2337 685 2327 2328 10145 4910 4909 6577 4994 9516 6868 9529 10511 9528 11430 11432 9517 9751 9748 13593 13592 11653 6466 8424 6967 8425 7190 7191 13596 6966 13594 13595 7203 7204 7205 8440 8439 11926 11431 10513 6691 6253 11418 2329 6692 6693 9515 6870 132309 6690 7105 7192 6993 12231 12414 12413 6675 6677 11075 3498 4783 9567 9566 9530 10909 6679 3169 6578 5201 6965 6969 10910 9758 9752 9747 8258 5855 6784 8910 8911 5029 6628 5884 5885 7027 7028 11663 7029 7030 7031 12232 10799 9552 12907 10328 10315 10314 13450 8624 13567 10024 6579 6897 6678 6117 6869 6871 12589 12576 9107 9076 9075 12230 12398 12399 10673 12574 6872 11115 11114 11112 11111 11076 6118 6788 8256 8244 8243 13563 6309 6310 11759 9404 9403 9401 9400 11369 11368 11367 11366 10023 12796 12797 5166 9760 9759 13017 13018 12908 12909 6758 8257 6254 6752 6759 6422 6421 5886 6786 6785 6365 6366 7055 8785 8784 8783 12216 12215 13604 13597 8607 8608 8609 8622 8623 6931 6932 6933 8441 12217 6953 13600 13599 6955 6956 6957 6627 6612 7678 7679 7680 6588 7857 7858 7859 7862 7863 10329 10330 12703 12702 12922 12798 9271 9272  0
1476.42/1476.41	
1476.42/1476.41	c Core has size 21839

OK	21839

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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: 5.28 4.22 1.90 5/189 24823
/proc/meminfo: memFree=30891704/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=22944 CPUtime=0 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 1212 0 0 0 0 0 0 0 25 0 1 0 34942298 23494656 1151 33554432000 4194304 4365125 140737218773408 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 5736 1162 245 42 0 2884 0

[startup+0.0463501 s]
/proc/loadavg: 5.28 4.22 1.90 5/189 24823
/proc/meminfo: memFree=30891704/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=27568 CPUtime=0.03 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 4679 0 0 0 3 0 0 0 25 0 1 0 34942298 28229632 3339 33554432000 4194304 4365125 140737218773408 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 6892 3341 253 42 0 4040 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27568

[startup+0.100397 s]
/proc/loadavg: 5.28 4.22 1.90 5/189 24823
/proc/meminfo: memFree=30891704/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=29932 CPUtime=0.09 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 6921 0 0 0 8 1 0 0 25 0 1 0 34942298 30650368 4475 33554432000 4194304 4365125 140737218773408 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 7483 4475 253 42 0 4631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29932

[startup+0.300308 s]
/proc/loadavg: 5.28 4.22 1.90 5/189 24823
/proc/meminfo: memFree=30891704/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=38532 CPUtime=0.29 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 13514 0 0 0 27 2 0 0 25 0 1 0 34942298 39456768 6717 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 9633 6718 262 42 0 6781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38532

[startup+0.700234 s]
/proc/loadavg: 5.28 4.22 1.90 5/189 24823
/proc/meminfo: memFree=30891704/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=51128 CPUtime=0.69 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 18143 0 0 0 66 3 0 0 25 0 1 0 34942298 52355072 8441 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 12782 8441 262 42 0 9930 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51128

[startup+1.50109 s]
/proc/loadavg: 5.17 4.22 1.91 5/190 24824
/proc/meminfo: memFree=30857868/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=61940 CPUtime=1.48 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 21526 0 0 0 145 3 0 0 25 0 1 0 34942298 63426560 11059 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257923 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 15485 11059 262 42 0 12633 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61940

[startup+3.10087 s]
/proc/loadavg: 5.17 4.22 1.91 6/190 24824
/proc/meminfo: memFree=30844840/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=75524 CPUtime=3.09 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 34716 0 0 0 304 5 0 0 25 0 1 0 34942298 77336576 14291 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 18881 14291 262 42 0 16029 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75524

[startup+6.30025 s]
/proc/loadavg: 5.08 4.21 1.92 6/190 24824
/proc/meminfo: memFree=30801936/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=133544 CPUtime=6.29 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 83222 0 0 0 617 12 0 0 25 0 1 0 34942298 136749056 24081 33554432000 4194304 4365125 140737218773408 18446744073709551615 4258224 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 33386 24081 262 42 0 30534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133544

[startup+12.7001 s]
/proc/loadavg: 4.99 4.21 1.93 5/190 24862
/proc/meminfo: memFree=30890936/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=236636 CPUtime=12.69 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 169046 0 0 0 1246 23 0 0 25 0 1 0 34942298 242315264 41273 33554432000 4194304 4365125 140737218773408 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 59159 41279 262 42 0 56307 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 236636

[startup+25.5008 s]
/proc/loadavg: 4.84 4.20 1.95 5/190 24862
/proc/meminfo: memFree=30688580/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=487660 CPUtime=25.49 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 410226 0 0 0 2502 47 0 0 25 0 1 0 34942298 499363840 89607 33554432000 4194304 4365125 140737218773408 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 121915 89607 264 42 0 119063 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 487660

[startup+51.1003 s]
/proc/loadavg: 4.51 4.18 2.02 5/190 24899
/proc/meminfo: memFree=30652912/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=554196 CPUtime=51.09 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 512123 0 0 0 5050 59 0 0 25 0 1 0 34942298 567496704 123951 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257479 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 138549 123951 264 42 0 135697 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 554196

[startup+102.306 s]
/proc/loadavg: 4.22 4.15 2.12 5/190 24947
/proc/meminfo: memFree=30498888/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=488664 CPUtime=102.3 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 588346 0 0 0 10161 69 0 0 25 0 1 0 34942298 500391936 114717 33554432000 4194304 4365125 140737218773408 18446744073709551615 4262681 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 122166 114717 264 42 0 119314 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 488664

[startup+162.301 s]
/proc/loadavg: 4.08 4.12 2.23 5/190 24949
/proc/meminfo: memFree=30440008/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=494808 CPUtime=162.29 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 589085 0 0 0 16160 69 0 0 25 0 1 0 34942298 506683392 115456 33554432000 4194304 4365125 140737218773408 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 123702 115456 264 42 0 120850 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 494808

[startup+222.301 s]
/proc/loadavg: 4.03 4.10 2.34 5/190 24950
/proc/meminfo: memFree=30433416/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=505048 CPUtime=222.29 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 596506 0 0 0 22159 70 0 0 25 0 1 0 34942298 517169152 116741 33554432000 4194304 4365125 140737218773408 18446744073709551615 4264089 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126262 116741 264 42 0 123410 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 505048

[startup+282.3 s]
/proc/loadavg: 4.01 4.08 2.44 5/190 24988
/proc/meminfo: memFree=29905268/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=494808 CPUtime=282.3 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 604211 0 0 0 28158 72 0 0 25 0 1 0 34942298 506683392 115456 33554432000 4194304 4365125 140737218773408 18446744073709551615 4262565 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 123702 115456 264 42 0 120850 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 494808

[startup+342.301 s]
/proc/loadavg: 4.00 4.06 2.54 5/190 24990
/proc/meminfo: memFree=29914772/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=480472 CPUtime=342.3 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 625500 0 0 0 34155 75 0 0 25 0 1 0 34942298 492003328 113657 33554432000 4194304 4365125 140737218773408 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 120118 113657 264 42 0 117266 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 480472

[startup+402.3 s]
/proc/loadavg: 4.00 4.05 2.63 4/185 25055
/proc/meminfo: memFree=30397896/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=402.3 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 635009 0 0 0 40154 76 0 0 25 0 1 0 34942298 519266304 117030 33554432000 4194304 4365125 140737218773408 18446744073709551615 4247545 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 117030 264 42 0 123922 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 507096

[startup+462.301 s]
/proc/loadavg: 4.00 4.04 2.71 5/190 25142
/proc/meminfo: memFree=29453872/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=500952 CPUtime=462.3 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 649075 0 0 0 46152 78 0 0 25 0 1 0 34942298 512974848 116227 33554432000 4194304 4365125 140737218773408 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 125238 116227 264 42 0 122386 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 500952

[startup+522.301 s]
/proc/loadavg: 4.07 4.04 2.79 5/190 25142
/proc/meminfo: memFree=29604172/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=480472 CPUtime=522.3 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 691626 0 0 0 52146 84 0 0 25 0 1 0 34942298 492003328 113657 33554432000 4194304 4365125 140737218773408 18446744073709551615 4263861 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 120118 113657 264 42 0 117266 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 480472

[startup+582.3 s]
/proc/loadavg: 4.10 4.05 2.87 5/190 25144
/proc/meminfo: memFree=29615176/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=480472 CPUtime=582.3 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 746021 0 0 0 58140 90 0 0 25 0 1 0 34942298 492003328 113657 33554432000 4194304 4365125 140737218773408 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 120118 113657 264 42 0 117266 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 480472

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=29845152/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=490712 CPUtime=882.31 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 809406 0 0 0 88132 99 0 0 25 0 1 0 34942298 502489088 114942 33554432000 4194304 4365125 140737218773408 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 122678 114942 264 42 0 119826 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 490712

[startup+942.301 s]
/proc/loadavg: 3.34 3.81 3.15 4/184 25178
/proc/meminfo: memFree=29841016/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=942.31 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 811462 0 0 0 94132 99 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 507096

[startup+1002.3 s]
/proc/loadavg: 2.68 3.55 3.10 3/178 25204
/proc/meminfo: memFree=30352072/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=511192 CPUtime=1002.31 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 838175 0 0 0 100128 103 0 0 25 0 1 0 34942298 523460608 117512 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 127798 117512 264 42 0 124946 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 511192

[startup+1062.3 s]
/proc/loadavg: 2.25 3.26 3.03 3/178 25206
/proc/meminfo: memFree=30336776/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=513240 CPUtime=1062.31 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 855127 0 0 0 106125 106 0 0 25 0 1 0 34942298 525557760 117769 33554432000 4194304 4365125 140737218773408 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 128310 117769 264 42 0 125458 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 513240

[startup+1122.3 s]
/proc/loadavg: 2.12 3.04 2.97 3/178 25207
/proc/meminfo: memFree=30364012/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=480472 CPUtime=1122.32 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 859234 0 0 0 112124 108 0 0 25 0 1 0 34942298 492003328 113657 33554432000 4194304 4365125 140737218773408 18446744073709551615 4244636 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 120118 113657 264 42 0 117266 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 480472

[startup+1182.3 s]
/proc/loadavg: 2.04 2.85 2.91 4/178 25208
/proc/meminfo: memFree=30366228/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=496856 CPUtime=1182.32 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 870023 0 0 0 118123 109 0 0 25 0 1 0 34942298 508780544 115713 33554432000 4194304 4365125 140737218773408 18446744073709551615 4245201 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 124214 115713 264 42 0 121362 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 496856

[startup+1242.3 s]
/proc/loadavg: 2.01 2.69 2.85 3/178 25210
/proc/meminfo: memFree=30351568/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1242.32 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 124122 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 507096

[startup+1302.3 s]
/proc/loadavg: 2.00 2.56 2.79 3/178 25212
/proc/meminfo: memFree=30371380/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1302.33 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 130123 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4242708 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 507096

[startup+1362.3 s]
/proc/loadavg: 2.00 2.46 2.74 3/178 25214
/proc/meminfo: memFree=30348652/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1362.32 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 136122 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4242876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 507096

[startup+1422.31 s]
/proc/loadavg: 2.00 2.37 2.69 3/178 25215
/proc/meminfo: memFree=30350976/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1422.33 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 142123 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 507096

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

[startup+1433.5 s]
/proc/loadavg: 2.00 2.36 2.68 3/178 25215
/proc/meminfo: memFree=30324920/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1433.52 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 143242 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1433.52
Current children cumulated vsize (KiB) 507096

[startup+1459.1 s]
/proc/loadavg: 2.00 2.33 2.66 3/178 25216
/proc/meminfo: memFree=30362096/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1459.12 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 145802 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1459.12
Current children cumulated vsize (KiB) 507096

[startup+1465.5 s]
/proc/loadavg: 2.00 2.32 2.65 3/178 25216
/proc/meminfo: memFree=30362096/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1465.52 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 146442 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1465.52
Current children cumulated vsize (KiB) 507096

[startup+1471.9 s]
/proc/loadavg: 2.00 2.31 2.65 3/178 25216
/proc/meminfo: memFree=30361848/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1471.93 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 147083 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1471.93
Current children cumulated vsize (KiB) 507096

[startup+1473.5 s]
/proc/loadavg: 2.00 2.31 2.65 3/178 25216
/proc/meminfo: memFree=30361848/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1473.53 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 147243 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1473.53
Current children cumulated vsize (KiB) 507096

[startup+1475.11 s]
/proc/loadavg: 2.00 2.31 2.65 3/178 25216
/proc/meminfo: memFree=30361968/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1475.13 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 147403 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4242605 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1475.13
Current children cumulated vsize (KiB) 507096

[startup+1475.9 s]
/proc/loadavg: 2.00 2.31 2.65 3/178 25216
/proc/meminfo: memFree=30361968/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1475.92 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 147482 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4257313 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1475.92
Current children cumulated vsize (KiB) 507096

[startup+1476.3 s]
/proc/loadavg: 2.00 2.31 2.65 3/178 25216
/proc/meminfo: memFree=30357132/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1476.32 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 147522 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1476.32
Current children cumulated vsize (KiB) 507096

[startup+1476.4 s]
/proc/loadavg: 2.00 2.31 2.65 3/178 25216
/proc/meminfo: memFree=30357132/32950928 swapFree=67111364/67111528
[pid=24823] ppid=24821 vsize=507096 CPUtime=1476.42 cores=1,3
/proc/24823/stat : 24823 (MoUsSaka) R 24821 24823 24676 0 -1 4202496 871308 0 0 0 147532 110 0 0 25 0 1 0 34942298 519266304 116998 33554432000 4194304 4365125 140737218773408 18446744073709551615 4242819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/24823/statm: 126774 116998 264 42 0 123922 0
Current children cumulated CPU time (s) 1476.42
Current children cumulated vsize (KiB) 507096

Child status: 20
Real time (s): 1476.43
CPU time (s): 1476.47
CPU user time (s): 1475.34
CPU system time (s): 1.12483
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 765972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1475.34
system time used= 1.12483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 871313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2200

runsolver used 2.21066 second user time and 5.33619 second system time

The end

Begin job on node124 at 2011-06-14 10:59:35
IDJOB=3501464
IDBENCH=90009
IDSOLVER=2000
FILE ID=node124/3501464-1308041975
RUNJOBID= node124-1308041932-24696
PBS_JOBID= 13564702
Free space on /tmp= 73568 MiB

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

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

MD5SUM BENCH= 7a2a85b640e423e2bf1308151f5248f8
RANDOM SEED=903384297

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30892248 kB
Buffers:        221800 kB
Cached:        1044012 kB
SwapCached:          0 kB
Active:        1065444 kB
Inactive:       776332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30892248 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          183056 kB
Writeback:          60 kB
AnonPages:      576092 kB
Mapped:          16564 kB
Slab:           150180 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   939608 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= 73744 MiB
End job on node124 at 2011-06-14 11:24:11