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