1 101 inpt 2 0 >sa0 >sa1
113 102 from 101 >sa0 >sa1
114 103 from 101 >sa0 >sa1
4 104 inpt 2 0 >sa0 >sa1
115 105 from 104 >sa0 >sa1
116 106 from 104 >sa0 >sa1
7 107 inpt 2 0 >sa0 >sa1
117 108 from 107 >sa0 >sa1
118 109 from 107 >sa0 >sa1
10 110 inpt 2 0 >sa0 >sa1
119 111 from 110 >sa0 >sa1
120 112 from 110 >sa0 >sa1
13 113 inpt 2 0 >sa0 >sa1
121 114 from 113 >sa0 >sa1
122 115 from 113 >sa0 >sa1
16 116 inpt 2 0 >sa0 >sa1
123 117 from 116 >sa0 >sa1
124 118 from 116 >sa0 >sa1
19 119 inpt 2 0 >sa0 >sa1
125 120 from 119 >sa0 >sa1
126 121 from 119 >sa0 >sa1
22 122 inpt 2 0 >sa0 >sa1
127 123 from 122 >sa0 >sa1
128 124 from 122 >sa0 >sa1
25 125 inpt 2 0 >sa0 >sa1
129 126 from 125 >sa0 >sa1
130 127 from 125 >sa0 >sa1
28 128 inpt 2 0 >sa0 >sa1
131 129 from 128 >sa0 >sa1
132 130 from 128 >sa0 >sa1
31 131 inpt 2 0 >sa0 >sa1
133 132 from 131 >sa0 >sa1
134 133 from 131 >sa0 >sa1
34 134 inpt 2 0 >sa0 >sa1
135 135 from 134 >sa0 >sa1
136 136 from 134 >sa0 >sa1
37 137 inpt 2 0 >sa0 >sa1
137 138 from 137 >sa0 >sa1
138 139 from 137 >sa0 >sa1
40 140 inpt 2 0 >sa0 >sa1
139 141 from 140 >sa0 >sa1
140 142 from 140 >sa0 >sa1
43 143 inpt 2 0 >sa0 >sa1
141 144 from 143 >sa0 >sa1
142 145 from 143 >sa0 >sa1
46 146 inpt 2 0 >sa0 >sa1
143 147 from 146 >sa0 >sa1
144 148 from 146 >sa0 >sa1
49 210 inpt 3 0 >sa0 >sa1
145 211 from 210 >sa0 >sa1
146 212 from 210 >sa0 >sa1
147 213 from 210 >sa0 >sa1
53 214 inpt 2 0 >sa0 >sa1
148 215 from 214 >sa0 >sa1
149 216 from 214 >sa0 >sa1
56 217 inpt 3 0 >sa0 >sa1
150 218 from 217 >sa0 >sa1
151 219 from 217 >sa0 >sa1
152 220 from 217 >sa0 >sa1
60 221 inpt 2 0 >sa0 >sa1
153 222 from 221 >sa0 >sa1
154 223 from 221 >sa0 >sa1
63 224 inpt 2 0 >sa0 >sa1
155 225 from 224 >sa0 >sa1
156 226 from 224 >sa0 >sa1
66 227 inpt 2 0 >sa0 >sa1
157 228 from 227 >sa0 >sa1
158 229 from 227 >sa0 >sa1
69 234 inpt 2 0 >sa0 >sa1
161 235 from 234 >sa0 >sa1
162 236 from 234 >sa0 >sa1
72 237 inpt 3 0 >sa0 >sa1
163 238 from 237 >sa0 >sa1
164 239 from 237 >sa0 >sa1
165 240 from 237 >sa0 >sa1
76 469 inpt 2 0 >sa0 >sa1
166 470 from 469 >sa0 >sa1
167 471 from 469 >sa0 >sa1
79 472 inpt 2 0 >sa0 >sa1
168 473 from 472 >sa0 >sa1
169 474 from 472 >sa0 >sa1
82 475 inpt 2 0 >sa0 >sa1
170 476 from 475 >sa0 >sa1
171 477 from 475 >sa0 >sa1
85 478 inpt 2 0 >sa0 >sa1
172 479 from 478 >sa0 >sa1
173 480 from 478 >sa0 >sa1
88 898 inpt 2 0 >sa0 >sa1
159 230 from 898 >sa0 >sa1
176 899 from 898 >sa0 >sa1
91 900 inpt 2 0 >sa0 >sa1
160 232 from 900 >sa0 >sa1
177 901 from 900 >sa0 >sa1
94 902 inpt 4 0 >sa0 >sa1
178 903 from 902 >sa0 >sa1
179 904 from 902 >sa0 >sa1
180 905 from 902 >sa0 >sa1
181 906 from 902 >sa0 >sa1
99 952 inpt 3 0 >sa0 >sa1
182 925 from 952 >sa0 >sa1
183 929 from 952 >sa0 >sa1
184 931 from 952 >sa0 >sa1
104 953 inpt 7 0 >sa0 >sa1
174 858 from 953 >sa0 >sa1
175 861 from 953 >sa0 >sa1
185 933 from 953 >sa0 >sa1
186 937 from 953 >sa0 >sa1
187 942 from 953 >sa0 >sa1
188 946 from 953 >sa0 >sa1
189 948 from 953 >sa0 >sa1
190 149 not 3 1 >sa0 >sa1
114 
423 150 from 149 >sa0 >sa1
424 151 from 149 >sa0 >sa1
425 152 from 149 >sa0 >sa1
194 153 not 2 1 >sa0 >sa1
116 
426 154 from 153 >sa0 >sa1
427 155 from 153 >sa0 >sa1
197 156 not 3 1 >sa0 >sa1
118 
428 157 from 156 >sa0 >sa1
429 158 from 156 >sa0 >sa1
430 159 from 156 >sa0 >sa1
201 160 not 4 1 >sa0 >sa1
120 
431 161 from 160 >sa0 >sa1
432 162 from 160 >sa0 >sa1
433 163 from 160 >sa0 >sa1
434 164 from 160 >sa0 >sa1
206 165 not 2 1 >sa0 >sa1
122 
435 166 from 165 >sa0 >sa1
436 167 from 165 >sa0 >sa1
209 168 not 2 1 >sa0 >sa1
124 
437 169 from 168 >sa0 >sa1
438 170 from 168 >sa0 >sa1
212 171 not 3 1 >sa0 >sa1
126 
439 172 from 171 >sa0 >sa1
440 173 from 171 >sa0 >sa1
441 174 from 171 >sa0 >sa1
216 175 not 3 1 >sa0 >sa1
128 
442 176 from 175 >sa0 >sa1
443 177 from 175 >sa0 >sa1
444 178 from 175 >sa0 >sa1
220 179 not 4 1 >sa0 >sa1
130 
445 180 from 179 >sa0 >sa1
446 181 from 179 >sa0 >sa1
447 182 from 179 >sa0 >sa1
448 183 from 179 >sa0 >sa1
225 184 not 3 1 >sa0 >sa1
132 
449 185 from 184 >sa0 >sa1
450 186 from 184 >sa0 >sa1
451 187 from 184 >sa0 >sa1
229 188 not 2 1 >sa0 >sa1
134 
452 189 from 188 >sa0 >sa1
453 190 from 188 >sa0 >sa1
232 191 not 2 1 >sa0 >sa1
136 
454 192 from 191 >sa0 >sa1
455 193 from 191 >sa0 >sa1
235 194 not 3 1 >sa0 >sa1
138 
456 195 from 194 >sa0 >sa1
457 196 from 194 >sa0 >sa1
458 197 from 194 >sa0 >sa1
239 198 not 3 1 >sa0 >sa1
140 
459 199 from 198 >sa0 >sa1
460 200 from 198 >sa0 >sa1
461 201 from 198 >sa0 >sa1
243 202 not 3 1 >sa0 >sa1
142 
462 203 from 202 >sa0 >sa1
463 204 from 202 >sa0 >sa1
464 205 from 202 >sa0 >sa1
247 206 not 3 1 >sa0 >sa1
144 
465 207 from 206 >sa0 >sa1
466 208 from 206 >sa0 >sa1
467 209 from 206 >sa0 >sa1
251 231 nand 1 2 >sa0 >sa1
156 159 
252 233 nand 1 2 >sa0 >sa1
158 160 
253 241 not 2 1 >sa0 >sa1
163 
468 242 from 241 >sa0 >sa1
469 243 from 241 >sa0 >sa1
256 244 not 1 1 >sa0 >sa1
165 
257 245 buff 2 1 >sa0 >sa1
161 
470 246 from 245 >sa0 >sa1
471 247 from 245 >sa0 >sa1
260 248 buff 2 1 >sa0 >sa1
162 
472 249 from 248 >sa0 >sa1
473 250 from 248 >sa0 >sa1
263 517 not 2 1 >sa0 >sa1
167 
483 518 from 517 >sa0 >sa1
484 519 from 517 >sa0 >sa1
266 529 not 2 1 >sa0 >sa1
169 
485 530 from 529 >sa0 >sa1
486 531 from 529 >sa0 >sa1
269 541 not 2 1 >sa0 >sa1
171 
487 542 from 541 >sa0 >sa1
488 543 from 541 >sa0 >sa1
272 553 not 2 1 >sa0 >sa1
173 
489 554 from 553 >sa0 >sa1
490 555 from 553 >sa0 >sa1
275 859 not 1 1 >sa0 >sa1
174 
276 862 not 1 1 >sa0 >sa1
175 
277 907 not 2 1 >sa0 >sa1
176 
492 852 from 907 >sa0 >sa1
495 908 from 907 >sa0 >sa1
280 909 not 2 1 >sa0 >sa1
177 
494 855 from 909 >sa0 >sa1
496 910 from 909 >sa0 >sa1
283 911 buff 6 1 >sa0 >sa1
178 
497 912 from 911 >sa0 >sa1
498 913 from 911 >sa0 >sa1
499 914 from 911 >sa0 >sa1
500 915 from 911 >sa0 >sa1
501 916 from 911 >sa0 >sa1
502 917 from 911 >sa0 >sa1
290 918 not 6 1 >sa0 >sa1
179 
477 432 from 918 >sa0 >sa1
478 436 from 918 >sa0 >sa1
479 440 from 918 >sa0 >sa1
480 444 from 918 >sa0 >sa1
481 448 from 918 >sa0 >sa1
482 452 from 918 >sa0 >sa1
297 919 buff 2 1 >sa0 >sa1
180 
503 920 from 919 >sa0 >sa1
504 921 from 919 >sa0 >sa1
300 922 not 2 1 >sa0 >sa1
181 
505 923 from 922 >sa0 >sa1
506 924 from 922 >sa0 >sa1
303 926 buff 1 1 >sa0 >sa1
182 
306 930 not 6 1 >sa0 >sa1
183 
407 839 from 930 >sa0 >sa1
409 841 from 930 >sa0 >sa1
411 843 from 930 >sa0 >sa1
413 845 from 930 >sa0 >sa1
415 847 from 930 >sa0 >sa1
417 849 from 930 >sa0 >sa1
313 932 not 1 1 >sa0 >sa1
184 
316 934 buff 2 1 >sa0 >sa1
185 
509 935 from 934 >sa0 >sa1
510 936 from 934 >sa0 >sa1
319 938 not 6 1 >sa0 >sa1
186 
474 317 from 938 >sa0 >sa1
475 351 from 938 >sa0 >sa1
476 368 from 938 >sa0 >sa1
511 939 from 938 >sa0 >sa1
512 940 from 938 >sa0 >sa1
513 941 from 938 >sa0 >sa1
326 943 buff 4 1 >sa0 >sa1
187 
491 851 from 943 >sa0 >sa1
493 854 from 943 >sa0 >sa1
514 944 from 943 >sa0 >sa1
515 945 from 943 >sa0 >sa1
331 947 buff 6 1 >sa0 >sa1
188 
408 840 from 947 >sa0 >sa1
410 842 from 947 >sa0 >sa1
412 844 from 947 >sa0 >sa1
414 846 from 947 >sa0 >sa1
416 848 from 947 >sa0 >sa1
418 850 from 947 >sa0 >sa1
338 949 not 3 1 >sa0 >sa1
189 
419 888 from 949 >sa0 >sa1
422 891 from 949 >sa0 >sa1
517 951 from 949 >sa0 >sa1
343 1506 buff 2 1 >sa0 >sa1
113 
391 1508 from 1506 >sa0 >sa1
518 1507 from 1506 >sa0 >sa1
346 1514 buff 2 1 >sa0 >sa1
115 
392 1516 from 1514 >sa0 >sa1
519 1515 from 1514 >sa0 >sa1
349 1522 buff 2 1 >sa0 >sa1
117 
393 1524 from 1522 >sa0 >sa1
520 1523 from 1522 >sa0 >sa1
352 1530 buff 2 1 >sa0 >sa1
119 
394 1532 from 1530 >sa0 >sa1
521 1531 from 1530 >sa0 >sa1
355 1538 buff 2 1 >sa0 >sa1
121 
395 1540 from 1538 >sa0 >sa1
522 1539 from 1538 >sa0 >sa1
358 1546 buff 2 1 >sa0 >sa1
123 
396 1548 from 1546 >sa0 >sa1
523 1547 from 1546 >sa0 >sa1
361 1554 buff 2 1 >sa0 >sa1
125 
397 1556 from 1554 >sa0 >sa1
524 1555 from 1554 >sa0 >sa1
364 1562 buff 2 1 >sa0 >sa1
127 
398 1564 from 1562 >sa0 >sa1
525 1563 from 1562 >sa0 >sa1
367 1570 buff 2 1 >sa0 >sa1
129 
399 1572 from 1570 >sa0 >sa1
526 1571 from 1570 >sa0 >sa1
370 1578 buff 2 1 >sa0 >sa1
131 
400 1580 from 1578 >sa0 >sa1
527 1579 from 1578 >sa0 >sa1
373 1586 buff 2 1 >sa0 >sa1
133 
401 1f1588 from 1586 >sa0 >sa1
528 1587 from 1586 >sa0 >sa1
376 1594 buff 2 1 >sa0 >sa1
135 
402 1596 from 1594 >sa0 >sa1
529 1595 from 1594 >sa0 >sa1
379 1602 buff 2 1 >sa0 >sa1
137 
403 1604 from 1602 >sa0 >sa1
530 1603 from 1602 >sa0 >sa1
382 1610 buff 2 1 >sa0 >sa1
139 
404 1612 from 1610 >sa0 >sa1
531 1611 from 1610 >sa0 >sa1
385 1618 buff 2 1 >sa0 >sa1
141 
405 1620 from 1618 >sa0 >sa1
532 1619 from 1618 >sa0 >sa1
388 1626 buff 2 1 >sa0 >sa1
143 
406 1628 from 1626 >sa0 >sa1
533 1627 from 1626 >sa0 >sa1
534 1512 not 1 1 >sa0 >sa1
518 
535 1520 not 1 1 >sa0 >sa1
519 
536 1528 not 1 1 >sa0 >sa1
520 
537 1536 not 1 1 >sa0 >sa1
521 
538 1544 not 1 1 >sa0 >sa1
522 
539 1552 not 1 1 >sa0 >sa1
523 
540 1560 not 1 1 >sa0 >sa1
524 
541 1568 not 1 1 >sa0 >sa1
525 
542 1576 not 1 1 >sa0 >sa1
526 
543 1584 not 1 1 >sa0 >sa1
527 
544 1592 not 1 1 >sa0 >sa1
528 
545 1600 not 1 1 >sa0 >sa1
529 
546 1608 not 1 1 >sa0 >sa1
530 
547 1616 not 1 1 >sa0 >sa1
531 
548 1624 not 1 1 >sa0 >sa1
532 
549 1632 not 1 1 >sa0 >sa1
533 
550 50 nand 1 2 >sa0 >sa1
407 408 
551 52 nand 1 2 >sa0 >sa1
409 410 
552 56 nand 1 2 >sa0 >sa1
411 412 
553 58 nand 1 2 >sa0 >sa1
413 414 
554 62 nand 1 2 >sa0 >sa1
415 416 
555 64 nand 1 2 >sa0 >sa1
417 418 
556 251 buff 2 1 >sa0 >sa1
423 
756 252 from 251 >sa0 >sa1
757 253 from 251 >sa0 >sa1
559 254 buff 2 1 >sa0 >sa1
426 
758 255 from 254 >sa0 >sa1
759 256 from 254 >sa0 >sa1
562 288 buff 2 1 >sa0 >sa1
435 
760 289 from 288 >sa0 >sa1
761 290 from 288 >sa0 >sa1
565 291 buff 2 1 >sa0 >sa1
437 
762 292 from 291 >sa0 >sa1
763 293 from 291 >sa0 >sa1
568 299 buff 2 1 >sa0 >sa1
449 
766 300 from 299 >sa0 >sa1
767 301 from 299 >sa0 >sa1
571 302 buff 2 1 >sa0 >sa1
462 
768 303 from 302 >sa0 >sa1
769 304 from 302 >sa0 >sa1
574 318 and 2 2 >sa0 >sa1
155 474 
770 319 from 318 >sa0 >sa1
771 320 from 318 >sa0 >sa1
577 321 buff 2 1 >sa0 >sa1
445 
772 322 from 321 >sa0 >sa1
773 323 from 321 >sa0 >sa1
580 327 buff 2 1 >sa0 >sa1
452 
774 328 from 327 >sa0 >sa1
775 329 from 327 >sa0 >sa1
583 330 buff 2 1 >sa0 >sa1
454 
776 331 from 330 >sa0 >sa1
777 332 from 330 >sa0 >sa1
586 352 and 2 2 >sa0 >sa1
157 475 
778 353 from 352 >sa0 >sa1
779 354 from 352 >sa0 >sa1
589 355 buff 2 1 >sa0 >sa1
459 
780 356 from 355 >sa0 >sa1
781 357 from 355 >sa0 >sa1
592 369 and 2 3 >sa0 >sa1
145 468 476 
784 370 from 369 >sa0 >sa1
785 371 from 369 >sa0 >sa1
595 382 buff 2 1 >sa0 >sa1
467 
787 383 from 382 >sa0 >sa1
788 384 from 382 >sa0 >sa1
598 385 buff 2 1 >sa0 >sa1
461 
789 386 from 385 >sa0 >sa1
790 387 from 385 >sa0 >sa1
601 853 nand 1 2 >sa0 >sa1
491 492 
602 856 nand 1 2 >sa0 >sa1
493 494 
603 893 nand 4 2 >sa0 >sa1
472 164 
809 894 from 893 >sa0 >sa1
810 895 from 893 >sa0 >sa1
811 896 from 893 >sa0 >sa1
812 897 from 893 >sa0 >sa1
608 954 nand 2 2 >sa0 >sa1
473 505 
798 486 from 954 >sa0 >sa1
800 504 from 954 >sa0 >sa1
612 955 nand 2 2 >sa0 >sa1
256 506 
797 481 from 955 >sa0 >sa1
799 491 from 955 >sa0 >sa1
616 1050 buff 2 1 >sa0 >sa1
431 
765 1052 from 1050 >sa0 >sa1
817 1051 from 1050 >sa0 >sa1
619 1053 buff 2 1 >sa0 >sa1
442 
764 1054 from 1053 >sa0 >sa1
818 1055 from 1053 >sa0 >sa1
622 1176 buff 2 1 >sa0 >sa1
446 
783 1178 from 1176 >sa0 >sa1
825 1177 from 1176 >sa0 >sa1
625 1179 buff 2 1 >sa0 >sa1
460 
782 1180 from 1179 >sa0 >sa1
826 1181 from 1179 >sa0 >sa1
628 1197 buff 2 1 >sa0 >sa1
424 
827 1198 from 1197 >sa0 >sa1
828 1199 from 1197 >sa0 >sa1
631 1207 buff 2 1 >sa0 >sa1
425 
786 1208 from 1207 >sa0 >sa1
829 1209 from 1207 >sa0 >sa1
634 1222 buff 2 1 >sa0 >sa1
427 
830 1223 from 1222 >sa0 >sa1
831 1224 from 1222 >sa0 >sa1
637 1244 buff 2 1 >sa0 >sa1
453 
834 1245 from 1244 >sa0 >sa1
835 1246 from 1244 >sa0 >sa1
640 1278 buff 2 1 >sa0 >sa1
430 
840 1279 from 1278 >sa0 >sa1
841 1280 from 1278 >sa0 >sa1
643 1290 and 2 3 >sa0 >sa1
150 470 512 
791 1292 from 1290 >sa0 >sa1
844 1291 from 1290 >sa0 >sa1
646 1300 buff 2 1 >sa0 >sa1
455 
845 1301 from 1300 >sa0 >sa1
846 1302 from 1300 >sa0 >sa1
649 1312 buff 2 1 >sa0 >sa1
434 
792 1314 from 1312 >sa0 >sa1
849 1313 from 1312 >sa0 >sa1
652 1332 buff 2 1 >sa0 >sa1
458 
794 1334 from 1332 >sa0 >sa1
852 1333 from 1332 >sa0 >sa1
655 1335 and 2 3 >sa0 >sa1
153 471 513 
793 1336 from 1335 >sa0 >sa1
853 1337 from 1335 >sa0 >sa1
658 1442 buff 2 1 >sa0 >sa1
483 
802 1444 from 1442 >sa0 >sa1
854 1443 from 1442 >sa0 >sa1
661 1450 buff 2 1 >sa0 >sa1
484 
801 1452 from 1450 >sa0 >sa1
855 1451 from 1450 >sa0 >sa1
664 1458 buff 2 1 >sa0 >sa1
485 
804 1460 from 1458 >sa0 >sa1
856 1459 from 1458 >sa0 >sa1
667 1466 buff 2 1 >sa0 >sa1
486 
803 1468 from 1466 >sa0 >sa1
857 1467 from 1466 >sa0 >sa1
670 1474 buff 2 1 >sa0 >sa1
487 
806 1476 from 1474 >sa0 >sa1
858 1475 from 1474 >sa0 >sa1
673 1482 buff 2 1 >sa0 >sa1
488 
805 1484 from 1482 >sa0 >sa1
859 1483 from 1482 >sa0 >sa1
676 1490 buff 2 1 >sa0 >sa1
489 
808 1492 from 1490 >sa0 >sa1
860 1491 from 1490 >sa0 >sa1
679 1498 buff 2 1 >sa0 >sa1
490 
807 1500 from 1498 >sa0 >sa1
861 1499 from 1498 >sa0 >sa1
682 1634 and 2 2 >sa0 >sa1
251 509 
754 1636 from 1634 >sa0 >sa1
862 1635 from 1634 >sa0 >sa1
685 1644 and 2 2 >sa0 >sa1
252 510 
755 1646 from 1644 >sa0 >sa1
863 1645 from 1644 >sa0 >sa1
688 1657 buff 2 1 >sa0 >sa1
428 
813 1658 from 1657 >sa0 >sa1
864 1659 from 1657 >sa0 >sa1
691 1665 buff 2 1 >sa0 >sa1
429 
814 1666 from 1665 >sa0 >sa1
865 1667 from 1665 >sa0 >sa1
694 1697 buff 2 1 >sa0 >sa1
439 
815 1698 from 1697 >sa0 >sa1
866 1699 from 1697 >sa0 >sa1
697 1705 buff 2 1 >sa0 >sa1
440 
816 1706 from 1705 >sa0 >sa1
867 1707 from 1705 >sa0 >sa1
700 1713 buff 2 1 >sa0 >sa1
465 
819 1714 from 1713 >sa0 >sa1
868 1715 from 1713 >sa0 >sa1
703 1721 buff 2 1 >sa0 >sa1
466 
820 1722 from 1721 >sa0 >sa1
869 1723 from 1721 >sa0 >sa1
706 1745 buff 2 1 >sa0 >sa1
456 
821 1746 from 1745 >sa0 >sa1
870 1747 from 1745 >sa0 >sa1
709 1753 buff 2 1 >sa0 >sa1
457 
822 1754 from 1753 >sa0 >sa1
871 1755 from 1753 >sa0 >sa1
712 1785 buff 2 1 >sa0 >sa1
432 
823 1786 from 1785 >sa0 >sa1
872 1787 from 1785 >sa0 >sa1
715 1793 buff 2 1 >sa0 >sa1
433 
824 1794 from 1793 >sa0 >sa1
873 1795 from 1793 >sa0 >sa1
718 1814 buff 2 1 >sa0 >sa1
436 
833 1816 from 1814 >sa0 >sa1
874 1815 from 1814 >sa0 >sa1
721 1817 buff 2 1 >sa0 >sa1
443 
832 1818 from 1817 >sa0 >sa1
875 1819 from 1817 >sa0 >sa1
724 1830 and 2 3 >sa0 >sa1
148 469 511 
837 1832 from 1830 >sa0 >sa1
876 1831 from 1830 >sa0 >sa1
727 1833 buff 2 1 >sa0 >sa1
463 
836 1834 from 1833 >sa0 >sa1
877 1835 from 1833 >sa0 >sa1
730 1841 buff 2 1 >sa0 >sa1
447 
838 1842 from 1841 >sa0 >sa1
878 1843 from 1841 >sa0 >sa1
733 1849 buff 2 1 >sa0 >sa1
448 
839 1850 from 1849 >sa0 >sa1
879 1851 from 1849 >sa0 >sa1
736 1854 buff 2 1 >sa0 >sa1
438 
843 1856 from 1854 >sa0 >sa1
880 1855 from 1854 >sa0 >sa1
739 1857 buff 2 1 >sa0 >sa1
444 
842 1858 from 1857 >sa0 >sa1
881 1859 from 1857 >sa0 >sa1
742 1870 buff 2 1 >sa0 >sa1
450 
848 1872 from 1870 >sa0 >sa1
882 1871 from 1870 >sa0 >sa1
745 1873 buff 2 1 >sa0 >sa1
464 
847 1874 from 1873 >sa0 >sa1
883 1875 from 1873 >sa0 >sa1
748 1878 buff 2 1 >sa0 >sa1
441 
851 1880 from 1878 >sa0 >sa1
884 1879 from 1878 >sa0 >sa1
751 1881 buff 2 1 >sa0 >sa1
451 
850 1882 from 1881 >sa0 >sa1
885 1883 from 1881 >sa0 >sa1
886 1642 not 1 1 >sa0 >sa1
862 
887 1652 not 1 1 >sa0 >sa1
863 
888 1056 not 1 1 >sa0 >sa1
817 
889 1057 not 1 1 >sa0 >sa1
818 
890 1182 not 1 1 >sa0 >sa1
825 
891 1183 not 1 1 >sa0 >sa1
826 
892 1211 not 1 1 >sa0 >sa1
829 
893 1298 not 1 1 >sa0 >sa1
844 
894 1320 not 1 1 >sa0 >sa1
849 
895 1338 not 1 1 >sa0 >sa1
852 
896 1339 not 1 1 >sa0 >sa1
853 
897 457 buff 1 1 >sa0 >sa1
146 
898 459 buff 1 1 >sa0 >sa1
151 
899 482 nand 3 2 >sa0 >sa1
149 797 
1069 483 from 482 >sa0 >sa1
1070 484 from 482 >sa0 >sa1
1071 485 from 482 >sa0 >sa1
903 487 nand 3 2 >sa0 >sa1
154 798 
1072 488 from 487 >sa0 >sa1
1073 489 from 487 >sa0 >sa1
1074 490 from 487 >sa0 >sa1
907 492 nand 2 2 >sa0 >sa1
147 799 
1075 493 from 492 >sa0 >sa1
1076 494 from 492 >sa0 >sa1
910 505 nand 2 2 >sa0 >sa1
152 800 
1077 506 from 505 >sa0 >sa1
1078 507 from 505 >sa0 >sa1
913 1456 not 1 1 >sa0 >sa1
855 
914 1448 not 1 1 >sa0 >sa1
854 
915 1472 not 1 1 >sa0 >sa1
857 
916 1464 not 1 1 >sa0 >sa1
856 
917 1488 not 1 1 >sa0 >sa1
859 
918 1480 not 1 1 >sa0 >sa1
858 
919 1504 not 1 1 >sa0 >sa1
861 
920 1496 not 1 1 >sa0 >sa1
860 
921 956 nand 1 4 >sa0 >sa1
495 503 514 809 
922 967 nand 1 4 >sa0 >sa1
496 504 515 812 
923 978 nand 2 3 >sa0 >sa1
303 517 811 
1087 957 from 978 >sa0 >sa1
1088 968 from 978 >sa0 >sa1
926 979 buff 8 1 >sa0 >sa1
810 
1079 870 from 979 >sa0 >sa1
1080 872 from 979 >sa0 >sa1
1081 874 from 979 >sa0 >sa1
1082 876 from 979 >sa0 >sa1
1083 878 from 979 >sa0 >sa1
1084 880 from 979 >sa0 >sa1
1085 882 from 979 >sa0 >sa1
1086 884 from 979 >sa0 >sa1
935 980 buff 2 1 >sa0 >sa1
756 
1053 982 from 980 >sa0 >sa1
1089 981 from 980 >sa0 >sa1
938 1661 not 1 1 >sa0 >sa1
864 
939 990 buff 2 1 >sa0 >sa1
757 
1052 992 from 990 >sa0 >sa1
1091 991 from 990 >sa0 >sa1
942 1669 not 1 1 >sa0 >sa1
865 
943 1030 buff 2 1 >sa0 >sa1
760 
1056 1032 from 1030 >sa0 >sa1
1093 1031 from 1030 >sa0 >sa1
946 1701 not 1 1 >sa0 >sa1
866 
947 1040 buff 2 1 >sa0 >sa1
761 
1057 1042 from 1040 >sa0 >sa1
1095 1041 from 1040 >sa0 >sa1
950 1709 not 1 1 >sa0 >sa1
867 
951 1058 buff 2 1 >sa0 >sa1
766 
1059 1060 from 1058 >sa0 >sa1
1097 1059 from 1058 >sa0 >sa1
954 1717 not 1 1 >sa0 >sa1
868 
955 1068 buff 2 1 >sa0 >sa1
767 
1058 1070 from 1068 >sa0 >sa1
1099 1069 from 1068 >sa0 >sa1
958 1725 not 1 1 >sa0 >sa1
869 
959 1078 buff 2 1 >sa0 >sa1
770 
1101 1079 from 1078 >sa0 >sa1
1102 1080 from 1078 >sa0 >sa1
962 1090 buff 2 1 >sa0 >sa1
771 
1060 1092 from 1090 >sa0 >sa1
1104 1091 from 1090 >sa0 >sa1
965 1100 buff 2 1 >sa0 >sa1
774 
1106 1101 from 1100 >sa0 >sa1
1107 1102 from 1100 >sa0 >sa1
968 1749 not 1 1 >sa0 >sa1
870 
969 1112 buff 2 1 >sa0 >sa1
775 
1061 1114 from 1112 >sa0 >sa1
1109 1113 from 1112 >sa0 >sa1
972 1757 not 1 1 >sa0 >sa1
871 
973 1154 buff 2 1 >sa0 >sa1
778 
1111 1155 from 1154 >sa0 >sa1
1112 1156 from 1154 >sa0 >sa1
976 1789 not 1 1 >sa0 >sa1
872 
977 1166 buff 2 1 >sa0 >sa1
779 
1062 1168 from 1166 >sa0 >sa1
1114 1167 from 1166 >sa0 >sa1
980 1797 not 1 1 >sa0 >sa1
873 
981 1194 buff 2 1 >sa0 >sa1
784 
1116 1195 from 1194 >sa0 >sa1
1117 1196 from 1194 >sa0 >sa1
984 1201 not 1 1 >sa0 >sa1
828 
985 1204 buff 2 1 >sa0 >sa1
785 
1065 1206 from 1204 >sa0 >sa1
1118 1205 from 1204 >sa0 >sa1
988 1820 not 1 1 >sa0 >sa1
874 
989 1821 not 1 1 >sa0 >sa1
875 
990 1230 not 1 1 >sa0 >sa1
830 
991 1836 not 1 1 >sa0 >sa1
876 
992 1837 not 1 1 >sa0 >sa1
877 
993 1252 not 1 1 >sa0 >sa1
834 
994 1256 buff 2 1 >sa0 >sa1
787 
1123 1257 from 1256 >sa0 >sa1
1124 1258 from 1256 >sa0 >sa1
997 1845 not 1 1 >sa0 >sa1
878 
998 1268 buff 2 1 >sa0 >sa1
788 
1066 1270 from 1268 >sa0 >sa1
1126 1269 from 1268 >sa0 >sa1
1001 1853 not 1 1 >sa0 >sa1
879 
1002 1860 not 1 1 >sa0 >sa1
880 
1003 1861 not 1 1 >sa0 >sa1
881 
1004 1286 not 1 1 >sa0 >sa1
840 
1005 1876 not 1 1 >sa0 >sa1
882 
1006 1877 not 1 1 >sa0 >sa1
883 
1007 1308 not 1 1 >sa0 >sa1
845 
1008 1884 not 1 1 >sa0 >sa1
884 
1009 1885 not 1 1 >sa0 >sa1
885 
1010 1654 buff 2 1 >sa0 >sa1
758 
1090 1656 from 1654 >sa0 >sa1
1134 1655 from 1654 >sa0 >sa1
1013 1662 buff 2 1 >sa0 >sa1
759 
1092 1664 from 1662 >sa0 >sa1
1135 1663 from 1662 >sa0 >sa1
1016 1694 buff 2 1 >sa0 >sa1
762 
1094 1696 from 1694 >sa0 >sa1
1136 1695 from 1694 >sa0 >sa1
1019 1702 buff 2 1 >sa0 >sa1
763 
1096 1704 from 1702 >sa0 >sa1
1137 1703 from 1702 >sa0 >sa1
1022 1710 buff 2 1 >sa0 >sa1
768 
1098 1712 from 1710 >sa0 >sa1
1138 1711 from 1710 >sa0 >sa1
1025 1718 buff 2 1 >sa0 >sa1
769 
1100 1720 from 1718 >sa0 >sa1
1139 1719 from 1718 >sa0 >sa1
1028 1726 buff 2 1 >sa0 >sa1
772 
1103 1728 from 1726 >sa0 >sa1
1140 1727 from 1726 >sa0 >sa1
1031 1734 buff 2 1 >sa0 >sa1
773 
1105 1736 from 1734 >sa0 >sa1
1141 1735 from 1734 >sa0 >sa1
1034 1742 buff 2 1 >sa0 >sa1
776 
1108 1744 from 1742 >sa0 >sa1
1142 1743 from 1742 >sa0 >sa1
1037 1750 buff 2 1 >sa0 >sa1
777 
1110 1752 from 1750 >sa0 >sa1
1143 1751 from 1750 >sa0 >sa1
1040 1782 buff 2 1 >sa0 >sa1
780 
1113 1784 from 1782 >sa0 >sa1
1144 1783 from 1782 >sa0 >sa1
1043 1790 buff 2 1 >sa0 >sa1
781 
1115 1792 from 1790 >sa0 >sa1
1145 1791 from 1790 >sa0 >sa1
1046 1838 buff 2 1 >sa0 >sa1
789 
1125 1840 from 1838 >sa0 >sa1
1146 1839 from 1838 >sa0 >sa1
1049 1846 buff 2 1 >sa0 >sa1
790 
1127 1848 from 1846 >sa0 >sa1
1147 1847 from 1846 >sa0 >sa1
1054 297 nand 1 2 >sa0 >sa1
764 888 
1055 298 nand 1 2 >sa0 >sa1
765 889 
1063 361 nand 1 2 >sa0 >sa1
782 890 
1064 362 nand 1 2 >sa0 >sa1
783 891 
1067 404 nand 1 2 >sa0 >sa1
793 895 
1068 405 nand 1 2 >sa0 >sa1
794 896 
1119 1225 nand 1 2 >sa0 >sa1
832 988 
1120 1226 nand 1 2 >sa0 >sa1
833 989 
1121 1247 nand 1 2 >sa0 >sa1
836 991 
1122 1248 nand 1 2 >sa0 >sa1
837 992 
1128 1281 nand 1 2 >sa0 >sa1
842 1002 
1129 1282 nand 1 2 >sa0 >sa1
843 1003 
1130 1303 nand 1 2 >sa0 >sa1
847 1005 
1131 1304 nand 1 2 >sa0 >sa1
848 1006 
1132 1315 nand 1 2 >sa0 >sa1
850 1008 
1133 1316 nand 1 2 >sa0 >sa1
851 1009 
1148 998 not 1 1 >sa0 >sa1
1091 
1149 988 not 1 1 >sa0 >sa1
1089 
1150 268 nand 1 2 >sa0 >sa1
1054 1055 
1151 1038 not 1 1 >sa0 >sa1
1093 
1152 1048 not 1 1 >sa0 >sa1
1095 
1153 1076 not 1 1 >sa0 >sa1
1099 
1154 1066 not 1 1 >sa0 >sa1
1097 
1155 1098 not 1 1 >sa0 >sa1
1104 
1156 1120 not 1 1 >sa0 >sa1
1109 
1157 1174 not 1 1 >sa0 >sa1
1114 
1158 363 nand 1 2 >sa0 >sa1
1063 1064 
1159 1210 not 1 1 >sa0 >sa1
1118 
1160 373 nand 1 2 >sa0 >sa1
1065 892 
1161 1276 not 1 1 >sa0 >sa1
1126 
1162 406 nand 1 2 >sa0 >sa1
1067 1068 
1163 565 not 1 1 >sa0 >sa1
1069 
1164 566 buff 2 1 >sa0 >sa1
1070 
1273 567 from 566 >sa0 >sa1
1274 568 from 566 >sa0 >sa1
1167 614 not 1 1 >sa0 >sa1
1072 
1168 615 buff 2 1 >sa0 >sa1
1073 
1275 616 from 615 >sa0 >sa1
1276 617 from 615 >sa0 >sa1
1171 958 nand 16 2 >sa0 >sa1
921 1087 
1277 775 from 958 >sa0 >sa1
1278 779 from 958 >sa0 >sa1
1279 783 from 958 >sa0 >sa1
1280 787 from 958 >sa0 >sa1
1281 791 from 958 >sa0 >sa1
1282 795 from 958 >sa0 >sa1
1283 799 from 958 >sa0 >sa1
1284 803 from 958 >sa0 >sa1
1293 959 from 958 >sa0 >sa1
1294 960 from 958 >sa0 >sa1
1295 961 from 958 >sa0 >sa1
1296 962 from 958 >sa0 >sa1
1297 963 from 958 >sa0 >sa1
1298 964 from 958 >sa0 >sa1
1299 965 from 958 >sa0 >sa1
1300 966 from 958 >sa0 >sa1
1188 969 nand 16 2 >sa0 >sa1
922 1088 
1285 807 from 969 >sa0 >sa1
1286 811 from 969 >sa0 >sa1
1287 815 from 969 >sa0 >sa1
1288 819 from 969 >sa0 >sa1
1289 823 from 969 >sa0 >sa1
1290 827 from 969 >sa0 >sa1
1291 831 from 969 >sa0 >sa1
1292 835 from 969 >sa0 >sa1
1301 970 from 969 >sa0 >sa1
1302 971 from 969 >sa0 >sa1
1303 972 from 969 >sa0 >sa1
1304 973 from 969 >sa0 >sa1
1305 974 from 969 >sa0 >sa1
1306 975 from 969 >sa0 >sa1
1307 976 from 969 >sa0 >sa1
1308 977 from 969 >sa0 >sa1
1205 1660 not 1 1 >sa0 >sa1
1134 
1206 984 nand 1 2 >sa0 >sa1
1090 938 
1207 1668 not 1 1 >sa0 >sa1
1135 
1208 994 nand 1 2 >sa0 >sa1
1092 942 
1209 1700 not 1 1 >sa0 >sa1
1136 
1210 1034 nand 1 2 >sa0 >sa1
1094 946 
1211 1708 not 1 1 >sa0 >sa1
1137 
1212 1044 nand 1 2 >sa0 >sa1
1096 950 
1213 1716 not 1 1 >sa0 >sa1
1138 
1214 1062 nand 1 2 >sa0 >sa1
1098 954 
1215 1724 not 1 1 >sa0 >sa1
1139 
1216 1072 nand 1 2 >sa0 >sa1
1100 958 
1217 1732 not 1 1 >sa0 >sa1
1140 
1218 1086 not 1 1 >sa0 >sa1
1101 
1219 1740 not 1 1 >sa0 >sa1
1141 
1220 1748 not 1 1 >sa0 >sa1
1142 
1221 1104 nand 1 2 >sa0 >sa1
1108 968 
1222 1108 not 1 1 >sa0 >sa1
1106 
1223 1756 not 1 1 >sa0 >sa1
1143 
1224 1116 nand 1 2 >sa0 >sa1
1110 972 
1225 1788 not 1 1 >sa0 >sa1
1144 
1226 1158 nand 1 2 >sa0 >sa1
1113 976 
1227 1162 not 1 1 >sa0 >sa1
1111 
1228 1796 not 1 1 >sa0 >sa1
1145 
1229 1170 nand 1 2 >sa0 >sa1
1115 980 
1230 1200 not 1 1 >sa0 >sa1
1116 
1231 1203 nand 1 2 >sa0 >sa1
1117 984 
1232 1227 nand 2 2 >sa0 >sa1
1119 1120 
1323 1228 from 1227 >sa0 >sa1
1324 1229 from 1227 >sa0 >sa1
1235 1249 nand 2 2 >sa0 >sa1
1121 1122 
1325 1250 from 1249 >sa0 >sa1
1326 1251 from 1249 >sa0 >sa1
1238 1844 not 1 1 >sa0 >sa1
1146 
1239 1260 nand 1 2 >sa0 >sa1
1125 997 
1240 1264 not 1 1 >sa0 >sa1
1123 
1241 1852 not 1 1 >sa0 >sa1
1147 
1242 1272 nand 1 2 >sa0 >sa1
1127 1001 
1243 1283 nand 2 2 >sa0 >sa1
1128 1129 
1329 1284 from 1283 >sa0 >sa1
1330 1285 from 1283 >sa0 >sa1
1246 1305 nand 2 2 >sa0 >sa1
1130 1131 
1331 1306 from 1305 >sa0 >sa1
1332 1307 from 1305 >sa0 >sa1
1249 1317 nand 2 2 >sa0 >sa1
1132 1133 
1268 1318 from 1317 >sa0 >sa1
1333 1319 from 1317 >sa0 >sa1
1252 1410 buff 2 1 >sa0 >sa1
1075 
1270 1412 from 1410 >sa0 >sa1
1337 1411 from 1410 >sa0 >sa1
1255 1418 buff 2 1 >sa0 >sa1
1076 
1269 1420 from 1418 >sa0 >sa1
1338 1419 from 1418 >sa0 >sa1
1258 1426 buff 2 1 >sa0 >sa1
1077 
1272 1428 from 1426 >sa0 >sa1
1339 1427 from 1426 >sa0 >sa1
1261 1434 buff 1 1 >sa0 >sa1
1078 
1264 269 not 2 1 >sa0 >sa1
1150 
1341 270 from 269 >sa0 >sa1
1342 271 from 269 >sa0 >sa1
1267 372 nand 1 2 >sa0 >sa1
786 1159 
1309 983 nand 1 2 >sa0 >sa1
813 1205 
1310 993 nand 1 2 >sa0 >sa1
814 1207 
1311 1033 nand 1 2 >sa0 >sa1
815 1209 
1312 1043 nand 1 2 >sa0 >sa1
816 1211 
1313 1061 nand 1 2 >sa0 >sa1
819 1213 
1314 1071 nand 1 2 >sa0 >sa1
820 1215 
1315 1103 nand 1 2 >sa0 >sa1
821 1220 
1316 1115 nand 1 2 >sa0 >sa1
822 1223 
1317 1157 nand 1 2 >sa0 >sa1
823 1225 
1318 1169 nand 1 2 >sa0 >sa1
824 1228 
1319 1184 not 2 1 >sa0 >sa1
1158 
1343 1186 from 1184 >sa0 >sa1
1382 1185 from 1184 >sa0 >sa1
1322 1202 nand 1 2 >sa0 >sa1
827 1230 
1327 1259 nand 1 2 >sa0 >sa1
838 1238 
1328 1271 nand 1 2 >sa0 >sa1
839 1241 
1334 1322 not 2 1 >sa0 >sa1
1162 
1347 1324 from 1322 >sa0 >sa1
1400 1323 from 1322 >sa0 >sa1
1344 374 nand 1 2 >sa0 >sa1
1267 1160 
1345 396 nand 1 2 >sa0 >sa1
1268 894 
1346 1321 not 1 1 >sa0 >sa1
1333 
1348 1424 not 1 1 >sa0 >sa1
1338 
1349 1416 not 1 1 >sa0 >sa1
1337 
1350 1440 not 1 1 >sa0 >sa1
1261 
1351 1432 not 1 1 >sa0 >sa1
1339 
1352 985 nand 2 2 >sa0 >sa1
1309 1206 
1402 986 from 985 >sa0 >sa1
1414 987 from 985 >sa0 >sa1
1355 995 nand 2 2 >sa0 >sa1
1310 1208 
1401 996 from 995 >sa0 >sa1
1415 997 from 995 >sa0 >sa1
1358 1035 nand 2 2 >sa0 >sa1
1311 1210 
1403 1036 from 1035 >sa0 >sa1
1422 1037 from 1035 >sa0 >sa1
1361 1045 nand 2 2 >sa0 >sa1
1312 1212 
1404 1046 from 1045 >sa0 >sa1
1423 1047 from 1045 >sa0 >sa1
1364 1063 nand 2 2 >sa0 >sa1
1313 1214 
1406 1064 from 1063 >sa0 >sa1
1424 1065 from 1063 >sa0 >sa1
1367 1073 nand 2 2 >sa0 >sa1
1314 1216 
1405 1074 from 1073 >sa0 >sa1
1425 1075 from 1073 >sa0 >sa1
1370 1105 nand 2 2 >sa0 >sa1
1315 1221 
1426 1106 from 1105 >sa0 >sa1
1427 1107 from 1105 >sa0 >sa1
1373 1117 nand 2 2 >sa0 >sa1
1316 1224 
1407 1118 from 1117 >sa0 >sa1
1428 1119 from 1117 >sa0 >sa1
1376 1159 nand 2 2 >sa0 >sa1
1317 1226 
1429 1160 from 1159 >sa0 >sa1
1430 1161 from 1159 >sa0 >sa1
1379 1171 nand 2 2 >sa0 >sa1
1318 1229 
1408 1172 from 1171 >sa0 >sa1
1431 1173 from 1171 >sa0 >sa1
1383 1212 nand 2 2 >sa0 >sa1
1322 1231 
1410 1214 from 1212 >sa0 >sa1
1432 1213 from 1212 >sa0 >sa1
1386 1231 not 1 1 >sa0 >sa1
1324 
1387 1232 nand 1 2 >sa0 >sa1
1323 990 
1388 1253 not 1 1 >sa0 >sa1
1326 
1389 1254 nand 1 2 >sa0 >sa1
1325 993 
1390 1261 nand 2 2 >sa0 >sa1
1327 1239 
1435 1262 from 1261 >sa0 >sa1
1436 1263 from 1261 >sa0 >sa1
1393 1273 nand 2 2 >sa0 >sa1
1328 1242 
1411 1274 from 1273 >sa0 >sa1
1437 1275 from 1273 >sa0 >sa1
1396 1287 not 1 1 >sa0 >sa1
1330 
1397 1288 nand 1 2 >sa0 >sa1
1329 1004 
1398 1309 not 1 1 >sa0 >sa1
1332 
1399 1310 nand 1 2 >sa0 >sa1
1331 1007 
1409 1192 not 1 1 >sa0 >sa1
1382 
1412 397 nand 1 2 >sa0 >sa1
792 1346 
1413 1330 not 1 1 >sa0 >sa1
1400 
1416 1000 buff 2 1 >sa0 >sa1
1341 
1450 1002 from 1000 >sa0 >sa1
1466 1001 from 1000 >sa0 >sa1
1419 1010 buff 2 1 >sa0 >sa1
1342 
1449 1012 from 1010 >sa0 >sa1
1467 1011 from 1010 >sa0 >sa1
1433 1233 nand 1 2 >sa0 >sa1
831 1386 
1434 1255 nand 1 2 >sa0 >sa1
835 1388 
1438 1289 nand 1 2 >sa0 >sa1
841 1396 
1439 1311 nand 1 2 >sa0 >sa1
846 1398 
1440 1381 not 2 1 >sa0 >sa1
1344 
1465 1382 from 1381 >sa0 >sa1
1477 1383 from 1381 >sa0 >sa1
1443 257 nand 1 2 >sa0 >sa1
1401 1148 
1444 999 not 1 1 >sa0 >sa1
1415 
1445 260 nand 1 2 >sa0 >sa1
1402 1149 
1446 989 not 1 1 >sa0 >sa1
1414 
1447 272 nand 1 2 >sa0 >sa1
1403 1151 
1448 1039 not 1 1 >sa0 >sa1
1422 
1451 294 nand 1 2 >sa0 >sa1
1404 1152 
1452 1049 not 1 1 >sa0 >sa1
1423 
1453 305 nand 1 2 >sa0 >sa1
1405 1153 
1454 1077 not 1 1 >sa0 >sa1
1425 
1455 308 nand 1 2 >sa0 >sa1
1406 1154 
1456 1067 not 1 1 >sa0 >sa1
1424 
1457 333 nand 1 2 >sa0 >sa1
1407 1156 
1458 1121 not 1 1 >sa0 >sa1
1428 
1459 358 nand 1 2 >sa0 >sa1
1408 1157 
1460 1175 not 1 1 >sa0 >sa1
1431 
1461 1220 not 1 1 >sa0 >sa1
1432 
1462 388 nand 1 2 >sa0 >sa1
1411 1161 
1463 1277 not 1 1 >sa0 >sa1
1437 
1464 398 nand 1 2 >sa0 >sa1
1345 1412 
1468 1109 not 1 1 >sa0 >sa1
1427 
1469 1110 nand 1 2 >sa0 >sa1
1426 1222 
1470 1163 not 1 1 >sa0 >sa1
1430 
1471 1164 nand 1 2 >sa0 >sa1
1429 1227 
1472 1234 nand 2 2 >sa0 >sa1
1387 1433 
1497 1236 from 1234 >sa0 >sa1
1502 1235 from 1234 >sa0 >sa1
1475 1265 not 1 1 >sa0 >sa1
1436 
1476 1266 nand 1 2 >sa0 >sa1
1435 1240 
1478 1822 nand 2 2 >sa0 >sa1
1389 1434 
1503 1824 from 1822 >sa0 >sa1
1507 1823 from 1822 >sa0 >sa1
1481 1862 nand 2 2 >sa0 >sa1
1399 1439 
1506 1864 from 1862 >sa0 >sa1
1508 1863 from 1862 >sa0 >sa1
1484 1865 nand 2 2 >sa0 >sa1
1397 1438 
1505 1866 from 1865 >sa0 >sa1
1509 1867 from 1865 >sa0 >sa1
1487 258 nand 1 2 >sa0 >sa1
1052 1444 
1488 261 nand 1 2 >sa0 >sa1
1053 1446 
1489 273 nand 1 2 >sa0 >sa1
1056 1448 
1490 1018 not 1 1 >sa0 >sa1
1467 
1491 1008 not 1 1 >sa0 >sa1
1466 
1492 295 nand 1 2 >sa0 >sa1
1057 1452 
1493 306 nand 1 2 >sa0 >sa1
1058 1454 
1494 309 nand 1 2 >sa0 >sa1
1059 1456 
1495 334 nand 1 2 >sa0 >sa1
1061 1458 
1496 359 nand 1 2 >sa0 >sa1
1062 1460 
1498 389 nand 1 2 >sa0 >sa1
1066 1463 
1499 1385 not 1 1 >sa0 >sa1
1477 
1500 1111 nand 1 2 >sa0 >sa1
1107 1468 
1501 1165 nand 1 2 >sa0 >sa1
1112 1470 
1504 1267 nand 1 2 >sa0 >sa1
1124 1475 
1510 1886 not 2 1 >sa0 >sa1
1464 
1533 1888 from 1886 >sa0 >sa1
1543 1887 from 1886 >sa0 >sa1
1513 259 nand 1 2 >sa0 >sa1
1443 1487 
1514 262 nand 2 2 >sa0 >sa1
1445 1488 
1544 263 from 262 >sa0 >sa1
1545 264 from 262 >sa0 >sa1
1517 274 nand 2 2 >sa0 >sa1
1447 1489 
1549 275 from 274 >sa0 >sa1
1550 276 from 274 >sa0 >sa1
1520 296 nand 1 2 >sa0 >sa1
1451 1492 
1521 307 nand 1 2 >sa0 >sa1
1453 1493 
1522 310 nand 3 2 >sa0 >sa1
1455 1494 
1551 311 from 310 >sa0 >sa1
1552 312 from 310 >sa0 >sa1
1553 313 from 310 >sa0 >sa1
1526 335 nand 1 2 >sa0 >sa1
1457 1495 
1527 360 nand 1 2 >sa0 >sa1
1459 1496 
1528 1242 not 1 1 >sa0 >sa1
1502 
1529 390 nand 1 2 >sa0 >sa1
1462 1498 
1530 1828 not 1 1 >sa0 >sa1
1507 
1531 1868 not 1 1 >sa0 >sa1
1508 
1532 1869 not 1 1 >sa0 >sa1
1509 
1534 1373 nand 2 2 >sa0 >sa1
1471 1501 
1564 1374 from 1373 >sa0 >sa1
1570 1375 from 1373 >sa0 >sa1
1537 1798 nand 2 2 >sa0 >sa1
1469 1500 
1565 1800 from 1798 >sa0 >sa1
1574 1799 from 1798 >sa0 >sa1
1540 1825 nand 2 2 >sa0 >sa1
1476 1504 
1566 1826 from 1825 >sa0 >sa1
1575 1827 from 1825 >sa0 >sa1
1546 265 not 2 1 >sa0 >sa1
1513 
1579 266 from 265 >sa0 >sa1
1580 267 from 265 >sa0 >sa1
1554 314 not 2 1 >sa0 >sa1
1521 
1581 315 from 314 >sa0 >sa1
1582 316 from 314 >sa0 >sa1
1557 336 not 3 1 >sa0 >sa1
1526 
1583 337 from 336 >sa0 >sa1
1584 338 from 336 >sa0 >sa1
1585 339 from 336 >sa0 >sa1
1561 407 not 2 1 >sa0 >sa1
1520 
1586 408 from 407 >sa0 >sa1
1587 409 from 407 >sa0 >sa1
1567 1293 nand 1 2 >sa0 >sa1
1505 1531 
1568 1294 nand 1 2 >sa0 >sa1
1506 1532 
1569 1892 not 1 1 >sa0 >sa1
1543 
1571 1777 not 2 1 >sa0 >sa1
1527 
1592 1778 from 1777 >sa0 >sa1
1618 1779 from 1777 >sa0 >sa1
1576 1889 not 2 1 >sa0 >sa1
1529 
1599 1890 from 1889 >sa0 >sa1
1619 1891 from 1889 >sa0 >sa1
1588 410 buff 2 1 >sa0 >sa1
1553 
1627 411 from 410 >sa0 >sa1
1628 412 from 410 >sa0 >sa1
1591 1377 not 1 1 >sa0 >sa1
1570 
1593 1804 not 1 1 >sa0 >sa1
1574 
1594 1237 nand 1 2 >sa0 >sa1
1566 1530 
1595 1829 not 1 1 >sa0 >sa1
1575 
1596 1295 nand 2 2 >sa0 >sa1
1567 1568 
1626 1296 from 1295 >sa0 >sa1
1637 1297 from 1295 >sa0 >sa1
1600 1670 buff 2 1 >sa0 >sa1
1549 
1629 1672 from 1670 >sa0 >sa1
1646 1671 from 1670 >sa0 >sa1
1603 1678 buff 2 1 >sa0 >sa1
1550 
1630 1680 from 1678 >sa0 >sa1
1650 1679 from 1678 >sa0 >sa1
1606 1729 buff 2 1 >sa0 >sa1
1551 
1631 1730 from 1729 >sa0 >sa1
1654 1731 from 1729 >sa0 >sa1
1609 1737 buff 2 1 >sa0 >sa1
1552 
1632 1738 from 1737 >sa0 >sa1
1655 1739 from 1737 >sa0 >sa1
1612 1761 buff 2 1 >sa0 >sa1
1544 
1633 1762 from 1761 >sa0 >sa1
1656 1763 from 1761 >sa0 >sa1
1615 1769 buff 2 1 >sa0 >sa1
1545 
1634 1770 from 1769 >sa0 >sa1
1657 1771 from 1769 >sa0 >sa1
1620 340 buff 2 1 >sa0 >sa1
1583 
1667 341 from 340 >sa0 >sa1
1668 342 from 340 >sa0 >sa1
1623 343 buff 2 1 >sa0 >sa1
1581 
1669 344 from 343 >sa0 >sa1
1670 345 from 343 >sa0 >sa1
1635 1781 not 1 1 >sa0 >sa1
1618 
1636 1238 nand 1 2 >sa0 >sa1
1503 1595 
1638 1325 nand 1 2 >sa0 >sa1
1599 1569 
1639 1893 not 1 1 >sa0 >sa1
1619 
1640 1340 buff 2 1 >sa0 >sa1
1586 
1689 1341 from 1340 >sa0 >sa1
1690 1342 from 1340 >sa0 >sa1
1643 1352 buff 2 1 >sa0 >sa1
1587 
1673 1354 from 1352 >sa0 >sa1
1692 1353 from 1352 >sa0 >sa1
1647 1673 buff 2 1 >sa0 >sa1
1579 
1674 1674 from 1673 >sa0 >sa1
1694 1675 from 1673 >sa0 >sa1
1651 1681 buff 2 1 >sa0 >sa1
1580 
1676 1682 from 1681 >sa0 >sa1
1695 1683 from 1681 >sa0 >sa1
1658 1801 buff 2 1 >sa0 >sa1
1582 
1684 1802 from 1801 >sa0 >sa1
1696 1803 from 1801 >sa0 >sa1
1661 1897 buff 2 1 >sa0 >sa1
1584 
1691 1898 from 1897 >sa0 >sa1
1700 1899 from 1897 >sa0 >sa1
1664 1905 buff 2 1 >sa0 >sa1
1585 
1693 1906 from 1905 >sa0 >sa1
1704 1907 from 1905 >sa0 >sa1
1671 391 nand 1 2 >sa0 >sa1
1626 893 
1672 1299 not 1 1 >sa0 >sa1
1637 
1675 1676 not 1 1 >sa0 >sa1
1646 
1677 1684 not 1 1 >sa0 >sa1
1650 
1678 1081 nand 1 2 >sa0 >sa1
1631 1217 
1679 1733 not 1 1 >sa0 >sa1
1654 
1680 1093 nand 1 2 >sa0 >sa1
1632 1219 
1681 1741 not 1 1 >sa0 >sa1
1655 
1682 1765 not 1 1 >sa0 >sa1
1656 
1683 1773 not 1 1 >sa0 >sa1
1657 
1685 1239 nand 2 2 >sa0 >sa1
1594 1636 
1705 1240 from 1239 >sa0 >sa1
1722 1241 from 1239 >sa0 >sa1
1688 1326 nand 1 2 >sa0 >sa1
1533 1639 
1697 1894 buff 2 1 >sa0 >sa1
1627 
1726 1896 from 1894 >sa0 >sa1
1737 1895 from 1894 >sa0 >sa1
1701 1902 buff 2 1 >sa0 >sa1
1628 
1729 1904 from 1902 >sa0 >sa1
1738 1903 from 1902 >sa0 >sa1
1706 392 nand 1 2 >sa0 >sa1
791 1672 
1707 1360 not 1 1 >sa0 >sa1
1692 
1708 1003 nand 1 2 >sa0 >sa1
1674 1675 
1709 1677 not 1 1 >sa0 >sa1
1694 
1710 1013 nand 1 2 >sa0 >sa1
1676 1677 
1711 1685 not 1 1 >sa0 >sa1
1695 
1712 1082 nand 1 2 >sa0 >sa1
1103 1679 
1713 1094 nand 1 2 >sa0 >sa1
1105 1681 
1714 1122 buff 2 1 >sa0 >sa1
1667 
1754 1123 from 1122 >sa0 >sa1
1755 1124 from 1122 >sa0 >sa1
1717 1134 buff 2 1 >sa0 >sa1
1668 
1739 1136 from 1134 >sa0 >sa1
1757 1135 from 1134 >sa0 >sa1
1720 1187 nand 1 2 >sa0 >sa1
1684 1593 
1721 1805 not 1 1 >sa0 >sa1
1696 
1723 1327 nand 2 2 >sa0 >sa1
1638 1688 
1745 1328 from 1327 >sa0 >sa1
1760 1329 from 1327 >sa0 >sa1
1727 1901 not 1 1 >sa0 >sa1
1700 
1728 1348 not 1 1 >sa0 >sa1
1689 
1730 1909 not 1 1 >sa0 >sa1
1704 
1731 1758 buff 2 1 >sa0 >sa1
1669 
1756 1760 from 1758 >sa0 >sa1
1765 1759 from 1758 >sa0 >sa1
1734 1766 buff 2 1 >sa0 >sa1
1670 
1758 1768 from 1766 >sa0 >sa1
1766 1767 from 1766 >sa0 >sa1
1740 377 nand 1 2 >sa0 >sa1
1705 1528 
1741 1243 not 1 1 >sa0 >sa1
1722 
1742 393 nand 2 2 >sa0 >sa1
1671 1706 
1770 394 from 393 >sa0 >sa1
1771 395 from 393 >sa0 >sa1
1746 1004 nand 1 2 >sa0 >sa1
1629 1709 
1747 1014 nand 1 2 >sa0 >sa1
1630 1711 
1748 1083 nand 2 2 >sa0 >sa1
1678 1712 
1780 1084 from 1083 >sa0 >sa1
1781 1085 from 1083 >sa0 >sa1
1751 1095 nand 2 2 >sa0 >sa1
1680 1713 
1767 1096 from 1095 >sa0 >sa1
1782 1097 from 1095 >sa0 >sa1
1759 1188 nand 1 2 >sa0 >sa1
1565 1721 
1761 1900 not 1 1 >sa0 >sa1
1737 
1762 1344 nand 1 2 >sa0 >sa1
1726 1727 
1763 1908 not 1 1 >sa0 >sa1
1738 
1764 1356 nand 1 2 >sa0 >sa1
1729 1730 
1768 1142 not 1 1 >sa0 >sa1
1757 
1769 378 nand 1 2 >sa0 >sa1
1497 1741 
1772 399 nand 1 2 >sa0 >sa1
1745 1413 
1773 1331 not 1 1 >sa0 >sa1
1760 
1774 1005 nand 2 2 >sa0 >sa1
1708 1746 
1794 1006 from 1005 >sa0 >sa1
1805 1007 from 1005 >sa0 >sa1
1777 1015 nand 2 2 >sa0 >sa1
1710 1747 
1793 1016 from 1015 >sa0 >sa1
1806 1017 from 1015 >sa0 >sa1
1783 1764 not 1 1 >sa0 >sa1
1765 
1784 1126 nand 1 2 >sa0 >sa1
1756 1682 
1785 1130 not 1 1 >sa0 >sa1
1754 
1786 1772 not 1 1 >sa0 >sa1
1766 
1787 1138 nand 1 2 >sa0 >sa1
1758 1683 
1788 1189 nand 2 2 >sa0 >sa1
1720 1759 
1797 1190 from 1189 >sa0 >sa1
1811 1191 from 1189 >sa0 >sa1
1791 1343 nand 1 2 >sa0 >sa1
1691 1761 
1792 1355 nand 1 2 >sa0 >sa1
1693 1763 
1795 324 nand 1 2 >sa0 >sa1
1767 1155 
1796 1099 not 1 1 >sa0 >sa1
1782 
1798 379 nand 2 2 >sa0 >sa1
1740 1769 
1828 380 from 379 >sa0 >sa1
1829 381 from 379 >sa0 >sa1
1801 400 nand 1 2 >sa0 >sa1
1347 1773 
1802 449 nand 2 2 >sa0 >sa1
1771 481 
1835 450 from 449 >sa0 >sa1
1836 451 from 449 >sa0 >sa1
1807 1087 not 1 1 >sa0 >sa1
1781 
1808 1088 nand 1 2 >sa0 >sa1
1780 1218 
1809 1125 nand 1 2 >sa0 >sa1
1633 1783 
1810 1137 nand 1 2 >sa0 >sa1
1634 1786 
1812 1345 nand 2 2 >sa0 >sa1
1791 1762 
1844 1346 from 1345 >sa0 >sa1
1845 1347 from 1345 >sa0 >sa1
1815 1357 nand 2 2 >sa0 >sa1
1792 1764 
1833 1358 from 1357 >sa0 >sa1
1846 1359 from 1357 >sa0 >sa1
1818 1397 buff 2 1 >sa0 >sa1
1770 
1834 1398 from 1397 >sa0 >sa1
1847 1399 from 1397 >sa0 >sa1
1821 277 nand 1 2 >sa0 >sa1
1793 1490 
1822 1019 not 1 1 >sa0 >sa1
1806 
1823 280 nand 1 2 >sa0 >sa1
1794 1491 
1824 1009 not 1 1 >sa0 >sa1
1805 
1825 325 nand 1 2 >sa0 >sa1
1060 1796 
1826 364 nand 1 2 >sa0 >sa1
1797 1409 
1827 1193 not 1 1 >sa0 >sa1
1811 
1830 401 nand 2 2 >sa0 >sa1
1772 1801 
1853 402 from 401 >sa0 >sa1
1854 403 from 401 >sa0 >sa1
1837 1089 nand 1 2 >sa0 >sa1
1102 1807 
1838 1127 nand 2 2 >sa0 >sa1
1809 1784 
1861 1128 from 1127 >sa0 >sa1
1862 1129 from 1127 >sa0 >sa1
1841 1139 nand 2 2 >sa0 >sa1
1810 1787 
1851 1140 from 1139 >sa0 >sa1
1863 1141 from 1139 >sa0 >sa1
1848 278 nand 1 2 >sa0 >sa1
1449 1822 
1849 281 nand 1 2 >sa0 >sa1
1450 1824 
1850 326 nand 1 2 >sa0 >sa1
1795 1825 
1852 365 nand 1 2 >sa0 >sa1
1343 1827 
1855 413 nand 1 2 >sa0 >sa1
1833 1707 
1856 1361 not 1 1 >sa0 >sa1
1846 
1857 1401 not 1 1 >sa0 >sa1
1847 
1858 445 nand 2 2 >sa0 >sa1
1829 480 
1887 446 from 445 >sa0 >sa1
1888 447 from 445 >sa0 >sa1
1864 1349 not 1 1 >sa0 >sa1
1845 
1865 1350 nand 1 2 >sa0 >sa1
1844 1728 
1866 1389 buff 2 1 >sa0 >sa1
1828 
1886 1390 from 1389 >sa0 >sa1
1901 1391 from 1389 >sa0 >sa1
1869 1493 buff 2 1 >sa0 >sa1
1835 
1893 1494 from 1493 >sa0 >sa1
1905 1495 from 1493 >sa0 >sa1
1872 1501 buff 2 1 >sa0 >sa1
1836 
1892 1502 from 1501 >sa0 >sa1
1906 1503 from 1501 >sa0 >sa1
1875 1689 nand 2 2 >sa0 >sa1
1808 1837 
1894 1690 from 1689 >sa0 >sa1
1907 1691 from 1689 >sa0 >sa1
1878 279 nand 1 2 >sa0 >sa1
1821 1848 
1879 282 nand 2 2 >sa0 >sa1
1823 1849 
1908 283 from 282 >sa0 >sa1
1909 284 from 282 >sa0 >sa1
1882 346 nand 1 2 >sa0 >sa1
1851 1768 
1883 1143 not 1 1 >sa0 >sa1
1863 
1884 366 nand 1 2 >sa0 >sa1
1826 1852 
1885 414 nand 1 2 >sa0 >sa1
1673 1856 
1889 453 nand 2 2 >sa0 >sa1
1854 482 
1917 454 from 453 >sa0 >sa1
1918 455 from 453 >sa0 >sa1
1895 1131 not 1 1 >sa0 >sa1
1862 
1896 1132 nand 1 2 >sa0 >sa1
1861 1785 
1897 1351 nand 1 2 >sa0 >sa1
1690 1864 
1898 1365 not 2 1 >sa0 >sa1
1850 
1914 1366 from 1365 >sa0 >sa1
1925 1367 from 1365 >sa0 >sa1
1902 1405 buff 2 1 >sa0 >sa1
1853 
1916 1406 from 1405 >sa0 >sa1
1926 1407 from 1405 >sa0 >sa1
1910 285 not 1 1 >sa0 >sa1
1878 
1911 347 nand 1 2 >sa0 >sa1
1739 1883 
1912 367 not 1 1 >sa0 >sa1
1884 
1913 415 nand 1 2 >sa0 >sa1
1855 1885 
1915 1393 not 1 1 >sa0 >sa1
1901 
1919 556 nand 1 2 >sa0 >sa1
1892 919 
1920 1505 not 1 1 >sa0 >sa1
1906 
1921 559 nand 1 2 >sa0 >sa1
1893 920 
1922 1497 not 1 1 >sa0 >sa1
1905 
1923 1693 not 1 1 >sa0 >sa1
1907 
1924 1133 nand 1 2 >sa0 >sa1
1755 1895 
1927 1477 buff 2 1 >sa0 >sa1
1887 
1940 1478 from 1477 >sa0 >sa1
1956 1479 from 1477 >sa0 >sa1
1930 1485 buff 2 1 >sa0 >sa1
1888 
1939 1486 from 1485 >sa0 >sa1
1957 1487 from 1485 >sa0 >sa1
1933 1809 nand 2 2 >sa0 >sa1
1865 1897 
1943 1810 from 1809 >sa0 >sa1
1964 1811 from 1809 >sa0 >sa1
1936 348 nand 1 2 >sa0 >sa1
1882 1911 
1937 1369 not 1 1 >sa0 >sa1
1925 
1938 1409 not 1 1 >sa0 >sa1
1926 
1941 557 nand 1 2 >sa0 >sa1
807 1920 
1942 560 nand 1 2 >sa0 >sa1
808 1922 
1944 1362 buff 2 1 >sa0 >sa1
1909 
1971 1364 from 1362 >sa0 >sa1
1986 1363 from 1362 >sa0 >sa1
1947 1378 not 2 1 >sa0 >sa1
1913 
1972 1380 from 1378 >sa0 >sa1
1990 1379 from 1378 >sa0 >sa1
1950 1429 buff 2 1 >sa0 >sa1
1917 
1974 1430 from 1429 >sa0 >sa1
1991 1431 from 1429 >sa0 >sa1
1953 1437 buff 1 1 >sa0 >sa1
1918 
1958 1686 buff 2 1 >sa0 >sa1
1908 
1983 1688 from 1686 >sa0 >sa1
1995 1687 from 1686 >sa0 >sa1
1961 1774 nand 2 2 >sa0 >sa1
1896 1924 
1984 1776 from 1774 >sa0 >sa1
1996 1775 from 1774 >sa0 >sa1
1965 1910 and 2 2 >sa0 >sa1
1910 601 
1993 1912 from 1910 >sa0 >sa1
1997 1911 from 1910 >sa0 >sa1
1968 1918 and 2 2 >sa0 >sa1
602 1912 
1994 1920 from 1918 >sa0 >sa1
1998 1919 from 1918 >sa0 >sa1
1975 544 nand 1 2 >sa0 >sa1
1939 917 
1976 1489 not 1 1 >sa0 >sa1
1957 
1977 547 nand 1 2 >sa0 >sa1
1940 918 
1978 1481 not 1 1 >sa0 >sa1
1956 
1979 558 nand 1 2 >sa0 >sa1
1919 1941 
1980 561 nand 2 2 >sa0 >sa1
1921 1942 
2010 562 from 561 >sa0 >sa1
2011 563 from 561 >sa0 >sa1
1985 1813 not 1 1 >sa0 >sa1
1964 
1987 1370 not 2 1 >sa0 >sa1
1936 
2001 1372 from 1370 >sa0 >sa1
2017 1371 from 1370 >sa0 >sa1
1999 1368 not 1 1 >sa0 >sa1
1986 
2000 417 nand 1 2 >sa0 >sa1
1971 1937 
2002 1384 not 1 1 >sa0 >sa1
1990 
2003 424 nand 1 2 >sa0 >sa1
1972 1499 
2004 508 not 1 1 >sa0 >sa1
1350 
2005 1441 not 1 1 >sa0 >sa1
1953 
2006 511 nand 1 2 >sa0 >sa1
1974 1351 
2007 1433 not 1 1 >sa0 >sa1
1991 
2008 545 nand 1 2 >sa0 >sa1
805 1976 
2009 548 nand 1 2 >sa0 >sa1
806 1978 
2012 564 not 1 1 >sa0 >sa1
1979 
2013 1692 not 1 1 >sa0 >sa1
1995 
2014 1024 nand 1 2 >sa0 >sa1
1983 1923 
2015 1780 not 1 1 >sa0 >sa1
1996 
2016 1148 nand 1 2 >sa0 >sa1
1984 1635 
2018 1916 not 1 1 >sa0 >sa1
1997 
2019 1924 not 1 1 >sa0 >sa1
1998 
2020 416 nand 1 2 >sa0 >sa1
1914 1999 
2021 1376 not 1 1 >sa0 >sa1
2017 
2022 421 nand 1 2 >sa0 >sa1
2001 1591 
2023 423 nand 1 2 >sa0 >sa1
1465 2002 
2024 509 not 1 1 >sa0 >sa1
2005 
2025 512 nand 1 2 >sa0 >sa1
1272 2007 
2026 546 nand 1 2 >sa0 >sa1
1975 2008 
2027 549 nand 2 2 >sa0 >sa1
1977 2009 
2045 550 from 549 >sa0 >sa1
2046 551 from 549 >sa0 >sa1
2030 719 not 2 1 >sa0 >sa1
2010 
2048 720 from 719 >sa0 >sa1
2049 721 from 719 >sa0 >sa1
2033 722 buff 2 1 >sa0 >sa1
2011 
2050 723 from 722 >sa0 >sa1
2051 724 from 722 >sa0 >sa1
2036 1023 nand 1 2 >sa0 >sa1
1894 2013 
2037 1147 nand 1 2 >sa0 >sa1
1592 2015 
2038 418 nand 1 2 >sa0 >sa1
2020 2000 
2039 420 nand 1 2 >sa0 >sa1
1564 2021 
2040 425 nand 1 2 >sa0 >sa1
2023 2003 
2041 510 nand 1 2 >sa0 >sa1
2004 2024 
2042 513 nand 2 2 >sa0 >sa1
2006 2025 
2065 514 from 513 >sa0 >sa1
2066 515 from 513 >sa0 >sa1
2047 552 not 1 1 >sa0 >sa1
2026 
2052 1025 nand 2 2 >sa0 >sa1
2036 2014 
2058 1026 from 1025 >sa0 >sa1
2074 1027 from 1025 >sa0 >sa1
2055 1149 nand 2 2 >sa0 >sa1
2037 2016 
2059 1150 from 1149 >sa0 >sa1
2075 1151 from 1149 >sa0 >sa1
2060 419 not 1 1 >sa0 >sa1
2038 
2061 422 nand 1 2 >sa0 >sa1
2039 2022 
2062 441 nand 2 2 >sa0 >sa1
2040 479 
2084 442 from 441 >sa0 >sa1
2085 443 from 441 >sa0 >sa1
2067 516 not 1 1 >sa0 >sa1
2041 
2068 725 not 2 1 >sa0 >sa1
2045 
2092 726 from 725 >sa0 >sa1
2093 727 from 725 >sa0 >sa1
2071 728 buff 2 1 >sa0 >sa1
2046 
2094 729 from 728 >sa0 >sa1
2095 730 from 728 >sa0 >sa1
2076 1029 not 1 1 >sa0 >sa1
2074 
2077 1153 not 1 1 >sa0 >sa1
2075 
2078 433 nand 2 2 >sa0 >sa1
2060 477 
2096 434 from 433 >sa0 >sa1
2097 435 from 433 >sa0 >sa1
2081 437 nand 2 2 >sa0 >sa1
2061 478 
2098 438 from 437 >sa0 >sa1
2099 439 from 437 >sa0 >sa1
2086 663 not 2 1 >sa0 >sa1
2065 
2100 664 from 663 >sa0 >sa1
2101 665 from 663 >sa0 >sa1
2089 666 buff 2 1 >sa0 >sa1
2066 
2102 667 from 666 >sa0 >sa1
2103 668 from 666 >sa0 >sa1
2104 731 and 14 2 >sa0 >sa1
2048 2092 
2156 732 from 731 >sa0 >sa1
2157 733 from 731 >sa0 >sa1
2158 734 from 731 >sa0 >sa1
2159 735 from 731 >sa0 >sa1
2160 736 from 731 >sa0 >sa1
2161 737 from 731 >sa0 >sa1
2162 738 from 731 >sa0 >sa1
2163 739 from 731 >sa0 >sa1
2164 740 from 731 >sa0 >sa1
2165 741 from 731 >sa0 >sa1
2166 742 from 731 >sa0 >sa1
2167 743 from 731 >sa0 >sa1
2168 744 from 731 >sa0 >sa1
2169 745 from 731 >sa0 >sa1
2119 746 and 9 2 >sa0 >sa1
2050 2093 
2170 747 from 746 >sa0 >sa1
2171 748 from 746 >sa0 >sa1
2172 749 from 746 >sa0 >sa1
2173 750 from 746 >sa0 >sa1
2174 751 from 746 >sa0 >sa1
2175 752 from 746 >sa0 >sa1
2176 753 from 746 >sa0 >sa1
2177 754 from 746 >sa0 >sa1
2178 755 from 746 >sa0 >sa1
2129 756 and 13 2 >sa0 >sa1
2049 2094 
2179 757 from 756 >sa0 >sa1
2180 758 from 756 >sa0 >sa1
2181 759 from 756 >sa0 >sa1
2182 760 from 756 >sa0 >sa1
2183 761 from 756 >sa0 >sa1
2184 762 from 756 >sa0 >sa1
2185 763 from 756 >sa0 >sa1
2186 764 from 756 >sa0 >sa1
2187 765 from 756 >sa0 >sa1
2188 766 from 756 >sa0 >sa1
2189 767 from 756 >sa0 >sa1
2190 768 from 756 >sa0 >sa1
2191 769 from 756 >sa0 >sa1
2143 770 and 4 2 >sa0 >sa1
2051 2095 
2192 771 from 770 >sa0 >sa1
2193 772 from 770 >sa0 >sa1
2194 773 from 770 >sa0 >sa1
2195 774 from 770 >sa0 >sa1
2148 1461 buff 2 1 >sa0 >sa1
2084 
2155 1462 from 1461 >sa0 >sa1
2208 1463 from 1461 >sa0 >sa1
2151 1469 buff 2 1 >sa0 >sa1
2085 
2154 1470 from 1469 >sa0 >sa1
2209 1471 from 1469 >sa0 >sa1
2196 1413 buff 2 1 >sa0 >sa1
2096 
2211 1414 from 1413 >sa0 >sa1
2218 1415 from 1413 >sa0 >sa1
2199 1421 buff 2 1 >sa0 >sa1
2097 
2210 1422 from 1421 >sa0 >sa1
2219 1423 from 1421 >sa0 >sa1
2202 1445 buff 2 1 >sa0 >sa1
2098 
2213 1446 from 1445 >sa0 >sa1
2220 1447 from 1445 >sa0 >sa1
2205 1453 buff 2 1 >sa0 >sa1
2099 
2212 1454 from 1453 >sa0 >sa1
2221 1455 from 1453 >sa0 >sa1
2214 532 nand 1 2 >sa0 >sa1
2154 915 
2215 1473 not 1 1 >sa0 >sa1
2209 
2216 535 nand 1 2 >sa0 >sa1
2155 916 
2217 1465 not 1 1 >sa0 >sa1
2208 
2222 495 nand 1 2 >sa0 >sa1
2210 1348 
2223 1425 not 1 1 >sa0 >sa1
2219 
2224 498 nand 1 2 >sa0 >sa1
2211 1349 
2225 1417 not 1 1 >sa0 >sa1
2218 
2226 520 nand 1 2 >sa0 >sa1
2212 913 
2227 1457 not 1 1 >sa0 >sa1
2221 
2228 523 nand 1 2 >sa0 >sa1
2213 914 
2229 1449 not 1 1 >sa0 >sa1
2220 
2230 533 nand 1 2 >sa0 >sa1
803 2215 
2231 536 nand 1 2 >sa0 >sa1
804 2217 
2232 496 nand 1 2 >sa0 >sa1
1269 2223 
2233 499 nand 1 2 >sa0 >sa1
1270 2225 
2234 521 nand 1 2 >sa0 >sa1
801 2227 
2235 524 nand 1 2 >sa0 >sa1
802 2229 
2236 534 nand 1 2 >sa0 >sa1
2214 2230 
2237 537 nand 2 2 >sa0 >sa1
2216 2231 
2248 538 from 537 >sa0 >sa1
2249 539 from 537 >sa0 >sa1
2240 497 nand 1 2 >sa0 >sa1
2222 2232 
2241 500 nand 2 2 >sa0 >sa1
2224 2233 
2251 501 from 500 >sa0 >sa1
2252 502 from 500 >sa0 >sa1
2244 522 nand 1 2 >sa0 >sa1
2226 2234 
2245 525 nand 2 2 >sa0 >sa1
2228 2235 
2254 526 from 525 >sa0 >sa1
2255 527 from 525 >sa0 >sa1
2250 540 not 1 1 >sa0 >sa1
2236 
2253 503 not 1 1 >sa0 >sa1
2240 
2256 528 not 1 1 >sa0 >sa1
2244 
2257 669 not 2 1 >sa0 >sa1
2248 
2275 670 from 669 >sa0 >sa1
2276 671 from 669 >sa0 >sa1
2260 672 buff 2 1 >sa0 >sa1
2249 
2277 673 from 672 >sa0 >sa1
2278 674 from 672 >sa0 >sa1
2263 569 not 2 1 >sa0 >sa1
2251 
2284 570 from 569 >sa0 >sa1
2285 571 from 569 >sa0 >sa1
2266 588 and 2 2 >sa0 >sa1
1274 2252 
2267 2f1588 from 588 >sa0 >sa1
2268 2588 from 588 >sa0 >sa1
2269 618 not 2 1 >sa0 >sa1
2254 
2313 619 from 618 >sa0 >sa1
2314 620 from 618 >sa0 >sa1
2272 639 and 2 2 >sa0 >sa1
1276 2255 
2273 1f639 from 639 >sa0 >sa1
2274 2f639 from 639 >sa0 >sa1
2279 867 nand 2 8 >sa0 >sa1
2067 2012 2047 2250 1071 2256 2253 1074 
2282 868 from 867 >sa0 >sa1
2283 869 from 867 >sa0 >sa1
2286 588a buff 10 1 >sa0 >sa1
2267 
2401 589 from 588a >sa0 >sa1
2402 590 from 588a >sa0 >sa1
2403 591 from 588a >sa0 >sa1
2404 592 from 588a >sa0 >sa1
2405 593 from 588a >sa0 >sa1
2406 594 from 588a >sa0 >sa1
2407 595 from 588a >sa0 >sa1
2408 596 from 588a >sa0 >sa1
2409 597 from 588a >sa0 >sa1
2410 598 from 588a >sa0 >sa1
2297 588b buff 15 1 >sa0 >sa1
2268 
2411 599 from 588b >sa0 >sa1
2412 600 from 588b >sa0 >sa1
2413 601 from 588b >sa0 >sa1
2414 602 from 588b >sa0 >sa1
2415 603 from 588b >sa0 >sa1
2416 604 from 588b >sa0 >sa1
2417 605 from 588b >sa0 >sa1
2418 606 from 588b >sa0 >sa1
2419 607 from 588b >sa0 >sa1
2420 608 from 588b >sa0 >sa1
2421 609 from 588b >sa0 >sa1
2422 610 from 588b >sa0 >sa1
2423 611 from 588b >sa0 >sa1
2424 612 from 588b >sa0 >sa1
2425 613 from 588b >sa0 >sa1
2315 639a buff 10 1 >sa0 >sa1
2273 
2444 640 from 639a >sa0 >sa1
2445 641 from 639a >sa0 >sa1
2446 642 from 639a >sa0 >sa1
2447 643 from 639a >sa0 >sa1
2448 644 from 639a >sa0 >sa1
2449 645 from 639a >sa0 >sa1
2450 646 from 639a >sa0 >sa1
2451 647 from 639a >sa0 >sa1
2452 648 from 639a >sa0 >sa1
2453 649 from 639a >sa0 >sa1
2326 639b buff 13 1 >sa0 >sa1
2274 
2454 650 from 639b >sa0 >sa1
2455 651 from 639b >sa0 >sa1
2456 652 from 639b >sa0 >sa1
2457 653 from 639b >sa0 >sa1
2458 654 from 639b >sa0 >sa1
2459 655 from 639b >sa0 >sa1
2460 656 from 639b >sa0 >sa1
2461 657 from 639b >sa0 >sa1
2462 658 from 639b >sa0 >sa1
2463 659 from 639b >sa0 >sa1
2464 660 from 639b >sa0 >sa1
2465 661 from 639b >sa0 >sa1
2466 662 from 639b >sa0 >sa1
2340 675 and 12 2 >sa0 >sa1
2100 2275 
2467 676 from 675 >sa0 >sa1
2468 677 from 675 >sa0 >sa1
2469 678 from 675 >sa0 >sa1
2470 679 from 675 >sa0 >sa1
2471 680 from 675 >sa0 >sa1
2472 681 from 675 >sa0 >sa1
2473 682 from 675 >sa0 >sa1
2474 683 from 675 >sa0 >sa1
2475 684 from 675 >sa0 >sa1
2476 685 from 675 >sa0 >sa1
2477 686 from 675 >sa0 >sa1
2478 687 from 675 >sa0 >sa1
2353 688 and 7 2 >sa0 >sa1
2102 2276 
2479 689 from 688 >sa0 >sa1
2480 690 from 688 >sa0 >sa1
2481 691 from 688 >sa0 >sa1
2482 692 from 688 >sa0 >sa1
2483 693 from 688 >sa0 >sa1
2484 694 from 688 >sa0 >sa1
2485 695 from 688 >sa0 >sa1
2361 696 and 13 2 >sa0 >sa1
2101 2277 
2486 697 from 696 >sa0 >sa1
2487 698 from 696 >sa0 >sa1
2488 699 from 696 >sa0 >sa1
2489 700 from 696 >sa0 >sa1
2490 701 from 696 >sa0 >sa1
2491 702 from 696 >sa0 >sa1
2492 703 from 696 >sa0 >sa1
2493 704 from 696 >sa0 >sa1
2494 705 from 696 >sa0 >sa1
2495 706 from 696 >sa0 >sa1
2496 707 from 696 >sa0 >sa1
2497 708 from 696 >sa0 >sa1
2498 709 from 696 >sa0 >sa1
2375 710 and 8 2 >sa0 >sa1
2103 2278 
2499 711 from 710 >sa0 >sa1
2500 712 from 710 >sa0 >sa1
2501 713 from 710 >sa0 >sa1
2502 714 from 710 >sa0 >sa1
2503 715 from 710 >sa0 >sa1
2504 716 from 710 >sa0 >sa1
2505 717 from 710 >sa0 >sa1
2506 718 from 710 >sa0 >sa1
2384 73 and 1 3 >sa0 >sa1
419 2282 313 
2385 572 and 1 2 >sa0 >sa1
1163 2284 
2386 573 and 14 2 >sa0 >sa1
1273 2285 
2507 574 from 573 >sa0 >sa1
2508 575 from 573 >sa0 >sa1
2509 576 from 573 >sa0 >sa1
2510 577 from 573 >sa0 >sa1
2511 578 from 573 >sa0 >sa1
2512 579 from 573 >sa0 >sa1
2513 580 from 573 >sa0 >sa1
2514 581 from 573 >sa0 >sa1
2515 582 from 573 >sa0 >sa1
2516 583 from 573 >sa0 >sa1
2517 584 from 573 >sa0 >sa1
2518 585 from 573 >sa0 >sa1
2519 586 from 573 >sa0 >sa1
2520 587 from 573 >sa0 >sa1
2426 621 and 1 2 >sa0 >sa1
1167 2313 
2427 622 and 16 2 >sa0 >sa1
1275 2314 
2521 623 from 622 >sa0 >sa1
2522 624 from 622 >sa0 >sa1
2523 625 from 622 >sa0 >sa1
2524 626 from 622 >sa0 >sa1
2525 627 from 622 >sa0 >sa1
2526 628 from 622 >sa0 >sa1
2527 629 from 622 >sa0 >sa1
2528 630 from 622 >sa0 >sa1
2529 631 from 622 >sa0 >sa1
2530 632 from 622 >sa0 >sa1
2531 633 from 622 >sa0 >sa1
2532 634 from 622 >sa0 >sa1
2533 635 from 622 >sa0 >sa1
2534 636 from 622 >sa0 >sa1
2535 637 from 622 >sa0 >sa1
2536 638 from 622 >sa0 >sa1
2537 776 nand 2 5 >sa0 >sa1
2402 2445 2487 2157 1277 
2586 777 from 776 >sa0 >sa1
2587 778 from 776 >sa0 >sa1
2540 780 nand 2 5 >sa0 >sa1
2404 2447 2468 2180 1278 
2588 781 from 780 >sa0 >sa1
2589 782 from 780 >sa0 >sa1
2543 784 nand 2 5 >sa0 >sa1
2406 2449 2470 2171 1279 
2590 785 from 784 >sa0 >sa1
2591 786 from 784 >sa0 >sa1
2546 788 nand 2 5 >sa0 >sa1
2408 2451 2480 2159 1280 
2592 789 from 788 >sa0 >sa1
2593 790 from 788 >sa0 >sa1
2549 812 nand 2 5 >sa0 >sa1
2420 2453 2502 2175 1286 
2609 813 from 812 >sa0 >sa1
2610 814 from 812 >sa0 >sa1
2552 832 nand 2 5 >sa0 >sa1
2422 2463 2497 2195 1291 
2623 833 from 832 >sa0 >sa1
2624 834 from 832 >sa0 >sa1
2555 836 nand 2 5 >sa0 >sa1
2424 2465 2506 2190 1292 
2625 837 from 836 >sa0 >sa1
2626 838 from 836 >sa0 >sa1
2558 1509 and 2 5 >sa0 >sa1
2401 2444 2486 2156 1293 
2579 1510 from 1509 >sa0 >sa1
2635 1511 from 1509 >sa0 >sa1
2561 1517 and 2 5 >sa0 >sa1
2403 2446 2467 2179 1294 
2580 1518 from 1517 >sa0 >sa1
2636 1519 from 1517 >sa0 >sa1
2564 1525 and 2 5 >sa0 >sa1
2405 2448 2469 2170 1295 
2581 1526 from 1525 >sa0 >sa1
2637 1527 from 1525 >sa0 >sa1
2567 1533 and 2 5 >sa0 >sa1
2407 2450 2479 2158 1296 
2582 1534 from 1533 >sa0 >sa1
2638 1535 from 1533 >sa0 >sa1
2570 1581 and 2 5 >sa0 >sa1
2419 2452 2501 2174 1302 
2583 1582 from 1581 >sa0 >sa1
2654 1583 from 1581 >sa0 >sa1
2573 1621 and 2 5 >sa0 >sa1
2421 2462 2496 2194 1307 
2584 1622 from 1621 >sa0 >sa1
2667 1623 from 1621 >sa0 >sa1
2576 1629 and 2 5 >sa0 >sa1
2423 2464 2505 2189 1308 
2585 1630 from 1629 >sa0 >sa1
2668 1631 from 1629 >sa0 >sa1
2594 792 nand 2 5 >sa0 >sa1
2410 2522 2489 2182 1281 
2692 793 from 792 >sa0 >sa1
2693 794 from 792 >sa0 >sa1
2597 796 nand 2 5 >sa0 >sa1
2412 2524 2491 2173 1282 
2694 797 from 796 >sa0 >sa1
2695 798 from 796 >sa0 >sa1
2600 800 nand 2 5 >sa0 >sa1
2414 2526 2500 2161 1283 
2696 801 from 800 >sa0 >sa1
2697 802 from 800 >sa0 >sa1
2603 804 nand 2 5 >sa0 >sa1
2416 2528 2472 2193 1284 
2698 805 from 804 >sa0 >sa1
2699 806 from 804 >sa0 >sa1
2606 808 nand 2 5 >sa0 >sa1
2418 2530 2482 2184 1285 
2700 809 from 808 >sa0 >sa1
2701 810 from 808 >sa0 >sa1
2611 816 nand 2 5 >sa0 >sa1
2508 2455 2493 2186 1287 
2702 817 from 816 >sa0 >sa1
2703 818 from 816 >sa0 >sa1
2614 820 nand 2 5 >sa0 >sa1
2510 2457 2495 2177 1288 
2704 821 from 820 >sa0 >sa1
2705 822 from 820 >sa0 >sa1
2617 824 nand 2 5 >sa0 >sa1
2512 2459 2504 2163 1289 
2706 825 from 824 >sa0 >sa1
2707 826 from 824 >sa0 >sa1
2620 828 nand 2 5 >sa0 >sa1
2514 2461 2484 2188 1290 
2708 829 from 828 >sa0 >sa1
2709 830 from 828 >sa0 >sa1
2627 871 nand 1 5 >sa0 >sa1
2425 2531 2473 2164 1079 
2628 873 nand 1 5 >sa0 >sa1
2515 2466 2474 2165 1080 
2629 875 nand 1 5 >sa0 >sa1
2516 2532 2498 2166 1081 
2630 877 nand 1 5 >sa0 >sa1
2517 2533 2475 2191 1082 
2631 879 nand 1 5 >sa0 >sa1
2518 2534 2476 2178 1083 
2632 881 nand 1 5 >sa0 >sa1
2519 2535 2485 2167 1084 
2633 883 nand 1 5 >sa0 >sa1
2520 2426 2477 2168 1085 
2634 885 nand 1 5 >sa0 >sa1
2385 2536 2478 2169 1086 
2639 1541 and 2 5 >sa0 >sa1
2409 2521 2488 2181 1297 
2677 1542 from 1541 >sa0 >sa1
2711 1543 from 1541 >sa0 >sa1
2642 1549 and 2 5 >sa0 >sa1
2411 2523 2490 2172 1298 
2678 1550 from 1549 >sa0 >sa1
2712 1551 from 1549 >sa0 >sa1
2645 1557 and 2 5 >sa0 >sa1
2413 2525 2499 2160 1299 
2679 1558 from 1557 >sa0 >sa1
2713 1559 from 1557 >sa0 >sa1
2648 1565 and 2 5 >sa0 >sa1
2415 2527 2471 2192 1300 
2680 1566 from 1565 >sa0 >sa1
2714 1567 from 1565 >sa0 >sa1
2651 1573 and 2 5 >sa0 >sa1
2417 2529 2481 2183 1301 
2681 1574 from 1573 >sa0 >sa1
2715 1575 from 1573 >sa0 >sa1
2655 1589 and 2 5 >sa0 >sa1
2507 2454 2492 2185 1303 
2684 1590 from 1589 >sa0 >sa1
2716 1591 from 1589 >sa0 >sa1
2658 1597 and 2 5 >sa0 >sa1
2509 2456 2494 2176 1304 
2685 1598 from 1597 >sa0 >sa1
2717 1599 from 1597 >sa0 >sa1
2661 1605 and 2 5 >sa0 >sa1
2511 2458 2503 2162 1305 
2686 1606 from 1605 >sa0 >sa1
2718 1607 from 1605 >sa0 >sa1
2664 1613 and 2 5 >sa0 >sa1
2513 2460 2483 2187 1306 
2687 1614 from 1613 >sa0 >sa1
2719 1615 from 1613 >sa0 >sa1
2669 1 nand 1 2 >sa0 >sa1
2579 534 
2670 1513 not 1 1 >sa0 >sa1
2635 
2671 4 nand 1 2 >sa0 >sa1
2580 535 
2672 1521 not 1 1 >sa0 >sa1
2636 
2673 7 nand 1 2 >sa0 >sa1
2581 536 
2674 1529 not 1 1 >sa0 >sa1
2637 
2675 10 nand 1 2 >sa0 >sa1
2582 537 
2676 1537 not 1 1 >sa0 >sa1
2638 
2682 28 nand 1 2 >sa0 >sa1
2583 543 
2683 1585 not 1 1 >sa0 >sa1
2654 
2688 43 nand 1 2 >sa0 >sa1
2584 548 
2689 1625 not 1 1 >sa0 >sa1
2667 
2690 46 nand 1 2 >sa0 >sa1
2585 549 
2691 1633 not 1 1 >sa0 >sa1
2668 
2710 886 and 1 8 >sa0 >sa1
2627 2628 2629 2630 2631 2632 2633 2634 
2720 2 nand 1 2 >sa0 >sa1
391 2670 
2721 5 nand 1 2 >sa0 >sa1
392 2672 
2722 8 nand 1 2 >sa0 >sa1
393 2674 
2723 11 nand 1 2 >sa0 >sa1
394 2676 
2724 13 nand 1 2 >sa0 >sa1
2677 538 
2725 1545 not 1 1 >sa0 >sa1
2711 
2726 16 nand 1 2 >sa0 >sa1
2678 539 
2727 1553 not 1 1 >sa0 >sa1
2712 
2728 19 nand 1 2 >sa0 >sa1
2679 540 
2729 1561 not 1 1 >sa0 >sa1
2713 
2730 22 nand 1 2 >sa0 >sa1
2680 541 
2731 1569 not 1 1 >sa0 >sa1
2714 
2732 25 nand 1 2 >sa0 >sa1
2681 542 
2733 1577 not 1 1 >sa0 >sa1
2715 
2734 29 nand 1 2 >sa0 >sa1
400 2683 
2735 31 nand 1 2 >sa0 >sa1
2684 544 
2736 1593 not 1 1 >sa0 >sa1
2716 
2737 34 nand 1 2 >sa0 >sa1
2685 545 
2738 1601 not 1 1 >sa0 >sa1
2717 
2739 37 nand 1 2 >sa0 >sa1
2686 546 
2740 1609 not 1 1 >sa0 >sa1
2718 
2741 40 nand 1 2 >sa0 >sa1
2687 547 
2742 1617 not 1 1 >sa0 >sa1
2719 
2743 44 nand 1 2 >sa0 >sa1
405 2689 
2744 47 nand 1 2 >sa0 >sa1
406 2691 
2745 857 nand 1 8 >sa0 >sa1
2587 2589 2591 2593 2693 2695 2697 2699 
2746 860 nand 1 8 >sa0 >sa1
2701 2610 2703 2705 2707 2709 2624 2626 
2747 863 and 2 8 >sa0 >sa1
2586 2588 2590 2592 2692 2694 2696 2698 
2769 460 from 863 >sa0 >sa1
2771 864 from 863 >sa0 >sa1
2750 865 and 2 8 >sa0 >sa1
2700 2609 2702 2704 2706 2708 2623 2625 
2770 461 from 865 >sa0 >sa1
2772 866 from 865 >sa0 >sa1
2753 3 nand 0 2 >sa0 >sa1
2669 2720 
2754 6 nand 0 2 >sa0 >sa1
2671 2721 
2755 9 nand 0 2 >sa0 >sa1
2673 2722 
2756 12 nand 0 2 >sa0 >sa1
2675 2723 
2757 14 nand 1 2 >sa0 >sa1
395 2725 
2758 17 nand 1 2 >sa0 >sa1
396 2727 
2759 20 nand 1 2 >sa0 >sa1
397 2729 
2760 23 nand 1 2 >sa0 >sa1
398 2731 
2761 26 nand 1 2 >sa0 >sa1
399 2733 
2762 30 nand 0 2 >sa0 >sa1
2682 2734 
2763 32 nand 1 2 >sa0 >sa1
401 2736 
2764 35 nand 1 2 >sa0 >sa1
402 2738 
2765 38 nand 1 2 >sa0 >sa1
403 2740 
2766 41 nand 1 2 >sa0 >sa1
404 2742 
2767 45 nand 0 2 >sa0 >sa1
2688 2743 
2768 48 nand 0 2 >sa0 >sa1
2690 2744 
2773 1913 and 2 2 >sa0 >sa1
2745 275 
2796 1914 from 1913 >sa0 >sa1
2798 1915 from 1913 >sa0 >sa1
2776 1921 and 2 2 >sa0 >sa1
2746 276 
2797 1922 from 1921 >sa0 >sa1
2799 1923 from 1921 >sa0 >sa1
2779 15 nand 0 2 >sa0 >sa1
2724 2757 
2780 18 nand 0 2 >sa0 >sa1
2726 2758 
2781 21 nand 0 2 >sa0 >sa1
2728 2759 
2782 24 nand 0 2 >sa0 >sa1
2730 2760 
2783 27 nand 0 2 >sa0 >sa1
2732 2761 
2784 33 nand 0 2 >sa0 >sa1
2735 2763 
2785 36 nand 0 2 >sa0 >sa1
2737 2764 
2786 39 nand 0 2 >sa0 >sa1
2739 2765 
2787 42 nand 0 2 >sa0 >sa1
2741 2766 
2788 887 and 1 3 >sa0 >sa1
2771 2772 2710 
2789 462 nand 6 2 >sa0 >sa1
2769 2770 
2801 463 from 462 >sa0 >sa1
2802 464 from 462 >sa0 >sa1
2803 465 from 462 >sa0 >sa1
2804 466 from 462 >sa0 >sa1
2805 467 from 462 >sa0 >sa1
2806 468 from 462 >sa0 >sa1
2800 74 and 1 3 >sa0 >sa1
422 2283 2788 
2807 1637 nand 1 2 >sa0 >sa1
2796 2018 
2808 1917 not 1 1 >sa0 >sa1
2798 
2809 1647 nand 1 2 >sa0 >sa1
2797 2019 
2810 1925 not 1 1 >sa0 >sa1
2799 
2811 75 nor 0 2 >sa0 >sa1
2384 2800 
2812 1020 and 2 3 >sa0 >sa1
897 497 2801 
2832 1022 from 1020 >sa0 >sa1
2837 1021 from 1020 >sa0 >sa1
2815 1144 and 2 3 >sa0 >sa1
166 498 2802 
2833 1146 from 1144 >sa0 >sa1
2838 1145 from 1144 >sa0 >sa1
2818 1386 and 2 3 >sa0 >sa1
170 500 2804 
2834 1388 from 1386 >sa0 >sa1
2840 1387 from 1386 >sa0 >sa1
2821 1394 and 2 3 >sa0 >sa1
172 501 2805 
2835 1396 from 1394 >sa0 >sa1
2841 1395 from 1394 >sa0 >sa1
2824 1402 and 2 3 >sa0 >sa1
898 502 2806 
2836 1404 from 1402 >sa0 >sa1
2842 1403 from 1402 >sa0 >sa1
2827 1638 nand 1 2 >sa0 >sa1
1993 2808 
2828 1648 nand 1 2 >sa0 >sa1
1994 2810 
2829 1806 and 2 3 >sa0 >sa1
168 499 2803 
2839 1808 from 1806 >sa0 >sa1
2849 1807 from 1806 >sa0 >sa1
2843 1639 nand 2 2 >sa0 >sa1
2807 2827 
2855 1640 from 1639 >sa0 >sa1
2864 1641 from 1639 >sa0 >sa1
2846 1649 nand 2 2 >sa0 >sa1
2809 2828 
2856 1650 from 1649 >sa0 >sa1
2865 1651 from 1649 >sa0 >sa1
2850 287 nand 1 2 >sa0 >sa1
2832 2076 
2851 350 nand 1 2 >sa0 >sa1
2833 2077 
2852 427 nand 1 2 >sa0 >sa1
2834 1915 
2853 429 nand 1 2 >sa0 >sa1
2835 1857 
2854 431 nand 1 2 >sa0 >sa1
2836 1938 
2857 1028 not 1 1 >sa0 >sa1
2837 
2858 1152 not 1 1 >sa0 >sa1
2838 
2859 1392 not 1 1 >sa0 >sa1
2840 
2860 1400 not 1 1 >sa0 >sa1
2841 
2861 1408 not 1 1 >sa0 >sa1
2842 
2862 1812 not 1 1 >sa0 >sa1
2849 
2863 1216 nand 1 2 >sa0 >sa1
2839 1985 
2866 286 nand 1 2 >sa0 >sa1
2058 2857 
2867 349 nand 1 2 >sa0 >sa1
2059 2858 
2868 426 nand 1 2 >sa0 >sa1
1886 2859 
2869 428 nand 1 2 >sa0 >sa1
1834 2860 
2870 430 nand 1 2 >sa0 >sa1
1916 2861 
2871 67 nand 1 2 >sa0 >sa1
2855 886 
2872 1643 not 1 1 >sa0 >sa1
2864 
2873 70 nand 1 2 >sa0 >sa1
2856 887 
2874 1653 not 1 1 >sa0 >sa1
2865 
2875 1215 nand 1 2 >sa0 >sa1
1943 2862 
2876 49 nand 1 2 >sa0 >sa1
2866 2850 
2877 53 nand 1 2 >sa0 >sa1
2867 2851 
2878 59 nand 1 2 >sa0 >sa1
2868 2852 
2879 61 nand 1 2 >sa0 >sa1
2869 2853 
2880 65 nand 1 2 >sa0 >sa1
2870 2854 
2881 68 nand 1 2 >sa0 >sa1
754 2872 
2882 71 nand 1 2 >sa0 >sa1
755 2874 
2883 1217 nand 2 2 >sa0 >sa1
2875 2863 
2893 1218 from 1217 >sa0 >sa1
2894 1219 from 1217 >sa0 >sa1
2886 51 and 0 2 >sa0 >sa1
2876 550 
2887 54 and 0 2 >sa0 >sa1
551 2877 
2888 60 and 0 2 >sa0 >sa1
553 2878 
2889 63 and 0 2 >sa0 >sa1
2879 554 
2890 66 and 0 2 >sa0 >sa1
555 2880 
2891 69 nand 0 2 >sa0 >sa1
2871 2881 
2892 72 nand 0 2 >sa0 >sa1
2873 2882 
2895 375 nand 1 2 >sa0 >sa1
2893 1461 
2896 1221 not 1 1 >sa0 >sa1
2894 
2897 376 nand 1 2 >sa0 >sa1
1410 2896 
2898 55 nand 1 2 >sa0 >sa1
2895 2897 
2899 57 and 0 2 >sa0 >sa1
2898 552