0.00/0.00	c MoUsSaka with meat
2.69/2.74	
2.69/2.74	s UNSATISFIABLE
478.51/478.58	c Core is minimal
478.51/478.58	
478.51/478.58	v 74613 78640 62537 67500 74614 70589 78639 75552 74615 66563 63474 78641 70588 75498 75550 74656 74658 74657 75456 75486 75489 75487 75485 71470 71472 71471 75455 74655 75113 75101 75109 74661 75104 75111 75091 75118 75105 75122 75124 74620 74628 74621 74622 74627 74626 75444 75447 75440 75439 75442 75441 75445 75446 75443 74637 74638 75408 75454 75451 75453 75452 75449 74642 74654 74652 74651 74653 74649 74644 74645 74647 74648 74650 75112 75108 74619 75116 74997 75121 75120 74623 75107 74625 74636 74634 74639 74640 74635 74630 74629 74632 74641 71463 71462 70630 70632 70623 70627 70629 70628 70626 70624 70625 70612 70613 70611 71347 71341 71340 71345 71343 71348 71344 71346 71349 71350 70608 70610 70607 70614 70616 70615 70619 70620 70621 70622 70617 70618 70605 71338 71331 71329 71333 71336 71330 70606 71522 71351 71328 70604 70603 70601 70600 70599 71326 71431 71352 71394 70587 67441 67498 67446 67494 70597 70595 70598 67496 67405 71072 70590 70594 70631 67451 71327 71335 66576 66599 66594 66584 66589 66590 66598 66575 63468 66574 67436 66572 63472 66600 66588 66593 66592 66601 66597 66606 66586 66577 66579 66573 66604 66591 66602 67437 66569 66570 66595 66571 66581 66578 66580 66568 66567 66566 66605 63466 62574 62563 63420 55327 59382 55364 55420 55418 55368 59384 59362 59364 59363 59365 59361 59359 59358 59360 59357 59385 55416 59444 59389 59371 59373 59368 59381 59379 59374 59370 59372 59369 55414 59366 59367 59375 59380 59383 59376 59377 59378 58512 55399 55402 55373 55378 55411 71334 66596 66583 66587 55377 55325 55326 51394 51338 51379 54526 54525 54528 51382 54524 54523 54521 54522 51337 55359 55358 54493 54495 54494 51376 51370 51352 54492 54491 54489 54488 51373 54520 51367 54496 54497 54519 54513 54512 54516 54514 54515 54527 54506 54504 54505 54498 54511 54499 54508 54501 54503 54500 54502 54507 54510 54517 54518 51385 54486 51392 51390 51301 51351 51347 62538 63470 43300 43286 43285 43290 50498 47312 47311 51300 47316 47275 43249 43299 47350 50491 50493 50488 50485 50486 50489 50483 47325 47326 51330 51329 51331 51333 51328 51320 51324 51327 51326 51323 51322 51321 51325 50474 50473 50475 50469 50470 50471 50472 50467 50468 50466 50463 50476 50478 50477 50482 50501 50481 50480 50479 47364 51319 51318 51317 47347 47368 47334 47321 47366 51315 51316 51314 47359 47356 43295 47362 47195 46475 46471 46469 46462 46466 46467 46465 46463 46464 46476 46473 46474 46472 46470 46468 46449 46452 46451 46450 46448 46446 46447 46461 46456 46457 46445 46453 46454 46460 46455 46458 46459 47298 47295 47296 47294 47300 47297 47299 46443 46444 43321 47307 47303 47302 47305 47304 47301 47292 46442 46437 46438 47293 46439 46441 46440 51308 51309 46945 43304 47274 47291 47290 47289 47288 47287 51306 51307 43324 43342 51305 47306 46434 51332 51311 51313 51312 50484 50494 50490 50492 50497 50502 50495 50487 50500 50496 50499 51310 43338 43340 43336 43327 43333 47281 47279 47284 47282 47285 47280 47283 43308 43330 46436 47273 35197 39282 35269 35272 31246 31204 35233 35234 38424 38417 38422 38420 38421 38419 35244 38418 35239 35238 35243 38416 39143 38408 38413 38415 35266 38414 35252 35256 35263 38407 35260 35248 38423 38402 38401 38403 38404 38393 35281 35275 38392 35278 38399 39222 35247 38389 38387 38385 38386 38390 38391 38382 38384 38388 38893 38396 38395 35237 35160 35230 38405 38406 38400 38398 38397 35290 38409 38410 38411 35288 35286 39255 39254 38394 38412 39298 39223 34386 34389 34390 34392 39264 31226 34395 34393 34398 34396 31208 34394 34382 34383 34391 34384 34385 34387 34388 34381 31218 31213 39269 39259 39270 42437 42438 42446 39260 42440 39265 39278 42447 42439 42445 42442 42443 42444 39274 42450 42448 42441 42429 42433 42432 42430 39292 42436 42434 42428 42427 42431 39286 39289 42435 66561 70593 70592 62562 62578 42426 42425 42423 42424 42422 39307 42410 42419 42421 42449 42420 42416 42412 42418 42415 42413 42414 42411 42417 66564 70596 71524 74633 42408 39314 39273 39316 39312 39301 34379 34376 34377 34374 34375 34380 34378 39256 50460 51299 39295 42919 43281 43280 39310 51198 51200 51199 51201 51204 51203 51205 51202 63378 59446 62570 62566 62569 63410 63411 62567 62575 62573 62561 62560 62568 62571 62572 62564 59394 62576 62544 62536 58511 59448 59399 59442 62547 62550 62545 62552 62549 62548 62579 63377 59353 62543 62541 62559 62565 62540 62546 62542 62558 62557 62553 62556 62551 62554 62555 62535 51196 51197 54485 58510 55422 74643 74624 70609 70602 66562 75448 59437 55363 58549 58553 58550 58547 58526 58536 58534 58528 58533 58552 58532 58525 58538 58545 58529 58514 58519 58515 58543 58517 58541 51195 51194 51193 50462 50465 50464 58544 58551 58523 58537 58524 58530 58516 58527 58542 58531 58518 58522 58546 58540 58535 59351 59352 58520 58548 58509 59440 39318 46432 51396 54483 50459 47369 63416 63379 43248 51185 43247 11001 7282 7289 7293 10314 10312 10316 7248 7281 7211 7283 10313 7288 7290 7284 7285 14278 63415 11119 11117 11122 11146 15093 15096 15095 15099 15092 15097 15094 444 440 518 522 520 3768 3767 519 482 473 2984 2980 2979 3035 464 466 459 448 445 461 1476 465 463 460 462 1344 1478 1477 1430 1432 1479 1343 457 472 428 431 475 438 474 435 437 456 439 434 1464 1433 442 443 467 468 1337 7323 10307 7302 7301 7297 10308 7299 10306 10305 1429 1431 1428 436 441 469 429 2983 2978 427 1342 1340 1341 1338 1339 471 433 1299 470 430 432 458 1461 1463 1249 1455 1346 1345 1459 1458 3693 1460 3556 3553 3554 3555 1434 1435 1462 1336 1334 1303 1296 1294 3696 3695 3694 3697 1302 1297 3100 3098 3097 3033 1295 2985 3037 3765 3764 3763 3766 3738 526 3762 3737 1457 3005 1456 1335 414 412 415 134 413 138 416 3736 3699 3095 3096 139 3770 3771 1292 3781 3769 7206 7207 7209 7208 7210 2997 3024 3027 3001 3025 1290 1289 3018 3782 3783 6987 6988 3733 3734 3735 3775 7164 3778 7205 7170 3653 3652 3655 3654 7163 3698 3656 3558 3651 3659 3660 7247 6991 6990 6989 6553 6985 6984 1293 2988 1426 2993 523 3022 3021 1427 3031 3028 3030 6562 6563 3010 2998 2999 3016 2994 1333 1454 3019 2995 3012 1425 3015 3013 1424 3009 3002 3003 3085 3073 3078 3071 3079 3092 3099 3091 3088 3090 3089 3094 3093 3076 3074 3084 3081 3082 3070 3072 3080 3087 3075 3083 3086 3557 2991 3069 3066 3067 3061 2981 3068 3062 3059 3060 3063 2986 3065 3064 3058 3689 3673 3688 3677 3680 3685 3690 3692 3006 3007 3761 3552 3551 3549 3715 1288 3716 3722 3717 3714 3718 3721 3719 1246 525 3712 3711 3713 3723 141 409 387 410 411 408 3720 7168 3533 3536 3535 3542 3540 3541 3546 3545 3532 7298 3726 3725 7278 7276 3547 7274 7273 3682 7244 3675 3691 3681 3687 3676 3678 3684 7275 7279 7161 7277 7280 3679 3686 3683 7162 6547 6552 6545 6548 7203 7204 3787 3786 11080 11121 3650 7272 3727 3647 3648 3538 3543 3534 3539 3785 3537 3561 3476 3657 3103 3731 1291 3732 3646 3729 3548 3724 7166 7165 7242 7243 7245 3730 7167 3649 3728 11071 3780 11070 11109 11107 10770 10771 10772 10774 11078 10768 10775 10766 10767 7303 11110 11108 11106 11105 11077 11069 11074 11072 3776 10280 7326 10304 7311 10277 10279 7306 10282 10289 10296 10291 10293 7310 10292 10290 10300 10297 10288 10303 7320 7317 7314 11094 7325 10281 10276 10283 11095 10278 11096 11084 11091 11086 11088 11087 11085 11089 11092 11090 11067 11068 75450 71526 11055 10311 11104 11103 7309 7329 10310 11065 11057 11060 11066 11059 11076 11064 11063 11062 11058 10298 10294 11075 11073 10301 10299 10295 10287 10302 10773 10309 11111 10765 11112 11093 11098 11097 11099 11100 11056 10315 11102 11101 10284 10286 10285 14277 3829 11002 11042 7335 10692 11125 11126 11124 71342 58539 66603 31234 7322 7319 7316 7313 7328 10760 7334 7332 7305 7271 7268 7267 7265 7262 7266 3827 3825 3823 7261 7264 7269 7160 7202 3802 3808 3805 3799 3817 3820 3814 7172 3797 6510 3790 3793 7199 7196 7192 7190 7194 7201 7188 7200 7195 7191 7175 7177 7186 7182 7180 7185 7179 7187 7178 7198 7193 7181 7197 7157 7159 7158 6996 3798 3807 3801 3804 3819 3816 3813 7153 7149 7156 7150 7152 7155 7154 7151 7148 7146 7147 7145 7132 7174 15098 7331 3110 3111 7143 7144 3562 31252 6555 7292 7287 15064 15059 15060 15061 15062 6995 11038 11039 11037 11040 6544 6543 3701 3700 11031 11035 11036 11030 11033 11034 11032 6539 6541 6542 6540 10327 10326 7270 3773 6546 7213 7241 7240 3777 6549 7246 6550 3772 3674 3077 7183 3794 3789 3795 3791 3544 1298 3101 136 3658 3550 7295 7294 15066 11079 15065 7337 11115 11043 11120 11116 7339 10274 10761 11127 10764 11114 11113 14279 10762 10769 10759 10763 7238 6918 15054 10319 11131 11139 11135 11129 11143 15057 15056 15058 11130 11134 10655 15055 7239 10317 34397 31212 31240 31243 31237 31217 31222 35196 35228 35229 31230 31249 35195 34354 31266 50458 30329 31264 46431 50457 43343 31258 35292 46433 38381 43344 47370 34355 38380 42406 42407 54484 42405 39317 34372 34371 34373 34361 34367 34358 34359 34366 34360 34362 34369 34370 34365 34364 34368 34363 63425 31207 31171 35117 71429 71430 67404 67403 31262 11045 11046 11142 11138 11137 31260 27181 27220 27217 27211 27214 27208 27178 27192 27200 27182 27187 30368 30367 30370 30364 30365 30366 30361 30359 30372 30369 27204 31170 31169 27186 27185 27191 27180 27196 31101 27232 27226 31091 30841 27238 27236 31203 30371 31202 27195 27229 31100 30330 30358 30351 30356 30352 30354 30346 30345 30348 30338 30341 30336 30332 30335 30343 30340 30334 30347 27108 30344 27190 27223 31102 30363 30349 34867 30339 30333 31104 31103 30360 30362 31221 27145 30357 27234 30350 30337 30342 30355 31099 30353 23166 23156 7237 26345 26343 26346 26344 26335 26338 26341 26337 23170 23174 26339 26334 26340 26332 26336 23182 27107 27067 26342 26331 26329 26324 26330 26327 26328 26320 26326 26322 26323 26333 26321 26319 26325 27065 6992 10756 10754 10757 10755 10758 7230 7234 7233 7236 7235 11026 11024 11025 11029 11028 11027 11023 7229 7228 10739 7341 11019 11022 11021 11020 11017 11018 11014 11015 11011 11010 11016 11012 11013 11009 11008 7227 7224 7226 7223 7225 10753 10752 10751 10750 11004 11000 10997 10999 10996 10998 10778 10990 10991 10989 10993 10995 10994 10992 10779 10988 10987 10981 10983 10985 10979 10986 10984 10982 10980 10964 10978 11081 11082 7171 10749 10748 10747 10746 6956 6972 6970 6975 6967 6979 6976 6969 6974 6971 6977 6980 6973 6978 6968 6965 6964 6982 6891 6986 6981 7231 15063 6983 7169 7232 11041 7184 7189 3822 7263 11061 7307 7176 15067 15113 15114 15104 15100 15029 15103 15108 15109 23169 27144 19134 19165 19159 19130 19156 19144 19152 11155 11154 14263 14266 14264 14262 14735 14734 14732 14733 15118 18291 18294 18292 15117 18289 18290 18288 14980 18287 14737 14987 14268 14265 14261 23212 23197 23203 23206 23178 23160 23194 23155 26312 26317 23210 27177 26304 26309 23208 26318 26316 23161 26311 23119 27176 26305 26310 23152 27143 23165 26307 26314 26313 26308 26306 26315 19177 19186 19148 22315 23185 23191 23188 19174 19171 22314 22286 22285 22287 22281 22290 22289 22283 22280 22292 22295 22294 22291 22296 22293 11141 11133 11006 11161 11152 11158 14259 14255 14256 14258 14257 14260 11149 15091 14654 15078 15085 15077 15088 15074 15073 15086 15089 15090 15087 15075 15079 15072 15082 15071 11171 15080 15081 15083 15084 15076 15122 11164 14978 14979 11167 18284 18283 18286 18285 15130 15126 18281 18282 19092 15133 19015 19055 18280 18279 18293 23028 23026 23027 19143 23041 19182 19184 22278 22284 23081 22282 22288 22302 22297 22301 22300 22304 22318 22317 22789 22319 23039 23019 23023 23024 23022 23025 23021 19093 19139 23020 19129 22312 22311 22307 22310 22320 19135 19140 19126 19168 22309 22299 22316 22308 22305 22306 22298 22303 22313 23151 19162 18763 23118 23117 23150 15136 15142 15139 18265 18268 18266 18274 18275 18278 18270 18273 18277 18276 18264 18269 18254 18263 18259 18260 18258 18257 18255 18261 18262 18256 18272 18271 18267 39221 43169 19124 23018 23017 19091 23016 23015 23014 19013 74618 74646 74631 75099 75110 15160 15158 15156 15145 15151 15148 19125 35291 38379 31265 34353 54509 58521 66582 54490 66585 51388 62580 51342 62577 55367 58554 59390 55362 26815 10272 23214 22276 18251 19187 27240 30328 30327 27239 26303 19188 10273 26301 22277 23213 18250 14225 22275 14224 15162 26302 11175 23009 23010 23013 23012 23011 15053 15052 15051 18249 15161 11173 23008 23007 15032 14730 14728 14729 14731 14727 14741 11145 11151 11169 14254 14253 11157 15031 14251 14250 14246 14243 14245 14244 14242 14241 14248 14252 14247 14249 14238 14240 14239 14237 11148 11160 14989 14976 14977 14267 14975 14974 14973 14969 14972 14971 14970 14236 14234 14233 14231 14235 14232 14228 14229 14230 14968 14966 14967 14965 14964 15121 15125 15129 6538 6533 6530 6529 6535 6532 6531 6534 6527 6525 6528 6526 6524 6523 6537 6536 14226 15047 15046 15050 15045 15048 15049 15043 15044 14607 14271 15042 14726 14951 14724 14722 14725 14723 14721 14720 15033 14223 11174 14715 14714 14719 14717 14718 14716 14713 14712 14962 14963 14961 14960 14959 15154 14701 10271 7342 6966 7212 11044 6509 15101 15102 15030 15116 14988 19128 19056 19133 19138 14736 14981 14985 14983 14984 14982 14986 19051 19053 19052 19050 19054 19049 15106 15107 15112 15111 19123 19122 19121 19120 19119 19047 19048 19038 19037 19046 19041 19040 19043 19044 19039 19042 19045 15027 15025 15028 15023 15024 15026 19116 19114 19113 19115 19117 19118 19112 19111 19108 19106 19107 19110 19109 15022 15021 19105 15124 15150 15128 19099 19100 19098 19104 19102 19101 14740 75459 75106 19097 19103 19028 19029 19034 19033 19036 19030 19035 19031 19032 19167 19023 19025 19022 19021 19027 19026 19024 19019 15069 15068 15147 15120 14269 15017 15018 15020 15019 19127 15141 23111 23110 23114 23115 23112 23113 23116 23104 23106 23109 23108 23107 23105 23077 23075 23076 23078 23079 23080 19161 19158 19164 19014 19132 19137 23173 15016 15007 15006 15011 15015 15004 15014 15005 15008 15009 15012 15010 15013 19142 23034 23032 23036 23038 23035 23031 23037 23033 22793 23030 23029 19151 19150 15144 19017 15132 15138 15135 19018 22706 19010 19009 19008 18759 18760 18758 18757 18755 18756 18754 19006 19007 18761 18762 19012 19011 18753 18752 19004 19005 18680 19084 18740 18741 18751 18748 18747 18744 18742 19002 18743 19003 18745 18750 18746 19001 19000 18749 18738 18739 19089 19090 19087 19088 19086 19085 18766 19147 19155 18295 18767 19146 19154 23073 23074 18297 18633 19083 19082 19081 18994 18993 18996 18998 18997 18995 18999 18977 23146 23149 23145 23147 23148 23144 23143 23142 23140 23137 23139 23141 23136 23138 23134 23135 23132 23133 23131 23124 23123 23126 23128 23129 23130 23127 23125 23067 23072 23068 23070 23065 23066 23069 23071 23064 23063 23062 23101 23103 23102 23099 23100 23154 19080 19079 23084 19095 23085 23097 23096 23098 23095 23094 23093 23090 23091 23092 19072 19077 19078 19071 19073 19075 19076 19074 19070 19069 19170 19176 19173 22772 22771 22769 22770 23082 19094 23187 23184 19068 22767 22768 22765 22766 23181 23177 23190 23164 23193 22325 22331 22330 22329 22324 22328 23202 23205 23153 23172 23040 19058 19059 23163 22787 22786 22782 22779 22783 22784 22781 22780 22785 22778 22788 22321 22659 22323 22764 22777 22773 22774 22775 22776 22753 22763 22762 22761 23168 23180 23176 18737 19067 19066 18735 18736 23088 23089 23159 23158 22792 23003 23043 23044 23083 27102 27106 27105 27104 27103 27100 27101 27098 27097 27099 23061 23042 23060 23059 23058 3830 6508 23054 23050 23048 23057 23045 23047 23055 23049 23053 23056 23196 27173 27172 27166 27170 27175 27167 27174 27171 27169 27168 27161 27160 27164 27162 27163 27159 27165 23120 27158 23121 26811 26810 26813 26812 26814 26347 27157 27151 27154 27153 27147 27146 27156 27155 27152 27149 27150 23052 23051 26732 26803 26800 26799 26807 26685 26779 26802 26804 26801 26806 26808 26805 26809 26349 35232 39184 39185 39183 39181 39180 39251 39249 39252 39250 39253 39272 43275 43278 43277 43279 43276 75102 75115 75458 75484 75488 71337 75119 75117 75100 75103 75114 75363 75349 75388 75405 75391 75367 71339 71332 75125 75368 75352 75412 75392 75358 75415 75401 75350 75398 75360 75417 75413 75395 75375 75406 75372 75355 75373 75371 71077 71084 71081 71078 71094 71090 71099 71098 71074 71073 71092 71075 71087 71091 71089 71076 71085 71080 71088 71079 71082 71093 71086 71083 71096 71095 71097 75356 67445 67368 67440 67450 75376 75359 75409 74659 75397 75385 75390 75386 75400 75497 75361 75379 75362 75364 75357 75365 75374 75403 75402 75366 75127 75369 75396 75394 75353 75347 75354 75407 75414 75416 75419 75393 75496 75348 75377 75370 75410 75418 75411 75123 75389 75387 75399 75404 75126 71100 71070 71069 39280 39262 71433 71458 71457 71455 71456 71459 71454 39268 39294 71065 71018 70971 70635 70633 39186 71451 71315 71104 71105 71353 71447 71449 71452 71450 71448 71453 71066 59393 39281 67350 67343 67349 67351 67348 67344 67342 67352 67347 67345 67346 67439 67444 71432 67326 71461 71460 39309 43267 43268 43274 43266 43269 43273 43272 43271 43270 43262 43264 43263 43265 43256 43261 43260 43258 43257 43259 43253 43254 43255 39144 39267 39284 39288 39291 39277 39276 39297 39306 39300 39257 39285 39258 39263 35151 35158 35152 35154 35155 31211 35156 35153 35157 35159 39145 35221 35218 35219 35223 35216 35215 35222 35220 35213 35217 35214 35140 35142 35144 35145 35148 35225 35224 35226 35227 59392 71101 71067 71068 67449 58507 58508 39182 71071 75351 47286 31224 31092 39140 39138 39142 39141 35236 39139 35231 35118 31215 31205 31206 31210 31245 31134 26797 26796 26795 26798 26794 26792 26789 26791 26793 26788 26790 26787 31216 31236 31239 35212 35211 35210 31242 31233 31229 31225 31220 31248 31232 31228 31251 14990 14991 18992 18727 18991 18990 18989 18988 27184 27064 27142 27141 27137 27138 27140 27139 27110 27109 27135 27136 27134 27133 27132 27131 27179 27095 27090 27089 27091 27096 27093 27092 27094 27066 27062 27061 27063 27060 27128 27129 27130 27127 27123 27120 27121 27122 27057 27055 27056 27059 27058 27054 27126 27125 27124 27111 7343 27189 27194 27219 27213 27210 31132 31093 31133 31120 31123 31119 31121 31118 31122 31129 31128 31131 31130 31124 31113 31116 31117 31115 31114 31126 31127 31125 31112 31110 31111 30837 30838 30839 30836 30840 27199 27203 27198 27202 31108 31107 31109 31106 31105 35208 35209 35207 35206 30830 30833 30835 30832 30834 30831 30829 30824 30826 30825 30827 30828 30823 31089 31088 31090 31087 31086 26819 31085 31080 31083 31084 31081 31082 30822 30821 31077 31078 31076 31079 35205 35202 35204 35201 35203 30758 27222 27207 27225 27206 35242 31146 31147 31148 35116 35119 35246 31074 31075 31073 31070 31072 31071 31069 31068 35280 35271 35268 39136 39134 39135 39133 39132 39137 35262 39179 35265 31165 31164 31166 31163 39177 39178 39176 39175 39173 39174 31168 31167 31136 31162 31161 31160 31158 31157 31159 31141 31140 31149 31154 31151 31156 31155 31150 31153 31152 39248 39247 39246 39244 39245 31144 31142 31145 31143 27216 35194 35189 35188 35192 35186 35183 35185 35187 35184 35190 35193 35191 35182 35175 35178 35179 35176 35181 35177 35180 35174 34784 35162 35173 35163 31095 31067 31066 31097 31096 35115 35114 35113 35254 35255 35250 35259 35251 30820 30815 31065 30813 30814 30812 30809 31064 31063 30811 31137 30805 30817 30819 30711 30373 30810 30818 30375 30816 35241 30808 30807 30806 31055 35172 39220 39218 39219 39217 39216 35258 39210 39209 39211 39214 39213 39215 39212 35146 35143 35128 35150 35133 35126 35127 35141 35134 35137 35147 35138 35149 35125 35136 35129 35139 35130 35131 35135 35132 38810 39188 39241 39242 39243 39167 39166 39171 39169 39168 39170 39172 35123 35121 35122 39239 39237 39238 39236 39240 39235 39234 39232 39233 39201 39199 39198 39200 39231 39228 39227 39229 39230 35112 38434 38433 38428 38429 38432 35105 35109 35110 35104 35111 35108 35107 35106 39165 39164 39163 39162 39161 39154 39160 39153 38891 38890 38889 38888 39158 39159 39157 39155 39156 39127 39123 39128 39124 39126 39125 39129 39130 39131 35277 39107 39121 39122 39120 34870 34871 38886 38883 38884 38885 38887 38881 38882 35274 38892 38879 38880 38878 35100 35097 35098 35102 35103 35099 35101 35199 35198 35170 35169 35167 35171 35168 39197 39196 39194 39192 39195 39193 39225 39224 39151 38876 34861 34857 38897 26818 38896 34856 34855 34862 30844 34859 34864 34860 38877 34865 39152 30845 34866 34858 38875 34863 34852 34853 34854 31192 31191 31194 31189 31190 31188 31193 34851 34850 34847 34848 34846 34849 59387 55372 59314 59313 59312 59311 67363 67365 67360 67366 67357 67362 67355 67364 67359 67354 67358 67353 67356 67361 55290 67057 67049 67052 67054 67050 67048 67047 67056 67053 67055 67051 59315 59275 67341 67340 63049 63419 67072 67068 67066 67073 67069 67070 67067 67071 67065 67061 67064 67059 67060 67062 67058 67063 63414 67074 66607 63299 67431 67427 67428 67432 67429 67434 67425 67426 67433 67423 67435 67424 67430 63342 67401 67402 67400 67396 67397 67399 66945 66609 67039 67336 67335 63423 63424 67407 67398 63296 63293 63295 63291 63298 63297 63292 63294 63290 63289 63288 63286 63287 63413 63300 63407 63403 63405 63409 63406 63408 63404 63418 63402 63465 63440 67046 67325 67324 67367 67327 67334 63494 63502 63495 63496 63501 63336 63329 63333 63335 63330 63331 63337 63334 63332 63339 63340 63341 63338 63301 67333 67338 67337 67339 67331 67311 67310 67308 67301 67314 67312 67323 67300 67315 67316 67318 67319 67320 67305 67317 67303 67322 67304 67309 67307 67321 67313 67302 67306 67075 67406 67045 67043 67044 59397 63282 63281 63279 63283 63285 63284 63280 59388 59316 67297 67298 59398 67299 67078 67079 67289 71393 63326 63325 63324 63327 63328 63323 63401 63400 63314 63319 63317 63320 63312 63318 59277 59439 59410 59436 63308 63307 63321 63313 63316 63322 63315 63309 63311 63310 63395 63396 63398 63397 63399 63394 63393 63303 63302 63304 63389 63391 63390 63386 63387 63392 63388 63384 63385 63373 63372 63374 63376 63375 63371 63263 63053 63052 63344 63383 63381 59414 63305 59476 59475 59468 59469 59470 59355 59354 55413 55423 63380 55398 59276 55371 55401 51341 51336 51264 51346 55249 55289 55288 55340 55258 55350 55342 55347 55352 55356 55349 55357 55355 55351 55353 55354 55343 55345 55344 55341 55346 55348 55285 55281 55287 55286 55273 55284 55263 55280 55274 55283 55262 55270 55276 55268 55271 51375 51372 51366 51369 55264 55278 55277 55253 55265 55279 55269 55261 55260 55252 55251 55259 55266 55272 55275 55282 55267 71323 71325 71324 71316 55388 71320 71322 71321 71318 71317 67290 71319 51263 51251 51253 51254 51250 51252 47320 47238 51255 47310 47315 51259 51260 51258 51261 51257 51262 51248 51247 51249 51246 51256 59290 59295 59284 59288 59285 59289 59291 59281 59283 59282 59310 59286 59299 59297 59306 59303 59302 59305 59307 59309 59301 59300 59308 59296 59294 59293 59298 59304 59287 59292 51335 51350 47309 51340 55243 55244 55245 55246 55247 54982 54980 54981 54529 54992 54997 54996 54995 54994 54993 55239 55240 55241 55242 55238 55237 55236 54988 54990 54985 54989 54991 54986 54987 54983 54984 58987 59009 59022 58555 59020 59011 59010 59019 59018 59007 59012 59014 59017 59008 59016 59021 58893 59015 59013 59006 58940 58557 59005 58999 59001 59003 59004 59002 58998 59000 55366 55410 55384 55233 55235 55234 55232 59269 59270 59267 59266 59264 59263 59272 59271 59265 59268 59262 59273 59023 59261 59260 59259 59255 59253 59258 59257 59256 59254 63047 63048 63039 62581 63041 63046 63035 63038 63043 63037 63034 63044 63042 63045 63040 63036 62919 62583 62966 63013 55361 55376 47196 47319 47333 47336 47328 54914 54531 54961 54867 47332 59027 59319 55000 55001 47324 51222 47361 47355 59278 59279 55248 59026 59237 47358 55329 51245 51244 51240 51243 51242 51241 51238 51235 51232 51234 51236 51239 51231 51237 51233 59343 63368 63369 59345 63370 59332 59337 59333 59339 59341 59349 59348 59350 59340 59346 59347 59342 59344 59318 59335 59336 59331 59338 59334 47190 47194 47189 47188 47191 47186 47193 47187 47192 47185 47184 47182 47183 34399 43298 43284 43289 46930 46939 46938 46934 46935 46936 46940 46943 46937 46942 46941 46944 46933 46931 46932 46929 46928 47314 47221 47222 47234 47236 47235 47232 47233 47237 47231 47230 47229 47227 47226 47228 47224 47223 47225 47220 47181 47349 43197 43194 43193 43195 43196 43168 43211 43293 43207 43206 43205 42918 42917 42451 43210 47180 47179 47178 47177 43171 43203 43201 43208 43202 43204 43209 43294 43192 43200 43199 43198 42836 47346 43191 43188 43190 43189 51212 51211 51220 51219 51218 51210 51216 51213 51215 51217 51214 50971 51207 51206 51209 51208 51221 50966 50967 50969 50968 50970 50960 50962 50965 50961 50964 50963 50959 43306 43302 47174 47176 47175 47173 34737 34401 46477 46815 46479 47197 43173 43307 46909 43244 43245 43243 43246 43242 43241 43240 43329 55328 55322 55323 55321 55324 55292 51384 51358 50974 50975 43181 43180 43183 43182 43184 43185 42908 42907 43187 43186 42905 42906 42915 42916 42914 42910 42911 42912 42909 42913 42904 42789 42453 43303 43310 43214 43237 43239 43238 43236 43235 43229 43233 43231 43230 43232 43234 43215 43227 43228 43178 43179 43177 39187 42883 42903 43226 43225 42902 43213 43174 43251 43250 51291 51292 51293 51297 51295 51298 51294 51296 51290 51288 51289 43332 43326 51287 51225 47199 47200 51230 51229 51227 51226 51286 51285 51284 51283 51281 51279 51280 51282 51278 50888 43335 51266 47219 51267 47218 47214 47216 47215 47217 47210 47212 47211 47213 47201 47206 47209 47205 47203 47204 50503 55336 55337 55335 55332 55334 55339 55333 55338 55331 55230 55231 55228 55227 55229 47172 55211 47170 47171 58997 58996 58995 58994 58993 58991 58992 43283 43158 43161 43156 43157 43155 43154 43153 43152 43288 43212 42923 43164 43167 43165 43166 43162 43163 43147 43148 43160 43159 43149 43320 43150 42922 43323 43151 55226 51345 55225 55222 55223 55224 59251 59250 59252 51354 51378 55320 55319 51381 51387 43133 63277 63278 63031 63021 63023 63024 63027 63028 63029 63022 63025 63026 63033 63030 63032 51223 51303 51302 54530 54978 54979 54977 54976 54975 54972 54973 54974 50957 50958 54971 54969 54970 50950 50956 50953 50951 50954 50952 50955 50947 50949 50948 55316 55318 55317 54968 55314 55315 55293 54967 55313 55309 55311 55308 55310 55307 55306 55305 55312 55304 63020 46862 43170 63019 63017 63018 59330 50946 50935 50945 50841 50505 63275 63274 63276 50944 50943 50941 50942 50939 50940 50938 63345 63366 63367 63273 63272 63271 63264 55256 47267 47268 47270 47266 47272 47271 47269 46948 46949 47159 51186 55216 55218 55215 55217 55257 55255 55219 55221 55220 55212 39147 46927 46922 46924 46923 46925 46926 46921 46920 46919 46917 46918 39148 39149 42900 42899 42901 42898 59249 59248 59247 59245 59246 59238 47207 47208 47265 47277 47276 47262 47261 47264 47263 47260 47259 47240 47241 47256 47255 47252 47257 47253 47258 47254 47198 39189 39207 39203 39208 39204 39206 39205 39202 34844 34845 34843 34842 34841 34837 34839 34840 34838 34836 34835 34831 35096 35095 35094 35092 35093 35090 35091 35089 35082 39118 39119 38874 38873 38872 38425 38867 38870 38871 38868 38869 38763 38427 43146 43144 43145 42897 42896 42895 42894 42893 42892 42891 46916 42890 38857 38865 38866 39117 39116 39114 39112 39111 39115 43175 39113 47169 47167 47168 47160 31201 31200 31199 31195 31198 31196 31197 43967 43966 35161 34834 31185 31187 31184 31186 31139 31138 27052 27053 27048 27046 27050 27049 27047 27045 27051 27029 27041 27040 27042 27044 27043 26786 27339 35166 31888 31886 31885 31887 31882 31884 31883 31881 31880 31878 31877 31875 31879 31876 31056 31182 31183 31181 31180 30374 27858 27859 27857 26355 26351 26350 26354 26356 18731 18733 18732 18734 18730 27088 27083 27082 27087 27085 27084 27086 27080 27081 18987 18985 18986 19063 19062 19064 19065 27077 27073 27074 27079 27076 27075 27078 6507 19057 10324 10320 10321 10325 7260 7252 7254 7257 7253 7255 7259 7256 7258 7251 3811 3810 34406 34403 34407 34402 34408 18303 18304 18302 18298 18299 27069 27070 27071 14360 14280 18425 18424 14399 14398 18306 18346 14320 18386 14403 18471 18429 14445 18345 11293 11294 11295 18305 582 3230 3229 3151 3152 529 583 3192 6687 6728 3249 10451 10493 3153 3191 10492 18470 6729 555 395 580 559 531 3190 551 552 392 581 554 553 579 530 578 556 532 3251 6644 10446 10447 10408 6683 6682 10328 10368 11292 14276 14273 14272 18385 18347 14444 6560 6557 54536 54538 54537 54532 54533 54659 54620 58685 58646 62710 58684 62756 62671 62631 62632 62672 62757 62711 62633 62592 6604 6564 6603 426 425 424 14319 58566 58606 54580 54540 58605 58689 54705 58731 54663 62715 50594 50633 42581 46607 46568 42542 54658 58645 58607 58565 58563 58559 58558 58562 58564 42502 46528 46488 50554 42462 50514 38516 38555 50679 54579 62585 62588 62584 62589 62591 62590 58730 46567 46529 50553 50678 42541 54581 54619 38477 38515 42503 54704 58937 58939 58924 58934 58923 58938 58734 58920 47975 58906 47598 47913 47659 47661 47723 58686 58749 58748 58764 54891 54877 51690 51689 51745 54889 51742 54737 54868 54870 54895 54890 54879 54874 54881 54892 54880 51747 51744 51688 51997 51995 51993 51999 55714 55967 58917 58915 58929 58907 58900 58931 51743 51741 54906 51996 51998 51941 51994 51942 51940 51746 54904 54894 54905 54908 54903 54893 54907 54909 62953 62922 62938 62921 62950 62928 62924 62923 62936 62965 62949 62960 62958 62932 62945 55595 55596 55593 55598 55597 55594 55599 63762 63763 63702 55715 55716 55601 55600 51512 51511 62944 62759 62790 62788 62952 62940 62951 62946 62959 62934 62935 62931 62948 62939 62712 62775 62789 62774 62760 62773 58905 58910 58909 58918 58919 54660 55767 55771 55769 55773 66618 66659 55770 55772 66658 66697 55774 55775 55768 66737 66698 66616 66610 66614 66611 51939 52001 56024 56021 56020 56022 56027 51517 51624 56026 51749 51687 51575 56023 56019 56025 51685 58933 58932 58763 58894 58935 58921 58916 58930 47489 55542 52000 55540 55541 54912 54708 54723 54883 54900 51513 51514 51516 47488 55539 51515 54738 54913 54898 54911 54897 54896 54884 54882 54910 66617 66615 66736 66782 66741 47658 47722 47974 58904 55966 54721 55965 51574 47490 55968 51684 51748 64017 64079 64078 55543 55545 55546 55544 54886 51570 51573 63826 63827 63765 51569 51571 51568 51572 54707 51567 58733 58922 58912 58896 58908 58902 58747 58903 58936 58926 66961 66965 66948 66984 66947 66975 66954 66949 66956 66989 66979 66991 66957 66962 66986 66800 66963 66801 66814 66738 66990 66815 55650 55651 55653 55652 58899 58901 55710 55711 55704 55703 55708 55706 55705 55707 55709 66971 66955 66966 66978 66972 66974 66958 66964 66816 66977 66985 66786 66976 66785 66799 66988 59563 59568 59566 59565 59564 59567 60052 60053 59737 59736 59676 59991 51678 51625 51683 51627 54876 51677 51682 54875 51626 51680 51681 54873 51679 10367 6556 6561 46611 46653 50637 42627 42585 6642 6643 6605 14359 14321 10369 10407 42455 42458 42454 42460 42461 42459 31172 31173 38514 54539 46484 46652 47487 18384 6684 6732 6731 6745 6746 6747 58911 58913 58914 58898 58895 58897 51518 51520 51519 59569 59626 59627 54878 47548 47549 47491 59801 59800 46606 56017 56001 56006 56004 56008 55971 55981 55978 55979 55754 55747 55752 55718 55725 55751 55755 55749 55764 55659 55661 55750 55720 55763 55766 55683 55696 55684 55701 55689 55690 55666 55654 55691 55697 55685 55657 55662 55656 55692 55688 55702 55660 56003 56000 56005 56012 56007 56013 56016 55717 55765 55756 55759 55748 55719 55760 55758 56010 56018 56002 56015 56011 56009 56014 55982 55655 55693 55658 55724 55721 55722 55975 55973 55974 55976 55723 55753 55762 55761 55730 55757 55970 55969 55977 55999 55972 55729 55700 55695 55686 55694 55699 55698 55687 55980 55726 55728 55727 42580 46527 42501 4070 58762 50632 50874 50853 50848 50855 50863 50849 50847 50869 50864 50883 50865 50878 50886 50872 50858 50712 50882 50696 50871 50881 50857 50682 50885 50867 50868 50884 50711 50866 50860 50697 50851 50854 50880 50887 50870 50844 50850 50856 50695 50852 50681 50842 47664 47916 47663 47662 47914 47915 47600 47599 47601 47657 47652 47651 47655 47656 47653 47654 47720 47967 47971 47716 47970 47717 58925 58928 58927 47972 47719 47973 47718 47969 47721 50879 50877 47715 47968 51721 51703 51732 51694 51979 51956 51984 51977 51973 51945 51987 51692 51728 51701 51734 51731 51943 51985 51726 51740 51730 51733 51729 51739 51697 51723 51700 51702 51737 51722 51693 51704 51724 51988 51947 51948 51982 51946 51951 51989 51691 51725 51735 51696 51992 51974 51981 51949 51975 51953 51695 51727 51698 51699 51736 51738 51983 51990 51955 51991 51986 51944 51978 51976 51954 51980 51950 51952 4069 4067 59560 59553 59554 59552 59561 59559 59558 59556 59557 59555 59562 59548 59547 59551 47546 47547 47542 47493 47492 47543 47494 47541 47545 47544 55713 59739 62937 62929 62930 62954 66783 66960 66950 66970 66980 66657 38554 4066 4068 11291 22450 22412 22451 22372 22332 22497 22455 22496 22371 19307 19308 19306 22411 22373 22500 22452 22499 22684 22698 22699 22515 22530 22514 22700 22528 22670 22671 22672 22668 22669 22686 22685 22664 22680 22694 22513 19305 22705 22529 22690 22689 22675 22676 22692 22679 22702 22678 22688 22677 22703 22693 22691 22674 22704 22661 22663 22662 19793 19792 19304 11741 19731 22410 19303 3999 3998 3940 3939 3938 3935 3936 3937 3934 3993 3992 3991 3995 3996 3994 3997 3943 1543 1540 1541 1542 1539 3944 3942 14400 14462 14476 14478 14477 14650 14651 14463 14461 14637 14640 14638 14624 19295 19301 19297 19298 19302 19300 19299 19296 14623 7462 7460 7461 7459 14622 14610 14636 14626 7656 1304 14653 14652 14448 14447 19788 19787 19790 19791 19732 19789 19734 19785 19786 19733 14634 14619 14618 14620 14648 14616 14617 14633 14632 14641 14647 14646 14639 14642 14627 14609 14625 14612 14628 14611 19776 19779 19773 19782 19780 19765 19739 19777 19775 19774 19767 19769 19735 19778 19766 19741 19743 19742 19740 19768 19772 19781 19770 19771 19748 19784 19783 19738 19736 19737 14608 14635 14614 14621 14630 14629 14613 14615 14631 19416 19477 19744 19746 19367 19309 19479 19541 19366 19476 19534 19533 19482 19540 19537 19539 19480 19481 19535 19538 19536 15705 15767 15766 15281 15282 15279 15277 15278 15280 15276 15275 15752 15715 15757 15716 15743 15749 15707 15706 15764 15760 15763 15765 15750 15758 15722 15756 15710 15753 15711 15761 15762 15759 15741 15712 15754 15739 15748 15742 15717 15746 15745 15713 15755 15744 15740 15714 15747 15751 15709 15708 15718 15721 15720 15719 15390 15283 15451 15450 15340 15341 15515 15514 15453 22701 22673 22682 22666 22696 22660 22687 19745 19747 22683 22665 22681 22667 22697 22695 15270 15269 15273 15274 15272 15271 3941 11524 11522 11520 11528 11527 11523 11526 11521 11525 7631 7630 27359 23326 23325 23324 23322 23333 23327 23330 23323 23321 7249 7250 23329 23334 23328 23332 23331 27358 27360 27357 35583 35640 35644 35643 35642 35639 35638 35641 19419 19472 19471 19473 19417 19475 19469 35637 35645 19418 19474 19470 19359 19363 19362 19311 19361 19360 19364 19365 27593 23505 31557 31619 23567 27531 46480 30549 30503 31135 50512 50507 50513 50510 50506 50511 27355 27356 27354 34529 34490 35585 35584 31618 30502 30463 30507 26523 30464 26438 26477 26476 30425 26481 30424 30384 26358 26398 26357 34528 35586 38435 30548 34451 34489 26522 26397 30376 30382 30377 30383 30381 30380 31386 31385 31384 34488 30462 34409 30423 34577 46487 42626 46481 46486 46485 47485 47486 47484 39923 39922 43887 43948 43949 43460 43459 43463 43464 43461 43462 55537 55538 39436 39435 35574 35573 35581 35578 35575 35520 35580 35577 39438 39434 39432 39433 39437 39431 35579 35576 35523 35521 35522 11290 11289 39861 35838 35890 35894 35891 35835 35892 35889 35893 35896 35895 55536 55533 55535 55528 55534 55529 55532 55531 55530 35837 35897 35633 35634 7457 7458 35635 35636 46671 35836 11288 11287 46608 46846 46861 46855 46854 46832 46816 46856 46845 46860 46831 46859 46656 46670 46686 31381 31382 35632 23442 23503 27529 27468 31555 31494 35589 31383 31870 31380 31871 27845 27783 23496 23501 31379 46838 46852 46843 23444 46857 23443 23445 23497 23502 23498 23499 23500 23495 46829 46822 31809 23818 23819 27844 23757 31554 47483 43457 43458 43456 54618 34533 38475 38601 34449 34574 38559 38600 34450 50592 46566 38476 58644 34575 38436 50555 50593 34410 60075 60064 60057 60066 60060 43636 43638 43697 43635 43694 43693 43691 43695 43696 43692 43690 43637 43689 43572 43632 43633 47481 47482 47478 47477 47479 47480 60071 60073 60072 60074 60058 60068 60059 60069 60062 60070 60063 60067 60065 60061 27419 27361 39671 39669 39611 39668 39670 35587 39610 39612 39665 39663 39667 39664 47476 51510 51509 47473 47469 47474 47475 47470 35465 35471 23335 31445 35466 35467 35464 35468 35470 35413 35463 35469 23393 31387 7456 43523 43465 55521 55525 55522 55526 55527 54722 51550 51562 51549 51555 51554 51559 51561 51558 51563 51551 51530 51557 51548 51552 51560 51565 51564 51553 51556 51566 35569 35568 35570 35524 35572 35571 35526 35888 35841 35884 35840 35883 35839 35887 35886 35885 39439 23338 23392 23386 23337 23391 23336 23387 23390 23389 23385 23388 50634 39497 35882 35881 35842 35843 35879 35880 7455 35844 35876 35877 35878 35845 35875 35846 35874 35873 42582 35872 35871 35847 35852 35869 35870 27522 27528 27592 27470 27471 27469 27527 27525 27524 27523 35525 39607 39606 27526 35567 27521 35588 35631 39430 39546 39609 43522 39496 46851 46853 42644 26437 26399 27418 35462 35461 35417 42540 42630 42658 42660 43941 62670 38556 43944 43946 43943 43945 43947 43942 14358 23566 40212 40149 26436 6693 6689 6724 6692 6690 6691 6726 6725 6727 6688 35459 35419 35458 35460 36186 36185 35916 35917 35915 35919 35918 7654 31892 7652 7653 7655 31889 31891 31893 31890 51506 51503 51508 51502 51504 51507 51505 11464 11463 11403 28134 28071 27995 28058 27352 27350 27348 27347 27353 27349 27351 27864 27866 28057 27865 28133 27862 27867 27863 27346 27344 27345 11298 11346 11347 11353 11351 11349 11297 11348 11352 11299 11354 11296 11350 51500 51501 42804 42820 42794 42819 42806 42793 42802 42805 42807 42835 42830 42791 42818 42801 42829 42814 42816 42815 42828 42645 42798 42792 42810 42809 42799 42629 19310 19312 34530 6761 6762 6760 31378 19941 47928 47929 47926 47927 19815 20081 19813 20082 19814 19812 19940 19810 19811 24045 24108 43894 43925 43893 43892 43904 43934 43899 43932 43935 43931 43930 43926 43891 43936 43939 43929 43923 43927 43921 43924 43940 43922 43937 43933 43938 43928 23839 23841 23838 23836 23840 23837 24107 27860 27861 23834 23835 47925 47963 47959 47965 47948 47953 47922 47960 47921 47924 47966 47958 47962 47947 47951 47957 47952 47920 46684 47950 47964 47961 47917 47954 47949 47918 47930 47955 47956 47923 47919 42659 42822 42643 42808 42821 42800 42824 42823 7521 7520 7463 31377 43688 43686 43687 43683 43671 43678 43670 43682 43685 43679 43684 43680 43674 43673 43681 43669 43642 43676 43672 43677 43675 43639 43652 43641 43640 43647 35914 31444 35457 35418 27992 27993 46840 46841 46842 60135 43896 43898 43897 43895 43888 43890 43889 43648 43650 43649 43651 43900 43901 43902 43903 62996 62994 63009 63010 62967 62973 63003 62982 63011 62997 62999 63012 62983 63008 62980 62985 62995 62989 35596 43643 43646 43645 43644 60130 60131 60120 60107 60116 60127 60124 60133 60134 60102 60101 60109 60117 60113 60132 62981 62969 60104 60128 60123 60126 60121 60103 51528 51527 51529 51523 51525 51522 51521 51547 60093 60108 60119 60129 60112 60111 60118 60110 51524 51526 60105 60115 60125 60122 51546 60114 60106 46837 46839 35456 35455 35420 35621 35622 35623 35624 35590 35628 35592 35627 35625 35591 35630 35421 35451 35453 35452 35454 35597 35599 35598 35620 35617 35618 35619 35595 35600 35593 35594 35626 35629 35566 35422 35416 35415 35565 35414 43971 43969 43970 44099 44238 44175 44162 44237 43968 35527 54736 43964 43965 43963 43961 43962 11763 11758 11759 11762 11761 11760 7866 11891 11954 11953 34578 35450 35449 20019 35564 11757 15788 16056 15789 15993 15787 16055 19807 19809 35562 35563 15786 15785 15784 35561 19808 35529 35528 46879 46905 46895 46891 46893 46878 46906 46892 46877 46907 46908 46881 35850 35851 35423 35848 35849 35557 35558 35559 35560 35530 35531 35556 35532 35555 35554 35536 35535 35533 35534 35553 35448 35424 35447 35425 35446 35445 43959 43960 39940 39944 39945 39942 39943 39941 39938 39939 43455 43454 43453 43452 43451 43443 43447 43449 43448 43444 43450 32160 32097 32159 32021 32084 32083 39429 39428 39427 39426 39425 40136 40211 40135 40073 36047 36110 36123 47994 47995 47996 47993 47997 47992 47986 47987 47989 47990 47985 47991 47988 36109 35912 35913 39936 39937 35911 39622 39874 39877 39875 39876 52008 52012 52009 52010 52018 52017 52016 52006 52014 52011 52007 52015 52022 52020 52013 52019 52023 52005 52021 52004 52003 39935 35910 47979 47984 47981 47982 47980 47983 39424 7466 7513 7516 7519 7514 7465 7518 7517 7515 7464 48125 48188 39934 39933 35909 44229 44236 44230 44233 44180 44227 44226 44235 44232 44234 44228 44231 44179 44225 44176 44178 44177 44181 62962 62963 62964 38618 38619 38790 38776 38777 38779 38780 38770 38788 38773 38789 34753 34749 34738 34750 39908 39909 39912 39911 39904 39900 39903 39899 39910 39898 39906 39913 39869 39872 39871 39870 39895 39865 39867 39917 39921 39863 39864 39919 39920 39918 39862 39915 39916 39914 39905 39897 39902 39901 39896 39907 39878 39873 39866 39868 39560 39561 39559 39548 39602 39604 39603 39600 39601 39605 39549 39547 39599 34608 34592 35907 35908 31952 31376 31375 34748 39593 39589 39597 39586 39592 39584 39585 39595 39582 39591 39583 39594 39556 39590 39555 39581 39550 39554 39598 39557 39587 39552 39588 39580 39596 39579 34606 39558 39562 39551 39553 30787 30788 30789 30791 30774 30777 30775 38764 38774 38604 38775 38772 42817 50710 42803 42790 38800 38808 38786 38791 38804 38809 38807 38793 38794 38805 38633 38787 38785 38634 42812 38632 39623 39625 39624 23520 23521 34778 34593 34764 34783 34782 34781 34754 34767 34768 23518 23519 23457 23455 23456 38771 38769 31374 30773 23476 23487 23489 23490 23488 23494 23480 23477 23491 23493 23458 23492 23478 23483 23482 23486 27927 31373 27868 12029 12030 11967 7862 7863 7864 7865 23539 23511 23510 23544 23554 23546 23549 23541 23543 23557 23552 23548 23547 23550 23542 23551 23522 23508 23506 23507 23564 23560 23563 23561 23565 23562 23559 23558 23540 23545 23509 23512 23553 23556 23517 23555 8092 30565 30504 39645 39658 39613 39615 39651 39617 39619 39620 39618 39657 39660 39661 39621 39662 39656 39648 39655 39644 39647 39659 39649 39646 39654 39652 39614 39643 39653 39616 39626 30750 30737 30752 30582 30567 30738 30751 30736 30552 30728 30714 30721 30726 30756 30740 30722 30744 30754 30742 30730 30727 30755 30720 30551 30741 30723 30581 30757 30724 31497 31550 31552 31549 31553 31548 31547 31551 31495 31496 31501 31510 31532 31504 31541 31529 31500 31540 31543 31505 31498 31531 31546 31544 31528 31503 31538 31530 31506 31539 31537 31545 31499 31527 31533 31535 31542 31534 31536 31502 30729 30746 30580 30731 30566 30743 30745 30732 30716 30715 30713 23516 23513 23515 23514 23479 23485 23481 23484 34751 34765 34744 31613 31611 31559 34779 34774 31865 31616 31615 31614 31869 31617 31864 40210 40204 31612 43520 43516 31507 31509 31508 43521 43518 43519 40206 40154 40199 31863 34760 40153 40207 40201 40155 40209 40208 40203 43517 40205 40150 31812 43515 31867 31866 31558 31868 40200 40202 40152 40151 31560 31811 31810 30786 30761 30759 30800 30801 30803 30804 30802 30795 30781 30772 30765 27544 27481 27483 27482 27796 27799 27797 27798 27547 27546 27545 38854 38855 38856 38839 38841 38853 38840 38843 36177 36183 36179 36174 36129 36184 36180 36176 36175 36182 36178 36181 27841 27840 27785 27784 27838 27786 27534 27532 27837 27586 27590 27591 27533 27843 27588 27839 27842 27585 27589 27587 27505 27575 27576 27579 27514 27570 27548 27569 27571 27543 27581 27507 27583 27568 27577 27584 27578 27572 27567 27542 27566 27580 27574 27502 27512 27508 27518 27510 27517 27506 27511 27503 27519 27565 27573 27479 27582 27504 30719 30717 30718 30748 30753 30739 30734 30725 30712 30733 30735 36173 36103 36102 36108 36105 36127 36104 36124 36126 36106 36099 36125 36101 36128 36107 36100 36053 36098 31605 31853 31603 31607 31598 31601 31857 31856 31608 31574 31861 31859 31852 31846 31858 31593 31604 31602 31600 31847 31851 31844 31860 31850 31594 31606 31596 31565 31610 31862 31821 31569 31591 31568 31818 31820 31566 31597 31854 31599 31855 31826 31595 31848 31845 31849 31817 31567 31609 31816 31819 31563 31814 31564 31592 31562 31561 31815 31813 31843 23454 23453 23449 23452 23451 23446 23448 23475 23450 23447 27340 27343 23832 23833 23831 23830 23829 27363 27364 27362 27414 27413 27417 27411 27416 27415 27412 30749 30747 7861 7859 19806 11755 11756 19805 7860 38827 38826 38829 38825 28045 28046 28055 30792 27996 28049 28072 28053 28131 28054 28051 28073 28127 28050 27999 28000 28128 28056 28052 28048 27998 28001 28122 28125 28074 28121 28047 28123 28129 28077 28075 27997 28076 28130 30798 28124 28126 30799 30793 28132 27541 27535 27538 27540 27539 27536 27537 27472 27478 27476 27475 27474 27501 27480 27515 27509 27513 27520 27477 27473 27516 27484 54928 54944 54960 54937 54956 54957 54951 54943 54947 54959 54921 54942 54930 54915 54931 54958 54933 54945 31949 31951 31920 31948 31930 31936 31929 31934 31927 31938 31932 31925 31922 31941 31923 31940 31946 31911 31943 31926 31931 31947 31944 31950 31928 31937 31942 31919 31933 31935 31921 31939 31924 31945 38521 38527 38534 38548 38538 38551 38529 38522 38545 38533 38523 38520 38547 38540 38552 38536 38543 38542 38524 38550 38549 38546 38526 38539 38532 38537 38544 38531 38519 38517 38553 38525 38541 38535 38528 38530 39650 39666 19492 19430 19429 19431 22750 22751 22752 22737 22722 22749 22736 22725 22735 22723 22739 11459 11457 11404 11461 11462 11456 11458 11460 46890 46865 46876 46885 46904 46863 46869 19494 19493 19495 22743 22748 27833 27819 27800 27817 27791 27825 27795 27823 27787 27818 27831 27836 27829 27794 27832 27793 27820 27788 27834 27826 27830 27824 27789 27828 27835 27827 27792 27821 27822 27790 19937 19931 19932 19933 19930 19936 19935 19934 19885 19938 19939 19929 11405 11406 485 7994 8057 8056 15783 15782 15781 15780 11889 11888 11827 27926 11822 11823 38594 38592 38581 38588 38598 38593 38582 38578 38591 38583 38585 38599 38587 38586 38597 38589 38595 38590 38596 38580 38579 38584 38575 38577 14669 14670 14673 14683 14671 14657 14655 27981 27985 27989 27983 27987 27991 27986 27990 27982 27984 27988 27937 14684 14661 14685 14668 14687 14699 14698 14700 14697 14682 22729 22734 22720 22713 11943 11946 11947 11883 11886 11885 11878 11881 11944 11952 11876 11882 11877 11880 11879 11951 11884 11945 11941 11942 11949 11950 11948 11887 11479 11480 11482 11418 11416 11417 12028 12020 12021 12017 12027 12019 12018 12026 12025 12023 12024 12022 14696 14691 14677 52151 52214 46899 1560 3831 50904 50933 50932 50917 50934 50918 50931 50921 50919 50907 50905 50903 50891 50889 67037 67011 66993 67022 66995 67006 67025 67034 67007 67036 67029 67020 67023 67035 67008 67021 67009 67038 3226 3188 1309 3189 3228 10510 10496 10448 10509 10525 10511 10526 3194 3155 3227 3187 10406 42832 42834 42833 39489 39495 39492 39491 39490 39493 39494 39441 39440 39442 38783 38765 38617 38768 38767 38806 38796 38784 38778 38766 38782 38792 38603 38802 38803 31390 34745 31437 34747 34746 34752 34743 34756 34777 34607 34763 34776 34740 34591 34770 34766 31438 31441 34773 31443 34775 31442 31389 38781 38798 38795 38797 42796 31440 31388 34759 34761 31439 34762 34780 18473 31953 26556 26540 26554 26526 26525 66696 50916 50911 34828 34830 34803 34817 34814 34815 34800 34799 34829 34801 34827 34813 18645 18673 18672 18660 18652 18650 18646 18644 18674 18487 18659 18643 18504 18636 18648 18649 18488 18426 18502 18489 18503 18474 18647 18642 18658 50895 50902 34785 34787 50930 50925 26716 26715 26729 26555 26478 26701 26704 34826 34812 34807 34821 34798 34791 26702 26714 26686 26730 26731 26539 26541 26700 26728 26688 26718 55665 55575 55590 55577 55591 55586 55556 55576 55578 55592 55583 55580 55574 55587 55582 55589 55579 55588 55584 55585 55581 54869 54872 54871 47710 47699 47648 47607 47643 47645 47639 47633 47650 47614 47641 47606 47706 47711 47696 47701 47678 47702 47713 47697 47703 47705 47708 47709 47712 47700 47642 47646 47632 47636 47640 47647 47631 47610 47605 47609 47644 47603 47602 47698 47714 47707 47704 47608 47604 47649 47635 47637 47634 47638 47695 47670 47673 47668 47666 47671 47665 47667 47669 47672 20006 19943 40071 20005 40070 51640 51671 51672 51667 51663 51669 51661 51674 51665 51670 51658 51662 51664 51659 51676 51666 51660 51673 51675 51668 51637 51639 51634 51629 55663 51636 51638 51657 51631 51630 51632 51628 51635 51633 35983 36045 31957 32019 47677 47674 47675 47676 40009 47611 47612 47613 26724 26725 26696 26694 26710 26698 26712 26697 26711 26695 26726 50861 50862 50843 50845 50846 64090 64091 64096 64101 64089 64084 64094 64086 64085 64092 64095 64100 64097 64098 64088 64099 64093 64087 64083 64161 58003 49951 70080 62029 66054 66055 46231 47725 45310 57695 40978 51751 45311 44390 49030 44696 55820 53363 45618 49643 52442 44697 52401 54327 53713 56470 58353 56511 54326 52444 56818 69773 67898 65134 61414 61107 61721 64522 60537 61456 55866 61150 65176 61151 54325 61457 35737 36994 32969 45354 41328 42248 41635 41633 40713 60800 54284 46232 65440 65133 59846 41591 39673 55777 61722 49644 49950 42206 41285 40323 40670 52749 47770 65483 37301 49380 69159 69160 45659 64869 65790 62028 64826 56468 46273 66098 36340 41592 42205 40671 41284 41899 40364 39716 41898 40977 64479 60453 57081 58309 48722 49336 45925 43699 58045 59893 52791 39763 41019 56775 65441 45003 62335 53055 45004 61108 54283 66362 49029 64520 48375 60494 58002 65748 47768 57389 56774 57388 63872 56427 44739 52790 41942 60496 64870 45967 56510 52484 54018 38222 44392 48418 38223 58351 44738 41941 57431 57430 49686 62071 41634 44740 58044 49992 46275 48459 65177 62072 61149 49072 57124 45045 49071 49073 53099 53097 36995 41021 41020 45047 45046 57123 65175 57082 65747 63829 53362 44349 53056 50257 48416 65791 53976 48723 49337 53977 50258 58310 53669 59803 60801 53670 51794 45924 52748 43742 57696 45617 66361 61415 62336 64827 53098 57125 28943 28942 32968 24916 24917 42249 50300 48458 25530 25224 33889 41327 62378 28635 43789 27640 31666 43744 41940 65789 32355 51796 47815 40406 62379 51841 21811 20277 36688 50301 62377 68852 68546 56817 45352 49378 37916 36687 48764 65484 70081 68853 40366 69774 70388 57432 68505 36381 40407 40714 49685 66405 66404 29249 24609 32661 25531 24610 25223 24303 25838 26145 26144 34196 53405 64562 34197 65482 33583 31711 63918 66096 33276 68895 67945 40712 70431 45966 52792 55867 45353 57737 53404 45660 64868 66403 51840 30171 32314 33582 28329 29556 59848 28288 55822 33275 29863 28636 25837 30170 29864 67855 44433 68896 69510 70124 68894 69509 69203 69201 70430 69202 70123 69816 70122 68588 68589 70429 69508 68548 69817 69815 67900 67944 35692 64563 57738 21505 21504 22118 21197 22119 37609 29250 29557 27685 20891 19633 20890 21198 19588 52485 49993 63874 24262 53712 23614 39718 32662 33890 45661 43788 39762 42247 61765 37915 54020 60844 41326 69467 69466 37302 60843 70387 48765 58046 58352 44432 53406 46274 47814 59892 63919 49687 49994 60536 45968 66097 61764 37608 62070 48766 61763 61458 60842 56816 23659 20236 20583 21812 20584 50299 49379 57739 54019 53711 21810 21503 20582 21196 19632 20889 22117 20276 24032 23969 37873 37872 37258 37914 37300 36380 37607 37565 37566 37259 43372 43371 43373 43364 43365 43366 63503 67728 70808 67789 67853 67599 67603 67618 67617 67600 67612 67609 67607 67610 67604 67620 67608 67791 67614 67619 68105 67616 67606 70767 70809 35736 38221 67611 68043 67788 67605 68104 67678 70637 70641 67528 67527 51418 67522 70640 67529 70636 67520 55444 55443 55451 55449 70683 70643 67521 51423 51425 51416 72138 18092 17785 17171 16210 15562 17479 16558 72140 72144 72145 72151 72136 72150 72152 72135 67679 72139 36644 36645 36951 36952 36338 35690 35647 36297 38180 38179 36993 36686 59477 67613 67852 67615 18093 15607 16865 17786 17172 17478 16251 16557 16864 70644 70684 72142 72147 72148 72153 67621 72143 72137 72146 72149 72141 55442 55450 70642 51417 51424 32660 28634 24302 23658 24608 33581 31710 26143 25222 25529 33888 25836 29862 28328 29248 29555 30169 27684 32967 24915 28941 32354 34195 33274 36044 47398 47397 47399 47390 47392 47391 24031 55549 55555 55548 55552 55553 55573 55547 55551 55550 55554 72279 72278 19216 19217 68122 68114 68120 68123 68111 68125 39339 39346 39347 39340 39345 35319 35314 35313 35320 35321 39338 63581 72133 63577 63652 63573 63653 63574 72134 63595 63590 63582 63584 63587 68127 63589 63579 68113 68110 68116 68121 68112 68119 68117 68118 68126 68124 68115 68109 63594 63585 63586 63592 63588 63580 63583 63591 63578 63593 68255 68318 68317 68187 17477 18091 16250 19215 17784 17170 15189 16863 15606 15190 16556 23236 23235 23242 15191 23243 23241 23234 74414 72572 71881 73492 74413 72879 73186 71924 72878 74107 73799 73493 72531 73800 74106 73185 71548 71555 71547 71553 71554 71546 72069 71637 71629 72130 71642 71644 71817 71631 71633 71646 71635 71634 71630 71814 71704 71878 71641 71643 71815 72131 71632 71645 71640 71638 71754 71636 71626 71879 71705 71647 71639 74150 73843 73841 71971 72920 74455 74457 73229 71926 73535 74456 72921 73227 72615 73536 72922 72614 74148 73534 71970 73842 72574 73228 74149 72213 71625 19209 19210 19208 72217 51496 51499 51495 50922 50929 48263 48264 48187 48061 48123 48122 50928 48201 50923 42831 42826 42827 42825 42813 55664 43631 43573 43627 43630 43625 43626 43628 43629 43575 43574 43618 43607 43619 43614 43623 43611 43608 43620 43622 43610 43576 43580 43584 43578 43605 43581 43583 43577 43616 43606 43588 43617 43615 43613 43579 43609 43612 43582 43624 43621 67807 67806 67804 67805 15980 15979 15917 27268 31295 31294 27269 68057 68056 68059 72281 68058 72343 72344 70685 70722 70723 75086 75088 75077 74662 74749 74711 75089 75081 75087 75067 74670 75060 75045 74835 75342 75090 74663 75058 75051 74709 75075 74710 74667 75073 75074 75063 75072 75061 74666 74748 74669 74668 74834 74793 50873 50875 50876 50859 44161 35312 44096 44035 44097 68107 68108 42797 42795 68128 68252 68253 64128 64147 64148 64137 64144 64146 64119 64157 64159 64138 64152 64130 64134 64140 64141 64151 64127 64133 64135 64160 64153 64132 64142 64158 64150 64143 64145 64156 64131 64139 64154 64149 64155 64136 64129 72252 72258 72263 72249 72253 72269 72259 72260 72261 72248 72256 72244 72255 72265 72262 72267 72274 72264 72266 72246 72250 72270 72273 72272 72251 68191 72243 72241 72239 72242 72230 72232 72254 72276 72271 72247 72245 72277 72275 72257 72268 4333 4331 4330 4332 4329 4334 4335 64229 64292 64291 56044 56035 56040 56038 56039 56037 56041 56036 56033 56043 56046 56045 56049 56047 56031 56034 56032 56048 56042 56029 56030 72180 72206 72195 72203 72207 72186 72182 72185 72208 72211 72189 72210 72184 72199 72204 72192 72187 72194 72200 72198 72171 72202 72197 72190 72212 72191 72188 72201 72181 72193 72179 72183 72196 72205 72209 56175 64082 64081 64227 64226 31573 31572 64165 42877 42870 42876 42879 42871 42880 42882 42867 42865 42866 42869 42881 60201 56109 42852 42855 42851 42853 60055 60056 52083 64221 64218 64204 64215 64193 64224 64200 64214 64223 64192 64197 64222 64194 64205 64198 64220 64195 64209 64196 64225 64212 64210 64219 64208 64202 64216 64217 64203 64206 64199 64201 64211 64207 64213 42811 48183 48255 48257 48179 48178 48130 48180 48202 48251 48253 48259 48254 48261 48258 48260 48175 48186 48204 48205 48181 48252 48126 48185 48129 48262 48127 48256 48128 48176 48177 48184 48182 48203 48207 48131 48206 60200 31570 31571 58959 58970 58956 58984 58969 58973 58971 58983 58985 58986 58957 48119 48114 48117 48112 48121 48113 48115 48118 48111 48116 48120 48067 56316 56315 31823 31824 31825 31822 56253 58982 58968 48066 48110 48063 48065 48062 48064 58941 58954 48053 48049 48051 48047 48056 48055 48048 48054 48052 48057 48045 48046 48050 52024 48004 60203 60266 60139 60265 52087 52149 47998 56050 56239 56240 56177 52290 56174 52289 52227 52213 52148 56113 40005 40124 40075 40123 40126 40076 40133 40131 40129 40134 40132 40077 40125 40079 40078 39952 39995 40000 40001 40003 40002 39996 39993 40060 40063 40011 40059 40061 40015 40067 40065 40013 40069 40068 40058 40064 39997 40004 40127 40014 40062 39999 40066 40074 39998 40130 40010 39994 40012 40128 27261 27260 27262 27267 46830 46834 46669 46844 46827 46848 46828 46858 46818 27931 54887 54888 46897 46896 46903 46902 32018 46824 46825 46685 46655 46571 46603 46604 46605 31894 46823 46821 31287 31286 31293 31288 48044 56275 56273 56262 56300 56290 56298 56280 56274 56306 56255 56293 48041 56301 56297 56288 56276 48043 56304 56281 48033 48035 48038 56265 56313 56261 56291 56278 48039 56263 48042 56299 56279 56283 56284 56292 56272 56309 56310 56294 56270 56259 56303 56289 48036 56296 56295 56271 56260 48040 48031 48032 56286 48034 56254 48037 56311 56305 56285 56287 56307 56302 56308 56264 56257 56282 56314 56258 56277 56312 34824 34819 34818 34825 35979 35920 27980 39946 50533 50546 50548 50543 50532 50545 50539 50534 50549 50530 50536 50544 50552 50547 50550 50541 50551 50538 50540 50535 50537 60076 56108 50542 50531 50528 56256 54885 43585 43587 43586 38799 38801 38844 38845 38850 38851 74552 74569 74568 74153 74243 74264 74152 74260 72132 72421 71974 72355 71925 72066 72068 72356 72423 73957 73322 73324 73343 73321 73339 73323 73341 74245 74244 74415 74459 74460 74567 74549 74550 74551 74571 72707 72710 72708 72727 72618 72726 73646 73630 74262 74108 74261 74242 73539 73538 73648 73647 73650 71973 72067 73017 72925 73015 73016 73014 73033 72880 73034 73036 73032 72924 73231 73232 73340 73187 72709 73955 73629 73631 73494 73628 72573 72617 72729 72725 73801 73936 73938 73845 73937 73953 73846 73954 73935 72715 73329 73943 73022 72345 74557 73636 74250 74575 74573 74609 71533 71540 74611 73652 73958 71544 72731 74598 74604 74592 74574 71539 72424 71541 73651 74593 74605 74581 71534 74266 73344 74607 74595 74599 74265 71531 71528 74582 71543 71537 71529 74610 74601 71530 74594 71542 74580 74588 74590 74586 73345 74608 74587 71527 71536 74583 74597 71538 71532 73959 74576 74585 72730 74584 73038 74589 74577 71535 74612 74603 73037 74591 74602 74596 74579 74572 74578 74606 74600 72723 73337 72354 73637 74558 74565 73644 72353 72346 73330 74258 74251 72716 73023 73030 72714 74556 68162 68283 68163 68310 68154 68184 68161 68173 68175 68168 68185 68258 68316 68292 68164 68158 68186 68182 68177 68176 68260 68275 68169 72154 68145 68167 68171 68289 68286 68291 68265 68298 68285 68261 68153 68305 68259 68313 68294 68307 68263 68160 68155 68179 68172 68170 68174 68287 68314 68267 68303 68312 68311 68299 68290 68297 68301 68288 68284 68257 68266 68304 68274 68300 72280 68156 68157 73944 73021 73947 73952 73946 73328 68180 68165 73942 68178 73635 68159 73945 68183 73951 68181 68166 72719 74254 74560 74566 74561 74559 74252 74259 74253 73332 73331 73025 73024 73031 73026 73338 73333 72348 72347 72349 68272 68293 68308 68309 68264 68262 68302 68296 68306 68295 72724 72717 73645 72718 68256 73640 73639 73638 68315 68276 68273 68240 68223 68245 68250 68239 68237 68220 68219 68226 68233 68228 68249 68244 68231 68230 68241 68225 68236 68218 68238 68222 68247 68246 68221 68251 68243 68248 68242 68234 68232 68224 68235 68227 68229 46826 44155 44153 44152 44149 44154 44159 44151 44157 44160 44150 44158 44105 44101 44102 44103 44100 46817 46850 46820 46836 46849 46835 46819 44104 44156 46833 46847 74249 35978 52082 43466 43468 43467 36114 36113 35738 35740 36122 36188 36115 35739 35834 35833 35832 35691 36783 36791 36800 36803 36780 36797 36782 36792 36799 36802 36690 36801 36689 37110 37104 37087 36953 36996 37096 37088 37089 37099 37109 37720 37713 37721 37703 37610 37722 37712 37724 37612 38333 38325 38316 38332 38181 38336 38318 38315 38335 38337 38226 38029 38010 38019 38018 37919 38011 38031 37917 38026 37874 38009 38030 38027 37303 37405 37396 37394 37305 37404 37415 37395 35582 35646 36111 36119 35831 36473 36339 36382 36491 36384 36492 36483 36493 36475 36476 36474 36484 36494 36796 36603 36602 36779 36789 36788 36910 37086 36909 37095 37524 37700 37523 38314 38137 38323 38322 38138 38016 38024 37830 38015 38007 38017 37410 37403 37393 36489 36295 36480 36296 36482 64102 38339 36804 37418 37111 38032 42837 37567 38324 37106 37107 36998 38020 36189 37413 36121 38008 36485 38331 37260 36798 37725 37401 37719 38327 37094 37402 37918 37711 36495 36691 36472 37718 37406 36497 37416 37103 36781 36112 38028 37710 37723 35898 36787 36046 37414 38025 37216 38338 37397 37702 36187 37701 36481 37611 37105 36790 38317 37708 37098 37108 37097 37090 37831 36490 36997 37217 36646 36383 38326 38225 37411 37717 37412 36190 36120 37417 37304 36496 37704 37709 38334 38224 44085 44089 44093 44092 44091 44088 44094 44041 44090 44087 44095 44086 50668 50653 50666 50658 50673 50656 50677 50661 50671 50664 50676 50660 50670 50665 50669 50674 50667 50663 50672 50657 50659 50662 50655 50675 30523 30529 30530 30540 30527 30545 30546 30544 30531 30536 30535 30538 30539 30525 30547 30542 30528 30541 30532 30534 30543 30533 30526 30537 46649 46650 46651 42850 34758 34757 34742 34741 34739 34771 34772 34755 34769 36049 36048 36050 36051 36097 36052 26692 32074 18568 18628 18577 18621 18494 18541 18555 18585 18521 18627 18567 18482 18592 18603 18537 18556 18610 18549 18575 18540 18514 18584 18593 18574 18505 18530 18501 18604 18513 18591 18522 18609 18428 18573 18500 18539 18630 18612 18613 18493 32006 18520 18531 18576 18557 18622 18586 18523 18602 18538 18550 18499 18594 18632 32008 32011 32152 32148 32149 32154 32158 32151 32156 32157 32147 32153 32155 32150 18559 26691 26693 23815 23813 23814 23817 23760 23758 23811 23816 23812 23759 32103 18558 18548 18492 18512 32075 32026 32022 32073 32081 32027 32082 32023 32014 32013 32017 32012 32009 32010 32016 32007 31963 32072 32024 32078 32025 32080 32077 32071 32079 78486 78440 78482 78578 78485 78577 78586 78576 78575 78483 78585 78595 78593 78587 78441 78439 78597 78594 78592 78481 76095 77255 77671 78583 77364 75666 76736 76599 76557 77654 76641 76157 76640 77049 76372 77253 76755 77518 75907 75951 78291 78623 76380 76382 77357 77365 77212 77258 76753 76733 76735 76756 75730 75905 77366 77349 77350 77347 75660 75661 75656 77371 78132 77052 77051 76946 76166 78603 78609 75569 78268 78174 77059 77565 77520 77358 77672 75999 77664 77560 76906 78602 78611 78591 77973 77871 75657 75658 78287 77060 78279 78290 78175 76163 76169 78633 75952 75780 76447 75950 77257 77211 77254 77369 75574 75572 76951 75581 75570 76156 78598 75568 76904 77058 77050 77041 75669 75662 75652 78615 78284 75564 78608 77042 76750 75556 75667 78621 77868 77979 76749 76170 75659 75670 75672 78631 75731 75840 77661 78625 75573 75579 76174 78624 77562 76643 75671 75663 75673 77969 75554 78616 76369 77363 76172 76947 78613 78618 77977 77047 76450 78134 77963 78176 78278 78617 76948 77043 77213 77348 75841 77826 78277 77665 78628 77356 78626 78638 75843 78606 78614 76305 78275 78582 76905 76745 77062 76740 78610 76600 78630 78620 77063 77825 77980 77981 77964 78607 77968 75664 75567 77867 78286 75668 75655 75665 76175 76306 75566 75997 78635 78271 77678 77663 76092 76164 76179 76742 77354 75563 76243 77673 77674 77657 76162 77961 77057 77676 77561 76178 78637 75580 77064 78619 77048 77662 75904 76180 76304 77985 76094 76752 77984 76239 78292 76158 75996 78584 76375 76373 76644 76744 78179 78178 76176 76165 75559 75562 78627 76757 77040 77359 77367 77564 77666 77983 77370 78636 76741 76950 78288 76307 78601 76177 76173 76371 76161 78269 78604 78276 76159 78270 78280 76171 75561 78605 75558 77677 78632 78612 75553 78599 75557 76168 76734 76751 76598 77670 76000 76449 76374 76381 76093 75555 76370 76160 76167 78622 75565 76743 78133 78285 77970 77972 77962 77872 77656 77655 77971 77978 77519 77056 78634 77355 76379 78629 75560 78600 77869 77827 36033 36038 36042 36041 36043 35989 35987 36039 36040 36034 36036 36035 36037 35986 36032 35988 35984 35985 48003 47999 48000 48001 48002 48030 26713 26708 26699 26723 26721 26727 26722 32100 32099 32098 32101 32102 31960 31962 31958 31959 31961 32076 18595 32015 18532 60178 60172 60186 60196 60166 60184 60173 60193 60194 60167 60191 60182 60183 60170 60192 60197 60180 60188 60171 60190 60198 60195 60175 60185 60174 60181 60187 60189 60177 60199 60168 60179 60176 41430 41286 41431 41437 41422 41423 41441 41432 41331 41442 41440 41421 41330 41439 41438 41443 41420 41744 41728 41727 41737 41747 41730 41729 41746 41739 41750 41593 41638 41745 41738 41748 41749 41637 41136 40979 41023 41133 41135 41130 41116 41125 41114 41134 41115 41113 41024 41131 41132 41124 41123 40517 40365 40518 40520 40500 40501 40519 40502 40509 40522 40511 40499 40409 40521 40410 40516 40510 42360 42344 42363 42343 42351 42251 42358 39765 39860 40213 40214 40147 40148 40216 39717 39924 40215 39858 40146 40141 39859 39766 42342 42353 42341 42364 42252 42361 40139 42362 40140 42207 42359 42352 40818 40807 40828 40826 40816 40717 40809 40808 40806 40825 40823 40824 40672 40827 40817 40716 40829 42054 42056 42053 42045 42055 42034 42057 42052 42046 42044 42036 41900 41945 41944 42035 42037 42051 41751 40523 42058 42365 41444 41137 40830 68345 68342 68384 68373 68338 68369 71048 71037 68335 68365 68339 68343 68336 68370 68337 64368 71061 68359 68376 68374 68378 68357 68340 68334 68355 68382 68388 71063 68393 64305 68383 68332 68361 68331 68391 68362 68358 68381 68344 71051 68366 68368 68333 68387 68341 71064 68364 68354 68380 68375 68350 68390 68353 68352 68377 68360 71049 68363 71047 68392 68371 68347 64367 71035 68367 68379 68386 68385 68346 68348 68372 71062 71034 68351 68389 68394 68349 68356 41943 41636 40805 40822 41428 40629 41419 41549 41129 40814 41120 42033 42340 41112 39857 42050 40506 41122 42357 40813 42350 41734 42349 41857 40935 40507 41743 40138 39608 41242 40508 40137 42163 40715 41436 40628 39764 40072 39672 42348 41329 41550 41429 40498 42042 40815 42041 40408 42250 41022 41243 40515 41736 40322 41735 42164 40145 41856 41121 40936 41427 42043 40321 60169 22599 22635 22656 22566 22602 22518 22581 22594 22620 22540 22584 22498 22582 22545 22454 22583 22610 22549 22557 22648 22639 22638 22647 22508 22655 22547 22637 22548 22636 22646 22629 22526 22576 22619 22618 22563 22585 22621 22600 22658 22601 22592 22520 22617 22611 22603 18611 18620 18566 18519 18631 18472 44039 44037 44040 44084 44038 44036 22527 22519 22593 22564 22574 22546 22531 22654 22565 22538 22628 22556 22612 22575 22567 22657 22525 22539 22653 22558 22630 26707 26709 56268 56267 56269 56266 18629 41726 11892 11894 11896 7369 7368 7367 7366 11832 23966 23967 23905 23900 23901 7629 7623 7628 7626 7627 7624 7625 46592 46581 46587 46600 46601 46593 46584 46602 46591 46599 46589 46597 46588 46583 46590 46594 46596 46595 46585 46598 46586 46575 46569 46579 46573 46577 46572 46574 46576 46582 46580 46578 46631 46644 46630 46635 46645 46638 46647 46648 46634 46629 46639 46627 46632 46633 46640 46643 46636 46641 46637 46646 46642 50582 50587 50589 50569 50577 50591 50580 50584 50579 50585 50581 50572 50567 50583 50576 50586 50571 50570 50588 50573 50590 50578 50575 50574 42843 22721 19879 15853 15915 15914 34154 31664 33539 34153 33540 32925 32271 32926 32618 32312 33847 33232 31621 33233 32619 33846 19875 19816 12839 12838 12532 11575 12225 12531 12184 13759 13760 13145 11620 13452 13453 14066 14067 6932 6947 6933 6925 6934 6937 6946 6935 6951 6949 6954 6955 6919 6921 6948 66999 67015 58963 13451 11203 12837 11619 12530 12224 13144 14065 13758 11204 58947 18663 18666 18664 18662 18677 18676 29820 29821 30127 28245 28286 30128 28900 29206 28593 28592 29514 29207 27638 28899 27595 29513 18678 18679 11740 11738 11737 11739 8589 8285 9809 7370 8286 7748 9201 8591 9200 9505 10116 7703 8896 9506 9811 8590 10115 7372 8894 10114 7371 9199 7747 9504 11202 11196 11197 11195 15393 15338 15333 15285 15286 15444 15443 15446 15448 15447 15508 15511 15334 15510 15336 15339 15335 15337 15507 15512 15513 15509 15391 15454 15456 15455 15449 15392 15445 15284 15849 11831 11833 11830 11895 11897 11829 11893 11828 18696 18697 18695 18709 18699 18725 18724 18710 18713 18711 18723 18726 23799 23805 23804 23802 23796 23794 23769 23795 23767 23765 23809 23803 23774 23761 23763 23798 23806 23793 23766 23808 23762 23797 23807 23810 23800 23792 23791 23801 23764 23768 18634 18639 20024 20071 20073 20075 20021 20074 20080 20078 20069 20079 20077 20022 20023 20025 20070 20076 20072 20020 18640 18661 18641 18669 18671 18656 18655 18657 15848 8245 13146 8895 9810 18681 18683 18687 18694 18708 18722 16043 18717 15922 15919 15907 16051 15968 15910 15405 15978 15998 15856 15996 16053 15858 15976 15857 16050 15908 15903 15920 15403 15973 15909 15859 15970 15404 15967 15995 16048 15911 15904 15906 15854 16045 15902 15913 15912 16049 15466 15977 15994 15974 15997 15975 15972 15918 15468 16044 16046 15923 15969 16054 15999 16052 15971 16047 15905 15855 15469 15467 15921 25794 25795 4909 5488 5198 5778 6359 4578 4619 6358 4117 4908 4162 5489 5779 5199 6069 6068 6067 5197 6357 4161 4907 4618 24567 24260 24219 24566 26102 24873 25180 26101 19587 25181 25488 23612 23569 25487 24874 20235 22077 20849 21770 21463 21156 20542 3860 3858 3859 3853 3851 5777 3852 5487 15182 15183 15184 418 419 417 421 391 422 420 423 17878 17881 16959 16209 16253 17571 16868 17482 17788 17880 16254 16344 17573 16345 17481 16346 16960 17437 17572 16343 16958 17789 17744 16867 16957 16823 17879 17574 16650 15702 15768 18187 16561 16653 16652 17266 17265 18095 18188 18096 18186 16516 18051 18185 15561 17175 16560 17130 17264 17174 15610 17267 16651 15609 15704 15703 21154 19543 19586 20540 20193 21769 22075 21768 20847 21461 20848 20234 21462 20541 21155 22076 17898 17899 17897 16669 16671 16670 17890 17889 17895 17896 16668 16661 16662 16667 17888 16660 17594 18209 16366 16060 17901 17288 16981 17902 16674 16367 17287 16673 17595 18208 16980 16365 17900 16672 16059 16979 18207 17286 17593 16057 15992 18204 18205 16977 16976 17591 17590 15991 15990 15984 15985 15983 18197 18196 18203 18202 18195 16974 16975 16969 16968 16967 17589 17582 17588 17583 17581 584 17283 16364 16363 16978 16362 17285 17592 17284 18206 16058 16355 16360 16361 16354 17281 17282 17276 17275 17274 16353 1245 586 608 595 1163 587 588 1244 609 676 674 1001 672 920 677 839 673 1082 758 675 1851 1813 2022 835 919 2366 916 756 2538 838 1241 2883 1562 2539 998 914 1081 2194 2023 1239 1240 996 753 755 995 754 1000 834 2882 757 1077 1079 917 997 837 2367 2195 1076 918 836 1242 1601 1243 752 1080 833 1238 915 1078 1162 1161 2710 1160 1158 1159 2711 18651 18667 18668 18637 18653 18654 18665 18638 18635 17263 16866 16166 16559 17173 17087 16472 18007 17086 15608 16780 15452 17480 18094 16956 17570 17701 17787 16252 15790 18008 18184 16473 16779 15516 17877 16165 17394 15701 16342 17700 16649 6897 6898 6916 6913 6902 6906 6899 6903 6914 6911 6900 6895 6917 6896 6909 6908 6901 6907 6912 6915 6910 23842 23972 23973 24049 23971 24046 23961 24029 23889 23891 24048 24027 23975 23960 23897 23954 24023 24099 24096 26775 26765 26776 26777 24047 23970 24024 23963 23899 23974 23962 23893 23896 24105 24097 24051 24021 24101 23956 23895 23959 23892 23958 23894 23955 26744 26778 23964 23848 24025 24100 24106 24103 23957 24030 24028 24050 24095 24098 24026 23890 24019 24104 24020 23898 24102 26762 26761 26763 26773 26759 26745 24022 23965 17272 18193 17587 17271 16359 16351 17280 15989 16965 17579 18201 16350 16973 17578 18192 15916 16658 16657 16666 17885 17886 17894 15982 16966 18194 16352 17580 17273 16659 17887 1475 15981 16964 2365 1491 1850 2709 2021 2193 2881 1490 2537 1600 54470 54466 54461 52901 54450 54421 51938 53805 53192 53191 52885 53215 54479 54452 52904 54451 53509 52596 53812 54469 52597 53409 52600 52891 54285 52579 52226 52215 51844 54439 52002 54448 54475 53829 53193 53521 54482 54472 54114 54453 53213 54478 52907 53501 54427 54446 52580 53671 53510 52487 54471 52291 53508 52577 54441 53408 53499 54135 51795 52601 52884 54467 53522 54120 54454 52906 54119 54459 52293 53516 53364 54463 51937 53716 53827 54449 54131 53210 54474 54443 54462 53715 54122 54023 53211 54465 54468 53518 54113 54124 52750 54123 54132 54426 54480 52443 54473 53978 54457 54130 54464 52896 54477 52795 52584 54422 54134 54115 53101 52894 53808 54444 54136 53498 52578 52908 54329 54476 53806 52294 53824 52902 53517 54022 54456 53506 54455 54420 53825 54129 52599 53828 54442 52892 54330 53057 54458 53199 52887 54419 54460 52895 53214 53515 53505 52886 52585 51843 53500 52794 53198 53194 54438 52903 56145 56152 56172 56159 56128 56167 56139 56162 56165 56158 56144 56151 56156 56153 56146 56155 56164 56140 56148 56160 56147 56126 56166 56150 56135 56141 56168 56163 56142 56161 56138 56173 56137 56169 56154 56157 56149 56170 56143 56171 48025 52219 51412 51402 53814 51406 53823 53203 53208 48023 51411 53514 51400 48024 54121 51409 52224 51407 52594 52586 48026 52587 54428 51399 52223 52216 51397 52588 54437 48028 52217 53207 51408 53815 53822 51403 53209 53821 52225 54431 54436 51404 48027 53816 53202 54429 52900 51414 54128 54445 51398 51405 52593 53507 52589 52595 53200 51413 53201 54435 51410 52218 54430 51401 52893 48015 48029 53817 52150 53520 53102 51936 53813 54447 54481 52488 53807 999 54112 23771 23770 23773 23772 10669 10662 10668 10666 10665 10667 10661 10660 10690 10678 10679 10687 10677 10688 10686 10685 10689 10659 10656 26751 26749 26748 10691 10658 7991 7930 7992 11764 26747 10495 10524 10672 10675 10676 10682 18714 18715 18720 18721 39992 39949 39950 39951 39948 39947 26469 26457 26456 26468 26439 26461 26441 26466 26454 26463 26472 26467 26447 26451 26446 26443 26450 26470 26444 26475 26464 26445 26460 26474 26453 26473 26465 26459 26449 26442 26471 26458 26455 26462 26452 26448 71060 71025 71019 71046 71032 10670 10681 10671 6894 6892 14695 11972 14694 14688 11970 14689 11971 11969 11968 10 3 98 12 97 99 13 17393 1157 18703 7926 7925 7867 20372 20369 20370 20280 20391 20279 20371 21906 21905 21815 21907 21814 21904 21926 20586 20679 20678 20676 20698 20677 20587 20986 20893 20983 20985 21005 20894 22122 22233 22212 22214 22121 22211 22213 19730 19729 19794 19636 19728 19635 20085 21507 21600 21619 21508 21597 21599 21598 21312 21291 21201 21292 21293 21200 21290 21007 21620 22235 21928 20700 20392 21006 22234 21621 21313 20086 21927 21314 20393 20699 3472 3290 3446 3267 3314 3272 3445 3418 3419 3470 3377 3270 3448 3340 3420 3378 3260 3288 3367 3252 3444 3286 3366 3379 3325 3327 3473 3370 3300 3474 3342 3287 3326 3292 3447 3431 3456 3265 3404 3421 3395 3318 3430 3475 3455 3353 3316 3317 3471 3393 3250 3369 3271 3315 3351 3341 3344 3352 3343 3301 3403 3291 3457 3396 3299 3422 3405 3392 3394 3233 3429 58484 58004 56469 57127 60163 56913 55962 56028 56320 56933 56626 58493 58496 56918 56932 57525 57128 57225 58445 60152 58145 56513 57083 58157 58475 58482 58355 57526 58447 58480 56319 60161 57548 58505 58158 58161 57838 58465 57220 57219 57855 58464 58497 56176 56606 58498 58452 58481 57839 58494 55963 57527 58492 57742 55870 56611 58476 57850 58453 56929 58470 58506 56625 58468 58486 58488 56622 58141 56317 56610 56934 57741 56930 56623 58502 55964 58504 57237 58146 57218 57217 58160 58311 58490 57851 57546 57224 58501 57547 56603 58479 58499 57435 58473 60165 57854 58503 58478 58139 57390 56776 55821 56917 57834 58446 58472 57544 57853 56252 57832 58500 57531 58495 58474 57831 58162 56514 56627 58356 60164 57543 57524 58483 58487 58048 58448 60154 57532 58469 58485 57236 58467 58138 57697 56821 56605 55869 56241 57240 56912 56604 57239 57434 56820 58489 57833 58049 58491 56911 58477 57241 58140 3231 3225 1308 3154 3193 3186 20693 20380 57840 57540 21307 52050 21002 22232 58457 20011 56919 52069 52053 57228 20084 56921 57848 52075 52067 57847 52063 22221 22222 57533 20017 52041 21301 58156 52064 21618 56249 56927 58148 20389 56619 56615 52081 21616 56242 57227 52078 56926 20694 57233 52073 56614 21003 57226 21923 52049 57229 20697 56251 52056 21000 52074 57534 57234 52055 52080 21308 20995 21310 52052 57842 57235 20387 52051 52068 56244 20016 21915 52070 21914 22228 52060 21311 21004 57541 20695 21615 56250 58150 58455 56243 56928 21916 57535 52058 52059 58155 20994 52062 20687 52072 56613 21309 21607 21921 57849 56612 56245 20686 58149 56621 20696 58147 22230 20388 57843 20010 21617 21302 20993 58463 58462 57841 21001 52057 20386 21922 57536 21614 56922 20083 20018 22231 52077 20390 20688 58154 58456 22223 57542 22229 52076 58454 56620 56920 52061 21925 52071 20379 52079 52065 52054 20009 58461 20381 21608 52066 21300 19874 3289 3266 22227 19478 22120 21289 20992 20892 20376 20499 22219 20498 21920 20585 20999 19634 21605 21726 21903 20684 55440 55428 55438 20368 20378 20806 20192 21112 55427 55439 21596 20805 21913 20991 20990 55432 22220 55430 22033 20008 20683 21298 21297 19727 55429 55433 55434 55424 21506 21727 21113 21911 19542 22210 20015 20982 20385 20675 21420 55426 55437 20191 19942 55425 21419 58471 21912 20377 21604 20278 21306 22218 55431 21613 55436 20692 55435 22034 20685 21606 22747 22711 22708 22719 22710 22716 22718 22733 21609 20984 21924 3368 21199 21813 20007 30479 30485 30493 30497 30481 30492 30484 30486 30488 30480 30499 30498 30487 30496 30477 30494 30501 30495 30491 30482 30500 30483 30490 30489 30471 30470 30465 30468 30467 30473 30469 30472 30476 30475 30478 30474 14999 14997 15003 15002 15001 14998 15000 14995 14996 14993 56910 21299 19995 19998 19994 20002 19999 20000 20003 19996 20004 19993 19997 18675 18670 20001 14952 18978 10683 10684 19882 60956 62532 24612 25031 25645 24704 61857 60653 59990 25489 25624 61245 61460 62187 60959 61250 61263 60847 61552 62516 59455 25011 25646 60343 60960 25012 25226 62508 25623 62512 64180 24568 61553 60649 62188 25933 59451 60630 24724 59454 60631 61243 62510 62533 64189 62183 62337 61267 61551 26239 24726 24725 23756 25534 60539 61557 24418 23662 62495 25010 26147 59459 60054 25339 62478 61266 26103 61244 59453 61876 62494 26237 25625 60955 25009 25931 61550 25626 61572 62521 60202 60938 61570 59463 62523 61880 24919 25338 59895 23820 60944 62519 61265 62514 61881 62506 26240 24417 61461 25033 62518 59456 24395 64187 62164 62184 25340 24613 61153 62499 61860 25841 60278 26259 25954 61859 25316 60648 25930 61569 59989 23755 62167 26261 62472 62186 62525 25953 61109 62479 62501 24306 62172 59458 25227 62524 60937 60632 61723 59449 60936 24703 62473 25317 60636 23661 59452 24261 61573 62165 25182 62503 24702 62520 25796 61879 59896 25840 59988 60346 61251 61858 62504 24419 24920 62381 62509 60629 24398 62527 62474 62490 59464 60943 62531 25032 25647 64178 25319 25318 62534 62471 61877 62517 62493 59460 60345 60652 24705 62511 60495 60651 64190 61767 25533 62505 59847 60637 60939 24305 61768 60540 64191 59462 61865 23754 62074 62491 62502 59461 62498 62515 23613 62030 24112 25932 24397 62507 62166 62500 26260 61864 62513 62528 24396 61558 24111 62530 62496 62529 26148 61574 60267 24875 25952 60802 61246 26238 62522 60958 62382 19928 19948 19946 19883 19947 19884 19949 6878 6799 6771 6890 6887 6816 6833 6817 6815 6867 6790 6832 6870 6888 6758 6770 6740 6806 6834 6780 6788 6795 6763 6824 6849 6860 6813 6808 6814 6777 6861 6797 6862 6871 6779 6778 6686 6789 6759 6826 6889 6798 6851 6844 6730 6885 6869 6843 6880 6868 6807 6886 6835 6853 6772 6831 6796 6879 6781 6750 6842 6852 6825 6751 6752 56084 24304 56102 24413 24412 25020 24525 24041 62176 56094 61866 25138 24415 24405 24524 62487 62497 61566 25326 60268 62481 26249 60277 24404 24710 25753 56096 25028 25951 24403 62483 61567 25642 60947 25324 25641 62480 61874 25019 25446 25139 24042 25643 24611 25639 25940 24709 61867 60647 25025 62181 25337 56091 61559 56101 59465 24918 60640 25335 26254 24723 62175 25937 24394 23660 24714 25333 26258 59466 56093 56080 56095 26248 61255 61561 61875 25225 56083 24712 61253 24033 61261 25752 25030 25027 56075 56086 56097 25950 56078 56076 61873 25941 25949 56077 24416 24832 60953 62182 25622 56103 26256 56087 24722 24831 60646 25016 25630 62488 56079 23504 61260 25026 24110 25532 26245 56098 56104 62482 25635 25334 24044 24407 25327 60948 26257 24218 24217 56107 60645 61252 25325 62180 23568 24035 61560 26236 25633 24036 26246 60639 62173 24721 24720 24034 60954 56106 24109 60269 56092 56100 56081 60638 56089 25640 56067 25946 25328 61869 25947 26253 25017 24043 25839 56088 25323 24406 25315 61259 60276 25008 23753 60270 25938 60945 61254 56082 26255 25929 26059 56099 23968 60952 25939 25634 25029 25644 25948 26244 24719 25942 24718 25332 24402 24037 25631 25021 60275 60946 56105 25018 61568 61562 62174 25632 60641 26247 56090 61868 24713 24414 24411 26146 24701 61154 62489 6757 6850 24711 59450 62526 61416 60271 25336 60846 56085 25445 62171 26060 61262 62075 59457 19881 19880 19945 19944 23910 23911 64656 10626 29978 30174 29666 64293 66524 64673 66541 65599 30263 10545 65890 64973 64372 10522 10563 65486 65269 66552 65285 28062 10588 66200 66551 64971 64979 29667 64662 10631 64962 10581 66209 66199 65585 66509 10516 28287 64295 63492 64228 63489 63491 66521 10579 10599 29660 29673 66520 29035 66540 64666 64655 65596 63873 65577 65179 66207 29362 28748 29559 65583 29342 29967 68215 66530 64969 66191 65578 28433 65593 29672 66504 65749 66192 64297 10606 64566 66190 64565 66407 29052 29360 64828 27687 66197 29560 65905 28729 28731 64304 10541 29056 66523 65280 28730 29037 30285 64658 63921 66101 65794 64665 64521 66532 10608 28137 29354 65907 66212 10494 29353 28331 10642 63488 10535 10644 65442 10543 28440 64675 68213 10651 29671 64296 28444 63479 65277 65588 10553 27780 63476 64667 66506 64978 68204 63482 29670 28728 63483 64972 64963 64302 28061 10560 65884 64014 65886 10596 29977 63484 10635 28638 65584 10561 63485 66056 30283 66498 28069 66505 64301 29208 66557 10650 66499 66513 64677 30282 68217 30284 29980 66201 66558 65292 66206 10654 29867 28431 66516 65281 65901 66214 30287 64294 66546 66208 64986 28901 10571 65278 29363 66560 64369 66529 28745 64970 29652 28739 29968 10554 28439 29047 63922 28135 28750 65902 27688 10578 10589 29975 65270 65883 10542 30273 66202 28138 29974 29253 28747 28424 28442 10624 10633 30265 66408 65891 65279 28751 29361 64371 28445 66519 10613 29651 29976 10450 10504 65900 29344 66507 28438 66536 10615 29252 63486 66198 29966 10625 28594 29668 29359 64679 64672 64982 29365 66210 28070 10523 29038 65594 66526 65579 66547 10544 64980 28136 65598 65586 65287 10649 30275 30286 68206 29364 63490 64985 66548 29669 29822 10559 28423 66514 10572 63481 10515 29059 30129 65272 27781 10597 30173 29973 66528 10577 66500 28746 30274 64080 28740 65793 66100 27846 29343 65893 28441 66517 10616 66545 65587 10614 64981 28749 64872 27639 66550 66544 65286 10607 65291 30266 29959 65885 66555 66554 65906 10634 66527 65595 29979 29045 66538 66363 10527 10514 30281 63478 66193 65895 10552 28946 64016 64657 65180 10598 28945 64974 28063 66533 10643 29659 28421 65271 28639 30280 28422 29046 29649 66522 64671 29345 29057 66497 29866 29053 64664 28738 10595 65135 66213 66534 64873 10580 10632 65487 65576 64965 66535 66515 10590 10617 66559 66553 29661 64678 64984 65289 65892 29956 65894 29366 64964 28752 29515 29650 64303 29957 10652 29058 64663 10521 66549 10653 10536 64674 63475 64015 66537 65903 30264 65276 10570 27782 28068 10534 29055 65293 65288 68216 29352 65592 66556 66543 28443 66531 29958 65899 65600 66542 66539 28432 63477 63487 66525 28332 10562 66508 29965 30272 29658 28060 28430 28737 29044 29351 29054 63480 29036 14515 70551 70572 70569 67504 70583 70240 32458 32467 70535 69925 32468 69916 14514 14605 14551 14550 70545 70571 68323 69318 68995 69296 32447 32162 67516 14494 70570 32775 33675 33999 69317 69513 69297 67506 69512 14486 14512 32755 70541 67510 14595 33072 32449 33371 70558 14473 14532 14497 14505 68328 69612 33370 32459 68704 69622 68898 33692 32664 32778 68329 32469 34307 33080 70238 70530 69005 68592 69819 34004 69933 70561 70568 70218 69625 33893 14583 68997 69620 33390 69604 34312 14585 68397 14456 69313 34311 70542 14548 33984 33279 14541 14567 69007 31808 14596 33698 70575 14513 33695 70576 68682 70524 14468 70126 34200 33585 32089 70525 34006 69920 68998 14531 33687 14542 68699 69919 14487 67501 33079 33677 33380 14504 31713 68322 32772 14549 33676 34291 69205 68700 14558 68999 32971 69618 14474 32757 70239 67947 70553 70433 70549 69927 34301 33389 32357 32464 14467 70580 14466 70082 68106 69000 34299 70233 33694 32465 68320 32087 68989 14577 70578 34005 70236 34309 70546 14559 33848 69312 32088 14529 34313 69911 32313 69619 33892 33982 70216 14475 70534 68040 32471 14601 14565 69909 33062 69311 70556 34310 34300 67511 70554 70566 68319 68692 70564 70225 34003 70559 14533 14530 14493 31807 33693 69010 33391 67502 68684 33985 70552 32161 33685 69307 68693 70539 67513 33085 32450 33378 33388 70232 69921 32095 70582 69910 69931 69315 69319 69603 70235 33083 32972 70540 33061 14576 32094 68681 70547 32773 34290 67503 70226 68698 32776 33994 14540 68330 68996 70585 34199 33983 69928 69918 68705 69917 33697 14584 70560 14578 33071 67509 31872 68042 32771 69624 70526 70533 68703 34000 14547 68988 70548 70234 14522 31806 33084 33993 69006 69611 33063 33064 69613 69468 32665 68327 14446 69314 33387 67507 70563 70543 70565 70574 69602 68398 32358 69305 68899 34292 33699 67948 68041 31665 70567 34308 34001 14496 33369 70586 68591 33386 69161 67508 70581 33081 67899 70531 33686 14495 70523 69008 32766 33992 32756 14566 68701 68690 69932 70217 70555 68395 68691 14603 33368 34289 67517 69820 14606 68689 34155 70389 70579 69610 33073 68547 32764 68990 33586 32927 68991 69605 33379 68321 14402 14560 14479 14586 14604 14587 14568 69609 33678 67518 68688 70532 69303 69306 69626 34306 67512 14569 33541 32466 70550 69304 69302 14506 14594 70223 32620 68854 69298 69926 67515 32163 32096 69206 33078 70584 69621 68254 33392 68697 70557 70224 14524 68683 32774 69295 70219 33385 14488 69775 31714 34002 32470 69012 32777 67505 33082 33278 14511 14523 32765 70434 33696 32754 70228 14602 32164 69004 69614 26743 33376 33070 32020 34296 33991 33891 33682 33684 33989 33375 32663 31712 33068 33683 32762 33384 32770 33277 33990 32093 32763 34297 33998 32761 32356 32086 33069 33077 34198 32456 32970 32455 34305 32463 33377 34298 33691 33584 32454 32085 29042 28428 29656 30271 29043 29657 28059 29051 29865 29665 28744 28429 28067 30172 29558 29358 28736 29963 30279 28944 29251 27686 28735 29350 27994 28437 30270 29349 29972 28330 28637 29964 30086 27530 29648 27779 29164 28243 30085 28420 28857 30262 29341 28727 29472 28551 29471 27594 28858 29165 28550 29779 28244 29034 29955 29778 69011 69929 33234 70577 67514 70573 69912 32448 32457 70562 33190 32883 33497 34111 27936 32577 33981 33674 32446 27932 33498 34112 34288 32270 31556 33191 32884 32753 31805 33804 32576 27935 27934 32269 33060 33367 33805 27933 31620 23906 23907 23909 23908 70227 70127 14649 10664 10663 10680 121 122 119 11467 11718 11466 11469 11468 120 7572 11481 7570 7571 7573 11973 2 4 7 8 9 159 160 158 486 123 1480 1483 1489 1484 1482 557 3056 3108 558 3057 3104 3109 394 594 3105 3112  0
478.51/478.58	
478.51/478.58	c Core has size 14693

