0.00/0.00	c MoUsSaka vegetarian
18.59/18.61	
18.59/18.61	s UNSATISFIABLE
658.61/658.68	c Core is minimal
658.61/658.68	
658.61/658.68	v 11598 11753 41339 38772 12539 12537 38943 38774 39120 38945 39297 39122 39299 39474 17139 17121 17103 17085 12521 7001 39472 39300 39123 39295 41193 6998 17157 39476 39651 12540 38770 38775 38941 39477 39649 38938 39118 38946 41192 39115 41190 38767 17133 41194 39469 17079 17097 17093 41195 17075 17175 39653 39828 17115 17151 17111 39292 17169 39654 39826 39646 17165 12531 11000 10998 11003 39823 11267 11264 41358 41361 10975 11001 10995 11004 10997 12527 41362 41363 41416 41412 41417 41415 17177 11037 11043 11039 40323 40160 1089 1098 1106 1099 1103 1102 1086 1101 1104 1100 1088 1085 1092 1097 41143 40656 40816 40820 40983 12533 40491 40651 17267 41145 17261 17265 17180 40655 17271 40818 17207 17211 17217 17213 11298 11303 11294 1091 11300 11291 11376 11372 11358 11345 11352 11348 11354 1084 40321 40161 11287 40490 40653 39830 39993 41205 41397 41398 41394 41399 1070 1067 1063 11370 11373 41370 1008 1005 1010 11019 1000 1022 1015 1019 1027 1034 1039 1046 1043 1031 11018 1011 1075 1082 1079 1136 1051 1058 1055 1130 1124 1133 1144 1145 1142 1139 1120 1127 1007 1134 1113 1110 1131 1137 1146 1140 1125 1128 1119 1122 1143 1116 10992 10994 11031 11033 10988 10986 11290 11025 11021 11027 17099 11362 11367 11369 11366 11364 103 41469 11344 41471 11371 1105 1107 1095 11355 39988 7070 7068 11301 11427 11422 11420 11357 11363 11304 11295 11297 11292 104 41304 41300 11419 11423 11299 11288 41209 17270 41406 41466 41470 11341 41292 11342 11289 11296 39831 39991 538 287 283 40821 40981 17135 17122 17153 12536 12534 17214 17138 17136 11637 11639 1016 1012 41234 41218 41197 41201 40325 40488 17225 17229 17235 17231 1006 11316 17222 11321 11306 11309 11312 11318 7082 17289 17132 17130 17129 12528 12530 17147 17244 17246 12523 17196 17198 40156 39996 17125 11336 11325 11340 17208 17210 17226 17228 41442 17200 11393 11389 11396 11408 11399 11402 11405 11417 11414 11411 11416 1090 11413 17252 17250 17171 17286 17288 17100 17102 17268 17254 17239 17236 17247 17249 17253 17243 42507 40648 41457 41462 41461 41460 10989 10981 10991 10985 10978 7071 7101 41302 7067 17273 7109 11351 11346 41301 7106 11349 41299 11580 11583 11586 1149 41298 7052 7016 41202 41204 41199 41217 41220 41222 41221 7050 41203 11463 11459 11455 1158 6817 6563 6566 6559 7031 17141 17219 7085 7089 41240 41238 41248 41244 41249 41247 6560 566 6557 6542 6547 119 106 11576 11567 11570 11573 11564 11561 11558 11555 41407 41403 41408 11552 11575 11530 11535 11549 11540 11543 550 11546 11528 6551 6555 11536 7045 122 17087 7013 7107 7100 41186 41185 567 11327 17187 17191 11473 11333 11331 6999 41191 41371 41367 41227 41198 41211 7010 41213 41208 41212 41200 7028 41239 41230 41229 41235 41226 41231 41158 41183 41177 41171 41162 41174 41165 41168 41180 41327 41321 41324 41318 41314 17082 17084 41322 41316 41274 41319 41267 41253 41265 41266 41343 41262 41284 41325 41331 41280 41303 41337 41352 41289 41312 41294 41340 41310 41334 41346 41328 41311 41257 41276 41355 41349 41293 41307 41326 41260 41268 41264 17120 17118 17104 17117 17094 17096 17156 17172 17081 17154 17174 17158 17068 12520 17114 17112 17078 17076 17107 17071 17143 17148 17150 17168 17166 17089 17161 17257 17264 17262 17203 41444 17190 17192 17178 41379 41479 41451 41487 41453 41493 41489 41496 41499 41372 41475 41505 41502 17280 17282 42436 17086 17181 11284 17193 17185 17182 17189 17195 17199 40158 41430 41388 41389 41390 41385 41514 41435 41517 41381 41424 41376 41532 41529 41523 41520 41508 41426 41433 41425 41421 41511 41434 41380 42538 42484 42517 42457 7037 7007 7091 42486 42539 42518 565 11742 11735 41439 17283 11475 11462 11453 11479 11480 11478 17279 17275 17221 41241 41216 41484 41488 40813 41140 40318 41480 41478 17272 17218 40483 17216 40978 41448 17232 40326 17234 40486 11302 40153 17285 11263 11257 63623 11261 11633 10993 11467 11468 11464 11472 10980 11465 11649 49371 11447 11474 11481 11449 11456 11454 11476 11458 11477 11450 12522 12532 12535 6556 17105 7019 11442 11439 11443 41242 41250 11424 11426 41188 41196 11282 11277 11278 11279 11273 11286 11271 41189 11590 11607 11612 11618 11616 41225 16750 16754 41224 41297 41353 42615 42627 42609 42611 42630 42633 42639 42624 42636 11601 11603 17108 42601 42597 1165 1176 11441 11622 17140 16757 1151 1155 1161 1164 42433 11609 1159 11737 42454 42437 42459 42502 42481 42535 994 1410 1406 49101 17159 17069 42438 42435 11608 11484 11507 11505 11533 11523 11496 11525 11498 11529 11515 11511 11544 11547 11541 11550 11538 11482 7029 7002 1157 7035 7005 1163 7015 1148 996 1153 7103 17269 17284 17256 7095 17238 7097 17251 17215 7074 7076 17202 11756 11759 11762 7104 7077 7073 7027 7017 7011 7023 7022 17287 17255 7110 17201 1154 7004 1152 17274 7034 11620 11610 11589 11605 11635 11624 11640 42509 42516 560 557 991 11730 11732 11486 11490 11551 11731 11727 1160 42558 42552 42555 42546 42465 42514 42543 42494 42492 42510 42467 42549 11602 11625 11638 11752 49404 1162 1167 554 1174 1402 11701 11444 11421 11425 11700 11702 11696 11645 7079 1168 11692 11739 11741 11585 11582 7063 41443 11634 11636 42548 42513 42515 42493 42489 42466 42462 1147 11588 11642 11440 11438 11445 42505 11760 11748 11754 11757 11723 11721 11722 11736 11740 11718 11763 11750 11437 42511 42547 42557 42554 42556 42551 42619 11604 11606 11619 11621 42499 11600 42478 11631 16755 16752 42545 42542 41351 41348 41354 42575 11568 11556 11571 11565 11488 11559 11574 11562 11577 42456 42458 11553 42451 41330 42591 41342 41336 41345 42593 42574 16758 11584 41245 1172 41243 41246 11594 11595 11597 11457 11461 11428 11432 11431 11436 11429 11446 63624 63622 36372 11448 11451 41215 41228 41237 41232 41210 41206 11470 41223 41233 11466 11452 11469 41214 11434 11435 11430 41236 42578 42581 42584 11374 41296 41341 41335 41338 41350 41207 41344 42430 42536 41347 42482 11128 11160 11166 11162 11204 11211 11207 11210 11170 11208 11034 11040 11005 41182 11375 42572 42569 63631 63627 63625 63629 63633 11124 11082 11127 11169 11126 11253 11121 42600 11587 42602 121 17144 11010 11205 11532 49077 11534 11579 36370 41452 41526 42532 41333 11433 11460 36371 39995 41219 11471 42503 11118 11036 11086 10979 11123 11076 11085 11246 11250 11084 11009 11249 11044 11120 11343 12366 12362 12354 45348 12368 12356 12372 45350 12456 45476 12462 12446 12455 12459 12461 12449 12447 45477 45473 12359 45345 12371 12357 45347 45351 12369 12363 12365 46698 46702 12360 45471 12453 11252 11165 11081 11350 11168 11247 11212 11078 11029 11244 11079 11202 11260 11332 11042 11032 11360 11163 45544 45540 14591 14595 45159 12237 45158 12236 12222 45162 12228 12234 12224 12221 45161 12219 12233 12231 12225 12227 16117 45546 45538 45539 14594 45542 14589 14593 45541 11657 11651 11678 11654 11660 11675 11751 11743 11641 11747 45287 12315 45285 12317 12327 12311 12321 12309 12323 15912 16062 16058 16056 16018 14824 14821 14590 14588 15924 15915 15927 15918 15921 15932 15929 15939 15869 15866 15872 15876 16115 15879 15919 15989 15913 15917 15914 15893 15976 16103 16109 16107 10974 10928 12492 45280 45240 12269 12278 45225 12253 12267 12282 45224 12247 12281 12272 45559 45762 45758 45757 45222 46680 46683 46685 46684 45109 12270 12276 45172 45221 12266 45219 12264 12250 12275 15953 12279 12273 45761 14806 14804 45606 14652 45602 14654 45601 45599 45600 14650 14649 14653 14740 45688 45676 14727 14732 14733 14729 14811 45756 45759 15994 16041 16038 14944 15975 48174 47243 15982 16091 16079 15774 16082 16087 16088 16113 16100 47013 16097 47015 47426 16076 16072 16099 14611 45550 45547 45548 45555 14598 45560 47363 47361 47317 48195 47367 16119 47239 47198 16760 16007 15859 15902 15952 16049 16108 15896 15862 48204 65724 65730 65733 65727 34189 60912 33709 33717 33704 33673 60899 58860 33719 58862 60895 60918 60914 30319 27759 30295 27746 30321 30318 30324 20316 18191 11096 11138 11255 11180 65165 65163 65153 65152 65146 65133 65054 65145 40401 65135 40393 65060 40397 65050 65139 65140 36856 18636 26529 18632 65157 65042 65032 63772 63975 63773 63555 65760 63765 63771 64749 65742 65739 64743 64751 64479 64608 64605 63362 63360 49719 63563 63562 63435 11030 11008 11028 11173 11196 11198 63768 63983 63639 12518 36718 63350 63343 64601 64599 64604 64602 38776 63759 63969 63764 63761 63762 63549 63971 63348 40328 18692 18743 18690 18753 26601 18749 18686 26595 26597 18747 26586 26588 26517 18600 18606 18602 26507 65433 65027 65019 65717 65578 18673 18683 18730 18738 18591 18593 26511 18317 18485 18443 18521 18581 18641 18611 18359 63561 65757 64612 64613 63849 65047 65709 18626 65141 18613 18621 18623 65025 18192 64892 20310 20313 33713 27806 58856 58931 26571 26567 26561 26565 26591 65439 65441 18583 42957 11855 43097 12058 12063 11790 42738 11837 42908 11847 42951 42946 47032 15845 15756 16098 47098 15784 15923 15979 15882 15900 12411 12405 45413 45408 45414 12413 12401 12399 45411 45410 12417 12407 46710 16031 15992 15880 15968 15870 15867 45406 45366 12392 45403 16004 16002 16001 45365 16000 16021 15842 14713 47190 47192 47357 47355 15768 15906 15908 47009 16118 47002 15770 47010 47012 14766 16052 15974 16040 16046 16037 16008 16005 47300 14791 15887 15890 15884 16035 16096 15972 16032 15966 15978 16034 15873 15993 15986 15998 15996 15787 15875 15878 16112 15971 15964 15881 15973 15987 15990 15984 45594 14646 14638 45591 16111 45695 45603 14655 14651 14810 45677 45684 14731 45754 14805 42893 42909 42949 11859 11856 11862 42956 14946 15789 15935 18701 18671 16536 7818 16520 16527 16549 16550 7829 7833 16532 16546 1181 1388 1178 18617 34194 63558 65044 33655 18596 30323 63354 11222 45113 45151 12213 45177 12262 45217 12212 45176 12259 12258 12214 12257 42953 11842 11778 11786 12054 43135 11858 11846 11861 11849 11780 11853 11844 11774 42891 48225 48222 48219 48210 48213 48186 48206 48169 16055 15838 16053 15909 16059 14645 45597 45593 14643 45592 45589 45642 14690 14688 45638 45429 45469 12437 1412 15830 15825 15820 45635 45728 45739 45731 15804 15821 15810 15807 16114 15803 15922 15925 15818 15816 47236 45637 45664 47128 47181 47183 15758 47297 47352 47354 14721 45725 14723 14757 14790 45736 45668 45721 45671 45706 14722 14758 45707 14689 14685 47131 47177 15950 45634 47417 15947 47234 45742 12205 14639 14641 47346 47348 46997 47186 47184 47006 46999 45744 15905 15903 47344 46676 47411 47035 47081 47336 15819 15736 15813 48183 48187 15797 47404 15753 15801 47301 47228 15791 15965 15809 16036 46989 47298 16077 47088 15941 47085 16080 47174 15749 16030 47326 16092 16094 15790 47077 46998 15815 47424 47421 47415 16086 47171 15944 16033 47409 46984 46991 48201 48205 47407 47256 46675 47153 47063 46671 47264 46965 46971 47260 47401 47257 47383 47389 47069 47208 47269 47412 47205 47202 46970 47149 46961 46954 46959 47255 46990 47082 47212 47403 46985 47168 47335 47398 47333 47145 47154 46966 47151 47148 47150 47146 47147 47143 46974 46978 47340 47074 47238 47219 47216 47214 47211 47280 47215 47163 47160 47207 45897 47037 46986 47157 47059 47278 47259 47050 47060 47047 47058 47224 47402 47405 47051 47400 47395 47061 46969 46963 47055 15487 46441 15495 15490 15488 46438 15489 46439 15492 15494 15493 46442 46446 14768 14587 45340 12352 45302 12348 45343 12349 47360 47366 48192 48196 16061 46674 45590 14644 15469 15885 15865 46421 15471 46428 46420 15475 46198 15251 15249 15246 46199 15250 46196 46424 15739 15069 46022 15036 15477 15472 14667 45624 46426 45619 46422 45617 45747 14671 46423 14802 45751 14794 14670 45620 45616 14672 14807 45779 45777 14795 14797 46001 15470 14803 45298 12340 12343 12337 14748 45698 46701 46703 46004 15054 46000 15476 15474 15473 46425 46427 12318 12324 46689 46693 46694 1414 1418 1415 16089 47156 47165 48170 48178 48161 48197 15843 47112 47106 47108 47029 47199 47195 47122 47193 48168 47187 48216 47125 47189 47324 47330 47285 47386 47270 47230 47380 47204 47289 15834 47294 47200 42954 11850 11852 12078 44374 43143 12066 12060 12072 12068 44370 12062 43145 43093 43209 43203 12143 12147 12135 12137 12141 43160 12126 43205 12130 12149 43198 12043 12049 44373 44375 12046 43083 43079 43077 11993 11999 12005 11997 11991 12003 13188 20335 65128 11988 11994 12006 43082 12000 43035 43080 11990 43075 11981 12002 11996 11983 43009 42971 11914 11910 43016 11925 43020 11787 42894 42888 44337 11783 11775 11789 11781 11777 42890 12055 43138 12053 43098 11766 44338 42883 42737 42733 13345 13346 13353 43520 13348 43519 43515 43518 13350 43513 43517 13349 12618 43353 43277 43272 12132 12146 12150 12138 44361 43270 12620 44384 12134 44382 12144 12619 44352 44379 44383 11974 11977 11986 11982 43072 43034 11767 43278 43273 13180 43350 13184 43354 12071 43142 43146 12065 12077 43140 11772 11784 44339 12075 43521 13347 12069 43030 43206 43208 13351 12140 65058 65715 18696 11054 65574 11258 60902 18681 63551 18401 18630 30401 58847 65040 18740 27755 33677 33680 18550 65721 64753 18677 65754 26531 26513 58863 36861 63981 26525 26535 16761 64611 65147 7814 12127 12125 43201 12115 43161 12121 11933 44334 11931 11927 43014 11919 12074 12118 11921 43156 48078 48159 45564 48188 47233 14730 16043 16047 45156 12202 12208 15812 15969 12302 16083 47314 47364 15735 15970 47423 14820 47281 47390 47420 47201 45114 14640 46968 12217 45154 46692 45284 45288 47273 47263 14745 47414 45598 45543 15794 16110 12230 12613 43274 44365 43271 12615 12606 42967 43269 43262 13327 43502 13332 43570 43571 13333 43499 13407 43574 13329 43498 44356 43263 11899 11905 12612 11902 12607 43266 12605 43264 43268 43496 13404 43578 43573 13408 13334 43503 13409 43575 13410 43576 13406 43572 13402 13335 43501 13331 13328 44678 44676 44760 44762 44766 14217 14295 14370 44673 44679 44675 45021 44850 44852 44765 44763 14499 44670 44672 44756 44754 14216 14214 14289 14291 14213 14211 44667 44669 44968 44689 44103 44102 13937 13938 13935 13939 44364 44366 13437 48120 48106 48102 14239 13150 14407 14527 14317 44844 14367 14369 14366 14364 44058 43438 13269 43443 43436 13273 44835 14358 14360 14205 44661 44663 14207 13245 43412 43416 43408 13247 14320 14408 14208 14210 13228 14285 14283 44750 44748 13306 14201 14354 14323 14405 44785 44831 13503 43670 43669 43674 13505 43666 43565 13400 43561 13398 43569 45065 45063 14242 44883 44935 44828 44825 14345 14342 14348 14351 44889 44886 44885 44882 44880 44875 14198 14196 43504 13343 43507 43480 43505 43508 13314 13316 13341 13342 13338 13474 13472 13428 43581 13414 13500 43667 13504 13438 13388 43559 13441 43611 43604 13392 43602 13439 13429 43614 43626 13442 13454 13433 13453 43512 13401 13444 13385 13448 43590 13445 43594 13387 13384 13457 13451 43557 43620 13421 13447 13423 42730 47650 47658 42706 47659 47663 15863 15829 15757 47325 46996 47133 15832 15760 15864 47132 16026 47347 47176 45743 15348 15344 15340 46298 46296 15343 46293 46297 15341 47071 14839 14843 45795 14854 14838 14830 45804 14834 14860 14858 14863 14857 45786 14866 14849 14847 45807 14848 45774 14831 45783 14833 14861 45788 14867 14852 15444 14605 45561 45562 45748 45745 14801 14800 45753 45746 14799 45749 14712 14694 14676 14700 14697 14706 14709 14680 14703 45615 45655 45646 45647 45625 14681 45610 45607 14627 14606 14679 14663 45643 45650 45649 45611 14661 45656 45653 45661 14662 45633 45629 14586 45545 45563 45628 45659 45626 14658 45608 45662 45658 45652 14608 45644 15448 15793 14841 14845 45713 14767 14844 14846 14814 45767 45794 14816 14741 15892 46396 46397 15510 46393 46401 15796 15724 15459 15482 46395 46461 15468 46399 15486 15357 15349 46305 46311 15308 15316 15365 46261 15317 46269 46266 15330 46260 46323 46257 15321 46317 46314 15358 46307 15304 15312 15314 15359 15368 46271 15361 46270 15307 15364 46262 46320 15367 15339 15440 15431 15434 15428 15426 15433 15437 15478 15390 46367 46389 46365 15436 15430 15409 15417 15381 15408 46386 15410 15412 46366 46392 46380 14769 45723 14788 45699 14747 45361 46712 45735 14742 45726 14776 14753 45718 14765 14760 45701 14774 14783 14786 14780 45669 14771 47162 46306 46302 15352 15350 16029 47086 47341 16028 15826 16039 47173 14842 14840 45796 46981 15931 15331 15335 15871 15868 45984 45987 15034 45988 45989 15057 15035 15031 15039 46006 15075 15347 46295 15345 45692 14738 14734 46025 46023 15071 15067 15049 46007 47155 47158 47068 15258 15260 46204 46208 15237 46243 46189 15278 46241 15242 46222 46230 15277 46194 15291 15303 46225 46187 46406 15732 46161 15734 46143 46125 15225 46134 15231 15171 46126 15208 15222 15234 46121 46130 46180 46183 46171 47152 15182 15228 46156 46152 46178 46172 46170 46184 46154 15173 46118 15204 46120 15168 15180 46117 46175 46174 46177 46181 46301 15384 46308 15388 46303 46359 46327 46385 15389 46336 46382 46384 46350 46334 46325 46333 15379 46324 46381 46368 46328 15429 15414 46378 15378 15441 15375 15380 15432 46337 15387 46294 46255 46267 46322 46309 15372 46310 15310 15320 15366 46319 46312 46316 46313 46258 46263 46315 15360 46259 15363 15369 46321 46292 15309 15306 46281 15311 15730 47062 46318 46272 46268 15342 15346 46256 15318 46265 15315 15319 15272 15275 15271 46228 15279 15356 46304 46300 15354 15355 15351 46234 15286 46410 46402 15453 46403 15456 15457 15458 46405 46437 15483 46433 46429 46432 46430 46419 46283 15333 46285 15337 46163 46165 15385 46339 15383 15213 46335 15217 46372 15420 46370 15424 15287 15285 46282 15338 46286 15336 46207 15255 15267 15404 46358 46356 15400 46351 15407 46355 15405 15466 15462 15455 15451 46345 46214 15264 46216 46024 15070 15068 46145 15199 46147 15195 15423 46373 15425 15401 46353 15403 46357 15461 46417 46413 15463 15454 15452 15464 46418 46416 46140 15481 46415 46142 46411 15467 15184 46369 15188 15406 46352 46354 15402 15491 46280 15322 46278 15326 46721 46719 45235 12442 45428 48066 48069 12292 12298 12295 63554 63552 65151 65030 65036 44095 45466 12439 12304 44097 45239 12303 45277 45303 44056 44355 42972 44357 11909 43012 11922 11924 11928 11930 11916 43017 11918 43019 11934 44107 44106 44108 44897 13415 13195 43586 13194 13403 13191 43357 43365 45071 12601 43672 13502 43250 13506 43671 13498 43668 13183 13181 43355 13271 13193 43363 45017 48129 45015 13501 43646 11713 13499 45072 45069 43481 43477 43485 44695 43358 46716 13196 43361 13405 44891 13419 44894 43360 13412 43584 44888 44101 12602 12596 43253 42904 11833 43252 11830 43255 43260 12597 43256 12598 12600 43257 43259 12603 43254 43497 43500 13940 43495 43261 12610 43577 13330 43440 43437 43362 43441 13275 13197 13189 13267 43359 43490 43494 13934 13941 44109 44105 43486 12599 13323 12595 43258 45517 45513 45516 45526 45585 14604 14597 14599 45552 45579 45514 45522 14577 14564 14560 12444 45474 12450 14568 12452 12458 48087 47844 47858 47840 47828 47854 47857 47835 47830 47836 12388 12427 12430 42694 42701 46711 42699 12433 66279 50184 66303 50208 69441 69546 69442 69438 68886 69527 69534 69166 69031 69540 69525 69537 69443 69162 69258 69027 69360 69362 69351 68890 68883 68889 68799 68891 49914 69514 69057 69148 69250 69421 69186 49908 66236 66234 49910 69365 69253 69517 69013 68919 49922 49926 21170 21251 66919 21255 18551 16851 16841 16853 16845 16839 16847 48478 48482 48485 48488 48228 48231 69433 69429 69181 69177 69048 68910 68914 69153 69157 19919 19917 19905 19907 66126 19795 66129 19801 19640 19916 19632 19711 19641 65939 19528 19463 19461 19904 65937 19826 19733 19725 19466 65877 19815 19637 19891 19647 19888 19824 19820 19525 19634 66000 19823 19914 19618 65874 65814 19798 65810 65811 19740 19730 19615 65871 19818 19731 19638 19736 66013 19910 19650 65808 19727 19722 19885 19470 19817 19557 65997 65934 19531 19812 19455 66063 19830 19559 19556 19554 19551 65876 19454 19739 19646 66065 19548 65936 19435 19621 19553 19829 65824 19728 19441 19644 19827 65940 19547 19460 19467 19734 68873 69020 69035 68901 69173 68898 69038 69045 19708 68879 69353 69350 69023 69021 18210 66206 68818 68822 68800 68817 68808 68821 68861 68870 68854 66074 66011 68835 68831 66072 65947 68846 65884 66137 18216 68848 68840 65820 65943 66204 68813 65821 68803 68810 66144 18199 68845 65817 66210 68827 68855 68828 65883 18228 65946 68864 18224 65822 66009 68801 65885 66153 68866 66069 68863 18218 66147 68857 66136 68858 68844 68809 18222 68819 65948 68812 69251 69249 69149 69159 69155 66138 66130 68847 66134 69252 69431 69354 69518 69522 66988 69055 69425 69263 69515 69357 18196 18193 66152 66004 65881 66149 66139 66207 66201 65941 66008 68811 68838 66012 68852 68859 68834 68805 66005 68851 68850 66071 65945 65882 68833 68806 66142 68871 68856 66133 18225 68874 68823 68829 65819 68820 66068 68807 66075 68802 66148 68868 68865 66208 68816 18227 66131 68814 68825 18215 68843 66146 68862 66145 65949 66140 66151 18213 68842 66154 66203 65886 18221 65944 65942 65823 18219 69012 69030 69519 69015 68798 69158 69167 69432 69151 69184 68875 69361 68880 69032 69516 69024 69347 69423 69016 68796 69364 69348 69434 69427 68917 19913 19821 66135 66899 66123 69022 19452 68882 69254 65815 66007 68837 49916 69165 69156 65879 66066 19458 19635 65816 66150 69426 68836 66010 19545 65950 69146 66141 19920 66070 68853 19643 66125 68849 19560 65999 19737 49920 69150 19438 69531 66002 19908 19911 69018 19649 66128 19464 65761 19902 68872 68906 68830 66132 65878 19544 19814 66003 66073 65813 66143 68903 69857 69941 69668 69850 69927 69051 69921 69895 66832 69983 69967 69837 69822 69567 69838 69889 49911 69856 69982 66839 69922 69714 69902 66233 52758 69991 69903 52759 66836 66862 69182 69872 69934 69938 69708 69807 69869 69959 69673 69704 69960 69839 69564 69878 69852 66803 69867 70005 69549 69864 69944 66880 69550 69900 69897 69828 69931 69920 69366 69968 69935 69885 69888 69831 49913 69428 69830 66901 69818 69810 69970 70002 69717 69716 69563 69899 69923 69669 68915 69679 69701 69855 68913 69834 69860 69966 69978 69972 69346 69671 69854 69890 66826 69719 69710 69702 69713 69874 69672 69950 69957 69816 69916 66835 69882 69973 66831 49923 66231 69566 69666 69812 69827 69963 70011 69974 69947 69924 69953 69829 69999 69881 69992 69180 66815 69424 66887 52755 49917 69880 52760 69975 69956 69561 69352 66884 69707 69990 66822 69936 69705 69981 66237 69825 69879 69823 69676 69971 69699 49925 66817 69930 70008 69901 49919 69858 69430 69996 69053 50930 50937 68797 66923 50939 52641 50659 52634 50678 52752 50818 50681 66926 52645 66990 68877 50673 50833 50675 50657 50840 50666 52637 50674 50837 52646 52644 50946 50950 66974 50943 66981 50933 66966 66968 66978 50913 69269 69278 66963 50906 69290 49891 66952 50923 66939 69275 49897 69288 66957 69272 66943 66948 49894 66960 50927 66779 66755 66792 66770 66767 66762 69284 66785 66764 66776 66759 66782 66774 50908 69785 69905 69915 50576 69908 69781 50899 50904 50897 66922 66890 66892 66897 50951 66934 66984 66930 50949 66744 66752 66750 47468 47465 69659 69663 69650 69653 69657 69646 69803 69799 16171 47487 16175 16179 16174 16176 47483 47479 12438 45214 12515 12511 64465 64475 64469 64473 70071 36767 36815 69281 69266 69147 66478 66565 50652 50654 50476 18607 18667 70073 50664 66842 66076 65887 69664 69955 69918 69987 69711 69543 66906 18212 68841 69170 68824 68832 69670 68881 69261 66867 63431 63429 39655 64739 64737 64868 40068 64888 64781 65751 65736 65302 64862 64855 64860 64779 64785 40070 64880 64878 65298 64903 64884 64401 64395 64269 40002 64873 26496 40020 26498 40015 64398 64874 36757 36764 36762 64872 64866 65180 65176 65172 65745 64403 64402 40348 39999 64762 64758 36723 36732 36763 36727 64879 64766 64394 64392 39478 64391 64389 64263 64265 63978 63982 63974 63972 64252 64259 64255 64059 64191 64193 64185 65748 64181 64179 39301 39124 64188 18577 64192 18587 64182 64184 18734 18728 63357 63361 26552 26550 63353 63351 38947 63425 63421 26405 26403 26409 26406 26408 26392 39125 26390 26388 26391 26387 26385 26370 26372 26373 26369 26367 26463 26462 26460 26459 26457 26446 39832 26374 64496 39194 64276 64595 64388 64380 64283 63864 64374 64486 64491 64371 39548 64576 39725 64273 63860 39551 64586 64373 64584 64379 63963 64596 63856 64280 64581 64369 64284 39549 63866 39728 36669 39544 64366 64281 39145 64270 64377 63957 63965 63946 64579 39552 64583 39198 64386 64589 64382 64587 64593 64383 64590 39676 63850 64385 64592 64598 63959 64480 39499 64286 36609 39729 39726 64483 63951 63853 64070 36549 39367 39371 64161 39322 64076 64074 64066 64063 64163 39375 64156 64169 64060 64173 64167 64175 63953 64376 64287 39190 64497 36489 64493 64490 64494 39721 64462 64166 63962 63966 26481 26475 26477 63960 63968 64073 64178 64159 39372 39374 64071 64077 64164 64170 64172 64176 20330 20328 20334 20314 63436 63545 63651 63542 63543 63539 63537 38797 36369 38850 63736 39020 63450 39018 63656 38842 63531 63533 63650 39017 38846 63646 63743 63534 63447 26428 26439 26442 26444 26441 26445 26426 26424 26423 26421 26427 26410 39319 39321 39323 39305 39306 64177 39316 39324 64174 20333 20331 26356 65293 40494 39833 39656 20317 39479 39302 20336 63442 63643 63439 63452 63758 38968 63744 63747 63449 63739 63749 36429 63755 63653 63753 39013 63526 63446 63453 38847 63546 63750 63529 63536 63657 63746 63654 63752 63540 63756 63548 63640 39021 63741 38849 64721 64727 64731 64725 64636 64646 64640 39902 36717 39906 39853 64714 39898 64633 64733 64719 64644 64630 65292 65294 65705 40984 65703 40162 65568 65429 65570 65427 65015 40657 65013 65286 65282 40563 65199 65274 40565 65269 65193 65276 65195 65280 65288 65564 65552 65556 40895 65545 65469 40893 65558 65562 65471 65550 65475 64995 64909 41054 64990 65606 65336 65685 65409 65687 65610 40232 65404 40727 36957 64997 40236 37053 65599 65001 65334 65326 40731 41058 65003 65423 65697 65699 65421 65693 40723 65411 40183 41005 64906 65009 65007 65596 40678 65680 40228 64916 64922 36813 65417 65691 64912 64920 65320 65415 65602 65330 65612 41050 65323 63833 63832 63834 64463 64616 64253 64043 17061 17063 18183 63843 63845 16856 16854 48927 48471 48473 16746 16855 16742 16747 48465 16330 48455 16728 48467 48923 48921 48448 48234 16736 48453 16724 48459 16730 16740 16734 48461 18186 18189 16850 16838 16844 16836 16848 16842 64622 64628 64626 64618 36952 64042 64629 64746 63635 63418 63619 49718 49716 49711 49715 63424 63422 36431 36430 63835 36491 64615 26478 26480 64617 64056 64266 64268 64047 64249 64478 64051 64476 64459 64053 64039 64049 64058 64055 64045 64048 64044 64050 64258 64750 64257 64261 63846 63829 64467 63848 64471 64254 64464 64623 64625 63630 63638 63636 63434 63432 63423 63427 63428 63426 63632 63626 63628 63836 63838 64046 64260 64470 64472 64262 64468 64256 64052 64466 63840 63842 63839 63841 63837 11024 11022 36611 36551 36671 18177 17065 18178 18172 18389 26399 18383 18381 18387 18540 18542 26471 18545 18536 26377 18339 18345 18347 26381 26467 20327 18263 18261 18266 20325 18510 26454 18516 18433 18432 26420 18426 26418 26435 18515 18507 26413 26417 18465 18431 18467 18471 18509 18513 26453 26438 26431 18473 18470 26490 18726 18722 26492 26580 18662 26546 26582 26449 26544 18576 18666 18572 26364 26384 18348 26382 26366 18302 18300 18391 70044 18527 18531 18523 26464 18520 18489 18493 18487 18495 18488 18490 16764 16852 38948 18491 16762 65022 64896 65586 65450 64905 65590 65577 65454 65712 65457 64900 65314 65319 65026 65310 65446 65716 65436 65579 65595 65440 65571 65582 65318 64902 64894 64904 65588 65594 65592 65316 65452 65456 65584 65308 65448 65306 65444 65312 64898 18608 26600 26598 26589 26585 26516 26514 26570 26583 26568 36967 37019 36963 37017 36913 36921 36876 36923 36871 37007 37013 36917 36808 36972 37003 36959 36911 36769 36779 36777 36867 18512 18428 18425 18468 26395 18474 18423 18306 18342 18341 18429 18344 26436 26456 63867 63949 39195 63954 63861 48477 39197 63956 63863 36857 36853 48483 48486 48480 63341 48489 63345 63347 63339 36825 36827 36821 36817 63336 36300 30343 60924 60930 63342 58864 63328 63335 63344 63333 63338 36302 60926 36297 36299 60927 60904 60929 60919 34195 63330 36303 60923 63332 63325 63352 64390 63970 63550 63760 64600 64180 65014 65569 65428 65704 38777 20337 40824 64738 65287 65563 65698 65008 65422 64384 40342 40347 39854 40331 40349 39852 64387 64594 63754 63547 63757 64597 64732 63346 39847 63544 40515 40497 40510 40672 40166 40827 40999 40184 41006 41004 40177 40679 39836 40677 40182 40661 40988 40840 40845 39500 39493 39482 39498 18190 39659 39677 39675 38970 38962 38799 63967 38967 38965 38952 39483 38951 39501 39496 38781 38794 63964 38969 39678 38780 30340 39144 38796 30342 39129 38798 30345 39660 39673 30326 39147 39142 38791 30327 39139 30344 30337 36997 37002 48233 48474 16857 16731 16733 16749 48450 48925 48456 48464 48458 48468 48462 48470 48452 16743 16725 16745 16737 48445 47638 48926 48924 48920 48490 48918 18187 18185 17892 17901 63827 63821 17889 63818 17898 63822 63775 63824 63778 63828 63847 17897 63830 63844 63816 17856 17789 17852 17686 17830 17758 17407 16346 17778 17860 17850 17783 17858 17793 65455 65179 65593 65317 17681 17679 17817 17754 17756 17828 63416 63606 64627 16355 16350 16351 17928 17932 17937 17930 63410 63608 49703 49704 17829 63618 49710 49713 17682 49709 63565 63634 63620 63433 63420 17745 49707 17823 17684 17685 63621 63408 17673 49712 17675 17676 49698 63611 49700 17753 49701 17869 63419 63417 63430 17711 17855 17714 17709 17925 17820 63614 17853 17713 17857 17716 17865 18111 18108 64455 64446 64452 18110 64405 18116 64477 18113 64474 64457 17994 17999 18044 64198 17997 18005 18001 18035 18000 18009 64242 64247 64251 17996 18033 18002 18042 64264 18041 64034 64054 64238 64037 17970 17973 64038 64057 17964 18141 18146 18138 63988 18144 18143 18149 64028 17961 18153 18148 18140 18069 18073 18071 18076 64250 17967 64236 18036 17722 17410 17725 18013 18085 17060 17794 17067 17058 18161 18170 18010 18167 18174 18176 18157 18180 17064 18175 18163 18155 18169 18158 12512 65567 65430 65706 65432 65565 40822 65708 36547 36504 36544 36499 36497 36501 65016 36493 65018 36503 40185 40167 40180 65425 41007 40662 41002 40675 65011 65560 40680 40842 40844 40826 40837 40989 65701 36433 36673 36373 36320 30309 18230 36316 36617 30311 20287 36623 36437 36324 36607 30304 36443 36681 36670 36441 36677 36327 36487 36553 36367 36683 30315 36555 36564 36292 64728 64736 36664 34199 34200 36323 36563 36439 36561 36557 36379 36615 36604 36364 36435 36383 36613 36377 36427 36444 64730 64734 36484 36559 36375 36424 36667 36295 36321 36619 36624 36381 36621 36326 36384 30306 30300 30310 20307 20298 20303 12508 20301 12514 12517 36318 36322 65431 65566 40659 40986 65707 65547 37011 65609 40728 65424 37020 37000 65542 40843 36924 65458 65468 36969 65549 65607 65696 65561 36915 65683 40888 65426 41057 41055 65414 65420 36919 65418 65702 65472 65559 37051 65553 65337 40896 65694 65412 36971 37005 65613 65474 65555 37015 65688 65407 36961 65461 65331 65690 65333 40730 36955 65700 40892 40233 36811 65006 64923 65012 64993 65010 65017 64919 36780 64998 64917 40235 65000 40164 65004 36771 36775 66055 65866 19810 66017 19720 49903 65806 65803 19900 49901 66196 66158 19897 65932 19715 19536 19627 65995 19895 66118 66081 65892 66159 19447 66080 66121 65954 69684 69555 69683 69556 69554 69697 69694 19630 18208 65929 19540 19716 19625 19805 19445 19806 66199 49902 65955 66226 49906 18204 19626 66215 19896 65992 65766 65765 19446 18205 40823 18046 12584 12561 12565 12573 12563 12580 11017 36965 64414 64442 64204 64440 18029 64227 64443 64434 18095 18024 64226 64233 64232 18026 18098 64201 64209 64229 18099 18101 64437 18088 18023 18091 64418 64432 64224 18032 64445 64235 18019 64411 64219 18030 18016 64222 64429 64439 64230 64208 64419 18102 18104 64436 18096 18027 63781 17803 17885 17888 63810 17807 63393 49692 17736 63404 17731 49697 63802 17669 49686 63370 49219 63788 17742 17744 17808 63806 63812 17875 17800 17879 63571 63378 17663 63391 63799 17738 17883 63789 17672 63398 17670 63396 49684 63815 63597 17811 63599 63602 63589 63399 63784 49695 17741 63592 17880 49300 17886 63804 49488 17813 63603 17735 63395 17578 63373 63579 63402 63605 63809 49487 63377 49694 63388 63578 17728 17664 17816 17667 17872 49689 49688 49691 63596 17666 63594 49681 17814 63600 17882 63813 63401 17659 17810 63574 17739 63807 17960 64025 64022 17947 17954 64016 63998 63991 17952 63994 17957 64023 17955 17944 64017 64020 63999 64012 64014 17958 17951 64009 64019 49467 49482 49461 49479 49458 49476 49455 49446 49464 49473 49452 49449 49485 49470 49408 16522 12542 12548 12546 18529 18525 11183 11186 11182 11176 11053 11192 11011 11190 11221 11015 11185 37009 36773 37048 18038 63612 64026 17969 64244 17781 63609 63615 17966 64041 63414 17784 17721 64460 17933 64449 18164 17826 17748 17891 17788 17717 64454 17780 18068 18072 18074 17866 17894 64035 63411 49717 64408 63825 17712 18077 64267 18166 17929 49714 17706 17822 63617 64032 48970 18066 17927 64451 49042 18160 63831 18105 17819 17972 49706 63568 17750 18045 18154 17747 64448 17797 63985 63407 17786 63413 17924 17751 63819 64245 64239 17861 64458 17900 63367 17678 64029 18145 63364 18107 18114 18081 64241 63637 64461 64040 17922 64248 17757 63405 18039 18004 64031 17902 17825 17895 17963 17941 17785 17708 64195 18117 12307 12394 12347 69644 69791 69848 69787 69638 69845 69640 47654 65829 50823 66216 19807 66229 69797 69793 66058 69559 19537 50573 50567 50571 47478 47471 17656 18188 65464 36712 36495 46291 46299 15737 14759 45712 14749 39128 39670 39146 16739 16727 36907 69255 66972 19724 21174 69876 69042 69720 66985 66006 68826 19469 47244 15942 47218 15938 16090 47111 48152 47019 15755 14635 48150 15940 47070 47210 47206 47072 47067 46221 46235 46249 15874 47393 46976 47096 47159 47090 47209 47213 46972 47240 15856 47241 15954 15951 15933 16081 15930 46983 47004 48156 48160 47109 47084 47105 15831 15833 15827 47091 47097 46440 46444 15822 15824 15747 16084 15945 45424 46988 47001 45586 45508 15743 46982 15741 46443 46445 15936 48177 12382 15294 46979 46203 46253 46250 15997 15916 15920 15480 15484 46977 15485 46186 15738 46190 15240 15282 15241 15297 46226 15276 46195 45595 14642 46213 12404 46217 15836 15846 15840 15828 15759 47018 15773 15771 47016 48151 46005 15269 15053 47221 15948 15767 15761 15765 15300 46231 46240 15805 12385 46205 46232 15740 46412 12326 12312 48147 15465 15746 12314 12320 45282 46414 13291 13258 43413 13239 43470 43406 13244 13284 43433 13259 43428 13261 43431 13248 13300 13250 13249 43423 43424 13257 13231 43415 43405 13270 43442 13253 43419 43422 13252 13289 13262 13286 43464 43432 13292 13266 13301 13294 43458 13303 13279 13936 43492 43488 13326 13322 11827 13318 43491 43450 13339 13344 43509 13337 43506 43511 11892 42959 43024 11825 43029 43092 43210 43213 43414 43487 43489 13324 13320 43410 13243 43451 43235 43449 12195 43234 12040 43238 13241 43599 43603 13430 13432 13395 43564 43562 13399 13394 43563 43409 43411 13242 43567 43566 44347 44346 44348 44343 13393 13397 13396 43568 13411 42886 11765 13325 68795 69052 66209 69435 65818 68815 69011 52632 66060 19550 69262 66824 66986 50926 66746 69843 37004 68804 69912 68839 69932 65880 68867 68860 66062 19705 69014 69526 12621 43276 12617 43275 12614 12616 13182 43349 43352 13187 43356 43348 13185 43351 13186 11971 13246 66067 64742 64740 68894 19457 19542 65873 69422 69248 66211 66788 46264 14582 44847 44853 44849 44837 44843 44841 45080 44657 43474 14411 44776 45018 45020 44957 43240 14496 45014 14498 45073 48111 48093 48144 48070 48138 48124 48098 48096 48132 48135 48097 48080 48071 48089 48141 48079 48123 48075 48115 48125 48088 48107 48084 48105 48114 48116 47548 47482 47480 47496 16184 47491 47489 16188 16180 16241 16172 16237 16173 16178 16177 47486 47484 47481 47485 16170 16240 16165 47549 47545 16162 16166 16210 16201 16231 16217 16235 16220 16219 16224 16211 16198 16225 16193 16199 16202 16215 16216 16192 16207 16229 16228 16197 16208 16189 16190 16206 16232 16226 47550 47504 47512 47535 47503 47526 47520 47499 47502 47521 47547 47522 47508 47513 47530 47544 47517 47529 47541 47538 16234 47473 47474 47470 47546 47525 47532 47500 47533 47537 47528 47523 47498 47518 47539 47543 47497 47510 47524 47505 47536 47501 47514 47527 47540 47516 16164 47515 47506 47509 16233 16221 16223 16239 16209 16212 16222 16191 16218 16242 16236 16213 16230 16194 16205 16203 16196 16227 16195 16214 47493 47488 47492 16200 16204 16181 47574 16309 47602 16307 16301 16321 47601 16312 16255 47567 16294 16260 47555 16273 16243 16283 16271 16263 16276 16268 47561 16249 47552 16314 47611 16258 47593 16281 47584 16264 16253 47618 16284 47622 16261 47558 47594 16274 16244 16302 47630 47617 47620 16322 16305 47604 16319 16296 47570 47566 47556 47551 16295 16282 47553 16257 16298 47603 47608 47587 16272 47582 47619 16265 16246 47597 16250 16315 16316 47554 16308 47628 16300 16293 47592 47605 16245 47580 47606 16292 16310 47600 47586 47560 47616 16269 16303 47557 16297 16311 47591 47626 47575 47577 16251 16299 47585 16256 16306 16247 47627 47572 16285 47581 47607 47615 16270 47569 16323 47596 16279 47564 16313 47568 47609 16320 16278 47625 47621 16252 16277 16287 47559 47565 16289 47590 47583 16291 47571 47610 16288 47576 16304 16267 47589 47612 16280 47631 47578 47629 16318 47562 47588 47599 47595 47579 47542 16185 47495 19450 47507 47534 19535 19717 65891 65828 47519 47531 47511 47477 47475 16167 16169 47494 12589 16187 45012 42898 43211 43155 11964 12587 43218 12113 12192 43237 43022 43220 11824 43232 42966 42899 42896 11820 43226 12184 43229 43021 43223 42962 11895 43214 43147 12111 42961 43150 12183 43085 43248 43222 16182 16186 11896 43025 43225 43151 42895 43087 42903 43228 12185 43148 12108 43088 11968 44846 43231 47476 12201 12487 11967 11969 43219 12036 42958 43084 12180 13178 14292 43340 12112 12041 43342 11823 13176 12198 44954 14444 12039 44971 44779 12594 43417 45011 43339 45009 14495 13254 43421 14455 44692 43425 14493 12189 45077 14294 43245 14531 43347 43343 14440 11897 13256 14443 44759 43318 44757 43370 44662 43321 45010 13209 13440 14483 44999 14293 44671 43333 13152 43294 14523 14517 14481 14529 12650 14519 14526 44977 14461 44997 43393 13224 43243 14457 44758 14410 44946 44666 12593 44952 44783 12591 43369 44839 43330 43387 43334 43378 12604 13158 13159 43331 14436 45081 14445 44955 44694 43314 44949 12647 43299 12635 14430 14456 14241 14318 43324 13309 12649 12631 12626 13416 43579 12608 14429 14524 14406 43609 44948 43247 14525 14528 44972 43290 13386 43553 12634 12623 13434 43286 12590 43267 13436 43281 43319 14435 12625 14424 14365 43615 14240 43624 43619 13313 43605 43482 43613 14400 14403 14412 14409 43483 13317 13418 13175 44973 43479 44784 43285 45074 14290 12656 12644 43302 43284 44951 44942 44664 43249 44940 13171 43344 13229 13200 44974 45005 14437 43396 43329 45003 44782 14458 43381 14489 14487 43320 14280 43587 45013 13151 43583 14282 43338 44751 43305 44753 14286 12586 14288 13417 44745 14276 43346 43322 13169 13204 43341 44893 43345 13160 43293 43246 12655 13179 13218 43397 13172 13212 44741 14322 12652 13177 14321 43367 12643 43379 12592 43295 43311 43317 14362 43375 43398 13174 12658 14494 45075 44842 14477 13227 44980 14432 44953 44781 14215 14368 44665 14359 44780 12588 43251 12641 12639 12646 12653 13477 43647 43640 43639 13473 43642 45078 14438 14338 14344 14427 44747 45076 12659 13155 13168 13413 43382 14433 44845 12640 43391 43244 43308 43580 14532 12630 43390 44693 44755 44668 14464 43374 14530 14319 13167 12622 14497 43384 14212 12632 44993 14341 43282 43304 12657 43296 12628 12638 43310 43287 43301 43289 12654 43313 43300 43307 12637 43306 43309 43312 43291 43280 12611 43265 12627 12651 43315 43288 43279 12660 12633 12629 14474 44990 43303 43297 12609 43283 12642 43298 12645 43316 12648 12624 44840 44838 43292 12636 14492 45008 14490 45006 14363 14361 13190 13192 43323 43383 13206 43332 43326 43371 43364 43395 13156 13211 43368 43328 43392 13161 43373 43386 13210 44787 13214 14324 13165 13213 13223 13162 43372 13219 43377 13225 13199 13226 13207 13217 13201 13220 13208 13153 13154 13198 43380 13170 13222 43335 13202 13166 43336 44887 43476 14203 14200 44659 13307 13308 44833 43475 14353 43673 43366 13215 13216 13157 14206 43327 43325 13164 43389 13173 43644 43388 43385 43376 13163 13203 13205 43394 43337 13479 43641 13221 44890 14209 14459 44975 45007 14488 44836 44950 13230 44752 14491 14284 44976 14460 45004 14287 14484 45000 14486 45002 43598 44884 44827 43585 13435 13431 45067 13260 13263 43430 43426 13293 43447 13278 13251 43466 43459 43454 13290 43452 43469 43453 43462 43457 43465 43468 43471 43456 13264 43434 13265 43407 43472 13255 13287 43463 13282 13305 43445 13302 43418 13296 43420 13299 43460 13459 44728 44733 44736 14273 43627 45059 44987 44822 44936 44876 44932 43717 44738 14271 14192 14190 14471 14426 14513 14268 14422 14185 44391 44394 44388 44397 44400 13907 44076 44074 13908 43683 43399 13238 43678 43676 13236 43403 44937 44643 44931 44934 44929 44730 44988 44933 44985 44732 44869 44816 44727 44729 14391 14396 14388 14394 45054 44984 45056 44874 44871 44879 44877 44873 44725 44819 14511 44927 44912 44918 44924 44921 44915 44909 13667 43842 13673 13656 43848 43845 13670 13638 43839 13675 13647 13620 13665 43836 13672 13678 14510 13235 13297 13277 43461 13232 43404 43455 13280 13268 13288 13276 43446 13304 13285 13234 43473 13240 43467 13295 43401 13896 44813 14401 44062 43429 43427 44064 44057 13894 44059 13890 13892 13888 44104 44740 14197 43541 43547 43531 43538 43544 43535 43549 43543 43534 43550 43530 13359 13365 43526 43540 13383 13371 43532 13380 13368 13374 43537 13377 43522 13361 43546 43680 43677 43681 43682 13376 44992 13340 13362 13367 13369 43539 14476 43528 13375 13372 43510 44944 14521 43524 13357 14350 43542 43545 13379 13336 13319 43533 44982 14466 13366 43484 14479 13363 43529 43551 43548 43527 13373 13382 13381 14275 44995 43493 13354 13370 13355 13378 44981 44653 13312 13310 13321 14465 43536 13358 13364 43525 43514 43516 13360 43523 13356 43444 43448 13281 13283 45070 44958 13298 14441 43718 13569 43750 43713 44943 43736 13571 13587 43732 13589 43754 14195 13557 13548 43744 13579 43727 43726 43778 43724 43759 43758 43765 43777 13566 13561 43709 13544 13570 13593 43733 43735 43714 43772 13560 43762 43769 43775 13596 13599 43774 43766 13493 43722 43705 13588 13562 43768 13489 43715 43751 43753 13584 13605 43749 44898 44895 14204 44945 44939 14258 43742 13552 43663 14189 14187 44892 14262 13608 13602 44658 44649 43723 13575 44651 13497 43763 43731 14193 14264 14202 13542 44660 43771 43824 44655 43740 13551 13611 14199 44645 43760 13553 14468 44644 13511 13517 13515 44650 43629 14191 13460 43632 43636 43637 13470 43635 13466 13462 13463 13488 13520 43653 43655 43689 43686 13471 43659 13475 43692 43698 13522 13480 13516 13532 13528 13525 13535 13529 13534 13526 13519 13523 13490 43695 13484 43704 43701 13531 13492 13510 13508 43662 43650 13483 43654 13481 43645 43664 13507 13465 43591 43610 43612 43589 43622 43600 43592 13390 43555 13391 43552 14347 14439 14442 13446 43597 43601 43556 13389 13427 13422 13443 13455 43596 43618 13449 43617 43623 13456 13450 43608 43582 13426 43625 13458 43607 13452 43606 13425 43621 43616 43588 43560 45068 45066 14265 14267 14274 14279 14277 14270 14260 45061 44941 14339 44809 45044 45041 45038 45047 45050 14254 45062 45052 44815 14423 45060 45057 44824 14425 44818 44983 44986 44821 13889 44654 44652 44872 13485 43649 43690 43665 43648 43684 43688 43595 13420 45064 43699 43685 43656 13513 43651 13509 13482 13524 13486 13495 43700 13491 14392 43694 43634 43630 13494 43657 44697 44881 13527 43658 43660 13487 43693 43638 13530 43697 43652 13533 43691 43696 43702 14514 14516 14386 13352 14518 14520 14522 44060 14428 14390 44638 44744 44735 44742 44739 14397 14399 14393 14402 13311 13315 43478 43687 13496 13476 43643 13478 43661 13424 43593 13518 13536 13521 43703 43833 43834 43843 13671 43838 43846 43802 13635 13637 43797 13677 43844 43798 43841 14509 14182 14478 14480 44994 44991 14469 14475 14472 44996 44807 14376 14373 14330 14245 14382 14379 14385 14326 14246 14327 14334 14329 14337 44811 44642 44800 44804 14343 14346 14340 44801 44859 44797 44865 44862 44856 44803 44823 44820 44868 44817 44814 44826 44870 44646 14389 13469 13467 44648 44640 14186 14184 43915 43906 43857 43909 43916 43913 43907 43904 43866 13740 13743 13746 13749 43910 43875 43902 43893 43903 13737 43867 43859 13696 13706 13704 13692 44866 14335 44722 43912 43861 43884 43871 13691 43888 43897 43895 14179 13716 43908 43911 13738 13681 43854 43856 13736 13734 13699 43887 43891 13718 13698 13741 43917 13747 13744 43914 43905 43874 13703 43872 13685 13748 13725 13739 13689 13745 13742 13735 13720 13707 43876 43880 44812 13641 43810 13645 43808 13690 13694 43863 13714 13710 43879 43877 43858 43862 43882 43878 13711 13709 13730 13726 45032 45035 43899 43901 13733 13731 43898 43894 13723 13719 43886 13715 13713 43870 13701 43868 13705 13695 13697 13578 13580 43745 43741 43865 13728 13732 13688 43849 13686 43853 44867 14384 14183 14181 44639 44637 44864 14328 14250 14331 14336 14252 14256 14381 14378 14374 14377 44721 44726 44724 14259 14261 44834 44829 44832 43984 43935 43953 43975 43985 43926 43978 13818 13815 43976 43944 43962 43973 13806 13812 43982 43971 43981 43979 13809 43972 14332 14177 14175 44861 44857 14380 44717 14170 44631 44633 14248 44713 44626 43955 43940 43936 13775 13773 14333 13761 43928 13765 44114 44117 13788 13792 14253 14255 14247 44113 44111 13953 44120 13950 44123 44110 13956 13944 44122 44082 44116 44100 13947 44119 44091 44073 14372 14371 14375 14249 44723 44806 14352 14357 14355 14349 43939 13774 13770 43937 14176 44719 44863 44634 13948 13946 13945 13951 13949 13955 13952 13942 44118 13932 13954 44121 44124 13923 44112 13905 44115 13943 13914 44860 44636 43948 43946 13783 13779 44629 14178 44090 44088 13919 44858 44855 43995 44045 13830 44022 44044 44041 13887 44054 13834 43997 44050 13881 13878 13884 44042 14180 44053 44047 44031 13875 44051 44040 44013 44048 44004 13821 13825 43988 13898 44071 13900 44067 44632 44628 14171 14169 44630 44707 44711 44715 44720 44718 44802 44799 44810 44805 44710 44808 44854 14167 14090 14070 14083 14034 14087 44253 14052 14027 14079 44196 14081 14092 14089 14043 14080 14172 44259 14086 44200 14093 44256 14084 14061 44262 44250 14173 44184 13983 44181 44193 14012 14010 14023 13992 44623 14024 14014 13974 14021 14018 14015 14001 14174 44209 44205 14038 14036 44625 44627 44620 13902 44065 13904 44069 44624 14155 14165 14139 44325 14149 44319 14162 44331 14152 14112 14156 14158 44622 14103 14130 14121 44322 14159 44617 44328 14161 14387 44714 44709 44712 14153 43999 44169 14019 44180 44179 44151 44191 44133 14022 44188 44142 14029 13963 14013 44128 13959 44126 44186 13968 44135 44192 44183 44178 44791 44795 44137 44182 13972 44189 44160 14016 14025 44185 13772 14148 14150 13853 13851 13915 44014 44018 14101 44258 14085 44255 14097 44249 44252 44247 44264 14082 14088 44260 44298 44280 44324 14151 44320 44321 44326 14154 44317 44323 14160 44327 44318 44316 44330 44329 14163 44307 44289 14168 44705 44701 44621 44619 14166 44271 14157 44614 14106 44273 44275 14110 44290 14129 14127 44294 13766 13764 43931 44079 44081 13906 13910 14048 44219 14044 44217 44228 14057 44226 13844 44009 44005 43958 13842 43930 44281 44147 44143 13980 14120 44285 14118 13982 44266 14053 13989 44156 13991 44152 13784 43949 43945 13782 13901 44070 44072 13897 44086 44084 13921 14035 44208 44210 14039 43954 13791 13793 44000 13833 44134 43927 43996 13835 13973 44138 13971 43918 43922 43957 14111 44272 14109 44276 43990 13891 44015 13852 13848 44017 13925 44094 44098 13755 13757 13861 44024 13857 13916 44089 44085 14056 44293 14128 13918 44155 44153 13990 13986 44223 14124 44291 14054 44227 44232 44236 14063 44162 44164 13995 14065 13999 44300 14137 14133 44302 44026 13927 13869 44036 13871 44032 13931 44092 13929 44096 13893 13895 13824 13826 43991 44061 44063 44199 14030 44201 43987 13964 13962 44129 44125 14026 14100 14102 44267 44263 13676 13669 14164 44078 13911 13913 13680 43847 43837 14017 14020 13674 44202 44251 44187 44229 44220 44254 44261 43815 14091 44211 44248 43864 43860 44190 13965 14011 44238 14094 13668 43788 13666 13629 13679 43840 43835 43806 44257 44286 13624 44066 13979 13808 13758 44288 13930 13926 44093 13634 43805 43803 13630 14263 43896 44216 14051 14117 13805 44150 14049 44212 44148 13975 14113 13813 13899 13807 13817 13767 13811 13785 13776 43983 13814 43980 43974 43977 43986 13803 13816 13794 13903 13622 13804 43791 13810 43795 13623 43790 14257 44635 44274 14068 44278 14064 14134 14105 14107 44233 43813 13642 43809 13640 14132 44301 14383 44305 13649 13996 13994 13650 43819 13654 43817 44068 43822 13651 44206 13969 43818 13627 44231 13693 44167 14041 14037 44204 13967 44140 44136 43792 44163 43943 43941 13768 44154 44224 13555 13985 44296 14125 43728 13700 14059 14055 13987 43730 44222 43869 44292 44158 43873 14123 13827 44043 13874 13885 13883 13879 13877 13845 13882 13863 44046 13886 44055 13876 13873 44052 44049 13595 43779 13590 43720 14467 44641 43785 13843 13957 44716 13612 45055 14251 13961 43787 13616 44130 14033 44270 44006 13839 14099 13836 13854 13872 13880 43773 13600 13604 13606 43770 13598 44268 13565 43784 43780 13619 13617 13591 13545 44132 14031 43716 13549 13559 44198 14095 43761 13592 13547 43738 13594 44194 13581 13609 43767 13603 13572 13610 43734 13554 13597 13567 13563 13601 43776 43764 13607 43435 43900 13727 13274 43439 13272 13558 13556 13778 43947 43951 13762 43929 43933 44012 13841 44010 13837 13769 43942 43938 13760 13564 43739 13546 43719 13550 43721 43737 13568 13787 43960 43956 13789 13468 13464 43631 44731 14470 14512 45058 14266 14188 14278 45001 14462 44979 14356 14485 44786 14463 44998 44743 44656 44947 14325 14281 44978 44830 43729 43725 43633 44075 13912 44283 44287 14114 43799 13702 44215 14046 13636 43801 44213 13632 14050 13858 44029 44025 13856 14045 14047 44284 13909 43800 13633 44282 13840 13771 44146 44214 13981 44008 43804 14115 13977 44144 14119 44145 13976 13978 44218 44149 44077 13780 43743 13576 43925 13829 44002 43998 13750 43923 13754 44737 44696 14244 14243 44080 13838 13631 44007 14395 44734 14272 14398 14473 44011 14194 44647 44938 13461 43992 43679 13823 13729 13849 43994 13831 13847 43789 44016 43793 13626 13628 43675 13512 13514 44020 43712 13541 13819 43710 13537 43402 13233 43794 14126 44295 44141 44139 13970 13708 43814 13643 43812 13639 43932 13759 13763 43934 13846 44019 13850 44021 43950 13988 44159 14104 14042 44277 44297 14122 44157 43796 14108 44203 13984 14040 44279 13966 44207 13621 13625 43807 44087 13922 14060 14058 44083 44225 13644 13646 44221 43781 13920 13712 43881 43883 43783 44001 43811 43400 13832 44003 13828 43952 13781 13777 43748 13573 13540 43707 13538 43711 13237 43746 13577 13539 43706 13618 13614 13543 43708 43554 43558 13684 43855 43851 13960 44131 13958 13682 44127 43919 43921 13756 13752 13751 43924 43920 13687 43852 43850 13683 13613 43782 43993 43989 13820 13822 43786 13753 13615 13722 43889 43885 13724 43892 44299 14062 14136 43890 13717 14138 44303 14066 44237 44235 13653 13655 43816 43820 44234 14069 44230 14067 13993 44166 44168 13997 43959 43961 13790 13928 44099 13924 44030 44028 13859 13860 44027 44161 13862 43821 43823 44023 13648 13652 13998 44165 14000 13786 13721 44033 44035 13870 13866 44311 14146 14142 44309 44241 43965 43969 13798 13796 44245 14072 14074 13797 13801 43964 43966 14004 14008 44171 43827 13658 43831 13660 14003 44176 44172 44173 43752 13583 13585 43756 14005 13867 13865 44038 14073 14077 13663 44240 43826 13659 43828 44039 44037 43832 43755 43830 13868 13661 13582 43757 13586 14071 44174 14147 44308 14006 43825 43829 13662 13664 14007 44312 14145 43967 13657 44246 13802 44244 43968 13795 43970 14078 44239 14076 44243 13799 13933 44177 13800 43963 14002 44175 13864 44170 14075 14144 44315 14140 44313 14009 14434 14431 13855 13917 43628 44749 44878 14404 14116 13574 44746 14269 44034 43747 44989 14515 14482 44197 14032 44195 14028 14135 44304 44306 14131 14098 14096 44269 44265 44242 44310 14141 14143 44314 16168 47472 14601 14603 45733 16105 16085 47064 16095 45537 14755 15983 15792 14779 14781 14739 47089 47093 47056 14718 14851 47265 47274 47378 15762 15764 47003 16027 47179 47293 14772 14787 45704 45705 45690 45700 46720 14761 45687 14812 14792 45770 45768 47092 14724 16048 14813 14609 45558 14613 14607 47291 45702 45556 14610 14612 45557 14751 14750 45694 45697 47422 45737 14736 14775 45532 47396 47392 14762 46973 45792 16073 15981 47271 45711 14754 45708 45787 45710 47381 47057 45720 14777 45724 47268 47054 46967 47377 47387 45769 45765 14829 45525 14578 45536 47052 14822 45801 45813 45810 14855 14798 16006 45551 14784 47303 47276 45667 45734 14763 45797 15751 12408 12402 12410 15811 47079 15995 15806 16074 47272 47277 47267 15999 47007 45819 47418 47345 14632 45693 45703 47427 16104 47170 47410 15839 16025 14793 16045 15946 47320 46992 16044 47075 47073 47266 47283 47406 14756 45685 45816 46707 14573 14596 47338 45530 14864 15744 47261 47334 47331 47342 47337 46980 12414 12416 47408 16116 47343 15837 47099 47339 16075 47203 16106 16078 48179 47304 47087 16042 14602 14815 45760 45714 47290 14825 47101 46960 14600 46994 46995 47000 15928 15799 45750 15895 14773 14752 45670 45730 47066 12393 12397 45778 45675 14778 45715 45727 45740 45534 47384 47262 47254 47053 47049 47563 16275 16317 47598 16262 47083 15937 15788 45829 14880 14920 14910 14912 14907 45884 45864 45860 45823 14875 14911 45881 45824 45883 45877 45874 14934 14931 14943 14898 45890 45892 14902 14908 14882 14870 14924 14917 14915 14879 14918 14914 14929 14906 45863 14930 45867 45872 14899 45835 14873 45871 45870 45891 45822 45836 45888 45882 14887 14891 45845 45840 14919 14921 45880 14889 45841 45839 14893 45838 14892 45842 14894 46122 15227 46185 15166 15176 46128 15232 15233 46150 46176 15174 15170 15178 46160 15202 15230 15214 15212 46168 46164 15186 46139 46135 15191 15189 15460 47164 46061 46079 15117 15129 15138 15162 15153 46083 46078 15144 15102 46092 46106 15159 15130 46108 15165 46085 46048 46112 15108 46051 46114 46084 46101 15112 15111 46088 15148 15113 15139 46087 46075 46057 46052 46111 15131 15126 46115 46105 15099 46076 46058 15103 15135 46109 46065 46093 46097 15149 15147 46056 46067 46060 15140 15104 46096 46049 46074 15156 46094 46103 15115 46069 45999 45991 45995 15047 15045 46066 15120 15122 46070 15048 15040 15044 15043 45993 15041 45997 45951 45944 14998 45943 45946 14994 45933 45926 14981 15192 15443 15124 46059 46063 15110 15137 46062 15142 15101 46091 46081 15125 46077 15127 46113 15160 15132 15163 15154 15136 46090 46095 46099 15143 46127 15209 46153 46157 46136 15190 46138 15207 46129 15181 15177 46068 46072 15382 46340 46338 15422 46374 46376 15418 15886 45929 45925 14979 15059 15066 15062 15058 46013 15078 15081 15056 46034 45985 46027 45981 45974 15028 15024 15029 46073 15119 15263 15301 46215 46219 15290 15295 15266 46242 15256 15262 46218 46220 15265 46192 46188 15238 15236 46236 15284 46238 15280 15100 15098 46054 46050 45621 14673 14664 15835 47296 15860 47185 45666 15901 14708 14714 15766 14675 14696 14695 14692 14711 14704 45612 14691 14660 14693 45639 14683 14707 14701 45614 14702 14656 45609 14659 14657 14705 14665 14699 11911 14698 14710 14669 14682 15114 15141 46089 46071 46107 46053 15145 15164 15155 46110 15116 15097 15107 15134 15105 15151 15123 46116 15106 15157 15158 15118 46104 14687 46041 15077 15079 15085 46029 15025 15089 15083 45978 46014 15985 15742 15086 15023 15076 46044 15082 15814 46038 46035 45980 15088 15030 15061 46011 46016 15032 46015 15026 45975 45979 15080 46032 46047 15095 15091 15172 15283 15281 46233 46237 15419 46375 46371 15421 46725 47138 46737 47134 47141 46728 46734 46731 15726 15728 15721 15373 46329 15377 46331 46455 46452 46449 15575 15574 15568 15537 15571 15519 15566 15551 46527 46521 15578 15546 15550 46500 46505 15577 15547 15565 46504 46503 15548 15528 15555 15569 46524 46530 46518 15564 15572 46509 15559 46513 15557 46495 15539 46491 15541 15511 15567 46523 15576 46529 15573 15516 46506 15549 46501 15522 46516 46474 46499 46517 46526 15540 46497 15447 15553 46472 15526 15561 46511 15563 46507 46488 15527 46492 46462 46471 46515 15579 46466 46475 15518 46479 15449 46459 15525 15376 46330 15374 15713 15716 15666 15649 15709 15693 46668 46662 15688 15704 46656 47399 15689 46643 46642 46638 46641 15703 15710 46659 46665 15707 15684 47397 15685 15686 15702 15675 15712 15657 15706 15715 46605 46607 46570 15627 46579 15617 15634 46598 46566 46597 46586 46535 46587 46588 15642 46571 15623 15621 46591 46589 46595 15636 46964 47258 46962 46531 15587 15585 15594 46544 15596 15607 46565 46540 15611 46563 15552 46633 46498 46629 15677 15679 46646 15700 46637 15697 15628 15610 46560 15608 46648 46564 15696 46510 15562 15558 15687 46508 15606 15646 15624 46635 46667 46577 46608 15692 15691 15635 15643 46599 15619 46640 15705 46639 46569 46658 15690 46661 15597 46573 15580 15654 46604 15648 15645 46584 46539 46657 46660 46600 46666 46654 46548 46626 46653 15722 15641 15637 15588 46593 15640 46655 15717 15631 15584 46538 46951 15615 15633 46478 46476 15524 15520 15523 46473 15521 46477 46616 46614 15658 15662 15665 46581 15625 46609 15663 46613 15680 46634 46632 15506 15502 15496 15503 46580 15630 46576 46612 46610 15590 15632 15664 15660 15592 46627 15683 46631 15538 15676 15591 15595 15681 46541 46543 15612 46562 15614 46558 46628 46630 15682 15609 46561 46559 15613 15678 15698 15694 15501 15504 15498 15507 45776 14826 14828 45780 14850 45799 45800 14835 45805 45814 14853 45818 45806 14836 14837 14868 45784 14859 14862 14865 45811 45815 45785 45802 45803 45781 45789 45812 14856 45798 45817 45809 45808 45773 14823 14827 45775 45793 45763 14817 14819 15701 46649 15699 46645 14995 45948 45950 45945 14993 15000 46480 15536 15534 46484 47044 46453 46451 46454 46457 46450 46460 46447 46448 46456 15215 46167 15211 46169 15167 14978 45909 14965 14969 45921 45936 14986 14984 45918 15020 14960 45972 14955 14951 45966 15013 45905 45957 45923 14952 15012 45947 14997 14999 45971 15179 46131 46151 15817 47167 15187 46137 15544 45858 15219 46141 46470 45931 47036 46987 45604 47080 47416 15795 15798 14686 45651 15146 45986 15037 15033 15038 46009 15861 45908 15934 14962 45976 46046 15046 14903 46028 15064 47005 47287 45613 45645 45630 14677 15298 15248 46201 15288 15254 15244 15042 16051 46045 45992 46017 45830 45915 15073 47129 45910 47332 15009 45990 15446 45660 45605 14674 45641 15293 46254 15261 15292 46248 46251 15270 15302 46210 46202 46206 15252 15245 15296 46245 15733 15289 46227 46224 45632 14684 46288 47237 15094 15022 46290 15980 15977 47222 15967 47226 47231 15926 46002 16101 16093 47076 47358 47078 15752 15750 47103 47295 47220 47235 46408 15332 46082 14621 15647 15638 46162 15216 46166 15218 46404 46020 46080 46957 15723 15725 15800 46958 46956 15745 15988 15719 15653 15877 15479 15508 46458 15509 46435 15497 15500 46975 46431 15450 15133 15052 15050 47161 15911 47394 47388 47391 47382 47385 47379 15802 15731 15729 47094 47100 45895 47102 47279 47275 47286 47229 47288 47232 47282 47223 47225 47292 15092 47217 15883 15161 46086 46055 15150 15152 15109 46064 46379 46546 15411 46363 46361 46341 46390 46387 15415 46377 46364 46360 15416 15435 46391 46332 46388 15438 45567 15560 15556 15305 46436 15593 15505 15499 14615 14579 45535 45518 14629 14624 14618 45576 14626 45531 15616 15620 46574 46596 46572 15720 46590 15644 45570 45549 45582 46542 14620 14572 14561 15629 46583 46514 46512 15334 46650 46652 47178 47180 15891 47169 15899 15897 15894 47172 47175 15888 47166 15128 15727 46284 15589 46547 46545 46434 15353 15299 46197 47413 47329 46467 15515 46469 14570 14630 45573 14614 14569 45553 45527 14581 14623 14563 45554 14617 14633 45834 14888 15370 45969 15656 45772 15183 15194 46159 15210 46483 15535 46407 15224 15542 15545 45960 14973 45912 15175 14966 46567 45861 46496 15223 15226 46179 45954 15017 14992 45771 46636 14796 14982 45930 45709 45932 15695 45940 15014 15002 14959 46651 46212 46246 46244 14808 46123 45879 14933 14890 14939 14932 16054 14874 45961 46611 15661 15659 46615 46578 15808 15626 46582 45852 46644 15268 15711 46663 15714 46617 46149 14881 15708 45782 45791 45790 14832 45682 46664 45678 14913 14983 45949 15259 14809 46252 46247 45853 14900 14904 46481 15055 15051 45855 14923 15754 15371 14936 14975 45941 45939 15639 46575 46592 46557 15622 46519 46568 15618 46383 16102 46362 14945 15991 15748 46536 15823 47284 45885 14878 15386 46585 46594 46520 15439 15427 15718 15413 15399 15362 15889 47227 47328 46239 15193 14897 14877 14926 14935 15197 45827 14895 45825 46647 45927 45913 15205 14956 15203 14987 45903 14927 45876 45831 15554 45755 15011 15010 14974 14964 14968 45922 15169 15016 14996 15543 45963 14942 14905 45862 46223 45717 14720 15206 15273 14764 45673 14886 15221 45844 45826 14909 46493 14922 14991 15004 15019 15007 45904 45914 15185 15008 15006 45965 45902 45938 45968 45962 15060 46026 15074 46033 45821 45977 45973 46021 45958 14976 46144 15200 47130 45956 45937 15093 16023 14990 45833 14958 46030 45906 14954 47182 46043 45640 45663 45657 45648 45623 14678 45654 14980 45955 46148 15198 15904 45970 45935 45982 45952 45964 15018 15072 46018 46008 46287 15763 46289 15065 45665 46037 46042 46031 14925 14916 14883 47419 15084 45631 45596 45636 46993 46098 45896 45622 14715 46019 45820 45893 47353 45850 16022 47321 45994 46040 15090 46039 45953 45942 45898 45983 14985 15003 45959 45967 14988 46010 15063 46003 46528 46182 46146 46133 15196 46132 46158 46173 46525 46124 45849 15531 14896 46155 45837 14871 45832 45875 45868 14940 45866 45873 45878 45846 15201 15229 46489 45900 15001 15570 14872 46119 46522 45854 46409 46494 45894 14869 15005 45766 14818 45764 14941 14938 15220 46490 46502 47327 14928 14884 45886 46229 46398 15949 15442 46191 15235 15239 46193 46400 15243 46200 15247 14666 45627 14668 45618 46100 47350 45828 14937 45865 46012 45847 15943 46036 45848 45851 15027 15096 14901 15021 14885 45859 14876 45856 15015 45889 47322 16003 47095 15087 14989 45928 45887 45857 45869 15910 47104 16020 47356 47359 47008 47126 16019 45588 47033 14584 15785 15858 15844 47318 47188 47319 14636 47191 15769 15772 14580 47299 47127 16057 14637 15907 47011 16060 15786 15857 15841 45587 47034 45529 14583 14585 45533 48060 48033 48063 48025 48047 48037 48045 12577 48054 48056 16238 16163 49297 16717 16720 46394 47614 16290 16286 16254 47624 47623 16266 47573 16248 16259 47613 47490 47196 48165 14746 45686 14744 45683 45732 14737 45672 45741 45680 14726 16024 45681 14725 14728 14785 14735 47349 45738 14782 14770 14717 14716 14789 16050 45691 45729 45689 45679 47323 47351 14743 45696 14719 11838 11839 11770 48028 16183 45843 45901 14961 45907 14963 45911 45899 14953 45917 45919 14971 14967 15397 46343 15393 66256 66243 50141 50162 50160 50150 66263 66261 50148 50154 50156 50166 46211 46209 15257 15253 15398 15396 46346 46347 46349 15395 46277 15327 15329 46342 46273 45916 14970 14972 45920 50558 50561 50564 50552 50549 66675 50499 66589 50538 50553 50559 50544 66630 46618 46622 15672 15671 50545 50570 66360 66336 50247 50228 66318 50232 66320 50204 66299 66335 50246 66324 50270 66359 50528 50181 66276 66278 50180 66275 50183 50231 50229 66347 50258 66317 66321 50224 66258 66264 50159 50175 50171 50169 50177 66313 66679 66680 66678 50157 50153 66260 50146 50163 50142 66242 50165 50151 66590 50504 66607 66612 66605 66572 50484 66576 50486 66617 50529 66621 50531 66705 50234 50560 66687 66323 66620 66618 50546 50271 66693 50207 50205 66726 66732 66735 66729 66302 66300 66660 66662 66334 66714 66669 66716 66720 66671 66697 66723 66689 50495 66625 50198 50196 66661 50548 50514 50509 66654 50543 66642 50541 66633 66651 66582 50534 50536 50519 66606 50523 66639 66573 66575 66600 50507 66602 50537 66629 66627 15391 46556 15602 46554 15598 46553 15605 15603 15667 46625 46623 15674 15533 46485 46487 66698 66696 66670 66666 66657 66711 66715 66738 66741 50542 50235 66688 66684 46549 15529 45998 45996 66348 50259 66614 50485 66623 50535 66628 66624 66578 50520 66608 50522 50527 50525 66615 66619 50230 66346 50226 66319 66315 66238 50203 66322 50245 50233 50269 66298 66358 11984 12059 43038 43134 43069 43076 43074 43100 43136 43197 66274 50179 14575 45511 45515 14631 14616 14565 14622 45583 45571 45580 45521 45575 45584 14628 45565 45569 45566 45581 45524 45519 14562 45523 45578 14634 14566 45572 45528 45512 45574 45520 45568 45577 14567 14625 14574 14619 14576 14571 66707 50257 12379 45353 12335 45493 12425 45415 12245 12289 45488 45479 45506 45499 12465 12243 45502 12420 12477 45494 45289 45292 45491 12486 12244 12480 45497 45486 45505 12488 45360 45167 45227 12288 45416 45500 45163 45423 45290 12474 12424 45234 12330 45164 12469 12333 12375 45482 45503 12423 45490 12240 45230 45166 45496 12334 45481 12470 45293 12468 45297 12483 45226 45478 45229 45171 12290 45419 45487 12285 45418 45355 15604 15600 46275 46550 15325 46279 15323 46603 15121 46619 15532 46274 46621 46344 15651 15655 46348 46620 46482 46551 15599 46555 15673 46624 15324 15328 46552 15392 15601 15669 46601 15530 46486 46276 15668 46465 15445 15394 45352 12380 46533 45356 15512 15517 15650 15581 15670 15652 46602 46463 15514 15513 15583 46606 15582 46537 46532 46534 46468 15586 46464 12378 50131 50134 66706 66702 50143 50137 11985 43066 43073 43163 43199 12129 43033 43037 43071 11987 11980 11915 11913 43010 42884 11771 42974 66296 66294 50220 50223 45342 12305 12215 12260 45216 66613 50547 69634 50490 50201 66253 50502 50556 66604 50550 50530 66581 66586 50526 50494 50503 66594 42940 42945 42947 42907 42911 11841 43013 43006 43192 43164 11912 43011 42975 65831 19629 66083 66016 49900 65769 65805 19714 65923 66228 65868 49904 65894 66021 45465 45306 45301 12346 12353 45341 66198 45467 12441 12443 45431 45218 45211 45344 66214 66223 66190 19809 45153 45404 12396 45368 45402 66193 19534 19811 19449 65865 19541 66162 66020 66079 66195 66049 66122 19538 65931 65928 19899 65797 45180 45432 45470 45463 12440 45468 45274 45148 45117 45281 45279 12398 45155 42887 42741 42885 11768 42948 42950 11840 42912 42943 43139 11764 65764 65895 19808 65832 66161 18209 66120 66230 66272 66265 66270 66753 66747 66749 47466 47469 12350 12351 45339 45305 45337 45334 45179 45427 12263 45213 12261 45215 45460 12436 45405 45400 45369 12395 45407 12308 45276 45278 45242 12306 12301 12391 12211 45397 45364 45150 45112 45208 45271 12256 45238 45145 12218 45116 45175 45152 12216 16157 16160 12579 50147 50178 50176 66250 66247 50140 66255 50145 66245 66252 66254 66246 50144 66241 16790 16794 16815 16798 16788 16833 16781 16812 16327 47635 16835 16803 16828 16806 16809 16779 42713 42716 69557 69558 43008 43129 11680 42736 42882 43195 43159 43132 11769 43200 43137 12056 43003 43096 42877 12128 43202 42970 11843 66653 66649 66638 66635 66631 66641 66650 66644 66647 47821 48051 66652 50563 50174 45243 66257 19451 66599 50512 12124 12057 42740 43101 48055 11908 42880 11662 12052 12131 11836 16158 16161 50506 66610 50524 66648 66592 66588 16834 16773 16329 47632 16325 16326 47637 47633 16328 47634 47636 16324 49417 49436 49443 49413 49435 49434 49425 49418 49416 49427 49431 49440 69688 69553 69687 69691 69560 69693 69686 66197 69695 65863 66059 19539 65953 65933 65860 66057 50172 19804 65926 19448 65807 19721 66054 66115 19898 66084 19718 65993 65957 65991 69698 69682 65989 65958 18202 19628 19719 65768 66119 19444 19901 65996 18207 66269 66220 66273 49905 49907 66267 19894 66271 50168 66218 66225 65867 65827 65986 66117 19631 65870 65802 66052 65930 19624 65800 66200 16513 16516 18082 17338 7051 7047 7020 17938 49079 17415 47824 11560 11566 11572 11563 11569 11557 16810 48532 66626 50540 66622 50481 50517 66587 49039 65804 50182 66157 66277 65890 66227 65994 66112 66056 66290 66219 69696 18206 18305 26363 18303 18299 18297 18238 18260 18390 20324 18384 26402 18307 18258 18267 20320 26400 18386 18264 1369 1370 18349 18475 26359 18268 18501 18503 18377 18504 18478 18506 18375 18459 18310 18436 18378 18464 18461 18336 18335 18338 18462 18333 18296 18380 18294 18291 18271 18293 66742 50508 66632 66577 66603 66598 66596 50744 50565 50511 50562 66585 50513 66569 66595 50568 50302 66571 66580 66640 50493 18203 66616 64765 17974 18118 16823 16821 16829 16827 39303 39657 39480 39126 40163 26554 26500 39834 65041 63349 63553 63763 64183 64603 64393 63973 40985 38949 64741 40658 38778 37045 36953 36805 37049 36949 36809 36901 36906 36908 36778 37018 36922 36665 36663 36626 36426 36478 36485 36483 36428 36541 36538 36682 36502 36548 36546 36507 36658 36543 36545 36506 36286 34202 34198 36291 36293 36668 36666 36661 36627 36294 36289 34203 36365 36368 36425 36363 36423 36382 36366 36486 36442 36713 36386 36481 36329 36325 36361 36387 36330 36447 36358 36421 36488 36566 36608 36606 36605 36601 36598 36603 36562 36567 36622 36709 36418 36380 64717 36560 36684 36319 36678 36374 36672 36500 36558 36494 36556 36498 36440 36618 36378 64643 36620 36614 36610 36317 39903 36550 39905 64724 64641 36432 36616 36434 36496 36490 64647 36554 36438 36376 36492 36680 64722 36552 36436 36612 39855 39837 64735 39850 36715 65154 65150 12490 10973 6842 17057 17055 18693 18752 26594 26564 26579 18723 26592 18750 18695 26562 18725 18720 36296 36446 49373 1076 1072 1040 11137 49422 49426 49074 49078 36826 40327 11156 11154 11131 11072 11112 11070 11114 11047 11089 11134 11150 11148 11215 11240 11238 11106 11108 11092 11064 11050 11066 11234 11232 11218 11095 11098 11056 11060 11102 11228 11224 11254 11101 11099 11143 11141 11179 11059 11057 11014 10984 1036 11026 26518 7033 49389 42588 48501 48503 42592 49386 49398 49400 49391 49390 50510 66645 66636 49377 49381 48525 65869 50532 50533 50555 66018 11361 11368 11493 11520 11497 11524 11365 18352 18420 18394 18422 18417 18419 18360 18318 18717 18719 18657 18659 18517 12503 12499 12493 12507 26474 18546 26472 18543 64754 18653 18649 18645 18705 18713 18709 18453 18497 18448 18481 18446 18458 18455 18439 18456 18498 18500 18444 18451 18402 18449 18445 18447 12509 18372 18374 18484 18290 18288 18313 18277 18283 18281 18279 18369 18371 18316 18534 18537 18539 18285 18274 18329 18287 18327 18358 18355 18330 18325 18319 18321 18323 18332 18361 18365 18400 18363 18367 18410 18407 18404 18406 18403 18414 18416 18409 18397 18405 18411 18413 18408 18711 18703 18714 18746 18744 18741 18716 18687 18684 18689 18675 18736 18732 18679 48534 48528 48531 18486 18522 18280 18442 18528 18278 18533 18530 18282 18284 18324 18326 50668 18252 18254 18241 18257 18255 18248 18244 18249 18251 18567 18569 18559 18555 18563 65168 17054 17052 26557 26503 18362 18492 18368 18320 18452 18450 18494 18366 18322 18364 26508 26510 18603 18605 18597 18594 18589 18585 18599 36719 17048 16150 18712 26521 16861 16864 16858 18592 18652 18682 18562 17988 17990 18060 17905 17847 17919 17918 17993 18065 18132 18137 17689 17775 17777 17844 17774 48914 12576 17849 48912 17700 18135 17833 17772 18063 18049 17916 17921 17991 18062 17702 17846 17705 17703 18134 16832 64624 64620 48915 16830 48917 16813 17025 16867 16879 17026 16996 16917 16974 16992 16820 16824 48911 48905 48543 48903 16826 16988 48909 48898 17044 17012 16970 16958 16926 16900 17037 16904 17043 17019 16919 16928 17001 17051 17021 16936 16909 16960 17014 16951 17027 17039 16955 17049 16887 16771 17031 16978 17033 17010 16986 16933 16937 16907 17007 16935 16906 16883 17004 16968 16932 16816 18561 18553 64764 64767 26495 18575 18573 26489 18566 26485 18564 65295 64881 65303 65174 65301 26499 18637 18651 26539 18656 26547 18643 18654 18660 26553 18665 26549 26543 18663 64889 64887 64756 64760 26493 65170 65181 65178 65291 65289 40492 65279 65277 65285 40513 65283 65182 65284 40566 65185 18570 18547 65271 36904 36865 36875 65198 65273 65188 65266 65196 36909 36869 40558 40562 65192 36873 11132 11155 36863 1028 11090 11048 11113 11071 11216 11239 48516 48512 48510 48520 11174 11197 18707 26572 18635 26532 18627 26528 18633 65160 18624 26526 26534 65164 18629 16825 16814 48537 48910 1024 11116 11091 11049 11074 11133 11200 11175 11158 65038 18615 18619 65043 65034 26536 18647 40496 40512 40514 40507 16153 16768 16765 39997 64877 64875 17205 17276 17259 17263 17209 553 17204 17258 17277 26482 18557 65156 17241 17245 17278 17281 17761 17977 17575 18121 18250 17771 17843 18057 18246 48538 48535 48902 18398 18328 18129 17335 18245 17692 18454 17764 18289 17984 18441 18056 18052 17915 18286 17908 17980 17985 18131 18457 17768 17987 18482 18315 17697 17699 49409 18739 18415 17696 18496 18247 18499 49368 49372 49407 18373 18128 18412 17912 18357 17840 17836 18275 18124 18370 48906 48542 48908 48900 18276 18314 18440 18356 18483 17913 17769 17841 18059 18399 18331 48493 49216 48895 49382 49380 65290 17090 40493 64876 39998 49344 49355 49362 49353 49323 49354 49310 49341 49308 49364 49319 49314 49337 49317 49336 49309 49335 49345 49318 49359 49328 49346 49327 49326 49305 49332 49350 40018 64869 64863 64768 64871 64865 65142 65144 65148 64771 36721 64784 36760 40071 36731 64852 40063 40067 36729 64782 64859 36765 36725 64774 64857 65136 36859 65057 36819 18622 18532 65131 40400 36823 36828 40398 65061 65055 65138 64870 40019 40001 40012 40332 40345 40350 65149 18272 6828 6823 65321 41036 65597 34848 41046 65600 34844 41030 34841 34839 41042 41040 34817 41032 34744 10943 34832 34822 34835 34830 34820 34826 34643 31073 34606 28121 34700 34679 34694 34707 34698 34703 31182 34751 34676 34685 31178 34691 34689 34715 34681 64910 64907 34672 10926 65324 65048 40383 40368 40373 40362 40376 40364 65045 40385 40358 40389 34787 40379 48907 48536 65155 40329 1052 1064 36679 36675 49395 49399 1060 1048 12519 6522 556 12506 12510 6839 12501 12504 12496 11217 11242 10990 49363 64778 40017 11761 50952 66989 66987 68876 68878 68794 66643 50521 66634 66646 66637 50574 50539 66983 50948 66979 50944 50903 50911 50925 50907 50901 50928 66894 66918 66904 66900 66921 66896 66909 66913 66924 69804 69649 69801 69821 69808 69813 69815 69819 50515 66584 66933 50940 66980 66925 50931 66927 50929 50934 66975 66964 66971 66977 50942 66969 66935 50945 50936 66611 66593 66601 66579 66574 66597 66570 66583 66591 66609 69656 69648 69824 69651 69662 69665 69654 69826 69802 69660 69667 50487 50482 50492 50483 66568 50516 50500 50551 69800 50554 50491 50496 50518 50557 50480 50505 50501 50488 50479 50498 69647 50497 50489 16763 48922 48492 16849 41148 41187 41160 41154 41175 41169 41166 41184 41163 41151 41181 41157 41172 41178 42620 42610 42606 42618 6981 69952 26468 26360 11241 11243 11199 11201 11115 11117 11075 11073 6977 6916 11159 11157 7025 7014 7008 7038 7026 7056 7058 7032 17184 17197 17142 17155 17170 17179 17152 17173 17160 17134 17080 17098 17123 17070 17083 17119 17106 17116 17088 17101 6838 6983 6987 16862 26379 26383 17053 26380 26378 26414 26450 26365 26361 26451 26455 26401 26419 26415 26452 26416 20323 26362 20326 20322 20321 26397 26396 26398 26434 26433 26432 26437 26470 17137 17124 7105 26504 26581 26577 26558 48491 48919 17454 26541 26545 7605 7362 7767 7443 7281 7524 7686 7682 11178 7685 7683 7678 11194 11191 11177 7520 11107 11052 7759 7763 7277 7597 7435 7440 7442 11219 7601 7278 11220 7764 11236 11023 11149 11013 7604 11068 7439 11135 11065 11233 10983 11136 11152 7354 7358 7602 7273 7280 11012 7361 7359 11110 11093 7516 7523 11094 10982 10987 7521 7766 11051 47639 16332 48463 48913 16738 48494 49086 49215 49218 17576 17572 49068 49088 17568 17418 17562 17445 17447 17463 17505 17538 17433 17442 17446 17438 17436 17460 17532 17535 17501 17472 17547 17553 17499 17509 17474 17456 17571 17556 17565 17550 17482 17478 17559 17541 17420 17465 17464 17419 17437 49173 49141 49137 49133 49194 49212 49182 49203 49191 49179 49197 49200 49188 49185 49209 49176 49206 17429 17427 17544 17577 17574 49092 49097 49096 49095 49105 49106 49104 49110 49070 49059 49114 49061 49052 49050 49131 49217 49213 17884 17873 63783 17874 17887 63782 63814 63811 63400 63371 49220 17740 17730 17802 63572 63372 17579 63403 17729 49696 49221 17580 63601 17743 49693 17815 63573 17812 64024 17945 63992 17946 64021 17959 63993 17956 63604 17801 17671 17668 18090 64412 64413 64444 64202 18028 18018 64231 64234 18017 18031 64203 64441 18100 18103 18089 49083 49087 17469 17473 49056 49065 49069 49060 49047 49051 49159 49169 49124 49149 49155 49122 49167 49151 47640 48466 16735 16331 7449 7773 7769 7772 18133 7756 7692 17835 17848 7446 7448 7432 11627 11632 1166 11628 17517 17424 17490 17519 17527 17492 17523 17455 6913 39827 39650 39296 7689 7675 18051 18064 17920 17917 7526 7530 17514 17518 17526 17528 17491 17763 7367 7351 17762 7368 7365 17776 17691 7284 7283 7611 7608 17992 7610 17979 17978 17989 49168 49158 17428 17451 70072 70068 17487 6972 48916 16772 48495 18518 6984 17056 16863 6986 6973 6919 6968 6966 6980 6978 11140 11144 11151 11153 11063 11226 11097 11067 11061 11188 11055 11237 11235 11193 11100 11184 11195 11069 11230 11146 11142 11109 11111 11103 11223 11181 11139 11147 11145 11016 11020 11058 11104 11062 11105 11229 11231 11189 11187 11256 26563 26576 26509 26593 26559 26505 11268 11262 11265 11259 11225 11227 70062 70064 40476 40470 40479 40482 70107 40464 40472 40484 40478 40466 40369 40467 40469 40475 40473 6967 6920 26578 26469 26473 16905 16910 16884 16899 16886 16875 16877 16890 16908 16902 17032 18578 18668 17164 17163 17126 12524 17162 17072 17176 11591 17092 17167 12529 17113 47853 47848 11592 11599 47855 47846 17146 17145 18535 17110 17073 17127 17128 17131 17149 17077 17095 11614 12525 17091 12526 17074 17109 16894 26491 26487 26522 7009 7069 6997 7003 7021 7099 1068 7658 7680 7659 1061 1065 1062 7679 1071 7651 7655 39822 39824 39817 7356 1013 7334 7332 7360 6927 6942 6938 6954 6929 6961 6951 6959 6957 6936 6946 997 6896 6918 6979 18568 18549 18379 18354 18353 18376 18479 18502 18421 18396 18395 18418 18311 18334 18480 18505 18242 18292 18243 18337 18295 18312 18438 18460 18273 18437 18718 18253 18639 18658 18688 38937 38939 70023 60903 60900 39475 39643 70059 70063 39645 39647 39648 70089 40157 70090 70091 70086 40152 40154 40155 38940 38942 70179 70188 70167 70176 70155 70014 38768 70182 38766 70117 70113 70018 12538 70161 70158 70170 70164 70185 70173 38935 70027 38771 38769 38764 70019 70017 70028 70026 38773 70131 40982 40977 40979 70127 40815 70125 40480 40324 70104 70109 40485 40487 70108 39471 70050 70054 39473 40652 40650 39470 39468 39466 39298 70053 70055 39994 40322 39820 70095 40317 70099 40319 39652 70136 70082 70484 70077 70134 39825 70482 70081 39829 39989 39987 39992 70395 70100 70332 70098 70365 70135 70367 70149 70152 70266 70477 70080 40320 70488 40980 39990 40819 39116 38944 39114 70035 70037 70036 70032 39112 39119 39117 40812 70122 70126 40814 40817 70425 70471 70476 70478 70403 70401 39985 70472 70470 70467 70464 41139 41141 70140 70143 70144 70145 41142 41144 33720 33714 33716 40159 70116 40489 40647 40649 70118 40654 18179 33711 33706 39268 39291 39121 39273 63855 70045 63851 70041 63852 63961 39277 39289 39189 39294 39290 39167 39188 63854 39276 63958 39166 39271 39285 39287 39275 63955 39279 70046 39284 39293 39274 39278 39288 39281 39282 40312 17766 17838 18055 18125 17983 17981 17765 18053 17982 18130 17986 16865 17839 17911 17695 17910 17770 18127 17909 17837 17047 17842 18054 17693 18058 17694 18126 17914 18519 18538 18698 18598 17050 6962 6955 18669 16866 18745 18715 18579 6922 41133 41135 40976 40974 40808 40806 39983 39981 40971 40973 38936 38934 70432 70428 39818 39816 41136 41138 40316 40314 70389 70383 39819 38762 70386 39821 38760 70392 70376 70343 70379 41129 41121 41048 41123 41127 38928 38930 40146 40148 38933 38931 39110 39108 39111 39113 39813 39815 41130 70340 41132 38756 39975 40967 40965 40308 39812 39810 39641 39467 39465 39639 40151 40149 40809 40811 40646 40644 39642 39644 39977 40800 38754 40970 40968 40802 38927 38925 39102 39104 39105 39107 39638 39636 40805 40640 40803 40638 39459 39461 39633 39635 70419 70441 70446 70458 70453 70422 70448 70372 70415 70460 40143 40137 40062 64858 40139 64772 40142 40140 40310 70412 70408 70375 70414 18463 18699 17698 18256 6958 6930 6897 6917 7327 7335 1023 1020 7355 7331 1017 1014 1053 1050 7578 7574 1056 1059 1049 7577 7603 7599 1073 7736 7737 7740 7760 1080 1083 1077 7765 1074 7761 7739 7762 7408 1025 1041 7489 7522 1026 7413 7437 7441 7497 1032 7436 7415 7416 1037 1047 1044 7494 7517 7496 7519 7438 7412 7518 1035 1038 1029 7357 1002 7253 7251 1004 7279 7275 7250 7274 7254 1001 7246 39453 39448 64162 39366 39455 38919 63441 38921 63535 38840 39096 39098 63745 63645 40391 40459 39804 39806 39719 39697 64485 64585 63440 63532 38841 38924 38922 40297 40227 63742 63644 39012 39099 39094 40864 40887 40962 65462 40313 40311 40305 40307 39874 39969 39896 39971 65413 40721 65325 40794 39543 39625 64274 64372 39630 38914 39986 39967 39980 39897 39984 64720 39972 64634 39978 65548 40954 65463 40964 65551 40961 39964 40789 65410 40722 40634 65272 65186 41026 65689 65601 39458 39456 34187 60906 33700 38750 38748 63334 40462 65134 39542 39807 64275 70333 64375 70369 39802 39622 40392 39627 39720 39629 64484 70337 39464 39462 40134 40136 64773 64861 40061 39365 39343 39445 39452 64065 65049 65137 65275 40637 40635 40643 40556 40039 40145 40534 40639 40226 40301 40294 40306 64911 40299 41124 41049 41126 38759 38757 40040 38763 64867 38765 64864 64769 40138 65686 70339 38751 63331 38753 60905 34188 40135 41131 40205 65281 40300 65005 65184 6892 6976 40132 70373 40129 41119 40204 40792 40041 38989 39809 39450 40959 40957 39091 40796 40624 64635 64770 64999 40799 39974 64582 39011 38743 38917 38818 64064 39101 40886 40302 40699 40629 39799 65187 40627 41116 40304 64165 39520 40632 64996 38746 40797 40557 39632 40631 40641 40481 64723 7684 7681 7600 7276 7598 7732 7575 7570 7493 7656 39842 39848 39846 40526 40530 39869 39867 70336 39814 39106 39460 38758 40536 40633 41022 41024 41018 65598 40701 40700 41125 65695 65692 40798 65419 65322 40795 41027 41028 41016 18061 7529 17690 7513 7270 7607 18123 7594 17704 17834 17701 17907 7688 7286 7527 49150 49164 49119 49160 49123 49146 17773 18122 17906 18050 7445 7287 7770 7691 18136 17845 7364 40969 38929 12569 1184 16342 42704 42711 39863 65002 40370 39873 40303 40524 39970 64631 40206 64726 40532 39875 64908 39454 39345 64061 65459 31215 31174 31217 31069 40866 31210 38820 63437 38923 39344 64171 63641 64062 64482 39100 64591 39698 33702 38752 40963 65557 63438 38819 63541 65460 40865 63748 64168 63642 39097 38990 64271 38920 39521 64381 40960 39628 39631 65554 58866 39451 64588 39522 64272 33701 63340 39808 63538 39856 39859 40354 31177 40351 31216 31185 31072 30317 30320 6841 40804 39835 30299 30312 30314 30308 40150 40315 40477 39838 38761 70483 70431 41137 40972 41134 70433 39109 38932 40645 40810 40975 39463 40807 70447 70411 39640 39982 40144 28117 40309 28120 39811 40801 39103 39457 38755 38926 40966 39976 40474 40636 40471 39634 41128 39637 40141 39286 39280 39283 39699 65416 39805 63337 63751 38991 64481 39168 63952 38749 64378 58865 16831 30313 33668 33659 33672 33664 33674 6835 70378 70459 70342 70359 20302 20292 70274 70242 70200 70205 70257 70217 70196 70308 70323 70320 70273 70282 70212 70234 70291 70281 70292 70303 70311 70213 70235 70209 70214 70301 70278 70296 70233 70313 70312 70269 70272 70226 70239 70191 70225 70230 70221 70329 70203 70260 70290 70299 70317 70287 70300 70283 70216 70254 69718 70243 70224 68869 70248 70251 70195 70194 70304 70204 70263 70326 70244 6562 40642 40147 1169 16545 16547 16540 16538 11581 11596 11629 31148 7846 12497 6926 17767 1386 1387 7845 7848 7817 7827 7822 7850 7815 7852 66860 12895 69626 66800 66797 69632 66845 69894 66793 69628 69622 66848 47458 280 284 30301 16528 1381 1379 50916 50920 50389 7820 20992 7816 7853 66391 50816 47461 48967 47065 14977 45924 14592 45934 45719 45674 45722 15898 45752 14648 46102 14647 15274 15313 45716 14957 14950 14949 14948 14947 46326 11705 11708 11711 1183 20294 20293 562 563 568 50579 70492 70490 70489 69775 69779  0
658.61/658.68	
658.61/658.68	c Core has size 14019

