1613 1677
1 64 
1 64 

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