OK	14693

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.06 4.17 2.25 5/189 23706
/proc/meminfo: memFree=30838396/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=21924 CPUtime=0 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 1897 0 0 0 0 0 0 0 25 0 1 0 371822739 22450176 1526 33554432000 4194304 4365125 140734494710928 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 5481 1537 247 42 0 2629 0

[startup+0.0282569 s]
/proc/loadavg: 4.06 4.17 2.25 5/189 23706
/proc/meminfo: memFree=30838396/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=20880 CPUtime=0.02 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 2923 0 0 0 2 0 0 0 25 0 1 0 371822739 21381120 2110 33554432000 4194304 4365125 140734494710928 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 5220 2110 253 42 0 2368 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20880

[startup+0.100244 s]
/proc/loadavg: 4.06 4.17 2.25 5/189 23706
/proc/meminfo: memFree=30838396/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=27076 CPUtime=0.08 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 7456 0 0 0 8 0 0 0 25 0 1 0 371822739 27725824 3594 33554432000 4194304 4365125 140734494710928 18446744073709551615 218880564992 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 6769 3594 253 42 0 3917 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27076

[startup+0.300221 s]
/proc/loadavg: 4.06 4.17 2.25 5/189 23706
/proc/meminfo: memFree=30838396/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=35356 CPUtime=0.29 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 10821 0 0 0 28 1 0 0 25 0 1 0 371822739 36204544 5159 33554432000 4194304 4365125 140734494710928 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 8839 5159 262 42 0 5987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35356

[startup+0.701141 s]
/proc/loadavg: 4.06 4.17 2.25 5/189 23706
/proc/meminfo: memFree=30838396/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=41592 CPUtime=0.69 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 12911 0 0 0 68 1 0 0 25 0 1 0 371822739 42590208 6731 33554432000 4194304 4365125 140734494710928 18446744073709551615 4257462 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 10398 6731 262 42 0 7546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41592

[startup+1.50099 s]
/proc/loadavg: 4.06 4.17 2.25 5/190 23707
/proc/meminfo: memFree=30738208/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=60776 CPUtime=1.49 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 25827 0 0 0 146 3 0 0 25 0 1 0 371822739 62234624 9731 33554432000 4194304 4365125 140734494710928 18446744073709551615 4244636 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 15194 9731 262 42 0 12342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60776

[startup+3.10072 s]
/proc/loadavg: 4.06 4.17 2.25 5/190 23707
/proc/meminfo: memFree=30744532/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=113980 CPUtime=3.09 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 73928 0 0 0 301 8 0 0 25 0 1 0 371822739 116715520 21294 33554432000 4194304 4365125 140734494710928 18446744073709551615 4250176 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 28495 21294 263 42 0 25643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113980

[startup+6.30113 s]
/proc/loadavg: 4.13 4.18 2.27 5/190 23708
/proc/meminfo: memFree=30693660/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=150304 CPUtime=6.29 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 105890 0 0 0 617 12 0 0 25 0 1 0 371822739 153911296 28219 33554432000 4194304 4365125 140734494710928 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 37576 28219 263 42 0 34724 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 150304