OK	14019

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

running on 2 cores: 4,6

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: 2.33 2.39 3.00 5/187 908
/proc/meminfo: memFree=30108608/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=380 CPUtime=0 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4194304 76 0 0 0 0 0 0 0 25 0 1 0 892476414 389120 29 33554432000 4194304 4365125 140735485592992 18446744073709551615 274659884679 0 2147483391 4096 0 0 0 0 17 4 0 0 0
/proc/908/statm: 95 29 22 42 0 22 0

[startup+0.092174 s]
/proc/loadavg: 2.33 2.39 3.00 5/187 908
/proc/meminfo: memFree=30108608/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=21460 CPUtime=0.08 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 4375 0 0 0 8 0 0 0 25 0 1 0 892476414 21975040 2192 33554432000 4194304 4365125 140735485592992 18446744073709551615 4257969 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 5365 2192 261 42 0 2513 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21460

[startup+0.101176 s]
/proc/loadavg: 2.33 2.39 3.00 5/187 908
/proc/meminfo: memFree=30108608/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=21460 CPUtime=0.09 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 4389 0 0 0 9 0 0 0 25 0 1 0 892476414 21975040 2199 33554432000 4194304 4365125 140735485592992 18446744073709551615 4272002 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 5365 2199 261 42 0 2513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21460

