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