[startup+12.701 s]
/proc/loadavg: 4.12 4.18 2.28 5/190 23708
/proc/meminfo: memFree=30597412/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=150304 CPUtime=12.69 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 108952 0 0 0 1257 12 0 0 25 0 1 0 371822739 153911296 29750 33554432000 4194304 4365125 140734494710928 18446744073709551615 4262570 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 37576 29750 263 42 0 34724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 150304

[startup+25.5007 s]
/proc/loadavg: 4.02 4.15 2.30 5/190 23745
/proc/meminfo: memFree=30873216/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=168736 CPUtime=25.49 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 119780 0 0 0 2536 13 0 0 25 0 1 0 371822739 172785664 32386 33554432000 4194304 4365125 140734494710928 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 42184 32386 264 42 0 39332 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 168736

[startup+51.1011 s]
/proc/loadavg: 4.01 4.14 2.34 5/190 23746
/proc/meminfo: memFree=30465784/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=178976 CPUtime=51.09 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 121065 0 0 0 5095 14 0 0 25 0 1 0 371822739 183271424 33671 33554432000 4194304 4365125 140734494710928 18446744073709551615 4248456 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 44744 33671 264 42 0 41892 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 178976

[startup+102.307 s]
/proc/loadavg: 4.00 4.11 2.43 5/190 23747
/proc/meminfo: memFree=30368480/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=189216 CPUtime=102.3 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 122350 0 0 0 10215 15 0 0 25 0 1 0 371822739 193757184 34956 33554432000 4194304 4365125 140734494710928 18446744073709551615 4262046 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 47304 34956 264 42 0 44452 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 189216