[startup+0.301138 s]
/proc/loadavg: 2.33 2.39 3.00 5/187 908
/proc/meminfo: memFree=30108608/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=24280 CPUtime=0.28 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 5895 0 0 0 28 0 0 0 25 0 1 0 892476414 24862720 2881 33554432000 4194304 4365125 140735485592992 18446744073709551615 4316995 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 6070 2881 262 42 0 3218 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24280

[startup+0.701063 s]
/proc/loadavg: 2.33 2.39 3.00 5/187 908
/proc/meminfo: memFree=30108608/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=35804 CPUtime=0.68 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 15949 0 0 0 67 1 0 0 25 0 1 0 892476414 36663296 5049 33554432000 4194304 4365125 140735485592992 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 8951 5049 262 42 0 6099 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35804

[startup+1.50095 s]
/proc/loadavg: 2.33 2.39 3.00 5/188 909
/proc/meminfo: memFree=29883440/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=72536 CPUtime=1.48 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 45333 0 0 0 144 4 0 0 25 0 1 0 892476414 74276864 11430 33554432000 4194304 4365125 140735485592992 18446744073709551615 4245153 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 18134 11430 262 42 0 15282 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72536

[startup+3.10068 s]
/proc/loadavg: 2.33 2.39 3.00 5/188 909
/proc/meminfo: memFree=29909232/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=161180 CPUtime=3.09 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 101047 0 0 0 298 11 0 0 25 0 1 0 892476414 165048320 26082 33554432000 4194304 4365125 140735485592992 18446744073709551615 4249658 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 40295 26082 262 42 0 37443 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161180

[startup+6.30113 s]
/proc/loadavg: 2.47 2.42 3.01 5/188 909
/proc/meminfo: memFree=29752520/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=275624 CPUtime=6.29 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 170974 0 0 0 609 20 0 0 25 0 1 0 892476414 282238976 51519 33554432000 4194304 4365125 140735485592992 18446744073709551615 4244654 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 68906 51519 262 42 0 66054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 275624

[startup+12.701 s]
/proc/loadavg: 2.59 2.44 3.01 5/188 948
/proc/meminfo: memFree=29504996/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=481616 CPUtime=12.69 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 360316 0 0 0 1229 40 0 0 25 0 1 0 892476414 493174784 94649 33554432000 4194304 4365125 140735485592992 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 120404 94649 262 42 0 117552 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 481616

[startup+25.5008 s]
/proc/loadavg: 2.90 2.52 3.03 5/188 948
/proc/meminfo: memFree=29275824/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=684132 CPUtime=25.48 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 577107 0 0 0 2487 61 0 0 25 0 1 0 892476414 700551168 147249 33554432000 4194304 4365125 140735485592992 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 171033 147249 264 42 0 168181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 684132

[startup+51.1004 s]
/proc/loadavg: 3.34 2.65 3.06 5/188 951
/proc/meminfo: memFree=29023840/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=688344 CPUtime=51.08 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 657723 0 0 0 5038 70 0 0 25 0 1 0 892476414 704864256 152835 33554432000 4194304 4365125 140735485592992 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 172086 152835 264 42 0 169234 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 688344

