.model top
.inputs pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pw px py pz pa pb pc pd \
pe pf pg ph pi pj pk pl pm pn po
.outputs pg0 ph0 pi0
.names nc1 nm0 nx0 [3] nd1 no0 [224] pg0
--1---0 1
---0--0 1
----010 1
01--0-0 1
.names pb0 pl nx0 [3] [17] [207] [218] ph0
1101001 1
0001001 1
.names nx0 [3] [17] [203] [207] [221] [224] pi0
------1 1
01--1-- 1
01---1- 1
0101--- 1
.names pp pf0 [15] [202] nc1
---1 1
100- 1
.names pp pf0 [15] nm0
--1 1
01- 1
.names pt pd [16] [212] nx0
--1- 1
---1 1
10-- 1
010- 1
.names px ph [14] [217] [3]
1100 1
0000 1
.names pb0 pl [17] [207] nd1
---1 1
010- 1
.names pu pv pw pe pf pg [14]
1--0-- 1
-1--0- 1
--1--0 1
.names pc0 pd0 pe0 pm pn po [15]
1--0-- 1
-1--0- 1
--1--0 1
.names pa0 py pz pi pj pk [17]
-1-0-- 1
--1-0- 1
1----0 1
.names pb0 pl [17] no0
--1 1
10- 1
.names pq pr ps pa pb pc [16]
1--0-- 1
-1--0- 1
--1--0 1
.names pf0 pp [198]
01 1
.names pc0 pd0 pe0 pm pn po [202]
0--1-- 1
00--1- 1
-0-11- 1
000--1 1
-001-1 1
0-0-11 1
--0111 1
.names pl pb0 [203]
10 1
.names pa0 py pz pi pj pk [207]
-0-1-- 1
-00-1- 1
--011- 1
000--1 1
0-01-1 1
00--11 1
0--111 1
.names pq pr ps pa pb pc [212]
0--1-- 1
00--1- 1
-0-11- 1
000--1 1
-001-1 1
0-0-11 1
--0111 1
.names ph px [213]
10 1
.names pu pv pw pe pf pg [217]
0--1-- 1
00--1- 1
-0-11- 1
000--1 1
-001-1 1
0-0-11 1
--0111 1
.names pp pf0 [15] [202] [218]
1100 1
0000 1
.names pb0 pl [15] [17] [198] [202] [207] [221]
11-0-10 1
00-0-10 1
11001-0 1
00001-0 1
.names pt pd [14] [16] [212] [213] [217] [224]
----1-- 1
01-0--- 1
11-00-1 1
00-00-1 1
110001- 1
000001- 1
.end