[startup+162.301 s]
/proc/loadavg: 4.00 4.09 2.52 5/190 23786
/proc/meminfo: memFree=30581636/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=197408 CPUtime=162.3 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 123378 0 0 0 16214 16 0 0 25 0 1 0 371822739 202145792 35984 33554432000 4194304 4365125 140734494710928 18446744073709551615 4271955 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 49352 35984 264 42 0 46500 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 197408

[startup+222.3 s]
/proc/loadavg: 4.00 4.07 2.61 5/190 23824
/proc/meminfo: memFree=30549332/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=222.29 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 125183 0 0 0 22213 16 0 0 25 0 1 0 371822739 216825856 37789 33554432000 4194304 4365125 140734494710928 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 37789 264 42 0 50084 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 211744

[startup+282.3 s]
/proc/loadavg: 4.05 4.07 2.70 5/190 23900
/proc/meminfo: memFree=30520092/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=282.3 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 128433 0 0 0 28213 17 0 0 25 0 1 0 371822739 216825856 39505 33554432000 4194304 4365125 140734494710928 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 39505 264 42 0 50084 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 211744

[startup+342.301 s]
/proc/loadavg: 4.02 4.06 2.78 5/190 23901
/proc/meminfo: memFree=30485584/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=342.3 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 129511 0 0 0 34212 18 0 0 25 0 1 0 371822739 216825856 40044 33554432000 4194304 4365125 140734494710928 18446744073709551615 4262636 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40044 264 42 0 50084 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 211744