[startup+102.306 s]
/proc/loadavg: 3.84 2.90 3.12 5/188 1067
/proc/meminfo: memFree=28832124/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=688344 CPUtime=102.3 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 657723 0 0 0 10159 71 0 0 25 0 1 0 892476414 704864256 152835 33554432000 4194304 4365125 140735485592992 18446744073709551615 4262552 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 172086 152835 264 42 0 169234 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 688344

[startup+162.301 s]
/proc/loadavg: 3.94 3.10 3.17 5/188 1068
/proc/meminfo: memFree=28798648/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=708824 CPUtime=162.29 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 660261 0 0 0 16158 71 0 0 25 0 1 0 892476414 725835776 155373 33554432000 4194304 4365125 140735485592992 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 177206 155373 264 42 0 174354 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 708824

[startup+222.301 s]
/proc/loadavg: 3.98 3.26 3.22 5/188 1070
/proc/meminfo: memFree=28802724/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=696536 CPUtime=222.29 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 667164 0 0 0 22157 72 0 0 25 0 1 0 892476414 713252864 154084 33554432000 4194304 4365125 140735485592992 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 174134 154084 264 42 0 171282 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 696536

[startup+282.3 s]
/proc/loadavg: 4.04 3.41 3.27 5/188 1072
/proc/meminfo: memFree=28748272/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=708824 CPUtime=282.29 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 685090 0 0 0 28155 74 0 0 25 0 1 0 892476414 725835776 155255 33554432000 4194304 4365125 140735485592992 18446744073709551615 4262567 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 177206 155255 264 42 0 174354 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 708824

