FP-eq.txt

1217 1345
2 64 64 
1 64 

2 1 60 61 280 AND
2 1 280 62 281 AND
2 1 52 53 282 AND
2 1 54 55 283 AND
2 1 282 283 284 AND
2 1 58 59 285 AND
2 1 56 57 286 AND
2 1 285 286 287 AND
2 1 284 287 288 AND
2 1 281 288 289 AND
2 1 124 125 444 AND
2 1 444 126 445 AND
2 1 122 123 446 AND
2 1 120 121 447 AND
2 1 446 447 448 AND
2 1 116 117 449 AND
2 1 118 119 450 AND
2 1 449 450 451 AND
2 1 448 451 452 AND
2 1 445 452 453 AND
1 1 62 459 INV
1 1 126 460 INV
2 1 459 460 461 AND
1 1 461 462 INV
1 1 462 463 INV
1 1 61 464 INV
1 1 125 465 INV
2 1 464 465 466 AND
1 1 466 467 INV
1 1 467 468 INV
2 1 463 468 469 AND
1 1 469 470 INV
1 1 470 471 INV
1 1 60 472 INV
1 1 124 473 INV
2 1 472 473 474 AND
1 1 474 475 INV
1 1 475 476 INV
1 1 59 477 INV
1 1 123 478 INV
2 1 477 478 479 AND
1 1 479 480 INV
1 1 480 481 INV
2 1 476 481 482 AND
1 1 482 483 INV
1 1 483 484 INV
2 1 471 484 485 AND
1 1 485 486 INV
1 1 486 487 INV
1 1 58 488 INV
1 1 122 489 INV
2 1 488 489 490 AND
1 1 490 491 INV
1 1 491 492 INV
1 1 57 493 INV
1 1 121 494 INV
2 1 493 494 495 AND
1 1 495 496 INV
1 1 496 497 INV
2 1 492 497 498 AND
1 1 498 499 INV
1 1 499 500 INV
1 1 56 501 INV
1 1 120 502 INV
2 1 501 502 503 AND
1 1 503 504 INV
1 1 504 505 INV
1 1 55 506 INV
1 1 119 507 INV
2 1 506 507 508 AND
1 1 508 509 INV
1 1 509 510 INV
2 1 505 510 511 AND
1 1 511 512 INV
1 1 512 513 INV
2 1 500 513 514 AND
1 1 514 515 INV
1 1 515 516 INV
2 1 487 516 517 AND
1 1 517 518 INV
1 1 518 519 INV
1 1 54 520 INV
1 1 118 521 INV
2 1 520 521 522 AND
1 1 522 523 INV
1 1 523 524 INV
1 1 53 525 INV
1 1 117 526 INV
2 1 525 526 527 AND
1 1 527 528 INV
1 1 528 529 INV
2 1 524 529 530 AND
1 1 530 531 INV
1 1 531 532 INV
1 1 52 533 INV
1 1 116 534 INV
2 1 533 534 535 AND
1 1 535 536 INV
1 1 536 537 INV
1 1 51 538 INV
1 1 115 539 INV
2 1 538 539 540 AND
1 1 540 541 INV
1 1 541 542 INV
2 1 537 542 543 AND
1 1 543 544 INV
1 1 544 545 INV
2 1 532 545 546 AND
1 1 546 547 INV
1 1 547 548 INV
1 1 50 549 INV
2 1 549 538 128 AND
1 1 128 129 INV
1 1 129 130 INV
1 1 114 550 INV
2 1 550 539 292 AND
1 1 292 293 INV
1 1 293 294 INV
2 1 549 550 551 AND
1 1 551 552 INV
1 1 552 553 INV
1 1 49 554 INV
1 1 113 555 INV
2 1 554 555 556 AND
1 1 556 557 INV
1 1 557 558 INV
2 1 553 558 559 AND
1 1 559 560 INV
1 1 560 561 INV
1 1 48 562 INV
2 1 562 554 131 AND
1 1 131 132 INV
1 1 132 133 INV
2 1 130 133 134 AND
1 1 134 135 INV
1 1 135 136 INV
1 1 112 563 INV
2 1 563 555 295 AND
1 1 295 296 INV
1 1 296 297 INV
2 1 294 297 298 AND
1 1 298 299 INV
1 1 299 300 INV
2 1 562 563 564 AND
1 1 564 565 INV
1 1 565 566 INV
1 1 47 567 INV
1 1 111 568 INV
2 1 567 568 569 AND
1 1 569 570 INV
1 1 570 571 INV
2 1 566 571 572 AND
1 1 572 573 INV
1 1 573 574 INV
2 1 561 574 575 AND
1 1 575 576 INV
1 1 576 577 INV
2 1 548 577 578 AND
1 1 578 579 INV
1 1 579 580 INV
2 1 519 580 581 AND
1 1 581 582 INV
1 1 582 583 INV
1 1 46 584 INV
2 1 584 567 137 AND
1 1 137 138 INV
1 1 138 139 INV
1 1 110 585 INV
2 1 585 568 301 AND
1 1 301 302 INV
1 1 302 303 INV
2 1 584 585 586 AND
1 1 586 587 INV
1 1 587 588 INV
1 1 45 589 INV
1 1 109 590 INV
2 1 589 590 591 AND
1 1 591 592 INV
1 1 592 593 INV
2 1 588 593 594 AND
1 1 594 595 INV
1 1 595 596 INV
1 1 44 597 INV
2 1 597 589 140 AND
1 1 140 141 INV
1 1 141 142 INV
2 1 139 142 143 AND
1 1 143 144 INV
1 1 144 145 INV
1 1 108 598 INV
2 1 598 590 304 AND
1 1 304 305 INV
1 1 305 306 INV
2 1 303 306 307 AND
1 1 307 308 INV
1 1 308 309 INV
2 1 597 598 599 AND
1 1 599 600 INV
1 1 600 601 INV
1 1 43 602 INV
1 1 107 603 INV
2 1 602 603 604 AND
1 1 604 605 INV
1 1 605 606 INV
2 1 601 606 607 AND
1 1 607 608 INV
1 1 608 609 INV
2 1 596 609 610 AND
1 1 610 611 INV
1 1 611 612 INV
1 1 42 613 INV
2 1 613 602 146 AND
1 1 146 147 INV
1 1 147 148 INV
1 1 106 614 INV
2 1 614 603 310 AND
1 1 310 311 INV
1 1 311 312 INV
2 1 613 614 615 AND
1 1 615 616 INV
1 1 616 617 INV
1 1 41 618 INV
1 1 105 619 INV
2 1 618 619 620 AND
1 1 620 621 INV
1 1 621 622 INV
2 1 617 622 623 AND
1 1 623 624 INV
1 1 624 625 INV
1 1 40 626 INV
2 1 626 618 149 AND
1 1 149 150 INV
1 1 150 151 INV
2 1 148 151 152 AND
1 1 152 153 INV
1 1 153 154 INV
2 1 145 154 155 AND
1 1 155 156 INV
1 1 156 157 INV
1 1 104 627 INV
2 1 627 619 313 AND
1 1 313 314 INV
1 1 314 315 INV
2 1 312 315 316 AND
1 1 316 317 INV
1 1 317 318 INV
2 1 309 318 319 AND
1 1 319 320 INV
1 1 320 321 INV
2 1 626 627 628 AND
1 1 628 629 INV
1 1 629 630 INV
1 1 39 631 INV
1 1 103 632 INV
2 1 631 632 633 AND
1 1 633 634 INV
1 1 634 635 INV
2 1 630 635 636 AND
1 1 636 637 INV
1 1 637 638 INV
2 1 625 638 639 AND
1 1 639 640 INV
1 1 640 641 INV
2 1 612 641 642 AND
1 1 642 643 INV
1 1 643 644 INV
1 1 38 645 INV
2 1 645 631 158 AND
1 1 158 159 INV
1 1 159 160 INV
1 1 102 646 INV
2 1 646 632 322 AND
1 1 322 323 INV
1 1 323 324 INV
2 1 645 646 647 AND
1 1 647 648 INV
1 1 648 649 INV
1 1 37 650 INV
1 1 101 651 INV
2 1 650 651 652 AND
1 1 652 653 INV
1 1 653 654 INV
2 1 649 654 655 AND
1 1 655 656 INV
1 1 656 657 INV
1 1 36 658 INV
2 1 658 650 161 AND
1 1 161 162 INV
1 1 162 163 INV
2 1 160 163 164 AND
1 1 164 165 INV
1 1 165 166 INV
1 1 100 659 INV
2 1 659 651 325 AND
1 1 325 326 INV
1 1 326 327 INV
2 1 324 327 328 AND
1 1 328 329 INV
1 1 329 330 INV
2 1 658 659 660 AND
1 1 660 661 INV
1 1 661 662 INV
1 1 35 663 INV
1 1 99 664 INV
2 1 663 664 665 AND
1 1 665 666 INV
1 1 666 667 INV
2 1 662 667 668 AND
1 1 668 669 INV
1 1 669 670 INV
2 1 657 670 671 AND
1 1 671 672 INV
1 1 672 673 INV
1 1 34 674 INV
2 1 674 663 167 AND
1 1 167 168 INV
1 1 168 169 INV
1 1 98 675 INV
2 1 675 664 331 AND
1 1 331 332 INV
1 1 332 333 INV
2 1 674 675 676 AND
1 1 676 677 INV
1 1 677 678 INV
1 1 33 679 INV
1 1 97 680 INV
2 1 679 680 681 AND
1 1 681 682 INV
1 1 682 683 INV
2 1 678 683 684 AND
1 1 684 685 INV
1 1 685 686 INV
1 1 32 687 INV
2 1 687 679 170 AND
1 1 170 171 INV
1 1 171 172 INV
2 1 169 172 173 AND
1 1 173 174 INV
1 1 174 175 INV
2 1 166 175 176 AND
1 1 176 177 INV
1 1 177 178 INV
2 1 157 178 179 AND
1 1 179 180 INV
1 1 180 181 INV
2 1 136 181 182 AND
1 1 182 183 INV
1 1 183 184 INV
1 1 96 688 INV
2 1 688 680 334 AND
1 1 334 335 INV
1 1 335 336 INV
2 1 333 336 337 AND
1 1 337 338 INV
1 1 338 339 INV
2 1 330 339 340 AND
1 1 340 341 INV
1 1 341 342 INV
2 1 321 342 343 AND
1 1 343 344 INV
1 1 344 345 INV
2 1 300 345 346 AND
1 1 346 347 INV
1 1 347 348 INV
2 1 687 688 689 AND
1 1 689 690 INV
1 1 690 691 INV
1 1 31 692 INV
1 1 95 693 INV
2 1 692 693 694 AND
1 1 694 695 INV
1 1 695 696 INV
2 1 691 696 697 AND
1 1 697 698 INV
1 1 698 699 INV
2 1 686 699 700 AND
1 1 700 701 INV
1 1 701 702 INV
2 1 673 702 703 AND
1 1 703 704 INV
1 1 704 705 INV
2 1 644 705 706 AND
1 1 706 707 INV
1 1 707 708 INV
2 1 583 708 709 AND
1 1 709 710 INV
1 1 710 711 INV
1 1 30 712 INV
2 1 712 692 185 AND
1 1 185 186 INV
1 1 186 187 INV
1 1 94 713 INV
2 1 713 693 349 AND
1 1 349 350 INV
1 1 350 351 INV
2 1 712 713 714 AND
1 1 714 715 INV
1 1 715 716 INV
1 1 29 717 INV
1 1 93 718 INV
2 1 717 718 719 AND
1 1 719 720 INV
1 1 720 721 INV
2 1 716 721 722 AND
1 1 722 723 INV
1 1 723 724 INV
1 1 28 725 INV
2 1 725 717 188 AND
1 1 188 189 INV
1 1 189 190 INV
2 1 187 190 191 AND
1 1 191 192 INV
1 1 192 193 INV
1 1 92 726 INV
2 1 726 718 352 AND
1 1 352 353 INV
1 1 353 354 INV
2 1 351 354 355 AND
1 1 355 356 INV
1 1 356 357 INV
2 1 725 726 727 AND
1 1 727 728 INV
1 1 728 729 INV
1 1 27 730 INV
1 1 91 731 INV
2 1 730 731 732 AND
1 1 732 733 INV
1 1 733 734 INV
2 1 729 734 735 AND
1 1 735 736 INV
1 1 736 737 INV
2 1 724 737 738 AND
1 1 738 739 INV
1 1 739 740 INV
1 1 26 741 INV
2 1 741 730 194 AND
1 1 194 195 INV
1 1 195 196 INV
1 1 90 742 INV
2 1 742 731 358 AND
1 1 358 359 INV
1 1 359 360 INV
2 1 741 742 743 AND
1 1 743 744 INV
1 1 744 745 INV
1 1 25 746 INV
1 1 89 747 INV
2 1 746 747 748 AND
1 1 748 749 INV
1 1 749 750 INV
2 1 745 750 751 AND
1 1 751 752 INV
1 1 752 753 INV
1 1 24 754 INV
2 1 754 746 197 AND
1 1 197 198 INV
1 1 198 199 INV
2 1 196 199 200 AND
1 1 200 201 INV
1 1 201 202 INV
2 1 193 202 203 AND
1 1 203 204 INV
1 1 204 205 INV
1 1 88 755 INV
2 1 755 747 361 AND
1 1 361 362 INV
1 1 362 363 INV
2 1 360 363 364 AND
1 1 364 365 INV
1 1 365 366 INV
2 1 357 366 367 AND
1 1 367 368 INV
1 1 368 369 INV
2 1 754 755 756 AND
1 1 756 757 INV
1 1 757 758 INV
1 1 23 759 INV
1 1 87 760 INV
2 1 759 760 761 AND
1 1 761 762 INV
1 1 762 763 INV
2 1 758 763 764 AND
1 1 764 765 INV
1 1 765 766 INV
2 1 753 766 767 AND
1 1 767 768 INV
1 1 768 769 INV
2 1 740 769 770 AND
1 1 770 771 INV
1 1 771 772 INV
1 1 22 773 INV
2 1 773 759 206 AND
1 1 206 207 INV
1 1 207 208 INV
1 1 86 774 INV
2 1 774 760 370 AND
1 1 370 371 INV
1 1 371 372 INV
2 1 773 774 775 AND
1 1 775 776 INV
1 1 776 777 INV
1 1 21 778 INV
1 1 85 779 INV
2 1 778 779 780 AND
1 1 780 781 INV
1 1 781 782 INV
2 1 777 782 783 AND
1 1 783 784 INV
1 1 784 785 INV
1 1 20 786 INV
2 1 786 778 209 AND
1 1 209 210 INV
1 1 210 211 INV
2 1 208 211 212 AND
1 1 212 213 INV
1 1 213 214 INV
1 1 84 787 INV
2 1 787 779 373 AND
1 1 373 374 INV
1 1 374 375 INV
2 1 372 375 376 AND
1 1 376 377 INV
1 1 377 378 INV
2 1 786 787 788 AND
1 1 788 789 INV
1 1 789 790 INV
1 1 19 791 INV
1 1 83 792 INV
2 1 791 792 793 AND
1 1 793 794 INV
1 1 794 795 INV
2 1 790 795 796 AND
1 1 796 797 INV
1 1 797 798 INV
2 1 785 798 799 AND
1 1 799 800 INV
1 1 800 801 INV
1 1 18 802 INV
2 1 802 791 215 AND
1 1 215 216 INV
1 1 216 217 INV
1 1 82 803 INV
2 1 803 792 379 AND
1 1 379 380 INV
1 1 380 381 INV
2 1 802 803 804 AND
1 1 804 805 INV
1 1 805 806 INV
1 1 17 807 INV
1 1 81 808 INV
2 1 807 808 809 AND
1 1 809 810 INV
1 1 810 811 INV
2 1 806 811 812 AND
1 1 812 813 INV
1 1 813 814 INV
1 1 16 815 INV
2 1 815 807 218 AND
1 1 218 219 INV
1 1 219 220 INV
2 1 217 220 221 AND
1 1 221 222 INV
1 1 222 223 INV
2 1 214 223 224 AND
1 1 224 225 INV
1 1 225 226 INV
2 1 205 226 227 AND
1 1 227 228 INV
1 1 228 229 INV
1 1 80 816 INV
2 1 816 808 382 AND
1 1 382 383 INV
1 1 383 384 INV
2 1 381 384 385 AND
1 1 385 386 INV
1 1 386 387 INV
2 1 378 387 388 AND
1 1 388 389 INV
1 1 389 390 INV
2 1 369 390 391 AND
1 1 391 392 INV
1 1 392 393 INV
2 1 815 816 817 AND
1 1 817 818 INV
1 1 818 819 INV
1 1 15 820 INV
1 1 79 821 INV
2 1 820 821 822 AND
1 1 822 823 INV
1 1 823 824 INV
2 1 819 824 825 AND
1 1 825 826 INV
1 1 826 827 INV
2 1 814 827 828 AND
1 1 828 829 INV
1 1 829 830 INV
2 1 801 830 831 AND
1 1 831 832 INV
1 1 832 833 INV
2 1 772 833 834 AND
1 1 834 835 INV
1 1 835 836 INV
1 1 14 837 INV
2 1 837 820 230 AND
1 1 230 231 INV
1 1 231 232 INV
1 1 78 838 INV
2 1 838 821 394 AND
1 1 394 395 INV
1 1 395 396 INV
2 1 837 838 839 AND
1 1 839 840 INV
1 1 840 841 INV
1 1 13 842 INV
1 1 77 843 INV
2 1 842 843 844 AND
1 1 844 845 INV
1 1 845 846 INV
2 1 841 846 847 AND
1 1 847 848 INV
1 1 848 849 INV
1 1 12 850 INV
2 1 850 842 233 AND
1 1 233 234 INV
1 1 234 235 INV
2 1 232 235 236 AND
1 1 236 237 INV
1 1 237 238 INV
1 1 76 851 INV
2 1 851 843 397 AND
1 1 397 398 INV
1 1 398 399 INV
2 1 396 399 400 AND
1 1 400 401 INV
1 1 401 402 INV
2 1 850 851 852 AND
1 1 852 853 INV
1 1 853 854 INV
1 1 11 855 INV
1 1 75 856 INV
2 1 855 856 857 AND
1 1 857 858 INV
1 1 858 859 INV
2 1 854 859 860 AND
1 1 860 861 INV
1 1 861 862 INV
2 1 849 862 863 AND
1 1 863 864 INV
1 1 864 865 INV
1 1 10 866 INV
2 1 866 855 239 AND
1 1 239 240 INV
1 1 240 241 INV
1 1 74 867 INV
2 1 867 856 403 AND
1 1 403 404 INV
1 1 404 405 INV
2 1 866 867 868 AND
1 1 868 869 INV
1 1 869 870 INV
1 1 9 871 INV
1 1 73 872 INV
2 1 871 872 873 AND
1 1 873 874 INV
1 1 874 875 INV
2 1 870 875 876 AND
1 1 876 877 INV
1 1 877 878 INV
1 1 8 879 INV
2 1 879 871 242 AND
1 1 242 243 INV
1 1 243 244 INV
2 1 241 244 245 AND
1 1 245 246 INV
1 1 246 247 INV
2 1 238 247 248 AND
1 1 248 249 INV
1 1 249 250 INV
1 1 72 880 INV
2 1 880 872 406 AND
1 1 406 407 INV
1 1 407 408 INV
2 1 405 408 409 AND
1 1 409 410 INV
1 1 410 411 INV
2 1 402 411 412 AND
1 1 412 413 INV
1 1 413 414 INV
2 1 879 880 881 AND
1 1 881 882 INV
1 1 882 883 INV
1 1 7 884 INV
1 1 71 885 INV
2 1 884 885 886 AND
1 1 886 887 INV
1 1 887 888 INV
2 1 883 888 889 AND
1 1 889 890 INV
1 1 890 891 INV
2 1 878 891 892 AND
1 1 892 893 INV
1 1 893 894 INV
2 1 865 894 895 AND
1 1 895 896 INV
1 1 896 897 INV
1 1 6 898 INV
2 1 898 884 251 AND
1 1 251 252 INV
1 1 252 253 INV
1 1 70 899 INV
2 1 899 885 415 AND
1 1 415 416 INV
1 1 416 417 INV
2 1 898 899 900 AND
1 1 900 901 INV
1 1 901 902 INV
1 1 5 903 INV
1 1 69 904 INV
2 1 903 904 905 AND
1 1 905 906 INV
1 1 906 907 INV
2 1 902 907 908 AND
1 1 908 909 INV
1 1 909 910 INV
1 1 4 911 INV
2 1 911 903 254 AND
1 1 254 255 INV
1 1 255 256 INV
2 1 253 256 257 AND
1 1 257 258 INV
1 1 258 259 INV
1 1 68 912 INV
2 1 912 904 418 AND
1 1 418 419 INV
1 1 419 420 INV
2 1 417 420 421 AND
1 1 421 422 INV
1 1 422 423 INV
2 1 911 912 913 AND
1 1 913 914 INV
1 1 914 915 INV
1 1 3 916 INV
1 1 67 917 INV
2 1 916 917 918 AND
1 1 918 919 INV
1 1 919 920 INV
2 1 915 920 921 AND
1 1 921 922 INV
1 1 922 923 INV
2 1 910 923 924 AND
1 1 924 925 INV
1 1 925 926 INV
1 1 2 927 INV
2 1 927 916 260 AND
1 1 260 261 INV
1 1 261 262 INV
1 1 66 928 INV
2 1 928 917 424 AND
1 1 424 425 INV
1 1 425 426 INV
2 1 927 928 929 AND
1 1 929 930 INV
1 1 930 931 INV
1 1 1 932 INV
1 1 65 933 INV
2 1 932 933 934 AND
1 1 934 935 INV
1 1 935 936 INV
2 1 931 936 937 AND
1 1 937 938 INV
1 1 938 939 INV
1 1 0 940 INV
2 1 940 932 263 AND
1 1 263 264 INV
1 1 264 265 INV
2 1 262 265 266 AND
1 1 266 267 INV
1 1 267 268 INV
2 1 259 268 269 AND
1 1 269 270 INV
1 1 270 271 INV
2 1 250 271 272 AND
1 1 272 273 INV
1 1 273 274 INV
2 1 229 274 275 AND
1 1 275 276 INV
1 1 276 277 INV
2 1 184 277 278 AND
1 1 278 279 INV
2 1 279 289 290 AND
1 1 290 291 INV
1 1 64 941 INV
2 1 941 933 427 AND
1 1 427 428 INV
1 1 428 429 INV
2 1 426 429 430 AND
1 1 430 431 INV
1 1 431 432 INV
2 1 423 432 433 AND
1 1 433 434 INV
1 1 434 435 INV
2 1 414 435 436 AND
1 1 436 437 INV
1 1 437 438 INV
2 1 393 438 439 AND
1 1 439 440 INV
1 1 440 441 INV
2 1 348 441 442 AND
1 1 442 443 INV
2 1 443 453 454 AND
1 1 454 455 INV
2 1 291 455 456 AND
1 1 456 457 INV
1 1 457 458 INV
2 1 940 941 942 AND
1 1 942 943 INV
1 1 943 944 INV
2 1 939 944 945 AND
1 1 945 946 INV
1 1 946 947 INV
2 1 926 947 948 AND
1 1 948 949 INV
1 1 949 950 INV
2 1 897 950 951 AND
1 1 951 952 INV
1 1 952 953 INV
2 1 836 953 954 AND
1 1 954 955 INV
1 1 955 956 INV
2 1 711 956 957 AND
1 1 957 958 INV
2 1 63 127 959 XOR
1 1 959 960 INV
2 1 62 126 961 XOR
1 1 961 962 INV
2 1 960 962 963 AND
1 1 963 964 INV
1 1 964 965 INV
2 1 61 125 966 XOR
1 1 966 967 INV
2 1 60 124 968 XOR
1 1 968 969 INV
2 1 967 969 970 AND
1 1 970 971 INV
1 1 971 972 INV
2 1 965 972 973 AND
1 1 973 974 INV
1 1 974 975 INV
2 1 59 123 976 XOR
1 1 976 977 INV
2 1 58 122 978 XOR
1 1 978 979 INV
2 1 977 979 980 AND
1 1 980 981 INV
1 1 981 982 INV
2 1 57 121 983 XOR
1 1 983 984 INV
2 1 56 120 985 XOR
1 1 985 986 INV
2 1 984 986 987 AND
1 1 987 988 INV
1 1 988 989 INV
2 1 982 989 990 AND
1 1 990 991 INV
1 1 991 992 INV
2 1 975 992 993 AND
1 1 993 994 INV
1 1 994 995 INV
2 1 55 119 996 XOR
1 1 996 997 INV
2 1 54 118 998 XOR
1 1 998 999 INV
2 1 997 999 1000 AND
1 1 1000 1001 INV
1 1 1001 1002 INV
2 1 53 117 1003 XOR
1 1 1003 1004 INV
2 1 52 116 1005 XOR
1 1 1005 1006 INV
2 1 1004 1006 1007 AND
1 1 1007 1008 INV
1 1 1008 1009 INV
2 1 1002 1009 1010 AND
1 1 1010 1011 INV
1 1 1011 1012 INV
2 1 51 115 1013 XOR
1 1 1013 1014 INV
2 1 50 114 1015 XOR
1 1 1015 1016 INV
2 1 1014 1016 1017 AND
1 1 1017 1018 INV
1 1 1018 1019 INV
2 1 49 113 1020 XOR
1 1 1020 1021 INV
2 1 48 112 1022 XOR
1 1 1022 1023 INV
2 1 1021 1023 1024 AND
1 1 1024 1025 INV
1 1 1025 1026 INV
2 1 1019 1026 1027 AND
1 1 1027 1028 INV
1 1 1028 1029 INV
2 1 1012 1029 1030 AND
1 1 1030 1031 INV
1 1 1031 1032 INV
2 1 995 1032 1033 AND
1 1 1033 1034 INV
1 1 1034 1035 INV
2 1 47 111 1036 XOR
1 1 1036 1037 INV
2 1 46 110 1038 XOR
1 1 1038 1039 INV
2 1 1037 1039 1040 AND
1 1 1040 1041 INV
1 1 1041 1042 INV
2 1 45 109 1043 XOR
1 1 1043 1044 INV
2 1 44 108 1045 XOR
1 1 1045 1046 INV
2 1 1044 1046 1047 AND
1 1 1047 1048 INV
1 1 1048 1049 INV
2 1 1042 1049 1050 AND
1 1 1050 1051 INV
1 1 1051 1052 INV
2 1 43 107 1053 XOR
1 1 1053 1054 INV
2 1 42 106 1055 XOR
1 1 1055 1056 INV
2 1 1054 1056 1057 AND
1 1 1057 1058 INV
1 1 1058 1059 INV
2 1 41 105 1060 XOR
1 1 1060 1061 INV
2 1 40 104 1062 XOR
1 1 1062 1063 INV
2 1 1061 1063 1064 AND
1 1 1064 1065 INV
1 1 1065 1066 INV
2 1 1059 1066 1067 AND
1 1 1067 1068 INV
1 1 1068 1069 INV
2 1 1052 1069 1070 AND
1 1 1070 1071 INV
1 1 1071 1072 INV
2 1 39 103 1073 XOR
1 1 1073 1074 INV
2 1 38 102 1075 XOR
1 1 1075 1076 INV
2 1 1074 1076 1077 AND
1 1 1077 1078 INV
1 1 1078 1079 INV
2 1 37 101 1080 XOR
1 1 1080 1081 INV
2 1 36 100 1082 XOR
1 1 1082 1083 INV
2 1 1081 1083 1084 AND
1 1 1084 1085 INV
1 1 1085 1086 INV
2 1 1079 1086 1087 AND
1 1 1087 1088 INV
1 1 1088 1089 INV
2 1 35 99 1090 XOR
1 1 1090 1091 INV
2 1 34 98 1092 XOR
1 1 1092 1093 INV
2 1 1091 1093 1094 AND
1 1 1094 1095 INV
1 1 1095 1096 INV
2 1 33 97 1097 XOR
1 1 1097 1098 INV
2 1 32 96 1099 XOR
1 1 1099 1100 INV
2 1 1098 1100 1101 AND
1 1 1101 1102 INV
1 1 1102 1103 INV
2 1 1096 1103 1104 AND
1 1 1104 1105 INV
1 1 1105 1106 INV
2 1 1089 1106 1107 AND
1 1 1107 1108 INV
1 1 1108 1109 INV
2 1 1072 1109 1110 AND
1 1 1110 1111 INV
1 1 1111 1112 INV
2 1 1035 1112 1113 AND
1 1 1113 1114 INV
1 1 1114 1115 INV
2 1 31 95 1116 XOR
1 1 1116 1117 INV
2 1 30 94 1118 XOR
1 1 1118 1119 INV
2 1 1117 1119 1120 AND
1 1 1120 1121 INV
1 1 1121 1122 INV
2 1 29 93 1123 XOR
1 1 1123 1124 INV
2 1 28 92 1125 XOR
1 1 1125 1126 INV
2 1 1124 1126 1127 AND
1 1 1127 1128 INV
1 1 1128 1129 INV
2 1 1122 1129 1130 AND
1 1 1130 1131 INV
1 1 1131 1132 INV
2 1 27 91 1133 XOR
1 1 1133 1134 INV
2 1 26 90 1135 XOR
1 1 1135 1136 INV
2 1 1134 1136 1137 AND
1 1 1137 1138 INV
1 1 1138 1139 INV
2 1 25 89 1140 XOR
1 1 1140 1141 INV
2 1 24 88 1142 XOR
1 1 1142 1143 INV
2 1 1141 1143 1144 AND
1 1 1144 1145 INV
1 1 1145 1146 INV
2 1 1139 1146 1147 AND
1 1 1147 1148 INV
1 1 1148 1149 INV
2 1 1132 1149 1150 AND
1 1 1150 1151 INV
1 1 1151 1152 INV
2 1 23 87 1153 XOR
1 1 1153 1154 INV
2 1 22 86 1155 XOR
1 1 1155 1156 INV
2 1 1154 1156 1157 AND
1 1 1157 1158 INV
1 1 1158 1159 INV
2 1 21 85 1160 XOR
1 1 1160 1161 INV
2 1 20 84 1162 XOR
1 1 1162 1163 INV
2 1 1161 1163 1164 AND
1 1 1164 1165 INV
1 1 1165 1166 INV
2 1 1159 1166 1167 AND
1 1 1167 1168 INV
1 1 1168 1169 INV
2 1 19 83 1170 XOR
1 1 1170 1171 INV
2 1 18 82 1172 XOR
1 1 1172 1173 INV
2 1 1171 1173 1174 AND
1 1 1174 1175 INV
1 1 1175 1176 INV
2 1 17 81 1177 XOR
1 1 1177 1178 INV
2 1 16 80 1179 XOR
1 1 1179 1180 INV
2 1 1178 1180 1181 AND
1 1 1181 1182 INV
1 1 1182 1183 INV
2 1 1176 1183 1184 AND
1 1 1184 1185 INV
1 1 1185 1186 INV
2 1 1169 1186 1187 AND
1 1 1187 1188 INV
1 1 1188 1189 INV
2 1 1152 1189 1190 AND
1 1 1190 1191 INV
1 1 1191 1192 INV
2 1 15 79 1193 XOR
1 1 1193 1194 INV
2 1 14 78 1195 XOR
1 1 1195 1196 INV
2 1 1194 1196 1197 AND
1 1 1197 1198 INV
1 1 1198 1199 INV
2 1 13 77 1200 XOR
1 1 1200 1201 INV
2 1 12 76 1202 XOR
1 1 1202 1203 INV
2 1 1201 1203 1204 AND
1 1 1204 1205 INV
1 1 1205 1206 INV
2 1 1199 1206 1207 AND
1 1 1207 1208 INV
1 1 1208 1209 INV
2 1 11 75 1210 XOR
1 1 1210 1211 INV
2 1 10 74 1212 XOR
1 1 1212 1213 INV
2 1 1211 1213 1214 AND
1 1 1214 1215 INV
1 1 1215 1216 INV
2 1 9 73 1217 XOR
1 1 1217 1218 INV
2 1 8 72 1219 XOR
1 1 1219 1220 INV
2 1 1218 1220 1221 AND
1 1 1221 1222 INV
1 1 1222 1223 INV
2 1 1216 1223 1224 AND
1 1 1224 1225 INV
1 1 1225 1226 INV
2 1 1209 1226 1227 AND
1 1 1227 1228 INV
1 1 1228 1229 INV
2 1 7 71 1230 XOR
1 1 1230 1231 INV
2 1 6 70 1232 XOR
1 1 1232 1233 INV
2 1 1231 1233 1234 AND
1 1 1234 1235 INV
1 1 1235 1236 INV
2 1 5 69 1237 XOR
1 1 1237 1238 INV
2 1 4 68 1239 XOR
1 1 1239 1240 INV
2 1 1238 1240 1241 AND
1 1 1241 1242 INV
1 1 1242 1243 INV
2 1 1236 1243 1244 AND
1 1 1244 1245 INV
1 1 1245 1246 INV
2 1 3 67 1247 XOR
1 1 1247 1248 INV
2 1 2 66 1249 XOR
1 1 1249 1250 INV
2 1 1248 1250 1251 AND
1 1 1251 1252 INV
1 1 1252 1253 INV
2 1 1 65 1254 XOR
1 1 1254 1255 INV
2 1 0 64 1256 XOR
1 1 1256 1257 INV
2 1 1255 1257 1258 AND
1 1 1258 1259 INV
1 1 1259 1260 INV
2 1 1253 1260 1261 AND
1 1 1261 1262 INV
1 1 1262 1263 INV
2 1 1246 1263 1264 AND
1 1 1264 1265 INV
1 1 1265 1266 INV
2 1 1229 1266 1267 AND
1 1 1267 1268 INV
1 1 1268 1269 INV
2 1 1192 1269 1270 AND
1 1 1270 1271 INV
1 1 1271 1272 INV
2 1 1115 1272 1273 AND
1 1 1273 1274 INV
2 1 958 1274 1275 AND
1 1 1275 1276 INV
2 1 458 1276 1277 AND
1 1 1277 1278 INV
1 1 1278 1281 INV
2 1 0 0 1280 XOR
1 1 1280 1279 INV
1 1 1279 1282 INV
1 1 1279 1283 INV
1 1 1279 1284 INV
1 1 1279 1285 INV
1 1 1279 1286 INV
1 1 1279 1287 INV
1 1 1279 1288 INV
1 1 1279 1289 INV
1 1 1279 1290 INV
1 1 1279 1291 INV
1 1 1279 1292 INV
1 1 1279 1293 INV
1 1 1279 1294 INV
1 1 1279 1295 INV
1 1 1279 1296 INV
1 1 1279 1297 INV
1 1 1279 1298 INV
1 1 1279 1299 INV
1 1 1279 1300 INV
1 1 1279 1301 INV
1 1 1279 1302 INV
1 1 1279 1303 INV
1 1 1279 1304 INV
1 1 1279 1305 INV
1 1 1279 1306 INV
1 1 1279 1307 INV
1 1 1279 1308 INV
1 1 1279 1309 INV
1 1 1279 1310 INV
1 1 1279 1311 INV
1 1 1279 1312 INV
1 1 1279 1313 INV
1 1 1279 1314 INV
1 1 1279 1315 INV
1 1 1279 1316 INV
1 1 1279 1317 INV
1 1 1279 1318 INV
1 1 1279 1319 INV
1 1 1279 1320 INV
1 1 1279 1321 INV
1 1 1279 1322 INV
1 1 1279 1323 INV
1 1 1279 1324 INV
1 1 1279 1325 INV
1 1 1279 1326 INV
1 1 1279 1327 INV
1 1 1279 1328 INV
1 1 1279 1329 INV
1 1 1279 1330 INV
1 1 1279 1331 INV
1 1 1279 1332 INV
1 1 1279 1333 INV
1 1 1279 1334 INV
1 1 1279 1335 INV
1 1 1279 1336 INV
1 1 1279 1337 INV
1 1 1279 1338 INV
1 1 1279 1339 INV
1 1 1279 1340 INV
1 1 1279 1341 INV
1 1 1279 1342 INV
1 1 1279 1343 INV
1 1 1279 1344 INV