[startup+402.301 s]
/proc/loadavg: 4.00 4.04 2.85 5/190 23903
/proc/meminfo: memFree=30499548/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=402.3 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130569 0 0 0 40212 18 0 0 25 0 1 0 371822739 216825856 40573 33554432000 4194304 4365125 140734494710928 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40573 264 42 0 50084 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 211744

[startup+462.301 s]
/proc/loadavg: 4.05 4.05 2.93 5/190 23905
/proc/meminfo: memFree=30492948/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=462.3 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130582 0 0 0 46211 19 0 0 25 0 1 0 371822739 216825856 40586 33554432000 4194304 4365125 140734494710928 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40586 264 42 0 50084 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 211744

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

[startup+467.101 s]
/proc/loadavg: 4.04 4.05 2.93 5/190 23905
/proc/meminfo: memFree=30504476/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=467.1 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130587 0 0 0 46691 19 0 0 25 0 1 0 371822739 216825856 40591 33554432000 4194304 4365125 140734494710928 18446744073709551615 4260678 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40591 264 42 0 50084 0
Current children cumulated CPU time (s) 467.1
Current children cumulated vsize (KiB) 211744

[startup+473.501 s]
/proc/loadavg: 4.04 4.05 2.94 5/190 23905
/proc/meminfo: memFree=30439748/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=473.5 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130587 0 0 0 47331 19 0 0 25 0 1 0 371822739 216825856 40591 33554432000 4194304 4365125 140734494710928 18446744073709551615 4242797 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40591 264 42 0 50084 0
Current children cumulated CPU time (s) 473.5
Current children cumulated vsize (KiB) 211744