[startup+342.301 s]
/proc/loadavg: 4.01 3.51 3.31 5/188 1074
/proc/meminfo: memFree=28747384/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=688344 CPUtime=342.29 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 731736 0 0 0 34149 80 0 0 25 0 1 0 892476414 704864256 152685 33554432000 4194304 4365125 140735485592992 18446744073709551615 4262092 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 172086 152685 264 42 0 169234 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 688344

[startup+402.301 s]
/proc/loadavg: 4.00 3.60 3.35 5/188 1341
/proc/meminfo: memFree=28996156/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=402.29 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 784229 0 0 0 40142 87 0 0 25 0 1 0 892476414 732127232 155261 33554432000 4194304 4365125 140735485592992 18446744073709551615 4291537 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 155261 264 42 0 175890 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 714968

[startup+462.301 s]
/proc/loadavg: 3.72 3.60 3.37 4/182 1404
/proc/meminfo: memFree=29044496/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=696536 CPUtime=462.3 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 798268 0 0 0 46140 90 0 0 25 0 1 0 892476414 713252864 152661 33554432000 4194304 4365125 140735485592992 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 174134 152661 264 42 0 171282 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 696536

[startup+522.301 s]
/proc/loadavg: 3.26 3.49 3.34 4/182 1406
/proc/meminfo: memFree=29053904/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=696536 CPUtime=522.3 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 798268 0 0 0 52140 90 0 0 25 0 1 0 892476414 713252864 152661 33554432000 4194304 4365125 140735485592992 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 174134 152661 264 42 0 171282 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 696536

