.model top
.inputs pp pq pr ps pt pu pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pv
.names ps pt nn0 nf0 [113] pv
----1 1
110-- 1
10-0- 1
.names pq pr pi pj pk pl nm0
001--- 1
10-1-- 1
01--1- 1
11---1 1
.names pp pq pr pm pn po nn0
111--- 1
-001-- 1
-10-1- 1
-01--1 1
.names pq pr pe pf pg ph nf0
001--- 1
10-1-- 1
01--1- 1
11---1 1
.names pq pr pa pb pc pd ne0
001--- 1
10-1-- 1
01--1- 1
11---1 1
.names ps pt pu nm0 ne0 [113]
--1-- 1
01-0- 1
00--0 1
.end