[startup+476.7 s]
/proc/loadavg: 4.04 4.05 2.94 5/190 23905
/proc/meminfo: memFree=30495172/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=476.7 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130587 0 0 0 47651 19 0 0 25 0 1 0 371822739 216825856 40591 33554432000 4194304 4365125 140734494710928 18446744073709551615 4257294 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40591 264 42 0 50084 0
Current children cumulated CPU time (s) 476.7
Current children cumulated vsize (KiB) 211744

[startup+477.5 s]
/proc/loadavg: 4.04 4.05 2.94 5/190 23905
/proc/meminfo: memFree=30488352/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=477.5 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130587 0 0 0 47731 19 0 0 25 0 1 0 371822739 216825856 40591 33554432000 4194304 4365125 140734494710928 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40591 264 42 0 50084 0
Current children cumulated CPU time (s) 477.5
Current children cumulated vsize (KiB) 211744

[startup+478.301 s]
/proc/loadavg: 4.04 4.05 2.94 5/190 23905
/proc/meminfo: memFree=30488352/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=478.3 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130587 0 0 0 47811 19 0 0 25 0 1 0 371822739 216825856 40591 33554432000 4194304 4365125 140734494710928 18446744073709551615 4272179 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40591 264 42 0 50084 0
Current children cumulated CPU time (s) 478.3
Current children cumulated vsize (KiB) 211744

