.model top
.inputs pp pq pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pa1 pa0 pb0 pc1 pr pb1 pc0 ps pd0 pt pd1 pe0 pu pf0 pv pg0 pw ph0 px \
pi0 py pj0 pz pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0 py0 pz0
.names pp pq pl pm pn po pa1
111000 1
.names [63] [902] pa0
1- 1
-1 1
.names pp pq pk pl pm pn po pb0
1100001 1
.names pp pq pl pm pn po pc1
110111 1
001000 1
.names [88] [48] [65] [915] [927] [932] pr
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pj nl5 pb1
11 1
.names pp pq pl pm pn po pc0
010010 1
.names pa1 nj7 nd5 [49] ps
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [68] [953] [971] [972] pd0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po pd1
011110 1
.names [994] [995] [1009] [1010] [1011] pe0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pl pm pn po pu
111011 1
011101 1
010110 1
011010 1
010010 1
100100 1
.names [64] [67] [1029] [1030] [1042] [1043] pf0
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [63] [75] nj6 [40] nk6 [902] pv
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [49] [48] [67] [953] [1029] [1030] [1053] pg0
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names [994] [995] [1063] [1064] [1073] [1074] ph0
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [68] [1063] [1064] [1086] [1087] pi0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [63] [75] [40] nk6 [902] py
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [51] [99] [59] [113] [112] [936] [1090] pj0
------1 1
1--1--- 1
--1-1-- 1
-1---1- 1
.names pp pq pl pm pn po pz
100001 1
000001 1
.names pj pj0 [63] nl5 [1094] pk0
-1--- 1
--1-- 1
----1 1
1--1- 1
.names [65] [915] [1096] [1097] [1099] pl0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pb pf [103] [919] [1091] [1101] [1103] pm0
---1--- 1
----1-- 1
-----1- 1
------1 1
011---- 1
.names [70] [65] [915] [1096] [1097] pn0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pj pj0 [63] nl5 [45] [1108] [1109] po0
-1----- 1
--1---- 1
----1-- 1
-----1- 1
------1 1
1--1--- 1
.names [65] [40] [103] [915] [918] [919] [1111] pp0
1------ 1
-1----- 1
---1--- 1
-----1- 1
------1 1
--1-1-- 1
.names [63] [40] nk6 [902] [1118] pq0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [48] [1035] [1036] [1037] [1121] pr0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names nh6 [65] [40] [59] [915] [924] [1112] ps0
1------ 1
-1----- 1
--1---- 1
----1-- 1
------1 1
---1-1- 1
.names pe [103] [121] [247] [1104] [1108] [1127] pt0
----1-- 1
-----1- 1
------1 1
1--1--- 1
111---- 1
.names [65] [915] [927] [1128] pu0
1--- 1
-1-- 1
--1- 1
---1 1
.names pb pf [40] [103] [919] [1129] [1133] pv0
--1---- 1
----1-- 1
-----1- 1
------1 1
01-1--- 1
.names pe [103] [121] [247] [1104] [1134] [1135] pw0
----1-- 1
-----1- 1
------1 1
1--1--- 1
111---- 1
.names pe [103] [121] [247] [1104] [1134] [1137] px0
----1-- 1
-----1- 1
------1 1
1--1--- 1
111---- 1
.names [40] [72] [103] [918] [919] [1129] [1140] py0
1------ 1
-1----- 1
----1-- 1
-----1- 1
------1 1
--11--- 1
.names pp pq pl pm pn po pz0
011000 1
.names pp pq pg pl pm pn po [63]
1110011 1
0010101 1
.names [48] [65] [915] [927] nw
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pf pl pm pn po [88]
00-0010 1
1010010 1
1000010 1
.names pp pq ph pl pm pn po nl5
0010111 1
.names pp pq pe pf pm pn po nj7
1100000 1
.names pp pq pl pm pn po nd5
000000 1
.names pq pn [99] [59] [113] [112] [936] [49]
---1-1- 1
--1---1 1
01--1-- 1
.names pp pq pl pm pn po nh6
101000 1
.names pq pn [51]
01 1
.names nn4 [59] [924] [956] [959] [960] [68]
1----- 1
----1- 1
-----1 1
-11--- 1
-1-1-- 1
.names pp pq pg pl pm pn po [75]
11-1011 1
1111001 1
.names pb pe pf [103] [247] [904] [48]
-----1 1
-1--1- 1
11-1-- 1
-101-- 1
.names pp pq pl pm pn no5
10110 1
.names pq pl pm pn po nv4
01100 1
.names pp pq pl pm pn po [81]
110101 1
111100 1
000100 1
.names pp pq pl pm pn po [80]
111011 1
011101 1
011010 1
.names [1035] [1036] [1037] [64]
1-- 1
-1- 1
--1 1
.names pp pq pl pm pn po nj6
000010 1
.names pp pq pg pl pm pn po [85]
1000101 1
1100110 1
.names pp pq pg pl pn po ne5
110011 1
.names pp pq pl pm pn po nu6
011010 1
.names pp pq pi pl pm pn po nr4
1010111 1
.names pp pq pg pl pm pn po [77]
00--011 1
10-0100 1
1000101 1
1100110 1
.names pb pf [103] [919] [1091] [70]
---1- 1
----1 1
011-- 1
.names pp pq pg pl pm pn po [65]
00-0011 1
00-1101 1
1000101 1
1100110 1
.names pd nu6 [106] [97] [116] [1046] [40]
-1---- 1
-----1 1
1-1--- 1
0-1--- 1
---11- 1
.names pp pq pf pl pm pn po nn6
1000010 1
.names pp pq pl pm pn po [82]
011101 1
011001 1
.names pp pq pl pm pn po nk6
011101 1
.names pb pe pf [103] [247] [1104] [1134] [72]
-----1- 1
------1 1
-1--1-- 1
11-1--- 1
-101--- 1
.names pp pq pi pl pm pn po [106]
1100010 1
.names pp pq pl pm pn po nn4
101001 1
.names pp pq pl pm pn po [103]
110000 1
.names pq pa pl pn po [99]
01101 1
.names pp pq pi pl pm pn po [59]
1000111 1
.names nr4 nn6 [97] [982] [983] [986] [67]
1----- 1
-1---- 1
---11- 1
--1--1 1
.names pb pe pf [103] [247] [1104] [45]
-----1 1
-1--1- 1
11-1-- 1
-101-- 1
.names pp ph pi pl pm po [113]
1--101 1
00-011 1
-00011 1
.names pb pc pe pf [112]
1-0- 1
-00- 1
--00 1
.names pp pq pg pl pm pn po [97]
1010101 1
.names pc pi pk [116]
1-- 1
-1- 1
--1 1
.names pb pf [121]
1- 1
-0 1
.names nw pt
1 1
.names nw pw
1 1
.names nw px
1 1
.names pp pq pl pm pn po [150]
111010 1
.names pp pq pl pm pn po [159]
001010 1
.names pp pq pl pm pn [181]
01101 1
.names pp pq pg pl pm pn po [184]
0000101 1
.names pp pq pa pl pm pn po [247]
0011001 1
.names pp pq pk pl pm pn po [902]
01-0010 1
1100001 1
.names pp pq pl pm pn po [904]
010001 1
100001 1
000001 1
.names pp pq pi pl pm pn po [915]
11-0101 1
01-1001 1
11-1110 1
00-1110 1
11-1100 1
00-0100 1
1110010 1
.names pf pb [918]
10 1
.names pp pq pg pl pm pn po [919]
01-0011 1
1101001 1
.names pb pc pe pf ph pj [924]
1-1-11 1
-01-11 1
--1011 1
.names pp pq pc pl pm pn po [925]
10-1000 1
10-0000 1
0110000 1
.names nn4 [103] [59] [918] [919] [924] [925] [927]
1------ 1
----1-- 1
------1 1
-1-1--- 1
--1--1- 1
.names pp pq pg pl pm pn po [932]
1110011 1
0010101 1
1111001 1
.names pp pe pf pm [936]
0000 1
.names pp pq pl pm pn po [948]
001111 1
111100 1
.names pp pq pa pl pm pn po [949]
0-01-01 1
01-1100 1
.names nj7 no5 [82] [103] [918] [948] [949] [953]
1------ 1
-1----- 1
--1---- 1
-----1- 1
------1 1
---11-- 1
.names pb pc pf ph [956]
0111 1
.names pp pq pl pm pn po [959]
-01100 1
110100 1
.names pp pq pl pm pn po [960]
001110 1
001010 1
.names pp pq pk pl pm pn po [971]
-0-0011 1
10--110 1
01-0101 1
01-1110 1
1110001 1
.names pp pq pg pl pm pn po [972]
11-1011 1
00-1101 1
11-1000 1
01-1000 1
10-1000 1
00-1000 1
1111001 1
1101001 1
.names pe ph pj pn [982]
1101 1
.names pp pb pc pf pl pm po [983]
11--011 1
1-0-011 1
1--0011 1
.names pc pi pk [986]
000 1
.names pp pq pk pl pm pn po [994]
01-01-0 1
01-1101 1
01-1110 1
00-1110 1
10-1010 1
1110001 1
.names nr4 [77] nn6 [97] [982] [983] [986] [995]
1------ 1
-1----- 1
--1---- 1
----11- 1
---1--1 1
.names pp pq ph pl pm pn po [1000]
11-1000 1
0010111 1
.names pp pq pg pl pm pn po [1001]
111011- 1
1100-11 1
.names pp pq pg pl pm pn po [1008]
10-110- 1
11-1011 1
00-0110 1
1101001 1
.names pd [63] [106] [181] [1009]
-1-- 1
---1 1
0-1- 1
.names pb pc pf ph nv4 [81] [59] [1010]
----1-- 1
-----1- 1
0111--1 1
.names [184] [1000] [1001] [1008] [1011]
1--- 1
-1-- 1
--1- 1
---1 1
.names pe pf pm [1019]
010 1
.names pb pe pf [1021]
101 1
.names pp pq pl pm pn po [1027]
001101 1
111110 1
110100 1
001000 1
.names pp pq pi pl pm pn po [1028]
10-1001 1
10-0110 1
11-1010 1
1110010 1
.names pc pd pi pk [106] [97] [1027] [1029]
------1 1
-1--1-- 1
1----1- 1
--1--1- 1
---1-1- 1
.names [184] [1000] [1001] [1028] [1030]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pf pl pm pn po [1035]
11-0101 1
1010010 1
.names pp pq pk pl pm pn po [1036]
01-0011 1
01-0010 1
1100001 1
.names pp pq pg pl pm pn po [1037]
01-0110 1
00-0010 1
1111001 1
1101001 1
.names pp pq pl pm pn po [1042]
00-011 1
-00011 1
010101 1
011110 1
000110 1
.names [103] [99] [59] [159] [956] [1019] [1021] [1043]
---1--- 1
--1-1-- 1
-1---1- 1
1-----1 1
.names pp pq pl pm pn po [1046]
010110 1
100100 1
.names pp pq pl pm pn po [1051]
1-1101 1
101010 1
.names pd [85] [106] [181] [1051] [1053]
-1--- 1
---1- 1
----1 1
0-1-- 1
.names pp pq pl pm pn po [1056]
001101 1
101000 1
.names pp pq pl pm pn po [1059]
011100 1
100000 1
.names pp pq pf pl pm pn po [1062]
-0-0011 1
1--1101 1
01-0011 1
1010010 1
.names pe pf pm [99] [150] [1059] [1063]
----1- 1
-----1 1
0101-- 1
.names pb pe pf [103] [1056] [1062] [1064]
----1- 1
-----1 1
1011-- 1
.names pp pq pl pm pn po [1065]
101001 1
011000 1
.names pp pq pc pl pm pn po [1069]
01-0101 1
0110000 1
.names pp pq pl pm pn po [1071]
011001 1
010001 1
100001 1
010010 1
.names pc pi pj pc1 nl5 ne5 [1065] [1073]
---1--- 1
------1 1
--1-1-- 1
00---1- 1
.names pd [106] [97] [116] [1069] [1071] [1074]
----1- 1
-----1 1
11---- 1
--11-- 1
.names pp pq pl pm pn po [1078]
000110 1
000000 1
.names pp pq pc pl pm pn po [1081]
00-0100 1
0-00000 1
.names pp pq pi pl pm pn po [1084]
11-1110 1
01-1010 1
00-0010 1
1010111 1
.names pb pf [103] [1078] [1084] [1086]
---1- 1
----1 1
011-- 1
.names pd pz [77] [106] [1081] [1087]
-1--- 1
--1-- 1
----1 1
0--1- 1
.names pp pq pl pm pn po [1090]
001111 1
000000 1
.names pp pq pg pl pm pn po [1091]
11-0111 1
00-1000 1
1111001 1
.names pd1 [65] [103] [915] [918] [919] [1091] [1094]
1------ 1
-1----- 1
---1--- 1
-----1- 1
------1 1
--1-1-- 1
.names pp pq pf pl pm pn po [1096]
01-1110 1
00-0010 1
11-1000 1
1010010 1
1000010 1
.names pj [63] nl5 [902] [1065] [1097]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names pp pq pc pl pm pn po [1099]
10-0001 1
00-0001 1
10-0000 1
0110000 1
.names pp pq pc pl pm pn po [1101]
01-1001 1
00-0100 1
10-0000 1
0110000 1
.names pb pe pf [65] [103] [247] [904] [1103]
---1--- 1
------1 1
-1---1- 1
11--1-- 1
-10-1-- 1
.names pp pq pi pl pm pn po [1104]
11-1100 1
1110010 1
.names pp pq pk pl pm pn po [1105]
00-0010 1
1100001 1
.names pp pq pc pl pm pn po [1106]
00-0001 1
0110000 1
.names nn4 [59] [924] [1105] [1106] [1108]
1---- 1
---1- 1
----1 1
-11-- 1
.names pp pq pl pm pn po [1109]
110101 1
011000 1
.names pp pq pg pl pm pn po [1111]
11-1011 1
1110011 1
0010101 1
1111001 1
.names pb pf [103] [919] [1111] [1112]
---1- 1
----1 1
011-- 1
.names pp pq pf pl pm pn po [1116]
10-0001 1
00-0001 1
00-0010 1
10-1000 1
1010010 1
1000010 1
.names [65] [103] [59] [915] [918] [924] [1116] [1118]
1------ 1
---1--- 1
------1 1
-1--1-- 1
--1--1- 1
.names pd [80] [65] nn6 [106] [1121]
-1--- 1
--1-- 1
---1- 1
0---1 1
.names pp pq pl pm pn po [1125]
011101 1
011001 1
100100 1
000100 1
.names pd [63] [106] [97] [116] [1125] [1127]
-1---- 1
-----1 1
1-1--- 1
---11- 1
.names pp pq pg pl pm pn po [1128]
11-1011 1
1110011 1
0010101 1
1111001 1
.names pp pq pl pm pn po [1129]
111110 1
001110 1
.names pp pq pg pl pm pn po [1133]
01-1101 1
01-1001 1
10-0001 1
00-0001 1
1110011 1
0010101 1
1000101 1
1100110 1
.names pp pq pl pm pn po [1134]
000011 1
001101 1
.names pp pq pl pm pn po [1135]
011101 1
010001 1
.names pp pq pl pm pn po [1136]
111011 1
010001 1
.names pd nu6 [106] [97] [116] [1046] [1136] [1137]
-1----- 1
-----1- 1
------1 1
1-1---- 1
0-1---- 1
---11-- 1
.names pp pq pf pl pm pn po [1140]
00-0001 1
01-0010 1
1010010 1
1000010 1
.end