// Solver for CMOQR Problem 7: // Is it possible for 7 people in a tournament to be put into two rooms // in which neither room has a cyclic triple? #include <iostream> using namespace std; // This is a triangular array: // wins[a][b] is 1 if a beats b, otherwise -1. // Only a>b is defined. int wins[7][7]; // Did a beat b? 1 if yes, -1 if no int won(int a, int b){ if(a>b) return wins[a][b]; if(a<b) return -wins[b][a]; return 0; } // Does a set of numbers form a cyclic triple? bool cyclic(int a, int b, int c){ return won(a,b) == won(b,c) && won(b,c) == won(c,a); } // Do these four contain a cyclic triple? bool cyclic4(int a, int b, int c, int d){ if(cyclic(a,b,c)) return true; if(cyclic(b,c,d)) return true; if(cyclic(c,d,a)) return true; if(cyclic(a,b,d)) return true; return false; } // If you put a,b,c in one room, is it the case that at least one of // the rooms does contain a triplet? bool cyclic_(int a, int b, int c){ if(cyclic(a,b,c)) return true; // Set d,e,f,g to the other four, ie [0..6] \ [a,b,c] int d,e,f,g; for(int i=0; i<7; i++) if(a!=i&&b!=i&&c!=i){d=i;break;} for(int i=0; i<7; i++) if(a!=i&&b!=i&&c!=i&&d!=i){e=i;break;} for(int i=0; i<7; i++) if(a!=i&&b!=i&&c!=i&&d!=i&&e!=i){f=i;break;} for(int i=0; i<7; i++) if(a!=i&&b!=i&&c!=i&&d!=i&&e!=i&&f!=i){g=i;break;} return cyclic4(d,e,f,g); } // Is it the case that no matter what, at least one room has a cyclic? bool iscounterexample(){ if(!cyclic_(0,1,2)) return false; if(!cyclic_(0,1,3)) return false; if(!cyclic_(0,1,4)) return false; if(!cyclic_(0,1,5)) return false; if(!cyclic_(0,1,6)) return false; if(!cyclic_(0,2,3)) return false; if(!cyclic_(0,2,4)) return false; if(!cyclic_(0,2,5)) return false; if(!cyclic_(0,2,6)) return false; if(!cyclic_(0,3,4)) return false; if(!cyclic_(0,3,5)) return false; if(!cyclic_(0,3,6)) return false; if(!cyclic_(0,4,5)) return false; if(!cyclic_(0,4,6)) return false; if(!cyclic_(0,5,6)) return false; if(!cyclic_(1,2,3)) return false; if(!cyclic_(1,2,4)) return false; if(!cyclic_(1,2,5)) return false; if(!cyclic_(1,2,6)) return false; if(!cyclic_(1,3,4)) return false; if(!cyclic_(1,3,5)) return false; if(!cyclic_(1,3,6)) return false; if(!cyclic_(1,4,5)) return false; if(!cyclic_(1,4,6)) return false; if(!cyclic_(1,5,6)) return false; if(!cyclic_(2,3,4)) return false; if(!cyclic_(2,3,5)) return false; if(!cyclic_(2,3,6)) return false; if(!cyclic_(2,4,5)) return false; if(!cyclic_(2,4,6)) return false; if(!cyclic_(2,5,6)) return false; if(!cyclic_(3,4,5)) return false; if(!cyclic_(3,4,6)) return false; if(!cyclic_(3,5,6)) return false; if(!cyclic_(4,5,6)) return false; return true; } // How to generate a list of {-1,1}^21? Why not iterate from 0 to 2^21-1 // then somehow convert these into binary? void setcondition(int n){ for(int i=0; i<7; i++) for(int j=0; j<7; j++) wins[i][j] = -1; // temporary array to store the 1 and -1's before transferring // over to the win matrix int array[21]; for(int i=0; i<21; i++) array[i]=-1; // seek highest power of 2 int p = 0, p_ = 1; while(p_*2 <= n){p_*=2; p++;} int k=1; while(k<n) k*=2; if(k>n) k/=2; while(k>0) { int bd; // extract a binary digit if(int(n/k)%2==0)bd=-1; else bd=1; array[p] = bd; p--; k/=2; } // copy array over int inx = 0; for(int i=1; i<7; i++) { for(int j=0; j<i; j++){ wins[i][j] = array[inx]; inx++; } } } int main(){ // Loop over all possible combinations up to 2^21 for(int i=0; i<2097152; i++){ setcondition(i); if(iscounterexample()){ cout << i << endl; } } return 0; }
Standard input is empty
99733 100021 100682 100970 103554 103701 103954 104101 104517 104714 104973 105058 107688 107820 107921 108085 108657 108851 108872 109098 110924 110995 111218 111277 111696 111716 111980 112210 112777 112803 113075 113293 116101 116401 116560 116580 117058 117352 117641 117667 119125 119178 119404 119475 119946 120456 120588 120684 120917 121425 121619 121779 123218 123277 123509 123562 124074 124322 124722 124754 125045 125285 125741 125837 165282 165682 167074 167173 167461 167698 168141 168541 170050 170125 170506 170581 173208 173340 173478 173618 174280 174503 174709 174874 175184 175204 175320 175717 176246 176311 176332 176669 178446 178455 178615 178954 181634 181968 181988 182070 182498 182669 182872 183095 183565 183944 184024 184076 184517 184924 185230 185239 186466 186982 187047 187319 188645 188810 189042 189213 189725 189845 190133 190181 192626 192722 193178 193418 199013 199469 199781 199938 200226 200461 200914 201370 201810 201861 202261 202378 206033 206182 206506 206621 206937 207131 207207 207405 208009 208035 208089 208546 209006 209071 209107 209434 210190 210199 210286 210709 214245 214354 214681 214830 215365 215753 215779 215855 216338 216657 216793 216851 217282 217755 217934 217943 218277 218726 218791 218990 221410 221525 221869 221978 223514 223562 223850 223970 225453 225485 225885 226133 230786 230789 230962 230965 231746 231749 231978 231981 232706 232709 232717 232722 232994 232997 233061 233122 233666 233669 234010 234013 234626 234629 234634 234661 235026 235029 235090 235285 235586 235589 235605 235618 236042 236045 236173 236298 237570 237573 237653 237666 237706 237733 237837 237842 238610 238629 238672 238673 238692 238694 238725 238728 238729 238736 238737 238754 238757 238769 238820 238850 238860 238862 238866 238869 238884 238886 238902 238928 239154 239157 239285 239410 239629 239650 239682 239688 239689 239696 239697 239714 239717 239720 239752 239753 239779 239783 239843 239877 239882 239885 239891 239895 239907 239911 239919 240009 240170 240173 240234 240429 240908 240915 241186 241189 241674 241685 241733 241740 241742 241746 241749 241756 241764 241766 241794 241802 241805 241811 241815 241819 241827 241831 241932 241934 241939 241943 242007 242062 242202 242205 242269 242330 242824 242855 243218 243221 243793 243814 244234 244237 246274 246277 246354 246373 246413 246434 246538 246549 247170 247173 247189 247202 247317 247330 247376 247377 247396 247398 247426 247432 247433 247440 247441 247458 247461 247464 247557 247564 247566 247570 247573 247580 247588 247590 247697 247718 248130 248133 248138 248165 248330 248357 248389 248392 248393 248400 248401 248418 248421 248433 248456 248457 248483 248487 248578 248586 248589 248595 248599 248603 248611 248615 248648 248679 249090 249093 249444 249507 250050 250053 250061 250066 250381 250386 250434 250444 250446 250450 250453 250468 250470 250486 250501 250506 250509 250515 250519 250531 250535 250543 250572 250579 250636 250638 250643 250647 251010 251013 251472 251671 251970 251973 252553 252686 254066 254069 254122 254125 254178 254181 254234 254237 254290 254293 254346 254349 254578 254581 254634 254637 254690 254693 254746 254749 254802 254805 254858 254861 255205 255314 255658 255773 256226 256397 256629 256794 258389 258442 258674 258733 296584 296716 298120 298257 298545 298796 300198 300300 300598 300696 301282 301397 301721 301870 302160 302180 302310 302417 303347 303479 305256 305331 305450 305525 307292 307357 307442 307511 309818 309821 309917 310058 312784 312804 313000 313116 313544 313702 314035 314141 314786 314854 314931 315186 315601 315724 316074 316215 316821 316881 316983 317109 319729 319862 320442 320445 321608 321880 321945 322461 323660 323820 324014 324522 330321 330515 330833 331016 331304 331571 333029 333194 333400 333623 333927 334099 334383 334425 334985 335011 335079 335240 336108 336302 337004 337073 337205 337322 340058 340123 340205 340270 341562 341565 341594 341813 345297 345511 345708 345882 346569 346595 346737 346907 347493 347623 347692 347949 348360 348563 348789 348974 350538 350664 350766 350826 352488 352687 353146 353149 353425 353624 353689 354138 356499 356595 356727 357237 361740 361749 362152 362161 362762 362771 363112 363121 363784 363793 363857 363912 364072 364076 364081 364083 364584 364593 364616 364661 364689 364714 365100 365107 365585 365612 365648 365656 365668 365669 365701 365704 365713 365730 365731 365732 365733 365745 365776 365836 365845 365973 366096 366104 366108 366120 366124 366130 366133 366138 366180 366348 366600 366643 366658 366664 366673 366690 366691 366692 366693 366696 366729 366745 366754 366755 366793 366858 366867 366922 367113 367129 367131 367146 367149 367153 367155 367165 367267 367379 367880 367889 368173 368178 368872 368881 368942 368951 369809 369832 369834 369841 369964 369973 370028 370485 370760 370792 370801 370805 370986 370995 371123 371498 372778 372789 372816 372824 372844 372849 372850 372853 372854 372858 372873 372889 372904 372906 372909 372911 372915 372925 373038 373047 373111 373166 373293 373298 373306 373309 373373 373434 373913 373922 374060 374069 374872 374885 375082 375091 377128 377137 377169 377196 377224 377267 377642 377653 378120 378165 378192 378200 378212 378213 378242 378248 378257 378274 378275 378276 378277 378280 378504 378536 378545 378549 378640 378648 378668 378673 378674 378677 378678 378682 378776 378789 379153 379178 379205 379208 379217 379234 379235 379236 379237 379249 379273 379289 379298 379299 379473 379496 379498 379505 379657 379673 379688 379690 379693 379695 379699 379709 379737 379746 380240 380297 380456 380465 381004 381013 381066 381075 381128 381137 381260 381269 381322 381331 381384 381393 381486 381495 381548 381557 381610 381619 381742 381751 381804 381813 381866 381875 382161 382346 382572 382775 383176 383317 383667 383790 385256 385260 385265 385267 385324 385331 385360 385368 385372 385384 385388 385394 385397 385402 385417 385433 385435 385450 385453 385457 385459 385469 385517 385522 385837 385842 385850 385853 386216 386225 386404 386877 387176 387185 387491 387898 389452 389523 389749 389802 396626 396685 396908 396979 397926 397991 398438 398476 398876 399031 399443 399527 399899 399982 400654 400663 400723 400780 401752 401817 402520 402610 402742 402845 403565 403609 403759 403802 405050 405053 405101 405170 410982 411027 411224 411309 411980 412071 412274 412313 414158 414167 414326 414383 414930 415187 415256 415386 415949 416204 416281 416349 418140 418203 418554 418557 419052 419110 419246 419565 420083 420135 420215 420594 427144 427170 427804 427830 428060 428086 428108 428146 428317 428326 428568 428599 429080 429094 429136 429138 429156 429164 429192 429218 429314 429324 429328 429330 429333 429335 429350 429366 429412 429474 429592 429596 429604 429608 429612 429618 429621 429629 429648 429704 430221 430247 430684 430710 431244 431270 431334 431500 431640 431644 431670 431671 432140 432183 432197 432204 432208 432210 432213 432215 432220 432230 432269 432295 432333 432398 432405 432407 432430 432462 432654 432666 432669 432686 432687 432694 432695 432698 432807 432919 433292 433318 433690 433717 434329 434355 434524 434550 435352 435378 435416 435484 435485 435494 435510 435890 436253 436274 436312 436324 436332 436337 436338 436341 436342 436349 436377 436403 436467 436494 436506 436507 436508 436509 436526 436535 436538 436633 436762 436789 436794 436797 436858 437053 437400 437426 437525 437550 438348 438364 438386 438390 438429 438455 438711 438941 440402 440428 440477 440503 442524 442550 442584 442598 442764 442807 443037 443058 443532 443570 443600 443602 443620 443628 443781 443788 443792 443794 443797 443799 443804 443814 444056 444068 444076 444081 444082 444085 444086 444093 444172 444188 444210 444214 444306 444332 444488 444514 444616 444642 444685 444711 444748 444774 444813 444839 444876 444902 444953 444979 445016 445042 445081 445107 445144 445170 445213 445239 445341 445367 445798 445837 446040 446131 446621 446630 446658 446668 446672 446674 446677 446679 446694 446710 446862 446869 446871 446894 447068 447069 447078 447094 447118 447130 447131 447132 447133 447150 447159 447162 447189 447214 447716 447886 448028 448054 448738 448844 449177 449335 450712 450743 450776 450780 450788 450792 450796 450802 450805 450813 450904 450908 450934 450935 450958 450970 450973 450990 450991 450998 450999 451002 451034 451061 451226 451253 451258 451261 451792 451868 451894 452282 452808 453031 453234 453405 454748 454774 455063 455357 459803 459823 459923 459949 460058 460071 460313 460334 460881 460901 461595 461615 461849 461863 461905 461925 461961 461965 461987 462003 462085 462089 462090 462093 462094 462099 462119 462127 462181 462243 462361 462363 462371 462378 462381 462385 462387 462394 462417 462473 462930 462950 463515 463535 463891 463918 463954 463974 464002 464009 464010 464013 464014 464019 464027 464039 464082 464138 464142 464151 464183 464279 464407 464410 464413 464430 464431 464438 464439 464445 464486 464654 464979 464999 465127 465235 465433 465435 465454 465455 466003 466023 466461 466474 467032 467052 467355 467375 467994 468013 468056 468076 468121 468131 468136 468138 468141 468143 468147 468154 468204 468247 468250 468251 468252 468253 468270 468279 468285 468312 468509 468522 468538 468541 468669 468794 469081 469101 469209 469274 469275 469287 469295 469613 470105 470125 470282 470327 471130 471150 471187 471195 471213 471215 471406 471642 472154 472174 472205 472243 475227 475247 475353 475367 475475 475502 475738 475757 476305 476325 476369 476389 476434 476454 476498 476518 476563 476583 476627 476647 476696 476716 476760 476780 476825 476845 476889 476909 476954 476974 477018 477038 477267 477293 477385 477389 477411 477427 477506 477513 477514 477517 477518 477523 477531 477543 477785 477795 477800 477802 477805 477807 477811 477818 477971 477979 477997 477999 478029 478067 478546 478631 478828 478873 479322 479335 479429 479433 479434 479437 479438 479443 479463 479471 479562 479566 479575 479607 479831 479834 479835 479836 479837 479854 479863 479869 479898 479899 479911 479919 479946 479991 480485 480659 480856 481070 481507 481623 481819 481839 483417 483438 483545 483547 483555 483562 483565 483569 483571 483578 483671 483674 483677 483694 483695 483702 483703 483709 483737 483739 483758 483759 483805 483818 483933 483946 483962 483965 484561 484710 485037 485146 485577 485659 485679 486013 487579 487599 487758 488058 494858 494869 495146 495157 496781 496802 497181 497202 497746 497765 498202 498221 499258 499261 500872 500915 501004 501047 501841 501868 502035 502062 503054 503063 503896 503910 503961 503975 504969 504995 505936 505956 509330 509349 509585 509612 509720 509734 509840 509860 510285 510306 510536 510579 510745 510759 510793 510819 512202 512213 512588 512631 512659 512686 512718 512727 516330 516341 516445 516466 516506 516525 516602 516605 558160 558180 560484 560513 560720 560801 562384 562566 562788 562966 563409 563558 563885 563994 564872 564905 565004 565022 566500 566608 566968 567100 567525 567699 567896 568110 568707 568738 569138 569150 569682 569767 569964 570009 570759 570773 571061 571065 574363 574383 576328 576354 576403 576429 578252 578261 578458 578471 579797 579938 580034 580037 582130 582133 582553 582574 583925 584264 584424 584433 586098 586316 586588 586614 592009 592035 593216 593315 593504 593545 595144 595367 595570 595741 596169 596295 596643 596751 597585 597616 597779 597791 599266 599372 599705 599863 600291 600457 600697 600891 601412 601445 601901 601919 602470 602509 602712 602803 604486 604490 604778 604792 607068 607094 608076 608114 608145 608165 611018 611027 611165 611174 611530 611749 611778 611781 614890 614893 615256 615287 615658 616081 616168 616177 618925 619155 619419 619439 623952 624017 624228 624293 624968 625033 625250 625315 625984 625988 626049 626051 626272 626288 626337 626345 627012 627075 627272 627345 627520 627538 627585 627597 627812 627840 627904 627908 627980 628032 628036 628098 628101 628162 628245 628304 628324 628353 628360 628369 628376 628389 628405 628424 628492 628493 628498 628499 628500 628501 628548 628625 628801 628899 628929 628931 629011 629058 629061 629121 629123 629189 629258 629312 629320 629329 629337 629346 629354 629385 629411 629457 629514 629515 629516 629517 629522 629523 629576 629635 630085 630146 630368 630433 631138 631205 631408 631465 631648 631660 631713 631731 631888 631968 632032 632048 632117 632144 632164 632209 632213 632225 632226 632229 632230 632290 632370 632416 632432 632488 632497 632552 632620 632621 632626 632627 632628 632629 632688 632741 632929 632969 633057 633065 633130 633160 633162 633184 633186 633189 633191 633225 633251 633317 633389 633448 633457 633505 633513 633585 633642 633643 633644 633645 633650 633651 633698 633769 634176 634241 634481 634536 635206 635212 635218 635238 635244 635250 635271 635277 635283 635303 635309 635315 635468 635474 635480 635500 635506 635512 635533 635539 635545 635565 635571 635577 636236 636327 636530 636569 637286 637331 637528 637613 639832 639846 639897 639911 640421 640657 640848 640850 640868 640876 640913 640933 641378 641608 641864 641890 641929 641933 641955 641971 643397 643458 643522 643525 643533 643538 643665 643720 643784 643793 643906 643916 643920 643922 643925 643927 643942 643958 643973 643977 643978 643981 643982 643987 644007 644015 644042 644053 644817 644882 644964 645029 645832 645901 645986 646051 647525 647586 647650 647653 647793 647848 647912 647916 647921 647923 648024 648028 648036 648040 648044 648050 648053 648061 648089 648091 648099 648106 648109 648113 648115 648122 648170 648181 648677 649004 649040 649105 649698 650035 650056 650121 651602 651661 651884 651955 658764 658835 659061 659114 659726 659735 660676 660887 661076 661262 661699 661838 662155 662295 663142 663156 663207 663211 664776 664917 665267 665390 665809 665994 666220 666423 667991 668046 668286 668351 668864 668882 669338 669371 669889 669901 670301 670332 672488 672497 673480 673525 673682 673702 674513 674538 674637 674663 675149 675218 675266 675269 680410 680413 680684 680691 681309 681766 681820 681846 682394 682791 682907 682927 689380 689574 689744 689938 690368 690567 690764 690884 690917 690982 691078 691082 691280 691336 691392 691396 691460 691520 691524 691586 691589 691653 691746 691792 691812 691848 691850 691872 691874 691877 691879 691904 691974 691980 691986 692006 692012 692018 692044 692134 692428 692622 692821 693015 693440 693444 693638 693639 693844 693876 694038 694046 694342 694439 694466 694469 694551 694598 694599 694662 694663 694722 694797 694852 694860 694869 694877 694886 694894 694920 694922 694925 694927 694949 694951 694988 695054 695063 695142 695175 695490 695685 695892 696086 696533 696722 696948 697044 697048 697118 697238 697271 697444 697522 697552 697572 697620 697684 697716 697745 697746 697749 697750 697762 697766 697813 697909 697940 697972 698008 698010 698032 698034 698037 698039 698100 698140 698166 698204 698258 698561 698568 698577 698584 698597 698613 698755 698762 698771 698778 698791 698807 698952 698968 698981 698988 698997 699004 699146 699162 699175 699182 699191 699198 699592 699795 700021 700206 700502 700573 700620 700621 700626 700627 700628 700629 700686 700758 700766 700814 700823 700882 700954 701020 701046 701080 701082 701085 701087 701109 701111 701141 701206 701214 701302 701342 701636 701830 702070 702236 702673 702887 703084 703258 705233 705260 705427 705454 705938 706256 706264 706276 706277 706342 706450 706470 706754 706949 707010 707013 707018 707045 707174 707269 707272 707281 707298 707299 707300 707301 707313 707340 707404 707430 707458 707465 707466 707469 707470 707475 707483 707495 707533 707554 708261 708304 708454 708498 708821 709196 709324 709333 709514 709518 709527 709559 711306 711381 711500 711575 712914 713109 713170 713173 713334 713424 713432 713436 713448 713452 713458 713461 713466 713500 713560 713564 713590 713591 713623 713626 713629 713646 713647 713654 713655 713661 713693 713714 714194 714392 714468 714662 714981 715146 715352 715575 717269 717495 717516 717710 722113 722246 722579 722627 722658 722727 722759 722773 723171 723303 723593 723725 724049 724105 724161 724163 724227 724290 724293 724353 724355 724418 724517 724561 724565 724577 724578 724581 724582 724617 724643 724673 724743 724749 724755 724775 724781 724787 724839 724883 725203 725335 725642 725774 726118 726151 726210 726213 726286 726342 726343 726406 726407 726469 726546 726609 726610 726613 726614 726626 726630 726659 726666 726675 726682 726695 726711 726739 726798 726807 726854 726951 727233 727235 727366 727367 727691 727723 727823 727839 728261 728386 728715 728847 729290 729421 729771 729803 729817 729887 729935 729966 730304 730312 730321 730329 730338 730346 730436 730444 730453 730461 730470 730478 730769 730777 730786 730794 730803 730811 730901 730909 730918 730926 730935 730943 731245 731299 731337 731363 731403 731464 731466 731469 731471 731493 731495 731531 731563 731594 731690 731737 731741 731753 731754 731757 731758 731787 731819 731883 731931 731951 731981 732059 732369 732492 732842 732983 733274 733327 733386 733387 733388 733389 733394 733395 733463 733518 733527 733583 733599 733645 733725 733785 733786 733789 733790 733802 733806 733851 733871 733898 733967 733983 734047 734127 734408 734566 734899 735005 735427 735559 735919 736027 737992 738035 738124 738167 738501 738626 738754 738757 738773 738786 738983 739010 739016 739025 739042 739043 739044 739045 739048 739091 739141 739148 739152 739154 739157 739159 739164 739174 739219 739239 739282 739301 739661 740041 740057 740066 740067 740135 740173 740199 740962 741065 741197 741287 741578 742035 742090 742099 742222 742229 742231 742254 742997 743114 743246 743315 745677 745802 745930 745933 746159 746185 746201 746203 746218 746221 746225 746227 746237 746267 746318 746330 746333 746350 746351 746358 746359 746362 746393 746395 746414 746415 746458 746477 746722 746837 747161 747310 747981 748121 748259 748391 750026 750190 750291 750423 757058 757125 757346 757413 758981 759170 759381 759570 760002 760133 760458 760589 761282 761285 763025 763056 763104 763174 763188 763220 763570 763701 763976 764009 764129 764199 764203 764299 764525 764714 766028 766046 766099 766111 766294 766351 766554 766621 771664 771684 771987 772007 772745 772771 772940 772966 773734 773799 774856 774865 774926 774935 775761 775955 776840 776972 778989 778994 779098 779125 779165 779178 779258 779261 789845 789898 790130 790189 791778 791949 792181 792346 792805 792914 793258 793373 795194 795197 795888 796020 796349 796474 796905 797099 797306 797501 798036 798040 798091 798105 799070 799135 799357 799418 799968 799980 800143 800174 800993 801011 801110 801143 803266 803269 804309 804322 804760 804780 805322 805349 805721 805747 806515 806572 806632 806641 807373 807378 807662 807671 808567 808728 808796 808822 809646 809753 809883 809903 820432 820580 820888 821036 821472 821618 821713 821744 821945 822040 822186 822200 822372 822434 822496 822512 822536 822608 822628 822656 822664 822673 822681 822690 822698 822752 822832 822880 822896 822952 822961 823025 823052 823058 823064 823084 823090 823096 823154 823192 823541 823636 823782 823796 823980 824126 824221 824252 824400 824460 824528 824548 824597 824660 824692 824708 824716 824725 824733 824742 824750 824788 824884 824916 824948 824968 824984 824997 825004 825013 825020 825077 825116 825142 825206 825260 825553 825557 825569 825570 825573 825574 825681 825682 825685 825686 825698 825702 826009 826013 826025 826026 826029 826030 826137 826138 826141 826142 826154 826158 826594 826709 827053 827162 827634 827765 828090 828221 828640 828656 828756 828788 829112 829113 829244 829246 829560 829593 829672 829681 829747 829784 829786 829808 829810 829813 829815 829841 829849 829858 829866 829875 829883 829938 830013 830072 830073 830136 830137 830184 830266 830269 830296 830393 830696 830836 831153 831292 831612 831671 831724 831725 831730 831731 831732 831733 831790 831836 831862 831893 831901 831910 831918 831927 831935 831989 832058 832124 832126 832186 832189 832236 832316 832318 832348 832446 832752 832860 833208 833334 833765 833874 834201 834350 836050 836069 836506 836525 837072 837073 837092 837094 837292 837400 837528 837548 837864 837976 838085 838088 838089 838096 838097 838114 838117 838129 838321 838353 838376 838378 838385 838450 838488 838514 838553 838563 838568 838570 838573 838575 838579 838586 838600 838643 839057 839140 839512 839596 839916 840028 840130 840140 840142 840146 840149 840164 840166 840182 840373 840428 840437 840502 840540 840541 840550 840566 840599 840602 840603 840604 840605 840622 840631 840637 840652 840695 841126 841168 841452 841624 841937 842086 842410 842525 844021 844146 844274 844277 844701 844714 844730 844733 846250 846325 846706 846781 848285 848370 848629 848826 853217 853421 853448 853481 853624 853785 853877 853881 854217 854435 854617 854835 855141 855203 855265 855273 855313 855361 855368 855377 855384 855397 855413 855433 855459 855521 855593 855656 855665 855713 855721 855784 855821 855827 855833 855853 855859 855865 855897 855981 856298 856459 856551 856555 856691 856895 856922 856955 857288 857290 857312 857314 857317 857319 857480 857482 857485 857487 857509 857511 857688 857690 857712 857714 857717 857719 857880 857882 857885 857887 857909 857911 858195 858249 858313 858339 858378 858435 858442 858451 858458 858471 858487 858507 858539 858571 858667 858705 858713 858722 858730 858739 858747 858763 858795 858858 858907 858927 858995 859055 859365 859530 859762 859933 860397 860586 860797 860986 861272 861369 861416 861425 861484 861512 861528 861541 861548 861557 861564 861593 861597 861609 861610 861613 861614 861677 861754 861816 861817 861880 861881 861937 862010 862013 862072 862105 862433 862441 862603 862635 862840 862841 863035 863039 863473 863659 863848 864059 864366 864443 864490 864491 864492 864493 864498 864499 864567 864586 864602 864615 864622 864631 864638 864667 864687 864746 864829 864890 864893 864955 864959 865011 865083 865087 865151 865179 865506 865677 865880 866103 866537 866715 866937 867119 868813 868834 869213 869234 869617 869785 869826 869832 869833 869840 869841 869858 869861 869864 869992 870088 870120 870129 870133 870189 870232 870244 870252 870257 870258 870261 870262 870269 870297 870317 870353 870380 870856 870857 870883 870887 871027 871193 871257 871283 871752 871907 872307 872345 872691 872859 872901 872906 872909 872915 872919 872931 872935 872943 873066 873194 873203 873263 873294 873306 873307 873308 873309 873326 873335 873338 873370 873371 873383 873391 873427 873454 873672 873895 874101 874266 874855 874953 875251 875353 876778 876973 877034 877037 877402 877429 877434 877437 877941 878058 878458 878509 880986 881133 881386 881533 888136 888209 888424 888497 889988 890021 890048 890252 890388 890392 890484 890645 890947 890978 891073 891219 891403 891417 891563 891658 894193 894325 894632 894764 895208 895402 895601 895795 896744 896753 897138 897150 897197 897215 897390 897463 897660 897723 902480 902500 903065 903085 903561 903587 904024 904050 904536 904601 905676 905683 906069 906094 906122 906167 906190 906199 909794 909797 910138 910141 910693 911149 911778 912178 918870 918938 918988 919006 919164 919214 919282 919294 919901 919951 920019 920031 920183 920251 920301 920319 920908 920909 920914 920915 920916 920917 920970 920971 920972 920973 920978 920979 921196 921197 921202 921203 921204 921205 921258 921259 921260 921261 921266 921267 921934 922007 922222 922295 922706 922790 922822 922828 922834 922854 922860 922866 922903 922966 922974 923022 923031 923094 923166 923228 923254 923274 923290 923303 923310 923319 923326 923374 923414 923422 923484 923546 923751 923789 923847 923853 923859 923879 923885 923891 923918 923982 923991 924047 924063 924111 924191 924245 924253 924262 924270 924279 924287 924315 924335 924407 924431 924447 924509 924571 925010 925069 925301 925354 926042 926109 926330 926397 926828 926872 926924 926930 926936 926956 926962 926968 927038 927068 927094 927129 927130 927133 927134 927146 927150 927194 927293 927356 927358 927418 927421 927484 927548 927550 927606 927662 927833 927923 927949 927955 927961 927981 927987 927993 928063 928088 928090 928093 928095 928117 928119 928155 928175 928221 928314 928378 928381 928443 928447 928507 928571 928575 928631 928687 929109 929162 929388 929459 930134 930142 930191 930207 930428 930430 930491 930495 931190 931231 931420 931519 932190 932271 932478 932507 934346 934357 934634 934645 935286 935342 935365 935372 935374 935378 935381 935388 935396 935398 935516 935578 935632 935640 935660 935665 935666 935669 935670 935674 935756 935772 935794 935798 935834 935854 935896 935910 936311 936367 936386 936394 936397 936403 936407 936411 936419 936423 936541 936603 936649 936665 936680 936682 936685 936687 936691 936701 936797 936823 936851 936859 936877 936879 936921 936935 937292 937363 937586 937645 938444 938446 938451 938455 938615 938670 938734 938743 939212 939479 939767 939950 940243 940494 940782 940919 942429 942490 942554 942557 942829 942834 942842 942845 943346 943581 943869 944026 944365 944602 944890 944989 953600 953618 953668 953736 953888 953900 953968 954018 955596 955814 955996 956214 956487 956501 956647 956742 956943 956974 957069 957215 959730 959862 960152 960284 960629 960633 960729 960794 960827 960947 961144 961343 962908 962973 963190 963255 964444 964470 967888 967908 968602 968622 969160 969191 969433 969442 969613 969651 969673 969699 971150 971159 971500 971509 972012 972206 975314 975317 975546 975549 976082 976538 979349 979637 986369 986381 986449 986499 986657 986675 986725 986793 988294 988298 988390 988551 988694 988727 988754 988958 989395 989543 989851 989999 992426 992440 992472 992541 992572 992620 992953 993086 993517 993711 993881 994075 995674 995739 995950 996015 998299 998319 1000913 1000934 1001176 1001189 1001298 1001324 1001424 1001444 1001673 1001699 1002333 1002359 1003854 1003863 1004266 1004275 1005811 1005943 1008074 1008077 1008250 1008253 1009869 1010269 1012042 1012330 1084821 1085109 1086882 1087282 1088898 1088901 1089074 1089077 1091208 1091340 1092876 1092885 1093288 1093297 1094792 1094818 1095452 1095478 1095707 1095727 1095827 1095853 1095962 1095975 1096217 1096238 1098832 1098852 1101136 1101201 1101412 1101477 1103076 1103270 1103440 1103634 1104065 1104198 1104531 1104579 1104610 1104679 1104711 1104725 1107152 1107300 1107608 1107756 1108193 1108397 1108424 1108457 1108600 1108761 1108853 1108857 1110358 1110426 1110476 1110494 1110652 1110702 1110770 1110782 1117514 1117802 1120613 1121069 1121602 1121605 1121834 1121837 1124945 1125139 1125642 1125651 1125992 1126001 1127452 1127478 1127500 1127538 1127709 1127718 1127960 1127991 1128529 1128549 1129243 1129263 1132681 1132707 1133896 1133961 1134178 1134243 1135808 1136007 1136204 1136324 1136357 1136422 1136518 1136522 1136867 1136999 1137289 1137421 1139936 1140082 1140177 1140208 1140409 1140504 1140650 1140664 1140937 1141155 1141337 1141555 1143133 1143183 1143251 1143263 1143415 1143483 1143533 1143551 1152162 1152261 1152549 1152786 1153125 1153282 1153570 1153805 1154306 1154309 1154317 1154322 1154594 1154597 1154661 1154722 1156232 1156369 1156657 1156908 1157201 1157384 1157672 1157939 1158408 1158417 1158481 1158536 1158696 1158700 1158705 1158707 1159506 1159565 1159788 1159859 1160216 1160230 1160272 1160274 1160292 1160300 1160328 1160354 1160450 1160460 1160464 1160466 1160469 1160471 1160486 1160502 1160548 1160610 1160728 1160732 1160740 1160744 1160748 1160754 1160757 1160765 1160784 1160840 1161241 1161255 1161297 1161317 1161353 1161357 1161379 1161395 1161477 1161481 1161482 1161485 1161486 1161491 1161511 1161519 1161573 1161635 1161753 1161755 1161763 1161770 1161773 1161777 1161779 1161786 1161809 1161865 1162506 1162517 1162794 1162805 1164644 1164673 1164880 1164961 1165632 1165731 1165920 1165961 1166656 1166660 1166721 1166723 1166944 1166960 1167009 1167017 1167692 1167763 1167989 1168042 1168464 1168520 1168576 1168580 1168644 1168704 1168708 1168770 1168773 1168837 1168930 1168976 1168996 1169032 1169034 1169056 1169058 1169061 1169063 1169088 1169158 1169164 1169170 1169190 1169196 1169202 1169228 1169318 1169489 1169545 1169601 1169603 1169667 1169730 1169733 1169793 1169795 1169858 1169957 1170001 1170005 1170017 1170018 1170021 1170022 1170057 1170083 1170113 1170183 1170189 1170195 1170215 1170221 1170227 1170279 1170323 1170754 1170821 1171042 1171109 1171797 1171850 1172082 1172141 1172580 1172642 1172704 1172720 1172744 1172816 1172836 1172864 1172872 1172881 1172889 1172898 1172906 1172960 1173040 1173088 1173104 1173160 1173169 1173233 1173260 1173266 1173272 1173292 1173298 1173304 1173362 1173400 1173605 1173667 1173729 1173737 1173777 1173825 1173832 1173841 1173848 1173861 1173877 1173897 1173923 1173985 1174057 1174120 1174129 1174177 1174185 1174248 1174285 1174291 1174297 1174317 1174323 1174329 1174361 1174445 1174856 1174929 1175144 1175217 1175884 1175885 1175890 1175891 1175892 1175893 1175946 1175947 1175948 1175949 1175954 1175955 1176172 1176173 1176178 1176179 1176180 1176181 1176234 1176235 1176236 1176237 1176242 1176243 1176832 1176850 1176900 1176968 1177120 1177132 1177200 1177250 1177857 1177869 1177937 1177987 1178145 1178163 1178213 1178281 1184973 1185373 1186002 1186458 1187010 1187013 1187354 1187357 1190952 1190961 1190984 1191029 1191057 1191082 1191468 1191475 1192550 1192615 1193101 1193127 1193564 1193590 1194066 1194086 1194651 1194671 1199428 1199491 1199688 1199761 1199936 1199954 1200001 1200013 1200398 1200407 1201356 1201550 1201749 1201943 1202387 1202519 1202826 1202958 1205493 1205588 1205734 1205748 1205932 1206078 1206173 1206204 1206506 1206667 1206759 1206763 1206899 1207103 1207130 1207163 1208654 1208727 1208942 1209015 1215618 1215765 1216018 1216165 1218642 1218693 1219093 1219210 1219714 1219717 1219722 1219749 1220114 1220117 1220178 1220373 1221798 1221900 1222198 1222296 1222885 1223050 1223256 1223479 1223697 1223724 1223760 1223768 1223780 1223781 1223813 1223816 1223825 1223842 1223843 1223844 1223845 1223857 1223888 1223948 1223957 1224085 1224208 1224216 1224220 1224232 1224236 1224242 1224245 1224250 1224292 1224460 1224806 1224844 1225244 1225399 1225868 1225894 1225958 1226124 1226264 1226268 1226294 1226295 1226771 1226798 1226834 1226854 1226882 1226889 1226890 1226893 1226894 1226899 1226907 1226919 1226962 1227018 1227022 1227031 1227063 1227159 1227287 1227290 1227293 1227310 1227311 1227318 1227319 1227325 1227366 1227534 1227917 1227938 1228317 1228338 1230032 1230214 1230436 1230614 1231048 1231271 1231474 1231645 1231972 1232000 1232064 1232068 1232140 1232192 1232196 1232258 1232261 1232322 1232405 1232464 1232484 1232513 1232520 1232529 1232536 1232549 1232565 1232584 1232652 1232653 1232658 1232659 1232660 1232661 1232708 1232785 1233092 1233303 1233492 1233678 1234112 1234116 1234310 1234311 1234516 1234548 1234710 1234718 1235046 1235079 1235138 1235141 1235214 1235270 1235271 1235334 1235335 1235397 1235474 1235537 1235538 1235541 1235542 1235554 1235558 1235587 1235594 1235603 1235610 1235623 1235639 1235667 1235726 1235735 1235782 1235879 1236165 1236354 1236565 1236754 1237218 1237389 1237621 1237786 1238096 1238156 1238224 1238244 1238293 1238356 1238388 1238404 1238412 1238421 1238429 1238438 1238446 1238484 1238580 1238612 1238644 1238664 1238680 1238693 1238700 1238709 1238716 1238773 1238812 1238838 1238902 1238956 1239240 1239242 1239264 1239266 1239269 1239271 1239432 1239434 1239437 1239439 1239461 1239463 1239640 1239642 1239664 1239666 1239669 1239671 1239832 1239834 1239837 1239839 1239861 1239863 1240196 1240229 1240256 1240460 1240596 1240600 1240692 1240853 1241170 1241254 1241286 1241292 1241298 1241318 1241324 1241330 1241367 1241430 1241438 1241486 1241495 1241558 1241630 1241692 1241718 1241738 1241754 1241767 1241774 1241783 1241790 1241838 1241878 1241886 1241948 1242010 1242316 1242534 1242716 1242934 1243270 1243274 1243366 1243527 1243670 1243703 1243730 1243934 1248325 1248522 1248781 1248866 1250370 1250445 1250826 1250901 1252418 1252421 1252437 1252450 1252874 1252877 1253005 1253130 1254626 1254741 1255065 1255214 1255527 1255699 1255983 1256025 1256456 1256499 1256514 1256520 1256529 1256546 1256547 1256548 1256549 1256552 1256585 1256601 1256610 1256611 1256649 1256714 1256723 1256778 1256969 1256985 1256987 1257002 1257005 1257009 1257011 1257021 1257123 1257235 1257555 1257639 1258011 1258094 1258508 1258551 1258565 1258572 1258576 1258578 1258581 1258583 1258588 1258598 1258637 1258663 1258701 1258766 1258773 1258775 1258798 1258830 1259022 1259034 1259037 1259054 1259055 1259062 1259063 1259066 1259175 1259287 1259603 1259623 1259751 1259859 1260057 1260059 1260078 1260079 1260626 1260645 1261082 1261101 1262801 1262950 1263277 1263386 1263817 1263943 1264291 1264399 1264705 1264803 1264833 1264835 1264915 1264962 1264965 1265025 1265027 1265093 1265162 1265216 1265224 1265233 1265241 1265250 1265258 1265289 1265315 1265361 1265418 1265419 1265420 1265421 1265426 1265427 1265480 1265539 1265859 1265998 1266315 1266455 1266758 1266855 1266882 1266885 1266967 1267014 1267015 1267078 1267079 1267138 1267213 1267268 1267276 1267285 1267293 1267302 1267310 1267336 1267338 1267341 1267343 1267365 1267367 1267404 1267470 1267479 1267558 1267591 1267905 1267907 1268038 1268039 1268363 1268395 1268495 1268511 1268930 1269061 1269386 1269517 1269989 1270098 1270442 1270557 1270993 1270997 1271009 1271010 1271013 1271014 1271121 1271122 1271125 1271126 1271138 1271142 1271449 1271453 1271465 1271466 1271469 1271470 1271577 1271578 1271581 1271582 1271594 1271598 1271891 1271945 1272009 1272035 1272074 1272131 1272138 1272147 1272154 1272167 1272183 1272203 1272235 1272267 1272363 1272401 1272409 1272418 1272426 1272435 1272443 1272459 1272491 1272554 1272603 1272623 1272691 1272751 1272899 1272930 1273025 1273171 1273355 1273369 1273515 1273610 1273959 1273997 1274055 1274061 1274067 1274087 1274093 1274099 1274126 1274190 1274199 1274255 1274271 1274319 1274399 1274453 1274461 1274470 1274478 1274487 1274495 1274523 1274543 1274615 1274639 1274655 1274717 1274779 1274951 1274965 1275111 1275206 1275407 1275438 1275533 1275679 1276115 1276263 1276571 1276719 1287248 1287268 1287398 1287505 1288329 1288355 1288423 1288584 1289480 1289489 1289773 1289778 1290510 1290519 1290579 1290636 1291404 1291430 1291802 1291829 1292371 1292391 1292829 1292842 1293882 1293885 1296008 1296041 1296140 1296158 1296977 1297008 1297171 1297183 1297733 1297794 1298016 1298081 1299046 1299060 1299111 1299115 1299650 1299845 1300052 1300246 1300677 1300802 1301131 1301263 1301954 1301957 1303778 1303893 1304237 1304346 1304805 1304970 1305202 1305373 1306962 1307021 1307253 1307306 1317890 1317893 1317973 1317986 1318026 1318053 1318157 1318162 1320179 1320311 1321196 1321390 1322216 1322225 1322286 1322295 1323352 1323417 1324185 1324211 1324380 1324406 1325144 1325164 1325467 1325487 1330530 1330597 1330800 1330857 1331040 1331052 1331105 1331123 1332437 1332626 1332852 1332948 1332952 1333022 1333142 1333175 1333450 1333581 1333931 1333963 1333977 1334047 1334095 1334126 1335866 1335869 1336562 1336693 1337018 1337149 1337581 1337770 1337981 1338170 1339738 1339805 1340026 1340093 1346728 1346860 1346961 1347125 1348760 1348892 1349030 1349170 1349841 1349990 1350314 1350429 1350674 1350693 1350736 1350737 1350756 1350758 1350789 1350792 1350793 1350800 1350801 1350818 1350821 1350833 1350884 1350914 1350924 1350926 1350930 1350933 1350948 1350950 1350966 1350992 1351218 1351221 1351349 1351474 1353836 1353905 1354037 1354154 1354897 1354920 1354922 1354929 1355052 1355061 1355116 1355573 1355864 1355954 1356086 1356189 1356952 1356978 1357016 1357084 1357085 1357094 1357110 1357490 1357850 1357869 1357912 1357932 1357977 1357987 1357992 1357994 1357997 1357999 1358003 1358010 1358060 1358103 1358106 1358107 1358108 1358109 1358126 1358135 1358141 1358168 1358365 1358378 1358394 1358397 1358525 1358650 1358984 1359027 1359116 1359159 1361124 1361232 1361592 1361724 1362146 1362252 1362585 1362743 1363024 1363104 1363168 1363184 1363253 1363280 1363300 1363345 1363349 1363361 1363362 1363365 1363366 1363426 1363506 1363552 1363568 1363624 1363633 1363688 1363756 1363757 1363762 1363763 1363764 1363765 1363824 1363877 1364168 1364309 1364659 1364782 1365092 1365170 1365200 1365220 1365268 1365332 1365364 1365393 1365394 1365397 1365398 1365410 1365414 1365461 1365557 1365588 1365620 1365656 1365658 1365680 1365682 1365685 1365687 1365748 1365788 1365814 1365852 1365906 1366208 1366216 1366225 1366233 1366242 1366250 1366340 1366348 1366357 1366365 1366374 1366382 1366673 1366681 1366690 1366698 1366707 1366715 1366805 1366813 1366822 1366830 1366839 1366847 1367185 1367216 1367264 1367334 1367348 1367380 1367730 1367861 1368304 1368436 1368765 1368890 1369312 1369328 1369428 1369460 1369784 1369785 1369916 1369918 1370200 1370297 1370344 1370353 1370412 1370440 1370456 1370469 1370476 1370485 1370492 1370521 1370525 1370537 1370538 1370541 1370542 1370605 1370682 1370744 1370745 1370808 1370809 1370865 1370938 1370941 1371000 1371033 1371377 1371509 1371816 1371948 1372268 1372312 1372364 1372370 1372376 1372396 1372402 1372408 1372478 1372508 1372534 1372569 1372570 1372573 1372574 1372586 1372590 1372634 1372733 1372796 1372798 1372858 1372861 1372924 1372988 1372990 1373046 1373102 1373426 1373558 1373848 1373980 1374378 1374392 1374424 1374493 1374524 1374572 1374905 1375038 1379441 1379635 1379656 1379882 1381576 1381799 1382005 1382170 1382489 1382683 1382759 1382957 1383437 1383458 1383490 1383496 1383497 1383504 1383505 1383522 1383525 1383528 1383560 1383561 1383587 1383591 1383651 1383685 1383690 1383693 1383699 1383703 1383715 1383719 1383727 1383817 1383978 1383981 1384042 1384237 1385576 1385651 1385770 1385845 1387592 1387624 1387633 1387637 1387818 1387827 1387955 1388330 1388653 1388697 1388847 1388890 1389597 1389618 1389656 1389668 1389676 1389681 1389682 1389685 1389686 1389693 1389721 1389747 1389811 1389838 1389850 1389851 1389852 1389853 1389870 1389879 1389882 1389977 1390106 1390133 1390138 1390141 1390202 1390397 1390681 1390701 1390809 1390874 1390875 1390887 1390895 1391213 1391697 1391724 1391891 1391918 1393893 1394067 1394264 1394478 1394915 1395081 1395321 1395515 1395809 1395849 1395937 1395945 1396010 1396040 1396042 1396064 1396066 1396069 1396071 1396105 1396131 1396197 1396269 1396328 1396337 1396385 1396393 1396465 1396522 1396523 1396524 1396525 1396530 1396531 1396578 1396649 1396945 1397130 1397356 1397559 1397953 1397960 1397969 1397976 1397989 1398005 1398147 1398154 1398163 1398170 1398183 1398199 1398344 1398360 1398373 1398380 1398389 1398396 1398538 1398554 1398567 1398574 1398583 1398590 1398893 1398947 1398985 1399011 1399051 1399112 1399114 1399117 1399119 1399141 1399143 1399179 1399211 1399242 1399338 1399385 1399389 1399401 1399402 1399405 1399406 1399435 1399467 1399531 1399579 1399599 1399629 1399707 1399880 1399913 1400033 1400103 1400107 1400203 1400429 1400618 1401065 1401259 1401466 1401661 1401976 1402009 1402088 1402097 1402163 1402200 1402202 1402224 1402226 1402229 1402231 1402257 1402265 1402274 1402282 1402291 1402299 1402354 1402429 1402488 1402489 1402552 1402553 1402600 1402682 1402685 1402712 1402809 1403105 1403113 1403275 1403307 1403512 1403513 1403707 1403711 1404136 1404330 1404529 1404723 1405017 1405107 1405133 1405139 1405145 1405165 1405171 1405177 1405247 1405272 1405274 1405277 1405279 1405301 1405303 1405339 1405359 1405405 1405498 1405562 1405565 1405627 1405631 1405691 1405755 1405759 1405815 1405871 1406069 1406073 1406169 1406234 1406267 1406387 1406584 1406783 1407213 1407407 1407577 1407771 1414224 1414244 1414360 1414757 1415305 1415331 1415385 1415842 1416460 1416467 1416738 1416741 1421882 1421885 1421933 1422002 1422488 1422514 1422613 1422638 1423449 1423469 1423626 1423671 1424654 1424663 1426819 1426850 1427250 1427262 1427780 1427813 1428269 1428287 1428800 1428865 1429105 1429160 1430728 1430931 1431157 1431342 1431761 1431884 1432234 1432375 1433940 1433944 1433995 1434009 1434856 1434996 1435313 1435452 1435889 1436075 1436264 1436475 1437416 1437425 1438037 1438090 1438316 1438387 1445196 1445267 1445490 1445549 1447030 1447095 1447116 1447453 1448046 1448111 1448147 1448474 1448970 1448981 1449029 1449036 1449038 1449042 1449045 1449052 1449060 1449062 1449090 1449098 1449101 1449107 1449111 1449115 1449123 1449127 1449228 1449230 1449235 1449239 1449303 1449358 1449498 1449501 1449565 1449626 1451100 1451165 1451250 1451319 1452122 1452187 1452269 1452334 1453098 1453109 1453136 1453144 1453164 1453169 1453170 1453173 1453174 1453178 1453193 1453209 1453224 1453226 1453229 1453231 1453235 1453245 1453358 1453367 1453431 1453486 1453613 1453618 1453626 1453629 1453693 1453754 1455180 1455196 1455218 1455222 1455261 1455287 1455543 1455773 1456218 1456238 1456275 1456283 1456301 1456303 1456494 1456730 1457240 1457254 1457305 1457319 1459538 1459623 1459820 1459865 1460582 1460621 1460824 1460915 1461574 1461580 1461586 1461606 1461612 1461618 1461639 1461645 1461651 1461671 1461677 1461683 1461836 1461842 1461848 1461868 1461874 1461880 1461901 1461907 1461913 1461933 1461939 1461945 1462615 1462670 1462910 1462975 1463382 1463453 1463500 1463501 1463506 1463507 1463508 1463509 1463566 1463638 1463646 1463694 1463703 1463762 1463834 1463900 1463926 1463960 1463962 1463965 1463967 1463989 1463991 1464021 1464086 1464094 1464182 1464222 1464410 1464463 1464522 1464523 1464524 1464525 1464530 1464531 1464599 1464654 1464663 1464719 1464735 1464781 1464861 1464921 1464922 1464925 1464926 1464938 1464942 1464987 1465007 1465034 1465103 1465119 1465183 1465263 1465420 1465438 1465491 1465503 1465686 1465743 1465946 1466013 1466718 1466783 1467005 1467066 1467516 1467575 1467628 1467629 1467634 1467635 1467636 1467637 1467694 1467740 1467766 1467797 1467805 1467814 1467822 1467831 1467839 1467893 1467962 1468028 1468030 1468090 1468093 1468140 1468220 1468222 1468252 1468350 1468526 1468603 1468650 1468651 1468652 1468653 1468658 1468659 1468727 1468746 1468762 1468775 1468782 1468791 1468798 1468827 1468847 1468906 1468989 1469050 1469053 1469115 1469119 1469171 1469243 1469247 1469311 1469339 1469554 1469566 1469613 1469631 1469806 1469879 1470076 1470139 1470806 1470814 1470863 1470879 1471100 1471102 1471163 1471167 1471836 1471901 1472118 1472183 1472858 1472923 1473134 1473199 1477712 1477732 1477996 1478226 1480974 1480983 1481070 1481493 1481864 1481895 1482258 1482261 1485370 1485373 1485402 1485621 1485977 1485986 1486124 1486133 1488986 1489006 1489037 1489075 1490057 1490083 1492359 1492373 1492661 1492665 1494348 1494439 1494642 1494681 1495232 1495250 1495706 1495739 1496260 1496454 1496694 1496860 1497288 1497446 1497779 1497885 1499360 1499372 1499535 1499566 1500400 1500508 1500856 1500982 1501410 1501581 1501784 1502007 1503606 1503647 1503836 1503935 1505116 1505142 1510537 1510563 1510835 1511053 1512718 1512727 1512887 1513226 1514577 1514598 1515018 1515021 1517114 1517117 1517213 1517354 1518680 1518693 1518890 1518899 1520722 1520748 1520797 1520823 1522768 1522788 1526086 1526090 1526378 1526392 1527142 1527187 1527384 1527469 1528001 1528013 1528413 1528444 1529041 1529255 1529452 1529626 1530051 1530183 1530543 1530651 1532129 1532147 1532246 1532279 1533157 1533266 1533593 1533742 1534185 1534363 1534585 1534767 1536350 1536431 1536638 1536667 1538971 1538991 1580546 1580549 1580626 1580645 1580685 1580706 1580810 1580821 1584424 1584433 1584465 1584492 1584520 1584563 1584938 1584949 1586332 1586358 1586392 1586406 1586572 1586615 1586845 1586866 1587291 1587311 1587417 1587431 1587539 1587566 1587802 1587821 1591195 1591215 1592156 1592182 1593176 1593190 1593241 1593255 1594088 1594097 1595089 1595116 1595283 1595310 1596104 1596147 1596236 1596279 1597890 1597893 1598930 1598949 1599386 1599405 1599949 1599970 1600349 1600370 1601994 1602005 1602282 1602293 1609093 1609393 1609552 1609572 1611138 1611472 1611492 1611574 1612005 1612114 1612441 1612590 1613186 1613189 1613205 1613218 1613333 1613346 1613392 1613393 1613412 1613414 1613442 1613448 1613449 1613456 1613457 1613474 1613477 1613480 1613573 1613580 1613582 1613586 1613589 1613596 1613604 1613606 1613713 1613734 1615312 1615332 1615528 1615644 1616081 1616295 1616492 1616666 1617160 1617205 1617232 1617240 1617252 1617253 1617282 1617288 1617297 1617314 1617315 1617316 1617317 1617320 1617544 1617576 1617585 1617589 1617680 1617688 1617708 1617713 1617714 1617717 1617718 1617722 1617816 1617829 1618278 1618323 1618520 1618605 1619084 1619122 1619152 1619154 1619172 1619180 1619333 1619340 1619344 1619346 1619349 1619351 1619356 1619366 1619608 1619620 1619628 1619633 1619634 1619637 1619638 1619645 1619724 1619740 1619762 1619766 1619858 1619884 1620113 1620133 1620177 1620197 1620242 1620262 1620306 1620326 1620371 1620391 1620435 1620455 1620504 1620524 1620568 1620588 1620633 1620653 1620697 1620717 1620762 1620782 1620826 1620846 1621394 1621413 1621649 1621676 1621784 1621798 1621904 1621924 1624908 1624946 1624977 1624997 1625509 1625745 1625936 1625938 1625956 1625964 1626001 1626021 1626824 1626869 1627026 1627046 1627538 1627856 1627864 1627876 1627877 1627942 1628050 1628070 1628357 1628482 1628610 1628613 1628629 1628642 1628839 1628866 1628872 1628881 1628898 1628899 1628900 1628901 1628904 1628947 1628997 1629004 1629008 1629010 1629013 1629015 1629020 1629030 1629075 1629095 1629138 1629157 1629776 1629796 1630099 1630119 1630677 1630690 1631128 1631148 1631696 1631697 1631716 1631718 1631916 1632024 1632152 1632172 1632497 1632665 1632706 1632712 1632713 1632720 1632721 1632738 1632741 1632744 1632872 1632968 1633000 1633009 1633013 1633069 1633112 1633124 1633132 1633137 1633138 1633141 1633142 1633149 1633177 1633197 1633233 1633260 1633616 1633636 1634201 1634221 1634678 1634734 1634757 1634764 1634766 1634770 1634773 1634780 1634788 1634790 1634908 1634970 1635024 1635032 1635052 1635057 1635058 1635061 1635062 1635066 1635148 1635164 1635186 1635190 1635226 1635246 1635288 1635302 1635536 1635556 1636250 1636270 1636817 1636838 1637080 1637093 1637202 1637228 1637328 1637348 1641794 1642088 1642377 1642403 1643746 1643917 1644120 1644343 1644869 1645257 1645283 1645359 1645890 1645893 1645898 1645925 1646090 1646117 1646149 1646152 1646153 1646160 1646161 1646178 1646181 1646193 1646216 1646217 1646243 1646247 1646338 1646346 1646349 1646355 1646359 1646363 1646371 1646375 1646408 1646439 1647816 1647974 1648307 1648413 1649097 1649123 1649265 1649435 1649937 1649962 1649989 1649992 1650001 1650018 1650019 1650020 1650021 1650033 1650057 1650073 1650082 1650083 1650257 1650280 1650282 1650289 1650441 1650457 1650472 1650474 1650477 1650479 1650483 1650493 1650521 1650530 1651020 1651111 1651314 1651353 1651784 1651810 1651912 1651938 1651981 1652007 1652044 1652070 1652109 1652135 1652172 1652198 1652249 1652275 1652312 1652338 1652377 1652403 1652440 1652466 1652509 1652535 1652637 1652663 1652819 1652845 1652937 1652941 1652963 1652979 1653058 1653065 1653066 1653069 1653070 1653075 1653083 1653095 1653337 1653347 1653352 1653354 1653357 1653359 1653363 1653370 1653523 1653531 1653549 1653551 1653581 1653619 1654093 1654114 1654344 1654387 1654553 1654567 1654601 1654627 1656648 1656674 1656723 1656749 1658210 1658440 1658696 1658722 1658761 1658765 1658787 1658803 1659601 1659626 1659725 1659751 1660098 1660293 1660354 1660357 1660362 1660389 1660518 1660613 1660616 1660625 1660642 1660643 1660644 1660645 1660657 1660684 1660748 1660774 1660802 1660809 1660810 1660813 1660814 1660819 1660827 1660839 1660877 1660898 1661261 1661641 1661657 1661666 1661667 1661735 1661773 1661799 1662601 1662627 1662796 1662822 1663434 1663461 1663833 1663859 1664232 1664344 1664453 1664456 1664457 1664464 1664465 1664482 1664485 1664497 1664689 1664721 1664744 1664746 1664753 1664818 1664856 1664882 1664921 1664931 1664936 1664938 1664941 1664943 1664947 1664954 1664968 1665011 1665480 1665481 1665507 1665511 1665651 1665817 1665881 1665907 1666441 1666467 1666904 1666930 1667447 1667503 1667522 1667530 1667533 1667539 1667543 1667547 1667555 1667559 1667677 1667739 1667785 1667801 1667816 1667818 1667821 1667823 1667827 1667837 1667933 1667959 1667987 1667995 1668013 1668015 1668057 1668071 1668552 1668583 1668825 1668834 1669005 1669043 1669065 1669091 1669321 1669347 1669981 1670007 1676557 1676936 1677016 1677068 1677586 1677905 1678041 1678099 1678594 1678597 1678948 1679011 1680802 1680870 1680947 1681202 1681765 1681895 1681964 1682221 1682768 1682825 1682984 1682993 1684838 1684877 1685080 1685171 1685842 1685927 1686124 1686169 1691981 1692050 1692098 1692101 1693349 1693392 1693542 1693586 1694306 1694409 1694541 1694631 1695334 1695399 1696371 1696428 1696488 1696497 1697169 1697252 1697624 1697708 1698120 1698275 1698675 1698713 1699160 1699225 1700172 1700243 1700466 1700525 1707349 1707402 1707628 1707699 1709253 1709660 1709966 1709975 1710274 1710747 1710926 1710935 1711298 1711301 1711309 1711314 1711629 1711634 1711682 1711692 1711694 1711698 1711701 1711716 1711718 1711734 1711749 1711754 1711757 1711763 1711767 1711779 1711783 1711791 1711820 1711827 1711884 1711886 1711891 1711895 1713361 1713484 1713834 1713975 1714376 1714579 1714805 1714990 1715276 1715285 1715338 1715347 1715400 1715409 1715532 1715541 1715594 1715603 1715656 1715665 1715758 1715767 1715820 1715829 1715882 1715891 1716014 1716023 1716076 1716085 1716138 1716147 1716686 1716695 1716854 1716911 1717405 1717414 1717442 1717452 1717456 1717458 1717461 1717463 1717478 1717494 1717646 1717653 1717655 1717678 1717852 1717853 1717862 1717878 1717902 1717914 1717915 1717916 1717917 1717934 1717943 1717946 1717973 1717998 1718362 1718375 1718469 1718473 1718474 1718477 1718478 1718483 1718503 1718511 1718602 1718606 1718615 1718647 1718871 1718874 1718875 1718876 1718877 1718894 1718903 1718909 1718938 1718939 1718951 1718959 1718986 1719031 1719498 1719509 1719884 1719927 1719955 1719982 1720014 1720023 1722060 1722069 1722266 1722279 1723082 1723091 1723229 1723238 1723717 1723778 1723842 1723845 1723853 1723858 1723985 1724040 1724104 1724113 1724226 1724236 1724240 1724242 1724245 1724247 1724262 1724278 1724293 1724297 1724298 1724301 1724302 1724307 1724327 1724335 1724362 1724373 1725653 1726028 1726156 1726165 1726346 1726350 1726359 1726391 1726666 1727123 1727178 1727187 1727310 1727317 1727319 1727342 1728200 1728209 1728270 1728279 1728973 1728978 1729262 1729271 1729772 1729884 1729986 1729996 1729998 1730002 1730005 1730020 1730022 1730038 1730229 1730284 1730293 1730358 1730396 1730397 1730406 1730422 1730455 1730458 1730459 1730460 1730461 1730478 1730487 1730493 1730508 1730551 1730803 1730971 1731013 1731018 1731021 1731027 1731031 1731043 1731047 1731055 1731178 1731306 1731315 1731375 1731406 1731418 1731419 1731420 1731421 1731438 1731447 1731450 1731482 1731483 1731495 1731503 1731539 1731566 1732044 1732051 1732437 1732462 1732490 1732535 1732558 1732567 1733068 1733070 1733075 1733079 1733239 1733294 1733358 1733367 1734030 1734039 1734380 1734389 1734990 1734999 1735402 1735411 1739914 1740424 1740556 1740652 1743013 1743462 1743527 1743726 1744002 1744005 1744464 1744663 1746325 1746385 1746487 1746613 1748177 1748362 1748588 1748791 1749202 1749459 1749528 1749658 1750244 1750414 1750556 1750582 1751269 1751443 1751640 1751854 1755338 1755557 1755586 1755589 1756881 1756946 1757028 1757093 1759829 1759946 1760078 1760147 1760849 1761043 1761911 1762072 1762140 1762166 1762726 1762768 1763052 1763224 1763528 1763751 1763957 1764122 1765580 1765847 1766135 1766318 1766636 1766830 1772629 1773137 1773331 1773491 1774690 1775206 1775271 1775543 1776706 1776709 1777289 1777422 1780042 1780168 1780270 1780330 1780936 1781077 1781427 1781550 1781965 1782220 1782297 1782365 1783010 1783116 1783449 1783607 1784035 1784151 1784347 1784367 1787093 1787234 1787330 1787333 1789640 1789709 1789794 1789859 1791626 1791701 1791820 1791895 1793672 1793804 1794734 1794841 1794971 1794991 1795281 1795430 1795754 1795869 1796455 1796553 1796851 1796953 1798355 1798606 1798894 1799031 1800435 1800567 1838418 1838477 1838709 1838762 1840357 1840522 1840754 1840925 1841378 1841493 1841837 1841946 1842290 1842293 1842346 1842349 1842402 1842405 1842458 1842461 1842514 1842517 1842570 1842573 1842802 1842805 1842858 1842861 1842914 1842917 1842970 1842973 1843026 1843029 1843082 1843085 1844465 1844598 1845178 1845181 1845480 1845679 1846138 1846141 1846504 1846508 1846513 1846515 1846572 1846579 1846608 1846616 1846620 1846632 1846636 1846642 1846645 1846650 1846665 1846681 1846683 1846698 1846701 1846705 1846707 1846717 1846765 1846770 1847085 1847090 1847098 1847101 1847644 1847707 1848058 1848061 1848472 1848503 1848536 1848540 1848548 1848552 1848556 1848562 1848565 1848573 1848664 1848668 1848694 1848695 1848718 1848730 1848733 1848750 1848751 1848758 1848759 1848762 1848794 1848821 1848986 1849013 1849018 1849021 1849433 1849454 1849561 1849563 1849571 1849578 1849581 1849585 1849587 1849594 1849687 1849690 1849693 1849710 1849711 1849718 1849719 1849725 1849753 1849755 1849774 1849775 1849821 1849834 1849949 1849962 1849978 1849981 1850602 1850613 1850717 1850738 1850778 1850797 1850874 1850877 1852914 1852917 1853337 1853358 1853930 1853933 1854296 1854327 1854821 1854882 1854946 1854949 1855089 1855144 1855208 1855212 1855217 1855219 1855320 1855324 1855332 1855336 1855340 1855346 1855349 1855357 1855385 1855387 1855395 1855402 1855405 1855409 1855411 1855418 1855466 1855477 1855962 1855965 1856236 1856243 1856722 1856917 1856978 1856981 1857142 1857232 1857240 1857244 1857256 1857260 1857266 1857269 1857274 1857308 1857368 1857372 1857398 1857399 1857431 1857434 1857437 1857454 1857455 1857462 1857463 1857469 1857501 1857522 1857741 1857866 1857994 1857997 1858223 1858249 1858265 1858267 1858282 1858285 1858289 1858291 1858301 1858331 1858382 1858394 1858397 1858414 1858415 1858422 1858423 1858426 1858457 1858459 1858478 1858479 1858522 1858541 1859309 1859314 1859418 1859445 1859485 1859498 1859578 1859581 1860853 1860978 1861106 1861109 1861533 1861546 1861562 1861565 1861866 1862061 1862122 1862125 1862490 1862517 1862522 1862525 1863138 1863141 1863482 1863485 1864029 1864090 1864154 1864157 1864429 1864434 1864442 1864445 1865170 1865173 1865402 1865405 1866186 1866189 1866362 1866365 1871018 1871266 1871666 1871698 1873181 1873301 1873589 1873637 1875173 1875282 1875626 1875741 1878161 1878360 1878425 1878874 1879208 1879217 1879396 1879869 1880300 1880358 1880494 1880813 1881296 1881372 1881398 1881786 1882321 1882470 1882797 1882906 1886442 1886865 1886952 1886961 1887717 1888044 1888080 1888145 1888605 1889062 1889116 1889142 1889746 1889944 1890020 1890214 1890530 1890645 1890969 1891118 1894773 1894890 1895290 1895341 1895781 1896237 1896690 1896925 1897213 1897370 1897682 1898138 1903733 1903973 1904429 1904525 1906970 1907018 1907306 1907426 1907938 1908109 1908341 1908506 1909832 1910104 1910169 1910685 1911912 1911921 1912227 1912634 1913075 1913127 1913207 1913586 1914056 1914279 1914482 1914653 1915081 1915163 1915183 1915517 1918197 1918536 1918696 1918705 1920482 1920819 1920840 1920905 1921434 1921831 1921947 1921967 1922277 1922442 1922648 1922871 1923533 1923673 1923811 1923943 1926570 1926645 1927026 1927101 1928610 1929010 1929453 1929690 1929978 1930077 1931469 1931869 1971314 1971410 1971866 1972106 1972397 1972429 1972829 1973077 1973589 1973642 1973874 1973933 1975372 1975532 1975726 1976234 1976467 1976563 1976695 1977205 1977676 1977747 1977973 1978026 1979484 1979510 1979799 1980093 1980571 1980591 1980750 1981050 1983858 1984076 1984348 1984374 1984941 1985171 1985435 1985455 1985874 1985933 1986156 1986227 1988053 1988279 1988300 1988494 1989066 1989230 1989331 1989463 1992093 1992178 1992437 1992634 1993050 1993197 1993450 1993597 1996181 1996469 1997130 1997418