use otal_long_text_queries
go

dbcc dropcleanbuffers
dbcc freeproccache
go

SET STATISTICS IO ON
go

SET STATISTICS TIME ON
go

SET STATISTICS PROFILE ON 
go

select top 1 c1 from t1000 where c1 > 0 or (c5 = 1) or (c6 = 2) or (c7 = 3) or (c8 = 4) or (c4 = 5) or (c5 = 6) or (c6 = 7) or (c7 = 8) or (c8 = 9) or (c4 = 10) or (c5 = 11) or (c6 = 12) or (c7 = 13) or (c8 = 14) or (c4 = 15) or (c5 = 16) or (c6 = 17) or (c7 = 18) or (c8 = 19) or (c4 = 20) or (c5 = 21) or (c6 = 22) or (c7 = 23) or (c8 = 24) or (c4 = 25) or (c5 = 26) or (c6 = 27) or (c7 = 28) or (c8 = 29) or (c4 = 30) or (c5 = 31) or (c6 = 32) or (c7 = 33) or (c8 = 34) or (c4 = 35) or (c5 = 36) or (c6 = 37) or (c7 = 38) or (c8 = 39) or (c4 = 40) or (c5 = 41) or (c6 = 42) or (c7 = 43) or (c8 = 44) or (c4 = 45) or (c5 = 46) or (c6 = 47) or (c7 = 48) or (c8 = 49) or (c4 = 50) or (c5 = 51) or (c6 = 52) or (c7 = 53) or (c8 = 54) or (c4 = 55) or (c5 = 56) or (c6 = 57) or (c7 = 58) or (c8 = 59) or (c4 = 60) or (c5 = 61) or (c6 = 62) or (c7 = 63) or (c8 = 64) or (c4 = 65) or (c5 = 66) or (c6 = 67) or (c7 = 68) or (c8 = 69) or (c4 = 70) or (c5 = 71) or (c6 = 72) or (c7 = 73) or (c8 = 74) or (c4 = 75) or (c5 = 76) or (c6 = 77) or (c7 = 78) or (c8 = 79) or (c4 = 80) or (c5 = 81) or (c6 = 82) or (c7 = 83) or (c8 = 84) or (c4 = 85) or (c5 = 86) or (c6 = 87) or (c7 = 88) or (c8 = 89) or (c4 = 90) or (c5 = 91) or (c6 = 92) or (c7 = 93) or (c8 = 94) or (c4 = 95) or (c5 = 96) or (c6 = 97) or (c7 = 98) or (c8 = 99) or (c4 = 100) or (c5 = 101) or (c6 = 102) or (c7 = 103) or (c8 = 104) or (c4 = 105) or (c5 = 106) or (c6 = 107) or (c7 = 108) or (c8 = 109) or (c4 = 110) or (c5 = 111) or (c6 = 112) or (c7 = 113) or (c8 = 114) or (c4 = 115) or (c5 = 116) or (c6 = 117) or (c7 = 118) or (c8 = 119) or (c4 = 120) or (c5 = 121) or (c6 = 122) or (c7 = 123) or (c8 = 124) or (c4 = 125) or (c5 = 126) or (c6 = 127) or (c7 = 128) or (c8 = 129) or (c4 = 130) or (c5 = 131) or (c6 = 132) or (c7 = 133) or (c8 = 134) or (c4 = 135) or (c5 = 136) or (c6 = 137) or (c7 = 138) or (c8 = 139) or (c4 = 140) or (c5 = 141) or (c6 = 142) or (c7 = 143) or (c8 = 144) or (c4 = 145) or (c5 = 146) or (c6 = 147) or (c7 = 148) or (c8 = 149) or (c4 = 150) or (c5 = 151) or (c6 = 152) or (c7 = 153) or (c8 = 154) or (c4 = 155) or (c5 = 156) or (c6 = 157) or (c7 = 158) or (c8 = 159) or (c4 = 160) or (c5 = 161) or (c6 = 162) or (c7 = 163) or (c8 = 164) or (c4 = 165) or (c5 = 166) or (c6 = 167) or (c7 = 168) or (c8 = 169) or (c4 = 170) or (c5 = 171) or (c6 = 172) or (c7 = 173) or (c8 = 174) or (c4 = 175) or (c5 = 176) or (c6 = 177) or (c7 = 178) or (c8 = 179) or (c4 = 180) or (c5 = 181) or (c6 = 182) or (c7 = 183) or (c8 = 184) or (c4 = 185) or (c5 = 186) or (c6 = 187) or (c7 = 188) or (c8 = 189) or (c4 = 190) or (c5 = 191) or (c6 = 192) or (c7 = 193) or (c8 = 194) or (c4 = 195) or (c5 = 196) or (c6 = 197) or (c7 = 198) or (c8 = 199) or (c4 = 200) or (c5 = 201) or (c6 = 202) or (c7 = 203) or (c8 = 204) or (c4 = 205) or (c5 = 206) or (c6 = 207) or (c7 = 208) or (c8 = 209) or (c4 = 210) or (c5 = 211) or (c6 = 212) or (c7 = 213) or (c8 = 214) or (c4 = 215) or (c5 = 216) or (c6 = 217) or (c7 = 218) or (c8 = 219) or (c4 = 220) or (c5 = 221) or (c6 = 222) or (c7 = 223) or (c8 = 224) or (c4 = 225) or (c5 = 226) or (c6 = 227) or (c7 = 228) or (c8 = 229) or (c4 = 230) or (c5 = 231) or (c6 = 232) or (c7 = 233) or (c8 = 234) or (c4 = 235) or (c5 = 236) or (c6 = 237) or (c7 = 238) or (c8 = 239) or (c4 = 240) or (c5 = 241) or (c6 = 242) or (c7 = 243) or (c8 = 244) or (c4 = 245) or (c5 = 246) or (c6 = 247) or (c7 = 248) or (c8 = 249) or (c4 = 250) or (c5 = 251) or (c6 = 252) or (c7 = 253) or (c8 = 254) or (c4 = 255) or (c5 = 256) or (c6 = 257) or (c7 = 258) or (c8 = 259) or (c4 = 260) or (c5 = 261) or (c6 = 262) or (c7 = 263) or (c8 = 264) or (c4 = 265) or (c5 = 266) or (c6 = 267) or (c7 = 268) or (c8 = 269) or (c4 = 270) or (c5 = 271) or (c6 = 272) or (c7 = 273) or (c8 = 274) or (c4 = 275) or (c5 = 276) or (c6 = 277) or (c7 = 278) or (c8 = 279) or (c4 = 280) or (c5 = 281) or (c6 = 282) or (c7 = 283) or (c8 = 284) or (c4 = 285) or (c5 = 286) or (c6 = 287) or (c7 = 288) or (c8 = 289) or (c4 = 290) or (c5 = 291) or (c6 = 292) or (c7 = 293) or (c8 = 294) or (c4 = 295) or (c5 = 296) or (c6 = 297) or (c7 = 298) or (c8 = 299) or (c4 = 300) or (c5 = 301) or (c6 = 302) or (c7 = 303) or (c8 = 304) or (c4 = 305) or (c5 = 306) or (c6 = 307) or (c7 = 308) or (c8 = 309) or (c4 = 310) or (c5 = 311) or (c6 = 312) or (c7 = 313) or (c8 = 314) or (c4 = 315) or (c5 = 316) or (c6 = 317) or (c7 = 318) or (c8 = 319) or (c4 = 320) or (c5 = 321) or (c6 = 322) or (c7 = 323) or (c8 = 324) or (c4 = 325) or (c5 = 326) or (c6 = 327) or (c7 = 328) or (c8 = 329) or (c4 = 330) or (c5 = 331) or (c6 = 332) or (c7 = 333) or (c8 = 334) or (c4 = 335) or (c5 = 336) or (c6 = 337) or (c7 = 338) or (c8 = 339) or (c4 = 340) or (c5 = 341) or (c6 = 342) or (c7 = 343) or (c8 = 344) or (c4 = 345) or (c5 = 346) or (c6 = 347) or (c7 = 348) or (c8 = 349) or (c4 = 350) or (c5 = 351) or (c6 = 352) or (c7 = 353) or (c8 = 354) or (c4 = 355) or (c5 = 356) or (c6 = 357) or (c7 = 358) or (c8 = 359) or (c4 = 360) or (c5 = 361) or (c6 = 362) or (c7 = 363) or (c8 = 364) or (c4 = 365) or (c5 = 366) or (c6 = 367) or (c7 = 368) or (c8 = 369) or (c4 = 370) or (c5 = 371) or (c6 = 372) or (c7 = 373) or (c8 = 374) or (c4 = 375) or (c5 = 376) or (c6 = 377) or (c7 = 378) or (c8 = 379) or (c4 = 380) or (c5 = 381) or (c6 = 382) or (c7 = 383) or (c8 = 384) or (c4 = 385) or (c5 = 386) or (c6 = 387) or (c7 = 388) or (c8 = 389) or (c4 = 390) or (c5 = 391) or (c6 = 392) or (c7 = 393) or (c8 = 394) or (c4 = 395) or (c5 = 396) or (c6 = 397) or (c7 = 398) or (c8 = 399) or (c4 = 400) or (c5 = 401) or (c6 = 402) or (c7 = 403) or (c8 = 404) or (c4 = 405) or (c5 = 406) or (c6 = 407) or (c7 = 408) or (c8 = 409) or (c4 = 410) or (c5 = 411) or (c6 = 412) or (c7 = 413) or (c8 = 414) or (c4 = 415) or (c5 = 416) or (c6 = 417) or (c7 = 418) or (c8 = 419) or (c4 = 420) or (c5 = 421) or (c6 = 422) or (c7 = 423) or (c8 = 424) or (c4 = 425) or (c5 = 426) or (c6 = 427) or (c7 = 428) or (c8 = 429) or (c4 = 430) or (c5 = 431) or (c6 = 432) or (c7 = 433) or (c8 = 434) or (c4 = 435) or (c5 = 436) or (c6 = 437) or (c7 = 438) or (c8 = 439) or (c4 = 440) or (c5 = 441) or (c6 = 442) or (c7 = 443) or (c8 = 444) or (c4 = 445) or (c5 = 446) or (c6 = 447) or (c7 = 448) or (c8 = 449) or (c4 = 450) or (c5 = 451) or (c6 = 452) or (c7 = 453) or (c8 = 454) or (c4 = 455) or (c5 = 456) or (c6 = 457) or (c7 = 458) or (c8 = 459) or (c4 = 460) or (c5 = 461) or (c6 = 462) or (c7 = 463) or (c8 = 464) or (c4 = 465) or (c5 = 466) or (c6 = 467) or (c7 = 468) or (c8 = 469) or (c4 = 470) or (c5 = 471) or (c6 = 472) or (c7 = 473) or (c8 = 474) or (c4 = 475) or (c5 = 476) or (c6 = 477) or (c7 = 478) or (c8 = 479) or (c4 = 480) or (c5 = 481) or (c6 = 482) or (c7 = 483) or (c8 = 484) or (c4 = 485) or (c5 = 486) or (c6 = 487) or (c7 = 488) or (c8 = 489) or (c4 = 490) or (c5 = 491) or (c6 = 492) or (c7 = 493) or (c8 = 494) or (c4 = 495) or (c5 = 496) or (c6 = 497) or (c7 = 498) or (c8 = 499) or (c4 = 500) or (c5 = 501) or (c6 = 502) or (c7 = 503) or (c8 = 504) or (c4 = 505) or (c5 = 506) or (c6 = 507) or (c7 = 508) or (c8 = 509) or (c4 = 510) or (c5 = 511) or (c6 = 512) or (c7 = 513) or (c8 = 514) or (c4 = 515) or (c5 = 516) or (c6 = 517) or (c7 = 518) or (c8 = 519) or (c4 = 520) or (c5 = 521) or (c6 = 522) or (c7 = 523) or (c8 = 524) or (c4 = 525) or (c5 = 526) or (c6 = 527) or (c7 = 528) or (c8 = 529) or (c4 = 530) or (c5 = 531) or (c6 = 532) or (c7 = 533) or (c8 = 534) or (c4 = 535) or (c5 = 536) or (c6 = 537) or (c7 = 538) or (c8 = 539) or (c4 = 540) or (c5 = 541) or (c6 = 542) or (c7 = 543) or (c8 = 544) or (c4 = 545) or (c5 = 546) or (c6 = 547) or (c7 = 548) or (c8 = 549) or (c4 = 550) or (c5 = 551) or (c6 = 552) or (c7 = 553) or (c8 = 554) or (c4 = 555) or (c5 = 556) or (c6 = 557) or (c7 = 558) or (c8 = 559) or (c4 = 560) or (c5 = 561) or (c6 = 562) or (c7 = 563) or (c8 = 564) or (c4 = 565) or (c5 = 566) or (c6 = 567) or (c7 = 568) or (c8 = 569) or (c4 = 570) or (c5 = 571) or (c6 = 572) or (c7 = 573) or (c8 = 574) or (c4 = 575) or (c5 = 576) or (c6 = 577) or (c7 = 578) or (c8 = 579) or (c4 = 580) or (c5 = 581) or (c6 = 582) or (c7 = 583) or (c8 = 584) or (c4 = 585) or (c5 = 586) or (c6 = 587) or (c7 = 588) or (c8 = 589) or (c4 = 590) or (c5 = 591) or (c6 = 592) or (c7 = 593) or (c8 = 594) or (c4 = 595) or (c5 = 596) or (c6 = 597) or (c7 = 598) or (c8 = 599) or (c4 = 600) or (c5 = 601) or (c6 = 602) or (c7 = 603) or (c8 = 604) or (c4 = 605) or (c5 = 606) or (c6 = 607) or (c7 = 608) or (c8 = 609) or (c4 = 610) or (c5 = 611) or (c6 = 612) or (c7 = 613) or (c8 = 614) or (c4 = 615) or (c5 = 616) or (c6 = 617) or (c7 = 618) or (c8 = 619) or (c4 = 620) or (c5 = 621) or (c6 = 622) or (c7 = 623) or (c8 = 624) or (c4 = 625) or (c5 = 626) or (c6 = 627) or (c7 = 628) or (c8 = 629) or (c4 = 630) or (c5 = 631) or (c6 = 632) or (c7 = 633) or (c8 = 634) or (c4 = 635) or (c5 = 636) or (c6 = 637) or (c7 = 638) or (c8 = 639) or (c4 = 640) or (c5 = 641) or (c6 = 642) or (c7 = 643) or (c8 = 644) or (c4 = 645) or (c5 = 646) or (c6 = 647) or (c7 = 648) or (c8 = 649) or (c4 = 650) or (c5 = 651) or (c6 = 652) or (c7 = 653) or (c8 = 654) or (c4 = 655) or (c5 = 656) or (c6 = 657) or (c7 = 658) or (c8 = 659) or (c4 = 660) or (c5 = 661) or (c6 = 662) or (c7 = 663) or (c8 = 664) or (c4 = 665) or (c5 = 666) or (c6 = 667) or (c7 = 668) or (c8 = 669) or (c4 = 670) or (c5 = 671) or (c6 = 672) or (c7 = 673) or (c8 = 674) or (c4 = 675) or (c5 = 676) or (c6 = 677) or (c7 = 678) or (c8 = 679) or (c4 = 680) or (c5 = 681) or (c6 = 682) or (c7 = 683) or (c8 = 684) or (c4 = 685) or (c5 = 686) or (c6 = 687) or (c7 = 688) or (c8 = 689) or (c4 = 690) or (c5 = 691) or (c6 = 692) or (c7 = 693) or (c8 = 694) or (c4 = 695) or (c5 = 696) or (c6 = 697) or (c7 = 698) or (c8 = 699) or (c4 = 700) or (c5 = 701) or (c6 = 702) or (c7 = 703) or (c8 = 704) or (c4 = 705) or (c5 = 706) or (c6 = 707) or (c7 = 708) or (c8 = 709) or (c4 = 710) or (c5 = 711) or (c6 = 712) or (c7 = 713) or (c8 = 714) or (c4 = 715) or (c5 = 716) or (c6 = 717) or (c7 = 718) or (c8 = 719) or (c4 = 720) or (c5 = 721) or (c6 = 722) or (c7 = 723) or (c8 = 724) or (c4 = 725) or (c5 = 726) or (c6 = 727) or (c7 = 728) or (c8 = 729) or (c4 = 730) or (c5 = 731) or (c6 = 732) or (c7 = 733) or (c8 = 734) or (c4 = 735) or (c5 = 736) or (c6 = 737) or (c7 = 738) or (c8 = 739) or (c4 = 740) or (c5 = 741) or (c6 = 742) or (c7 = 743) or (c8 = 744) or (c4 = 745) or (c5 = 746) or (c6 = 747) or (c7 = 748) or (c8 = 749) or (c4 = 750) or (c5 = 751) or (c6 = 752) or (c7 = 753) or (c8 = 754) or (c4 = 755) or (c5 = 756) or (c6 = 757) or (c7 = 758) or (c8 = 759) or (c4 = 760) or (c5 = 761) or (c6 = 762) or (c7 = 763) or (c8 = 764) or (c4 = 765) or (c5 = 766) or (c6 = 767) or (c7 = 768) or (c8 = 769) or (c4 = 770) or (c5 = 771) or (c6 = 772) or (c7 = 773) or (c8 = 774) or (c4 = 775) or (c5 = 776) or (c6 = 777) or (c7 = 778) or (c8 = 779) or (c4 = 780) or (c5 = 781) or (c6 = 782) or (c7 = 783) or (c8 = 784) or (c4 = 785) or (c5 = 786) or (c6 = 787) or (c7 = 788) or (c8 = 789) or (c4 = 790) or (c5 = 791) or (c6 = 792) or (c7 = 793) or (c8 = 794) or (c4 = 795) or (c5 = 796) or (c6 = 797) or (c7 = 798) or (c8 = 799) or (c4 = 800) or (c5 = 801) or (c6 = 802) or (c7 = 803) or (c8 = 804) or (c4 = 805) or (c5 = 806) or (c6 = 807) or (c7 = 808) or (c8 = 809) or (c4 = 810) or (c5 = 811) or (c6 = 812) or (c7 = 813) or (c8 = 814) or (c4 = 815) or (c5 = 816) or (c6 = 817) or (c7 = 818) or (c8 = 819) or (c4 = 820) or (c5 = 821) or (c6 = 822) or (c7 = 823) or (c8 = 824) or (c4 = 825) or (c5 = 826) or (c6 = 827) or (c7 = 828) or (c8 = 829) or (c4 = 830) or (c5 = 831) or (c6 = 832) or (c7 = 833) or (c8 = 834) or (c4 = 835) or (c5 = 836) or (c6 = 837) or (c7 = 838) or (c8 = 839) or (c4 = 840) or (c5 = 841) or (c6 = 842) or (c7 = 843) or (c8 = 844) or (c4 = 845) or (c5 = 846) or (c6 = 847) or (c7 = 848) or (c8 = 849) or (c4 = 850) or (c5 = 851) or (c6 = 852) or (c7 = 853) or (c8 = 854) or (c4 = 855) or (c5 = 856) or (c6 = 857) or (c7 = 858) or (c8 = 859) or (c4 = 860) or (c5 = 861) or (c6 = 862) or (c7 = 863) or (c8 = 864) or (c4 = 865) or (c5 = 866) or (c6 = 867) or (c7 = 868) or (c8 = 869) or (c4 = 870) or (c5 = 871) or (c6 = 872) or (c7 = 873) or (c8 = 874) or (c4 = 875) or (c5 = 876) or (c6 = 877) or (c7 = 878) or (c8 = 879) or (c4 = 880) or (c5 = 881) or (c6 = 882) or (c7 = 883) or (c8 = 884) or (c4 = 885) or (c5 = 886) or (c6 = 887) or (c7 = 888) or (c8 = 889) or (c4 = 890) or (c5 = 891) or (c6 = 892) or (c7 = 893) or (c8 = 894) or (c4 = 895) or (c5 = 896) or (c6 = 897) or (c7 = 898) or (c8 = 899) or (c4 = 900) or (c5 = 901) or (c6 = 902) or (c7 = 903) or (c8 = 904) or (c4 = 905) or (c5 = 906) or (c6 = 907) or (c7 = 908) or (c8 = 909) or (c4 = 910) or (c5 = 911) or (c6 = 912) or (c7 = 913) or (c8 = 914) or (c4 = 915) or (c5 = 916) or (c6 = 917) or (c7 = 918) or (c8 = 919) or (c4 = 920) or (c5 = 921) or (c6 = 922) or (c7 = 923) or (c8 = 924) or (c4 = 925) or (c5 = 926) or (c6 = 927) or (c7 = 928) or (c8 = 929) or (c4 = 930) or (c5 = 931) or (c6 = 932) or (c7 = 933) or (c8 = 934) or (c4 = 935) or (c5 = 936) or (c6 = 937) or (c7 = 938) or (c8 = 939) or (c4 = 940) or (c5 = 941) or (c6 = 942) or (c7 = 943) or (c8 = 944) or (c4 = 945) or (c5 = 946) or (c6 = 947) or (c7 = 948) or (c8 = 949) or (c4 = 950) or (c5 = 951) or (c6 = 952) or (c7 = 953) or (c8 = 954) or (c4 = 955) or (c5 = 956) or (c6 = 957) or (c7 = 958) or (c8 = 959) or (c4 = 960) or (c5 = 961) or (c6 = 962) or (c7 = 963) or (c8 = 964) or (c4 = 965) or (c5 = 966) or (c6 = 967) or (c7 = 968) or (c8 = 969) or (c4 = 970) or (c5 = 971) or (c6 = 972) or (c7 = 973) or (c8 = 974) or (c4 = 975) or (c5 = 976) or (c6 = 977) or (c7 = 978) or (c8 = 979) or (c4 = 980) or (c5 = 981) or (c6 = 982) or (c7 = 983) or (c8 = 984) or (c4 = 985) or (c5 = 986) or (c6 = 987) or (c7 = 988) or (c8 = 989) or (c4 = 990) or (c5 = 991) or (c6 = 992) or (c7 = 993) or (c8 = 994) or (c4 = 995) or (c5 = 996) or (c6 = 997) or (c7 = 998) or (c8 = 999) or (c4 = 1000) or (c5 = 1001) or (c6 = 1002) or (c7 = 1003) or (c8 = 1004) or (c4 = 1005) or (c5 = 1006) or (c6 = 1007) or (c7 = 1008) or (c8 = 1009) or (c4 = 1010) or (c5 = 1011) or (c6 = 1012) or (c7 = 1013) or (c8 = 1014) or (c4 = 1015) or (c5 = 1016) or (c6 = 1017) or (c7 = 1018) or (c8 = 1019) or (c4 = 1020) or (c5 = 1021) or (c6 = 1022) or (c7 = 1023) or (c8 = 1024) or (c4 = 1025) or (c5 = 1026) or (c6 = 1027) or (c7 = 1028) or (c8 = 1029) or (c4 = 1030) or (c5 = 1031) or (c6 = 1032) or (c7 = 1033) or (c8 = 1034) or (c4 = 1035) or (c5 = 1036) or (c6 = 1037) or (c7 = 1038) or (c8 = 1039) or (c4 = 1040) or (c5 = 1041) or (c6 = 1042) or (c7 = 1043) or (c8 = 1044) or (c4 = 1045) or (c5 = 1046) or (c6 = 1047) or (c7 = 1048) or (c8 = 1049) or (c4 = 1050) or (c5 = 1051) or (c6 = 1052) or (c7 = 1053) or (c8 = 1054) or (c4 = 1055) or (c5 = 1056) or (c6 = 1057) or (c7 = 1058) or (c8 = 1059) or (c4 = 1060) or (c5 = 1061) or (c6 = 1062) or (c7 = 1063) or (c8 = 1064) or (c4 = 1065) or (c5 = 1066) or (c6 = 1067) or (c7 = 1068) or (c8 = 1069) or (c4 = 1070) or (c5 = 1071) or (c6 = 1072) or (c7 = 1073) or (c8 = 1074) or (c4 = 1075) or (c5 = 1076) or (c6 = 1077) or (c7 = 1078) or (c8 = 1079) or (c4 = 1080) or (c5 = 1081) or (c6 = 1082) or (c7 = 1083) or (c8 = 1084) or (c4 = 1085) or (c5 = 1086) or (c6 = 1087) or (c7 = 1088) or (c8 = 1089) or (c4 = 1090) or (c5 = 1091) or (c6 = 1092) or (c7 = 1093) or (c8 = 1094) or (c4 = 1095) or (c5 = 1096) or (c6 = 1097) or (c7 = 1098) or (c8 = 1099) or (c4 = 1100) or (c5 = 1101) or (c6 = 1102) or (c7 = 1103) or (c8 = 1104) or (c4 = 1105) or (c5 = 1106) or (c6 = 1107) or (c7 = 1108) or (c8 = 1109) or (c4 = 1110) or (c5 = 1111) or (c6 = 1112) or (c7 = 1113) or (c8 = 1114) or (c4 = 1115) or (c5 = 1116) or (c6 = 1117) or (c7 = 1118) or (c8 = 1119) or (c4 = 1120) or (c5 = 1121) or (c6 = 1122) or (c7 = 1123) or (c8 = 1124) or (c4 = 1125) or (c5 = 1126) or (c6 = 1127) or (c7 = 1128) or (c8 = 1129) or (c4 = 1130) or (c5 = 1131) or (c6 = 1132) or (c7 = 1133) or (c8 = 1134) or (c4 = 1135) or (c5 = 1136) or (c6 = 1137) or (c7 = 1138) or (c8 = 1139) or (c4 = 1140) or (c5 = 1141) or (c6 = 1142) or (c7 = 1143) or (c8 = 1144) or (c4 = 1145) or (c5 = 1146) or (c6 = 1147) or (c7 = 1148) or (c8 = 1149) or (c4 = 1150) or (c5 = 1151) or (c6 = 1152) or (c7 = 1153) or (c8 = 1154) or (c4 = 1155) or (c5 = 1156) or (c6 = 1157) or (c7 = 1158) or (c8 = 1159) or (c4 = 1160) or (c5 = 1161) or (c6 = 1162) or (c7 = 1163) or (c8 = 1164) or (c4 = 1165) or (c5 = 1166) or (c6 = 1167) or (c7 = 1168) or (c8 = 1169) or (c4 = 1170) or (c5 = 1171) or (c6 = 1172) or (c7 = 1173) or (c8 = 1174) or (c4 = 1175) or (c5 = 1176) or (c6 = 1177) or (c7 = 1178) or (c8 = 1179) or (c4 = 1180) or (c5 = 1181) or (c6 = 1182) or (c7 = 1183) or (c8 = 1184) or (c4 = 1185) or (c5 = 1186) or (c6 = 1187) or (c7 = 1188) or (c8 = 1189) or (c4 = 1190) or (c5 = 1191) or (c6 = 1192) or (c7 = 1193) or (c8 = 1194) or (c4 = 1195) or (c5 = 1196) or (c6 = 1197) or (c7 = 1198) or (c8 = 1199) or (c4 = 1200) or (c5 = 1201) or (c6 = 1202) or (c7 = 1203) or (c8 = 1204) or (c4 = 1205) or (c5 = 1206) or (c6 = 1207) or (c7 = 1208) or (c8 = 1209) or (c4 = 1210) or (c5 = 1211) or (c6 = 1212) or (c7 = 1213) or (c8 = 1214) or (c4 = 1215) or (c5 = 1216) or (c6 = 1217) or (c7 = 1218) or (c8 = 1219) or (c4 = 1220) or (c5 = 1221) or (c6 = 1222) or (c7 = 1223) or (c8 = 1224) or (c4 = 1225) or (c5 = 1226) or (c6 = 1227) or (c7 = 1228) or (c8 = 1229) or (c4 = 1230) or (c5 = 1231) or (c6 = 1232) or (c7 = 1233) or (c8 = 1234) or (c4 = 1235) or (c5 = 1236) or (c6 = 1237) or (c7 = 1238) or (c8 = 1239) or (c4 = 1240) or (c5 = 1241) or (c6 = 1242) or (c7 = 1243) or (c8 = 1244) or (c4 = 1245) or (c5 = 1246) or (c6 = 1247) or (c7 = 1248) or (c8 = 1249) or (c4 = 1250) or (c5 = 1251) or (c6 = 1252) or (c7 = 1253) or (c8 = 1254) or (c4 = 1255) or (c5 = 1256) or (c6 = 1257) or (c7 = 1258) or (c8 = 1259) or (c4 = 1260) or (c5 = 1261) or (c6 = 1262) or (c7 = 1263) or (c8 = 1264) or (c4 = 1265) or (c5 = 1266) or (c6 = 1267) or (c7 = 1268) or (c8 = 1269) or (c4 = 1270) or (c5 = 1271) or (c6 = 1272) or (c7 = 1273) or (c8 = 1274) or (c4 = 1275) or (c5 = 1276) or (c6 = 1277) or (c7 = 1278) or (c8 = 1279) or (c4 = 1280) or (c5 = 1281) or (c6 = 1282) or (c7 = 1283) or (c8 = 1284) or (c4 = 1285) or (c5 = 1286) or (c6 = 1287) or (c7 = 1288) or (c8 = 1289) or (c4 = 1290) or (c5 = 1291) or (c6 = 1292) or (c7 = 1293) or (c8 = 1294) or (c4 = 1295) or (c5 = 1296) or (c6 = 1297) or (c7 = 1298) or (c8 = 1299) or (c4 = 1300) or (c5 = 1301) or (c6 = 1302) or (c7 = 1303) or (c8 = 1304) or (c4 = 1305) or (c5 = 1306) or (c6 = 1307) or (c7 = 1308) or (c8 = 1309) or (c4 = 1310) or (c5 = 1311) or (c6 = 1312) or (c7 = 1313) or (c8 = 1314) or (c4 = 1315) or (c5 = 1316) or (c6 = 1317) or (c7 = 1318) or (c8 = 1319) or (c4 = 1320) or (c5 = 1321) or (c6 = 1322) or (c7 = 1323) or (c8 = 1324) or (c4 = 1325) or (c5 = 1326) or (c6 = 1327) or (c7 = 1328) or (c8 = 1329) or (c4 = 1330) or (c5 = 1331) or (c6 = 1332) or (c7 = 1333) or (c8 = 1334) or (c4 = 1335) or (c5 = 1336) or (c6 = 1337) or (c7 = 1338) or (c8 = 1339) or (c4 = 1340) or (c5 = 1341) or (c6 = 1342) or (c7 = 1343) or (c8 = 1344) or (c4 = 1345) or (c5 = 1346) or (c6 = 1347) or (c7 = 1348) or (c8 = 1349) or (c4 = 1350) or (c5 = 1351) or (c6 = 1352) or (c7 = 1353) or (c8 = 1354) or (c4 = 1355) or (c5 = 1356) or (c6 = 1357) or (c7 = 1358) or (c8 = 1359) or (c4 = 1360) or (c5 = 1361) or (c6 = 1362) or (c7 = 1363) or (c8 = 1364) or (c4 = 1365) or (c5 = 1366) or (c6 = 1367) or (c7 = 1368) or (c8 = 1369) or (c4 = 1370) or (c5 = 1371) or (c6 = 1372) or (c7 = 1373) or (c8 = 1374) or (c4 = 1375) or (c5 = 1376) or (c6 = 1377) or (c7 = 1378) or (c8 = 1379) or (c4 = 1380) or (c5 = 1381) or (c6 = 1382) or (c7 = 1383) or (c8 = 1384) or (c4 = 1385) or (c5 = 1386) or (c6 = 1387) or (c7 = 1388) or (c8 = 1389) or (c4 = 1390) or (c5 = 1391) or (c6 = 1392) or (c7 = 1393) or (c8 = 1394) or (c4 = 1395) or (c5 = 1396) or (c6 = 1397) or (c7 = 1398) or (c8 = 1399) or (c4 = 1400) or (c5 = 1401) or (c6 = 1402) or (c7 = 1403) or (c8 = 1404) or (c4 = 1405) or (c5 = 1406) or (c6 = 1407) or (c7 = 1408) or (c8 = 1409) or (c4 = 1410) or (c5 = 1411) or (c6 = 1412) or (c7 = 1413) or (c8 = 1414) or (c4 = 1415) or (c5 = 1416) or (c6 = 1417) or (c7 = 1418) or (c8 = 1419) or (c4 = 1420) or (c5 = 1421) or (c6 = 1422) or (c7 = 1423) or (c8 = 1424) or (c4 = 1425) or (c5 = 1426) or (c6 = 1427) or (c7 = 1428) or (c8 = 1429) or (c4 = 1430) or (c5 = 1431) or (c6 = 1432) or (c7 = 1433) or (c8 = 1434) or (c4 = 1435) or (c5 = 1436) or (c6 = 1437) or (c7 = 1438) or (c8 = 1439) or (c4 = 1440) or (c5 = 1441) or (c6 = 1442) or (c7 = 1443) or (c8 = 1444) or (c4 = 1445) or (c5 = 1446) or (c6 = 1447) or (c7 = 1448) or (c8 = 1449) or (c4 = 1450) or (c5 = 1451) or (c6 = 1452) or (c7 = 1453) or (c8 = 1454) or (c4 = 1455) or (c5 = 1456) or (c6 = 1457) or (c7 = 1458) or (c8 = 1459) or (c4 = 1460) or (c5 = 1461) or (c6 = 1462) or (c7 = 1463) or (c8 = 1464) or (c4 = 1465) or (c5 = 1466) or (c6 = 1467) or (c7 = 1468) or (c8 = 1469) or (c4 = 1470) or (c5 = 1471) or (c6 = 1472) or (c7 = 1473) or (c8 = 1474) or (c4 = 1475) or (c5 = 1476) or (c6 = 1477) or (c7 = 1478) or (c8 = 1479) or (c4 = 1480) or (c5 = 1481) or (c6 = 1482) or (c7 = 1483) or (c8 = 1484) or (c4 = 1485) or (c5 = 1486) or (c6 = 1487) or (c7 = 1488) or (c8 = 1489) or (c4 = 1490) or (c5 = 1491) or (c6 = 1492) or (c7 = 1493) or (c8 = 1494) or (c4 = 1495) or (c5 = 1496) or (c6 = 1497) or (c7 = 1498) or (c8 = 1499) or (c4 = 1500) or (c5 = 1501) or (c6 = 1502) or (c7 = 1503) or (c8 = 1504) or (c4 = 1505) or (c5 = 1506) or (c6 = 1507) or (c7 = 1508) or (c8 = 1509) or (c4 = 1510) or (c5 = 1511) or (c6 = 1512) or (c7 = 1513) or (c8 = 1514) or (c4 = 1515) or (c5 = 1516) or (c6 = 1517) or (c7 = 1518) or (c8 = 1519) or (c4 = 1520) or (c5 = 1521) or (c6 = 1522) or (c7 = 1523) or (c8 = 1524) or (c4 = 1525) or (c5 = 1526) or (c6 = 1527) or (c7 = 1528) or (c8 = 1529) or (c4 = 1530) or (c5 = 1531) or (c6 = 1532) or (c7 = 1533) or (c8 = 1534) or (c4 = 1535) or (c5 = 1536) or (c6 = 1537) or (c7 = 1538) or (c8 = 1539) or (c4 = 1540) or (c5 = 1541) or (c6 = 1542) or (c7 = 1543) or (c8 = 1544) or (c4 = 1545) or (c5 = 1546) or (c6 = 1547) or (c7 = 1548) or (c8 = 1549) or (c4 = 1550) or (c5 = 1551) or (c6 = 1552) or (c7 = 1553) or (c8 = 1554) or (c4 = 1555) or (c5 = 1556) or (c6 = 1557) or (c7 = 1558) or (c8 = 1559) or (c4 = 1560) or (c5 = 1561) or (c6 = 1562) or (c7 = 1563) or (c8 = 1564) or (c4 = 1565) or (c5 = 1566) or (c6 = 1567) or (c7 = 1568) or (c8 = 1569) or (c4 = 1570) or (c5 = 1571) or (c6 = 1572) or (c7 = 1573) or (c8 = 1574) or (c4 = 1575) or (c5 = 1576) or (c6 = 1577) or (c7 = 1578) or (c8 = 1579) or (c4 = 1580) or (c5 = 1581) or (c6 = 1582) or (c7 = 1583) or (c8 = 1584) or (c4 = 1585) or (c5 = 1586) or (c6 = 1587) or (c7 = 1588) or (c8 = 1589) or (c4 = 1590) or (c5 = 1591) or (c6 = 1592) or (c7 = 1593) or (c8 = 1594) or (c4 = 1595) or (c5 = 1596) or (c6 = 1597) or (c7 = 1598) or (c8 = 1599) or (c4 = 1600) or (c5 = 1601) or (c6 = 1602) or (c7 = 1603) or (c8 = 1604) or (c4 = 1605) or (c5 = 1606) or (c6 = 1607) or (c7 = 1608) or (c8 = 1609) or (c4 = 1610) or (c5 = 1611) or (c6 = 1612) or (c7 = 1613) or (c8 = 1614) or (c4 = 1615) or (c5 = 1616) or (c6 = 1617) or (c7 = 1618) or (c8 = 1619) or (c4 = 1620) or (c5 = 1621) or (c6 = 1622) or (c7 = 1623) or (c8 = 1624) or (c4 = 1625) or (c5 = 1626) or (c6 = 1627) or (c7 = 1628) or (c8 = 1629) or (c4 = 1630) or (c5 = 1631) or (c6 = 1632) or (c7 = 1633) or (c8 = 1634) or (c4 = 1635) or (c5 = 1636) or (c6 = 1637) or (c7 = 1638) or (c8 = 1639) or (c4 = 1640) or (c5 = 1641) or (c6 = 1642) or (c7 = 1643) or (c8 = 1644) or (c4 = 1645) or (c5 = 1646) or (c6 = 1647) or (c7 = 1648) or (c8 = 1649) or (c4 = 1650) or (c5 = 1651) or (c6 = 1652) or (c7 = 1653) or (c8 = 1654) or (c4 = 1655) or (c5 = 1656) or (c6 = 1657) or (c7 = 1658) or (c8 = 1659) or (c4 = 1660) or (c5 = 1661) or (c6 = 1662) or (c7 = 1663) or (c8 = 1664) or (c4 = 1665) or (c5 = 1666) or (c6 = 1667) or (c7 = 1668) or (c8 = 1669) or (c4 = 1670) or (c5 = 1671) or (c6 = 1672) or (c7 = 1673) or (c8 = 1674) or (c4 = 1675) or (c5 = 1676) or (c6 = 1677) or (c7 = 1678) or (c8 = 1679) or (c4 = 1680) or (c5 = 1681) or (c6 = 1682) or (c7 = 1683) or (c8 = 1684) or (c4 = 1685) or (c5 = 1686) or (c6 = 1687) or (c7 = 1688) or (c8 = 1689) or (c4 = 1690) or (c5 = 1691) or (c6 = 1692) or (c7 = 1693) or (c8 = 1694) or (c4 = 1695) or (c5 = 1696) or (c6 = 1697) or (c7 = 1698) or (c8 = 1699) or (c4 = 1700) or (c5 = 1701) or (c6 = 1702) or (c7 = 1703) or (c8 = 1704) or (c4 = 1705) or (c5 = 1706) or (c6 = 1707) or (c7 = 1708) or (c8 = 1709) or (c4 = 1710) or (c5 = 1711) or (c6 = 1712) or (c7 = 1713) or (c8 = 1714) or (c4 = 1715) or (c5 = 1716) or (c6 = 1717) or (c7 = 1718) or (c8 = 1719) or (c4 = 1720) or (c5 = 1721) or (c6 = 1722) or (c7 = 1723) or (c8 = 1724) or (c4 = 1725) or (c5 = 1726) or (c6 = 1727) or (c7 = 1728) or (c8 = 1729) or (c4 = 1730) or (c5 = 1731) or (c6 = 1732) or (c7 = 1733) or (c8 = 1734) or (c4 = 1735) or (c5 = 1736) or (c6 = 1737) or (c7 = 1738) or (c8 = 1739) or (c4 = 1740) or (c5 = 1741) or (c6 = 1742) or (c7 = 1743) or (c8 = 1744) or (c4 = 1745) or (c5 = 1746) or (c6 = 1747) or (c7 = 1748) or (c8 = 1749) or (c4 = 1750) or (c5 = 1751) or (c6 = 1752) or (c7 = 1753) or (c8 = 1754) or (c4 = 1755) or (c5 = 1756) or (c6 = 1757) or (c7 = 1758) or (c8 = 1759) or (c4 = 1760) or (c5 = 1761) or (c6 = 1762) or (c7 = 1763) or (c8 = 1764) or (c4 = 1765) or (c5 = 1766) or (c6 = 1767) or (c7 = 1768) or (c8 = 1769) or (c4 = 1770) or (c5 = 1771) or (c6 = 1772) or (c7 = 1773) or (c8 = 1774) or (c4 = 1775) or (c5 = 1776) or (c6 = 1777) or (c7 = 1778) or (c8 = 1779) or (c4 = 1780) or (c5 = 1781) or (c6 = 1782) or (c7 = 1783) or (c8 = 1784) or (c4 = 1785) or (c5 = 1786) or (c6 = 1787) or (c7 = 1788) or (c8 = 1789) or (c4 = 1790) or (c5 = 1791) or (c6 = 1792) or (c7 = 1793) or (c8 = 1794) or (c4 = 1795) or (c5 = 1796) or (c6 = 1797) or (c7 = 1798) or (c8 = 1799) or (c4 = 1800) or (c5 = 1801) or (c6 = 1802) or (c7 = 1803) or (c8 = 1804) or (c4 = 1805) or (c5 = 1806) or (c6 = 1807) or (c7 = 1808) or (c8 = 1809) or (c4 = 1810) or (c5 = 1811) or (c6 = 1812) or (c7 = 1813) or (c8 = 1814) or (c4 = 1815) or (c5 = 1816) or (c6 = 1817) or (c7 = 1818) or (c8 = 1819) or (c4 = 1820) or (c5 = 1821) or (c6 = 1822) or (c7 = 1823) or (c8 = 1824) or (c4 = 1825) or (c5 = 1826) or (c6 = 1827) or (c7 = 1828) or (c8 = 1829) or (c4 = 1830) or (c5 = 1831) or (c6 = 1832) or (c7 = 1833) or (c8 = 1834) or (c4 = 1835) or (c5 = 1836) or (c6 = 1837) or (c7 = 1838) or (c8 = 1839) or (c4 = 1840) or (c5 = 1841) or (c6 = 1842) or (c7 = 1843) or (c8 = 1844) or (c4 = 1845) or (c5 = 1846) or (c6 = 1847) or (c7 = 1848) or (c8 = 1849) or (c4 = 1850) or (c5 = 1851) or (c6 = 1852) or (c7 = 1853) or (c8 = 1854) or (c4 = 1855) or (c5 = 1856) or (c6 = 1857) or (c7 = 1858) or (c8 = 1859) or (c4 = 1860) or (c5 = 1861) or (c6 = 1862) or (c7 = 1863) or (c8 = 1864) or (c4 = 1865) or (c5 = 1866) or (c6 = 1867) or (c7 = 1868) or (c8 = 1869) or (c4 = 1870) or (c5 = 1871) or (c6 = 1872) or (c7 = 1873) or (c8 = 1874) or (c4 = 1875) or (c5 = 1876) or (c6 = 1877) or (c7 = 1878) or (c8 = 1879) or (c4 = 1880) or (c5 = 1881) or (c6 = 1882) or (c7 = 1883) or (c8 = 1884) or (c4 = 1885) or (c5 = 1886) or (c6 = 1887) or (c7 = 1888) or (c8 = 1889) or (c4 = 1890) or (c5 = 1891) or (c6 = 1892) or (c7 = 1893) or (c8 = 1894) or (c4 = 1895) or (c5 = 1896) or (c6 = 1897) or (c7 = 1898) or (c8 = 1899) or (c4 = 1900) or (c5 = 1901) or (c6 = 1902) or (c7 = 1903) or (c8 = 1904) or (c4 = 1905) or (c5 = 1906) or (c6 = 1907) or (c7 = 1908) or (c8 = 1909) or (c4 = 1910) or (c5 = 1911) or (c6 = 1912) or (c7 = 1913) or (c8 = 1914) or (c4 = 1915) or (c5 = 1916) or (c6 = 1917) or (c7 = 1918) or (c8 = 1919) or (c4 = 1920) or (c5 = 1921) or (c6 = 1922) or (c7 = 1923) or (c8 = 1924) or (c4 = 1925) or (c5 = 1926) or (c6 = 1927) or (c7 = 1928) or (c8 = 1929) or (c4 = 1930) or (c5 = 1931) or (c6 = 1932) or (c7 = 1933) or (c8 = 1934) or (c4 = 1935) or (c5 = 1936) or (c6 = 1937) or (c7 = 1938) or (c8 = 1939) or (c4 = 1940) or (c5 = 1941) or (c6 = 1942) or (c7 = 1943) or (c8 = 1944) or (c4 = 1945) or (c5 = 1946) or (c6 = 1947) or (c7 = 1948) or (c8 = 1949) or (c4 = 1950) or (c5 = 1951) or (c6 = 1952) or (c7 = 1953) or (c8 = 1954) or (c4 = 1955) or (c5 = 1956) or (c6 = 1957) or (c7 = 1958) or (c8 = 1959) or (c4 = 1960) or (c5 = 1961) or (c6 = 1962) or (c7 = 1963) or (c8 = 1964) or (c4 = 1965) or (c5 = 1966) or (c6 = 1967) or (c7 = 1968) or (c8 = 1969) or (c4 = 1970) or (c5 = 1971) or (c6 = 1972) or (c7 = 1973) or (c8 = 1974) or (c4 = 1975) or (c5 = 1976) or (c6 = 1977) or (c7 = 1978) or (c8 = 1979) or (c4 = 1980) or (c5 = 1981) or (c6 = 1982) or (c7 = 1983) or (c8 = 1984) or (c4 = 1985) or (c5 = 1986) or (c6 = 1987) or (c7 = 1988) or (c8 = 1989) or (c4 = 1990) or (c5 = 1991) or (c6 = 1992) or (c7 = 1993) or (c8 = 1994) or (c4 = 1995) or (c5 = 1996) or (c6 = 1997) or (c7 = 1998) or (c8 = 1999) or (c4 = 2000) or (c5 = 2001) or (c6 = 2002) or (c7 = 2003) or (c8 = 2004) or (c4 = 2005) or (c5 = 2006) or (c6 = 2007) or (c7 = 2008) or (c8 = 2009) or (c4 = 2010) or (c5 = 2011) or (c6 = 2012) or (c7 = 2013) or (c8 = 2014) or (c4 = 2015) or (c5 = 2016) or (c6 = 2017) or (c7 = 2018) or (c8 = 2019) or (c4 = 2020) or (c5 = 2021) or (c6 = 2022) or (c7 = 2023) or (c8 = 2024) or (c4 = 2025) or (c5 = 2026) or (c6 = 2027) or (c7 = 2028) or (c8 = 2029) or (c4 = 2030) or (c5 = 2031) or (c6 = 2032) or (c7 = 2033) or (c8 = 2034) or (c4 = 2035) or (c5 = 2036) or (c6 = 2037) or (c7 = 2038) or (c8 = 2039) or (c4 = 2040) or (c5 = 2041) or (c6 = 2042) or (c7 = 2043) or (c8 = 2044) or (c4 = 2045) or (c5 = 2046) or (c6 = 2047) or (c7 = 2048) or (c8 = 2049) or (c4 = 2050) or (c5 = 2051) or (c6 = 2052) or (c7 = 2053) or (c8 = 2054) or (c4 = 2055) or (c5 = 2056) or (c6 = 2057) or (c7 = 2058) or (c8 = 2059) or (c4 = 2060) or (c5 = 2061) or (c6 = 2062) or (c7 = 2063) or (c8 = 2064) or (c4 = 2065) or (c5 = 2066) or (c6 = 2067) or (c7 = 2068) or (c8 = 2069) or (c4 = 2070) or (c5 = 2071) or (c6 = 2072) or (c7 = 2073) or (c8 = 2074) or (c4 = 2075) or (c5 = 2076) or (c6 = 2077) or (c7 = 2078) or (c8 = 2079) or (c4 = 2080) or (c5 = 2081) or (c6 = 2082) or (c7 = 2083) or (c8 = 2084) or (c4 = 2085) or (c5 = 2086) or (c6 = 2087) or (c7 = 2088) or (c8 = 2089) or (c4 = 2090) or (c5 = 2091) or (c6 = 2092) or (c7 = 2093) or (c8 = 2094) or (c4 = 2095) or (c5 = 2096) or (c6 = 2097) or (c7 = 2098) or (c8 = 2099) or (c4 = 2100) or (c5 = 2101) or (c6 = 2102) or (c7 = 2103) or (c8 = 2104) or (c4 = 2105) or (c5 = 2106) or (c6 = 2107) or (c7 = 2108) or (c8 = 2109) or (c4 = 2110) or (c5 = 2111) or (c6 = 2112) or (c7 = 2113) or (c8 = 2114) or (c4 = 2115) or (c5 = 2116) or (c6 = 2117) or (c7 = 2118) or (c8 = 2119) or (c4 = 2120) or (c5 = 2121) or (c6 = 2122) or (c7 = 2123) or (c8 = 2124) or (c4 = 2125) or (c5 = 2126) or (c6 = 2127) or (c7 = 2128) or (c8 = 2129) or (c4 = 2130) or (c5 = 2131) or (c6 = 2132) or (c7 = 2133) or (c8 = 2134) or (c4 = 2135) or (c5 = 2136) or (c6 = 2137) or (c7 = 2138) or (c8 = 2139) or (c4 = 2140) or (c5 = 2141) or (c6 = 2142) or (c7 = 2143) or (c8 = 2144) or (c4 = 2145) or (c5 = 2146) or (c6 = 2147) or (c7 = 2148) or (c8 = 2149) or (c4 = 2150) or (c5 = 2151) or (c6 = 2152) or (c7 = 2153) or (c8 = 2154) or (c4 = 2155) or (c5 = 2156) or (c6 = 2157) or (c7 = 2158) or (c8 = 2159) or (c4 = 2160) or (c5 = 2161) or (c6 = 2162) or (c7 = 2163) or (c8 = 2164) or (c4 = 2165) or (c5 = 2166) or (c6 = 2167) or (c7 = 2168) or (c8 = 2169) or (c4 = 2170) or (c5 = 2171) or (c6 = 2172) or (c7 = 2173) or (c8 = 2174) or (c4 = 2175) or (c5 = 2176) or (c6 = 2177) or (c7 = 2178) or (c8 = 2179) or (c4 = 2180) or (c5 = 2181) or (c6 = 2182) or (c7 = 2183) or (c8 = 2184) or (c4 = 2185) or (c5 = 2186) or (c6 = 2187) or (c7 = 2188) or (c8 = 2189) or (c4 = 2190) or (c5 = 2191) or (c6 = 2192) or (c7 = 2193) or (c8 = 2194) or (c4 = 2195) or (c5 = 2196) or (c6 = 2197) or (c7 = 2198) or (c8 = 2199) or (c4 = 2200) or (c5 = 2201) or (c6 = 2202) or (c7 = 2203) or (c8 = 2204) or (c4 = 2205) or (c5 = 2206) or (c6 = 2207) or (c7 = 2208) or (c8 = 2209) or (c4 = 2210) or (c5 = 2211) or (c6 = 2212) or (c7 = 2213) or (c8 = 2214) or (c4 = 2215) or (c5 = 2216) or (c6 = 2217) or (c7 = 2218) or (c8 = 2219) or (c4 = 2220) or (c5 = 2221) or (c6 = 2222) or (c7 = 2223) or (c8 = 2224) or (c4 = 2225) or (c5 = 2226) or (c6 = 2227) or (c7 = 2228) or (c8 = 2229) or (c4 = 2230) or (c5 = 2231) or (c6 = 2232) or (c7 = 2233) or (c8 = 2234) or (c4 = 2235) or (c5 = 2236) or (c6 = 2237) or (c7 = 2238) or (c8 = 2239) or (c4 = 2240) or (c5 = 2241) or (c6 = 2242) or (c7 = 2243) or (c8 = 2244) or (c4 = 2245) or (c5 = 2246) or (c6 = 2247) or (c7 = 2248) or (c8 = 2249) or (c4 = 2250) or (c5 = 2251) or (c6 = 2252) or (c7 = 2253) or (c8 = 2254) or (c4 = 2255) or (c5 = 2256) or (c6 = 2257) or (c7 = 2258) or (c8 = 2259) or (c4 = 2260) or (c5 = 2261) or (c6 = 2262) or (c7 = 2263) or (c8 = 2264) or (c4 = 2265) or (c5 = 2266) or (c6 = 2267) or (c7 = 2268) or (c8 = 2269) or (c4 = 2270) or (c5 = 2271) or (c6 = 2272) or (c7 = 2273) or (c8 = 2274) or (c4 = 2275) or (c5 = 2276) or (c6 = 2277) or (c7 = 2278) or (c8 = 2279) or (c4 = 2280) or (c5 = 2281) or (c6 = 2282) or (c7 = 2283) or (c8 = 2284) or (c4 = 2285) or (c5 = 2286) or (c6 = 2287) or (c7 = 2288) or (c8 = 2289) or (c4 = 2290) or (c5 = 2291) or (c6 = 2292) or (c7 = 2293) or (c8 = 2294) or (c4 = 2295) or (c5 = 2296) or (c6 = 2297) or (c7 = 2298) or (c8 = 2299) or (c4 = 2300) or (c5 = 2301) or (c6 = 2302) or (c7 = 2303) or (c8 = 2304) or (c4 = 2305) or (c5 = 2306) or (c6 = 2307) or (c7 = 2308) or (c8 = 2309) or (c4 = 2310) or (c5 = 2311) or (c6 = 2312) or (c7 = 2313) or (c8 = 2314) or (c4 = 2315) or (c5 = 2316) or (c6 = 2317) or (c7 = 2318) or (c8 = 2319) or (c4 = 2320) or (c5 = 2321) or (c6 = 2322) or (c7 = 2323) or (c8 = 2324) or (c4 = 2325) or (c5 = 2326) or (c6 = 2327) or (c7 = 2328) or (c8 = 2329) or (c4 = 2330) or (c5 = 2331) or (c6 = 2332) or (c7 = 2333) or (c8 = 2334) or (c4 = 2335) or (c5 = 2336) or (c6 = 2337) or (c7 = 2338) or (c8 = 2339) or (c4 = 2340) or (c5 = 2341) or (c6 = 2342) or (c7 = 2343) or (c8 = 2344) or (c4 = 2345) or (c5 = 2346) or (c6 = 2347) or (c7 = 2348) or (c8 = 2349) or (c4 = 2350) or (c5 = 2351) or (c6 = 2352) or (c7 = 2353) or (c8 = 2354) or (c4 = 2355) or (c5 = 2356) or (c6 = 2357) or (c7 = 2358) or (c8 = 2359) or (c4 = 2360) or (c5 = 2361) or (c6 = 2362) or (c7 = 2363) or (c8 = 2364) or (c4 = 2365) or (c5 = 2366) or (c6 = 2367) or (c7 = 2368) or (c8 = 2369) or (c4 = 2370) or (c5 = 2371) or (c6 = 2372) or (c7 = 2373) or (c8 = 2374) or (c4 = 2375) or (c5 = 2376) or (c6 = 2377) or (c7 = 2378) or (c8 = 2379) or (c4 = 2380) or (c5 = 2381) or (c6 = 2382) or (c7 = 2383) or (c8 = 2384) or (c4 = 2385) or (c5 = 2386) or (c6 = 2387) or (c7 = 2388) or (c8 = 2389) or (c4 = 2390) or (c5 = 2391) or (c6 = 2392) or (c7 = 2393) or (c8 = 2394) or (c4 = 2395) or (c5 = 2396) or (c6 = 2397) or (c7 = 2398) or (c8 = 2399) or (c4 = 2400) or (c5 = 2401) or (c6 = 2402) or (c7 = 2403) or (c8 = 2404) or (c4 = 2405) or (c5 = 2406) or (c6 = 2407) or (c7 = 2408) or (c8 = 2409) or (c4 = 2410) or (c5 = 2411) or (c6 = 2412) or (c7 = 2413) or (c8 = 2414) or (c4 = 2415) or (c5 = 2416) or (c6 = 2417) or (c7 = 2418) or (c8 = 2419) or (c4 = 2420) or (c5 = 2421) or (c6 = 2422) or (c7 = 2423) or (c8 = 2424) or (c4 = 2425) or (c5 = 2426) or (c6 = 2427) or (c7 = 2428) or (c8 = 2429) or (c4 = 2430) or (c5 = 2431) or (c6 = 2432) or (c7 = 2433) or (c8 = 2434) or (c4 = 2435) or (c5 = 2436) or (c6 = 2437) or (c7 = 2438) or (c8 = 2439) or (c4 = 2440) or (c5 = 2441) or (c6 = 2442) or (c7 = 2443) or (c8 = 2444) or (c4 = 2445) or (c5 = 2446) or (c6 = 2447) or (c7 = 2448) or (c8 = 2449) or (c4 = 2450) or (c5 = 2451) or (c6 = 2452) or (c7 = 2453) or (c8 = 2454) or (c4 = 2455) or (c5 = 2456) or (c6 = 2457) or (c7 = 2458) or (c8 = 2459) or (c4 = 2460) or (c5 = 2461) or (c6 = 2462) or (c7 = 2463) or (c8 = 2464) or (c4 = 2465) or (c5 = 2466) or (c6 = 2467) or (c7 = 2468) or (c8 = 2469) or (c4 = 2470) or (c5 = 2471) or (c6 = 2472) or (c7 = 2473) or (c8 = 2474) or (c4 = 2475) or (c5 = 2476) or (c6 = 2477) or (c7 = 2478) or (c8 = 2479) or (c4 = 2480) or (c5 = 2481) or (c6 = 2482) or (c7 = 2483) or (c8 = 2484) or (c4 = 2485) or (c5 = 2486) or (c6 = 2487) or (c7 = 2488) or (c8 = 2489) or (c4 = 2490) or (c5 = 2491) or (c6 = 2492) or (c7 = 2493) or (c8 = 2494) or (c4 = 2495) or (c5 = 2496) or (c6 = 2497) or (c7 = 2498) or (c8 = 2499) or (c4 = 2500) or (c5 = 2501) or (c6 = 2502) or (c7 = 2503) or (c8 = 2504) or (c4 = 2505) or (c5 = 2506) or (c6 = 2507) or (c7 = 2508) or (c8 = 2509) or (c4 = 2510) or (c5 = 2511) or (c6 = 2512) or (c7 = 2513) or (c8 = 2514) or (c4 = 2515) or (c5 = 2516) or (c6 = 2517) or (c7 = 2518) or (c8 = 2519) or (c4 = 2520) or (c5 = 2521) or (c6 = 2522) or (c7 = 2523) or (c8 = 2524) or (c4 = 2525) or (c5 = 2526) or (c6 = 2527) or (c7 = 2528) or (c8 = 2529) or (c4 = 2530) or (c5 = 2531) or (c6 = 2532) or (c7 = 2533) or (c8 = 2534) or (c4 = 2535) or (c5 = 2536) or (c6 = 2537) or (c7 = 2538) or (c8 = 2539) or (c4 = 2540) or (c5 = 2541) or (c6 = 2542) or (c7 = 2543) or (c8 = 2544) or (c4 = 2545) or (c5 = 2546) or (c6 = 2547) or (c7 = 2548) or (c8 = 2549) or (c4 = 2550) or (c5 = 2551) or (c6 = 2552) or (c7 = 2553) or (c8 = 2554) or (c4 = 2555) or (c5 = 2556) or (c6 = 2557) or (c7 = 2558) or (c8 = 2559) or (c4 = 2560) or (c5 = 2561) or (c6 = 2562) or (c7 = 2563) or (c8 = 2564) or (c4 = 2565) or (c5 = 2566) or (c6 = 2567) or (c7 = 2568) or (c8 = 2569) or (c4 = 2570) or (c5 = 2571) or (c6 = 2572) or (c7 = 2573) or (c8 = 2574) or (c4 = 2575) or (c5 = 2576) or (c6 = 2577) or (c7 = 2578) or (c8 = 2579) or (c4 = 2580) or (c5 = 2581) or (c6 = 2582) or (c7 = 2583) or (c8 = 2584) or (c4 = 2585) or (c5 = 2586) or (c6 = 2587) or (c7 = 2588) or (c8 = 2589) or (c4 = 2590) or (c5 = 2591) or (c6 = 2592) or (c7 = 2593) or (c8 = 2594) or (c4 = 2595) or (c5 = 2596) or (c6 = 2597) or (c7 = 2598) or (c8 = 2599) or (c4 = 2600) or (c5 = 2601) or (c6 = 2602) or (c7 = 2603) or (c8 = 2604) or (c4 = 2605) or (c5 = 2606) or (c6 = 2607) or (c7 = 2608) or (c8 = 2609) or (c4 = 2610) or (c5 = 2611) or (c6 = 2612) or (c7 = 2613) or (c8 = 2614) or (c4 = 2615) or (c5 = 2616) or (c6 = 2617) or (c7 = 2618) or (c8 = 2619) or (c4 = 2620) or (c5 = 2621) or (c6 = 2622) or (c7 = 2623) or (c8 = 2624) or (c4 = 2625) or (c5 = 2626) or (c6 = 2627) or (c7 = 2628) or (c8 = 2629) or (c4 = 2630) or (c5 = 2631) or (c6 = 2632) or (c7 = 2633) or (c8 = 2634) or (c4 = 2635) or (c5 = 2636) or (c6 = 2637) or (c7 = 2638) or (c8 = 2639) or (c4 = 2640) or (c5 = 2641) or (c6 = 2642) or (c7 = 2643) or (c8 = 2644) or (c4 = 2645) or (c5 = 2646) or (c6 = 2647) or (c7 = 2648) or (c8 = 2649) or (c4 = 2650) or (c5 = 2651) or (c6 = 2652) or (c7 = 2653) or (c8 = 2654) or (c4 = 2655) or (c5 = 2656) or (c6 = 2657) or (c7 = 2658) or (c8 = 2659) or (c4 = 2660) or (c5 = 2661) or (c6 = 2662) or (c7 = 2663) or (c8 = 2664) or (c4 = 2665) or (c5 = 2666) or (c6 = 2667) or (c7 = 2668) or (c8 = 2669) or (c4 = 2670) or (c5 = 2671) or (c6 = 2672) or (c7 = 2673) or (c8 = 2674) or (c4 = 2675) or (c5 = 2676) or (c6 = 2677) or (c7 = 2678) or (c8 = 2679) or (c4 = 2680) or (c5 = 2681) or (c6 = 2682) or (c7 = 2683) or (c8 = 2684) or (c4 = 2685) or (c5 = 2686) or (c6 = 2687) or (c7 = 2688) or (c8 = 2689) or (c4 = 2690) or (c5 = 2691) or (c6 = 2692) or (c7 = 2693) or (c8 = 2694) or (c4 = 2695) or (c5 = 2696) or (c6 = 2697) or (c7 = 2698) or (c8 = 2699) or (c4 = 2700) or (c5 = 2701) or (c6 = 2702) or (c7 = 2703) or (c8 = 2704) or (c4 = 2705) or (c5 = 2706) or (c6 = 2707) or (c7 = 2708) or (c8 = 2709) or (c4 = 2710) or (c5 = 2711) or (c6 = 2712) or (c7 = 2713) or (c8 = 2714) or (c4 = 2715) or (c5 = 2716) or (c6 = 2717) or (c7 = 2718) or (c8 = 2719) or (c4 = 2720) or (c5 = 2721) or (c6 = 2722) or (c7 = 2723) or (c8 = 2724) or (c4 = 2725) or (c5 = 2726) or (c6 = 2727) or (c7 = 2728) or (c8 = 2729) or (c4 = 2730) or (c5 = 2731) or (c6 = 2732) or (c7 = 2733) or (c8 = 2734) or (c4 = 2735) or (c5 = 2736) or (c6 = 2737) or (c7 = 2738) or (c8 = 2739) or (c4 = 2740) or (c5 = 2741) or (c6 = 2742) or (c7 = 2743) or (c8 = 2744) or (c4 = 2745) or (c5 = 2746) or (c6 = 2747) or (c7 = 2748) or (c8 = 2749) or (c4 = 2750) or (c5 = 2751) or (c6 = 2752) or (c7 = 2753) or (c8 = 2754) or (c4 = 2755) or (c5 = 2756) or (c6 = 2757) or (c7 = 2758) or (c8 = 2759) or (c4 = 2760) or (c5 = 2761) or (c6 = 2762) or (c7 = 2763) or (c8 = 2764) or (c4 = 2765) or (c5 = 2766) or (c6 = 2767) or (c7 = 2768) or (c8 = 2769) or (c4 = 2770) or (c5 = 2771) or (c6 = 2772) or (c7 = 2773) or (c8 = 2774) or (c4 = 2775) or (c5 = 2776) or (c6 = 2777) or (c7 = 2778) or (c8 = 2779) or (c4 = 2780) or (c5 = 2781) or (c6 = 2782) or (c7 = 2783) or (c8 = 2784) or (c4 = 2785) or (c5 = 2786) or (c6 = 2787) or (c7 = 2788) or (c8 = 2789) or (c4 = 2790) or (c5 = 2791) or (c6 = 2792) or (c7 = 2793) or (c8 = 2794) or (c4 = 2795) or (c5 = 2796) or (c6 = 2797) or (c7 = 2798) or (c8 = 2799) or (c4 = 2800) or (c5 = 2801) or (c6 = 2802) or (c7 = 2803) or (c8 = 2804) or (c4 = 2805) or (c5 = 2806) or (c6 = 2807) or (c7 = 2808) or (c8 = 2809) or (c4 = 2810) or (c5 = 2811) or (c6 = 2812) or (c7 = 2813) or (c8 = 2814) or (c4 = 2815) or (c5 = 2816) or (c6 = 2817) or (c7 = 2818) or (c8 = 2819) or (c4 = 2820) or (c5 = 2821) or (c6 = 2822) or (c7 = 2823) or (c8 = 2824) or (c4 = 2825) or (c5 = 2826) or (c6 = 2827) or (c7 = 2828) or (c8 = 2829) or (c4 = 2830) or (c5 = 2831) or (c6 = 2832) or (c7 = 2833) or (c8 = 2834) or (c4 = 2835) or (c5 = 2836) or (c6 = 2837) or (c7 = 2838) or (c8 = 2839) or (c4 = 2840) or (c5 = 2841) or (c6 = 2842) or (c7 = 2843) or (c8 = 2844) or (c4 = 2845) or (c5 = 2846) or (c6 = 2847) or (c7 = 2848) or (c8 = 2849) or (c4 = 2850) or (c5 = 2851) or (c6 = 2852) or (c7 = 2853) or (c8 = 2854) or (c4 = 2855) or (c5 = 2856) or (c6 = 2857) or (c7 = 2858) or (c8 = 2859) or (c4 = 2860) or (c5 = 2861) or (c6 = 2862) or (c7 = 2863) or (c8 = 2864) or (c4 = 2865) or (c5 = 2866) or (c6 = 2867) or (c7 = 2868) or (c8 = 2869) or (c4 = 2870) or (c5 = 2871) or (c6 = 2872) or (c7 = 2873) or (c8 = 2874) or (c4 = 2875) or (c5 = 2876) or (c6 = 2877) or (c7 = 2878) or (c8 = 2879) or (c4 = 2880) or (c5 = 2881) or (c6 = 2882) or (c7 = 2883) or (c8 = 2884) or (c4 = 2885) or (c5 = 2886) or (c6 = 2887) or (c7 = 2888) or (c8 = 2889) or (c4 = 2890) or (c5 = 2891) or (c6 = 2892) or (c7 = 2893) or (c8 = 2894) or (c4 = 2895) or (c5 = 2896) or (c6 = 2897) or (c7 = 2898) or (c8 = 2899) or (c4 = 2900) or (c5 = 2901) or (c6 = 2902) or (c7 = 2903) or (c8 = 2904) or (c4 = 2905) or (c5 = 2906) or (c6 = 2907) or (c7 = 2908) or (c8 = 2909) or (c4 = 2910) or (c5 = 2911) or (c6 = 2912) or (c7 = 2913) or (c8 = 2914) or (c4 = 2915) or (c5 = 2916) or (c6 = 2917) or (c7 = 2918) or (c8 = 2919) or (c4 = 2920) or (c5 = 2921) or (c6 = 2922) or (c7 = 2923) or (c8 = 2924) or (c4 = 2925) or (c5 = 2926) or (c6 = 2927) or (c7 = 2928) or (c8 = 2929) or (c4 = 2930) or (c5 = 2931) or (c6 = 2932) or (c7 = 2933) or (c8 = 2934) or (c4 = 2935) or (c5 = 2936) or (c6 = 2937) or (c7 = 2938) or (c8 = 2939) or (c4 = 2940) or (c5 = 2941) or (c6 = 2942) or (c7 = 2943) or (c8 = 2944) or (c4 = 2945) or (c5 = 2946) or (c6 = 2947) or (c7 = 2948) or (c8 = 2949) or (c4 = 2950) or (c5 = 2951) or (c6 = 2952) or (c7 = 2953) or (c8 = 2954) or (c4 = 2955) or (c5 = 2956) or (c6 = 2957) or (c7 = 2958) or (c8 = 2959) or (c4 = 2960) or (c5 = 2961) or (c6 = 2962) or (c7 = 2963) or (c8 = 2964) or (c4 = 2965) or (c5 = 2966) or (c6 = 2967) or (c7 = 2968) or (c8 = 2969) or (c4 = 2970) or (c5 = 2971) or (c6 = 2972) or (c7 = 2973) or (c8 = 2974) or (c4 = 2975) or (c5 = 2976) or (c6 = 2977) or (c7 = 2978) or (c8 = 2979) or (c4 = 2980) or (c5 = 2981) or (c6 = 2982) or (c7 = 2983) or (c8 = 2984) or (c4 = 2985) or (c5 = 2986) or (c6 = 2987) or (c7 = 2988) or (c8 = 2989) or (c4 = 2990) or (c5 = 2991) or (c6 = 2992) or (c7 = 2993) or (c8 = 2994) or (c4 = 2995) or (c5 = 2996) or (c6 = 2997) or (c7 = 2998) or (c8 = 2999) or (c4 = 3000) or (c5 = 3001) or (c6 = 3002) or (c7 = 3003) or (c8 = 3004) or (c4 = 3005) or (c5 = 3006) or (c6 = 3007) or (c7 = 3008) or (c8 = 3009) or (c4 = 3010) or (c5 = 3011) or (c6 = 3012) or (c7 = 3013) or (c8 = 3014) or (c4 = 3015) or (c5 = 3016) or (c6 = 3017) or (c7 = 3018) or (c8 = 3019) or (c4 = 3020) or (c5 = 3021) or (c6 = 3022) or (c7 = 3023) or (c8 = 3024) or (c4 = 3025) or (c5 = 3026) or (c6 = 3027) or (c7 = 3028) or (c8 = 3029) or (c4 = 3030) or (c5 = 3031) or (c6 = 3032) or (c7 = 3033) or (c8 = 3034) or (c4 = 3035) or (c5 = 3036) or (c6 = 3037) or (c7 = 3038) or (c8 = 3039) or (c4 = 3040) or (c5 = 3041) or (c6 = 3042) or (c7 = 3043) or (c8 = 3044) or (c4 = 3045) or (c5 = 3046) or (c6 = 3047) or (c7 = 3048) or (c8 = 3049) or (c4 = 3050) or (c5 = 3051) or (c6 = 3052) or (c7 = 3053) or (c8 = 3054) or (c4 = 3055) or (c5 = 3056) or (c6 = 3057) or (c7 = 3058) or (c8 = 3059) or (c4 = 3060) or (c5 = 3061) or (c6 = 3062) or (c7 = 3063) or (c8 = 3064) or (c4 = 3065) or (c5 = 3066) or (c6 = 3067) or (c7 = 3068) or (c8 = 3069) or (c4 = 3070) or (c5 = 3071) or (c6 = 3072) or (c7 = 3073) or (c8 = 3074) or (c4 = 3075) or (c5 = 3076) or (c6 = 3077) or (c7 = 3078) or (c8 = 3079) or (c4 = 3080) or (c5 = 3081) or (c6 = 3082) or (c7 = 3083) or (c8 = 3084) or (c4 = 3085) or (c5 = 3086) or (c6 = 3087) or (c7 = 3088) or (c8 = 3089) or (c4 = 3090) or (c5 = 3091) or (c6 = 3092) or (c7 = 3093) or (c8 = 3094) or (c4 = 3095) or (c5 = 3096) or (c6 = 3097) or (c7 = 3098) or (c8 = 3099) or (c4 = 3100) or (c5 = 3101) or (c6 = 3102) or (c7 = 3103) or (c8 = 3104) or (c4 = 3105) or (c5 = 3106) or (c6 = 3107) or (c7 = 3108) or (c8 = 3109) or (c4 = 3110) or (c5 = 3111) or (c6 = 3112) or (c7 = 3113) or (c8 = 3114) or (c4 = 3115) or (c5 = 3116) or (c6 = 3117) or (c7 = 3118) or (c8 = 3119) or (c4 = 3120) or (c5 = 3121) or (c6 = 3122) or (c7 = 3123) or (c8 = 3124) or (c4 = 3125) or (c5 = 3126) or (c6 = 3127) or (c7 = 3128) or (c8 = 3129) or (c4 = 3130) or (c5 = 3131) or (c6 = 3132) or (c7 = 3133) or (c8 = 3134) or (c4 = 3135) or (c5 = 3136) or (c6 = 3137) or (c7 = 3138) or (c8 = 3139) or (c4 = 3140) or (c5 = 3141) or (c6 = 3142) or (c7 = 3143) or (c8 = 3144) or (c4 = 3145) or (c5 = 3146) or (c6 = 3147) or (c7 = 3148) or (c8 = 3149) or (c4 = 3150) or (c5 = 3151) or (c6 = 3152) or (c7 = 3153) or (c8 = 3154) or (c4 = 3155) or (c5 = 3156) or (c6 = 3157) or (c7 = 3158) or (c8 = 3159) or (c4 = 3160) or (c5 = 3161) or (c6 = 3162) or (c7 = 3163) or (c8 = 3164) or (c4 = 3165) or (c5 = 3166) or (c6 = 3167) or (c7 = 3168) or (c8 = 3169) or (c4 = 3170) or (c5 = 3171) or (c6 = 3172) or (c7 = 3173) or (c8 = 3174) or (c4 = 3175) or (c5 = 3176) or (c6 = 3177) or (c7 = 3178) or (c8 = 3179) or (c4 = 3180) or (c5 = 3181) or (c6 = 3182) or (c7 = 3183) or (c8 = 3184) or (c4 = 3185) or (c5 = 3186) or (c6 = 3187) or (c7 = 3188) or (c8 = 3189) or (c4 = 3190) or (c5 = 3191) or (c6 = 3192) or (c7 = 3193) or (c8 = 3194) or (c4 = 3195) or (c5 = 3196) or (c6 = 3197) or (c7 = 3198) or (c8 = 3199) or (c4 = 3200) or (c5 = 3201) or (c6 = 3202) or (c7 = 3203) or (c8 = 3204) or (c4 = 3205) or (c5 = 3206) or (c6 = 3207) or (c7 = 3208) or (c8 = 3209) or (c4 = 3210) or (c5 = 3211) or (c6 = 3212) or (c7 = 3213) or (c8 = 3214) or (c4 = 3215) or (c5 = 3216) or (c6 = 3217) or (c7 = 3218) or (c8 = 3219) or (c4 = 3220) or (c5 = 3221) or (c6 = 3222) or (c7 = 3223) or (c8 = 3224) or (c4 = 3225) or (c5 = 3226) or (c6 = 3227) or (c7 = 3228) or (c8 = 3229) or (c4 = 3230) or (c5 = 3231) or (c6 = 3232) or (c7 = 3233) or (c8 = 3234) or (c4 = 3235) or (c5 = 3236) or (c6 = 3237) or (c7 = 3238) or (c8 = 3239) or (c4 = 3240) or (c5 = 3241) or (c6 = 3242) or (c7 = 3243) or (c8 = 3244) or (c4 = 3245) or (c5 = 3246) or (c6 = 3247) or (c7 = 3248) or (c8 = 3249) or (c4 = 3250) or (c5 = 3251) or (c6 = 3252) or (c7 = 3253) or (c8 = 3254) or (c4 = 3255) or (c5 = 3256) or (c6 = 3257) or (c7 = 3258) or (c8 = 3259) or (c4 = 3260) or (c5 = 3261) or (c6 = 3262) or (c7 = 3263) or (c8 = 3264) or (c4 = 3265) or (c5 = 3266) or (c6 = 3267) or (c7 = 3268) or (c8 = 3269) or (c4 = 3270) or (c5 = 3271) or (c6 = 3272) or (c7 = 3273) or (c8 = 3274) or (c4 = 3275) or (c5 = 3276) or (c6 = 3277) or (c7 = 3278) or (c8 = 3279) or (c4 = 3280) or (c5 = 3281) or (c6 = 3282) or (c7 = 3283) or (c8 = 3284) or (c4 = 3285) or (c5 = 3286) or (c6 = 3287) or (c7 = 3288) or (c8 = 3289) or (c4 = 3290) or (c5 = 3291) or (c6 = 3292) or (c7 = 3293) or (c8 = 3294) or (c4 = 3295) or (c5 = 3296) or (c6 = 3297) or (c7 = 3298) or (c8 = 3299) or (c4 = 3300) or (c5 = 3301) or (c6 = 3302) or (c7 = 3303) or (c8 = 3304) or (c4 = 3305) or (c5 = 3306) or (c6 = 3307) or (c7 = 3308) or (c8 = 3309) or (c4 = 3310) or (c5 = 3311) or (c6 = 3312) or (c7 = 3313) or (c8 = 3314) or (c4 = 3315) or (c5 = 3316) or (c6 = 3317) or (c7 = 3318) or (c8 = 3319) or (c4 = 3320) or (c5 = 3321) or (c6 = 3322) or (c7 = 3323) or (c8 = 3324) or (c4 = 3325) or (c5 = 3326) or (c6 = 3327) or (c7 = 3328) or (c8 = 3329) or (c4 = 3330) or (c5 = 3331) or (c6 = 3332) or (c7 = 3333) or (c8 = 3334) or (c4 = 3335) or (c5 = 3336) or (c6 = 3337) or (c7 = 3338) or (c8 = 3339) or (c4 = 3340) or (c5 = 3341) or (c6 = 3342) or (c7 = 3343) or (c8 = 3344) or (c4 = 3345) or (c5 = 3346) or (c6 = 3347) or (c7 = 3348) or (c8 = 3349) or (c4 = 3350) or (c5 = 3351) or (c6 = 3352) or (c7 = 3353) or (c8 = 3354) or (c4 = 3355) or (c5 = 3356) or (c6 = 3357) or (c7 = 3358) or (c8 = 3359) or (c4 = 3360) or (c5 = 3361) or (c6 = 3362) or (c7 = 3363) or (c8 = 3364) or (c4 = 3365) or (c5 = 3366) or (c6 = 3367) or (c7 = 3368) or (c8 = 3369) or (c4 = 3370) or (c5 = 3371) or (c6 = 3372) or (c7 = 3373) or (c8 = 3374) or (c4 = 3375) or (c5 = 3376) or (c6 = 3377) or (c7 = 3378) or (c8 = 3379) or (c4 = 3380) or (c5 = 3381) or (c6 = 3382) or (c7 = 3383) or (c8 = 3384) or (c4 = 3385) or (c5 = 3386) or (c6 = 3387) or (c7 = 3388) or (c8 = 3389) or (c4 = 3390) or (c5 = 3391) or (c6 = 3392) or (c7 = 3393) or (c8 = 3394) or (c4 = 3395) or (c5 = 3396) or (c6 = 3397) or (c7 = 3398) or (c8 = 3399) or (c4 = 3400) or (c5 = 3401) or (c6 = 3402) or (c7 = 3403) or (c8 = 3404) or (c4 = 3405) or (c5 = 3406) or (c6 = 3407) or (c7 = 3408) or (c8 = 3409) or (c4 = 3410) or (c5 = 3411) or (c6 = 3412) or (c7 = 3413) or (c8 = 3414) or (c4 = 3415) or (c5 = 3416) or (c6 = 3417) or (c7 = 3418) or (c8 = 3419) or (c4 = 3420) or (c5 = 3421) or (c6 = 3422) or (c7 = 3423) or (c8 = 3424) or (c4 = 3425) or (c5 = 3426) or (c6 = 3427) or (c7 = 3428) or (c8 = 3429) or (c4 = 3430) or (c5 = 3431) or (c6 = 3432) or (c7 = 3433) or (c8 = 3434) or (c4 = 3435) or (c5 = 3436) or (c6 = 3437) or (c7 = 3438) or (c8 = 3439) or (c4 = 3440) or (c5 = 3441) or (c6 = 3442) or (c7 = 3443) or (c8 = 3444) or (c4 = 3445) or (c5 = 3446) or (c6 = 3447) or (c7 = 3448) or (c8 = 3449) or (c4 = 3450) or (c5 = 3451) or (c6 = 3452) or (c7 = 3453) or (c8 = 3454) or (c4 = 3455) or (c5 = 3456) or (c6 = 3457) or (c7 = 3458) or (c8 = 3459) or (c4 = 3460) or (c5 = 3461) or (c6 = 3462) or (c7 = 3463) or (c8 = 3464) or (c4 = 3465) or (c5 = 3466) or (c6 = 3467) or (c7 = 3468) or (c8 = 3469) or (c4 = 3470) or (c5 = 3471) or (c6 = 3472) or (c7 = 3473) or (c8 = 3474) or (c4 = 3475) or (c5 = 3476) or (c6 = 3477) or (c7 = 3478) or (c8 = 3479) or (c4 = 3480) or (c5 = 3481) or (c6 = 3482) or (c7 = 3483) or (c8 = 3484) or (c4 = 3485) or (c5 = 3486) or (c6 = 3487) or (c7 = 3488) or (c8 = 3489) or (c4 = 3490) or (c5 = 3491) or (c6 = 3492) or (c7 = 3493) or (c8 = 3494) or (c4 = 3495) or (c5 = 3496) or (c6 = 3497) or (c7 = 3498) or (c8 = 3499) or (c4 = 3500) or (c5 = 3501) or (c6 = 3502) or (c7 = 3503) or (c8 = 3504) or (c4 = 3505) or (c5 = 3506) or (c6 = 3507) or (c7 = 3508) or (c8 = 3509) or (c4 = 3510) or (c5 = 3511) or (c6 = 3512) or (c7 = 3513) or (c8 = 3514) or (c4 = 3515) or (c5 = 3516) or (c6 = 3517) or (c7 = 3518) or (c8 = 3519) or (c4 = 3520) or (c5 = 3521) or (c6 = 3522) or (c7 = 3523) or (c8 = 3524) or (c4 = 3525) or (c5 = 3526) or (c6 = 3527) or (c7 = 3528) or (c8 = 3529) or (c4 = 3530) or (c5 = 3531) or (c6 = 3532) or (c7 = 3533) or (c8 = 3534) or (c4 = 3535) or (c5 = 3536) or (c6 = 3537) or (c7 = 3538) or (c8 = 3539) or (c4 = 3540) or (c5 = 3541) or (c6 = 3542) or (c7 = 3543) or (c8 = 3544) or (c4 = 3545) or (c5 = 3546) or (c6 = 3547) or (c7 = 3548) or (c8 = 3549) or (c4 = 3550) or (c5 = 3551) or (c6 = 3552) or (c7 = 3553) or (c8 = 3554) or (c4 = 3555) or (c5 = 3556) or (c6 = 3557) or (c7 = 3558) or (c8 = 3559) or (c4 = 3560) or (c5 = 3561) or (c6 = 3562) or (c7 = 3563) or (c8 = 3564) or (c4 = 3565) or (c5 = 3566) or (c6 = 3567) or (c7 = 3568) or (c8 = 3569) or (c4 = 3570) or (c5 = 3571) or (c6 = 3572) or (c7 = 3573) or (c8 = 3574) or (c4 = 3575) or (c5 = 3576) or (c6 = 3577) or (c7 = 3578) or (c8 = 3579) or (c4 = 3580) or (c5 = 3581) or (c6 = 3582) or (c7 = 3583) or (c8 = 3584) or (c4 = 3585) or (c5 = 3586) or (c6 = 3587) or (c7 = 3588) or (c8 = 3589) or (c4 = 3590) or (c5 = 3591) or (c6 = 3592) or (c7 = 3593) or (c8 = 3594) or (c4 = 3595) or (c5 = 3596) or (c6 = 3597) or (c7 = 3598) or (c8 = 3599) or (c4 = 3600) or (c5 = 3601) or (c6 = 3602) or (c7 = 3603) or (c8 = 3604) or (c4 = 3605) or (c5 = 3606) or (c6 = 3607) or (c7 = 3608) or (c8 = 3609) or (c4 = 3610) or (c5 = 3611) or (c6 = 3612) or (c7 = 3613) or (c8 = 3614) or (c4 = 3615) or (c5 = 3616) or (c6 = 3617) or (c7 = 3618) or (c8 = 3619) or (c4 = 3620) or (c5 = 3621) or (c6 = 3622) or (c7 = 3623) or (c8 = 3624) or (c4 = 3625) or (c5 = 3626) or (c6 = 3627) or (c7 = 3628) or (c8 = 3629) or (c4 = 3630) or (c5 = 3631) or (c6 = 3632) or (c7 = 3633) or (c8 = 3634) or (c4 = 3635) or (c5 = 3636) or (c6 = 3637) or (c7 = 3638) or (c8 = 3639) or (c4 = 3640) or (c5 = 3641) or (c6 = 3642) or (c7 = 3643) or (c8 = 3644) or (c4 = 3645) or (c5 = 3646) or (c6 = 3647) or (c7 = 3648) or (c8 = 3649) or (c4 = 3650) or (c5 = 3651) or (c6 = 3652) or (c7 = 3653) or (c8 = 3654) or (c4 = 3655) or (c5 = 3656) or (c6 = 3657) or (c7 = 3658) or (c8 = 3659) or (c4 = 3660) or (c5 = 3661) or (c6 = 3662) or (c7 = 3663) or (c8 = 3664) or (c4 = 3665) or (c5 = 3666) or (c6 = 3667) or (c7 = 3668) or (c8 = 3669) or (c4 = 3670) or (c5 = 3671) or (c6 = 3672) or (c7 = 3673) or (c8 = 3674) or (c4 = 3675) or (c5 = 3676) or (c6 = 3677) or (c7 = 3678) or (c8 = 3679) or (c4 = 3680) or (c5 = 3681) or (c6 = 3682) or (c7 = 3683) or (c8 = 3684) or (c4 = 3685) or (c5 = 3686) or (c6 = 3687) or (c7 = 3688) or (c8 = 3689) or (c4 = 3690) or (c5 = 3691) or (c6 = 3692) or (c7 = 3693) or (c8 = 3694) or (c4 = 3695) or (c5 = 3696) or (c6 = 3697) or (c7 = 3698) or (c8 = 3699) or (c4 = 3700) or (c5 = 3701) or (c6 = 3702) or (c7 = 3703) or (c8 = 3704) or (c4 = 3705) or (c5 = 3706) or (c6 = 3707) or (c7 = 3708) or (c8 = 3709) or (c4 = 3710) or (c5 = 3711) or (c6 = 3712) or (c7 = 3713) or (c8 = 3714) or (c4 = 3715) or (c5 = 3716) or (c6 = 3717) or (c7 = 3718) or (c8 = 3719) or (c4 = 3720) or (c5 = 3721) or (c6 = 3722) or (c7 = 3723) or (c8 = 3724) or (c4 = 3725) or (c5 = 3726) or (c6 = 3727) or (c7 = 3728) or (c8 = 3729) or (c4 = 3730) or (c5 = 3731) or (c6 = 3732) or (c7 = 3733) or (c8 = 3734) or (c4 = 3735) or (c5 = 3736) or (c6 = 3737) or (c7 = 3738) or (c8 = 3739) or (c4 = 3740) or (c5 = 3741) or (c6 = 3742) or (c7 = 3743) or (c8 = 3744) or (c4 = 3745) or (c5 = 3746) or (c6 = 3747) or (c7 = 3748) or (c8 = 3749) or (c4 = 3750) or (c5 = 3751) or (c6 = 3752) or (c7 = 3753) or (c8 = 3754) or (c4 = 3755) or (c5 = 3756) or (c6 = 3757) or (c7 = 3758) or (c8 = 3759) or (c4 = 3760) or (c5 = 3761) or (c6 = 3762) or (c7 = 3763) or (c8 = 3764) or (c4 = 3765) or (c5 = 3766) or (c6 = 3767) or (c7 = 3768) or (c8 = 3769) or (c4 = 3770) or (c5 = 3771) or (c6 = 3772) or (c7 = 3773) or (c8 = 3774) or (c4 = 3775) or (c5 = 3776) or (c6 = 3777) or (c7 = 3778) or (c8 = 3779) or (c4 = 3780) or (c5 = 3781) or (c6 = 3782) or (c7 = 3783) or (c8 = 3784) or (c4 = 3785) or (c5 = 3786) or (c6 = 3787) or (c7 = 3788) or (c8 = 3789) or (c4 = 3790) or (c5 = 3791) or (c6 = 3792) or (c7 = 3793) or (c8 = 3794) or (c4 = 3795) or (c5 = 3796) or (c6 = 3797) or (c7 = 3798) or (c8 = 3799) or (c4 = 3800) or (c5 = 3801) or (c6 = 3802) or (c7 = 3803) or (c8 = 3804) or (c4 = 3805) or (c5 = 3806) or (c6 = 3807) or (c7 = 3808) or (c8 = 3809) or (c4 = 3810) or (c5 = 3811) or (c6 = 3812) or (c7 = 3813) or (c8 = 3814) or (c4 = 3815) or (c5 = 3816) or (c6 = 3817) or (c7 = 3818) or (c8 = 3819) or (c4 = 3820) or (c5 = 3821) or (c6 = 3822) or (c7 = 3823) or (c8 = 3824) or (c4 = 3825) or (c5 = 3826) or (c6 = 3827) or (c7 = 3828) or (c8 = 3829) or (c4 = 3830) or (c5 = 3831) or (c6 = 3832) or (c7 = 3833) or (c8 = 3834) or (c4 = 3835) or (c5 = 3836) or (c6 = 3837) or (c7 = 3838) or (c8 = 3839) or (c4 = 3840) or (c5 = 3841) or (c6 = 3842) or (c7 = 3843) or (c8 = 3844) or (c4 = 3845) or (c5 = 3846) or (c6 = 3847) or (c7 = 3848) or (c8 = 3849) or (c4 = 3850) or (c5 = 3851) or (c6 = 3852) or (c7 = 3853) or (c8 = 3854) or (c4 = 3855) or (c5 = 3856) or (c6 = 3857) or (c7 = 3858) or (c8 = 3859) or (c4 = 3860) or (c5 = 3861) or (c6 = 3862) or (c7 = 3863) or (c8 = 3864) or (c4 = 3865) or (c5 = 3866) or (c6 = 3867) or (c7 = 3868) or (c8 = 3869) or (c4 = 3870) or (c5 = 3871) or (c6 = 3872) or (c7 = 3873) or (c8 = 3874) or (c4 = 3875) or (c5 = 3876) or (c6 = 3877) or (c7 = 3878) or (c8 = 3879) or (c4 = 3880) or (c5 = 3881) or (c6 = 3882) or (c7 = 3883) or (c8 = 3884) or (c4 = 3885) or (c5 = 3886) or (c6 = 3887) or (c7 = 3888) or (c8 = 3889) or (c4 = 3890) or (c5 = 3891) or (c6 = 3892) or (c7 = 3893) or (c8 = 3894) or (c4 = 3895) or (c5 = 3896) or (c6 = 3897) or (c7 = 3898) or (c8 = 3899) or (c4 = 3900) or (c5 = 3901) or (c6 = 3902) or (c7 = 3903) or (c8 = 3904) or (c4 = 3905) or (c5 = 3906) or (c6 = 3907) or (c7 = 3908) or (c8 = 3909) or (c4 = 3910) or (c5 = 3911) or (c6 = 3912) or (c7 = 3913) or (c8 = 3914) or (c4 = 3915) or (c5 = 3916) or (c6 = 3917) or (c7 = 3918) or (c8 = 3919) or (c4 = 3920) or (c5 = 3921) or (c6 = 3922) or (c7 = 3923) or (c8 = 3924) or (c4 = 3925) or (c5 = 3926) or (c6 = 3927) or (c7 = 3928) or (c8 = 3929) or (c4 = 3930) or (c5 = 3931) or (c6 = 3932) or (c7 = 3933) or (c8 = 3934) or (c4 = 3935) or (c5 = 3936) or (c6 = 3937) or (c7 = 3938) or (c8 = 3939) or (c4 = 3940) or (c5 = 3941) or (c6 = 3942) or (c7 = 3943) or (c8 = 3944) or (c4 = 3945) or (c5 = 3946) or (c6 = 3947) or (c7 = 3948) or (c8 = 3949) or (c4 = 3950) or (c5 = 3951) or (c6 = 3952) or (c7 = 3953) or (c8 = 3954) or (c4 = 3955) or (c5 = 3956) or (c6 = 3957) or (c7 = 3958) or (c8 = 3959) or (c4 = 3960) or (c5 = 3961) or (c6 = 3962) or (c7 = 3963) or (c8 = 3964) or (c4 = 3965) or (c5 = 3966) or (c6 = 3967) or (c7 = 3968) or (c8 = 3969) or (c4 = 3970) or (c5 = 3971) or (c6 = 3972) or (c7 = 3973) or (c8 = 3974) or (c4 = 3975) or (c5 = 3976) or (c6 = 3977) or (c7 = 3978) or (c8 = 3979) or (c4 = 3980) or (c5 = 3981) or (c6 = 3982) or (c7 = 3983) or (c8 = 3984) or (c4 = 3985) or (c5 = 3986) or (c6 = 3987) or (c7 = 3988) or (c8 = 3989) or (c4 = 3990) or (c5 = 3991) or (c6 = 3992) or (c7 = 3993) or (c8 = 3994) or (c4 = 3995) or (c5 = 3996) or (c6 = 3997) or (c7 = 3998) or (c8 = 3999) or (c4 = 4000) or (c5 = 4001) or (c6 = 4002) or (c7 = 4003) or (c8 = 4004) or (c4 = 4005) or (c5 = 4006) or (c6 = 4007) or (c7 = 4008) or (c8 = 4009) or (c4 = 4010) or (c5 = 4011) or (c6 = 4012) or (c7 = 4013) or (c8 = 4014) or (c4 = 4015) or (c5 = 4016) or (c6 = 4017) or (c7 = 4018) or (c8 = 4019) or (c4 = 4020) or (c5 = 4021) or (c6 = 4022) or (c7 = 4023) or (c8 = 4024) or (c4 = 4025) or (c5 = 4026) or (c6 = 4027) or (c7 = 4028) or (c8 = 4029) or (c4 = 4030) or (c5 = 4031) or (c6 = 4032) or (c7 = 4033) or (c8 = 4034) or (c4 = 4035) or (c5 = 4036) or (c6 = 4037) or (c7 = 4038) or (c8 = 4039) or (c4 = 4040) or (c5 = 4041) or (c6 = 4042) or (c7 = 4043) or (c8 = 4044) or (c4 = 4045) or (c5 = 4046) or (c6 = 4047) or (c7 = 4048) or (c8 = 4049) or (c4 = 4050) or (c5 = 4051) or (c6 = 4052) or (c7 = 4053) or (c8 = 4054) or (c4 = 4055) or (c5 = 4056) or (c6 = 4057) or (c7 = 4058) or (c8 = 4059) or (c4 = 4060) or (c5 = 4061) or (c6 = 4062) or (c7 = 4063) or (c8 = 4064) or (c4 = 4065) or (c5 = 4066) or (c6 = 4067) or (c7 = 4068) or (c8 = 4069) or (c4 = 4070) or (c5 = 4071) or (c6 = 4072) or (c7 = 4073) or (c8 = 4074) or (c4 = 4075) or (c5 = 4076) or (c6 = 4077) or (c7 = 4078) or (c8 = 4079) or (c4 = 4080) or (c5 = 4081) or (c6 = 4082) or (c7 = 4083) or (c8 = 4084) or (c4 = 4085) or (c5 = 4086) or (c6 = 4087) or (c7 = 4088) or (c8 = 4089) or (c4 = 4090) or (c5 = 4091) or (c6 = 4092) or (c7 = 4093) or (c8 = 4094) or (c4 = 4095) or (c5 = 4096) or (c6 = 4097) or (c7 = 4098) or (c8 = 4099) or (c4 = 4100) or (c5 = 4101) or (c6 = 4102) or (c7 = 4103) or (c8 = 4104) or (c4 = 4105) or (c5 = 4106) or (c6 = 4107) or (c7 = 4108) or (c8 = 4109) or (c4 = 4110) or (c5 = 4111) or (c6 = 4112) or (c7 = 4113) or (c8 = 4114) or (c4 = 4115) or (c5 = 4116) or (c6 = 4117) or (c7 = 4118) or (c8 = 4119) or (c4 = 4120) or (c5 = 4121) or (c6 = 4122) or (c7 = 4123) or (c8 = 4124) or (c4 = 4125) or (c5 = 4126) or (c6 = 4127) or (c7 = 4128) or (c8 = 4129) or (c4 = 4130) or (c5 = 4131) or (c6 = 4132) or (c7 = 4133) or (c8 = 4134) or (c4 = 4135) or (c5 = 4136) or (c6 = 4137) or (c7 = 4138) or (c8 = 4139) or (c4 = 4140) or (c5 = 4141) or (c6 = 4142) or (c7 = 4143) or (c8 = 4144) or (c4 = 4145) or (c5 = 4146) or (c6 = 4147) or (c7 = 4148) or (c8 = 4149) or (c4 = 4150) or (c5 = 4151) or (c6 = 4152) or (c7 = 4153) or (c8 = 4154) or (c4 = 4155) or (c5 = 4156) or (c6 = 4157) or (c7 = 4158) or (c8 = 4159) or (c4 = 4160) or (c5 = 4161) or (c6 = 4162) or (c7 = 4163) or (c8 = 4164) or (c4 = 4165) or (c5 = 4166) or (c6 = 4167) or (c7 = 4168) or (c8 = 4169) or (c4 = 4170) or (c5 = 4171) or (c6 = 4172) or (c7 = 4173) or (c8 = 4174) or (c4 = 4175) or (c5 = 4176) or (c6 = 4177) or (c7 = 4178) or (c8 = 4179) or (c4 = 4180) or (c5 = 4181) or (c6 = 4182) or (c7 = 4183) or (c8 = 4184) or (c4 = 4185) or (c5 = 4186) or (c6 = 4187) or (c7 = 4188) or (c8 = 4189) or (c4 = 4190) or (c5 = 4191) or (c6 = 4192) or (c7 = 4193) or (c8 = 4194) or (c4 = 4195) or (c5 = 4196) or (c6 = 4197) or (c7 = 4198) or (c8 = 4199) or (c4 = 4200) or (c5 = 4201) or (c6 = 4202) or (c7 = 4203) or (c8 = 4204) or (c4 = 4205) or (c5 = 4206) or (c6 = 4207) or (c7 = 4208) or (c8 = 4209) or (c4 = 4210) or (c5 = 4211) or (c6 = 4212) or (c7 = 4213) or (c8 = 4214) or (c4 = 4215) or (c5 = 4216) or (c6 = 4217) or (c7 = 4218) or (c8 = 4219) or (c4 = 4220) or (c5 = 4221) or (c6 = 4222) or (c7 = 4223) or (c8 = 4224) or (c4 = 4225) or (c5 = 4226) or (c6 = 4227) or (c7 = 4228) or (c8 = 4229) or (c4 = 4230) or (c5 = 4231) or (c6 = 4232) or (c7 = 4233) or (c8 = 4234) or (c4 = 4235) or (c5 = 4236) or (c6 = 4237) or (c7 = 4238) or (c8 = 4239) or (c4 = 4240) or (c5 = 4241) or (c6 = 4242) or (c7 = 4243) or (c8 = 4244) or (c4 = 4245) or (c5 = 4246) or (c6 = 4247) or (c7 = 4248) or (c8 = 4249) or (c4 = 4250) or (c5 = 4251) or (c6 = 4252) or (c7 = 4253) or (c8 = 4254) or (c4 = 4255) or (c5 = 4256) or (c6 = 4257) or (c7 = 4258) or (c8 = 4259) or (c4 = 4260) or (c5 = 4261) or (c6 = 4262) or (c7 = 4263) or (c8 = 4264) or (c4 = 4265) or (c5 = 4266) or (c6 = 4267) or (c7 = 4268) or (c8 = 4269) or (c4 = 4270) or (c5 = 4271) or (c6 = 4272) or (c7 = 4273) or (c8 = 4274) or (c4 = 4275) or (c5 = 4276) or (c6 = 4277) or (c7 = 4278) or (c8 = 4279) or (c4 = 4280) or (c5 = 4281) or (c6 = 4282) or (c7 = 4283) or (c8 = 4284) or (c4 = 4285) or (c5 = 4286) or (c6 = 4287) or (c7 = 4288) or (c8 = 4289) or (c4 = 4290) or (c5 = 4291) or (c6 = 4292) or (c7 = 4293) or (c8 = 4294) or (c4 = 4295) or (c5 = 4296) or (c6 = 4297) or (c7 = 4298) or (c8 = 4299) or (c4 = 4300) or (c5 = 4301) or (c6 = 4302) or (c7 = 4303) or (c8 = 4304) or (c4 = 4305) or (c5 = 4306) or (c6 = 4307) or (c7 = 4308) or (c8 = 4309) or (c4 = 4310) or (c5 = 4311) or (c6 = 4312) or (c7 = 4313) or (c8 = 4314) or (c4 = 4315) or (c5 = 4316) or (c6 = 4317) or (c7 = 4318) or (c8 = 4319) or (c4 = 4320) or (c5 = 4321) or (c6 = 4322) or (c7 = 4323) or (c8 = 4324) or (c4 = 4325) or (c5 = 4326) or (c6 = 4327) or (c7 = 4328) or (c8 = 4329) or (c4 = 4330) or (c5 = 4331) or (c6 = 4332) or (c7 = 4333) or (c8 = 4334) or (c4 = 4335) or (c5 = 4336) or (c6 = 4337) or (c7 = 4338) or (c8 = 4339) or (c4 = 4340) or (c5 = 4341) or (c6 = 4342) or (c7 = 4343) or (c8 = 4344) or (c4 = 4345) or (c5 = 4346) or (c6 = 4347) or (c7 = 4348) or (c8 = 4349) or (c4 = 4350) or (c5 = 4351) or (c6 = 4352) or (c7 = 4353) or (c8 = 4354) or (c4 = 4355) or (c5 = 4356) or (c6 = 4357) or (c7 = 4358) or (c8 = 4359) or (c4 = 4360) or (c5 = 4361) or (c6 = 4362) or (c7 = 4363) or (c8 = 4364) or (c4 = 4365) or (c5 = 4366) or (c6 = 4367) or (c7 = 4368) or (c8 = 4369) or (c4 = 4370) or (c5 = 4371) or (c6 = 4372) or (c7 = 4373) or (c8 = 4374) or (c4 = 4375) or (c5 = 4376) or (c6 = 4377) or (c7 = 4378) or (c8 = 4379) or (c4 = 4380) or (c5 = 4381) or (c6 = 4382) or (c7 = 4383) or (c8 = 4384) or (c4 = 4385) or (c5 = 4386) or (c6 = 4387) or (c7 = 4388) or (c8 = 4389) or (c4 = 4390) or (c5 = 4391) or (c6 = 4392) or (c7 = 4393) or (c8 = 4394) or (c4 = 4395) or (c5 = 4396) or (c6 = 4397) or (c7 = 4398) or (c8 = 4399) or (c4 = 4400) or (c5 = 4401) or (c6 = 4402) or (c7 = 4403) or (c8 = 4404) or (c4 = 4405) or (c5 = 4406) or (c6 = 4407) or (c7 = 4408) or (c8 = 4409) or (c4 = 4410) or (c5 = 4411) or (c6 = 4412) or (c7 = 4413) or (c8 = 4414) or (c4 = 4415) or (c5 = 4416) or (c6 = 4417) or (c7 = 4418) or (c8 = 4419) or (c4 = 4420) or (c5 = 4421) or (c6 = 4422) or (c7 = 4423) or (c8 = 4424) or (c4 = 4425) or (c5 = 4426) or (c6 = 4427) or (c7 = 4428) or (c8 = 4429) or (c4 = 4430) or (c5 = 4431) or (c6 = 4432) or (c7 = 4433) or (c8 = 4434) or (c4 = 4435) or (c5 = 4436) or (c6 = 4437) or (c7 = 4438) or (c8 = 4439) or (c4 = 4440) or (c5 = 4441) or (c6 = 4442) or (c7 = 4443) or (c8 = 4444) or (c4 = 4445) or (c5 = 4446) or (c6 = 4447) or (c7 = 4448) or (c8 = 4449) or (c4 = 4450) or (c5 = 4451) or (c6 = 4452) or (c7 = 4453) or (c8 = 4454) or (c4 = 4455) or (c5 = 4456) or (c6 = 4457) or (c7 = 4458) or (c8 = 4459) or (c4 = 4460) or (c5 = 4461) or (c6 = 4462) or (c7 = 4463) or (c8 = 4464) or (c4 = 4465) or (c5 = 4466) or (c6 = 4467) or (c7 = 4468) or (c8 = 4469) or (c4 = 4470) or (c5 = 4471) or (c6 = 4472) or (c7 = 4473) or (c8 = 4474) or (c4 = 4475) or (c5 = 4476) or (c6 = 4477) or (c7 = 4478) or (c8 = 4479) or (c4 = 4480) or (c5 = 4481) or (c6 = 4482) or (c7 = 4483) or (c8 = 4484) or (c4 = 4485) or (c5 = 4486) or (c6 = 4487) or (c7 = 4488) or (c8 = 4489) or (c4 = 4490) or (c5 = 4491) or (c6 = 4492) or (c7 = 4493) or (c8 = 4494) or (c4 = 4495) or (c5 = 4496) or (c6 = 4497) or (c7 = 4498) or (c8 = 4499) or (c4 = 4500) or (c5 = 4501) or (c6 = 4502) or (c7 = 4503) or (c8 = 4504) or (c4 = 4505) or (c5 = 4506) or (c6 = 4507) or (c7 = 4508) or (c8 = 4509) or (c4 = 4510) or (c5 = 4511) or (c6 = 4512) or (c7 = 4513) or (c8 = 4514) or (c4 = 4515) or (c5 = 4516) or (c6 = 4517) or (c7 = 4518) or (c8 = 4519) or (c4 = 4520) or (c5 = 4521) or (c6 = 4522) or (c7 = 4523) or (c8 = 4524) or (c4 = 4525) or (c5 = 4526) or (c6 = 4527) or (c7 = 4528) or (c8 = 4529) or (c4 = 4530) or (c5 = 4531) or (c6 = 4532) or (c7 = 4533) or (c8 = 4534) or (c4 = 4535) or (c5 = 4536) or (c6 = 4537) or (c7 = 4538) or (c8 = 4539) or (c4 = 4540) or (c5 = 4541) or (c6 = 4542) or (c7 = 4543) or (c8 = 4544) or (c4 = 4545) or (c5 = 4546) or (c6 = 4547) or (c7 = 4548) or (c8 = 4549) or (c4 = 4550) or (c5 = 4551) or (c6 = 4552) or (c7 = 4553) or (c8 = 4554) or (c4 = 4555) or (c5 = 4556) or (c6 = 4557) or (c7 = 4558) or (c8 = 4559) or (c4 = 4560) or (c5 = 4561) or (c6 = 4562) or (c7 = 4563) or (c8 = 4564) or (c4 = 4565) or (c5 = 4566) or (c6 = 4567) or (c7 = 4568) or (c8 = 4569) or (c4 = 4570) or (c5 = 4571) or (c6 = 4572) or (c7 = 4573) or (c8 = 4574) or (c4 = 4575) or (c5 = 4576) or (c6 = 4577) or (c7 = 4578) or (c8 = 4579) or (c4 = 4580) or (c5 = 4581) or (c6 = 4582) or (c7 = 4583) or (c8 = 4584) or (c4 = 4585) or (c5 = 4586) or (c6 = 4587) or (c7 = 4588) or (c8 = 4589) or (c4 = 4590) or (c5 = 4591) or (c6 = 4592) or (c7 = 4593) or (c8 = 4594) or (c4 = 4595) or (c5 = 4596) or (c6 = 4597) or (c7 = 4598) or (c8 = 4599) or (c4 = 4600) or (c5 = 4601) or (c6 = 4602) or (c7 = 4603) or (c8 = 4604) or (c4 = 4605) or (c5 = 4606) or (c6 = 4607) or (c7 = 4608) or (c8 = 4609) or (c4 = 4610) or (c5 = 4611) or (c6 = 4612) or (c7 = 4613) or (c8 = 4614) or (c4 = 4615) or (c5 = 4616) or (c6 = 4617) or (c7 = 4618) or (c8 = 4619) or (c4 = 4620) or (c5 = 4621) or (c6 = 4622) or (c7 = 4623) or (c8 = 4624) or (c4 = 4625) or (c5 = 4626) or (c6 = 4627) or (c7 = 4628) or (c8 = 4629) or (c4 = 4630) or (c5 = 4631) or (c6 = 4632) or (c7 = 4633) or (c8 = 4634) or (c4 = 4635) or (c5 = 4636) or (c6 = 4637) or (c7 = 4638) or (c8 = 4639) or (c4 = 4640) or (c5 = 4641) or (c6 = 4642) or (c7 = 4643) or (c8 = 4644) or (c4 = 4645) or (c5 = 4646) or (c6 = 4647) or (c7 = 4648) or (c8 = 4649) or (c4 = 4650) or (c5 = 4651) or (c6 = 4652) or (c7 = 4653) or (c8 = 4654) or (c4 = 4655) or (c5 = 4656) or (c6 = 4657) or (c7 = 4658) or (c8 = 4659) or (c4 = 4660) or (c5 = 4661) or (c6 = 4662) or (c7 = 4663) or (c8 = 4664) or (c4 = 4665) or (c5 = 4666) or (c6 = 4667) or (c7 = 4668) or (c8 = 4669) or (c4 = 4670) or (c5 = 4671) or (c6 = 4672) or (c7 = 4673) or (c8 = 4674) or (c4 = 4675) or (c5 = 4676) or (c6 = 4677) or (c7 = 4678) or (c8 = 4679) or (c4 = 4680) or (c5 = 4681) or (c6 = 4682) or (c7 = 4683) or (c8 = 4684) or (c4 = 4685) or (c5 = 4686) or (c6 = 4687) or (c7 = 4688) or (c8 = 4689) or (c4 = 4690) or (c5 = 4691) or (c6 = 4692) or (c7 = 4693) or (c8 = 4694) or (c4 = 4695) or (c5 = 4696) or (c6 = 4697) or (c7 = 4698) or (c8 = 4699) or (c4 = 4700) or (c5 = 4701) or (c6 = 4702) or (c7 = 4703) or (c8 = 4704) or (c4 = 4705) or (c5 = 4706) or (c6 = 4707) or (c7 = 4708) or (c8 = 4709) or (c4 = 4710) or (c5 = 4711) or (c6 = 4712) or (c7 = 4713) or (c8 = 4714) or (c4 = 4715) or (c5 = 4716) or (c6 = 4717) or (c7 = 4718) or (c8 = 4719) or (c4 = 4720) or (c5 = 4721) or (c6 = 4722) or (c7 = 4723) or (c8 = 4724) or (c4 = 4725) or (c5 = 4726) or (c6 = 4727) or (c7 = 4728) or (c8 = 4729) or (c4 = 4730) or (c5 = 4731) or (c6 = 4732) or (c7 = 4733) or (c8 = 4734) or (c4 = 4735) or (c5 = 4736) or (c6 = 4737) or (c7 = 4738) or (c8 = 4739) or (c4 = 4740) or (c5 = 4741) or (c6 = 4742) or (c7 = 4743) or (c8 = 4744) or (c4 = 4745) or (c5 = 4746) or (c6 = 4747) or (c7 = 4748) or (c8 = 4749) or (c4 = 4750) or (c5 = 4751) or (c6 = 4752) or (c7 = 4753) or (c8 = 4754) or (c4 = 4755) or (c5 = 4756) or (c6 = 4757) or (c7 = 4758) or (c8 = 4759) or (c4 = 4760) or (c5 = 4761) or (c6 = 4762) or (c7 = 4763) or (c8 = 4764) or (c4 = 4765) or (c5 = 4766) or (c6 = 4767) or (c7 = 4768) or (c8 = 4769) or (c4 = 4770) or (c5 = 4771) or (c6 = 4772) or (c7 = 4773) or (c8 = 4774) or (c4 = 4775) or (c5 = 4776) or (c6 = 4777) or (c7 = 4778) or (c8 = 4779) or (c4 = 4780) or (c5 = 4781) or (c6 = 4782) or (c7 = 4783) or (c8 = 4784) or (c4 = 4785) or (c5 = 4786) or (c6 = 4787) or (c7 = 4788) or (c8 = 4789) or (c4 = 4790) or (c5 = 4791) or (c6 = 4792) or (c7 = 4793) or (c8 = 4794) or (c4 = 4795) or (c5 = 4796) or (c6 = 4797) or (c7 = 4798) or (c8 = 4799) or (c4 = 4800) or (c5 = 4801) or (c6 = 4802) or (c7 = 4803) or (c8 = 4804) or (c4 = 4805) or (c5 = 4806) or (c6 = 4807) or (c7 = 4808) or (c8 = 4809) or (c4 = 4810) or (c5 = 4811) or (c6 = 4812) or (c7 = 4813) or (c8 = 4814) or (c4 = 4815) or (c5 = 4816) or (c6 = 4817) or (c7 = 4818) or (c8 = 4819) or (c4 = 4820) or (c5 = 4821) or (c6 = 4822) or (c7 = 4823) or (c8 = 4824) or (c4 = 4825) or (c5 = 4826) or (c6 = 4827) or (c7 = 4828) or (c8 = 4829) or (c4 = 4830) or (c5 = 4831) or (c6 = 4832) or (c7 = 4833) or (c8 = 4834) or (c4 = 4835) or (c5 = 4836) or (c6 = 4837) or (c7 = 4838) or (c8 = 4839) or (c4 = 4840) or (c5 = 4841) or (c6 = 4842) or (c7 = 4843) or (c8 = 4844) or (c4 = 4845) or (c5 = 4846) or (c6 = 4847) or (c7 = 4848) or (c8 = 4849) or (c4 = 4850) or (c5 = 4851) or (c6 = 4852) or (c7 = 4853) or (c8 = 4854) or (c4 = 4855) or (c5 = 4856) or (c6 = 4857) or (c7 = 4858) or (c8 = 4859) or (c4 = 4860) or (c5 = 4861) or (c6 = 4862) or (c7 = 4863) or (c8 = 4864) or (c4 = 4865) or (c5 = 4866) or (c6 = 4867) or (c7 = 4868) or (c8 = 4869) or (c4 = 4870) or (c5 = 4871) or (c6 = 4872) or (c7 = 4873) or (c8 = 4874) or (c4 = 4875) or (c5 = 4876) or (c6 = 4877) or (c7 = 4878) or (c8 = 4879) or (c4 = 4880) or (c5 = 4881) or (c6 = 4882) or (c7 = 4883) or (c8 = 4884) or (c4 = 4885) or (c5 = 4886) or (c6 = 4887) or (c7 = 4888) or (c8 = 4889) or (c4 = 4890) or (c5 = 4891) or (c6 = 4892) or (c7 = 4893) or (c8 = 4894) or (c4 = 4895) or (c5 = 4896) or (c6 = 4897) or (c7 = 4898) or (c8 = 4899) or (c4 = 4900) or (c5 = 4901) or (c6 = 4902) or (c7 = 4903) or (c8 = 4904) or (c4 = 4905) or (c5 = 4906) or (c6 = 4907) or (c7 = 4908) or (c8 = 4909) or (c4 = 4910) or (c5 = 4911) or (c6 = 4912) or (c7 = 4913) or (c8 = 4914) or (c4 = 4915) or (c5 = 4916) or (c6 = 4917) or (c7 = 4918) or (c8 = 4919) or (c4 = 4920) or (c5 = 4921) or (c6 = 4922) or (c7 = 4923) or (c8 = 4924) or (c4 = 4925) or (c5 = 4926) or (c6 = 4927) or (c7 = 4928) or (c8 = 4929) or (c4 = 4930) or (c5 = 4931) or (c6 = 4932) or (c7 = 4933) or (c8 = 4934) or (c4 = 4935) or (c5 = 4936) or (c6 = 4937) or (c7 = 4938) or (c8 = 4939) or (c4 = 4940) or (c5 = 4941) or (c6 = 4942) or (c7 = 4943) or (c8 = 4944) or (c4 = 4945) or (c5 = 4946) or (c6 = 4947) or (c7 = 4948) or (c8 = 4949) or (c4 = 4950) or (c5 = 4951) or (c6 = 4952) or (c7 = 4953) or (c8 = 4954) or (c4 = 4955) or (c5 = 4956) or (c6 = 4957) or (c7 = 4958) or (c8 = 4959) or (c4 = 4960) or (c5 = 4961) or (c6 = 4962) or (c7 = 4963) or (c8 = 4964) or (c4 = 4965) or (c5 = 4966) or (c6 = 4967) or (c7 = 4968) or (c8 = 4969) or (c4 = 4970) or (c5 = 4971) or (c6 = 4972) or (c7 = 4973) or (c8 = 4974) or (c4 = 4975) or (c5 = 4976) or (c6 = 4977) or (c7 = 4978) or (c8 = 4979) or (c4 = 4980) or (c5 = 4981) or (c6 = 4982) or (c7 = 4983) or (c8 = 4984) or (c4 = 4985) or (c5 = 4986) or (c6 = 4987) or (c7 = 4988) or (c8 = 4989) or (c4 = 4990) or (c5 = 4991) or (c6 = 4992) or (c7 = 4993) or (c8 = 4994) or (c4 = 4995) or (c5 = 4996) or (c6 = 4997) or (c7 = 4998) or (c8 = 4999) or (c4 = 5000) or (c5 = 5001) or (c6 = 5002) or (c7 = 5003) or (c8 = 5004) or (c4 = 5005) or (c5 = 5006) or (c6 = 5007) or (c7 = 5008) or (c8 = 5009) or (c4 = 5010) or (c5 = 5011) or (c6 = 5012) or (c7 = 5013) or (c8 = 5014) or (c4 = 5015) or (c5 = 5016) or (c6 = 5017) or (c7 = 5018) or (c8 = 5019) or (c4 = 5020) or (c5 = 5021) or (c6 = 5022) or (c7 = 5023) or (c8 = 5024) or (c4 = 5025) or (c5 = 5026) or (c6 = 5027) or (c7 = 5028) or (c8 = 5029) or (c4 = 5030) or (c5 = 5031) or (c6 = 5032) or (c7 = 5033) or (c8 = 5034) or (c4 = 5035) or (c5 = 5036) or (c6 = 5037) or (c7 = 5038) or (c8 = 5039) or (c4 = 5040) or (c5 = 5041) or (c6 = 5042) or (c7 = 5043) or (c8 = 5044) or (c4 = 5045) or (c5 = 5046) or (c6 = 5047) or (c7 = 5048) or (c8 = 5049) or (c4 = 5050) or (c5 = 5051) or (c6 = 5052) or (c7 = 5053) or (c8 = 5054) or (c4 = 5055) or (c5 = 5056) or (c6 = 5057) or (c7 = 5058) or (c8 = 5059) or (c4 = 5060) or (c5 = 5061) or (c6 = 5062) or (c7 = 5063) or (c8 = 5064) or (c4 = 5065) or (c5 = 5066) or (c6 = 5067) or (c7 = 5068) or (c8 = 5069) or (c4 = 5070) or (c5 = 5071) or (c6 = 5072) or (c7 = 5073) or (c8 = 5074) or (c4 = 5075) or (c5 = 5076) or (c6 = 5077) or (c7 = 5078) or (c8 = 5079) or (c4 = 5080) or (c5 = 5081) or (c6 = 5082) or (c7 = 5083) or (c8 = 5084) or (c4 = 5085) or (c5 = 5086) or (c6 = 5087) or (c7 = 5088) or (c8 = 5089) or (c4 = 5090) or (c5 = 5091) or (c6 = 5092) or (c7 = 5093) or (c8 = 5094) or (c4 = 5095) or (c5 = 5096) or (c6 = 5097) or (c7 = 5098) or (c8 = 5099) or (c4 = 5100) or (c5 = 5101) or (c6 = 5102) or (c7 = 5103) or (c8 = 5104) or (c4 = 5105) or (c5 = 5106) or (c6 = 5107) or (c7 = 5108) or (c8 = 5109) or (c4 = 5110) or (c5 = 5111) or (c6 = 5112) or (c7 = 5113) or (c8 = 5114) or (c4 = 5115) or (c5 = 5116) or (c6 = 5117) or (c7 = 5118) or (c8 = 5119) or (c4 = 5120) or (c5 = 5121) or (c6 = 5122) or (c7 = 5123) or (c8 = 5124) or (c4 = 5125) or (c5 = 5126) or (c6 = 5127) or (c7 = 5128) or (c8 = 5129) or (c4 = 5130) or (c5 = 5131) or (c6 = 5132) or (c7 = 5133) or (c8 = 5134) or (c4 = 5135) or (c5 = 5136) or (c6 = 5137) or (c7 = 5138) or (c8 = 5139) or (c4 = 5140) or (c5 = 5141) or (c6 = 5142) or (c7 = 5143) or (c8 = 5144) or (c4 = 5145) or (c5 = 5146) or (c6 = 5147) or (c7 = 5148) or (c8 = 5149) or (c4 = 5150) or (c5 = 5151) or (c6 = 5152) or (c7 = 5153) or (c8 = 5154) or (c4 = 5155) or (c5 = 5156) or (c6 = 5157) or (c7 = 5158) or (c8 = 5159) or (c4 = 5160) or (c5 = 5161) or (c6 = 5162) or (c7 = 5163) or (c8 = 5164) or (c4 = 5165) or (c5 = 5166) or (c6 = 5167) or (c7 = 5168) or (c8 = 5169) or (c4 = 5170) or (c5 = 5171) or (c6 = 5172) or (c7 = 5173) or (c8 = 5174) or (c4 = 5175) or (c5 = 5176) or (c6 = 5177) or (c7 = 5178) or (c8 = 5179) or (c4 = 5180) or (c5 = 5181) or (c6 = 5182) or (c7 = 5183) or (c8 = 5184) or (c4 = 5185) or (c5 = 5186) or (c6 = 5187) or (c7 = 5188) or (c8 = 5189) or (c4 = 5190) or (c5 = 5191) or (c6 = 5192) or (c7 = 5193) or (c8 = 5194) or (c4 = 5195) or (c5 = 5196) or (c6 = 5197) or (c7 = 5198) or (c8 = 5199) or (c4 = 5200) or (c5 = 5201) or (c6 = 5202) or (c7 = 5203) or (c8 = 5204) or (c4 = 5205) or (c5 = 5206) or (c6 = 5207) or (c7 = 5208) or (c8 = 5209) or (c4 = 5210) or (c5 = 5211) or (c6 = 5212) or (c7 = 5213) or (c8 = 5214) or (c4 = 5215) or (c5 = 5216) or (c6 = 5217) or (c7 = 5218) or (c8 = 5219) or (c4 = 5220) or (c5 = 5221) or (c6 = 5222) or (c7 = 5223) or (c8 = 5224) or (c4 = 5225) or (c5 = 5226) or (c6 = 5227) or (c7 = 5228) or (c8 = 5229) or (c4 = 5230) or (c5 = 5231) or (c6 = 5232) or (c7 = 5233) or (c8 = 5234) or (c4 = 5235) or (c5 = 5236) or (c6 = 5237) or (c7 = 5238) or (c8 = 5239) or (c4 = 5240) or (c5 = 5241) or (c6 = 5242) or (c7 = 5243) or (c8 = 5244) or (c4 = 5245) or (c5 = 5246) or (c6 = 5247) or (c7 = 5248) or (c8 = 5249) or (c4 = 5250) or (c5 = 5251) or (c6 = 5252) or (c7 = 5253) or (c8 = 5254) or (c4 = 5255) or (c5 = 5256) or (c6 = 5257) or (c7 = 5258) or (c8 = 5259) or (c4 = 5260) or (c5 = 5261) or (c6 = 5262) or (c7 = 5263) or (c8 = 5264) or (c4 = 5265) or (c5 = 5266) or (c6 = 5267) or (c7 = 5268) or (c8 = 5269) or (c4 = 5270) or (c5 = 5271) or (c6 = 5272) or (c7 = 5273) or (c8 = 5274) or (c4 = 5275) or (c5 = 5276) or (c6 = 5277) or (c7 = 5278) or (c8 = 5279) or (c4 = 5280) or (c5 = 5281) or (c6 = 5282) or (c7 = 5283) or (c8 = 5284) or (c4 = 5285) or (c5 = 5286) or (c6 = 5287) or (c7 = 5288) or (c8 = 5289) or (c4 = 5290) or (c5 = 5291) or (c6 = 5292) or (c7 = 5293) or (c8 = 5294) or (c4 = 5295) or (c5 = 5296) or (c6 = 5297) or (c7 = 5298) or (c8 = 5299) or (c4 = 5300) or (c5 = 5301) or (c6 = 5302) or (c7 = 5303) or (c8 = 5304) or (c4 = 5305) or (c5 = 5306) or (c6 = 5307) or (c7 = 5308) or (c8 = 5309) or (c4 = 5310) or (c5 = 5311) or (c6 = 5312) or (c7 = 5313) or (c8 = 5314) or (c4 = 5315) or (c5 = 5316) or (c6 = 5317) or (c7 = 5318) or (c8 = 5319) or (c4 = 5320) or (c5 = 5321) or (c6 = 5322) or (c7 = 5323) or (c8 = 5324) or (c4 = 5325) or (c5 = 5326) or (c6 = 5327) or (c7 = 5328) or (c8 = 5329) or (c4 = 5330) or (c5 = 5331) or (c6 = 5332) or (c7 = 5333) or (c8 = 5334) or (c4 = 5335) or (c5 = 5336) or (c6 = 5337) or (c7 = 5338) or (c8 = 5339) or (c4 = 5340) or (c5 = 5341) or (c6 = 5342) or (c7 = 5343) or (c8 = 5344) or (c4 = 5345) or (c5 = 5346) or (c6 = 5347) or (c7 = 5348) or (c8 = 5349) or (c4 = 5350) or (c5 = 5351) or (c6 = 5352) or (c7 = 5353) or (c8 = 5354) or (c4 = 5355) or (c5 = 5356) or (c6 = 5357) or (c7 = 5358) or (c8 = 5359) or (c4 = 5360) or (c5 = 5361) or (c6 = 5362) or (c7 = 5363) or (c8 = 5364) or (c4 = 5365) or (c5 = 5366) or (c6 = 5367) or (c7 = 5368) or (c8 = 5369) or (c4 = 5370) or (c5 = 5371) or (c6 = 5372) or (c7 = 5373) or (c8 = 5374) or (c4 = 5375) or (c5 = 5376) or (c6 = 5377) or (c7 = 5378) or (c8 = 5379) or (c4 = 5380) or (c5 = 5381) or (c6 = 5382) or (c7 = 5383) or (c8 = 5384) or (c4 = 5385) or (c5 = 5386) or (c6 = 5387) or (c7 = 5388) or (c8 = 5389) or (c4 = 5390) or (c5 = 5391) or (c6 = 5392) or (c7 = 5393) or (c8 = 5394) or (c4 = 5395) or (c5 = 5396) or (c6 = 5397) or (c7 = 5398) or (c8 = 5399) or (c4 = 5400) or (c5 = 5401) or (c6 = 5402) or (c7 = 5403) or (c8 = 5404) or (c4 = 5405) or (c5 = 5406) or (c6 = 5407) or (c7 = 5408) or (c8 = 5409) or (c4 = 5410) or (c5 = 5411) or (c6 = 5412) or (c7 = 5413) or (c8 = 5414) or (c4 = 5415) or (c5 = 5416) or (c6 = 5417) or (c7 = 5418) or (c8 = 5419) or (c4 = 5420) or (c5 = 5421) or (c6 = 5422) or (c7 = 5423) or (c8 = 5424) or (c4 = 5425) or (c5 = 5426) or (c6 = 5427) or (c7 = 5428) or (c8 = 5429) or (c4 = 5430) or (c5 = 5431) or (c6 = 5432) or (c7 = 5433) or (c8 = 5434) or (c4 = 5435) or (c5 = 5436) or (c6 = 5437) or (c7 = 5438) or (c8 = 5439) or (c4 = 5440) or (c5 = 5441) or (c6 = 5442) or (c7 = 5443) or (c8 = 5444) or (c4 = 5445) or (c5 = 5446) or (c6 = 5447) or (c7 = 5448) or (c8 = 5449) or (c4 = 5450) or (c5 = 5451) or (c6 = 5452) or (c7 = 5453) or (c8 = 5454) or (c4 = 5455) or (c5 = 5456) or (c6 = 5457) or (c7 = 5458) or (c8 = 5459) or (c4 = 5460) or (c5 = 5461) or (c6 = 5462) or (c7 = 5463) or (c8 = 5464) or (c4 = 5465) or (c5 = 5466) or (c6 = 5467) or (c7 = 5468) or (c8 = 5469) or (c4 = 5470) or (c5 = 5471) or (c6 = 5472) or (c7 = 5473) or (c8 = 5474) or (c4 = 5475) or (c5 = 5476) or (c6 = 5477) or (c7 = 5478) or (c8 = 5479) or (c4 = 5480) or (c5 = 5481) or (c6 = 5482) or (c7 = 5483) or (c8 = 5484) or (c4 = 5485) or (c5 = 5486) or (c6 = 5487) or (c7 = 5488) or (c8 = 5489) or (c4 = 5490) or (c5 = 5491) or (c6 = 5492) or (c7 = 5493) or (c8 = 5494) or (c4 = 5495) or (c5 = 5496) or (c6 = 5497) or (c7 = 5498) or (c8 = 5499) or (c4 = 5500) or (c5 = 5501) or (c6 = 5502) or (c7 = 5503) or (c8 = 5504) or (c4 = 5505) or (c5 = 5506) or (c6 = 5507) or (c7 = 5508) or (c8 = 5509) or (c4 = 5510) or (c5 = 5511) or (c6 = 5512) or (c7 = 5513) or (c8 = 5514) or (c4 = 5515) or (c5 = 5516) or (c6 = 5517) or (c7 = 5518) or (c8 = 5519) or (c4 = 5520) or (c5 = 5521) or (c6 = 5522) or (c7 = 5523) or (c8 = 5524) or (c4 = 5525) or (c5 = 5526) or (c6 = 5527) or (c7 = 5528) or (c8 = 5529) or (c4 = 5530) or (c5 = 5531) or (c6 = 5532) or (c7 = 5533) or (c8 = 5534) or (c4 = 5535) or (c5 = 5536) or (c6 = 5537) or (c7 = 5538) or (c8 = 5539) or (c4 = 5540) or (c5 = 5541) or (c6 = 5542) or (c7 = 5543) or (c8 = 5544) or (c4 = 5545) or (c5 = 5546) or (c6 = 5547) or (c7 = 5548) or (c8 = 5549) or (c4 = 5550) or (c5 = 5551) or (c6 = 5552) or (c7 = 5553) or (c8 = 5554) or (c4 = 5555) or (c5 = 5556) or (c6 = 5557) or (c7 = 5558) or (c8 = 5559) or (c4 = 5560) or (c5 = 5561) or (c6 = 5562) or (c7 = 5563) or (c8 = 5564) or (c4 = 5565) or (c5 = 5566) or (c6 = 5567) or (c7 = 5568) or (c8 = 5569) or (c4 = 5570) or (c5 = 5571) or (c6 = 5572) or (c7 = 5573) or (c8 = 5574) or (c4 = 5575) or (c5 = 5576) or (c6 = 5577) or (c7 = 5578) or (c8 = 5579) or (c4 = 5580) or (c5 = 5581) or (c6 = 5582) or (c7 = 5583) or (c8 = 5584) or (c4 = 5585) or (c5 = 5586) or (c6 = 5587) or (c7 = 5588) or (c8 = 5589) or (c4 = 5590) or (c5 = 5591) or (c6 = 5592) or (c7 = 5593) or (c8 = 5594) or (c4 = 5595) or (c5 = 5596) or (c6 = 5597) or (c7 = 5598) or (c8 = 5599) or (c4 = 5600) or (c5 = 5601) or (c6 = 5602) or (c7 = 5603) or (c8 = 5604) or (c4 = 5605) or (c5 = 5606) or (c6 = 5607) or (c7 = 5608) or (c8 = 5609) or (c4 = 5610) or (c5 = 5611) or (c6 = 5612) or (c7 = 5613) or (c8 = 5614) or (c4 = 5615) or (c5 = 5616) or (c6 = 5617) or (c7 = 5618) or (c8 = 5619) or (c4 = 5620) or (c5 = 5621) or (c6 = 5622) or (c7 = 5623) or (c8 = 5624) or (c4 = 5625) or (c5 = 5626) or (c6 = 5627) or (c7 = 5628) or (c8 = 5629) or (c4 = 5630) or (c5 = 5631) or (c6 = 5632) or (c7 = 5633) or (c8 = 5634) or (c4 = 5635) or (c5 = 5636) or (c6 = 5637) or (c7 = 5638) or (c8 = 5639) or (c4 = 5640) or (c5 = 5641) or (c6 = 5642) or (c7 = 5643) or (c8 = 5644) or (c4 = 5645) or (c5 = 5646) or (c6 = 5647) or (c7 = 5648) or (c8 = 5649) or (c4 = 5650) or (c5 = 5651) or (c6 = 5652) or (c7 = 5653) or (c8 = 5654) or (c4 = 5655) or (c5 = 5656) or (c6 = 5657) or (c7 = 5658) or (c8 = 5659) or (c4 = 5660) or (c5 = 5661) or (c6 = 5662) or (c7 = 5663) or (c8 = 5664) or (c4 = 5665) or (c5 = 5666) or (c6 = 5667) or (c7 = 5668) or (c8 = 5669) or (c4 = 5670) or (c5 = 5671) or (c6 = 5672) or (c7 = 5673) or (c8 = 5674) or (c4 = 5675) or (c5 = 5676) or (c6 = 5677) or (c7 = 5678) or (c8 = 5679) or (c4 = 5680) or (c5 = 5681) or (c6 = 5682) or (c7 = 5683) or (c8 = 5684) or (c4 = 5685) or (c5 = 5686) or (c6 = 5687) or (c7 = 5688) or (c8 = 5689) or (c4 = 5690) or (c5 = 5691) or (c6 = 5692) or (c7 = 5693) or (c8 = 5694) or (c4 = 5695) or (c5 = 5696) or (c6 = 5697) or (c7 = 5698) or (c8 = 5699) or (c4 = 5700) or (c5 = 5701) or (c6 = 5702) or (c7 = 5703) or (c8 = 5704) or (c4 = 5705) or (c5 = 5706) or (c6 = 5707) or (c7 = 5708) or (c8 = 5709) or (c4 = 5710) or (c5 = 5711) or (c6 = 5712) or (c7 = 5713) or (c8 = 5714) or (c4 = 5715) or (c5 = 5716) or (c6 = 5717) or (c7 = 5718) or (c8 = 5719) or (c4 = 5720) or (c5 = 5721) or (c6 = 5722) or (c7 = 5723) or (c8 = 5724) or (c4 = 5725) or (c5 = 5726) or (c6 = 5727) or (c7 = 5728) or (c8 = 5729) or (c4 = 5730) or (c5 = 5731) or (c6 = 5732) or (c7 = 5733) or (c8 = 5734) or (c4 = 5735) or (c5 = 5736) or (c6 = 5737) or (c7 = 5738) or (c8 = 5739) or (c4 = 5740) or (c5 = 5741) or (c6 = 5742) or (c7 = 5743) or (c8 = 5744) or (c4 = 5745) or (c5 = 5746) or (c6 = 5747) or (c7 = 5748) or (c8 = 5749) or (c4 = 5750) or (c5 = 5751) or (c6 = 5752) or (c7 = 5753) or (c8 = 5754) or (c4 = 5755) or (c5 = 5756) or (c6 = 5757) or (c7 = 5758) or (c8 = 5759) or (c4 = 5760) or (c5 = 5761) or (c6 = 5762) or (c7 = 5763) or (c8 = 5764) or (c4 = 5765) or (c5 = 5766) or (c6 = 5767) or (c7 = 5768) or (c8 = 5769) or (c4 = 5770) or (c5 = 5771) or (c6 = 5772) or (c7 = 5773) or (c8 = 5774) or (c4 = 5775) or (c5 = 5776) or (c6 = 5777) or (c7 = 5778) or (c8 = 5779) or (c4 = 5780) or (c5 = 5781) or (c6 = 5782) or (c7 = 5783) or (c8 = 5784) or (c4 = 5785) or (c5 = 5786) or (c6 = 5787) or (c7 = 5788) or (c8 = 5789) or (c4 = 5790) or (c5 = 5791) or (c6 = 5792) or (c7 = 5793) or (c8 = 5794) or (c4 = 5795) or (c5 = 5796) or (c6 = 5797) or (c7 = 5798) or (c8 = 5799) or (c4 = 5800) or (c5 = 5801) or (c6 = 5802) or (c7 = 5803) or (c8 = 5804) or (c4 = 5805) or (c5 = 5806) or (c6 = 5807) or (c7 = 5808) or (c8 = 5809) or (c4 = 5810) or (c5 = 5811) or (c6 = 5812) or (c7 = 5813) or (c8 = 5814) or (c4 = 5815) or (c5 = 5816) or (c6 = 5817) or (c7 = 5818) or (c8 = 5819) or (c4 = 5820) or (c5 = 5821) or (c6 = 5822) or (c7 = 5823) or (c8 = 5824) or (c4 = 5825) or (c5 = 5826) or (c6 = 5827) or (c7 = 5828) or (c8 = 5829) or (c4 = 5830) or (c5 = 5831) or (c6 = 5832) or (c7 = 5833) or (c8 = 5834) or (c4 = 5835) or (c5 = 5836) or (c6 = 5837) or (c7 = 5838) or (c8 = 5839) or (c4 = 5840) or (c5 = 5841) or (c6 = 5842) or (c7 = 5843) or (c8 = 5844) or (c4 = 5845) or (c5 = 5846) or (c6 = 5847) or (c7 = 5848) or (c8 = 5849) or (c4 = 5850) or (c5 = 5851) or (c6 = 5852) or (c7 = 5853) or (c8 = 5854) or (c4 = 5855) or (c5 = 5856) or (c6 = 5857) or (c7 = 5858) or (c8 = 5859) or (c4 = 5860) or (c5 = 5861) or (c6 = 5862) or (c7 = 5863) or (c8 = 5864) or (c4 = 5865) or (c5 = 5866) or (c6 = 5867) or (c7 = 5868) or (c8 = 5869) or (c4 = 5870) or (c5 = 5871) or (c6 = 5872) or (c7 = 5873) or (c8 = 5874) or (c4 = 5875) or (c5 = 5876) or (c6 = 5877) or (c7 = 5878) or (c8 = 5879) or (c4 = 5880) or (c5 = 5881) or (c6 = 5882) or (c7 = 5883) or (c8 = 5884) or (c4 = 5885) or (c5 = 5886) or (c6 = 5887) or (c7 = 5888) or (c8 = 5889) or (c4 = 5890) or (c5 = 5891) or (c6 = 5892) or (c7 = 5893) or (c8 = 5894) or (c4 = 5895) or (c5 = 5896) or (c6 = 5897) or (c7 = 5898) or (c8 = 5899) or (c4 = 5900) or (c5 = 5901) or (c6 = 5902) or (c7 = 5903) or (c8 = 5904) or (c4 = 5905) or (c5 = 5906) or (c6 = 5907) or (c7 = 5908) or (c8 = 5909) or (c4 = 5910) or (c5 = 5911) or (c6 = 5912) or (c7 = 5913) or (c8 = 5914) or (c4 = 5915) or (c5 = 5916) or (c6 = 5917) or (c7 = 5918) or (c8 = 5919) or (c4 = 5920) or (c5 = 5921) or (c6 = 5922) or (c7 = 5923) or (c8 = 5924) or (c4 = 5925) or (c5 = 5926) or (c6 = 5927) or (c7 = 5928) or (c8 = 5929) or (c4 = 5930) or (c5 = 5931) or (c6 = 5932) or (c7 = 5933) or (c8 = 5934) or (c4 = 5935) or (c5 = 5936) or (c6 = 5937) or (c7 = 5938) or (c8 = 5939) or (c4 = 5940) or (c5 = 5941) or (c6 = 5942) or (c7 = 5943) or (c8 = 5944) or (c4 = 5945) or (c5 = 5946) or (c6 = 5947) or (c7 = 5948) or (c8 = 5949) or (c4 = 5950) or (c5 = 5951) or (c6 = 5952) or (c7 = 5953) or (c8 = 5954) or (c4 = 5955) or (c5 = 5956) or (c6 = 5957) or (c7 = 5958) or (c8 = 5959) or (c4 = 5960) or (c5 = 5961) or (c6 = 5962) or (c7 = 5963) or (c8 = 5964) or (c4 = 5965) or (c5 = 5966) or (c6 = 5967) or (c7 = 5968) or (c8 = 5969) or (c4 = 5970) or (c5 = 5971) or (c6 = 5972) or (c7 = 5973) or (c8 = 5974) or (c4 = 5975) or (c5 = 5976) or (c6 = 5977) or (c7 = 5978) or (c8 = 5979) or (c4 = 5980) or (c5 = 5981) or (c6 = 5982) or (c7 = 5983) or (c8 = 5984) or (c4 = 5985) or (c5 = 5986) or (c6 = 5987) or (c7 = 5988) or (c8 = 5989) or (c4 = 5990) or (c5 = 5991) or (c6 = 5992) or (c7 = 5993) or (c8 = 5994) or (c4 = 5995) or (c5 = 5996) or (c6 = 5997) or (c7 = 5998) or (c8 = 5999) or (c4 = 6000) or (c5 = 6001) or (c6 = 6002) or (c7 = 6003) or (c8 = 6004) or (c4 = 6005) or (c5 = 6006) or (c6 = 6007) or (c7 = 6008) or (c8 = 6009) or (c4 = 6010) or (c5 = 6011) or (c6 = 6012) or (c7 = 6013) or (c8 = 6014) or (c4 = 6015) or (c5 = 6016) or (c6 = 6017) or (c7 = 6018) or (c8 = 6019) or (c4 = 6020) or (c5 = 6021) or (c6 = 6022) or (c7 = 6023) or (c8 = 6024) or (c4 = 6025) or (c5 = 6026) or (c6 = 6027) or (c7 = 6028) or (c8 = 6029) or (c4 = 6030) or (c5 = 6031) or (c6 = 6032) or (c7 = 6033) or (c8 = 6034) or (c4 = 6035) or (c5 = 6036) or (c6 = 6037) or (c7 = 6038) or (c8 = 6039) or (c4 = 6040) or (c5 = 6041) or (c6 = 6042) or (c7 = 6043) or (c8 = 6044) or (c4 = 6045) or (c5 = 6046) or (c6 = 6047) or (c7 = 6048) or (c8 = 6049) or (c4 = 6050) or (c5 = 6051) or (c6 = 6052) or (c7 = 6053) or (c8 = 6054) or (c4 = 6055) or (c5 = 6056) or (c6 = 6057) or (c7 = 6058) or (c8 = 6059) or (c4 = 6060) or (c5 = 6061) or (c6 = 6062) or (c7 = 6063) or (c8 = 6064) or (c4 = 6065) or (c5 = 6066) or (c6 = 6067) or (c7 = 6068) or (c8 = 6069) or (c4 = 6070) or (c5 = 6071) or (c6 = 6072) or (c7 = 6073) or (c8 = 6074) or (c4 = 6075) or (c5 = 6076) or (c6 = 6077) or (c7 = 6078) or (c8 = 6079) or (c4 = 6080) or (c5 = 6081) or (c6 = 6082) or (c7 = 6083) or (c8 = 6084) or (c4 = 6085) or (c5 = 6086) or (c6 = 6087) or (c7 = 6088) or (c8 = 6089) or (c4 = 6090) or (c5 = 6091) or (c6 = 6092) or (c7 = 6093) or (c8 = 6094) or (c4 = 6095) or (c5 = 6096) or (c6 = 6097) or (c7 = 6098) or (c8 = 6099) or (c4 = 6100) or (c5 = 6101) or (c6 = 6102) or (c7 = 6103) or (c8 = 6104) or (c4 = 6105) or (c5 = 6106) or (c6 = 6107) or (c7 = 6108) or (c8 = 6109) or (c4 = 6110) or (c5 = 6111) or (c6 = 6112) or (c7 = 6113) or (c8 = 6114) or (c4 = 6115) or (c5 = 6116) or (c6 = 6117) or (c7 = 6118) or (c8 = 6119) or (c4 = 6120) or (c5 = 6121) or (c6 = 6122) or (c7 = 6123) or (c8 = 6124) or (c4 = 6125) or (c5 = 6126) or (c6 = 6127) or (c7 = 6128) or (c8 = 6129) or (c4 = 6130) or (c5 = 6131) or (c6 = 6132) or (c7 = 6133) or (c8 = 6134) or (c4 = 6135) or (c5 = 6136) or (c6 = 6137) or (c7 = 6138) or (c8 = 6139) or (c4 = 6140) or (c5 = 6141) or (c6 = 6142) or (c7 = 6143) or (c8 = 6144) or (c4 = 6145) or (c5 = 6146) or (c6 = 6147) or (c7 = 6148) or (c8 = 6149) or (c4 = 6150) or (c5 = 6151) or (c6 = 6152) or (c7 = 6153) or (c8 = 6154) or (c4 = 6155) or (c5 = 6156) or (c6 = 6157) or (c7 = 6158) or (c8 = 6159) or (c4 = 6160) or (c5 = 6161) or (c6 = 6162) or (c7 = 6163) or (c8 = 6164) or (c4 = 6165) or (c5 = 6166) or (c6 = 6167) or (c7 = 6168) or (c8 = 6169) or (c4 = 6170) or (c5 = 6171) or (c6 = 6172) or (c7 = 6173) or (c8 = 6174) or (c4 = 6175) or (c5 = 6176) or (c6 = 6177) or (c7 = 6178) or (c8 = 6179) or (c4 = 6180) or (c5 = 6181) or (c6 = 6182) or (c7 = 6183) or (c8 = 6184) or (c4 = 6185) or (c5 = 6186) or (c6 = 6187) or (c7 = 6188) or (c8 = 6189) or (c4 = 6190) or (c5 = 6191) or (c6 = 6192) or (c7 = 6193) or (c8 = 6194) or (c4 = 6195) or (c5 = 6196) or (c6 = 6197) or (c7 = 6198) or (c8 = 6199) or (c4 = 6200) or (c5 = 6201) or (c6 = 6202) or (c7 = 6203) or (c8 = 6204) or (c4 = 6205) or (c5 = 6206) or (c6 = 6207) or (c7 = 6208) or (c8 = 6209) or (c4 = 6210) or (c5 = 6211) or (c6 = 6212) or (c7 = 6213) or (c8 = 6214) or (c4 = 6215) or (c5 = 6216) or (c6 = 6217) or (c7 = 6218) or (c8 = 6219) or (c4 = 6220) or (c5 = 6221) or (c6 = 6222) or (c7 = 6223) or (c8 = 6224) or (c4 = 6225) or (c5 = 6226) or (c6 = 6227) or (c7 = 6228) or (c8 = 6229) or (c4 = 6230) or (c5 = 6231) or (c6 = 6232) or (c7 = 6233) or (c8 = 6234) or (c4 = 6235) or (c5 = 6236) or (c6 = 6237) or (c7 = 6238) or (c8 = 6239) or (c4 = 6240) or (c5 = 6241) or (c6 = 6242) or (c7 = 6243) or (c8 = 6244) or (c4 = 6245) or (c5 = 6246) or (c6 = 6247) or (c7 = 6248) or (c8 = 6249) or (c4 = 6250) or (c5 = 6251) or (c6 = 6252) or (c7 = 6253) or (c8 = 6254) or (c4 = 6255) or (c5 = 6256) or (c6 = 6257) or (c7 = 6258) or (c8 = 6259) or (c4 = 6260) or (c5 = 6261) or (c6 = 6262) or (c7 = 6263) or (c8 = 6264) or (c4 = 6265) or (c5 = 6266) or (c6 = 6267) or (c7 = 6268) or (c8 = 6269) or (c4 = 6270) or (c5 = 6271) or (c6 = 6272) or (c7 = 6273) or (c8 = 6274) or (c4 = 6275) or (c5 = 6276) or (c6 = 6277) or (c7 = 6278) or (c8 = 6279) or (c4 = 6280) or (c5 = 6281) or (c6 = 6282) or (c7 = 6283) or (c8 = 6284) or (c4 = 6285) or (c5 = 6286) or (c6 = 6287) or (c7 = 6288) or (c8 = 6289) or (c4 = 6290) or (c5 = 6291) or (c6 = 6292) or (c7 = 6293) or (c8 = 6294) or (c4 = 6295) or (c5 = 6296) or (c6 = 6297) or (c7 = 6298) or (c8 = 6299) or (c4 = 6300) or (c5 = 6301) or (c6 = 6302) or (c7 = 6303) or (c8 = 6304) or (c4 = 6305) or (c5 = 6306) or (c6 = 6307) or (c7 = 6308) or (c8 = 6309) or (c4 = 6310) or (c5 = 6311) or (c6 = 6312) or (c7 = 6313) or (c8 = 6314) or (c4 = 6315) or (c5 = 6316) or (c6 = 6317) or (c7 = 6318) or (c8 = 6319) or (c4 = 6320) or (c5 = 6321) or (c6 = 6322) or (c7 = 6323) or (c8 = 6324) or (c4 = 6325) or (c5 = 6326) or (c6 = 6327) or (c7 = 6328) or (c8 = 6329) or (c4 = 6330) or (c5 = 6331) or (c6 = 6332) or (c7 = 6333) or (c8 = 6334) or (c4 = 6335) or (c5 = 6336) or (c6 = 6337) or (c7 = 6338) or (c8 = 6339) or (c4 = 6340) or (c5 = 6341) or (c6 = 6342) or (c7 = 6343) or (c8 = 6344) or (c4 = 6345) or (c5 = 6346) or (c6 = 6347) or (c7 = 6348) or (c8 = 6349) or (c4 = 6350) or (c5 = 6351) or (c6 = 6352) or (c7 = 6353) or (c8 = 6354) or (c4 = 6355) or (c5 = 6356) or (c6 = 6357) or (c7 = 6358) or (c8 = 6359) or (c4 = 6360) or (c5 = 6361) or (c6 = 6362) or (c7 = 6363) or (c8 = 6364) or (c4 = 6365) or (c5 = 6366) or (c6 = 6367) or (c7 = 6368) or (c8 = 6369) or (c4 = 6370) or (c5 = 6371) or (c6 = 6372) or (c7 = 6373) or (c8 = 6374) or (c4 = 6375) or (c5 = 6376) or (c6 = 6377) or (c7 = 6378) or (c8 = 6379) or (c4 = 6380) or (c5 = 6381) or (c6 = 6382) or (c7 = 6383) or (c8 = 6384) or (c4 = 6385) or (c5 = 6386) or (c6 = 6387) or (c7 = 6388) or (c8 = 6389) or (c4 = 6390) or (c5 = 6391) or (c6 = 6392) or (c7 = 6393) or (c8 = 6394) or (c4 = 6395) or (c5 = 6396) or (c6 = 6397) or (c7 = 6398) or (c8 = 6399) or (c4 = 6400) or (c5 = 6401) or (c6 = 6402) or (c7 = 6403) or (c8 = 6404) or (c4 = 6405) or (c5 = 6406) or (c6 = 6407) or (c7 = 6408) or (c8 = 6409) or (c4 = 6410) or (c5 = 6411) or (c6 = 6412) or (c7 = 6413) or (c8 = 6414) or (c4 = 6415) or (c5 = 6416) or (c6 = 6417) or (c7 = 6418) or (c8 = 6419) or (c4 = 6420) or (c5 = 6421) or (c6 = 6422) or (c7 = 6423) or (c8 = 6424) or (c4 = 6425) or (c5 = 6426) or (c6 = 6427) or (c7 = 6428) or (c8 = 6429) or (c4 = 6430) or (c5 = 6431) or (c6 = 6432) or (c7 = 6433) or (c8 = 6434) or (c4 = 6435) or (c5 = 6436) or (c6 = 6437) or (c7 = 6438) or (c8 = 6439) or (c4 = 6440) or (c5 = 6441) or (c6 = 6442) or (c7 = 6443) or (c8 = 6444) or (c4 = 6445) or (c5 = 6446) or (c6 = 6447) or (c7 = 6448) or (c8 = 6449) or (c4 = 6450) or (c5 = 6451) or (c6 = 6452) or (c7 = 6453) or (c8 = 6454) or (c4 = 6455) or (c5 = 6456) or (c6 = 6457) or (c7 = 6458) or (c8 = 6459) or (c4 = 6460) or (c5 = 6461) or (c6 = 6462) or (c7 = 6463) or (c8 = 6464) or (c4 = 6465) or (c5 = 6466) or (c6 = 6467) or (c7 = 6468) or (c8 = 6469) or (c4 = 6470) or (c5 = 6471) or (c6 = 6472) or (c7 = 6473) or (c8 = 6474) or (c4 = 6475) or (c5 = 6476) or (c6 = 6477) or (c7 = 6478) or (c8 = 6479) or (c4 = 6480) or (c5 = 6481) or (c6 = 6482) or (c7 = 6483) or (c8 = 6484) or (c4 = 6485) or (c5 = 6486) or (c6 = 6487) or (c7 = 6488) or (c8 = 6489) or (c4 = 6490) or (c5 = 6491) or (c6 = 6492) or (c7 = 6493) or (c8 = 6494) or (c4 = 6495) or (c5 = 6496) or (c6 = 6497) or (c7 = 6498) or (c8 = 6499) or (c4 = 6500) or (c5 = 6501) or (c6 = 6502) or (c7 = 6503) or (c8 = 6504) or (c4 = 6505) or (c5 = 6506) or (c6 = 6507) or (c7 = 6508) or (c8 = 6509) or (c4 = 6510) or (c5 = 6511) or (c6 = 6512) or (c7 = 6513) or (c8 = 6514) or (c4 = 6515) or (c5 = 6516) or (c6 = 6517) or (c7 = 6518) or (c8 = 6519) or (c4 = 6520) or (c5 = 6521) or (c6 = 6522) or (c7 = 6523) or (c8 = 6524) or (c4 = 6525) or (c5 = 6526) or (c6 = 6527) or (c7 = 6528) or (c8 = 6529) or (c4 = 6530) or (c5 = 6531) or (c6 = 6532) or (c7 = 6533) or (c8 = 6534) or (c4 = 6535) or (c5 = 6536) or (c6 = 6537) or (c7 = 6538) or (c8 = 6539) or (c4 = 6540) or (c5 = 6541) or (c6 = 6542) or (c7 = 6543) or (c8 = 6544) or (c4 = 6545) or (c5 = 6546) or (c6 = 6547) or (c7 = 6548) or (c8 = 6549) or (c4 = 6550) or (c5 = 6551) or (c6 = 6552) or (c7 = 6553) or (c8 = 6554) or (c4 = 6555) or (c5 = 6556) or (c6 = 6557) or (c7 = 6558) or (c8 = 6559) or (c4 = 6560) or (c5 = 6561) or (c6 = 6562) or (c7 = 6563) or (c8 = 6564) or (c4 = 6565) or (c5 = 6566) or (c6 = 6567) or (c7 = 6568) or (c8 = 6569) or (c4 = 6570) or (c5 = 6571) or (c6 = 6572) or (c7 = 6573) or (c8 = 6574) or (c4 = 6575) or (c5 = 6576) or (c6 = 6577) or (c7 = 6578) or (c8 = 6579) or (c4 = 6580) or (c5 = 6581) or (c6 = 6582) or (c7 = 6583) or (c8 = 6584) or (c4 = 6585) or (c5 = 6586) or (c6 = 6587) or (c7 = 6588) or (c8 = 6589) or (c4 = 6590) or (c5 = 6591) or (c6 = 6592) or (c7 = 6593) or (c8 = 6594) or (c4 = 6595) or (c5 = 6596) or (c6 = 6597) or (c7 = 6598) or (c8 = 6599) or (c4 = 6600) or (c5 = 6601) or (c6 = 6602) or (c7 = 6603) or (c8 = 6604) or (c4 = 6605) or (c5 = 6606) or (c6 = 6607) or (c7 = 6608) or (c8 = 6609) or (c4 = 6610) or (c5 = 6611) or (c6 = 6612) or (c7 = 6613) or (c8 = 6614) or (c4 = 6615) or (c5 = 6616) or (c6 = 6617) or (c7 = 6618) or (c8 = 6619) or (c4 = 6620) or (c5 = 6621) or (c6 = 6622) or (c7 = 6623) or (c8 = 6624) or (c4 = 6625) or (c5 = 6626) or (c6 = 6627) or (c7 = 6628) or (c8 = 6629) or (c4 = 6630) or (c5 = 6631) or (c6 = 6632) or (c7 = 6633) or (c8 = 6634) or (c4 = 6635) or (c5 = 6636) or (c6 = 6637) or (c7 = 6638) or (c8 = 6639) or (c4 = 6640) or (c5 = 6641) or (c6 = 6642) or (c7 = 6643) or (c8 = 6644) or (c4 = 6645) or (c5 = 6646) or (c6 = 6647) or (c7 = 6648) or (c8 = 6649) or (c4 = 6650) or (c5 = 6651) or (c6 = 6652) or (c7 = 6653) or (c8 = 6654) or (c4 = 6655) or (c5 = 6656) or (c6 = 6657) or (c7 = 6658) or (c8 = 6659) or (c4 = 6660) or (c5 = 6661) or (c6 = 6662) or (c7 = 6663) or (c8 = 6664) or (c4 = 6665) or (c5 = 6666) or (c6 = 6667) or (c7 = 6668) or (c8 = 6669) or (c4 = 6670) or (c5 = 6671) or (c6 = 6672) or (c7 = 6673) or (c8 = 6674) or (c4 = 6675) or (c5 = 6676) or (c6 = 6677) or (c7 = 6678) or (c8 = 6679) or (c4 = 6680) or (c5 = 6681) or (c6 = 6682) or (c7 = 6683) or (c8 = 6684) or (c4 = 6685) or (c5 = 6686) or (c6 = 6687) or (c7 = 6688) or (c8 = 6689) or (c4 = 6690) or (c5 = 6691) or (c6 = 6692) or (c7 = 6693) or (c8 = 6694) or (c4 = 6695) or (c5 = 6696) or (c6 = 6697) or (c7 = 6698) or (c8 = 6699) or (c4 = 6700) or (c5 = 6701) or (c6 = 6702) or (c7 = 6703) or (c8 = 6704) or (c4 = 6705) or (c5 = 6706) or (c6 = 6707) or (c7 = 6708) or (c8 = 6709) or (c4 = 6710) or (c5 = 6711) or (c6 = 6712) or (c7 = 6713) or (c8 = 6714) or (c4 = 6715) or (c5 = 6716) or (c6 = 6717) or (c7 = 6718) or (c8 = 6719) or (c4 = 6720) or (c5 = 6721) or (c6 = 6722) or (c7 = 6723) or (c8 = 6724) or (c4 = 6725) or (c5 = 6726) or (c6 = 6727) or (c7 = 6728) or (c8 = 6729) or (c4 = 6730) or (c5 = 6731) or (c6 = 6732) or (c7 = 6733) or (c8 = 6734) or (c4 = 6735) or (c5 = 6736) or (c6 = 6737) or (c7 = 6738) or (c8 = 6739) or (c4 = 6740) or (c5 = 6741) or (c6 = 6742) or (c7 = 6743) or (c8 = 6744) or (c4 = 6745) or (c5 = 6746) or (c6 = 6747) or (c7 = 6748) or (c8 = 6749) or (c4 = 6750) or (c5 = 6751) or (c6 = 6752) or (c7 = 6753) or (c8 = 6754) or (c4 = 6755) or (c5 = 6756) or (c6 = 6757) or (c7 = 6758) or (c8 = 6759) or (c4 = 6760) or (c5 = 6761) or (c6 = 6762) or (c7 = 6763) or (c8 = 6764) or (c4 = 6765) or (c5 = 6766) or (c6 = 6767) or (c7 = 6768) or (c8 = 6769) or (c4 = 6770) or (c5 = 6771) or (c6 = 6772) or (c7 = 6773) or (c8 = 6774) or (c4 = 6775) or (c5 = 6776) or (c6 = 6777) or (c7 = 6778) or (c8 = 6779) or (c4 = 6780) or (c5 = 6781) or (c6 = 6782) or (c7 = 6783) or (c8 = 6784) or (c4 = 6785) or (c5 = 6786) or (c6 = 6787) or (c7 = 6788) or (c8 = 6789) or (c4 = 6790) or (c5 = 6791) or (c6 = 6792) or (c7 = 6793) or (c8 = 6794) or (c4 = 6795) or (c5 = 6796) or (c6 = 6797) or (c7 = 6798) or (c8 = 6799) or (c4 = 6800) or (c5 = 6801) or (c6 = 6802) or (c7 = 6803) or (c8 = 6804) or (c4 = 6805) or (c5 = 6806) or (c6 = 6807) or (c7 = 6808) or (c8 = 6809) or (c4 = 6810) or (c5 = 6811) or (c6 = 6812) or (c7 = 6813) or (c8 = 6814) or (c4 = 6815) or (c5 = 6816) or (c6 = 6817) or (c7 = 6818) or (c8 = 6819) or (c4 = 6820) or (c5 = 6821) or (c6 = 6822) or (c7 = 6823) or (c8 = 6824) or (c4 = 6825) or (c5 = 6826) or (c6 = 6827) or (c7 = 6828) or (c8 = 6829) or (c4 = 6830) or (c5 = 6831) or (c6 = 6832) or (c7 = 6833) or (c8 = 6834) or (c4 = 6835) or (c5 = 6836) or (c6 = 6837) or (c7 = 6838) or (c8 = 6839) or (c4 = 6840) or (c5 = 6841) or (c6 = 6842) or (c7 = 6843) or (c8 = 6844) or (c4 = 6845) or (c5 = 6846) or (c6 = 6847) or (c7 = 6848) or (c8 = 6849) or (c4 = 6850) or (c5 = 6851) or (c6 = 6852) or (c7 = 6853) or (c8 = 6854) or (c4 = 6855) or (c5 = 6856) or (c6 = 6857) or (c7 = 6858) or (c8 = 6859) or (c4 = 6860) or (c5 = 6861) or (c6 = 6862) or (c7 = 6863) or (c8 = 6864) or (c4 = 6865) or (c5 = 6866) or (c6 = 6867) or (c7 = 6868) or (c8 = 6869) or (c4 = 6870) or (c5 = 6871) or (c6 = 6872) or (c7 = 6873) or (c8 = 6874) or (c4 = 6875) or (c5 = 6876) or (c6 = 6877) or (c7 = 6878) or (c8 = 6879) or (c4 = 6880) or (c5 = 6881) or (c6 = 6882) or (c7 = 6883) or (c8 = 6884) or (c4 = 6885) or (c5 = 6886) or (c6 = 6887) or (c7 = 6888) or (c8 = 6889) or (c4 = 6890) or (c5 = 6891) or (c6 = 6892) or (c7 = 6893) or (c8 = 6894) or (c4 = 6895) or (c5 = 6896) or (c6 = 6897) or (c7 = 6898) or (c8 = 6899) or (c4 = 6900) or (c5 = 6901) or (c6 = 6902) or (c7 = 6903) or (c8 = 6904) or (c4 = 6905) or (c5 = 6906) or (c6 = 6907) or (c7 = 6908) or (c8 = 6909) or (c4 = 6910) or (c5 = 6911) or (c6 = 6912) or (c7 = 6913) or (c8 = 6914) or (c4 = 6915) or (c5 = 6916) or (c6 = 6917) or (c7 = 6918) or (c8 = 6919) or (c4 = 6920) or (c5 = 6921) or (c6 = 6922) or (c7 = 6923) or (c8 = 6924) or (c4 = 6925) or (c5 = 6926) or (c6 = 6927) or (c7 = 6928) or (c8 = 6929) or (c4 = 6930) or (c5 = 6931) or (c6 = 6932) or (c7 = 6933) or (c8 = 6934) or (c4 = 6935) or (c5 = 6936) or (c6 = 6937) or (c7 = 6938) or (c8 = 6939) or (c4 = 6940) or (c5 = 6941) or (c6 = 6942) or (c7 = 6943) or (c8 = 6944) or (c4 = 6945) or (c5 = 6946) or (c6 = 6947) or (c7 = 6948) or (c8 = 6949) or (c4 = 6950) or (c5 = 6951) or (c6 = 6952) or (c7 = 6953) or (c8 = 6954) or (c4 = 6955) or (c5 = 6956) or (c6 = 6957) or (c7 = 6958) or (c8 = 6959) or (c4 = 6960) or (c5 = 6961) or (c6 = 6962) or (c7 = 6963) or (c8 = 6964) or (c4 = 6965) or (c5 = 6966) or (c6 = 6967) or (c7 = 6968) or (c8 = 6969) or (c4 = 6970) or (c5 = 6971) or (c6 = 6972) or (c7 = 6973) or (c8 = 6974) or (c4 = 6975) or (c5 = 6976) or (c6 = 6977) or (c7 = 6978) or (c8 = 6979) or (c4 = 6980) or (c5 = 6981) or (c6 = 6982) or (c7 = 6983) or (c8 = 6984) or (c4 = 6985) or (c5 = 6986) or (c6 = 6987) or (c7 = 6988) or (c8 = 6989) or (c4 = 6990) or (c5 = 6991) or (c6 = 6992) or (c7 = 6993) or (c8 = 6994) or (c4 = 6995) or (c5 = 6996) or (c6 = 6997) or (c7 = 6998) or (c8 = 6999) or (c4 = 7000) or (c5 = 7001) or (c6 = 7002) or (c7 = 7003) or (c8 = 7004) or (c4 = 7005) or (c5 = 7006) or (c6 = 7007) or (c7 = 7008) or (c8 = 7009) or (c4 = 7010) or (c5 = 7011) or (c6 = 7012) or (c7 = 7013) or (c8 = 7014) or (c4 = 7015) or (c5 = 7016) or (c6 = 7017) or (c7 = 7018) or (c8 = 7019) or (c4 = 7020) or (c5 = 7021) or (c6 = 7022) or (c7 = 7023) or (c8 = 7024) or (c4 = 7025) or (c5 = 7026) or (c6 = 7027) or (c7 = 7028) or (c8 = 7029) or (c4 = 7030) or (c5 = 7031) or (c6 = 7032) or (c7 = 7033) or (c8 = 7034) or (c4 = 7035) or (c5 = 7036) or (c6 = 7037) or (c7 = 7038) or (c8 = 7039) or (c4 = 7040) or (c5 = 7041) or (c6 = 7042) or (c7 = 7043) or (c8 = 7044) or (c4 = 7045) or (c5 = 7046) or (c6 = 7047) or (c7 = 7048) or (c8 = 7049) or (c4 = 7050) or (c5 = 7051) or (c6 = 7052) or (c7 = 7053) or (c8 = 7054) or (c4 = 7055) or (c5 = 7056) or (c6 = 7057) or (c7 = 7058) or (c8 = 7059) or (c4 = 7060) or (c5 = 7061) or (c6 = 7062) or (c7 = 7063) or (c8 = 7064) or (c4 = 7065) or (c5 = 7066) or (c6 = 7067) or (c7 = 7068) or (c8 = 7069) or (c4 = 7070) or (c5 = 7071) or (c6 = 7072) or (c7 = 7073) or (c8 = 7074) or (c4 = 7075) or (c5 = 7076) or (c6 = 7077) or (c7 = 7078) or (c8 = 7079) or (c4 = 7080) or (c5 = 7081) or (c6 = 7082) or (c7 = 7083) or (c8 = 7084) or (c4 = 7085) or (c5 = 7086) or (c6 = 7087) or (c7 = 7088) or (c8 = 7089) or (c4 = 7090) or (c5 = 7091) or (c6 = 7092) or (c7 = 7093) or (c8 = 7094) or (c4 = 7095) or (c5 = 7096) or (c6 = 7097) or (c7 = 7098) or (c8 = 7099) or (c4 = 7100) or (c5 = 7101) or (c6 = 7102) or (c7 = 7103) or (c8 = 7104) or (c4 = 7105) or (c5 = 7106) or (c6 = 7107) or (c7 = 7108) or (c8 = 7109) or (c4 = 7110) or (c5 = 7111) or (c6 = 7112) or (c7 = 7113) or (c8 = 7114) or (c4 = 7115) or (c5 = 7116) or (c6 = 7117) or (c7 = 7118) or (c8 = 7119) or (c4 = 7120) or (c5 = 7121) or (c6 = 7122) or (c7 = 7123) or (c8 = 7124) or (c4 = 7125) or (c5 = 7126) or (c6 = 7127) or (c7 = 7128) or (c8 = 7129) or (c4 = 7130) or (c5 = 7131) or (c6 = 7132) or (c7 = 7133) or (c8 = 7134) or (c4 = 7135) or (c5 = 7136) or (c6 = 7137) or (c7 = 7138) or (c8 = 7139) or (c4 = 7140) or (c5 = 7141) or (c6 = 7142) or (c7 = 7143) or (c8 = 7144) or (c4 = 7145) or (c5 = 7146) or (c6 = 7147) or (c7 = 7148) or (c8 = 7149) or (c4 = 7150) or (c5 = 7151) or (c6 = 7152) or (c7 = 7153) or (c8 = 7154) or (c4 = 7155) or (c5 = 7156) or (c6 = 7157) or (c7 = 7158) or (c8 = 7159) or (c4 = 7160) or (c5 = 7161) or (c6 = 7162) or (c7 = 7163) or (c8 = 7164) or (c4 = 7165) or (c5 = 7166) or (c6 = 7167) or (c7 = 7168) or (c8 = 7169) or (c4 = 7170) or (c5 = 7171) or (c6 = 7172) or (c7 = 7173) or (c8 = 7174) or (c4 = 7175) or (c5 = 7176) or (c6 = 7177) or (c7 = 7178) or (c8 = 7179) or (c4 = 7180) or (c5 = 7181) or (c6 = 7182) or (c7 = 7183) or (c8 = 7184) or (c4 = 7185) or (c5 = 7186) or (c6 = 7187) or (c7 = 7188) or (c8 = 7189) or (c4 = 7190) or (c5 = 7191) or (c6 = 7192) or (c7 = 7193) or (c8 = 7194) or (c4 = 7195) or (c5 = 7196) or (c6 = 7197) or (c7 = 7198) or (c8 = 7199) or (c4 = 7200) or (c5 = 7201) or (c6 = 7202) or (c7 = 7203) or (c8 = 7204) or (c4 = 7205) or (c5 = 7206) or (c6 = 7207) or (c7 = 7208) or (c8 = 7209) or (c4 = 7210) or (c5 = 7211) or (c6 = 7212) or (c7 = 7213) or (c8 = 7214) or (c4 = 7215) or (c5 = 7216) or (c6 = 7217) or (c7 = 7218) or (c8 = 7219) or (c4 = 7220) or (c5 = 7221) or (c6 = 7222) or (c7 = 7223) or (c8 = 7224) or (c4 = 7225) or (c5 = 7226) or (c6 = 7227) or (c7 = 7228) or (c8 = 7229) or (c4 = 7230) or (c5 = 7231) or (c6 = 7232) or (c7 = 7233) or (c8 = 7234) or (c4 = 7235) or (c5 = 7236) or (c6 = 7237) or (c7 = 7238) or (c8 = 7239) or (c4 = 7240) or (c5 = 7241) or (c6 = 7242) or (c7 = 7243) or (c8 = 7244) or (c4 = 7245) or (c5 = 7246) or (c6 = 7247) or (c7 = 7248) or (c8 = 7249) or (c4 = 7250) or (c5 = 7251) or (c6 = 7252) or (c7 = 7253) or (c8 = 7254) or (c4 = 7255) or (c5 = 7256) or (c6 = 7257) or (c7 = 7258) or (c8 = 7259) or (c4 = 7260) or (c5 = 7261) or (c6 = 7262) or (c7 = 7263) or (c8 = 7264) or (c4 = 7265) or (c5 = 7266) or (c6 = 7267) or (c7 = 7268) or (c8 = 7269) or (c4 = 7270) or (c5 = 7271) or (c6 = 7272) or (c7 = 7273) or (c8 = 7274) or (c4 = 7275) or (c5 = 7276) or (c6 = 7277) or (c7 = 7278) or (c8 = 7279) or (c4 = 7280) or (c5 = 7281) or (c6 = 7282) or (c7 = 7283) or (c8 = 7284) or (c4 = 7285) or (c5 = 7286) or (c6 = 7287) or (c7 = 7288) or (c8 = 7289) or (c4 = 7290) or (c5 = 7291) or (c6 = 7292) or (c7 = 7293) or (c8 = 7294) or (c4 = 7295) or (c5 = 7296) or (c6 = 7297) or (c7 = 7298) or (c8 = 7299) or (c4 = 7300) or (c5 = 7301) or (c6 = 7302) or (c7 = 7303) or (c8 = 7304) or (c4 = 7305) or (c5 = 7306) or (c6 = 7307) or (c7 = 7308) or (c8 = 7309) or (c4 = 7310) or (c5 = 7311) or (c6 = 7312) or (c7 = 7313) or (c8 = 7314) or (c4 = 7315) or (c5 = 7316) or (c6 = 7317) or (c7 = 7318) or (c8 = 7319) or (c4 = 7320) or (c5 = 7321) or (c6 = 7322) or (c7 = 7323) or (c8 = 7324) or (c4 = 7325) or (c5 = 7326) or (c6 = 7327) or (c7 = 7328) or (c8 = 7329) or (c4 = 7330) or (c5 = 7331) or (c6 = 7332) or (c7 = 7333) or (c8 = 7334) or (c4 = 7335) or (c5 = 7336) or (c6 = 7337) or (c7 = 7338) or (c8 = 7339) or (c4 = 7340) or (c5 = 7341) or (c6 = 7342) or (c7 = 7343) or (c8 = 7344) or (c4 = 7345) or (c5 = 7346) or (c6 = 7347) or (c7 = 7348) or (c8 = 7349) or (c4 = 7350) or (c5 = 7351) or (c6 = 7352) or (c7 = 7353) or (c8 = 7354) or (c4 = 7355) or (c5 = 7356) or (c6 = 7357) or (c7 = 7358) or (c8 = 7359) or (c4 = 7360) or (c5 = 7361) or (c6 = 7362) or (c7 = 7363) or (c8 = 7364) or (c4 = 7365) or (c5 = 7366) or (c6 = 7367) or (c7 = 7368) or (c8 = 7369) or (c4 = 7370) or (c5 = 7371) or (c6 = 7372) or (c7 = 7373) or (c8 = 7374) or (c4 = 7375) or (c5 = 7376) or (c6 = 7377) or (c7 = 7378) or (c8 = 7379) or (c4 = 7380) or (c5 = 7381) or (c6 = 7382) or (c7 = 7383) or (c8 = 7384) or (c4 = 7385) or (c5 = 7386) or (c6 = 7387) or (c7 = 7388) or (c8 = 7389) or (c4 = 7390) or (c5 = 7391) or (c6 = 7392) or (c7 = 7393) or (c8 = 7394) or (c4 = 7395) or (c5 = 7396) or (c6 = 7397) or (c7 = 7398) or (c8 = 7399) or (c4 = 7400) or (c5 = 7401) or (c6 = 7402) or (c7 = 7403) or (c8 = 7404) or (c4 = 7405) or (c5 = 7406) or (c6 = 7407) or (c7 = 7408) or (c8 = 7409) or (c4 = 7410) or (c5 = 7411) or (c6 = 7412) or (c7 = 7413) or (c8 = 7414) or (c4 = 7415) or (c5 = 7416) or (c6 = 7417) or (c7 = 7418) or (c8 = 7419) or (c4 = 7420) or (c5 = 7421) or (c6 = 7422) or (c7 = 7423) or (c8 = 7424) or (c4 = 7425) or (c5 = 7426) or (c6 = 7427) or (c7 = 7428) or (c8 = 7429) or (c4 = 7430) or (c5 = 7431) or (c6 = 7432) or (c7 = 7433) or (c8 = 7434) or (c4 = 7435) or (c5 = 7436) or (c6 = 7437) or (c7 = 7438) or (c8 = 7439) or (c4 = 7440) or (c5 = 7441) or (c6 = 7442) or (c7 = 7443) or (c8 = 7444) or (c4 = 7445) or (c5 = 7446) or (c6 = 7447) or (c7 = 7448) or (c8 = 7449) or (c4 = 7450) or (c5 = 7451) or (c6 = 7452) or (c7 = 7453) or (c8 = 7454) or (c4 = 7455) or (c5 = 7456) or (c6 = 7457) or (c7 = 7458) or (c8 = 7459) or (c4 = 7460) or (c5 = 7461) or (c6 = 7462) or (c7 = 7463) or (c8 = 7464) or (c4 = 7465) or (c5 = 7466) or (c6 = 7467) or (c7 = 7468) or (c8 = 7469) or (c4 = 7470) or (c5 = 7471) or (c6 = 7472) or (c7 = 7473) or (c8 = 7474) or (c4 = 7475) or (c5 = 7476) or (c6 = 7477) or (c7 = 7478) or (c8 = 7479) or (c4 = 7480) or (c5 = 7481) or (c6 = 7482) or (c7 = 7483) or (c8 = 7484) or (c4 = 7485) or (c5 = 7486) or (c6 = 7487) or (c7 = 7488) or (c8 = 7489) or (c4 = 7490) or (c5 = 7491) or (c6 = 7492) or (c7 = 7493) or (c8 = 7494) or (c4 = 7495) or (c5 = 7496) or (c6 = 7497) or (c7 = 7498) or (c8 = 7499) or (c4 = 7500) or (c5 = 7501) or (c6 = 7502) or (c7 = 7503) or (c8 = 7504) or (c4 = 7505) or (c5 = 7506) or (c6 = 7507) or (c7 = 7508) or (c8 = 7509) or (c4 = 7510) or (c5 = 7511) or (c6 = 7512) or (c7 = 7513) or (c8 = 7514) or (c4 = 7515) or (c5 = 7516) or (c6 = 7517) or (c7 = 7518) or (c8 = 7519) or (c4 = 7520) or (c5 = 7521) or (c6 = 7522) or (c7 = 7523) or (c8 = 7524) or (c4 = 7525) or (c5 = 7526) or (c6 = 7527) or (c7 = 7528) or (c8 = 7529) or (c4 = 7530) or (c5 = 7531) or (c6 = 7532) or (c7 = 7533) or (c8 = 7534) or (c4 = 7535) or (c5 = 7536) or (c6 = 7537) or (c7 = 7538) or (c8 = 7539) or (c4 = 7540) or (c5 = 7541) or (c6 = 7542) or (c7 = 7543) or (c8 = 7544) or (c4 = 7545) or (c5 = 7546) or (c6 = 7547) or (c7 = 7548) or (c8 = 7549) or (c4 = 7550) or (c5 = 7551) or (c6 = 7552) or (c7 = 7553) or (c8 = 7554) or (c4 = 7555) or (c5 = 7556) or (c6 = 7557) or (c7 = 7558) or (c8 = 7559) or (c4 = 7560) or (c5 = 7561) or (c6 = 7562) or (c7 = 7563) or (c8 = 7564) or (c4 = 7565) or (c5 = 7566) or (c6 = 7567) or (c7 = 7568) or (c8 = 7569) or (c4 = 7570) or (c5 = 7571) or (c6 = 7572) or (c7 = 7573) or (c8 = 7574) or (c4 = 7575) or (c5 = 7576) or (c6 = 7577) or (c7 = 7578) or (c8 = 7579) or (c4 = 7580) or (c5 = 7581) or (c6 = 7582) or (c7 = 7583) or (c8 = 7584) or (c4 = 7585) or (c5 = 7586) or (c6 = 7587) or (c7 = 7588) or (c8 = 7589) or (c4 = 7590) or (c5 = 7591) or (c6 = 7592) or (c7 = 7593) or (c8 = 7594) or (c4 = 7595) or (c5 = 7596) or (c6 = 7597) or (c7 = 7598) or (c8 = 7599) or (c4 = 7600) or (c5 = 7601) or (c6 = 7602) or (c7 = 7603) or (c8 = 7604) or (c4 = 7605) or (c5 = 7606) or (c6 = 7607) or (c7 = 7608) or (c8 = 7609) or (c4 = 7610) or (c5 = 7611) or (c6 = 7612) or (c7 = 7613) or (c8 = 7614) or (c4 = 7615) or (c5 = 7616) or (c6 = 7617) or (c7 = 7618) or (c8 = 7619) or (c4 = 7620) or (c5 = 7621) or (c6 = 7622) or (c7 = 7623) or (c8 = 7624) or (c4 = 7625) or (c5 = 7626) or (c6 = 7627) or (c7 = 7628) or (c8 = 7629) or (c4 = 7630) or (c5 = 7631) or (c6 = 7632) or (c7 = 7633) or (c8 = 7634) or (c4 = 7635) or (c5 = 7636) or (c6 = 7637) or (c7 = 7638) or (c8 = 7639) or (c4 = 7640) or (c5 = 7641) or (c6 = 7642) or (c7 = 7643) or (c8 = 7644) or (c4 = 7645) or (c5 = 7646) or (c6 = 7647) or (c7 = 7648) or (c8 = 7649) or (c4 = 7650) or (c5 = 7651) or (c6 = 7652) or (c7 = 7653) or (c8 = 7654) or (c4 = 7655) or (c5 = 7656) or (c6 = 7657) or (c7 = 7658) or (c8 = 7659) or (c4 = 7660) or (c5 = 7661) or (c6 = 7662) or (c7 = 7663) or (c8 = 7664) or (c4 = 7665) or (c5 = 7666) or (c6 = 7667) or (c7 = 7668) or (c8 = 7669) or (c4 = 7670) or (c5 = 7671) or (c6 = 7672) or (c7 = 7673) or (c8 = 7674) or (c4 = 7675) or (c5 = 7676) or (c6 = 7677) or (c7 = 7678) or (c8 = 7679) or (c4 = 7680) or (c5 = 7681) or (c6 = 7682) or (c7 = 7683) or (c8 = 7684) or (c4 = 7685) or (c5 = 7686) or (c6 = 7687) or (c7 = 7688) or (c8 = 7689) or (c4 = 7690) or (c5 = 7691) or (c6 = 7692) or (c7 = 7693) or (c8 = 7694) or (c4 = 7695) or (c5 = 7696) or (c6 = 7697) or (c7 = 7698) or (c8 = 7699) or (c4 = 7700) or (c5 = 7701) or (c6 = 7702) or (c7 = 7703) or (c8 = 7704) or (c4 = 7705) or (c5 = 7706) or (c6 = 7707) or (c7 = 7708) or (c8 = 7709) or (c4 = 7710) or (c5 = 7711) or (c6 = 7712) or (c7 = 7713) or (c8 = 7714) or (c4 = 7715) or (c5 = 7716) or (c6 = 7717) or (c7 = 7718) or (c8 = 7719) or (c4 = 7720) or (c5 = 7721) or (c6 = 7722) or (c7 = 7723) or (c8 = 7724) or (c4 = 7725) or (c5 = 7726) or (c6 = 7727) or (c7 = 7728) or (c8 = 7729) or (c4 = 7730) or (c5 = 7731) or (c6 = 7732) or (c7 = 7733) or (c8 = 7734) or (c4 = 7735) or (c5 = 7736) or (c6 = 7737) or (c7 = 7738) or (c8 = 7739) or (c4 = 7740) or (c5 = 7741) or (c6 = 7742) or (c7 = 7743) or (c8 = 7744) or (c4 = 7745) or (c5 = 7746) or (c6 = 7747) or (c7 = 7748) or (c8 = 7749) or (c4 = 7750) or (c5 = 7751) or (c6 = 7752) or (c7 = 7753) or (c8 = 7754) or (c4 = 7755) or (c5 = 7756) or (c6 = 7757) or (c7 = 7758) or (c8 = 7759) or (c4 = 7760) or (c5 = 7761) or (c6 = 7762) or (c7 = 7763) or (c8 = 7764) or (c4 = 7765) or (c5 = 7766) or (c6 = 7767) or (c7 = 7768) or (c8 = 7769) or (c4 = 7770) or (c5 = 7771) or (c6 = 7772) or (c7 = 7773) or (c8 = 7774) or (c4 = 7775) or (c5 = 7776) or (c6 = 7777) or (c7 = 7778) or (c8 = 7779) or (c4 = 7780) or (c5 = 7781) or (c6 = 7782) or (c7 = 7783) or (c8 = 7784) or (c4 = 7785) or (c5 = 7786) or (c6 = 7787) or (c7 = 7788) or (c8 = 7789) or (c4 = 7790) or (c5 = 7791) or (c6 = 7792) or (c7 = 7793) or (c8 = 7794) or (c4 = 7795) or (c5 = 7796) or (c6 = 7797) or (c7 = 7798) or (c8 = 7799) or (c4 = 7800) or (c5 = 7801) or (c6 = 7802) or (c7 = 7803) or (c8 = 7804) or (c4 = 7805) or (c5 = 7806) or (c6 = 7807) or (c7 = 7808) or (c8 = 7809) or (c4 = 7810) or (c5 = 7811) or (c6 = 7812) or (c7 = 7813) or (c8 = 7814) or (c4 = 7815) or (c5 = 7816) or (c6 = 7817) or (c7 = 7818) or (c8 = 7819) or (c4 = 7820) or (c5 = 7821) or (c6 = 7822) or (c7 = 7823) or (c8 = 7824) or (c4 = 7825) or (c5 = 7826) or (c6 = 7827) or (c7 = 7828) or (c8 = 7829) or (c4 = 7830) or (c5 = 7831) or (c6 = 7832) or (c7 = 7833) or (c8 = 7834) or (c4 = 7835) or (c5 = 7836) or (c6 = 7837) or (c7 = 7838) or (c8 = 7839) or (c4 = 7840) or (c5 = 7841) or (c6 = 7842) or (c7 = 7843) or (c8 = 7844) or (c4 = 7845) or (c5 = 7846) or (c6 = 7847) or (c7 = 7848) or (c8 = 7849) or (c4 = 7850) or (c5 = 7851) or (c6 = 7852) or (c7 = 7853) or (c8 = 7854) or (c4 = 7855) or (c5 = 7856) or (c6 = 7857) or (c7 = 7858) or (c8 = 7859) or (c4 = 7860) or (c5 = 7861) or (c6 = 7862) or (c7 = 7863) or (c8 = 7864) or (c4 = 7865) or (c5 = 7866) or (c6 = 7867) or (c7 = 7868) or (c8 = 7869) or (c4 = 7870) or (c5 = 7871) or (c6 = 7872) or (c7 = 7873) or (c8 = 7874) or (c4 = 7875) or (c5 = 7876) or (c6 = 7877) or (c7 = 7878) or (c8 = 7879) or (c4 = 7880) or (c5 = 7881) or (c6 = 7882) or (c7 = 7883) or (c8 = 7884) or (c4 = 7885) or (c5 = 7886) or (c6 = 7887) or (c7 = 7888) or (c8 = 7889) or (c4 = 7890) or (c5 = 7891) or (c6 = 7892) or (c7 = 7893) or (c8 = 7894) or (c4 = 7895) or (c5 = 7896) or (c6 = 7897) or (c7 = 7898) or (c8 = 7899) or (c4 = 7900) or (c5 = 7901) or (c6 = 7902) or (c7 = 7903) or (c8 = 7904) or (c4 = 7905) or (c5 = 7906) or (c6 = 7907) or (c7 = 7908) or (c8 = 7909) or (c4 = 7910) or (c5 = 7911) or (c6 = 7912) or (c7 = 7913) or (c8 = 7914) or (c4 = 7915) or (c5 = 7916) or (c6 = 7917) or (c7 = 7918) or (c8 = 7919) or (c4 = 7920) or (c5 = 7921) or (c6 = 7922) or (c7 = 7923) or (c8 = 7924) or (c4 = 7925) or (c5 = 7926) or (c6 = 7927) or (c7 = 7928) or (c8 = 7929) or (c4 = 7930) or (c5 = 7931) or (c6 = 7932) or (c7 = 7933) or (c8 = 7934) or (c4 = 7935) or (c5 = 7936) or (c6 = 7937) or (c7 = 7938) or (c8 = 7939) or (c4 = 7940) or (c5 = 7941) or (c6 = 7942) or (c7 = 7943) or (c8 = 7944) or (c4 = 7945) or (c5 = 7946) or (c6 = 7947) or (c7 = 7948) or (c8 = 7949) or (c4 = 7950) or (c5 = 7951) or (c6 = 7952) or (c7 = 7953) or (c8 = 7954) or (c4 = 7955) or (c5 = 7956) or (c6 = 7957) or (c7 = 7958) or (c8 = 7959) or (c4 = 7960) or (c5 = 7961) or (c6 = 7962) or (c7 = 7963) or (c8 = 7964) or (c4 = 7965) or (c5 = 7966) or (c6 = 7967) or (c7 = 7968) or (c8 = 7969) or (c4 = 7970) or (c5 = 7971) or (c6 = 7972) or (c7 = 7973) or (c8 = 7974) or (c4 = 7975) or (c5 = 7976) or (c6 = 7977) or (c7 = 7978) or (c8 = 7979) or (c4 = 7980) or (c5 = 7981) or (c6 = 7982) or (c7 = 7983) or (c8 = 7984) or (c4 = 7985) or (c5 = 7986) or (c6 = 7987) or (c7 = 7988) or (c8 = 7989) or (c4 = 7990) or (c5 = 7991) or (c6 = 7992) or (c7 = 7993) or (c8 = 7994) or (c4 = 7995) or (c5 = 7996) or (c6 = 7997) or (c7 = 7998) or (c8 = 7999) or (c4 = 8000) or (c5 = 8001) or (c6 = 8002) or (c7 = 8003) or (c8 = 8004) or (c4 = 8005) or (c5 = 8006) or (c6 = 8007) or (c7 = 8008) or (c8 = 8009) or (c4 = 8010) or (c5 = 8011) or (c6 = 8012) or (c7 = 8013) or (c8 = 8014) or (c4 = 8015) or (c5 = 8016) or (c6 = 8017) or (c7 = 8018) or (c8 = 8019) or (c4 = 8020) or (c5 = 8021) or (c6 = 8022) or (c7 = 8023) or (c8 = 8024) or (c4 = 8025) or (c5 = 8026) or (c6 = 8027) or (c7 = 8028) or (c8 = 8029) or (c4 = 8030) or (c5 = 8031) or (c6 = 8032) or (c7 = 8033) or (c8 = 8034) or (c4 = 8035) or (c5 = 8036) or (c6 = 8037) or (c7 = 8038) or (c8 = 8039) or (c4 = 8040) or (c5 = 8041) or (c6 = 8042) or (c7 = 8043) or (c8 = 8044) or (c4 = 8045) or (c5 = 8046) or (c6 = 8047) or (c7 = 8048) or (c8 = 8049) or (c4 = 8050) or (c5 = 8051) or (c6 = 8052) or (c7 = 8053) or (c8 = 8054) or (c4 = 8055) or (c5 = 8056) or (c6 = 8057) or (c7 = 8058) or (c8 = 8059) or (c4 = 8060) or (c5 = 8061) or (c6 = 8062) or (c7 = 8063) or (c8 = 8064) or (c4 = 8065) or (c5 = 8066) or (c6 = 8067) or (c7 = 8068) or (c8 = 8069) or (c4 = 8070) or (c5 = 8071) or (c6 = 8072) or (c7 = 8073) or (c8 = 8074) or (c4 = 8075) or (c5 = 8076) or (c6 = 8077) or (c7 = 8078) or (c8 = 8079) or (c4 = 8080) or (c5 = 8081) or (c6 = 8082) or (c7 = 8083) or (c8 = 8084) or (c4 = 8085) or (c5 = 8086) or (c6 = 8087) or (c7 = 8088) or (c8 = 8089) or (c4 = 8090) or (c5 = 8091) or (c6 = 8092) or (c7 = 8093) or (c8 = 8094) or (c4 = 8095) or (c5 = 8096) or (c6 = 8097) or (c7 = 8098) or (c8 = 8099) or (c4 = 8100) or (c5 = 8101) or (c6 = 8102) or (c7 = 8103) or (c8 = 8104) or (c4 = 8105) or (c5 = 8106) or (c6 = 8107) or (c7 = 8108) or (c8 = 8109) or (c4 = 8110) or (c5 = 8111) or (c6 = 8112) or (c7 = 8113) or (c8 = 8114) or (c4 = 8115) or (c5 = 8116) or (c6 = 8117) or (c7 = 8118) or (c8 = 8119) or (c4 = 8120) or (c5 = 8121) or (c6 = 8122) or (c7 = 8123) or (c8 = 8124) or (c4 = 8125) or (c5 = 8126) or (c6 = 8127) or (c7 = 8128) or (c8 = 8129) or (c4 = 8130) or (c5 = 8131) or (c6 = 8132) or (c7 = 8133) or (c8 = 8134) or (c4 = 8135) or (c5 = 8136) or (c6 = 8137) or (c7 = 8138) or (c8 = 8139) or (c4 = 8140) or (c5 = 8141) or (c6 = 8142) or (c7 = 8143) or (c8 = 8144) or (c4 = 8145) or (c5 = 8146) or (c6 = 8147) or (c7 = 8148) or (c8 = 8149) or (c4 = 8150) or (c5 = 8151) or (c6 = 8152) or (c7 = 8153) or (c8 = 8154) or (c4 = 8155) or (c5 = 8156) or (c6 = 8157) or (c7 = 8158) or (c8 = 8159) or (c4 = 8160) or (c5 = 8161) or (c6 = 8162) or (c7 = 8163) or (c8 = 8164) or (c4 = 8165) or (c5 = 8166) or (c6 = 8167) or (c7 = 8168) or (c8 = 8169) or (c4 = 8170) or (c5 = 8171) or (c6 = 8172) or (c7 = 8173) or (c8 = 8174) or (c4 = 8175) or (c5 = 8176) or (c6 = 8177) or (c7 = 8178) or (c8 = 8179) or (c4 = 8180) or (c5 = 8181) or (c6 = 8182) or (c7 = 8183) or (c8 = 8184) or (c4 = 8185) or (c5 = 8186) or (c6 = 8187) or (c7 = 8188) or (c8 = 8189) or (c4 = 8190) or (c5 = 8191) or (c6 = 8192) or (c7 = 8193) or (c8 = 8194) or (c4 = 8195) or (c5 = 8196) or (c6 = 8197) or (c7 = 8198) or (c8 = 8199) or (c4 = 8200) or (c5 = 8201) or (c6 = 8202) or (c7 = 8203) or (c8 = 8204) or (c4 = 8205) or (c5 = 8206) or (c6 = 8207) or (c7 = 8208) or (c8 = 8209) or (c4 = 8210) or (c5 = 8211) or (c6 = 8212) or (c7 = 8213) or (c8 = 8214) or (c4 = 8215) or (c5 = 8216) or (c6 = 8217) or (c7 = 8218) or (c8 = 8219) or (c4 = 8220) or (c5 = 8221) or (c6 = 8222) or (c7 = 8223) or (c8 = 8224) or (c4 = 8225) or (c5 = 8226) or (c6 = 8227) or (c7 = 8228) or (c8 = 8229) or (c4 = 8230) or (c5 = 8231) or (c6 = 8232) or (c7 = 8233) or (c8 = 8234) or (c4 = 8235) or (c5 = 8236) or (c6 = 8237) or (c7 = 8238) or (c8 = 8239) or (c4 = 8240) or (c5 = 8241) or (c6 = 8242) or (c7 = 8243) or (c8 = 8244) or (c4 = 8245) or (c5 = 8246) or (c6 = 8247) or (c7 = 8248) or (c8 = 8249) or (c4 = 8250) or (c5 = 8251) or (c6 = 8252) or (c7 = 8253) or (c8 = 8254) or (c4 = 8255) or (c5 = 8256) or (c6 = 8257) or (c7 = 8258) or (c8 = 8259) or (c4 = 8260) or (c5 = 8261) or (c6 = 8262) or (c7 = 8263) or (c8 = 8264) or (c4 = 8265) or (c5 = 8266) or (c6 = 8267) or (c7 = 8268) or (c8 = 8269) or (c4 = 8270) or (c5 = 8271) or (c6 = 8272) or (c7 = 8273) or (c8 = 8274) or (c4 = 8275) or (c5 = 8276) or (c6 = 8277) or (c7 = 8278) or (c8 = 8279) or (c4 = 8280) or (c5 = 8281) or (c6 = 8282) or (c7 = 8283) or (c8 = 8284) or (c4 = 8285) or (c5 = 8286) or (c6 = 8287) or (c7 = 8288) or (c8 = 8289) or (c4 = 8290) or (c5 = 8291) or (c6 = 8292) or (c7 = 8293) or (c8 = 8294) or (c4 = 8295) or (c5 = 8296) or (c6 = 8297) or (c7 = 8298) or (c8 = 8299) or (c4 = 8300) or (c5 = 8301) or (c6 = 8302) or (c7 = 8303) or (c8 = 8304) or (c4 = 8305) or (c5 = 8306) or (c6 = 8307) or (c7 = 8308) or (c8 = 8309) or (c4 = 8310) or (c5 = 8311) or (c6 = 8312) or (c7 = 8313) or (c8 = 8314) or (c4 = 8315) or (c5 = 8316) or (c6 = 8317) or (c7 = 8318) or (c8 = 8319) or (c4 = 8320) or (c5 = 8321) or (c6 = 8322) or (c7 = 8323) or (c8 = 8324) or (c4 = 8325) or (c5 = 8326) or (c6 = 8327) or (c7 = 8328) or (c8 = 8329) or (c4 = 8330) or (c5 = 8331) or (c6 = 8332) or (c7 = 8333) or (c8 = 8334) or (c4 = 8335) or (c5 = 8336) or (c6 = 8337) or (c7 = 8338) or (c8 = 8339) or (c4 = 8340) or (c5 = 8341) or (c6 = 8342) or (c7 = 8343) or (c8 = 8344) or (c4 = 8345) or (c5 = 8346) or (c6 = 8347) or (c7 = 8348) or (c8 = 8349) or (c4 = 8350) or (c5 = 8351) or (c6 = 8352) or (c7 = 8353) or (c8 = 8354) or (c4 = 8355) or (c5 = 8356) or (c6 = 8357) or (c7 = 8358) or (c8 = 8359) or (c4 = 8360) or (c5 = 8361) or (c6 = 8362) or (c7 = 8363) or (c8 = 8364) or (c4 = 8365) or (c5 = 8366) or (c6 = 8367) or (c7 = 8368) or (c8 = 8369) or (c4 = 8370) or (c5 = 8371) or (c6 = 8372) or (c7 = 8373) or (c8 = 8374) or (c4 = 8375) or (c5 = 8376) or (c6 = 8377) or (c7 = 8378) or (c8 = 8379) or (c4 = 8380) or (c5 = 8381) or (c6 = 8382) or (c7 = 8383) or (c8 = 8384) or (c4 = 8385) or (c5 = 8386) or (c6 = 8387) or (c7 = 8388) or (c8 = 8389) or (c4 = 8390) or (c5 = 8391) or (c6 = 8392) or (c7 = 8393) or (c8 = 8394) or (c4 = 8395) or (c5 = 8396) or (c6 = 8397) or (c7 = 8398) or (c8 = 8399) or (c4 = 8400) or (c5 = 8401) or (c6 = 8402) or (c7 = 8403) or (c8 = 8404) or (c4 = 8405) or (c5 = 8406) or (c6 = 8407) or (c7 = 8408) or (c8 = 8409) or (c4 = 8410) or (c5 = 8411) or (c6 = 8412) or (c7 = 8413) or (c8 = 8414) or (c4 = 8415) or (c5 = 8416) or (c6 = 8417) or (c7 = 8418) or (c8 = 8419) or (c4 = 8420) or (c5 = 8421) or (c6 = 8422) or (c7 = 8423) or (c8 = 8424) or (c4 = 8425) or (c5 = 8426) or (c6 = 8427) or (c7 = 8428) or (c8 = 8429) or (c4 = 8430) or (c5 = 8431) or (c6 = 8432) or (c7 = 8433) or (c8 = 8434) or (c4 = 8435) or (c5 = 8436) or (c6 = 8437) or (c7 = 8438) or (c8 = 8439) or (c4 = 8440) or (c5 = 8441) or (c6 = 8442) or (c7 = 8443) or (c8 = 8444) or (c4 = 8445) or (c5 = 8446) or (c6 = 8447) or (c7 = 8448) or (c8 = 8449) or (c4 = 8450) or (c5 = 8451) or (c6 = 8452) or (c7 = 8453) or (c8 = 8454) or (c4 = 8455) or (c5 = 8456) or (c6 = 8457) or (c7 = 8458) or (c8 = 8459) or (c4 = 8460) or (c5 = 8461) or (c6 = 8462) or (c7 = 8463) or (c8 = 8464) or (c4 = 8465) or (c5 = 8466) or (c6 = 8467) or (c7 = 8468) or (c8 = 8469) or (c4 = 8470) or (c5 = 8471) or (c6 = 8472) or (c7 = 8473) or (c8 = 8474) or (c4 = 8475) or (c5 = 8476) or (c6 = 8477) or (c7 = 8478) or (c8 = 8479) or (c4 = 8480) or (c5 = 8481) or (c6 = 8482) or (c7 = 8483) or (c8 = 8484) or (c4 = 8485) or (c5 = 8486) or (c6 = 8487) or (c7 = 8488) or (c8 = 8489) or (c4 = 8490) or (c5 = 8491) or (c6 = 8492) or (c7 = 8493) or (c8 = 8494) or (c4 = 8495) or (c5 = 8496) or (c6 = 8497) or (c7 = 8498) or (c8 = 8499) or (c4 = 8500) or (c5 = 8501) or (c6 = 8502) or (c7 = 8503) or (c8 = 8504) or (c4 = 8505) or (c5 = 8506) or (c6 = 8507) or (c7 = 8508) or (c8 = 8509) or (c4 = 8510) or (c5 = 8511) or (c6 = 8512) or (c7 = 8513) or (c8 = 8514) or (c4 = 8515) or (c5 = 8516) or (c6 = 8517) or (c7 = 8518) or (c8 = 8519) or (c4 = 8520) or (c5 = 8521) or (c6 = 8522) or (c7 = 8523) or (c8 = 8524) or (c4 = 8525) or (c5 = 8526) or (c6 = 8527) or (c7 = 8528) or (c8 = 8529) or (c4 = 8530) or (c5 = 8531) or (c6 = 8532) or (c7 = 8533) or (c8 = 8534) or (c4 = 8535) or (c5 = 8536) or (c6 = 8537) or (c7 = 8538) or (c8 = 8539) or (c4 = 8540) or (c5 = 8541) or (c6 = 8542) or (c7 = 8543) or (c8 = 8544) or (c4 = 8545) or (c5 = 8546) or (c6 = 8547) or (c7 = 8548) or (c8 = 8549) or (c4 = 8550) or (c5 = 8551) or (c6 = 8552) or (c7 = 8553) or (c8 = 8554) or (c4 = 8555) or (c5 = 8556) or (c6 = 8557) or (c7 = 8558) or (c8 = 8559) or (c4 = 8560) or (c5 = 8561) or (c6 = 8562) or (c7 = 8563) or (c8 = 8564) or (c4 = 8565) or (c5 = 8566) or (c6 = 8567) or (c7 = 8568) or (c8 = 8569) or (c4 = 8570) or (c5 = 8571) or (c6 = 8572) or (c7 = 8573) or (c8 = 8574) or (c4 = 8575) or (c5 = 8576) or (c6 = 8577) or (c7 = 8578) or (c8 = 8579) or (c4 = 8580) or (c5 = 8581) or (c6 = 8582) or (c7 = 8583) or (c8 = 8584) or (c4 = 8585) or (c5 = 8586) or (c6 = 8587) or (c7 = 8588) or (c8 = 8589) or (c4 = 8590) or (c5 = 8591) or (c6 = 8592) or (c7 = 8593) or (c8 = 8594) or (c4 = 8595) or (c5 = 8596) or (c6 = 8597) or (c7 = 8598) or (c8 = 8599) or (c4 = 8600) or (c5 = 8601) or (c6 = 8602) or (c7 = 8603) or (c8 = 8604) or (c4 = 8605) or (c5 = 8606) or (c6 = 8607) or (c7 = 8608) or (c8 = 8609) or (c4 = 8610) or (c5 = 8611) or (c6 = 8612) or (c7 = 8613) or (c8 = 8614) or (c4 = 8615) or (c5 = 8616) or (c6 = 8617) or (c7 = 8618) or (c8 = 8619) or (c4 = 8620) or (c5 = 8621) or (c6 = 8622) or (c7 = 8623) or (c8 = 8624) or (c4 = 8625) or (c5 = 8626) or (c6 = 8627) or (c7 = 8628) or (c8 = 8629) or (c4 = 8630) or (c5 = 8631) or (c6 = 8632) or (c7 = 8633) or (c8 = 8634) or (c4 = 8635) or (c5 = 8636) or (c6 = 8637) or (c7 = 8638) or (c8 = 8639) or (c4 = 8640) or (c5 = 8641) or (c6 = 8642) or (c7 = 8643) or (c8 = 8644) or (c4 = 8645) or (c5 = 8646) or (c6 = 8647) or (c7 = 8648) or (c8 = 8649) or (c4 = 8650) or (c5 = 8651) or (c6 = 8652) or (c7 = 8653) or (c8 = 8654) or (c4 = 8655) or (c5 = 8656) or (c6 = 8657) or (c7 = 8658) or (c8 = 8659) or (c4 = 8660) or (c5 = 8661) or (c6 = 8662) or (c7 = 8663) or (c8 = 8664) or (c4 = 8665) or (c5 = 8666) or (c6 = 8667) or (c7 = 8668) or (c8 = 8669) or (c4 = 8670) or (c5 = 8671) or (c6 = 8672) or (c7 = 8673) or (c8 = 8674) or (c4 = 8675) or (c5 = 8676) or (c6 = 8677) or (c7 = 8678) or (c8 = 8679) or (c4 = 8680) or (c5 = 8681) or (c6 = 8682) or (c7 = 8683) or (c8 = 8684) or (c4 = 8685) or (c5 = 8686) or (c6 = 8687) or (c7 = 8688) or (c8 = 8689) or (c4 = 8690) or (c5 = 8691) or (c6 = 8692) or (c7 = 8693) or (c8 = 8694) or (c4 = 8695) or (c5 = 8696) or (c6 = 8697) or (c7 = 8698) or (c8 = 8699) or (c4 = 8700) or (c5 = 8701) or (c6 = 8702) or (c7 = 8703) or (c8 = 8704) or (c4 = 8705) or (c5 = 8706) or (c6 = 8707) or (c7 = 8708) or (c8 = 8709) or (c4 = 8710) or (c5 = 8711) or (c6 = 8712) or (c7 = 8713) or (c8 = 8714) or (c4 = 8715) or (c5 = 8716) or (c6 = 8717) or (c7 = 8718) or (c8 = 8719) or (c4 = 8720) or (c5 = 8721) or (c6 = 8722) or (c7 = 8723) or (c8 = 8724) or (c4 = 8725) or (c5 = 8726) or (c6 = 8727) or (c7 = 8728) or (c8 = 8729) or (c4 = 8730) or (c5 = 8731) or (c6 = 8732) or (c7 = 8733) or (c8 = 8734) or (c4 = 8735) or (c5 = 8736) or (c6 = 8737) or (c7 = 8738) or (c8 = 8739) or (c4 = 8740) or (c5 = 8741) or (c6 = 8742) or (c7 = 8743) or (c8 = 8744) or (c4 = 8745) or (c5 = 8746) or (c6 = 8747) or (c7 = 8748) or (c8 = 8749) or (c4 = 8750) or (c5 = 8751) or (c6 = 8752) or (c7 = 8753) or (c8 = 8754) or (c4 = 8755) or (c5 = 8756) or (c6 = 8757) or (c7 = 8758) or (c8 = 8759) or (c4 = 8760) or (c5 = 8761) or (c6 = 8762) or (c7 = 8763) or (c8 = 8764) or (c4 = 8765) or (c5 = 8766) or (c6 = 8767) or (c7 = 8768) or (c8 = 8769) or (c4 = 8770) or (c5 = 8771) or (c6 = 8772) or (c7 = 8773) or (c8 = 8774) or (c4 = 8775) or (c5 = 8776) or (c6 = 8777) or (c7 = 8778) or (c8 = 8779) or (c4 = 8780) or (c5 = 8781) or (c6 = 8782) or (c7 = 8783) or (c8 = 8784) or (c4 = 8785) or (c5 = 8786) or (c6 = 8787) or (c7 = 8788) or (c8 = 8789) or (c4 = 8790) or (c5 = 8791) or (c6 = 8792) or (c7 = 8793) or (c8 = 8794) or (c4 = 8795) or (c5 = 8796) or (c6 = 8797) or (c7 = 8798) or (c8 = 8799) or (c4 = 8800) or (c5 = 8801) or (c6 = 8802) or (c7 = 8803) or (c8 = 8804) or (c4 = 8805) or (c5 = 8806) or (c6 = 8807) or (c7 = 8808) or (c8 = 8809) or (c4 = 8810) or (c5 = 8811) or (c6 = 8812) or (c7 = 8813) or (c8 = 8814) or (c4 = 8815) or (c5 = 8816) or (c6 = 8817) or (c7 = 8818) or (c8 = 8819) or (c4 = 8820) or (c5 = 8821) or (c6 = 8822) or (c7 = 8823) or (c8 = 8824) or (c4 = 8825) or (c5 = 8826) or (c6 = 8827) or (c7 = 8828) or (c8 = 8829) or (c4 = 8830) or (c5 = 8831) or (c6 = 8832) or (c7 = 8833) or (c8 = 8834) or (c4 = 8835) or (c5 = 8836) or (c6 = 8837) or (c7 = 8838) or (c8 = 8839) or (c4 = 8840) or (c5 = 8841) or (c6 = 8842) or (c7 = 8843) or (c8 = 8844) or (c4 = 8845) or (c5 = 8846) or (c6 = 8847) or (c7 = 8848) or (c8 = 8849) or (c4 = 8850) or (c5 = 8851) or (c6 = 8852) or (c7 = 8853) or (c8 = 8854) or (c4 = 8855) or (c5 = 8856) or (c6 = 8857) or (c7 = 8858) or (c8 = 8859) or (c4 = 8860) or (c5 = 8861) or (c6 = 8862) or (c7 = 8863) or (c8 = 8864) or (c4 = 8865) or (c5 = 8866) or (c6 = 8867) or (c7 = 8868) or (c8 = 8869) or (c4 = 8870) or (c5 = 8871) or (c6 = 8872) or (c7 = 8873) or (c8 = 8874) or (c4 = 8875) or (c5 = 8876) or (c6 = 8877) or (c7 = 8878) or (c8 = 8879) or (c4 = 8880) or (c5 = 8881) or (c6 = 8882) or (c7 = 8883) or (c8 = 8884) or (c4 = 8885) or (c5 = 8886) or (c6 = 8887) or (c7 = 8888) or (c8 = 8889) or (c4 = 8890) or (c5 = 8891) or (c6 = 8892) or (c7 = 8893) or (c8 = 8894) or (c4 = 8895) or (c5 = 8896) or (c6 = 8897) or (c7 = 8898) or (c8 = 8899) or (c4 = 8900) or (c5 = 8901) or (c6 = 8902) or (c7 = 8903) or (c8 = 8904) or (c4 = 8905) or (c5 = 8906) or (c6 = 8907) or (c7 = 8908) or (c8 = 8909) or (c4 = 8910) or (c5 = 8911) or (c6 = 8912) or (c7 = 8913) or (c8 = 8914) or (c4 = 8915) or (c5 = 8916) or (c6 = 8917) or (c7 = 8918) or (c8 = 8919) or (c4 = 8920) or (c5 = 8921) or (c6 = 8922) or (c7 = 8923) or (c8 = 8924) or (c4 = 8925) or (c5 = 8926) or (c6 = 8927) or (c7 = 8928) or (c8 = 8929) or (c4 = 8930) or (c5 = 8931) or (c6 = 8932) or (c7 = 8933) or (c8 = 8934) or (c4 = 8935) or (c5 = 8936) or (c6 = 8937) or (c7 = 8938) or (c8 = 8939) or (c4 = 8940) or (c5 = 8941) or (c6 = 8942) or (c7 = 8943) or (c8 = 8944) or (c4 = 8945) or (c5 = 8946) or (c6 = 8947) or (c7 = 8948) or (c8 = 8949) or (c4 = 8950) or (c5 = 8951) or (c6 = 8952) or (c7 = 8953) or (c8 = 8954) or (c4 = 8955) or (c5 = 8956) or (c6 = 8957) or (c7 = 8958) or (c8 = 8959) or (c4 = 8960) or (c5 = 8961) or (c6 = 8962) or (c7 = 8963) or (c8 = 8964) or (c4 = 8965) or (c5 = 8966) or (c6 = 8967) or (c7 = 8968) or (c8 = 8969) or (c4 = 8970) or (c5 = 8971) or (c6 = 8972) or (c7 = 8973) or (c8 = 8974) or (c4 = 8975) or (c5 = 8976) or (c6 = 8977) or (c7 = 8978) or (c8 = 8979) or (c4 = 8980) or (c5 = 8981) or (c6 = 8982) or (c7 = 8983) or (c8 = 8984) or (c4 = 8985) or (c5 = 8986) or (c6 = 8987) or (c7 = 8988) or (c8 = 8989) or (c4 = 8990) or (c5 = 8991) or (c6 = 8992) or (c7 = 8993) or (c8 = 8994) or (c4 = 8995) or (c5 = 8996) or (c6 = 8997) or (c7 = 8998) or (c8 = 8999) or (c4 = 9000) or (c5 = 9001) or (c6 = 9002) or (c7 = 9003) or (c8 = 9004) or (c4 = 9005) or (c5 = 9006) or (c6 = 9007) or (c7 = 9008) or (c8 = 9009) or (c4 = 9010) or (c5 = 9011) or (c6 = 9012) or (c7 = 9013) or (c8 = 9014) or (c4 = 9015) or (c5 = 9016) or (c6 = 9017) or (c7 = 9018) or (c8 = 9019) or (c4 = 9020) or (c5 = 9021) or (c6 = 9022) or (c7 = 9023) or (c8 = 9024) or (c4 = 9025) or (c5 = 9026) or (c6 = 9027) or (c7 = 9028) or (c8 = 9029) or (c4 = 9030) or (c5 = 9031) or (c6 = 9032) or (c7 = 9033) or (c8 = 9034) or (c4 = 9035) or (c5 = 9036) or (c6 = 9037) or (c7 = 9038) or (c8 = 9039) or (c4 = 9040) or (c5 = 9041) or (c6 = 9042) or (c7 = 9043) or (c8 = 9044) or (c4 = 9045) or (c5 = 9046) or (c6 = 9047) or (c7 = 9048) or (c8 = 9049) or (c4 = 9050) or (c5 = 9051) or (c6 = 9052) or (c7 = 9053) or (c8 = 9054) or (c4 = 9055) or (c5 = 9056) or (c6 = 9057) or (c7 = 9058) or (c8 = 9059) or (c4 = 9060) or (c5 = 9061) or (c6 = 9062) or (c7 = 9063) or (c8 = 9064) or (c4 = 9065) or (c5 = 9066) or (c6 = 9067) or (c7 = 9068) or (c8 = 9069) or (c4 = 9070) or (c5 = 9071) or (c6 = 9072) or (c7 = 9073) or (c8 = 9074) or (c4 = 9075) or (c5 = 9076) or (c6 = 9077) or (c7 = 9078) or (c8 = 9079) or (c4 = 9080) or (c5 = 9081) or (c6 = 9082) or (c7 = 9083) or (c8 = 9084) or (c4 = 9085) or (c5 = 9086) or (c6 = 9087) or (c7 = 9088) or (c8 = 9089) or (c4 = 9090) or (c5 = 9091) or (c6 = 9092) or (c7 = 9093) or (c8 = 9094) or (c4 = 9095) or (c5 = 9096) or (c6 = 9097) or (c7 = 9098) or (c8 = 9099) or (c4 = 9100) or (c5 = 9101) or (c6 = 9102) or (c7 = 9103) or (c8 = 9104) or (c4 = 9105) or (c5 = 9106) or (c6 = 9107) or (c7 = 9108) or (c8 = 9109) or (c4 = 9110) or (c5 = 9111) or (c6 = 9112) or (c7 = 9113) or (c8 = 9114) or (c4 = 9115) or (c5 = 9116) or (c6 = 9117) or (c7 = 9118) or (c8 = 9119) or (c4 = 9120) or (c5 = 9121) or (c6 = 9122) or (c7 = 9123) or (c8 = 9124) or (c4 = 9125) or (c5 = 9126) or (c6 = 9127) or (c7 = 9128) or (c8 = 9129) or (c4 = 9130) or (c5 = 9131) or (c6 = 9132) or (c7 = 9133) or (c8 = 9134) or (c4 = 9135) or (c5 = 9136) or (c6 = 9137) or (c7 = 9138) or (c8 = 9139) or (c4 = 9140) or (c5 = 9141) or (c6 = 9142) or (c7 = 9143) or (c8 = 9144) or (c4 = 9145) or (c5 = 9146) or (c6 = 9147) or (c7 = 9148) or (c8 = 9149) or (c4 = 9150) or (c5 = 9151) or (c6 = 9152) or (c7 = 9153) or (c8 = 9154) or (c4 = 9155) or (c5 = 9156) or (c6 = 9157) or (c7 = 9158) or (c8 = 9159) or (c4 = 9160) or (c5 = 9161) or (c6 = 9162) or (c7 = 9163) or (c8 = 9164) or (c4 = 9165) or (c5 = 9166) or (c6 = 9167) or (c7 = 9168) or (c8 = 9169) or (c4 = 9170) or (c5 = 9171) or (c6 = 9172) or (c7 = 9173) or (c8 = 9174) or (c4 = 9175) or (c5 = 9176) or (c6 = 9177) or (c7 = 9178) or (c8 = 9179) or (c4 = 9180) or (c5 = 9181) or (c6 = 9182) or (c7 = 9183) or (c8 = 9184) or (c4 = 9185) or (c5 = 9186) or (c6 = 9187) or (c7 = 9188) or (c8 = 9189) or (c4 = 9190) or (c5 = 9191) or (c6 = 9192) or (c7 = 9193) or (c8 = 9194) or (c4 = 9195) or (c5 = 9196) or (c6 = 9197) or (c7 = 9198) or (c8 = 9199) or (c4 = 9200) or (c5 = 9201) or (c6 = 9202) or (c7 = 9203) or (c8 = 9204) or (c4 = 9205) or (c5 = 9206) or (c6 = 9207) or (c7 = 9208) or (c8 = 9209) or (c4 = 9210) or (c5 = 9211) or (c6 = 9212) or (c7 = 9213) or (c8 = 9214) or (c4 = 9215) or (c5 = 9216) or (c6 = 9217) or (c7 = 9218) or (c8 = 9219) or (c4 = 9220) or (c5 = 9221) or (c6 = 9222) or (c7 = 9223) or (c8 = 9224) or (c4 = 9225) or (c5 = 9226) or (c6 = 9227) or (c7 = 9228) or (c8 = 9229) or (c4 = 9230) or (c5 = 9231) or (c6 = 9232) or (c7 = 9233) or (c8 = 9234) or (c4 = 9235) or (c5 = 9236) or (c6 = 9237) or (c7 = 9238) or (c8 = 9239) or (c4 = 9240) or (c5 = 9241) or (c6 = 9242) or (c7 = 9243) or (c8 = 9244) or (c4 = 9245) or (c5 = 9246) or (c6 = 9247) or (c7 = 9248) or (c8 = 9249) or (c4 = 9250) or (c5 = 9251) or (c6 = 9252) or (c7 = 9253) or (c8 = 9254) or (c4 = 9255) or (c5 = 9256) or (c6 = 9257) or (c7 = 9258) or (c8 = 9259) or (c4 = 9260) or (c5 = 9261) or (c6 = 9262) or (c7 = 9263) or (c8 = 9264) or (c4 = 9265) or (c5 = 9266) or (c6 = 9267) or (c7 = 9268) or (c8 = 9269) or (c4 = 9270) or (c5 = 9271) or (c6 = 9272) or (c7 = 9273) or (c8 = 9274) or (c4 = 9275) or (c5 = 9276) or (c6 = 9277) or (c7 = 9278) or (c8 = 9279) or (c4 = 9280) or (c5 = 9281) or (c6 = 9282) or (c7 = 9283) or (c8 = 9284) or (c4 = 9285) or (c5 = 9286) or (c6 = 9287) or (c7 = 9288) or (c8 = 9289) or (c4 = 9290) or (c5 = 9291) or (c6 = 9292) or (c7 = 9293) or (c8 = 9294) or (c4 = 9295) or (c5 = 9296) or (c6 = 9297) or (c7 = 9298) or (c8 = 9299) or (c4 = 9300) or (c5 = 9301) or (c6 = 9302) or (c7 = 9303) or (c8 = 9304) or (c4 = 9305) or (c5 = 9306) or (c6 = 9307) or (c7 = 9308) or (c8 = 9309) or (c4 = 9310) or (c5 = 9311) or (c6 = 9312) or (c7 = 9313) or (c8 = 9314) or (c4 = 9315) or (c5 = 9316) or (c6 = 9317) or (c7 = 9318) or (c8 = 9319) or (c4 = 9320) or (c5 = 9321) or (c6 = 9322) or (c7 = 9323) or (c8 = 9324) or (c4 = 9325) or (c5 = 9326) or (c6 = 9327) or (c7 = 9328) or (c8 = 9329) or (c4 = 9330) or (c5 = 9331) or (c6 = 9332) or (c7 = 9333) or (c8 = 9334) or (c4 = 9335) or (c5 = 9336) or (c6 = 9337) or (c7 = 9338) or (c8 = 9339) or (c4 = 9340) or (c5 = 9341) or (c6 = 9342) or (c7 = 9343) or (c8 = 9344) or (c4 = 9345) or (c5 = 9346) or (c6 = 9347) or (c7 = 9348) or (c8 = 9349) or (c4 = 9350) or (c5 = 9351) or (c6 = 9352) or (c7 = 9353) or (c8 = 9354) or (c4 = 9355) or (c5 = 9356) or (c6 = 9357) or (c7 = 9358) or (c8 = 9359) or (c4 = 9360) or (c5 = 9361) or (c6 = 9362) or (c7 = 9363) or (c8 = 9364) or (c4 = 9365) or (c5 = 9366) or (c6 = 9367) or (c7 = 9368) or (c8 = 9369) or (c4 = 9370) or (c5 = 9371) or (c6 = 9372) or (c7 = 9373) or (c8 = 9374) or (c4 = 9375) or (c5 = 9376) or (c6 = 9377) or (c7 = 9378) or (c8 = 9379) or (c4 = 9380) or (c5 = 9381) or (c6 = 9382) or (c7 = 9383) or (c8 = 9384) or (c4 = 9385) or (c5 = 9386) or (c6 = 9387) or (c7 = 9388) or (c8 = 9389) or (c4 = 9390) or (c5 = 9391) or (c6 = 9392) or (c7 = 9393) or (c8 = 9394) or (c4 = 9395) or (c5 = 9396) or (c6 = 9397) or (c7 = 9398) or (c8 = 9399) or (c4 = 9400) or (c5 = 9401) or (c6 = 9402) or (c7 = 9403) or (c8 = 9404) or (c4 = 9405) or (c5 = 9406) or (c6 = 9407) or (c7 = 9408) or (c8 = 9409) or (c4 = 9410) or (c5 = 9411) or (c6 = 9412) or (c7 = 9413) or (c8 = 9414) or (c4 = 9415) or (c5 = 9416) or (c6 = 9417) or (c7 = 9418) or (c8 = 9419) or (c4 = 9420) or (c5 = 9421) or (c6 = 9422) or (c7 = 9423) or (c8 = 9424) or (c4 = 9425) or (c5 = 9426) or (c6 = 9427) or (c7 = 9428) or (c8 = 9429) or (c4 = 9430) or (c5 = 9431) or (c6 = 9432) or (c7 = 9433) or (c8 = 9434) or (c4 = 9435) or (c5 = 9436) or (c6 = 9437) or (c7 = 9438) or (c8 = 9439) or (c4 = 9440) or (c5 = 9441) or (c6 = 9442) or (c7 = 9443) or (c8 = 9444) or (c4 = 9445) or (c5 = 9446) or (c6 = 9447) or (c7 = 9448) or (c8 = 9449) or (c4 = 9450) or (c5 = 9451) or (c6 = 9452) or (c7 = 9453) or (c8 = 9454) or (c4 = 9455) or (c5 = 9456) or (c6 = 9457) or (c7 = 9458) or (c8 = 9459) or (c4 = 9460) or (c5 = 9461) or (c6 = 9462) or (c7 = 9463) or (c8 = 9464) or (c4 = 9465) or (c5 = 9466) or (c6 = 9467) or (c7 = 9468) or (c8 = 9469) or (c4 = 9470) or (c5 = 9471) or (c6 = 9472) or (c7 = 9473) or (c8 = 9474) or (c4 = 9475) or (c5 = 9476) or (c6 = 9477) or (c7 = 9478) or (c8 = 9479) or (c4 = 9480) or (c5 = 9481) or (c6 = 9482) or (c7 = 9483) or (c8 = 9484) or (c4 = 9485) or (c5 = 9486) or (c6 = 9487) or (c7 = 9488) or (c8 = 9489) or (c4 = 9490) or (c5 = 9491) or (c6 = 9492) or (c7 = 9493) or (c8 = 9494) or (c4 = 9495) or (c5 = 9496) or (c6 = 9497) or (c7 = 9498) or (c8 = 9499) or (c4 = 9500) or (c5 = 9501) or (c6 = 9502) or (c7 = 9503) or (c8 = 9504) or (c4 = 9505) or (c5 = 9506) or (c6 = 9507) or (c7 = 9508) or (c8 = 9509) or (c4 = 9510) or (c5 = 9511) or (c6 = 9512) or (c7 = 9513) or (c8 = 9514) or (c4 = 9515) or (c5 = 9516) or (c6 = 9517) or (c7 = 9518) or (c8 = 9519) or (c4 = 9520) or (c5 = 9521) or (c6 = 9522) or (c7 = 9523) or (c8 = 9524) or (c4 = 9525) or (c5 = 9526) or (c6 = 9527) or (c7 = 9528) or (c8 = 9529) or (c4 = 9530) or (c5 = 9531) or (c6 = 9532) or (c7 = 9533) or (c8 = 9534) or (c4 = 9535) or (c5 = 9536) or (c6 = 9537) or (c7 = 9538) or (c8 = 9539) or (c4 = 9540) or (c5 = 9541) or (c6 = 9542) or (c7 = 9543) or (c8 = 9544) or (c4 = 9545) or (c5 = 9546) or (c6 = 9547) or (c7 = 9548) or (c8 = 9549) or (c4 = 9550) or (c5 = 9551) or (c6 = 9552) or (c7 = 9553) or (c8 = 9554) or (c4 = 9555) or (c5 = 9556) or (c6 = 9557) or (c7 = 9558) or (c8 = 9559) or (c4 = 9560) or (c5 = 9561) or (c6 = 9562) or (c7 = 9563) or (c8 = 9564) or (c4 = 9565) or (c5 = 9566) or (c6 = 9567) or (c7 = 9568) or (c8 = 9569) or (c4 = 9570) or (c5 = 9571) or (c6 = 9572) or (c7 = 9573) or (c8 = 9574) or (c4 = 9575) or (c5 = 9576) or (c6 = 9577) or (c7 = 9578) or (c8 = 9579) or (c4 = 9580) or (c5 = 9581) or (c6 = 9582) or (c7 = 9583) or (c8 = 9584) or (c4 = 9585) or (c5 = 9586) or (c6 = 9587) or (c7 = 9588) or (c8 = 9589) or (c4 = 9590) or (c5 = 9591) or (c6 = 9592) or (c7 = 9593) or (c8 = 9594) or (c4 = 9595) or (c5 = 9596) or (c6 = 9597) or (c7 = 9598) or (c8 = 9599) or (c4 = 9600) or (c5 = 9601) or (c6 = 9602) or (c7 = 9603) or (c8 = 9604) or (c4 = 9605) or (c5 = 9606) or (c6 = 9607) or (c7 = 9608) or (c8 = 9609) or (c4 = 9610) or (c5 = 9611) or (c6 = 9612) or (c7 = 9613) or (c8 = 9614) or (c4 = 9615) or (c5 = 9616) or (c6 = 9617) or (c7 = 9618) or (c8 = 9619) or (c4 = 9620) or (c5 = 9621) or (c6 = 9622) or (c7 = 9623) or (c8 = 9624) or (c4 = 9625) or (c5 = 9626) or (c6 = 9627) or (c7 = 9628) or (c8 = 9629) or (c4 = 9630) or (c5 = 9631) or (c6 = 9632) or (c7 = 9633) or (c8 = 9634) or (c4 = 9635) or (c5 = 9636) or (c6 = 9637) or (c7 = 9638) or (c8 = 9639) or (c4 = 9640) or (c5 = 9641) or (c6 = 9642) or (c7 = 9643) or (c8 = 9644) or (c4 = 9645) or (c5 = 9646) or (c6 = 9647) or (c7 = 9648) or (c8 = 9649) or (c4 = 9650) or (c5 = 9651) or (c6 = 9652) or (c7 = 9653) or (c8 = 9654) or (c4 = 9655) or (c5 = 9656) or (c6 = 9657) or (c7 = 9658) or (c8 = 9659) or (c4 = 9660) or (c5 = 9661) or (c6 = 9662) or (c7 = 9663) or (c8 = 9664) or (c4 = 9665) or (c5 = 9666) or (c6 = 9667) or (c7 = 9668) or (c8 = 9669) or (c4 = 9670) or (c5 = 9671) or (c6 = 9672) or (c7 = 9673) or (c8 = 9674) or (c4 = 9675) or (c5 = 9676) or (c6 = 9677) or (c7 = 9678) or (c8 = 9679) or (c4 = 9680) or (c5 = 9681) or (c6 = 9682) or (c7 = 9683) or (c8 = 9684) or (c4 = 9685) or (c5 = 9686) or (c6 = 9687) or (c7 = 9688) or (c8 = 9689) or (c4 = 9690) or (c5 = 9691) or (c6 = 9692) or (c7 = 9693) or (c8 = 9694) or (c4 = 9695) or (c5 = 9696) or (c6 = 9697) or (c7 = 9698) or (c8 = 9699) or (c4 = 9700) or (c5 = 9701) or (c6 = 9702) or (c7 = 9703) or (c8 = 9704) or (c4 = 9705) or (c5 = 9706) or (c6 = 9707) or (c7 = 9708) or (c8 = 9709) or (c4 = 9710) or (c5 = 9711) or (c6 = 9712) or (c7 = 9713) or (c8 = 9714) or (c4 = 9715) or (c5 = 9716) or (c6 = 9717) or (c7 = 9718) or (c8 = 9719) or (c4 = 9720) or (c5 = 9721) or (c6 = 9722) or (c7 = 9723) or (c8 = 9724) or (c4 = 9725) or (c5 = 9726) or (c6 = 9727) or (c7 = 9728) or (c8 = 9729) or (c4 = 9730) or (c5 = 9731) or (c6 = 9732) or (c7 = 9733) or (c8 = 9734) or (c4 = 9735) or (c5 = 9736) or (c6 = 9737) or (c7 = 9738) or (c8 = 9739) or (c4 = 9740) or (c5 = 9741) or (c6 = 9742) or (c7 = 9743) or (c8 = 9744) or (c4 = 9745) or (c5 = 9746) or (c6 = 9747) or (c7 = 9748) or (c8 = 9749) or (c4 = 9750) or (c5 = 9751) or (c6 = 9752) or (c7 = 9753) or (c8 = 9754) or (c4 = 9755) or (c5 = 9756) or (c6 = 9757) or (c7 = 9758) or (c8 = 9759) or (c4 = 9760) or (c5 = 9761) or (c6 = 9762) or (c7 = 9763) or (c8 = 9764) or (c4 = 9765) or (c5 = 9766) or (c6 = 9767) or (c7 = 9768) or (c8 = 9769) or (c4 = 9770) or (c5 = 9771) or (c6 = 9772) or (c7 = 9773) or (c8 = 9774) or (c4 = 9775) or (c5 = 9776) or (c6 = 9777) or (c7 = 9778) or (c8 = 9779) or (c4 = 9780) or (c5 = 9781) or (c6 = 9782) or (c7 = 9783) or (c8 = 9784) or (c4 = 9785) or (c5 = 9786) or (c6 = 9787) or (c7 = 9788) or (c8 = 9789) or (c4 = 9790) or (c5 = 9791) or (c6 = 9792) or (c7 = 9793) or (c8 = 9794) or (c4 = 9795) or (c5 = 9796) or (c6 = 9797) or (c7 = 9798) or (c8 = 9799) or (c4 = 9800) or (c5 = 9801) or (c6 = 9802) or (c7 = 9803) or (c8 = 9804) or (c4 = 9805) or (c5 = 9806) or (c6 = 9807) or (c7 = 9808) or (c8 = 9809) or (c4 = 9810) or (c5 = 9811) or (c6 = 9812) or (c7 = 9813) or (c8 = 9814) or (c4 = 9815) or (c5 = 9816) or (c6 = 9817) or (c7 = 9818) or (c8 = 9819) or (c4 = 9820) or (c5 = 9821) or (c6 = 9822) or (c7 = 9823) or (c8 = 9824) or (c4 = 9825) or (c5 = 9826) or (c6 = 9827) or (c7 = 9828) or (c8 = 9829) or (c4 = 9830) or (c5 = 9831) or (c6 = 9832) or (c7 = 9833) or (c8 = 9834) or (c4 = 9835) or (c5 = 9836) or (c6 = 9837) or (c7 = 9838) or (c8 = 9839) or (c4 = 9840) or (c5 = 9841) or (c6 = 9842) or (c7 = 9843) or (c8 = 9844) or (c4 = 9845) or (c5 = 9846) or (c6 = 9847) or (c7 = 9848) or (c8 = 9849) or (c4 = 9850) or (c5 = 9851) or (c6 = 9852) or (c7 = 9853) or (c8 = 9854) or (c4 = 9855) or (c5 = 9856) or (c6 = 9857) or (c7 = 9858) or (c8 = 9859) or (c4 = 9860) or (c5 = 9861) or (c6 = 9862) or (c7 = 9863) or (c8 = 9864) or (c4 = 9865) or (c5 = 9866) or (c6 = 9867) or (c7 = 9868) or (c8 = 9869) or (c4 = 9870) or (c5 = 9871) or (c6 = 9872) or (c7 = 9873) or (c8 = 9874) or (c4 = 9875) or (c5 = 9876) or (c6 = 9877) or (c7 = 9878) or (c8 = 9879) or (c4 = 9880) or (c5 = 9881) or (c6 = 9882) or (c7 = 9883) or (c8 = 9884) or (c4 = 9885) or (c5 = 9886) or (c6 = 9887) or (c7 = 9888) or (c8 = 9889) or (c4 = 9890) or (c5 = 9891) or (c6 = 9892) or (c7 = 9893) or (c8 = 9894) or (c4 = 9895) or (c5 = 9896) or (c6 = 9897) or (c7 = 9898) or (c8 = 9899) or (c4 = 9900) or (c5 = 9901) or (c6 = 9902) or (c7 = 9903) or (c8 = 9904) or (c4 = 9905) or (c5 = 9906) or (c6 = 9907) or (c7 = 9908) or (c8 = 9909) or (c4 = 9910) or (c5 = 9911) or (c6 = 9912) or (c7 = 9913) or (c8 = 9914) or (c4 = 9915) or (c5 = 9916) or (c6 = 9917) or (c7 = 9918) or (c8 = 9919) or (c4 = 9920) or (c5 = 9921) or (c6 = 9922) or (c7 = 9923) or (c8 = 9924) or (c4 = 9925) or (c5 = 9926) or (c6 = 9927) or (c7 = 9928) or (c8 = 9929) or (c4 = 9930) or (c5 = 9931) or (c6 = 9932) or (c7 = 9933) or (c8 = 9934) or (c4 = 9935) or (c5 = 9936) or (c6 = 9937) or (c7 = 9938) or (c8 = 9939) or (c4 = 9940) or (c5 = 9941) or (c6 = 9942) or (c7 = 9943) or (c8 = 9944) or (c4 = 9945) or (c5 = 9946) or (c6 = 9947) or (c7 = 9948) or (c8 = 9949) or (c4 = 9950) or (c5 = 9951) or (c6 = 9952) or (c7 = 9953) or (c8 = 9954) or (c4 = 9955) or (c5 = 9956) or (c6 = 9957) or (c7 = 9958) or (c8 = 9959) or (c4 = 9960) or (c5 = 9961) or (c6 = 9962) or (c7 = 9963) or (c8 = 9964) or (c4 = 9965) or (c5 = 9966) or (c6 = 9967) or (c7 = 9968) or (c8 = 9969) or (c4 = 9970) or (c5 = 9971) or (c6 = 9972) or (c7 = 9973) or (c8 = 9974) or (c4 = 9975) or (c5 = 9976) or (c6 = 9977) or (c7 = 9978) or (c8 = 9979) or (c4 = 9980) or (c5 = 9981) or (c6 = 9982) or (c7 = 9983) or (c8 = 9984) or (c4 = 9985) or (c5 = 9986) or (c6 = 9987) or (c7 = 9988) or (c8 = 9989) or (c4 = 9990) or (c5 = 9991) or (c6 = 9992) or (c7 = 9993) or (c8 = 9994) or (c4 = 9995) or (c5 = 9996) or (c6 = 9997) or (c7 = 9998) or (c8 = 9999) or (c4 = 10000)
go