Download
# c1355.dat
# combinational logic example "c1355"
#-------------------------------------------------------------
#
#
# total number of lines in the netlist .............. 1355
# simplistically reduced equivalent fault set size = 1574
# lines from primary input gates ....... 41
# lines from primary output gates ....... 32
# lines from interior gate outputs ...... 514
# lines from ** 259 ** fanout stems ... 768
#
# avg_fanin = 1.95, max_fanin = 5
# avg_fanout = 2.97, max_fanout = 12
#
#
#
#
#
INPUT(1gat) #... primary input
INPUT(8gat) #... primary input
INPUT(15gat) #... primary input
INPUT(22gat) #... primary input
INPUT(29gat) #... primary input
INPUT(36gat) #... primary input
INPUT(43gat) #... primary input
INPUT(50gat) #... primary input
INPUT(57gat) #... primary input
INPUT(64gat) #... primary input
INPUT(71gat) #... primary input
INPUT(78gat) #... primary input
INPUT(85gat) #... primary input
INPUT(92gat) #... primary input
INPUT(99gat) #... primary input
INPUT(106gat) #... primary input
INPUT(113gat) #... primary input
INPUT(120gat) #... primary input
INPUT(127gat) #... primary input
INPUT(134gat) #... primary input
INPUT(141gat) #... primary input
INPUT(148gat) #... primary input
INPUT(155gat) #... primary input
INPUT(162gat) #... primary input
INPUT(169gat) #... primary input
INPUT(176gat) #... primary input
INPUT(183gat) #... primary input
INPUT(190gat) #... primary input
INPUT(197gat) #... primary input
INPUT(204gat) #... primary input
INPUT(211gat) #... primary input
INPUT(218gat) #... primary input
INPUT(225gat) #... primary input
INPUT(226gat) #... primary input
INPUT(227gat) #... primary input
INPUT(228gat) #... primary input
INPUT(229gat) #... primary input
INPUT(230gat) #... primary input
INPUT(231gat) #... primary input
INPUT(232gat) #... primary input
INPUT(233gat) #... primary input
#
#
OUTPUT(1324gat) #... primary output
OUTPUT(1325gat) #... primary output
OUTPUT(1326gat) #... primary output
OUTPUT(1327gat) #... primary output
OUTPUT(1328gat) #... primary output
OUTPUT(1329gat) #... primary output
OUTPUT(1330gat) #... primary output
OUTPUT(1331gat) #... primary output
OUTPUT(1332gat) #... primary output
OUTPUT(1333gat) #... primary output
OUTPUT(1334gat) #... primary output
OUTPUT(1335gat) #... primary output
OUTPUT(1336gat) #... primary output
OUTPUT(1337gat) #... primary output
OUTPUT(1338gat) #... primary output
OUTPUT(1339gat) #... primary output
OUTPUT(1340gat) #... primary output
OUTPUT(1341gat) #... primary output
OUTPUT(1342gat) #... primary output
OUTPUT(1343gat) #... primary output
OUTPUT(1344gat) #... primary output
OUTPUT(1345gat) #... primary output
OUTPUT(1346gat) #... primary output
OUTPUT(1347gat) #... primary output
OUTPUT(1348gat) #... primary output
OUTPUT(1349gat) #... primary output
OUTPUT(1350gat) #... primary output
OUTPUT(1351gat) #... primary output
OUTPUT(1352gat) #... primary output
OUTPUT(1353gat) #... primary output
OUTPUT(1354gat) #... primary output
OUTPUT(1355gat) #... primary output
#
#
# Output Type Inputs...
# ------ ---- ---------
242gat = and( 225gat, 233gat)
245gat = and( 226gat, 233gat)
248gat = and( 227gat, 233gat)
251gat = and( 228gat, 233gat)
254gat = and( 229gat, 233gat)
257gat = and( 230gat, 233gat)
260gat = and( 231gat, 233gat)
263gat = and( 232gat, 233gat)
266gat = nand( 1gat, 8gat)
269gat = nand( 15gat, 22gat)
272gat = nand( 29gat, 36gat)
275gat = nand( 43gat, 50gat)
278gat = nand( 57gat, 64gat)
281gat = nand( 71gat, 78gat)
284gat = nand( 85gat, 92gat)
287gat = nand( 99gat, 106gat)
290gat = nand( 113gat, 120gat)
293gat = nand( 127gat, 134gat)
296gat = nand( 141gat, 148gat)
299gat = nand( 155gat, 162gat)
302gat = nand( 169gat, 176gat)
305gat = nand( 183gat, 190gat)
308gat = nand( 197gat, 204gat)
311gat = nand( 211gat, 218gat)
314gat = nand( 1gat, 29gat)
317gat = nand( 57gat, 85gat)
320gat = nand( 8gat, 36gat)
323gat = nand( 64gat, 92gat)
326gat = nand( 15gat, 43gat)
329gat = nand( 71gat, 99gat)
332gat = nand( 22gat, 50gat)
335gat = nand( 78gat, 106gat)
338gat = nand( 113gat, 141gat)
341gat = nand( 169gat, 197gat)
344gat = nand( 120gat, 148gat)
347gat = nand( 176gat, 204gat)
350gat = nand( 127gat, 155gat)
353gat = nand( 183gat, 211gat)
356gat = nand( 134gat, 162gat)
359gat = nand( 190gat, 218gat)
362gat = nand( 1gat, 266gat)
363gat = nand( 8gat, 266gat)
364gat = nand( 15gat, 269gat)
365gat = nand( 22gat, 269gat)
366gat = nand( 29gat, 272gat)
367gat = nand( 36gat, 272gat)
368gat = nand( 43gat, 275gat)
369gat = nand( 50gat, 275gat)
370gat = nand( 57gat, 278gat)
371gat = nand( 64gat, 278gat)
372gat = nand( 71gat, 281gat)
373gat = nand( 78gat, 281gat)
374gat = nand( 85gat, 284gat)
375gat = nand( 92gat, 284gat)
376gat = nand( 99gat, 287gat)
377gat = nand( 106gat, 287gat)
378gat = nand( 113gat, 290gat)
379gat = nand( 120gat, 290gat)
380gat = nand( 127gat, 293gat)
381gat = nand( 134gat, 293gat)
382gat = nand( 141gat, 296gat)
383gat = nand( 148gat, 296gat)
384gat = nand( 155gat, 299gat)
385gat = nand( 162gat, 299gat)
386gat = nand( 169gat, 302gat)
387gat = nand( 176gat, 302gat)
388gat = nand( 183gat, 305gat)
389gat = nand( 190gat, 305gat)
390gat = nand( 197gat, 308gat)
391gat = nand( 204gat, 308gat)
392gat = nand( 211gat, 311gat)
393gat = nand( 218gat, 311gat)
394gat = nand( 1gat, 314gat)
395gat = nand( 29gat, 314gat)
396gat = nand( 57gat, 317gat)
397gat = nand( 85gat, 317gat)
398gat = nand( 8gat, 320gat)
399gat = nand( 36gat, 320gat)
400gat = nand( 64gat, 323gat)
401gat = nand( 92gat, 323gat)
402gat = nand( 15gat, 326gat)
403gat = nand( 43gat, 326gat)
404gat = nand( 71gat, 329gat)
405gat = nand( 99gat, 329gat)
406gat = nand( 22gat, 332gat)
407gat = nand( 50gat, 332gat)
408gat = nand( 78gat, 335gat)
409gat = nand( 106gat, 335gat)
410gat = nand( 113gat, 338gat)
411gat = nand( 141gat, 338gat)
412gat = nand( 169gat, 341gat)
413gat = nand( 197gat, 341gat)
414gat = nand( 120gat, 344gat)
415gat = nand( 148gat, 344gat)
416gat = nand( 176gat, 347gat)
417gat = nand( 204gat, 347gat)
418gat = nand( 127gat, 350gat)
419gat = nand( 155gat, 350gat)
420gat = nand( 183gat, 353gat)
421gat = nand( 211gat, 353gat)
422gat = nand( 134gat, 356gat)
423gat = nand( 162gat, 356gat)
424gat = nand( 190gat, 359gat)
425gat = nand( 218gat, 359gat)
426gat = nand( 362gat, 363gat)
429gat = nand( 364gat, 365gat)
432gat = nand( 366gat, 367gat)
435gat = nand( 368gat, 369gat)
438gat = nand( 370gat, 371gat)
441gat = nand( 372gat, 373gat)
444gat = nand( 374gat, 375gat)
447gat = nand( 376gat, 377gat)
450gat = nand( 378gat, 379gat)
453gat = nand( 380gat, 381gat)
456gat = nand( 382gat, 383gat)
459gat = nand( 384gat, 385gat)
462gat = nand( 386gat, 387gat)
465gat = nand( 388gat, 389gat)
468gat = nand( 390gat, 391gat)
471gat = nand( 392gat, 393gat)
474gat = nand( 394gat, 395gat)
477gat = nand( 396gat, 397gat)
480gat = nand( 398gat, 399gat)
483gat = nand( 400gat, 401gat)
486gat = nand( 402gat, 403gat)
489gat = nand( 404gat, 405gat)
492gat = nand( 406gat, 407gat)
495gat = nand( 408gat, 409gat)
498gat = nand( 410gat, 411gat)
501gat = nand( 412gat, 413gat)
504gat = nand( 414gat, 415gat)
507gat = nand( 416gat, 417gat)
510gat = nand( 418gat, 419gat)
513gat = nand( 420gat, 421gat)
516gat = nand( 422gat, 423gat)
519gat = nand( 424gat, 425gat)
522gat = nand( 426gat, 429gat)
525gat = nand( 432gat, 435gat)
528gat = nand( 438gat, 441gat)
531gat = nand( 444gat, 447gat)
534gat = nand( 450gat, 453gat)
537gat = nand( 456gat, 459gat)
540gat = nand( 462gat, 465gat)
543gat = nand( 468gat, 471gat)
546gat = nand( 474gat, 477gat)
549gat = nand( 480gat, 483gat)
552gat = nand( 486gat, 489gat)
555gat = nand( 492gat, 495gat)
558gat = nand( 498gat, 501gat)
561gat = nand( 504gat, 507gat)
564gat = nand( 510gat, 513gat)
567gat = nand( 516gat, 519gat)
570gat = nand( 426gat, 522gat)
571gat = nand( 429gat, 522gat)
572gat = nand( 432gat, 525gat)
573gat = nand( 435gat, 525gat)
574gat = nand( 438gat, 528gat)
575gat = nand( 441gat, 528gat)
576gat = nand( 444gat, 531gat)
577gat = nand( 447gat, 531gat)
578gat = nand( 450gat, 534gat)
579gat = nand( 453gat, 534gat)
580gat = nand( 456gat, 537gat)
581gat = nand( 459gat, 537gat)
582gat = nand( 462gat, 540gat)
583gat = nand( 465gat, 540gat)
584gat = nand( 468gat, 543gat)
585gat = nand( 471gat, 543gat)
586gat = nand( 474gat, 546gat)
587gat = nand( 477gat, 546gat)
588gat = nand( 480gat, 549gat)
589gat = nand( 483gat, 549gat)
590gat = nand( 486gat, 552gat)
591gat = nand( 489gat, 552gat)
592gat = nand( 492gat, 555gat)
593gat = nand( 495gat, 555gat)
594gat = nand( 498gat, 558gat)
595gat = nand( 501gat, 558gat)
596gat = nand( 504gat, 561gat)
597gat = nand( 507gat, 561gat)
598gat = nand( 510gat, 564gat)
599gat = nand( 513gat, 564gat)
600gat = nand( 516gat, 567gat)
601gat = nand( 519gat, 567gat)
602gat = nand( 570gat, 571gat)
607gat = nand( 572gat, 573gat)
612gat = nand( 574gat, 575gat)
617gat = nand( 576gat, 577gat)
622gat = nand( 578gat, 579gat)
627gat = nand( 580gat, 581gat)
632gat = nand( 582gat, 583gat)
637gat = nand( 584gat, 585gat)
642gat = nand( 586gat, 587gat)
645gat = nand( 588gat, 589gat)
648gat = nand( 590gat, 591gat)
651gat = nand( 592gat, 593gat)
654gat = nand( 594gat, 595gat)
657gat = nand( 596gat, 597gat)
660gat = nand( 598gat, 599gat)
663gat = nand( 600gat, 601gat)
666gat = nand( 602gat, 607gat)
669gat = nand( 612gat, 617gat)
672gat = nand( 602gat, 612gat)
675gat = nand( 607gat, 617gat)
678gat = nand( 622gat, 627gat)
681gat = nand( 632gat, 637gat)
684gat = nand( 622gat, 632gat)
687gat = nand( 627gat, 637gat)
690gat = nand( 602gat, 666gat)
691gat = nand( 607gat, 666gat)
692gat = nand( 612gat, 669gat)
693gat = nand( 617gat, 669gat)
694gat = nand( 602gat, 672gat)
695gat = nand( 612gat, 672gat)
696gat = nand( 607gat, 675gat)
697gat = nand( 617gat, 675gat)
698gat = nand( 622gat, 678gat)
699gat = nand( 627gat, 678gat)
700gat = nand( 632gat, 681gat)
701gat = nand( 637gat, 681gat)
702gat = nand( 622gat, 684gat)
703gat = nand( 632gat, 684gat)
704gat = nand( 627gat, 687gat)
705gat = nand( 637gat, 687gat)
706gat = nand( 690gat, 691gat)
709gat = nand( 692gat, 693gat)
712gat = nand( 694gat, 695gat)
715gat = nand( 696gat, 697gat)
718gat = nand( 698gat, 699gat)
721gat = nand( 700gat, 701gat)
724gat = nand( 702gat, 703gat)
727gat = nand( 704gat, 705gat)
730gat = nand( 242gat, 718gat)
733gat = nand( 245gat, 721gat)
736gat = nand( 248gat, 724gat)
739gat = nand( 251gat, 727gat)
742gat = nand( 254gat, 706gat)
745gat = nand( 257gat, 709gat)
748gat = nand( 260gat, 712gat)
751gat = nand( 263gat, 715gat)
754gat = nand( 242gat, 730gat)
755gat = nand( 718gat, 730gat)
756gat = nand( 245gat, 733gat)
757gat = nand( 721gat, 733gat)
758gat = nand( 248gat, 736gat)
759gat = nand( 724gat, 736gat)
760gat = nand( 251gat, 739gat)
761gat = nand( 727gat, 739gat)
762gat = nand( 254gat, 742gat)
763gat = nand( 706gat, 742gat)
764gat = nand( 257gat, 745gat)
765gat = nand( 709gat, 745gat)
766gat = nand( 260gat, 748gat)
767gat = nand( 712gat, 748gat)
768gat = nand( 263gat, 751gat)
769gat = nand( 715gat, 751gat)
770gat = nand( 754gat, 755gat)
773gat = nand( 756gat, 757gat)
776gat = nand( 758gat, 759gat)
779gat = nand( 760gat, 761gat)
782gat = nand( 762gat, 763gat)
785gat = nand( 764gat, 765gat)
788gat = nand( 766gat, 767gat)
791gat = nand( 768gat, 769gat)
794gat = nand( 642gat, 770gat)
797gat = nand( 645gat, 773gat)
800gat = nand( 648gat, 776gat)
803gat = nand( 651gat, 779gat)
806gat = nand( 654gat, 782gat)
809gat = nand( 657gat, 785gat)
812gat = nand( 660gat, 788gat)
815gat = nand( 663gat, 791gat)
818gat = nand( 642gat, 794gat)
819gat = nand( 770gat, 794gat)
820gat = nand( 645gat, 797gat)
821gat = nand( 773gat, 797gat)
822gat = nand( 648gat, 800gat)
823gat = nand( 776gat, 800gat)
824gat = nand( 651gat, 803gat)
825gat = nand( 779gat, 803gat)
826gat = nand( 654gat, 806gat)
827gat = nand( 782gat, 806gat)
828gat = nand( 657gat, 809gat)
829gat = nand( 785gat, 809gat)
830gat = nand( 660gat, 812gat)
831gat = nand( 788gat, 812gat)
832gat = nand( 663gat, 815gat)
833gat = nand( 791gat, 815gat)
834gat = nand( 818gat, 819gat)
847gat = nand( 820gat, 821gat)
860gat = nand( 822gat, 823gat)
873gat = nand( 824gat, 825gat)
886gat = nand( 828gat, 829gat)
899gat = nand( 832gat, 833gat)
912gat = nand( 830gat, 831gat)
925gat = nand( 826gat, 827gat)
938gat = not( 834gat)
939gat = not( 847gat)
940gat = not( 860gat)
941gat = not( 834gat)
942gat = not( 847gat)
943gat = not( 873gat)
944gat = not( 834gat)
945gat = not( 860gat)
946gat = not( 873gat)
947gat = not( 847gat)
948gat = not( 860gat)
949gat = not( 873gat)
950gat = not( 886gat)
951gat = not( 899gat)
952gat = not( 886gat)
953gat = not( 912gat)
954gat = not( 925gat)
955gat = not( 899gat)
956gat = not( 925gat)
957gat = not( 912gat)
958gat = not( 925gat)
959gat = not( 886gat)
960gat = not( 912gat)
961gat = not( 925gat)
962gat = not( 886gat)
963gat = not( 899gat)
964gat = not( 925gat)
965gat = not( 912gat)
966gat = not( 899gat)
967gat = not( 886gat)
968gat = not( 912gat)
969gat = not( 899gat)
970gat = not( 847gat)
971gat = not( 873gat)
972gat = not( 847gat)
973gat = not( 860gat)
974gat = not( 834gat)
975gat = not( 873gat)
976gat = not( 834gat)
977gat = not( 860gat)
978gat = and( 938gat, 939gat, 940gat, 873gat)
979gat = and( 941gat, 942gat, 860gat, 943gat)
980gat = and( 944gat, 847gat, 945gat, 946gat)
981gat = and( 834gat, 947gat, 948gat, 949gat)
982gat = and( 958gat, 959gat, 960gat, 899gat)
983gat = and( 961gat, 962gat, 912gat, 963gat)
984gat = and( 964gat, 886gat, 965gat, 966gat)
985gat = and( 925gat, 967gat, 968gat, 969gat)
986gat = or( 978gat, 979gat, 980gat, 981gat)
991gat = or( 982gat, 983gat, 984gat, 985gat)
996gat = and( 925gat, 950gat, 912gat, 951gat, 986gat)
1001gat = and( 925gat, 952gat, 953gat, 899gat, 986gat)
1006gat = and( 954gat, 886gat, 912gat, 955gat, 986gat)
1011gat = and( 956gat, 886gat, 957gat, 899gat, 986gat)
1016gat = and( 834gat, 970gat, 860gat, 971gat, 991gat)
1021gat = and( 834gat, 972gat, 973gat, 873gat, 991gat)
1026gat = and( 974gat, 847gat, 860gat, 975gat, 991gat)
1031gat = and( 976gat, 847gat, 977gat, 873gat, 991gat)
1036gat = and( 834gat, 996gat)
1039gat = and( 847gat, 996gat)
1042gat = and( 860gat, 996gat)
1045gat = and( 873gat, 996gat)
1048gat = and( 834gat, 1001gat)
1051gat = and( 847gat, 1001gat)
1054gat = and( 860gat, 1001gat)
1057gat = and( 873gat, 1001gat)
1060gat = and( 834gat, 1006gat)
1063gat = and( 847gat, 1006gat)
1066gat = and( 860gat, 1006gat)
1069gat = and( 873gat, 1006gat)
1072gat = and( 834gat, 1011gat)
1075gat = and( 847gat, 1011gat)
1078gat = and( 860gat, 1011gat)
1081gat = and( 873gat, 1011gat)
1084gat = and( 925gat, 1016gat)
1087gat = and( 886gat, 1016gat)
1090gat = and( 912gat, 1016gat)
1093gat = and( 899gat, 1016gat)
1096gat = and( 925gat, 1021gat)
1099gat = and( 886gat, 1021gat)
1102gat = and( 912gat, 1021gat)
1105gat = and( 899gat, 1021gat)
1108gat = and( 925gat, 1026gat)
1111gat = and( 886gat, 1026gat)
1114gat = and( 912gat, 1026gat)
1117gat = and( 899gat, 1026gat)
1120gat = and( 925gat, 1031gat)
1123gat = and( 886gat, 1031gat)
1126gat = and( 912gat, 1031gat)
1129gat = and( 899gat, 1031gat)
1132gat = nand( 1gat, 1036gat)
1135gat = nand( 8gat, 1039gat)
1138gat = nand( 15gat, 1042gat)
1141gat = nand( 22gat, 1045gat)
1144gat = nand( 29gat, 1048gat)
1147gat = nand( 36gat, 1051gat)
1150gat = nand( 43gat, 1054gat)
1153gat = nand( 50gat, 1057gat)
1156gat = nand( 57gat, 1060gat)
1159gat = nand( 64gat, 1063gat)
1162gat = nand( 71gat, 1066gat)
1165gat = nand( 78gat, 1069gat)
1168gat = nand( 85gat, 1072gat)
1171gat = nand( 92gat, 1075gat)
1174gat = nand( 99gat, 1078gat)
1177gat = nand( 106gat, 1081gat)
1180gat = nand( 113gat, 1084gat)
1183gat = nand( 120gat, 1087gat)
1186gat = nand( 127gat, 1090gat)
1189gat = nand( 134gat, 1093gat)
1192gat = nand( 141gat, 1096gat)
1195gat = nand( 148gat, 1099gat)
1198gat = nand( 155gat, 1102gat)
1201gat = nand( 162gat, 1105gat)
1204gat = nand( 169gat, 1108gat)
1207gat = nand( 176gat, 1111gat)
1210gat = nand( 183gat, 1114gat)
1213gat = nand( 190gat, 1117gat)
1216gat = nand( 197gat, 1120gat)
1219gat = nand( 204gat, 1123gat)
1222gat = nand( 211gat, 1126gat)
1225gat = nand( 218gat, 1129gat)
1228gat = nand( 1gat, 1132gat)
1229gat = nand( 1036gat, 1132gat)
1230gat = nand( 8gat, 1135gat)
1231gat = nand( 1039gat, 1135gat)
1232gat = nand( 15gat, 1138gat)
1233gat = nand( 1042gat, 1138gat)
1234gat = nand( 22gat, 1141gat)
1235gat = nand( 1045gat, 1141gat)
1236gat = nand( 29gat, 1144gat)
1237gat = nand( 1048gat, 1144gat)
1238gat = nand( 36gat, 1147gat)
1239gat = nand( 1051gat, 1147gat)
1240gat = nand( 43gat, 1150gat)
1241gat = nand( 1054gat, 1150gat)
1242gat = nand( 50gat, 1153gat)
1243gat = nand( 1057gat, 1153gat)
1244gat = nand( 57gat, 1156gat)
1245gat = nand( 1060gat, 1156gat)
1246gat = nand( 64gat, 1159gat)
1247gat = nand( 1063gat, 1159gat)
1248gat = nand( 71gat, 1162gat)
1249gat = nand( 1066gat, 1162gat)
1250gat = nand( 78gat, 1165gat)
1251gat = nand( 1069gat, 1165gat)
1252gat = nand( 85gat, 1168gat)
1253gat = nand( 1072gat, 1168gat)
1254gat = nand( 92gat, 1171gat)
1255gat = nand( 1075gat, 1171gat)
1256gat = nand( 99gat, 1174gat)
1257gat = nand( 1078gat, 1174gat)
1258gat = nand( 106gat, 1177gat)
1259gat = nand( 1081gat, 1177gat)
1260gat = nand( 113gat, 1180gat)
1261gat = nand( 1084gat, 1180gat)
1262gat = nand( 120gat, 1183gat)
1263gat = nand( 1087gat, 1183gat)
1264gat = nand( 127gat, 1186gat)
1265gat = nand( 1090gat, 1186gat)
1266gat = nand( 134gat, 1189gat)
1267gat = nand( 1093gat, 1189gat)
1268gat = nand( 141gat, 1192gat)
1269gat = nand( 1096gat, 1192gat)
1270gat = nand( 148gat, 1195gat)
1271gat = nand( 1099gat, 1195gat)
1272gat = nand( 155gat, 1198gat)
1273gat = nand( 1102gat, 1198gat)
1274gat = nand( 162gat, 1201gat)
1275gat = nand( 1105gat, 1201gat)
1276gat = nand( 169gat, 1204gat)
1277gat = nand( 1108gat, 1204gat)
1278gat = nand( 176gat, 1207gat)
1279gat = nand( 1111gat, 1207gat)
1280gat = nand( 183gat, 1210gat)
1281gat = nand( 1114gat, 1210gat)
1282gat = nand( 190gat, 1213gat)
1283gat = nand( 1117gat, 1213gat)
1284gat = nand( 197gat, 1216gat)
1285gat = nand( 1120gat, 1216gat)
1286gat = nand( 204gat, 1219gat)
1287gat = nand( 1123gat, 1219gat)
1288gat = nand( 211gat, 1222gat)
1289gat = nand( 1126gat, 1222gat)
1290gat = nand( 218gat, 1225gat)
1291gat = nand( 1129gat, 1225gat)
1292gat = nand( 1228gat, 1229gat)
1293gat = nand( 1230gat, 1231gat)
1294gat = nand( 1232gat, 1233gat)
1295gat = nand( 1234gat, 1235gat)
1296gat = nand( 1236gat, 1237gat)
1297gat = nand( 1238gat, 1239gat)
1298gat = nand( 1240gat, 1241gat)
1299gat = nand( 1242gat, 1243gat)
1300gat = nand( 1244gat, 1245gat)
1301gat = nand( 1246gat, 1247gat)
1302gat = nand( 1248gat, 1249gat)
1303gat = nand( 1250gat, 1251gat)
1304gat = nand( 1252gat, 1253gat)
1305gat = nand( 1254gat, 1255gat)
1306gat = nand( 1256gat, 1257gat)
1307gat = nand( 1258gat, 1259gat)
1308gat = nand( 1260gat, 1261gat)
1309gat = nand( 1262gat, 1263gat)
1310gat = nand( 1264gat, 1265gat)
1311gat = nand( 1266gat, 1267gat)
1312gat = nand( 1268gat, 1269gat)
1313gat = nand( 1270gat, 1271gat)
1314gat = nand( 1272gat, 1273gat)
1315gat = nand( 1274gat, 1275gat)
1316gat = nand( 1276gat, 1277gat)
1317gat = nand( 1278gat, 1279gat)
1318gat = nand( 1280gat, 1281gat)
1319gat = nand( 1282gat, 1283gat)
1320gat = nand( 1284gat, 1285gat)
1321gat = nand( 1286gat, 1287gat)
1322gat = nand( 1288gat, 1289gat)
1323gat = nand( 1290gat, 1291gat)
1324gat = buff( 1292gat)
1325gat = buff( 1293gat)
1326gat = buff( 1294gat)
1327gat = buff( 1295gat)
1328gat = buff( 1296gat)
1329gat = buff( 1297gat)
1330gat = buff( 1298gat)
1331gat = buff( 1299gat)
1332gat = buff( 1300gat)
1333gat = buff( 1301gat)
1334gat = buff( 1302gat)
1335gat = buff( 1303gat)
1336gat = buff( 1304gat)
1337gat = buff( 1305gat)
1338gat = buff( 1306gat)
1339gat = buff( 1307gat)
1340gat = buff( 1308gat)
1341gat = buff( 1309gat)
1342gat = buff( 1310gat)
1343gat = buff( 1311gat)
1344gat = buff( 1312gat)
1345gat = buff( 1313gat)
1346gat = buff( 1314gat)
1347gat = buff( 1315gat)
1348gat = buff( 1316gat)
1349gat = buff( 1317gat)
1350gat = buff( 1318gat)
1351gat = buff( 1319gat)
1352gat = buff( 1320gat)
1353gat = buff( 1321gat)
1354gat = buff( 1322gat)
1355gat = buff( 1323gat)