.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 ph0 [4] [5] [224] pg0
0000 1
.names nv0 nx0 [3] [218] ph0
0011 1
.names [4] [5] [224] pi0
1-- 1
-1- 1
--1 1
.names [9] [52] [198] [202] nc1
---1 1
001- 1
.names no0 [38] [207] nv0
1-- 1
-1- 1
--1 1
.names pp pf0 [9] [52] nm0
--1- 1
---1 1
01-- 1
.names ns0 [26] [212] nx0
1-- 1
-1- 1
--1 1
.names nq0 [11] [217] [3]
000 1
.names [10] [32] [208] [212] nf1
---1 1
001- 1
.names px ph [8] [22] nq0
--1- 1
---1 1
10-- 1
.names pc0 pd0 pm pn [9]
1-0- 1
-1-0 1
.names pb0 pl [12] [44] no0
--1- 1
---1 1
10-- 1
.names pt pd [10] [32] ns0
--1- 1
---1 1
10-- 1
.names pu pv pe pf [8]
1-0- 1
-1-0 1
.names py pz pi pj [12]
1-0- 1
-1-0 1
.names pq pr pa pb [10]
1-0- 1
-1-0 1
.names nc1 nv0 nx0 [3] [4]
1001 1
.names nx0 [3] [38] [207] [5]
011- 1
01-1 1
.names pw pg [8] [213] [11]
0-01 1
-101 1
.names pw pg [22]
10 1
.names ps pc [10] [208] [26]
0-01 1
-101 1
.names ps pc [32]
10 1
.names pa0 pk [12] [203] [38]
0-01 1
-101 1
.names pa0 pk [44]
10 1
.names pe0 po [9] [198] [48]
0-01 1
-101 1
.names pe0 po [52]
10 1
.names pf0 pp [198]
01 1
.names pc0 pd0 pm pn [201]
0-1- 1
00-1 1
-011 1
.names pe0 po [9] [201] [202]
---1 1
010- 1
.names pl pb0 [203]
10 1
.names py pz pi pj [206]
0-1- 1
00-1 1
-011 1
.names pa0 pk [12] [206] [207]
---1 1
010- 1
.names pd pt [208]
10 1
.names pq pr pa pb [211]
0-1- 1
00-1 1
-011 1
.names ps pc [10] [211] [212]
---1 1
010- 1
.names ph px [213]
10 1
.names pu pv pe pf [216]
0-1- 1
00-1 1
-011 1
.names pw pg [8] [216] [217]
---1 1
010- 1
.names nm0 [48] [202] [218]
000 1
.names nf1 ns0 [11] [217] [224]
1--- 1
001- 1
00-1 1
.end