[startup+582.3 s]
/proc/loadavg: 3.09 3.40 3.32 4/182 1408
/proc/meminfo: memFree=29038644/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=582.3 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 800581 0 0 0 58140 90 0 0 25 0 1 0 892476414 732127232 154974 33554432000 4194304 4365125 140735485592992 18446744073709551615 4244624 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 154974 264 42 0 175890 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 714968

[startup+642.301 s]
/proc/loadavg: 3.08 3.34 3.30 4/182 1410
/proc/meminfo: memFree=29024496/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=642.31 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 803316 0 0 0 64140 91 0 0 25 0 1 0 892476414 732127232 157709 33554432000 4194304 4365125 140735485592992 18446744073709551615 4242742 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 157709 264 42 0 175890 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 714968

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

[startup+646.301 s]
/proc/loadavg: 3.07 3.33 3.30 4/182 1410
/proc/meminfo: memFree=29024372/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=646.3 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 803316 0 0 0 64539 91 0 0 25 0 1 0 892476414 732127232 157709 33554432000 4194304 4365125 140735485592992 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 157709 264 42 0 175890 0
Current children cumulated CPU time (s) 646.3
Current children cumulated vsize (KiB) 714968

[startup+652.701 s]
/proc/loadavg: 3.07 3.33 3.30 4/182 1410
/proc/meminfo: memFree=29024368/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=652.7 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 803316 0 0 0 65179 91 0 0 25 0 1 0 892476414 732127232 157709 33554432000 4194304 4365125 140735485592992 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 157709 264 42 0 175890 0
Current children cumulated CPU time (s) 652.7
Current children cumulated vsize (KiB) 714968

