Advertisement
jonatan1024

SAT32

Jan 6th, 2022
1,396
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 67.15 KB | None | 0 0
  1. ((1 && 1)) && ((1 && 33) || (18 && 50) || (22 && 54) || (2 && 34)) && ((1 && 65) || (30 && 94) || (3 && 67)) && ((1 && 97) || (30 && 126) || (3 && 99) || (4 && 100)) && ((1 && 129) || (18 && 146) || (22 && 150) || (2 && 130) || (5 && 133)) && ((1 && 161) || (18 && 178) || (22 && 182) || (6 && 166)) && ((1 && 193) || (18 && 210) || (14 && 206) || (7 && 199)) && ((1 && 225) || (9 && 233) || (15 && 239) || (8 && 232)) && ((1 && 257) || (9 && 265)) && ((1 && 289) || (30 && 318) || (3 && 291) || (10 && 298)) && ((1 && 321) || (30 && 350) || (3 && 323) || (11 && 331)) && ((1 && 353) || (9 && 361) || (15 && 367) || (8 && 360) || (12 && 364)) && ((1 && 385) || (18 && 402) || (28 && 412) || (13 && 397)) && ((1 && 417) || (18 && 434) || (14 && 430)) && ((1 && 449) || (9 && 457) || (15 && 463)) && ((1 && 481) || (21 && 501) || (16 && 496)) && ((1 && 513) || (30 && 542) || (17 && 529)) && ((1 && 545) || (18 && 562)) && ((1 && 577) || (18 && 594) || (28 && 604) || (13 && 589) || (19 && 595)) && ((1 && 609) || (18 && 626) || (20 && 628)) && ((1 && 641) || (21 && 661)) && ((1 && 673) || (18 && 690) || (22 && 694)) && ((1 && 705) || (18 && 722) || (28 && 732) || (13 && 717) || (23 && 727)) && ((1 && 737) || (9 && 745) || (26 && 762) || (31 && 767) || (24 && 760)) && ((1 && 769) || (9 && 777) || (15 && 783) || (8 && 776) || (25 && 793)) && ((1 && 801) || (9 && 809) || (26 && 826)) && ((1 && 833) || (30 && 862) || (3 && 835) || (10 && 842) || (27 && 859)) && ((1 && 865) || (18 && 882) || (28 && 892)) && ((1 && 897) || (18 && 914) || (22 && 918) || (6 && 902) || (29 && 925)) && ((1 && 929) || (30 && 958)) && ((1 && 961) || (9 && 969) || (26 && 986) || (31 && 991)) && ((1 && 993) || (18 && 1010) || (22 && 1014) || (2 && 994) || (32 && 1024)) && ((33 && 1) || (50 && 18) || (54 && 22) || (34 && 2)) && ((34 && 34)) && ((34 && 66) || (42 && 74) || (35 && 67)) && ((34 && 98) || (36 && 100)) && ((34 && 130) || (37 && 133)) && ((34 && 162) || (54 && 182) || (38 && 166)) && ((34 && 194) || (36 && 196) || (39 && 199)) && ((34 && 226) || (54 && 246) || (47 && 239) || (40 && 232)) && ((34 && 258) || (54 && 278) || (47 && 271) || (41 && 265)) && ((34 && 290) || (42 && 298)) && ((34 && 322) || (42 && 330) || (35 && 323) || (43 && 331)) && ((34 && 354) || (54 && 374) || (47 && 367) || (40 && 360) || (44 && 364)) && ((34 && 386) || (36 && 388) || (63 && 415) || (45 && 397)) && ((34 && 418) || (54 && 438) || (50 && 434) || (46 && 430)) && ((34 && 450) || (54 && 470) || (47 && 463)) && ((34 && 482) || (48 && 496)) && ((34 && 514) || (54 && 534) || (38 && 518) || (49 && 529)) && ((34 && 546) || (54 && 566) || (50 && 562)) && ((34 && 578) || (36 && 580) || (63 && 607) || (45 && 589) || (51 && 595)) && ((34 && 610) || (48 && 624) || (53 && 629) || (52 && 628)) && ((34 && 642) || (48 && 656) || (53 && 661)) && ((34 && 674) || (54 && 694)) && ((34 && 706) || (36 && 708) || (63 && 735) || (45 && 717) || (55 && 727)) && ((34 && 738) || (36 && 740) || (63 && 767) || (56 && 760)) && ((34 && 770) || (54 && 790) || (47 && 783) || (40 && 776) || (57 && 793)) && ((34 && 802) || (36 && 804) || (63 && 831) || (58 && 826)) && ((34 && 834) || (42 && 842) || (59 && 859)) && ((34 && 866) || (54 && 886) || (50 && 882) || (60 && 892)) && ((34 && 898) || (54 && 918) || (38 && 902) || (61 && 925)) && ((34 && 930) || (42 && 938) || (35 && 931) || (62 && 958)) && ((34 && 962) || (36 && 964) || (63 && 991)) && ((34 && 994) || (64 && 1024)) && ((65 && 1) || (94 && 30) || (67 && 3)) && ((66 && 34) || (74 && 42) || (67 && 35)) && ((67 && 67)) && ((67 && 99) || (68 && 100)) && ((67 && 131) || (68 && 132) || (66 && 130) || (69 && 133)) && ((67 && 163) || (94 && 190) || (81 && 177) || (70 && 166)) && ((67 && 195) || (68 && 196) || (71 && 199)) && ((67 && 227) || (68 && 228) || (66 && 226) || (86 && 246) || (79 && 239) || (72 && 232)) && ((67 && 259) || (94 && 286) || (65 && 257) || (73 && 265)) && ((67 && 291) || (74 && 298)) && ((67 && 323) || (75 && 331)) && ((67 && 355) || (68 && 356) || (95 && 383) || (77 && 365) || (83 && 371) || (76 && 364)) && ((67 && 387) || (68 && 388) || (95 && 415) || (77 && 397)) && ((67 && 419) || (68 && 420) || (71 && 423) || (78 && 430)) && ((67 && 451) || (68 && 452) || (66 && 450) || (86 && 470) || (79 && 463)) && ((67 && 483) || (68 && 484) || (66 && 482) || (80 && 496)) && ((67 && 515) || (94 && 542) || (81 && 529)) && ((67 && 547) || (94 && 574) || (65 && 545) || (82 && 562)) && ((67 && 579) || (68 && 580) || (95 && 607) || (77 && 589) || (83 && 595)) && ((67 && 611) || (94 && 638) || (65 && 609) || (82 && 626) || (84 && 628)) && ((67 && 643) || (94 && 670) || (65 && 641) || (85 && 661)) && ((67 && 675) || (68 && 676) || (66 && 674) || (86 && 694)) && ((67 && 707) || (68 && 708) || (95 && 735) || (77 && 717) || (87 && 727)) && ((67 && 739) || (68 && 740) || (95 && 767) || (88 && 760)) && ((67 && 771) || (94 && 798) || (81 && 785) || (70 && 774) || (93 && 797) || (89 && 793)) && ((67 && 803) || (68 && 804) || (95 && 831) || (90 && 826)) && ((67 && 835) || (74 && 842) || (91 && 859)) && ((67 && 867) || (68 && 868) || (95 && 895) || (77 && 877) || (92 && 892)) && ((67 && 899) || (94 && 926) || (81 && 913) || (70 && 902) || (93 && 925)) && ((67 && 931) || (94 && 958)) && ((67 && 963) || (68 && 964) || (95 && 991)) && ((67 && 995) || (68 && 996) || (96 && 1024)) && ((97 && 1) || (126 && 30) || (99 && 3) || (100 && 4)) && ((98 && 34) || (100 && 36)) && ((99 && 67) || (100 && 68)) && ((100 && 100)) && ((100 && 132) || (98 && 130) || (101 && 133)) && ((100 && 164) || (98 && 162) || (118 && 182) || (102 && 166)) && ((100 && 196) || (103 && 199)) && ((100 && 228) || (98 && 226) || (118 && 246) || (111 && 239) || (104 && 232)) && ((100 && 260) || (127 && 287) || (122 && 282) || (105 && 265)) && ((100 && 292) || (99 && 291) || (106 && 298)) && ((100 && 324) || (99 && 323) || (107 && 331)) && ((100 && 356) || (127 && 383) || (109 && 365) || (115 && 371) || (108 && 364)) && ((100 && 388) || (127 && 415) || (109 && 397)) && ((100 && 420) || (103 && 423) || (110 && 430)) && ((100 && 452) || (98 && 450) || (118 && 470) || (111 && 463)) && ((100 && 484) || (98 && 482) || (112 && 496)) && ((100 && 516) || (99 && 515) || (126 && 542) || (113 && 529)) && ((100 && 548) || (98 && 546) || (118 && 566) || (114 && 562)) && ((100 && 580) || (127 && 607) || (109 && 589) || (115 && 595)) && ((100 && 612) || (98 && 610) || (112 && 624) || (117 && 629) || (116 && 628)) && ((100 && 644) || (98 && 642) || (112 && 656) || (117 && 661)) && ((100 && 676) || (98 && 674) || (118 && 694)) && ((100 && 708) || (127 && 735) || (109 && 717) || (119 && 727)) && ((100 && 740) || (127 && 767) || (120 && 760)) && ((100 && 772) || (98 && 770) || (118 && 790) || (111 && 783) || (104 && 776) || (121 && 793)) && ((100 && 804) || (127 && 831) || (122 && 826)) && ((100 && 836) || (99 && 835) || (106 && 842) || (123 && 859)) && ((100 && 868) || (127 && 895) || (109 && 877) || (124 && 892)) && ((100 && 900) || (98 && 898) || (118 && 918) || (102 && 902) || (125 && 925)) && ((100 && 932) || (99 && 931) || (126 && 958)) && ((100 && 964) || (127 && 991)) && ((100 && 996) || (128 && 1024)) && ((129 && 1) || (146 && 18) || (150 && 22) || (130 && 2) || (133 && 5)) && ((130 && 34) || (133 && 37)) && ((131 && 67) || (132 && 68) || (130 && 66) || (133 && 69)) && ((132 && 100) || (130 && 98) || (133 && 101)) && ((133 && 133)) && ((133 && 165) || (130 && 162) || (150 && 182) || (134 && 166)) && ((133 && 197) || (130 && 194) || (132 && 196) || (135 && 199)) && ((133 && 229) || (130 && 226) || (150 && 246) || (143 && 239) || (136 && 232)) && ((133 && 261) || (130 && 258) || (150 && 278) || (143 && 271) || (137 && 265)) && ((133 && 293) || (130 && 290) || (138 && 298)) && ((133 && 325) || (130 && 322) || (138 && 330) || (131 && 323) || (139 && 331)) && ((133 && 357) || (130 && 354) || (150 && 374) || (143 && 367) || (136 && 360) || (140 && 364)) && ((133 && 389) || (130 && 386) || (132 && 388) || (159 && 415) || (141 && 397)) && ((133 && 421) || (130 && 418) || (150 && 438) || (146 && 434) || (142 && 430)) && ((133 && 453) || (130 && 450) || (150 && 470) || (143 && 463)) && ((133 && 485) || (130 && 482) || (144 && 496)) && ((133 && 517) || (130 && 514) || (150 && 534) || (134 && 518) || (145 && 529)) && ((133 && 549) || (130 && 546) || (150 && 566) || (146 && 562)) && ((133 && 581) || (130 && 578) || (132 && 580) || (159 && 607) || (141 && 589) || (147 && 595)) && ((133 && 613) || (130 && 610) || (144 && 624) || (149 && 629) || (148 && 628)) && ((133 && 645) || (130 && 642) || (144 && 656) || (149 && 661)) && ((133 && 677) || (130 && 674) || (150 && 694)) && ((133 && 709) || (130 && 706) || (132 && 708) || (159 && 735) || (141 && 717) || (151 && 727)) && ((133 && 741) || (130 && 738) || (132 && 740) || (159 && 767) || (152 && 760)) && ((133 && 773) || (130 && 770) || (150 && 790) || (143 && 783) || (136 && 776) || (153 && 793)) && ((133 && 805) || (130 && 802) || (132 && 804) || (159 && 831) || (154 && 826)) && ((133 && 837) || (130 && 834) || (138 && 842) || (155 && 859)) && ((133 && 869) || (130 && 866) || (150 && 886) || (146 && 882) || (156 && 892)) && ((133 && 901) || (130 && 898) || (150 && 918) || (134 && 902) || (157 && 925)) && ((133 && 933) || (130 && 930) || (138 && 938) || (131 && 931) || (158 && 958)) && ((133 && 965) || (130 && 962) || (132 && 964) || (159 && 991)) && ((133 && 997) || (130 && 994) || (160 && 1024)) && ((161 && 1) || (178 && 18) || (182 && 22) || (166 && 6)) && ((162 && 34) || (182 && 54) || (166 && 38)) && ((163 && 67) || (190 && 94) || (177 && 81) || (166 && 70)) && ((164 && 100) || (162 && 98) || (182 && 118) || (166 && 102)) && ((165 && 133) || (162 && 130) || (182 && 150) || (166 && 134)) && ((166 && 166)) && ((166 && 198) || (177 && 209) || (174 && 206) || (167 && 199)) && ((166 && 230) || (189 && 253) || (185 && 249) || (168 && 232)) && ((166 && 262) || (182 && 278) || (175 && 271) || (169 && 265)) && ((166 && 294) || (182 && 310) || (162 && 290) || (170 && 298)) && ((166 && 326) || (177 && 337) || (190 && 350) || (163 && 323) || (171 && 331)) && ((166 && 358) || (189 && 381) || (185 && 377) || (168 && 360) || (172 && 364)) && ((166 && 390) || (182 && 406) || (178 && 402) || (188 && 412) || (173 && 397)) && ((166 && 422) || (177 && 433) || (174 && 430)) && ((166 && 454) || (182 && 470) || (175 && 463)) && ((166 && 486) || (182 && 502) || (162 && 482) || (176 && 496)) && ((166 && 518) || (177 && 529)) && ((166 && 550) || (182 && 566) || (178 && 562)) && ((166 && 582) || (189 && 605) || (185 && 601) || (168 && 584) || (172 && 588) || (179 && 595)) && ((166 && 614) || (182 && 630) || (178 && 626) || (180 && 628)) && ((166 && 646) || (177 && 657) || (190 && 670) || (161 && 641) || (181 && 661)) && ((166 && 678) || (182 && 694)) && ((166 && 710) || (182 && 726) || (178 && 722) || (188 && 732) || (173 && 717) || (183 && 727)) && ((166 && 742) || (182 && 758) || (162 && 738) || (164 && 740) || (191 && 767) || (184 && 760)) && ((166 && 774) || (189 && 797) || (185 && 793)) && ((166 && 806) || (182 && 822) || (175 && 815) || (169 && 809) || (186 && 826)) && ((166 && 838) || (182 && 854) || (162 && 834) || (170 && 842) || (187 && 859)) && ((166 && 870) || (182 && 886) || (178 && 882) || (188 && 892)) && ((166 && 902) || (189 && 925)) && ((166 && 934) || (177 && 945) || (190 && 958)) && ((166 && 966) || (182 && 982) || (162 && 962) || (164 && 964) || (191 && 991)) && ((166 && 998) || (182 && 1014) || (162 && 994) || (192 && 1024)) && ((193 && 1) || (210 && 18) || (206 && 14) || (199 && 7)) && ((194 && 34) || (196 && 36) || (199 && 39)) && ((195 && 67) || (196 && 68) || (199 && 71)) && ((196 && 100) || (199 && 103)) && ((197 && 133) || (194 && 130) || (196 && 132) || (199 && 135)) && ((198 && 166) || (209 && 177) || (206 && 174) || (199 && 167)) && ((199 && 199)) && ((199 && 231) || (206 && 238) || (210 && 242) || (214 && 246) || (207 && 239) || (200 && 232)) && ((199 && 263) || (206 && 270) || (210 && 274) || (193 && 257) || (201 && 265)) && ((199 && 295) || (196 && 292) || (195 && 291) || (202 && 298)) && ((199 && 327) || (196 && 324) || (195 && 323) || (203 && 331)) && ((199 && 359) || (196 && 356) || (223 && 383) || (205 && 365) || (211 && 371) || (204 && 364)) && ((199 && 391) || (196 && 388) || (223 && 415) || (205 && 397)) && ((199 && 423) || (206 && 430)) && ((199 && 455) || (206 && 462) || (210 && 466) || (214 && 470) || (207 && 463)) && ((199 && 487) || (196 && 484) || (194 && 482) || (208 && 496)) && ((199 && 519) || (206 && 526) || (209 && 529)) && ((199 && 551) || (206 && 558) || (210 && 562)) && ((199 && 583) || (196 && 580) || (223 && 607) || (205 && 589) || (211 && 595)) && ((199 && 615) || (206 && 622) || (210 && 626) || (212 && 628)) && ((199 && 647) || (206 && 654) || (210 && 658) || (193 && 641) || (213 && 661)) && ((199 && 679) || (206 && 686) || (210 && 690) || (214 && 694)) && ((199 && 711) || (196 && 708) || (223 && 735) || (205 && 717) || (215 && 727)) && ((199 && 743) || (196 && 740) || (223 && 767) || (216 && 760)) && ((199 && 775) || (206 && 782) || (209 && 785) || (198 && 774) || (221 && 797) || (217 && 793)) && ((199 && 807) || (196 && 804) || (223 && 831) || (218 && 826)) && ((199 && 839) || (196 && 836) || (195 && 835) || (202 && 842) || (219 && 859)) && ((199 && 871) || (206 && 878) || (210 && 882) || (220 && 892)) && ((199 && 903) || (206 && 910) || (209 && 913) || (198 && 902) || (221 && 925)) && ((199 && 935) || (206 && 942) || (209 && 945) || (222 && 958)) && ((199 && 967) || (196 && 964) || (223 && 991)) && ((199 && 999) || (196 && 996) || (224 && 1024)) && ((225 && 1) || (233 && 9) || (239 && 15) || (232 && 8)) && ((226 && 34) || (246 && 54) || (239 && 47) || (232 && 40)) && ((227 && 67) || (228 && 68) || (226 && 66) || (246 && 86) || (239 && 79) || (232 && 72)) && ((228 && 100) || (226 && 98) || (246 && 118) || (239 && 111) || (232 && 104)) && ((229 && 133) || (226 && 130) || (246 && 150) || (239 && 143) || (232 && 136)) && ((230 && 166) || (253 && 189) || (249 && 185) || (232 && 168)) && ((231 && 199) || (238 && 206) || (242 && 210) || (246 && 214) || (239 && 207) || (232 && 200)) && ((232 && 232)) && ((232 && 264) || (239 && 271) || (233 && 265)) && ((232 && 296) || (239 && 303) || (246 && 310) || (226 && 290) || (234 && 298)) && ((232 && 328) || (239 && 335) || (233 && 329) || (225 && 321) || (254 && 350) || (227 && 323) || (235 && 331)) && ((232 && 360) || (236 && 364)) && ((232 && 392) || (236 && 396) || (243 && 403) || (237 && 397)) && ((232 && 424) || (239 && 431) || (246 && 438) || (242 && 434) || (238 && 430)) && ((232 && 456) || (239 && 463)) && ((232 && 488) || (239 && 495) || (246 && 502) || (226 && 482) || (240 && 496)) && ((232 && 520) || (239 && 527) || (246 && 534) || (230 && 518) || (241 && 529)) && ((232 && 552) || (239 && 559) || (246 && 566) || (242 && 562)) && ((232 && 584) || (236 && 588) || (243 && 595)) && ((232 && 616) || (239 && 623) || (246 && 630) || (242 && 626) || (244 && 628)) && ((232 && 648) || (239 && 655) || (233 && 649) || (225 && 641) || (245 && 661)) && ((232 && 680) || (239 && 687) || (246 && 694)) && ((232 && 712) || (236 && 716) || (243 && 723) || (237 && 717) || (247 && 727)) && ((232 && 744) || (239 && 751) || (233 && 745) || (250 && 762) || (255 && 767) || (248 && 760)) && ((232 && 776) || (249 && 793)) && ((232 && 808) || (239 && 815) || (233 && 809) || (250 && 826)) && ((232 && 840) || (239 && 847) || (246 && 854) || (226 && 834) || (234 && 842) || (251 && 859)) && ((232 && 872) || (239 && 879) || (246 && 886) || (242 && 882) || (252 && 892)) && ((232 && 904) || (249 && 921) || (253 && 925)) && ((232 && 936) || (239 && 943) || (233 && 937) || (225 && 929) || (254 && 958)) && ((232 && 968) || (239 && 975) || (233 && 969) || (250 && 986) || (255 && 991)) && ((232 && 1000) || (239 && 1007) || (246 && 1014) || (226 && 994) || (256 && 1024)) && ((257 && 1) || (265 && 9)) && ((258 && 34) || (278 && 54) || (271 && 47) || (265 && 41)) && ((259 && 67) || (286 && 94) || (257 && 65) || (265 && 73)) && ((260 && 100) || (287 && 127) || (282 && 122) || (265 && 105)) && ((261 && 133) || (258 && 130) || (278 && 150) || (271 && 143) || (265 && 137)) && ((262 && 166) || (278 && 182) || (271 && 175) || (265 && 169)) && ((263 && 199) || (270 && 206) || (274 && 210) || (257 && 193) || (265 && 201)) && ((264 && 232) || (271 && 239) || (265 && 233)) && ((265 && 265)) && ((265 && 297) || (271 && 303) || (278 && 310) || (258 && 290) || (266 && 298)) && ((265 && 329) || (257 && 321) || (286 && 350) || (259 && 323) || (267 && 331)) && ((265 && 361) || (271 && 367) || (264 && 360) || (268 && 364)) && ((265 && 393) || (282 && 410) || (287 && 415) || (269 && 397)) && ((265 && 425) || (257 && 417) || (274 && 434) || (270 && 430)) && ((265 && 457) || (271 && 463)) && ((265 && 489) || (257 && 481) || (277 && 501) || (272 && 496)) && ((265 && 521) || (257 && 513) || (286 && 542) || (273 && 529)) && ((265 && 553) || (257 && 545) || (274 && 562)) && ((265 && 585) || (271 && 591) || (264 && 584) || (268 && 588) || (275 && 595)) && ((265 && 617) || (257 && 609) || (274 && 626) || (276 && 628)) && ((265 && 649) || (257 && 641) || (277 && 661)) && ((265 && 681) || (271 && 687) || (278 && 694)) && ((265 && 713) || (282 && 730) || (287 && 735) || (269 && 717) || (279 && 727)) && ((265 && 745) || (282 && 762) || (287 && 767) || (280 && 760)) && ((265 && 777) || (271 && 783) || (264 && 776) || (281 && 793)) && ((265 && 809) || (282 && 826)) && ((265 && 841) || (271 && 847) || (278 && 854) || (258 && 834) || (266 && 842) || (283 && 859)) && ((265 && 873) || (257 && 865) || (274 && 882) || (284 && 892)) && ((265 && 905) || (271 && 911) || (264 && 904) || (281 && 921) || (285 && 925)) && ((265 && 937) || (257 && 929) || (286 && 958)) && ((265 && 969) || (282 && 986) || (287 && 991)) && ((265 && 1001) || (271 && 1007) || (278 && 1014) || (258 && 994) || (288 && 1024)) && ((289 && 1) || (318 && 30) || (291 && 3) || (298 && 10)) && ((290 && 34) || (298 && 42)) && ((291 && 67) || (298 && 74)) && ((292 && 100) || (291 && 99) || (298 && 106)) && ((293 && 133) || (290 && 130) || (298 && 138)) && ((294 && 166) || (310 && 182) || (290 && 162) || (298 && 170)) && ((295 && 199) || (292 && 196) || (291 && 195) || (298 && 202)) && ((296 && 232) || (303 && 239) || (310 && 246) || (290 && 226) || (298 && 234)) && ((297 && 265) || (303 && 271) || (310 && 278) || (290 && 258) || (298 && 266)) && ((298 && 298)) && ((298 && 330) || (291 && 323) || (299 && 331)) && ((298 && 362) || (290 && 354) || (310 && 374) || (303 && 367) || (296 && 360) || (300 && 364)) && ((298 && 394) || (290 && 386) || (292 && 388) || (319 && 415) || (301 && 397)) && ((298 && 426) || (290 && 418) || (310 && 438) || (306 && 434) || (302 && 430)) && ((298 && 458) || (290 && 450) || (310 && 470) || (303 && 463)) && ((298 && 490) || (290 && 482) || (304 && 496)) && ((298 && 522) || (291 && 515) || (318 && 542) || (305 && 529)) && ((298 && 554) || (290 && 546) || (310 && 566) || (306 && 562)) && ((298 && 586) || (290 && 578) || (292 && 580) || (319 && 607) || (301 && 589) || (307 && 595)) && ((298 && 618) || (290 && 610) || (304 && 624) || (309 && 629) || (308 && 628)) && ((298 && 650) || (290 && 642) || (304 && 656) || (309 && 661)) && ((298 && 682) || (290 && 674) || (310 && 694)) && ((298 && 714) || (290 && 706) || (292 && 708) || (319 && 735) || (301 && 717) || (311 && 727)) && ((298 && 746) || (290 && 738) || (292 && 740) || (319 && 767) || (312 && 760)) && ((298 && 778) || (290 && 770) || (310 && 790) || (303 && 783) || (296 && 776) || (313 && 793)) && ((298 && 810) || (290 && 802) || (292 && 804) || (319 && 831) || (314 && 826)) && ((298 && 842) || (315 && 859)) && ((298 && 874) || (290 && 866) || (310 && 886) || (306 && 882) || (316 && 892)) && ((298 && 906) || (290 && 898) || (310 && 918) || (294 && 902) || (317 && 925)) && ((298 && 938) || (291 && 931) || (318 && 958)) && ((298 && 970) || (290 && 962) || (292 && 964) || (319 && 991)) && ((298 && 1002) || (290 && 994) || (320 && 1024)) && ((321 && 1) || (350 && 30) || (323 && 3) || (331 && 11)) && ((322 && 34) || (330 && 42) || (323 && 35) || (331 && 43)) && ((323 && 67) || (331 && 75)) && ((324 && 100) || (323 && 99) || (331 && 107)) && ((325 && 133) || (322 && 130) || (330 && 138) || (323 && 131) || (331 && 139)) && ((326 && 166) || (337 && 177) || (350 && 190) || (323 && 163) || (331 && 171)) && ((327 && 199) || (324 && 196) || (323 && 195) || (331 && 203)) && ((328 && 232) || (335 && 239) || (329 && 233) || (321 && 225) || (350 && 254) || (323 && 227) || (331 && 235)) && ((329 && 265) || (321 && 257) || (350 && 286) || (323 && 259) || (331 && 267)) && ((330 && 298) || (323 && 291) || (331 && 299)) && ((331 && 331)) && ((331 && 363) || (323 && 355) || (324 && 356) || (351 && 383) || (333 && 365) || (339 && 371) || (332 && 364)) && ((331 && 395) || (323 && 387) || (324 && 388) || (351 && 415) || (333 && 397)) && ((331 && 427) || (323 && 419) || (324 && 420) || (327 && 423) || (334 && 430)) && ((331 && 459) || (323 && 451) || (324 && 452) || (322 && 450) || (342 && 470) || (335 && 463)) && ((331 && 491) || (323 && 483) || (324 && 484) || (322 && 482) || (336 && 496)) && ((331 && 523) || (323 && 515) || (350 && 542) || (337 && 529)) && ((331 && 555) || (323 && 547) || (350 && 574) || (321 && 545) || (338 && 562)) && ((331 && 587) || (323 && 579) || (324 && 580) || (351 && 607) || (333 && 589) || (339 && 595)) && ((331 && 619) || (323 && 611) || (350 && 638) || (321 && 609) || (338 && 626) || (340 && 628)) && ((331 && 651) || (323 && 643) || (350 && 670) || (321 && 641) || (341 && 661)) && ((331 && 683) || (323 && 675) || (324 && 676) || (322 && 674) || (342 && 694)) && ((331 && 715) || (323 && 707) || (324 && 708) || (351 && 735) || (333 && 717) || (343 && 727)) && ((331 && 747) || (323 && 739) || (324 && 740) || (351 && 767) || (344 && 760)) && ((331 && 779) || (323 && 771) || (350 && 798) || (337 && 785) || (326 && 774) || (349 && 797) || (345 && 793)) && ((331 && 811) || (323 && 803) || (324 && 804) || (351 && 831) || (346 && 826)) && ((331 && 843) || (323 && 835) || (330 && 842) || (347 && 859)) && ((331 && 875) || (323 && 867) || (324 && 868) || (351 && 895) || (333 && 877) || (348 && 892)) && ((331 && 907) || (323 && 899) || (350 && 926) || (337 && 913) || (326 && 902) || (349 && 925)) && ((331 && 939) || (323 && 931) || (350 && 958)) && ((331 && 971) || (323 && 963) || (324 && 964) || (351 && 991)) && ((331 && 1003) || (323 && 995) || (324 && 996) || (352 && 1024)) && ((353 && 1) || (361 && 9) || (367 && 15) || (360 && 8) || (364 && 12)) && ((354 && 34) || (374 && 54) || (367 && 47) || (360 && 40) || (364 && 44)) && ((355 && 67) || (356 && 68) || (383 && 95) || (365 && 77) || (371 && 83) || (364 && 76)) && ((356 && 100) || (383 && 127) || (365 && 109) || (371 && 115) || (364 && 108)) && ((357 && 133) || (354 && 130) || (374 && 150) || (367 && 143) || (360 && 136) || (364 && 140)) && ((358 && 166) || (381 && 189) || (377 && 185) || (360 && 168) || (364 && 172)) && ((359 && 199) || (356 && 196) || (383 && 223) || (365 && 205) || (371 && 211) || (364 && 204)) && ((360 && 232) || (364 && 236)) && ((361 && 265) || (367 && 271) || (360 && 264) || (364 && 268)) && ((362 && 298) || (354 && 290) || (374 && 310) || (367 && 303) || (360 && 296) || (364 && 300)) && ((363 && 331) || (355 && 323) || (356 && 324) || (383 && 351) || (365 && 333) || (371 && 339) || (364 && 332)) && ((364 && 364)) && ((364 && 396) || (371 && 403) || (365 && 397)) && ((364 && 428) || (371 && 435) || (365 && 429) || (380 && 444) || (370 && 434) || (366 && 430)) && ((364 && 460) || (360 && 456) || (367 && 463)) && ((364 && 492) || (360 && 488) || (367 && 495) || (374 && 502) || (354 && 482) || (368 && 496)) && ((364 && 524) || (360 && 520) || (367 && 527) || (374 && 534) || (358 && 518) || (369 && 529)) && ((364 && 556) || (371 && 563) || (365 && 557) || (380 && 572) || (370 && 562)) && ((364 && 588) || (371 && 595)) && ((364 && 620) || (371 && 627) || (365 && 621) || (380 && 636) || (370 && 626) || (372 && 628)) && ((364 && 652) || (360 && 648) || (367 && 655) || (361 && 649) || (353 && 641) || (373 && 661)) && ((364 && 684) || (360 && 680) || (367 && 687) || (374 && 694)) && ((364 && 716) || (371 && 723) || (365 && 717) || (375 && 727)) && ((364 && 748) || (371 && 755) || (365 && 749) || (383 && 767) || (376 && 760)) && ((364 && 780) || (360 && 776) || (377 && 793)) && ((364 && 812) || (371 && 819) || (365 && 813) || (383 && 831) || (378 && 826)) && ((364 && 844) || (360 && 840) || (367 && 847) || (374 && 854) || (354 && 834) || (362 && 842) || (379 && 859)) && ((364 && 876) || (371 && 883) || (365 && 877) || (380 && 892)) && ((364 && 908) || (360 && 904) || (377 && 921) || (381 && 925)) && ((364 && 940) || (360 && 936) || (367 && 943) || (361 && 937) || (353 && 929) || (382 && 958)) && ((364 && 972) || (371 && 979) || (365 && 973) || (383 && 991)) && ((364 && 1004) || (371 && 1011) || (365 && 1005) || (383 && 1023) || (356 && 996) || (384 && 1024)) && ((385 && 1) || (402 && 18) || (412 && 28) || (397 && 13)) && ((386 && 34) || (388 && 36) || (415 && 63) || (397 && 45)) && ((387 && 67) || (388 && 68) || (415 && 95) || (397 && 77)) && ((388 && 100) || (415 && 127) || (397 && 109)) && ((389 && 133) || (386 && 130) || (388 && 132) || (415 && 159) || (397 && 141)) && ((390 && 166) || (406 && 182) || (402 && 178) || (412 && 188) || (397 && 173)) && ((391 && 199) || (388 && 196) || (415 && 223) || (397 && 205)) && ((392 && 232) || (396 && 236) || (403 && 243) || (397 && 237)) && ((393 && 265) || (410 && 282) || (415 && 287) || (397 && 269)) && ((394 && 298) || (386 && 290) || (388 && 292) || (415 && 319) || (397 && 301)) && ((395 && 331) || (387 && 323) || (388 && 324) || (415 && 351) || (397 && 333)) && ((396 && 364) || (403 && 371) || (397 && 365)) && ((397 && 397)) && ((397 && 429) || (412 && 444) || (402 && 434) || (398 && 430)) && ((397 && 461) || (403 && 467) || (396 && 460) || (392 && 456) || (399 && 463)) && ((397 && 493) || (415 && 511) || (388 && 484) || (386 && 482) || (400 && 496)) && ((397 && 525) || (412 && 540) || (402 && 530) || (398 && 526) || (401 && 529)) && ((397 && 557) || (412 && 572) || (402 && 562)) && ((397 && 589) || (403 && 595)) && ((397 && 621) || (412 && 636) || (402 && 626) || (404 && 628)) && ((397 && 653) || (412 && 668) || (402 && 658) || (385 && 641) || (405 && 661)) && ((397 && 685) || (412 && 700) || (402 && 690) || (406 && 694)) && ((397 && 717) || (407 && 727)) && ((397 && 749) || (415 && 767) || (408 && 760)) && ((397 && 781) || (403 && 787) || (396 && 780) || (392 && 776) || (409 && 793)) && ((397 && 813) || (415 && 831) || (410 && 826)) && ((397 && 845) || (415 && 863) || (388 && 836) || (387 && 835) || (394 && 842) || (411 && 859)) && ((397 && 877) || (412 && 892)) && ((397 && 909) || (403 && 915) || (396 && 908) || (392 && 904) || (409 && 921) || (413 && 925)) && ((397 && 941) || (412 && 956) || (402 && 946) || (385 && 929) || (414 && 958)) && ((397 && 973) || (415 && 991)) && ((397 && 1005) || (415 && 1023) || (388 && 996) || (416 && 1024)) && ((417 && 1) || (434 && 18) || (430 && 14)) && ((418 && 34) || (438 && 54) || (434 && 50) || (430 && 46)) && ((419 && 67) || (420 && 68) || (423 && 71) || (430 && 78)) && ((420 && 100) || (423 && 103) || (430 && 110)) && ((421 && 133) || (418 && 130) || (438 && 150) || (434 && 146) || (430 && 142)) && ((422 && 166) || (433 && 177) || (430 && 174)) && ((423 && 199) || (430 && 206)) && ((424 && 232) || (431 && 239) || (438 && 246) || (434 && 242) || (430 && 238)) && ((425 && 265) || (417 && 257) || (434 && 274) || (430 && 270)) && ((426 && 298) || (418 && 290) || (438 && 310) || (434 && 306) || (430 && 302)) && ((427 && 331) || (419 && 323) || (420 && 324) || (423 && 327) || (430 && 334)) && ((428 && 364) || (435 && 371) || (429 && 365) || (444 && 380) || (434 && 370) || (430 && 366)) && ((429 && 397) || (444 && 412) || (434 && 402) || (430 && 398)) && ((430 && 430)) && ((430 && 462) || (434 && 466) || (438 && 470) || (431 && 463)) && ((430 && 494) || (423 && 487) || (420 && 484) || (418 && 482) || (432 && 496)) && ((430 && 526) || (433 && 529)) && ((430 && 558) || (434 && 562)) && ((430 && 590) || (434 && 594) || (444 && 604) || (429 && 589) || (435 && 595)) && ((430 && 622) || (434 && 626) || (436 && 628)) && ((430 && 654) || (434 && 658) || (417 && 641) || (437 && 661)) && ((430 && 686) || (434 && 690) || (438 && 694)) && ((430 && 718) || (434 && 722) || (444 && 732) || (429 && 717) || (439 && 727)) && ((430 && 750) || (423 && 743) || (420 && 740) || (447 && 767) || (440 && 760)) && ((430 && 782) || (433 && 785) || (422 && 774) || (445 && 797) || (441 && 793)) && ((430 && 814) || (423 && 807) || (420 && 804) || (447 && 831) || (442 && 826)) && ((430 && 846) || (423 && 839) || (420 && 836) || (419 && 835) || (426 && 842) || (443 && 859)) && ((430 && 878) || (434 && 882) || (444 && 892)) && ((430 && 910) || (433 && 913) || (422 && 902) || (445 && 925)) && ((430 && 942) || (433 && 945) || (446 && 958)) && ((430 && 974) || (423 && 967) || (420 && 964) || (447 && 991)) && ((430 && 1006) || (423 && 999) || (420 && 996) || (448 && 1024)) && ((449 && 1) || (457 && 9) || (463 && 15)) && ((450 && 34) || (470 && 54) || (463 && 47)) && ((451 && 67) || (452 && 68) || (450 && 66) || (470 && 86) || (463 && 79)) && ((452 && 100) || (450 && 98) || (470 && 118) || (463 && 111)) && ((453 && 133) || (450 && 130) || (470 && 150) || (463 && 143)) && ((454 && 166) || (470 && 182) || (463 && 175)) && ((455 && 199) || (462 && 206) || (466 && 210) || (470 && 214) || (463 && 207)) && ((456 && 232) || (463 && 239)) && ((457 && 265) || (463 && 271)) && ((458 && 298) || (450 && 290) || (470 && 310) || (463 && 303)) && ((459 && 331) || (451 && 323) || (452 && 324) || (450 && 322) || (470 && 342) || (463 && 335)) && ((460 && 364) || (456 && 360) || (463 && 367)) && ((461 && 397) || (467 && 403) || (460 && 396) || (456 && 392) || (463 && 399)) && ((462 && 430) || (466 && 434) || (470 && 438) || (463 && 431)) && ((463 && 463)) && ((463 && 495) || (470 && 502) || (450 && 482) || (464 && 496)) && ((463 && 527) || (470 && 534) || (454 && 518) || (465 && 529)) && ((463 && 559) || (470 && 566) || (466 && 562)) && ((463 && 591) || (456 && 584) || (460 && 588) || (467 && 595)) && ((463 && 623) || (470 && 630) || (466 && 626) || (468 && 628)) && ((463 && 655) || (457 && 649) || (449 && 641) || (469 && 661)) && ((463 && 687) || (470 && 694)) && ((463 && 719) || (457 && 713) || (474 && 730) || (479 && 735) || (461 && 717) || (471 && 727)) && ((463 && 751) || (457 && 745) || (474 && 762) || (479 && 767) || (472 && 760)) && ((463 && 783) || (456 && 776) || (473 && 793)) && ((463 && 815) || (457 && 809) || (474 && 826)) && ((463 && 847) || (470 && 854) || (450 && 834) || (458 && 842) || (475 && 859)) && ((463 && 879) || (470 && 886) || (466 && 882) || (476 && 892)) && ((463 && 911) || (456 && 904) || (473 && 921) || (477 && 925)) && ((463 && 943) || (457 && 937) || (449 && 929) || (478 && 958)) && ((463 && 975) || (457 && 969) || (474 && 986) || (479 && 991)) && ((463 && 1007) || (470 && 1014) || (450 && 994) || (480 && 1024)) && ((481 && 1) || (501 && 21) || (496 && 16)) && ((482 && 34) || (496 && 48)) && ((483 && 67) || (484 && 68) || (482 && 66) || (496 && 80)) && ((484 && 100) || (482 && 98) || (496 && 112)) && ((485 && 133) || (482 && 130) || (496 && 144)) && ((486 && 166) || (502 && 182) || (482 && 162) || (496 && 176)) && ((487 && 199) || (484 && 196) || (482 && 194) || (496 && 208)) && ((488 && 232) || (495 && 239) || (502 && 246) || (482 && 226) || (496 && 240)) && ((489 && 265) || (481 && 257) || (501 && 277) || (496 && 272)) && ((490 && 298) || (482 && 290) || (496 && 304)) && ((491 && 331) || (483 && 323) || (484 && 324) || (482 && 322) || (496 && 336)) && ((492 && 364) || (488 && 360) || (495 && 367) || (502 && 374) || (482 && 354) || (496 && 368)) && ((493 && 397) || (511 && 415) || (484 && 388) || (482 && 386) || (496 && 400)) && ((494 && 430) || (487 && 423) || (484 && 420) || (482 && 418) || (496 && 432)) && ((495 && 463) || (502 && 470) || (482 && 450) || (496 && 464)) && ((496 && 496)) && ((496 && 528) || (501 && 533) || (481 && 513) || (510 && 542) || (497 && 529)) && ((496 && 560) || (501 && 565) || (500 && 564) || (498 && 562)) && ((496 && 592) || (482 && 578) || (484 && 580) || (511 && 607) || (493 && 589) || (499 && 595)) && ((496 && 624) || (501 && 629) || (500 && 628)) && ((496 && 656) || (501 && 661)) && ((496 && 688) || (482 && 674) || (502 && 694)) && ((496 && 720) || (482 && 706) || (484 && 708) || (511 && 735) || (493 && 717) || (503 && 727)) && ((496 && 752) || (482 && 738) || (484 && 740) || (511 && 767) || (504 && 760)) && ((496 && 784) || (482 && 770) || (502 && 790) || (495 && 783) || (488 && 776) || (505 && 793)) && ((496 && 816) || (501 && 821) || (481 && 801) || (489 && 809) || (506 && 826)) && ((496 && 848) || (482 && 834) || (490 && 842) || (507 && 859)) && ((496 && 880) || (501 && 885) || (500 && 884) || (498 && 882) || (508 && 892)) && ((496 && 912) || (482 && 898) || (502 && 918) || (486 && 902) || (509 && 925)) && ((496 && 944) || (501 && 949) || (481 && 929) || (510 && 958)) && ((496 && 976) || (482 && 962) || (484 && 964) || (511 && 991)) && ((496 && 1008) || (482 && 994) || (512 && 1024)) && ((513 && 1) || (542 && 30) || (529 && 17)) && ((514 && 34) || (534 && 54) || (518 && 38) || (529 && 49)) && ((515 && 67) || (542 && 94) || (529 && 81)) && ((516 && 100) || (515 && 99) || (542 && 126) || (529 && 113)) && ((517 && 133) || (514 && 130) || (534 && 150) || (518 && 134) || (529 && 145)) && ((518 && 166) || (529 && 177)) && ((519 && 199) || (526 && 206) || (529 && 209)) && ((520 && 232) || (527 && 239) || (534 && 246) || (518 && 230) || (529 && 241)) && ((521 && 265) || (513 && 257) || (542 && 286) || (529 && 273)) && ((522 && 298) || (515 && 291) || (542 && 318) || (529 && 305)) && ((523 && 331) || (515 && 323) || (542 && 350) || (529 && 337)) && ((524 && 364) || (520 && 360) || (527 && 367) || (534 && 374) || (518 && 358) || (529 && 369)) && ((525 && 397) || (540 && 412) || (530 && 402) || (526 && 398) || (529 && 401)) && ((526 && 430) || (529 && 433)) && ((527 && 463) || (534 && 470) || (518 && 454) || (529 && 465)) && ((528 && 496) || (533 && 501) || (513 && 481) || (542 && 510) || (529 && 497)) && ((529 && 529)) && ((529 && 561) || (526 && 558) || (530 && 562)) && ((529 && 593) || (526 && 590) || (530 && 594) || (540 && 604) || (525 && 589) || (531 && 595)) && ((529 && 625) || (526 && 622) || (530 && 626) || (532 && 628)) && ((529 && 657) || (542 && 670) || (513 && 641) || (533 && 661)) && ((529 && 689) || (518 && 678) || (534 && 694)) && ((529 && 721) || (526 && 718) || (530 && 722) || (540 && 732) || (525 && 717) || (535 && 727)) && ((529 && 753) || (542 && 766) || (515 && 739) || (516 && 740) || (543 && 767) || (536 && 760)) && ((529 && 785) || (518 && 774) || (541 && 797) || (537 && 793)) && ((529 && 817) || (542 && 830) || (513 && 801) || (521 && 809) || (538 && 826)) && ((529 && 849) || (542 && 862) || (515 && 835) || (522 && 842) || (539 && 859)) && ((529 && 881) || (526 && 878) || (530 && 882) || (540 && 892)) && ((529 && 913) || (518 && 902) || (541 && 925)) && ((529 && 945) || (542 && 958)) && ((529 && 977) || (542 && 990) || (515 && 963) || (516 && 964) || (543 && 991)) && ((529 && 1009) || (542 && 1022) || (515 && 995) || (516 && 996) || (544 && 1024)) && ((545 && 1) || (562 && 18)) && ((546 && 34) || (566 && 54) || (562 && 50)) && ((547 && 67) || (574 && 94) || (545 && 65) || (562 && 82)) && ((548 && 100) || (546 && 98) || (566 && 118) || (562 && 114)) && ((549 && 133) || (546 && 130) || (566 && 150) || (562 && 146)) && ((550 && 166) || (566 && 182) || (562 && 178)) && ((551 && 199) || (558 && 206) || (562 && 210)) && ((552 && 232) || (559 && 239) || (566 && 246) || (562 && 242)) && ((553 && 265) || (545 && 257) || (562 && 274)) && ((554 && 298) || (546 && 290) || (566 && 310) || (562 && 306)) && ((555 && 331) || (547 && 323) || (574 && 350) || (545 && 321) || (562 && 338)) && ((556 && 364) || (563 && 371) || (557 && 365) || (572 && 380) || (562 && 370)) && ((557 && 397) || (572 && 412) || (562 && 402)) && ((558 && 430) || (562 && 434)) && ((559 && 463) || (566 && 470) || (562 && 466)) && ((560 && 496) || (565 && 501) || (564 && 500) || (562 && 498)) && ((561 && 529) || (558 && 526) || (562 && 530)) && ((562 && 562)) && ((562 && 594) || (572 && 604) || (557 && 589) || (563 && 595)) && ((562 && 626) || (564 && 628)) && ((562 && 658) || (545 && 641) || (565 && 661)) && ((562 && 690) || (566 && 694)) && ((562 && 722) || (572 && 732) || (557 && 717) || (567 && 727)) && ((562 && 754) || (572 && 764) || (557 && 749) || (575 && 767) || (568 && 760)) && ((562 && 786) || (566 && 790) || (559 && 783) || (552 && 776) || (569 && 793)) && ((562 && 818) || (545 && 801) || (553 && 809) || (570 && 826)) && ((562 && 850) || (566 && 854) || (546 && 834) || (554 && 842) || (571 && 859)) && ((562 && 882) || (572 && 892)) && ((562 && 914) || (566 && 918) || (550 && 902) || (573 && 925)) && ((562 && 946) || (545 && 929) || (574 && 958)) && ((562 && 978) || (572 && 988) || (557 && 973) || (575 && 991)) && ((562 && 1010) || (566 && 1014) || (546 && 994) || (576 && 1024)) && ((577 && 1) || (594 && 18) || (604 && 28) || (589 && 13) || (595 && 19)) && ((578 && 34) || (580 && 36) || (607 && 63) || (589 && 45) || (595 && 51)) && ((579 && 67) || (580 && 68) || (607 && 95) || (589 && 77) || (595 && 83)) && ((580 && 100) || (607 && 127) || (589 && 109) || (595 && 115)) && ((581 && 133) || (578 && 130) || (580 && 132) || (607 && 159) || (589 && 141) || (595 && 147)) && ((582 && 166) || (605 && 189) || (601 && 185) || (584 && 168) || (588 && 172) || (595 && 179)) && ((583 && 199) || (580 && 196) || (607 && 223) || (589 && 205) || (595 && 211)) && ((584 && 232) || (588 && 236) || (595 && 243)) && ((585 && 265) || (591 && 271) || (584 && 264) || (588 && 268) || (595 && 275)) && ((586 && 298) || (578 && 290) || (580 && 292) || (607 && 319) || (589 && 301) || (595 && 307)) && ((587 && 331) || (579 && 323) || (580 && 324) || (607 && 351) || (589 && 333) || (595 && 339)) && ((588 && 364) || (595 && 371)) && ((589 && 397) || (595 && 403)) && ((590 && 430) || (594 && 434) || (604 && 444) || (589 && 429) || (595 && 435)) && ((591 && 463) || (584 && 456) || (588 && 460) || (595 && 467)) && ((592 && 496) || (578 && 482) || (580 && 484) || (607 && 511) || (589 && 493) || (595 && 499)) && ((593 && 529) || (590 && 526) || (594 && 530) || (604 && 540) || (589 && 525) || (595 && 531)) && ((594 && 562) || (604 && 572) || (589 && 557) || (595 && 563)) && ((595 && 595)) && ((595 && 627) || (589 && 621) || (604 && 636) || (594 && 626) || (596 && 628)) && ((595 && 659) || (589 && 653) || (604 && 668) || (594 && 658) || (577 && 641) || (597 && 661)) && ((595 && 691) || (588 && 684) || (584 && 680) || (591 && 687) || (598 && 694)) && ((595 && 723) || (589 && 717) || (599 && 727)) && ((595 && 755) || (589 && 749) || (607 && 767) || (600 && 760)) && ((595 && 787) || (588 && 780) || (584 && 776) || (601 && 793)) && ((595 && 819) || (589 && 813) || (607 && 831) || (602 && 826)) && ((595 && 851) || (589 && 845) || (607 && 863) || (580 && 836) || (579 && 835) || (586 && 842) || (603 && 859)) && ((595 && 883) || (589 && 877) || (604 && 892)) && ((595 && 915) || (588 && 908) || (584 && 904) || (601 && 921) || (605 && 925)) && ((595 && 947) || (589 && 941) || (604 && 956) || (594 && 946) || (577 && 929) || (606 && 958)) && ((595 && 979) || (589 && 973) || (607 && 991)) && ((595 && 1011) || (589 && 1005) || (607 && 1023) || (580 && 996) || (608 && 1024)) && ((609 && 1) || (626 && 18) || (628 && 20)) && ((610 && 34) || (624 && 48) || (629 && 53) || (628 && 52)) && ((611 && 67) || (638 && 94) || (609 && 65) || (626 && 82) || (628 && 84)) && ((612 && 100) || (610 && 98) || (624 && 112) || (629 && 117) || (628 && 116)) && ((613 && 133) || (610 && 130) || (624 && 144) || (629 && 149) || (628 && 148)) && ((614 && 166) || (630 && 182) || (626 && 178) || (628 && 180)) && ((615 && 199) || (622 && 206) || (626 && 210) || (628 && 212)) && ((616 && 232) || (623 && 239) || (630 && 246) || (626 && 242) || (628 && 244)) && ((617 && 265) || (609 && 257) || (626 && 274) || (628 && 276)) && ((618 && 298) || (610 && 290) || (624 && 304) || (629 && 309) || (628 && 308)) && ((619 && 331) || (611 && 323) || (638 && 350) || (609 && 321) || (626 && 338) || (628 && 340)) && ((620 && 364) || (627 && 371) || (621 && 365) || (636 && 380) || (626 && 370) || (628 && 372)) && ((621 && 397) || (636 && 412) || (626 && 402) || (628 && 404)) && ((622 && 430) || (626 && 434) || (628 && 436)) && ((623 && 463) || (630 && 470) || (626 && 466) || (628 && 468)) && ((624 && 496) || (629 && 501) || (628 && 500)) && ((625 && 529) || (622 && 526) || (626 && 530) || (628 && 532)) && ((626 && 562) || (628 && 564)) && ((627 && 595) || (621 && 589) || (636 && 604) || (626 && 594) || (628 && 596)) && ((628 && 628)) && ((628 && 660) || (629 && 661)) && ((628 && 692) || (626 && 690) || (630 && 694)) && ((628 && 724) || (626 && 722) || (636 && 732) || (621 && 717) || (631 && 727)) && ((628 && 756) || (626 && 754) || (636 && 764) || (621 && 749) || (639 && 767) || (632 && 760)) && ((628 && 788) || (626 && 786) || (630 && 790) || (623 && 783) || (616 && 776) || (633 && 793)) && ((628 && 820) || (629 && 821) || (609 && 801) || (617 && 809) || (634 && 826)) && ((628 && 852) || (629 && 853) || (624 && 848) || (610 && 834) || (618 && 842) || (635 && 859)) && ((628 && 884) || (626 && 882) || (636 && 892)) && ((628 && 916) || (626 && 914) || (630 && 918) || (614 && 902) || (637 && 925)) && ((628 && 948) || (629 && 949) || (609 && 929) || (638 && 958)) && ((628 && 980) || (626 && 978) || (636 && 988) || (621 && 973) || (639 && 991)) && ((628 && 1012) || (629 && 1013) || (624 && 1008) || (610 && 994) || (640 && 1024)) && ((641 && 1) || (661 && 21)) && ((642 && 34) || (656 && 48) || (661 && 53)) && ((643 && 67) || (670 && 94) || (641 && 65) || (661 && 85)) && ((644 && 100) || (642 && 98) || (656 && 112) || (661 && 117)) && ((645 && 133) || (642 && 130) || (656 && 144) || (661 && 149)) && ((646 && 166) || (657 && 177) || (670 && 190) || (641 && 161) || (661 && 181)) && ((647 && 199) || (654 && 206) || (658 && 210) || (641 && 193) || (661 && 213)) && ((648 && 232) || (655 && 239) || (649 && 233) || (641 && 225) || (661 && 245)) && ((649 && 265) || (641 && 257) || (661 && 277)) && ((650 && 298) || (642 && 290) || (656 && 304) || (661 && 309)) && ((651 && 331) || (643 && 323) || (670 && 350) || (641 && 321) || (661 && 341)) && ((652 && 364) || (648 && 360) || (655 && 367) || (649 && 361) || (641 && 353) || (661 && 373)) && ((653 && 397) || (668 && 412) || (658 && 402) || (641 && 385) || (661 && 405)) && ((654 && 430) || (658 && 434) || (641 && 417) || (661 && 437)) && ((655 && 463) || (649 && 457) || (641 && 449) || (661 && 469)) && ((656 && 496) || (661 && 501)) && ((657 && 529) || (670 && 542) || (641 && 513) || (661 && 533)) && ((658 && 562) || (641 && 545) || (661 && 565)) && ((659 && 595) || (653 && 589) || (668 && 604) || (658 && 594) || (641 && 577) || (661 && 597)) && ((660 && 628) || (661 && 629)) && ((661 && 661)) && ((661 && 693) || (660 && 692) || (658 && 690) || (662 && 694)) && ((661 && 725) || (660 && 724) || (658 && 722) || (668 && 732) || (653 && 717) || (663 && 727)) && ((661 && 757) || (656 && 752) || (642 && 738) || (644 && 740) || (671 && 767) || (664 && 760)) && ((661 && 789) || (641 && 769) || (649 && 777) || (655 && 783) || (648 && 776) || (665 && 793)) && ((661 && 821) || (641 && 801) || (649 && 809) || (666 && 826)) && ((661 && 853) || (656 && 848) || (642 && 834) || (650 && 842) || (667 && 859)) && ((661 && 885) || (660 && 884) || (658 && 882) || (668 && 892)) && ((661 && 917) || (660 && 916) || (658 && 914) || (662 && 918) || (646 && 902) || (669 && 925)) && ((661 && 949) || (641 && 929) || (670 && 958)) && ((661 && 981) || (656 && 976) || (642 && 962) || (644 && 964) || (671 && 991)) && ((661 && 1013) || (656 && 1008) || (642 && 994) || (672 && 1024)) && ((673 && 1) || (690 && 18) || (694 && 22)) && ((674 && 34) || (694 && 54)) && ((675 && 67) || (676 && 68) || (674 && 66) || (694 && 86)) && ((676 && 100) || (674 && 98) || (694 && 118)) && ((677 && 133) || (674 && 130) || (694 && 150)) && ((678 && 166) || (694 && 182)) && ((679 && 199) || (686 && 206) || (690 && 210) || (694 && 214)) && ((680 && 232) || (687 && 239) || (694 && 246)) && ((681 && 265) || (687 && 271) || (694 && 278)) && ((682 && 298) || (674 && 290) || (694 && 310)) && ((683 && 331) || (675 && 323) || (676 && 324) || (674 && 322) || (694 && 342)) && ((684 && 364) || (680 && 360) || (687 && 367) || (694 && 374)) && ((685 && 397) || (700 && 412) || (690 && 402) || (694 && 406)) && ((686 && 430) || (690 && 434) || (694 && 438)) && ((687 && 463) || (694 && 470)) && ((688 && 496) || (674 && 482) || (694 && 502)) && ((689 && 529) || (678 && 518) || (694 && 534)) && ((690 && 562) || (694 && 566)) && ((691 && 595) || (684 && 588) || (680 && 584) || (687 && 591) || (694 && 598)) && ((692 && 628) || (690 && 626) || (694 && 630)) && ((693 && 661) || (692 && 660) || (690 && 658) || (694 && 662)) && ((694 && 694)) && ((694 && 726) || (690 && 722) || (700 && 732) || (685 && 717) || (695 && 727)) && ((694 && 758) || (674 && 738) || (676 && 740) || (703 && 767) || (696 && 760)) && ((694 && 790) || (687 && 783) || (680 && 776) || (697 && 793)) && ((694 && 822) || (687 && 815) || (681 && 809) || (698 && 826)) && ((694 && 854) || (674 && 834) || (682 && 842) || (699 && 859)) && ((694 && 886) || (690 && 882) || (700 && 892)) && ((694 && 918) || (678 && 902) || (701 && 925)) && ((694 && 950) || (678 && 934) || (689 && 945) || (702 && 958)) && ((694 && 982) || (674 && 962) || (676 && 964) || (703 && 991)) && ((694 && 1014) || (674 && 994) || (704 && 1024)) && ((705 && 1) || (722 && 18) || (732 && 28) || (717 && 13) || (727 && 23)) && ((706 && 34) || (708 && 36) || (735 && 63) || (717 && 45) || (727 && 55)) && ((707 && 67) || (708 && 68) || (735 && 95) || (717 && 77) || (727 && 87)) && ((708 && 100) || (735 && 127) || (717 && 109) || (727 && 119)) && ((709 && 133) || (706 && 130) || (708 && 132) || (735 && 159) || (717 && 141) || (727 && 151)) && ((710 && 166) || (726 && 182) || (722 && 178) || (732 && 188) || (717 && 173) || (727 && 183)) && ((711 && 199) || (708 && 196) || (735 && 223) || (717 && 205) || (727 && 215)) && ((712 && 232) || (716 && 236) || (723 && 243) || (717 && 237) || (727 && 247)) && ((713 && 265) || (730 && 282) || (735 && 287) || (717 && 269) || (727 && 279)) && ((714 && 298) || (706 && 290) || (708 && 292) || (735 && 319) || (717 && 301) || (727 && 311)) && ((715 && 331) || (707 && 323) || (708 && 324) || (735 && 351) || (717 && 333) || (727 && 343)) && ((716 && 364) || (723 && 371) || (717 && 365) || (727 && 375)) && ((717 && 397) || (727 && 407)) && ((718 && 430) || (722 && 434) || (732 && 444) || (717 && 429) || (727 && 439)) && ((719 && 463) || (713 && 457) || (730 && 474) || (735 && 479) || (717 && 461) || (727 && 471)) && ((720 && 496) || (706 && 482) || (708 && 484) || (735 && 511) || (717 && 493) || (727 && 503)) && ((721 && 529) || (718 && 526) || (722 && 530) || (732 && 540) || (717 && 525) || (727 && 535)) && ((722 && 562) || (732 && 572) || (717 && 557) || (727 && 567)) && ((723 && 595) || (717 && 589) || (727 && 599)) && ((724 && 628) || (722 && 626) || (732 && 636) || (717 && 621) || (727 && 631)) && ((725 && 661) || (724 && 660) || (722 && 658) || (732 && 668) || (717 && 653) || (727 && 663)) && ((726 && 694) || (722 && 690) || (732 && 700) || (717 && 685) || (727 && 695)) && ((727 && 727)) && ((727 && 759) || (717 && 749) || (735 && 767) || (728 && 760)) && ((727 && 791) || (717 && 781) || (723 && 787) || (716 && 780) || (712 && 776) || (729 && 793)) && ((727 && 823) || (717 && 813) || (735 && 831) || (730 && 826)) && ((727 && 855) || (717 && 845) || (735 && 863) || (708 && 836) || (707 && 835) || (714 && 842) || (731 && 859)) && ((727 && 887) || (717 && 877) || (732 && 892)) && ((727 && 919) || (717 && 909) || (723 && 915) || (716 && 908) || (712 && 904) || (729 && 921) || (733 && 925)) && ((727 && 951) || (717 && 941) || (732 && 956) || (722 && 946) || (705 && 929) || (734 && 958)) && ((727 && 983) || (717 && 973) || (735 && 991)) && ((727 && 1015) || (717 && 1005) || (735 && 1023) || (708 && 996) || (736 && 1024)) && ((737 && 1) || (745 && 9) || (762 && 26) || (767 && 31) || (760 && 24)) && ((738 && 34) || (740 && 36) || (767 && 63) || (760 && 56)) && ((739 && 67) || (740 && 68) || (767 && 95) || (760 && 88)) && ((740 && 100) || (767 && 127) || (760 && 120)) && ((741 && 133) || (738 && 130) || (740 && 132) || (767 && 159) || (760 && 152)) && ((742 && 166) || (758 && 182) || (738 && 162) || (740 && 164) || (767 && 191) || (760 && 184)) && ((743 && 199) || (740 && 196) || (767 && 223) || (760 && 216)) && ((744 && 232) || (751 && 239) || (745 && 233) || (762 && 250) || (767 && 255) || (760 && 248)) && ((745 && 265) || (762 && 282) || (767 && 287) || (760 && 280)) && ((746 && 298) || (738 && 290) || (740 && 292) || (767 && 319) || (760 && 312)) && ((747 && 331) || (739 && 323) || (740 && 324) || (767 && 351) || (760 && 344)) && ((748 && 364) || (755 && 371) || (749 && 365) || (767 && 383) || (760 && 376)) && ((749 && 397) || (767 && 415) || (760 && 408)) && ((750 && 430) || (743 && 423) || (740 && 420) || (767 && 447) || (760 && 440)) && ((751 && 463) || (745 && 457) || (762 && 474) || (767 && 479) || (760 && 472)) && ((752 && 496) || (738 && 482) || (740 && 484) || (767 && 511) || (760 && 504)) && ((753 && 529) || (766 && 542) || (739 && 515) || (740 && 516) || (767 && 543) || (760 && 536)) && ((754 && 562) || (764 && 572) || (749 && 557) || (767 && 575) || (760 && 568)) && ((755 && 595) || (749 && 589) || (767 && 607) || (760 && 600)) && ((756 && 628) || (754 && 626) || (764 && 636) || (749 && 621) || (767 && 639) || (760 && 632)) && ((757 && 661) || (752 && 656) || (738 && 642) || (740 && 644) || (767 && 671) || (760 && 664)) && ((758 && 694) || (738 && 674) || (740 && 676) || (767 && 703) || (760 && 696)) && ((759 && 727) || (749 && 717) || (767 && 735) || (760 && 728)) && ((760 && 760)) && ((760 && 792) || (767 && 799) || (762 && 794) || (745 && 777) || (751 && 783) || (744 && 776) || (761 && 793)) && ((760 && 824) || (767 && 831) || (762 && 826)) && ((760 && 856) || (767 && 863) || (740 && 836) || (739 && 835) || (746 && 842) || (763 && 859)) && ((760 && 888) || (767 && 895) || (749 && 877) || (764 && 892)) && ((760 && 920) || (767 && 927) || (740 && 900) || (738 && 898) || (758 && 918) || (742 && 902) || (765 && 925)) && ((760 && 952) || (767 && 959) || (740 && 932) || (739 && 931) || (766 && 958)) && ((760 && 984) || (767 && 991)) && ((760 && 1016) || (767 && 1023) || (740 && 996) || (768 && 1024)) && ((769 && 1) || (777 && 9) || (783 && 15) || (776 && 8) || (793 && 25)) && ((770 && 34) || (790 && 54) || (783 && 47) || (776 && 40) || (793 && 57)) && ((771 && 67) || (798 && 94) || (785 && 81) || (774 && 70) || (797 && 93) || (793 && 89)) && ((772 && 100) || (770 && 98) || (790 && 118) || (783 && 111) || (776 && 104) || (793 && 121)) && ((773 && 133) || (770 && 130) || (790 && 150) || (783 && 143) || (776 && 136) || (793 && 153)) && ((774 && 166) || (797 && 189) || (793 && 185)) && ((775 && 199) || (782 && 206) || (785 && 209) || (774 && 198) || (797 && 221) || (793 && 217)) && ((776 && 232) || (793 && 249)) && ((777 && 265) || (783 && 271) || (776 && 264) || (793 && 281)) && ((778 && 298) || (770 && 290) || (790 && 310) || (783 && 303) || (776 && 296) || (793 && 313)) && ((779 && 331) || (771 && 323) || (798 && 350) || (785 && 337) || (774 && 326) || (797 && 349) || (793 && 345)) && ((780 && 364) || (776 && 360) || (793 && 377)) && ((781 && 397) || (787 && 403) || (780 && 396) || (776 && 392) || (793 && 409)) && ((782 && 430) || (785 && 433) || (774 && 422) || (797 && 445) || (793 && 441)) && ((783 && 463) || (776 && 456) || (793 && 473)) && ((784 && 496) || (770 && 482) || (790 && 502) || (783 && 495) || (776 && 488) || (793 && 505)) && ((785 && 529) || (774 && 518) || (797 && 541) || (793 && 537)) && ((786 && 562) || (790 && 566) || (783 && 559) || (776 && 552) || (793 && 569)) && ((787 && 595) || (780 && 588) || (776 && 584) || (793 && 601)) && ((788 && 628) || (786 && 626) || (790 && 630) || (783 && 623) || (776 && 616) || (793 && 633)) && ((789 && 661) || (769 && 641) || (777 && 649) || (783 && 655) || (776 && 648) || (793 && 665)) && ((790 && 694) || (783 && 687) || (776 && 680) || (793 && 697)) && ((791 && 727) || (781 && 717) || (787 && 723) || (780 && 716) || (776 && 712) || (793 && 729)) && ((792 && 760) || (799 && 767) || (794 && 762) || (777 && 745) || (783 && 751) || (776 && 744) || (793 && 761)) && ((793 && 793)) && ((793 && 825) || (776 && 808) || (783 && 815) || (777 && 809) || (794 && 826)) && ((793 && 857) || (797 && 861) || (774 && 838) || (790 && 854) || (770 && 834) || (778 && 842) || (795 && 859)) && ((793 && 889) || (797 && 893) || (774 && 870) || (790 && 886) || (786 && 882) || (796 && 892)) && ((793 && 921) || (797 && 925)) && ((793 && 953) || (797 && 957) || (774 && 934) || (785 && 945) || (798 && 958)) && ((793 && 985) || (776 && 968) || (783 && 975) || (777 && 969) || (794 && 986) || (799 && 991)) && ((793 && 1017) || (797 && 1021) || (774 && 998) || (790 && 1014) || (770 && 994) || (800 && 1024)) && ((801 && 1) || (809 && 9) || (826 && 26)) && ((802 && 34) || (804 && 36) || (831 && 63) || (826 && 58)) && ((803 && 67) || (804 && 68) || (831 && 95) || (826 && 90)) && ((804 && 100) || (831 && 127) || (826 && 122)) && ((805 && 133) || (802 && 130) || (804 && 132) || (831 && 159) || (826 && 154)) && ((806 && 166) || (822 && 182) || (815 && 175) || (809 && 169) || (826 && 186)) && ((807 && 199) || (804 && 196) || (831 && 223) || (826 && 218)) && ((808 && 232) || (815 && 239) || (809 && 233) || (826 && 250)) && ((809 && 265) || (826 && 282)) && ((810 && 298) || (802 && 290) || (804 && 292) || (831 && 319) || (826 && 314)) && ((811 && 331) || (803 && 323) || (804 && 324) || (831 && 351) || (826 && 346)) && ((812 && 364) || (819 && 371) || (813 && 365) || (831 && 383) || (826 && 378)) && ((813 && 397) || (831 && 415) || (826 && 410)) && ((814 && 430) || (807 && 423) || (804 && 420) || (831 && 447) || (826 && 442)) && ((815 && 463) || (809 && 457) || (826 && 474)) && ((816 && 496) || (821 && 501) || (801 && 481) || (809 && 489) || (826 && 506)) && ((817 && 529) || (830 && 542) || (801 && 513) || (809 && 521) || (826 && 538)) && ((818 && 562) || (801 && 545) || (809 && 553) || (826 && 570)) && ((819 && 595) || (813 && 589) || (831 && 607) || (826 && 602)) && ((820 && 628) || (821 && 629) || (801 && 609) || (809 && 617) || (826 && 634)) && ((821 && 661) || (801 && 641) || (809 && 649) || (826 && 666)) && ((822 && 694) || (815 && 687) || (809 && 681) || (826 && 698)) && ((823 && 727) || (813 && 717) || (831 && 735) || (826 && 730)) && ((824 && 760) || (831 && 767) || (826 && 762)) && ((825 && 793) || (808 && 776) || (815 && 783) || (809 && 777) || (826 && 794)) && ((826 && 826)) && ((826 && 858) || (831 && 863) || (804 && 836) || (803 && 835) || (810 && 842) || (827 && 859)) && ((826 && 890) || (831 && 895) || (813 && 877) || (828 && 892)) && ((826 && 922) || (809 && 905) || (815 && 911) || (808 && 904) || (825 && 921) || (829 && 925)) && ((826 && 954) || (809 && 937) || (801 && 929) || (830 && 958)) && ((826 && 986) || (831 && 991)) && ((826 && 1018) || (831 && 1023) || (804 && 996) || (832 && 1024)) && ((833 && 1) || (862 && 30) || (835 && 3) || (842 && 10) || (859 && 27)) && ((834 && 34) || (842 && 42) || (859 && 59)) && ((835 && 67) || (842 && 74) || (859 && 91)) && ((836 && 100) || (835 && 99) || (842 && 106) || (859 && 123)) && ((837 && 133) || (834 && 130) || (842 && 138) || (859 && 155)) && ((838 && 166) || (854 && 182) || (834 && 162) || (842 && 170) || (859 && 187)) && ((839 && 199) || (836 && 196) || (835 && 195) || (842 && 202) || (859 && 219)) && ((840 && 232) || (847 && 239) || (854 && 246) || (834 && 226) || (842 && 234) || (859 && 251)) && ((841 && 265) || (847 && 271) || (854 && 278) || (834 && 258) || (842 && 266) || (859 && 283)) && ((842 && 298) || (859 && 315)) && ((843 && 331) || (835 && 323) || (842 && 330) || (859 && 347)) && ((844 && 364) || (840 && 360) || (847 && 367) || (854 && 374) || (834 && 354) || (842 && 362) || (859 && 379)) && ((845 && 397) || (863 && 415) || (836 && 388) || (835 && 387) || (842 && 394) || (859 && 411)) && ((846 && 430) || (839 && 423) || (836 && 420) || (835 && 419) || (842 && 426) || (859 && 443)) && ((847 && 463) || (854 && 470) || (834 && 450) || (842 && 458) || (859 && 475)) && ((848 && 496) || (834 && 482) || (842 && 490) || (859 && 507)) && ((849 && 529) || (862 && 542) || (835 && 515) || (842 && 522) || (859 && 539)) && ((850 && 562) || (854 && 566) || (834 && 546) || (842 && 554) || (859 && 571)) && ((851 && 595) || (845 && 589) || (863 && 607) || (836 && 580) || (835 && 579) || (842 && 586) || (859 && 603)) && ((852 && 628) || (853 && 629) || (848 && 624) || (834 && 610) || (842 && 618) || (859 && 635)) && ((853 && 661) || (848 && 656) || (834 && 642) || (842 && 650) || (859 && 667)) && ((854 && 694) || (834 && 674) || (842 && 682) || (859 && 699)) && ((855 && 727) || (845 && 717) || (863 && 735) || (836 && 708) || (835 && 707) || (842 && 714) || (859 && 731)) && ((856 && 760) || (863 && 767) || (836 && 740) || (835 && 739) || (842 && 746) || (859 && 763)) && ((857 && 793) || (861 && 797) || (838 && 774) || (854 && 790) || (834 && 770) || (842 && 778) || (859 && 795)) && ((858 && 826) || (863 && 831) || (836 && 804) || (835 && 803) || (842 && 810) || (859 && 827)) && ((859 && 859)) && ((859 && 891) || (842 && 874) || (834 && 866) || (854 && 886) || (850 && 882) || (860 && 892)) && ((859 && 923) || (842 && 906) || (834 && 898) || (854 && 918) || (838 && 902) || (861 && 925)) && ((859 && 955) || (842 && 938) || (835 && 931) || (862 && 958)) && ((859 && 987) || (842 && 970) || (834 && 962) || (836 && 964) || (863 && 991)) && ((859 && 1019) || (842 && 1002) || (834 && 994) || (864 && 1024)) && ((865 && 1) || (882 && 18) || (892 && 28)) && ((866 && 34) || (886 && 54) || (882 && 50) || (892 && 60)) && ((867 && 67) || (868 && 68) || (895 && 95) || (877 && 77) || (892 && 92)) && ((868 && 100) || (895 && 127) || (877 && 109) || (892 && 124)) && ((869 && 133) || (866 && 130) || (886 && 150) || (882 && 146) || (892 && 156)) && ((870 && 166) || (886 && 182) || (882 && 178) || (892 && 188)) && ((871 && 199) || (878 && 206) || (882 && 210) || (892 && 220)) && ((872 && 232) || (879 && 239) || (886 && 246) || (882 && 242) || (892 && 252)) && ((873 && 265) || (865 && 257) || (882 && 274) || (892 && 284)) && ((874 && 298) || (866 && 290) || (886 && 310) || (882 && 306) || (892 && 316)) && ((875 && 331) || (867 && 323) || (868 && 324) || (895 && 351) || (877 && 333) || (892 && 348)) && ((876 && 364) || (883 && 371) || (877 && 365) || (892 && 380)) && ((877 && 397) || (892 && 412)) && ((878 && 430) || (882 && 434) || (892 && 444)) && ((879 && 463) || (886 && 470) || (882 && 466) || (892 && 476)) && ((880 && 496) || (885 && 501) || (884 && 500) || (882 && 498) || (892 && 508)) && ((881 && 529) || (878 && 526) || (882 && 530) || (892 && 540)) && ((882 && 562) || (892 && 572)) && ((883 && 595) || (877 && 589) || (892 && 604)) && ((884 && 628) || (882 && 626) || (892 && 636)) && ((885 && 661) || (884 && 660) || (882 && 658) || (892 && 668)) && ((886 && 694) || (882 && 690) || (892 && 700)) && ((887 && 727) || (877 && 717) || (892 && 732)) && ((888 && 760) || (895 && 767) || (877 && 749) || (892 && 764)) && ((889 && 793) || (893 && 797) || (870 && 774) || (886 && 790) || (882 && 786) || (892 && 796)) && ((890 && 826) || (895 && 831) || (877 && 813) || (892 && 828)) && ((891 && 859) || (874 && 842) || (866 && 834) || (886 && 854) || (882 && 850) || (892 && 860)) && ((892 && 892)) && ((892 && 924) || (882 && 914) || (886 && 918) || (870 && 902) || (893 && 925)) && ((892 && 956) || (882 && 946) || (865 && 929) || (894 && 958)) && ((892 && 988) || (877 && 973) || (895 && 991)) && ((892 && 1020) || (882 && 1010) || (886 && 1014) || (866 && 994) || (896 && 1024)) && ((897 && 1) || (914 && 18) || (918 && 22) || (902 && 6) || (925 && 29)) && ((898 && 34) || (918 && 54) || (902 && 38) || (925 && 61)) && ((899 && 67) || (926 && 94) || (913 && 81) || (902 && 70) || (925 && 93)) && ((900 && 100) || (898 && 98) || (918 && 118) || (902 && 102) || (925 && 125)) && ((901 && 133) || (898 && 130) || (918 && 150) || (902 && 134) || (925 && 157)) && ((902 && 166) || (925 && 189)) && ((903 && 199) || (910 && 206) || (913 && 209) || (902 && 198) || (925 && 221)) && ((904 && 232) || (921 && 249) || (925 && 253)) && ((905 && 265) || (911 && 271) || (904 && 264) || (921 && 281) || (925 && 285)) && ((906 && 298) || (898 && 290) || (918 && 310) || (902 && 294) || (925 && 317)) && ((907 && 331) || (899 && 323) || (926 && 350) || (913 && 337) || (902 && 326) || (925 && 349)) && ((908 && 364) || (904 && 360) || (921 && 377) || (925 && 381)) && ((909 && 397) || (915 && 403) || (908 && 396) || (904 && 392) || (921 && 409) || (925 && 413)) && ((910 && 430) || (913 && 433) || (902 && 422) || (925 && 445)) && ((911 && 463) || (904 && 456) || (921 && 473) || (925 && 477)) && ((912 && 496) || (898 && 482) || (918 && 502) || (902 && 486) || (925 && 509)) && ((913 && 529) || (902 && 518) || (925 && 541)) && ((914 && 562) || (918 && 566) || (902 && 550) || (925 && 573)) && ((915 && 595) || (908 && 588) || (904 && 584) || (921 && 601) || (925 && 605)) && ((916 && 628) || (914 && 626) || (918 && 630) || (902 && 614) || (925 && 637)) && ((917 && 661) || (916 && 660) || (914 && 658) || (918 && 662) || (902 && 646) || (925 && 669)) && ((918 && 694) || (902 && 678) || (925 && 701)) && ((919 && 727) || (909 && 717) || (915 && 723) || (908 && 716) || (904 && 712) || (921 && 729) || (925 && 733)) && ((920 && 760) || (927 && 767) || (900 && 740) || (898 && 738) || (918 && 758) || (902 && 742) || (925 && 765)) && ((921 && 793) || (925 && 797)) && ((922 && 826) || (905 && 809) || (911 && 815) || (904 && 808) || (921 && 825) || (925 && 829)) && ((923 && 859) || (906 && 842) || (898 && 834) || (918 && 854) || (902 && 838) || (925 && 861)) && ((924 && 892) || (914 && 882) || (918 && 886) || (902 && 870) || (925 && 893)) && ((925 && 925)) && ((925 && 957) || (902 && 934) || (913 && 945) || (926 && 958)) && ((925 && 989) || (902 && 966) || (918 && 982) || (898 && 962) || (900 && 964) || (927 && 991)) && ((925 && 1021) || (902 && 998) || (918 && 1014) || (898 && 994) || (928 && 1024)) && ((929 && 1) || (958 && 30)) && ((930 && 34) || (938 && 42) || (931 && 35) || (958 && 62)) && ((931 && 67) || (958 && 94)) && ((932 && 100) || (931 && 99) || (958 && 126)) && ((933 && 133) || (930 && 130) || (938 && 138) || (931 && 131) || (958 && 158)) && ((934 && 166) || (945 && 177) || (958 && 190)) && ((935 && 199) || (942 && 206) || (945 && 209) || (958 && 222)) && ((936 && 232) || (943 && 239) || (937 && 233) || (929 && 225) || (958 && 254)) && ((937 && 265) || (929 && 257) || (958 && 286)) && ((938 && 298) || (931 && 291) || (958 && 318)) && ((939 && 331) || (931 && 323) || (958 && 350)) && ((940 && 364) || (936 && 360) || (943 && 367) || (937 && 361) || (929 && 353) || (958 && 382)) && ((941 && 397) || (956 && 412) || (946 && 402) || (929 && 385) || (958 && 414)) && ((942 && 430) || (945 && 433) || (958 && 446)) && ((943 && 463) || (937 && 457) || (929 && 449) || (958 && 478)) && ((944 && 496) || (949 && 501) || (929 && 481) || (958 && 510)) && ((945 && 529) || (958 && 542)) && ((946 && 562) || (929 && 545) || (958 && 574)) && ((947 && 595) || (941 && 589) || (956 && 604) || (946 && 594) || (929 && 577) || (958 && 606)) && ((948 && 628) || (949 && 629) || (929 && 609) || (958 && 638)) && ((949 && 661) || (929 && 641) || (958 && 670)) && ((950 && 694) || (934 && 678) || (945 && 689) || (958 && 702)) && ((951 && 727) || (941 && 717) || (956 && 732) || (946 && 722) || (929 && 705) || (958 && 734)) && ((952 && 760) || (959 && 767) || (932 && 740) || (931 && 739) || (958 && 766)) && ((953 && 793) || (957 && 797) || (934 && 774) || (945 && 785) || (958 && 798)) && ((954 && 826) || (937 && 809) || (929 && 801) || (958 && 830)) && ((955 && 859) || (938 && 842) || (931 && 835) || (958 && 862)) && ((956 && 892) || (946 && 882) || (929 && 865) || (958 && 894)) && ((957 && 925) || (934 && 902) || (945 && 913) || (958 && 926)) && ((958 && 958)) && ((958 && 990) || (931 && 963) || (932 && 964) || (959 && 991)) && ((958 && 1022) || (931 && 995) || (932 && 996) || (960 && 1024)) && ((961 && 1) || (969 && 9) || (986 && 26) || (991 && 31)) && ((962 && 34) || (964 && 36) || (991 && 63)) && ((963 && 67) || (964 && 68) || (991 && 95)) && ((964 && 100) || (991 && 127)) && ((965 && 133) || (962 && 130) || (964 && 132) || (991 && 159)) && ((966 && 166) || (982 && 182) || (962 && 162) || (964 && 164) || (991 && 191)) && ((967 && 199) || (964 && 196) || (991 && 223)) && ((968 && 232) || (975 && 239) || (969 && 233) || (986 && 250) || (991 && 255)) && ((969 && 265) || (986 && 282) || (991 && 287)) && ((970 && 298) || (962 && 290) || (964 && 292) || (991 && 319)) && ((971 && 331) || (963 && 323) || (964 && 324) || (991 && 351)) && ((972 && 364) || (979 && 371) || (973 && 365) || (991 && 383)) && ((973 && 397) || (991 && 415)) && ((974 && 430) || (967 && 423) || (964 && 420) || (991 && 447)) && ((975 && 463) || (969 && 457) || (986 && 474) || (991 && 479)) && ((976 && 496) || (962 && 482) || (964 && 484) || (991 && 511)) && ((977 && 529) || (990 && 542) || (963 && 515) || (964 && 516) || (991 && 543)) && ((978 && 562) || (988 && 572) || (973 && 557) || (991 && 575)) && ((979 && 595) || (973 && 589) || (991 && 607)) && ((980 && 628) || (978 && 626) || (988 && 636) || (973 && 621) || (991 && 639)) && ((981 && 661) || (976 && 656) || (962 && 642) || (964 && 644) || (991 && 671)) && ((982 && 694) || (962 && 674) || (964 && 676) || (991 && 703)) && ((983 && 727) || (973 && 717) || (991 && 735)) && ((984 && 760) || (991 && 767)) && ((985 && 793) || (968 && 776) || (975 && 783) || (969 && 777) || (986 && 794) || (991 && 799)) && ((986 && 826) || (991 && 831)) && ((987 && 859) || (970 && 842) || (962 && 834) || (964 && 836) || (991 && 863)) && ((988 && 892) || (973 && 877) || (991 && 895)) && ((989 && 925) || (966 && 902) || (982 && 918) || (962 && 898) || (964 && 900) || (991 && 927)) && ((990 && 958) || (963 && 931) || (964 && 932) || (991 && 959)) && ((991 && 991)) && ((991 && 1023) || (964 && 996) || (992 && 1024)) && ((993 && 1) || (1010 && 18) || (1014 && 22) || (994 && 2) || (1024 && 32)) && ((994 && 34) || (1024 && 64)) && ((995 && 67) || (996 && 68) || (1024 && 96)) && ((996 && 100) || (1024 && 128)) && ((997 && 133) || (994 && 130) || (1024 && 160)) && ((998 && 166) || (1014 && 182) || (994 && 162) || (1024 && 192)) && ((999 && 199) || (996 && 196) || (1024 && 224)) && ((1000 && 232) || (1007 && 239) || (1014 && 246) || (994 && 226) || (1024 && 256)) && ((1001 && 265) || (1007 && 271) || (1014 && 278) || (994 && 258) || (1024 && 288)) && ((1002 && 298) || (994 && 290) || (1024 && 320)) && ((1003 && 331) || (995 && 323) || (996 && 324) || (1024 && 352)) && ((1004 && 364) || (1011 && 371) || (1005 && 365) || (1023 && 383) || (996 && 356) || (1024 && 384)) && ((1005 && 397) || (1023 && 415) || (996 && 388) || (1024 && 416)) && ((1006 && 430) || (999 && 423) || (996 && 420) || (1024 && 448)) && ((1007 && 463) || (1014 && 470) || (994 && 450) || (1024 && 480)) && ((1008 && 496) || (994 && 482) || (1024 && 512)) && ((1009 && 529) || (1022 && 542) || (995 && 515) || (996 && 516) || (1024 && 544)) && ((1010 && 562) || (1014 && 566) || (994 && 546) || (1024 && 576)) && ((1011 && 595) || (1005 && 589) || (1023 && 607) || (996 && 580) || (1024 && 608)) && ((1012 && 628) || (1013 && 629) || (1008 && 624) || (994 && 610) || (1024 && 640)) && ((1013 && 661) || (1008 && 656) || (994 && 642) || (1024 && 672)) && ((1014 && 694) || (994 && 674) || (1024 && 704)) && ((1015 && 727) || (1005 && 717) || (1023 && 735) || (996 && 708) || (1024 && 736)) && ((1016 && 760) || (1023 && 767) || (996 && 740) || (1024 && 768)) && ((1017 && 793) || (1021 && 797) || (998 && 774) || (1014 && 790) || (994 && 770) || (1024 && 800)) && ((1018 && 826) || (1023 && 831) || (996 && 804) || (1024 && 832)) && ((1019 && 859) || (1002 && 842) || (994 && 834) || (1024 && 864)) && ((1020 && 892) || (1010 && 882) || (1014 && 886) || (994 && 866) || (1024 && 896)) && ((1021 && 925) || (998 && 902) || (1014 && 918) || (994 && 898) || (1024 && 928)) && ((1022 && 958) || (995 && 931) || (996 && 932) || (1024 && 960)) && ((1023 && 991) || (996 && 964) || (1024 && 992)) && ((1024 && 1024))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement