| Name | gmus/belov/ bj08amba5g62.aig.k25.gcnf |
| MD5SUM | de18b6cb121574c53d40286fa3492ff1 |
| Bench Category | GMUS (GMUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 90.2033 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 331540 |
| Number of clauses | 993769 |
| Sum of the clauses size | 2318793 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 662512 |
| Number of clauses of size 3 | 331256 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Number of groups | 331256 |
| Number of clauses in the kernel (group 0) | 1 |
| Least number of clauses in a group (except group 0) | 3 |
| Greatest number of clauses in a group (except group 0) | 3 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3501448 | UNSAT | 90.2033 | 90.1998 |
| Haifa-HLMUC 2011-04-07 (complete) | 3501645 | UNSAT | 177.242 | 177.237 |
| Haifa-HLMUC-A 2011-04-07 (complete) | 3502039 | UNSAT | 243.43 | 243.425 |
| Haifa-HLMUC-A 2011-04-07 (complete) | 3501842 | UNSAT | 250.26 | 250.297 |
| Haifa-HLMUC 2011-04-07 (complete) | 3502236 | UNSAT | 564.034 | 564.067 |
| MUSer 2011-02-10 (complete) | 3501052 | UNSAT | 1066.49 | 1066.49 |
| PicoGCNF 941 (complete) | 3501251 | No Cert. | 1800.03 | 1800.01 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3500855 | No Cert. | 1800.15 | 1796.03 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:311308 311309 311050 311140 311141 311144 311145 311142 311143 311290 311293 311294 311298 311291 311292 311289 311300 311295 311296 311297 311299 311268 311256 311266 311261 311264 311260 311257 311259 311258 311262 331133 331212 331136 331155 331149 331156 331130 331220 331135 331174 331177 331150 331134 331145 331137 331154 331198 331159 331131 331200 331142 331152 331153 331218 331160 331176 331126 331168 331117 331213 331175 331172 331127 331171 331222 331223 331165 331132 331122 331157 331118 331123 331203 331173 331162 331215 331138 331158 331151 331199 311269 331033 311424 330949 311355 331017 330938 331021 331035 331129 330943 311411 330942 330941 311416 311406 311405 331020 331037 331040 311415 331015 330952 331034 331041 311409 330933 331027 331038 331009 330939 311413 330953 331010 331016 331019 330948 331022 330945 311420 311350 330891 311410 331024 311408 331128 311421 331036 330936 311419 330937 330940 311360 331018 330951 331028 311361 331025 311412 311422 330947 331039 311407 330955 330944 331013 330954 330950 311359 311354 311385 311351 291359 291403 291409 291402 291357 291417 291352 291420 311047 311046 311052 311053 311049 311051 311048 311025 311029 311028 311027 311153 311148 311151 311150 311031 311036 311026 311147 291418 291441 291442 291387 291386 291384 291383 291370 291371 310952 310937 291459 291456 291460 291455 291467 310964 310983 310977 291463 310982 310984 310978 310961 311040 311038 311041 311039 310976 310986 311042 310957 311043 310939 310938 310942 310943 310949 310963 310975 310974 291470 310950 291451 291464 310953 310979 310985 310972 311045 310973 311044 310971 310954 311037 310951 291424 291364 291447 291379 291401 291443 291428 291375 291393 291380 291446 291444 291406 291390 311333 311332 311334 311343 311339 311340 311336 311335 311312 311326 311337 311346 311344 311310 311341 311329 311347 311338 311318 311342 311330 291366 311083 311084 331125 311159 311157 311156 311139 311158 311138 311160 311154 311155 291405 291421 291445 291448 291396 291372 291430 291394 291360 291404 291356 291361 291367 291408 311034 291419 291369 291363 291400 291392 311277 291347 311201 311206 311207 311208 311288 291315 311286 311287 291348 311301 311283 311204 311282 311284 311273 311271 311275 311285 311280 311217 311211 311214 311223 331255 311221 311328 311219 311205 311327 331256 311306 331161 311414 311418 311403 331026 330918 311311 331216 311331 331029 331210 331211 311348 311345 331121 311423 331031 331023 331030 311302 331116 330946 311417 311276 310996 310989 310988 310994 310991 231492 251091 251088 251168 251259 251192 251260 251167 251191 251164 251189 251166 251186 251153 251152 251187 251144 251143 251163 251188 251154 251151 251141 251258 251276 251277 251268 251267 251295 251281 251294 251282 251283 251296 251278 251092 251089 251372 251275 251269 251271 251272 251270 251124 251117 251123 251137 251133 251136 251129 251125 251128 251081 251080 251139 310990 310995 310997 310993 310992 310999 251130 251102 251135 251127 251132 251122 251131 231214 231317 231230 211370 231314 231168 211390 231304 211258 211279 211233 211389 231163 211281 231200 231231 231210 231145 231213 231322 231160 231235 191433 231323 231181 231166 231178 231185 211375 211191 211373 231184 231189 231199 231177 231183 231148 231161 211234 211283 211259 231187 211282 211284 231170 211247 211387 211257 211260 191436 211246 211371 211351 211206 211477 231182 231179 211230 211231 211208 211278 211388 211386 211193 211243 211350 231173 231169 231234 231188 231236 231211 211280 231313 231197 231172 231190 231212 231209 231201 191432 191435 231162 231147 231233 231232 211352 231141 211276 191434 231164 231165 211369 211207 211374 211464 211368 211372 211187 231237 231306 231198 231238 211277 231180 231558 231557 231547 231546 251212 251211 251210 251221 251214 251220 251222 251218 251202 251138 251121 251075 310998 310987 311000 311001 251292 251203 251206 251204 251207 251205 251216 251215 251134 251126 251213 251208 251185 251120 251273 251155 251286 251190 251165 251219 251201 251142 251217 251184 231555 251209 231588 251280 251200 251297 231540 231541 231542 251293 251274 251289 251298 311200 311068 311067 311064 311063 311069 311065 311218 311220 311222 291050 291051 291060 291061 291062 291167 291184 291185 291166 291049 291168 291076 291175 291176 291100 291190 291191 291186 291188 291189 291187 291280 291204 291202 291203 291205 291206 291130 291131 291132 291133 291127 291128 291129 291293 291052 291063 291059 291072 291071 291075 291073 291074 291007 291009 291003 291092 291093 291024 291023 291022 291095 291096 291097 291099 291098 291094 311062 311066 311080 311071 311073 311077 311076 311081 311074 311075 311079 311078 311082 311070 311072 231607 291000 271303 271306 271309 291021 271417 271409 290999 271516 271416 271415 271413 291034 271407 291037 291035 271450 291038 271449 271399 271405 271412 271448 271402 271398 271403 271512 271505 271506 271502 271513 271510 271406 271509 291397 291469 291378 291391 291388 291377 310970 310967 291466 291382 271501 290995 290989 290996 271447 271452 271443 271451 271442 271446 290997 291020 271393 271497 271515 271361 290998 290985 271400 271401 271493 271490 271494 271488 271476 271491 271470 271489 271492 271474 271467 271495 271508 311085 311169 311087 311187 311164 311056 311195 311176 311197 311172 311183 311191 311182 311186 311198 311175 311185 311188 311184 311173 311055 311061 311196 311086 311174 311163 311059 311168 271455 271454 271465 271466 271464 290988 271487 271463 290984 271504 271511 291353 311149 311152 311171 311162 311167 271421 271433 271438 271418 271432 271434 271430 271440 271410 271426 271439 271437 311179 311194 311213 311216 311210 291374 311181 311190 271500 271499 271514 291301 271435 271425 271436 271423 271428 271424 271429 271477 291310 291344 291306 291339 291314 291338 291303 291337 291307 291346 291345 291312 291305 291342 291343 291308 291340 291304 291341 271496 290983 291029 291114 291115 291045 291025 291041 291028 291046 291043 291047 291039 291032 291042 291031 291030 291044 291040 291010 291120 291122 291113 291116 291108 291111 291118 291123 291119 291112 291121 291117 291124 291126 291110 291109 291125 271232 271233 271235 271237 271234 271236 271358 271360 271392 271356 271390 271391 291027 291019 291016 291017 291018 291102 291105 291107 291013 291135 291138 291136 271420 291279 291134 291164 291137 291295 291298 291336 291335 291033 291036 291220 291221 291244 291251 291247 291237 291241 291234 291225 291222 291230 291228 291236 291240 291233 291232 291231 231305 251079 251083 291101 291064 311189 311180 311274 311272 311270 291354 291355 311281 311178 311177 311192 311193 311199 311278 311279 311202 311203 291179 291065 291070 291068 291069 291267 291265 291269 291373 311209 311212 311215 291242 291243 291246 291227 291250 291229 291208 291217 291213 291261 291255 291256 291262 291259 291258 310981 291323 291322 291026 291334 291326 291333 291252 291254 291257 291253 291260 291263 291214 291264 291268 291266 291218 291209 231605 231608 231598 231602 231589 231594 291066 291288 291275 291278 291284 291277 291287 291290 291292 291274 291289 291272 291281 291271 291286 291291 310980 291183 291180 291178 291177 291181 291182 291067 231498 231501 231499 231495 231494 291331 291332 231453 231485 251077 291219 291210 291215 251087 251090 251076 231559 231556 231507 231505 231508 231509 231562 231566 231568 231504 231490 231529 231543 231544 231532 231502 231510 231527 231518 231520 231539 231534 231522 231531 231513 231530 231517 231528 231521 231538 231516 231535 231493 231497 231491 251194 251197 251199 251086 251085 251101 251099 251095 251115 251116 231604 231593 251193 231600 251084 251113 251112 231586 231524 231525 331206 331032 291389 291302 331214 231591 231603 231597 231601 231583 231585 231584 231592 191677 191651 191678 191654 191675 191673 191674 191660 191672 191658 231582 231579 251157 251158 251162 251156 251159 251161 251160 231569 211179 211173 191593 191583 191597 191589 191586 191601 191632 191634 191633 191587 191591 191590 191599 191638 191600 191648 191582 211172 191671 191649 191650 231580 231581 231512 231596 231606 231587 191584 191419 191420 191421 191414 191415 191417 191418 191416 191397 191306 191676 191639 191362 191360 191363 191361 191359 191409 191408 191407 191412 191410 191413 191411 191511 191358 191509 191510 191552 191553 191279 191405 191396 191330 191406 191282 191301 191289 191302 171645 171646 171643 171647 171637 171639 171680 171678 171679 171632 171633 171628 171629 171635 171642 191251 191250 191254 191253 191252 191291 191281 191292 171677 171682 171673 191293 171670 171669 171666 171667 171706 171697 171700 171704 171665 191280 191290 191239 191237 191233 191327 191303 191328 191304 191329 191305 171684 171636 171696 171695 171685 191322 191323 171681 171660 171659 171656 171664 171663 171651 171653 171640 171668 171693 191326 191324 191566 191565 191525 191528 171723 171724 171722 171721 171720 171719 171718 171717 191300 191298 191299 191295 191294 191296 191297 251177 251110 251179 251176 251181 251182 251183 171740 171736 171743 171746 171672 171648 171676 171662 171658 191229 191258 191262 191230 191227 191215 191214 191261 191255 171732 171731 171727 171735 171739 191228 171730 171725 171734 171729 171745 171742 171738 171707 171741 171744 191219 171655 171694 171654 191218 191225 171726 171300 171327 171299 171285 171283 171337 171328 171338 171298 171279 171630 171631 191264 191265 191263 191257 191256 191341 191340 191339 191344 191345 191356 191352 191355 191347 191343 191348 191354 191357 191353 191213 191272 191259 191276 191270 191274 191240 191271 191260 191269 191273 191277 191275 191223 191222 191217 191224 191342 191346 191338 191268 191266 191267 191221 191350 191349 191351 191556 191424 191427 231121 231167 231171 191523 191531 191394 191365 191366 191529 191368 191430 191431 191425 191429 191428 191332 191335 191337 191367 191364 191530 191514 171623 171650 171591 191331 191542 191574 191575 191540 191544 191576 211530 211527 211529 211526 211528 211525 191680 191533 191535 191534 191532 191538 191571 191572 191568 191570 191536 191573 191569 191567 191537 191321 191462 191461 191451 191452 191450 191594 191623 191622 191620 191624 191607 191619 191612 191614 191618 191613 191617 191307 191519 191520 191522 191521 191517 191559 191319 191315 191320 191318 191248 191249 191635 191636 191630 191608 191631 191605 191610 191626 191596 191616 191602 191609 191621 191627 191647 211182 211168 211169 211229 211228 211223 211219 211224 211218 211225 211227 211226 211221 211220 211215 211194 211216 211214 211222 211212 211209 211167 211213 211217 211250 211248 211249 211256 211254 211244 211252 211245 211255 211235 211236 211251 211253 211360 211359 211184 211180 211183 191458 191463 191518 191516 191697 191694 191690 191700 231315 211205 211538 231326 231325 231329 231328 231324 231327 231252 211650 231341 231343 231248 211644 211643 231342 231175 231137 211634 231134 211640 231340 231344 211654 231176 211648 211647 231253 231249 211653 211499 211635 211639 231174 211651 231319 231320 231321 231316 231271 231270 231269 231263 231262 231257 231265 231251 231256 231264 231266 231260 231259 231258 231250 231247 231246 231268 231255 231267 231261 231254 211181 231204 231135 231419 231138 231431 231202 231418 211204 251225 251224 251223 211211 251227 251385 251371 251256 251393 251226 231450 231445 231444 231446 231440 231441 231442 231443 231452 231448 211539 231439 211300 211303 211296 211305 211292 211302 211304 211301 211484 211483 211485 211210 191563 191564 191561 191560 191562 211316 211317 211315 191696 191686 191681 191685 191689 191699 211295 211293 211308 211309 211307 211294 211297 211299 211298 211306 211314 211313 211310 211311 211312 191693 191683 191695 211202 211203 251312 211177 211176 211171 211175 191688 191661 191679 191698 191692 191684 191243 191247 191604 211178 251313 251108 211379 211385 211378 211261 211383 211384 191456 191457 211269 211266 211274 211271 211272 211268 211273 211264 211275 211200 211201 211197 211381 211382 251109 251334 191577 211463 191475 191473 191476 191472 191505 191507 191508 191501 191502 191504 211363 211361 211362 211365 211366 211364 211367 251335 191481 191477 191474 191545 211319 211348 211318 211320 211322 191484 191487 191499 191490 191482 191495 191493 191497 191483 251105 251111 191585 211291 211285 211289 211286 211321 251114 231438 191465 191466 191469 191468 191470 191467 191464 191471 211506 211507 211392 211393 211498 211490 211489 211491 211488 211494 211492 211487 211486 211496 211523 211522 211521 211524 211482 211479 211519 211520 211433 211427 211429 211434 211430 211432 231123 231122 231205 231206 231203 211601 211587 211588 211586 231126 231127 231158 231159 211646 211602 211592 211604 211603 211605 211593 271384 271389 271344 271382 271313 271350 291300 271351 271383 271348 291299 271352 271386 271385 271315 271349 271353 271388 271354 271387 271311 271297 271300 271299 271293 271298 271231 271230 271251 271249 271250 271252 271327 271248 271143 271140 251446 271144 271145 271142 251542 271138 271139 271141 271326 271334 271341 271338 271380 271336 271378 271329 271337 271377 271381 271379 271335 271332 271330 271108 271106 271068 271096 271066 271067 271053 271045 271042 271046 271055 251407 271049 271121 271120 271119 271109 271118 271069 271097 271070 271105 271107 271043 271098 271117 251404 251406 251435 251402 251436 251429 251433 251434 251430 251437 251438 251431 251432 231404 231398 231372 231346 231347 231406 231382 231352 231390 231385 231389 231379 231375 231392 231395 231401 231391 231407 231351 231403 231405 231383 231384 231386 231388 231387 231381 231380 231359 231360 231365 231368 231366 231374 231363 231364 231361 231367 231362 231130 231125 231129 231436 211517 211518 211514 211516 211515 231433 231157 231156 211503 211402 211426 211421 211420 211410 211418 211425 211419 211409 211423 211413 211412 211431 211408 211411 211397 211404 211405 211398 211401 211449 211394 211440 211453 211442 211436 211444 211446 211441 211451 211416 211406 211415 211438 211422 211437 211414 211417 211424 211439 211445 211399 211428 211443 211407 211403 211447 211435 211501 211505 211513 211461 211459 211475 211456 211455 211473 211470 211476 211458 211471 211462 211474 211472 211465 211468 211545 231136 231133 211574 211561 211573 211576 211612 211614 211548 211608 211577 211551 211541 211547 211580 211584 211589 211581 211578 211585 211575 211590 211550 211540 211537 211543 211544 211536 231437 231371 231373 231397 231400 231348 231357 231355 231399 231396 231394 231402 231393 231353 231356 231318 231207 231208 91868 91869 91813 91863 91862 91877 211555 211553 211554 211629 211630 211631 211625 211632 211628 211626 211627 211637 211633 211615 211642 211652 211649 211638 231417 231273 231272 231302 231274 231276 231275 211556 211566 211571 211572 211559 211570 211564 211568 211567 231243 231240 231245 231358 231369 231370 91820 91823 91821 91864 91879 91880 231413 231416 231415 231412 211448 211450 211531 211558 231426 231427 231425 231424 231422 231131 231428 231430 231429 231467 231461 231460 231155 231151 231154 231239 211563 211562 231409 231515 231526 251279 231132 191398 191325 191226 251180 251395 251396 251397 251394 251398 251400 251399 251496 251494 251495 271031 271030 271044 271093 271136 271137 271092 271372 271394 271083 271090 271091 271228 271229 271080 271071 271087 271176 271175 271078 271056 271089 271085 271074 271076 271077 271086 271088 271084 271081 271079 271082 271122 271213 271173 271174 271075 271029 271223 271224 271225 271227 271226 251552 251559 251556 271247 271245 271241 271242 271244 271240 271239 271243 271246 251558 251547 251551 251555 251548 251562 271164 271167 271163 271166 271148 271151 271153 271147 271159 271172 271171 271170 271165 271162 251543 271157 271161 271156 271160 271321 271318 271324 271158 271154 271155 271073 271168 271169 251557 251546 251550 251545 251541 251498 251489 251493 251497 251492 251449 251481 251486 251482 251483 251469 251456 251485 251484 251448 251445 251452 251453 251488 251523 251447 251466 251560 251444 251554 251480 251467 251471 251476 251464 251470 251472 251455 251451 251538 251536 251540 251516 251534 251539 251522 251520 251535 251537 251513 251474 251512 251500 251463 251458 251461 251462 251459 251510 251509 271034 271041 271035 251533 251561 271287 271290 271376 271375 271333 271365 271374 271367 271363 271280 271283 251439 271328 271331 271116 271114 271111 271113 271110 271112 271115 271123 271033 271039 271037 271038 271040 271305 271308 271302 271296 271285 271286 271295 251511 251501 271179 271177 271178 271289 271267 271288 271266 271278 271277 271270 271274 271260 271271 271264 271282 271281 271279 271276 271284 271292 271294 271275 271255 271256 271273 271265 271291 271261 271272 271269 271310 271312 271314 271370 91902 91878 91881 271323 271320 271317 271362 271364 271366 271373 271371 91907 91903 91905 91906 91904 91884 91888 91890 111412 111399 111398 91857 91865 91856 91861 91860 91866 91851 91854 91846 91844 91852 91831 91835 91837 91850 91830 91843 91824 91848 91840 91853 91842 91832 91849 91829 91827 91847 91908 171273 171276 171272 191454 191478 191460 191453 191480 191479 191459 191455 171326 171336 271268 171347 171348 151782 151792 151789 151786 151788 171274 171261 151766 151678 151750 151704 151701 151715 151711 151699 151714 151727 151713 151712 151728 151685 151674 151679 151683 151681 151765 151723 151769 151722 151767 151752 151768 171265 171271 151718 151746 151741 151705 151700 151730 151682 151731 151689 151692 151743 171297 151691 171260 151675 151693 151742 171264 151716 151686 151708 151719 151706 151694 151710 151697 151709 151702 171296 251440 151772 151676 191440 191444 191448 191438 191449 191447 191443 191439 191445 191494 191496 191498 231376 231378 231377 251387 251428 251427 271263 271301 271259 271304 271254 271307 231475 231477 231476 231478 231482 231483 231479 231480 231484 231481 231471 231474 231472 231470 231468 231469 231473 171617 171618 171586 171579 171614 171581 171622 171620 171619 171621 171580 171584 171616 171583 171590 171613 171582 171578 171588 171615 251287 251291 151778 151773 151777 151791 151775 151790 151771 151787 151776 171303 171410 151781 151785 171275 151784 151780 171335 171339 171392 171464 171444 171452 171376 171467 171352 171465 171466 171350 171351 171349 171451 171556 171443 171460 171463 171462 171461 171374 171371 171372 171406 171373 171375 171405 171407 171409 171408 171384 171555 171370 171569 171368 171479 171482 171478 171325 171481 171480 171442 171440 171369 171311 171310 171313 171314 171306 171286 171317 171319 171316 171318 171315 171378 171383 171381 171323 171322 171321 171304 171301 171308 171307 171320 251379 251373 251300 251290 251414 251415 251301 151764 151770 91834 111413 111411 111414 111409 111403 111410 111580 111490 111581 111463 111514 111582 111512 111513 111489 111488 111487 111511 111619 111620 111618 111707 111694 111465 111475 111466 111476 111417 111436 111437 111438 111477 111464 111508 111506 111507 111510 111473 111509 111485 111486 111423 111421 111474 251380 251381 251323 251325 251324 251320 251314 271369 271368 91816 91817 91826 91812 111402 91819 151696 171523 171527 171520 171533 171541 171529 171528 171539 171545 171536 171530 171517 171510 171513 171543 171490 171518 171538 171532 171535 171493 171494 171540 171485 111603 111604 111605 151637 171377 171519 111617 111616 111590 111589 111602 111601 111600 111599 111598 111460 111461 91815 111522 111527 111528 111523 111524 111526 91901 111525 111544 111543 111529 111444 111424 111434 111435 111456 111453 111455 111457 111454 111445 111446 111397 111439 111442 111443 111693 111458 111459 111448 111447 111449 111452 111451 111450 91926 91930 91927 171259 171305 111540 111538 111537 111535 111533 111542 111530 111531 111536 111539 111532 111541 111534 111521 111545 111519 111547 111546 111516 91920 91924 151677 111708 111659 111657 91916 91911 91923 91915 91929 91918 91913 91914 91919 91814 111578 91910 111501 111504 111499 111503 111505 111498 111502 111433 111430 111431 111432 111427 111571 111570 111564 111563 111401 111405 111407 111406 111408 111550 111552 111551 111549 111573 111575 111577 111574 111562 111576 111572 111440 111441 111548 91891 91925 91922 91928 91909 91807 91838 91839 111608 111613 111615 111614 111611 111515 91775 111713 111714 111715 111483 111479 111484 111482 111481 111480 111612 111656 111478 111609 111594 111591 111596 111595 111592 111597 111593 111634 111660 111635 131570 131571 131573 131574 131557 131556 131555 131572 131559 131552 131558 131553 131554 131495 131500 131498 131501 131499 131497 131496 131569 151513 151511 151512 111751 111716 111722 111721 111753 111760 111757 111719 111756 111755 111726 111718 111754 111728 111758 111717 111720 111724 111752 111759 111662 111663 111664 131460 131431 131427 131391 131441 131443 131390 131444 131371 131377 131428 131418 131430 131375 131420 131429 131419 131440 131392 131648 131439 131535 131442 131461 131478 131417 131543 131468 131479 131536 131463 131462 131467 131465 131466 131544 131464 131534 171295 171289 171278 171293 91555 91554 91558 91559 91556 91553 91551 91470 91485 91494 91497 91503 91491 91492 91488 91495 91504 91506 91500 91498 91490 91502 91505 91501 91499 71804 71801 71843 71860 71956 71846 71844 71845 171282 171294 171284 171292 71814 71812 71808 71810 71813 71809 71811 71820 71818 71816 71847 71851 71850 71582 71673 71577 71515 71509 71578 71513 71568 71565 71557 71567 71528 71558 71529 71530 71569 91493 91443 51906 51907 51867 71775 71769 71766 71773 91507 91557 91552 71842 71841 71849 71852 71848 71672 71555 91648 91651 91649 91666 91664 91665 91740 91646 91647 91650 91481 91636 91635 91662 91663 91483 91457 91469 91480 91533 91626 91560 91509 91534 91512 91628 91522 91535 91627 91536 91510 91521 91523 91519 91511 91531 91520 91463 91484 91644 91460 91645 91482 91467 91801 91802 91799 91797 91800 91772 91770 91766 91804 91805 91768 91764 91806 91762 91763 91765 91767 91774 91798 91803 71606 71674 71690 71691 71700 51757 51754 51720 51627 51741 51756 51736 51727 51743 51832 51738 51737 51626 51644 51623 51625 51739 51645 51758 51624 51719 51728 71708 71581 71580 71709 71681 71682 71695 71696 71692 71693 71694 71710 71711 71712 71829 71828 51913 51915 71495 51909 51905 51911 51904 51954 51908 71501 51961 51960 51971 51956 51972 51969 51973 51970 51994 151753 111627 111628 111680 111678 111622 111631 111632 111623 111682 71827 71823 71825 71599 71605 71604 71598 71603 71601 71602 71600 71620 71616 71617 71621 51912 51923 51919 51921 51922 51980 51998 51996 51999 52000 71504 71490 51982 51997 51995 71491 51976 71494 51949 51958 71707 71706 71556 71566 71615 71619 51918 51929 51934 51932 51939 51944 51942 51935 51924 51930 51945 51940 51916 51938 51936 51953 51993 51931 51941 51927 51946 51943 71505 71502 71614 71527 71506 71503 71625 71622 71618 71627 71626 71623 71624 52002 71544 71553 71551 71539 71540 71543 71552 71550 71542 71541 71537 71546 71489 71534 71516 71549 71535 71547 71536 71548 71538 71545 71526 52012 52015 52021 52019 52022 52016 52008 52003 71570 71572 71574 71573 71571 71634 71636 71635 71631 71630 71633 71632 71628 71629 71575 71576 52007 52018 52011 52020 51983 52014 52001 71532 71533 51926 52005 52010 52017 52006 71683 51957 51948 51952 51955 91532 71771 71697 71579 71531 111638 111647 111648 111639 111641 111645 111644 111654 111636 111637 111649 111643 111646 111650 111665 111658 111661 111651 111655 111640 111642 111676 111629 111675 111672 111673 111668 111677 111669 111624 111633 111679 111667 111674 111681 111666 111683 111671 111670 151356 151359 151357 151360 111761 111729 131647 131406 131405 131414 131413 131415 131566 131562 131563 131567 131565 131568 131399 131393 131400 131398 131396 131378 131409 131407 131402 131412 131408 131403 131411 131410 111784 111785 111783 111781 111773 111767 131487 131488 131489 131486 131484 131485 131389 131480 131481 131482 131483 131493 131491 131477 131490 131476 131492 131494 111768 111864 111777 111775 131364 111750 111749 111712 111709 131367 111844 111835 111842 111838 131589 131388 131600 111884 111881 111873 111878 111883 111880 111874 111870 111869 111877 111865 111653 111652 111494 111491 111496 111816 111771 111770 111817 111818 111780 111832 131545 131368 131365 111831 131459 131455 131452 131456 131457 131453 131458 131395 111805 111804 111803 111808 111791 111820 111811 111815 111769 131505 131504 131503 131502 131435 131436 131434 131433 131432 111778 111807 111806 131445 131448 131404 131397 131351 131401 131438 131437 111788 131469 131590 131548 131546 131547 131549 111789 111814 111796 111810 111797 111786 111798 111819 111792 111802 111794 111801 111793 111766 111800 131357 131356 151358 151355 111822 111823 111774 111834 111833 111860 111862 111857 111859 111861 111858 131363 111855 111856 131353 131352 131366 111845 131551 131361 131355 131362 131359 131360 131588 131386 131387 131599 131594 131595 131394 111863 111879 111876 111868 111872 111882 111867 131610 131532 131506 131661 131691 131550 131649 131470 131475 131473 131603 131613 131450 131690 171343 171344 171341 171340 171342 171346 171345 171397 171393 171394 171396 171395 171388 171403 171404 171507 171508 171496 171509 171512 171497 171504 171577 171498 171522 171521 171502 171506 171526 171505 171486 171501 171516 171511 171491 171495 171503 151509 151508 151510 151443 151438 151442 151440 151441 151439 151347 151353 151350 151354 171385 171386 171387 171399 171389 171400 171391 171390 171402 171398 171401 131636 131634 131632 131586 131582 131577 131835 131838 131585 131581 131576 131823 131824 131832 131837 131834 131625 131627 131621 131630 131631 131583 131622 131578 131620 131628 131624 131587 131629 131623 131626 131633 131635 131637 131605 131597 131602 131609 131598 131604 131614 131612 131619 131615 131611 151527 151526 151528 151507 151525 151506 151524 151415 151322 151325 151498 151417 151374 151394 151393 151418 151416 151497 151499 151386 151421 151331 151329 151396 151385 151384 151501 151387 151390 151382 151392 151391 151397 151502 151381 151383 151419 151420 151395 151398 151500 151504 151505 151389 151388 151488 151371 151489 151373 151422 151503 151490 151414 151372 151319 151307 171470 171366 171361 171363 171364 171367 171365 171360 171332 171334 171358 171353 171356 171329 151320 111706 111704 111705 111689 111698 111691 111692 111700 111688 111702 111703 111685 111701 111695 111686 131696 131739 131765 131774 131769 131759 131756 131762 131754 131755 131738 131735 131737 131728 131729 151306 131752 131750 131751 131772 131771 151725 151726 151688 151740 171412 131770 171414 151724 151763 171500 171515 171514 171524 171576 171411 171525 171413 151739 171302 131683 151669 131694 171280 171477 171475 171281 171277 171267 171263 171563 171557 171270 171269 171268 171597 171476 171471 131699 131698 131705 131601 131591 131608 131596 131593 131592 131618 131831 131828 131827 131707 131708 131706 151668 151632 151665 151636 151659 151667 151663 131703 131704 131785 131607 131616 131606 131617 131789 131722 131810 131776 131777 131788 131787 131792 131796 131798 131812 131811 131816 131815 131813 131814 131818 131697 131669 131667 131668 131732 131745 131760 131757 131740 131761 131746 131748 131725 131758 131747 131743 131731 131721 131724 131727 131773 131720 131764 131768 131734 131826 151615 151602 151406 151413 151407 151409 151412 151410 151411 151344 151346 151345 151433 151437 151436 151432 151321 151318 151342 151343 131714 131678 131713 131712 131680 131682 131700 131702 131701 131830 151666 151664 151634 151660 151662 151661 151624 151630 151626 151627 151629 151625 151628 171489 171542 171484 171544 131709 131674 131673 131672 131670 131711 131676 131710 131675 131671 131666 151569 151573 151566 151367 151366 151368 151369 151362 151364 151365 151314 151315 151313 151316 131660 131659 131658 131663 151309 151614 151613 151623 151621 151622 151435 151431 151451 151452 151317 151617 151620 171534 171537 171531 191310 191317 191312 151603 151612 131786 151310 131687 131685 131689 151611 151606 151454 151455 151453 151305 151352 151363 151361 151332 151351 151349 151348 131819 131715 191558 191314 171612 171574 151559 151556 151563 151575 151587 151574 151576 151589 151591 151579 151585 151582 151609 151608 151341 151340 151338 151339 151335 151311 151523 151522 131723 131833 131821 131799 131817 131836 131822 131809 171312 171309 171437 171433 171435 171436 171438 171434 171439 171570 171425 171424 191246 191547 191549 191551 171571 171611 131742 151444 151447 151445 151434 151448 151430 151449 151446 151450 151423 151542 151429 151427 151424 151543 151572 151571 151567 151568 151570 151544 151564 151546 151549 151545 151552 151548 151547 151551 151562 151558 131657 131654 131655 131656 151554 151553 151565 151561 151560 151557 151550 151555 131645 151601 151645 151644 151651 151459 151460 151517 151520 151521 151516 151658 151657 151650 151519 171445 171450 171448 151655 151656 151654 171547 171553 171458 171459 171456 171455 171454 171457 171453 171567 171568 171566 171551 171560 171554 171548 171550 171562 171564 171565 171606 171610 171605 171607 171609 171608 171599 151486 151458 151457 151456 151652 151653 131652 171499 171575 151610 131642 131639 131640 131643 131646 151530 151588 151532 151535 151540 151539 151537 151541 151536 151590 151531 151586 151580 151581 151578 151583 151584 151577 151648 191485 191486 191488 191492 191489 191491 131384 131385 131381 171595 171473 171474 111746 111747 111748 151641 151643 111744 111743 111737 111745 211452 211510 211512 171604 231464 231459 231466 231455 231457 251230 251228 251229 251391 251392 251119 251118 251384 251383 251382 251390 251332 251328 251342 251317 251333 251355 251343 251424 251305 251329 251423 251336 251422 251344 251326 251352 251302 251307 251354 251353 251409 251350 251357 251349 251345 251321 251309 251347 251356 251358 251413 251306 251361 251421 251359 251322 251346 251425 251338 251351 251426 251360 251319 251348 251418 251339 251420 251411 171593 151639 171602 251310 231486 131716 171624 151670 211532 191578 231339 251366 251363 251369 271072 231337 231332 231335 231336 231338 231333 231229 231223 231227 231220 231215 231228 231226 231218 231225 231222 51613 51603 51559 51555 51561 51574 51576 51575 51660 51671 33322 33234 33229 33246 33279 33230 33294 33318 51551 51548 51618 51620 51616 51617 51619 51599 51598 51596 51597 51680 51681 51675 51663 51672 51673 51662 51670 51678 51661 51674 51665 51666 51676 51677 51667 51622 51621 71608 71611 71613 71607 231410 51601 51718 51845 51650 51649 51646 51651 51648 51572 51573 5693 33243 33325 33244 33320 33247 33281 33323 33237 33319 33324 33280 33285 33296 33321 33236 33240 33297 33233 33238 33267 33282 33254 33266 33231 51612 51602 51604 51535 51586 51577 51588 51582 51584 51591 51589 51581 51562 51585 51615 51614 51611 51549 51592 51587 51590 51594 51552 33251 2439 2397 2390 2440 2465 5649 5716 5840 5839 17559 17545 17535 17584 17556 17536 17546 17508 17534 17544 2389 2394 17663 5715 2458 2398 17518 5627 17519 5694 17665 5641 17583 5662 17686 5714 5701 5703 5651 5705 5663 5827 17596 17576 17668 5638 5626 5830 17552 5717 2400 2442 5702 5847 5713 5739 2467 17522 17530 17673 5836 5843 2457 5704 17577 5645 17550 5841 17764 5842 5741 2443 5833 17662 17689 17777 2396 5845 5921 5666 5664 2461 17521 17688 17555 17533 5740 17675 5665 17592 2487 51752 51753 17838 32897 32898 17568 33192 51653 33224 51747 51750 51746 51751 51749 51874 71499 71500 51875 51628 51740 51742 51652 51593 51595 51679 33248 51664 51580 51583 71498 71493 71497 71638 71639 71637 71597 71596 32873 32876 32874 32877 33080 33079 32915 33083 33082 33081 32976 32880 32884 32886 32899 32938 32940 32900 32901 32927 32937 32928 32974 33054 32975 32971 32972 32969 32970 32939 32929 17887 17843 17845 17840 17886 17837 17841 17836 17847 17893 17853 32861 32862 17934 17905 17858 33066 33063 33062 33065 33068 33067 33064 51899 17873 17859 17866 17862 17863 17874 17877 71763 71750 71743 71740 71753 71760 71759 71758 71757 71747 71748 71727 71726 71752 71751 17885 17889 17880 71786 17851 17912 17870 32865 32875 32866 17908 17914 32914 17839 17848 17878 17871 17904 17868 17902 17876 17850 17901 17867 17855 17881 17872 17884 17892 17861 17888 32950 32952 32948 32951 33044 32949 32953 71838 71840 71839 71837 71834 71833 71836 71826 71822 71824 71788 71795 71777 71780 71784 71797 71685 71524 71525 71689 71688 71687 71686 71519 71522 71523 71684 71701 71705 32978 17799 71930 71934 71927 71954 71936 71869 71862 71875 71863 71858 71866 71873 71876 71867 71877 32864 32868 33181 33222 33223 33172 33220 33219 33214 33217 33215 33213 33221 33216 33212 33218 33175 33182 33179 33180 71794 71783 71781 71778 71789 71791 71793 71798 71796 71790 71792 71787 33043 32926 17856 17864 17875 17927 17929 17926 17931 17930 17932 17928 32869 71703 71704 91487 111762 91808 291201 291329 311252 91796 91795 91758 91755 91741 91750 91738 91749 91752 91748 91744 91735 91751 91747 91732 251367 251376 251364 111742 111740 111733 271063 271059 271062 271065 91444 91445 91458 290991 290987 290993 271131 271126 271130 271128 32904 32871 32870 17925 33055 33059 33060 33058 271135 251370 271064 311249 32977 91525 91524 91528 33045 33053 33052 32911 32913 32910 32912 32920 32922 32860 32918 32909 32908 32923 32917 32887 32902 32924 32905 32919 32906 32921 32907 32916 32995 91526 91527 32996 33057 32998 33056 91486 17844 17903 33286 51668 51669 51682 33061 32994 32997 32993 51647 51755 17854 32973 32936 17890 71894 71896 71885 71895 71897 71890 71886 71884 71835 71832 71911 71912 71889 71888 91459 91456 91447 91454 91453 91452 91451 71831 71830 71859 71872 71908 71909 71910 71865 91448 71923 91449 71924 71925 71915 71914 71892 71893 71906 71881 71903 71900 71883 71898 71902 71870 71878 71907 71899 71953 71952 71951 71950 71949 71948 91479 91478 91473 91477 91476 91753 91569 91568 91572 91573 91529 91530 91659 91657 91655 91658 91654 71976 91489 91496 91576 91580 91582 91584 91587 91577 91579 91588 91581 91585 91583 91578 91586 91739 71926 71861 71821 71880 71853 91760 71970 71973 71966 91567 91565 91561 91562 91570 91571 91575 91574 91761 91592 91593 91591 71972 71975 71964 71965 71962 71961 71959 71969 71937 71955 71960 71957 71968 71971 71974 91455 71947 91590 91589 91624 91598 91759 91746 91717 91720 91725 91729 91723 91727 91713 91714 91712 91704 91711 91707 91694 91701 91697 91550 91661 91660 91547 91537 91548 91549 91545 91544 91542 91540 71719 71767 71762 71723 71714 71768 71761 71765 71764 91721 91678 91722 91719 91728 91674 91670 91673 91677 91715 91668 91716 91669 91718 91675 91679 91724 91726 91693 91692 91702 91690 91703 91691 91688 91682 91689 91681 91700 91696 91698 91699 91706 91680 91687 91710 91685 71749 71755 71756 71754 71716 71721 71746 71770 71725 71742 71738 71772 71724 71715 71734 71731 71774 71720 71730 71729 71732 71733 71739 71735 71736 71728 91731 91734 91737 91639 91640 91637 91641 91638 91643 91642 91708 91684 91705 71741 71745 71744 291077 291080 291085 291089 291328 291084 291330 291197 291321 291091 291090 291195 291194 291200 291082 291087 291317 291199 111735 251378 290992 291088 91783 91782 91789 91794 91786 91781 91791 91788 91790 91792 91793 91779 291319 291198 271133 71594 71595 71591 71737 91777 51898 51866 51892 51891 51890 51889 51888 51887 17951 17948 17953 17947 17943 17937 17940 17935 17952 17942 17946 17933 17938 17950 17939 17949 17944 17954 17915 33232 71590 71586 71583 71588 71593 33301 33305 33307 33298 91595 91594 91597 91596 51860 51862 51864 51859 51850 51854 51857 51856 51858 51855 51896 51893 51897 51894 51895 51803 51796 51799 51847 51731 51730 51732 51733 51729 51815 51819 51809 51821 51817 51812 51806 51804 51805 32872 32992 32988 32986 32990 32987 32985 32989 32991 33295 33344 33347 33340 33336 33333 33337 33332 33328 33343 33346 33339 33326 33335 33331 51684 51685 51683 51820 51818 51816 51873 51871 51869 33342 33330 51570 51571 51569 51568 51565 33308 33345 51540 51536 51547 51541 51550 51537 33271 33274 33278 33268 33283 33259 33260 33264 33261 33269 33265 33241 33252 33263 33256 33249 33255 33257 33270 33086 33327 51654 51579 51578 51844 51843 51842 51773 51794 51795 51798 51772 51802 51885 51886 51853 33277 33273 32982 32984 32979 33130 33140 33121 33128 51852 51688 51716 51690 51851 51689 51687 51831 51642 51643 51884 51883 51882 51881 51636 51637 51641 51639 51640 51833 51841 51840 51839 51824 51823 51829 51830 51826 51827 51880 51878 51545 51544 51546 51735 51836 51838 51734 51657 51659 33005 33007 33010 33008 33009 33004 33006 32903 33149 33152 33158 33162 33167 33166 33165 33159 33168 33164 33169 33160 33161 33163 17831 33002 33003 33000 33001 32999 33087 33151 33154 32946 32941 33157 32947 32944 32945 32942 33129 33134 33124 33137 33131 33111 33118 33114 33144 33146 33142 33085 32896 32895 33155 33148 32943 51792 51779 51784 51793 51813 51774 51781 51782 51808 51760 51780 51762 51785 51783 51814 51788 51767 51770 51769 51761 51811 51771 51810 51777 51807 51766 51765 33183 33185 33184 33189 33191 33187 51686 51786 51789 91709 91683 91686 91695 51629 51634 51632 33341 5735 5734 5640 5964 5737 5738 5736 2434 5733 5732 2441 5630 5689 5688 5637 2454 2455 2391 5679 5673 5674 5680 5676 5675 5677 5672 5682 5667 5686 5625 5683 5681 5652 5684 5685 901 902 1062 981 1071 867 865 1080 869 1081 864 1073 1072 1074 1082 868 917 1083 851 1147 861 5809 5718 5922 5642 5818 5810 5817 5742 5639 5726 5727 5678 17520 17517 2427 2412 2423 2424 2431 2416 2426 2430 2428 2420 2409 2421 2417 71854 2429 2419 5631 2415 2425 2445 2456 2446 2401 2438 2414 5691 5808 2506 2493 2501 2492 2496 2488 2500 2497 2503 17547 17687 17578 17669 17548 988 17690 5848 5826 5828 5832 5831 17558 5846 17652 5844 17659 17581 5829 17579 17543 17553 17674 17549 17554 17650 17667 17664 17580 994 17582 17670 17661 5965 17671 2507 5670 5687 5671 2504 17557 17506 17651 1007 1009 992 17660 1061 17507 1008 17551 17672 17491 17493 17487 5996 17511 17787 17788 17789 17786 17510 6092 51900 17483 17480 17484 5997 6016 33206 33200 33199 33209 33211 33210 33205 33201 33208 33202 33204 33203 33207 33198 33196 290994 271134 33225 33195 33197 17792 17791 17790 33098 33120 33097 33143 33145 33141 33095 33075 32968 33078 32966 33072 32961 33074 32962 32964 33077 32967 33071 33076 32965 32890 32893 5989 17785 17481 17560 17666 33123 33136 33091 33133 33094 33194 32957 32954 32959 32894 33135 33090 33132 33193 33122 33113 33099 33106 33107 33102 33105 33109 33117 33108 33110 33139 33104 33096 33092 33101 33116 33100 33115 33119 33112 33103 17826 17794 17830 17796 17827 17824 17821 17823 17822 17825 17829 17828 17798 17469 17763 17505 17621 17472 17619 17648 17482 17620 17784 17468 17622 17504 17618 17473 17783 17832 907 858 906 2393 2490 2499 2502 2495 2505 985 1170 1185 1187 1186 1171 1172 33126 33127 33125 982 941 940 928 919 926 943 944 942 922 983 970 918 969 974 973 915 916 885 862 882 889 890 892 878 886 870 873 884 891 880 881 877 875 888 904 876 899 895 887 898 894 903 945 854 855 850 859 857 900 946 980 939 984 964 967 33138 1175 1178 1093 1095 1094 1097 1099 1098 2491 2486 1168 1084 1157 1075 1165 1183 1181 1184 1169 1166 1182 1096 1092 1167 1261 1274 1013 1149 1148 1156 1176 1179 1180 1067 410 409 412 467 473 479 470 477 457 468 490 492 495 494 493 497 496 491 458 454 451 453 452 466 416 420 418 415 405 406 402 408 401 469 419 968 953 957 954 949 962 958 961 534 521 556 557 5731 5692 2468 5730 2382 2380 2381 5729 1019 1020 995 1010 1017 1016 1015 1018 1109 1108 1107 1110 1106 1102 1105 1113 1116 1111 1117 1112 1114 1100 1103 1104 17782 17819 17779 17820 597 596 564 561 17817 17641 17640 17632 17645 17647 17633 17642 17634 17643 17644 17816 17771 17773 17774 17776 17775 558 560 559 947 951 929 963 1005 1006 1260 844 835 837 836 838 843 842 840 839 841 571 516 519 515 502 480 508 509 505 498 500 507 512 513 511 439 433 413 436 504 440 431 435 426 446 518 438 455 437 517 441 424 450 429 442 503 432 421 443 514 567 569 570 566 568 546 565 584 17692 17736 17749 17738 17751 17718 17697 17701 17703 17702 17747 17744 17753 17699 17737 17731 17721 17725 17693 17694 17698 17646 17728 17735 17818 17741 428 427 833 834 831 832 17765 1145 579 598 600 599 520 531 535 532 536 545 578 543 539 524 533 525 616 615 612 611 449 445 698 699 404 701 700 704 702 703 614 610 403 688 689 687 685 686 965 800 805 801 802 806 810 808 796 803 804 793 812 684 423 591 588 589 590 692 695 673 601 697 666 674 693 696 664 592 665 577 682 683 369 422 749 745 742 748 747 743 744 741 746 761 767 755 765 763 751 758 750 752 1014 956 960 966 952 733 734 728 727 724 739 726 722 735 721 723 732 725 1282 731 738 766 707 762 712 764 716 830 555 554 754 708 713 717 397 760 757 813 613 609 730 719 620 625 621 619 627 618 622 624 729 608 623 603 626 617 602 606 628 629 715 720 711 706 718 630 631 632 634 753 736 737 759 756 1085 872 1304 1303 1310 1079 817 815 819 827 826 828 829 822 823 814 816 818 852 948 845 821 820 853 871 1119 1121 1122 1118 1120 1143 1275 1141 1142 1140 1281 1280 633 1144 1115 740 825 824 1101 1063 5660 5661 5636 5629 5635 5634 5633 2485 2408 2404 2403 2407 2406 5658 5659 5943 2483 2480 2484 2482 2478 2479 2481 2392 2433 2437 5941 5935 5942 5777 5778 5780 5806 5779 977 976 1348 1341 1352 1351 1384 1342 1338 1344 1347 1383 1334 1340 1337 1385 1350 2411 5719 5722 5724 5776 5655 2384 5837 17807 17778 17770 17768 17772 17726 17813 17724 17717 17720 978 979 972 2383 5752 5744 2352 5770 5774 5775 5754 5771 5768 5763 5757 5753 5759 5766 5773 5772 5909 5762 5761 5749 5769 5750 5764 5756 5755 5743 5712 5747 5760 5751 5765 5767 5911 5708 5709 5706 5711 5707 5710 6033 6035 6006 6036 6034 6019 6032 6031 17477 17478 17476 17471 6003 6005 6002 17475 6051 6050 17531 6045 6044 6062 6061 6059 6046 6043 6048 6039 6109 6112 6102 6106 17617 17615 17616 17606 17593 17597 17614 17610 17608 17595 17612 17609 17598 17607 17611 17613 17594 17599 17513 17467 17684 17685 17479 6063 6060 17704 17705 6084 6083 5998 5999 6086 6088 6090 6085 6087 6089 6073 6095 6111 17527 17524 6108 17494 17516 17514 17509 17529 6097 17528 17525 17526 17512 17523 17515 6098 6110 6096 6107 5995 6001 6009 6012 6011 6013 6072 6066 6070 5994 6047 6042 6030 6029 6028 6024 6026 6025 17602 17600 17601 17604 17603 17605 6101 6105 6100 6104 17591 17589 17716 17715 17586 17727 17575 6093 5957 17585 6020 6022 6021 6017 6014 6091 6008 6038 17743 17740 17746 17752 17748 17750 17745 17742 17739 17713 17714 17711 17706 17712 17709 17730 17734 17574 17762 17759 17561 17679 17678 17683 17815 17682 17814 17681 17573 17569 17502 17503 17761 17758 17756 17755 17810 17812 17805 17803 1070 1069 1004 1003 1319 1318 1317 1316 1321 1320 1136 1138 1135 1139 1137 2306 1068 1387 1345 1374 1411 1375 1402 1382 1409 1378 1405 5758 5946 5947 5956 5954 5952 5944 5948 5950 5945 5949 5987 5980 5983 5981 5985 5986 5979 5984 5982 5988 5978 5977 5937 5940 5669 5990 5668 2022 2035 1390 1400 2025 2026 1399 1398 2032 2097 2098 2087 2088 2096 1335 1370 1372 1364 1358 1371 1377 1365 1386 1363 1353 1368 1333 1336 1201 1164 1163 1078 1298 5974 5975 5976 5968 5973 5963 5961 5971 5972 5970 5899 5886 5895 5902 5893 5907 5894 5889 5905 5896 5872 5874 5865 5878 5868 5866 5883 5885 5863 5856 5857 5860 5901 5875 5876 5904 5870 5873 5884 5864 5879 5869 5862 5852 5882 5880 5898 5877 5861 5871 5867 5881 5850 5897 5900 5903 5859 5851 5855 5888 5890 5891 5906 5908 5910 5887 5892 1226 1227 1202 1223 245 280 246 276 235 277 278 244 236 281 279 237 287 288 230 243 133 123 122 126 131 190 224 192 206 205 204 186 225 207 167 168 182 203 179 172 171 132 134 183 180 181 178 234 1060 5926 5917 5919 5920 5913 5934 5933 5914 5916 5822 5930 5928 5929 5931 5821 5825 5823 5824 5932 5820 5819 5923 17497 17500 17571 17564 17572 17566 17501 17801 297 298 338 1314 1315 1311 1312 1313 1307 1309 1300 1161 1160 1162 1158 1159 1302 143 144 104 100 96 110 103 119 116 120 112 118 117 108 115 109 105 113 106 125 98 102 146 209 339 351 263 357 274 358 1002 998 1001 241 294 260 261 1217 1077 1091 1086 1089 1221 1389 1401 2021 1425 1424 1426 1427 1429 1428 1422 1279 1373 1359 1361 1367 1381 1369 1360 1356 1423 2033 2036 2040 2044 2046 2228 2226 2242 2243 2227 2241 2317 2037 1450 1447 2222 2223 2225 2224 2240 2239 1436 1440 1441 1437 1432 1444 1445 1448 1451 2340 2345 2344 2339 2341 2342 2351 2343 2347 2349 1355 2058 2057 2168 2170 2169 240 242 217 215 212 208 214 213 210 216 166 163 293 291 193 211 2055 2056 1323 1322 1324 1439 1435 1412 1430 1434 1443 1449 1446 2054 2050 2053 2205 2204 2113 2136 2135 2134 2203 2130 2111 2112 2110 2133 2131 2132 2109 2099 2212 2089 2108 2100 2129 1213 1214 2074 2076 2080 2079 2066 2083 2062 2067 2065 2069 2078 2077 2082 2081 2075 2071 2072 2020 2068 2047 2084 2221 2070 2149 2073 2060 2061 2059 2157 2154 2158 2155 2150 2146 2162 2144 2142 2139 2167 2159 2163 2160 2166 2165 2161 2164 2147 2151 2152 2156 2148 2121 253 255 247 251 256 249 254 258 248 250 257 223 259 238 252 1212 1276 1224 1231 1229 1230 1271 1270 1262 1268 1265 1273 1272 1269 1267 1235 1203 1225 1190 1209 1206 1222 1191 1233 1234 1219 1220 1232 1215 1207 1204 1205 1211 1210 1216 1228 1189 1208 1218 1244 1241 1238 1194 1198 1237 1240 1239 1199 1242 1195 1236 1243 1328 2034 1296 1255 1283 1256 1253 1286 1258 1252 1259 1287 1288 1200 1196 1285 1289 1284 2274 2271 162 159 135 145 151 154 161 150 147 164 160 158 165 155 99 152 149 262 156 359 364 368 361 366 362 360 395 393 391 392 396 394 390 2281 2377 2374 2376 2375 2379 2378 2278 2290 2289 2284 2291 2288 2300 2302 2297 2304 2294 2268 2257 2279 2258 2217 2216 2218 2219 2220 2214 2215 2318 1291 1293 1295 1325 1327 1326 2335 356 353 386 387 388 389 2107 2101 2103 2104 2102 2106 2105 2030 2028 2029 2031 2024 2086 199 201 196 202 295 296 375 382 376 385 2127 2128 2124 2125 2122 2126 325 383 377 371 373 381 379 2332 2328 2327 2329 1431 2330 2316 2173 2175 2338 2201 2174 2172 2114 2119 2117 2336 2337 2246 2283 2282 2137 2213 2326 2325 2324 2321 2323 2315 2314 2312 2311 2145 2153 2138 2250 2245 2251 2273 2270 2277 2269 384 200 2272 2276 2275 594 1246 1250 1248 2064 2171 1249 1247 1245 2063 2309 2308 595 2238 2237 2373 2372 2247 2259 2265 2266 2252 2262 2264 2267 2261 2263 2299 2296 2293 2287 2286 2280 2303 2305 2295 2298 2292 2254 2255 2301 2260 1329 2285 2385 322 18 33 14 316 315 17 51 25 50 95 321 324 319 313 310 553 552 549 846 10 9 20 32 87 88 85 91 70 69 66 89 90 86 71 72 67 68 54 11 83 19 53 12 24 45 65 49 63 64 13 47 52 84 59 275 289 317 30 31 28 304 301 312 307 303 299 308 305 309 306 61 60 62 57 318 251475 2360 2367 2370 2356 2365 2371 2368 2358 2236 2359 2354 2231 2232 2235 2234 2369 2363 2366 251311 111731 2256 5959 51543 51539 251478 251479 151600 151599 151597 151596 151594 151593 151404 151402 151399 251169 251172 251174 0