3932 3996
1 64 
1 64 

1 1 56 73 INV
1 1 55 80 INV
1 1 50 95 INV
1 1 51 96 INV
2 1 95 96 97 AND
1 1 97 98 INV
1 1 98 99 INV
1 1 48 100 INV
1 1 49 101 INV
2 1 100 101 102 AND
1 1 102 103 INV
1 1 103 104 INV
2 1 99 104 105 AND
1 1 105 106 INV
1 1 38 110 INV
1 1 39 111 INV
2 1 110 111 112 AND
1 1 112 113 INV
1 1 113 114 INV
1 1 36 115 INV
1 1 37 116 INV
2 1 115 116 117 AND
1 1 117 118 INV
1 1 118 119 INV
2 1 114 119 120 AND
1 1 120 121 INV
1 1 121 122 INV
1 1 34 123 INV
1 1 35 124 INV
2 1 123 124 125 AND
1 1 125 126 INV
1 1 126 127 INV
1 1 32 128 INV
1 1 33 129 INV
2 1 128 129 130 AND
1 1 130 131 INV
1 1 131 132 INV
2 1 127 132 133 AND
1 1 133 134 INV
1 1 134 135 INV
2 1 122 135 136 AND
1 1 136 137 INV
1 1 137 138 INV
1 1 46 139 INV
1 1 47 140 INV
2 1 139 140 141 AND
1 1 141 142 INV
1 1 142 143 INV
1 1 44 144 INV
1 1 45 145 INV
2 1 144 145 146 AND
1 1 146 147 INV
1 1 147 148 INV
2 1 143 148 149 AND
1 1 149 150 INV
1 1 150 151 INV
1 1 42 152 INV
1 1 43 153 INV
2 1 152 153 154 AND
1 1 154 155 INV
1 1 155 156 INV
1 1 40 157 INV
1 1 41 158 INV
2 1 157 158 159 AND
1 1 159 160 INV
1 1 160 161 INV
2 1 156 161 162 AND
1 1 162 163 INV
1 1 163 164 INV
2 1 151 164 165 AND
1 1 165 166 INV
1 1 166 167 INV
2 1 138 167 168 AND
1 1 168 169 INV
1 1 14 173 INV
1 1 15 174 INV
2 1 173 174 175 AND
1 1 175 176 INV
1 1 176 177 INV
1 1 12 178 INV
1 1 13 179 INV
2 1 178 179 180 AND
1 1 180 181 INV
1 1 181 182 INV
2 1 177 182 183 AND
1 1 183 184 INV
1 1 184 185 INV
1 1 10 186 INV
1 1 11 187 INV
2 1 186 187 188 AND
1 1 188 189 INV
1 1 189 190 INV
1 1 8 191 INV
1 1 9 192 INV
2 1 191 192 193 AND
1 1 193 194 INV
1 1 194 195 INV
2 1 190 195 196 AND
1 1 196 197 INV
1 1 197 198 INV
2 1 185 198 199 AND
1 1 199 200 INV
1 1 200 201 INV
1 1 6 202 INV
1 1 7 203 INV
2 1 202 203 204 AND
1 1 204 205 INV
1 1 205 206 INV
1 1 4 207 INV
1 1 5 208 INV
2 1 207 208 209 AND
1 1 209 210 INV
1 1 210 211 INV
2 1 206 211 212 AND
1 1 212 213 INV
1 1 213 214 INV
1 1 2 215 INV
1 1 3 216 INV
2 1 215 216 217 AND
1 1 217 218 INV
1 1 218 219 INV
1 1 0 220 INV
1 1 1 221 INV
2 1 220 221 222 AND
1 1 222 223 INV
1 1 223 224 INV
2 1 219 224 225 AND
1 1 225 226 INV
1 1 226 227 INV
2 1 214 227 228 AND
1 1 228 229 INV
1 1 229 230 INV
2 1 201 230 231 AND
1 1 231 232 INV
1 1 232 233 INV
1 1 26 234 INV
1 1 27 235 INV
2 1 234 235 236 AND
1 1 236 237 INV
1 1 237 238 INV
1 1 24 239 INV
1 1 25 240 INV
2 1 239 240 241 AND
1 1 241 242 INV
1 1 242 243 INV
2 1 238 243 244 AND
1 1 244 245 INV
1 1 245 246 INV
1 1 28 247 INV
1 1 29 248 INV
2 1 247 248 249 AND
1 1 249 250 INV
1 1 250 251 INV
1 1 30 252 INV
1 1 31 253 INV
2 1 252 253 254 AND
1 1 254 255 INV
1 1 255 256 INV
2 1 251 256 257 AND
1 1 257 258 INV
1 1 258 259 INV
2 1 246 259 260 AND
1 1 260 261 INV
1 1 261 262 INV
1 1 18 263 INV
1 1 19 264 INV
2 1 263 264 265 AND
1 1 265 266 INV
1 1 266 267 INV
1 1 16 268 INV
1 1 17 269 INV
2 1 268 269 270 AND
1 1 270 271 INV
1 1 271 272 INV
2 1 267 272 273 AND
1 1 273 274 INV
1 1 274 275 INV
1 1 20 276 INV
1 1 21 277 INV
2 1 276 277 278 AND
1 1 278 279 INV
1 1 279 280 INV
1 1 22 281 INV
1 1 23 282 INV
2 1 281 282 283 AND
1 1 283 284 INV
1 1 284 285 INV
2 1 280 285 286 AND
1 1 286 287 INV
1 1 287 288 INV
2 1 275 288 289 AND
1 1 289 290 INV
1 1 290 291 INV
2 1 262 291 292 AND
1 1 292 293 INV
1 1 293 294 INV
2 1 233 294 295 AND
1 1 295 296 INV
2 1 60 61 299 AND
2 1 299 62 300 AND
2 1 58 59 301 AND
2 1 56 57 302 AND
2 1 301 302 303 AND
2 1 52 53 304 AND
2 1 54 55 305 AND
2 1 304 305 306 AND
2 1 303 306 307 AND
2 1 300 307 308 AND
2 1 306 56 313 XOR
1 1 313 314 INV
2 1 314 306 315 AND
2 1 315 57 316 XOR
1 1 316 317 INV
2 1 317 315 318 AND
2 1 318 58 319 XOR
1 1 318 320 INV
2 1 319 320 321 AND
2 1 321 318 322 XOR
2 1 322 59 323 XOR
1 1 322 324 INV
2 1 323 324 325 AND
2 1 325 322 326 XOR
2 1 326 60 327 XOR
1 1 326 328 INV
2 1 327 328 329 AND
2 1 329 326 330 XOR
2 1 330 61 331 XOR
1 1 330 332 INV
2 1 331 332 333 AND
2 1 333 330 334 XOR
2 1 334 62 335 XOR
1 1 335 336 INV
2 1 334 336 337 AND
1 1 54 339 INV
2 1 339 80 81 AND
1 1 81 82 INV
2 1 54 55 340 XOR
1 1 340 341 INV
2 1 339 341 342 AND
2 1 342 56 343 XOR
1 1 57 347 INV
2 1 73 347 74 AND
1 1 74 75 INV
1 1 75 76 INV
1 1 58 352 INV
1 1 59 356 INV
2 1 352 356 70 AND
1 1 70 71 INV
1 1 71 72 INV
2 1 72 76 77 AND
1 1 77 78 INV
1 1 78 79 INV
1 1 60 360 INV
1 1 61 376 INV
2 1 360 376 64 AND
1 1 64 65 INV
1 1 65 66 INV
1 1 62 385 INV
2 1 66 385 67 AND
1 1 67 68 INV
1 1 68 69 INV
1 1 52 390 INV
2 1 0 1 391 XOR
2 1 390 391 392 AND
2 1 392 0 393 XOR
1 1 53 394 INV
2 1 390 394 83 AND
1 1 83 84 INV
1 1 84 85 INV
2 1 2 3 395 XOR
2 1 390 395 396 AND
2 1 396 2 397 XOR
2 1 393 397 398 XOR
2 1 394 398 399 AND
2 1 393 399 400 XOR
2 1 4 5 401 XOR
2 1 390 401 402 AND
2 1 402 4 403 XOR
2 1 6 7 404 XOR
2 1 390 404 405 AND
2 1 405 6 406 XOR
2 1 403 406 407 XOR
2 1 394 407 408 AND
2 1 403 408 409 XOR
2 1 400 409 410 XOR
2 1 410 54 411 AND
2 1 400 411 412 XOR
2 1 8 9 413 XOR
2 1 390 413 414 AND
2 1 414 8 415 XOR
2 1 10 11 416 XOR
2 1 390 416 417 AND
2 1 417 10 418 XOR
2 1 415 418 419 XOR
2 1 394 419 420 AND
2 1 415 420 421 XOR
2 1 12 13 422 XOR
2 1 390 422 423 AND
2 1 423 12 424 XOR
2 1 14 15 425 XOR
2 1 390 425 426 AND
2 1 426 14 427 XOR
2 1 424 427 428 XOR
2 1 394 428 429 AND
2 1 424 429 430 XOR
2 1 421 430 431 XOR
2 1 431 54 432 AND
2 1 421 432 433 XOR
2 1 412 433 434 XOR
2 1 434 340 435 AND
2 1 412 435 436 XOR
2 1 16 17 437 XOR
2 1 390 437 438 AND
2 1 438 16 439 XOR
2 1 18 19 440 XOR
2 1 390 440 441 AND
2 1 441 18 442 XOR
2 1 439 442 443 XOR
2 1 394 443 444 AND
2 1 439 444 445 XOR
2 1 20 21 446 XOR
2 1 390 446 447 AND
2 1 447 20 448 XOR
2 1 22 23 449 XOR
2 1 390 449 450 AND
2 1 450 22 451 XOR
2 1 448 451 452 XOR
2 1 394 452 453 AND
2 1 448 453 454 XOR
2 1 445 454 455 XOR
2 1 455 54 456 AND
2 1 445 456 457 XOR
2 1 24 25 458 XOR
2 1 390 458 459 AND
2 1 459 24 460 XOR
2 1 26 27 461 XOR
2 1 390 461 462 AND
2 1 462 26 463 XOR
2 1 460 463 464 XOR
2 1 394 464 465 AND
2 1 460 465 466 XOR
2 1 28 29 467 XOR
2 1 390 467 468 AND
2 1 468 28 469 XOR
2 1 30 31 470 XOR
2 1 390 470 471 AND
2 1 471 30 472 XOR
2 1 469 472 473 XOR
2 1 394 473 474 AND
2 1 469 474 475 XOR
2 1 466 475 476 XOR
2 1 476 54 477 AND
2 1 466 477 478 XOR
2 1 457 478 479 XOR
2 1 479 340 480 AND
2 1 457 480 481 XOR
2 1 436 481 482 XOR
2 1 482 343 483 AND
2 1 436 483 484 XOR
2 1 32 33 485 XOR
2 1 390 485 486 AND
2 1 486 32 487 XOR
2 1 34 35 488 XOR
2 1 390 488 489 AND
2 1 489 34 490 XOR
2 1 487 490 491 XOR
2 1 394 491 492 AND
2 1 487 492 493 XOR
2 1 36 37 494 XOR
2 1 390 494 495 AND
2 1 495 36 496 XOR
2 1 38 39 497 XOR
2 1 390 497 498 AND
2 1 498 38 499 XOR
2 1 496 499 500 XOR
2 1 394 500 501 AND
2 1 496 501 502 XOR
2 1 493 502 503 XOR
2 1 503 54 504 AND
2 1 493 504 505 XOR
2 1 40 41 506 XOR
2 1 390 506 507 AND
2 1 507 40 508 XOR
2 1 42 43 509 XOR
2 1 390 509 510 AND
2 1 510 42 511 XOR
2 1 508 511 512 XOR
2 1 394 512 513 AND
2 1 508 513 514 XOR
2 1 44 45 515 XOR
2 1 390 515 516 AND
2 1 516 44 517 XOR
2 1 46 47 518 XOR
2 1 390 518 519 AND
2 1 519 46 520 XOR
2 1 517 520 521 XOR
2 1 394 521 522 AND
2 1 517 522 523 XOR
2 1 514 523 524 XOR
2 1 524 54 525 AND
2 1 514 525 526 XOR
2 1 505 526 527 XOR
2 1 527 340 528 AND
2 1 505 528 529 XOR
2 1 48 49 530 XOR
2 1 390 530 531 AND
2 1 531 48 532 XOR
2 1 50 51 533 XOR
2 1 390 533 534 AND
2 1 534 50 535 XOR
2 1 532 535 536 XOR
2 1 394 536 537 AND
2 1 532 537 538 XOR
2 1 538 304 539 XOR
2 1 539 54 540 AND
2 1 538 540 541 XOR
2 1 541 341 542 AND
2 1 529 542 543 XOR
2 1 543 343 544 AND
2 1 529 544 545 XOR
2 1 484 545 546 XOR
1 1 343 553 INV
2 1 82 553 344 AND
2 1 344 342 345 XOR
1 1 345 346 INV
2 1 346 347 348 AND
1 1 348 349 INV
2 1 345 349 350 XOR
2 1 350 58 364 XOR
1 1 350 351 INV
2 1 351 352 353 AND
1 1 353 354 INV
2 1 354 59 365 XOR
1 1 354 355 INV
2 1 355 356 357 AND
1 1 357 358 INV
2 1 358 60 368 XOR
1 1 358 359 INV
2 1 345 57 547 XOR
2 1 546 547 548 AND
2 1 484 548 549 XOR
2 1 359 360 361 AND
1 1 361 362 INV
2 1 362 61 363 XOR
1 1 362 375 INV
2 1 375 376 377 AND
1 1 377 378 INV
1 1 378 383 INV
1 1 383 384 INV
2 1 384 385 386 AND
1 1 386 387 INV
2 1 387 378 388 XOR
2 1 378 62 379 XOR
1 1 379 380 INV
1 1 82 559 INV
2 1 559 85 86 AND
1 1 86 87 INV
1 1 87 88 INV
2 1 79 88 89 AND
1 1 89 90 INV
1 1 90 91 INV
2 1 69 91 92 AND
1 1 92 93 INV
1 1 304 560 INV
1 1 560 561 INV
2 1 559 561 562 AND
1 1 562 563 INV
1 1 380 570 INV
1 1 563 576 INV
1 1 364 578 INV
1 1 578 579 INV
2 1 7 8 593 XOR
2 1 390 593 594 AND
2 1 594 8 595 XOR
2 1 52 53 596 XOR
2 1 5 6 597 XOR
2 1 390 597 598 AND
2 1 598 6 599 XOR
2 1 595 599 600 XOR
2 1 596 600 601 AND
2 1 595 601 602 XOR
2 1 3 4 603 XOR
2 1 390 603 604 AND
2 1 604 4 605 XOR
2 1 1 2 606 XOR
2 1 390 606 607 AND
2 1 607 2 608 XOR
2 1 605 608 609 XOR
2 1 596 609 610 AND
2 1 605 610 611 XOR
2 1 602 611 612 XOR
2 1 304 54 613 XOR
1 1 613 614 INV
2 1 612 614 615 AND
2 1 602 615 616 XOR
1 1 596 617 INV
2 1 0 52 618 AND
2 1 617 618 619 AND
2 1 619 613 620 AND
2 1 616 620 621 XOR
2 1 339 304 622 AND
2 1 622 340 623 XOR
1 1 623 624 INV
2 1 621 624 625 AND
2 1 616 625 626 XOR
2 1 21 22 627 XOR
2 1 390 627 628 AND
2 1 628 22 629 XOR
2 1 23 24 630 XOR
2 1 390 630 631 AND
2 1 631 24 632 XOR
2 1 629 632 633 XOR
2 1 596 633 634 AND
2 1 634 632 635 XOR
2 1 19 20 636 XOR
2 1 390 636 637 AND
2 1 637 20 638 XOR
2 1 17 18 639 XOR
2 1 390 639 640 AND
2 1 640 18 641 XOR
2 1 638 641 642 XOR
2 1 596 642 643 AND
2 1 638 643 644 XOR
2 1 635 644 645 XOR
2 1 645 614 646 AND
2 1 635 646 647 XOR
2 1 13 14 648 XOR
2 1 390 648 649 AND
2 1 649 14 650 XOR
2 1 15 16 651 XOR
2 1 390 651 652 AND
2 1 652 16 653 XOR
2 1 650 653 654 XOR
2 1 596 654 655 AND
2 1 655 653 656 XOR
2 1 11 12 657 XOR
2 1 390 657 658 AND
2 1 658 12 659 XOR
2 1 9 10 660 XOR
2 1 390 660 661 AND
2 1 661 10 662 XOR
2 1 659 662 663 XOR
2 1 596 663 664 AND
2 1 659 664 665 XOR
2 1 665 656 666 XOR
2 1 666 614 667 AND
2 1 656 667 668 XOR
2 1 668 647 669 XOR
2 1 669 624 670 AND
2 1 647 670 671 XOR
2 1 626 671 672 XOR
2 1 622 341 673 AND
2 1 673 343 674 XOR
1 1 674 675 INV
2 1 672 675 676 AND
2 1 676 671 677 XOR
2 1 673 553 678 AND
2 1 678 547 679 XOR
2 1 677 679 680 AND
2 1 450 23 686 XOR
2 1 447 21 687 XOR
2 1 686 687 688 XOR
2 1 596 688 689 AND
2 1 686 689 690 XOR
2 1 441 19 691 XOR
2 1 438 17 692 XOR
2 1 691 692 693 XOR
2 1 596 693 694 AND
2 1 691 694 695 XOR
2 1 695 690 696 XOR
2 1 696 614 697 AND
2 1 690 697 698 XOR
2 1 417 11 699 XOR
2 1 414 9 700 XOR
2 1 699 700 701 XOR
2 1 596 701 702 AND
2 1 699 702 703 XOR
2 1 423 13 704 XOR
2 1 426 15 705 XOR
2 1 704 705 706 XOR
2 1 596 706 707 AND
2 1 707 705 708 XOR
2 1 703 708 709 XOR
2 1 709 614 710 AND
2 1 710 708 711 XOR
2 1 698 711 712 XOR
2 1 712 624 713 AND
2 1 698 713 714 XOR
2 1 405 7 715 XOR
2 1 402 5 716 XOR
2 1 716 715 717 XOR
2 1 596 717 718 AND
2 1 715 718 719 XOR
2 1 396 3 720 XOR
2 1 392 1 721 XOR
2 1 720 721 722 XOR
2 1 596 722 723 AND
2 1 720 723 724 XOR
2 1 724 719 725 XOR
2 1 725 614 726 AND
2 1 719 726 727 XOR
2 1 727 623 728 AND
2 1 714 728 729 XOR
2 1 729 675 730 AND
2 1 714 730 731 XOR
2 1 731 679 732 AND
2 1 25 26 741 XOR
2 1 390 741 742 AND
2 1 742 26 743 XOR
2 1 743 632 744 XOR
2 1 596 744 745 AND
2 1 743 745 746 XOR
2 1 629 638 747 XOR
2 1 596 747 748 AND
2 1 629 748 749 XOR
2 1 746 749 750 XOR
2 1 750 614 751 AND
2 1 746 751 752 XOR
2 1 641 653 753 XOR
2 1 596 753 754 AND
2 1 641 754 755 XOR
2 1 650 659 756 XOR
2 1 596 756 757 AND
2 1 650 757 758 XOR
2 1 755 758 759 XOR
2 1 759 614 760 AND
2 1 755 760 761 XOR
2 1 752 761 762 XOR
2 1 762 624 763 AND
2 1 752 763 764 XOR
2 1 605 599 765 XOR
2 1 596 765 766 AND
2 1 766 599 767 XOR
2 1 662 595 768 XOR
2 1 596 768 769 AND
2 1 662 769 770 XOR
2 1 767 770 771 XOR
2 1 771 614 772 AND
2 1 772 770 773 XOR
2 1 608 618 774 XOR
2 1 596 774 775 AND
2 1 608 775 776 XOR
2 1 776 613 777 AND
2 1 773 777 778 XOR
2 1 778 624 779 AND
2 1 773 779 780 XOR
2 1 764 780 781 XOR
2 1 781 675 782 AND
2 1 764 782 783 XOR
2 1 783 679 784 AND
2 1 459 25 790 XOR
2 1 686 790 791 XOR
2 1 596 791 792 AND
2 1 790 792 793 XOR
2 1 691 687 794 XOR
2 1 596 794 795 AND
2 1 687 795 796 XOR
2 1 796 793 797 XOR
2 1 797 614 798 AND
2 1 793 798 799 XOR
2 1 692 705 800 XOR
2 1 596 800 801 AND
2 1 801 692 802 XOR
2 1 704 699 803 XOR
2 1 596 803 804 AND
2 1 704 804 805 XOR
2 1 802 805 806 XOR
2 1 806 614 807 AND
2 1 802 807 808 XOR
2 1 808 799 809 XOR
2 1 809 624 810 AND
2 1 799 810 811 XOR
2 1 716 720 812 XOR
2 1 596 812 813 AND
2 1 716 813 814 XOR
2 1 700 715 815 XOR
2 1 596 815 816 AND
2 1 816 700 817 XOR
2 1 814 817 818 XOR
2 1 818 614 819 AND
2 1 819 817 820 XOR
2 1 721 617 821 AND
2 1 821 613 822 AND
2 1 820 822 823 XOR
2 1 823 624 824 AND
2 1 820 824 825 XOR
2 1 825 811 826 XOR
2 1 826 675 827 AND
2 1 811 827 828 XOR
2 1 828 679 829 AND
2 1 29 30 841 XOR
2 1 390 841 842 AND
2 1 842 30 843 XOR
2 1 27 28 844 XOR
2 1 390 844 845 AND
2 1 845 28 846 XOR
2 1 843 846 847 XOR
2 1 596 847 848 AND
2 1 843 848 849 XOR
2 1 849 746 850 XOR
2 1 850 614 851 AND
2 1 849 851 852 XOR
2 1 755 749 853 XOR
2 1 853 614 854 AND
2 1 854 749 855 XOR
2 1 852 855 856 XOR
2 1 856 624 857 AND
2 1 852 857 858 XOR
2 1 776 767 859 XOR
2 1 859 614 860 AND
2 1 860 767 861 XOR
2 1 758 770 862 XOR
2 1 862 614 863 AND
2 1 758 863 864 XOR
2 1 861 864 865 XOR
2 1 865 624 866 AND
2 1 866 864 867 XOR
2 1 858 867 868 XOR
2 1 868 675 869 AND
2 1 858 869 870 XOR
2 1 870 679 871 AND
2 1 802 796 877 XOR
2 1 877 614 878 AND
2 1 796 878 879 XOR
2 1 468 29 880 XOR
2 1 462 27 881 XOR
2 1 880 881 882 XOR
2 1 596 882 883 AND
2 1 880 883 884 XOR
2 1 793 884 885 XOR
2 1 885 614 886 AND
2 1 884 886 887 XOR
2 1 879 887 888 XOR
2 1 888 624 889 AND
2 1 889 887 890 XOR
2 1 805 817 891 XOR
2 1 891 614 892 AND
2 1 805 892 893 XOR
2 1 814 821 894 XOR
2 1 894 614 895 AND
2 1 814 895 896 XOR
2 1 893 896 897 XOR
2 1 897 624 898 AND
2 1 893 898 899 XOR
2 1 899 890 900 XOR
2 1 900 675 901 AND
2 1 890 901 902 XOR
2 1 902 679 903 AND
2 1 743 846 912 XOR
2 1 596 912 913 AND
2 1 846 913 914 XOR
2 1 635 914 915 XOR
2 1 915 614 916 AND
2 1 916 914 917 XOR
2 1 644 656 918 XOR
2 1 918 614 919 AND
2 1 644 919 920 XOR
2 1 920 917 921 XOR
2 1 921 624 922 AND
2 1 917 922 923 XOR
2 1 665 602 924 XOR
2 1 924 614 925 AND
2 1 665 925 926 XOR
2 1 611 619 927 XOR
2 1 927 614 928 AND
2 1 611 928 929 XOR
2 1 926 929 930 XOR
2 1 930 624 931 AND
2 1 926 931 932 XOR
2 1 932 923 933 XOR
2 1 933 675 934 AND
2 1 923 934 935 XOR
2 1 935 679 936 AND
2 1 881 790 942 XOR
2 1 596 942 943 AND
2 1 881 943 944 XOR
2 1 944 690 945 XOR
2 1 945 614 946 AND
2 1 944 946 947 XOR
2 1 695 708 948 XOR
2 1 948 614 949 AND
2 1 695 949 950 XOR
2 1 950 947 951 XOR
2 1 951 624 952 AND
2 1 947 952 953 XOR
2 1 703 719 954 XOR
2 1 954 614 955 AND
2 1 703 955 956 XOR
2 1 724 613 957 AND
2 1 956 957 958 XOR
2 1 958 624 959 AND
2 1 956 959 960 XOR
2 1 960 953 961 XOR
2 1 961 675 962 AND
2 1 953 962 963 XOR
2 1 963 679 964 AND
2 1 616 668 979 XOR
2 1 979 624 980 AND
2 1 668 980 981 XOR
2 1 620 623 982 AND
2 1 981 982 983 XOR
2 1 983 675 984 AND
2 1 981 984 985 XOR
2 1 985 679 986 AND
2 1 727 711 992 XOR
2 1 992 624 993 AND
2 1 993 711 994 XOR
2 1 994 674 995 AND
2 1 995 679 996 AND
2 1 761 773 1005 XOR
2 1 1005 624 1006 AND
2 1 761 1006 1007 XOR
2 1 777 623 1008 AND
2 1 1007 1008 1009 XOR
2 1 1009 675 1010 AND
2 1 1007 1010 1011 XOR
2 1 1011 679 1012 AND
2 1 808 820 1018 XOR
2 1 1018 624 1019 AND
2 1 808 1019 1020 XOR
2 1 822 623 1021 AND
2 1 1020 1021 1022 XOR
2 1 1022 675 1023 AND
2 1 1020 1023 1024 XOR
2 1 1024 679 1025 AND
2 1 864 855 1037 XOR
2 1 1037 624 1038 AND
2 1 855 1038 1039 XOR
2 1 861 623 1040 AND
2 1 1039 1040 1041 XOR
2 1 1041 675 1042 AND
2 1 1039 1042 1043 XOR
2 1 1043 679 1044 AND
2 1 893 879 1050 XOR
2 1 1050 624 1051 AND
2 1 1051 879 1052 XOR
2 1 896 623 1053 AND
2 1 1052 1053 1054 XOR
2 1 1054 675 1055 AND
2 1 1052 1055 1056 XOR
2 1 1056 679 1057 AND
2 1 920 926 1066 XOR
2 1 1066 624 1067 AND
2 1 920 1067 1068 XOR
2 1 929 623 1069 AND
2 1 1068 1069 1070 XOR
2 1 1070 675 1071 AND
2 1 1068 1071 1072 XOR
2 1 1072 679 1073 AND
2 1 950 956 1079 XOR
2 1 1079 624 1080 AND
2 1 950 1080 1081 XOR
2 1 957 623 1082 AND
2 1 1081 1082 1083 XOR
2 1 1083 675 1084 AND
2 1 1081 1084 1085 XOR
2 1 1085 679 1086 AND
2 1 1040 674 1104 AND
2 1 1104 679 1105 AND
2 1 1053 674 1111 AND
2 1 1111 679 1112 AND
2 1 1069 674 1121 AND
2 1 1121 679 1122 AND
2 1 1082 674 1128 AND
2 1 1128 679 1129 AND
1 1 93 1140 INV
1 1 1140 94 INV
1 1 106 1141 INV
2 1 94 1141 107 AND
1 1 107 108 INV
1 1 108 109 INV
2 1 1140 1141 1142 AND
1 1 1142 1143 INV
1 1 1143 1144 INV
1 1 169 1145 INV
2 1 109 1145 170 AND
1 1 170 171 INV
1 1 171 172 INV
2 1 1144 1145 1146 AND
1 1 1146 1147 INV
1 1 1147 1148 INV
1 1 296 1149 INV
2 1 172 1149 297 AND
1 1 297 298 INV
2 1 298 308 309 AND
1 1 309 310 INV
2 1 310 63 311 AND
1 1 311 312 INV
2 1 312 337 338 AND
2 1 1148 1149 1150 AND
1 1 1150 1151 INV
2 1 1151 0 1152 XOR
2 1 982 674 1155 AND
2 1 1155 679 1156 AND
2 1 1008 674 1162 AND
2 1 1162 679 1163 AND
2 1 1021 674 1169 AND
2 1 1169 679 1170 AND
2 1 780 674 1185 AND
2 1 1185 679 1186 AND
2 1 825 674 1192 AND
2 1 1192 679 1193 AND
2 1 626 674 1202 AND
2 1 1202 679 1203 AND
2 1 728 674 1209 AND
2 1 1209 679 1210 AND
2 1 867 674 1222 AND
2 1 1222 679 1223 AND
2 1 899 674 1229 AND
2 1 1229 679 1230 AND
2 1 932 674 1239 AND
2 1 1239 679 1240 AND
2 1 960 674 1246 AND
2 1 1246 679 1247 AND
2 1 43 44 1268 XOR
2 1 390 1268 1269 AND
2 1 1269 44 1270 XOR
2 1 41 42 1271 XOR
2 1 390 1271 1272 AND
2 1 1272 42 1273 XOR
2 1 1273 1270 1274 XOR
2 1 596 1274 1275 AND
2 1 1270 1275 1276 XOR
2 1 39 40 1277 XOR
2 1 390 1277 1278 AND
2 1 1278 40 1279 XOR
2 1 37 38 1280 XOR
2 1 390 1280 1281 AND
2 1 1281 38 1282 XOR
2 1 1282 1279 1283 XOR
2 1 596 1283 1284 AND
2 1 1279 1284 1285 XOR
2 1 1276 1285 1286 XOR
2 1 1286 614 1287 AND
2 1 1276 1287 1288 XOR
2 1 35 36 1289 XOR
2 1 390 1289 1290 AND
2 1 1290 36 1291 XOR
2 1 33 34 1292 XOR
2 1 390 1292 1293 AND
2 1 1293 34 1294 XOR
2 1 1294 1291 1295 XOR
2 1 596 1295 1296 AND
2 1 1291 1296 1297 XOR
2 1 31 32 1298 XOR
2 1 390 1298 1299 AND
2 1 1299 32 1300 XOR
2 1 843 1300 1301 XOR
2 1 596 1301 1302 AND
2 1 1302 1300 1303 XOR
2 1 1303 1297 1304 XOR
2 1 1304 614 1305 AND
2 1 1297 1305 1306 XOR
2 1 1306 1288 1307 XOR
2 1 1307 624 1308 AND
2 1 1288 1308 1309 XOR
2 1 923 1309 1310 XOR
2 1 1310 675 1311 AND
2 1 1309 1311 1312 XOR
2 1 1312 1239 1313 XOR
1 1 679 1314 INV
2 1 1313 1314 1315 AND
2 1 1312 1315 1316 XOR
2 1 498 39 1322 XOR
2 1 495 37 1323 XOR
2 1 1322 1323 1324 XOR
2 1 596 1324 1325 AND
2 1 1322 1325 1326 XOR
2 1 510 43 1327 XOR
2 1 507 41 1328 XOR
2 1 1327 1328 1329 XOR
2 1 596 1329 1330 AND
2 1 1327 1330 1331 XOR
2 1 1326 1331 1332 XOR
2 1 1332 614 1333 AND
2 1 1333 1331 1334 XOR
2 1 489 35 1335 XOR
2 1 486 33 1336 XOR
2 1 1335 1336 1337 XOR
2 1 596 1337 1338 AND
2 1 1335 1338 1339 XOR
2 1 471 31 1340 XOR
2 1 1340 880 1341 XOR
2 1 596 1341 1342 AND
2 1 1340 1342 1343 XOR
2 1 1339 1343 1344 XOR
2 1 1344 614 1345 AND
2 1 1345 1339 1346 XOR
2 1 1334 1346 1347 XOR
2 1 1347 624 1348 AND
2 1 1334 1348 1349 XOR
2 1 1349 953 1350 XOR
2 1 1350 675 1351 AND
2 1 1349 1351 1352 XOR
2 1 1352 1246 1353 XOR
2 1 1353 1314 1354 AND
2 1 1354 1352 1355 XOR
2 1 45 46 1364 XOR
2 1 390 1364 1365 AND
2 1 1365 46 1366 XOR
2 1 1270 1366 1367 XOR
2 1 596 1367 1368 AND
2 1 1366 1368 1369 XOR
2 1 1279 1273 1370 XOR
2 1 596 1370 1371 AND
2 1 1273 1371 1372 XOR
2 1 1372 1369 1373 XOR
2 1 1373 614 1374 AND
2 1 1369 1374 1375 XOR
2 1 1282 1291 1376 XOR
2 1 596 1376 1377 AND
2 1 1282 1377 1378 XOR
2 1 1300 1294 1379 XOR
2 1 596 1379 1380 AND
2 1 1294 1380 1381 XOR
2 1 1378 1381 1382 XOR
2 1 1382 614 1383 AND
2 1 1378 1383 1384 XOR
2 1 1384 1375 1385 XOR
2 1 1385 624 1386 AND
2 1 1375 1386 1387 XOR
2 1 858 1387 1388 XOR
2 1 1388 675 1389 AND
2 1 1389 1387 1390 XOR
2 1 1390 1222 1391 XOR
2 1 1391 1314 1392 AND
2 1 1392 1390 1393 XOR
2 1 516 45 1399 XOR
2 1 1399 1327 1400 XOR
2 1 596 1400 1401 AND
2 1 1399 1401 1402 XOR
2 1 1322 1328 1403 XOR
2 1 596 1403 1404 AND
2 1 1404 1328 1405 XOR
2 1 1405 1402 1406 XOR
2 1 1406 614 1407 AND
2 1 1402 1407 1408 XOR
2 1 1323 1335 1409 XOR
2 1 596 1409 1410 AND
2 1 1323 1410 1411 XOR
2 1 1336 1340 1412 XOR
2 1 596 1412 1413 AND
2 1 1336 1413 1414 XOR
2 1 1414 1411 1415 XOR
2 1 1415 614 1416 AND
2 1 1411 1416 1417 XOR
2 1 1417 1408 1418 XOR
2 1 1418 624 1419 AND
2 1 1408 1419 1420 XOR
2 1 890 1420 1421 XOR
2 1 1421 675 1422 AND
2 1 1422 1420 1423 XOR
2 1 1423 1229 1424 XOR
2 1 1424 1314 1425 AND
2 1 1425 1423 1426 XOR
2 1 1297 1285 1438 XOR
2 1 1438 614 1439 AND
2 1 1285 1439 1440 XOR
2 1 1303 914 1441 XOR
2 1 1441 614 1442 AND
2 1 1303 1442 1443 XOR
2 1 1443 1440 1444 XOR
2 1 1444 624 1445 AND
2 1 1440 1445 1446 XOR
2 1 671 1446 1447 XOR
2 1 1447 675 1448 AND
2 1 1448 1446 1449 XOR
2 1 1449 1202 1450 XOR
2 1 1450 1314 1451 AND
2 1 1449 1451 1452 XOR
2 1 1326 1339 1458 XOR
2 1 1458 614 1459 AND
2 1 1326 1459 1460 XOR
2 1 1343 944 1461 XOR
2 1 1461 614 1462 AND
2 1 1343 1462 1463 XOR
2 1 1460 1463 1464 XOR
2 1 1464 624 1465 AND
2 1 1460 1465 1466 XOR
2 1 1466 714 1467 XOR
2 1 1467 675 1468 AND
2 1 1466 1468 1469 XOR
2 1 1469 1209 1470 XOR
2 1 1470 1314 1471 AND
2 1 1469 1471 1472 XOR
2 1 849 1381 1481 XOR
2 1 1481 614 1482 AND
2 1 1381 1482 1483 XOR
2 1 1378 1372 1484 XOR
2 1 1484 614 1485 AND
2 1 1485 1372 1486 XOR
2 1 1483 1486 1487 XOR
2 1 1487 624 1488 AND
2 1 1488 1486 1489 XOR
2 1 764 1489 1490 XOR
2 1 1490 675 1491 AND
2 1 1489 1491 1492 XOR
2 1 1492 1185 1493 XOR
2 1 1493 1314 1494 AND
2 1 1494 1492 1495 XOR
2 1 1405 1411 1501 XOR
2 1 1501 614 1502 AND
2 1 1405 1502 1503 XOR
2 1 884 1414 1504 XOR
2 1 1504 614 1505 AND
2 1 1414 1505 1506 XOR
2 1 1503 1506 1507 XOR
2 1 1507 624 1508 AND
2 1 1503 1508 1509 XOR
2 1 1509 811 1510 XOR
2 1 1510 675 1511 AND
2 1 1509 1511 1512 XOR
2 1 1512 1192 1513 XOR
2 1 1513 1314 1514 AND
2 1 1512 1514 1515 XOR
2 1 647 1443 1530 XOR
2 1 1530 624 1531 AND
2 1 1443 1531 1532 XOR
2 1 981 1532 1533 XOR
2 1 1533 675 1534 AND
2 1 1532 1534 1535 XOR
2 1 1535 1155 1536 XOR
2 1 1536 1314 1537 AND
2 1 1535 1537 1538 XOR
2 1 1463 698 1544 XOR
2 1 1544 624 1545 AND
2 1 1463 1545 1546 XOR
2 1 1546 994 1547 XOR
2 1 1547 675 1548 AND
2 1 1546 1548 1549 XOR
2 1 1549 679 1550 AND
2 1 1483 752 1559 XOR
2 1 1559 624 1560 AND
2 1 1483 1560 1561 XOR
2 1 1007 1561 1562 XOR
2 1 1562 675 1563 AND
2 1 1561 1563 1564 XOR
2 1 1564 1162 1565 XOR
2 1 1565 1314 1566 AND
2 1 1564 1566 1567 XOR
2 1 799 1506 1573 XOR
2 1 1573 624 1574 AND
2 1 1506 1574 1575 XOR
2 1 1020 1575 1576 XOR
2 1 1576 675 1577 AND
2 1 1575 1577 1578 XOR
2 1 1578 1169 1579 XOR
2 1 1579 1314 1580 AND
2 1 1580 1578 1581 XOR
2 1 852 1384 1593 XOR
2 1 1593 624 1594 AND
2 1 1384 1594 1595 XOR
2 1 1039 1595 1596 XOR
2 1 1596 675 1597 AND
2 1 1597 1595 1598 XOR
2 1 1598 1104 1599 XOR
2 1 1599 1314 1600 AND
2 1 1600 1598 1601 XOR
2 1 887 1417 1607 XOR
2 1 1607 624 1608 AND
2 1 1417 1608 1609 XOR
2 1 1052 1609 1610 XOR
2 1 1610 675 1611 AND
2 1 1609 1611 1612 XOR
2 1 1612 1111 1613 XOR
2 1 1613 1314 1614 AND
2 1 1612 1614 1615 XOR
2 1 917 1306 1624 XOR
2 1 1624 624 1625 AND
2 1 1306 1625 1626 XOR
2 1 1068 1626 1627 XOR
2 1 1627 675 1628 AND
2 1 1626 1628 1629 XOR
2 1 1629 1121 1630 XOR
2 1 1630 1314 1631 AND
2 1 1629 1631 1632 XOR
2 1 1346 947 1638 XOR
2 1 1638 624 1639 AND
2 1 1346 1639 1640 XOR
2 1 1081 1640 1641 XOR
2 1 1641 675 1642 AND
2 1 1640 1642 1643 XOR
2 1 1643 1128 1644 XOR
2 1 1644 1314 1645 AND
2 1 1643 1645 1646 XOR
2 1 93 51 1663 XOR
2 1 390 1663 1664 AND
2 1 93 1664 1665 XOR
2 1 49 50 1666 XOR
2 1 390 1666 1667 AND
2 1 1667 50 1668 XOR
2 1 1668 1665 1669 XOR
2 1 596 1669 1670 AND
2 1 1665 1670 1671 XOR
2 1 47 48 1672 XOR
2 1 390 1672 1673 AND
2 1 1673 48 1674 XOR
2 1 1674 1366 1675 XOR
2 1 596 1675 1676 AND
2 1 1674 1676 1677 XOR
2 1 1677 1671 1678 XOR
2 1 1678 614 1679 AND
2 1 1671 1679 1680 XOR
2 1 1288 1680 1681 XOR
2 1 1681 624 1682 AND
2 1 1680 1682 1683 XOR
2 1 1626 1683 1684 XOR
2 1 1684 675 1685 AND
2 1 1683 1685 1686 XOR
2 1 1072 1686 1687 XOR
2 1 1687 1314 1688 AND
2 1 1686 1688 1689 XOR
2 1 534 51 1695 XOR
2 1 531 49 1696 XOR
2 1 1695 1696 1697 XOR
2 1 596 1697 1698 AND
2 1 1695 1698 1699 XOR
2 1 519 47 1700 XOR
2 1 1700 1399 1701 XOR
2 1 596 1701 1702 AND
2 1 1702 1700 1703 XOR
2 1 1699 1703 1704 XOR
2 1 1704 614 1705 AND
2 1 1705 1699 1706 XOR
2 1 1706 1334 1707 XOR
2 1 1707 624 1708 AND
2 1 1706 1708 1709 XOR
2 1 1640 1709 1710 XOR
2 1 1710 675 1711 AND
2 1 1709 1711 1712 XOR
2 1 1085 1712 1713 XOR
2 1 1713 1314 1714 AND
2 1 1712 1714 1715 XOR
2 1 390 93 1723 AND
2 1 1723 1695 1724 XOR
2 1 596 1724 1725 AND
2 1 1723 1725 1726 XOR
2 1 1696 1700 1727 XOR
2 1 596 1727 1728 AND
2 1 1728 1696 1729 XOR
2 1 1729 1726 1730 XOR
2 1 1730 614 1731 AND
2 1 1726 1731 1732 XOR
2 1 1408 1732 1733 XOR
2 1 1733 624 1734 AND
2 1 1732 1734 1735 XOR
2 1 1609 1735 1736 XOR
2 1 1736 675 1737 AND
2 1 1735 1737 1738 XOR
2 1 1056 1738 1739 XOR
2 1 1739 1314 1740 AND
2 1 1740 1738 1741 XOR
1 1 1741 1742 INV
2 1 596 1665 1743 AND
2 1 1668 1674 1744 XOR
2 1 596 1744 1745 AND
2 1 1668 1745 1746 XOR
2 1 1746 1743 1747 XOR
2 1 1747 614 1748 AND
2 1 1743 1748 1749 XOR
2 1 1375 1749 1750 XOR
2 1 1750 624 1751 AND
2 1 1749 1751 1752 XOR
2 1 1595 1752 1753 XOR
2 1 1753 675 1754 AND
2 1 1752 1754 1755 XOR
2 1 1043 1755 1756 XOR
2 1 1756 1314 1757 AND
2 1 1757 1755 1758 XOR
1 1 1758 1759 INV
2 1 1742 1759 1760 AND
1 1 1760 1761 INV
2 1 1677 1276 1768 XOR
2 1 1768 614 1769 AND
2 1 1677 1769 1770 XOR
2 1 1440 1770 1771 XOR
2 1 1771 624 1772 AND
2 1 1772 1770 1773 XOR
2 1 1773 1532 1774 XOR
2 1 1774 675 1775 AND
2 1 1773 1775 1776 XOR
2 1 1776 985 1777 XOR
2 1 1777 1314 1778 AND
2 1 1776 1778 1779 XOR
2 1 1703 1331 1785 XOR
2 1 1785 614 1786 AND
2 1 1703 1786 1787 XOR
2 1 1460 1787 1788 XOR
2 1 1788 624 1789 AND
2 1 1787 1789 1790 XOR
2 1 1546 1790 1791 XOR
2 1 1791 675 1792 AND
2 1 1792 1790 1793 XOR
2 1 1793 995 1794 XOR
2 1 1794 1314 1795 AND
2 1 1793 1795 1796 XOR
2 1 1746 1369 1805 XOR
2 1 1805 614 1806 AND
2 1 1746 1806 1807 XOR
2 1 1807 1486 1808 XOR
2 1 1808 624 1809 AND
2 1 1807 1809 1810 XOR
2 1 1561 1810 1811 XOR
2 1 1811 675 1812 AND
2 1 1810 1812 1813 XOR
2 1 1011 1813 1814 XOR
2 1 1814 1314 1815 AND
2 1 1813 1815 1816 XOR
2 1 1729 1402 1822 XOR
2 1 1822 614 1823 AND
2 1 1729 1823 1824 XOR
2 1 1824 1503 1825 XOR
2 1 1825 624 1826 AND
2 1 1824 1826 1827 XOR
2 1 1827 1575 1828 XOR
2 1 1828 675 1829 AND
2 1 1827 1829 1830 XOR
2 1 1830 1024 1831 XOR
2 1 1831 1314 1832 AND
2 1 1830 1832 1833 XOR
2 1 596 1723 1847 AND
2 1 1847 614 1848 AND
2 1 1848 1706 1849 XOR
2 1 1849 624 1850 AND
2 1 1848 1850 1851 XOR
2 1 1851 1349 1852 XOR
2 1 1852 675 1853 AND
2 1 1851 1853 1854 XOR
2 1 1854 963 1855 XOR
2 1 1855 1314 1856 AND
2 1 1854 1856 1857 XOR
1 1 1857 1858 INV
2 1 1680 624 1859 AND
2 1 1859 1309 1860 XOR
2 1 1860 675 1861 AND
2 1 1859 1861 1862 XOR
2 1 1862 935 1863 XOR
2 1 1863 1314 1864 AND
2 1 1862 1864 1865 XOR
1 1 1865 1866 INV
2 1 1858 1866 1867 AND
1 1 1867 1868 INV
1 1 1868 1869 INV
2 1 1749 624 1870 AND
2 1 1870 1387 1871 XOR
2 1 1871 675 1872 AND
2 1 1870 1872 1873 XOR
2 1 1873 870 1874 XOR
2 1 1874 1314 1875 AND
2 1 1873 1875 1876 XOR
1 1 1876 1877 INV
2 1 1732 624 1878 AND
2 1 1420 1878 1879 XOR
2 1 1879 675 1880 AND
2 1 1878 1880 1881 XOR
2 1 902 1881 1882 XOR
2 1 1882 1314 1883 AND
2 1 1881 1883 1884 XOR
1 1 1884 1885 INV
2 1 1877 1885 1886 AND
1 1 1886 1887 INV
1 1 1887 1888 INV
2 1 1869 1888 1889 AND
1 1 1889 1890 INV
1 1 1890 1891 INV
2 1 1743 614 1892 AND
2 1 1892 1807 1893 XOR
2 1 1893 624 1894 AND
2 1 1892 1894 1895 XOR
2 1 1895 1489 1896 XOR
2 1 1896 675 1897 AND
2 1 1895 1897 1898 XOR
2 1 1898 783 1899 XOR
2 1 1899 1314 1900 AND
2 1 1898 1900 1901 XOR
1 1 1901 1902 INV
2 1 1726 614 1903 AND
2 1 1903 1824 1904 XOR
2 1 1904 624 1905 AND
2 1 1903 1905 1906 XOR
2 1 1906 1509 1907 XOR
2 1 1907 675 1908 AND
2 1 1906 1908 1909 XOR
2 1 828 1909 1910 XOR
2 1 1910 1314 1911 AND
2 1 1909 1911 1912 XOR
1 1 1912 1913 INV
2 1 1902 1913 1914 AND
1 1 1914 1915 INV
1 1 1915 1916 INV
2 1 1671 614 1917 AND
2 1 1917 1770 1918 XOR
2 1 1918 624 1919 AND
2 1 1917 1919 1920 XOR
2 1 1920 1446 1921 XOR
2 1 1921 675 1922 AND
2 1 1920 1922 1923 XOR
2 1 1923 677 1924 XOR
2 1 1924 1314 1925 AND
2 1 1923 1925 1926 XOR
1 1 1926 1927 INV
2 1 1847 1699 1928 XOR
2 1 1928 614 1929 AND
2 1 1847 1929 1930 XOR
2 1 1930 1787 1931 XOR
2 1 1931 624 1932 AND
2 1 1930 1932 1933 XOR
2 1 1466 1933 1934 XOR
2 1 1934 675 1935 AND
2 1 1933 1935 1936 XOR
2 1 731 1936 1937 XOR
2 1 1937 1314 1938 AND
2 1 1936 1938 1939 XOR
1 1 1939 1940 INV
2 1 1927 1940 1941 AND
1 1 1941 1942 INV
1 1 1942 1943 INV
2 1 1916 1943 1944 AND
1 1 1944 1945 INV
1 1 1945 1946 INV
2 1 1891 1946 1947 AND
1 1 1947 1948 INV
1 1 337 1960 INV
1 1 547 1961 INV
2 1 1961 553 554 AND
1 1 554 555 INV
1 1 555 577 INV
2 1 678 1961 1962 AND
2 1 578 1962 1963 AND
1 1 365 1964 INV
2 1 578 1964 366 AND
1 1 366 367 INV
1 1 367 552 INV
2 1 579 1964 580 AND
1 1 580 581 INV
1 1 581 582 INV
2 1 577 582 583 AND
1 1 583 584 INV
1 1 584 585 INV
2 1 576 585 586 AND
1 1 586 587 INV
1 1 587 588 INV
2 1 552 577 556 AND
1 1 556 557 INV
1 1 557 558 INV
2 1 558 576 564 AND
1 1 564 565 INV
1 1 565 566 INV
2 1 1963 1964 1965 AND
1 1 368 1966 INV
2 1 552 1966 369 AND
1 1 369 370 INV
1 1 370 371 INV
2 1 1965 1966 1967 AND
1 1 363 1968 INV
2 1 1966 1968 567 AND
2 1 1968 371 372 AND
1 1 372 373 INV
1 1 373 374 INV
2 1 374 570 381 AND
1 1 381 382 INV
2 1 382 388 389 XOR
2 1 389 549 550 AND
2 1 389 1761 1762 AND
1 1 1762 1763 INV
2 1 389 1948 1949 AND
1 1 567 568 INV
1 1 1949 1950 INV
1 1 550 551 INV
1 1 568 569 INV
2 1 569 570 571 AND
1 1 571 572 INV
1 1 572 575 INV
2 1 575 588 589 AND
1 1 589 590 INV
1 1 590 591 INV
2 1 591 34 1558 AND
2 1 591 14 1221 AND
2 1 1221 1223 1224 XOR
2 1 389 1224 1225 AND
2 1 1221 1225 1226 XOR
2 1 1558 1567 1568 XOR
2 1 389 1568 1569 AND
2 1 1558 1569 1570 XOR
1 1 1570 1571 INV
2 1 591 33 1572 AND
1 1 1226 1227 INV
2 1 591 13 1228 AND
2 1 591 23 685 AND
2 1 1228 1230 1231 XOR
2 1 389 1231 1232 AND
2 1 1228 1232 1233 XOR
1 1 1233 1234 INV
2 1 1227 1234 1235 AND
2 1 1572 1581 1582 XOR
2 1 389 1582 1583 AND
2 1 1572 1583 1584 XOR
1 1 1584 1585 INV
2 1 1571 1585 1586 AND
1 1 1586 1587 INV
1 1 1587 1588 INV
2 1 591 38 1592 AND
1 1 1235 1236 INV
1 1 1236 1237 INV
2 1 591 12 1238 AND
2 1 1238 1240 1241 XOR
2 1 389 1241 1242 AND
2 1 1238 1242 1243 XOR
1 1 1243 1244 INV
2 1 1592 1601 1602 XOR
2 1 389 1602 1603 AND
2 1 1592 1603 1604 XOR
1 1 1604 1605 INV
2 1 591 37 1606 AND
2 1 591 11 1245 AND
2 1 1245 1247 1248 XOR
2 1 389 1248 1249 AND
2 1 1245 1249 1250 XOR
1 1 1250 1251 INV
2 1 1244 1251 1252 AND
1 1 1252 1253 INV
2 1 1606 1615 1616 XOR
2 1 389 1616 1617 AND
2 1 1606 1617 1618 XOR
1 1 1618 1619 INV
2 1 1605 1619 1620 AND
1 1 1620 1621 INV
1 1 1621 1622 INV
2 1 591 36 1623 AND
1 1 1253 1254 INV
2 1 1237 1254 1255 AND
1 1 1255 1256 INV
1 1 1256 1257 INV
2 1 1623 1632 1633 XOR
2 1 389 1633 1634 AND
2 1 1623 1634 1635 XOR
1 1 1635 1636 INV
2 1 591 35 1637 AND
2 1 591 44 1267 AND
2 1 591 18 1004 AND
2 1 1637 1646 1647 XOR
2 1 389 1647 1648 AND
2 1 1637 1648 1649 XOR
1 1 1649 1650 INV
2 1 1636 1650 1651 AND
1 1 1651 1652 INV
1 1 1652 1653 INV
2 1 1622 1653 1654 AND
1 1 1654 1655 INV
1 1 1655 1656 INV
2 1 1004 1012 1013 XOR
2 1 389 1013 1014 AND
2 1 1004 1014 1015 XOR
1 1 1015 1016 INV
2 1 591 17 1017 AND
2 1 591 28 911 AND
2 1 1017 1025 1026 XOR
2 1 389 1026 1027 AND
2 1 1017 1027 1028 XOR
1 1 1028 1029 INV
2 1 1016 1029 1030 AND
1 1 1030 1031 INV
2 1 591 1689 1690 XOR
2 1 389 1690 1691 AND
2 1 591 1691 1692 XOR
1 1 1692 1693 INV
2 1 591 51 1694 AND
1 1 1031 1032 INV
2 1 591 22 1036 AND
2 1 591 30 840 AND
2 1 1036 1044 1045 XOR
2 1 389 1045 1046 AND
2 1 1036 1046 1047 XOR
1 1 1047 1048 INV
2 1 591 21 1049 AND
2 1 1267 1316 1317 XOR
2 1 389 1317 1318 AND
2 1 1267 1318 1319 XOR
2 1 1694 1715 1716 XOR
2 1 389 1716 1717 AND
2 1 1694 1717 1718 XOR
1 1 1718 1719 INV
2 1 1693 1719 1720 AND
1 1 1720 1721 INV
1 1 1721 1722 INV
1 1 1319 1320 INV
2 1 591 43 1321 AND
2 1 685 732 733 XOR
2 1 389 733 734 AND
2 1 685 734 735 XOR
1 1 735 736 INV
2 1 1049 1057 1058 XOR
2 1 389 1058 1059 AND
2 1 1049 1059 1060 XOR
1 1 1060 1061 INV
2 1 1048 1061 1062 AND
1 1 1062 1063 INV
1 1 1063 1064 INV
2 1 591 20 1065 AND
2 1 591 25 789 AND
2 1 789 829 830 XOR
2 1 389 830 831 AND
2 1 789 831 832 XOR
1 1 832 833 INV
2 1 591 26 740 AND
2 1 740 784 785 XOR
2 1 389 785 786 AND
2 1 740 786 787 XOR
1 1 787 788 INV
2 1 788 833 834 AND
1 1 834 835 INV
1 1 835 836 INV
2 1 1065 1073 1074 XOR
2 1 389 1074 1075 AND
2 1 1065 1075 1076 XOR
1 1 1076 1077 INV
2 1 591 19 1078 AND
2 1 911 936 937 XOR
2 1 389 937 938 AND
2 1 911 938 939 XOR
1 1 939 940 INV
2 1 1321 1355 1356 XOR
2 1 389 1356 1357 AND
2 1 1321 1357 1358 XOR
1 1 1358 1359 INV
2 1 1320 1359 1360 AND
2 1 1722 1763 1764 AND
1 1 1764 1765 INV
1 1 1765 1766 INV
2 1 591 48 1767 AND
1 1 1360 1361 INV
1 1 1361 1362 INV
2 1 591 46 1363 AND
2 1 591 27 941 AND
2 1 1078 1086 1087 XOR
2 1 389 1087 1088 AND
2 1 1078 1088 1089 XOR
1 1 1089 1090 INV
2 1 1077 1090 1091 AND
1 1 1091 1092 INV
2 1 1767 1779 1780 XOR
2 1 389 1780 1781 AND
2 1 1767 1781 1782 XOR
1 1 1782 1783 INV
2 1 591 47 1784 AND
1 1 1092 1093 INV
2 1 1064 1093 1094 AND
1 1 1094 1095 INV
1 1 1095 1096 INV
2 1 591 6 1103 AND
2 1 1784 1796 1797 XOR
2 1 389 1797 1798 AND
2 1 1784 1798 1799 XOR
1 1 1799 1800 INV
2 1 1783 1800 1801 AND
1 1 1801 1802 INV
1 1 1802 1803 INV
2 1 591 50 1804 AND
2 1 1103 1105 1106 XOR
2 1 389 1106 1107 AND
2 1 1103 1107 1108 XOR
1 1 1108 1109 INV
2 1 591 5 1110 AND
2 1 1110 1112 1113 XOR
2 1 1363 1393 1394 XOR
2 1 389 1394 1395 AND
2 1 1363 1395 1396 XOR
2 1 1804 1816 1817 XOR
2 1 389 1817 1818 AND
2 1 1804 1818 1819 XOR
1 1 1819 1820 INV
2 1 591 49 1821 AND
1 1 1396 1397 INV
2 1 591 45 1398 AND
2 1 389 1113 1114 AND
2 1 1110 1114 1115 XOR
1 1 1115 1116 INV
2 1 1109 1116 1117 AND
1 1 1117 1118 INV
1 1 1118 1119 INV
2 1 591 4 1120 AND
2 1 591 24 592 AND
2 1 592 680 681 XOR
2 1 389 681 682 AND
2 1 592 682 683 XOR
1 1 683 684 INV
2 1 684 736 737 AND
1 1 737 738 INV
1 1 738 739 INV
2 1 739 836 837 AND
1 1 837 838 INV
1 1 838 839 INV
2 1 1120 1122 1123 XOR
2 1 1821 1833 1834 XOR
2 1 389 1834 1835 AND
2 1 1821 1835 1836 XOR
1 1 1836 1837 INV
2 1 1820 1837 1838 AND
1 1 1838 1839 INV
1 1 1839 1840 INV
2 1 1803 1840 1841 AND
1 1 1841 1842 INV
1 1 1842 1843 INV
2 1 1766 1843 1844 AND
1 1 1844 1845 INV
1 1 1845 1846 INV
2 1 389 1123 1124 AND
2 1 1120 1124 1125 XOR
1 1 1125 1126 INV
2 1 591 3 1127 AND
2 1 1127 1129 1130 XOR
2 1 389 1130 1131 AND
2 1 1127 1131 1132 XOR
1 1 1132 1133 INV
2 1 1126 1133 1134 AND
1 1 1134 1135 INV
1 1 1135 1136 INV
2 1 1119 1136 1137 AND
1 1 1137 1138 INV
1 1 1138 1139 INV
2 1 591 8 1201 AND
2 1 1201 1203 1204 XOR
2 1 389 1204 1205 AND
2 1 1201 1205 1206 XOR
1 1 1206 1207 INV
2 1 840 871 872 XOR
2 1 389 872 873 AND
2 1 1398 1426 1427 XOR
2 1 389 1427 1428 AND
2 1 1398 1428 1429 XOR
1 1 1429 1430 INV
2 1 1397 1430 1431 AND
1 1 1431 1432 INV
1 1 1432 1433 INV
2 1 1362 1433 1434 AND
1 1 1434 1435 INV
1 1 1435 1436 INV
2 1 591 40 1437 AND
2 1 591 29 876 AND
2 1 876 903 904 XOR
2 1 389 904 905 AND
2 1 876 905 906 XOR
1 1 906 907 INV
2 1 941 964 965 XOR
2 1 389 965 966 AND
2 1 941 966 967 XOR
1 1 967 968 INV
2 1 940 968 969 AND
2 1 591 16 978 AND
2 1 591 1152 1153 AND
2 1 1151 1153 1154 XOR
1 1 969 970 INV
1 1 970 971 INV
2 1 840 873 874 XOR
1 1 874 875 INV
2 1 875 907 908 AND
1 1 908 909 INV
1 1 909 910 INV
2 1 910 971 972 AND
1 1 972 973 INV
1 1 973 974 INV
2 1 1437 1452 1453 XOR
2 1 389 1453 1454 AND
2 1 1437 1454 1455 XOR
1 1 1455 1456 INV
2 1 591 39 1457 AND
2 1 1154 1156 1157 XOR
2 1 389 1157 1158 AND
2 1 1154 1158 1159 XOR
1 1 1159 1160 INV
2 1 591 2 1161 AND
2 1 1161 1163 1164 XOR
2 1 389 1164 1165 AND
2 1 1161 1165 1166 XOR
1 1 1166 1167 INV
2 1 591 1 1168 AND
2 1 1168 1170 1171 XOR
2 1 1457 1472 1473 XOR
2 1 389 1473 1474 AND
2 1 1457 1474 1475 XOR
1 1 1475 1476 INV
2 1 1456 1476 1477 AND
1 1 1477 1478 INV
1 1 1478 1479 INV
2 1 591 42 1480 AND
2 1 389 1171 1172 AND
2 1 1168 1172 1173 XOR
1 1 1173 1174 INV
2 1 1167 1174 1175 AND
1 1 1175 1176 INV
1 1 1176 1177 INV
2 1 1160 1177 1178 AND
1 1 1178 1179 INV
1 1 1179 1180 INV
2 1 1139 1180 1181 AND
1 1 1181 1182 INV
1 1 1182 1183 INV
2 1 591 10 1184 AND
2 1 591 32 1529 AND
2 1 591 7 1208 AND
2 1 591 15 991 AND
2 1 991 996 997 XOR
2 1 389 997 998 AND
2 1 991 998 999 XOR
1 1 999 1000 INV
2 1 566 575 573 AND
1 1 573 574 INV
2 1 839 974 975 AND
1 1 975 976 INV
1 1 976 977 INV
2 1 1480 1495 1496 XOR
2 1 389 1496 1497 AND
2 1 1480 1497 1498 XOR
1 1 1498 1499 INV
2 1 591 41 1500 AND
2 1 1500 1515 1516 XOR
2 1 389 1516 1517 AND
2 1 1500 1517 1518 XOR
1 1 1518 1519 INV
2 1 1499 1519 1520 AND
1 1 1520 1521 INV
1 1 1521 1522 INV
2 1 1479 1522 1523 AND
1 1 1523 1524 INV
1 1 1524 1525 INV
2 1 1436 1525 1526 AND
1 1 1526 1527 INV
1 1 1527 1528 INV
2 1 1184 1186 1187 XOR
2 1 389 1187 1188 AND
2 1 1184 1188 1189 XOR
1 1 1189 1190 INV
2 1 591 9 1191 AND
2 1 978 986 987 XOR
2 1 389 987 988 AND
2 1 978 988 989 XOR
1 1 989 990 INV
2 1 990 1000 1001 AND
1 1 1001 1002 INV
1 1 1002 1003 INV
2 1 1003 1032 1033 AND
1 1 1033 1034 INV
1 1 1034 1035 INV
2 1 1035 1096 1097 AND
1 1 1097 1098 INV
1 1 1098 1099 INV
2 1 977 1099 1100 AND
1 1 1100 1101 INV
1 1 1101 1102 INV
2 1 1191 1193 1194 XOR
2 1 389 1194 1195 AND
2 1 1191 1195 1196 XOR
1 1 1196 1197 INV
2 1 1190 1197 1198 AND
2 1 1846 1950 1951 AND
1 1 1951 1952 INV
1 1 1952 1953 INV
1 1 1198 1199 INV
1 1 1199 1200 INV
2 1 1208 1210 1211 XOR
2 1 389 1211 1212 AND
2 1 1208 1212 1213 XOR
1 1 1213 1214 INV
2 1 1207 1214 1215 AND
1 1 1215 1216 INV
1 1 1216 1217 INV
2 1 1200 1217 1218 AND
1 1 1218 1219 INV
1 1 1219 1220 INV
2 1 1220 1257 1258 AND
1 1 1258 1259 INV
1 1 1259 1260 INV
2 1 1183 1260 1261 AND
1 1 1261 1262 INV
1 1 1262 1263 INV
2 1 1102 1263 1264 AND
1 1 1264 1265 INV
1 1 1265 1266 INV
2 1 1529 1538 1539 XOR
2 1 389 1539 1540 AND
2 1 1529 1540 1541 XOR
2 1 591 31 1543 AND
2 1 1543 1550 1551 XOR
2 1 389 1551 1552 AND
2 1 1543 1552 1553 XOR
1 1 1553 1554 INV
1 1 1541 1542 INV
2 1 1542 1554 1555 AND
1 1 1555 1556 INV
1 1 1556 1557 INV
2 1 1557 1588 1589 AND
1 1 1589 1590 INV
1 1 1590 1591 INV
2 1 1591 1656 1657 AND
1 1 1657 1658 INV
1 1 1658 1659 INV
2 1 1528 1659 1660 AND
1 1 1660 1661 INV
1 1 1661 1662 INV
2 1 1662 1953 1954 AND
1 1 1954 1955 INV
1 1 1955 1956 INV
2 1 1266 1956 1957 AND
1 1 1957 1958 INV
2 1 574 1958 1959 AND
2 1 1967 1968 1969 AND
2 1 1969 379 1970 AND
2 1 388 1970 1971 XOR
2 1 1930 624 1977 AND
2 1 1977 1790 1978 XOR
2 1 1978 675 1979 AND
2 1 1977 1979 1980 XOR
2 1 1549 1980 1981 XOR
2 1 1981 1314 1982 AND
2 1 1980 1982 1983 XOR
2 1 389 1983 1984 AND
1 1 63 1988 INV
2 1 389 1962 2012 AND
2 1 2012 1689 2013 XOR
2 1 1664 51 2016 XOR
2 1 2016 53 2017 AND
2 1 339 2017 2018 AND
2 1 2018 341 2019 AND
2 1 2019 553 2020 AND
2 1 1961 2020 2021 AND
2 1 389 2021 2022 AND
2 1 2022 1715 2023 XOR
2 1 93 52 2026 AND
2 1 535 2026 2027 XOR
2 1 394 2027 2028 AND
2 1 535 2028 2029 XOR
2 1 339 2029 2030 AND
2 1 2030 341 2031 AND
2 1 2031 553 2032 AND
2 1 1961 2032 2033 AND
2 1 389 2033 2034 AND
2 1 2034 1816 2035 XOR
2 1 1667 49 2038 XOR
2 1 2038 2016 2039 XOR
2 1 394 2039 2040 AND
2 1 2038 2040 2041 XOR
2 1 339 2041 2042 AND
2 1 2042 341 2043 AND
2 1 2043 553 2044 AND
2 1 1961 2044 2045 AND
2 1 389 2045 2046 AND
2 1 2046 1833 2047 XOR
2 1 542 553 2050 AND
2 1 1961 2050 2051 AND
2 1 389 2051 2052 AND
2 1 1779 2052 2053 XOR
2 1 1673 47 2056 XOR
2 1 2056 2038 2057 XOR
2 1 394 2057 2058 AND
2 1 2056 2058 2059 XOR
2 1 2059 2017 2060 XOR
2 1 2060 54 2061 AND
2 1 2059 2061 2062 XOR
2 1 2062 341 2063 AND
2 1 2063 553 2064 AND
2 1 1961 2064 2065 AND
2 1 389 2065 2066 AND
2 1 1796 2066 2067 XOR
2 1 520 532 2070 XOR
2 1 394 2070 2071 AND
2 1 520 2071 2072 XOR
2 1 2072 2029 2073 XOR
2 1 2073 54 2074 AND
2 1 2072 2074 2075 XOR
2 1 2075 341 2076 AND
2 1 2076 553 2077 AND
2 1 1961 2077 2078 AND
2 1 389 2078 2079 AND
2 1 1393 2079 2080 XOR
2 1 1365 45 2083 XOR
2 1 2083 2056 2084 XOR
2 1 394 2084 2085 AND
2 1 2083 2085 2086 XOR
2 1 2086 2041 2087 XOR
2 1 2087 54 2088 AND
2 1 2086 2088 2089 XOR
2 1 2089 341 2090 AND
2 1 2090 553 2091 AND
2 1 1961 2091 2092 AND
2 1 389 2092 2093 AND
2 1 2093 1426 2094 XOR
2 1 523 538 2097 XOR
2 1 2097 54 2098 AND
2 1 523 2098 2099 XOR
2 1 622 2099 2100 XOR
2 1 2100 340 2101 AND
2 1 2099 2101 2102 XOR
2 1 2102 553 2103 AND
2 1 1961 2103 2104 AND
2 1 389 2104 2105 AND
2 1 1316 2105 2106 XOR
2 1 1269 43 2109 XOR
2 1 2109 2083 2110 XOR
2 1 394 2110 2111 AND
2 1 2109 2111 2112 XOR
2 1 2112 2059 2113 XOR
2 1 2113 54 2114 AND
2 1 2112 2114 2115 XOR
2 1 2115 2018 2116 XOR
2 1 2116 340 2117 AND
2 1 2115 2117 2118 XOR
2 1 2118 553 2119 AND
2 1 1961 2119 2120 AND
2 1 389 2120 2121 AND
2 1 2121 1355 2122 XOR
2 1 511 517 2125 XOR
2 1 394 2125 2126 AND
2 1 511 2126 2127 XOR
2 1 2127 2072 2128 XOR
2 1 2128 54 2129 AND
2 1 2127 2129 2130 XOR
2 1 2130 2030 2131 XOR
2 1 2131 340 2132 AND
2 1 2130 2132 2133 XOR
2 1 2133 553 2134 AND
2 1 1961 2134 2135 AND
2 1 389 2135 2136 AND
2 1 2136 1495 2137 XOR
2 1 1272 41 2140 XOR
2 1 2140 2109 2141 XOR
2 1 394 2141 2142 AND
2 1 2140 2142 2143 XOR
2 1 2143 2086 2144 XOR
2 1 2144 54 2145 AND
2 1 2143 2145 2146 XOR
2 1 2146 2042 2147 XOR
2 1 2147 340 2148 AND
2 1 2146 2148 2149 XOR
2 1 2149 553 2150 AND
2 1 1961 2150 2151 AND
2 1 389 2151 2152 AND
2 1 1515 2152 2153 XOR
2 1 526 541 2156 XOR
2 1 2156 340 2157 AND
2 1 526 2157 2158 XOR
2 1 2158 553 2159 AND
2 1 1961 2159 2160 AND
2 1 389 2160 2161 AND
2 1 1452 2161 2162 XOR
2 1 1278 39 2165 XOR
2 1 2165 2140 2166 XOR
2 1 394 2166 2167 AND
2 1 2165 2167 2168 XOR
2 1 2168 2112 2169 XOR
2 1 2169 54 2170 AND
2 1 2168 2170 2171 XOR
2 1 2171 2062 2172 XOR
2 1 2172 340 2173 AND
2 1 2171 2173 2174 XOR
2 1 2174 553 2175 AND
2 1 1961 2175 2176 AND
2 1 389 2176 2177 AND
2 1 2177 1472 2178 XOR
2 1 499 508 2181 XOR
2 1 394 2181 2182 AND
2 1 499 2182 2183 XOR
2 1 2183 2127 2184 XOR
2 1 2184 54 2185 AND
2 1 2183 2185 2186 XOR
2 1 2186 2075 2187 XOR
2 1 2187 340 2188 AND
2 1 2186 2188 2189 XOR
2 1 2189 553 2190 AND
2 1 1961 2190 2191 AND
2 1 389 2191 2192 AND
2 1 2192 1601 2193 XOR
2 1 1281 37 2196 XOR
2 1 2196 2165 2197 XOR
2 1 394 2197 2198 AND
2 1 2196 2198 2199 XOR
2 1 2199 2143 2200 XOR
2 1 2200 54 2201 AND
2 1 2199 2201 2202 XOR
2 1 2202 2089 2203 XOR
2 1 2203 340 2204 AND
2 1 2202 2204 2205 XOR
2 1 2205 553 2206 AND
2 1 1961 2206 2207 AND
2 1 389 2207 2208 AND
2 1 2208 1615 2209 XOR
2 1 502 514 2212 XOR
2 1 2212 54 2213 AND
2 1 502 2213 2214 XOR
2 1 2214 2099 2215 XOR
2 1 2215 340 2216 AND
2 1 2214 2216 2217 XOR
2 1 673 2217 2218 XOR
2 1 2218 343 2219 AND
2 1 2217 2219 2220 XOR
2 1 2220 1961 2221 AND
2 1 389 2221 2222 AND
2 1 2222 1632 2223 XOR
2 1 1290 35 2226 XOR
2 1 2226 2196 2227 XOR
2 1 394 2227 2228 AND
2 1 2226 2228 2229 XOR
2 1 2229 2168 2230 XOR
2 1 2230 54 2231 AND
2 1 2229 2231 2232 XOR
2 1 2232 2115 2233 XOR
2 1 2233 340 2234 AND
2 1 2232 2234 2235 XOR
2 1 2235 2019 2236 XOR
2 1 2236 343 2237 AND
2 1 2235 2237 2238 XOR
2 1 2238 1961 2239 AND
2 1 389 2239 2240 AND
2 1 2240 1646 2241 XOR
2 1 490 496 2244 XOR
2 1 394 2244 2245 AND
2 1 490 2245 2246 XOR
2 1 2246 2183 2247 XOR
2 1 2247 54 2248 AND
2 1 2246 2248 2249 XOR
2 1 2249 2130 2250 XOR
2 1 2250 340 2251 AND
2 1 2249 2251 2252 XOR
2 1 2252 2031 2253 XOR
2 1 2253 343 2254 AND
2 1 2252 2254 2255 XOR
2 1 2255 1961 2256 AND
2 1 389 2256 2257 AND
2 1 2257 1567 2258 XOR
2 1 1293 33 2261 XOR
2 1 2261 2226 2262 XOR
2 1 394 2262 2263 AND
2 1 2261 2263 2264 XOR
2 1 2264 2199 2265 XOR
2 1 2265 54 2266 AND
2 1 2264 2266 2267 XOR
2 1 2267 2146 2268 XOR
2 1 2268 340 2269 AND
2 1 2267 2269 2270 XOR
2 1 2270 2043 2271 XOR
2 1 2271 343 2272 AND
2 1 2270 2272 2273 XOR
2 1 2273 1961 2274 AND
2 1 389 2274 2275 AND
2 1 2275 1581 2276 XOR
2 1 545 1961 2279 AND
2 1 389 2279 2280 AND
2 1 2280 1538 2281 XOR
2 1 1299 31 2284 XOR
2 1 2284 2261 2285 XOR
2 1 394 2285 2286 AND
2 1 2284 2286 2287 XOR
2 1 2287 2229 2288 XOR
2 1 2288 54 2289 AND
2 1 2287 2289 2290 XOR
2 1 2290 2171 2291 XOR
2 1 2291 340 2292 AND
2 1 2290 2292 2293 XOR
2 1 2293 2063 2294 XOR
2 1 2294 343 2295 AND
2 1 2293 2295 2296 XOR
2 1 2296 1961 2297 AND
2 1 389 2297 2298 AND
2 1 2298 1550 2299 XOR
2 1 472 487 2302 XOR
2 1 394 2302 2303 AND
2 1 472 2303 2304 XOR
2 1 2304 2246 2305 XOR
2 1 2305 54 2306 AND
2 1 2304 2306 2307 XOR
2 1 2307 2186 2308 XOR
2 1 2308 340 2309 AND
2 1 2307 2309 2310 XOR
2 1 2310 2076 2311 XOR
2 1 2311 343 2312 AND
2 1 2310 2312 2313 XOR
2 1 2313 1961 2314 AND
2 1 389 2314 2315 AND
2 1 2315 871 2316 XOR
2 1 842 29 2319 XOR
2 1 2319 2284 2320 XOR
2 1 394 2320 2321 AND
2 1 2319 2321 2322 XOR
2 1 2322 2264 2323 XOR
2 1 2323 54 2324 AND
2 1 2322 2324 2325 XOR
2 1 2325 2202 2326 XOR
2 1 2326 340 2327 AND
2 1 2325 2327 2328 XOR
2 1 2328 2090 2329 XOR
2 1 2329 343 2330 AND
2 1 2328 2330 2331 XOR
2 1 2331 1961 2332 AND
2 1 389 2332 2333 AND
2 1 2333 903 2334 XOR
2 1 475 493 2337 XOR
2 1 2337 54 2338 AND
2 1 475 2338 2339 XOR
2 1 2339 2214 2340 XOR
2 1 2340 340 2341 AND
2 1 2339 2341 2342 XOR
2 1 2342 2102 2343 XOR
2 1 2343 343 2344 AND
2 1 2342 2344 2345 XOR
2 1 2345 1961 2346 AND
2 1 389 2346 2347 AND
2 1 2347 936 2348 XOR
2 1 845 27 2351 XOR
2 1 2351 2319 2352 XOR
2 1 394 2352 2353 AND
2 1 2351 2353 2354 XOR
2 1 2354 2287 2355 XOR
2 1 2355 54 2356 AND
2 1 2354 2356 2357 XOR
2 1 2357 2232 2358 XOR
2 1 2358 340 2359 AND
2 1 2357 2359 2360 XOR
2 1 2360 2118 2361 XOR
2 1 2361 343 2362 AND
2 1 2360 2362 2363 XOR
2 1 2363 1961 2364 AND
2 1 389 2364 2365 AND
2 1 2365 964 2366 XOR
2 1 463 469 2369 XOR
2 1 394 2369 2370 AND
2 1 463 2370 2371 XOR
2 1 2371 2304 2372 XOR
2 1 2372 54 2373 AND
2 1 2371 2373 2374 XOR
2 1 2374 2249 2375 XOR
2 1 2375 340 2376 AND
2 1 2374 2376 2377 XOR
2 1 2377 2133 2378 XOR
2 1 2378 343 2379 AND
2 1 2377 2379 2380 XOR
2 1 2380 1961 2381 AND
2 1 389 2381 2382 AND
2 1 2382 784 2383 XOR
2 1 742 25 2386 XOR
2 1 2386 2351 2387 XOR
2 1 394 2387 2388 AND
2 1 2386 2388 2389 XOR
2 1 2389 2322 2390 XOR
2 1 2390 54 2391 AND
2 1 2389 2391 2392 XOR
2 1 2392 2267 2393 XOR
2 1 2393 340 2394 AND
2 1 2392 2394 2395 XOR
2 1 2395 2149 2396 XOR
2 1 2396 343 2397 AND
2 1 2395 2397 2398 XOR
2 1 2398 1961 2399 AND
2 1 389 2399 2400 AND
2 1 2400 829 2401 XOR
2 1 478 505 2404 XOR
2 1 2404 340 2405 AND
2 1 478 2405 2406 XOR
2 1 2406 2158 2407 XOR
2 1 2407 343 2408 AND
2 1 2406 2408 2409 XOR
2 1 2409 1961 2410 AND
2 1 389 2410 2411 AND
2 1 2411 680 2412 XOR
2 1 631 23 2415 XOR
2 1 2415 2386 2416 XOR
2 1 394 2416 2417 AND
2 1 2415 2417 2418 XOR
2 1 2418 2354 2419 XOR
2 1 2419 54 2420 AND
2 1 2418 2420 2421 XOR
2 1 2421 2290 2422 XOR
2 1 2422 340 2423 AND
2 1 2421 2423 2424 XOR
2 1 2424 2174 2425 XOR
2 1 2425 343 2426 AND
2 1 2424 2426 2427 XOR
2 1 2427 1961 2428 AND
2 1 389 2428 2429 AND
2 1 2429 732 2430 XOR
2 1 451 460 2433 XOR
2 1 394 2433 2434 AND
2 1 451 2434 2435 XOR
2 1 2435 2371 2436 XOR
2 1 2436 54 2437 AND
2 1 2435 2437 2438 XOR
2 1 2438 2307 2439 XOR
2 1 2439 340 2440 AND
2 1 2438 2440 2441 XOR
2 1 2441 2189 2442 XOR
2 1 2442 343 2443 AND
2 1 2441 2443 2444 XOR
2 1 2444 1961 2445 AND
2 1 389 2445 2446 AND
2 1 2446 1044 2447 XOR
2 1 628 21 2450 XOR
2 1 2450 2415 2451 XOR
2 1 394 2451 2452 AND
2 1 2450 2452 2453 XOR
2 1 2453 2389 2454 XOR
2 1 2454 54 2455 AND
2 1 2453 2455 2456 XOR
2 1 2456 2325 2457 XOR
2 1 2457 340 2458 AND
2 1 2456 2458 2459 XOR
2 1 2459 2205 2460 XOR
2 1 2460 343 2461 AND
2 1 2459 2461 2462 XOR
2 1 2462 1961 2463 AND
2 1 389 2463 2464 AND
2 1 2464 1057 2465 XOR
2 1 454 466 2468 XOR
2 1 2468 54 2469 AND
2 1 454 2469 2470 XOR
2 1 2470 2339 2471 XOR
2 1 2471 340 2472 AND
2 1 2470 2472 2473 XOR
2 1 2473 2217 2474 XOR
2 1 2474 343 2475 AND
2 1 2473 2475 2476 XOR
2 1 678 2476 2477 XOR
2 1 2477 547 2478 AND
2 1 2476 2478 2479 XOR
2 1 389 2479 2480 AND
2 1 2480 1073 2481 XOR
2 1 637 19 2484 XOR
2 1 2484 2450 2485 XOR
2 1 394 2485 2486 AND
2 1 2484 2486 2487 XOR
2 1 2487 2418 2488 XOR
2 1 2488 54 2489 AND
2 1 2487 2489 2490 XOR
2 1 2490 2357 2491 XOR
2 1 2491 340 2492 AND
2 1 2490 2492 2493 XOR
2 1 2493 2235 2494 XOR
2 1 2494 343 2495 AND
2 1 2493 2495 2496 XOR
2 1 2496 2020 2497 XOR
2 1 2497 547 2498 AND
2 1 2496 2498 2499 XOR
2 1 389 2499 2500 AND
2 1 2500 1086 2501 XOR
2 1 442 448 2504 XOR
2 1 394 2504 2505 AND
2 1 442 2505 2506 XOR
2 1 2506 2435 2507 XOR
2 1 2507 54 2508 AND
2 1 2506 2508 2509 XOR
2 1 2509 2374 2510 XOR
2 1 2510 340 2511 AND
2 1 2509 2511 2512 XOR
2 1 2512 2252 2513 XOR
2 1 2513 343 2514 AND
2 1 2512 2514 2515 XOR
2 1 2515 2032 2516 XOR
2 1 2516 547 2517 AND
2 1 2515 2517 2518 XOR
2 1 389 2518 2519 AND
2 1 2519 1012 2520 XOR
2 1 640 17 2523 XOR
2 1 2523 2484 2524 XOR
2 1 394 2524 2525 AND
2 1 2523 2525 2526 XOR
2 1 2526 2453 2527 XOR
2 1 2527 54 2528 AND
2 1 2526 2528 2529 XOR
2 1 2529 2392 2530 XOR
2 1 2530 340 2531 AND
2 1 2529 2531 2532 XOR
2 1 2532 2270 2533 XOR
2 1 2533 343 2534 AND
2 1 2532 2534 2535 XOR
2 1 2535 2044 2536 XOR
2 1 2536 547 2537 AND
2 1 2535 2537 2538 XOR
2 1 389 2538 2539 AND
2 1 2539 1025 2540 XOR
2 1 481 529 2543 XOR
2 1 2543 343 2544 AND
2 1 481 2544 2545 XOR
2 1 2545 2050 2546 XOR
2 1 2546 547 2547 AND
2 1 2545 2547 2548 XOR
2 1 389 2548 2549 AND
2 1 2549 986 2550 XOR
2 1 652 15 2553 XOR
2 1 2553 2523 2554 XOR
2 1 394 2554 2555 AND
2 1 2553 2555 2556 XOR
2 1 2556 2487 2557 XOR
2 1 2557 54 2558 AND
2 1 2556 2558 2559 XOR
2 1 2559 2421 2560 XOR
2 1 2560 340 2561 AND
2 1 2559 2561 2562 XOR
2 1 2562 2293 2563 XOR
2 1 2563 343 2564 AND
2 1 2562 2564 2565 XOR
2 1 2565 2064 2566 XOR
2 1 2566 547 2567 AND
2 1 2565 2567 2568 XOR
2 1 389 2568 2569 AND
2 1 2569 996 2570 XOR
2 1 427 439 2573 XOR
2 1 394 2573 2574 AND
2 1 427 2574 2575 XOR
2 1 2575 2506 2576 XOR
2 1 2576 54 2577 AND
2 1 2575 2577 2578 XOR
2 1 2578 2438 2579 XOR
2 1 2579 340 2580 AND
2 1 2578 2580 2581 XOR
2 1 2581 2310 2582 XOR
2 1 2582 343 2583 AND
2 1 2581 2583 2584 XOR
2 1 2584 2077 2585 XOR
2 1 2585 547 2586 AND
2 1 2584 2586 2587 XOR
2 1 389 2587 2588 AND
2 1 2588 1223 2589 XOR
2 1 649 13 2592 XOR
2 1 2592 2553 2593 XOR
2 1 394 2593 2594 AND
2 1 2592 2594 2595 XOR
2 1 2595 2526 2596 XOR
2 1 2596 54 2597 AND
2 1 2595 2597 2598 XOR
2 1 2598 2456 2599 XOR
2 1 2599 340 2600 AND
2 1 2598 2600 2601 XOR
2 1 2601 2328 2602 XOR
2 1 2602 343 2603 AND
2 1 2601 2603 2604 XOR
2 1 2604 2091 2605 XOR
2 1 2605 547 2606 AND
2 1 2604 2606 2607 XOR
2 1 389 2607 2608 AND
2 1 2608 1230 2609 XOR
2 1 430 445 2612 XOR
2 1 2612 54 2613 AND
2 1 430 2613 2614 XOR
2 1 2614 2470 2615 XOR
2 1 2615 340 2616 AND
2 1 2614 2616 2617 XOR
2 1 2617 2342 2618 XOR
2 1 2618 343 2619 AND
2 1 2617 2619 2620 XOR
2 1 2620 2103 2621 XOR
2 1 2621 547 2622 AND
2 1 2620 2622 2623 XOR
2 1 389 2623 2624 AND
2 1 2624 1240 2625 XOR
2 1 658 11 2628 XOR
2 1 2628 2592 2629 XOR
2 1 394 2629 2630 AND
2 1 2628 2630 2631 XOR
2 1 2631 2556 2632 XOR
2 1 2632 54 2633 AND
2 1 2631 2633 2634 XOR
2 1 2634 2490 2635 XOR
2 1 2635 340 2636 AND
2 1 2634 2636 2637 XOR
2 1 2637 2360 2638 XOR
2 1 2638 343 2639 AND
2 1 2637 2639 2640 XOR
2 1 2640 2119 2641 XOR
2 1 2641 547 2642 AND
2 1 2640 2642 2643 XOR
2 1 389 2643 2644 AND
2 1 2644 1247 2645 XOR
2 1 418 424 2648 XOR
2 1 394 2648 2649 AND
2 1 418 2649 2650 XOR
2 1 2650 2575 2651 XOR
2 1 2651 54 2652 AND
2 1 2650 2652 2653 XOR
2 1 2653 2509 2654 XOR
2 1 2654 340 2655 AND
2 1 2653 2655 2656 XOR
2 1 2656 2377 2657 XOR
2 1 2657 343 2658 AND
2 1 2656 2658 2659 XOR
2 1 2659 2134 2660 XOR
2 1 2660 547 2661 AND
2 1 2659 2661 2662 XOR
2 1 389 2662 2663 AND
2 1 2663 1186 2664 XOR
2 1 661 9 2667 XOR
2 1 2667 2628 2668 XOR
2 1 394 2668 2669 AND
2 1 2667 2669 2670 XOR
2 1 2670 2595 2671 XOR
2 1 2671 54 2672 AND
2 1 2670 2672 2673 XOR
2 1 2673 2529 2674 XOR
2 1 2674 340 2675 AND
2 1 2673 2675 2676 XOR
2 1 2676 2395 2677 XOR
2 1 2677 343 2678 AND
2 1 2676 2678 2679 XOR
2 1 2679 2150 2680 XOR
2 1 2680 547 2681 AND
2 1 2679 2681 2682 XOR
2 1 389 2682 2683 AND
2 1 2683 1193 2684 XOR
2 1 433 457 2687 XOR
2 1 2687 340 2688 AND
2 1 433 2688 2689 XOR
2 1 2689 2406 2690 XOR
2 1 2690 343 2691 AND
2 1 2689 2691 2692 XOR
2 1 2692 2159 2693 XOR
2 1 2693 547 2694 AND
2 1 2692 2694 2695 XOR
2 1 389 2695 2696 AND
2 1 2696 1203 2697 XOR
2 1 594 7 2700 XOR
2 1 2700 2667 2701 XOR
2 1 394 2701 2702 AND
2 1 2700 2702 2703 XOR
2 1 2703 2631 2704 XOR
2 1 2704 54 2705 AND
2 1 2703 2705 2706 XOR
2 1 2706 2559 2707 XOR
2 1 2707 340 2708 AND
2 1 2706 2708 2709 XOR
2 1 2709 2424 2710 XOR
2 1 2710 343 2711 AND
2 1 2709 2711 2712 XOR
2 1 2712 2175 2713 XOR
2 1 2713 547 2714 AND
2 1 2712 2714 2715 XOR
2 1 389 2715 2716 AND
2 1 2716 1210 2717 XOR
2 1 406 415 2720 XOR
2 1 394 2720 2721 AND
2 1 406 2721 2722 XOR
2 1 2722 2650 2723 XOR
2 1 2723 54 2724 AND
2 1 2722 2724 2725 XOR
2 1 2725 2578 2726 XOR
2 1 2726 340 2727 AND
2 1 2725 2727 2728 XOR
2 1 2728 2441 2729 XOR
2 1 2729 343 2730 AND
2 1 2728 2730 2731 XOR
2 1 2731 2190 2732 XOR
2 1 2732 547 2733 AND
2 1 2731 2733 2734 XOR
2 1 389 2734 2735 AND
2 1 2735 1105 2736 XOR
2 1 598 5 2739 XOR
2 1 2739 2700 2740 XOR
2 1 394 2740 2741 AND
2 1 2739 2741 2742 XOR
2 1 2742 2670 2743 XOR
2 1 2743 54 2744 AND
2 1 2742 2744 2745 XOR
2 1 2745 2598 2746 XOR
2 1 2746 340 2747 AND
2 1 2745 2747 2748 XOR
2 1 2748 2459 2749 XOR
2 1 2749 343 2750 AND
2 1 2748 2750 2751 XOR
2 1 2751 2206 2752 XOR
2 1 2752 547 2753 AND
2 1 2751 2753 2754 XOR
2 1 389 2754 2755 AND
2 1 2755 1112 2756 XOR
2 1 409 421 2759 XOR
2 1 2759 54 2760 AND
2 1 409 2760 2761 XOR
2 1 2761 2614 2762 XOR
2 1 2762 340 2763 AND
2 1 2761 2763 2764 XOR
2 1 2764 2473 2765 XOR
2 1 2765 343 2766 AND
2 1 2764 2766 2767 XOR
2 1 2767 2220 2768 XOR
2 1 2768 547 2769 AND
2 1 2767 2769 2770 XOR
2 1 389 2770 2771 AND
2 1 2771 1122 2772 XOR
2 1 604 3 2775 XOR
2 1 2775 2739 2776 XOR
2 1 394 2776 2777 AND
2 1 2775 2777 2778 XOR
2 1 2778 2703 2779 XOR
2 1 2779 54 2780 AND
2 1 2778 2780 2781 XOR
2 1 2781 2634 2782 XOR
2 1 2782 340 2783 AND
2 1 2781 2783 2784 XOR
2 1 2784 2493 2785 XOR
2 1 2785 343 2786 AND
2 1 2784 2786 2787 XOR
2 1 2787 2238 2788 XOR
2 1 2788 547 2789 AND
2 1 2787 2789 2790 XOR
2 1 389 2790 2791 AND
2 1 2791 1129 2792 XOR
2 1 397 403 2795 XOR
2 1 394 2795 2796 AND
2 1 397 2796 2797 XOR
2 1 2797 2722 2798 XOR
2 1 2798 54 2799 AND
2 1 2797 2799 2800 XOR
2 1 2800 2653 2801 XOR
2 1 2801 340 2802 AND
2 1 2800 2802 2803 XOR
2 1 2803 2512 2804 XOR
2 1 2804 343 2805 AND
2 1 2803 2805 2806 XOR
2 1 2806 2255 2807 XOR
2 1 2807 547 2808 AND
2 1 2806 2808 2809 XOR
2 1 389 2809 2810 AND
2 1 2810 1163 2811 XOR
2 1 607 1 2814 XOR
2 1 2814 2775 2815 XOR
2 1 394 2815 2816 AND
2 1 2814 2816 2817 XOR
2 1 2817 2742 2818 XOR
2 1 2818 54 2819 AND
2 1 2817 2819 2820 XOR
2 1 2820 2673 2821 XOR
2 1 2821 340 2822 AND
2 1 2820 2822 2823 XOR
2 1 2823 2532 2824 XOR
2 1 2824 343 2825 AND
2 1 2823 2825 2826 XOR
2 1 2826 2273 2827 XOR
2 1 2827 547 2828 AND
2 1 2826 2828 2829 XOR
2 1 389 2829 2830 AND
2 1 2830 1170 2831 XOR
1 1 1971 3524 INV
2 1 1960 3524 1972 AND
1 1 1972 1973 INV
2 1 1959 1973 1974 AND
2 1 1984 1973 1985 AND
2 1 551 1974 1975 AND
1 1 1973 1990 INV
2 1 2299 1990 2300 AND
2 1 2383 1990 2384 AND
2 1 2382 2384 2385 XOR
2 1 2298 2300 2301 XOR
2 1 2481 1990 2482 AND
2 1 2589 1990 2590 AND
2 1 2588 2590 2591 XOR
2 1 2480 2482 2483 XOR
2 1 2106 1990 2107 AND
2 1 2162 1990 2163 AND
2 1 2161 2163 2164 XOR
2 1 2105 2107 2108 XOR
2 1 2717 1990 2718 AND
2 1 2716 2718 2719 XOR
2 1 2223 1990 2224 AND
2 1 2222 2224 2225 XOR
2 1 2023 1990 2024 AND
2 1 2022 2024 2025 XOR
2 1 1983 1990 1991 AND
2 1 2067 1990 2068 AND
2 1 2066 2068 2069 XOR
2 1 1876 1990 1992 AND
2 1 2401 1990 2402 AND
2 1 2400 2402 2403 XOR
2 1 2609 1990 2610 AND
2 1 2608 2610 2611 XOR
2 1 2316 1990 2317 AND
2 1 2501 1990 2502 AND
2 1 2736 1990 2737 AND
2 1 2735 2737 2738 XOR
2 1 2500 2502 2503 XOR
2 1 2315 2317 2318 XOR
2 1 2241 1990 2242 AND
2 1 2240 2242 2243 XOR
1 1 1992 1993 INV
2 1 1884 1990 1994 AND
2 1 2178 1990 2179 AND
2 1 2177 2179 2180 XOR
1 1 1994 1995 INV
2 1 2412 1990 2413 AND
2 1 2411 2413 2414 XOR
2 1 2122 1990 2123 AND
2 1 2625 1990 2626 AND
2 1 2624 2626 2627 XOR
2 1 2121 2123 2124 XOR
2 1 1865 1990 1996 AND
1 1 1996 1997 INV
2 1 1857 1990 1998 AND
2 1 2756 1990 2757 AND
2 1 2755 2757 2758 XOR
1 1 1998 1999 INV
2 1 1901 1990 2000 AND
2 1 2520 1990 2521 AND
2 1 2519 2521 2522 XOR
2 1 2035 1990 2036 AND
2 1 2034 2036 2037 XOR
2 1 2334 1990 2335 AND
2 1 2333 2335 2336 XOR
2 1 2080 1990 2081 AND
2 1 2258 1990 2259 AND
2 1 2257 2259 2260 XOR
2 1 2079 2081 2082 XOR
1 1 2000 2001 INV
2 1 2430 1990 2431 AND
2 1 2772 1990 2773 AND
2 1 2771 2773 2774 XOR
2 1 2645 1990 2646 AND
2 1 2644 2646 2647 XOR
2 1 2429 2431 2432 XOR
2 1 2193 1990 2194 AND
2 1 2192 2194 2195 XOR
2 1 1912 1990 2002 AND
1 1 2002 2003 INV
2 1 1926 1990 2004 AND
2 1 2137 1990 2138 AND
2 1 2136 2138 2139 XOR
2 1 2540 1990 2541 AND
2 1 2539 2541 2542 XOR
2 1 2348 1990 2349 AND
2 1 2347 2349 2350 XOR
1 1 2004 2005 INV
2 1 1939 1990 2006 AND
1 1 2006 2007 INV
2 1 1758 1990 2008 AND
2 1 2792 1990 2793 AND
2 1 2791 2793 2794 XOR
1 1 2008 2009 INV
2 1 2664 1990 2665 AND
2 1 2663 2665 2666 XOR
2 1 1741 1990 2010 AND
2 1 2550 1990 2551 AND
2 1 2549 2551 2552 XOR
2 1 2447 1990 2448 AND
2 1 2446 2448 2449 XOR
2 1 2047 1990 2048 AND
2 1 2276 1990 2277 AND
2 1 2275 2277 2278 XOR
2 1 2046 2048 2049 XOR
2 1 2094 1990 2095 AND
2 1 2209 1990 2210 AND
2 1 2281 1990 2282 AND
2 1 2280 2282 2283 XOR
2 1 2208 2210 2211 XOR
2 1 2811 1990 2812 AND
2 1 2810 2812 2813 XOR
2 1 2093 2095 2096 XOR
2 1 2366 1990 2367 AND
2 1 2365 2367 2368 XOR
1 1 2010 2011 INV
2 1 2684 1990 2685 AND
2 1 2683 2685 2686 XOR
2 1 550 1975 1976 XOR
2 1 1976 1985 1986 AND
2 1 550 1986 1987 XOR
2 1 1987 1988 1989 XOR
2 1 2013 1990 2014 AND
2 1 2012 2014 2015 XOR
2 1 2570 1990 2571 AND
2 1 2569 2571 2572 XOR
2 1 2465 1990 2466 AND
2 1 2464 2466 2467 XOR
2 1 2153 1990 2154 AND
2 1 2152 2154 2155 XOR
2 1 2053 1990 2054 AND
2 1 2052 2054 2055 XOR
2 1 2697 1990 2698 AND
2 1 2831 1990 2832 AND
2 1 2830 2832 2833 XOR
2 1 550 2833 2834 XOR
1 1 2834 2835 INV
2 1 550 2835 2836 AND
2 1 2813 2836 2837 XOR
1 1 2837 2838 INV
2 1 2838 2836 2839 AND
2 1 2794 2839 2840 XOR
1 1 2840 2841 INV
2 1 2841 2839 2842 AND
2 1 2774 2842 2843 XOR
1 1 2843 2844 INV
2 1 2844 2842 2845 AND
2 1 2758 2845 2846 XOR
1 1 2846 2847 INV
2 1 2847 2845 2848 AND
2 1 2738 2848 2849 XOR
1 1 2849 2850 INV
2 1 2850 2848 2851 AND
2 1 2719 2851 2852 XOR
1 1 2852 2853 INV
2 1 2853 2851 2854 AND
2 1 2854 1985 3119 AND
2 1 2851 1985 3122 AND
2 1 2719 3122 3123 XOR
1 1 3123 3124 INV
2 1 2848 1985 3125 AND
2 1 2738 3125 3126 XOR
1 1 3126 3127 INV
2 1 2845 1985 3128 AND
2 1 2758 3128 3129 XOR
1 1 3129 3130 INV
2 1 2842 1985 3131 AND
2 1 2774 3131 3132 XOR
1 1 3132 3133 INV
2 1 2839 1985 3134 AND
2 1 2794 3134 3135 XOR
1 1 3135 3136 INV
2 1 2836 1985 3137 AND
2 1 2813 3137 3138 XOR
1 1 3138 3139 INV
1 1 1987 3140 INV
2 1 550 1985 3141 AND
2 1 2833 3141 3142 XOR
1 1 3142 3143 INV
2 1 3140 3143 3144 AND
1 1 3144 3145 INV
1 1 3145 3146 INV
2 1 3139 3146 3147 AND
1 1 3147 3148 INV
1 1 3148 3149 INV
2 1 3136 3149 3150 AND
1 1 3150 3151 INV
1 1 3151 3152 INV
2 1 3133 3152 3153 AND
1 1 3153 3154 INV
1 1 3154 3155 INV
2 1 3130 3155 3156 AND
1 1 3156 3157 INV
1 1 3157 3158 INV
2 1 3127 3158 3159 AND
1 1 3159 3160 INV
1 1 3160 3161 INV
2 1 3124 3161 3162 AND
1 1 3162 3163 INV
1 1 3163 3164 INV
2 1 2696 2698 2699 XOR
2 1 2699 2854 2855 XOR
2 1 2699 3119 3120 XOR
1 1 3120 3121 INV
1 1 2855 2856 INV
2 1 2856 2854 2857 AND
2 1 2857 1985 3116 AND
2 1 2686 3116 3117 XOR
1 1 3117 3118 INV
2 1 2686 2857 2858 XOR
1 1 2858 2859 INV
2 1 2859 2857 2860 AND
2 1 2860 1985 3113 AND
2 1 2666 3113 3114 XOR
1 1 3114 3115 INV
2 1 2666 2860 2861 XOR
1 1 2861 2862 INV
2 1 2862 2860 2863 AND
2 1 2863 1985 3110 AND
2 1 2647 3110 3111 XOR
1 1 3111 3112 INV
2 1 2647 2863 2864 XOR
1 1 2864 2865 INV
2 1 2865 2863 2866 AND
2 1 2866 1985 3107 AND
2 1 2627 3107 3108 XOR
1 1 3108 3109 INV
2 1 2627 2866 2867 XOR
1 1 2867 2868 INV
2 1 2868 2866 2869 AND
2 1 2869 1985 3104 AND
2 1 2611 3104 3105 XOR
1 1 3105 3106 INV
2 1 2611 2869 2870 XOR
1 1 2870 2871 INV
2 1 2871 2869 2872 AND
2 1 2872 1985 3101 AND
2 1 2591 3101 3102 XOR
1 1 3102 3103 INV
2 1 2591 2872 2873 XOR
1 1 2873 2874 INV
2 1 2874 2872 2875 AND
2 1 2875 1985 3098 AND
2 1 2572 3098 3099 XOR
1 1 3099 3100 INV
2 1 2572 2875 2876 XOR
1 1 2876 2877 INV
2 1 2877 2875 2878 AND
2 1 2878 1985 3095 AND
2 1 2552 3095 3096 XOR
1 1 3096 3097 INV
2 1 2552 2878 2879 XOR
1 1 2879 2880 INV
2 1 2880 2878 2881 AND
2 1 2881 1985 3092 AND
2 1 2542 3092 3093 XOR
1 1 3093 3094 INV
2 1 2542 2881 2882 XOR
1 1 2882 2883 INV
2 1 2883 2881 2884 AND
2 1 2884 1985 3089 AND
2 1 2522 3089 3090 XOR
1 1 3090 3091 INV
2 1 2522 2884 2885 XOR
1 1 2885 2886 INV
2 1 2886 2884 2887 AND
2 1 2887 1985 3086 AND
2 1 2503 3086 3087 XOR
1 1 3087 3088 INV
2 1 2503 2887 2888 XOR
1 1 2888 2889 INV
2 1 2889 2887 2890 AND
2 1 2890 1985 3083 AND
2 1 2483 3083 3084 XOR
1 1 3084 3085 INV
2 1 2483 2890 2891 XOR
1 1 2891 2892 INV
2 1 2892 2890 2893 AND
2 1 2893 1985 3080 AND
2 1 2467 3080 3081 XOR
1 1 3081 3082 INV
2 1 2467 2893 2894 XOR
1 1 2894 2895 INV
2 1 2895 2893 2896 AND
2 1 2896 1985 3077 AND
2 1 2449 3077 3078 XOR
1 1 3078 3079 INV
2 1 2449 2896 2897 XOR
1 1 2897 2898 INV
2 1 3121 3164 3165 AND
1 1 3165 3166 INV
1 1 3166 3167 INV
2 1 3118 3167 3168 AND
1 1 3168 3169 INV
1 1 3169 3170 INV
2 1 3115 3170 3171 AND
1 1 3171 3172 INV
1 1 3172 3173 INV
2 1 3112 3173 3174 AND
1 1 3174 3175 INV
1 1 3175 3176 INV
2 1 3109 3176 3177 AND
1 1 3177 3178 INV
1 1 3178 3179 INV
2 1 3106 3179 3180 AND
1 1 3180 3181 INV
1 1 3181 3182 INV
2 1 3103 3182 3183 AND
1 1 3183 3184 INV
1 1 3184 3185 INV
2 1 3100 3185 3186 AND
1 1 3186 3187 INV
1 1 3187 3188 INV
2 1 3097 3188 3189 AND
1 1 3189 3190 INV
1 1 3190 3191 INV
2 1 3094 3191 3192 AND
1 1 3192 3193 INV
1 1 3193 3194 INV
2 1 3091 3194 3195 AND
1 1 3195 3196 INV
1 1 3196 3197 INV
2 1 3088 3197 3198 AND
1 1 3198 3199 INV
1 1 3199 3200 INV
2 1 3085 3200 3201 AND
1 1 3201 3202 INV
1 1 3202 3203 INV
2 1 3082 3203 3204 AND
1 1 3204 3205 INV
1 1 3205 3206 INV
2 1 3079 3206 3207 AND
1 1 3207 3208 INV
1 1 3208 3209 INV
2 1 2898 2896 2899 AND
2 1 2899 1985 3074 AND
2 1 2432 3074 3075 XOR
1 1 3075 3076 INV
2 1 2432 2899 2900 XOR
1 1 2900 2901 INV
2 1 2901 2899 2902 AND
2 1 2902 1985 3071 AND
2 1 2414 3071 3072 XOR
1 1 3072 3073 INV
2 1 2414 2902 2903 XOR
1 1 2903 2904 INV
2 1 2904 2902 2905 AND
2 1 2905 1985 3068 AND
2 1 2403 3068 3069 XOR
1 1 3069 3070 INV
2 1 2403 2905 2906 XOR
1 1 2906 2907 INV
2 1 2907 2905 2908 AND
2 1 2908 1985 3065 AND
2 1 2385 3065 3066 XOR
1 1 3066 3067 INV
2 1 2385 2908 2909 XOR
1 1 2909 2910 INV
2 1 2910 2908 2911 AND
2 1 2911 1985 3062 AND
2 1 2368 3062 3063 XOR
1 1 3063 3064 INV
2 1 2368 2911 2912 XOR
1 1 2912 2913 INV
2 1 2913 2911 2914 AND
2 1 2914 1985 3059 AND
2 1 2350 3059 3060 XOR
1 1 3060 3061 INV
2 1 2350 2914 2915 XOR
1 1 2915 2916 INV
2 1 2916 2914 2917 AND
2 1 2336 2917 2918 XOR
1 1 2918 2919 INV
2 1 2917 1985 3056 AND
2 1 2336 3056 3057 XOR
1 1 3057 3058 INV
2 1 2919 2917 2920 AND
2 1 2920 1985 3053 AND
2 1 2318 3053 3054 XOR
1 1 3054 3055 INV
2 1 2318 2920 2921 XOR
1 1 2921 2922 INV
2 1 2922 2920 2923 AND
2 1 2301 2923 2924 XOR
1 1 2924 2925 INV
2 1 2923 1985 3050 AND
2 1 2301 3050 3051 XOR
1 1 3051 3052 INV
2 1 2925 2923 2926 AND
2 1 2926 1985 3047 AND
2 1 2283 3047 3048 XOR
1 1 3048 3049 INV
2 1 2283 2926 2927 XOR
1 1 2927 2928 INV
2 1 2928 2926 2929 AND
2 1 2278 2929 2930 XOR
1 1 2930 2931 INV
2 1 2929 1985 3044 AND
2 1 2278 3044 3045 XOR
1 1 3045 3046 INV
2 1 2931 2929 2932 AND
2 1 2932 1985 3041 AND
2 1 2260 3041 3042 XOR
1 1 3042 3043 INV
2 1 2260 2932 2933 XOR
1 1 2933 2934 INV
2 1 2934 2932 2935 AND
2 1 2935 1985 3038 AND
2 1 2243 3038 3039 XOR
1 1 3039 3040 INV
2 1 2243 2935 2936 XOR
1 1 2936 2937 INV
2 1 2937 2935 2938 AND
2 1 2938 1985 3035 AND
2 1 2225 3035 3036 XOR
1 1 3036 3037 INV
2 1 2225 2938 2939 XOR
1 1 2939 2940 INV
2 1 2940 2938 2941 AND
2 1 2211 2941 2942 XOR
1 1 2942 2943 INV
2 1 2943 2941 2944 AND
2 1 2195 2944 2945 XOR
1 1 2945 2946 INV
2 1 2946 2944 2947 AND
2 1 2180 2947 2948 XOR
1 1 2948 2949 INV
2 1 2949 2947 2950 AND
2 1 2164 2950 2951 XOR
1 1 2951 2952 INV
2 1 2952 2950 2953 AND
2 1 2155 2953 2954 XOR
1 1 2954 2955 INV
2 1 2955 2953 2956 AND
2 1 2139 2956 2957 XOR
1 1 2957 2958 INV
2 1 2958 2956 2959 AND
2 1 2124 2959 2960 XOR
1 1 2960 2961 INV
2 1 2961 2959 2962 AND
2 1 2108 2962 2963 XOR
1 1 2963 2964 INV
2 1 2964 2962 2965 AND
2 1 2096 2965 2966 XOR
1 1 2966 2967 INV
2 1 2967 2965 2968 AND
2 1 2082 2968 2969 XOR
1 1 2969 2970 INV
2 1 2970 2968 2971 AND
2 1 2069 2971 2972 XOR
1 1 2972 2973 INV
2 1 2973 2971 2974 AND
2 1 2055 2974 2975 XOR
1 1 2975 2976 INV
2 1 2976 2974 2977 AND
2 1 2049 2977 2978 XOR
1 1 2978 2979 INV
2 1 2979 2977 2980 AND
2 1 2037 2980 2981 XOR
1 1 2981 2982 INV
2 1 2982 2980 2983 AND
2 1 2025 2983 2984 XOR
1 1 2984 2985 INV
2 1 2985 2983 2986 AND
2 1 2986 1985 2987 AND
2 1 2015 2987 2988 XOR
1 1 2988 2989 INV
2 1 2983 1985 2990 AND
2 1 2025 2990 2991 XOR
1 1 2991 2992 INV
2 1 2980 1985 2993 AND
2 1 2037 2993 2994 XOR
1 1 2994 2995 INV
2 1 2977 1985 2996 AND
2 1 2049 2996 2997 XOR
1 1 2997 2998 INV
2 1 2974 1985 2999 AND
2 1 2055 2999 3000 XOR
1 1 3000 3001 INV
2 1 2971 1985 3002 AND
2 1 2069 3002 3003 XOR
1 1 3003 3004 INV
2 1 2968 1985 3005 AND
2 1 2082 3005 3006 XOR
1 1 3006 3007 INV
2 1 2965 1985 3008 AND
2 1 2096 3008 3009 XOR
1 1 3009 3010 INV
2 1 2962 1985 3011 AND
2 1 2108 3011 3012 XOR
1 1 3012 3013 INV
2 1 2959 1985 3014 AND
2 1 2124 3014 3015 XOR
1 1 3015 3016 INV
2 1 2956 1985 3017 AND
2 1 2139 3017 3018 XOR
1 1 3018 3019 INV
2 1 2953 1985 3020 AND
2 1 2155 3020 3021 XOR
1 1 3021 3022 INV
2 1 2950 1985 3023 AND
2 1 2164 3023 3024 XOR
1 1 3024 3025 INV
2 1 2947 1985 3026 AND
2 1 2180 3026 3027 XOR
1 1 3027 3028 INV
2 1 2944 1985 3029 AND
2 1 2195 3029 3030 XOR
1 1 3030 3031 INV
2 1 2941 1985 3032 AND
2 1 3076 3209 3210 AND
1 1 3210 3211 INV
1 1 3211 3212 INV
2 1 3073 3212 3213 AND
1 1 3213 3214 INV
1 1 3214 3215 INV
2 1 3070 3215 3216 AND
1 1 3216 3217 INV
1 1 3217 3218 INV
2 1 3067 3218 3219 AND
1 1 3219 3220 INV
1 1 3220 3221 INV
2 1 3064 3221 3222 AND
1 1 3222 3223 INV
1 1 3223 3224 INV
2 1 3061 3224 3225 AND
1 1 3225 3226 INV
1 1 3226 3227 INV
2 1 3058 3227 3228 AND
1 1 3228 3229 INV
1 1 3229 3230 INV
2 1 3055 3230 3231 AND
1 1 3231 3232 INV
1 1 3232 3233 INV
2 1 3052 3233 3234 AND
1 1 3234 3235 INV
2 1 3235 63 3499 AND
2 1 3048 3499 3500 XOR
1 1 3500 3501 INV
1 1 3235 3517 INV
2 1 3049 3517 3236 AND
1 1 3236 3237 INV
2 1 3237 63 3496 AND
2 1 3045 3496 3497 XOR
1 1 3497 3498 INV
2 1 3498 3501 3502 AND
1 1 3502 3503 INV
1 1 3503 3504 INV
1 1 3237 3238 INV
2 1 3046 3238 3239 AND
1 1 3239 3240 INV
2 1 3240 63 3490 AND
2 1 3042 3490 3491 XOR
1 1 3491 3492 INV
1 1 3240 3241 INV
2 1 3043 3241 3242 AND
1 1 3242 3243 INV
2 1 3243 63 3487 AND
2 1 3039 3487 3488 XOR
1 1 3488 3489 INV
2 1 3489 3492 3493 AND
1 1 3493 3494 INV
1 1 3494 3495 INV
1 1 3243 3244 INV
2 1 3040 3244 3245 AND
1 1 3245 3246 INV
2 1 3246 63 3478 AND
2 1 3036 3478 3479 XOR
1 1 3479 3480 INV
2 1 3495 3504 3505 AND
1 1 3505 3506 INV
1 1 3506 3507 INV
1 1 3246 3247 INV
2 1 3037 3247 3248 AND
1 1 3248 3249 INV
2 1 3249 63 3475 AND
1 1 3249 3250 INV
2 1 2211 3032 3033 XOR
2 1 3033 3475 3476 XOR
1 1 3476 3477 INV
2 1 3477 3480 3481 AND
1 1 3481 3482 INV
1 1 3482 3483 INV
1 1 3033 3034 INV
2 1 3034 3250 3251 AND
1 1 3251 3252 INV
2 1 3252 63 3469 AND
2 1 3030 3469 3470 XOR
1 1 3470 3471 INV
1 1 3252 3253 INV
2 1 3031 3253 3254 AND
1 1 3254 3255 INV
2 1 3255 63 3466 AND
2 1 3027 3466 3467 XOR
1 1 3467 3468 INV
2 1 3468 3471 3472 AND
1 1 3472 3473 INV
1 1 3473 3474 INV
2 1 3474 3483 3484 AND
1 1 3484 3485 INV
1 1 3485 3486 INV
1 1 3255 3256 INV
2 1 3028 3256 3257 AND
1 1 3257 3258 INV
2 1 3258 63 3454 AND
2 1 3024 3454 3455 XOR
1 1 3455 3456 INV
1 1 3258 3259 INV
2 1 3025 3259 3260 AND
1 1 3260 3261 INV
2 1 3261 63 3451 AND
2 1 3021 3451 3452 XOR
1 1 3452 3453 INV
2 1 3453 3456 3457 AND
1 1 3457 3458 INV
1 1 3458 3459 INV
1 1 3261 3262 INV
2 1 3022 3262 3263 AND
1 1 3263 3264 INV
2 1 3264 63 3445 AND
2 1 3018 3445 3446 XOR
1 1 3446 3447 INV
1 1 3264 3265 INV
2 1 3019 3265 3266 AND
1 1 3266 3267 INV
2 1 3267 63 3442 AND
2 1 3015 3442 3443 XOR
1 1 3443 3444 INV
2 1 3444 3447 3448 AND
1 1 3448 3449 INV
1 1 3449 3450 INV
2 1 3450 3459 3460 AND
1 1 3460 3461 INV
1 1 3461 3462 INV
1 1 3267 3268 INV
2 1 3016 3268 3269 AND
1 1 3269 3270 INV
2 1 3270 63 3433 AND
2 1 3012 3433 3434 XOR
1 1 3434 3435 INV
2 1 3486 3507 3508 AND
1 1 3508 3509 INV
1 1 3509 3510 INV
1 1 3270 3271 INV
2 1 3013 3271 3272 AND
1 1 3272 3273 INV
2 1 3273 63 3430 AND
2 1 3009 3430 3431 XOR
1 1 3431 3432 INV
2 1 3432 3435 3436 AND
1 1 3436 3437 INV
1 1 3437 3438 INV
1 1 3273 3274 INV
2 1 3010 3274 3275 AND
1 1 3275 3276 INV
2 1 3276 63 3424 AND
2 1 3006 3424 3425 XOR
1 1 3425 3426 INV
1 1 3276 3277 INV
2 1 3007 3277 3278 AND
1 1 3278 3279 INV
2 1 3279 63 3421 AND
2 1 3003 3421 3422 XOR
1 1 3422 3423 INV
2 1 3423 3426 3427 AND
1 1 3427 3428 INV
1 1 3428 3429 INV
2 1 3429 3438 3439 AND
1 1 3439 3440 INV
1 1 3440 3441 INV
2 1 3441 3462 3463 AND
1 1 3463 3464 INV
1 1 3464 3465 INV
1 1 3279 3280 INV
2 1 3004 3280 3281 AND
1 1 3281 3282 INV
2 1 3282 63 3406 AND
2 1 3000 3406 3407 XOR
1 1 3407 3408 INV
1 1 3282 3283 INV
2 1 3001 3283 3284 AND
1 1 3284 3285 INV
2 1 3285 63 3403 AND
2 1 2997 3403 3404 XOR
1 1 3404 3405 INV
2 1 3405 3408 3409 AND
1 1 3409 3410 INV
1 1 3410 3411 INV
1 1 3285 3286 INV
2 1 2998 3286 3287 AND
1 1 3287 3288 INV
2 1 3288 63 3397 AND
2 1 2994 3397 3398 XOR
1 1 3398 3399 INV
1 1 3288 3289 INV
2 1 2995 3289 3290 AND
1 1 3290 3291 INV
1 1 3291 3292 INV
2 1 2992 3292 3293 AND
1 1 3293 3294 INV
2 1 3294 63 3385 AND
2 1 2988 3385 3386 XOR
1 1 3386 3387 INV
1 1 3294 3295 INV
2 1 2989 3295 3296 AND
1 1 3296 3297 INV
2 1 3297 63 3382 AND
2 1 2010 3382 3383 XOR
1 1 3383 3384 INV
2 1 3384 3387 3388 AND
1 1 3297 3298 INV
2 1 2011 3298 3299 AND
1 1 3299 3300 INV
2 1 3300 63 3376 AND
2 1 2008 3376 3377 XOR
1 1 3300 3301 INV
2 1 2009 3301 3302 AND
1 1 3302 3303 INV
1 1 3303 3304 INV
2 1 2007 3304 3305 AND
2 1 3303 63 3373 AND
1 1 3377 3378 INV
1 1 3305 3306 INV
2 1 3306 63 3361 AND
2 1 2004 3361 3362 XOR
1 1 3362 3363 INV
1 1 3306 3307 INV
2 1 2005 3307 3308 AND
1 1 3308 3309 INV
1 1 3309 3310 INV
2 1 2003 3310 3311 AND
1 1 3311 3312 INV
1 1 3312 3313 INV
2 1 2001 3313 3314 AND
2 1 3309 63 3358 AND
2 1 2002 3358 3359 XOR
2 1 3312 63 3352 AND
1 1 3359 3360 INV
2 1 3360 3363 3364 AND
1 1 3364 3365 INV
1 1 3365 3366 INV
1 1 3388 3389 INV
1 1 3389 3390 INV
2 1 3291 63 3394 AND
2 1 2991 3394 3395 XOR
1 1 3395 3396 INV
2 1 3396 3399 3400 AND
1 1 3400 3401 INV
1 1 3401 3402 INV
2 1 3402 3411 3412 AND
1 1 3412 3413 INV
1 1 3413 3414 INV
2 1 2006 3373 3374 XOR
1 1 3374 3375 INV
2 1 3375 3378 3379 AND
1 1 3379 3380 INV
1 1 3380 3381 INV
2 1 3381 3390 3391 AND
1 1 3391 3392 INV
1 1 3392 3393 INV
2 1 3393 3414 3415 AND
1 1 3415 3416 INV
1 1 3416 3417 INV
1 1 3314 3315 INV
2 1 3315 63 3349 AND
2 1 1998 3349 3350 XOR
1 1 3350 3351 INV
1 1 3315 3316 INV
2 1 1999 3316 3317 AND
1 1 3317 3318 INV
1 1 3318 3319 INV
2 1 1997 3319 3320 AND
1 1 3320 3321 INV
1 1 3321 3322 INV
2 1 1995 3322 3323 AND
2 1 3321 63 3337 AND
2 1 1994 3337 3338 XOR
1 1 3323 3324 INV
2 1 3324 63 3331 AND
2 1 1992 3331 3332 XOR
1 1 3324 3325 INV
2 1 1993 3325 3326 AND
1 1 3326 3327 INV
2 1 3327 63 3328 AND
2 1 1991 3328 3329 XOR
1 1 3329 3330 INV
1 1 3332 3333 INV
2 1 3330 3333 3334 AND
1 1 3334 3335 INV
1 1 3335 3336 INV
1 1 3338 3339 INV
2 1 3318 63 3340 AND
2 1 1996 3340 3341 XOR
2 1 3465 3510 3511 AND
1 1 3511 3512 INV
1 1 3512 3513 INV
1 1 3341 3342 INV
2 1 3339 3342 3343 AND
1 1 3343 3344 INV
1 1 3344 3345 INV
2 1 3336 3345 3346 AND
1 1 3346 3347 INV
1 1 3347 3348 INV
2 1 3329 63 3520 XOR
2 1 2000 3352 3353 XOR
1 1 3353 3354 INV
2 1 3351 3354 3355 AND
1 1 3355 3356 INV
1 1 3356 3357 INV
2 1 3357 3366 3367 AND
1 1 3367 3368 INV
1 1 3368 3369 INV
2 1 3348 3369 3370 AND
1 1 3370 3371 INV
1 1 3371 3372 INV
2 1 3372 3417 3418 AND
1 1 3418 3419 INV
1 1 3419 3420 INV
2 1 3420 3513 3514 AND
1 1 3514 3515 INV
1 1 3515 3516 INV
2 1 3516 3517 3518 AND
1 1 3518 3519 INV
2 1 3519 3520 3521 AND
2 1 1989 3521 3522 AND
2 1 1987 3522 3523 XOR
2 1 311 3524 3525 AND
2 1 3525 337 3526 AND
1 1 3526 3527 INV
2 1 3523 3527 3528 AND
1 1 3528 3529 INV
2 1 338 3529 3530 AND
2 1 3530 3528 3932 XOR
2 1 1987 63 3531 AND
2 1 3142 3531 3532 XOR
2 1 3522 3532 3533 XOR
2 1 3533 3527 3534 AND
1 1 3534 3535 INV
2 1 338 3535 3536 AND
2 1 3536 3534 3933 XOR
2 1 3145 63 3537 AND
2 1 3138 3537 3538 XOR
2 1 3522 3538 3539 XOR
2 1 3539 3527 3540 AND
1 1 3540 3541 INV
2 1 338 3541 3542 AND
2 1 3542 3540 3934 XOR
2 1 3148 63 3543 AND
2 1 3135 3543 3544 XOR
2 1 3522 3544 3545 XOR
2 1 3545 3527 3546 AND
1 1 3546 3547 INV
2 1 338 3547 3548 AND
2 1 3548 3546 3935 XOR
2 1 3151 63 3549 AND
2 1 3132 3549 3550 XOR
2 1 3522 3550 3551 XOR
2 1 3551 3527 3552 AND
1 1 3552 3553 INV
2 1 338 3553 3554 AND
2 1 3554 3552 3936 XOR
2 1 3154 63 3555 AND
2 1 3129 3555 3556 XOR
2 1 3522 3556 3557 XOR
2 1 3557 3527 3558 AND
1 1 3558 3559 INV
2 1 338 3559 3560 AND
2 1 3560 3558 3937 XOR
2 1 3157 63 3561 AND
2 1 3126 3561 3562 XOR
2 1 3522 3562 3563 XOR
2 1 3563 3527 3564 AND
1 1 3564 3565 INV
2 1 338 3565 3566 AND
2 1 3566 3564 3938 XOR
2 1 3160 63 3567 AND
2 1 3123 3567 3568 XOR
2 1 3522 3568 3569 XOR
2 1 3569 3527 3570 AND
1 1 3570 3571 INV
2 1 338 3571 3572 AND
2 1 3572 3570 3939 XOR
2 1 3163 63 3573 AND
2 1 3120 3573 3574 XOR
2 1 3522 3574 3575 XOR
2 1 3575 3527 3576 AND
1 1 3576 3577 INV
2 1 338 3577 3578 AND
2 1 3578 3576 3940 XOR
2 1 3166 63 3579 AND
2 1 3117 3579 3580 XOR
2 1 3522 3580 3581 XOR
2 1 3581 3527 3582 AND
1 1 3582 3583 INV
2 1 338 3583 3584 AND
2 1 3584 3582 3941 XOR
2 1 3169 63 3585 AND
2 1 3114 3585 3586 XOR
2 1 3522 3586 3587 XOR
2 1 3587 3527 3588 AND
1 1 3588 3589 INV
2 1 338 3589 3590 AND
2 1 3590 3588 3942 XOR
2 1 3172 63 3591 AND
2 1 3111 3591 3592 XOR
2 1 3592 1988 3593 XOR
2 1 3593 3521 3594 AND
2 1 3592 3594 3595 XOR
2 1 3595 3527 3596 AND
1 1 3596 3597 INV
2 1 338 3597 3598 AND
2 1 3598 3596 3943 XOR
2 1 3175 63 3599 AND
2 1 3108 3599 3600 XOR
2 1 3600 1988 3601 XOR
2 1 3601 3521 3602 AND
2 1 3600 3602 3603 XOR
2 1 3603 3527 3604 AND
1 1 3604 3605 INV
2 1 338 3605 3606 AND
2 1 3606 3604 3944 XOR
2 1 3178 63 3607 AND
2 1 3105 3607 3608 XOR
2 1 3608 1988 3609 XOR
2 1 3609 3521 3610 AND
2 1 3608 3610 3611 XOR
2 1 3611 3527 3612 AND
1 1 3612 3613 INV
2 1 338 3613 3614 AND
2 1 3614 3612 3945 XOR
2 1 3181 63 3615 AND
2 1 3102 3615 3616 XOR
2 1 3616 1988 3617 XOR
2 1 3617 3521 3618 AND
2 1 3616 3618 3619 XOR
2 1 3619 3527 3620 AND
1 1 3620 3621 INV
2 1 338 3621 3622 AND
2 1 3622 3620 3946 XOR
2 1 3184 63 3623 AND
2 1 3099 3623 3624 XOR
2 1 3624 1988 3625 XOR
2 1 3625 3521 3626 AND
2 1 3624 3626 3627 XOR
2 1 3627 3527 3628 AND
1 1 3628 3629 INV
2 1 338 3629 3630 AND
2 1 3630 3628 3947 XOR
2 1 3187 63 3631 AND
2 1 3096 3631 3632 XOR
2 1 3632 1988 3633 XOR
2 1 3633 3521 3634 AND
2 1 3632 3634 3635 XOR
2 1 3635 3527 3636 AND
1 1 3636 3637 INV
2 1 338 3637 3638 AND
2 1 3638 3636 3948 XOR
2 1 3190 63 3639 AND
2 1 3093 3639 3640 XOR
2 1 3640 1988 3641 XOR
2 1 3641 3521 3642 AND
2 1 3640 3642 3643 XOR
2 1 3643 3527 3644 AND
1 1 3644 3645 INV
2 1 338 3645 3646 AND
2 1 3646 3644 3949 XOR
2 1 3193 63 3647 AND
2 1 3090 3647 3648 XOR
2 1 3648 1988 3649 XOR
2 1 3649 3521 3650 AND
2 1 3648 3650 3651 XOR
2 1 3651 3527 3652 AND
1 1 3652 3653 INV
2 1 338 3653 3654 AND
2 1 3654 3652 3950 XOR
2 1 3196 63 3655 AND
2 1 3087 3655 3656 XOR
2 1 3656 1988 3657 XOR
2 1 3657 3521 3658 AND
2 1 3656 3658 3659 XOR
2 1 3659 3527 3660 AND
1 1 3660 3661 INV
2 1 338 3661 3662 AND
2 1 3662 3660 3951 XOR
2 1 3199 63 3663 AND
2 1 3084 3663 3664 XOR
2 1 3664 1988 3665 XOR
2 1 3665 3521 3666 AND
2 1 3664 3666 3667 XOR
2 1 3667 3527 3668 AND
1 1 3668 3669 INV
2 1 338 3669 3670 AND
2 1 3670 3668 3952 XOR
2 1 3202 63 3671 AND
2 1 3081 3671 3672 XOR
2 1 3672 1988 3673 XOR
2 1 3673 3521 3674 AND
2 1 3672 3674 3675 XOR
2 1 3675 3527 3676 AND
1 1 3676 3677 INV
2 1 338 3677 3678 AND
2 1 3678 3676 3953 XOR
2 1 3205 63 3679 AND
2 1 3078 3679 3680 XOR
2 1 3680 1988 3681 XOR
2 1 3681 3521 3682 AND
2 1 3680 3682 3683 XOR
2 1 3683 3527 3684 AND
1 1 3684 3685 INV
2 1 338 3685 3686 AND
2 1 3686 3684 3954 XOR
2 1 3208 63 3687 AND
2 1 3075 3687 3688 XOR
2 1 3688 1988 3689 XOR
2 1 3689 3521 3690 AND
2 1 3688 3690 3691 XOR
2 1 3691 3527 3692 AND
1 1 3692 3693 INV
2 1 338 3693 3694 AND
2 1 3694 3692 3955 XOR
2 1 3211 63 3695 AND
2 1 3072 3695 3696 XOR
2 1 3696 1988 3697 XOR
2 1 3697 3521 3698 AND
2 1 3696 3698 3699 XOR
2 1 3699 3527 3700 AND
1 1 3700 3701 INV
2 1 338 3701 3702 AND
2 1 3702 3700 3956 XOR
2 1 3214 63 3703 AND
2 1 3069 3703 3704 XOR
2 1 3704 1988 3705 XOR
2 1 3705 3521 3706 AND
2 1 3704 3706 3707 XOR
2 1 3707 3527 3708 AND
1 1 3708 3709 INV
2 1 338 3709 3710 AND
2 1 3710 3708 3957 XOR
2 1 3217 63 3711 AND
2 1 3066 3711 3712 XOR
2 1 3712 1988 3713 XOR
2 1 3713 3521 3714 AND
2 1 3712 3714 3715 XOR
2 1 3715 3527 3716 AND
1 1 3716 3717 INV
2 1 338 3717 3718 AND
2 1 3718 3716 3958 XOR
2 1 3220 63 3719 AND
2 1 3063 3719 3720 XOR
2 1 3720 1988 3721 XOR
2 1 3721 3521 3722 AND
2 1 3720 3722 3723 XOR
2 1 3723 3527 3724 AND
1 1 3724 3725 INV
2 1 338 3725 3726 AND
2 1 3726 3724 3959 XOR
2 1 3223 63 3727 AND
2 1 3060 3727 3728 XOR
2 1 3728 1988 3729 XOR
2 1 3729 3521 3730 AND
2 1 3728 3730 3731 XOR
2 1 3731 3527 3732 AND
1 1 3732 3733 INV
2 1 338 3733 3734 AND
2 1 3734 3732 3960 XOR
2 1 3226 63 3735 AND
2 1 3057 3735 3736 XOR
2 1 3736 1988 3737 XOR
2 1 3737 3521 3738 AND
2 1 3736 3738 3739 XOR
2 1 3739 3527 3740 AND
1 1 3740 3741 INV
2 1 338 3741 3742 AND
2 1 3742 3740 3961 XOR
2 1 3229 63 3743 AND
2 1 3054 3743 3744 XOR
2 1 3744 1988 3745 XOR
2 1 3745 3521 3746 AND
2 1 3744 3746 3747 XOR
2 1 3747 3527 3748 AND
1 1 3748 3749 INV
2 1 338 3749 3750 AND
2 1 3750 3748 3962 XOR
2 1 3232 63 3751 AND
2 1 3051 3751 3752 XOR
2 1 3752 1988 3753 XOR
2 1 3753 3521 3754 AND
2 1 3752 3754 3755 XOR
2 1 3755 3527 3756 AND
1 1 3756 3757 INV
2 1 338 3757 3758 AND
2 1 3758 3756 3963 XOR
2 1 3500 1988 3759 XOR
2 1 3759 3521 3760 AND
2 1 3500 3760 3761 XOR
2 1 3761 3527 3762 AND
1 1 3762 3763 INV
2 1 338 3763 3764 AND
2 1 3764 3762 3964 XOR
2 1 3497 1988 3765 XOR
2 1 3765 3521 3766 AND
2 1 3497 3766 3767 XOR
2 1 3767 3527 3768 AND
1 1 3768 3769 INV
2 1 338 3769 3770 AND
2 1 3770 3768 3965 XOR
2 1 3491 1988 3771 XOR
2 1 3771 3521 3772 AND
2 1 3491 3772 3773 XOR
2 1 3773 3527 3774 AND
1 1 3774 3775 INV
2 1 338 3775 3776 AND
2 1 3776 3774 3966 XOR
2 1 3488 1988 3777 XOR
2 1 3777 3521 3778 AND
2 1 3488 3778 3779 XOR
2 1 3779 3527 3780 AND
1 1 3780 3781 INV
2 1 338 3781 3782 AND
2 1 3782 3780 3967 XOR
2 1 3479 1988 3783 XOR
2 1 3783 3521 3784 AND
2 1 3479 3784 3785 XOR
2 1 3785 3527 3786 AND
1 1 3786 3787 INV
2 1 338 3787 3788 AND
2 1 3788 3786 3968 XOR
2 1 3476 1988 3789 XOR
2 1 3789 3521 3790 AND
2 1 3476 3790 3791 XOR
2 1 3791 3527 3792 AND
1 1 3792 3793 INV
2 1 338 3793 3794 AND
2 1 3794 3792 3969 XOR
2 1 3470 1988 3795 XOR
2 1 3795 3521 3796 AND
2 1 3470 3796 3797 XOR
2 1 3797 3527 3798 AND
1 1 3798 3799 INV
2 1 338 3799 3800 AND
2 1 3800 3798 3970 XOR
2 1 3467 1988 3801 XOR
2 1 3801 3521 3802 AND
2 1 3467 3802 3803 XOR
2 1 3803 3527 3804 AND
1 1 3804 3805 INV
2 1 338 3805 3806 AND
2 1 3806 3804 3971 XOR
2 1 3455 1988 3807 XOR
2 1 3807 3521 3808 AND
2 1 3455 3808 3809 XOR
2 1 3809 3527 3810 AND
1 1 3810 3811 INV
2 1 338 3811 3812 AND
2 1 3812 3810 3972 XOR
2 1 3452 1988 3813 XOR
2 1 3813 3521 3814 AND
2 1 3452 3814 3815 XOR
2 1 3815 3527 3816 AND
1 1 3816 3817 INV
2 1 338 3817 3818 AND
2 1 3818 3816 3973 XOR
2 1 3446 1988 3819 XOR
2 1 3819 3521 3820 AND
2 1 3446 3820 3821 XOR
2 1 3821 3527 3822 AND
1 1 3822 3823 INV
2 1 338 3823 3824 AND
2 1 3824 3822 3974 XOR
2 1 3443 1988 3825 XOR
2 1 3825 3521 3826 AND
2 1 3443 3826 3827 XOR
2 1 3827 3527 3828 AND
1 1 3828 3829 INV
2 1 338 3829 3830 AND
2 1 3830 3828 3975 XOR
2 1 3434 1988 3831 XOR
2 1 3831 3521 3832 AND
2 1 3434 3832 3833 XOR
2 1 3833 3527 3834 AND
1 1 3834 3835 INV
2 1 338 3835 3836 AND
2 1 3836 3834 3976 XOR
2 1 3431 1988 3837 XOR
2 1 3837 3521 3838 AND
2 1 3431 3838 3839 XOR
2 1 3839 3527 3840 AND
1 1 3840 3841 INV
2 1 338 3841 3842 AND
2 1 3842 3840 3977 XOR
2 1 3425 1988 3843 XOR
2 1 3843 3521 3844 AND
2 1 3425 3844 3845 XOR
2 1 3845 3527 3846 AND
1 1 3846 3847 INV
2 1 338 3847 3848 AND
2 1 3848 3846 3978 XOR
2 1 3422 1988 3849 XOR
2 1 3849 3521 3850 AND
2 1 3422 3850 3851 XOR
2 1 3851 3527 3852 AND
1 1 3852 3853 INV
2 1 338 3853 3854 AND
2 1 3854 3852 3979 XOR
2 1 3407 1988 3855 XOR
2 1 3855 3521 3856 AND
2 1 3407 3856 3857 XOR
2 1 3857 3527 3858 AND
1 1 3858 3859 INV
2 1 338 3859 3860 AND
2 1 3860 3858 3980 XOR
2 1 3404 1988 3861 XOR
2 1 3861 3521 3862 AND
2 1 3404 3862 3863 XOR
2 1 3863 3527 3864 AND
1 1 3864 3865 INV
2 1 338 3865 3866 AND
2 1 3866 3864 3981 XOR
2 1 3398 1988 3867 XOR
2 1 3867 3521 3868 AND
2 1 3398 3868 3869 XOR
2 1 3869 3527 3870 AND
1 1 3870 3871 INV
2 1 338 3871 3872 AND
2 1 3872 3870 3982 XOR
2 1 3395 1988 3873 XOR
2 1 3873 3521 3874 AND
2 1 3395 3874 3875 XOR
2 1 3875 3527 3876 AND
1 1 3876 3877 INV
2 1 338 3877 3878 AND
2 1 3878 3876 3983 XOR
2 1 3386 1988 3879 XOR
2 1 3879 3521 3880 AND
2 1 3386 3880 3881 XOR
2 1 3881 3527 3882 AND
1 1 3882 3883 INV
2 1 338 3883 3884 AND
2 1 3884 3882 3984 XOR
2 1 3383 1988 3885 XOR
2 1 3885 3521 3886 AND
2 1 3383 3886 3887 XOR
2 1 3887 3527 3888 AND
1 1 3888 3889 INV
2 1 338 3889 3890 AND
2 1 3890 3888 3985 XOR
2 1 3377 1988 3891 XOR
2 1 3891 3521 3892 AND
2 1 3377 3892 3893 XOR
2 1 3893 3527 3894 AND
2 1 3890 3894 3986 XOR
2 1 3374 1988 3895 XOR
2 1 3895 3521 3896 AND
2 1 3374 3896 3897 XOR
2 1 3897 3527 3898 AND
2 1 3890 3898 3987 XOR
2 1 3362 1988 3899 XOR
2 1 3899 3521 3900 AND
2 1 3362 3900 3901 XOR
2 1 3901 3527 3902 AND
2 1 3890 3902 3988 XOR
2 1 3359 1988 3903 XOR
2 1 3903 3521 3904 AND
2 1 3359 3904 3905 XOR
2 1 3905 3527 3906 AND
2 1 3890 3906 3989 XOR
2 1 3353 1988 3907 XOR
2 1 3907 3521 3908 AND
2 1 3353 3908 3909 XOR
2 1 3909 3527 3910 AND
2 1 3890 3910 3990 XOR
2 1 3350 1988 3911 XOR
2 1 3911 3521 3912 AND
2 1 3350 3912 3913 XOR
2 1 3913 3527 3914 AND
2 1 3890 3914 3991 XOR
2 1 3341 1988 3915 XOR
2 1 3915 3521 3916 AND
2 1 3341 3916 3917 XOR
2 1 3917 3527 3918 AND
2 1 3890 3918 3992 XOR
2 1 3338 1988 3919 XOR
2 1 3919 3521 3920 AND
2 1 3338 3920 3921 XOR
2 1 3921 3527 3922 AND
2 1 3890 3922 3993 XOR
2 1 3332 1988 3923 XOR
2 1 3923 3521 3924 AND
2 1 3332 3924 3925 XOR
2 1 3925 3527 3926 AND
2 1 3890 3926 3994 XOR
2 1 3329 3521 3927 XOR
1 1 3927 3928 INV
2 1 3526 3928 3929 AND
2 1 3927 3929 3930 XOR
1 1 338 3931 INV
2 1 3930 3931 3995 AND