* combinational logic example "c5315" *------------------------------------------------------------- * * * total number of lines in the netlist .............. 5315 * simplistically reduced equivalent fault set size = 5350 * lines from primary input gates ....... 178 * lines from primary output gates ....... 123 * lines from interior gate outputs ...... 2184 * lines from ** 806 ** fanout stems ... 2830 * * avg_fanin = 1.90, max_fanin = 9 * avg_fanout = 3.51, max_fanout = 15 * * * * * 1 1 inpt 2 0 >sa0 >sa1 632 2 from 1 >sa1 633 3 from 1 4 4 inpt 6 0 >sa0 >sa1 634 5 from 4 >sa1 635 6 from 4 636 7 from 4 >sa1 637 8 from 4 >sa1 638 9 from 4 >sa1 639 10 from 4 >sa1 11 11 inpt 2 0 >sa0 >sa1 640 12 from 11 >sa1 641 13 from 11 >sa1 14 14 inpt 2 0 >sa0 >sa1 642 15 from 14 >sa1 643 16 from 14 >sa1 17 17 inpt 2 0 >sa0 >sa1 644 18 from 17 >sa1 645 19 from 17 >sa1 20 20 inpt 2 0 >sa0 >sa1 646 21 from 20 >sa1 647 22 from 20 >sa1 23 23 inpt 1 0 >sa1 24 24 inpt 1 0 >sa1 25 25 inpt 1 0 >sa1 26 26 inpt 1 0 >sa1 27 27 inpt 3 0 >sa0 >sa1 648 28 from 27 >sa1 649 29 from 27 >sa1 650 30 from 27 >sa1 31 31 inpt 2 0 >sa0 >sa1 651 32 from 31 >sa1 652 33 from 31 >sa1 34 34 inpt 2 0 >sa0 >sa1 653 35 from 34 >sa1 654 36 from 34 >sa1 37 37 inpt 2 0 >sa0 >sa1 655 38 from 37 >sa1 656 39 from 37 >sa1 40 40 inpt 2 0 >sa0 >sa1 657 41 from 40 >sa1 658 42 from 40 >sa1 43 43 inpt 2 0 >sa0 >sa1 659 44 from 43 >sa1 660 45 from 43 >sa1 46 46 inpt 2 0 >sa0 >sa1 661 47 from 46 >sa1 662 48 from 46 >sa1 49 49 inpt 2 0 >sa0 >sa1 663 50 from 49 >sa1 664 51 from 49 >sa1 52 52 inpt 1 0 >sa1 53 53 inpt 1 0 >sa1 54 54 inpt 6 0 >sa0 >sa1 665 55 from 54 >sa1 666 56 from 54 667 57 from 54 >sa1 668 58 from 54 >sa1 669 59 from 54 >sa1 670 60 from 54 >sa1 61 61 inpt 2 0 >sa0 >sa1 671 62 from 61 >sa1 672 63 from 61 >sa1 64 64 inpt 2 0 >sa0 >sa1 673 65 from 64 >sa1 674 66 from 64 >sa1 67 67 inpt 2 0 >sa0 >sa1 675 68 from 67 >sa1 676 69 from 67 >sa1 70 70 inpt 2 0 >sa0 >sa1 677 71 from 70 >sa1 678 72 from 70 >sa1 73 73 inpt 2 0 >sa0 >sa1 679 74 from 73 >sa1 680 75 from 73 >sa1 76 76 inpt 2 0 >sa0 >sa1 681 77 from 76 >sa1 682 78 from 76 >sa1 79 79 inpt 1 0 >sa1 80 80 inpt 1 0 >sa1 81 81 inpt 1 0 >sa1 82 82 inpt 1 0 >sa1 83 83 inpt 2 0 >sa0 >sa1 683 84 from 83 >sa1 684 85 from 83 >sa1 86 86 inpt 1 0 >sa1 87 87 inpt 1 0 >sa1 88 88 inpt 2 0 >sa0 >sa1 685 89 from 88 >sa1 686 90 from 88 >sa1 91 91 inpt 2 0 >sa0 >sa1 687 92 from 91 >sa1 688 93 from 91 >sa1 94 94 inpt 2 0 >sa0 >sa1 689 95 from 94 >sa1 690 96 from 94 >sa1 97 97 inpt 2 0 >sa0 >sa1 691 98 from 97 >sa1 692 99 from 97 >sa1 100 100 inpt 2 0 >sa0 >sa1 693 101 from 100 >sa1 694 102 from 100 >sa1 103 103 inpt 2 0 >sa0 >sa1 695 104 from 103 >sa1 696 105 from 103 >sa1 106 106 inpt 2 0 >sa0 >sa1 697 107 from 106 >sa1 698 108 from 106 >sa1 109 109 inpt 2 0 >sa0 >sa1 699 110 from 109 >sa1 700 111 from 109 >sa1 112 112 inpt 1 0 >sa1 113 113 inpt 1 0 >sa1 114 114 inpt 1 0 >sa1 115 115 inpt 1 0 >sa1 116 116 inpt 1 0 >sa1 117 117 inpt 1 0 >sa1 118 118 inpt 1 0 >sa1 119 119 inpt 1 0 >sa1 120 120 inpt 1 0 >sa1 121 121 inpt 1 0 >sa1 122 122 inpt 1 0 >sa1 123 123 inpt 2 0 >sa0 >sa1 701 124 from 123 >sa1 702 125 from 123 >sa1 126 126 inpt 1 0 >sa1 127 127 inpt 1 0 >sa1 128 128 inpt 1 0 >sa1 129 129 inpt 1 0 >sa1 130 130 inpt 1 0 >sa1 131 131 inpt 1 0 >sa1 132 132 inpt 2 0 >sa0 >sa1 703 133 from 132 >sa1 704 134 from 132 >sa1 135 135 inpt 1 0 >sa1 136 136 inpt 1 0 >sa1 137 137 inpt 2 0 >sa0 >sa1 705 138 from 137 706 139 from 137 140 140 inpt 1 0 >sa1 141 141 inpt 3 0 >sa0 >sa1 707 142 from 141 >sa1 708 143 from 141 144 f03144 from 141 145 145 inpt 1 0 >sa1 146 146 inpt 2 0 >sa0 >sa1 710 147 from 146 >sa1 711 148 from 146 >sa1 149 149 inpt 2 0 >sa0 >sa1 712 150 from 149 >sa1 713 151 from 149 >sa1 152 152 inpt 2 0 >sa0 >sa1 714 153 from 152 >sa1 715 154 from 152 >sa1 155 155 inpt 2 0 >sa0 >sa1 716 156 from 155 >sa1 717 157 from 155 >sa1 158 158 inpt 2 0 >sa0 >sa1 718 159 from 158 >sa1 719 160 from 158 >sa1 161 161 inpt 2 0 >sa0 >sa1 720 162 from 161 >sa1 721 163 from 161 >sa1 164 164 inpt 2 0 >sa0 >sa1 722 165 from 164 >sa1 723 166 from 164 >sa1 167 167 inpt 2 0 >sa0 >sa1 724 168 from 167 >sa1 725 169 from 167 >sa1 170 170 inpt 2 0 >sa0 >sa1 726 171 from 170 >sa1 727 172 from 170 >sa1 173 173 inpt 2 0 >sa0 >sa1 728 174 from 173 >sa1 729 175 from 173 >sa1 176 176 inpt 2 0 >sa0 >sa1 730 177 from 176 >sa1 731 178 from 176 >sa1 179 179 inpt 2 0 >sa0 >sa1 732 180 from 179 >sa1 733 181 from 179 >sa1 182 182 inpt 2 0 >sa0 >sa1 734 183 from 182 >sa1 735 184 from 182 >sa1 185 185 inpt 2 0 >sa0 >sa1 736 186 from 185 >sa1 737 187 from 185 >sa1 188 188 inpt 2 0 >sa0 >sa1 738 189 from 188 >sa1 739 190 from 188 >sa1 191 191 inpt 2 0 >sa0 >sa1 740 192 from 191 >sa1 741 193 from 191 >sa1 194 194 inpt 2 0 >sa0 >sa1 742 195 from 194 >sa1 743 196 from 194 >sa1 197 197 inpt 2 0 >sa0 >sa1 744 198 from 197 >sa1 745 199 from 197 >sa1 200 200 inpt 2 0 >sa0 >sa1 746 201 from 200 >sa1 747 202 from 200 >sa1 203 203 inpt 2 0 >sa0 >sa1 748 204 from 203 >sa1 749 205 from 203 >sa1 206 206 inpt 2 0 >sa0 >sa1 750 207 from 206 >sa1 751 208 from 206 209 209 inpt 1 0 >sa1 210 210 inpt 6 0 >sa0 >sa1 752 211 from 210 753 212 from 210 754 213 from 210 >sa1 755 214 from 210 756 215 from 210 757 216 from 210 217 217 inpt 1 0 >sa1 218 218 inpt 6 0 >sa0 >sa1 758 219 from 218 759 220 from 218 760 221 from 218 761 222 from 218 >sa1 762 223 from 218 763 224 from 218 225 225 inpt 1 0 >sa1 226 226 inpt 6 0 >sa0 >sa1 764 227 from 226 765 228 from 226 766 229 from 226 >sa1 767 230 from 226 768 231 from 226 769 232 from 226 233 233 inpt 1 0 >sa1 234 234 inpt 6 0 >sa0 >sa1 770 235 from 234 771 236 from 234 772 237 from 234 773 238 from 234 >sa1 774 239 from 234 775 240 from 234 241 241 inpt 1 0 >sa1 242 242 inpt 2 0 >sa0 >sa1 776 243 from 242 777 244 from 242 245 245 inpt 2 0 >sa0 >sa1 778 246 from 245 >sa1 779 247 from 245 248 248 inpt 2 0 >sa0 >sa1 780 249 from 248 781 250 from 248 251 251 inpt 2 0 >sa0 >sa1 782 252 from 251 783 253 from 251 254 254 inpt 2 0 >sa0 >sa1 784 255 from 254 785 256 from 254 257 257 inpt 6 0 >sa0 >sa1 786 258 from 257 >sa1 787 259 from 257 788 260 from 257 789 261 from 257 790 262 from 257 791 263 from 257 264 264 inpt 1 0 >sa1 265 265 inpt 6 0 >sa0 >sa1 792 266 from 265 793 267 from 265 >sa1 794 268 from 265 795 269 from 265 796 270 from 265 797 271 from 265 272 272 inpt 1 0 >sa1 273 273 inpt 6 0 >sa0 >sa1 798 274 from 273 799 275 from 273 >sa1 800 276 from 273 801 277 from 273 802 278 from 273 803 279 from 273 280 280 inpt 1 0 >sa1 281 281 inpt 6 0 >sa0 >sa1 804 282 from 281 805 283 from 281 >sa1 806 284 from 281 807 285 from 281 808 286 from 281 809 287 from 281 288 288 inpt 1 0 >sa1 289 289 inpt 2 0 >sa0 >sa1 810 290 from 289 811 291 from 289 >sa1 292 292 inpt 1 0 >sa1 293 293 inpt 5 0 >sa0 >sa1 812 294 from 293 >sa1 813 295 from 293 814 296 from 293 815 297 from 293 298 f05298 from 293 299 299 inpt 2 0 >sa0 >sa1 817 300 from 299 >sa1 818 301 from 299 302 302 inpt 4 0 >sa0 >sa1 819 303 from 302 >sa1 820 304 from 302 821 305 from 302 822 306 from 302 307 307 inpt 1 0 >sa1 308 308 inpt 6 0 >sa0 >sa1 823 309 from 308 >sa1 824 310 from 308 825 311 from 308 826 312 from 308 827 313 from 308 828 314 from 308 315 315 inpt 1 0 >sa1 316 316 inpt 6 0 >sa0 >sa1 829 317 from 316 830 318 from 316 831 319 from 316 832 320 from 316 833 321 from 316 834 322 from 316 >sa1 323 323 inpt 1 0 >sa1 324 324 inpt 6 0 >sa0 >sa1 835 325 from 324 836 326 from 324 >sa1 837 327 from 324 838 328 from 324 839 329 from 324 840 330 from 324 331 331 inpt 1 0 >sa1 332 332 inpt 2 0 >sa0 >sa1 841 333 from 332 842 334 from 332 335 335 inpt 2 0 >sa0 >sa1 843 336 from 335 844 337 from 335 338 338 inpt 2 0 >sa0 >sa1 845 339 from 338 846 340 from 338 >sa1 341 341 inpt 6 0 >sa0 >sa1 847 342 from 341 848 343 from 341 >sa1 849 344 from 341 850 345 from 341 851 346 from 341 852 347 from 341 348 348 inpt 2 0 >sa0 >sa1 853 349 from 348 854 350 from 348 >sa1 351 351 inpt 6 0 >sa0 >sa1 855 352 from 351 856 353 from 351 >sa1 857 354 from 351 858 355 from 351 859 356 from 351 860 357 from 351 358 358 inpt 2 0 >sa0 >sa1 861 359 from 358 862 360 from 358 >sa1 361 361 inpt 4 0 >sa0 >sa1 863 362 from 361 864 363 from 361 >sa1 865 364 from 361 866 365 from 361 366 366 inpt 2 0 >sa0 >sa1 867 367 from 366 868 368 from 366 >sa1 369 369 inpt 2 0 >sa0 >sa1 869 370 from 369 870 371 from 369 >sa1 372 372 inpt 1 0 >sa1 373 373 inpt 1 0 >sa1 374 374 inpt 11 0 >sa0 >sa1 871 375 from 374 >sa1 872 376 from 374 873 377 from 374 >sa1 874 378 from 374 >sa0 875 379 from 374 876 380 from 374 >sa1 877 381 from 374 >sa0 878 382 from 374 >sa1 879 383 from 374 >sa1 880 384 from 374 >sa0 881 385 from 374 >sa1 386 386 inpt 2 0 >sa0 >sa1 882 387 from 386 >sa1 883 388 from 386 >sa1 389 389 inpt 10 0 >sa0 >sa1 884 390 from 389 >sa1 885 391 from 389 886 392 from 389 >sa1 887 393 from 389 888 394 from 389 >sa0 889 395 from 389 >sa1 890 396 from 389 >sa1 891 397 from 389 >sa0 892 398 from 389 >sa1 893 399 from 389 >sa1 400 400 inpt 10 0 >sa0 >sa1 894 401 from 400 >sa1 895 402 from 400 896 403 from 400 >sa1 897 404 from 400 898 405 from 400 >sa1 899 406 from 400 >sa1 900 407 from 400 >sa0 901 408 from 400 >sa1 902 409 from 400 >sa1 903 410 from 400 >sa0 411 411 inpt 10 0 >sa0 >sa1 904 412 from 411 >sa1 905 413 from 411 906 414 from 411 907 415 from 411 >sa1 908 416 from 411 >sa0 909 417 from 411 >sa1 910 418 from 411 >sa1 911 419 from 411 >sa0 912 420 from 411 >sa1 913 421 from 411 >sa1 422 422 inpt 12 0 >sa0 >sa1 914 423 from 422 >sa1 915 424 from 422 >sa0 916 425 from 422 917 426 from 422 >sa0 918 427 from 422 >sa1 919 428 from 422 920 429 from 422 >sa0 921 430 from 422 >sa1 922 431 from 422 >sa1 923 432 from 422 >sa0 924 433 from 422 >sa1 925 434 from 422 >sa1 435 435 inpt 10 0 >sa0 >sa1 926 436 from 435 >sa1 927 437 from 435 928 438 from 435 >sa1 929 439 from 435 930 440 from 435 >sa1 931 441 from 435 >sa0 932 442 from 435 >sa1 933 443 from 435 >sa1 934 444 from 435 >sa0 935 445 from 435 >sa1 446 446 inpt 10 0 >sa0 >sa1 936 447 from 446 937 448 from 446 >sa1 938 449 from 446 >sa1 939 450 from 446 940 451 from 446 >sa1 941 452 from 446 >sa1 942 453 from 446 >sa0 943 454 from 446 >sa1 944 455 from 446 >sa0 945 456 from 446 >sa1 457 457 inpt 10 0 >sa0 >sa1 946 458 from 457 >sa1 947 459 from 457 948 460 from 457 >sa1 949 461 from 457 950 462 from 457 >sa0 951 463 from 457 >sa1 952 464 from 457 >sa1 953 465 from 457 >sa0 954 466 from 457 >sa1 955 467 from 457 >sa1 468 468 inpt 10 0 >sa0 >sa1 956 469 from 468 >sa1 957 470 from 468 958 471 from 468 >sa1 959 472 from 468 960 473 from 468 >sa1 961 474 from 468 >sa1 962 475 from 468 >sa0 963 476 from 468 >sa1 964 477 from 468 >sa1 965 478 from 468 >sa0 479 479 inpt 10 0 >sa0 >sa1 966 480 from 479 >sa1 967 481 from 479 968 482 from 479 >sa1 969 483 from 479 970 484 from 479 >sa0 971 485 from 479 >sa1 972 486 from 479 >sa1 973 487 from 479 >sa0 974 488 from 479 >sa1 975 489 from 479 >sa1 490 490 inpt 12 0 >sa0 >sa1 976 491 from 490 >sa0 977 492 from 490 >sa1 978 493 from 490 979 494 from 490 >sa1 980 495 from 490 >sa0 981 496 from 490 982 497 from 490 >sa1 983 498 from 490 >sa0 984 499 from 490 >sa1 985 500 from 490 >sa1 986 501 from 490 >sa0 987 502 from 490 >sa1 503 503 inpt 10 0 >sa0 >sa1 988 504 from 503 >sa1 989 505 from 503 990 506 from 503 >sa1 991 507 from 503 992 508 from 503 >sa0 993 509 from 503 >sa1 994 510 from 503 >sa1 995 511 from 503 >sa0 996 512 from 503 >sa1 997 513 from 503 >sa1 514 514 inpt 8 0 >sa0 >sa1 998 515 from 514 >sa1 999 516 from 514 1000 517 from 514 >sa1 1001 518 from 514 1002 519 from 514 >sa1 1003 520 from 514 >sa0 1004 521 from 514 >sa1 1005 522 from 514 >sa0 523 523 inpt 10 0 >sa0 >sa1 1006 524 from 523 >sa1 1007 525 from 523 1008 526 from 523 >sa1 1009 527 from 523 1010 528 from 523 >sa0 1011 529 from 523 >sa1 1012 530 from 523 >sa1 1013 531 from 523 >sa0 1014 532 from 523 >sa1 1015 533 from 523 >sa1 534 534 inpt 10 0 >sa0 >sa1 1016 535 from 534 1017 536 from 534 >sa1 1018 537 from 534 >sa1 1019 538 from 534 1020 539 from 534 >sa1 1021 540 from 534 >sa0 1022 541 from 534 >sa1 1023 542 from 534 >sa1 1024 543 from 534 >sa0 1025 544 from 534 >sa1 545 545 inpt 3 0 >sa0 >sa1 1026 546 from 545 1027 547 from 545 1028 548 from 545 549 549 inpt 2 0 >sa0 >sa1 1029 550 from 549 1030 551 from 549 552 552 inpt 3 0 >sa0 >sa1 1031 553 from 552 >sa1 1032 554 from 552 >sa1 1033 555 from 552 556 556 inpt 2 0 >sa0 >sa1 1034 557 from 556 >sa1 1035 558 from 556 >sa1 559 559 inpt 2 0 >sa0 >sa1 1036 560 from 559 >sa1 1037 561 from 559 562 562 inpt 3 0 >sa0 >sa1 1038 563 from 562 >sa1 1039 564 from 562 1040 565 from 562 >sa1 566 1497 inpt 4 0 >sa0 >sa1 1044 1498 from 1497 >sa1 1045 1499 from 1497 >sa1 1046 1500 from 1497 >sa1 1047 1501 from 1497 571 1689 inpt 2 0 >sa0 >sa1 1048 1527 from 1689 1050 1608 from 1689 574 1690 inpt 2 0 >sa0 >sa1 1049 1551 from 1690 1051 1632 from 1690 577 1691 inpt 2 0 >sa0 >sa1 1052 1692 from 1691 1053 1693 from 1691 580 1694 inpt 2 0 >sa0 >sa1 1054 1695 from 1694 1055 1696 from 1694 583 2174 inpt 4 0 >sa0 >sa1 1056 2175 from 2174 >sa1 1057 2176 from 2174 >sa1 1058 2177 from 2174 >sa1 1059 2178 from 2174 588 2358 inpt 2 0 >sa0 >sa1 1060 2359 from 2358 1061 2360 from 2358 591 2824 inpt 1 0 592 3173 inpt 2 0 >sa0 >sa1 1041 3174 from 3173 594 f02973 from 3173 595 3546 inpt 1 0 596 3548 inpt 1 0 597 3550 inpt 1 0 598 3552 inpt 1 0 599 3717 inpt 3 0 >sa0 >sa1 1123 3718 from 3717 >sa1 1124 3719 from 3717 >sa1 1125 3720 from 3717 603 3724 inpt 3 0 >sa0 >sa1 1126 3725 from 3724 >sa1 1127 3726 from 3724 >sa1 1128 3727 from 3724 607 4087 inpt 2 0 >sa0 >sa1 1063 2441 from 4087 1118 3581 from 4087 610 4088 inpt 2 0 >sa0 >sa1 1062 2417 from 4088 1117 3557 from 4088 613 4089 inpt 2 0 >sa0 >sa1 1064 2475 from 4089 1121 3659 from 4089 616 4090 inpt 2 0 >sa0 >sa1 1065 2499 from 4090 1122 3683 from 4090 619 4091 inpt 5 0 >sa0 >sa1 1120 3627 from 4091 1129 3736 from 4091 1131 3794 from 4091 1133 3971 from 4091 1135 4029 from 4091 625 4092 inpt 5 0 >sa0 >sa1 1119 3615 from 4092 1130 3756 from 4092 1132 3814 from 4092 1134 3990 from 4092 1136 4048 from 4092 631 4115 inpt 1 0 >sa1 709 144 buff 0 1 >sa0 >sa1 144 816 298 buff 0 1 >sa0 >sa1 298 1042 4114 and 1 2 135 631 1043 2825 not 1 1 >sa1 591 1066 973 buff 0 1 >sa0 >sa1 594 1067 3547 not 12 1 >sa0 >sa1 595 1407 2589 from 3547 >sa1 1409 2594 from 3547 >sa1 1411 2599 from 3547 >sa1 1413 2604 from 3547 >sa1 1447 2683 from 3547 >sa1 1449 2688 from 3547 >sa1 1451 2693 from 3547 >sa1 1453 2698 from 3547 >sa1 1535 2993 from 3547 >sa1 1537 2998 from 3547 >sa0 1538 3000 from 3547 >sa1 1540 3005 from 3547 >sa1 1080 3549 not 11 1 >sa0 >sa1 596 1408 2591 from 3549 >sa1 1410 2596 from 3549 >sa1 1412 2601 from 3549 >sa1 1414 2606 from 3549 >sa1 1448 2685 from 3549 >sa1 1450 2690 from 3549 >sa1 1452 2695 from 3549 >sa1 1454 2700 from 3549 >sa1 1536 2995 from 3549 >sa1 1539 3002 from 3549 >sa1 1541 3007 from 3549 >sa1 1092 3551 not 11 1 >sa0 >sa1 597 1400 2567 from 3551 >sa1 1402 2573 from 3551 >sa1 1404 2579 from 3551 >sa1 1406 2585 from 3551 >sa1 1440 2661 from 3551 >sa1 1442 2667 from 3551 >sa1 1444 2673 from 3551 >sa1 1446 2679 from 3551 >sa1 1529 2974 from 3551 >sa1 1532 2983 from 3551 >sa1 1534 2989 from 3551 >sa1 1104 3553 not 12 1 >sa0 >sa1 598 1399 2565 from 3553 >sa1 1401 2571 from 3553 >sa1 1403 2577 from 3553 >sa1 1405 2583 from 3553 >sa1 1439 2659 from 3553 >sa1 1441 2665 from 3553 >sa1 1443 2671 from 3553 >sa1 1445 2677 from 3553 >sa1 1528 2972 from 3553 >sa1 1530 2978 from 3553 >sa1 1531 2981 from 3553 >sa1 1533 2987 from 3553 >sa1 1137 594 not 0 1 >sa0 >sa1 1027 1138 599 not 0 1 >sa0 >sa1 853 1139 600 not 0 1 >sa0 >sa1 867 1140 601 and 0 2 >sa0 >sa1 1032 1040 1141 602 not 0 1 >sa0 >sa1 1029 1142 603 not 0 1 >sa0 >sa1 1026 1143 604 not 0 1 >sa0 >sa1 1028 1144 611 not 0 1 >sa0 >sa1 845 1145 612 not 0 1 >sa0 >sa1 861 1146 633 nand 1 2 373 632 1147 810 and 0 2 >sa0 >sa1 707 145 1148 814 not 1 1 >sa1 1041 1149 816 not 1 1 >sa1 1042 1150 844 and 1 2 1043 649 1151 846 and 1 2 883 1035 1152 848 not 0 1 >sa0 >sa1 779 1153 849 not 0 1 >sa0 >sa1 1033 1154 850 not 0 1 >sa0 >sa1 1039 1155 851 not 0 1 >sa0 >sa1 1037 1156 852 and 1 4 >sa1 882 1036 1034 1031 1157 1502 not 3 1 >sa0 >sa1 1047 2089 1503 from 1502 >sa1 2090 1504 from 1502 >sa1 2091 1505 from 1502 >sa1 1161 1528 buff 11 1 >sa0 >sa1 1048 2093 1529 from 1528 >sa1 2094 1530 from 1528 >sa1 2095 1531 from 1528 >sa1 2096 1532 from 1528 >sa1 2097 1533 from 1528 >sa1 2098 1534 from 1528 >sa1 2099 1535 from 1528 >sa1 2100 1536 from 1528 >sa1 2101 1537 from 1528 >sa1 2102 1538 from 1528 >sa1 2103 1539 from 1528 1173 1552 buff 11 1 >sa0 >sa1 1049 2104 1553 from 1552 >sa1 2105 1554 from 1552 >sa1 2106 1555 from 1552 >sa1 2107 1556 from 1552 >sa1 2108 1557 from 1552 >sa1 2109 1558 from 1552 >sa1 2110 1559 from 1552 >sa1 2111 1560 from 1552 >sa1 2112 1561 from 1552 >sa1 2113 1562 from 1552 >sa1 2114 1563 from 1552 1185 1609 buff 11 1 >sa0 >sa1 1050 2116 1610 from 1609 >sa1 2117 1611 from 1609 >sa1 2118 1612 from 1609 >sa1 2119 1613 from 1609 >sa1 2120 1614 from 1609 >sa1 2121 1615 from 1609 >sa1 2122 1616 from 1609 >sa1 2123 1617 from 1609 >sa1 2124 1618 from 1609 >sa1 2125 1619 from 1609 >sa1 2126 1620 from 1609 1197 1633 buff 11 1 >sa0 >sa1 1051 2127 1634 from 1633 >sa1 2128 1635 from 1633 >sa1 2129 1636 from 1633 >sa1 2130 1637 from 1633 >sa1 2131 1638 from 1633 >sa1 2132 1639 from 1633 >sa1 2133 1640 from 1633 >sa1 2134 1641 from 1633 >sa1 2135 1642 from 1633 >sa1 2136 1643 from 1633 >sa1 2137 1644 from 1633 1209 1697 buff 3 1 >sa0 >sa1 706 2092 1525 from 1697 2115 1605 from 1697 1212 f03926 from 1697 1213 1698 buff 2 1 >sa0 >sa1 705 2140 1699 from 1698 2141 1700 from 1698 1216 1701 buff 2 1 >sa0 >sa1 708 1217 f01923 from 1701 2143 1702 from 1701 1219 2179 not 3 1 >sa0 >sa1 1059 2157 2180 from 2179 >sa1 2158 2181 from 2179 >sa1 2159 2182 from 2179 >sa1 1223 2203 buff 11 1 >sa0 >sa1 1052 2160 2204 from 2203 >sa1 2161 2205 from 2203 >sa1 2162 2206 from 2203 >sa1 2163 2207 from 2203 >sa1 2164 2208 from 2203 >sa1 2165 2209 from 2203 >sa1 2166 2210 from 2203 >sa1 2167 2211 from 2203 >sa1 2168 2212 from 2203 >sa1 2169 2213 from 2203 >sa1 2170 2214 from 2203 1235 2226 buff 11 1 >sa0 >sa1 1054 2171 2227 from 2226 >sa1 2172 2228 from 2226 >sa1 2173 2229 from 2226 >sa1 2174 2230 from 2226 >sa1 2175 2231 from 2226 >sa1 2176 2232 from 2226 >sa1 2177 2233 from 2226 >sa1 2178 2234 from 2226 >sa1 2179 2235 from 2226 >sa1 2180 2236 from 2226 >sa1 2181 2237 from 2226 1247 2281 buff 11 1 >sa0 >sa1 1053 2182 2282 from 2281 >sa1 2183 2283 from 2281 >sa1 2184 2284 from 2281 >sa1 2185 2285 from 2281 >sa1 2186 2286 from 2281 >sa1 2187 2287 from 2281 >sa1 2188 2288 from 2281 >sa1 2189 2289 from 2281 >sa1 2190 2290 from 2281 >sa1 2191 2291 from 2281 >sa1 2192 2292 from 2281 1259 2304 buff 11 1 >sa0 >sa1 1055 2193 2305 from 2304 >sa1 2194 2306 from 2304 >sa1 2195 2307 from 2304 >sa1 2196 2308 from 2304 >sa1 2197 2309 from 2304 >sa1 2198 2310 from 2304 >sa1 2199 2311 from 2304 >sa1 2200 2312 from 2304 >sa1 2201 2313 from 2304 >sa1 2202 2314 from 2304 >sa1 2203 2315 from 2304 1271 2361 buff 8 1 >sa0 >sa1 784 2204 2362 from 2361 >sa1 2205 2363 from 2361 >sa1 2206 2364 from 2361 >sa1 2207 2365 from 2361 >sa1 2208 2366 from 2361 >sa1 2209 2367 from 2361 >sa1 2210 2368 from 2361 >sa1 2211 2369 from 2361 >sa1 1280 2370 buff 11 1 >sa0 >sa1 783 2212 2371 from 2370 >sa1 2213 2372 from 2370 >sa1 2214 2373 from 2370 >sa1 2215 2374 from 2370 >sa1 2216 2375 from 2370 >sa1 2217 2376 from 2370 >sa1 2218 2377 from 2370 >sa1 2219 2378 from 2370 >sa1 2220 2379 from 2370 >sa1 2221 2380 from 2370 >sa1 2222 2381 from 2370 >sa1 1292 2382 buff 10 1 >sa0 >sa1 782 2223 2383 from 2382 >sa1 2224 2384 from 2382 >sa1 2225 2385 from 2382 >sa1 2226 2386 from 2382 >sa1 2227 2387 from 2382 >sa1 2228 2388 from 2382 >sa1 2229 2389 from 2382 >sa1 2230 2390 from 2382 >sa1 2231 2391 from 2382 >sa1 2232 2392 from 2382 >sa1 1303 2393 buff 11 1 >sa0 >sa1 781 2233 2394 from 2393 >sa1 2234 2395 from 2393 >sa1 2235 2396 from 2393 >sa1 2236 2397 from 2393 >sa1 2237 2398 from 2393 >sa1 2238 2399 from 2393 >sa1 2239 2400 from 2393 >sa1 2240 2401 from 2393 >sa1 2241 2402 from 2393 >sa1 2242 2403 from 2393 >sa1 2243 2404 from 2393 >sa1 1315 2405 buff 11 1 >sa0 >sa1 780 2244 2406 from 2405 >sa1 2245 2407 from 2405 >sa1 2246 2408 from 2405 >sa1 2247 2409 from 2405 >sa1 2248 2410 from 2405 >sa1 2249 2411 from 2405 >sa1 2250 2412 from 2405 >sa1 2251 2413 from 2405 >sa1 2252 2414 from 2405 >sa1 2253 2415 from 2405 >sa1 2254 2416 from 2405 >sa1 1327 2418 buff 11 1 >sa0 >sa1 1062 1981 2419 from 2418 >sa1 1983 2420 from 2418 >sa1 2005 2423 from 2418 >sa1 2007 2424 from 2418 >sa1 2009 2425 from 2418 >sa1 2011 2426 from 2418 >sa1 2013 2427 from 2418 >sa1 2015 2428 from 2418 >sa1 2017 2421 from 2418 >sa1 2019 2422 from 2418 >sa1 2255 2429 from 2418 1339 2442 buff 11 1 >sa0 >sa1 1063 1982 2443 from 2442 >sa1 1984 2444 from 2442 >sa1 2006 2447 from 2442 >sa1 2008 2452 from 2442 >sa1 2010 2448 from 2442 >sa1 2012 2449 from 2442 >sa1 2014 2450 from 2442 >sa1 2016 2451 from 2442 >sa1 2018 2445 from 2442 >sa1 2020 2446 from 2442 >sa1 2256 2453 from 2442 1351 2476 buff 11 1 >sa0 >sa1 1064 2037 2481 from 2476 >sa1 2039 2482 from 2476 >sa1 2041 2483 from 2476 >sa1 2043 2484 from 2476 >sa1 2045 2485 from 2476 >sa1 2047 2486 from 2476 >sa1 2049 2479 from 2476 >sa1 2051 2480 from 2476 >sa1 2062 2477 from 2476 >sa1 2064 2478 from 2476 >sa1 2257 2487 from 2476 1363 2500 buff 11 1 >sa0 >sa1 1065 2038 2505 from 2500 >sa1 2040 2510 from 2500 >sa1 2042 2506 from 2500 >sa1 2044 2507 from 2500 >sa1 2046 2508 from 2500 >sa1 2048 2509 from 2500 >sa1 2050 2503 from 2500 >sa1 2052 2504 from 2500 >sa1 2063 2501 from 2500 >sa1 2065 2502 from 2500 >sa1 2258 2511 from 2500 1375 2533 buff 2 1 >sa0 >sa1 753 2259 2534 from 2533 >sa1 2260 2535 from 2533 1378 2537 buff 2 1 >sa0 >sa1 752 2261 2538 from 2537 >sa1 2262 2539 from 2537 1381 2541 buff 2 1 >sa0 >sa1 759 2263 2542 from 2541 >sa1 2264 2543 from 2541 1384 2545 buff 2 1 >sa0 >sa1 760 2265 2546 from 2545 >sa1 2266 2547 from 2545 1387 2549 buff 2 1 >sa0 >sa1 765 2267 2550 from 2549 >sa1 2268 2551 from 2549 1390 2553 buff 2 1 >sa0 >sa1 764 2269 2554 from 2553 >sa1 2270 2555 from 2553 1393 2557 buff 2 1 >sa0 >sa1 770 2271 2558 from 2557 >sa1 2272 2559 from 2557 1396 2561 buff 2 1 >sa0 >sa1 771 2273 2562 from 2561 >sa1 2274 2563 from 2561 1415 2627 buff 2 1 >sa0 >sa1 788 2275 2628 from 2627 >sa1 2276 2629 from 2627 1418 2631 buff 2 1 >sa0 >sa1 787 2277 2632 from 2631 >sa1 2278 2633 from 2631 1421 2635 buff 2 1 >sa0 >sa1 794 2279 2636 from 2635 >sa1 2280 2637 from 2635 1424 2639 buff 2 1 >sa0 >sa1 795 2281 2640 from 2639 >sa1 2282 2641 from 2639 1427 2643 buff 2 1 >sa0 >sa1 801 2283 2644 from 2643 >sa1 2284 2645 from 2643 1430 2647 buff 2 1 >sa0 >sa1 800 2285 2648 from 2647 >sa1 2286 2649 from 2647 1433 2651 buff 2 1 >sa0 >sa1 806 2287 2652 from 2651 >sa1 2288 2653 from 2651 1436 2655 buff 2 1 >sa0 >sa1 807 2289 2656 from 2655 >sa1 2290 2657 from 2655 1455 2721 buff 6 1 >sa0 >sa1 843 2291 2722 from 2721 >sa1 2292 2723 from 2721 >sa1 2293 2724 from 2721 >sa1 2294 2725 from 2721 >sa1 2295 2726 from 2721 >sa1 2296 2727 from 2721 1462 2734 buff 6 1 >sa0 >sa1 844 2297 2735 from 2734 >sa1 2298 2736 from 2734 >sa1 2299 2737 from 2734 >sa1 2300 2738 from 2734 >sa1 2301 2739 from 2734 >sa1 2302 2740 from 2734 1469 2816 buff 5 1 >sa0 >sa1 751 2303 2817 from 2816 2304 2818 from 2816 2305 2819 from 2816 2306 2820 from 2816 2307 2821 from 2816 1475 2822 and 3 2 >sa0 >sa1 650 652 1974 655 from 2822 >sa1 2053 808 from 2822 2308 2823 from 2822 1479 2826 buff 2 1 >sa0 >sa1 633 2138 1687 from 2826 1481 f02921 from 2826 1482 2828 buff 9 1 >sa0 >sa1 1060 2310 2829 from 2828 >sa1 2311 2830 from 2828 >sa1 2312 2831 from 2828 >sa1 2313 2832 from 2828 >sa1 2314 2833 from 2828 >sa1 2315 2834 from 2828 >sa1 2316 2835 from 2828 >sa1 2317 2836 from 2828 >sa1 2318 2837 from 2828 1492 2882 buff 2 1 >sa0 >sa1 813 2319 2883 from 2882 >sa1 2320 2884 from 2882 1495 2886 buff 2 1 >sa0 >sa1 820 2321 2887 from 2886 >sa1 2322 2888 from 2886 1498 2890 buff 2 1 >sa0 >sa1 825 2323 2891 from 2890 >sa1 2324 2892 from 2890 1501 2894 buff 2 1 >sa0 >sa1 824 2325 2895 from 2894 >sa1 2326 2896 from 2894 1504 2898 buff 2 1 >sa0 >sa1 830 2327 2899 from 2898 >sa1 2328 2900 from 2898 1507 2902 buff 2 1 >sa0 >sa1 831 2329 2903 from 2902 >sa1 2330 2904 from 2902 1510 2948 buff 2 1 >sa0 >sa1 838 2337 2949 from 2948 >sa1 2338 2950 from 2948 1513 2952 buff 2 1 >sa0 >sa1 837 2339 2953 from 2952 >sa1 2340 2954 from 2952 1516 2956 buff 2 1 >sa0 >sa1 850 2341 2957 from 2956 >sa1 2342 2958 from 2956 1519 2960 buff 2 1 >sa0 >sa1 849 2343 2961 from 2960 >sa1 2344 2962 from 2960 1522 2964 buff 2 1 >sa0 >sa1 857 2345 2965 from 2964 >sa1 2346 2966 from 2964 1525 2968 buff 2 1 >sa0 >sa1 858 2347 2969 from 2968 >sa1 2348 2970 from 2968 1542 3024 buff 2 1 >sa0 >sa1 790 2351 3025 from 3024 >sa1 2352 3026 from 3024 1545 3028 buff 2 1 >sa0 >sa1 789 2353 3029 from 3028 >sa1 2354 3030 from 3028 1548 3032 buff 2 1 >sa0 >sa1 796 2355 3033 from 3032 >sa1 2356 3034 from 3032 1551 3036 buff 2 1 >sa0 >sa1 797 2357 3037 from 3036 >sa1 2358 3038 from 3036 1554 3040 buff 2 1 >sa0 >sa1 803 2359 3041 from 3040 >sa1 2360 3042 from 3040 1557 3044 buff 2 1 >sa0 >sa1 802 2361 3045 from 3044 >sa1 2362 3046 from 3044 1560 3048 buff 2 1 >sa0 >sa1 808 2363 3049 from 3048 >sa1 2364 3050 from 3048 1563 3052 buff 2 1 >sa0 >sa1 809 2365 3053 from 3052 >sa1 2366 3054 from 3052 1566 3092 buff 6 1 >sa0 >sa1 841 2375 3093 from 3092 >sa1 2376 3094 from 3092 >sa1 2377 3095 from 3092 >sa1 2378 3096 from 3092 >sa1 2379 3097 from 3092 >sa1 2380 3098 from 3092 1573 3105 buff 6 1 >sa0 >sa1 842 2381 3106 from 3105 >sa1 2382 3107 from 3105 >sa1 2383 3108 from 3105 >sa1 2384 3109 from 3105 >sa1 2385 3110 from 3105 >sa1 2386 3111 from 3105 1580 3175 buff 2 1 >sa0 >sa1 1030 1971 605 from 3175 1582 f02892 from 3175 1583 3176 and 4 2 >sa0 >sa1 651 648 1973 3179 from 3176 >sa1 1975 3178 from 3176 >sa1 1980 3177 from 3176 >sa1 2055 3180 from 3176 >sa1 1588 3181 not 5 1 >sa0 >sa1 1061 2388 3182 from 3181 >sa1 2389 3183 from 3181 >sa1 2390 3184 from 3181 >sa1 2391 3185 from 3181 >sa1 2392 3186 from 3181 1594 3204 buff 2 1 >sa0 >sa1 840 2393 3205 from 3204 >sa1 2394 3206 from 3204 1597 3208 buff 2 1 >sa0 >sa1 839 2395 3209 from 3208 >sa1 2396 3210 from 3208 1600 3212 buff 2 1 >sa0 >sa1 852 2397 3213 from 3212 >sa1 2398 3214 from 3212 1603 3216 buff 2 1 >sa0 >sa1 851 2399 3217 from 3216 >sa1 2400 3218 from 3216 1606 3220 buff 2 1 >sa0 >sa1 859 2401 3221 from 3220 >sa1 2402 3222 from 3220 1609 3224 buff 2 1 >sa0 >sa1 860 2403 3225 from 3224 >sa1 2404 3226 from 3224 1612 3256 buff 2 1 >sa0 >sa1 814 2409 3257 from 3256 >sa1 2410 3258 from 3256 1615 3260 buff 2 1 >sa0 >sa1 822 2411 3261 from 3260 >sa1 2412 3262 from 3260 1618 3264 buff 2 1 >sa0 >sa1 827 2413 3265 from 3264 >sa1 2414 3266 from 3264 1621 3268 buff 2 1 >sa0 >sa1 826 2415 3269 from 3268 >sa1 2416 3270 from 3268 1624 3272 buff 2 1 >sa0 >sa1 832 2417 3273 from 3272 >sa1 2418 3274 from 3272 1627 3276 buff 2 1 >sa0 >sa1 833 2419 3277 from 3276 >sa1 2420 3278 from 3276 1630 3302 buff 2 1 >sa0 >sa1 865 2424 3303 from 3302 >sa1 2425 3304 from 3302 1633 3314 buff 2 1 >sa0 >sa1 866 2426 3315 from 3314 >sa1 2427 3316 from 3314 1636 3354 buff 2 1 >sa0 >sa1 756 2430 3355 from 3354 >sa1 2431 3356 from 3354 1639 3358 buff 2 1 >sa0 >sa1 755 2432 3359 from 3358 >sa1 2433 3360 from 3358 1642 3362 buff 2 1 >sa0 >sa1 762 2434 3363 from 3362 >sa1 2435 3364 from 3362 1645 3366 buff 2 1 >sa0 >sa1 763 2436 3367 from 3366 >sa1 2437 3368 from 3366 1648 3370 buff 2 1 >sa0 >sa1 768 2438 3371 from 3370 >sa1 2439 3372 from 3370 1651 3374 buff 2 1 >sa0 >sa1 767 2440 3375 from 3374 >sa1 2441 3376 from 3374 1654 3378 buff 2 1 >sa0 >sa1 774 2442 3379 from 3378 >sa1 2443 3380 from 3378 1657 3382 buff 2 1 >sa0 >sa1 775 2444 3383 from 3382 >sa1 2445 3384 from 3382 1660 3440 not 2 1 >sa0 >sa1 835 2458 3441 from 3440 2459 3442 from 3440 1663 3554 buff 11 1 >sa0 >sa1 777 2331 2917 from 3554 >sa1 2333 2921 from 3554 >sa1 2335 2926 from 3554 >sa1 2367 3072 from 3554 >sa1 2369 3077 from 3554 >sa1 2371 3082 from 3554 >sa1 2373 3087 from 3554 >sa1 2446 3402 from 3554 >sa1 2448 3407 from 3554 >sa1 2450 3412 from 3554 >sa1 2452 3417 from 3554 >sa1 1675 3555 buff 9 1 >sa0 >sa1 776 2405 3242 from 3555 >sa1 2406 3246 from 3555 >sa0 2407 3248 from 3555 >sa1 2408 3252 from 3555 >sa1 2421 3291 from 3555 >sa1 2422 3294 from 3555 >sa1 2423 3298 from 3555 >sa1 2428 3340 from 3555 >sa1 2429 3344 from 3555 >sa1 1685 3556 buff 11 1 >sa0 >sa1 785 2332 2919 from 3556 >sa1 2334 2923 from 3556 >sa1 2336 2928 from 3556 >sa1 2368 3074 from 3556 >sa1 2370 3079 from 3556 >sa1 2372 3084 from 3556 >sa1 2374 3089 from 3556 >sa1 2447 3404 from 3556 >sa1 2449 3409 from 3556 >sa1 2451 3414 from 3556 >sa1 2453 3419 from 3556 >sa1 1697 3558 buff 11 1 >sa0 >sa1 1117 1985 3563 from 3558 >sa1 1987 3564 from 3558 >sa1 1989 3565 from 3558 >sa1 1991 3566 from 3558 >sa1 1993 3567 from 3558 >sa1 1995 3568 from 3558 >sa1 1997 3559 from 3558 >sa1 1999 3560 from 3558 >sa1 2001 3561 from 3558 >sa1 2003 3562 from 3558 >sa1 2460 3569 from 3558 1709 3582 buff 11 1 >sa0 >sa1 1118 1986 3587 from 3582 >sa1 1988 3592 from 3582 >sa1 1990 3588 from 3582 >sa1 1992 3589 from 3582 >sa1 1994 3590 from 3582 >sa1 1996 3591 from 3582 >sa1 1998 3583 from 3582 >sa1 2000 3584 from 3582 >sa1 2002 3585 from 3582 >sa1 2004 3586 from 3582 >sa1 2461 3593 from 3582 1721 3616 buff 5 1 >sa0 >sa1 1119 2462 3617 from 3616 >sa1 2463 3618 from 3616 >sa1 2464 3619 from 3616 >sa1 2465 3620 from 3616 >sa1 2466 3621 from 3616 1727 3628 buff 3 1 >sa0 >sa1 1120 2467 3629 from 3628 >sa1 2468 3630 from 3628 >sa1 2469 3631 from 3628 1731 3660 buff 11 1 >sa0 >sa1 1121 1976 3665 from 3660 >sa1 1978 3666 from 3660 >sa1 2021 3667 from 3660 >sa1 2023 3668 from 3660 >sa1 2025 3669 from 3660 >sa1 2027 3670 from 3660 >sa1 2029 3661 from 3660 >sa1 2031 3662 from 3660 >sa1 2033 3663 from 3660 >sa1 2035 3664 from 3660 >sa1 2470 3671 from 3660 1743 3684 buff 11 1 >sa0 >sa1 1122 1977 3689 from 3684 >sa1 1979 3694 from 3684 >sa1 2022 3690 from 3684 >sa1 2024 3691 from 3684 >sa1 2026 3692 from 3684 >sa1 2028 3693 from 3684 >sa1 2030 3685 from 3684 >sa1 2032 3686 from 3684 >sa1 2034 3687 from 3684 >sa1 2036 3688 from 3684 >sa1 2471 3695 from 3684 1755 3721 not 2 1 >sa0 >sa1 1125 2472 3722 from 3721 >sa1 2473 3723 from 3721 >sa1 1758 3728 not 2 1 >sa0 >sa1 1128 2474 3729 from 3728 >sa1 2475 3730 from 3728 >sa1 1761 3737 buff 7 1 >sa0 >sa1 1129 2066 3739 from 3737 >sa1 2068 3740 from 3737 >sa1 2476 3738 from 3737 >sa1 2477 3741 from 3737 >sa1 2478 3742 from 3737 >sa1 2479 3743 from 3737 >sa1 2480 3744 from 3737 1769 3757 buff 7 1 >sa0 >sa1 1130 2067 3759 from 3757 >sa1 2069 3760 from 3757 >sa1 2481 3758 from 3757 >sa1 2482 3761 from 3757 >sa1 2483 3762 from 3757 >sa1 2484 3763 from 3757 >sa1 2485 3764 from 3757 1777 3795 buff 7 1 >sa0 >sa1 1131 2056 3797 from 3795 >sa1 2058 3798 from 3795 >sa1 2486 3796 from 3795 >sa1 2487 3799 from 3795 >sa1 2488 3800 from 3795 >sa1 2489 3801 from 3795 >sa1 2490 3802 from 3795 1785 3815 buff 7 1 >sa0 >sa1 1132 2057 3817 from 3815 >sa1 2059 3818 from 3815 >sa1 2491 3816 from 3815 >sa1 2492 3819 from 3815 >sa1 2493 3820 from 3815 >sa1 2494 3821 from 3815 >sa1 2495 3822 from 3815 1793 3972 buff 6 1 >sa0 >sa1 1133 2502 3973 from 3972 >sa1 2503 3974 from 3972 >sa1 2504 3975 from 3972 >sa1 2505 3976 from 3972 >sa1 2506 3977 from 3972 >sa1 2507 3978 from 3972 1800 3991 buff 6 1 >sa0 >sa1 1134 2508 3992 from 3991 >sa1 2509 3993 from 3991 >sa1 2510 3994 from 3991 >sa1 2511 3995 from 3991 >sa1 2512 3996 from 3991 >sa1 2513 3997 from 3991 1807 4030 buff 6 1 >sa0 >sa1 1135 2514 4031 from 4030 >sa1 2515 4032 from 4030 >sa1 2516 4033 from 4030 >sa1 2517 4034 from 4030 >sa1 2518 4035 from 4030 >sa1 2519 4036 from 4030 1814 4049 buff 6 1 >sa0 >sa1 1136 2520 4050 from 4049 >sa1 2521 4051 from 4049 >sa1 2522 4052 from 4049 >sa1 2523 4053 from 4049 >sa1 2524 4054 from 4049 >sa1 2525 4055 from 4049 1821 4110 buff 2 1 >sa0 >sa1 818 2526 4093 from 4110 1823 f02887 from 4110 1824 4119 buff 2 1 >sa0 >sa1 939 2070 4120 from 4119 >sa1 2528 4121 from 4119 1827 4127 buff 2 1 >sa0 >sa1 947 2071 4128 from 4127 >sa1 2529 4129 from 4127 1830 4135 buff 2 1 >sa0 >sa1 959 2072 4136 from 4135 >sa1 2530 4137 from 4135 1833 4143 buff 2 1 >sa0 >sa1 919 2073 4144 from 4143 >sa1 2531 4145 from 4143 1836 4151 buff 2 1 >sa0 >sa1 927 2074 4152 from 4151 >sa1 2532 4153 from 4151 1839 4159 buff 2 1 >sa0 >sa1 887 2075 4160 from 4159 >sa1 2533 4161 from 4159 1842 4167 buff 2 1 >sa0 >sa1 895 2076 4168 from 4167 >sa1 2534 4169 from 4167 1845 4175 buff 2 1 >sa0 >sa1 906 2077 4176 from 4175 >sa1 2535 4177 from 4175 1848 4183 buff 2 1 >sa0 >sa1 872 2078 4184 from 4183 >sa1 2536 4185 from 4183 1851 4188 buff 2 1 >sa0 >sa1 635 2079 4190 from 4188 >sa1 2537 4189 from 4188 1854 4276 buff 2 1 >sa0 >sa1 936 2080 4278 from 4276 >sa1 2538 4277 from 4276 1857 4284 buff 2 1 >sa0 >sa1 949 2081 4286 from 4284 >sa1 2539 4285 from 4284 1860 4292 buff 2 1 >sa0 >sa1 957 2082 4294 from 4292 >sa1 2540 4293 from 4292 1863 4300 buff 2 1 >sa0 >sa1 929 2083 4302 from 4300 >sa1 2541 4301 from 4300 1866 4308 buff 2 1 >sa0 >sa1 885 2084 4310 from 4308 >sa1 2542 4309 from 4308 1869 4316 buff 2 1 >sa0 >sa1 897 2085 4318 from 4316 >sa1 2543 4317 from 4316 1872 4324 buff 2 1 >sa0 >sa1 905 2086 4326 from 4324 >sa1 2544 4325 from 4324 1875 4332 buff 2 1 >sa0 >sa1 916 2087 4334 from 4332 >sa1 2545 4333 from 4332 1878 4340 buff 2 1 >sa0 >sa1 875 2088 4342 from 4340 >sa1 2546 4341 from 4340 1881 4631 buff 2 1 >sa0 >sa1 969 2144 4632 from 4631 >sa1 2547 4633 from 4631 1884 4639 buff 2 1 >sa0 >sa1 978 2145 4640 from 4639 >sa1 2548 4641 from 4639 1887 4647 buff 2 1 >sa0 >sa1 989 2146 4648 from 4647 >sa1 2549 4649 from 4647 1890 4655 buff 2 1 >sa0 >sa1 999 2147 4656 from 4655 >sa1 2550 4657 from 4655 1893 4663 buff 2 1 >sa0 >sa1 1009 2148 4664 from 4663 >sa1 2551 4665 from 4663 1896 4671 buff 2 1 >sa0 >sa1 1016 2149 4672 from 4671 >sa1 2552 4673 from 4671 1899 4676 buff 2 1 >sa0 >sa1 666 2150 4678 from 4676 >sa1 2553 4677 from 4676 1902 4764 buff 2 1 >sa0 >sa1 967 2151 4766 from 4764 >sa1 2554 4765 from 4764 1905 4772 buff 2 1 >sa0 >sa1 991 2152 4774 from 4772 >sa1 2555 4773 from 4772 1908 4780 buff 2 1 >sa0 >sa1 1001 2153 4782 from 4780 >sa1 2556 4781 from 4780 1911 4788 buff 2 1 >sa0 >sa1 1007 2154 4790 from 4788 >sa1 2557 4789 from 4788 1914 4796 buff 2 1 >sa0 >sa1 1019 2155 4798 from 4796 >sa1 2558 4797 from 4796 1917 4804 buff 2 1 >sa0 >sa1 981 2156 4806 from 4804 >sa1 2559 4805 from 4804 1920 5082 buff 2 1 >sa0 >sa1 863 2455 5084 from 5082 >sa1 2560 5083 from 5082 1923 5085 buff 2 1 >sa0 >sa1 869 2454 5086 from 5085 >sa1 2561 5087 from 5085 1926 5090 buff 2 1 >sa0 >sa1 847 2457 5092 from 5090 >sa1 2562 5091 from 5090 1929 5093 buff 2 1 >sa0 >sa1 855 2456 5094 from 5093 >sa1 2563 5095 from 5093 1932 5098 buff 2 1 >sa0 >sa1 828 2564 5099 from 5098 2565 5100 from 5098 >sa1 1935 5101 buff 2 1 >sa0 >sa1 829 2566 5102 from 5101 >sa1 2567 5103 from 5101 1938 5108 buff 2 1 >sa0 >sa1 815 2568 5109 from 5108 2569 5110 from 5108 >sa1 1941 5111 buff 2 1 >sa0 >sa1 821 2570 5112 from 5111 >sa1 2571 5113 from 5111 1944 5332 buff 2 1 >sa0 >sa1 804 2497 5334 from 5332 >sa1 2572 5333 from 5332 1947 5335 buff 2 1 >sa0 >sa1 810 2496 5336 from 5335 >sa1 2573 5337 from 5335 1950 5340 buff 2 1 >sa0 >sa1 792 2499 5342 from 5340 >sa1 2574 5341 from 5340 1953 5343 buff 2 1 >sa0 >sa1 798 2498 5344 from 5343 >sa1 2575 5345 from 5343 1956 5348 buff 2 1 >sa0 >sa1 772 2501 5350 from 5348 >sa1 2576 5349 from 5348 1959 5351 buff 2 1 >sa0 >sa1 791 2500 5352 from 5351 >sa1 2577 5353 from 5351 1962 5356 buff 2 1 >sa0 >sa1 758 2578 5357 from 5356 2579 5358 from 5356 >sa1 1965 5359 buff 2 1 >sa0 >sa1 769 2580 5360 from 5359 >sa1 2581 5361 from 5359 1968 5369 buff 2 1 >sa0 >sa1 757 2582 5370 from 5369 >sa1 2583 5371 from 5369 1972 634 not 0 1 >sa0 >sa1 1146 2054 815 and 0 2 >sa0 >sa1 136 1148 2060 845 not 0 1 >sa0 >sa1 1150 2061 847 not 0 1 >sa0 >sa1 1151 2139 926 buff 0 1 >sa0 >sa1 1212 2142 923 buff 0 1 >sa0 >sa1 1217 2309 921 buff 0 1 >sa0 >sa1 1481 2349 2979 and 1 2 1530 1002 2350 2999 or 1 2 >sa1 1537 1003 2387 892 buff 0 1 >sa0 >sa1 1582 2527 887 buff 0 1 >sa0 >sa1 1823 2584 606 not 0 1 >sa0 >sa1 1971 2585 1580 and 1 3 >sa0 727 2096 2107 2586 1586 and 1 3 >sa0 728 2094 2105 2587 1592 and 1 3 >sa0 725 2102 2112 2588 1598 and 1 3 >sa0 722 2100 2110 2589 1604 and 1 3 >sa0 721 2098 2113 2590 656 nand 0 2 >sa0 >sa1 1974 140 2591 1668 and 1 3 >sa0 737 2117 2128 2592 1674 and 1 3 >sa0 718 2125 2135 2593 1680 and 1 3 >sa0 715 2123 2133 2594 1686 and 1 3 >sa0 710 2121 2136 2595 2254 and 1 3 >sa0 726 2163 2174 2596 2260 and 1 3 >sa0 729 2161 2172 2597 2266 and 1 3 >sa0 724 2169 2179 2598 2272 and 1 3 >sa0 723 2167 2177 2599 2278 and 1 3 >sa0 720 2165 2180 2600 2339 and 1 3 >sa0 736 2183 2194 2601 2345 and 1 3 >sa0 719 2191 2201 2602 2351 and 1 3 >sa0 714 2189 2199 2603 2357 and 1 3 >sa0 711 2187 2202 2604 711 and 1 3 >sa0 698 1978 1979 2605 721 and 1 3 >sa0 672 1983 1984 2606 726 and 1 3 >sa0 697 1987 1988 2607 731 and 1 3 >sa0 663 1991 1992 2608 736 and 1 3 >sa0 695 1995 1996 2609 741 and 1 3 >sa0 658 1999 2000 2610 746 and 1 3 >sa0 655 2003 2004 2611 751 and 1 3 >sa0 646 2007 2008 2612 756 and 1 3 >sa0 645 2011 2012 2613 761 and 1 3 >sa0 677 2015 2016 2614 766 and 1 3 >sa0 674 2019 2020 2615 771 and 1 3 >sa0 664 2023 2024 2616 776 and 1 3 >sa0 696 2027 2028 2617 781 and 1 3 >sa0 657 2031 2032 2618 786 and 1 3 >sa0 656 2035 2036 2619 791 and 1 3 >sa0 647 2039 2040 2620 796 and 1 3 >sa0 644 2043 2044 2621 801 and 1 3 >sa0 678 2047 2048 2622 806 and 1 3 >sa0 673 2051 2052 2623 809 not 0 1 >sa0 >sa1 2053 2624 3734 and 1 3 >sa0 702 2475 1123 2625 842 and 1 2 >sa0 2058 2059 2626 858 and 1 3 >sa0 671 2064 2065 2627 881 and 1 2 >sa0 2068 2069 2628 4123 not 1 1 >sa1 2528 2629 4131 not 1 1 >sa1 2529 2630 4139 not 1 1 >sa1 2530 2631 4147 not 1 1 >sa1 2531 2632 4155 not 1 1 >sa1 2532 2633 4163 not 1 1 >sa1 2533 2634 4171 not 1 1 >sa1 2534 2635 4179 not 1 1 >sa1 2535 2636 4187 not 1 1 >sa1 2536 2637 4194 not 1 1 >sa1 2537 2638 4282 not 1 1 >sa1 2538 2639 4290 not 1 1 >sa1 2539 2640 4298 not 1 1 >sa1 2540 2641 4306 not 1 1 >sa1 2541 2642 4314 not 1 1 >sa1 2542 2643 4322 not 1 1 >sa1 2543 2644 4330 not 1 1 >sa1 2544 2645 4338 not 1 1 >sa1 2545 2646 4346 not 1 1 >sa1 2546 2647 1526 buff 5 1 >sa0 >sa1 2092 3206 641 from 1526 >sa1 3207 644 from 1526 >sa1 3208 647 from 1526 >sa1 3209 650 from 1526 >sa1 3210 653 from 1526 >sa1 2653 1540 not 10 1 >sa0 >sa1 2103 3317 1541 from 1540 >sa1 3318 1542 from 1540 >sa1 3319 1543 from 1540 >sa1 3320 1544 from 1540 >sa1 3321 1545 from 1540 >sa1 3322 1546 from 1540 >sa1 3323 1547 from 1540 >sa1 3324 1548 from 1540 >sa1 3325 1549 from 1540 >sa1 3326 1550 from 1540 >sa1 2664 1564 not 10 1 >sa0 >sa1 2114 3327 1565 from 1564 >sa1 3328 1566 from 1564 >sa1 3329 1567 from 1564 >sa1 3330 1568 from 1564 >sa1 3331 1569 from 1564 >sa1 3332 1570 from 1564 >sa1 3333 1571 from 1564 >sa1 3334 1572 from 1564 >sa1 3335 1573 from 1564 >sa1 3336 1574 from 1564 >sa1 2675 1606 buff 5 1 >sa0 >sa1 2115 3211 1607 from 1606 >sa1 3212 660 from 1606 >sa1 3213 663 from 1606 >sa1 3214 666 from 1606 >sa1 3215 669 from 1606 >sa1 2681 1621 not 10 1 >sa0 >sa1 2126 3337 1622 from 1621 >sa1 3338 1623 from 1621 >sa1 3339 1624 from 1621 >sa1 3340 1625 from 1621 >sa1 3341 1626 from 1621 >sa1 3342 1627 from 1621 >sa1 3343 1628 from 1621 >sa1 3344 1629 from 1621 >sa1 3345 1630 from 1621 >sa1 3346 1631 from 1621 >sa1 2692 1645 not 10 1 >sa0 >sa1 2137 3347 1646 from 1645 >sa1 3348 1647 from 1645 >sa1 3349 1648 from 1645 >sa1 3350 1649 from 1645 >sa1 3351 1650 from 1645 >sa1 3352 1651 from 1645 >sa1 3353 1652 from 1645 >sa1 3354 1653 from 1645 >sa1 3355 1654 from 1645 >sa1 3356 1655 from 1645 >sa1 2703 1661 and 1 3 >sa0 733 2119 2130 2704 1688 buff 4 1 >sa0 >sa1 2138 2705 f01993 from 1688 2706 f02978 from 1688 2707 f03949 from 1688 2708 f04939 from 1688 2709 4635 not 1 1 >sa1 2547 2710 4643 not 1 1 >sa1 2548 2711 4651 not 1 1 >sa1 2549 2712 4659 not 1 1 >sa1 2550 2713 4667 not 1 1 >sa1 2551 2714 4675 not 1 1 >sa1 2552 2715 4682 not 1 1 >sa1 2553 2716 4770 not 1 1 >sa1 2554 2717 4778 not 1 1 >sa1 2555 2718 4786 not 1 1 >sa1 2556 2719 4794 not 1 1 >sa1 2557 2720 4802 not 1 1 >sa1 2558 2721 4810 not 1 1 >sa1 2559 2722 2202 buff 5 1 >sa0 >sa1 2141 3217 675 from 2202 >sa1 3218 678 from 2202 >sa1 3219 681 from 2202 >sa1 3220 684 from 2202 >sa1 3221 687 from 2202 >sa1 2728 2215 not 10 1 >sa0 >sa1 2170 3361 2216 from 2215 >sa1 3362 2217 from 2215 >sa1 3363 2218 from 2215 >sa1 3364 2219 from 2215 >sa1 3365 2220 from 2215 >sa1 3366 2221 from 2215 >sa1 3367 2222 from 2215 >sa1 3368 2223 from 2215 >sa1 3369 2224 from 2215 >sa1 3370 2225 from 2215 >sa1 2739 2238 not 10 1 >sa0 >sa1 2181 3371 2239 from 2238 >sa1 3372 2240 from 2238 >sa1 3373 2241 from 2238 >sa1 3374 2242 from 2238 >sa1 3375 2243 from 2238 >sa1 3376 2244 from 2238 >sa1 3377 2245 from 2238 >sa1 3378 2246 from 2238 >sa1 3379 2247 from 2238 >sa1 3380 2248 from 2238 >sa1 2750 2279 buff 5 1 >sa0 >sa1 2140 3222 2280 from 2279 >sa1 3223 692 from 2279 >sa1 3224 695 from 2279 >sa1 3225 698 from 2279 >sa1 3226 701 from 2279 >sa1 2756 2293 not 10 1 >sa0 >sa1 2192 3381 2294 from 2293 >sa1 3382 2295 from 2293 >sa1 3383 2296 from 2293 >sa1 3384 2297 from 2293 >sa1 3385 2298 from 2293 >sa1 3386 2299 from 2293 >sa1 3387 2300 from 2293 >sa1 3388 2301 from 2293 >sa1 3389 2302 from 2293 >sa1 3390 2303 from 2293 >sa1 2767 2316 not 10 1 >sa0 >sa1 2203 3391 2317 from 2316 >sa1 3392 2318 from 2316 >sa1 3393 2319 from 2316 >sa1 3394 2320 from 2316 >sa1 3395 2321 from 2316 >sa1 3396 2322 from 2316 >sa1 3397 2323 from 2316 >sa1 3398 2324 from 2316 >sa1 3399 2325 from 2316 >sa1 3400 2326 from 2316 >sa1 2778 2332 and 1 3 >sa0 732 2185 2196 2779 2430 not 10 1 >sa0 >sa1 2255 3233 2433 from 2430 >sa1 3236 2434 from 2430 >sa1 3257 2439 from 2430 >sa1 3260 2440 from 2430 >sa1 3261 2437 from 2430 >sa1 3264 2438 from 2430 >sa1 3265 2435 from 2430 >sa1 3268 2436 from 2430 >sa1 3269 2431 from 2430 >sa1 3272 2432 from 2430 >sa1 2790 2454 not 10 1 >sa0 >sa1 2256 3234 2457 from 2454 >sa1 3235 2458 from 2454 >sa1 3258 2463 from 2454 >sa1 3259 2464 from 2454 >sa1 3262 2461 from 2454 >sa1 3263 2462 from 2454 >sa1 3266 2459 from 2454 >sa1 3267 2460 from 2454 >sa1 3270 2455 from 2454 >sa1 3271 2456 from 2454 >sa1 2801 2488 not 10 1 >sa0 >sa1 2257 3289 2497 from 2488 >sa1 3292 2498 from 2488 >sa1 3293 2495 from 2488 >sa1 3296 2496 from 2488 >sa1 3297 2493 from 2488 >sa1 3300 2494 from 2488 >sa1 3301 2489 from 2488 >sa1 3304 2490 from 2488 >sa1 3309 2491 from 2488 >sa1 3312 2492 from 2488 >sa1 2812 2512 not 10 1 >sa0 >sa1 2258 3290 2521 from 2512 >sa1 3291 2522 from 2512 >sa1 3294 2519 from 2512 >sa1 3295 2520 from 2512 >sa1 3298 2517 from 2512 >sa1 3299 2518 from 2512 >sa1 3302 2513 from 2512 >sa1 3303 2514 from 2512 >sa1 3310 2515 from 2512 >sa1 3311 2516 from 2512 >sa1 2823 2536 not 1 1 >sa1 2260 2824 2540 not 1 1 >sa1 2262 2825 2544 not 1 1 >sa1 2264 2826 2548 not 1 1 >sa1 2266 2827 2552 not 1 1 >sa1 2268 2828 2556 not 1 1 >sa1 2270 2829 2560 not 1 1 >sa1 2272 2830 2564 not 1 1 >sa1 2274 2831 2566 and 1 3 >sa0 1399 951 2261 2832 2572 and 1 3 >sa0 1401 960 2265 2833 2578 and 1 3 >sa0 1403 921 2269 2834 2584 and 1 3 >sa0 1405 930 2273 2835 2590 and 1 2 >sa0 1407 2259 2836 2595 and 1 2 >sa0 1409 2263 2837 2600 and 1 2 >sa0 1411 2267 2838 2605 and 1 2 >sa0 1413 2271 2839 2630 not 1 1 >sa1 2276 2840 2634 not 1 1 >sa1 2278 2841 2638 not 1 1 >sa1 2280 2842 2642 not 1 1 >sa1 2282 2843 2646 not 1 1 >sa1 2284 2844 2650 not 1 1 >sa1 2286 2845 2654 not 1 1 >sa1 2288 2846 2658 not 1 1 >sa1 2290 2847 2660 and 1 3 >sa0 1439 892 2277 2848 2666 and 1 3 >sa0 1441 898 2281 2849 2672 and 1 3 >sa0 1443 912 2285 2850 2678 and 1 3 >sa0 1445 876 2289 2851 2684 and 1 2 >sa0 1447 2275 2852 2689 and 1 2 >sa0 1449 2279 2853 2694 and 1 2 >sa0 1451 2283 2854 2699 and 1 2 >sa0 1453 2287 2855 2728 not 5 1 >sa0 >sa1 2296 3417 2729 from 2728 >sa1 3418 2730 from 2728 >sa1 3419 2731 from 2728 >sa1 3420 2732 from 2728 >sa1 3421 2733 from 2728 >sa1 2861 2741 not 5 1 >sa0 >sa1 2302 3422 2742 from 2741 >sa1 3423 2743 from 2741 >sa1 3424 2744 from 2741 >sa1 3425 2745 from 2741 >sa1 3426 2746 from 2741 >sa1 2867 2748 and 1 2 >sa0 292 2292 2868 2750 and 1 2 >sa0 288 2291 2869 2752 and 1 2 >sa0 280 2295 2870 2754 and 1 2 >sa0 272 2294 2871 2756 and 1 2 >sa0 264 2293 2872 2758 and 1 2 >sa0 241 2299 2873 2760 and 1 2 >sa0 233 2298 2874 2762 and 1 2 >sa0 225 2297 2875 2764 and 1 2 >sa0 217 2301 2876 2766 and 1 2 >sa0 209 2300 2877 2827 buff 4 1 >sa0 >sa1 2143 3205 638 from 2827 >sa1 3216 672 from 2827 >sa1 3227 706 from 2827 >sa1 3232 714 from 2827 >sa1 2882 2838 not 8 1 >sa0 >sa1 2318 3427 2839 from 2838 >sa1 3428 2840 from 2838 >sa1 3429 2841 from 2838 >sa1 3430 2842 from 2838 >sa1 3431 2843 from 2838 >sa1 3432 2844 from 2838 >sa1 3433 2845 from 2838 >sa1 3434 2846 from 2838 >sa1 2891 2847 not 9 1 >sa0 >sa1 2308 3435 2848 from 2847 >sa1 3436 2849 from 2847 >sa1 3437 2850 from 2847 >sa1 3438 2851 from 2847 >sa1 3439 2852 from 2847 >sa1 3440 2853 from 2847 >sa1 3441 2854 from 2847 >sa1 3442 2855 from 2847 >sa1 3443 2856 from 2847 2901 2885 not 1 1 >sa1 2320 2902 2889 not 1 1 >sa1 2322 2903 2893 not 1 1 >sa1 2324 2904 2897 not 1 1 >sa1 2326 2905 2901 not 1 1 >sa1 2328 2906 2905 not 1 1 >sa1 2330 2907 2906 and 1 2 >sa0 2241 2321 2908 2909 and 1 3 >sa0 2243 974 2325 2909 2913 and 1 3 >sa0 2242 982 2329 2910 2918 and 1 2 >sa0 2331 2319 2911 2922 and 1 2 >sa0 2333 2323 2912 2927 and 1 2 >sa0 2335 2327 2913 2951 not 1 1 >sa1 2338 2914 2955 not 1 1 >sa1 2340 2915 2959 not 1 1 >sa1 2342 2916 2963 not 1 1 >sa1 2344 2917 2967 not 1 1 >sa1 2346 2918 2971 not 1 1 >sa1 2348 2919 2973 and 1 3 >sa0 1528 996 2339 2920 2980 not 1 1 >sa1 2349 2921 2982 and 1 3 >sa0 1531 1014 2343 2922 2988 and 1 3 >sa0 1533 1020 2347 2923 2994 and 1 2 >sa0 1535 2337 2924 3001 and 1 2 >sa0 1538 2341 2925 3006 and 1 2 >sa0 1540 2345 2926 3027 not 1 1 >sa1 2352 2927 3031 not 1 1 >sa1 2354 2928 3035 not 1 1 >sa1 2356 2929 3039 not 1 1 >sa1 2358 2930 3043 not 1 1 >sa1 2360 2931 3047 not 1 1 >sa1 2362 2932 3051 not 1 1 >sa1 2364 2933 3055 not 1 1 >sa1 2366 2934 3056 and 1 3 >sa0 2233 889 2353 2935 3060 and 1 3 >sa0 2234 901 2357 2936 3064 and 1 3 >sa0 2236 909 2361 2937 3068 and 1 3 >sa0 2235 879 2365 2938 3073 and 1 2 >sa0 2367 2351 2939 3078 and 1 2 >sa0 2369 2355 2940 3083 and 1 2 >sa0 2371 2359 2941 3088 and 1 2 >sa0 2373 2363 2942 3099 not 5 1 >sa0 >sa1 2380 3467 3100 from 3099 >sa1 3468 3101 from 3099 >sa1 3469 3102 from 3099 >sa1 3470 3103 from 3099 >sa1 3471 3104 from 3099 >sa0 2948 3112 not 5 1 >sa0 >sa1 2386 3472 3113 from 3112 >sa1 3473 3114 from 3112 >sa1 3474 3115 from 3112 >sa1 3475 3116 from 3112 >sa1 3476 3117 from 3112 >sa1 2954 3119 and 1 2 >sa0 372 2376 2955 3121 and 1 2 >sa0 868 2375 2956 3123 and 1 2 >sa0 862 2379 2957 3125 and 1 2 >sa0 854 2378 2958 3126 and 1 2 >sa0 846 2377 2959 3128 and 1 2 >sa0 331 2383 2960 3130 and 1 2 >sa0 323 2382 2961 3132 and 1 2 >sa0 315 2381 2962 3134 and 1 2 >sa0 307 2385 2963 3136 and 1 2 >sa0 817 2384 2964 3187 not 4 1 >sa0 >sa1 2392 3477 3188 from 3187 >sa1 3478 3189 from 3187 >sa1 3479 3190 from 3187 >sa1 3480 3191 from 3187 >sa1 2969 3193 and 1 2 >sa0 684 2389 2970 3196 and 1 2 >sa0 86 2388 2971 3199 and 1 2 >sa0 685 2391 2972 3202 and 1 2 >sa0 686 2390 2973 3207 not 1 1 >sa1 2394 2974 3211 not 1 1 >sa1 2396 2975 3215 not 1 1 >sa1 2398 2976 3219 not 1 1 >sa1 2400 2977 3223 not 1 1 >sa1 2402 2978 3227 not 1 1 >sa1 2404 2979 3228 and 1 3 >sa0 2251 993 2395 2980 3232 and 1 2 2252 1004 2981 3234 and 1 3 >sa0 2254 1011 2399 2982 3238 and 1 3 >sa0 2253 1023 2403 2983 3243 and 1 2 >sa0 2405 2393 2984 3247 or 1 2 >sa1 2406 1005 2985 3249 and 1 2 >sa0 2407 2397 2986 3253 and 1 2 >sa0 2408 2401 2987 3259 not 1 1 >sa1 2410 2988 3263 not 1 1 >sa1 2412 2989 3267 not 1 1 >sa1 2414 2990 3271 not 1 1 >sa1 2416 2991 3275 not 1 1 >sa1 2418 2992 3279 not 1 1 >sa1 2420 2993 3280 and 1 2 >sa0 2248 2411 2994 3283 and 1 3 >sa0 2250 971 2415 2995 3287 and 1 3 >sa0 2249 985 2419 2996 3292 and 1 2 >sa0 2421 2409 2997 3295 and 1 2 >sa0 2422 2413 2998 3299 and 1 2 >sa0 2423 2417 2999 3305 not 1 1 >sa1 2425 3000 3306 buff 2 1 >sa0 >sa1 2303 3494 3307 from 3306 >sa1 3495 3308 from 3306 3003 3310 buff 2 1 >sa0 >sa1 2304 3496 3311 from 3310 >sa1 3497 3312 from 3310 3006 3317 not 1 1 >sa1 2427 3007 3318 buff 2 1 >sa0 >sa1 2305 3498 3319 from 3318 >sa1 3499 3320 from 3318 3010 3322 buff 2 1 >sa0 >sa1 2306 3500 3323 from 3322 >sa1 3501 3324 from 3322 3013 3326 and 1 2 >sa0 2244 2424 3014 3333 and 1 2 >sa0 2247 2426 3015 3357 not 1 1 >sa1 2431 3016 3361 not 1 1 >sa1 2433 3017 3365 not 1 1 >sa1 2435 3018 3369 not 1 1 >sa1 2437 3019 3373 not 1 1 >sa1 2439 3020 3377 not 1 1 >sa1 2441 3021 3381 not 1 1 >sa1 2443 3022 3385 not 1 1 >sa1 2445 3023 3386 and 1 3 >sa0 2237 954 2432 3024 3390 and 1 3 >sa0 2238 963 2436 3025 3394 and 1 3 >sa0 2240 924 2440 3026 3398 and 1 3 >sa0 2239 933 2444 3027 3403 and 1 2 >sa0 2446 2430 3028 3408 and 1 2 >sa0 2448 2434 3029 3413 and 1 2 >sa0 2450 2438 3030 3418 and 1 2 >sa0 2452 2442 3031 5088 not 1 1 >sa1 2560 3032 5089 not 1 1 >sa1 2561 3033 5096 not 1 1 >sa1 2562 3034 5097 not 1 1 >sa1 2563 3035 3489 buff 2 1 >sa0 >sa1 2459 3516 3490 from 3489 >sa1 3517 3491 from 3489 3038 3493 buff 2 1 >sa0 >sa1 2458 3518 3494 from 3493 >sa1 3519 3495 from 3493 3041 3570 not 10 1 >sa0 >sa1 2460 3237 3579 from 3570 >sa1 3240 3580 from 3570 >sa1 3241 3577 from 3570 >sa1 3244 3578 from 3570 >sa1 3245 3575 from 3570 >sa1 3248 3576 from 3570 >sa1 3249 3573 from 3570 >sa1 3252 3574 from 3570 >sa1 3253 3571 from 3570 >sa1 3256 3572 from 3570 >sa1 3052 3594 not 10 1 >sa0 >sa1 2461 3238 3603 from 3594 >sa1 3239 3604 from 3594 >sa1 3242 3601 from 3594 >sa1 3243 3602 from 3594 >sa1 3246 3599 from 3594 >sa1 3247 3600 from 3594 >sa1 3250 3597 from 3594 >sa1 3251 3598 from 3594 >sa1 3254 3595 from 3594 >sa1 3255 3596 from 3594 >sa1 3063 3622 not 4 1 >sa0 >sa1 2466 3520 3623 from 3622 >sa1 3521 3624 from 3622 >sa1 3522 3625 from 3622 >sa1 3523 3626 from 3622 >sa1 3068 3632 not 2 1 >sa0 >sa1 2469 3524 3633 from 3632 >sa1 3525 3634 from 3632 >sa1 3071 3637 and 1 2 >sa0 691 2462 3072 3640 and 1 2 >sa0 689 2465 3073 3643 and 1 2 >sa0 692 2464 3074 3646 and 1 2 >sa0 690 2463 3075 3672 not 10 1 >sa0 >sa1 2470 3228 3681 from 3672 >sa1 3231 3682 from 3672 >sa1 3273 3679 from 3672 >sa1 3276 3680 from 3672 >sa1 3277 3677 from 3672 >sa1 3280 3678 from 3672 >sa1 3281 3675 from 3672 >sa1 3284 3676 from 3672 >sa1 3285 3673 from 3672 >sa1 3288 3674 from 3672 >sa1 3086 3696 not 10 1 >sa0 >sa1 2471 3229 3705 from 3696 >sa1 3230 3706 from 3696 >sa1 3274 3703 from 3696 >sa1 3275 3704 from 3696 >sa1 3278 3701 from 3696 >sa1 3279 3702 from 3696 >sa1 3282 3699 from 3696 >sa1 3283 3700 from 3696 >sa1 3286 3697 from 3696 >sa1 3287 3698 from 3696 >sa1 3097 3745 not 10 1 >sa0 >sa1 2480 3313 3746 from 3745 >sa1 3316 3747 from 3745 >sa1 3526 3748 from 3745 >sa1 3527 3749 from 3745 >sa1 3528 3750 from 3745 >sa1 3529 3751 from 3745 >sa1 3530 3752 from 3745 >sa1 3531 3753 from 3745 >sa1 3532 3754 from 3745 >sa1 3533 3755 from 3745 >sa1 3108 3765 not 10 1 >sa0 >sa1 2485 3314 3766 from 3765 >sa1 3315 3767 from 3765 >sa1 3534 3768 from 3765 >sa1 3535 3769 from 3765 >sa1 3536 3770 from 3765 >sa1 3537 3771 from 3765 >sa1 3538 3772 from 3765 >sa1 3539 3773 from 3765 >sa1 3540 3774 from 3765 >sa1 3541 3775 from 3765 >sa1 3119 3803 not 10 1 >sa0 >sa1 2490 3305 3804 from 3803 >sa1 3308 3805 from 3803 >sa1 3542 3806 from 3803 >sa1 3543 3807 from 3803 >sa1 3544 3808 from 3803 >sa1 3545 3809 from 3803 >sa1 3546 3810 from 3803 >sa1 3547 3811 from 3803 >sa1 3548 3812 from 3803 >sa1 3549 3813 from 3803 >sa1 3130 3823 not 10 1 >sa0 >sa1 2495 3306 3824 from 3823 >sa1 3307 3825 from 3823 >sa1 3550 3826 from 3823 >sa1 3551 3827 from 3823 >sa1 3552 3828 from 3823 >sa1 3553 3829 from 3823 >sa1 3554 3830 from 3823 >sa1 3555 3831 from 3823 >sa1 3556 3832 from 3823 >sa1 3557 3833 from 3823 >sa1 3141 5338 not 1 1 >sa1 2572 3142 5339 not 1 1 >sa1 2573 3143 5346 not 1 1 >sa1 2574 3144 5347 not 1 1 >sa1 2575 3145 5354 not 1 1 >sa1 2576 3146 5355 not 1 1 >sa1 2577 3147 3979 not 10 1 >sa0 >sa1 2507 3564 3980 from 3979 >sa1 3565 3981 from 3979 >sa1 3566 3982 from 3979 >sa1 3567 3983 from 3979 >sa1 3568 3984 from 3979 >sa1 3569 3985 from 3979 >sa1 3570 3986 from 3979 >sa1 3571 3987 from 3979 >sa1 3572 3988 from 3979 >sa1 3573 3989 from 3979 >sa1 3158 3998 not 10 1 >sa0 >sa1 2513 3574 3999 from 3998 >sa1 3575 4000 from 3998 >sa1 3576 4001 from 3998 >sa1 3577 4002 from 3998 >sa1 3578 4003 from 3998 >sa1 3579 4004 from 3998 >sa1 3580 4005 from 3998 >sa1 3581 4006 from 3998 >sa1 3582 4007 from 3998 >sa1 3583 4008 from 3998 >sa1 3169 4037 not 10 1 >sa0 >sa1 2519 3584 4038 from 4037 >sa1 3585 4039 from 4037 >sa1 3586 4040 from 4037 >sa1 3587 4041 from 4037 >sa1 3588 4042 from 4037 >sa1 3589 4043 from 4037 >sa1 3590 4044 from 4037 >sa1 3591 4045 from 4037 >sa1 3592 4046 from 4037 >sa1 3593 4047 from 4037 >sa1 3180 4056 not 10 1 >sa0 >sa1 2525 3594 4057 from 4056 >sa1 3595 4058 from 4056 >sa1 3596 4059 from 4056 >sa1 3597 4060 from 4056 >sa1 3598 4061 from 4056 >sa1 3599 4062 from 4056 >sa1 3600 4063 from 4056 >sa1 3601 4064 from 4056 >sa1 3602 4065 from 4056 >sa1 3603 4066 from 4056 >sa1 3191 4094 buff 2 1 >sa0 >sa1 2526 3204 592 from 4094 3193 f02889 from 4094 3194 5104 not 1 1 >sa1 2564 3195 5105 not 1 1 >sa1 2567 3196 5114 not 1 1 >sa1 2568 3197 5115 not 1 1 >sa1 2571 3198 5362 not 1 1 >sa1 2578 3199 5363 not 1 1 >sa1 2581 3200 5366 buff 2 1 >sa0 >sa1 2307 3611 5367 from 5366 3612 5368 from 5366 >sa1 3203 5373 not 1 1 >sa1 2583 3357 993 buff 0 1 >sa0 >sa1 2705 3358 978 buff 0 1 >sa0 >sa1 2706 3359 949 buff 0 1 >sa0 >sa1 2707 3360 939 buff 0 1 >sa0 >sa1 2708 3401 2568 and 1 3 >sa0 952 1400 2824 3402 2574 and 1 3 >sa0 961 1402 2826 3403 2580 and 1 3 >sa0 922 1404 2828 3404 2586 and 1 3 >sa0 932 1406 2830 3405 2592 and 1 2 >sa0 1408 2823 3406 2597 and 1 2 >sa0 1410 2825 3407 2602 and 1 2 >sa0 1412 2827 3408 2607 and 1 2 >sa0 1414 2829 3409 2662 and 1 3 >sa0 893 1440 2840 3410 2668 and 1 3 >sa0 899 1442 2842 3411 2674 and 1 3 >sa0 913 1444 2844 3412 2680 and 1 3 >sa0 878 1446 2846 3413 2686 and 1 2 >sa0 1448 2839 3414 2691 and 1 2 >sa0 1450 2841 3415 2696 and 1 2 >sa0 1452 2843 3416 2701 and 1 2 >sa0 1454 2845 3444 2907 and 1 2 >sa0 2220 2902 3445 2910 and 1 3 >sa0 975 2221 2904 3446 2914 and 1 3 >sa0 984 2222 2906 3447 2920 and 1 2 >sa0 2332 2901 3448 2924 and 1 2 >sa0 2334 2903 3449 2929 and 1 2 >sa0 2336 2905 3450 2975 and 1 3 >sa0 997 1529 2914 3451 2984 and 1 3 >sa0 1015 1532 2916 3452 2990 and 1 3 >sa0 1022 1534 2918 3453 2996 and 1 2 >sa0 1536 2913 3454 3003 and 1 2 >sa0 1539 2915 3455 3008 and 1 2 >sa0 1541 2917 3456 3015 and 2 2 >sa0 >sa1 2920 2350 3690 3017 from 3015 3714 3016 from 3015 >sa1 3459 3057 and 1 3 >sa0 890 2214 2927 3460 3061 and 1 3 >sa0 902 2212 2929 3461 3065 and 1 3 >sa0 910 2213 2931 3462 3069 and 1 3 >sa0 881 2215 2933 3463 3075 and 1 2 >sa0 2368 2926 3464 3080 and 1 2 >sa0 2370 2928 3465 3085 and 1 2 >sa0 2372 2930 3466 3090 and 1 2 >sa0 2374 2932 3481 3229 and 1 3 >sa0 994 2228 2974 3482 3233 not 1 1 >sa1 2980 3483 3235 and 1 3 >sa0 1012 2227 2976 3484 3239 and 1 3 >sa0 1025 2229 2978 3485 3244 and 1 2 >sa0 2206 2973 3486 3250 and 1 2 >sa0 2208 2975 3487 3254 and 1 2 >sa0 2207 2977 3488 3281 and 1 2 >sa0 2230 2988 3489 3284 and 1 3 >sa0 972 2231 2990 3490 3288 and 1 3 >sa0 987 2232 2992 3491 3293 and 1 2 >sa0 2209 2987 3492 3296 and 1 2 >sa0 2211 2989 3493 3300 and 1 2 >sa0 2210 2991 3502 3327 and 1 2 >sa0 2225 2999 3503 3334 and 1 2 >sa0 2224 3006 3504 3387 and 1 3 >sa0 955 2218 3016 3505 3391 and 1 3 >sa0 964 2216 3018 3506 3395 and 1 3 >sa0 925 2217 3020 3507 3399 and 1 3 >sa0 935 2219 3022 3508 3405 and 1 2 >sa0 2447 3015 3509 3410 and 1 2 >sa0 2449 3017 3510 3415 and 1 2 >sa0 2451 3019 3511 3420 and 1 2 >sa0 2453 3021 3512 3422 nand 1 2 >sa1 2454 3031 3513 3423 nand 1 2 >sa1 2455 3032 3514 3431 nand 1 2 >sa1 2456 3033 3515 3432 nand 1 2 >sa1 2457 3034 3558 3895 nand 1 2 >sa1 2496 3141 3559 3896 nand 1 2 >sa1 2497 3142 3560 3904 nand 1 2 >sa1 2498 3143 3561 3905 nand 1 2 >sa1 2499 3144 3562 3913 nand 1 2 >sa1 2500 3145 3563 3914 nand 1 2 >sa1 2501 3146 3604 889 buff 0 1 >sa0 >sa1 3193 3605 5106 nand 1 2 >sa1 2566 3194 3606 5107 nand 1 2 >sa1 2565 3195 3607 5116 nand 1 2 >sa1 2570 3196 3608 5117 nand 1 2 >sa1 2569 3197 3609 5364 nand 1 2 >sa1 2580 3198 3610 5365 nand 1 2 >sa1 2579 3199 3613 593 not 0 1 >sa0 >sa1 3204 3614 2880 and 1 2 >sa0 3434 3437 3615 2881 and 1 2 >sa0 2313 3442 3616 1579 and 1 3 >sa0 746 3318 2106 3617 1585 and 1 3 >sa0 748 3320 2104 3618 1591 and 1 3 >sa0 744 3322 2111 3619 1597 and 1 3 >sa0 742 3324 2109 3620 1603 and 1 3 >sa0 740 3326 2108 3621 1667 and 1 3 >sa0 734 3340 2127 3622 1673 and 1 3 >sa0 739 3342 2134 3623 1679 and 1 3 >sa0 716 3344 2132 3624 1685 and 1 3 >sa0 713 3346 2131 3625 2876 and 1 2 >sa0 3432 3438 3626 2877 and 1 2 >sa0 2315 3439 3627 2253 and 1 3 >sa0 747 3362 2173 3628 2259 and 1 3 >sa0 749 3364 2171 3629 2265 and 1 3 >sa0 745 3366 2178 3630 2271 and 1 3 >sa0 743 3368 2176 3631 2277 and 1 3 >sa0 741 3370 2175 3632 2338 and 1 3 >sa0 735 3384 2193 3633 2344 and 1 3 >sa0 738 3386 2200 3634 2350 and 1 3 >sa0 717 3388 2198 3635 2356 and 1 3 >sa0 712 3390 2197 3636 2868 and 1 2 >sa0 3428 3435 3637 2869 and 1 2 >sa0 2311 3436 3638 710 and 1 3 >sa0 700 3231 1977 3639 2872 and 1 2 >sa0 3430 3440 3640 2873 and 1 2 >sa0 2317 3441 3641 720 and 1 3 >sa0 641 3236 1982 3642 725 and 1 3 >sa0 699 3240 1986 3643 730 and 1 3 >sa0 661 3244 1990 3644 735 and 1 3 >sa0 693 3248 1994 3645 740 and 1 3 >sa0 687 3252 1998 3646 745 and 1 3 >sa0 659 3256 2002 3647 750 and 1 3 >sa0 681 3260 2006 3648 755 and 1 3 >sa0 680 3264 2010 3649 760 and 1 3 >sa0 675 3268 2014 3650 765 and 1 3 >sa0 642 3272 2018 3651 770 and 1 3 >sa0 662 3276 2022 3652 775 and 1 3 >sa0 694 3280 2026 3653 780 and 1 3 >sa0 688 3284 2030 3654 785 and 1 3 >sa0 660 3288 2034 3655 790 and 1 3 >sa0 682 3292 2038 3656 795 and 1 3 >sa0 679 3296 2042 3657 800 and 1 3 >sa0 676 3300 2046 3658 805 and 1 3 >sa0 643 3304 2050 3659 841 and 1 3 >sa0 120 3308 2057 3660 857 and 1 3 >sa0 640 3312 2063 3661 880 and 1 3 >sa0 118 3316 2067 3662 1660 and 1 3 >sa0 730 3338 2129 3663 2331 and 1 3 >sa0 731 3382 2195 3664 2569 or 1 2 2831 3401 3665 2575 or 1 2 2832 3402 3666 2581 or 1 2 2833 3403 3667 2587 or 1 2 2834 3404 3668 2593 or 1 3 >sa1 2835 3405 950 3669 2598 or 1 3 >sa1 2836 3406 962 3670 2603 or 1 3 >sa1 2837 3407 920 3671 2608 or 1 3 >sa1 2838 3408 931 3672 2663 or 1 2 2847 3409 3673 2669 or 1 2 2848 3410 3674 2675 or 1 2 2849 3411 3675 2681 or 1 2 2850 3412 3676 2687 or 1 3 >sa1 2851 3413 891 3677 2692 or 1 3 >sa1 2852 3414 900 3678 2697 or 1 3 >sa1 2853 3415 911 3679 2702 or 1 3 >sa1 2854 3416 877 3680 2747 and 1 2 >sa0 811 3417 3681 2749 and 1 2 >sa0 805 3418 3682 2751 and 1 2 >sa0 799 3420 3683 2753 and 1 2 >sa0 793 3419 3684 2755 and 1 2 >sa0 786 3421 3685 2757 and 1 2 >sa0 773 3422 3686 2759 and 1 2 >sa0 766 3423 3687 2761 and 1 2 >sa0 761 3424 3688 2763 and 1 2 >sa0 754 3425 3689 2765 and 1 2 >sa0 750 3426 3691 2857 not 8 1 >sa0 >sa1 3443 3900 2858 from 2857 >sa1 3901 2859 from 2857 >sa1 3902 2860 from 2857 >sa1 3903 2861 from 2857 >sa1 3904 2862 from 2857 >sa1 3905 2863 from 2857 >sa1 3906 2864 from 2857 >sa1 3907 2865 from 2857 >sa1 3700 2908 or 1 2 2907 3444 3701 2911 or 1 2 2908 3445 3702 2915 or 1 2 2909 3446 3703 2925 or 1 3 >sa1 2911 3448 973 3704 2930 or 1 3 >sa1 2912 3449 983 3705 2933 or 2 2 >sa0 >sa1 2910 3447 3899 2935 from 2933 3910 2934 from 2933 3708 2976 or 1 2 2919 3450 3709 2985 or 1 2 2921 3451 3710 2991 or 1 2 2922 3452 3711 2997 or 1 3 >sa1 2923 3453 995 3712 3004 or 1 3 >sa1 2924 3454 1013 3713 3009 or 1 3 >sa1 2925 3455 1021 3715 3058 or 1 2 2934 3459 3716 3062 or 1 2 2935 3460 3717 3066 or 1 2 2936 3461 3718 3070 or 1 2 2937 3462 3719 3076 or 1 3 >sa1 2938 3463 888 3720 3081 or 1 3 >sa1 2939 3464 903 3721 3086 or 1 3 >sa1 2940 3465 908 3722 3091 or 1 3 >sa1 2941 3466 880 3723 3118 and 1 2 >sa0 870 3467 3724 3120 and 1 2 >sa0 864 3468 3725 3122 and 1 2 >sa0 856 3470 3726 3124 and 1 2 >sa0 848 3469 3727 3127 and 1 2 >sa0 836 3472 3728 3129 and 1 2 >sa0 834 3473 3729 3131 and 1 2 >sa0 823 3474 3730 3133 and 1 2 >sa0 819 3475 3731 3135 and 1 2 >sa0 812 3476 3732 3147 or 5 2 >sa0 >sa1 3471 2958 3832 1788 from 3147 >sa1 3833 2035 from 3147 >sa1 3939 3148 from 3147 3940 3149 from 3147 3941 3150 from 3147 3738 3192 and 1 2 >sa0 683 3477 3739 3195 and 1 2 >sa0 87 3478 3740 3198 and 1 2 >sa0 653 3479 3741 3201 and 1 2 >sa0 654 3480 3742 3230 or 1 2 2979 3481 3743 3236 or 1 2 2981 3483 3744 3240 or 1 2 2982 3484 3745 3245 or 1 3 >sa1 2983 3485 992 3746 3251 or 1 3 >sa1 2985 3486 1010 3747 3255 or 1 3 >sa1 2986 3487 1024 3748 3282 or 1 2 2993 3488 3749 3285 or 1 2 2994 3489 3750 3289 or 1 2 2995 3490 3751 3297 or 1 3 >sa1 2997 3492 970 3752 3301 or 1 3 >sa1 2998 3493 986 3753 3309 not 1 1 >sa1 3495 3754 3313 not 1 1 >sa1 3497 3755 3321 not 1 1 >sa1 3499 3756 3325 not 1 1 >sa1 3501 3757 3328 or 1 2 3013 3502 3758 3329 and 1 3 >sa0 2245 940 3496 3759 3335 or 1 2 3014 3503 3760 3336 and 1 3 >sa0 2246 943 3500 3761 3341 and 1 2 >sa0 2428 3494 3762 3345 and 1 2 >sa0 2429 3498 3763 3388 or 1 2 3023 3504 3764 3392 or 1 2 3024 3505 3765 3396 or 1 2 3025 3506 3766 3400 or 1 2 3026 3507 3767 3406 or 1 3 >sa1 3027 3508 953 3768 3411 or 1 3 >sa1 3028 3509 965 3769 3416 or 1 3 >sa1 3029 3510 923 3770 3421 or 1 3 >sa1 3030 3511 934 3771 3424 nand 3 2 >sa0 >sa1 3512 3513 3992 3425 from 3424 >sa1 3993 3426 from 3424 >sa1 3994 3427 from 3424 3775 3433 nand 3 2 >sa0 >sa1 3514 3515 3995 3434 from 3433 >sa1 3996 3435 from 3433 >sa1 3997 3436 from 3433 3779 3492 not 1 1 >sa1 3517 3780 3496 not 1 1 >sa1 3519 3781 3780 and 1 3 >sa0 117 3527 2481 3782 3783 and 1 3 >sa0 126 3529 2484 3783 3786 and 1 3 >sa0 127 3531 2483 3784 3789 and 1 3 >sa0 128 3533 2482 3785 3838 and 1 3 >sa0 131 3543 2491 3786 3841 and 1 3 >sa0 129 3545 2494 3787 3844 and 1 3 >sa0 119 3547 2493 3788 3847 and 1 3 >sa0 130 3549 2492 3789 3897 nand 3 2 >sa0 >sa1 3558 3559 4000 3898 from 3897 >sa1 4001 3899 from 3897 >sa1 4002 3900 from 3897 3793 3906 nand 3 2 >sa0 >sa1 3560 3561 4003 3907 from 3906 >sa1 4004 3908 from 3906 >sa1 4005 3909 from 3906 3797 3915 nand 2 2 >sa0 >sa1 3562 3563 4006 3916 from 3915 4007 3917 from 3915 3800 4011 and 1 3 >sa0 122 3565 2509 3801 4014 and 1 3 >sa0 113 3567 2508 3802 4017 and 1 3 >sa0 53 3569 2512 3803 4020 and 1 3 >sa0 114 3571 2511 3804 4023 and 1 3 >sa0 115 3573 2510 3805 4069 and 1 3 >sa0 52 3585 2521 3806 4072 and 1 3 >sa0 112 3587 2520 3807 4075 and 1 3 >sa0 116 3589 2524 3808 4078 and 1 3 >sa0 121 3591 2523 3809 4081 and 1 3 >sa0 701 3593 2522 3810 5206 nand 2 2 >sa0 >sa1 3607 3608 4014 5207 from 5206 4015 5208 from 5206 >sa1 3813 5209 nand 2 2 >sa0 >sa1 3605 3606 4016 5210 from 5209 >sa1 4017 5211 from 5209 3816 5307 and 2 2 >sa0 >sa1 3482 2984 3999 5308 from 5307 >sa1 4018 5309 from 5307 3819 5322 or 2 2 >sa0 >sa1 2996 3491 4019 5323 from 5322 4020 5324 from 5322 >sa1 3822 5372 not 1 1 >sa1 3611 3823 5375 nand 1 2 >sa1 3612 3203 3824 5399 nand 2 2 >sa0 >sa1 3609 3610 4025 5400 from 5399 >sa1 4026 5401 from 5399 3827 2813 not 1 1 >sa1 3690 3828 3197 or 1 2 >sa1 3739 2970 3829 3200 or 1 2 >sa1 3740 2971 3830 3203 or 1 2 >sa1 3741 2972 3831 3194 or 1 2 >sa1 3738 2969 3834 2570 not 1 1 >sa1 3664 3835 2576 not 1 1 >sa1 3665 3836 2582 not 1 1 >sa1 3666 3837 2588 not 1 1 >sa1 3667 3838 2664 not 1 1 >sa1 3672 3839 2670 not 1 1 >sa1 3673 3840 2676 not 1 1 >sa1 3674 3841 2682 not 1 1 >sa1 3675 3842 2767 or 6 2 >sa0 >sa1 3681 2868 4051 1159 from 2767 >sa1 4060 1411 from 2767 >sa1 4112 2768 from 2767 4113 2769 from 2767 4114 2770 from 2767 >sa0 4115 2771 from 2767 3849 2772 or 5 2 >sa0 >sa1 3682 2869 4050 1144 from 2772 >sa1 4059 1403 from 2772 >sa1 4116 2773 from 2772 4117 2774 from 2772 4118 2775 from 2772 3855 2776 or 5 2 >sa0 >sa1 3683 2870 4049 1127 from 2776 >sa1 4058 1381 from 2776 >sa1 4119 2777 from 2776 4120 2778 from 2776 4121 2779 from 2776 3861 2780 or 5 2 >sa0 >sa1 3684 2871 4048 1110 from 2780 >sa1 4057 1358 from 2780 >sa1 4122 2781 from 2780 4123 2782 from 2780 4124 2783 from 2780 3867 2784 or 5 2 >sa0 >sa1 3685 2872 4047 1096 from 2784 >sa1 4056 1340 from 2784 >sa1 4125 2785 from 2784 4126 2786 from 2784 4127 2787 from 2784 3873 2788 or 7 2 >sa0 >sa1 3686 2873 4046 1070 from 2788 >sa1 4055 1323 from 2788 >sa1 4128 2789 from 2788 4129 2790 from 2788 >sa0 4130 2791 from 2788 4131 2792 from 2788 4132 2793 from 2788 >sa0 3881 2794 or 5 2 >sa0 >sa1 3687 2874 4045 1063 from 2794 >sa1 4054 1317 from 2794 >sa1 4133 2795 from 2794 4134 2796 from 2794 4135 2797 from 2794 3887 2798 or 5 2 >sa0 >sa1 3688 2875 4044 1045 from 2798 >sa1 4053 1300 from 2798 >sa1 4136 2799 from 2798 4137 2800 from 2798 4138 2801 from 2798 3893 2802 or 5 2 >sa0 >sa1 3689 2876 4043 1030 from 2802 >sa1 4052 1285 from 2802 >sa1 4139 2803 from 2802 4140 2804 from 2802 4141 2805 from 2802 3908 2912 not 1 1 >sa1 3701 3909 2916 not 1 1 >sa1 3702 3911 2936 not 2 1 >sa0 >sa1 3700 4142 2938 from 2936 4143 2937 from 2936 >sa1 3914 2977 not 1 1 >sa1 3708 3915 2986 not 1 1 >sa1 3709 3916 2992 not 1 1 >sa1 3710 3917 3059 not 1 1 >sa1 3715 3918 3063 not 1 1 >sa1 3716 3919 3067 not 1 1 >sa1 3717 3920 3071 not 1 1 >sa1 3718 3921 3137 or 5 2 >sa0 >sa1 3724 2955 4072 1828 from 3137 4073 1836 from 3137 4086 2088 from 3137 4087 2105 from 3137 4162 3138 from 3137 3927 3139 or 5 2 >sa0 >sa1 3725 2956 4071 1822 from 3139 >sa1 4085 2080 from 3139 >sa1 4163 3140 from 3139 4164 3141 from 3139 4165 3142 from 3139 3933 3143 or 5 2 >sa0 >sa1 3726 2957 4070 1805 from 3143 >sa1 4084 2058 from 3143 >sa1 4166 3144 from 3143 4167 3145 from 3143 4168 3146 from 3143 3942 3151 or 5 2 >sa0 >sa1 3727 2959 4066 1774 from 3151 >sa1 4079 2017 from 3151 >sa1 4169 3152 from 3151 4170 3153 from 3151 4171 3154 from 3151 3948 3155 or 7 2 >sa0 >sa1 3728 2960 4065 1748 from 3155 >sa1 4078 2000 from 3155 >sa1 4172 3156 from 3155 4173 3157 from 3155 >sa0 4174 3158 from 3155 4175 3159 from 3155 4176 3160 from 3155 >sa0 3956 3161 or 5 2 >sa0 >sa1 3729 2961 4064 1741 from 3161 >sa1 4077 1994 from 3161 >sa1 4177 3162 from 3161 4178 3163 from 3161 4179 3164 from 3161 3962 3165 or 5 2 >sa0 >sa1 3730 2962 4062 1711 from 3165 4063 1723 from 3165 4075 1965 from 3165 4076 1977 from 3165 4180 3166 from 3165 3968 3167 or 6 2 >sa0 >sa1 3731 2963 4029 1848 from 3167 >sa0 4030 2118 from 3167 >sa0 4061 1703 from 3167 4074 1957 from 3167 4181 3168 from 3167 4182 3169 from 3167 3975 3231 not 1 1 >sa1 3742 3976 3237 not 1 1 >sa1 3743 3977 3241 not 1 1 >sa1 3744 3978 3286 not 1 1 >sa1 3749 3979 3290 not 1 1 >sa1 3750 3980 3330 and 1 3 >sa0 941 2223 3754 3981 3337 and 1 3 >sa0 945 2226 3756 3982 3342 and 1 2 >sa0 2204 3753 3983 3346 and 1 2 >sa0 2205 3755 3984 3348 not 2 1 >sa0 >sa1 3757 4028 2815 from 3348 4187 3349 from 3348 3987 3352 not 1 1 >sa1 3759 3988 3389 not 1 1 >sa1 3763 3989 3393 not 1 1 >sa1 3764 3990 3397 not 1 1 >sa1 3765 3991 3401 not 1 1 >sa1 3766 3998 3845 and 1 3 >sa0 3714 3548 3556 4008 5126 or 2 2 >sa0 >sa1 3723 2954 4194 5128 from 5126 >sa1 4218 5127 from 5126 4011 5178 or 2 2 >sa0 >sa1 3680 2867 4195 5180 from 5178 >sa1 4222 5179 from 5178 4021 5325 not 2 1 >sa0 >sa1 3748 4261 5326 from 5325 >sa1 4262 5327 from 5325 4024 5374 nand 1 2 >sa1 2582 3822 4027 2810 not 1 1 >sa1 3899 4031 635 and 1 2 3828 1973 4032 2878 and 1 3 >sa0 24 3433 3906 4033 2879 and 1 3 >sa0 25 2312 3907 4034 2874 and 1 3 >sa0 26 3431 3904 4035 2875 and 1 3 >sa0 81 2314 3905 4036 703 and 1 2 3829 1975 4037 2866 and 1 3 >sa0 79 3427 3900 4038 2867 and 1 3 >sa0 23 2310 3901 4039 2870 and 1 3 >sa0 82 3429 3902 4040 2871 and 1 3 >sa0 80 2316 3903 4041 716 and 1 2 3830 1980 4042 819 and 1 2 3831 2055 4067 1789 and 2 2 >sa0 >sa1 3832 998 4394 1790 from 1789 >sa0 4395 1791 from 1789 >sa1 4080 2036 and 3 2 >sa0 >sa1 1000 3833 4453 2037 from 2036 >sa0 4454 2038 from 2036 >sa0 4455 2039 from 2036 >sa1 4088 2611 and 2 2 >sa0 >sa1 3834 3668 4484 2612 from 2611 >sa1 4485 2613 from 2611 4091 2615 and 2 2 >sa0 >sa1 3835 3669 4486 2616 from 2615 >sa1 4487 2617 from 2615 4094 2619 and 2 2 >sa0 >sa1 3836 3670 4488 2620 from 2619 >sa1 4489 2621 from 2619 4097 2623 and 2 2 >sa0 >sa1 3837 3671 4490 2624 from 2623 >sa1 4491 2625 from 2623 4100 2705 and 2 2 >sa0 >sa1 3838 3676 4492 2706 from 2705 >sa1 4493 2707 from 2705 4103 2709 and 2 2 >sa0 >sa1 3839 3677 4494 2710 from 2709 >sa1 4495 2711 from 2709 4106 2713 and 2 2 >sa0 >sa1 3840 3678 4496 2714 from 2713 >sa1 4497 2715 from 2713 4109 2717 and 2 2 >sa0 >sa1 3841 3679 4498 2718 from 2717 >sa1 4499 2719 from 2717 4144 2939 and 2 2 >sa0 >sa1 3908 3703 4501 2941 from 2939 4505 2940 from 2939 >sa1 4147 2942 and 2 2 >sa0 >sa1 3909 3704 4500 2944 from 2942 4506 2943 from 2942 >sa1 4150 2945 buff 2 1 >sa0 >sa1 3910 4507 2946 from 2945 >sa1 4508 2947 from 2945 >sa1 4153 3012 and 2 2 >sa0 >sa1 3914 3711 4504 3014 from 3012 4509 3013 from 3012 >sa1 4156 3018 and 2 2 >sa0 >sa1 3915 3712 4503 3020 from 3018 4510 3019 from 3018 >sa1 4159 3021 and 2 2 >sa0 >sa1 3916 3713 4502 3023 from 3021 4511 3022 from 3021 >sa1 4183 3331 or 1 2 3758 3980 4184 3338 or 1 2 3760 3981 4185 3343 or 1 3 >sa1 3761 3982 942 4186 3347 or 1 3 >sa1 3762 3983 944 4188 3428 not 2 1 >sa0 >sa1 3994 4517 3429 from 3428 >sa1 4518 3430 from 3428 >sa1 4191 3437 not 2 1 >sa0 >sa1 3997 4519 3438 from 3437 >sa1 4520 3439 from 3437 >sa1 4196 3514 and 1 3 >sa0 3996 3993 3516 4197 3836 and 1 3 >sa0 3987 3542 3550 4198 3852 and 1 2 3920 3722 4199 5311 not 1 1 >sa1 4018 4200 3901 not 2 1 >sa0 >sa1 4002 4539 3902 from 3901 >sa1 4540 3903 from 3901 >sa1 4203 3910 not 2 1 >sa0 >sa1 4005 4541 3911 from 3910 >sa1 4542 3912 from 3910 >sa1 4206 3934 buff 2 1 >sa0 >sa1 4006 4543 3935 from 3934 >sa1 4544 3936 from 3934 4209 3938 buff 2 1 >sa0 >sa1 4007 4545 3939 from 3938 >sa1 4546 3940 from 3938 4212 4652 buff 2 1 >sa0 >sa1 3939 4393 4654 from 4652 >sa1 4620 4653 from 4652 4215 4783 buff 2 1 >sa0 >sa1 3940 4452 4784 from 4783 >sa1 4636 4785 from 4783 4219 5137 buff 2 1 >sa0 >sa1 3941 4522 5138 from 5137 >sa1 4661 5139 from 5137 4223 5212 not 1 1 >sa1 4014 4224 5213 not 1 1 >sa1 4017 4225 5260 and 2 2 >sa0 >sa1 3918 3720 4529 5262 from 5260 >sa1 4703 5261 from 5260 4228 5263 and 2 2 >sa0 >sa1 3919 3721 4528 5264 from 5263 >sa1 4704 5265 from 5263 4231 5268 and 2 2 >sa0 >sa1 3991 3770 4531 5270 from 5268 >sa1 4705 5269 from 5268 4234 5271 and 2 2 >sa0 >sa1 3917 3719 4530 5272 from 5271 >sa1 4706 5273 from 5271 4237 5276 and 2 2 >sa0 >sa1 3989 3768 4707 5277 from 5276 4708 5278 from 5276 >sa1 4240 5279 and 2 2 >sa0 >sa1 3990 3769 4709 5280 from 5279 >sa1 4710 5281 from 5279 4243 5289 and 2 2 >sa0 >sa1 3988 3767 4711 5290 from 5289 >sa1 4712 5291 from 5289 4246 5296 and 2 2 >sa0 >sa1 3976 3746 4537 5298 from 5296 >sa1 4713 5297 from 5296 4249 5299 and 2 2 >sa0 >sa1 3977 3747 4536 5300 from 5299 >sa1 4714 5301 from 5299 4252 5304 and 2 2 >sa0 >sa1 3975 3745 4538 5306 from 5304 >sa1 4715 5305 from 5304 4255 5312 and 2 2 >sa0 >sa1 3978 3751 4716 5313 from 5312 4717 5314 from 5312 >sa1 4258 5315 and 2 2 >sa0 >sa1 3979 3752 4718 5316 from 5315 >sa1 4719 5317 from 5315 4263 5328 not 1 1 >sa1 4019 4264 5396 nand 2 2 >sa0 >sa1 4024 3823 4722 5397 from 5396 4723 5398 from 5396 >sa1 4267 5403 not 1 1 >sa1 4026 4268 1286 and 1 2 >sa0 937 4052 4269 2809 not 1 1 >sa1 4142 4270 597 not 1 1 >sa1 4028 4271 1031 and 1 2 >sa0 4043 938 4272 636 not 0 1 >sa0 >sa1 4031 4273 637 or 1 4 >sa1 4032 4033 3614 3615 4274 671 or 1 4 >sa1 4034 4035 3625 3626 4275 704 not 0 1 >sa0 >sa1 4036 4276 705 or 1 4 >sa1 4037 4038 3636 3637 4277 713 or 1 4 >sa1 4039 4040 3639 3640 4278 717 not 0 1 >sa0 >sa1 4041 4279 820 not 0 1 >sa0 >sa1 4042 4280 1046 and 3 2 >sa0 >sa1 4044 946 4744 1047 from 1046 >sa0 4745 1048 from 1046 >sa0 4746 1049 from 1046 >sa1 4284 1064 and 5 2 >sa0 >sa1 4045 958 4748 1065 from 1064 >sa1 4749 1066 from 1064 >sa0 4750 1067 from 1064 >sa0 4751 1068 from 1064 >sa1 4752 1069 from 1064 >sa1 4290 1071 and 6 2 >sa0 >sa1 918 4046 4753 1072 from 1071 >sa1 4754 1073 from 1071 4755 1074 from 1071 >sa1 4756 1075 from 1071 >sa1 4757 1076 from 1071 >sa1 4758 1077 from 1071 >sa1 4297 1097 and 1 2 >sa0 4047 926 4298 1111 and 2 2 >sa0 >sa1 4048 886 4762 1112 from 1111 >sa0 4763 1113 from 1111 >sa1 4301 1128 and 3 2 >sa0 >sa1 4049 894 4765 1129 from 1128 >sa1 4766 1130 from 1128 >sa1 4767 1131 from 1128 >sa0 4305 1145 and 4 2 >sa0 >sa1 4050 907 4769 1146 from 1145 >sa1 4770 1147 from 1145 >sa1 4771 1148 from 1145 >sa0 4772 1149 from 1145 >sa1 4310 1160 and 5 2 >sa0 >sa1 4051 871 4774 1161 from 1160 >sa1 4775 1162 from 1160 >sa1 4776 1163 from 1160 >sa0 4777 1164 from 1160 >sa1 4778 1165 from 1160 >sa1 4316 1301 and 3 2 >sa0 >sa1 948 4053 4782 1302 from 1301 >sa0 4783 1303 from 1301 >sa0 4784 1304 from 1301 >sa1 4320 1318 and 4 2 >sa0 >sa1 956 4054 4786 1319 from 1318 >sa0 4787 1320 from 1318 >sa1 4788 1321 from 1318 >sa1 4789 1322 from 1318 >sa1 4325 1324 and 5 2 >sa0 >sa1 914 4055 4790 1325 from 1324 4791 1326 from 1324 >sa1 4792 1327 from 1324 >sa1 4793 1328 from 1324 >sa1 4794 1329 from 1324 >sa1 4331 1341 and 1 2 >sa0 928 4056 4332 1359 and 3 2 >sa0 >sa1 884 4057 4797 1360 from 1359 >sa0 4798 1361 from 1359 >sa0 4799 1362 from 1359 >sa1 4336 1382 and 5 2 >sa0 >sa1 896 4058 4801 1383 from 1382 >sa1 4802 1384 from 1382 >sa1 4803 1385 from 1382 >sa1 4804 1386 from 1382 >sa0 4805 1387 from 1382 >sa0 4342 1404 and 6 2 >sa0 >sa1 904 4059 4807 1405 from 1404 >sa1 4808 1406 from 1404 >sa1 4809 1407 from 1404 >sa1 4810 1408 from 1404 >sa0 4811 1409 from 1404 >sa1 4812 1410 from 1404 >sa1 4349 1412 and 7 2 >sa0 >sa1 873 4060 4813 1413 from 1412 4814 1414 from 1412 >sa1 4815 1415 from 1412 >sa1 4816 1416 from 1412 >sa1 4817 1417 from 1412 >sa1 4818 1418 from 1412 >sa1 4819 1419 from 1412 >sa1 4357 1704 not 6 1 >sa0 >sa1 4061 4822 1705 from 1704 4823 1706 from 1704 4824 1707 from 1704 >sa1 4825 1708 from 1704 >sa1 4826 1709 from 1704 >sa1 4827 1710 from 1704 >sa1 4364 1712 not 10 1 >sa0 >sa1 4062 4828 1713 from 1712 4829 1714 from 1712 >sa1 4830 1715 from 1712 >sa1 4831 1716 from 1712 >sa1 4832 1717 from 1712 4833 1718 from 1712 >sa1 4834 1719 from 1712 >sa1 4835 1720 from 1712 >sa1 4836 1721 from 1712 >sa1 4837 1722 from 1712 >sa1 4375 1724 buff 3 1 >sa0 >sa1 4063 4838 1725 from 1724 >sa0 4839 1726 from 1724 >sa0 4840 1727 from 1724 >sa1 4379 1742 and 5 2 >sa0 >sa1 4064 968 4842 1743 from 1742 >sa1 4843 1744 from 1742 >sa0 4844 1745 from 1742 >sa0 4845 1746 from 1742 >sa1 4846 1747 from 1742 >sa1 4385 1749 and 6 2 >sa0 >sa1 977 4065 4847 1750 from 1749 >sa1 4848 1751 from 1749 4849 1752 from 1749 >sa1 4850 1753 from 1749 >sa1 4851 1754 from 1749 >sa1 4852 1755 from 1749 >sa1 4392 1775 and 1 2 >sa0 4066 988 4396 1806 and 3 2 >sa0 >sa1 4070 1008 4858 1807 from 1806 >sa1 4859 1808 from 1806 >sa1 4860 1809 from 1806 >sa0 4400 1823 and 4 2 >sa0 >sa1 4071 1017 4862 1824 from 1823 >sa1 4863 1825 from 1823 >sa1 4864 1826 from 1823 >sa0 4865 1827 from 1823 >sa1 4405 1829 not 6 1 >sa0 >sa1 4072 4866 1830 from 1829 >sa1 4867 1831 from 1829 >sa1 4868 1832 from 1829 >sa1 4869 1833 from 1829 >sa1 4870 1834 from 1829 >sa1 4871 1835 from 1829 4412 1837 buff 5 1 >sa0 >sa1 4073 4872 1838 from 1837 >sa1 4873 1839 from 1837 >sa1 4874 1840 from 1837 >sa0 4875 1841 from 1837 >sa1 4876 1842 from 1837 >sa1 4418 1958 not 6 1 >sa0 >sa1 4074 4878 1959 from 1958 >sa1 4879 1960 from 1958 >sa1 4880 1961 from 1958 >sa1 4881 1962 from 1958 >sa1 4882 1963 from 1958 4883 1964 from 1958 4425 1966 not 10 1 >sa0 >sa1 4075 4884 1967 from 1966 >sa1 4885 1968 from 1966 >sa1 4886 1969 from 1966 >sa1 4887 1970 from 1966 4888 1971 from 1966 >sa1 4889 1972 from 1966 >sa1 4890 1973 from 1966 >sa1 4891 1974 from 1966 >sa1 4892 1975 from 1966 >sa1 4893 1976 from 1966 4436 1978 buff 3 1 >sa0 >sa1 4076 4894 1979 from 1978 >sa0 4895 1980 from 1978 >sa0 4896 1981 from 1978 >sa1 4440 1995 and 4 2 >sa0 >sa1 966 4077 4898 1996 from 1995 >sa0 4899 1997 from 1995 >sa1 4900 1998 from 1995 >sa1 4901 1999 from 1995 >sa1 4445 2001 and 5 2 >sa0 >sa1 979 4078 4902 2002 from 2001 4903 2003 from 2001 >sa1 4904 2004 from 2001 >sa1 4905 2005 from 2001 >sa1 4906 2006 from 2001 >sa1 4451 2018 and 1 2 >sa0 990 4079 4456 2059 and 5 2 >sa0 >sa1 1006 4084 4911 2060 from 2059 >sa1 4912 2061 from 2059 >sa1 4913 2062 from 2059 >sa1 4914 2063 from 2059 >sa0 4915 2064 from 2059 >sa0 4462 2081 and 6 2 >sa0 >sa1 1018 4085 4917 2082 from 2081 >sa1 4918 2083 from 2081 >sa1 4919 2084 from 2081 >sa1 4920 2085 from 2081 >sa0 4921 2086 from 2081 >sa1 4922 2087 from 2081 >sa1 4469 2089 buff 7 1 >sa0 >sa1 4086 4923 2090 from 2089 4924 2091 from 2089 >sa1 4925 2092 from 2089 >sa1 4926 2093 from 2089 >sa1 4927 2094 from 2089 >sa1 4928 2095 from 2089 >sa1 4929 2096 from 2089 >sa1 4477 2106 not 6 1 >sa0 >sa1 4087 4931 2107 from 2106 4932 2108 from 2106 4933 2109 from 2106 >sa1 4934 2110 from 2106 >sa1 4935 2111 from 2106 >sa1 4936 2112 from 2106 >sa1 4512 3170 buff 2 1 >sa0 >sa1 4182 4937 3171 from 3170 4938 3172 from 3170 >sa1 4515 3332 not 1 1 >sa1 4183 4516 3339 not 1 1 >sa1 4184 4521 5132 not 1 1 >sa1 4218 4523 5184 not 1 1 >sa1 4222 4524 3853 not 3 1 >sa0 >sa1 4198 4962 3854 from 3853 >sa1 4963 3855 from 3853 >sa1 4964 3856 from 3853 4532 3874 not 3 1 >sa0 >sa1 4187 4969 3875 from 3874 >sa1 4970 3876 from 3874 >sa1 4971 3877 from 3874 4547 4076 and 1 3 >sa0 4143 3590 3600 4548 4116 buff 2 1 >sa0 >sa1 4140 4742 4118 from 4116 >sa1 4988 4117 from 4116 4551 4124 buff 2 1 >sa0 >sa1 4138 4743 4126 from 4124 >sa1 4989 4125 from 4124 4554 4132 buff 2 1 >sa0 >sa1 4134 4747 4134 from 4132 >sa1 4990 4133 from 4132 4557 4140 buff 2 1 >sa0 >sa1 4131 4759 4142 from 4140 >sa1 4991 4141 from 4140 4560 4148 buff 2 1 >sa0 >sa1 4126 4760 4150 from 4148 >sa1 4992 4149 from 4148 4563 4156 buff 2 1 >sa0 >sa1 4124 4761 4158 from 4156 >sa1 4993 4157 from 4156 4566 4164 buff 2 1 >sa0 >sa1 4120 4764 4166 from 4164 >sa1 4994 4165 from 4164 4569 4172 buff 2 1 >sa0 >sa1 4118 4768 4174 from 4172 >sa1 4995 4173 from 4172 4572 4180 buff 2 1 >sa0 >sa1 4113 4773 4182 from 4180 >sa1 4996 4181 from 4180 4575 4228 nor 2 2 >sa0 >sa1 917 4132 4779 4230 from 4228 >sa1 4997 4229 from 4228 4578 4279 buff 2 1 >sa0 >sa1 4141 4780 4280 from 4279 >sa1 4998 4281 from 4279 4581 4287 buff 2 1 >sa0 >sa1 4137 4781 4288 from 4287 >sa1 4999 4289 from 4287 4584 4295 buff 2 1 >sa0 >sa1 4135 4785 4296 from 4295 >sa1 5000 4297 from 4295 4587 4303 buff 2 1 >sa0 >sa1 4127 4795 4304 from 4303 >sa1 5001 4305 from 4303 4590 4311 buff 2 1 >sa0 >sa1 4123 4796 4312 from 4311 >sa1 5002 4313 from 4311 4593 4319 buff 2 1 >sa0 >sa1 4121 4800 4320 from 4319 >sa1 5003 4321 from 4319 4596 4327 buff 2 1 >sa0 >sa1 4117 4806 4328 from 4327 >sa1 5004 4329 from 4327 4599 4335 buff 2 1 >sa0 >sa1 4130 4820 4336 from 4335 >sa1 5005 4337 from 4335 4602 4343 buff 2 1 >sa0 >sa1 4115 4821 4344 from 4343 >sa1 5006 4345 from 4343 4605 4348 nor 2 2 >sa0 >sa1 915 4129 5007 4349 from 4348 5008 4350 from 4348 >sa1 4608 4464 nor 2 2 >sa0 >sa1 874 4114 5009 4465 from 4464 5010 4466 from 4464 >sa1 4611 4628 buff 2 1 >sa0 >sa1 4178 4841 4630 from 4628 >sa1 5011 4629 from 4628 4614 4636 buff 2 1 >sa0 >sa1 4175 4853 4638 from 4636 >sa1 5012 4637 from 4636 4617 4644 buff 2 1 >sa0 >sa1 4170 4854 4646 from 4644 >sa1 5013 4645 from 4644 4621 4660 buff 2 1 >sa0 >sa1 4168 4857 4662 from 4660 >sa1 5014 4661 from 4660 4624 4668 buff 2 1 >sa0 >sa1 4163 4861 4670 from 4668 >sa1 5015 4669 from 4668 4627 4716 nor 2 2 >sa0 >sa1 976 4176 4877 4718 from 4716 >sa1 5016 4717 from 4716 4630 4767 buff 2 1 >sa0 >sa1 4179 4897 4768 from 4767 >sa1 5017 4769 from 4767 4633 4775 buff 2 1 >sa0 >sa1 4171 4907 4776 from 4775 >sa1 5018 4777 from 4775 4637 4791 buff 2 1 >sa0 >sa1 4167 4910 4792 from 4791 >sa1 5019 4793 from 4791 4640 4799 buff 2 1 >sa0 >sa1 4164 4916 4800 from 4799 >sa1 5020 4801 from 4799 4643 4807 buff 2 1 >sa0 >sa1 4174 4930 4808 from 4807 >sa1 5021 4809 from 4807 4646 4812 nor 2 2 >sa0 >sa1 980 4173 5022 4813 from 4812 5023 4814 from 4812 >sa1 4649 5118 buff 2 1 >sa0 >sa1 4165 4944 5120 from 5118 >sa1 5024 5119 from 5118 4652 5121 buff 2 1 >sa0 >sa1 4166 4943 5122 from 5121 >sa1 5025 5123 from 5121 4655 5129 buff 2 1 >sa0 >sa1 4162 4945 5130 from 5129 >sa1 5026 5131 from 5129 4658 5134 buff 2 1 >sa0 >sa1 4169 4946 5136 from 5134 >sa1 5027 5135 from 5134 4662 5142 buff 2 1 >sa0 >sa1 4177 5028 5143 from 5142 5029 5144 from 5142 >sa1 4665 5145 buff 2 1 >sa0 >sa1 4172 5030 5146 from 5145 >sa1 5031 5147 from 5145 4668 5152 buff 2 1 >sa0 >sa1 4181 5032 5153 from 5152 5033 5154 from 5152 >sa1 4671 5155 buff 2 1 >sa0 >sa1 4180 5034 5156 from 5155 >sa1 5035 5157 from 5155 4674 5162 buff 2 1 >sa0 >sa1 4128 4949 5164 from 5162 >sa1 5036 5163 from 5162 4677 5165 buff 2 1 >sa0 >sa1 4125 4948 5166 from 5165 >sa1 5037 5167 from 5165 4680 5170 buff 2 1 >sa0 >sa1 4136 4951 5172 from 5170 >sa1 5038 5171 from 5170 4683 5173 buff 2 1 >sa0 >sa1 4133 4950 5174 from 5173 >sa1 5039 5175 from 5173 4686 5181 buff 2 1 >sa0 >sa1 4139 4952 5182 from 5181 >sa1 5040 5183 from 5181 4689 5186 buff 2 1 >sa0 >sa1 4116 5041 5187 from 5186 5042 5188 from 5186 >sa1 4692 5189 buff 2 1 >sa0 >sa1 4112 5043 5190 from 5189 >sa1 5044 5191 from 5189 4695 5196 buff 2 1 >sa0 >sa1 4122 5045 5197 from 5196 5046 5198 from 5196 >sa1 4698 5199 buff 2 1 >sa0 >sa1 4119 5047 5200 from 5199 >sa1 5048 5201 from 5199 4701 5214 nand 1 2 >sa1 4016 4223 4702 5215 nand 1 2 >sa1 4015 4224 4720 5329 not 1 1 >sa1 4262 4721 5330 nand 1 2 >sa1 4261 4263 4724 2807 not 1 1 >sa1 4500 4725 2808 not 1 1 >sa1 4501 4726 2811 not 1 1 >sa1 4502 4727 2812 not 1 1 >sa1 4503 4728 2814 not 1 1 >sa1 4504 4729 2626 not 1 1 >sa1 4491 4730 2622 not 1 1 >sa1 4489 4731 2618 not 1 1 >sa1 4487 4732 2614 not 1 1 >sa1 4485 4733 2720 not 1 1 >sa1 4499 4734 2716 not 1 1 >sa1 4497 4735 2712 not 1 1 >sa1 4495 4736 2708 not 1 1 >sa1 4493 4737 639 and 0 2 >sa0 >sa1 4273 3205 4738 673 and 0 2 >sa0 >sa1 4274 3216 4739 707 and 0 2 >sa0 >sa1 4276 3227 4740 715 and 0 2 >sa0 >sa1 4277 3232 4741 3731 and 1 3 >sa0 4508 2474 2472 4855 4658 not 1 1 >sa1 4620 4856 1777 nand 1 2 >sa1 4393 2712 4908 2019 nand 1 2 >sa1 4452 2718 4909 4787 not 1 1 >sa1 4636 4939 3350 and 2 2 >sa0 >sa1 4515 4185 5064 2806 from 3350 5134 3351 from 3350 4942 3353 and 1 2 >sa1 4516 4186 4947 5141 not 1 1 >sa1 4661 4953 3513 and 1 3 >sa0 4518 3995 3779 4954 3516 and 1 3 >sa0 3992 4519 3780 4955 3517 and 1 3 >sa0 4520 4517 3518 4956 3778 and 1 3 >sa0 4498 3526 3534 4957 3781 and 1 3 >sa0 4496 3528 3536 4958 3784 and 1 3 >sa0 4494 3530 3538 4959 3787 and 1 3 >sa0 4492 3532 3540 4960 3839 and 1 3 >sa0 4511 3544 3552 4961 3842 and 1 3 >sa0 4510 3546 3554 4965 5266 not 1 1 >sa1 4703 4966 5267 not 1 1 >sa1 4704 4967 5274 not 1 1 >sa1 4705 4968 5275 not 1 1 >sa1 4706 4972 5302 not 1 1 >sa1 4713 4973 5303 not 1 1 >sa1 4714 4974 5310 not 1 1 >sa1 4715 4975 3891 nand 1 2 >sa1 4538 4199 4976 3937 not 1 1 >sa1 4544 4977 3941 not 1 1 >sa1 4546 4978 3955 and 1 3 >sa0 4004 4001 4543 4979 3958 and 1 3 >sa0 4542 4540 4545 4980 4009 and 1 3 >sa0 4490 3564 3574 4981 4012 and 1 3 >sa0 4488 3566 3576 4982 4015 and 1 3 >sa0 4486 3568 3578 4983 4018 and 1 3 >sa0 4484 3570 3580 4984 4067 and 1 3 >sa0 4509 3584 3594 4985 4070 and 1 3 >sa0 4506 3586 3596 4986 4073 and 1 3 >sa0 4505 3588 3598 4987 4079 and 1 3 >sa0 4507 3592 3602 5049 5239 nand 2 2 >sa0 >sa1 4701 4702 5149 5240 from 5239 >sa1 5231 5241 from 5239 5052 5282 not 1 1 >sa1 4707 5053 5283 not 1 1 >sa1 4710 5054 5293 not 1 1 >sa1 4712 5055 5318 not 1 1 >sa1 4716 5056 5319 not 1 1 >sa1 4719 5057 5331 nand 1 2 >sa1 4020 4720 5058 5402 not 1 1 >sa1 4722 5059 5405 nand 1 2 >sa1 4723 4267 5060 595 and 1 4 >sa1 4724 4725 4269 4027 5061 596 and 1 4 >sa1 4726 4727 3827 4728 5062 607 and 1 4 >sa1 4729 4730 4731 4732 5063 608 and 1 4 >sa1 4733 4734 4735 4736 5065 1845 and 1 2 >sa0 4824 4840 5066 1846 and 1 3 >sa0 4829 4825 4842 5067 2115 and 1 2 >sa0 4878 4896 5068 2116 and 1 3 >sa0 4885 4879 4900 5069 4122 not 1 1 >sa1 4988 5070 1022 nand 1 2 >sa1 4742 2628 5071 4130 not 1 1 >sa1 4989 5072 1033 nand 1 2 >sa1 4743 2629 5073 4138 not 1 1 >sa1 4990 5074 1051 nand 1 2 >sa1 4747 2630 5075 4146 not 1 1 >sa1 4991 5076 1079 nand 1 2 >sa1 4759 2631 5077 4154 not 1 1 >sa1 4992 5078 1088 nand 1 2 >sa1 4760 2632 5079 4162 not 1 1 >sa1 4993 5080 1099 nand 1 2 >sa1 4761 2633 5081 4170 not 1 1 >sa1 4994 5082 1115 nand 1 2 >sa1 4764 2634 5083 4178 not 1 1 >sa1 4995 5084 1133 nand 1 2 >sa1 4768 2635 5085 4186 not 1 1 >sa1 4996 5086 1151 nand 1 2 >sa1 4773 2636 5087 4234 not 1 1 >sa1 4997 5088 1276 nand 1 2 >sa1 4780 2638 5089 4283 not 1 1 >sa1 4998 5090 1287 nand 1 2 >sa1 4781 2639 5091 4291 not 1 1 >sa1 4999 5092 1305 nand 1 2 >sa1 4785 2640 5093 4299 not 1 1 >sa1 5000 5094 1330 nand 1 2 >sa1 4795 2641 5095 4307 not 1 1 >sa1 5001 5096 1342 nand 1 2 >sa1 4796 2642 5097 4315 not 1 1 >sa1 5002 5098 1363 nand 1 2 >sa1 4800 2643 5099 4323 not 1 1 >sa1 5003 5100 1388 nand 1 2 >sa1 4806 2644 5101 4331 not 1 1 >sa1 5004 5102 1420 nand 1 2 >sa1 4820 2645 5103 4339 not 1 1 >sa1 5005 5104 1428 nand 1 2 >sa1 4821 2646 5105 4347 not 1 1 >sa1 5006 5106 4634 not 1 1 >sa1 5011 5107 1729 nand 1 2 >sa1 4841 2709 5108 4642 not 1 1 >sa1 5012 5109 1757 nand 1 2 >sa1 4853 2710 5110 4650 not 1 1 >sa1 5013 5111 1766 nand 1 2 >sa1 4854 2711 5112 1776 nand 1 2 >sa1 2147 4855 5113 4666 not 1 1 >sa1 5014 5114 1793 nand 1 2 >sa1 4857 2713 5115 4674 not 1 1 >sa1 5015 5116 1811 nand 1 2 >sa1 4861 2714 5117 1849 and 1 2 >sa0 4835 4845 5118 1852 and 1 2 >sa0 4833 4846 5119 1875 and 1 2 >sa0 668 4870 5120 4722 not 1 1 >sa1 5016 5121 1982 nand 1 2 >sa1 4897 2716 5122 4771 not 1 1 >sa1 5017 5123 2007 nand 1 2 >sa1 4907 2717 5124 4779 not 1 1 >sa1 5018 5125 2020 nand 1 2 >sa1 2153 4909 5126 2040 nand 1 2 >sa1 4910 2719 5127 4795 not 1 1 >sa1 5019 5128 2065 nand 1 2 >sa1 4916 2720 5129 4803 not 1 1 >sa1 5020 5130 2097 nand 1 2 >sa1 4930 2721 5131 4811 not 1 1 >sa1 5021 5132 2119 and 1 2 >sa0 4888 4901 5133 2122 and 1 2 >sa0 4891 4899 5135 5124 not 1 1 >sa1 5024 5136 5125 not 1 1 >sa1 5025 5137 3452 nand 1 2 >sa1 4945 4521 5138 5133 not 1 1 >sa1 5026 5139 5140 not 1 1 >sa1 5027 5140 3462 nand 1 2 >sa1 4946 4947 5141 5168 not 1 1 >sa1 5036 5142 5169 not 1 1 >sa1 5037 5143 5176 not 1 1 >sa1 5038 5144 5177 not 1 1 >sa1 5039 5145 3484 nand 1 2 >sa1 4952 4523 5146 5185 not 1 1 >sa1 5040 5147 3515 nor 1 2 >sa1 4953 4196 5148 3518 nor 1 2 >sa1 4954 4955 5150 3857 not 2 1 >sa0 >sa1 4964 5313 3858 from 3857 >sa1 5314 3859 from 3857 >sa1 5153 3860 nand 1 2 >sa1 4528 4965 5154 3861 nand 1 2 >sa1 4529 4966 5155 3869 nand 1 2 >sa1 4530 4967 5156 3870 nand 1 2 >sa1 4531 4968 5157 3878 not 2 1 >sa0 >sa1 4971 5322 3879 from 3878 >sa1 5323 3880 from 3878 >sa1 5160 3881 nand 1 2 >sa1 4536 4972 5161 3882 nand 1 2 >sa1 4537 4973 5162 3890 nand 1 2 >sa1 3999 4974 5163 3954 and 1 3 >sa0 4539 4003 4976 5164 3957 and 1 3 >sa0 4000 4541 4977 5165 4021 and 1 3 >sa0 4942 3572 3582 5166 4099 not 2 1 >sa0 >sa1 4937 5333 4100 from 4099 >sa0 5334 4101 from 4099 >sa1 5169 4236 buff 2 1 >sa0 >sa1 4754 5251 4238 from 4236 >sa1 5335 4237 from 4236 5172 4354 not 1 1 >sa1 5007 5173 4406 buff 2 1 >sa0 >sa1 4790 5336 4407 from 4406 5337 4408 from 4406 >sa1 5176 4470 not 1 1 >sa1 5009 5177 4552 buff 2 1 >sa0 >sa1 4813 5338 4553 from 4552 5339 4554 from 4552 >sa1 5180 4679 buff 2 1 >sa0 >sa1 4871 5276 4680 from 4679 >sa1 5340 4681 from 4679 5183 4687 buff 2 1 >sa0 >sa1 4822 5277 4688 from 4687 >sa1 5341 4689 from 4687 5186 4695 buff 2 1 >sa0 >sa1 4823 5278 4696 from 4695 >sa1 5342 4697 from 4695 5189 4703 buff 2 1 >sa0 >sa1 4832 5279 4704 from 4703 >sa1 5343 4705 from 4703 5192 4711 buff 2 1 >sa0 >sa1 4828 5280 4712 from 4711 >sa1 5344 4713 from 4711 5195 4724 buff 2 1 >sa0 >sa1 4848 5281 4726 from 4724 >sa1 5345 4725 from 4724 5198 4818 not 1 1 >sa1 5022 5199 4855 buff 2 1 >sa0 >sa1 4883 5349 4856 from 4855 >sa1 5350 4857 from 4855 5202 4865 buff 2 1 >sa0 >sa1 4887 5301 4866 from 4865 >sa1 5351 4867 from 4865 5205 4870 buff 2 1 >sa0 >sa1 4902 5352 4871 from 4870 5353 4872 from 4870 >sa1 5208 4913 buff 2 1 >sa0 >sa1 4882 5354 4914 from 4913 >sa1 5355 4915 from 4913 5211 4923 buff 2 1 >sa0 >sa1 4893 5302 4924 from 4923 >sa1 5356 4925 from 4923 5214 4951 buff 2 1 >sa0 >sa1 4932 5357 4952 from 4951 >sa1 5358 4953 from 4951 5217 5006 buff 2 1 >sa0 >sa1 4923 5359 5007 from 5006 5360 5008 from 5006 >sa1 5220 5039 buff 2 1 >sa0 >sa1 4931 5361 5040 from 5039 >sa1 5362 5041 from 5039 5223 5148 not 1 1 >sa1 5028 5224 5149 not 1 1 >sa1 5031 5225 5158 not 1 1 >sa1 5032 5226 5159 not 1 1 >sa1 5035 5227 5192 not 1 1 >sa1 5041 5228 5193 not 1 1 >sa1 5044 5229 5202 not 1 1 >sa1 5045 5230 5203 not 1 1 >sa1 5048 5232 5284 nand 1 2 >sa1 4709 5052 5233 5285 nand 1 2 >sa1 4708 5053 5234 5320 nand 1 2 >sa1 4718 5055 5235 5321 nand 1 2 >sa1 4717 5056 5236 5386 nand 2 2 >sa0 >sa1 4721 5057 5380 5387 from 5386 5381 5388 from 5386 >sa1 5239 5404 nand 1 2 >sa1 4025 5058 5240 598 and 0 3 >sa0 >sa1 5060 5061 4270 5241 609 not 1 1 >sa1 5064 5242 1021 nand 1 2 >sa1 2070 5069 5243 1032 nand 1 2 >sa1 2071 5071 5244 1050 nand 1 2 >sa1 2072 5073 5245 1078 nand 1 2 >sa1 2073 5075 5246 1087 nand 1 2 >sa1 2074 5077 5247 1098 nand 1 2 >sa1 2075 5079 5248 1114 nand 1 2 >sa1 2076 5081 5249 1132 nand 1 2 >sa1 2077 5083 5250 1150 nand 1 2 >sa1 2078 5085 5252 1277 nand 1 2 >sa1 2080 5089 5253 1288 nand 1 2 >sa1 2081 5091 5254 1306 nand 1 2 >sa1 2082 5093 5255 1331 nand 1 2 >sa1 2083 5095 5256 1343 nand 1 2 >sa1 2084 5097 5257 1364 nand 1 2 >sa1 2085 5099 5258 1389 nand 1 2 >sa1 2086 5101 5259 1421 nand 1 2 >sa1 2087 5103 5260 1429 nand 1 2 >sa1 2088 5105 5261 1728 nand 1 2 >sa1 2144 5106 5262 1756 nand 1 2 >sa1 2145 5108 5263 1765 nand 1 2 >sa1 2146 5110 5264 1778 nand 9 2 >sa0 >sa1 5112 4856 5586 1779 from 1778 >sa1 5587 1780 from 1778 >sa1 5588 1781 from 1778 >sa1 5589 1782 from 1778 >sa1 5590 1783 from 1778 >sa1 5591 1784 from 1778 >sa1 5592 1785 from 1778 >sa1 5593 1786 from 1778 5594 1787 from 1778 >sa1 5274 1792 nand 1 2 >sa1 2148 5113 5275 1810 nand 1 2 >sa1 2149 5115 5282 1983 nand 1 2 >sa1 2151 5122 5283 2008 nand 1 2 >sa1 2152 5124 5284 2021 nand 13 2 >sa0 >sa1 4908 5125 5642 2022 from 2021 5643 2023 from 2021 >sa1 5644 2024 from 2021 >sa1 5645 2025 from 2021 >sa1 5646 2026 from 2021 >sa1 5647 2027 from 2021 >sa1 5648 2028 from 2021 >sa1 5649 2029 from 2021 >sa1 5650 2030 from 2021 >sa1 5651 2031 from 2021 >sa1 5652 2032 from 2021 >sa1 5653 2033 from 2021 5654 2034 from 2021 >sa1 5298 2041 nand 1 2 >sa1 2154 5127 5299 2066 nand 1 2 >sa1 2155 5129 5300 2098 nand 1 2 >sa1 2156 5131 5303 3443 nand 1 2 >sa1 4943 5135 5304 3444 nand 1 2 >sa1 4944 5136 5305 3453 nand 1 2 >sa1 4194 5138 5306 3461 nand 1 2 >sa1 4522 5139 5307 3466 nand 1 2 >sa1 4948 5141 5308 3467 nand 1 2 >sa1 4949 5142 5309 3475 nand 1 2 >sa1 4950 5143 5310 3476 nand 1 2 >sa1 4951 5144 5311 3485 nand 1 2 >sa1 4195 5146 5312 5243 not 1 1 >sa1 5231 5315 3862 nand 3 2 >sa0 >sa1 5153 5154 5715 3863 from 3862 >sa1 5716 3864 from 3862 >sa1 5717 3865 from 3862 5319 3871 nand 2 2 >sa0 >sa1 5155 5156 5718 3872 from 3871 5719 3873 from 3871 5324 3883 nand 3 2 >sa0 >sa1 5160 5161 5720 3884 from 3883 >sa1 5721 3885 from 3883 >sa1 5722 3886 from 3883 5328 3892 nand 2 2 >sa0 >sa1 5162 4975 5723 3893 from 3892 5724 3894 from 3892 5331 3956 nor 1 2 >sa1 5163 4978 5332 3959 nor 1 2 >sa1 5164 4979 5346 4756 or 2 2 >sa0 >sa1 4874 5119 5623 4758 from 4756 >sa1 5729 4757 from 4756 5363 5150 nand 1 2 >sa1 5030 5223 5364 5151 nand 1 2 >sa1 5029 5224 5365 5160 nand 1 2 >sa1 5034 5225 5366 5161 nand 1 2 >sa1 5033 5226 5367 5194 nand 1 2 >sa1 5043 5227 5368 5195 nand 1 2 >sa1 5042 5228 5369 5204 nand 1 2 >sa1 5047 5229 5370 5205 nand 1 2 >sa1 5046 5230 5371 5236 nand 2 2 >sa0 >sa1 5148 5147 5714 5238 from 5236 >sa1 5748 5237 from 5236 5374 5286 buff 2 1 >sa0 >sa1 5134 5749 5287 from 5286 5750 5288 from 5286 >sa1 5377 5379 nand 2 2 >sa0 >sa1 5232 5233 5751 5380 from 5379 >sa1 5752 5381 from 5379 5382 5389 nand 2 2 >sa0 >sa1 5234 5235 5753 5390 from 5389 >sa1 5754 5391 from 5389 5385 5425 nand 2 2 >sa0 >sa1 5239 5059 5725 5426 from 5425 >sa1 5759 5427 from 5425 5388 610 and 0 3 >sa0 >sa1 5062 5063 5241 5389 1023 nand 6 2 >sa0 >sa1 5242 5070 5760 1024 from 1023 5761 1025 from 1023 5762 1026 from 1023 >sa1 5763 1027 from 1023 >sa1 5764 1028 from 1023 >sa1 5765 1029 from 1023 >sa1 5396 1034 nand 10 2 >sa0 >sa1 5243 5072 5766 1035 from 1034 5767 1036 from 1034 >sa1 5768 1037 from 1034 >sa1 5769 1038 from 1034 >sa1 5770 1039 from 1034 5771 1040 from 1034 >sa1 5772 1041 from 1034 >sa1 5773 1042 from 1034 >sa1 5774 1043 from 1034 >sa1 5775 1044 from 1034 >sa1 5407 1052 nand 10 2 >sa0 >sa1 5244 5074 5776 1053 from 1052 5777 1054 from 1052 5778 1055 from 1052 >sa1 5779 1056 from 1052 >sa1 5780 1057 from 1052 >sa1 5781 1058 from 1052 >sa1 5782 1059 from 1052 >sa1 5783 1060 from 1052 >sa1 5784 1061 from 1052 >sa1 5785 1062 from 1052 >sa1 5418 1080 nand 5 2 >sa0 >sa1 5245 5076 5786 1081 from 1080 >sa1 5787 1082 from 1080 >sa1 5788 1083 from 1080 >sa1 5789 1084 from 1080 >sa1 5790 1085 from 1080 5424 1089 nand 6 2 >sa0 >sa1 5246 5078 5791 1090 from 1089 >sa1 5792 1091 from 1089 >sa1 5793 1092 from 1089 >sa1 5794 1093 from 1089 >sa1 5795 1094 from 1089 >sa1 5796 1095 from 1089 5431 1100 nand 9 2 >sa0 >sa1 5247 5080 5797 1101 from 1100 >sa1 5798 1102 from 1100 >sa1 5799 1103 from 1100 >sa1 5800 1104 from 1100 >sa1 5801 1105 from 1100 >sa1 5802 1106 from 1100 >sa1 5803 1107 from 1100 >sa1 5804 1108 from 1100 5805 1109 from 1100 >sa1 5441 1116 nand 10 2 >sa0 >sa1 5248 5082 5806 1117 from 1116 5807 1118 from 1116 >sa1 5808 1119 from 1116 >sa1 5809 1120 from 1116 >sa1 5810 1121 from 1116 >sa1 5811 1122 from 1116 >sa1 5812 1123 from 1116 >sa1 5813 1124 from 1116 >sa1 5814 1125 from 1116 >sa1 5815 1126 from 1116 >sa1 5452 1134 nand 9 2 >sa0 >sa1 5249 5084 5816 1135 from 1134 >sa1 5817 1136 from 1134 >sa1 5818 1137 from 1134 >sa1 5819 1138 from 1134 >sa1 5820 1139 from 1134 5821 1140 from 1134 >sa1 5822 1141 from 1134 >sa1 5823 1142 from 1134 >sa1 5824 1143 from 1134 >sa1 5462 1152 nand 6 2 >sa0 >sa1 5250 5086 5825 1153 from 1152 >sa1 5826 1154 from 1152 >sa1 5827 1155 from 1152 >sa1 5828 1156 from 1152 >sa1 5829 1157 from 1152 >sa1 5830 1158 from 1152 5469 4242 not 1 1 >sa1 5335 5470 1278 nand 6 2 >sa0 >sa1 5088 5252 5831 1279 from 1278 >sa1 5832 1280 from 1278 >sa1 5833 1281 from 1278 >sa1 5834 1282 from 1278 >sa1 5835 1283 from 1278 5836 1284 from 1278 5477 1289 nand 10 2 >sa0 >sa1 5090 5253 5837 1290 from 1289 >sa1 5838 1291 from 1289 >sa1 5839 1292 from 1289 >sa1 5840 1293 from 1289 5841 1294 from 1289 >sa1 5842 1295 from 1289 >sa1 5843 1296 from 1289 >sa1 5844 1297 from 1289 >sa1 5845 1298 from 1289 >sa1 5846 1299 from 1289 5488 1307 nand 9 2 >sa0 >sa1 5092 5254 5847 1308 from 1307 >sa1 5848 1309 from 1307 5849 1310 from 1307 >sa1 5850 1311 from 1307 >sa1 5851 1312 from 1307 >sa1 5852 1313 from 1307 >sa1 5853 1314 from 1307 >sa1 5854 1315 from 1307 5855 1316 from 1307 >sa1 5498 1332 nand 7 2 >sa0 >sa1 5094 5255 5856 1333 from 1332 5857 1334 from 1332 5858 1335 from 1332 >sa1 5859 1336 from 1332 >sa1 5860 1337 from 1332 >sa1 5861 1338 from 1332 >sa1 5862 1339 from 1332 >sa1 5506 1344 nand 13 2 >sa0 >sa1 5096 5256 5863 1345 from 1344 5864 1346 from 1344 >sa1 5865 1347 from 1344 >sa1 5866 1348 from 1344 >sa1 5867 1349 from 1344 >sa1 5868 1350 from 1344 >sa1 5869 1351 from 1344 >sa1 5870 1352 from 1344 >sa1 5871 1353 from 1344 >sa1 5872 1354 from 1344 >sa1 5873 1355 from 1344 >sa1 5874 1356 from 1344 5875 1357 from 1344 >sa1 5520 1365 nand 15 2 >sa0 >sa1 5098 5257 5876 1366 from 1365 5877 1367 from 1365 >sa1 5878 1368 from 1365 >sa1 5879 1369 from 1365 5880 1370 from 1365 >sa1 5881 1371 from 1365 >sa1 5882 1372 from 1365 >sa1 5883 1373 from 1365 >sa1 5884 1374 from 1365 >sa1 5885 1375 from 1365 >sa1 5886 1376 from 1365 >sa1 5887 1377 from 1365 >sa1 5888 1378 from 1365 >sa1 5889 1379 from 1365 >sa1 5890 1380 from 1365 >sa1 5536 1390 nand 12 2 >sa0 >sa1 5100 5258 5891 1391 from 1390 >sa1 5892 1392 from 1390 5893 1393 from 1390 >sa1 5894 1394 from 1390 >sa1 5895 1395 from 1390 >sa1 5896 1396 from 1390 >sa1 5897 1397 from 1390 >sa1 5898 1398 from 1390 >sa1 5899 1399 from 1390 >sa1 5900 1400 from 1390 >sa1 5901 1401 from 1390 5902 1402 from 1390 >sa1 5549 1422 nand 5 2 >sa0 >sa1 5102 5259 5903 1423 from 1422 >sa1 5904 1424 from 1422 >sa1 5905 1425 from 1422 5906 1426 from 1422 >sa1 5907 1427 from 1422 5555 1430 nand 6 2 >sa0 >sa1 5104 5260 5908 1431 from 1430 5909 1432 from 1430 5910 1433 from 1430 >sa1 5911 1434 from 1430 >sa1 5912 1435 from 1430 >sa1 5913 1436 from 1430 >sa1 5562 1730 nand 10 2 >sa0 >sa1 5261 5107 5914 1731 from 1730 5915 1732 from 1730 5916 1733 from 1730 >sa1 5917 1734 from 1730 >sa1 5918 1735 from 1730 >sa1 5919 1736 from 1730 >sa1 5920 1737 from 1730 >sa1 5921 1738 from 1730 >sa1 5922 1739 from 1730 >sa1 5923 1740 from 1730 >sa1 5573 1758 nand 5 2 >sa0 >sa1 5262 5109 5924 1759 from 1758 >sa1 5925 1760 from 1758 >sa1 5926 1761 from 1758 >sa1 5927 1762 from 1758 >sa1 5928 1763 from 1758 5579 1767 nand 6 2 >sa0 >sa1 5263 5111 5929 1768 from 1767 >sa1 5930 1769 from 1767 >sa1 5931 1770 from 1767 >sa1 5932 1771 from 1767 >sa1 5933 1772 from 1767 >sa1 5934 1773 from 1767 5595 1794 nand 10 2 >sa0 >sa1 5274 5114 5935 1795 from 1794 5936 1796 from 1794 >sa1 5937 1797 from 1794 >sa1 5938 1798 from 1794 >sa1 5939 1799 from 1794 >sa1 5940 1800 from 1794 >sa1 5941 1801 from 1794 >sa1 5942 1802 from 1794 >sa1 5943 1803 from 1794 >sa1 5944 1804 from 1794 >sa1 5606 1812 nand 9 2 >sa0 >sa1 5275 5116 5945 1813 from 1812 >sa1 5946 1814 from 1812 >sa1 5947 1815 from 1812 >sa1 5948 1816 from 1812 >sa1 5949 1817 from 1812 5950 1818 from 1812 >sa1 5951 1819 from 1812 >sa1 5952 1820 from 1812 >sa1 5953 1821 from 1812 >sa1 5616 1876 nand 1 2 >sa1 5276 2715 5617 4683 not 1 1 >sa1 5340 5618 4691 not 1 1 >sa1 5341 5619 4699 not 1 1 >sa1 5342 5620 4707 not 1 1 >sa1 5343 5621 4715 not 1 1 >sa1 5344 5622 4730 not 1 1 >sa1 5345 5624 1984 nand 9 2 >sa0 >sa1 5121 5282 5957 1985 from 1984 >sa1 5958 1986 from 1984 5959 1987 from 1984 >sa1 5960 1988 from 1984 >sa1 5961 1989 from 1984 >sa1 5962 1990 from 1984 >sa1 5963 1991 from 1984 >sa1 5964 1992 from 1984 5965 1993 from 1984 >sa1 5634 2009 nand 7 2 >sa0 >sa1 5123 5283 5966 2010 from 2009 5967 2011 from 2009 5968 2012 from 2009 >sa1 5969 2013 from 2009 >sa1 5970 2014 from 2009 >sa1 5971 2015 from 2009 >sa1 5972 2016 from 2009 >sa1 5655 2042 nand 15 2 >sa0 >sa1 5126 5298 5973 2043 from 2042 5974 2044 from 2042 >sa1 5975 2045 from 2042 >sa1 5976 2046 from 2042 5977 2047 from 2042 >sa1 5978 2048 from 2042 >sa1 5979 2049 from 2042 >sa1 5980 2050 from 2042 >sa1 5981 2051 from 2042 >sa1 5982 2052 from 2042 >sa1 5983 2053 from 2042 >sa1 5984 2054 from 2042 >sa1 5985 2055 from 2042 >sa1 5986 2056 from 2042 >sa1 5987 2057 from 2042 >sa1 5671 2067 nand 12 2 >sa0 >sa1 5128 5299 5988 2068 from 2067 >sa1 5989 2069 from 2067 5990 2070 from 2067 >sa1 5991 2071 from 2067 >sa1 5992 2072 from 2067 >sa1 5993 2073 from 2067 >sa1 5994 2074 from 2067 >sa1 5995 2075 from 2067 >sa1 5996 2076 from 2067 >sa1 5997 2077 from 2067 >sa1 5998 2078 from 2067 5999 2079 from 2067 >sa1 5684 2099 nand 5 2 >sa0 >sa1 5130 5300 6000 2100 from 2099 >sa1 6001 2101 from 2099 >sa1 6002 2102 from 2099 6003 2103 from 2099 >sa1 6004 2104 from 2099 5690 4869 not 1 1 >sa1 5351 5691 4927 not 1 1 >sa1 5356 5692 3445 nand 3 2 >sa0 >sa1 5303 5304 6007 3446 from 3445 >sa1 6008 3447 from 3445 >sa1 6009 3448 from 3445 5696 3454 nand 3 2 >sa0 >sa1 5137 5305 6010 3455 from 3454 >sa1 6011 3456 from 3454 >sa1 6012 3457 from 3454 5700 3463 nand 2 2 >sa0 >sa1 5306 5140 6013 3464 from 3463 6014 3465 from 3463 5703 3468 nand 3 2 >sa0 >sa1 5307 5308 6015 3469 from 3468 >sa1 6016 3470 from 3468 >sa1 6017 3471 from 3468 5707 3477 nand 3 2 >sa0 >sa1 5309 5310 6018 3478 from 3477 >sa1 6019 3479 from 3477 >sa1 6020 3480 from 3477 5711 3486 nand 2 2 >sa0 >sa1 5145 5311 6021 3487 from 3486 6022 3488 from 3486 5726 4103 and 1 2 >sa0 5334 4938 5727 4412 not 1 1 >sa1 5336 5728 4558 not 1 1 >sa1 5338 5730 4859 not 1 1 >sa1 5350 5731 4876 not 1 1 >sa1 5352 5732 4917 not 1 1 >sa1 5355 5733 4955 not 1 1 >sa1 5358 5734 5012 not 1 1 >sa1 5359 5735 5043 not 1 1 >sa1 5362 5736 5216 nand 2 2 >sa0 >sa1 5365 5366 6057 5217 from 5216 6058 5218 from 5216 >sa1 5739 5219 nand 2 2 >sa0 >sa1 5363 5364 6059 5220 from 5219 >sa1 6060 5221 from 5219 5742 5226 nand 2 2 >sa0 >sa1 5369 5370 6061 5227 from 5226 6062 5228 from 5226 >sa1 5745 5229 nand 2 2 >sa0 >sa1 5367 5368 6063 5230 from 5229 >sa1 6064 5231 from 5229 5755 5392 not 1 1 >sa1 5380 5756 5422 nand 2 2 >sa0 >sa1 5332 5331 6043 5424 from 5422 >sa1 6070 5423 from 5422 5954 1866 and 1 2 >sa0 5588 4858 5955 1877 nand 1 2 >sa1 2150 5617 5956 4762 not 1 1 >sa1 5729 6005 2142 and 1 2 >sa0 5647 4912 6006 2146 and 1 2 >sa0 5651 4911 6023 5242 not 1 1 >sa1 5748 6024 3532 nand 1 2 >sa1 5714 5312 6025 3866 not 2 1 >sa0 >sa1 5717 6222 3867 from 3866 >sa1 6223 3868 from 3866 >sa1 6028 3887 not 2 1 >sa0 >sa1 5722 6224 3888 from 3887 >sa1 6225 3889 from 3887 >sa1 6031 3918 buff 2 1 >sa0 >sa1 5719 6226 3919 from 3918 >sa1 6227 3920 from 3918 6034 3922 buff 2 1 >sa0 >sa1 5718 6228 3923 from 3922 >sa1 6229 3924 from 3922 6037 3926 buff 2 1 >sa0 >sa1 5724 6230 3927 from 3926 >sa1 6231 3928 from 3926 6040 3930 buff 2 1 >sa0 >sa1 5723 6232 3931 from 3930 >sa1 6233 3932 from 3930 6044 5429 not 1 1 >sa1 5759 6045 4104 or 2 2 >sa0 >sa1 5333 5726 6236 4105 from 4104 >sa1 6237 4106 from 4104 >sa1 6048 4743 buff 2 1 >sa0 >sa1 5593 6167 4744 from 4743 >sa1 6334 4745 from 4743 6051 4991 buff 2 1 >sa0 >sa1 5653 6195 4992 from 4991 >sa1 6362 4993 from 4991 6054 5001 buff 2 1 >sa0 >sa1 5642 6196 5002 from 5001 >sa1 6363 5003 from 5001 6065 5292 not 1 1 >sa1 5749 6066 5295 nand 1 2 >sa1 5750 5054 6067 5383 not 1 1 >sa1 5752 6068 5393 not 1 1 >sa1 5754 6069 5394 nand 1 2 >sa1 5753 5755 6071 1439 and 1 2 >sa0 5831 4784 6072 1440 and 1 3 >sa0 5838 5832 4788 6073 1441 and 1 4 >sa0 5852 5833 4792 5839 6074 1847 and 1 4 >sa0 5917 4826 4847 4830 6075 1168 and 1 2 >sa0 5762 4746 6076 1169 and 1 3 >sa0 5767 5763 4748 6077 1170 and 1 4 >sa0 5779 5764 4753 5768 6078 2117 and 1 4 >sa0 5962 4880 4904 4886 6079 1086 not 1 1 >sa1 5790 6080 1166 and 2 4 >sa0 >sa1 5769 5786 5778 5765 6389 1167 from 1166 >sa1 6394 630 from 1166 >sa1 6083 1171 and 1 2 >sa0 5773 4751 6084 1172 and 1 3 >sa0 5781 4756 5774 6085 1173 and 1 3 >sa0 5788 5782 5775 6086 1174 and 1 2 >sa0 5771 4752 6087 1175 and 1 3 >sa0 4755 5780 5772 6088 1176 and 1 2 >sa0 5783 4757 6089 1177 and 1 2 >sa0 5787 5784 6090 1178 and 1 2 >sa0 5785 4758 6091 1179 and 2 5 >sa0 >sa1 5803 5826 5812 5791 5816 6395 631 from 1179 >sa1 6396 1180 from 1179 >sa1 6094 1181 and 1 2 >sa0 5792 4763 6095 1182 and 1 3 >sa0 5797 5793 4766 6096 1183 and 1 4 >sa0 5807 5794 4770 5798 6097 1184 and 1 5 >sa0 5817 5808 5795 4775 5802 6098 1188 and 1 2 >sa0 5799 4765 6099 1189 and 1 3 >sa0 5809 4769 5800 6100 1190 and 1 4 >sa0 5818 5810 4774 5801 6101 1191 and 1 5 >sa0 638 5825 5811 5819 5805 6102 1192 and 1 2 >sa0 4772 5813 6103 1193 and 1 3 >sa0 5821 5814 4778 6104 1194 and 1 4 >sa0 634 5827 5815 5822 6105 1195 and 1 2 >sa0 5823 4777 6106 1196 and 1 3 >sa0 636 5828 5824 6107 1197 and 1 2 >sa0 637 5829 6108 1437 and 2 4 >sa0 >sa1 5903 5849 5837 5834 6380 586 from 1437 >sa1 6383 1438 from 1437 >sa1 6111 1442 and 1 2 >sa0 5841 4789 6112 1443 and 1 3 >sa0 5850 4791 5842 6113 1444 and 1 3 >sa0 5904 5851 5843 6114 1445 and 1 2 >sa0 5844 4787 6115 1446 and 1 3 >sa0 5853 4793 5845 6116 1447 and 1 2 >sa0 5855 4794 6117 1451 and 2 5 >sa0 >sa1 5910 5891 5878 5864 5861 6381 587 from 1451 >sa1 6414 1452 from 1451 6120 1454 and 1 2 >sa0 5858 4799 6121 1455 and 1 3 >sa0 5865 5859 4803 6122 1456 and 1 4 >sa0 5877 5860 4809 5866 6123 1457 and 1 5 >sa0 5894 5880 5862 4815 5867 6124 1465 and 1 2 >sa0 5868 4802 6125 1466 and 1 3 >sa0 5881 4808 5869 6126 1467 and 1 4 >sa0 5893 5882 4814 5870 6127 1468 and 1 4 >sa0 5911 5883 5871 5896 6128 1469 and 1 2 >sa0 5872 4801 6129 1470 and 1 3 >sa0 5884 4807 5873 6130 1471 and 1 4 >sa0 5895 5885 4816 5875 6131 1472 and 1 2 >sa0 5886 4812 6132 1473 and 1 3 >sa0 5897 5887 4817 6133 1474 and 1 3 >sa0 5913 5888 5898 6134 1475 and 1 2 >sa0 5889 4811 6135 1476 and 1 3 >sa0 5899 5890 4819 6136 1477 and 1 2 >sa0 5900 4818 6137 1481 and 1 2 >sa0 5906 5847 6138 1482 and 1 2 >sa0 5912 5902 6139 1764 not 1 1 >sa1 5928 6140 1843 and 2 4 >sa0 >sa1 4831 5924 5916 4827 6384 613 from 1843 >sa1 6387 1844 from 1843 >sa1 6143 1850 and 1 3 >sa0 5919 4850 4836 6144 1851 and 1 3 >sa0 5926 5920 4837 6145 1853 and 1 3 >sa0 4849 5918 4834 6146 1854 and 1 2 >sa0 5921 4851 6147 1855 and 1 2 >sa0 5925 5922 6148 1856 and 1 2 >sa0 5923 4852 6149 1857 and 2 5 >sa0 >sa1 5592 4867 5941 5929 5945 6385 614 from 1857 >sa1 6426 1858 from 1857 >sa1 6152 1859 and 1 2 >sa0 5930 4395 6153 1860 and 1 3 >sa0 5586 5931 4859 6154 1861 and 1 4 >sa0 5936 5932 4863 5587 6155 1862 and 1 5 >sa0 5946 5937 5933 4873 5591 6156 1867 and 1 3 >sa0 5938 4862 5589 6157 1868 and 1 4 >sa0 5947 5939 4872 5590 6158 1869 and 1 5 >sa0 669 4866 5940 5948 5594 6159 1870 and 1 2 >sa0 4865 5942 6160 1871 and 1 3 >sa0 5950 5943 4876 6161 1872 and 1 4 >sa0 665 4868 5944 5951 6162 1873 and 1 2 >sa0 5952 4875 6163 1874 and 1 3 >sa0 667 4869 5953 6164 1878 nand 2 2 >sa0 >sa1 5616 5955 6379 1880 from 1878 6430 1879 from 1878 >sa1 6168 2113 and 2 4 >sa0 >sa1 6000 5959 4884 4881 6390 624 from 2113 >sa1 6393 2114 from 2113 >sa1 6171 2120 and 1 3 >sa0 5960 4903 4889 6172 2121 and 1 3 >sa0 6001 5961 4890 6173 2123 and 1 3 >sa0 5963 4905 4892 6174 2124 and 1 2 >sa0 5965 4906 6175 2128 and 2 5 >sa0 >sa1 4933 5988 5975 5643 5971 6391 625 from 2128 >sa1 6440 2129 from 2128 6178 2131 and 1 2 >sa0 5968 4455 6179 2132 and 1 3 >sa0 5644 5969 4913 6180 2133 and 1 4 >sa0 5974 5970 4919 5645 6181 2134 and 1 5 >sa0 5991 5977 5972 4925 5646 6182 2143 and 1 3 >sa0 5978 4918 5648 6183 2144 and 1 4 >sa0 5990 5979 4924 5649 6184 2145 and 1 4 >sa0 4934 5980 5650 5993 6185 2147 and 1 3 >sa0 5981 4917 5652 6186 2148 and 1 4 >sa0 5992 5982 4926 5654 6187 2149 and 1 2 >sa0 5983 4922 6188 2150 and 1 3 >sa0 5994 5984 4927 6189 2151 and 1 3 >sa0 4936 5985 5995 6190 2152 and 1 2 >sa0 5986 4921 6191 2153 and 1 3 >sa0 5996 5987 4929 6192 2154 and 1 2 >sa0 5997 4928 6193 2158 and 1 2 >sa0 6003 5957 6194 2159 and 1 2 >sa0 4935 5999 6197 3449 not 2 1 >sa0 >sa1 6009 6450 3450 from 3449 >sa1 6451 3451 from 3449 >sa1 6200 3458 not 2 1 >sa0 >sa1 6012 6452 3459 from 3458 >sa1 6453 3460 from 3458 >sa1 6203 3472 not 2 1 >sa0 >sa1 6017 6454 3473 from 3472 >sa1 6455 3474 from 3472 >sa1 6206 3481 not 2 1 >sa0 >sa1 6020 6456 3482 from 3481 >sa1 6457 3483 from 3481 >sa1 6209 3497 buff 2 1 >sa0 >sa1 6014 6458 3498 from 3497 >sa1 6459 3499 from 3497 6212 3501 buff 2 1 >sa0 >sa1 6013 6460 3502 from 3501 >sa1 6461 3503 from 3501 6215 3505 buff 2 1 >sa0 >sa1 6021 6462 3506 from 3505 >sa1 6463 3507 from 3505 6218 3509 buff 2 1 >sa0 >sa1 6022 6464 3510 from 3509 >sa1 6465 3511 from 3509 6221 3531 nand 1 2 >sa1 5149 6023 6234 5428 not 1 1 >sa1 6070 6235 3967 nand 1 2 >sa1 6043 6044 6238 4191 buff 2 1 >sa0 >sa1 5830 6400 4192 from 4191 >sa1 6481 4193 from 4191 6241 4199 buff 2 1 >sa0 >sa1 5760 6401 4200 from 4199 >sa1 6485 4201 from 4199 6244 4207 buff 2 1 >sa0 >sa1 5761 6402 4208 from 4207 >sa1 6489 4209 from 4207 6247 4215 buff 2 1 >sa0 >sa1 5770 6403 4216 from 4215 >sa1 6493 4217 from 4215 6250 4223 buff 2 1 >sa0 >sa1 5766 6404 4224 from 4223 >sa1 6497 4225 from 4223 6253 4231 buff 2 1 >sa0 >sa1 5777 6405 4232 from 4231 >sa1 6498 4233 from 4231 6256 4239 buff 2 1 >sa0 >sa1 5776 6406 4240 from 4239 >sa1 6499 4241 from 4239 6259 4247 buff 2 1 >sa0 >sa1 5796 6407 4248 from 4247 >sa1 6503 4249 from 4247 6262 4255 buff 2 1 >sa0 >sa1 5804 6408 4256 from 4255 >sa1 6507 4257 from 4255 6265 4263 buff 2 1 >sa0 >sa1 5806 6409 4264 from 4263 >sa1 6511 4265 from 4263 6268 4271 buff 2 1 >sa0 >sa1 5820 6410 4272 from 4271 >sa1 6515 4273 from 4271 6271 4371 buff 2 1 >sa0 >sa1 5907 6519 4372 from 4371 >sa1 6520 4373 from 4371 6274 4381 buff 2 1 >sa0 >sa1 5848 6521 4382 from 4381 >sa1 6522 4383 from 4381 6277 4391 buff 2 1 >sa0 >sa1 5836 6523 4392 from 4391 >sa1 6524 4393 from 4391 6280 4401 buff 2 1 >sa0 >sa1 5840 6422 4402 from 4401 >sa1 6525 4403 from 4401 6283 4429 buff 2 1 >sa0 >sa1 5905 6529 4430 from 4429 >sa1 6530 4431 from 4429 6286 4439 buff 2 1 >sa0 >sa1 5854 6531 4440 from 4439 >sa1 6532 4441 from 4439 6289 4449 buff 2 1 >sa0 >sa1 5835 6533 4450 from 4449 >sa1 6534 4451 from 4449 6292 4459 buff 2 1 >sa0 >sa1 5846 6423 4460 from 4459 >sa1 6535 4461 from 4459 6295 4497 buff 2 1 >sa0 >sa1 5909 6542 4498 from 4497 >sa1 6543 4499 from 4497 6298 4507 buff 2 1 >sa0 >sa1 5892 6544 4508 from 4507 >sa1 6545 4509 from 4507 6301 4517 buff 2 1 >sa0 >sa1 5857 6546 4518 from 4517 >sa1 6547 4519 from 4517 6304 4527 buff 2 1 >sa0 >sa1 5879 6548 4528 from 4527 >sa1 6549 4529 from 4527 6307 4537 buff 2 1 >sa0 >sa1 5874 6424 4538 from 4537 >sa1 6550 4539 from 4537 6310 4547 buff 2 1 >sa0 >sa1 5863 6425 4548 from 4547 >sa1 6552 4549 from 4547 6313 4585 buff 2 1 >sa0 >sa1 5908 6559 4586 from 4585 >sa1 6560 4587 from 4585 6316 4595 buff 2 1 >sa0 >sa1 5901 6561 4596 from 4595 >sa1 6562 4597 from 4595 6319 4605 buff 2 1 >sa0 >sa1 5856 6563 4606 from 4605 >sa1 6564 4607 from 4605 6322 4615 buff 2 1 >sa0 >sa1 5876 6551 4616 from 4615 >sa1 6565 4617 from 4615 6325 4719 buff 2 1 >sa0 >sa1 5915 6431 4720 from 4719 >sa1 6578 4721 from 4719 6328 4727 buff 2 1 >sa0 >sa1 5914 6432 4728 from 4727 >sa1 6579 4729 from 4727 6331 4735 buff 2 1 >sa0 >sa1 5934 6433 4736 from 4735 >sa1 6583 4737 from 4735 6335 4751 buff 2 1 >sa0 >sa1 5935 6435 4752 from 4751 >sa1 6590 4753 from 4751 6338 4759 buff 2 1 >sa0 >sa1 5949 6436 4760 from 4759 >sa1 6591 4761 from 4759 6341 4835 buff 2 1 >sa0 >sa1 6004 6595 4836 from 4835 >sa1 6596 4837 from 4835 6344 4845 buff 2 1 >sa0 >sa1 5958 6597 4846 from 4845 >sa1 6598 4847 from 4845 6347 4893 buff 2 1 >sa0 >sa1 6002 6602 4894 from 4893 >sa1 6603 4895 from 4893 6350 4903 buff 2 1 >sa0 >sa1 5964 6604 4904 from 4903 >sa1 6605 4905 from 4903 6353 4961 buff 2 1 >sa0 >sa1 5989 6612 4962 from 4961 >sa1 6613 4963 from 4961 6356 4971 buff 2 1 >sa0 >sa1 5967 6614 4972 from 4971 >sa1 6615 4973 from 4971 6359 4981 buff 2 1 >sa0 >sa1 5976 6616 4982 from 4981 >sa1 6617 4983 from 4981 6364 5049 buff 2 1 >sa0 >sa1 5998 6625 5050 from 5049 >sa1 6626 5051 from 5049 6367 5059 buff 2 1 >sa0 >sa1 5966 6627 5060 from 5059 >sa1 6628 5061 from 5059 6370 5069 buff 2 1 >sa0 >sa1 5973 6618 5070 from 5069 >sa1 6629 5071 from 5069 6373 5222 not 1 1 >sa1 6057 6374 5223 not 1 1 >sa1 6060 6375 5232 not 1 1 >sa1 6061 6376 5233 not 1 1 >sa1 6064 6377 5294 nand 1 2 >sa1 4711 6065 6378 5395 nand 1 2 >sa1 5381 6068 6382 589 or 1 4 >sa0 4268 6071 6072 6073 6386 616 or 1 4 >sa0 4029 5065 5066 6074 6388 619 or 1 4 >sa0 4271 6075 6076 6077 6392 627 or 1 4 >sa0 4030 5067 5068 6078 6397 1185 or 2 5 >sa0 >sa1 4297 6094 6095 6096 6097 6645 1187 from 1185 >sa1 6649 1186 from 1185 >sa0 6411 1448 or 2 2 >sa0 >sa1 4786 6116 6673 1449 from 1448 >sa0 6674 1450 from 1448 6415 1458 or 3 5 >sa0 >sa1 4331 6120 6121 6122 6123 6642 1460 from 1458 >sa1 6676 1459 from 1458 >sa1 6677 1461 from 1458 6419 1478 or 2 2 >sa0 >sa1 4810 6136 6678 1479 from 1478 >sa0 6679 1480 from 1478 6427 1863 or 2 5 >sa0 >sa1 4392 6152 6153 6154 6155 6644 1865 from 1863 >sa1 6684 1864 from 1863 >sa0 6434 4747 not 1 1 >sa1 6334 6437 2125 or 2 2 >sa0 >sa1 4898 6174 6701 2126 from 2125 >sa0 6702 2127 from 2125 6441 2135 or 3 5 >sa0 >sa1 4451 6178 6179 6180 6181 6647 2137 from 2135 >sa1 6704 2136 from 2135 >sa1 6705 2138 from 2135 6445 2155 or 2 2 >sa0 >sa1 4920 6192 6706 2156 from 2155 >sa0 6707 2157 from 2155 6448 4995 not 1 1 >sa1 6362 6449 5005 not 1 1 >sa1 6363 6466 3533 nand 2 2 >sa0 >sa1 6221 6024 6467 f011002 from 3533 6717 3534 from 3533 6469 3921 not 1 1 >sa1 6227 6470 3925 not 1 1 >sa1 6229 6471 3929 not 1 1 >sa1 6231 6472 3933 not 1 1 >sa1 6233 6473 3943 and 1 3 >sa0 5716 4963 6226 6474 3946 and 1 3 >sa0 6223 5313 6228 6475 3949 and 1 3 >sa0 5721 4970 6230 6476 3952 and 1 3 >sa0 6225 5323 6232 6477 3966 nand 1 2 >sa1 5725 6234 6478 4107 nand 2 2 >sa0 >sa1 6236 703 6727 4108 from 4107 >sa1 6728 4109 from 4107 >sa1 6482 4196 or 2 4 >sa0 >sa1 4745 6083 6084 6085 6652 4198 from 4196 >sa1 6729 4197 from 4196 6486 4204 nor 2 3 >sa0 >sa1 4744 6086 6087 6654 4206 from 4204 >sa1 6730 4205 from 4204 6490 4212 or 2 3 >sa0 >sa1 4750 6088 6089 6656 4214 from 4212 >sa1 6731 4213 from 4212 6494 4220 nor 2 2 >sa0 >sa1 4749 6090 6658 4222 from 4220 >sa1 6732 4221 from 4220 6500 4244 or 2 5 >sa0 >sa1 4762 6098 6099 6100 6101 6665 4246 from 4244 >sa1 6733 4245 from 4244 6504 4252 or 2 4 >sa0 >sa1 4767 6102 6103 6104 6667 4254 from 4252 >sa1 6734 4253 from 4252 6508 4260 or 2 3 >sa0 >sa1 4771 6105 6106 6669 4262 from 4260 >sa1 6735 4261 from 4260 6512 4268 or 2 2 >sa0 >sa1 4776 6107 6671 4270 from 4268 >sa1 6736 4269 from 4268 6516 4361 or 2 4 >sa0 >sa1 4783 6111 6112 6113 6737 4362 from 4361 >sa1 6738 4363 from 4361 6526 4419 nor 2 3 >sa0 >sa1 4782 6114 6115 6742 4420 from 4419 >sa1 6743 4421 from 4419 6536 4467 or 2 4 >sa0 >sa1 4805 6131 6132 6133 6747 4468 from 4467 >sa1 6748 4469 from 4467 6539 4487 or 2 5 >sa0 >sa1 4798 6124 6125 6126 6127 6749 4488 from 4487 >sa1 6750 4489 from 4487 6553 4555 nor 2 3 >sa0 >sa1 4804 6134 6135 6756 4556 from 4555 >sa1 6757 4557 from 4555 6556 4575 nor 2 4 >sa0 >sa1 4797 6128 6129 6130 6758 4576 from 4575 >sa1 6759 4577 from 4575 6566 4684 or 2 4 >sa0 >sa1 4839 5117 6143 6144 6685 4686 from 4684 >sa1 6763 4685 from 4684 6569 4692 nor 2 3 >sa0 >sa1 4838 5118 6145 6686 4694 from 4692 >sa1 6764 4693 from 4692 6572 4700 or 2 3 >sa0 >sa1 4844 6146 6147 6687 4702 from 4700 >sa1 6765 4701 from 4700 6575 4708 nor 2 2 >sa0 >sa1 4843 6148 6688 4710 from 4708 >sa1 6766 4709 from 4708 6580 4732 or 2 5 >sa0 >sa1 4394 5954 6156 6157 6158 6694 4734 from 4732 >sa1 6767 4733 from 4732 6584 4740 or 2 4 >sa0 >sa1 4860 6159 6160 6161 6696 4742 from 4740 >sa1 6768 4741 from 4740 6587 4748 or 2 3 >sa0 >sa1 4864 6162 6163 6697 4750 from 4748 >sa1 6769 4749 from 4748 6592 4825 or 2 4 >sa0 >sa1 4895 5132 6171 6172 6770 4826 from 4825 >sa1 6771 4827 from 4825 6599 4883 nor 2 3 >sa0 >sa1 4894 5133 6173 6774 4884 from 4883 >sa1 6775 4885 from 4883 6606 4928 or 2 4 >sa0 >sa1 4915 6187 6188 6189 6778 4929 from 4928 6779 4930 from 4928 >sa1 6609 4941 or 2 5 >sa0 >sa1 4454 6005 6182 6183 6184 6780 4942 from 4941 >sa1 6781 4943 from 4941 6619 5009 nor 2 3 >sa0 >sa1 4914 6190 6191 6786 5010 from 5009 >sa1 6787 5011 from 5009 6622 5029 nor 2 4 >sa0 >sa1 4453 6006 6185 6186 6788 5030 from 5029 >sa1 6789 5031 from 5029 6630 5224 nand 1 2 >sa1 6059 6373 6631 5225 nand 1 2 >sa1 6058 6374 6632 5234 nand 1 2 >sa1 6063 6375 6633 5235 nand 1 2 >sa1 6062 6376 6634 5376 nand 2 2 >sa0 >sa1 6377 6066 6798 5377 from 5376 6799 5378 from 5376 >sa1 6637 5417 nand 2 2 >sa0 >sa1 6069 6378 6723 5418 from 5417 >sa1 6800 5419 from 5417 6640 576 not 1 1 >sa1 6379 6641 588 and 0 2 >sa0 >sa1 6380 6381 6643 615 and 0 2 >sa0 >sa1 6384 6385 6646 626 and 0 2 >sa0 >sa1 6390 6391 6648 632 and 0 2 >sa0 >sa1 6394 6395 6650 1198 nand 1 2 >sa1 6400 2637 6651 4195 not 1 1 >sa1 6481 6653 4203 not 1 1 >sa1 6485 6655 4211 not 1 1 >sa1 6489 6657 4219 not 1 1 >sa1 6493 6659 4227 not 1 1 >sa1 6497 6660 1217 nand 1 2 >sa1 6405 5087 6661 4235 not 1 1 >sa1 6498 6662 1221 nand 1 2 >sa1 6406 5469 6663 4243 not 1 1 >sa1 6499 6664 1224 and 1 2 >sa0 6396 639 6666 4251 not 1 1 >sa1 6503 6668 4259 not 1 1 >sa1 6507 6670 4267 not 1 1 >sa1 6511 6672 4275 not 1 1 >sa1 6515 6675 1453 not 1 1 >sa1 6414 6680 4405 not 1 1 >sa1 6525 6681 4463 not 1 1 >sa1 6535 6682 4541 not 1 1 >sa1 6550 6683 4551 not 1 1 >sa1 6552 6689 1895 nand 1 2 >sa1 6431 5120 6690 4723 not 1 1 >sa1 6578 6691 1899 nand 1 2 >sa1 6432 5622 6692 4731 not 1 1 >sa1 6579 6693 1902 and 1 2 >sa0 6426 670 6695 4739 not 1 1 >sa1 6583 6698 4755 not 1 1 >sa1 6590 6699 1929 nand 1 2 >sa1 6436 5956 6700 4763 not 1 1 >sa1 6591 6703 2130 not 1 1 >sa1 6440 6708 3500 not 1 1 >sa1 6459 6709 3504 not 1 1 >sa1 6461 6710 3508 not 1 1 >sa1 6463 6711 3512 not 1 1 >sa1 6465 6712 3520 and 1 3 >sa0 6011 6008 6458 6713 3523 and 1 3 >sa0 6453 6451 6460 6714 3526 and 1 3 >sa0 6019 6016 6462 6715 3529 and 1 3 >sa0 6457 6455 6464 6716 1002 buff 0 1 >sa0 >sa1 6467 6718 3837 and 1 3 >sa0 6430 2486 3551 6719 3942 and 1 3 >sa0 5314 5715 6469 6720 3945 and 1 3 >sa0 4962 6222 6470 6721 3948 and 1 3 >sa0 5322 5720 6471 6722 3951 and 1 3 >sa0 4969 6224 6472 6724 3968 nand 2 2 >sa0 >sa1 6477 6235 6725 f011004 from 3968 6878 3969 from 3968 6739 4375 not 1 1 >sa1 6520 6740 4385 not 1 1 >sa1 6522 6741 4395 not 1 1 >sa1 6524 6744 4433 not 1 1 >sa1 6530 6745 4443 not 1 1 >sa1 6532 6746 4453 not 1 1 >sa1 6534 6751 4501 not 1 1 >sa1 6543 6752 4511 not 1 1 >sa1 6545 6753 4521 not 1 1 >sa1 6547 6754 4531 not 1 1 >sa1 6549 6755 4619 not 1 1 >sa1 6565 6760 4589 not 1 1 >sa1 6560 6761 4599 not 1 1 >sa1 6562 6762 4609 not 1 1 >sa1 6564 6772 4839 not 1 1 >sa1 6596 6773 4849 not 1 1 >sa1 6598 6776 4897 not 1 1 >sa1 6603 6777 4907 not 1 1 >sa1 6605 6782 4965 not 1 1 >sa1 6613 6783 4975 not 1 1 >sa1 6615 6784 4985 not 1 1 >sa1 6617 6785 5073 not 1 1 >sa1 6629 6790 5053 not 1 1 >sa1 6626 6791 5063 not 1 1 >sa1 6628 6792 5247 nand 2 2 >sa0 >sa1 6630 6631 6864 5248 from 5247 >sa1 6920 5249 from 5247 6795 5255 nand 2 2 >sa0 >sa1 6632 6633 6865 5256 from 5255 >sa1 6921 5257 from 5255 6801 590 and 1 2 >sa0 6383 6642 6802 617 and 1 2 >sa0 6644 6387 6803 620 and 1 2 >sa0 6645 6389 6804 628 and 1 2 >sa0 6393 6647 6805 3535 not 1 1 >sa1 6717 6806 1199 nand 1 2 >sa1 2079 6651 6807 4202 not 1 1 >sa1 6729 6808 1204 nand 1 2 >sa1 6652 6653 6809 4210 not 1 1 >sa1 6730 6810 1207 nand 1 2 >sa1 6654 6655 6811 4218 not 1 1 >sa1 6731 6812 1211 nand 1 2 >sa1 6656 6657 6813 4226 not 1 1 >sa1 6732 6814 1214 nand 1 2 >sa1 6658 6659 6815 1218 nand 1 2 >sa1 4779 6661 6816 1222 nand 1 2 >sa1 5251 6663 6817 1225 or 5 2 >sa0 >sa1 6649 6664 6941 1226 from 1225 >sa1 6942 1227 from 1225 >sa1 6943 1228 from 1225 >sa1 6944 1229 from 1225 >sa1 6945 1230 from 1225 6823 4250 not 1 1 >sa1 6733 6824 1237 nand 1 2 >sa1 6665 6666 6825 4258 not 1 1 >sa1 6734 6826 1242 nand 1 2 >sa1 6667 6668 6827 4266 not 1 1 >sa1 6735 6828 1247 nand 1 2 >sa1 6669 6670 6829 4274 not 1 1 >sa1 6736 6830 1252 nand 1 2 >sa1 6671 6672 6831 1462 not 2 1 >sa0 >sa1 6677 6950 1463 from 1462 >sa1 6951 1464 from 1462 >sa1 6834 4690 not 1 1 >sa1 6763 6835 1882 nand 1 2 >sa1 6685 5618 6836 4698 not 1 1 >sa1 6764 6837 1885 nand 1 2 >sa1 6686 5619 6838 4706 not 1 1 >sa1 6765 6839 1889 nand 1 2 >sa1 6687 5620 6840 4714 not 1 1 >sa1 6766 6841 1892 nand 1 2 >sa1 6688 5621 6842 1896 nand 1 2 >sa1 4877 6690 6843 1900 nand 1 2 >sa1 5281 6692 6844 1903 or 5 2 >sa0 >sa1 6684 6693 6959 1904 from 1903 >sa1 6960 1905 from 1903 >sa1 6961 1906 from 1903 >sa1 6962 1907 from 1903 >sa1 6963 1908 from 1903 6850 4738 not 1 1 >sa1 6767 6851 1915 nand 1 2 >sa1 6694 6695 6852 4746 not 1 1 >sa1 6768 6853 1920 nand 1 2 >sa1 6696 6434 6854 4754 not 1 1 >sa1 6769 6855 1925 nand 1 2 >sa1 6697 6698 6856 1930 nand 1 2 >sa1 5623 6700 6857 2139 not 2 1 >sa0 >sa1 6705 6970 2140 from 2139 >sa1 6971 2141 from 2139 >sa1 6860 3519 and 1 3 >sa0 6450 6010 6708 6861 3522 and 1 3 >sa0 6007 6452 6709 6862 3525 and 1 3 >sa0 6454 6018 6710 6863 3528 and 1 3 >sa0 6015 6456 6711 6866 3848 or 5 3 >sa0 >sa1 4197 6718 3785 6928 2467 from 3848 >sa1 6929 821 from 3848 6931 2525 from 3848 >sa1 6952 1663 from 3848 >sa1 6972 2334 from 3848 >sa1 6872 3944 nor 1 2 >sa1 6719 6473 6873 3947 nor 1 2 >sa1 6720 6474 6874 3950 nor 1 2 >sa1 6721 6475 6875 3953 nor 1 2 >sa1 6722 6476 6876 5421 not 1 1 >sa1 6800 6877 1004 buff 0 1 >sa0 >sa1 6725 6879 4111 and 1 2 >sa0 6237 6727 6880 4112 and 1 2 >sa0 6728 704 6881 4351 or 2 2 >sa0 >sa1 6673 6137 6983 4352 from 4351 >sa1 6984 4353 from 4351 6884 4365 not 1 1 >sa1 6738 6885 4409 not 2 1 >sa0 >sa1 6674 6985 4410 from 4409 >sa1 6986 4411 from 4409 6888 4423 not 1 1 >sa1 6743 6889 4471 not 1 1 >sa1 6748 6890 4472 nand 1 2 >sa1 6747 5176 6891 4477 or 2 2 >sa0 >sa1 6678 6138 6988 4478 from 4477 >sa1 6989 4479 from 4477 6894 4491 not 1 1 >sa1 6750 6895 4559 not 1 1 >sa1 6757 6896 4560 nand 1 2 >sa1 6756 5728 6897 4565 not 2 1 >sa0 >sa1 6679 6991 4566 from 4565 >sa1 6992 4567 from 4565 6900 4579 not 1 1 >sa1 6759 6901 4815 or 2 2 >sa0 >sa1 6701 6193 6993 4816 from 4815 >sa1 6994 4817 from 4815 6904 4829 not 1 1 >sa1 6771 6905 4873 not 2 1 >sa0 >sa1 6702 6995 4874 from 4873 >sa1 6996 4875 from 4873 6908 4887 not 1 1 >sa1 6775 6909 4931 or 2 2 >sa0 >sa1 6706 6194 6997 4932 from 4931 >sa1 6998 4933 from 4931 6912 4934 not 1 1 >sa1 6778 6913 4945 not 1 1 >sa1 6781 6914 5013 not 1 1 >sa1 6787 6915 5014 nand 1 2 >sa1 6786 5734 6916 5019 not 2 1 >sa0 >sa1 6707 7000 5020 from 5019 >sa1 7001 5021 from 5019 6919 5033 not 1 1 >sa1 6789 6922 5382 not 1 1 >sa1 6798 6923 5385 nand 1 2 >sa1 6799 6067 6924 591 or 0 2 >sa0 >sa1 6382 6801 6925 618 or 0 2 >sa0 >sa1 6386 6802 6926 621 or 0 2 >sa0 >sa1 6388 6803 6927 629 or 0 2 >sa0 >sa1 6392 6804 6930 3970 not 1 1 >sa1 6878 6932 1200 nand 2 2 >sa0 >sa1 6650 6806 7009 1202 from 1200 7017 1201 from 1200 >sa1 6935 1203 nand 1 2 >sa1 6401 6807 6936 1206 nand 1 2 >sa1 6402 6809 6937 1210 nand 1 2 >sa1 6403 6811 6938 1213 nand 1 2 >sa1 6404 6813 6939 1219 nand 1 2 6660 6815 6940 1223 nand 1 2 >sa1 6662 6816 6946 1236 nand 1 2 >sa1 6407 6823 6947 1241 nand 1 2 >sa1 6408 6825 6948 1246 nand 1 2 >sa1 6409 6827 6949 1251 nand 1 2 >sa1 6410 6829 6953 1881 nand 1 2 >sa1 5277 6834 6954 1884 nand 1 2 >sa1 5278 6836 6955 1888 nand 1 2 >sa1 5279 6838 6956 1891 nand 1 2 >sa1 5280 6840 6957 1897 nand 1 2 6689 6842 6958 1901 nand 1 2 >sa1 6691 6843 6964 1914 nand 1 2 >sa1 6433 6850 6965 1919 nand 1 2 >sa1 6167 6852 6966 1924 nand 1 2 >sa1 6435 6854 6967 1931 nand 2 2 >sa0 >sa1 6699 6856 7010 1933 from 1931 7063 1932 from 1931 >sa1 6973 3521 nor 1 2 >sa1 6860 6712 6974 3524 nor 1 2 >sa1 6861 6713 6975 3527 nor 1 2 >sa1 6862 6714 6976 3530 nor 1 2 >sa1 6863 6715 6977 5251 not 1 1 >sa1 6920 6978 5259 not 1 1 >sa1 6921 6979 4113 or 3 2 >sa0 >sa1 6879 6880 7014 4102 from 4113 >sa1 7068 3732 from 4113 >sa1 7071 4095 from 4113 >sa1 6987 4473 nand 1 2 >sa1 5010 6889 6990 4561 nand 1 2 >sa1 5339 6895 6999 5015 nand 1 2 >sa1 5360 6914 7002 5384 nand 1 2 >sa1 5751 6922 7003 5406 nand 2 2 >sa0 >sa1 6873 6872 7069 5408 from 5406 >sa1 7100 5407 from 5406 7006 5414 nand 2 2 >sa0 >sa1 6875 6874 7070 5416 from 5414 >sa1 7104 5415 from 5414 7011 1664 and 1 3 >sa0 6952 3339 3349 7012 2335 and 1 3 >sa0 6972 3383 3393 7013 718 and 1 3 >sa0 6928 3233 3234 7015 822 not 0 1 >sa0 >sa1 6929 7016 855 and 1 3 >sa0 6931 3309 3310 7018 1205 nand 1 2 >sa1 6935 6808 7019 1208 nand 1 2 6936 6810 7020 1212 nand 1 2 >sa1 6937 6812 7021 1215 nand 1 2 6938 6814 7022 1220 not 1 1 >sa1 6939 7023 1231 not 4 1 >sa0 >sa1 6945 7117 1232 from 1231 >sa1 7118 1233 from 1231 >sa1 7119 1234 from 1231 >sa1 7120 1235 from 1231 >sa1 7028 1238 nand 2 2 >sa0 >sa1 6946 6824 7109 1240 from 1238 7121 1239 from 1238 >sa1 7031 1243 nand 2 2 >sa0 >sa1 6947 6826 7108 1245 from 1243 7122 1244 from 1243 >sa1 7034 1248 nand 2 2 >sa0 >sa1 6948 6828 7107 1250 from 1248 7123 1249 from 1248 >sa1 7037 1253 nand 2 2 >sa0 >sa1 6949 6830 7106 1255 from 1253 7124 1254 from 1253 >sa1 7040 1272 and 1 2 >sa0 6941 6079 7041 1483 and 2 2 >sa0 >sa1 6950 6675 7128 1484 from 1483 >sa1 7129 1485 from 1483 7044 1883 nand 1 2 >sa1 6953 6835 7045 1886 nand 1 2 6954 6837 7046 1890 nand 1 2 >sa1 6955 6839 7047 1893 nand 1 2 6956 6841 7048 1898 not 1 1 >sa1 6957 7049 1909 not 4 1 >sa0 >sa1 6963 7132 1910 from 1909 >sa1 7133 1911 from 1909 >sa1 7134 1912 from 1909 >sa1 7135 1913 from 1909 >sa1 7054 1916 nand 2 2 >sa0 >sa1 6964 6851 7113 1918 from 1916 7136 1917 from 1916 >sa1 7057 1921 nand 2 2 >sa0 >sa1 6965 6853 7112 1923 from 1921 7137 1922 from 1921 >sa1 7060 1926 nand 2 2 >sa0 >sa1 6966 6855 7111 1928 from 1926 7138 1927 from 1926 >sa1 7064 1953 and 1 2 >sa0 6959 6139 7065 2160 and 2 2 >sa0 >sa1 6970 6703 7142 2161 from 2160 >sa1 7143 2162 from 2160 7072 4355 not 1 1 >sa1 6984 7073 4356 nand 1 2 >sa1 6983 5172 7074 4413 not 1 1 >sa1 6986 7075 4414 nand 1 2 >sa1 6985 5727 7076 4474 nand 2 2 >sa0 >sa1 6890 6987 7154 4475 from 4474 7155 4476 from 4474 >sa1 7079 4481 not 1 1 >sa1 6989 7080 4562 nand 2 2 >sa0 >sa1 6896 6990 7156 4563 from 4562 7157 4564 from 4562 >sa1 7083 4569 not 1 1 >sa1 6992 7084 4819 not 1 1 >sa1 6994 7085 4820 nand 1 2 >sa1 6993 5198 7086 4877 not 1 1 >sa1 6996 7087 4878 nand 1 2 >sa1 6995 5731 7088 4935 not 1 1 >sa1 6998 7089 4936 nand 1 2 >sa1 6997 6912 7090 5016 nand 2 2 >sa0 >sa1 6915 6999 7161 5017 from 5016 7162 5018 from 5016 >sa1 7093 5023 not 1 1 >sa1 7001 7094 5244 nand 2 2 >sa0 >sa1 6974 6973 7144 5246 from 5244 >sa1 7163 5245 from 5244 7097 5252 nand 2 2 >sa0 >sa1 6976 6975 7145 5254 from 5252 >sa1 7164 5253 from 5252 7101 5409 nand 2 2 >sa0 >sa1 7002 6923 7148 5410 from 5409 >sa1 7165 5411 from 5409 7105 566 not 1 1 >sa1 7009 7110 577 not 1 1 >sa1 7010 7114 3733 and 1 3 >sa0 7068 1126 2473 7115 1209 not 1 1 >sa1 7019 7116 1216 not 1 1 >sa1 7021 7125 1257 and 1 2 >sa0 6944 7018 7126 1262 and 1 2 >sa0 6942 7020 7127 1267 and 1 2 >sa0 6943 7022 7130 1887 not 1 1 >sa1 7045 7131 1894 not 1 1 >sa1 7047 7139 1935 and 1 2 >sa0 6962 7044 7140 1943 and 1 2 >sa0 6960 7046 7141 1948 and 1 2 >sa0 6961 7048 7146 3779 and 1 3 >sa0 7017 2476 3535 7147 3840 and 1 3 >sa0 7063 2489 3553 7149 5412 not 1 1 >sa1 7100 7150 5420 not 1 1 >sa1 7104 7151 3964 nand 1 2 >sa1 7070 6876 7152 4357 nand 1 2 >sa1 5008 7072 7153 4415 nand 1 2 >sa1 5337 7074 7158 4821 nand 1 2 >sa1 5023 7084 7159 4879 nand 1 2 >sa1 5353 7086 7160 4937 nand 1 2 >sa1 6779 7088 7166 567 not 1 1 >sa1 7106 7167 568 not 1 1 >sa1 7107 7168 569 not 1 1 >sa1 7108 7169 570 not 1 1 >sa1 7109 7170 578 not 1 1 >sa1 7111 7171 579 not 1 1 >sa1 7112 7172 580 not 1 1 >sa1 7113 7173 1256 and 1 2 >sa0 7115 7117 7174 1261 and 1 2 >sa0 7116 7120 7175 1266 and 1 2 >sa0 6940 7118 7176 1271 and 1 2 >sa0 5789 7119 7177 1486 not 1 1 >sa1 7129 7178 1934 and 1 2 >sa0 7130 7132 7179 1942 and 1 2 >sa0 7131 7135 7180 1947 and 1 2 >sa0 6958 7133 7181 1952 and 1 2 >sa0 5927 7134 7182 2163 not 1 1 >sa1 7143 7183 5250 not 1 1 >sa1 7163 7184 3537 nand 1 2 >sa1 7144 6977 7185 5258 not 1 1 >sa1 7164 7186 3542 nand 1 2 >sa1 7145 6978 7187 3782 and 1 3 >sa0 7124 2479 3537 7188 3785 and 1 3 >sa0 7123 2478 3539 7189 3788 and 1 3 >sa0 7122 2477 3541 7190 3790 or 5 3 >sa0 >sa1 4956 7146 3781 7230 2468 from 3790 >sa1 7234 2526 from 3790 >sa1 7235 860 from 3790 7248 1665 from 3790 >sa1 7266 2336 from 3790 >sa1 7196 3843 and 1 3 >sa0 7138 2488 3555 7197 3846 and 1 3 >sa0 7137 2487 3557 7198 3849 or 5 3 >sa0 >sa1 4960 7147 3786 7231 2469 from 3849 >sa1 7232 2527 from 3849 >sa1 7233 837 from 3849 7249 1669 from 3849 >sa1 7267 2340 from 3849 >sa1 7204 3960 nand 1 2 >sa1 7148 7149 7205 5413 not 1 1 >sa1 7165 7206 3963 nand 1 2 >sa1 6723 7150 7207 4010 and 1 3 >sa0 7121 2503 3575 7208 4068 and 1 3 >sa0 7136 2515 3595 7209 4358 nand 2 2 >sa0 >sa1 7073 7152 7316 4359 from 4358 7317 4360 from 4358 >sa1 7212 4416 nand 2 2 >sa0 >sa1 7075 7153 7318 4417 from 4416 7319 4418 from 4416 >sa1 7215 4480 not 1 1 >sa1 7154 7216 4483 nand 1 2 >sa1 7155 7079 7217 4568 not 1 1 >sa1 7156 7218 4571 nand 1 2 >sa1 7157 7083 7219 4822 nand 2 2 >sa0 >sa1 7085 7158 7322 4823 from 4822 7323 4824 from 4822 >sa1 7222 4880 nand 2 2 >sa0 >sa1 7087 7159 7324 4881 from 4880 7325 4882 from 4880 >sa1 7225 4938 nand 2 2 >sa0 >sa1 7089 7160 7326 4939 from 4938 7327 4940 from 4938 >sa1 7228 5022 not 1 1 >sa1 7161 7229 5025 nand 1 2 >sa1 7162 7093 7236 1258 or 2 2 >sa0 >sa1 7173 7125 7332 1260 from 1258 7370 1259 from 1258 >sa1 7239 1263 or 2 2 >sa0 >sa1 7174 7126 7331 1265 from 1263 7371 1264 from 1263 >sa1 7242 1268 or 2 2 >sa0 >sa1 7175 7127 7330 1270 from 1268 7372 1269 from 1268 >sa1 7245 1273 or 2 2 >sa0 >sa1 7176 7040 7329 1275 from 1273 7373 1274 from 1273 >sa1 7250 1936 or 6 2 >sa0 >sa1 7178 7139 7336 1941 from 1936 7337 622 from 1936 7359 1939 from 1936 >sa1 7381 1937 from 1936 >sa1 7382 1938 from 1936 >sa1 7383 1940 from 1936 >sa1 7257 1944 or 2 2 >sa0 >sa1 7179 7140 7335 1946 from 1944 7384 1945 from 1944 >sa1 7260 1949 or 2 2 >sa0 >sa1 7180 7141 7334 1951 from 1949 7385 1950 from 1949 >sa1 7263 1954 or 2 2 >sa0 >sa1 7181 7064 7333 1956 from 1954 7386 1955 from 1954 >sa1 7268 3536 nand 1 2 >sa1 6864 7183 7269 3541 nand 1 2 >sa1 6865 7185 7270 3791 or 5 3 >sa0 >sa1 4957 7187 3782 7350 2470 from 3791 >sa1 7358 2528 from 3791 >sa1 7369 876 from 3791 7376 1671 from 3791 >sa1 7389 2342 from 3791 >sa1 7276 3792 or 5 3 >sa0 >sa1 4958 7188 3783 7348 2472 from 3792 >sa1 7356 2530 from 3792 >sa1 7368 874 from 3792 7378 1677 from 3792 >sa1 7391 2348 from 3792 >sa1 7282 3793 or 5 3 >sa0 >sa1 4959 7189 3784 7346 2474 from 3793 >sa1 7354 2532 from 3793 >sa1 7367 872 from 3793 7380 1683 from 3793 >sa1 7393 2354 from 3793 >sa1 7288 3850 or 5 3 >sa0 >sa1 4961 7196 3787 7347 2471 from 3850 >sa1 7355 2529 from 3850 >sa1 7362 835 from 3850 7377 1675 from 3850 >sa1 7390 2346 from 3850 >sa1 7294 3851 or 5 3 >sa0 >sa1 3998 7197 3788 7345 2473 from 3851 >sa1 7353 2531 from 3851 >sa1 7361 833 from 3851 7379 1681 from 3851 >sa1 7392 2352 from 3851 >sa1 7300 3961 nand 1 2 >sa1 7069 7205 7301 3965 nand 2 2 >sa0 >sa1 7206 7151 7400 3650 from 3965 >sa1 7401 3834 from 3965 7304 4024 or 5 3 >sa0 >sa1 4980 7207 3800 7344 3606 from 4024 >sa1 7352 3708 from 4024 >sa1 7366 870 from 4024 7375 1577 from 4024 >sa1 7388 2251 from 4024 >sa1 7310 4082 or 5 3 >sa0 >sa1 4984 7208 3805 7343 3605 from 4082 >sa1 7351 3707 from 4082 >sa1 7360 831 from 4082 7374 1575 from 4082 >sa1 7387 2249 from 4082 >sa1 7320 4482 nand 1 2 >sa1 6988 7215 7321 4570 nand 1 2 >sa1 6991 7217 7328 5024 nand 1 2 >sa1 7000 7228 7338 1666 and 1 3 >sa0 7248 2116 3350 7339 1670 and 1 3 >sa0 7249 3341 3351 7340 2337 and 1 3 >sa0 7266 2182 3394 7341 2341 and 1 3 >sa0 7267 3385 3395 7342 719 and 1 3 >sa0 7230 1981 3235 7349 758 and 1 3 >sa0 7231 3265 3266 7357 798 and 1 3 >sa0 7232 3297 3298 7363 838 not 0 1 >sa0 >sa1 7233 7364 856 and 1 3 >sa0 7234 2062 3311 7365 861 not 0 1 >sa0 >sa1 7235 7394 3538 nand 2 2 >sa0 >sa1 7268 7184 7395 f01998 from 3538 7475 3539 from 3538 7397 3543 nand 2 2 >sa0 >sa1 7269 7186 7398 f011000 from 3543 7477 3544 from 3543 7402 3962 nand 2 2 >sa0 >sa1 7204 7300 7478 3647 from 3962 >sa1 7480 3776 from 3962 7405 4364 not 1 1 >sa1 7316 7406 4367 nand 1 2 >sa1 7317 6884 7407 4422 not 1 1 >sa1 7318 7408 4425 nand 1 2 >sa1 7319 6888 7409 4484 nand 2 2 >sa0 >sa1 7320 7216 7494 4485 from 4484 7495 4486 from 4484 >sa1 7412 4572 nand 2 2 >sa0 >sa1 7321 7218 7496 4573 from 4572 7497 4574 from 4572 >sa1 7415 4828 not 1 1 >sa1 7322 7416 4831 nand 1 2 >sa1 7323 6904 7417 4886 not 1 1 >sa1 7324 7418 4889 nand 1 2 >sa1 7325 6908 7419 4944 not 1 1 >sa1 7326 7420 4947 nand 1 2 >sa1 7327 6913 7421 5026 nand 2 2 >sa0 >sa1 7328 7229 7501 5027 from 5026 7502 5028 from 5026 >sa1 7424 571 not 1 1 >sa1 7329 7425 572 not 1 1 >sa1 7330 7426 573 not 1 1 >sa1 7331 7427 574 not 1 1 >sa1 7332 7428 581 not 1 1 >sa1 7333 7429 582 not 1 1 >sa1 7334 7430 583 not 1 1 >sa1 7335 7431 584 not 1 1 >sa1 7336 7432 623 not 0 1 >sa0 >sa1 7337 7433 1576 and 1 3 >sa0 7374 3317 3327 7434 1578 and 1 3 >sa0 7375 2095 3328 7435 659 or 1 4 >sa1 7011 7338 3621 2591 7436 1672 and 1 3 >sa0 7376 2124 3352 7437 1676 and 1 3 >sa0 7377 3343 3353 7438 1678 and 1 3 >sa0 7378 2122 3354 7439 1682 and 1 3 >sa0 7379 3345 3355 7440 1684 and 1 3 >sa0 7380 2120 3356 7441 2250 and 1 3 >sa0 7387 3361 3371 7442 2252 and 1 3 >sa0 7388 2162 3372 7443 691 or 1 4 >sa1 7012 7340 3632 2600 7444 2343 and 1 3 >sa0 7389 2190 3396 7445 2347 and 1 3 >sa0 7390 3387 3397 7446 2349 and 1 3 >sa0 7391 2188 3398 7447 2353 and 1 3 >sa0 7392 3389 3399 7448 2355 and 1 3 >sa0 7393 2186 3400 7449 722 or 0 4 >sa0 >sa1 7013 7342 3641 2605 7450 743 and 1 3 >sa0 7343 3253 3254 7451 744 and 1 3 >sa0 7344 2001 3255 7452 748 and 1 3 >sa0 7345 3257 3258 7453 749 and 1 3 >sa0 7346 2005 3259 7454 753 and 1 3 >sa0 7347 3261 3262 7455 754 and 1 3 >sa0 7348 2009 3263 7456 759 and 1 3 >sa0 7350 2013 3267 7457 783 and 1 3 >sa0 7351 3285 3286 7458 784 and 1 3 >sa0 7352 2033 3287 7459 788 and 1 3 >sa0 7353 3289 3290 7460 789 and 1 3 >sa0 7354 2037 3291 7461 793 and 1 3 >sa0 7355 3293 3294 7462 794 and 1 3 >sa0 7356 2041 3295 7463 799 and 1 3 >sa0 7358 2045 3299 7464 3735 and 1 3 >sa0 7381 1127 1124 7465 832 not 0 1 >sa0 >sa1 7360 7466 834 not 0 1 >sa0 >sa1 7361 7467 836 not 0 1 >sa0 >sa1 7362 7468 3835 not 1 1 >sa1 7401 7469 859 or 0 4 >sa0 >sa1 7016 7364 3660 2626 7470 871 not 0 1 >sa0 >sa1 7366 7471 873 not 0 1 >sa0 >sa1 7367 7472 875 not 0 1 >sa0 >sa1 7368 7473 877 not 0 1 >sa0 >sa1 7369 7474 998 buff 0 1 >sa0 >sa1 7395 7476 1000 buff 0 1 >sa0 >sa1 7398 7479 3651 and 1 2 >sa0 7400 3525 7481 4013 and 1 3 >sa0 7373 2502 3577 7482 4016 and 1 3 >sa0 7372 2506 3579 7483 4019 and 1 3 >sa0 7371 2505 3581 7484 4022 and 1 3 >sa0 7370 2504 3583 7485 4071 and 1 3 >sa0 7386 2514 3597 7486 4074 and 1 3 >sa0 7385 2518 3599 7487 4077 and 1 3 >sa0 7384 2517 3601 7488 4080 and 1 3 >sa0 7383 2516 3603 7489 4096 nand 2 2 >sa0 >sa1 7071 7382 7523 4097 from 4096 >sa1 7524 4098 from 4096 >sa1 7492 4366 nand 1 2 >sa1 6737 7405 7493 4424 nand 1 2 >sa1 6742 7407 7498 4830 nand 1 2 >sa1 6770 7415 7499 4888 nand 1 2 >sa1 6774 7417 7500 4946 nand 1 2 >sa1 6780 7419 7503 575 and 0 9 >sa0 >sa1 7105 7166 7167 7168 7169 7424 7425 7426 7427 7504 585 and 0 9 >sa0 >sa1 6640 7110 7170 7171 7172 7428 7429 7430 7431 7505 640 or 1 4 >sa1 7433 7434 3616 2585 7506 661 and 0 2 >sa0 >sa1 7435 3212 7507 662 or 1 4 >sa1 7339 7436 3622 2592 7508 665 or 1 4 >sa1 7437 7438 3623 2593 7509 668 or 1 4 >sa1 7439 7440 3624 2594 7510 674 or 1 4 >sa1 7441 7442 3627 2595 7511 693 and 0 2 >sa0 >sa1 7443 3223 7512 694 or 1 4 >sa1 7341 7444 3633 2601 7513 697 or 1 4 >sa1 7445 7446 3634 2602 7514 700 or 1 4 >sa1 7447 7448 3635 2603 7515 747 or 0 4 >sa0 >sa1 7450 7451 3646 2610 7516 752 or 0 4 >sa0 >sa1 7452 7453 3647 2611 7517 757 or 0 4 >sa0 >sa1 7454 7455 3648 2612 7518 762 or 0 4 >sa0 >sa1 7349 7456 3649 2613 7519 787 or 0 4 >sa0 >sa1 7457 7458 3654 2618 7520 792 or 0 4 >sa0 >sa1 7459 7460 3655 2619 7521 797 or 0 4 >sa0 >sa1 7461 7462 3656 2620 7522 802 or 0 4 >sa0 >sa1 7357 7463 3657 2621 7525 817 or 1 4 >sa1 4741 7114 2624 7464 7526 839 and 1 3 >sa0 7468 3305 3306 7527 3540 not 1 1 >sa1 7475 7528 3545 not 1 1 >sa1 7477 7529 3777 not 1 1 >sa1 7480 7530 3648 and 1 2 >sa0 7478 3524 7531 4025 or 5 3 >sa0 >sa1 4981 7481 3801 7617 3608 from 4025 >sa1 7623 3710 from 4025 >sa1 7635 868 from 4025 7638 1583 from 4025 >sa1 7646 2257 from 4025 >sa1 7537 4026 or 5 3 >sa0 >sa1 4982 7482 3802 7615 3610 from 4026 >sa1 7621 3712 from 4026 >sa1 7634 866 from 4026 7640 1589 from 4026 >sa1 7648 2263 from 4026 >sa1 7543 4027 or 5 3 >sa0 >sa1 4983 7483 3803 7613 3612 from 4027 >sa1 7619 3714 from 4027 >sa1 7633 864 from 4027 7642 1595 from 4027 >sa1 7650 2269 from 4027 >sa1 7549 4028 or 5 3 >sa0 >sa1 5165 7484 3804 7609 3716 from 4028 >sa1 7611 3614 from 4028 >sa1 7632 862 from 4028 7644 1601 from 4028 >sa1 7652 2275 from 4028 >sa1 7555 4083 or 5 3 >sa0 >sa1 4985 7485 3806 7616 3607 from 4083 >sa1 7622 3709 from 4083 >sa1 7630 829 from 4083 7637 1581 from 4083 >sa1 7645 2255 from 4083 >sa1 7561 4084 or 5 3 >sa0 >sa1 4986 7486 3807 7614 3609 from 4084 >sa1 7620 3711 from 4084 >sa1 7629 827 from 4084 7639 1587 from 4084 >sa1 7647 2261 from 4084 >sa1 7567 4085 or 5 3 >sa0 >sa1 4547 7487 3808 7612 3611 from 4085 >sa1 7618 3713 from 4085 >sa1 7628 825 from 4085 7641 1593 from 4085 >sa1 7649 2267 from 4085 >sa1 7573 4086 or 5 3 >sa0 >sa1 4987 7488 3809 7608 3715 from 4086 >sa1 7610 3613 from 4086 >sa1 7627 823 from 4086 7643 1599 from 4086 >sa1 7651 2273 from 4086 >sa1 7579 4368 nand 2 2 >sa0 >sa1 7492 7406 7653 4369 from 4368 7654 4370 from 4368 >sa1 7582 4426 nand 2 2 >sa0 >sa1 7493 7408 7655 4427 from 4426 7656 4428 from 4426 >sa1 7585 4490 not 1 1 >sa1 7494 7586 4493 nand 1 2 >sa1 7495 6894 7587 4578 not 1 1 >sa1 7496 7588 4581 nand 1 2 >sa1 7497 6900 7589 4832 nand 2 2 >sa0 >sa1 7498 7416 7659 4833 from 4832 7660 4834 from 4832 >sa1 7592 4890 nand 2 2 >sa0 >sa1 7499 7418 7661 4891 from 4890 7662 4892 from 4890 >sa1 7595 4948 nand 2 2 >sa0 >sa1 7500 7420 7663 4949 from 4948 7664 4950 from 4948 >sa1 7598 5032 not 1 1 >sa1 7501 7599 5035 nand 1 2 >sa1 7502 6919 7600 642 and 0 2 >sa0 >sa1 7505 3206 7601 664 and 0 2 >sa0 >sa1 7507 3213 7602 667 and 0 2 >sa0 >sa1 7508 3214 7603 670 and 0 2 >sa0 >sa1 7509 3215 7604 676 and 0 2 >sa0 >sa1 7510 3217 7605 696 and 0 2 >sa0 >sa1 7512 3224 7606 699 and 0 2 >sa0 >sa1 7513 3225 7607 702 and 0 2 >sa0 >sa1 7514 3226 7624 811 and 1 2 >sa0 7014 7523 7625 812 and 1 2 >sa0 7524 7359 7626 818 and 0 2 >sa0 >sa1 1149 7525 7631 853 and 1 5 >sa1 1038 7527 7528 6805 6930 7636 878 and 1 3 >sa0 7529 3313 3314 7657 4492 nand 1 2 >sa1 6749 7585 7658 4580 nand 1 2 >sa1 6758 7587 7665 5034 nand 1 2 >sa1 6788 7598 7666 1582 and 1 3 >sa0 7637 3319 3329 7667 1584 and 1 3 >sa0 7638 2093 3330 7668 1588 and 1 3 >sa0 7639 3321 3331 7669 1590 and 1 3 >sa0 7640 2101 3332 7670 1594 and 1 3 >sa0 7641 3323 3333 7671 1596 and 1 3 >sa0 7642 2099 3334 7672 1600 and 1 3 >sa0 7643 3325 3335 7673 1602 and 1 3 >sa0 7644 2097 3336 7674 2256 and 1 3 >sa0 7645 3363 3373 7675 2258 and 1 3 >sa0 7646 2160 3374 7676 2262 and 1 3 >sa0 7647 3365 3375 7677 2264 and 1 3 >sa0 7648 2168 3376 7678 2268 and 1 3 >sa0 7649 3367 3377 7679 2270 and 1 3 >sa0 7650 2166 3378 7680 2274 and 1 3 >sa0 7651 3369 3379 7681 2276 and 1 3 >sa0 7652 2164 3380 7682 708 and 1 3 >sa0 7608 3228 3229 7683 709 and 1 3 >sa0 7609 1976 3230 7684 723 and 1 3 >sa0 7610 3237 3238 7685 724 and 1 3 >sa0 7611 1985 3239 7686 728 and 1 3 >sa0 7612 3241 3242 7687 729 and 1 3 >sa0 7613 1989 3243 7688 733 and 1 3 >sa0 7614 3245 3246 7689 734 and 1 3 >sa0 7615 1993 3247 7690 738 and 1 3 >sa0 7616 3249 3250 7691 739 and 1 3 >sa0 7617 1997 3251 7692 768 and 1 3 >sa0 7618 3273 3274 7693 769 and 1 3 >sa0 7619 2021 3275 7694 773 and 1 3 >sa0 7620 3277 3278 7695 774 and 1 3 >sa0 7621 2025 3279 7696 778 and 1 3 >sa0 7622 3281 3282 7697 779 and 1 3 >sa0 7623 2029 3283 7698 813 or 0 2 >sa0 >sa1 7624 7625 7699 824 not 0 1 >sa0 >sa1 7627 7700 826 not 0 1 >sa0 >sa1 7628 7701 828 not 0 1 >sa0 >sa1 7629 7702 830 not 0 1 >sa0 >sa1 7630 7703 854 and 0 3 >sa0 >sa1 1156 7631 778 7704 863 not 0 1 >sa0 >sa1 7632 7705 865 not 0 1 >sa0 >sa1 7633 7706 867 not 0 1 >sa0 >sa1 7634 7707 869 not 0 1 >sa0 >sa1 7635 7708 4374 not 1 1 >sa1 7653 7709 4377 nand 1 2 >sa1 7654 6739 7710 4432 not 1 1 >sa1 7655 7711 4435 nand 1 2 >sa1 7656 6744 7712 4494 nand 2 2 >sa0 >sa1 7657 7586 7745 4495 from 4494 7746 4496 from 4494 >sa1 7715 4582 nand 2 2 >sa0 >sa1 7658 7588 7747 4583 from 4582 7748 4584 from 4582 >sa1 7718 4838 not 1 1 >sa1 7659 7719 4841 nand 1 2 >sa1 7660 6772 7720 4896 not 1 1 >sa1 7661 7721 4899 nand 1 2 >sa1 7662 6776 7722 4954 not 1 1 >sa1 7663 7723 4957 nand 1 2 >sa1 7664 5733 7724 5036 nand 2 2 >sa0 >sa1 7665 7599 7752 5037 from 5036 7753 5038 from 5036 >sa1 7727 643 or 1 4 >sa1 7666 7667 3617 2586 7728 646 or 1 4 >sa1 7668 7669 3618 2587 7729 649 or 1 4 >sa1 7670 7671 3619 2588 7730 652 or 1 4 >sa1 7672 7673 3620 2589 7731 677 or 1 4 >sa1 7674 7675 3628 2596 7732 680 or 1 4 >sa1 7676 7677 3629 2597 7733 683 or 1 4 >sa1 7678 7679 3630 2598 7734 686 or 1 4 >sa1 7680 7681 3631 2599 7735 712 or 0 4 >sa0 >sa1 7682 7683 3638 2604 7736 727 or 0 4 >sa0 >sa1 7684 7685 3642 2606 7737 732 or 0 4 >sa0 >sa1 7686 7687 3643 2607 7738 737 or 0 4 >sa0 >sa1 7688 7689 3644 2608 7739 742 or 0 4 >sa0 >sa1 7690 7691 3645 2609 7740 772 or 0 4 >sa0 >sa1 7692 7693 3651 2615 7741 777 or 0 4 >sa0 >sa1 7694 7695 3652 2616 7742 782 or 0 4 >sa0 >sa1 7696 7697 3653 2617 7743 4376 nand 1 2 >sa1 6519 7708 7744 4434 nand 1 2 >sa1 6529 7710 7749 4840 nand 1 2 >sa1 6595 7718 7750 4898 nand 1 2 >sa1 6602 7720 7751 4956 nand 1 2 >sa1 5357 7722 7754 645 and 0 2 >sa0 >sa1 7727 3207 7755 648 and 0 2 >sa0 >sa1 7728 3208 7756 651 and 0 2 >sa0 >sa1 7729 3209 7757 654 and 0 2 >sa0 >sa1 7730 3210 7758 679 and 0 2 >sa0 >sa1 7731 3218 7759 682 and 0 2 >sa0 >sa1 7732 3219 7760 685 and 0 2 >sa0 >sa1 7733 3220 7761 688 and 0 2 >sa0 >sa1 7734 3221 7762 4378 nand 2 2 >sa0 >sa1 7743 7709 7783 4379 from 4378 7784 4380 from 4378 >sa1 7765 4436 nand 2 2 >sa0 >sa1 7744 7711 7785 4437 from 4436 7786 4438 from 4436 >sa1 7768 4500 not 1 1 >sa1 7745 7769 4503 nand 1 2 >sa1 7746 6751 7770 4588 not 1 1 >sa1 7747 7771 4591 nand 1 2 >sa1 7748 6760 7772 4842 nand 2 2 >sa0 >sa1 7749 7719 7789 4843 from 4842 7790 4844 from 4842 >sa1 7775 4900 nand 2 2 >sa0 >sa1 7750 7721 7791 4901 from 4900 7792 4902 from 4900 >sa1 7778 4958 nand 2 2 >sa0 >sa1 7751 7723 7793 4959 from 4958 7794 4960 from 4958 >sa1 7781 5042 not 1 1 >sa1 7752 7782 5045 nand 1 2 >sa1 7753 5735 7787 4502 nand 1 2 >sa1 6542 7768 7788 4590 nand 1 2 >sa1 6559 7770 7795 5044 nand 1 2 >sa1 5361 7781 7796 4384 not 1 1 >sa1 7783 7797 4387 nand 1 2 >sa1 7784 6740 7798 4442 not 1 1 >sa1 7785 7799 4445 nand 1 2 >sa1 7786 6745 7800 4504 nand 2 2 >sa0 >sa1 7787 7769 7817 4505 from 4504 7818 4506 from 4504 >sa1 7803 4592 nand 2 2 >sa0 >sa1 7788 7771 7819 4593 from 4592 7820 4594 from 4592 >sa1 7806 4848 not 1 1 >sa1 7789 7807 4851 nand 1 2 >sa1 7790 6773 7808 4906 not 1 1 >sa1 7791 7809 4909 nand 1 2 >sa1 7792 6777 7810 4964 not 1 1 >sa1 7793 7811 4967 nand 1 2 >sa1 7794 6782 7812 5046 nand 2 2 >sa0 >sa1 7795 7782 7824 5047 from 5046 7825 5048 from 5046 >sa1 7815 4386 nand 1 2 >sa1 6521 7796 7816 4444 nand 1 2 >sa1 6531 7798 7821 4850 nand 1 2 >sa1 6597 7806 7822 4908 nand 1 2 >sa1 6604 7808 7823 4966 nand 1 2 >sa1 6612 7810 7826 4388 nand 2 2 >sa0 >sa1 7815 7797 7847 4389 from 4388 7848 4390 from 4388 >sa1 7829 4446 nand 2 2 >sa0 >sa1 7816 7799 7849 4447 from 4446 7850 4448 from 4446 >sa1 7832 4510 not 1 1 >sa1 7817 7833 4513 nand 1 2 >sa1 7818 6752 7834 4598 not 1 1 >sa1 7819 7835 4601 nand 1 2 >sa1 7820 6761 7836 4852 nand 2 2 >sa0 >sa1 7821 7807 7853 4853 from 4852 7854 4854 from 4852 >sa1 7839 4910 nand 2 2 >sa0 >sa1 7822 7809 7855 4911 from 4910 7856 4912 from 4910 >sa1 7842 4968 nand 2 2 >sa0 >sa1 7823 7811 7857 4969 from 4968 7858 4970 from 4968 >sa1 7845 5052 not 1 1 >sa1 7824 7846 5055 nand 1 2 >sa1 7825 6790 7851 4512 nand 1 2 >sa1 6544 7832 7852 4600 nand 1 2 >sa1 6561 7834 7859 5054 nand 1 2 >sa1 6625 7845 7860 4394 not 1 1 >sa1 7847 7861 4397 nand 1 2 >sa1 7848 6741 7862 4452 not 1 1 >sa1 7849 7863 4455 nand 1 2 >sa1 7850 6746 7864 4514 nand 2 2 >sa0 >sa1 7851 7833 7881 4515 from 4514 7882 4516 from 4514 >sa1 7867 4602 nand 2 2 >sa0 >sa1 7852 7835 7883 4603 from 4602 7884 4604 from 4602 >sa1 7870 4858 not 1 1 >sa1 7853 7871 4861 nand 1 2 >sa1 7854 5730 7872 4916 not 1 1 >sa1 7855 7873 4919 nand 1 2 >sa1 7856 5732 7874 4974 not 1 1 >sa1 7857 7875 4977 nand 1 2 >sa1 7858 6783 7876 5056 nand 2 2 >sa0 >sa1 7859 7846 7888 5057 from 5056 7889 5058 from 5056 >sa1 7879 4396 nand 1 2 >sa1 6523 7860 7880 4454 nand 1 2 >sa1 6533 7862 7885 4860 nand 1 2 >sa1 5349 7870 7886 4918 nand 1 2 >sa1 5354 7872 7887 4976 nand 1 2 >sa1 6614 7874 7890 4398 nand 2 2 >sa0 >sa1 7879 7861 7911 4400 from 4398 >sa1 7915 4399 from 4398 7893 4456 nand 2 2 >sa0 >sa1 7880 7863 7912 4458 from 4456 >sa1 7916 4457 from 4456 7896 4520 not 1 1 >sa1 7881 7897 4523 nand 1 2 >sa1 7882 6753 7898 4608 not 1 1 >sa1 7883 7899 4611 nand 1 2 >sa1 7884 6762 7900 4862 nand 2 2 >sa0 >sa1 7885 7871 7913 4864 from 4862 >sa1 7919 4863 from 4862 7903 4920 nand 2 2 >sa0 >sa1 7886 7873 7914 4922 from 4920 >sa1 7920 4921 from 4920 7906 4978 nand 2 2 >sa0 >sa1 7887 7875 7921 4979 from 4978 7922 4980 from 4978 >sa1 7909 5062 not 1 1 >sa1 7888 7910 5065 nand 1 2 >sa1 7889 6791 7917 4522 nand 1 2 >sa1 6546 7896 7918 4610 nand 1 2 >sa1 6563 7898 7923 5064 nand 1 2 >sa1 6627 7909 7924 4404 not 1 1 >sa1 7915 7925 1488 nand 1 2 >sa1 7911 6680 7926 4462 not 1 1 >sa1 7916 7927 1493 nand 1 2 >sa1 7912 6681 7928 4868 not 1 1 >sa1 7919 7929 2165 nand 1 2 >sa1 7913 5690 7930 4926 not 1 1 >sa1 7920 7931 2170 nand 1 2 >sa1 7914 5691 7932 4524 nand 2 2 >sa0 >sa1 7917 7897 7947 4525 from 4524 7948 4526 from 4524 >sa1 7935 4612 nand 2 2 >sa0 >sa1 7918 7899 7949 4614 from 4612 >sa1 7950 4613 from 4612 7938 4984 not 1 1 >sa1 7921 7939 4987 nand 1 2 >sa1 7922 6784 7940 5066 nand 2 2 >sa0 >sa1 7923 7910 7952 5068 from 5066 >sa1 7953 5067 from 5066 7943 1487 nand 1 2 >sa1 6422 7924 7944 1492 nand 1 2 >sa1 6423 7926 7945 2164 nand 1 2 >sa1 5301 7928 7946 2169 nand 1 2 >sa1 5302 7930 7951 4986 nand 1 2 >sa1 6616 7938 7954 1489 nand 2 2 >sa0 >sa1 7943 7925 7975 1490 from 1489 >sa1 7976 1491 from 1489 >sa1 7957 1494 nand 2 2 >sa0 >sa1 7944 7927 7977 1495 from 1494 >sa1 7978 1496 from 1494 >sa1 7960 2166 nand 2 2 >sa0 >sa1 7945 7929 7979 2167 from 2166 >sa1 7980 2168 from 2166 >sa1 7963 2171 nand 2 2 >sa0 >sa1 7946 7931 7981 2172 from 2171 >sa1 7982 2173 from 2171 >sa1 7966 4530 not 1 1 >sa1 7947 7967 4533 nand 1 2 >sa1 7948 6754 7968 4618 not 1 1 >sa1 7950 7969 4543 nand 1 2 >sa1 7949 6755 7970 4988 nand 2 2 >sa0 >sa1 7951 7939 7983 4990 from 4988 >sa1 7986 4989 from 4988 7973 5072 not 1 1 >sa1 7953 7974 4997 nand 1 2 >sa1 7952 6785 7984 4532 nand 1 2 >sa1 6548 7966 7985 4542 nand 1 2 >sa1 6551 7968 7987 4996 nand 1 2 >sa1 6618 7973 7988 1513 and 1 3 >sa0 7977 6951 2089 7989 1514 and 1 3 >sa0 7975 6676 2091 7990 1515 and 1 3 >sa0 7978 7128 1044 7991 1516 and 1 3 >sa0 7976 7177 1046 7992 4994 not 1 1 >sa1 7986 7993 2184 nand 1 2 >sa1 7983 6448 7994 2190 and 1 3 >sa0 7981 6971 2157 7995 2191 and 1 3 >sa0 7979 6704 2159 7996 2192 and 1 3 >sa0 7982 7142 1056 7997 2193 and 1 3 >sa0 7980 7182 1058 7998 4534 nand 2 2 >sa0 >sa1 7984 7967 8007 4536 from 4534 >sa1 8011 4535 from 4534 8001 4544 nand 2 2 >sa0 >sa1 7985 7969 8008 4546 from 4544 >sa1 8012 4545 from 4544 8004 4998 nand 2 2 >sa0 >sa1 7987 7974 8010 5000 from 4998 >sa1 8016 4999 from 4998 8009 2183 nand 1 2 >sa1 6195 7992 8013 4620 or 2 4 >sa0 >sa1 7988 7989 7990 7991 8024 4622 from 4620 >sa1 8029 4621 from 4620 8017 5074 or 2 4 >sa0 >sa1 7994 7995 7996 7997 8028 5076 from 5074 >sa1 8030 5075 from 5074 8020 4540 not 1 1 >sa1 8011 8021 1507 nand 1 2 >sa1 8007 6682 8022 4550 not 1 1 >sa1 8012 8023 1510 nand 1 2 >sa1 8008 6683 8025 2185 nand 1 2 >sa1 8009 7993 8026 5004 not 1 1 >sa1 8016 8027 2187 nand 1 2 >sa1 8010 6449 8031 1506 nand 1 2 >sa1 6424 8020 8032 1509 nand 1 2 >sa1 6425 8022 8033 4626 not 1 1 >sa1 8029 8034 2186 nand 1 2 >sa1 6196 8026 8035 2195 and 1 2 >sa0 1057 8025 8036 5080 not 1 1 >sa1 8030 8037 1508 nand 1 2 >sa1 8031 8021 8038 1511 nand 1 2 8032 8023 8039 2188 nand 1 2 8034 8027 8040 1512 not 1 1 >sa1 8038 8041 1518 and 1 2 >sa0 1045 8037 8042 2189 not 1 1 >sa1 8039 8043 1517 and 1 2 >sa0 8040 2090 8044 2194 and 1 2 >sa0 8042 2158 8045 4623 or 2 2 >sa0 >sa1 8043 8041 8051 4624 from 4623 >sa1 8053 4625 from 4623 8048 5077 or 2 2 >sa0 >sa1 8044 8035 8052 5078 from 5077 >sa1 8054 5079 from 5077 8055 1519 nand 1 2 >sa1 8051 8033 8056 4627 not 1 1 >sa1 8053 8057 2196 nand 1 2 >sa1 8052 8036 8058 5081 not 1 1 >sa1 8054 8059 1520 nand 1 2 >sa1 8024 8056 8060 2197 nand 1 2 >sa1 8028 8058 8061 1521 nand 2 2 >sa0 >sa1 8055 8059 8068 1522 from 1521 >sa1 8069 1523 from 1521 8064 2198 nand 2 2 >sa0 >sa1 8057 8060 8067 2199 from 2198 >sa1 8070 2200 from 2198 8071 840 and 1 3 >sa0 8067 2056 3307 8072 879 and 1 3 >sa0 8068 2066 3315 8073 1524 not 1 1 >sa1 8069 8074 2201 not 1 1 >sa1 8070 8075 843 or 0 4 >sa0 >sa1 7526 8071 3659 2625 8076 882 or 0 4 >sa0 >sa1 7636 8072 3661 2627 8077 3649 and 1 2 >sa0 8073 2468 8078 3652 and 1 2 >sa0 8074 2467 8079 3657 or 2 2 >sa0 >sa1 7530 8077 8085 3635 from 3657 >sa1 8087 3641 from 3657 >sa1 8082 3658 or 2 2 >sa0 >sa1 7479 8078 8086 3638 from 3658 >sa1 8088 3644 from 3658 >sa1 8089 3636 and 1 2 >sa0 8085 3520 8090 3639 and 1 2 >sa0 8086 3522 8091 3642 and 1 2 >sa0 8087 3521 8092 3645 and 1 2 >sa0 8088 3523 8093 3653 or 2 2 >sa0 >sa1 8089 3071 8110 1658 from 3653 >sa1 8112 2329 from 3653 >sa1 8096 3654 or 2 2 >sa0 >sa1 8090 3072 8109 1656 from 3654 >sa1 8111 2327 from 3654 >sa1 8099 3655 or 2 2 >sa0 >sa1 8091 3073 8106 2466 from 3655 >sa1 8108 2524 from 3655 >sa1 8102 3656 or 2 2 >sa0 >sa1 8092 3074 8105 2465 from 3656 >sa1 8107 2523 from 3656 >sa1 8113 763 and 1 3 >sa0 8105 3269 3270 8114 764 and 1 3 >sa0 8106 2017 3271 8115 803 and 1 3 >sa0 8107 3301 3302 8116 804 and 1 3 >sa0 8108 2049 3303 8117 1657 and 1 3 >sa0 8109 3337 3347 8118 1659 and 1 3 >sa0 8110 2118 3348 8119 2328 and 1 3 >sa0 8111 3381 3391 8120 2330 and 1 3 >sa0 8112 2184 3392 8121 1662 or 1 4 >sa1 8117 8118 3662 2703 8122 2333 or 1 4 >sa1 8119 8120 3663 2778 8123 767 or 0 4 >sa0 >sa1 8113 8114 3650 2614 8124 807 or 0 4 >sa0 >sa1 8115 8116 3658 2622 8125 657 and 1 2 8121 3211 8126 689 and 1 2 8122 3222 8127 658 not 0 1 >sa0 >sa1 8125 8128 690 not 0 1 >sa0 >sa1 8126