[startup+655.901 s]
/proc/loadavg: 3.06 3.32 3.30 4/182 1410
/proc/meminfo: memFree=29024368/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=655.9 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 803316 0 0 0 65499 91 0 0 25 0 1 0 892476414 732127232 157709 33554432000 4194304 4365125 140735485592992 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 157709 264 42 0 175890 0
Current children cumulated CPU time (s) 655.9
Current children cumulated vsize (KiB) 714968

[startup+657.5 s]
/proc/loadavg: 3.06 3.32 3.30 4/182 1410
/proc/meminfo: memFree=29024368/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=657.5 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 803316 0 0 0 65659 91 0 0 25 0 1 0 892476414 732127232 157709 33554432000 4194304 4365125 140735485592992 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 157709 264 42 0 175890 0
Current children cumulated CPU time (s) 657.5
Current children cumulated vsize (KiB) 714968

[startup+658.301 s]
/proc/loadavg: 3.06 3.32 3.30 4/182 1410
/proc/meminfo: memFree=29024368/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=658.31 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 803316 0 0 0 65740 91 0 0 25 0 1 0 892476414 732127232 157709 33554432000 4194304 4365125 140735485592992 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 157709 264 42 0 175890 0
Current children cumulated CPU time (s) 658.31
Current children cumulated vsize (KiB) 714968

[startup+658.701 s]
/proc/loadavg: 3.06 3.32 3.30 4/182 1410
/proc/meminfo: memFree=29024368/32951132 swapFree=67054616/67111528
[pid=908] ppid=906 vsize=714968 CPUtime=658.7 cores=4,6
/proc/908/stat : 908 (MoUsSaka) R 906 908 31313 0 -1 4202496 803320 0 0 0 65778 92 0 0 25 0 1 0 892476414 732127232 54270 33554432000 4194304 4365125 140735485592992 18446744073709551615 274664851591 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/908/statm: 178742 54270 268 42 0 175890 0
Current children cumulated CPU time (s) 658.7
Current children cumulated vsize (KiB) 714968

Child status: 20
Real time (s): 658.711
CPU time (s): 658.721
CPU user time (s): 657.784
CPU system time (s): 0.936857
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1118016

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

runsolver used 1.12883 second user time and 2.34264 second system time

The end

Begin job on node131 at 2011-06-11 18:12:48
IDJOB=3495946
IDBENCH=89535
IDSOLVER=1989
FILE ID=node131/3495946-1307808768
RUNJOBID= node131-1307808750-722
PBS_JOBID= 13551052
Free space on /tmp= 74048 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/g7n.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495946-1307808768/watcher-3495946-1307808768 -o /tmp/evaluation-result-3495946-1307808768/solver-3495946-1307808768 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495946-1307808768.cnf

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

MD5SUM BENCH= a707bfe320eae858fdac64b973892ea8
RANDOM SEED=2076522150

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.83
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.830
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.830
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.77
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.830
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.830
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.75
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.830
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:     32951132 kB
MemFree:      30110020 kB
Buffers:        296568 kB
Cached:        1839332 kB
SwapCached:       9824 kB
Active:         986784 kB
Inactive:      1602168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30110020 kB
SwapTotal:    67111528 kB
SwapFree:     67054616 kB
Dirty:           25712 kB
Writeback:           0 kB
AnonPages:      451176 kB
Mapped:          13636 kB
Slab:           186696 kB
PageTables:       6312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   789652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74064 MiB
End job on node131 at 2011-06-11 18:23:47