[startup+478.507 s]
/proc/loadavg: 4.04 4.05 2.94 5/190 23905
/proc/meminfo: memFree=30517368/32950928 swapFree=67054688/67111528
[pid=23706] ppid=23704 vsize=211744 CPUtime=478.51 cores=1,3
/proc/23706/stat : 23706 (MoUsSaka) R 23704 23706 23398 0 -1 4202496 130587 0 0 0 47832 19 0 0 25 0 1 0 371822739 216825856 40591 33554432000 4194304 4365125 140734494710928 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23706/statm: 52936 40591 264 42 0 50084 0
Current children cumulated CPU time (s) 478.51
Current children cumulated vsize (KiB) 211744

Child status: 20
Real time (s): 478.597
CPU time (s): 478.608
CPU user time (s): 478.405
CPU system time (s): 0.202969
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 224028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 478.405
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130592
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= 6
involuntary context switches= 1294

runsolver used 0.768883 second user time and 1.84772 second system time

The end

Begin job on node112 at 2011-06-14 11:02:13
IDJOB=3501507
IDBENCH=90053
IDSOLVER=2000
FILE ID=node112/3501507-1308042133
RUNJOBID= node112-1308041928-23418
PBS_JOBID= 13564694
Free space on /tmp= 73992 MiB

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

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

MD5SUM BENCH= c48f17c117ec03bd8edf00d6f3e8c9c1
RANDOM SEED=1739455115

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30838816 kB
Buffers:        178120 kB
Cached:         927224 kB
SwapCached:      10444 kB
Active:        1128736 kB
Inactive:       771828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30838816 kB
SwapTotal:    67111528 kB
SwapFree:     67054688 kB
Dirty:            6224 kB
Writeback:           0 kB
AnonPages:      793256 kB
Mapped:           9940 kB
Slab:           144012 kB
PageTables:       6572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1195052 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73984 MiB
End job on node112 at 2011-06-14 11:10:12