Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
MUSer 2011-02-10 | UNSAT | 1168.5 | 1168.47 |
Name | APPLICATIONS/ bitverif/minand/minand064.cnf |
MD5SUM | bf7b492ab6e18ae58155d14517070d60 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1105.69 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 14703 |
Number of clauses | 42956 |
Sum of the clauses size | 100228 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 2 |
Number of clauses of size 2 | 28636 |
Number of clauses of size 3 | 14318 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
0.00/0.00 c *** MUSer: a MUS extractor *** 0.00/0.00 c *** release date: 2011210 *** 0.00/0.00 c *** release ref: f95464aa99ac *** 0.00/0.00 c *** built: 2011-Feb-10 00:59 *** 0.00/0.00 c *** author: Joao Marques-Silva (jpms@ucd.ie) *** 0.00/0.00 c 0.00/0.00 c *** instance: HOME/instance-3493603-1307800716.cnf *** 0.00/0.00 c 0.00/0.03 c Parsing CPU Time: 0.035994 0.00/0.03 c Running MUSer ... 20.09/20.13 c 0.00% completed ... 49.19/49.20 c 5.34% completed ... 88.59/88.63 c 10.43% completed ... 212.00/212.01 c 35.89% completed ... 402.00/402.05 c 40.96% completed ... 578.10/578.19 c 58.87% completed ... 632.01/632.00 c 63.93% completed ... 963.91/963.90 c 79.15% completed ... 1017.42/1017.47 c 84.24% completed ... 1157.92/1157.98 c 99.28% completed ... 1168.32/1168.33 c 100.00% completed ... 1168.32/1168.33 c MUS size: 23254 1168.32/1168.33 s UNSATISFIABLE 1168.32/1168.33 v 18441 24205 19850 40088 4351 21259 31378 27023 6914 32787 28432 34196 25486 35605 31250 11141 41369 5632 6786 22540 18185 13691 28304 8195 34068 29713 15239 25358 4095 21003 41241 16648 5504 26767 6658 36886 22412 32531 42650 33940 19466 29585 9476 39704 3967 16520 41113 10885 26639 5376 6530 36758 22284 17929 13435 28048 7939 23693 29457 14983 25102 35221 20747 30866 40985 16392 5248 26511 1469 32275 12166 27920 2686 23565 19210 29329 39448 9220 24974 3711 35093 30738 40857 10629 5120 22028 1341 12038 42266 17673 13179 27792 1571 7683 2558 23437 33556 19082 29201 413 9092 3583 24846 34965 20491 211 30610 40729 26255 4992 36374 1213 42138 27664 7555 37783 23309 2430 33428 8964 24718 10373 4864 1085 21772 31891 17417 42010 11782 12923 2302 28945 14471 39064 8836 3327 34709 20235 15880 10245 4736 25999 36118 21644 31763 11654 2174 23053 18698 12793 30226 15752 10117 4608 31635 41754 17161 6017 27280 37399 33044 18570 38808 14215 24334 34453 19979 30098 9989 15624 4480 41626 27152 7043 37271 333 22797 32916 18442 24206 12537 29970 9861 4352 35734 21260 31379 16905 37143 6915 32788 28433 13959 24078 19723 9733 25487 4224 35606 21132 5633 6787 22541 1662 34069 29714 35478 21004 31123 16649 11014 26768 6659 36887 18058 13564 28177 8068 2943 33941 3108 15112 3968 25231 10886 41114 5377 22285 32404 17930 13436 28049 7940 2815 33813 670 29458 14984 39577 25103 3840 35222 16393 10758 5249 26512 36631 32276 12167 17802 13308 7812 2687 23566 19211 29330 9221 39449 14856 3712 35094 20620 30739 10630 32148 17674 13180 27793 37912 7684 23438 33557 39321 3584 24847 102 34966 20492 30611 40730 16137 4993 1214 42139 27665 7556 37784 2431 18955 29074 394 8965 24719 3456 20364 30483 40602 4865 26128 36247 21773 31892 11783 42011 27537 37656 7428 2303 33301 28946 8837 39065 3328 24591 20236 30355 15881 40474 26000 36119 41883 17290 23054 28818 38937 14344 8709 12794 34582 30227 10118 4609 25872 35991 21517 31636 17162 41755 11527 27281 37400 22926 18571 14216 8581 24335 12666 34454 40218 15625 4481 41627 17034 334 22798 32917 18443 14088 12538 34326 19852 29971 40090 9862 35735 41499 16906 11271 27025 37144 1791 32789 18315 13821 13960 8325 24079 19724 9734 15369 4225 21133 31252 5634 6788 32661 6207 42780 18187 28306 13693 3072 34070 19596 39834 9606 4097 25360 35479 21005 31124 11015 5506 22414 18059 42652 13565 28178 8069 2944 23823 3109 15113 25232 20877 30996 16522 5378 36760 6532 22286 32405 2816 33814 29459 671 39578 3841 20749 16394 10759 26513 36632 1471 22158 42396 17803 13309 7813 23567 543 14857 3713 35095 20621 16266 10631 5122 26385 36504 1343 32149 17675 42268 13181 27794 7685 37913 2560 19084 29203 39322 9094 24848 103 34967 213 16138 10503 4994 26257 42140 17547 13053 2432 23311 33430 18956 29075 395 8966 14601 3457 34839 20365 30484 40603 10375 26129 36248 17419 27538 12925 7429 37657 33302 18828 3329 24592 34711 20237 30356 40475 4738 21646 17291 11656 6147 33174 28819 14345 38938 8710 34583 20109 40347 15754 4610 25873 35992 21518 31637 11528 41756 6019 7173 22927 8582 12667 30100 15626 40219 21390 31509 17035 11400 27154 335 7045 22799 1920 32918 28563 14089 8454 12539 24208 34327 19853 29972 9863 40091 15498 4354 25617 31381 11272 16907 27026 5763 37145 1792 22671 6336 42909 18316 13822 8326 13961 24080 12411 29844 39963 15370 4226 35608 21134 31253 16779 5635 26898 37017 1664 22543 32662 18188 6208 42781 13694 28307 13833 3073 23952 19597 9607 25361 4098 35480 41244 16651 5507 36889 22415 42653 2945 23824 3110 3970 35352 20878 30997 16523 41116 10888 6533 36761 42525 28051 33815 19341 14986 9351 3842 25105 20750 10760 1472 22159 32278 17804 42397 12169 13310 7814 33687 29332 14858 39451 9223 30741 16267 40860 5123 26386 36505 1344 32150 42269 2561 23440 33559 19085 29204 9095 39323 14730 3586 104 214 16139 40732 10504 26258 1216 21903 32022 17548 11913 27667 37786 7558 23312 33431 396 39195 14602 3458 34840 20366 30485 10376 40604 16011 17420 12926 27539 37658 7430 23184 18829 24593 34712 15883 10248 4739 21647 960 11657 6148 27411 37530 7302 33175 28820 8711 38939 24465 20110 30229 15755 25874 35993 6020 27283 7174 22928 2049 18573 28692 38811 12668 24337 34456 30101 40220 25746 35865 21391 31510 17036 11401 27155 5892 7046 28564 14090 8455 24209 34328 15499 4355 25618 35737 31382 11273 5764 6918 1793 22672 18317 6337 13823 8327 12412 34200 19726 29845 15371 9736 35609 41373 16780 11145 26899 5636 37018 22544 1665 32663 6209 42782 13834 8199 3074 23953 19598 9608 15243 4099 31126 16652 41245 11017 36890 32535 18061 28180 13567 8071 23825 19470 29589 39708 15115 9480 25234 35353 20879 30998 10889 41117 26643 32407 28052 23697 2818 19342 673 14987 9352 25106 30870 40989 36634 22160 32279 12170 42398 27924 33688 29333 9224 39452 24978 35097 20623 30742 16268 40861 26387 36506 1345 22032 12042 1575 37915 23441 33560 417 14731 3587 215 10505 40733 36378 1217 21904 32023 17549 42142 11914 7559 37787 18958 29077 397 14603 39196 34841 16012 26131 1089 23185 33304 18830 14475 30358 10249 15884 961 31767 41886 17293 6149 27412 37531 7303 2178 33176 18702 14347 24466 34585 20111 30230 21520 41758 11530 27284 7175 2050 33048 18574 28693 38812 8584 24338 34457 19983 9993 25747 35866 21392 31511 11402 5893 337 37275 1922 28565 8456 19855 15500 25619 4356 35738 21264 41502 5765 27028 6919 22673 6338 28437 12413 34201 19727 29846 9737 25491 31255 16781 11146 26900 37019 18190 28309 13696 13835 8200 23954 29718 39837 15244 25363 35482 31127 11018 41246 26772 5509 6663 22417 32536 18062 13568 28181 8072 33945 19471 29590 15116 9481 25235 3972 35354 16525 26644 36763 6535 32408 17934 13440 7944 2819 23698 19343 674 9353 35226 20752 30871 5253 36635 1474 27925 2691 33689 19215 546 24979 35098 20624 30743 40862 5125 22033 12043 37916 2563 19087 418 29206 14732 39325 9097 106 20496 30615 26260 36379 21905 32024 11915 42143 27669 13056 23314 33433 18959 29078 398 39197 24723 16013 40606 10378 26132 4869 1090 21777 31896 42015 17422 11787 12928 7432 23186 2307 33305 28950 39069 14476 8841 34714 30359 10250 26004 4741 36123 962 21649 31768 17294 41887 11659 27413 7304 37532 2179 23058 18703 14348 24467 12798 34586 40350 15757 10122 21521 11531 41759 17166 6022 37404 2051 33049 18575 28694 8585 38813 14220 19984 30103 40222 9994 25748 4485 35867 41631 5894 27157 338 37276 7048 1923 18447 24211 19856 4357 21265 31384 41503 27029 6920 32793 42912 28438 8329 34202 39966 25492 35611 31256 11147 5638 6792 22546 18191 42784 13697 28310 8201 34074 29719 15245 39838 25364 4101 35483 21009 16654 5510 26773 6664 36892 22418 32537 23827 33946 19472 29591 9482 16526 10891 26645 5382 6536 36764 22290 42528 17935 28054 13441 7945 23699 29463 39582 14989 25108 35227 20753 30872 16398 5254 26517 1475 32281 42400 12172 27926 23571 19216 547 29335 9226 24980 3717 35099 10635 5126 22034 1347 12044 17679 27798 13185 1577 7689 2564 23443 33562 19088 419 29207 9098 39326 24852 3589 34971 107 20497 217 30616 26261 4998 36380 1219 13057 37789 7561 23315 2436 33434 8970 24724 10379 40607 4870 36252 1091 21778 31897 17423 11788 12929 7433 2308 28951 14477 39070 8842 3333 34715 20241 40479 15886 4742 26005 36124 21650 31769 11660 41888 2180 23059 18704 12799 30232 15758 40351 10123 4614 31641 17167 6023 27286 37405 33050 24340 34459 19985 30104 9995 40223 15630 4486 27158 7049 37277 22803 32922 18448 24212 12543 29976 40095 9867 4358 35740 21266 31385 41504 16911 37149 32794 42913 28439 13965 8330 24084 19729 39967 9739 25493 4230 35612 21138 41376 6793 22547 1668 42785 34075 29720 39839 4102 21010 31129 16655 41248 11020 26774 6665 36893 42657 18064 28183 13570 8074 2949 23828 33947 3114 39711 15118 25237 10892 5383 32410 17936 42529 13442 28055 7946 2821 33819 29464 676 14990 25109 3846 35228 40992 16399 10764 5255 26518 36637 32282 12173 42401 17808 13314 7818 2693 23572 19217 29336 548 9227 14862 20626 30745 10636 40864 1348 32154 42273 17680 27799 13186 1578 37918 7690 23444 33563 3590 24853 34972 20498 30617 16143 4999 1220 13058 7562 37790 2437 18961 29080 400 39199 8971 3462 24725 20370 30489 4871 26134 36253 21779 31898 11789 27543 37662 2309 33307 28952 8843 39071 3334 24597 34716 30361 15887 10252 26006 36125 17296 23060 28824 38943 14350 8715 12800 34588 30233 10124 40352 4615 25878 35997 21523 31642 17168 11533 27287 37406 22932 18577 14222 8587 24341 12672 34460 15631 4487 17040 22804 32923 18449 14094 12544 34332 19858 29977 9868 35741 16912 11277 27031 37150 6922 1797 32795 42914 18321 13966 24085 19730 9740 39968 15375 21139 31258 41377 5640 6794 1669 32667 6213 18193 28312 13699 3078 34076 19602 9612 25366 4103 35485 21011 31130 11021 41249 5512 22420 18065 13571 28184 8075 2950 3115 15119 39712 25238 3975 20883 31002 41121 16528 5384 36766 6538 22292 32411 42530 2822 33820 677 29465 20755 16400 40993 10765 26519 6410 36638 22164 1477 17809 13315 7819 23573 2694 39456 14863 3719 35101 20627 40865 16272 10637 26391 5128 36510 1349 32155 17681 13187 27800 7691 37919 1579 2566 19090 29209 9100 24854 34973 40737 16144 10509 5000 26263 17553 27672 2438 23317 33436 18962 29081 8972 39200 14607 3463 34845 20371 30490 10381 26135 36254 42018 17425 27544 12931 37663 7435 33308 18834 3335 24598 34717 20243 30362 10253 4744 21652 17297 41890 11662 33180 28825 14351 38944 8716 34589 20115 15760 4616 25879 35998 21524 31643 11534 6025 7179 22933 8588 14223 12673 30106 15632 21396 31515 41634 17041 11406 27160 7051 22805 1926 32924 28569 14095 8460 12545 24214 34333 19859 29978 9869 15504 4360 25623 31387 16913 41506 27032 5769 6923 37151 1798 22677 18322 6342 13967 24086 12417 29850 15376 4232 35614 21140 31259 41378 16785 26904 37023 22549 1670 32668 18194 6214 13700 28313 13839 3079 23958 19603 9613 25367 35486 16657 5513 36895 22421 2951 3116 39713 35358 20884 31003 16529 10894 6539 36767 22293 28057 33821 19347 39585 14992 9357 3848 25111 20756 10766 40994 1478 22165 32284 17810 12175 13316 7820 2695 33693 550 29338 14864 9229 3720 30747 16273 5129 26392 36511 32156 2567 23446 33565 19091 29210 9101 14736 3592 16145 10510 26264 21909 1222 32028 17554 42147 11919 13060 37792 7564 23318 33437 402 14608 3464 34846 20372 30491 10382 16017 17426 42019 12932 27545 7436 37664 23190 18835 39073 24599 34718 20244 40482 15889 4745 21653 966 11663 41891 27417 12804 37536 7308 33181 28826 8717 38945 24471 20116 30235 15761 40354 25880 35999 41763 27289 6026 7180 22934 2055 18579 28698 38817 12674 24343 34462 30107 25752 35871 21397 31516 17042 41635 11407 27161 5898 7052 342 1927 28570 14096 8461 24215 34334 40098 15505 25624 35743 31388 11279 41507 5770 1799 22678 18323 6343 42916 12418 34206 19732 29851 9742 15377 39970 4233 35615 16786 11151 26905 37024 22550 32669 6215 13840 8205 3080 23959 19604 9614 15249 4105 31132 16658 11023 36896 32541 42660 18067 28186 13573 8077 19476 29595 15121 9486 25240 35359 20885 31004 10895 26649 32413 42532 28058 23703 2824 19348 679 14993 39586 9358 25112 3849 30876 36640 22166 32285 12176 27930 33694 551 29339 9230 24984 3721 35103 20629 16274 26393 36512 1351 22038 42276 12048 1581 37921 23447 33566 423 39330 14737 3593 111 10511 36384 1223 21910 32029 17555 11920 13061 7565 37793 18964 29083 14609 34847 40611 16018 26137 1095 42020 23191 33310 18836 39074 14481 20245 30364 15890 40483 10255 967 31773 17299 27418 12805 7309 37537 2184 33182 18708 14353 24472 34591 20117 30236 40355 21526 11536 27290 7181 2056 33054 28699 8590 38818 24344 34463 19989 40227 9999 25753 35872 21398 31517 11408 41636 5899 343 37281 1928 3209 28571 8462 19861 15506 40099 25625 4362 35744 21270 11280 5771 27034 6925 22679 6344 42917 28443 8334 12419 34207 19733 29852 39971 9743 25497 31261 16787 41380 11152 26906 5643 37025 1672 42789 18196 28315 13702 13841 8206 23960 29724 39843 15250 25369 35488 31133 11024 26778 5515 6669 22423 32542 18068 42661 13574 28187 8078 23832 33951 19477 29596 15122 9487 25241 3978 35360 41124 16531 26650 36769 6541 32414 42533 17940 13446 7950 2825 23704 19349 680 9359 39587 35232 20758 30877 40996 5259 36641 1480 42405 27931 2697 33695 19221 39459 24985 20630 5131 22039 42277 12049 1582 37922 2569 19093 424 29212 14738 9103 3594 112 20502 30621 40740 26266 36385 21911 32030 11921 27675 23320 33439 18965 29084 24729 16019 10384 26138 4875 1096 21783 31902 17428 11793 12934 7438 23192 2313 33311 28956 14482 8847 34720 30365 10256 40484 26010 4747 36129 968 21655 31774 17300 11665 12806 27419 7310 37538 2185 23064 18709 14354 38947 24473 34592 15763 10128 21527 11537 17172 6028 37410 2057 33055 28700 38819 14226 8591 19990 30109 10000 25754 4491 35873 5900 27163 344 37282 7054 18453 24217 19862 40100 21271 31390 11281 27035 6926 32799 28444 8335 34208 25498 35617 31262 11153 41381 6798 1673 22552 18197 13703 28316 8207 12292 34080 29725 15251 39844 25370 4107 35489 21015 41253 16660 5516 26779 6670 36898 22424 32543 42662 23833 33952 19478 29597 9488 3979 16532 41125 10897 26651 5388 6542 36770 22296 17941 28060 13447 23705 29469 14995 25114 35233 20759 30878 40997 16404 5260 26523 6414 1481 32287 12178 27932 2698 23577 19222 29341 39460 9232 24986 3723 30750 40869 10641 5132 22040 1353 12050 42278 17685 27804 13191 7695 1583 2570 23449 33568 19094 425 29213 9104 3595 24858 113 34977 20503 30622 40741 26267 5004 36386 1225 42150 27676 37795 7567 23321 2442 33440 405 39204 8976 24730 10385 4876 36258 1097 21784 31903 17429 42022 11794 12935 7439 2314 28957 14483 8848 3339 20247 15892 4748 26011 36130 21656 31775 11666 2186 23065 18710 38948 3211 30238 15764 10129 4620 31647 17173 41766 6029 27292 37411 33056 18582 14227 24346 34465 19991 30110 10001 15636 41638 27164 7055 37283 22809 1930 32928 18454 24218 12549 29982 9873 35746 21272 31391 16917 37155 32800 28445 8336 13971 24090 19735 9745 25499 4236 35618 21144 6799 22553 12293 34081 29726 39845 21016 31135 16661 11026 26780 6671 36899 18070 28189 13576 8080 23834 2955 33953 3120 39717 15124 3980 25243 10898 41126 5389 22297 32416 17942 13448 28061 7952 2827 33825 29470 682 14996 25115 3852 35234 16405 10770 5261 26524 6415 36643 32288 12179 17814 13320 7824 23578 2699 19223 29342 9233 39461 14868 3724 35106 20632 10642 32160 17686 27805 13192 7696 37924 23450 33569 39333 24859 3596 34978 20504 30623 40742 16149 5005 1226 42151 27677 7568 37796 2443 18967 29086 8977 3468 24731 20376 30495 40614 4877 26140 36259 21785 31904 11795 42023 27549 37668 2315 33313 28958 8849 3340 24603 34722 20248 30367 15893 40486 10258 26012 36131 41895 17302 23066 28830 14356 8721 3212 34594 30239 10130 4621 25884 36003 21529 31648 17174 41767 11539 27293 37412 22938 38821 14228 8593 24347 12678 34466 40230 15637 4493 41639 17046 1931 22810 32929 18455 14100 12550 34338 19864 29983 40102 9874 4365 35747 41511 16918 11283 27037 37156 6928 1803 32801 18327 13972 24091 19736 9746 15381 4237 21145 31264 5646 6800 1675 32673 6219 42792 18199 28318 13705 34082 19608 9618 25372 35491 21017 31136 11027 5518 22426 18071 42664 13577 28190 8081 2956 3121 15125 39718 25244 20889 31008 16534 5390 36772 6544 22298 32417 7953 2828 33826 683 29471 3853 20761 10771 16406 26525 6416 36644 22170 1483 42408 17815 13321 7825 23579 555 14869 3725 20633 10643 16278 26397 5134 36516 17687 42280 13193 27806 1585 7697 37925 2572 19096 29215 39334 9106 24860 34979 16150 10515 5006 26269 42152 17559 13065 2444 23323 33442 18968 29087 8978 14613 3469 34851 20377 30496 40615 10387 26141 36260 17431 12937 27550 37669 7441 33314 18840 39078 3341 24604 20249 30368 10259 40487 4750 21658 17303 11668 33186 28831 14357 8722 34595 20121 40359 15766 4622 25885 36004 21530 31649 11540 41768 6031 7185 22939 8594 38822 12679 30112 15638 40231 4494 21402 31521 17047 11412 27166 7057 22811 32930 28575 14101 8466 12551 24220 34339 19865 29984 9875 40103 15510 25629 31393 11284 16919 27038 5775 6929 37157 219 1804 22683 6348 42921 18328 13973 24092 12423 29856 39975 15382 4238 35620 21146 31265 16791 5647 26910 37029 1676 22555 32674 18200 6220 42793 13706 28319 13845 23964 12295 19609 39847 9619 25373 4110 35492 41256 16663 5519 36901 22427 42665 2957 3122 39719 3982 35364 20890 31009 16535 41128 10900 6545 36773 42537 28063 33827 19353 39591 14998 9363 25117 3854 20762 10772 1484 22171 32290 17816 42409 12181 13322 7826 2701 33699 29344 556 14870 9235 30753 40872 16279 5135 26398 36517 1356 32162 42281 2573 23452 33571 19097 29216 9107 39335 14742 3598 16151 40744 10516 26270 21915 1228 32034 17560 11925 27679 13066 37798 7570 23324 33443 39207 14614 3470 34852 20378 30497 10388 40616 16023 17432 27551 12938 7442 37670 23196 18841 24605 15895 4751 21659 972 11669 27423 12810 37542 7314 33187 28832 8723 24477 3214 20122 30241 15767 25886 36005 6032 27295 7186 22940 2061 18585 28704 14230 12680 24349 34468 30113 40232 4495 25758 35877 31522 17048 11413 5904 27167 7058 348 1933 28576 14102 8467 24221 34340 15511 25630 35749 31394 11285 5776 1805 22684 18329 6349 12424 34212 19738 29857 15383 9748 35621 41385 16792 11157 5648 26911 37030 22556 32675 6221 42794 13846 8211 12296 23965 19610 9620 39848 15255 25374 31138 16664 41257 11029 36902 32547 18073 28192 13579 8083 19482 29601 15127 9492 3983 25246 35365 20891 31010 10901 41129 26655 22300 32419 28064 23709 2830 19354 685 14999 39592 9364 25118 30882 41001 36646 22172 32291 12182 42410 27936 33700 557 29345 9236 3727 24990 35109 20635 30754 16280 40873 26399 36518 22044 32163 12054 37927 1587 23453 33572 429 14743 117 10517 40745 36390 1229 21916 32035 17561 42154 13067 27680 7571 37799 18970 29089 14615 39208 34853 16024 26143 1101 33316 18842 14487 34725 20251 30370 15896 10261 973 31779 41898 17305 27424 12811 37543 7315 2190 33188 18714 38952 14359 3215 24478 34597 20123 30242 21532 41770 11542 27296 7187 2062 33060 18586 28705 14231 8596 24350 34469 19995 10005 25759 35878 21404 31523 11414 5905 349 37287 1934 28577 8468 19867 15512 25631 4368 35750 21276 41514 5777 27040 6931 22685 6350 28449 8340 12425 34213 19739 29858 9749 25503 4240 31267 16793 11158 26912 37031 1678 18202 28321 13708 13847 8212 23966 29730 15256 25375 35494 31139 11030 41258 26784 5521 6675 22429 32548 18074 13580 28193 8084 23838 33957 19483 29602 9493 15128 39721 25247 35366 16537 26656 36775 6547 22301 32420 17946 13452 7956 2831 23710 19355 686 9365 39593 3856 35238 20764 30883 5265 36647 1486 27937 2703 33701 19227 29346 39465 24991 35110 20636 30755 40874 5137 22045 12055 37928 2575 19099 430 29218 14744 9109 3600 20508 30627 26272 36391 21917 32036 11927 42155 23326 33445 18971 29090 39209 24735 16025 40618 10390 26144 4881 1102 21789 31908 42027 17434 11799 12940 7444 23198 2319 33317 28962 39081 14488 8853 30371 10262 26016 4753 36135 974 21661 31780 17306 41899 11671 12812 27425 7316 37544 2191 23070 18715 14360 24479 34598 40362 15769 10134 21533 11543 41771 17178 6034 37416 2063 33061 18587 28706 8597 19996 30115 40234 10006 25760 4497 35879 21405 41643 5906 27169 350 37288 7060 18459 24223 19868 4369 21277 31396 11287 41515 27041 6932 222 32805 42924 28450 8341 34214 39978 4241 25504 35623 31268 11159 5650 6804 1679 22558 18203 42796 13709 28322 8213 12298 34086 29731 15257 4113 25376 35495 21021 16666 5522 26785 6676 36904 22430 32549 23839 33958 19484 29603 9494 39722 16538 10903 26657 5394 6548 36776 42540 17947 28066 13453 7957 23711 29475 15001 3857 25120 35239 20765 30884 16410 5266 26529 6420 1487 32293 42412 12184 27938 23583 19228 29347 39466 9238 24992 3729 35111 10647 5138 22046 1359 12056 17691 27810 13197 7701 2576 23455 33574 19100 431 29219 9110 24864 119 34983 20509 30628 26273 5010 36392 1231 11928 37801 7573 23327 2448 33446 8982 24736 10391 40619 4882 36264 1103 21790 31909 17435 11800 12941 7445 2320 23199 28963 14489 39082 8854 3345 20253 40491 15898 4754 26017 36136 21662 31781 11672 41900 2192 23071 18716 3217 30244 15770 40363 10135 4626 31653 17179 6035 27298 37417 33062 38826 14233 24352 34471 19997 30116 10007 40235 15642 4498 27170 7061 37289 22815 1936 32934 18460 24224 12555 29988 40107 9879 4370 35752 21278 31397 41516 16923 37161 32806 42925 28451 8342 13977 24096 19741 39979 9751 25505 35624 21150 41388 5651 6805 22559 42797 12299 34087 29732 4114 21022 31141 16667 41260 11032 26786 6677 36905 42669 18076 28195 13582 8086 23840 2961 33959 3126 15130 25249 10904 5395 22303 32422 17948 42541 13454 28067 7958 2833 33831 688 29476 15002 39595 25121 35240 41004 16411 10776 5267 26530 36649 32294 12185 42413 17820 13326 7830 23584 19229 29348 9239 39467 14874 20638 30757 40876 1360 32166 42285 17692 27811 13198 37930 7702 1590 23456 33575 39339 24865 120 34984 20510 30629 16155 5011 1232 11929 7574 37802 2449 18973 29092 8983 24737 3474 20382 30501 4883 26146 36265 21791 31910 11801 27555 37674 2321 33319 28964 8855 39083 3346 24609 34728 30373 15899 10264 26018 36137 17308 23072 28836 38955 14362 8727 3218 34600 30245 10136 40364 4627 25890 36009 21535 31654 17180 11545 27299 37418 22944 18589 14234 8599 24353 12684 34472 15643 4499 17052 1937 22816 32935 18461 14106 12556 34344 19870 29989 9880 35753 16924 11289 27043 37162 6934 1809 32807 42926 18333 24097 19742 9752 39980 15387 4243 21151 31270 41389 6806 1681 32679 6225 18205 28324 13711 34088 19614 39852 9624 25378 4115 35497 21023 31142 11033 41261 5524 22432 18077 13583 28196 8087 2962 3127 15131 25250 3987 20895 31014 41133 16540 5396 36778 6550 22304 32423 42542 2834 33832 689 29477 39596 3859 20767 16412 41005 10777 26531 6422 36650 22176 1489 17821 13327 7831 23585 2706 561 14875 35113 20639 30758 10649 40877 16284 26403 5140 36522 1361 32167 17693 13199 27812 7703 37931 2578 19102 29221 39340 9112 24866 3603 121 34985 40749 16156 10521 5012 26275 17565 27684 13071 2450 23329 33448 18974 29093 8984 14619 3475 34857 20383 30502 10393 26147 36266 42030 17437 27556 12943 37675 7447 33320 18846 3347 24610 34729 30374 10265 4756 21664 17309 41902 11674 33192 28837 8728 14363 38956 34601 20127 15772 4628 25891 36010 21536 31655 11546 6037 7191 22945 18590 8600 12685 30118 15644 21408 31527 41646 17053 11418 27172 7063 22817 32936 28581 14107 8472 12557 24226 34345 19871 29990 9881 15516 25635 4372 31399 16925 41518 27044 5781 6935 37163 225 1810 22689 6354 18334 13979 24098 12429 29862 15388 4244 35626 21152 31271 41390 16797 26916 37035 1682 22561 32680 18206 6226 13712 28325 13851 23970 12301 19615 9625 35498 16669 5525 36907 22433 2963 3128 3988 35370 20896 31015 16541 10906 6551 36779 28069 7960 33833 19359 690 15004 9369 3860 25123 20768 10778 41006 6423 1490 22177 32296 17822 12187 13328 7832 33705 29350 562 14876 39469 9241 3732 35114 16285 10650 5141 26404 36523 32168 2579 23458 33577 19103 29222 9113 39341 14748 16157 10522 26276 21921 1234 32040 42159 17566 11931 27685 13072 37804 7576 23330 33449 39213 14620 3476 34858 20384 30503 10394 16029 17438 42031 12944 27557 7448 37676 23202 24611 34730 20256 40494 15901 4757 21665 978 11675 41903 27429 12816 37548 7320 33193 28838 8729 38957 24483 3220 20128 30247 15773 40366 25892 36011 41775 6038 27301 7192 22946 2067 28710 38829 14236 12686 24355 34474 30119 4501 25764 35883 21409 31528 17054 41647 11419 27173 5910 7064 354 1939 28582 8473 14108 24227 34346 40110 15517 25636 4373 35755 31400 41519 5782 226 1811 22690 18335 42928 6355 13980 12430 34218 19744 29863 15389 39982 9754 35627 16798 11163 26917 37036 22562 32681 6227 28326 13852 8217 12302 23971 19616 9626 15261 25380 4117 31144 16670 11035 36908 32553 42672 18079 28198 13585 8089 19488 29607 39726 15133 9498 3989 25252 35371 20897 31016 10907 26661 22306 32425 42544 28070 7961 23715 2836 19360 691 15005 9370 25124 30888 36652 22178 32297 12188 27942 33706 563 9242 39470 24996 20641 16286 10651 26405 36524 1363 22050 42288 12060 37933 1593 23459 33578 435 14749 123 10523 36396 1235 21922 32041 11932 17567 13073 27686 7577 37805 18976 29095 14621 39214 34859 40623 16030 26149 1107 42032 23203 33322 18848 14493 30376 15902 40495 10267 979 31785 17311 12817 27430 37549 7321 2196 33194 18720 14365 3221 24484 34603 20129 30248 40367 21538 11548 27302 7193 2068 33066 28711 14237 38830 8602 24356 34475 20001 40239 10011 25765 35884 21410 31529 11420 41648 5911 355 37293 1940 28583 8474 19873 15518 40111 25637 35756 21282 11292 5783 27046 227 6937 22691 6356 42929 28455 13981 8346 12431 34219 19745 29864 9755 39983 25509 4246 31273 16799 41392 11164 26918 5655 37037 1684 42801 18208 28327 13714 13853 8218 23972 29736 39855 15262 4118 35500 31145 11036 26790 5527 6681 22435 32554 18080 42673 13586 28199 8090 23844 33963 19489 29608 15134 9499 25253 35372 41136 16543 26662 36781 6553 22307 32426 42545 17952 13458 2837 23716 19361 692 9371 3862 35244 20770 30889 41008 5271 36653 1492 42417 27943 2709 33707 19233 29352 24997 20642 5143 1364 22051 32170 42289 12061 1594 37934 2581 19105 436 29224 14750 39343 9115 3606 124 20514 30633 40752 26278 36397 21923 32042 11933 23332 33451 18977 29096 39215 24741 16031 10396 26150 4887 1108 21795 31914 17440 11805 12946 7450 2325 23204 33323 18849 28968 39087 14494 8859 34732 30377 10268 40496 26022 4759 36141 980 21667 31786 17312 11677 12818 27431 7322 37550 23076 18721 14366 24485 34604 15775 10140 21539 11549 17184 6040 37422 2069 33067 28712 8603 38831 20002 30121 10012 25766 4503 35885 5912 27175 356 37294 7066 18465 24229 19874 40112 21283 31402 27047 6938 32811 28456 8347 34220 4247 25510 35629 31274 11165 41393 5656 6810 1685 22564 18209 13715 28328 8219 12304 34092 29737 15263 39856 35501 21027 41265 16672 5528 26791 6682 36910 22436 32555 42674 23845 33964 19490 29609 9500 16544 41137 10909 26663 5400 6554 36782 17953 28072 13459 7963 23717 29481 39600 15007 3863 25126 35245 20771 30890 41009 16416 5272 26535 6426 1493 32299 12190 27944 2710 23589 19234 9244 24998 3735 30762 40881 10653 5144 22052 32171 12062 42290 17697 27816 13203 1595 7707 2582 23461 33580 19106 437 29225 9116 39344 3607 24870 34989 125 20515 30634 40753 26279 5016 36398 1237 42162 37807 7579 23333 2454 33452 8988 10397 4888 36270 1109 21796 31915 17441 42034 11806 12947 7451 2326 28969 14495 39088 8860 3351 34733 20259 15904 4760 36142 21668 31787 11678 2198 23077 18722 3223 30250 15776 10141 4632 31659 41778 17185 6041 27304 37423 33068 18594 14239 24358 34477 20003 30122 10013 15648 21412 41650 27176 7067 37295 22821 1942 32940 18466 24230 12561 29994 9885 35758 21284 31403 16929 37167 229 32812 28457 8348 13983 24102 19747 9757 25511 35630 21156 5657 6811 22565 12305 34093 29738 39857 25383 21028 31147 16673 11038 26792 6683 36911 18082 28201 13588 8092 23846 2967 33965 3132 39729 15136 25255 10910 41138 5401 22309 32428 17954 13460 28073 7964 2839 33837 694 29482 15008 25127 35246 16417 10782 5273 26536 6427 36655 1494 32300 12191 17826 13332 7836 2711 23590 19235 9245 14880 3736 35118 20644 30763 10654 17698 27817 13204 37936 7708 23462 33581 3608 24871 34990 20516 30635 40754 16161 5017 1238 11935 42163 7580 37808 2455 18979 29098 39217 8989 24743 3480 20388 30507 40626 4889 26152 36271 21797 31916 11807 42035 27561 37680 2327 23206 33325 28970 8861 39089 3352 24615 20260 30379 15905 40498 10270 26024 36143 41907 17314 23078 2199 28842 38961 14368 8733 3224 34606 30251 10142 25896 36015 21541 31660 17186 41779 11551 27305 37424 22950 18595 14240 8605 24359 12690 34478 40242 15649 21413 41651 17058 1943 22822 32941 18467 14112 12562 34350 19876 29995 40114 9886 4377 35759 41523 16930 11295 27049 37168 6940 230 1815 32813 18339 13984 24103 19748 9758 15393 4249 21157 31276 6812 1687 32685 6231 42804 18211 28330 13717 34094 19620 9630 35503 21029 31148 11039 5530 22438 18083 42676 13589 28202 8093 2968 15137 39730 25256 3993 20901 31020 16546 5402 36784 6556 22310 32429 2840 33838 29483 3865 20773 16418 10783 26537 36656 6428 1495 22182 42420 17827 13333 7837 23591 567 29355 39474 14881 9246 3737 35119 20645 30764 16290 10655 26409 5146 36528 32173 17699 42292 13205 27818 1597 7709 37937 2584 19108 29227 9118 24872 127 34991 16162 10527 5018 26281 42164 17571 27690 13077 2456 23335 33454 18980 29099 8990 39218 14625 24744 34863 20389 30508 40627 10399 26153 36272 17443 27562 12949 37681 7453 23207 33326 18852 3353 24616 20261 30380 10271 40499 4762 26025 21670 17315 11680 33198 28843 14369 38962 8734 34607 20133 40371 15778 4634 25897 36016 21542 31661 11552 41780 6043 7197 22951 18596 8606 12691 30124 15650 40243 4506 31533 17059 11424 27178 7069 22823 32942 28587 14113 8478 12563 24232 19877 29996 9887 40115 15522 4378 25641 31405 11296 16931 27050 5787 6941 37169 1816 22695 6360 42933 18340 13985 24104 12435 29868 39987 15394 4250 35632 21158 31277 16803 26922 37041 1688 22567 32686 18212 6232 42805 13718 13857 23976 12307 19621 9631 4122 35504 41268 16675 5531 36913 22439 42677 2969 3134 39731 3994 35376 20902 31021 16547 41140 10912 6557 36785 42549 28075 7966 33839 19365 696 39603 15010 9375 3866 25129 20774 10784 22183 1496 32302 17828 42421 12193 13334 7838 2713 33711 568 9247 14882 35120 40884 16291 5147 26410 36529 1368 32174 42293 1598 2585 23464 33583 19109 29228 9119 14754 3610 16163 40756 10528 26282 21927 1240 32046 17572 11937 27691 13078 37810 7582 23336 33455 14626 3482 24745 34864 20390 30509 10400 40628 16035 17444 12950 27563 7454 37682 18853 39091 24617 15907 4763 21671 984 11681 27435 12822 37554 7326 33199 28844 8735 38963 24489 3226 20134 30253 15779 25898 4635 36017 6044 27307 7198 22952 2073 28716 38835 14242 12692 24361 34480 30125 40244 25770 35889 21415 31534 17060 11425 27179 5916 7070 360 1945 28588 14114 8479 24233 34352 15523 4379 25642 35761 31406 11297 1817 22696 18341 6361 12436 34224 19750 29869 15395 9760 35633 41397 16804 11169 26923 37042 22568 32687 6233 42806 28332 13858 8223 12308 23977 19622 9632 15267 4123 25386 31150 16676 41269 11041 36914 32559 18085 28204 13591 8095 19494 3135 29613 15139 9504 3995 25258 35377 20903 31022 10913 41141 26667 22312 32431 28076 7967 23721 2842 19366 15011 39604 9376 25130 30894 41013 36658 6430 22184 32303 12194 42422 27948 2714 33712 569 9248 3739 25002 20647 10657 16292 40885 26411 36530 1369 22056 12066 37939 23465 2586 33584 441 39348 14755 3611 129 10529 40757 36402 1241 21928 32047 17573 42166 13079 27692 7583 37811 18982 29101 14627 3483 34865 16036 26155 1113 23209 33328 18854 39092 14499 34737 20263 30382 15908 10273 4764 985 31791 41910 17317 27436 37555 7327 2202 33200 18726 14371 3227 24490 34609 20135 30254 21544 41782 11554 27308 7199 2074 33072 28717 14243 38836 8608 24362 34481 20007 10017 25771 35890 21416 31535 11426 5917 37299 1946 28589 8480 34353 19879 15524 25643 35762 21288 41526 5789 27052 6943 22697 6362 28461 13987 8352 12437 34225 19751 29870 9761 25515 4252 31279 16805 11170 26924 5661 37043 1690 18214 13720 13859 8224 23978 29742 39861 15268 4124 25387 35506 31151 11042 41270 26796 5533 6687 22441 32560 18086 13592 28205 8096 23850 33969 19495 29614 9505 15140 25259 35378 16549 36787 6559 22313 32432 17958 13464 2843 23722 19367 9377 39605 3868 35250 20776 30895 5277 6431 36659 1498 27949 33713 19239 29358 39477 25003 3740 20648 40886 5149 1370 22057 32176 12067 37940 2587 19111 29230 14756 9121 20520 30639 26284 36403 21929 32048 42167 23338 33457 18983 29102 24747 16037 40630 10402 26156 4893 1114 21801 31920 42039 17446 11811 12952 7456 23210 2331 33329 28974 14500 8865 34738 20264 30383 10274 4765 26028 36147 986 21673 31792 17318 41911 11683 12824 27437 7328 37556 2203 23082 18727 14372 38965 24491 34610 40374 15781 10146 21545 11555 41783 17190 6046 37428 2075 33073 28718 8609 38837 20008 30127 10018 40246 25772 4509 35891 41655 5918 27181 362 7072 37300 18471 24235 19880 21289 31408 11299 41527 27053 5790 6944 234 32817 42936 28462 8353 34226 39990 4253 25516 35635 31280 11171 5662 6816 1691 22570 18215 42808 13721 8225 12310 34098 29743 15269 39862 25388 35507 21033 16678 5534 26797 6688 36916 22442 32561 23851 33970 19496 29615 9506 16550 10915 26669 5406 6560 36788 42552 17959 28078 13465 7969 23723 29487 699 15013 3869 25132 35251 20777 30896 16422 5278 26541 32305 42424 12196 27950 23595 19240 29359 9250 39478 25004 30768 10659 5150 22058 32177 12068 17703 27822 13209 7713 23467 2588 33586 19112 443 29231 9122 24876 34995 20521 30640 26285 5022 36404 1243 11940 37813 7585 23339 2460 33458 39222 8994 24748 10403 40631 4894 36276 1115 21802 31921 17447 11812 12953 7457 2332 18856 28975 14501 3357 34739 30384 40503 15910 26029 4766 36148 21674 31793 11684 41912 12825 23083 2204 18728 38966 3 3229 30256 15782 40375 10147 4638 31665 17191 6047 27310 37429 33074 18600 14245 24364 34483 20009 30128 40247 15654 10019 4510 21418 27182 7073 37301 363 22827 1948 32946 18472 24236 12567 30000 40119 9891 35764 21290 31409 11300 41528 16935 5791 235 37173 32818 42937 28463 8354 13989 24108 19753 39991 9763 25517 35636 21162 41400 5663 6817 22571 42809 28335 12311 34099 29744 39863 21034 31153 16679 41272 11044 26798 6689 36917 42681 18088 28207 13594 8098 23852 2973 33971 3138 39735 15142 25261 10916 5407 26670 22315 32434 17960 42553 13466 28079 7970 2845 33843 29488 15014 25133 35252 41016 16423 10788 5279 26542 36661 6433 1500 32306 12197 42425 17832 13338 7842 23596 19241 29360 39479 14886 35124 20650 30769 40888 42297 17704 27823 13210 1602 37942 7714 23468 33587 444 39351 24877 34996 132 20522 30641 16167 5023 1244 7586 37814 2461 18985 29104 8995 24749 3486 4 20394 30513 4895 26158 36277 21803 31922 11813 27567 37686 2333 23212 33331 18857 28976 8867 24621 30385 15911 10276 26030 36149 17320 23084 28848 14374 8739 3230 34612 30257 10148 40376 4639 25902 36021 21547 31666 17192 11557 27311 37430 22956 18601 14246 38839 8611 24365 12696 34484 15655 4511 21419 17064 7074 1949 22828 32947 18473 14118 12568 34356 19882 30001 9892 4383 35765 16936 27055 236 37174 6946 1821 32819 42938 18345 24109 19754 9764 39992 15399 4255 21163 31282 41401 6818 1693 32691 6237 18217 13723 34100 19626 9636 25390 35509 21035 31154 11045 41273 5536 22444 18089 13595 28208 8099 2974 3139 15143 39736 25262 3999 20907 31026 41145 16552 5408 26671 36790 6562 22316 32435 42554 2846 33844 29489 3871 20779 16424 41017 10789 26543 6434 36662 22188 17833 13339 7843 23597 2718 573 14887 9252 35125 20651 30770 40889 16296 26415 5152 36534 32179 17705 13211 27824 7715 37943 1603 2590 19114 445 29233 39352 9124 24878 3615 34997 40761 16168 10533 5024 26287 17577 27696 13083 2462 23341 33460 18986 29105 8996 14631 3487 34869 20395 30514 10405 26159 36278 42042 17449 27568 12955 37687 7459 23213 33332 39096 8868 3359 24622 30386 10277 4768 21676 17321 41914 11686 2206 33204 28849 14375 8740 34613 20139 15784 25903 4640 36022 21548 31667 11558 6049 7203 22957 18602 8612 38840 12697 30130 15656 31539 41658 17065 11430 27184 7075 22829 32948 28593 14119 8484 12569 24238 34357 19883 30002 9893 15528 4384 25647 31411 16937 41530 27056 5793 6947 37175 1822 22701 6366 18346 24110 12441 29874 15400 4256 35638 21164 31283 41402 16809 26928 37047 1694 22573 32692 18218 6238 13724 13863 23982 12313 19627 39865 9637 25391 4128 35510 16681 5537 36919 22445 2975 3140 39737 4000 35382 20908 31027 16553 10918 6563 36791 28081 7972 33845 19371 702 39609 15016 9381 3872 25135 20780 10790 41018 22189 32308 17834 12199 13340 7844 2719 33717 29362 574 14888 3744 35126 16297 10662 5153 26416 36535 1374 32180 1604 23470 33589 19115 29234 9125 39353 14760 3616 16169 10534 26288 21933 1246 32052 42171 17578 11943 27697 13084 7588 37816 23342 33461 39225 14632 24751 3488 6 34870 20396 30515 10406 16041 17450 42043 12956 27569 7460 37688 18859 8869 24623 3360 20268 40506 15913 26032 21677 990 11687 41915 27441 12828 37560 7332 2207 33205 28850 8741 24495 3232 20140 30259 15785 40378 25904 36023 41787 6050 27313 7204 22958 2079 28722 14248 12698 24367 34486 30131 25776 4513 35895 21421 31540 17066 41659 11431 27185 5922 7076 366 1951 28594 14120 8485 24239 34358 40122 15529 4385 25648 35767 31412 41531 5794 1823 22702 18347 6367 42940 13992 12442 34230 19756 29875 15401 39994 9766 35639 16810 11175 26929 37048 22574 32693 6239 28338 13864 8229 12314 23983 19628 9638 39866 15273 4129 31156 16682 11047 36920 32565 42684 18091 28210 13597 8101 19500 29619 15145 9510 4001 25264 35383 20909 31028 10919 26673 22318 32437 42556 28082 7973 23727 2848 19372 703 15017 39610 9382 25136 30900 36664 6436 22190 1503 32309 12200 27954 2720 33718 575 29363 3745 25008 20653 16298 26417 36536 1375 22062 42300 12072 37945 23471 2592 33590 19116 447 14761 3617 135 10535 36408 1247 21934 32053 11944 17579 13085 27698 7589 37817 18988 29107 14633 39226 7 34871 40635 16042 26161 1119 42044 23215 33334 18860 14505 3361 34743 20269 30388 15914 40507 10279 26033 4770 991 31797 17323 12829 27442 7333 37561 33206 18732 38970 14377 3233 24496 34615 20141 30260 40379 4642 21550 11560 27314 7205 2080 33078 28723 14249 8614 24368 34487 20013 40251 10023 25777 4514 35896 21422 31541 11432 41660 5923 367 37305 1952 28595 8486 19885 15530 40123 25649 35768 21294 11304 27058 5795 6949 22703 6368 42941 28467 8358 12443 34231 19757 29876 9767 39995 25521 4258 31285 16811 41404 11176 26930 5667 37049 1696 42813 18220 28339 13726 13865 8230 23984 29748 15274 4130 35512 31157 11048 26802 5539 6693 22447 32566 18092 42685 13598 28211 8102 23856 33975 19501 29620 3142 15146 39739 9511 25265 35384 41148 16555 26674 36793 6565 22319 32438 42557 17964 13470 2849 23728 19373 704 9383 39611 3874 35256 20782 30901 41020 5283 6437 36665 42429 27955 33719 19245 39483 9255 3746 25009 20654 5155 1376 22063 32182 42301 12073 37946 19117 448 29236 14762 9127 136 20526 30645 40764 26290 36409 21935 32054 11945 7590 23344 33463 18989 29108 39227 24753 3490 8 16043 10408 26162 4899 1120 21807 31926 17452 11817 12958 7462 23216 2337 33335 28980 39099 14506 8871 34744 20270 10280 40508 36153 992 21679 17324 11689 27443 12830 7334 37562 23088 2209 18733 14378 24497 34616 15787 10152 4643 21551 11561 17196 6052 37434 2081 33079 28724 8615 20014 30133 10024 25778 35897 5924 27187 7078 37306 368 18477 24241 34360 19886 40124 21295 31414 11305 27059 6950 240 32823 28468 8359 34232 4259 25522 35641 31286 11177 41405 5668 6822 1697 22576 18221 13727 28340 8231 12316 34104 29749 15275 35513 21039 41277 16684 5540 26803 6694 36922 22448 32567 42686 23857 19502 3143 29621 9512 39740 16556 41149 10921 5412 26675 6566 36794 17965 28084 13471 7975 23729 29493 15019 3875 25138 35257 20783 30902 41021 16428 5284 26547 32311 12202 27956 23601 19246 39484 25010 30774 40893 10665 5156 22064 32183 12074 42302 17709 27828 13215 7719 23473 33592 19118 29237 449 9128 24882 137 35001 20527 30646 40765 26291 5028 36410 1249 42174 7591 37819 23345 2466 33464 9000 3491 9 10409 4900 36282 1121 21808 31927 17453 42046 11818 12959 7463 2338 18862 28981 8872 14507 39100 3363 34745 30390 15916 26035 36154 21680 31799 11690 2210 23089 18734 3235 30262 10153 15788 31671 41790 17197 6053 27316 37435 33080 18606 38844 14251 24370 34489 20015 30134 10025 15660 21424 41662 27188 37307 22833 1954 32952 18478 24242 12573 34361 30006 9897 35770 21296 31415 11306 16941 5797 241 37179 32824 28469 8360 13995 24114 19759 9769 25523 35642 21168 5669 6823 22577 12317 34105 29750 25395 21040 31159 16685 11050 26804 6695 36923 18094 28213 13600 8104 23858 2979 33977 15148 25267 10922 41150 5413 22321 32440 17966 13472 28085 7976 2851 33849 706 29494 15020 39613 25139 35258 16429 10794 5285 26548 36667 6439 1506 32312 12203 17838 13344 7848 23602 19247 39485 14892 35130 20656 30775 10666 17710 27829 13216 1608 37948 7720 23474 2595 33593 39357 24883 35002 20528 30647 40766 16173 5029 1250 11947 42175 37820 7592 2467 18991 29110 9001 10 20400 30519 40638 4901 26164 36283 21809 31928 11819 42047 27573 37692 2339 23218 33337 18863 28982 39101 8873 3364 24627 15917 40510 10282 26036 4773 36155 31800 41919 17326 12832 23090 28854 38973 14380 8745 3236 34618 30263 10154 25908 4645 36027 21553 31672 17198 41791 11563 27317 37436 22962 18607 14252 8617 24371 12702 34490 40254 15661 21425 41663 17070 7080 370 1955 22834 32953 18479 14124 12574 19888 30007 40126 9898 4389 35771 41535 16942 27061 242 37180 6952 1827 32825 18351 13996 24115 19760 9770 15405 4261 21169 31288 6824 1699 32697 6243 42816 18223 28342 13729 34106 19632 39870 9642 25396 35515 21041 31160 11051 5542 22450 18095 42688 13601 28214 8105 2980 33978 3145 15149 25268 4005 20913 31032 16558 5414 26677 36796 6568 22322 32441 2852 33850 707 29495 39614 3877 20785 16430 10795 26549 6440 36668 1507 22194 42432 17839 13345 7849 23603 2724 579 29367 14893 9258 35131 20657 30776 10667 16302 26421 5158 36540 32185 17711 42304 13217 27830 7721 37949 19120 451 29239 39358 9130 24884 3621 35003 139 16174 10539 5030 26293 11948 42176 17583 27702 13089 2468 23347 33466 18992 29111 9002 14637 24756 3493 34875 11 20401 30520 40639 10411 26165 36284 17455 27574 12961 37693 7465 23219 33338 24628 3365 10283 40511 21682 31801 17327 11692 12833 2212 33210 28855 14381 38974 8746 34619 20145 40383 15790 4646 25909 36028 21554 31673 11564 41792 6055 7209 22963 18608 8618 12703 30136 15662 40255 4518 31545 17071 11436 27190 371 22835 32954 28599 14125 8490 12575 24244 34363 19889 30008 9899 40127 15534 4390 25653 31417 16943 27062 5799 6953 37181 22707 6372 42945 18352 13997 24116 12447 29880 39999 15406 4262 35644 21170 31289 16815 26934 37053 1700 22579 32698 18224 6244 42817 13730 28343 13869 23988 12319 19633 25397 4134 35516 41280 16687 5543 36925 22451 42689 2981 33979 3146 4006 35388 20914 31033 16559 41152 10924 6569 36797 42561 28087 7978 33851 19377 15022 9387 3878 25141 20786 10796 1508 22195 32314 17840 42433 12205 13346 7850 2725 33723 580 29368 9259 14894 39487 3750 35132 40896 16303 5159 26422 36541 1380 32186 42305 23476 33595 29240 9131 39359 14766 3622 140 16175 40768 10540 26294 21939 1252 32058 17584 27703 13090 7594 37822 23348 33467 39231 14638 3494 34876 20402 30521 10412 40640 16047 17456 12962 27575 7466 37694 18865 8875 24629 20274 30393 15919 26038 21683 996 11693 27447 37566 7338 2213 33211 28856 8747 38975 3238 24501 20146 30265 15791 25910 36029 868 6056 27319 7210 22964 2085 28728 38847 14254 12704 24373 34492 30137 40256 4519 25782 35901 21427 31546 17072 11437 27191 5928 1957 28600 14126 8491 24245 34364 15535 4391 25654 35773 31418 1829 22708 18353 6373 12448 34236 19762 29881 15407 9772 35645 41409 16816 11181 26935 37054 22580 32699 6245 42818 13870 8235 12320 23989 19634 9644 15279 4135 31162 16688 41281 11053 36926 32571 18097 28216 13603 8107 19506 29625 39744 15151 9516 4007 25270 35389 20915 31034 10925 41153 26679 22324 32443 28088 7979 23733 2854 19378 15023 9388 25142 30906 41025 36670 6442 22196 32315 12206 42434 27960 2726 33724 581 29369 39488 9260 3751 25014 20659 10669 16304 40897 26423 36542 1381 22068 12078 37951 23477 2598 33596 19122 453 14767 3623 10541 40769 36414 1253 21940 32059 17585 42178 13091 27704 37823 18994 29113 14639 39232 34877 13 16048 26167 1125 23221 33340 18866 14511 3367 34749 20275 15920 10285 26039 4776 31803 41922 17329 27448 12835 37567 7339 33212 18738 14383 3239 24502 34621 20147 30266 4648 21556 41794 11566 27320 7211 2086 33084 28729 14255 38848 8620 24374 34493 20019 10029 4520 25783 35902 21428 31547 11438 5929 37311 7083 373 1958 28601 8492 19891 15536 25655 35774 21300 41538 11310 27064 6955 22709 1830 6374 28473 13999 8364 12449 34237 19763 29882 9773 25527 4264 31291 16817 11182 26936 5673 37055 1702 18226 13732 13871 8236 23990 29754 39873 15280 9645 4136 35518 31163 11054 41282 26808 5545 6699 22453 32572 18098 13604 28217 8108 23862 33981 19507 29626 3148 9517 15152 25271 35390 16561 36799 6571 22325 32444 17970 13476 2855 23734 19379 9389 3880 35262 20788 30907 5289 6443 36671 1510 27961 33725 19251 3752 25015 20660 10670 40898 5161 1382 22069 32188 12079 37952 2599 29242 14768 39361 9133 20532 30651 26296 36415 21941 32060 42179 7596 23350 33469 18995 29114 39233 24759 3496 16049 40642 10414 26168 4905 21813 31932 42051 17458 11823 12964 7468 23222 2343 33341 28986 39105 14512 8877 34750 20276 10286 4777 36159 998 21685 31804 17330 41923 11695 12836 27449 7340 37568 23094 2215 18739 14384 24503 3240 34622 40386 15793 10158 4649 21557 870 11567 41795 17202 6058 37440 2087 33085 28730 8621 38849 20020 30139 10030 40258 25784 35903 41667 5930 27193 374 37312 18483 24247 34366 19892 21301 31420 41539 11311 27065 5802 6956 246 1831 32829 42948 28474 14000 8365 34238 40002 4265 25528 35647 31292 11183 5674 6828 1703 22582 18227 42820 13733 8237 12322 34110 29755 15281 39874 35519 21045 16690 5546 26809 6700 36928 22454 32573 23863 33982 19508 3149 29627 9518 16562 10927 5418 6572 36800 42564 17971 28090 13477 7981 23735 711 29499 39618 15025 3881 25144 35263 20789 30908 16434 5290 26553 1511 32317 42436 12208 27962 23607 19252 9262 25016 30780 5162 22070 32189 12080 17715 27834 13221 7725 2600 23479 33598 29243 9134 39362 24888 35007 30652 26297 5034 36416 1255 11952 37825 2472 23351 33470 9006 3497 24760 15 10415 40643 36288 1127 21814 31933 17459 11824 12965 7469 2344 18868 28987 14513 39106 3369 34751 30396 40515 15922 4778 26041 36160 21686 999 31805 11696 41924 2216 23095 18740 3241 30268 15794 40387 10159 31677 17203 6059 27322 37441 33086 18612 14257 24376 34495 20021 30140 10031 40259 15666 21430 27194 37313 22839 1960 32958 18484 24248 12579 34367 30012 40131 9903 35776 21302 31421 11312 41540 16947 37185 32830 42949 28475 8366 24120 19765 40003 9775 25529 35648 21174 41412 5675 6829 22583 42821 28347 12323 34111 29756 39875 25401 21046 31165 16691 41284 11056 26810 6701 36929 42693 18100 28219 13606 8110 2985 23864 33983 39747 15154 25273 10928 5419 26682 22327 32446 17972 42565 13478 28091 7982 2857 33855 712 29500 15026 25145 35264 41028 16435 10800 5291 26554 36673 6445 32318 12209 42437 17844 13350 7854 23608 19253 14898 9263 35136 20662 30781 40900 42309 17716 27835 13222 37954 7726 23480 33599 19125 456 24889 144 35008 20534 30653 16179 5035 1256 11953 37826 2473 18997 29116 39235 9007 24761 20406 30525 4907 26170 36289 21815 1128 31934 11825 27579 37698 2345 23224 33343 18869 28988 39107 24633 30397 15923 10288 26042 36161 17332 12838 23096 28860 38979 14386 8751 3242 34624 30269 10160 40388 25914 4651 36033 21559 31678 17204 11569 27323 37442 22968 18613 14258 8623 24377 12708 34496 15667 21431 17076 7086 376 1961 22840 32959 18485 14130 12580 19894 30013 9904 4395 35777 16948 27067 248 37186 6958 1833 32831 42950 18357 19766 9776 40004 15411 4267 21175 31294 41413 6830 1705 22584 32703 6249 18229 28348 13735 34112 19638 9648 25402 35521 21047 31166 11057 41285 5548 22456 18101 13607 28220 8111 2986 3151 15155 39748 25274 4011 20919 31038 41157 16564 5420 6574 36802 22328 32447 42566 2858 33856 713 29501 3883 20791 16436 41029 10801 26555 6446 36674 22200 17845 13351 7855 23609 2730 585 29373 39492 14899 35137 20663 30782 40901 16308 26427 5164 36546 32191 17717 13223 27836 7727 37955 2602 29245 9136 24890 3627 35009 145 20535 40773 16180 10545 5036 26299 11954 17589 27708 13095 7599 2474 23353 33472 18998 29117 9008 39236 14643 3499 34881 20407 30526 10417 26171 4908 36290 1129 17461 42054 27580 12967 37699 7471 23225 33344 8880 24634 30398 10289 4780 21688 31807 17333 41926 11698 12839 2218 33216 28861 14387 38980 8752 34625 20151 15796 4652 25915 36034 21560 873 31679 11570 27324 6061 7215 22969 18614 8624 12709 30142 15668 4524 31551 17077 11442 41670 27196 377 7087 22841 32960 28605 14131 8496 12581 24250 34369 19895 30014 9905 15540 4396 25659 31423 16949 41542 27068 5805 6959 37187 249 1834 22713 6378 18358 24122 12453 29886 15412 4268 35650 21176 31295 16821 41414 26940 37059 22585 1706 32704 18230 6250 13736 28349 13875 23994 12325 19639 9649 25403 4140 35522 16693 5549 36931 22457 2987 33985 3152 39749 4012 35394 20920 31039 16565 10930 6575 36803 28093 7984 33857 19383 39621 15028 9393 3884 25147 20792 10802 41030 22201 32320 17846 12211 13352 7856 2731 33729 29374 14900 3756 35138 16309 10674 5165 26428 36547 1386 32192 2603 23482 33601 29246 9137 14772 3628 146 16181 10546 26300 21945 1258 32064 17590 42183 27709 13096 37828 23354 33473 14644 3500 24763 34882 18 20408 30527 10418 16053 4909 17462 42055 12968 27581 7472 37700 18871 39109 24635 3372 20280 15925 40518 26044 4781 21689 1002 11699 41927 27453 37572 7344 2219 33217 28862 8753 38981 3244 24507 20152 30271 15797 40390 25916 36035 41799 6062 27325 7216 22970 2091 28734 38853 14260 12710 24379 34498 30143 4525 25788 35907 21433 31552 17078 41671 11443 27197 5934 7088 1963 28606 14132 24251 34370 15541 40134 4397 25660 35779 31424 41543 5806 22714 1835 18359 42952 6379 14004 24123 12454 34242 19768 29887 15413 40006 9778 35651 16822 11187 26941 37060 22586 32705 6251 13876 8241 12326 23995 19640 15285 9650 4141 31168 16694 11059 36932 32577 18103 42696 28222 13609 8113 19512 29631 15157 9522 4013 25276 35395 20921 31040 10931 26685 6576 22330 32449 42568 28094 7985 23739 2860 19384 15029 39622 9394 25148 30912 36676 6448 22202 1515 32321 12212 27966 2732 33730 587 29375 3757 25020 20665 16310 10675 26429 36548 1387 22074 12084 42312 37957 23483 33602 19128 459 14773 39366 3629 10547 36420 1259 21946 32065 17591 13097 27710 37829 19000 29119 14645 24764 19 34883 16054 40647 26173 1131 42056 23227 33346 18872 39110 14517 34755 20281 30400 15926 10291 40519 26045 1003 21690 31809 17335 27454 12841 37573 7345 33218 18744 14389 24508 34627 20153 30272 40391 4654 21562 11572 27326 7217 2092 33090 28735 14261 8626 38854 24380 34499 20025 10035 40263 4526 25789 35908 21434 31553 11444 41672 5935 37317 379 1964 28607 8498 19897 15542 40135 25661 35780 21306 11316 5807 27070 6961 22715 6380 42953 28479 14005 8370 12455 34243 19769 29888 9779 40007 25533 4270 31297 16823 11188 41416 26942 5679 37061 1708 18232 42825 13738 13877 8242 23996 29760 15286 39879 4142 35524 31169 11060 26814 5551 6705 22459 32578 18104 42697 13610 28223 8114 23868 33987 19513 29632 3154 15158 9523 25277 35396 16567 41160 26686 6577 36805 22331 32450 42569 17976 13482 2861 23740 19385 9395 39623 3886 35268 20794 30913 41032 5295 6449 36677 1516 42441 27967 33731 19257 588 9267 39495 3758 25021 20666 10676 5167 1388 22075 32194 12085 42313 37958 19129 460 29248 14774 9139 20538 30657 40776 26302 36421 21947 32066 7602 23356 33475 19001 29120 3502 20 16055 10420 26174 4911 1132 21819 31938 17464 11829 12970 7474 23228 2349 33347 28992 14518 8883 34756 20282 30401 10292 40520 36165 21691 1004 17336 11701 12842 27455 7346 37574 23100 2221 18745 14390 38983 24509 3246 34628 15799 10164 4655 21563 876 11573 17208 6064 37446 2093 33091 28736 8627 38855 20026 30145 25790 35909 5936 27199 380 7090 37318 18489 8499 24253 34372 19898 40136 21307 31426 11317 27071 6962 252 1837 32835 28480 8371 14006 34244 4271 25534 35653 31298 11189 41417 5680 6834 1709 22588 18233 13739 8243 12328 34116 29761 15287 39880 9652 35525 21051 16696 41289 5552 26815 6706 36934 22460 32579 42698 23869 19514 3155 29633 9524 16568 41161 10933 5424 26687 6578 36806 17977 28096 13483 7987 23741 717 29505 15031 3887 25150 35269 20795 30914 41033 16440 5296 26559 1517 32323 12214 27968 23613 19258 589 9268 39496 25022 30786 40905 5168 22076 32195 12086 17721 42314 27840 13227 7731 23485 33604 19130 461 29249 9140 24894 35013 20539 30658 40777 26303 5040 36422 1261 11958 42186 7603 37831 23357 2478 33476 9012 39240 3503 10421 4912 36294 21820 1133 31939 17465 42058 11830 12971 7475 2350 18874 28993 8884 14519 3375 34757 15928 26047 36166 21692 11702 2222 23101 18746 38984 30274 15800 10165 877 31683 17209 41802 6065 27328 37447 33092 18618 14263 24382 34501 20027 30146 10037 15672 21436 41674 27200 37319 7091 1966 22845 32964 18490 24254 12585 34373 30018 9909 35782 21308 31427 11318 16953 5809 253 37191 32836 28481 8372 24126 19771 9781 25535 35654 21180 5681 6835 28353 13740 12329 34117 29762 9653 39881 25407 21052 31171 11062 16697 26816 6707 36935 18106 28225 13612 8116 23870 2991 15160 39753 25279 10934 41162 5425 22333 32452 17978 13484 28097 7988 2863 33861 29506 718 15032 25151 35270 16441 10806 5297 26560 6451 36679 32324 12215 17850 13356 7860 23614 19259 9269 39497 14904 35142 20668 30787 17722 27841 13228 7732 37960 23486 2607 33605 39369 24895 150 35014 20540 30659 16185 40778 5041 1262 42187 11959 37832 7604 2479 19003 29122 9013 20412 30531 40650 26176 4913 36295 21821 31940 11831 42059 27585 37704 2351 23230 33349 18875 28994 8885 3376 24639 15929 40522 10294 26048 4785 36167 1006 31812 17338 41931 12844 23102 28866 14392 8757 34630 30275 10166 25920 4657 36039 878 21565 31684 17210 41803 11575 37448 22974 18619 14264 38857 8629 24383 12714 34502 15673 10038 40266 21437 17082 41675 382 22846 1967 32965 18491 14136 12586 19900 30019 40138 9910 4401 35783 16954 41547 27073 5810 6964 254 37192 1839 32837 42956 18363 24127 19772 9782 15417 4273 21181 31300 6836 22590 1711 32709 6255 18235 42828 13741 28354 34118 19644 25408 35527 21053 31172 11063 5554 22462 18107 42700 13613 28226 8117 2992 33990 3157 15161 39754 25280 4017 20925 31044 16570 5426 26689 6580 36808 22334 32453 2864 33862 719 29507 3889 20797 16442 10807 26561 6452 36680 22206 17851 42444 13357 7861 23615 2736 591 29379 14905 35143 20669 30788 16314 26433 5170 36552 32197 17723 42316 13229 27842 7733 37961 2608 33606 19132 463 29251 9142 39370 24896 3633 35015 16186 10551 5042 26305 11960 42188 17595 27714 13101 2480 23359 33478 19004 29123 9014 14649 24768 3505 23 34887 20413 30532 10423 40651 26177 36296 1135 17467 27586 12973 7477 37705 23231 33350 39114 3377 24640 10295 40523 4786 1007 21694 11704 17339 12845 2224 33222 28867 14393 8758 3249 34631 20157 15802 40395 4658 25921 36040 21566 31685 11576 41804 27330 6067 7221 22975 18620 8630 38858 12715 30148 15674 40267 10039 4530 31557 17083 11448 27202 383 22847 32966 28611 14137 8502 12587 24256 34375 19901 30020 9911 15546 40139 4402 25665 31429 16955 27074 6965 37193 22719 6384 18364 24128 12459 29892 15418 40011 4274 35656 21182 31301 16827 26946 37065 1712 32710 18236 42829 28355 13742 13881 24000 12331 19645 39883 9655 25409 4146 35528 16699 11064 41292 5555 36937 22463 42701 2993 3158 39755 4018 35400 20926 31045 16571 10936 41164 26690 36809 42573 28099 7990 33863 19389 15034 9399 39627 3890 25153 20798 10808 22207 32326 17852 12217 42445 13358 7862 2737 33735 592 29380 14906 3762 35144 16315 10680 40908 5171 26434 36553 1392 32198 42317 2609 23488 33607 19133 464 29252 9143 39371 14778 3634 152 20542 16187 10552 40780 26306 1264 21951 32070 17596 27715 13102 7606 37834 23360 33479 14650 39243 3506 24769 24 34888 20414 30533 10424 40652 16059 4915 17468 12974 27587 7478 37706 18877 8887 24641 20286 30405 15931 4787 26050 11705 27459 7350 37578 2225 33223 28868 8759 24513 20158 30277 15803 25922 36041 880 6068 7222 22976 2097 28740 14266 12716 24385 34504 30149 40268 4531 25794 35913 21439 31558 17084 11449 27203 5940 1969 28612 8503 14138 24257 34376 15547 4403 25666 35785 31430 256 22720 18365 6385 14010 12460 34248 19774 29893 15419 9784 35657 16828 11193 41421 26947 37066 32711 6257 42830 13882 8247 12332 24001 19646 9656 39884 15291 4147 31174 11065 16700 41293 36938 32583 18109 28228 13615 8119 19518 29637 15163 9528 4019 25282 35401 20927 31046 10937 41165 6582 22336 32455 28100 7991 23745 2866 19390 15035 9400 39628 25154 30918 41037 6454 36682 22208 1521 32327 12218 42446 27972 2738 33736 29381 593 3763 25026 20671 16316 10681 40909 26435 36554 1393 22080 12090 37963 23489 33608 14779 3635 153 20543 10553 40781 36426 1265 21952 32071 17597 42190 13103 27716 37835 7607 19006 29125 14651 39244 24770 25 34889 16060 26179 1137 23233 33352 18878 14523 8888 3379 34761 20287 30406 15932 10297 26051 21696 1009 31815 17341 11706 41934 27460 12847 7351 37579 33224 18750 14395 38988 24514 34633 20159 30278 4660 21568 881 41806 11578 7223 33096 28741 14267 8632 24386 34505 20031 10041 4532 25795 35914 21440 31559 11450 5941 7095 385 37323 1970 28613 8504 19903 15548 25667 35786 21312 11322 41550 27076 257 6967 22721 1842 6386 28485 14011 8376 12461 24130 34249 19775 29894 9785 25539 4276 31303 16829 11194 26948 5685 37067 22593 1714 6258 18238 13744 13883 8248 24002 29766 15292 4148 35530 31175 41294 11066 26820 5557 6711 22465 32584 18110 13616 28229 8120 23874 33993 19519 3160 29638 15164 9529 39757 25283 35402 16573 36811 22337 32456 17982 13488 2867 23746 19391 9401 39629 3892 35274 20800 30919 5301 6455 36683 1522 27973 33737 19263 9273 39501 3764 25027 20672 10682 40910 5173 1394 22081 32200 12091 37964 29254 14780 9145 30663 26308 36427 21953 1266 32072 42191 23362 33481 19007 29126 39245 3508 26 16061 40654 10426 26180 4917 21825 31944 17470 11835 42063 12976 7480 23234 2355 33353 28998 14524 39117 3380 34762 20288 30407 10298 36171 1010 31816 11707 17342 41935 12848 27461 7352 37580 23106 2227 18751 14396 24515 3252 34634 15805 10170 40398 4661 21569 11579 17214 41807 6070 27333 37452 2099 33097 28742 8633 20032 30151 10042 40270 25796 35915 41679 5942 27205 386 7096 37324 18495 24259 34378 19904 21313 31432 11323 41551 27077 5814 6968 32841 28486 14012 8377 24131 34250 40014 4277 25540 35659 31304 11195 5686 6840 1715 18239 6259 42832 8249 12334 34122 29767 15293 9658 35531 21057 16702 5558 26821 6712 36940 22466 32585 23875 33994 19520 3161 29639 9530 39758 16574 10939 5430 36812 17983 42576 13489 28102 7993 23747 723 29511 15037 3893 25156 35275 20801 30920 16446 5302 26565 1523 32329 42448 12220 27974 23619 19264 595 39502 9274 25028 30792 5174 22082 32201 12092 17727 13233 27846 7737 37965 23491 33610 29255 9146 24900 35019 20545 30664 26309 5046 36428 1267 11964 37837 23363 2484 33482 9018 3509 10427 40655 36300 21826 31945 17471 11836 12977 7481 2356 18880 28999 14525 39118 34763 15934 40527 26053 36172 31817 11708 41936 2228 23107 18752 3253 30280 15806 40399 10171 31689 17215 6071 37453 2100 33098 18624 14269 38862 24388 34507 20033 30152 40271 15678 10043 21442 27206 7097 37325 22851 1972 32970 18496 8506 24260 12591 34379 30024 9915 40143 35788 21314 31433 11324 41552 16959 5815 259 37197 32842 28487 8378 19777 40015 9787 25541 35660 21186 41424 5687 6841 42833 13746 28359 12335 34123 29768 9659 25413 21058 31177 11068 16703 41296 26822 6713 36941 18112 42705 13618 28231 8122 23876 2997 33995 15166 25285 10940 5431 26694 6585 22339 32458 17984 42577 13490 28103 7994 2869 33867 724 29512 15038 39631 25157 35276 16447 10812 41040 5303 26566 6457 36685 32330 12221 42449 17856 13362 7866 23620 19265 9275 14910 39503 35148 20674 30793 40912 17728 42321 13234 27847 37966 7738 23492 2613 19137 468 39375 24901 156 35020 20546 30665 16191 5047 1268 11965 37838 2485 19009 29128 9019 28 20418 30537 26182 36301 21827 1140 31946 11837 27591 37710 2357 23236 33355 18881 29000 39119 24645 15935 10300 26054 4791 36173 21699 1012 17344 12850 23108 28872 14398 8763 38991 3254 34636 30281 10172 40400 4663 25926 36045 21571 31690 17216 11581 37454 22980 2101 18625 14270 8635 24389 12720 34508 15679 21443 17088 388 1973 22852 32971 18497 8507 14142 19906 30025 9916 4407 35789 16960 5816 27079 260 6970 37198 1845 32843 18369 24133 19778 9788 15423 40016 4279 21187 31306 41425 6842 22596 1717 32715 6261 18241 28360 34124 19650 39888 25414 35533 21059 31178 41297 16704 5560 22468 18113 13619 28232 8123 2998 3163 15167 25286 4023 20931 31050 16576 41169 5432 26695 36814 22340 32459 42578 2870 33868 725 29513 39632 3895 20803 16448 41041 10813 26567 6458 36686 22212 17857 13363 7867 23621 2742 597 29385 14911 35149 20675 30794 40913 16320 5176 26439 36558 32203 17729 13235 27848 7739 37967 2614 33612 19138 469 29257 39376 9148 24902 3639 157 35021 10557 40785 5048 26311 11966 17601 13107 27720 7611 2486 23365 33484 19010 29129 9020 14655 3511 24774 34893 20419 30538 10429 26183 4920 36302 17473 42066 12979 27592 7483 37711 23237 33356 8892 24646 10301 15936 4792 1013 31819 11710 17345 41938 12851 2230 33228 28873 14399 38992 8764 34637 20163 15808 4664 25927 36046 21572 885 31691 11582 6073 27336 7227 22981 18626 8636 12721 30154 10045 15680 4536 31563 17089 11454 41682 27208 389 22853 32972 28617 14143 12593 24262 34381 19907 30026 9917 15552 4408 25671 31435 16961 41554 27080 6971 37199 1846 22725 6390 18370 24134 12465 29898 15424 4280 35662 21188 31307 41426 16833 26952 37071 1718 22597 32716 6262 18242 28361 13887 12337 24006 19651 9661 25415 4152 35534 16705 11070 5561 36943 22469 8124 2999 33997 3164 4024 35406 20932 31051 16577 10942 26696 36815 28105 7996 33869 19395 15040 9405 3896 25159 20804 10814 41042 22213 32332 17858 12223 13364 7868 2743 33741 29386 14912 39505 3768 35150 16321 10686 5177 26440 36559 1398 32204 2615 23494 19139 470 29258 9149 14784 39377 3640 158 20548 16193 10558 26312 1270 21957 32076 17602 42195 13108 27721 7612 37840 23366 33485 14656 39249 3512 24775 30 34894 20420 30539 10430 16065 17474 42067 12980 27593 7484 37712 18883 8893 24647 3384 20292 30411 15937 40530 4793 26056 31820 41939 27465 7356 37584 2231 33229 28874 8765 38993 3256 24519 20164 30283 15809 40402 25928 36047 886 41811 6074 27337 7228 22982 2103 28746 14272 38865 12722 24391 34510 30155 4537 25800 35919 21445 31564 17090 41683 11455 27209 5946 1975 28618 14144 8509 24263 12594 34382 15553 40146 4409 25672 35791 31436 41555 262 1847 22726 18371 6391 14016 12466 34254 19780 29899 15425 40018 9790 35663 16834 11199 26953 37072 22598 32717 6263 13749 13888 8253 12338 24007 19652 9662 15297 4153 31180 16706 36944 32589 18115 42708 13621 28234 8125 33998 19524 29643 15169 9534 39762 4025 25288 35407 20933 31052 10943 6588 22342 32461 42580 28106 7997 2872 23751 15041 9406 25160 30924 6460 36688 22214 1527 32333 12224 27978 2744 33742 29387 39506 3769 25032 20677 16322 10687 26441 36560 1399 22086 12096 42324 37969 23495 14785 3641 20549 10559 16194 36432 21958 32077 17603 42196 13109 27722 7613 37841 19012 29131 14657 39250 24776 34895 16066 40659 26185 1143 42068 23239 33358 18884 8894 14529 3385 34767 20293 30412 15938 10303 40531 26057 1015 21702 17347 11712 12853 27466 7357 37585 33230 18756 14401 3257 24520 34639 20165 30284 40403 4666 887 21574 11584 27338 7229 2104 33102 28747 14273 38866 8638 24392 34511 20037 10047 40275 4538 25801 35920 21446 31565 11456 41684 7101 37329 1976 28619 8510 12595 19909 15554 40147 25673 35792 21318 11328 27082 263 6973 22727 6392 28491 14017 8382 12467 24136 34255 19781 29900 9791 40019 4282 25545 31309 16835 41428 11200 26954 5691 37073 1720 42837 18244 13889 8254 24008 29772 15298 39891 4154 35536 31181 5563 26826 6717 22471 32590 18116 42709 13622 28235 8126 23880 19525 3166 29644 15170 9535 25289 35408 16579 41172 6589 36817 22343 32462 42581 17988 13494 2873 23752 19397 9407 3898 35280 20806 30925 41044 5307 6461 36689 1528 42453 27979 33743 19269 600 9279 3770 25033 20678 10688 5179 1400 22087 32206 42325 12097 37970 23496 33615 29260 14786 9151 39379 160 30669 16195 40788 26314 36433 21959 1272 32078 42197 23368 33487 19013 29132 39251 3514 16067 10432 4923 26186 1144 21831 31950 11841 17476 12982 7486 23240 2361 33359 29004 14530 39123 3386 34768 20294 30413 10304 40532 36177 1016 21703 17348 12854 27467 7358 37586 2233 23112 804 18757 14402 24521 34640 15811 10176 4667 21575 11585 17220 6076 37458 2105 33103 28748 8639 38867 20038 30157 25802 35921 5948 27211 7102 37330 18501 24265 34384 19910 40148 21319 31438 11329 27083 5820 6974 1849 32847 28492 8383 14018 24137 34256 4283 25546 35665 31310 11201 41429 5692 6846 1721 22600 6265 18245 8255 12340 34128 29773 15299 39892 9664 35537 21063 16708 11073 41301 5564 26827 6718 36946 22472 32591 42710 23881 19526 3167 29645 9536 16580 10945 41173 5436 36818 6590 17989 13495 28108 7999 23753 19398 729 29517 15043 39636 3899 25162 35281 20807 30926 41045 16452 5308 26571 1529 32335 12226 27980 23625 19270 9280 25034 30798 40917 5180 22088 32207 12098 42326 17733 13239 27852 7743 23497 29261 9152 39380 24906 161 35025 20551 30670 40789 26315 5052 36434 11970 37843 23369 2490 33488 9024 3515 33 10433 4924 36306 1145 21832 31951 17477 42070 11842 12983 7487 2362 18886 29005 14531 39124 34769 15940 26059 36178 21704 2234 23113 805 18758 30286 15812 10177 31695 41814 17221 6077 27340 37459 33104 18630 14275 24394 34513 20039 30158 15684 21448 41686 27212 5949 7103 37331 1978 22857 32976 18502 8512 24266 12597 34385 30030 9921 35794 21320 31439 11330 16965 5821 265 37203 1850 32848 28493 8384 19783 9793 25547 35666 21192 5693 6847 22601 13752 28365 12341 34129 29774 9665 39893 25419 21064 31183 26828 6719 36947 18118 13624 28237 8128 23882 3003 39765 15172 25291 10946 41174 5437 26700 22345 32464 17990 13496 28109 8000 2875 33873 19399 730 29518 15044 25163 35282 10818 5309 26572 6463 36691 32336 12227 17862 13368 7872 23626 19271 9281 14916 35154 20680 30799 17734 13240 27853 7744 2619 23498 19143 474 24907 35026 20552 30671 40790 16197 11971 37844 19015 29134 39253 9025 20424 30543 40662 4925 26188 36307 21833 31952 11843 42071 27597 37716 2363 23242 33361 18887 29006 39125 24651 40534 10306 26060 4797 36179 1018 31824 11715 41943 17350 12856 23114 806 28878 8769 38997 14404 34642 30287 10178 4669 25932 36051 21577 31696 17222 41815 11587 27341 37460 2107 22986 18631 14276 8641 24395 12726 34514 10050 40278 15685 21449 41687 17094 1979 22858 32977 18503 8513 14148 12598 19912 30031 40150 9922 4413 35795 31440 41559 5822 27085 6976 266 37204 32849 18375 24139 19784 9794 15429 4285 21193 31312 6848 1723 32721 6267 42840 18247 13753 28366 34130 19656 25420 35539 21065 31184 16710 5566 22474 18119 42712 13625 28238 3004 34002 3169 15173 39766 25292 4029 20937 31056 16582 5438 26701 6592 36820 22346 32465 2876 33874 731 29519 3901 20809 16454 10819 26573 6464 36692 22218 42456 17863 13369 7873 23627 2748 603 29391 39510 14917 35155 20681 30800 16326 5182 26445 36564 32209 17735 42328 13241 27854 7745 2620 33618 19144 475 29263 9154 24908 3645 35027 163 16198 10563 5054 26317 1275 11972 17607 13113 27726 7617 2492 23371 33490 19016 29135 9026 39254 14661 3517 24780 34899 20425 30544 40663 10435 26189 36308 1147 17479 12985 27598 7489 37717 23243 33362 8898 24652 10307 40535 15942 4798 1019 21706 31825 17351 12857 2236 33234 28879 14405 8770 38998 3261 34643 20169 40407 15814 4670 25933 36052 21578 891 31697 11588 41816 6079 7233 22987 18632 8642 12727 30160 15686 40279 4542 31569 17095 11460 27214 22859 32978 28623 14149 12599 24268 34387 19913 30032 9923 40151 15558 4414 25677 31441 16967 27086 6977 37205 22731 6396 18376 24140 12471 29904 40023 15430 4286 35668 21194 31313 16839 26958 37077 1724 32722 18248 42841 28367 13754 13893 12343 24012 19657 9667 25421 4158 35540 41304 11076 5567 36949 22475 42713 8130 3005 34003 3170 39767 4030 35412 20938 31057 41176 16583 10948 26702 36821 6593 42585 28111 8002 33875 19401 9411 39639 15046 3902 25165 20810 10820 16455 22219 32338 17864 42457 12229 13370 7874 2749 33747 604 29392 14918 3774 35156 40920 16327 10692 5183 26446 36565 1404 32210 42329 37974 2621 23500 33619 19145 476 29264 9155 14790 3646 164 20554 40792 16199 10564 26318 5055 21963 32082 42201 17608 13114 27727 7618 37846 23372 2493 33491 14662 3518 24781 36 34900 20426 30545 10436 40664 16071 4927 1148 17480 12986 27599 7490 37718 18889 39127 8899 24653 3390 20298 30417 4799 26062 21707 31826 27471 7362 37590 2237 33235 28880 8771 38999 3262 24525 20170 30289 15815 25934 36053 892 6080 7234 22988 2109 28752 38871 14278 12728 24397 34516 30161 40280 4543 25806 35925 21451 31570 17096 11461 27215 5952 1981 28624 14150 8515 24269 34388 15559 4415 25678 35797 31442 16968 268 22732 18377 6397 14022 12472 34260 19786 29905 15431 9796 35669 16840 11205 26959 37078 32723 42842 13894 8259 12344 24013 19658 9668 15303 4159 31186 11077 41305 36950 32595 18121 13627 28240 34004 19530 29649 15175 9540 4031 25294 35413 20939 31058 10949 41177 22348 32467 28112 8003 2878 23757 19402 15047 39640 9412 25166 30930 41049 6466 36694 22220 1533 32339 12230 42458 27984 2750 33748 605 29393 3775 25038 20683 16328 40921 10693 26447 36566 1405 22092 12102 33620 39384 14791 3647 20555 10565 40793 36438 21964 32083 17609 13115 27728 7619 37847 19018 29137 14663 24782 37 34901 16072 4928 26191 23245 33364 18890 8900 39128 14535 3391 34773 20299 30418 10309 26063 1021 41946 17353 11718 12859 27472 37591 7363 33236 18762 14407 3263 24526 34645 20171 30290 4672 893 21580 41818 11590 7235 33108 28753 14279 38872 8644 24398 34517 20043 10053 4544 25807 35926 21452 31571 11462 5953 37335 7107 1982 28625 8516 12601 19915 15560 25679 35798 21324 41562 16969 11334 27088 269 6979 22733 1854 6398 28497 14023 8388 12473 24142 34261 19787 29906 9797 4288 25551 31315 16841 11206 26960 5697 37079 1726 22605 6270 18250 13756 13895 8260 24014 29778 39897 15304 4160 35542 31187 41306 16713 11078 5569 26832 6723 22477 32596 18122 13628 28241 38360 23886 19531 3172 29650 15176 9541 25295 35414 16585 36823 22349 32468 17994 13500 2879 23758 19403 9413 39641 3904 35286 20812 30931 5313 6467 36695 1534 27985 33749 19275 39513 9285 3776 25039 20684 10694 40922 5185 1406 22093 32212 12103 23502 29266 9157 14792 166 30675 16201 26320 36439 21965 1278 32084 23374 33493 19019 29138 3520 38 10438 16073 40666 26192 21837 31956 42075 17482 11847 12988 7492 23246 2367 33365 29010 14536 3392 34774 20300 30419 10310 15945 36183 1022 11719 17354 41947 12860 27473 7364 37592 2239 23118 810 18763 14408 39001 24527 34646 15817 40410 10182 4673 21581 11591 41819 17226 6082 27345 37464 33109 28754 8645 38873 20044 30163 10054 40282 25808 35927 41691 5954 27217 37336 7108 18507 24271 34390 19916 21325 31444 41563 11335 27089 5826 6980 1855 32853 28498 14024 8389 24143 34262 40026 4289 25552 35671 31316 11207 5698 6852 1727 22606 18251 42844 13757 8261 12346 34134 29779 15305 39898 9670 35543 21069 5570 26833 6724 36952 22478 32597 8133 23887 19532 3173 29651 9542 16586 10951 5442 36824 42588 17995 28114 13501 8005 23759 735 29523 15049 3905 25168 35287 20813 30932 16458 5314 26577 1535 32341 42460 12232 27986 23631 19276 607 39514 9286 25040 30804 5186 22094 32213 12104 17739 27858 13245 7749 33622 29267 9158 24912 167 35031 20557 30676 26321 5058 36440 1279 42204 11976 37849 23375 2496 33494 39258 9030 3521 10439 40667 36312 21838 31957 17483 11848 12989 7493 2368 18892 14537 34775 40539 26065 36184 41948 11720 2240 23119 18764 39002 30292 40411 15818 10183 31701 17227 6083 27346 37465 2112 33110 18636 14281 24400 34519 20045 30164 40283 15690 10055 21454 27218 7109 37337 1984 22863 32982 18508 8518 24272 12603 34391 30036 40155 9927 35800 21326 11336 41564 16971 5827 271 37209 1856 32854 28499 8390 19789 40027 9799 25553 35672 21198 5699 6853 22607 42845 28371 12347 34135 29780 9671 39899 25425 21070 31189 11080 41308 26834 6725 36953 42717 18124 13630 28243 38362 23888 3009 39771 15178 25297 10952 5443 26706 6597 22351 32470 17996 42589 13502 28115 8006 2881 33879 19405 736 29524 15050 25169 35288 20814 16459 41052 10824 5315 26578 36697 6469 32342 12233 42461 17868 13374 7878 23632 19277 608 9287 39515 14922 35160 20686 30805 40924 17740 42333 27859 13246 7750 2625 33623 19149 480 39387 24913 35032 20558 30677 16203 5059 1280 42205 11977 37850 2497 19021 29140 9031 40 20430 30549 10440 26194 36313 21839 1152 31958 11849 27603 37722 2369 23248 33367 18893 29012 24657 10312 26066 4803 36185 1024 21711 31830 17356 12862 23120 812 28884 14410 8775 34648 30293 10184 40412 25938 4675 36057 21583 31702 17228 11593 27347 37466 22992 18637 14282 38875 8647 24401 12732 34520 21455 17100 5956 1985 22864 32983 18509 8519 14154 19918 30037 9928 4419 35801 31446 16972 5828 27091 272 37210 6982 32855 18381 24145 19790 9800 40028 15435 4291 21199 31318 6854 1729 32727 6273 18253 28372 34136 19662 25426 35545 21071 31190 11081 41309 16716 5572 22480 18125 28244 13631 3010 34008 3175 15179 39772 25298 4035 20943 31062 41181 16588 5444 26707 6598 36826 22352 32471 42590 2882 33880 737 29525 3907 20815 41053 16460 10825 26579 6470 36698 22224 17869 13375 7879 23633 2754 29397 14923 35161 20687 30806 40925 16332 5188 26451 36570 32215 17741 13247 27860 7751 2626 23505 19150 481 29269 39388 9160 24914 3651 35033 169 40797 10569 26323 5060 11978 42206 17613 27732 13119 7623 23377 2498 33496 19022 29141 9032 14667 24786 3523 41 34905 20431 30550 10441 26195 4932 36314 1153 42078 17485 27604 12991 37723 7495 23249 33368 29013 39132 8904 24658 10313 15948 4804 1025 21712 31831 11722 17357 41950 12863 2242 813 33240 28885 14411 8776 3267 34649 20175 15820 4676 25939 36058 21584 897 31703 11594 6085 7239 22993 18638 8648 38876 12733 30166 10057 15692 4548 31575 41694 17101 11466 5957 27220 22865 32984 28629 14155 24274 34393 19919 30038 9929 15564 4420 25683 41566 16973 27092 6983 37211 22737 6402 18382 24146 12477 29910 4292 35674 21200 31319 16845 26964 37083 1730 32728 6274 18254 28373 13899 24018 12349 19663 39901 9673 25427 4164 35546 16717 5573 36955 22481 8136 3011 34009 3176 39773 4036 35418 20944 31063 16589 10954 26708 6599 36827 28117 8008 33881 19407 39645 15052 9417 3908 25171 20816 10826 41054 22225 32344 17870 12235 13376 7880 2755 33753 29398 14924 3780 35162 16333 10698 5189 26452 36571 1410 32216 2627 19151 482 29270 9161 39389 14796 3652 170 20560 10570 26324 1282 21969 32088 17614 13120 27733 37852 7624 23378 33497 39261 14668 3524 24787 34906 20432 30551 16077 10442 4933 1154 17486 42079 12992 27605 7496 37724 18895 8905 24659 3396 20304 30423 40542 15949 4805 26068 21713 31832 11723 41951 27477 37596 7368 2243 33241 28886 8777 3268 24531 20176 30295 15821 40414 25940 36059 898 41823 6086 7240 22994 2115 28758 14284 12734 24403 34522 30167 10058 15693 4549 25812 35931 21457 31576 17102 41695 11467 27221 1987 28630 14156 8521 24275 12606 34394 40158 15565 4421 25684 35803 41567 274 22738 18383 6403 14028 12478 34266 19792 29911 15437 40030 9802 35675 16846 11211 26965 37084 32729 6275 13761 13900 8265 12350 24019 19664 9674 39902 15309 4165 31192 16718 36956 32601 42720 18127 28246 13633 8137 34010 19536 29655 15181 9546 4037 25300 35419 20945 31064 10955 22354 32473 42592 28118 8009 23763 2884 15053 39646 9418 25172 30936 16462 36700 6472 22226 1539 32345 12236 27990 2756 33754 29399 3781 25044 20689 16334 10699 26453 5190 36572 1411 22098 42336 12108 14797 3653 20561 10571 16206 5062 36444 1283 21970 32089 17615 42208 13121 27734 7625 37853 2500 19024 29143 14669 39262 24788 34907 40671 16078 4934 26197 42080 23251 33370 18896 8906 14541 3397 34779 20305 30424 15950 40543 10315 26069 1027 17359 27478 12865 37597 7369 33242 18768 39006 14413 3269 24532 34651 20177 30296 40415 4678 899 21586 11596 7241 2116 33114 28759 14285 8650 24404 34523 20049 40287 4550 25813 35932 21458 31577 11468 41696 5959 37341 7113 1988 28631 8522 19921 15566 40159 25685 35804 21330 31449 16975 11340 27094 275 6985 22739 1860 6404 28503 14029 8394 12479 24148 34267 19793 29912 9803 40031 15438 25557 4294 31321 16847 11212 26966 5703 37085 22611 1732 42849 18256 13762 13901 8266 24020 29784 15310 4166 35548 31193 26838 5575 6729 22483 32602 18128 42721 13634 28247 8138 23892 19537 29656 3178 15182 39775 9547 25301 35420 41184 16591 36829 22355 32474 42593 18000 13506 2885 23764 9419 39647 3910 35292 20818 30937 16463 41056 5319 6473 36701 1540 42465 27991 33755 19281 612 39519 9291 3782 25045 20690 10700 5191 1412 22099 32218 42337 12109 23508 33627 29272 14798 9163 172 30681 40800 5063 26326 36445 21971 32090 42209 2501 23380 33499 19025 29144 39263 3526 10444 16079 40672 26198 21843 31962 17488 11853 12994 7498 23252 2373 33371 29016 39135 14542 3398 34780 20306 30425 10316 40544 36189 1028 17360 12866 27479 7370 37598 2245 23124 816 18769 14414 24533 34652 15823 10188 4679 21587 11597 17232 27351 6088 37470 2117 33115 28760 8651 20050 30169 25814 35933 5960 27223 37342 7114 18513 24277 34396 19922 40160 21331 11341 27095 5832 6986 276 1861 32859 28504 8395 14030 24149 34268 15439 4295 25558 35677 31322 11213 5704 6858 1733 22612 6277 18257 13763 8267 12352 34140 29785 15311 9676 35549 21075 16720 41313 11085 5576 26839 6730 36958 22484 32603 42722 38367 23893 19538 3179 29657 9548 39776 16592 41185 10957 5448 36830 18001 28120 13507 8011 23765 19410 741 29529 15055 25174 3911 35293 30938 41057 5320 26583 1541 32347 12238 27992 23637 19282 613 39520 9292 25046 30810 40929 5192 22100 32219 12110 42338 17745 27864 13251 7755 23509 33628 29273 9164 24918 173 35037 20563 30682 40801 26327 36446 11982 37855 23381 33500 9036 3527 45 40673 36318 21844 31963 17489 42082 11854 12995 7499 2374 18898 29017 14543 39136 34781 15952 26071 36190 23125 2246 817 18770 30298 15824 10189 31707 41826 6089 27352 37471 33116 18642 38880 14287 24406 34525 20051 30170 15696 21460 41698 27224 7115 37343 22869 1990 32988 18514 8524 24278 12609 34397 30042 9933 35806 21332 11342 16977 5833 277 37215 1862 32860 28505 8396 19795 9805 25559 35678 21204 41442 5705 6859 22613 6278 28377 12353 34141 29786 9677 25431 21076 31195 16721 11086 26840 6731 36959 18130 28249 13636 8140 38368 23894 3015 15184 25303 10958 41186 5449 26712 6603 22357 32476 18002 13508 28121 8012 2887 33885 742 29530 15056 39649 25175 35294 20820 16465 10830 5321 26584 36703 6475 32348 12239 17874 13380 7884 23638 19283 614 9293 39521 14928 35166 20692 30811 17746 27865 13252 7756 2631 23510 33629 19155 486 39393 24919 174 35038 20564 30683 40802 16209 5065 11983 37856 2503 19027 29146 9037 20436 30555 10446 26200 36319 21845 1158 31964 11855 42083 17490 27609 37728 2375 23254 33373 18899 29018 39137 24663 15953 40546 10318 26072 4809 36191 1030 21717 31836 41955 17362 11727 12868 23126 818 28890 39009 14416 8781 34654 30299 10190 25944 4681 36063 21589 31708 17234 41827 11599 27353 37472 2119 22998 18643 14288 8653 24407 12738 34526 15697 40290 10062 21461 41699 17106 5962 1991 22870 32989 18515 8525 14160 12610 19924 40162 9934 4425 35807 31452 41571 5834 27097 37216 6988 278 32861 18387 24151 19796 9806 15441 4297 21205 31324 41443 6860 1735 32733 42852 18259 28378 34142 19668 39906 25432 35551 21077 31196 11087 5578 22486 18131 42724 13637 28250 8141 34014 3181 15185 25304 4041 20949 31068 16594 5450 26713 6604 36832 22358 32477 2888 33886 743 29531 39650 3913 16466 10831 26585 6476 36704 22230 42468 17875 13381 7885 23639 2760 29403 14929 35167 20693 30812 16338 5194 26457 36576 32221 17747 42340 13253 27866 7757 2632 19156 487 29275 39394 9166 24920 3657 175 35039 16210 10575 5066 26329 1287 11984 17619 27738 13125 7629 2504 23383 33502 19028 29147 9038 14673 24792 3529 47 34911 20437 30556 26201 4938 36320 1159 17491 27610 12997 37729 7501 23255 33374 8910 24664 10319 40547 4810 21718 1031 31837 17363 11728 12869 2248 33246 28891 14417 39010 8782 3273 34655 20181 40419 15826 4682 25945 36064 21590 903 31709 11600 41828 17235 6091 7245 2120 22999 18644 8654 12739 30172 40291 15698 10063 4554 31581 17107 11472 5963 27226 22871 32990 28635 14161 12611 24280 34399 19925 30044 9935 40163 15570 4426 25689 31453 27098 6989 37217 22743 6408 18388 24152 12483 29916 15442 40035 4298 35680 21206 31325 16851 26970 37089 1736 32734 18260 42853 28379 13905 24024 12355 19669 9679 25433 4170 35552 41316 5579 36961 22487 42725 3017 34015 3182 15186 4042 35424 20950 31069 16595 41188 10960 26714 6605 36833 42597 28123 8014 33887 19413 15058 9423 3914 25177 10832 22231 32350 17876 42469 12241 13382 7886 2761 33759 29404 14930 39523 3786 35168 40932 16339 10704 26458 36577 1416 32222 42341 2633 23512 19157 488 29276 9167 39395 14802 3658 176 20566 10576 16211 40804 26330 1288 21975 32094 42213 17620 27739 13126 37858 7630 23384 33503 39267 14674 3530 24793 48 34912 20438 30557 16083 4939 1160 17492 12998 27611 7502 37730 18901 29020 8911 24665 3402 20310 30429 4811 26074 21719 31838 11729 27483 37602 7374 2249 820 28892 8783 39011 3274 24537 20182 30301 15827 25946 36065 904 6092 23000 28764 38883 14290 12740 24409 34528 30173 10064 40292 4555 25818 35937 21463 31582 17108 11473 27227 1993 28636 14162 8527 24281 34400 30045 15571 4427 25690 35809 31454 16980 280 22744 18389 6409 14034 12484 34272 19798 29917 15443 9808 35681 16852 11217 26971 37090 32735 42854 13767 13906 8271 12356 24025 19670 9680 15315 4171 31198 41317 36962 32607 6153 18133 28252 13639 3018 34016 19542 29661 15187 39780 9552 4043 25306 35425 20951 31070 10961 41189 22360 32479 28124 8015 23769 2890 19414 15059 9424 25178 20823 30942 41061 16468 1609 36706 6478 22232 32351 12242 42470 27996 2762 33760 29405 39524 3787 25050 20695 16340 40933 10705 26459 5196 36578 1417 22104 12114 23513 14803 3659 20567 10577 40805 5068 36450 1289 21976 32095 17621 13127 27740 7631 37859 2506 19030 29149 14675 39268 24794 49 34913 40677 16084 10449 4940 26203 23257 33376 18902 29021 8912 14547 3403 34785 20311 30430 10321 26075 1033 17365 41958 27484 12871 37603 7375 821 33248 18774 14419 3275 24538 34657 20183 30302 4684 905 21592 41830 11602 7247 33120 28765 14291 38884 8656 24410 34529 20055 15700 4556 25819 35938 21464 31583 11474 5965 37347 7119 1994 28637 8528 12613 19927 15572 25691 35810 21336 41574 11346 27100 6991 22745 1866 28509 14035 8400 12485 24154 34273 19799 29918 9809 25563 4300 31327 16853 41446 11218 26972 5709 37091 1738 22617 6282 18262 13768 13907 8272 24026 29790 15316 4172 35554 31199 41318 16725 26844 5581 6735 1610 22489 32608 18134 6154 13640 28253 23898 3019 19543 29662 3184 15188 9553 25307 35426 16597 36835 22361 32480 18006 13512 2891 23770 19415 9425 3916 35298 30943 16469 5325 6479 36707 33761 19287 618 9297 3788 25051 20696 10706 40934 1418 22105 32224 12115 33633 29278 14804 39397 9169 178 30687 16213 5069 26332 36451 21977 32096 2507 23386 33505 19031 29150 39269 3532 16085 26204 21849 31968 17494 42087 11859 13000 7504 23258 2379 33377 39141 14548 3404 34786 20312 30431 10322 15957 36195 1034 41959 17366 12872 27485 7376 37604 23130 2251 33249 18775 14420 24539 34658 40422 15829 10194 4685 21593 11603 41831 17238 6094 27357 37476 7248 33121 28766 8657 38885 20056 30175 15701 40294 25820 35939 41703 5966 27229 37348 7120 18519 24283 12614 34402 19928 21337 31456 41575 11347 27101 5838 6992 282 1867 32865 28510 8401 14036 24155 34274 15445 40038 4301 25564 35683 31328 11219 41447 5710 6864 1739 22618 18263 6283 42856 13769 8273 12358 34146 29791 15317 9682 35555 21081 16726 11091 5582 26845 6736 36964 22490 32609 6155 38373 8145 23899 19544 3185 29663 9554 16598 10963 5454 36836 42600 18007 28126 8017 23771 747 29535 39654 15061 3917 25180 35299 30944 5326 26589 32353 42472 12244 27998 23643 19288 619 9298 25052 30816 22106 32225 12116 17751 27870 13257 7761 33634 29279 9170 39398 24924 35043 20569 30688 16214 26333 36452 42216 11988 37861 23387 33506 9042 3533 51 36324 21850 31969 11860 13001 7505 2380 18904 29023 14549 39142 34787 40551 15958 26077 36196 41960 2252 23131 823 18776 30304 15830 40423 10195 31713 17239 6095 27358 37477 7249 2124 33122 18648 14293 24412 34531 20057 30176 40295 21466 27230 7121 37349 22875 1996 32994 18520 8530 24284 34403 30048 40167 9939 35812 21338 31457 11348 41576 16983 5839 37221 1868 32866 28511 8402 19801 40039 9811 25565 35684 21210 5711 6865 22619 1740 6284 42857 28383 12359 34147 29792 9683 25437 21082 31201 16727 41320 11092 26846 6737 36965 42729 18136 28255 13642 8146 23900 3021 15190 39783 25309 10964 5455 26718 6609 22363 32482 18008 42601 13514 28127 8018 2893 33891 19417 29536 15062 25181 35300 20826 41064 16471 10836 5327 26590 36709 6481 32354 12245 42473 17880 27999 13386 7890 23644 19289 620 9299 14934 35172 20698 30817 40936 5199 42345 17752 27871 13258 7762 2637 33635 19161 492 24925 180 35044 20570 30689 5071 42217 11989 37862 2509 19033 29152 9043 39271 52 20442 30561 40680 10452 26206 36325 21851 1164 31970 11861 17496 27615 37734 2381 23260 33379 18905 29024 39143 24669 15959 10324 26078 4815 36197 21723 1036 31842 17368 11733 12874 23132 824 28896 39015 14422 8787 34660 30305 10196 40424 25950 4687 36069 21595 31714 11605 17240 27359 6096 37478 2125 23004 18649 14294 8659 24413 12744 34532 15703 10068 21467 17112 5968 1997 22876 32995 18521 8531 38759 14166 19930 30049 9940 4431 35813 16984 5840 27103 37222 6994 32867 18393 24157 19802 9812 40040 15447 4303 21211 31330 6866 1741 32739 18265 28384 34148 19674 25438 35557 21083 31202 11093 41321 5584 22492 18137 13643 28256 8147 3022 34020 3187 39784 25310 4047 20955 31074 41193 16600 5456 26719 6610 36838 22364 32483 42602 13515 2894 33892 19418 749 29537 3919 20827 16472 41065 10837 26591 6482 36710 22236 17881 13387 7891 23645 2766 29409 39528 14935 35173 20699 30818 40937 16344 26463 36582 32227 17753 13259 27872 7763 2638 23517 19162 29281 9172 24926 3663 35045 40809 10581 5072 26335 1293 11990 42218 17625 27744 13131 7635 2510 23389 33508 19034 29153 9044 39272 14679 24798 3535 34917 53 20443 30562 10453 40681 26207 4944 36326 1165 42090 27616 13003 37735 7507 23261 33380 8916 24670 10325 4816 1037 21724 31843 17369 41962 11734 12875 2254 33252 28897 14423 39016 8788 3279 34661 20187 15832 4688 25951 36070 21596 909 31715 11606 6097 7251 2126 23005 18650 8660 12745 30178 15704 10069 4560 31587 41706 17113 11478 5969 27232 22877 32996 28641 14167 24286 34405 19931 30050 9941 15576 4432 25695 16985 41578 27104 6995 37223 285 22749 18394 24158 12489 29922 4304 35686 21212 31331 16857 26976 37095 1742 32740 18266 28385 13911 24030 12361 19675 9685 25439 4176 35558 5585 36967 22493 1614 3023 34021 3188 39785 15192 4048 35430 20956 31075 10966 16601 26720 6611 36839 28129 8020 33893 750 39657 15064 9429 3920 25183 20828 10838 41066 22237 32356 17882 12247 13388 7892 2767 33765 29410 14936 3792 35174 16345 10710 26464 36583 1422 32228 2639 23518 19163 494 29282 9173 14808 3664 20572 10582 26336 1294 21981 32100 17626 27745 13132 37864 7636 23390 33509 14680 3536 24799 34918 20444 30563 10454 40682 16089 4945 1166 42091 13004 27617 7508 37736 18907 29026 39145 8917 24671 3408 20316 30435 40554 4817 26080 21725 31844 11735 41963 27489 37608 7380 2255 33253 826 28898 8789 39017 3280 24543 20188 30307 15833 40426 25952 36071 910 41835 17242 6098 7252 23006 28770 38889 14296 12746 24415 34534 30179 10070 4561 25824 35943 21469 31588 17114 41707 11479 27233 1999 28642 14168 38761 8533 24287 12618 34406 40170 15577 4433 35815 41579 22750 18395 14040 12490 34278 19804 29923 40042 9814 35687 41451 16858 11223 26977 37096 32741 13773 13912 8277 12362 24031 19676 9686 15321 4177 31204 36968 1615 32613 6159 42732 18139 28258 13645 34022 19548 29667 9558 4049 25312 35431 20957 31076 10967 22366 32485 42604 28130 8021 23775 2896 751 15065 39658 9430 25184 30948 16474 36712 6484 22238 32357 12248 28002 2768 33766 29411 3793 25056 20701 16346 10711 26465 5202 36584 22110 42348 12120 23519 495 39402 14809 3665 183 20573 10583 16218 5074 36456 1295 21982 32101 17627 42220 13133 27746 7637 37865 2512 19036 29155 14681 24800 55 34919 16090 4946 26209 42092 17499 23263 33382 18908 29027 8918 39146 14553 3409 34791 20317 30436 40555 10327 26081 1039 17371 27490 12877 37609 7381 827 33254 18780 14425 3281 24544 34663 20189 30308 40427 4690 911 21598 17243 11608 7253 33126 28771 14297 38890 8662 24416 34535 20061 40299 15706 4562 25825 35944 21470 31589 11480 41708 5971 37353 7125 2000 28643 8534 38762 12619 19933 30052 15578 40171 25697 35816 21342 31461 16987 11352 27106 6997 22751 1872 28515 14041 8406 12491 24160 34279 19805 29924 9815 40043 15450 25569 4306 31333 16859 11224 26978 5715 37097 1744 22623 6288 42861 18268 13774 13913 8278 24032 29796 15322 4178 35560 31205 16731 26850 5587 6741 1616 22495 32614 18140 42733 6160 13646 28259 3025 23904 19549 3190 29668 9559 25313 35432 41196 16603 36841 22367 32486 42605 18012 13518 2897 23776 9431 39659 3922 35304 20830 30949 16475 41068 5331 6485 36713 42477 28003 33767 19293 624 39531 9303 3794 25057 20702 10712 5203 1424 22111 32230 12121 42349 33639 29284 14810 9175 30693 40812 16219 5075 26338 36457 21983 32102 42221 2513 23392 33511 19037 29156 3538 10456 16091 40684 26210 21855 31974 11865 13006 7510 23264 2385 33383 14554 3410 34792 20318 30437 10328 40556 15963 36201 1040 17372 12878 27491 7382 37610 23136 2257 18781 14426 39019 24545 34664 15835 10200 4691 21599 11609 6100 27363 37482 33127 28772 8663 38891 20062 30181 15707 25826 35945 5972 27235 37354 7126 18525 12620 24289 34408 19934 30053 40172 25698 21343 31462 16988 11353 27107 5844 288 6998 1873 32871 28516 8407 14042 24161 34280 4307 25570 35689 31334 11225 5716 6870 22624 18269 6289 13775 8279 12364 34152 29797 15323 9688 35561 21087 41325 16732 11097 5588 26851 36970 22496 32615 6161 42734 8151 23905 19550 29669 3191 9560 15195 16604 41197 10969 5460 36842 18013 13519 28132 8023 23777 19422 753 29541 15067 3923 25186 35305 20831 30950 41069 5332 26595 32359 12250 28004 23649 19294 625 39532 9304 25058 30822 40941 5204 22112 1425 32231 12122 42350 17757 27876 13263 7767 33640 29285 9176 24930 35049 20575 30694 16220 40813 26339 36458 11994 37867 23393 33512 39276 9048 3539 57 10457 40685 36330 21856 31975 42094 11866 13007 7511 18910 29029 14555 34793 15964 26083 36202 2258 23137 33256 829 18782 39020 30310 15836 10201 31719 41838 17245 27364 7255 37483 2130 33128 18654 14299 24418 34537 20063 30182 21472 41710 27236 7127 37355 2002 22881 33000 18526 8536 24290 34409 9945 25699 35818 21344 31463 11354 5845 289 37227 1874 32872 28517 8408 19807 9817 25571 35690 21216 41454 5717 6871 22625 1746 6290 28389 12365 34153 29798 9689 25443 21088 31207 16733 11098 26852 6743 36971 18142 28261 13648 8152 23906 3027 39789 25315 10970 41198 5461 26724 6615 22369 32488 18014 28133 13520 8024 2899 33897 19423 754 29542 15068 25187 35306 16477 10842 5333 26596 36715 6487 32360 12251 17886 13392 7896 23650 19295 626 9305 39533 14940 35178 20704 30823 27877 13264 2643 33641 19167 498 39405 24931 35050 186 20576 30695 40814 26340 5077 11995 37868 2515 19039 29158 9049 20448 30567 26212 36331 21857 1170 31976 11867 42095 17502 27621 37740 2387 23266 33385 18911 29030 24675 15965 40558 10330 26084 4821 36203 21729 1042 31848 41967 17374 11739 12880 23138 830 33257 28902 14428 8793 34666 30311 10202 25956 4693 36075 21601 31720 17246 41839 11611 27365 6102 37484 2131 23010 18655 14300 38893 8665 24419 12750 34538 40302 15709 10074 21473 41711 17118 5974 2003 22882 33001 18527 8537 14172 19936 30055 40174 9946 4437 35819 41583 5846 27109 290 37228 7000 32873 18399 24163 19808 9818 15453 4309 21217 31336 41455 6872 32745 42864 18271 28390 12366 34154 19680 39918 25444 35563 21089 31208 11099 5590 6744 22498 18143 42736 13649 28262 8153 34026 3193 39790 25316 4053 20961 31080 16606 5462 26725 6616 36844 22370 32489 2900 33898 19424 29543 755 3925 16478 10843 26597 6488 36716 22242 42480 17887 28006 13393 7897 23651 2772 29415 14941 35179 20705 30824 16350 26469 5206 36588 32233 17759 42352 13265 27878 7769 2644 23523 19168 499 29287 39406 9178 24932 3669 187 35051 10587 5078 26341 1299 11996 17631 27750 13137 7641 2516 23395 33514 19040 29159 9050 14685 3541 24804 34923 20449 30568 26213 4950 36332 1171 17503 27622 13009 37741 7513 23267 2388 33386 39150 8922 24676 10331 40559 4822 1043 21730 31849 17375 11740 12881 2260 28903 14429 8794 3285 34667 20193 40431 15838 4694 25957 36076 21602 915 31721 11612 41840 7257 2132 23011 18656 8666 38894 12751 30184 15710 40303 10075 4566 31593 17119 11484 5975 27238 22883 2004 33002 28647 38766 14173 24292 34411 19937 30056 9947 40175 15582 4438 25701 27110 7001 37229 22755 18400 24164 12495 29928 40047 15454 4310 35692 21218 31337 41456 16863 26982 37101 32746 18272 42865 28391 13917 12367 24036 39919 9691 25445 4182 35564 41328 5591 36973 6745 22499 1620 42737 34027 3194 39791 15198 4054 35436 20962 31081 16607 41200 10972 26726 6617 36845 42609 28135 13522 8026 33899 15070 39663 9435 3926 25189 10844 22243 32362 17888 42481 12253 13394 28007 7898 2773 33771 29416 14942 3798 35180 40944 16351 10716 26470 5207 36589 1428 32234 42353 17760 7770 2645 23524 19169 29288 500 9179 39407 14814 3670 188 20578 10588 40816 26342 1300 21987 32106 42225 17632 27751 13138 37870 7642 23396 33515 39279 14686 24805 3542 34924 60 20450 30569 16095 4951 1172 17504 13010 27623 7514 37742 2389 18913 29032 8923 24677 3414 20322 30441 4823 26086 21731 31850 11741 27495 37614 7386 2261 33259 832 28904 8795 3286 24549 20194 30313 15839 25958 36077 916 17248 23012 28776 14302 12752 24421 34540 30185 10076 40304 4567 25830 35949 21475 31594 17120 11485 27239 2005 28648 14174 38767 8539 24293 12624 34412 15583 4439 25702 35821 16992 292 22756 18401 14046 12496 34284 19810 29929 15455 9820 35693 16864 11229 26983 37102 1749 32747 42866 13779 13918 8283 24037 12368 19682 9692 15327 4183 31210 41329 36974 1621 32619 6165 18145 28264 13651 3030 34028 19554 29673 15199 9564 4055 25318 35437 20963 31082 10973 41201 22372 32491 13523 28136 8027 2902 23781 757 39664 15071 9436 25190 20835 30954 41073 16480 36718 6490 22244 32363 12254 42482 2774 33772 29417 3799 25062 20707 16352 40945 10717 26471 36590 1429 22116 17761 12126 7771 23525 14815 3671 20579 10589 40817 16224 5080 36462 1301 32107 17633 13139 27752 7643 37871 2518 19042 29161 14687 39280 24806 34925 40689 16096 10461 4952 26215 23269 33388 18914 29033 14559 8924 3415 34797 20323 30442 10333 26087 1045 41970 17377 27496 12883 37615 7387 833 33260 18786 39024 14431 3287 24550 34669 20195 30314 4696 917 21604 17249 41842 11614 6105 33132 28777 14303 8668 24422 34541 20067 15712 4568 25831 35950 21476 31595 11486 5977 37359 7131 2006 28649 8540 38768 12625 19939 30058 15584 25703 35822 21348 31467 41586 16993 11358 27112 7003 293 22757 1878 28521 14047 8412 12497 24166 34285 19811 29930 9821 25575 4312 31339 16865 41458 11230 26984 5721 37103 22629 6294 18274 13780 13919 8284 24038 19683 29802 15328 4184 35566 31211 41330 16737 26856 5593 6747 1622 22501 32620 18146 6166 13652 28265 23910 19555 29674 3196 39793 15200 9565 25319 35438 16609 36847 22373 32492 18018 2903 23782 9437 39665 3928 35310 20836 30955 16481 5337 6491 36719 28009 33773 19299 630 39537 9309 3800 20708 10718 40946 22117 1430 32236 12127 33645 29290 502 14816 9181 190 30699 16225 5081 26344 36463 21989 32108 2519 23398 33517 19043 29162 39281 3544 16097 10462 26216 21861 31980 17506 42099 11871 13012 7516 23270 2391 33389 39153 14560 3416 34798 20324 30443 10334 15969 36207 1046 17378 41971 12884 27497 7388 37616 23142 2263 18787 14432 24551 34670 40434 15841 10206 4697 21605 11615 41843 27369 37488 7260 33133 28778 8669 20068 30187 15713 40306 25832 35951 41715 5978 27241 7132 37360 18531 12626 24295 34414 19940 30059 21349 31468 16994 41587 11359 27113 5850 7004 1879 32877 28522 14048 8413 24167 34286 15457 40050 4313 25576 35695 31340 11231 41459 5722 6876 22630 18275 6295 42868 13781 8285 12370 34158 29803 15329 39922 9694 35567 21093 16738 11103 5594 26857 6748 36976 22502 32621 6167 8157 23911 19556 3197 29675 9566 39794 16610 10975 5466 36848 18019 42612 28138 13525 8029 23783 2904 19428 29547 759 15073 3929 25192 35311 20837 30956 26601 32365 42484 12256 28010 23655 19300 631 39538 9310 25064 30828 22118 32237 12128 17763 27882 13269 7773 33646 503 29291 9182 24936 35055 191 20581 30700 16226 36464 21990 42228 12000 37873 23399 33518 9054 3545 63 10463 36336 21862 31981 17507 11872 13013 7517 2392 18916 29035 14561 39154 34799 40563 15970 26089 36208 41972 2264 23143 33262 835 18788 30316 15842 40435 10207 31725 17251 27370 37489 2136 33134 18660 38898 14305 24424 34543 20069 30188 40307 21478 27242 7133 37361 2008 22887 33006 18532 38770 8542 24296 34415 40179 9951 25705 35824 21350 31469 11360 41588 5851 37233 1880 28523 8414 19813 15458 40051 9823 25577 35696 21222 5723 6877 22631 1752 6296 42869 28395 34159 29804 9695 39923 25449 21094 31213 16739 41332 11104 26858 36977 6749 42741 18148 28267 13654 8158 23912 3033 15202 25321 10976 5467 26730 6621 22375 32494 18020 42613 13526 28139 8030 2905 33903 19429 29548 15074 39667 25193 35312 41076 16483 10848 5339 26602 36721 6493 32366 12257 42485 17892 13398 7902 23656 19301 632 9311 39539 14946 25065 35184 20710 30829 40948 5211 1432 17764 42357 27883 13270 7774 2649 33647 19173 39411 24937 35056 20582 30701 26346 5083 21991 42229 12001 37874 2521 19045 29164 9055 64 20454 30573 40692 26218 36337 21863 1176 31982 11873 27627 37746 23272 2393 33391 18917 29036 39155 24681 15971 10336 26090 4827 36209 21735 1048 31854 17380 11745 12886 23144 836 33263 28908 39027 14434 8799 34672 30317 10208 40436 25962 4699 36081 21607 31726 17252 11617 27371 6108 37490 2137 23016 18661 14306 8671 24425 12756 34544 15715 10080 21479 17124 5980 33007 18533 8543 38771 14178 19942 30061 9952 4443 35825 5852 27115 37234 7006 32879 18405 24169 19814 9824 40052 4315 21223 31342 6878 1753 32751 18277 28396 12372 34160 19686 25450 35569 21095 31214 11105 41333 5596 22504 18149 13655 28268 8159 3034 34032 3199 15203 25322 4059 20967 31086 41205 16612 5468 26731 6622 36850 22376 32495 42614 2906 33904 19430 29549 39668 3931 10849 16484 41077 26603 5340 6494 36722 22248 17893 28012 13399 7903 23657 2778 29421 35185 20711 30830 40949 16356 5212 26475 36594 1433 32239 17765 13271 27884 7775 2650 23529 19174 29293 505 39412 9184 24938 3675 35057 40821 10593 5084 1305 12002 42230 17637 27756 13143 7647 2522 23401 33520 19046 29165 9056 14691 24810 3547 65 34929 20455 30574 40693 26219 4956 36338 1177 42102 27628 13015 37747 7519 23273 33392 8928 24682 10337 4828 1049 21736 31855 17381 41974 11746 12887 2266 28909 14435 39028 8800 3291 34673 20199 15844 4700 25963 36082 21608 921 31727 11618 6109 7263 2138 23017 18662 8672 24426 12757 30190 10081 15716 4572 31599 41718 17125 11490 5981 27244 22889 2010 33008 28653 14179 24298 34417 19943 30062 9953 15588 4444 25707 41590 27116 7007 37235 297 22761 32880 18406 24170 12501 29934 4316 35698 21224 31343 16869 26988 37107 1754 32752 18278 28397 13923 24042 19687 9697 25451 4188 35570 5597 6751 36979 22505 1626 3035 34033 3200 4060 35442 20968 31087 16613 10978 26732 6623 36851 28141 13528 8032 33905 762 15076 9441 3932 25195 10850 41078 5341 22249 32368 17894 12259 13400 28013 7904 2779 33777 29422 14948 39541 3804 35186 16357 10722 5213 26476 36595 32240 2651 23530 19175 506 29294 9185 39413 14820 3676 20584 10594 1306 21993 32112 17638 27757 13144 37876 7648 23402 33521 39285 14692 3548 24811 34930 20456 30575 40694 16101 4957 1178 42103 13016 27629 7520 37748 2395 18919 29038 8929 24683 3420 20328 30447 40566 4829 26092 21737 31856 11747 41975 27501 37620 7392 2267 33265 838 28910 8801 39029 3292 24555 20200 30319 15845 40438 25964 36083 922 41847 17254 6110 7264 23018 28782 38901 14308 12758 24427 34546 30191 10082 4573 25836 35955 21481 31600 17126 41719 11491 27245 22890 28654 14180 8545 24299 12630 34418 40182 15589 4445 35827 41591 16998 298 22762 32881 18407 14052 12502 34290 19816 29935 40054 9826 35699 41463 16870 11235 26989 37108 32753 13785 13924 8289 24043 19688 9698 15333 4189 31216 36980 1627 32625 6171 42744 18151 28270 13657 34034 19560 29679 39798 9570 4061 25324 35443 20969 31088 10979 22378 32497 42616 13529 28142 8033 2908 23787 15077 25196 20841 30960 16486 36724 6496 22250 32369 12260 2780 33778 29423 39542 14949 3805 25068 20713 16358 10723 26477 36596 22122 1435 17767 42360 12132 7777 23531 14821 3677 20585 10595 16230 26349 5086 36468 1307 21994 32113 17639 42232 13145 27758 7649 37877 2524 19048 29167 14693 39286 24812 34931 67 16102 10467 4958 26221 42104 17511 23275 33394 18920 29039 8930 14565 3421 34803 20329 30448 40567 10339 26093 1051 17383 27502 12889 37621 7393 839 33266 18792 14437 3293 24556 34675 20201 30320 40439 4702 923 21610 17255 11620 7265 33138 28783 8674 14309 38902 24428 34547 20073 40311 15718 4574 25837 35956 21482 31601 11492 41720 5983 37365 7137 22891 28655 8546 12631 19945 30064 15590 40183 35828 21354 31473 16999 11364 27118 299 7009 22763 1884 28527 14053 8418 12503 24172 34291 19817 29936 9827 40055 15462 25581 4318 31345 16871 11236 26990 5727 37109 22635 1756 6300 42873 18280 13786 13925 8290 24044 12375 29808 39927 15334 4190 35572 31217 16743 26862 5599 6753 1628 22507 32626 18152 6172 42745 13658 28271 23916 3037 19561 29680 3202 9571 25325 35444 41208 16615 36853 22379 32498 42617 18024 23788 9443 3934 35316 20842 30961 16487 41080 5343 6497 36725 42489 28015 33779 19305 636 9315 3806 25069 20714 10724 1436 22123 32242 42361 12133 33651 29296 508 14822 39415 9187 30705 40824 16231 5087 36469 21995 32114 42233 2525 23404 33523 19049 29168 39287 3550 68 16103 40696 10468 26222 21867 31986 17512 11877 13018 7522 23276 2397 33395 39159 14566 3422 34804 20330 30449 10340 40568 15975 36213 1052 17384 12890 27503 7394 37622 23148 2269 18793 14438 24557 34676 15847 10212 4703 21611 11621 27375 6112 37494 33139 28784 8675 38903 20074 30193 15719 25838 35957 5984 27247 7138 37366 2013 18537 38775 12632 24301 34420 19946 30065 40184 25710 21355 31474 17000 11365 27119 5856 7010 1885 32883 28528 14054 8419 24173 34292 15463 4319 25582 35701 31346 11237 5728 6882 1757 22636 18281 6301 13787 8291 34164 19690 29809 15335 9700 35573 21099 41337 16744 11109 5600 26863 36982 22508 32627 6173 42746 8163 3038 23917 19562 3203 29681 9572 15207 16616 41209 10981 5472 36854 18025 28144 13531 8035 23789 2910 19434 29553 765 39672 15079 9444 3935 25198 35317 20843 30962 41081 5344 26607 32371 12262 28016 23661 19306 637 9316 25070 30834 40953 22124 32243 12134 42362 17769 27888 13275 7779 33652 509 29297 9188 39416 24942 35061 20587 30706 16232 40825 36470 12006 37879 23405 33524 9060 3551 10469 40697 36342 21868 31987 17513 42106 11878 13019 7523 18922 29041 14567 39160 34805 15976 26095 36214 2270 23149 841 33268 18794 30322 15848 10213 31731 41850 17257 27376 6113 37495 7267 2142 33140 18666 14311 8676 24430 34549 20075 30194 21484 41722 27248 7139 37367 22893 33012 18538 38776 8548 24302 34421 9957 35830 21356 31475 11366 5857 37239 1886 32884 28529 8420 19819 15464 9829 25583 35702 21228 41466 5729 6883 22637 6302 28401 34165 19691 29810 9701 25455 21100 31219 16745 11110 26864 36983 18154 28273 13660 8164 23918 39801 15208 25327 10982 41210 5473 26736 6627 22381 32500 18026 13532 28145 8036 33909 19435 766 29554 15080 9445 25199 35318 16489 10854 26608 5345 36727 6499 32372 17898 12263 13404 7908 23662 19307 638 9317 14952 35190 20716 30835 5217 1438 27889 2655 33653 19179 24943 774 35062 20588 30707 40826 26352 5089 21997 12007 37880 2527 19051 29170 39289 20460 30579 26224 36343 21869 1182 31988 11879 42107 27633 37752 23278 33397 18923 29042 39161 24687 15977 40570 10342 26096 4833 36215 1054 21741 31860 41979 17386 11751 12892 23150 33269 842 28914 39033 14440 8805 34678 30323 10214 25968 4705 36087 21613 31732 17258 41851 11623 27377 37496 7268 2143 23022 18667 8677 14312 12762 34550 40314 15721 10086 21485 41723 17130 5986 22894 33013 18539 8549 38777 14184 19948 30067 40186 9958 4449 35831 41595 5858 27121 37240 7012 32885 18411 24175 19820 9830 4321 21229 31348 41467 6884 32757 42876 18283 28402 12378 34166 39930 25456 35575 21101 31220 11111 5602 6756 22510 18155 42748 13661 28274 8165 34038 3205 15209 39802 25328 4065 20973 31092 16618 5474 26737 6628 36856 22382 32501 33910 19436 29555 767 3937 16490 10855 26609 6500 36728 22254 42492 17899 28018 13405 7909 23663 2784 29427 14953 39546 25072 35191 20717 30836 16362 5218 26481 36600 1439 32245 42364 13277 27890 2656 23535 19180 29299 511 9190 24944 3681 35063 775 10599 5090 26353 1311 12008 17643 27762 13149 7653 2528 23407 33526 19052 29171 9062 39290 14697 24816 3553 34935 20461 30580 26225 4962 36344 1183 27634 13021 37753 7525 23279 2400 33398 8934 24688 10343 40571 4834 1055 21742 31861 11752 17387 12893 2272 28915 14441 39034 8806 3297 34679 20205 40443 15850 4706 25969 36088 21614 927 31733 11624 41852 2144 23023 18668 8678 24432 12763 30196 15722 40315 10087 4578 31605 17131 11496 5987 27250 2016 22895 33014 28659 14185 24304 34423 19949 30068 9959 40187 15594 4450 25713 27122 7013 37241 303 22767 18412 24176 12507 29940 40059 4322 35704 21230 31349 41468 16875 26994 37113 32758 18284 42877 28403 13929 12379 24048 19693 39931 9703 25457 4194 35576 41340 5603 36985 22511 1632 42749 34039 3206 39803 4066 35448 20974 16619 41212 10984 26738 6629 36857 42621 28147 13534 8038 2913 33911 39675 15082 9447 3938 25201 10856 5347 22255 32374 17900 42493 12265 13406 28019 7910 2785 33783 29428 14954 25073 3810 35192 40956 16363 10728 5219 26482 36601 32246 42365 17772 13278 7782 2657 23536 19181 512 29300 9191 14826 3682 776 20590 40828 10600 26354 1312 21999 32118 42237 17644 27763 13150 37882 7654 23408 33527 9063 3554 24817 72 34936 20462 30581 16107 4963 1184 13022 27635 7526 37754 18925 29044 39163 8935 24689 3426 20334 30453 4835 26098 21743 1056 31862 11753 27507 37626 7398 2273 33271 844 28916 8807 39035 3298 24561 20206 30325 15851 25970 36089 17260 23024 28788 38907 14314 12764 34552 30197 10088 40316 4579 25842 35961 21487 31606 17132 27251 2017 28660 14186 8551 24305 12636 34424 15595 4451 25714 35833 17004 304 22768 32887 18413 14058 12508 34296 19822 29941 9832 35705 16876 11241 26995 37114 1761 32759 42878 13791 13930 8295 24049 12380 19694 9704 39932 15339 4195 31222 41341 36986 1633 32631 6177 18157 28276 13663 3042 34040 19566 29685 9576 4067 25330 35449 20975 31094 10985 41213 22384 32503 13535 28148 8039 23793 769 9448 15083 39676 25202 20847 30966 41085 16492 6502 36730 22256 32375 12266 42494 2786 33784 29429 3811 20719 16364 40957 10729 26483 36602 22128 1441 12138 13279 23537 39420 14827 3683 20591 10601 40829 16236 5092 36474 1313 32119 17645 13151 27764 7655 37883 2530 19054 29173 14699 24818 34937 40701 16108 10473 4964 26227 17517 23281 33400 18926 29045 8936 39164 14571 3427 34809 20335 30454 10345 26099 1057 41982 17389 27508 12895 37627 7399 845 33272 18798 14443 3299 24562 34681 20207 30326 4708 929 21616 17261 41854 11626 6117 33144 28789 8680 14315 38908 34553 20079 15724 4580 25843 35962 21488 31607 11498 5989 37371 7143 2018 22897 28661 8552 12637 19951 30070 15596 25715 35834 21360 31479 41598 17005 11370 27124 305 7015 22769 1890 28533 14059 8424 12509 24178 34297 19823 29942 9833 15468 25587 4324 31351 16877 41470 11242 26996 5733 37115 1762 22641 6306 18286 13792 8296 13931 24050 29814 15340 4196 35578 31223 41342 16749 26868 5605 6759 1634 22513 32632 18158 6178 13664 28277 3043 23922 19567 29686 3208 9577 25331 35450 31095 16621 36859 22385 32504 18030 23794 770 39677 9449 3940 35322 20848 30967 16493 5349 36731 6503 28021 33785 19311 642 39549 14956 9321 3812 25075 20720 10730 40958 1442 22129 32248 12139 33657 29302 514 14828 9193 30711 16237 5093 26356 36475 32120 2531 23410 33529 19055 29174 14700 3556 74 16109 10474 26228 21873 31992 42111 17518 11883 13024 7528 23282 2403 33401 14572 3428 34810 20336 30455 15981 10346 36219 1058 17390 41983 12896 27509 7400 37628 23154 2275 18799 14444 39037 24563 34682 40446 15853 10218 4709 21617 930 11627 41855 6118 27381 37500 7272 33145 28790 38909 24435 20080 30199 15725 40318 25844 35963 41727 11499 5990 27253 7144 37372 18543 38781 12638 24307 34426 19952 30071 21361 31480 17006 41599 11371 27125 5862 7016 1891 32889 28534 14060 8425 24179 34298 40062 15469 9834 4325 25588 35707 31352 11243 41471 5734 6888 1763 22642 18287 6307 42880 13793 8297 12382 34170 19696 29815 15341 39934 9706 35579 21105 16750 11115 5606 26869 6760 36988 22514 32633 6179 8169 3044 23923 19568 29687 9578 15213 16622 10987 5478 36860 42624 28150 13537 8041 23795 2916 19440 29559 15085 3941 25204 35323 20849 30968 26613 32377 42496 12268 28022 23667 19312 14957 39550 9322 25076 30840 22130 32249 12140 17775 27894 13281 7785 33658 515 29303 9194 24948 35067 20593 30712 16238 26357 36476 22002 42240 12012 1545 37885 23411 33530 14701 39294 9066 3557 75 10475 36348 21874 31993 17519 11884 13025 7529 2404 18928 29047 14573 34811 40575 15982 26101 36220 41984 2276 23155 33274 847 18800 39038 30328 15854 40447 10219 931 31737 17263 6119 27382 7273 37501 2148 33146 18672 14317 8682 34555 20081 30200 40319 21490 27254 7145 37373 22899 2020 33018 18544 38782 8554 24308 34427 40191 9963 25717 35836 21362 31481 11372 41600 5863 37245 1892 28535 8426 19825 9835 15470 40063 25589 35708 21234 5735 6889 22643 6308 42881 28407 12383 34171 19697 29816 9707 39935 25461 31225 16751 41344 11116 26870 36989 6761 42753 18160 28279 13666 8170 23924 39807 15214 25333 10988 5479 26742 6633 22387 32506 18032 42625 13538 28151 8042 2917 33915 19441 29560 9451 15086 25205 35324 41088 16495 10860 26614 36733 6505 32378 12269 42497 17904 13410 7914 23668 19313 644 9323 39551 35196 20722 30841 40960 5223 1444 17776 42369 13282 27895 7786 2661 33659 19185 39423 24949 780 35068 20594 30713 5095 42241 12013 37886 1546 2533 19057 29176 9067 20466 30585 40704 26230 36349 21875 1188 31994 11885 27639 37758 2405 23284 33403 18929 29048 24693 15983 10348 26102 4839 36221 1060 21747 31866 17392 11757 12898 23156 848 33275 28920 14446 8811 34684 30329 10220 40448 25974 4711 36093 21619 31738 17264 11629 27383 7274 37502 2149 23028 18673 14318 38911 12768 34556 15727 10092 21491 17136 5992 2021 33019 18545 8555 38783 14190 19954 30073 9964 25718 4455 35837 5864 27127 37246 7018 18417 24181 19826 40064 9836 4327 21235 31354 6890 32763 18289 28408 34172 25462 35581 21107 31226 11117 41345 5608 36990 22516 18161 13667 28280 8171 34044 15215 39808 25334 4071 20979 31098 41217 16624 5480 26743 6634 36862 22388 32507 42626 18033 2918 33916 19442 29561 3943 16496 41089 26615 5352 6506 36734 22260 17905 28024 13411 7915 23669 2790 645 29433 14959 25078 35197 20723 30842 40961 16368 5224 26487 36606 1445 32251 17777 27896 13283 7787 2662 23541 19186 517 29305 39424 9196 24950 3687 35069 781 40833 10605 5096 1317 12014 42242 17649 27768 13155 1547 7659 2534 23413 33532 19058 29177 14703 9068 24822 3559 34941 20467 30586 40705 26231 4968 36350 1189 42114 27640 13027 37759 7531 23285 33404 39168 8940 24694 10349 4840 21748 31867 17393 41986 11758 12899 2278 28921 14447 8812 3303 34685 20211 15856 4712 25975 36094 21620 933 31739 11630 2150 23029 18674 38912 24438 12769 30202 15728 10093 4584 31611 41730 17137 11502 5993 27256 33020 28665 14191 24310 34429 19955 30074 9965 15600 4456 41602 27128 7019 37247 309 22773 32892 18418 24182 12513 29946 4328 35710 21236 31355 16881 27000 37119 32764 18290 28409 13935 24054 19699 9709 25463 4200 35582 21108 5609 36991 6763 22517 1638 34045 39809 4072 35454 20980 31099 16625 10990 26744 6635 36863 28153 13540 8044 33917 3084 39681 15088 9453 3944 25207 10862 41090 22261 32380 17906 12271 13412 28025 7916 2791 33789 29434 14960 25079 3816 35198 16369 10734 5225 26488 36607 32252 2663 23542 19187 29306 518 9197 39425 14832 3688 782 20596 10606 1318 22005 32124 17650 27769 13156 37888 7660 23414 33533 14704 39297 3560 24823 34942 78 20468 30587 40706 16113 4969 1190 42115 13028 27641 7532 37760 2407 18931 29050 8941 24695 3432 20340 30459 40578 4841 26104 21749 1062 31868 11759 41987 27513 37632 7404 2279 33277 850 28922 8813 3304 24567 20212 30331 15857 40450 25976 36095 934 41859 17266 23030 28794 14320 8685 12770 24439 34558 30203 10094 4585 25848 35967 21493 31612 11503 17138 41731 27257 22902 14192 38785 8557 24311 12642 34430 19956 40194 15601 4457 35839 41603 17010 310 22774 18419 14064 12514 34302 19828 29947 9838 40066 35711 41475 16882 11247 37120 1767 32765 13797 13936 8301 24055 19700 9710 15345 4201 21109 31228 36992 6764 1639 32637 6183 42756 18163 28282 13669 3048 34046 19572 29691 9582 4073 25336 35455 20981 31100 10991 22390 32509 42628 13541 28154 8045 23799 2920 3085 15089 39682 25208 20853 30972 16498 10863 36736 6508 22262 32381 12272 2792 33790 29435 3817 20725 16370 10735 26489 36608 22134 1447 17779 42372 12144 13285 7789 23543 14833 3689 20597 10607 16242 26361 5098 36480 1319 22006 32125 17651 42244 13157 27770 7661 37889 2536 19060 29179 39298 14705 9070 24824 79 34943 16114 10479 4970 26233 42116 17523 2408 23287 33406 18932 29051 8942 14577 3433 34815 20341 30460 40579 10351 26105 17395 27514 12901 37633 7405 851 33278 18804 39042 14449 3305 24568 34687 20213 30332 40451 4714 21622 935 17267 11632 6123 33150 28795 14321 24440 34559 20085 40323 15730 4586 25849 35968 21494 31613 41732 11504 5995 37377 7149 28667 8558 38786 12643 19957 30076 15602 40195 35840 21366 31485 17011 11376 27130 311 7021 22775 1896 28539 14065 8430 12515 24184 34303 19829 29948 40067 15474 25593 4330 31357 16883 11248 27002 5739 37121 1768 22647 18292 6312 42885 13798 13937 8302 24056 12387 29820 39939 15346 4202 35584 31229 16755 26874 5611 1640 22519 32638 18164 6184 42757 13670 28283 3049 23928 19573 39811 9583 25337 35456 41220 16627 36865 22391 32510 42629 18036 23800 2921 3086 39683 3946 35328 20854 30973 16499 41092 5355 6509 36737 42501 28027 33791 19317 648 39555 14962 9327 3818 25081 20726 10736 1448 22135 32254 17780 42373 12145 7790 33663 29308 520 14834 9199 30717 40836 16243 5099 26362 36481 22007 32126 42245 2537 23416 33535 19061 29180 9071 39299 3562 80 16115 40708 10480 26234 21879 31998 17524 11889 13030 7534 23288 33407 39171 14578 3434 34816 20342 30461 10352 40580 15987 36225 17396 12902 27515 7406 37634 23160 2281 18805 14450 24569 34688 15859 10224 4715 21623 11633 6124 27387 37506 7278 33151 28796 20086 30205 15731 25850 35969 5996 27259 7150 2025 18549 28668 12644 24313 34432 19958 30077 40196 25722 21367 31486 17012 11377 27131 5868 7022 1897 32895 28540 14066 8431 24185 34304 15475 9840 4331 25594 35713 31358 11249 5740 27003 6894 1769 22648 18293 6313 13799 8303 12388 34176 19702 29821 15347 9712 35585 21111 41349 16756 11121 5612 26875 36994 22520 32639 6185 42758 8175 3050 23929 19574 29693 9584 39812 15219 31102 16628 41221 10993 5484 36866 18037 28156 13543 8047 23801 19446 29565 15091 9456 3947 25210 35329 20855 30974 41093 5356 26619 32383 12274 28028 23673 19318 649 14963 39556 9328 25082 30846 40965 22136 32255 12146 42374 27900 13287 33664 521 29309 9200 24954 35073 20599 30718 16244 40837 26363 36482 12018 1551 37891 23417 33536 14707 3563 10481 40709 36354 21880 31999 17525 42118 11890 13031 7535 18934 29053 14579 39172 34817 15988 26107 1065 2282 23161 33280 853 18806 30334 15860 10225 937 31743 17269 41862 6125 27388 7279 37507 2154 33152 18678 38916 14323 8688 24442 34561 20087 30206 21496 41734 11506 27260 7151 37379 2026 22905 33024 18550 28669 8560 24314 34433 9969 25723 35842 21368 31487 11378 5869 37251 1898 32896 28541 8432 19831 15476 25595 35714 21240 41478 5741 6895 22649 6314 18294 28413 12389 34177 19703 29822 9713 25467 21112 31231 16757 11122 26876 18166 28285 13672 8176 23930 29694 15220 25339 31103 10994 41222 5485 26748 6639 22393 32512 18038 13544 28157 8048 33921 19447 29566 15092 39685 25211 35330 16501 10866 5357 26620 36739 6511 32384 12275 17910 13416 7920 23674 19319 650 9329 39557 35202 20728 30847 5229 1450 27901 2667 33665 19191 39429 24955 786 35074 20600 30719 40838 5101 22009 12019 37892 1552 2539 19063 29182 9073 82 20472 30591 26236 36355 21881 1194 32000 11891 42119 27645 37764 23290 33409 18935 29054 39173 24699 15989 40582 10354 26108 4845 36227 21753 31872 17398 11763 41991 12904 23162 854 33281 28926 14452 39045 8817 34690 30335 10226 25980 4717 36099 21625 31744 17270 11635 41863 27389 7280 37508 2155 23034 18679 8689 14324 24443 12774 34562 15733 10098 40326 21497 11507 17142 41735 5998 37380 2027 22906 33025 18551 8561 14196 19960 30079 40198 9970 25724 4461 35843 41607 5870 27133 37252 7024 32897 18423 24187 19832 4333 21241 31360 41479 6896 32769 18295 42888 28414 34178 39942 25468 35587 21113 31232 11123 5614 6768 36996 22522 18167 42760 13673 28286 8177 34050 29695 15221 25340 4077 20985 16630 5486 26749 6640 36868 22394 32513 33922 19448 29567 39686 3949 10867 16502 26621 6512 36740 22266 17911 42504 28030 13417 7921 23675 2796 29439 14965 25084 35203 20729 30848 16374 5230 26493 36612 1451 32257 42376 27902 2668 23547 19192 29311 523 39430 9202 24956 3693 35075 787 10611 5102 22010 1323 12020 17655 27774 13161 1553 7665 2540 23419 33538 19064 29183 9074 14709 24828 3565 83 34947 20473 30592 26237 4974 36356 1195 27646 13033 37765 7537 23291 2412 33410 8946 24700 10355 40583 4846 36228 21754 31873 17399 11764 12905 2284 28927 14453 39046 8818 3309 34691 20217 15862 40455 4718 25981 36100 21626 939 31745 11636 41864 2156 23035 18680 8690 12775 30208 15734 40327 10099 4590 31617 17143 5999 27262 37381 22907 33026 28671 14197 38790 24316 34435 30080 9971 40199 15606 4462 35844 27134 7025 37253 315 22779 18424 24188 12519 29952 9843 40071 4334 35716 21242 31361 41480 16887 27006 37125 32770 42889 18296 28415 13941 24060 19705 9715 39943 25469 4206 35588 41352 5615 6769 22523 1644 42761 34051 4078 35460 20986 31105 16631 41224 10996 26750 6641 36869 32514 18040 42633 28159 13546 8050 2925 33923 3090 15094 9459 3950 25213 10868 5359 22267 32386 17912 12277 42505 13418 28031 7922 2797 33795 29440 652 14966 39559 25085 3822 35204 16375 10740 40968 5231 26494 32258 42377 17784 13290 7794 2669 23548 19193 524 29312 9203 14838 39431 3694 788 20602 10612 40840 1324 32130 17656 42249 27775 13162 7666 37894 23420 33539 39303 3566 24829 34948 20474 30593 16119 4975 1196 13034 27647 7538 37766 2413 18937 29056 8947 24701 3438 20346 30465 4847 26110 36229 21755 1068 31874 11765 27519 7410 37638 2285 33283 856 28928 8819 39047 14454 3310 24573 20218 30337 15863 25982 36101 17272 23036 28800 14326 38919 12776 34564 30209 10100 40328 4591 25854 35973 21499 31618 17144 11509 27263 28672 14198 8563 24317 12648 34436 19962 15607 4463 35845 17016 22780 32899 18425 14070 12520 34308 19834 29953 35717 16888 11253 27007 37126 1773 32771 42890 13803 13942 8307 24061 19706 9716 39944 15351 4207 21115 31234 41353 6770 1645 32643 6189 18169 28288 13675 3054 34052 19578 29697 9588 39816 4079 25342 35461 20987 31106 10997 41225 22396 32515 18041 13547 28160 8051 2926 23805 3091 15095 9460 25214 20859 30978 16504 41097 5360 6514 36742 22268 32387 12278 42506 2798 33796 653 29441 39560 3823 20731 10741 16376 40969 26495 36614 22140 1453 17785 12150 7795 23549 14839 3695 20603 10613 40841 16248 26367 5104 36486 1325 32131 17657 13163 27776 7667 37895 2542 19066 29185 39304 9076 24830 85 34949 195 16120 10485 40713 4976 26239 17529 2414 23293 33412 18938 29057 8948 14583 3439 34821 20347 30466 10357 26111 1069 17401 41994 27520 12907 7411 37639 2286 857 33284 18810 14455 3311 24574 34693 20219 30338 4720 21628 17273 41866 11638 6129 33156 28801 14327 38920 8692 34565 20091 15736 4592 25855 35974 21500 31619 11510 6001 7155 37383 22909 28673 8564 12649 30082 15608 35846 21372 31491 17017 11382 41610 27136 317 7027 22781 1902 32900 28545 14071 8436 12521 24190 34309 19835 29954 15480 25599 4336 31363 16889 11254 41482 5745 27008 37127 1774 22653 18298 6318 13804 13943 24062 12393 29826 15352 4208 35590 31235 16761 41354 26880 5617 36999 1646 22525 32644 18170 6190 13676 28289 3055 23934 19579 29698 9589 25343 35462 16633 36871 22397 32516 2927 3092 9461 3952 35334 20860 30979 16505 10870 6515 36743 28033 33797 19323 14968 9333 3824 25087 20732 10742 40970 36615 1454 22141 32260 17786 7796 33669 29314 526 14840 39433 9205 30723 16249 5105 26368 36487 32132 23422 2543 33541 19067 29186 9077 14712 39305 3568 86 196 16121 10486 26240 21885 32004 17530 11895 42123 13036 7540 23294 33413 14584 39177 3440 34822 20348 30467 10358 15993 36231 1070 17402 41995 12908 27521 7412 37640 2287 23166 18811 14456 24575 34694 15865 10230 40458 4721 21629 942 11639 41867 6130 27393 7284 37512 33157 28802 38921 8693 24447 20092 30211 15737 40330 25856 35975 41739 6002 27265 7156 37384 22910 2031 18555 38793 12650 24319 34438 30083 25728 21373 31492 17018 11383 41611 27137 5874 7028 318 1903 28546 14072 8437 24191 34310 15481 9846 40074 4337 25600 35719 31364 11255 41483 5746 6900 1775 22654 42892 6319 13805 8309 12394 34182 19708 29827 15353 39946 9718 35591 21117 16762 11127 5618 26881 22526 32645 6191 8181 3056 23935 19580 29699 9590 15225 31108 16634 10999 5490 36872 18043 42636 28162 13549 8053 23807 19452 29571 15097 39690 3953 25216 35335 20861 30980 10871 26625 32389 42508 12280 28034 23679 19324 655 14969 9334 25088 30852 22142 32261 12152 27906 13293 33670 527 29315 9206 39434 24960 35079 20605 30724 16250 26369 36488 22014 12024 42252 1557 37897 23423 33542 3569 197 10487 36360 21886 32005 17531 11896 13037 7541 18940 29059 14585 39178 34823 15994 40587 26113 36232 41996 23167 2288 859 33286 18812 30340 15866 40459 10231 31749 17275 6131 27394 7285 37513 2160 33158 18684 14329 24448 34567 20093 30212 40331 21502 11512 27266 7157 37385 2032 33030 18556 28675 38794 8566 24320 34439 19965 9975 40203 25729 35848 21374 31493 11384 41612 5875 319 37257 1904 28547 8438 19837 9847 15482 40075 25601 35720 21246 5747 27010 6901 22655 6320 42893 18300 28419 8310 12395 34183 19709 29828 9719 39947 25473 31237 16763 11128 41356 26882 18172 42765 28291 13678 8182 23936 15226 39819 25345 31109 11000 26754 6645 22399 32518 18044 42637 13550 28163 8054 23808 33927 19453 29572 15098 9463 25217 35336 16507 41100 26626 6517 36745 32390 12281 42509 17916 13422 7926 23680 19325 656 9335 35208 20734 30853 40972 5235 1456 12153 42381 13294 27907 2673 33671 19197 24961 792 35080 20606 30725 5107 22015 42253 12025 1558 37898 2545 19069 29188 39307 9079 88 20478 30597 40716 26242 36361 21887 1200 32006 11897 27651 37770 23296 33415 18941 29060 39179 24705 15995 10360 26114 4851 36233 1072 21759 31878 17404 11769 12910 23168 860 33287 28932 14458 8823 39051 34696 30341 10232 40460 25986 4723 36105 21631 31750 17276 11641 27395 37514 7286 2161 23040 18685 14330 24449 12780 34568 15739 10104 21503 11513 17148 6004 2033 33031 18557 8567 38795 14202 30085 9976 25730 4467 5876 27139 7030 37258 18429 24193 19838 40076 9848 4339 21247 31366 27011 6902 32775 28420 8311 34184 25474 35593 31238 11129 41357 5620 6774 37002 22528 18173 13679 28292 8183 34056 29701 15227 39820 25346 4083 20991 16636 41229 5492 26755 6646 36874 22400 42638 23809 33928 19454 29573 9464 3955 16508 41101 10873 26627 5364 6518 36746 22272 17917 28036 13423 7927 23681 2802 29445 14971 39564 25090 35209 20735 30854 40973 16380 5236 26499 36618 1457 32263 27908 13295 2674 23553 19198 529 29317 9208 24962 3699 35081 793 10617 40845 5108 22016 1329 12026 17661 42254 27780 13167 1559 7671 2546 23425 33544 19070 29189 9080 39308 14715 24834 3571 89 34953 20479 30598 40717 26243 4980 36362 42126 27652 13039 7543 23297 2418 33416 8952 24706 10361 4852 1073 21760 31879 17405 41998 11770 12911 2290 28933 8824 39052 3315 34697 20223 15868 4724 25987 36106 21632 945 31751 11642 2162 23041 18686 12781 30214 15740 10105 4596 31623 17149 41742 6005 27268 37387 33032 28677 14203 24322 34441 30086 9977 15612 4468 35850 41614 27140 7031 37259 321 22785 32904 18430 24194 12525 29958 4340 35722 21248 31367 16893 37131 32776 28421 13947 24066 19711 9721 25475 4212 35594 21120 5621 37003 6775 22529 1650 34057 39821 4084 35466 20992 31111 16637 11002 26756 5493 6647 36875 32520 18046 28165 13552 8056 2931 33929 3096 15100 39693 3956 25219 10874 41102 5365 22273 32392 17918 12283 13424 28037 7928 33801 658 29446 14972 25091 3828 35210 16381 10746 5237 26500 36619 32264 17790 7800 2675 23554 19199 530 29318 9209 14844 3700 794 20608 10618 1330 32136 17662 13168 27781 7672 37900 23426 33545 14716 3572 24835 90 34954 20480 30599 16125 40718 4981 1202 42127 13040 27653 7544 37772 2419 18943 29062 39181 8953 24707 3444 20352 30471 40590 4853 26116 36235 21761 31880 11771 41999 27525 7416 37644 862 33289 28934 8825 39053 14460 3316 24579 20224 30343 15869 40462 25988 36107 946 17278 41871 23042 28806 14332 8697 38925 12782 34570 30215 10106 4597 25860 35979 21505 31624 17150 11515 41743 27269 22914 14204 8569 24323 12654 34442 19968 15613 40206 4469 17022 41615 322 22786 32905 18431 14076 12526 34314 19840 29959 9850 40078 35723 16894 11259 41487 27013 37132 1779 32777 18303 13809 13948 8313 24067 19712 9722 15357 4213 31240 6776 37004 1651 32649 6195 18175 42768 13681 28294 3060 34058 19584 29703 9594 4085 25348 35467 20993 31112 11003 22402 18047 42640 13553 28166 8057 2932 23811 3097 15101 39694 25220 20865 30984 16510 5366 6520 36748 22274 32393 12284 2804 33802 659 29447 3829 20737 16382 10747 26501 36620 22146 1459 17791 12156 42384 13297 7801 23555 14845 39438 3701 20609 10619 16254 5110 26373 36492 1331 32137 17663 42256 13169 27782 7673 37901 2548 19072 29191 14717 9082 24836 91 34955 201 16126 10491 4982 26245 1203 17535 42128 37773 2420 23299 33418 18944 29063 8954 39182 14589 3445 34827 20353 30472 40591 10363 26117 17407 12913 27526 7417 37645 2292 863 33290 18816 3317 24580 34699 20225 30344 40463 4726 947 21634 17279 11644 6135 33162 28807 14333 38926 8698 34571 20097 15742 40335 4598 25861 35980 21506 31625 11516 41744 6007 7161 37389 22915 8570 12655 19969 30088 15614 40207 21378 31497 17023 11388 27142 7033 323 22787 1908 32906 28551 14077 8442 12527 24196 34315 19841 29960 15486 9851 40079 4342 25605 31369 16895 11260 27014 5751 37133 1780 22659 6324 42897 13810 8314 13949 24068 12399 29832 15358 39951 4214 35596 31241 16767 5623 26886 1652 22531 32650 18176 6196 42769 13682 28295 3061 23940 19585 9595 25349 35468 16639 41232 36877 22403 42641 2933 23812 3098 39695 3958 35340 20866 30985 16511 10876 41104 6521 36749 42513 28039 2805 33803 19329 14974 9339 39567 3830 25093 20738 10748 1460 22147 32266 12157 17792 42385 13298 7802 33675 532 29320 14846 9211 30729 16255 40848 5111 26374 36493 32138 42257 2549 23428 33547 19073 29192 9083 3574 92 202 16127 10492 40720 26246 21891 32010 17536 11901 13042 7546 23300 33419 14590 3446 34828 20354 30473 10364 15999 40592 36237 17408 12914 27527 7418 37646 23172 864 18817 39055 24581 34700 15871 10236 4727 21635 11645 6136 27399 7290 37518 33163 28808 8699 38927 24453 20098 30217 15743 25862 35981 6008 27271 7162 22916 2037 18561 28680 38799 12656 24325 34444 19970 30089 40208 25734 35853 21379 31498 11389 17024 27143 5880 7034 1909 28552 14078 8443 24197 34316 15487 4343 25606 35725 31370 11261 5752 6906 1781 22660 6325 13811 8315 12400 34188 19714 29833 15359 9724 35597 21123 16768 11133 41361 5624 26887 37006 22532 32651 6197 42770 8187 3062 23941 19586 9596 15231 31114 16640 41233 11005 5496 36878 32523 18049 13555 28168 8059 23813 19458 29577 15103 9468 3959 25222 35341 20867 30986 10877 41105 26631 32395 12286 28040 23685 19330 661 14975 39568 9340 25094 30858 40977 36622 22148 32267 42386 12158 27912 33676 533 29321 9212 24966 35085 20611 30730 16256 40849 26375 36494 22020 12030 1563 37903 23429 33548 14719 39312 3575 203 10493 40721 36366 21892 32011 17537 42130 11902 13043 7547 18946 29065 14591 34829 16000 26119 1077 23173 865 33292 18818 39056 14463 30346 15872 10237 949 31755 17281 41874 6137 27400 7291 37519 2166 33164 18690 14335 24454 34573 20099 30218 21508 41746 11518 27272 7163 2038 33036 18562 38800 8572 24326 34445 9981 25735 21380 31499 11390 5881 325 37263 1910 28553 8444 19843 15488 25607 35726 21252 41490 5753 27016 6907 22661 6326 18306 28425 12401 34189 19715 29834 9725 25479 21124 31243 16769 11134 26888 37007 18178 13684 28297 8188 23942 29706 15232 39825 25351 31115 11006 41234 5497 26760 6651 22405 18050 13556 28169 8060 33933 19459 29578 9469 15104 25223 35342 16513 26632 6523 36751 32396 12287 17922 13428 7932 23686 19331 662 9341 39569 35214 20740 30859 5241 36623 1462 27913 2679 33677 19203 534 39441 24967 798 35086 20612 30731 40850 5113 22021 12031 37904 1564 2551 19075 29194 14720 9085 94 20484 30603 26248 36367 21893 1206 32012 11903 42131 13044 27657 23302 33421 18947 29066 24711 16001 40594 10366 26120 4857 1078 21765 31884 17410 11775 42003 12916 23174 2295 33293 866 28938 8829 34702 30347 10238 4729 25992 36111 950 21637 31756 17282 41875 11647 27401 7292 37520 2167 23046 18691 14336 38929 24455 12786 34574 15745 10110 40338 21509 11519 17154 41747 6010 37392 2039 33037 18563 8573 14208 38801 19972 30091 40210 9982 25736 4473 41619 5882 27145 7036 37264 18435 24199 19844 4345 21253 31372 41491 27017 6908 32781 18307 42900 28426 8317 34190 39954 25480 35599 21125 31244 11135 5626 6780 22534 18179 42772 13685 28298 8189 34062 15233 39826 25352 4089 20997 16642 5498 26761 6652 36880 22406 23815 33934 19460 29579 9470 3961 16514 10879 26633 5370 6524 36752 22278 17923 42516 13429 28042 7933 23687 2808 29451 14977 25096 35215 20741 30860 16386 5242 26505 1463 32269 42388 12160 27914 2680 23559 19204 535 29323 9214 39442 24968 3705 35087 799 10623 5114 22022 1335 12032 17667 13173 27786 1565 7677 2552 23431 33550 19076 29195 9086 3577 24840 34959 20485 30604 26249 4986 36368 1207 13045 37777 7549 23303 2424 33422 8958 39186 24712 10367 40595 4858 36240 1079 21766 31885 17411 11776 12917 28939 8830 3321 34703 20229 15874 40467 4730 25993 36112 21638 31757 11648 41876 2168 23047 18692 38930 12787 30220 15746 40339 10111 4602 31629 17155 6011 27274 33038 28683 14209 24328 34447 19973 30092 9983 15618 40211 4474 35856 27146 7037 37265 327 22791 32910 18436 24200 12531 29964 9855 40083 4346 35728 21254 31373 41492 16899 37137 32782 42901 18308 28427 13953 24072 19717 9727 39955 25481 4218 35600 41364 5627 6781 22535 1656 42773 34063 39827 4090 35472 20998 31117 16643 11008 41236 26762 6653 36881 32526 42645 18052 13558 28171 8062 2937 33935 3102 15106 39699 3962 25225 10880 5371 22279 32398 17924 42517 12289 13430 28043 7934 2809 33807 664 29452 14978 25097 3834 35216 16387 10752 40980 5243 26506 36625 32270 12161 42389 17796 13302 7806 2681 23560 19205 29324 536 9215 39443 14850 3706 800 20614 10624 40852 1336 32142 42261 17668 13174 27787 7678 37906 23432 33551 408 39315 3578 24841 96 34960 20486 30605 16131 4987 1208 27659 13046 7550 37778 2425 18949 29068 8959 24713 3450 20358 30477 4859 26122 21767 31886 11777 27531 7422 37650 33295 28940 8831 14466 3322 24585 20230 30349 15875 25994 36113 17284 23048 28812 14338 8703 12788 34576 30221 10112 40340 4603 25866 35985 21511 31630 17156 11521 27275 22920 28684 14210 38803 8575 24329 12660 34448 15619 4475 35857 17028 22792 32911 18437 14082 12532 34320 19846 29965 9856 35729 11265 16900 27019 37138 1785 32783 42902 13815 13954 8319 24073 19718 9728 15363 39956 4219 21127 31246 41365 6782 1657 32655 6201 18181 13687 28300 3066 34064 19590 29709 9600 4091 25354 20999 31118 11009 41237 5500 22408 32527 18053 13559 28172 8063 2938 23817 3103 15107 39700 25226 20871 30990 41109 16516 5372 6526 36754 22280 32399 12290 42518 2810 33808 665 29453 3835 20743 16388 40981 10753 26507 36626 1465 22152 17797 13303 7807 23561 14851 3707 20615 10625 40853 16260 5116 26379 36498 1337 32143 17669 13175 27788 7679 37907 2554 19078 409 29197 9088 39316 24842 34961 207 10497 40725 16132 4988 26251 17541 27660 2426 23305 33424 18950 29069 8960 14595 3451 34833 20359 30478 10369 26123 42006 17413 12919 27532 37651 2298 33296 18822 14467 39060 3323 24586 34705 20231 30350 4732 21640 17285 41878 11650 6141 33168 28813 14339 8704 34577 20103 15748 4604 25867 35986 21512 31631 11522 6013 7167 37395 22921 28685 8576 38804 12661 30094 15620 35858 21384 31503 11394 41622 17029 27148 7039 22793 1914 32912 28557 14083 8448 12533 24202 34321 19847 29966 9857 15492 4348 25611 31375 16901 41494 11266 27020 5757 37139 1786 22665 18310 6330 13816 13955 24074 12405 29838 15364 4220 35602 21128 31247 41366 16773 5629 26892 37011 1658 22537 32656 18182 6202 13688 28301 13827 3067 23946 19591 29710 39829 9601 25355 35474 16645 5501 36883 22409 32528 2939 3104 39701 3964 35346 20872 30991 16517 10882 6527 36755 28045 33809 19335 9345 39573 14980 3836 25099 20744 10754 40982 1466 22153 32272 17798 12163 13304 7808 33681 538 29326 14852 9217 30735 16261 5117 26380 36499 32144 2555 23434 33553 19079 29198 410 9089 39317 14724 3580 16133 10498 26252 1210 21897 32016 11907 42135 17542 13048 27661 7552 37780 23306 33425 39189 14596 3452 34834 20360 30479 10370 16005 36243 17414 42007 12920 27533 7424 37652 2299 23178 18823 14468 24587 34706 10242 40470 15877 4733 21641 954 11651 41879 6142 27405 7296 37524 33169 28814 8705 24459 20104 30223 15749 40342 25868 35987 41751 6014 27277 7168 37396 22922 2043 18567 12662 24331 34450 30095 25740 21385 31504 17030 41623 11395 27149 5886 7040 330 1915 28558 14084 8449 24203 34322 40086 15493 4349 25612 35731 31376 11267 41495 5758 6912 1787 22666 18311 42904 6331 13817 12406 34194 19720 29839 15365 39958 9730 35603 11139 16774 5630 26893 37012 22538 32657 6203 8193 13828 3068 23947 19592 29711 9602 39830 15237 35475 31120 16646 11011 36884 42648 18055 13561 28174 8065 19464 29583 9474 15109 3965 25228 35347 20873 30992 10883 26637 32401 42520 28046 2812 23691 19336 667 14981 39574 9346 25100 30864 36628 22154 32273 12164 27918 33682 29327 9218 24972 35091 20617 16262 26381 36500 22026 42264 12036 1569 37909 23435 33554 14725 3581 99 209 10499 36372 1211 21898 32017 17543 11908 7553 37781 18952 29071 14597 39190 391 34835 40599 16006 26125 36244 1083 42008 7425 2300 23179 33298 18824 30352 15878 40471 955 31761 17287 6143 27406 7297 37525 2172 33170 18696 14341 38934 24460 34579 20105 30224 40343 21514 11524 27278 7169 37397 2044 33042 28687 8578 24332 34451 19977 9987 40215 25741 35860 21386 31505 11396 41624 5887 37269 1916 28559 8450 19849 15494 40087 25613 35732 21258 5759 27022 22667 6332 42905 28431 8322 12407 34195 19721 29840 9731 39959 25485 31249 16775 41368 11140 26894 37013 42777 18184 13690 28303 13829 8194 23948 15238 25357 31121 11012 5503 26766 6657 22411 32530 18056 42649 13562 28175 8066 23820 33939 19465 29584 15110 39703 9475 25229 3966 35348 41112 16519 26638 6529 36757 32402 42521 17928 13434 7938 2813 23692 19337 668 9347 39575 35220 20746 30865 40984 5247 36629 1468 42393 27919 2685 33683 19209 540 39447 24973 20618 30737 5119 22027 42265 12037 37910 1570 2557 19081 412 29200 14726 9091 20490 210 30609 40728 26254 36373 21899 32018 11909 13050 27663 23308 33427 18953 29072 392 39191 24717 16007 10372 26126 4863 36245 1084 21771 31890 17416 11781 12922 23180 33299 28944 14470 8835 39063 34708 30353 10244 40472 4735 25998 36117 956 21643 31762 17288 11653 27407 7298 37526 2173 23052 18697 14342 24461 12792 34580 15751 10116 21515 11525 17160 6016 2045 33043 18569 28688 8579 14214 19978 30097 9988 25742 4479 35861 5888 27151 7042 37270 0 1168.32/1168.34 c Terminating MUSer ... 1168.32/1168.34 c CPU Time: 1167.22
OK 23254
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493603-1307800716/watcher-3493603-1307800716 -o /tmp/evaluation-result-3493603-1307800716/solver-3493603-1307800716 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493603-1307800716.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.69 0.15 0.05 4/189 13737 /proc/meminfo: memFree=31233784/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=11060 CPUtime=0.03 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 2389 0 0 0 3 0 0 0 25 0 1 0 891672349 11325440 2197 33554432000 4194304 5696331 140735048871472 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 2765 2198 114 367 0 2395 0 [startup+0.069862 s] /proc/loadavg: 0.69 0.15 0.05 4/189 13737 /proc/meminfo: memFree=31233784/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=16140 CPUtime=0.06 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 3892 0 0 0 6 0 0 0 25 0 1 0 891672349 16527360 3698 33554432000 4194304 5696331 140735048871472 18446744073709551615 4399971 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 4035 3698 143 367 0 3665 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16140 [startup+0.100856 s] /proc/loadavg: 0.69 0.15 0.05 4/189 13737 /proc/meminfo: memFree=31233784/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=16272 CPUtime=0.09 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 3938 0 0 0 9 0 0 0 25 0 1 0 891672349 16662528 3744 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402313 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 4068 3744 143 367 0 3698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16272 [startup+0.300818 s] /proc/loadavg: 0.69 0.15 0.05 4/189 13737 /proc/meminfo: memFree=31233784/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=17072 CPUtime=0.29 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 4126 0 0 0 29 0 0 0 25 0 1 0 891672349 17481728 3932 33554432000 4194304 5696331 140735048871472 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 4268 3932 143 367 0 3898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17072 [startup+0.700723 s] /proc/loadavg: 0.69 0.15 0.05 4/189 13737 /proc/meminfo: memFree=31233784/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=19384 CPUtime=0.69 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 4692 0 0 0 69 0 0 0 25 0 1 0 891672349 19849216 4498 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402301 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 4846 4498 143 367 0 4476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19384 [startup+1.50058 s] /proc/loadavg: 0.69 0.15 0.05 5/190 13776 /proc/meminfo: memFree=31304700/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=24268 CPUtime=1.49 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 5919 0 0 0 149 0 0 0 25 0 1 0 891672349 24850432 5725 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402265 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 6067 5726 143 367 0 5697 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24268 [startup+3.10032 s] /proc/loadavg: 0.69 0.15 0.05 5/187 13833 /proc/meminfo: memFree=31416168/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=33168 CPUtime=3.09 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 8137 0 0 0 308 1 0 0 25 0 1 0 891672349 33964032 7943 33554432000 4194304 5696331 140735048871472 18446744073709551615 4403152 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 8292 7943 143 367 0 7922 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33168 [startup+6.30072 s] /proc/loadavg: 0.96 0.21 0.07 5/190 13852 /proc/meminfo: memFree=31349856/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=25088 CPUtime=6.29 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 13340 0 0 0 628 1 0 0 25 0 1 0 891672349 25690112 5906 33554432000 4194304 5696331 140735048871472 18446744073709551615 4391520 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 6272 5907 144 367 0 5902 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25088 [startup+12.7005 s] /proc/loadavg: 1.20 0.27 0.09 5/190 13852 /proc/meminfo: memFree=31224364/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=58748 CPUtime=12.69 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 21743 0 0 0 1266 3 0 0 25 0 1 0 891672349 60157952 14308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4400899 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 14687 14308 144 367 0 14317 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58748 [startup+25.5012 s] /proc/loadavg: 1.82 0.46 0.15 5/190 13852 /proc/meminfo: memFree=30775492/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=92800 CPUtime=25.49 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 52154 0 0 0 2541 8 0 0 25 0 1 0 891672349 95027200 22854 33554432000 4194304 5696331 140735048871472 18446744073709551615 4403155 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 23200 22854 150 367 0 22830 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92800 [startup+51.1005 s] /proc/loadavg: 2.56 0.74 0.25 5/190 13853 /proc/meminfo: memFree=30038156/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=414832 CPUtime=51.1 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 132620 0 0 0 5091 19 0 0 25 0 1 0 891672349 424787968 103307 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 103708 103307 150 367 0 103338 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 414832 [startup+102.307 s] /proc/loadavg: 3.37 1.24 0.45 5/190 13854 /proc/meminfo: memFree=28261820/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=801196 CPUtime=102.3 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 229206 0 0 0 10198 32 0 0 25 0 1 0 891672349 820424704 199876 33554432000 4194304 5696331 140735048871472 18446744073709551615 4400811 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 200299 199876 150 367 0 199929 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 801196 [startup+162.301 s] /proc/loadavg: 3.77 1.74 0.67 5/190 13865 /proc/meminfo: memFree=26971432/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=1281600 CPUtime=162.29 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 349831 0 0 0 16181 48 0 0 25 0 1 0 891672349 1312358400 320001 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 320400 320001 150 367 0 320030 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 1281600 [startup+222.301 s] /proc/loadavg: 3.91 2.15 0.87 5/190 13866 /proc/meminfo: memFree=24890052/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=1659124 CPUtime=222.29 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 444127 0 0 0 22167 62 0 0 25 0 1 0 891672349 1698942976 414291 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 414781 414291 150 367 0 414411 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 1659124 [startup+282.301 s] /proc/loadavg: 3.97 2.48 1.06 5/190 13868 /proc/meminfo: memFree=23513604/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=1659124 CPUtime=282.3 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 444132 0 0 0 28168 62 0 0 25 0 1 0 891672349 1698942976 414296 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402329 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 414781 414296 150 367 0 414411 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1659124 [startup+342.301 s] /proc/loadavg: 3.99 2.76 1.25 5/190 13873 /proc/meminfo: memFree=23996780/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=1659124 CPUtime=342.3 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 444137 0 0 0 34168 62 0 0 25 0 1 0 891672349 1698942976 414301 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402618 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 414781 414301 150 367 0 414411 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1659124 [startup+402.301 s] /proc/loadavg: 3.99 2.98 1.41 5/190 13874 /proc/meminfo: memFree=22964284/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=1861140 CPUtime=402.3 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 494672 0 0 0 40160 70 0 0 25 0 1 0 891672349 1905807360 464823 33554432000 4194304 5696331 140735048871472 18446744073709551615 4300628 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 465285 464823 150 367 0 464915 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1861140 [startup+462.301 s] /proc/loadavg: 3.99 3.16 1.57 5/190 13876 /proc/meminfo: memFree=21078096/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=2268880 CPUtime=462.3 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 596598 0 0 0 46147 83 0 0 25 0 1 0 891672349 2323333120 566725 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402621 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 567220 566725 150 367 0 566850 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 2268880 [startup+522.301 s] /proc/loadavg: 3.99 3.31 1.72 5/190 13877 /proc/meminfo: memFree=20105528/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=2650156 CPUtime=522.31 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 691934 0 0 0 52135 96 0 0 25 0 1 0 891672349 2713759744 662042 33554432000 4194304 5696331 140735048871472 18446744073709551615 4401090 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 662539 662042 150 367 0 662169 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 2650156 [startup+582.301 s] /proc/loadavg: 3.99 3.43 1.86 5/190 13879 /proc/meminfo: memFree=19652276/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3089256 CPUtime=582.31 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801771 0 0 0 58121 110 0 0 25 0 1 0 891672349 3163398144 771864 33554432000 4194304 5696331 140735048871472 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 772314 771864 150 367 0 771944 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 3089256 [startup+642.301 s] /proc/loadavg: 3.99 3.54 2.00 5/190 13881 /proc/meminfo: memFree=19612180/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3089256 CPUtime=642.31 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801782 0 0 0 64121 110 0 0 25 0 1 0 891672349 3163398144 771875 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402613 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 772314 771875 150 367 0 771944 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 3089256 [startup+702.301 s] /proc/loadavg: 3.99 3.62 2.12 5/190 13882 /proc/meminfo: memFree=19611880/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3089256 CPUtime=702.31 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801786 0 0 0 70120 111 0 0 25 0 1 0 891672349 3163398144 771879 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402340 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 772314 771879 150 367 0 771944 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 3089256 [startup+762.307 s] /proc/loadavg: 4.06 3.70 2.24 5/190 13884 /proc/meminfo: memFree=19614932/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3085488 CPUtime=762.32 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801794 0 0 0 76121 111 0 0 25 0 1 0 891672349 3159539712 770954 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402426 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 771372 770954 150 367 0 771002 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 3085488 [startup+822.301 s] /proc/loadavg: 4.06 3.77 2.35 5/190 13885 /proc/meminfo: memFree=18928940/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3085488 CPUtime=822.31 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801804 0 0 0 82120 111 0 0 25 0 1 0 891672349 3159539712 770964 33554432000 4194304 5696331 140735048871472 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 771372 770964 150 367 0 771002 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 3085488 [startup+882.301 s] /proc/loadavg: 4.02 3.81 2.45 5/190 13926 /proc/meminfo: memFree=26324376/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082972 CPUtime=882.32 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801807 0 0 0 88120 112 0 0 25 0 1 0 891672349 3156963328 770338 33554432000 4194304 5696331 140735048871472 18446744073709551615 4392376 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770743 770338 150 367 0 770373 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 3082972 [startup+942.301 s] /proc/loadavg: 4.01 3.84 2.54 5/190 13928 /proc/meminfo: memFree=26268604/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082972 CPUtime=942.32 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801828 0 0 0 94120 112 0 0 25 0 1 0 891672349 3156963328 770359 33554432000 4194304 5696331 140735048871472 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770743 770359 150 367 0 770373 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 3082972 [startup+1002.3 s] /proc/loadavg: 4.06 3.88 2.64 5/190 13929 /proc/meminfo: memFree=26268688/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082972 CPUtime=1002.32 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801853 0 0 0 100119 113 0 0 25 0 1 0 891672349 3156963328 770384 33554432000 4194304 5696331 140735048871472 18446744073709551615 4401297 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770743 770384 150 367 0 770373 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 3082972 [startup+1062.3 s] /proc/loadavg: 4.02 3.90 2.72 5/190 13931 /proc/meminfo: memFree=26263072/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1062.32 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 106118 114 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4398436 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 3082584 [startup+1122.3 s] /proc/loadavg: 4.01 3.92 2.80 5/190 13932 /proc/meminfo: memFree=26263028/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1122.33 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 112118 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4416684 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 3082584 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 4.00 3.92 2.80 5/190 13933 /proc/meminfo: memFree=26262904/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1126.33 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 112518 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4300628 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1126.33 Current children cumulated vsize (KiB) 3082584 [startup+1151.9 s] /proc/loadavg: 4.00 3.92 2.83 5/190 13933 /proc/meminfo: memFree=26263260/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1151.92 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 115077 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402329 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1151.92 Current children cumulated vsize (KiB) 3082584 [startup+1158.31 s] /proc/loadavg: 4.00 3.92 2.85 5/190 13933 /proc/meminfo: memFree=26263256/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1158.33 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 115718 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1158.33 Current children cumulated vsize (KiB) 3082584 [startup+1164.7 s] /proc/loadavg: 4.00 3.92 2.85 5/190 13934 /proc/meminfo: memFree=26263252/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1164.72 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 116357 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4402296 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1164.72 Current children cumulated vsize (KiB) 3082584 [startup+1166.3 s] /proc/loadavg: 4.00 3.92 2.85 5/190 13934 /proc/meminfo: memFree=26263376/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1166.32 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 116517 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1166.32 Current children cumulated vsize (KiB) 3082584 [startup+1167.11 s] /proc/loadavg: 4.00 3.92 2.85 5/190 13934 /proc/meminfo: memFree=26263376/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1167.13 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 116598 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1167.13 Current children cumulated vsize (KiB) 3082584 [startup+1167.9 s] /proc/loadavg: 4.00 3.92 2.85 5/190 13934 /proc/meminfo: memFree=26263376/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1167.92 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 116677 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4300685 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1167.92 Current children cumulated vsize (KiB) 3082584 [startup+1168.3 s] /proc/loadavg: 4.00 3.93 2.86 5/190 13934 /proc/meminfo: memFree=26263376/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=3082584 CPUtime=1168.32 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202496 801874 0 0 0 116717 115 0 0 25 0 1 0 891672349 3156566016 770308 33554432000 4194304 5696331 140735048871472 18446744073709551615 4380994 0 0 4096 24615 0 0 0 17 0 0 0 0 /proc/13737/statm: 770646 770308 150 367 0 770276 0 Current children cumulated CPU time (s) 1168.32 Current children cumulated vsize (KiB) 3082584 [startup+1168.4 s] /proc/loadavg: 4.00 3.93 2.86 5/190 13934 /proc/meminfo: memFree=26263376/32951124 swapFree=67056684/67111528 [pid=13737] ppid=13735 vsize=0 CPUtime=1168.43 cores=0,2 /proc/13737/stat : 13737 (muser) R 13735 13737 13546 0 -1 4202500 801875 0 0 0 116722 121 0 0 25 0 1 0 891672349 0 0 33554432000 0 0 0 0 0 0 0 4096 24615 18446744073709551615 0 0 17 0 0 0 0 /proc/13737/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1168.43 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 1168.47 CPU time (s): 1168.5 CPU user time (s): 1167.22 CPU system time (s): 1.27781 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3089256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1167.22 system time used= 1.2778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 801875 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2400 runsolver used 2.06768 second user time and 4.31234 second system time The end
Begin job on node109 at 2011-06-11 15:58:36 IDJOB=3493603 IDBENCH=70777 IDSOLVER=1969 FILE ID=node109/3493603-1307800716 RUNJOBID= node109-1307800705-13564 PBS_JOBID= 13551065 Free space on /tmp= 74000 MiB SOLVER NAME= MUSer 2011-02-10 BENCH NAME= SAT09/APPLICATIONS/bitverif/minand/minand064.cnf COMMAND LINE= ./muser -comp BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493603-1307800716/watcher-3493603-1307800716 -o /tmp/evaluation-result-3493603-1307800716/solver-3493603-1307800716 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493603-1307800716.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= bf7b492ab6e18ae58155d14517070d60 RANDOM SEED=1617889237 node109.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.809 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.61 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.809 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.809 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.809 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31234576 kB Buffers: 298348 kB Cached: 957908 kB SwapCached: 8608 kB Active: 868872 kB Inactive: 617944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31234576 kB SwapTotal: 67111528 kB SwapFree: 67056684 kB Dirty: 19476 kB Writeback: 0 kB AnonPages: 228232 kB Mapped: 15208 kB Slab: 165008 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 465004 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= 73984 MiB End job on node109 at 2011-06-11 16:18:05