| Name | gmus/belov/ pj2007.aig.k20.gcnf |
| MD5SUM | b0945faa6f667914df524eed1e5631e1 |
| Bench Category | GMUS (GMUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 102.101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 305858 |
| Number of clauses | 899395 |
| Sum of the clauses size | 2098587 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 599596 |
| Number of clauses of size 3 | 299798 |
| 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 | 299798 |
| 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 |
|---|---|---|---|---|
| Haifa-HLMUC 2011-04-07 (complete) | 3501638 | UNSAT | 15.0257 | 15.0332 |
| MoUsSaka 2011-03-26 (complete) | 3501441 | UNSAT | 102.101 | 102.113 |
| Haifa-HLMUC-A 2011-04-07 (complete) | 3502032 | UNSAT | 166.804 | 166.802 |
| Haifa-HLMUC-A 2011-04-07 (complete) | 3501835 | UNSAT | 168.054 | 168.095 |
| Haifa-HLMUC 2011-04-07 (complete) | 3502229 | UNSAT | 456.455 | 456.499 |
| MUSer 2011-02-10 (complete) | 3501045 | UNSAT | 967.777 | 967.755 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3500848 | UNSAT | 1679.02 | 1674.3 |
| PicoGCNF 941 (complete) | 3501244 | No Cert. | 1800.04 | 1800.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:11 12 13 14 15 16 17 18 19 33 34 35 96 97 98 99 103 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 209 211 212 213 223 224 251 252 261 262 263 288 319 335 336 337 338 339 340 341 344 382 383 384 385 386 387 388 400 401 403 405 406 407 408 15690 15691 15692 15693 15695 15746 15747 15748 15749 15750 15751 15752 15753 15755 15756 15757 15758 15759 15760 15761 15762 15763 15765 15766 15767 15768 15769 15770 15771 15772 15773 15775 15776 15777 15778 15779 15780 15781 15782 15783 15785 15859 15860 15861 15862 15863 15864 15865 15866 15867 15868 15869 15870 15871 15872 15873 15874 15875 15876 15877 15878 15879 15880 15881 15882 15883 15884 15885 15886 15887 15888 15889 15890 15891 15892 15893 15894 15895 15896 15897 15898 15899 15900 15901 15902 15903 15904 15905 15906 15907 15908 15909 15910 16045 16046 16047 16048 16049 16050 16051 16052 16053 16054 16055 16056 16057 16058 16059 16060 16061 16062 16063 16064 16065 16066 16067 16068 16069 16070 16071 16072 16073 16074 16075 16076 16077 16078 16079 16080 16081 16082 16083 16084 16085 16086 16087 16088 16089 16090 16091 16092 16093 16094 16095 16096 16364 16365 16366 16609 16654 16655 16656 16657 16658 16668 16675 16706 16707 16708 16709 16745 16746 16747 16748 16749 16756 16757 16758 16759 16764 16765 16766 16828 16830 16849 16850 16851 16852 16853 16854 16855 16858 16996 16997 17009 17010 17012 17014 17015 17016 17017 17032 17033 17068 32549 32550 32551 32552 32553 32554 32558 32559 32560 32561 32562 32563 32564 32565 32567 32591 32592 32593 32594 32595 32597 32649 32650 32651 32652 32656 32657 32658 32659 32660 32661 32662 32663 32664 32665 32666 32667 32668 32669 32670 32671 32672 32673 32674 32675 32676 32677 32678 32680 32681 32682 32683 32684 32687 32688 32689 32691 32692 32693 32694 32695 32696 32697 32698 32699 32700 32701 32702 32703 32704 32705 32706 32707 32708 32709 32710 32712 32713 32714 32715 32716 32719 32720 32721 32722 32723 32724 32726 32727 32728 32729 32730 32731 32732 32733 32734 32735 32736 32737 32738 32739 32740 32741 32742 32744 32842 32844 32845 32893 32894 32895 32896 32897 32898 32899 32900 32901 32902 32903 32904 32905 32906 32907 32908 32909 32910 32911 32912 32913 32914 32915 32916 32917 32918 32919 32920 32921 32922 32923 32924 32925 32926 32927 32928 32929 32930 32931 32932 32933 32934 32935 32936 32937 32938 32939 32940 32941 32942 32943 32944 32945 32946 32947 32948 32949 32950 32957 33230 33231 33233 33234 33281 33282 33283 33284 33285 33295 33302 33346 33347 33348 33349 33386 33387 33388 33389 33390 33397 33398 33399 33400 33471 33475 33494 33495 33496 33497 33498 33499 33500 33503 33646 33647 33659 33660 33662 33664 33665 33666 33667 33682 33683 33684 33685 33686 33687 33688 33689 33690 33725 49224 49225 49226 49227 49228 49229 49233 49234 49235 49236 49237 49238 49239 49240 49242 49266 49267 49268 49269 49270 49271 49272 49274 49327 49328 49329 49330 49331 49332 49334 49335 49336 49337 49338 49339 49340 49341 49342 49343 49344 49345 49346 49347 49348 49349 49350 49351 49352 49353 49354 49355 49356 49358 49359 49360 49361 49362 49363 49364 49365 49366 49367 49369 49370 49371 49372 49373 49374 49375 49376 49377 49378 49379 49380 49381 49382 49383 49384 49385 49386 49387 49388 49390 49391 49418 49419 49420 49422 49519 49520 49522 49523 49571 49572 49573 49574 49575 49576 49577 49578 49579 49580 49581 49582 49583 49584 49585 49586 49587 49588 49589 49590 49591 49592 49593 49594 49595 49596 49597 49598 49599 49600 49601 49602 49603 49604 49605 49606 49607 49608 49609 49610 49611 49612 49613 49614 49615 49616 49617 49618 49619 49620 49621 49622 49623 49624 49625 49626 49627 49628 49635 49908 49909 49911 49912 49959 49960 49961 49962 49963 49973 49980 50024 50025 50026 50027 50064 50065 50066 50067 50068 50075 50076 50077 50078 50149 50153 50172 50173 50174 50175 50176 50177 50178 50181 50324 50325 50337 50338 50340 50342 50343 50344 50345 50360 50361 50362 50363 50364 50365 50366 50367 50368 50403 65902 65903 65904 65905 65906 65907 65911 65912 65913 65914 65915 65916 65917 65918 65920 65944 65945 65946 65947 65948 65949 65950 65952 66005 66006 66007 66008 66009 66010 66012 66013 66014 66015 66016 66017 66018 66019 66020 66021 66022 66023 66024 66025 66026 66027 66028 66029 66030 66031 66032 66033 66034 66036 66037 66038 66039 66040 66041 66042 66043 66044 66045 66047 66048 66049 66050 66051 66052 66053 66054 66055 66056 66057 66058 66059 66060 66061 66062 66063 66064 66065 66066 66068 66197 66198 66200 66201 66249 66250 66251 66252 66253 66254 66255 66256 66257 66258 66259 66260 66261 66262 66263 66264 66265 66266 66267 66268 66269 66270 66271 66272 66273 66274 66275 66276 66277 66278 66279 66280 66281 66282 66283 66284 66285 66286 66287 66288 66289 66290 66291 66292 66293 66294 66295 66296 66297 66298 66299 66300 66301 66302 66303 66304 66305 66306 66313 66586 66587 66589 66590 66637 66638 66639 66640 66641 66651 66658 66702 66703 66704 66705 66723 66742 66743 66744 66745 66746 66747 66749 66750 66751 66757 66758 66759 66764 66765 66766 66770 66771 66772 66775 66787 66788 66790 66791 66792 66793 66794 66795 66796 66797 66798 66799 66827 66831 66850 66851 66852 66853 66854 66855 66856 66859 67002 67003 67015 67016 67018 67020 67021 67022 67023 67038 67039 67040 67041 67042 67043 67044 67045 67046 67081 82580 82581 82582 82583 82584 82585 82589 82590 82591 82592 82593 82594 82595 82596 82598 82622 82623 82624 82625 82626 82627 82628 82630 82683 82684 82685 82686 82687 82688 82689 82690 82691 82692 82693 82694 82695 82696 82697 82698 82699 82700 82701 82702 82703 82704 82705 82706 82707 82708 82709 82710 82711 82712 82714 82779 82782 82783 82784 82785 82786 82787 82788 82789 82790 82791 82792 82793 82794 82795 82796 82803 82804 82805 82806 82807 82809 82875 82876 82878 82879 82927 82928 82929 82930 82931 82932 82933 82934 82935 82936 82937 82938 82939 82940 82941 82942 82943 82944 82945 82946 82947 82948 82949 82950 82951 82952 82953 82954 82955 82956 82957 82958 82959 82960 82961 82962 82963 82964 82965 82966 82967 82968 82969 82970 82971 82972 82973 82974 82975 82976 82977 82978 82979 82980 82981 82982 82983 82984 82987 82988 82989 82990 82991 82992 83053 83055 83056 83060 83063 83064 83065 83066 83067 83068 83069 83070 83071 83072 83073 83074 83075 83076 83077 83078 83079 83080 83081 83082 83083 83084 83085 83086 83087 83088 83089 83090 83091 83092 83093 83101 83102 83103 83106 83108 83112 83114 83117 83119 83123 83124 83146 83147 83186 83204 83205 83206 83207 83209 83210 83213 83214 83215 83216 83218 83219 83224 83225 83226 83227 83228 83238 83244 83245 83246 83247 83248 83249 83250 83251 83252 83253 83254 83255 83256 83257 83258 83259 83260 83262 83263 83315 83316 83317 83318 83319 83324 83325 83329 83336 83380 83381 83382 83383 83391 83395 83419 83420 83421 83422 83423 83424 83430 83431 83432 83433 83434 83439 83440 83441 83452 83480 83481 83482 83483 83505 83509 83521 83522 83526 83528 83529 83530 83531 83532 83533 83534 83537 83566 83680 83681 83693 83694 83696 83698 83699 83700 83701 83716 83717 83718 83719 83720 83721 83722 83723 83724 83759 99258 99259 99260 99261 99262 99263 99267 99268 99269 99270 99271 99272 99273 99274 99276 99293 99294 99295 99296 99298 99299 99361 99362 99363 99364 99368 99369 99370 99371 99372 99373 99374 99375 99376 99377 99378 99379 99386 99387 99388 99389 99390 99392 99393 99394 99395 99396 99399 99400 99401 99403 99404 99405 99406 99407 99408 99409 99410 99411 99418 99419 99420 99421 99422 99424 99425 99426 99427 99428 99431 99432 99433 99434 99435 99436 99438 99439 99440 99441 99442 99443 99450 99451 99452 99453 99454 99456 99457 99458 99459 99460 99463 99464 99465 99466 99467 99468 99469 99470 99471 99472 99473 99474 99481 99482 99483 99484 99485 99487 99553 99554 99556 99557 99605 99606 99607 99608 99609 99610 99611 99612 99613 99614 99615 99616 99617 99618 99619 99620 99621 99622 99623 99624 99625 99626 99627 99628 99629 99630 99631 99632 99633 99634 99635 99636 99637 99638 99639 99640 99641 99642 99643 99644 99645 99646 99647 99648 99649 99650 99651 99652 99653 99654 99655 99656 99657 99658 99659 99660 99661 99662 99668 99669 99670 99731 99732 99733 99734 99738 99741 99742 99743 99744 99745 99746 99747 99748 99749 99750 99751 99752 99753 99754 99755 99756 99757 99758 99759 99760 99761 99762 99763 99764 99765 99766 99767 99768 99769 99770 99771 99773 99774 99775 99776 99777 99778 99779 99780 99781 99784 99786 99790 99792 99795 99797 99801 99802 99805 99807 99811 99813 99816 99818 99822 99823 99824 99825 99864 99865 99866 99867 99868 99870 99871 99872 99873 99874 99875 99880 99881 99882 99883 99884 99885 99887 99888 99891 99892 99893 99894 99896 99897 99901 99902 99903 99904 99905 99906 99907 99908 99909 99910 99911 99912 99913 99914 99915 99916 99917 99918 99919 99920 99921 99922 99923 99924 99925 99926 99927 99928 99929 99930 99931 99932 99933 99934 99935 99936 99937 99938 99939 99940 99941 99993 99994 99995 99996 99997 99999 100000 100001 100002 100003 100007 100014 100058 100059 100060 100061 100069 100070 100071 100072 100073 100074 100075 100076 100077 100078 100097 100098 100099 100100 100101 100102 100108 100109 100110 100111 100112 100116 100117 100118 100119 100123 100129 100130 100132 100158 100159 100160 100161 100180 100183 100187 100206 100207 100208 100209 100210 100211 100212 100213 100214 100215 100216 100217 100218 100219 100220 100221 100222 100223 100224 100225 100226 100227 100228 100229 100230 100231 100232 100233 100234 100235 100236 100237 100238 100239 100240 100241 100242 100243 100244 100245 100246 100352 100353 100354 100355 100356 100357 100358 100359 100367 100368 100369 100370 100371 100372 100373 100374 100376 100377 100378 100379 100380 100381 100382 100383 100384 100385 100386 100387 100388 100389 100390 100391 100392 100393 100394 100395 100396 100397 100398 100399 100400 100401 100402 100403 100404 100405 100406 100407 100408 100409 100410 100414 100415 100416 100417 100418 100419 100420 100421 100422 100423 100424 100425 100426 100427 100428 100429 100430 100431 100432 100433 100434 100435 100436 100437 100438 100439 100440 100441 100442 100443 100445 100446 100448 100449 100451 100452 100454 100455 100459 100460 100461 100462 100463 100464 100468 100470 100472 100473 115932 115933 115934 115935 115936 115937 115938 115939 115940 115941 115947 115948 115949 115950 115951 115952 115954 116034 116035 116037 116038 116071 116072 116073 116074 116077 116078 116079 116081 116082 116083 116084 116085 116086 116087 116088 116089 116090 116091 116092 116093 116094 116095 116096 116097 116098 116099 116100 116102 116103 116104 116105 116106 116109 116110 116111 116112 116113 116114 116116 116117 116118 116119 116120 116121 116122 116123 116124 116125 116126 116127 116128 116129 116130 116131 116132 116134 116135 116136 116137 116138 116141 116142 116143 116144 116145 116146 116147 116148 116149 116150 116151 116152 116153 116154 116155 116156 116157 116158 116159 116160 116161 116162 116163 116165 116231 116232 116234 116235 116283 116284 116285 116286 116287 116288 116289 116290 116291 116292 116293 116294 116295 116296 116297 116298 116299 116300 116301 116302 116303 116304 116305 116306 116307 116308 116309 116310 116311 116312 116313 116314 116315 116316 116317 116318 116319 116320 116321 116322 116323 116324 116325 116326 116327 116328 116329 116330 116331 116332 116333 116334 116335 116336 116337 116338 116339 116340 116671 116672 116673 116674 116675 116676 116677 116678 116679 116680 116681 116685 116691 116692 116736 116737 116738 116739 116747 116748 116749 116750 116751 116752 116753 116754 116755 116756 116757 116775 116786 116787 116788 116789 116790 116794 116795 116796 116797 116801 116807 116808 116809 116811 116813 116816 116817 116818 116820 116821 116822 116828 116829 116830 116831 116832 116833 116836 116837 116838 116839 116858 116861 116865 116884 116885 116886 116887 116888 116889 116890 116891 116892 116893 116894 116895 116896 116897 116898 116899 116900 116901 116902 116903 116904 116905 116906 116907 116908 116909 116910 116911 116912 116913 116914 116915 116916 116917 116918 116919 116920 116921 116922 116923 116924 117030 117031 117032 117033 117034 117035 117036 117037 117045 117046 117047 117048 117049 117050 117051 117052 117054 117055 117056 117057 117058 117059 117060 117061 117062 117063 117064 117065 117066 117067 117068 117069 117070 117071 117072 117073 117074 117075 117076 117077 117078 117079 117080 117081 117082 117083 117084 117085 117086 117087 117088 117092 117093 117094 117095 117096 117097 117098 117099 117100 117101 117102 117103 117104 117105 117106 117107 117108 117109 117110 117111 117112 117113 117114 117115 117116 117117 117118 117119 117120 117121 117123 117124 117126 117127 117129 117130 117132 117133 117137 117138 117139 117140 117141 117142 117146 117147 117148 117150 117151 132610 132611 132612 132613 132614 132615 132616 132617 132618 132619 132625 132626 132627 132628 132629 132630 132632 132712 132713 132715 132716 132749 132750 132751 132752 132753 132754 132755 132756 132757 132759 132760 132761 132762 132763 132764 132765 132766 132767 132768 132769 132770 132771 132772 132773 132774 132775 132776 132777 132778 132780 132781 132782 132783 132784 132785 132786 132787 132788 132789 132790 132791 132792 132794 132795 132796 132797 132798 132799 132800 132801 132802 132803 132804 132805 132806 132807 132808 132809 132810 132812 132813 132814 132815 132816 132817 132818 132819 132820 132821 132822 132823 132824 132825 132826 132827 132828 132829 132830 132831 132832 132833 132834 132835 132836 132837 132838 132839 132840 132841 132843 132844 132861 132862 132863 132864 132865 132866 132867 132868 132869 132870 132871 132872 132874 132875 132895 132896 132897 132898 132899 132900 132901 132902 132903 132904 132905 132906 132908 132909 132910 132912 132913 132961 132962 132963 132964 132965 132966 132967 132968 132969 132970 132971 132972 132973 132974 132975 132976 132977 132978 132979 132980 132981 132982 132983 132984 132985 132986 132987 132988 132989 132990 132991 132992 132993 132994 132995 132996 132997 132998 132999 133000 133001 133002 133003 133004 133005 133006 133007 133008 133009 133010 133011 133012 133013 133014 133015 133016 133017 133018 133295 133296 133297 133349 133350 133351 133352 133353 133354 133355 133356 133357 133358 133359 133369 133370 133414 133415 133416 133417 133425 133426 133427 133428 133429 133430 133431 133432 133433 133434 133435 133447 133448 133449 133453 133458 133459 133460 133461 133462 133463 133464 133465 133466 133467 133468 133469 133470 133471 133472 133473 133474 133475 133476 133477 133478 133479 133480 133481 133482 133483 133484 133485 133486 133487 133489 133491 133494 133495 133496 133498 133499 133500 133502 133503 133504 133505 133506 133507 133508 133509 133510 133511 133514 133515 133516 133517 133536 133539 133543 133562 133563 133564 133565 133566 133567 133568 133569 133570 133571 133572 133573 133574 133575 133576 133577 133578 133579 133580 133581 133582 133583 133584 133585 133586 133587 133588 133589 133590 133591 133592 133593 133594 133595 133596 133597 133598 133599 133600 133601 133602 133708 133709 133710 133711 133712 133713 133714 133715 133723 133724 133725 133726 133727 133728 133729 133730 133732 133733 133734 133735 133736 133737 133738 133739 133740 133741 133742 133743 133744 133745 133746 133747 133748 133749 133750 133751 133752 133753 133754 133755 133756 133757 133758 133759 133760 133761 133762 133763 133764 133765 133766 133770 133771 133772 133773 133774 133775 133776 133777 133778 133779 133780 133781 133782 133783 133784 133785 133786 133787 133788 133789 133790 133791 133792 133793 133794 133795 133796 133797 133798 133799 133801 133802 133804 133805 133807 133808 133810 133811 133815 133816 133817 133818 133819 133820 133824 133825 133826 133828 133829 149288 149289 149290 149291 149292 149293 149294 149295 149296 149297 149303 149304 149305 149306 149307 149308 149310 149389 149390 149391 149393 149394 149427 149428 149429 149430 149431 149432 149433 149434 149435 149437 149438 149439 149440 149441 149442 149443 149444 149445 149446 149447 149448 149449 149450 149451 149452 149453 149454 149455 149456 149458 149459 149460 149461 149462 149463 149464 149465 149466 149467 149468 149469 149470 149471 149472 149473 149474 149475 149476 149477 149478 149479 149480 149481 149482 149483 149484 149485 149486 149487 149488 149490 149491 149492 149493 149494 149496 149497 149498 149499 149500 149501 149502 149503 149504 149505 149506 149507 149508 149509 149510 149511 149512 149513 149514 149515 149516 149517 149518 149519 149521 149587 149588 149590 149591 149639 149640 149641 149642 149643 149644 149645 149646 149647 149648 149649 149650 149651 149652 149653 149654 149655 149656 149657 149658 149659 149660 149661 149662 149663 149664 149665 149666 149667 149668 149669 149670 149671 149672 149673 149674 149675 149676 149677 149678 149679 149680 149681 149682 149683 149684 149685 149686 149687 149688 149689 149690 149691 149692 149693 149694 149695 149696 149699 149700 149701 149702 149703 149704 149765 149766 149767 149768 149772 149775 149776 149777 149778 149779 149780 149781 149782 149783 149784 149785 149786 149787 149788 149789 149790 149791 149792 149793 149794 149795 149796 149797 149798 149799 149800 149801 149802 149803 149804 149805 149807 149808 149809 149810 149811 149812 149813 149814 149815 149818 149820 149824 149826 149829 149831 149835 149836 149839 149841 149845 149847 149850 149852 149856 149857 149858 149859 149898 149899 149900 149901 149902 149904 149905 149906 149907 149908 149909 149914 149915 149916 149917 149918 149919 149921 149922 149925 149926 149927 149928 149930 149931 149935 149936 149937 149938 149939 149940 149941 149942 149943 149944 149945 149946 149947 149948 149949 149950 149951 149952 149953 149954 149955 149956 149957 149958 149959 149960 149961 149962 149963 149964 149965 149966 149967 149968 149969 149970 149971 149972 149973 149974 149975 150027 150029 150030 150031 150032 150033 150034 150035 150036 150037 150047 150048 150092 150093 150094 150095 150103 150104 150105 150106 150107 150108 150109 150110 150111 150112 150113 150123 150124 150125 150126 150127 150131 150133 150134 150135 150136 150137 150138 150139 150140 150141 150142 150143 150144 150145 150146 150147 150148 150149 150150 150151 150152 150153 150154 150155 150156 150157 150158 150159 150160 150161 150162 150163 150164 150165 150167 150169 150172 150173 150174 150176 150177 150178 150180 150181 150182 150183 150184 150185 150186 150187 150188 150189 150192 150193 150194 150195 150198 150207 150209 150210 150211 150212 150213 150214 150217 150221 150239 150240 150241 150242 150243 150244 150245 150246 150247 150248 150249 150250 150251 150252 150253 150254 150255 150256 150257 150258 150259 150260 150261 150262 150263 150264 150265 150266 150267 150268 150269 150270 150271 150272 150273 150274 150275 150276 150277 150278 150279 150280 150386 150387 150388 150389 150390 150391 150392 150393 150401 150402 150403 150404 150405 150406 150407 150408 150410 150411 150412 150413 150414 150415 150416 150417 150418 150419 150420 150421 150422 150423 150424 150425 150426 150427 150428 150429 150430 150431 150432 150433 150434 150435 150436 150437 150438 150439 150440 150441 150442 150443 150444 150448 150449 150450 150451 150452 150453 150454 150455 150456 150457 150458 150459 150460 150461 150462 150463 150464 150465 150466 150467 150468 150469 150470 150471 150472 150473 150474 150475 150476 150477 150479 150480 150482 150483 150485 150486 150488 150489 150493 150494 150495 150496 150497 150498 150502 150503 150504 150506 150507 165966 165967 165968 165969 165970 165971 165972 165973 165974 165975 165981 165982 165983 165984 165985 165986 165988 166013 166014 166015 166016 166017 166019 166020 166022 166023 166024 166025 166027 166028 166067 166068 166069 166071 166072 166105 166106 166107 166108 166109 166110 166111 166112 166113 166114 166115 166116 166117 166118 166119 166120 166121 166122 166123 166124 166125 166126 166127 166128 166129 166130 166131 166132 166133 166134 166136 166137 166138 166139 166140 166141 166142 166143 166144 166145 166146 166147 166148 166149 166150 166151 166152 166153 166154 166155 166156 166157 166158 166159 166160 166161 166162 166163 166164 166165 166166 166168 166169 166170 166171 166172 166173 166174 166175 166176 166177 166178 166179 166180 166181 166182 166183 166184 166185 166186 166187 166188 166189 166190 166191 166192 166193 166194 166195 166196 166197 166199 166265 166266 166268 166269 166317 166318 166319 166320 166321 166322 166323 166324 166325 166326 166327 166328 166329 166330 166331 166332 166333 166334 166335 166336 166337 166338 166339 166340 166341 166342 166343 166344 166345 166346 166347 166348 166349 166350 166351 166352 166353 166354 166355 166356 166357 166358 166359 166360 166361 166362 166363 166364 166365 166366 166367 166368 166369 166370 166371 166372 166373 166374 166377 166378 166379 166380 166381 166382 166443 166444 166445 166446 166450 166453 166454 166455 166456 166457 166458 166459 166460 166461 166462 166463 166464 166465 166466 166467 166468 166469 166470 166471 166472 166473 166474 166475 166476 166477 166478 166479 166480 166481 166482 166483 166485 166486 166487 166488 166489 166490 166491 166492 166493 166496 166498 166502 166504 166507 166509 166513 166514 166517 166519 166523 166525 166528 166530 166534 166535 166536 166537 166576 166577 166578 166579 166580 166582 166583 166584 166585 166586 166587 166592 166593 166594 166595 166596 166597 166599 166600 166603 166604 166605 166606 166608 166609 166613 166614 166615 166616 166617 166618 166619 166620 166621 166622 166623 166624 166625 166626 166627 166628 166629 166630 166631 166632 166633 166634 166635 166636 166637 166638 166639 166640 166641 166642 166643 166644 166645 166646 166647 166648 166649 166650 166651 166652 166653 166705 166707 166708 166709 166710 166711 166712 166713 166714 166715 166725 166726 166770 166771 166772 166773 166781 166782 166783 166784 166785 166786 166787 166788 166789 166790 166791 166801 166802 166803 166804 166805 166809 166810 166811 166812 166813 166814 166815 166816 166817 166818 166819 166820 166821 166822 166823 166824 166825 166826 166827 166828 166829 166830 166831 166832 166833 166834 166835 166836 166837 166838 166839 166840 166841 166842 166843 166845 166847 166850 166851 166852 166854 166855 166856 166858 166859 166860 166861 166862 166863 166864 166865 166866 166867 166870 166871 166872 166873 166876 166885 166887 166888 166889 166890 166891 166892 166895 166899 166917 166918 166919 166920 166921 166922 166923 166924 166925 166926 166927 166928 166929 166930 166931 166932 166933 166934 166935 166936 166937 166938 166939 166940 166941 166942 166943 166944 166945 166946 166947 166948 166949 166950 166951 166952 166953 166954 166955 166956 166957 166958 167064 167065 167066 167067 167068 167069 167070 167071 167079 167080 167081 167082 167083 167084 167085 167086 167088 167089 167090 167091 167092 167093 167094 167095 167096 167097 167098 167099 167100 167101 167102 167103 167104 167105 167112 167113 167114 167115 167116 167117 167118 167119 167120 167121 167122 167126 167127 167128 167129 167130 167131 167132 167133 167134 167135 167136 167137 167138 167139 167140 167141 167142 167143 167144 167145 167146 167147 167148 167149 167150 167151 167152 167153 167154 167155 167157 167158 167160 167161 167163 167164 167166 167167 167171 167172 167173 167174 167175 167176 167180 167181 167182 167184 167185 182644 182645 182646 182647 182648 182649 182650 182651 182652 182653 182659 182660 182661 182662 182663 182664 182666 182691 182692 182693 182694 182695 182697 182698 182700 182701 182702 182703 182705 182706 182745 182746 182747 182749 182750 182783 182784 182785 182786 182787 182788 182789 182790 182791 182792 182793 182794 182795 182796 182797 182798 182799 182800 182801 182802 182803 182804 182805 182806 182807 182808 182809 182810 182811 182812 182814 182815 182816 182817 182818 182819 182820 182821 182822 182823 182824 182825 182826 182827 182828 182829 182830 182831 182832 182833 182834 182835 182836 182837 182838 182839 182840 182841 182842 182843 182844 182846 182847 182848 182849 182850 182851 182852 182853 182854 182855 182856 182857 182858 182859 182860 182861 182862 182863 182864 182865 182866 182867 182868 182869 182870 182871 182872 182873 182874 182875 182877 182943 182944 182946 182947 182995 182996 182997 182998 182999 183000 183001 183002 183003 183004 183005 183006 183007 183008 183009 183010 183011 183012 183013 183014 183015 183016 183017 183018 183019 183020 183021 183022 183023 183024 183025 183026 183027 183028 183029 183030 183031 183032 183033 183034 183035 183036 183037 183038 183039 183040 183041 183042 183043 183044 183045 183046 183047 183048 183049 183050 183051 183052 183055 183056 183057 183058 183059 183060 183121 183122 183123 183124 183128 183131 183132 183133 183134 183135 183136 183137 183138 183139 183140 183141 183142 183143 183144 183145 183146 183147 183148 183149 183150 183151 183152 183153 183154 183155 183156 183157 183158 183159 183160 183161 183163 183164 183165 183166 183167 183168 183169 183170 183171 183174 183176 183180 183182 183185 183187 183191 183192 183195 183197 183201 183203 183206 183208 183212 183213 183214 183215 183254 183255 183256 183257 183258 183260 183261 183262 183263 183264 183265 183270 183271 183272 183273 183274 183275 183277 183278 183281 183282 183283 183284 183286 183287 183291 183292 183293 183294 183295 183296 183297 183298 183299 183300 183301 183302 183303 183304 183305 183306 183307 183308 183309 183310 183311 183312 183313 183314 183315 183316 183317 183318 183319 183320 183321 183322 183323 183324 183325 183326 183327 183328 183329 183330 183331 183383 183385 183386 183387 183388 183389 183390 183391 183392 183393 183403 183404 183448 183449 183450 183451 183459 183460 183461 183462 183463 183464 183465 183466 183467 183468 183469 183479 183480 183481 183482 183483 183487 183488 183489 183490 183491 183492 183493 183494 183495 183496 183497 183498 183499 183500 183501 183502 183503 183504 183505 183506 183507 183508 183509 183510 183511 183512 183513 183514 183515 183516 183517 183518 183519 183520 183521 183523 183525 183528 183529 183530 183532 183533 183534 183536 183537 183538 183539 183540 183541 183542 183543 183544 183545 183548 183549 183550 183551 183554 183563 183565 183566 183567 183568 183569 183570 183573 183577 183595 183596 183597 183598 183599 183600 183601 183602 183603 183604 183605 183606 183607 183608 183609 183610 183611 183612 183613 183614 183615 183616 183617 183618 183619 183620 183621 183622 183623 183624 183625 183626 183627 183628 183629 183630 183631 183632 183633 183634 183635 183636 183742 183743 183744 183745 183746 183747 183748 183749 183757 183758 183759 183760 183761 183762 183763 183764 183766 183767 183768 183769 183770 183771 183772 183773 183774 183775 183776 183777 183778 183779 183780 183781 183782 183783 183790 183791 183792 183793 183794 183795 183796 183797 183798 183799 183800 183804 183805 183806 183807 183808 183809 183810 183811 183812 183813 183814 183815 183816 183817 183818 183819 183820 183821 183822 183823 183824 183825 183826 183827 183828 183829 183830 183831 183832 183833 183835 183836 183838 183839 183841 183842 183844 183845 183849 183850 183851 183852 183853 183854 183858 183859 183860 183862 183863 199322 199323 199324 199325 199326 199327 199328 199329 199330 199331 199337 199338 199339 199340 199341 199342 199344 199369 199370 199371 199372 199373 199375 199376 199378 199379 199380 199381 199383 199384 199423 199424 199425 199427 199428 199461 199462 199463 199464 199465 199466 199467 199468 199469 199470 199471 199472 199473 199474 199475 199476 199477 199478 199479 199480 199481 199482 199483 199484 199485 199486 199487 199488 199489 199490 199492 199493 199494 199495 199496 199497 199498 199499 199500 199501 199502 199503 199504 199505 199506 199507 199508 199509 199510 199511 199512 199513 199514 199515 199516 199517 199518 199519 199520 199521 199522 199524 199525 199526 199527 199528 199529 199530 199531 199532 199533 199534 199535 199536 199537 199538 199539 199540 199541 199542 199543 199544 199545 199546 199547 199548 199549 199550 199551 199552 199553 199555 199621 199622 199624 199625 199673 199674 199675 199676 199677 199678 199679 199680 199681 199682 199683 199684 199685 199686 199687 199688 199689 199690 199691 199692 199693 199694 199695 199696 199697 199698 199699 199700 199701 199702 199703 199704 199705 199706 199707 199708 199709 199710 199711 199712 199713 199714 199715 199716 199717 199718 199719 199720 199721 199722 199723 199724 199725 199726 199727 199728 199729 199730 199733 199734 199735 199736 199737 199738 199799 199800 199801 199802 199806 199809 199810 199811 199812 199813 199814 199815 199816 199817 199818 199819 199820 199821 199822 199823 199824 199825 199826 199827 199828 199829 199830 199831 199832 199833 199834 199835 199836 199837 199838 199839 199841 199842 199843 199844 199845 199846 199847 199848 199849 199852 199854 199858 199860 199863 199865 199869 199870 199873 199875 199879 199881 199884 199886 199890 199891 199892 199893 199932 199933 199934 199935 199936 199938 199939 199940 199941 199942 199943 199948 199949 199950 199951 199952 199953 199955 199956 199959 199960 199961 199962 199964 199965 199969 199970 199971 199972 199973 199974 199975 199976 199977 199978 199979 199980 199981 199982 199983 199984 199985 199986 199987 199988 199989 199990 199991 199992 199993 199994 199995 199996 199997 199998 199999 200000 200001 200002 200003 200004 200005 200006 200007 200008 200009 200061 200063 200064 200065 200066 200067 200068 200069 200070 200071 200081 200082 200126 200127 200128 200129 200137 200138 200139 200140 200141 200142 200143 200144 200145 200146 200147 200157 200158 200159 200160 200161 200165 200166 200167 200168 200169 200170 200171 200172 200173 200174 200175 200176 200177 200178 200179 200180 200181 200182 200183 200184 200185 200186 200187 200188 200189 200190 200191 200192 200193 200194 200195 200196 200197 200198 200199 200201 200203 200206 200207 200208 200210 200211 200212 200214 200215 200216 200217 200218 200219 200220 200221 200222 200223 200226 200227 200228 200229 200232 200241 200243 200244 200245 200246 200247 200248 200251 200255 200273 200274 200275 200276 200277 200278 200279 200280 200281 200282 200283 200284 200285 200286 200287 200288 200289 200290 200291 200292 200293 200294 200295 200296 200297 200298 200299 200300 200301 200302 200303 200304 200305 200306 200307 200308 200309 200310 200311 200312 200313 200314 200420 200421 200422 200423 200424 200425 200426 200427 200435 200436 200437 200438 200439 200440 200441 200442 200444 200445 200446 200447 200448 200449 200450 200451 200452 200453 200454 200455 200456 200457 200458 200459 200460 200461 200468 200469 200470 200471 200472 200473 200474 200475 200476 200477 200478 200482 200483 200484 200485 200486 200487 200488 200489 200490 200491 200492 200493 200494 200495 200496 200497 200498 200499 200500 200501 200502 200503 200504 200505 200506 200507 200508 200509 200510 200511 200513 200514 200516 200517 200519 200520 200522 200523 200527 200528 200529 200530 200531 200532 200536 200537 200538 200540 200541 216000 216001 216002 216003 216004 216005 216006 216007 216008 216009 216015 216016 216017 216018 216019 216020 216022 216047 216048 216049 216050 216051 216053 216054 216056 216057 216058 216059 216061 216062 216101 216102 216103 216105 216106 216139 216140 216141 216142 216143 216144 216145 216146 216147 216148 216149 216150 216151 216152 216153 216154 216155 216156 216157 216158 216159 216160 216161 216162 216163 216164 216165 216166 216167 216168 216170 216171 216172 216173 216174 216175 216176 216177 216178 216179 216180 216181 216182 216183 216184 216185 216186 216187 216188 216189 216190 216191 216192 216193 216194 216195 216196 216197 216198 216199 216200 216202 216203 216204 216205 216206 216207 216208 216209 216210 216211 216212 216213 216214 216215 216216 216217 216218 216219 216220 216221 216222 216223 216224 216225 216226 216227 216228 216229 216230 216231 216233 216299 216300 216302 216303 216351 216352 216353 216354 216355 216356 216357 216358 216359 216360 216361 216362 216363 216364 216365 216366 216367 216368 216369 216370 216371 216372 216373 216374 216375 216376 216377 216378 216379 216380 216381 216382 216383 216384 216385 216386 216387 216388 216389 216390 216391 216392 216393 216394 216395 216396 216397 216398 216399 216400 216401 216402 216403 216404 216405 216406 216407 216408 216411 216412 216413 216414 216415 216416 216477 216478 216479 216480 216484 216487 216488 216489 216490 216491 216492 216493 216494 216495 216496 216497 216498 216499 216500 216501 216502 216503 216504 216505 216506 216507 216508 216509 216510 216511 216512 216513 216514 216515 216516 216517 216519 216520 216521 216522 216523 216524 216525 216526 216527 216530 216532 216536 216538 216541 216543 216547 216548 216551 216553 216557 216559 216562 216564 216568 216569 216570 216571 216610 216611 216612 216613 216614 216616 216617 216618 216619 216620 216621 216626 216627 216628 216629 216630 216631 216633 216634 216637 216638 216639 216640 216642 216643 216647 216648 216649 216650 216651 216652 216653 216654 216655 216656 216657 216658 216659 216660 216661 216662 216663 216664 216665 216666 216667 216668 216669 216670 216671 216672 216673 216674 216675 216676 216677 216678 216679 216680 216681 216682 216683 216684 216685 216686 216687 216739 216741 216742 216743 216744 216745 216746 216747 216748 216749 216759 216760 216804 216805 216806 216807 216815 216816 216817 216818 216819 216820 216821 216822 216823 216824 216825 216835 216836 216837 216838 216839 216843 216844 216845 216846 216847 216848 216849 216850 216851 216852 216853 216854 216855 216856 216857 216858 216859 216860 216861 216862 216863 216864 216865 216866 216867 216868 216869 216870 216871 216872 216873 216874 216875 216876 216877 216879 216881 216884 216885 216886 216888 216889 216890 216892 216893 216894 216895 216896 216897 216898 216899 216900 216901 216904 216905 216906 216907 216910 216919 216921 216922 216923 216924 216925 216926 216929 216933 216951 216952 216953 216954 216955 216956 216957 216958 216959 216960 216961 216962 216963 216964 216965 216966 216967 216968 216969 216970 216971 216972 216973 216974 216975 216976 216977 216978 216979 216980 216981 216982 216983 216984 216985 216986 216987 216988 216989 216990 216991 216992 217098 217099 217100 217101 217102 217103 217104 217105 217113 217114 217115 217116 217117 217118 217119 217120 217122 217123 217124 217125 217126 217127 217128 217129 217130 217131 217132 217133 217134 217135 217136 217137 217138 217139 217146 217147 217148 217149 217150 217151 217152 217153 217154 217155 217156 217160 217161 217162 217163 217164 217165 217166 217167 217168 217169 217170 217171 217172 217173 217174 217175 217176 217177 217178 217179 217180 217181 217182 217183 217184 217185 217186 217187 217188 217189 217191 217192 217194 217195 217197 217198 217200 217201 217205 217206 217207 217208 217209 217210 217214 217215 217216 217218 217219 232678 232679 232680 232681 232682 232683 232684 232685 232686 232687 232693 232694 232695 232696 232697 232698 232700 232725 232726 232727 232728 232729 232731 232732 232734 232735 232736 232737 232739 232740 232779 232780 232781 232783 232784 232817 232818 232819 232820 232821 232822 232823 232824 232825 232826 232827 232828 232829 232830 232831 232832 232833 232834 232835 232836 232837 232838 232839 232840 232841 232842 232843 232844 232845 232846 232848 232849 232850 232851 232852 232853 232854 232855 232856 232857 232858 232859 232860 232861 232862 232863 232864 232865 232866 232867 232868 232869 232870 232871 232872 232873 232874 232875 232876 232877 232878 232880 232881 232882 232883 232884 232885 232886 232887 232888 232889 232890 232891 232892 232893 232894 232895 232896 232897 232898 232899 232900 232901 232902 232903 232904 232905 232906 232907 232908 232909 232911 232977 232978 232980 232981 233029 233030 233031 233032 233033 233034 233035 233036 233037 233038 233039 233040 233041 233042 233043 233044 233045 233046 233047 233048 233049 233050 233051 233052 233053 233054 233055 233056 233057 233058 233059 233060 233061 233062 233063 233064 233065 233066 233067 233068 233069 233070 233071 233072 233073 233074 233075 233076 233077 233078 233079 233080 233081 233082 233083 233084 233085 233086 233089 233090 233091 233092 233093 233094 233155 233156 233157 233158 233162 233165 233166 233167 233168 233169 233170 233171 233172 233173 233174 233175 233176 233177 233178 233179 233180 233181 233182 233183 233184 233185 233186 233187 233188 233189 233190 233191 233192 233193 233194 233195 233197 233198 233199 233200 233201 233202 233203 233204 233205 233208 233210 233214 233216 233219 233221 233225 233226 233229 233231 233235 233237 233240 233242 233246 233247 233248 233249 233288 233289 233290 233291 233292 233294 233295 233296 233297 233298 233299 233304 233305 233306 233307 233308 233309 233311 233312 233315 233316 233317 233318 233320 233321 233325 233326 233327 233328 233329 233330 233331 233332 233333 233334 233335 233336 233337 233338 233339 233340 233341 233342 233343 233344 233345 233346 233347 233348 233349 233350 233351 233352 233353 233354 233355 233356 233357 233358 233359 233360 233361 233362 233363 233364 233365 233417 233419 233420 233421 233422 233423 233424 233425 233426 233427 233437 233438 233482 233483 233484 233485 233493 233494 233495 233496 233497 233498 233499 233500 233501 233502 233503 233513 233514 233515 233516 233517 233521 233522 233523 233524 233525 233526 233527 233528 233529 233530 233531 233532 233533 233534 233535 233536 233537 233538 233539 233540 233541 233542 233543 233544 233545 233546 233547 233548 233549 233550 233551 233552 233553 233554 233555 233557 233559 233562 233563 233564 233566 233567 233568 233570 233571 233572 233573 233574 233575 233576 233577 233578 233579 233582 233583 233584 233585 233588 233597 233599 233600 233601 233602 233603 233604 233607 233611 233629 233630 233631 233632 233633 233634 233635 233636 233637 233638 233639 233640 233641 233642 233643 233644 233645 233646 233647 233648 233649 233650 233651 233652 233653 233654 233655 233656 233657 233658 233659 233660 233661 233662 233663 233664 233665 233666 233667 233668 233669 233670 233776 233777 233778 233779 233780 233781 233782 233783 233791 233792 233793 233794 233795 233796 233797 233798 233800 233801 233802 233803 233804 233805 233806 233807 233808 233809 233810 233811 233812 233813 233814 233815 233816 233817 233824 233825 233826 233827 233828 233829 233830 233831 233832 233833 233834 233838 233839 233840 233841 233842 233843 233844 233845 233846 233847 233848 233849 233850 233851 233852 233853 233854 233855 233856 233857 233858 233859 233860 233861 233862 233863 233864 233865 233866 233867 233869 233870 233872 233873 233875 233876 233878 233879 233883 233884 233885 233886 233887 233888 233892 233893 233894 233896 233897 249356 249357 249358 249359 249360 249361 249362 249363 249364 249365 249371 249372 249373 249374 249375 249376 249378 249403 249404 249405 249406 249407 249409 249410 249412 249413 249414 249415 249417 249418 249457 249458 249459 249461 249462 249495 249496 249497 249498 249499 249500 249501 249502 249503 249504 249505 249506 249507 249508 249509 249510 249511 249512 249513 249514 249515 249516 249517 249518 249519 249520 249521 249522 249523 249524 249526 249527 249528 249529 249530 249531 249532 249533 249534 249535 249536 249537 249538 249539 249540 249541 249542 249543 249544 249545 249546 249547 249548 249549 249550 249551 249552 249553 249554 249555 249556 249558 249559 249560 249561 249562 249563 249564 249565 249566 249567 249568 249569 249570 249571 249572 249573 249574 249575 249576 249577 249578 249579 249580 249581 249582 249583 249584 249585 249586 249587 249589 249655 249656 249658 249659 249707 249708 249709 249710 249711 249712 249713 249714 249715 249716 249717 249718 249719 249720 249721 249722 249723 249724 249725 249726 249727 249728 249729 249730 249731 249732 249733 249734 249735 249736 249737 249738 249739 249740 249741 249742 249743 249744 249745 249746 249747 249748 249749 249750 249751 249752 249753 249754 249755 249756 249757 249758 249759 249760 249761 249762 249763 249764 249767 249768 249769 249770 249771 249772 249833 249834 249835 249836 249840 249843 249844 249845 249846 249847 249848 249849 249850 249851 249852 249853 249854 249855 249856 249857 249858 249859 249860 249861 249862 249863 249864 249865 249866 249867 249868 249869 249870 249871 249872 249873 249875 249876 249877 249878 249879 249880 249881 249882 249883 249886 249888 249892 249894 249897 249899 249903 249904 249926 249927 249966 249967 249968 249969 249970 249972 249973 249974 249975 249976 249977 249982 249983 249984 249985 249986 249987 249989 249990 249993 249994 249995 249996 249998 249999 250003 250004 250005 250006 250007 250008 250009 250010 250011 250012 250013 250014 250015 250016 250017 250018 250019 250020 250021 250022 250023 250024 250025 250026 250027 250028 250029 250030 250031 250032 250033 250034 250035 250036 250037 250038 250039 250040 250041 250042 250043 250044 250045 250048 250095 250097 250098 250099 250100 250101 250102 250103 250104 250105 250115 250116 250160 250161 250162 250163 250171 250172 250173 250174 250175 250176 250177 250178 250179 250180 250181 250192 250193 250194 250195 250196 250197 250198 250199 250200 250201 250202 250203 250204 250205 250206 250207 250208 250209 250210 250211 250212 250213 250214 250215 250216 250217 250218 250219 250220 250221 250222 250223 250224 250225 250226 250227 250228 250229 250230 250231 250232 250233 250235 250237 250240 250241 250242 250244 250245 250246 250247 250248 250249 250250 250251 250252 250253 250254 250255 250256 250257 250260 250261 250262 250263 250266 250275 250277 250278 250279 250280 250281 250282 250285 250289 250307 250308 250309 250310 250311 250312 250313 250314 250315 250316 250317 250318 250319 250320 250321 250322 250323 250324 250325 250326 250327 250328 250329 250330 250331 250332 250333 250334 250335 250336 250337 250338 250339 250340 250341 250342 250343 250344 250345 250346 250347 250348 250454 250455 250456 250457 250458 250459 250460 250461 250469 250470 250471 250472 250473 250474 250475 250476 250478 250479 250480 250481 250482 250483 250484 250485 250486 250487 250488 250489 250490 250491 250492 250493 250494 250495 250502 250503 250504 250505 250506 250507 250508 250509 250510 250511 250512 250516 250517 250518 250519 250520 250521 250522 250523 250524 250525 250526 250527 250528 250529 250530 250531 250532 250533 250534 250535 250536 250537 250538 250539 250540 250541 250542 250543 250544 250545 250547 250548 250550 250551 250553 250554 250556 250557 250561 250562 250563 250564 250565 250566 250570 250571 250572 250574 250575 266034 266035 266036 266037 266038 266039 266040 266041 266042 266043 266049 266050 266051 266052 266053 266054 266056 266081 266082 266083 266084 266085 266087 266088 266090 266091 266092 266093 266095 266096 266135 266136 266137 266139 266140 266173 266174 266175 266176 266177 266178 266179 266180 266181 266182 266183 266184 266185 266186 266187 266188 266189 266190 266191 266192 266193 266194 266195 266196 266197 266198 266199 266200 266201 266202 266204 266205 266206 266207 266208 266209 266210 266211 266212 266213 266214 266215 266216 266217 266218 266219 266220 266221 266222 266223 266224 266225 266226 266227 266228 266229 266230 266231 266232 266233 266234 266236 266237 266238 266239 266240 266241 266242 266243 266244 266245 266246 266247 266248 266249 266250 266251 266252 266253 266254 266255 266256 266257 266258 266259 266260 266261 266262 266263 266264 266265 266267 266333 266334 266336 266337 266385 266386 266387 266388 266389 266390 266391 266392 266393 266394 266395 266396 266397 266398 266399 266400 266401 266402 266403 266404 266405 266406 266407 266408 266409 266410 266411 266412 266413 266414 266415 266416 266417 266418 266419 266420 266421 266422 266423 266424 266425 266426 266427 266428 266429 266430 266431 266432 266433 266434 266435 266436 266437 266438 266439 266440 266441 266442 266445 266446 266447 266448 266450 266511 266512 266513 266514 266518 266521 266522 266523 266524 266525 266526 266527 266528 266529 266530 266531 266532 266533 266534 266535 266536 266537 266538 266539 266540 266541 266542 266543 266544 266545 266546 266547 266548 266549 266550 266551 266553 266554 266555 266556 266557 266558 266559 266560 266561 266564 266566 266570 266572 266575 266577 266581 266582 266585 266587 266591 266593 266596 266598 266602 266603 266604 266605 266644 266645 266646 266647 266648 266650 266651 266652 266653 266654 266655 266660 266661 266662 266663 266664 266665 266667 266668 266671 266672 266673 266674 266676 266677 266681 266682 266683 266684 266685 266686 266687 266688 266689 266690 266691 266692 266693 266694 266695 266696 266697 266698 266699 266700 266701 266702 266703 266704 266705 266706 266707 266708 266709 266710 266711 266712 266713 266714 266715 266716 266717 266718 266719 266720 266721 266724 266725 266726 266727 266773 266775 266776 266777 266778 266779 266780 266781 266782 266783 266793 266794 266838 266839 266840 266841 266849 266850 266851 266852 266853 266854 266855 266856 266857 266858 266859 266869 266870 266871 266872 266873 266877 266878 266879 266880 266881 266882 266883 266884 266885 266886 266887 266888 266889 266890 266891 266892 266893 266894 266895 266896 266897 266898 266899 266900 266901 266902 266903 266904 266905 266906 266907 266908 266909 266910 266911 266913 266915 266918 266919 266920 266922 266923 266924 266926 266927 266928 266929 266930 266931 266932 266933 266934 266935 266938 266939 266940 266941 266944 266953 266955 266956 266957 266958 266959 266960 266963 266967 266985 266986 266987 266988 266989 266990 266991 266992 266993 266994 266995 266996 266997 266998 266999 267000 267001 267002 267003 267004 267005 267006 267007 267008 267009 267010 267011 267012 267013 267014 267015 267016 267017 267018 267019 267020 267021 267022 267023 267024 267025 267026 267132 267133 267134 267135 267136 267137 267138 267139 267147 267148 267149 267150 267151 267152 267153 267154 267156 267157 267158 267159 267160 267161 267162 267163 267164 267165 267166 267167 267168 267169 267170 267171 267172 267173 267180 267181 267182 267183 267184 267185 267186 267187 267188 267189 267190 267194 267195 267196 267197 267198 267199 267200 267201 267202 267203 267204 267205 267206 267207 267208 267209 267210 267211 267212 267213 267214 267215 267216 267217 267218 267219 267220 267221 267222 267223 267225 267226 267228 267229 267231 267232 267234 267235 267239 267240 267241 267242 267243 267244 267248 267249 267250 267252 267253 282712 282713 282714 282715 282716 282717 282718 282719 282720 282721 282727 282728 282729 282730 282731 282732 282734 282758 282759 282760 282761 282762 282763 282765 282766 282768 282769 282770 282771 282773 282774 282813 282814 282815 282817 282818 282851 282852 282853 282854 282855 282856 282857 282858 282859 282860 282861 282862 282863 282864 282865 282866 282867 282868 282869 282870 282871 282872 282873 282874 282875 282876 282877 282878 282879 282880 282882 282883 282884 282885 282886 282887 282888 282889 282890 282891 282892 282893 282894 282895 282896 282897 282898 282899 282900 282901 282902 282903 282904 282905 282906 282907 282908 282909 282910 282911 282912 282914 282915 282916 282917 282918 282919 282920 282921 282922 282923 282924 282925 282926 282927 282928 282929 282930 282931 282932 282933 282934 282935 282936 282937 282938 282939 282940 282941 282942 282943 282945 283011 283012 283014 283015 283063 283064 283065 283066 283067 283068 283069 283070 283071 283072 283073 283074 283075 283076 283077 283078 283079 283080 283081 283082 283083 283084 283085 283086 283087 283088 283089 283090 283091 283092 283093 283094 283095 283096 283097 283098 283099 283100 283101 283102 283103 283104 283105 283106 283107 283108 283109 283110 283111 283112 283113 283114 283115 283116 283117 283118 283119 283120 283402 283403 283404 283405 283451 283453 283454 283455 283456 283457 283458 283459 283460 283461 283471 283472 283516 283517 283518 283519 283527 283528 283529 283530 283531 283532 283533 283534 283535 283536 283537 283555 283556 283557 283558 283559 283560 283561 283563 283564 283565 283566 283567 283568 283569 283570 283571 283572 283573 283574 283575 283576 283577 283578 283579 283580 283582 283583 283584 283585 283586 283589 283591 283593 283596 283597 283598 283600 283601 283602 283604 283605 283606 283607 283608 283609 283610 283611 283612 283613 283622 283631 283633 283634 283635 283636 283637 283641 283645 283663 283664 283665 283666 283667 283668 283669 283670 283671 283672 283673 283674 283675 283676 283677 283678 283679 283680 283681 283682 283683 283684 283685 283686 283687 283688 283689 283690 283691 283692 283693 283694 283695 283696 283697 283698 283699 283700 283701 283702 283703 283704 283810 283811 283812 283813 283814 283815 283816 283817 283825 283826 283827 283828 283829 283830 283831 283832 283834 283835 283836 283837 283838 283839 283840 283841 283842 283843 283844 283845 283846 283847 283848 283849 283850 283851 283858 283859 283860 283861 283862 283863 283864 283865 283866 283867 283868 283872 283873 283874 283875 283876 283877 283878 283879 283880 283881 283882 283883 283884 283885 283886 283887 283888 283889 283890 283891 283892 283893 283894 283895 283896 283897 283898 283899 283900 283901 283903 283904 283906 283907 283909 283910 283912 283913 283917 283918 283919 283920 283921 283922 283926 283927 283928 283930 283931 299390 299391 299392 299393 299394 299395 299396 299397 299398 299399 299405 299406 299407 299408 299409 299410 299412 299436 299437 299438 299439 299440 299441 299443 299444 299446 299447 299448 299449 299451 299452 299491 299492 299493 299495 299496 299689 299690 299692 299693 299741 299742 299743 299744 299745 299746 299747 299748 299749 299750 299751 299752 299753 299754 299755 299756 299757 299758 299759 299760 299761 299762 299763 299764 299765 299766 299767 299768 299769 299770 299771 299772 299773 299774 299775 299776 299777 299778 299779 299780 299781 299782 299783 299784 299785 299786 299787 299788 299789 299790 299791 299792 299793 299794 299795 299796 299797 299798 0