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