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)
go