.model top
.inputs pp pa0 pq pb0 pr pc0 ps pu pv pw px py pz pa pb pc pd pe pf pg ph pi \
pj pk pl pm pn po
.outputs pd0 pe0 pf0 pg0 ph0 pi0 pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 \
pu0
.names pc0 pu pi pd0
00- 1
1-0 1
.names pc0 pv pj pe0
00- 1
1-0 1
.names pc0 pw pk pf0
00- 1
1-0 1
.names pc0 px pl pg0
00- 1
1-0 1
.names pc0 py pm ph0
00- 1
1-0 1
.names pc0 pz pn pi0
00- 1
1-0 1
.names pa0 pc0 po pj0
00- 1
-10 1
.names pp pb0 pc0 pk0
0-1 1
-00 1
.names pq pr pu [288] pm0
---1 1
111- 1
100- 1
.names [33] [72] [73] [74] pn0
1000 1
.names pq pw [19] [294] po0
0--1 1
-111 1
-001 1
.names pq px [21] [296] pp0
0--1 1
-111 1
-001 1
.names [25] [298] pq0
11 1
.names pq pz [27] [300] pr0
0--1 1
-111 1
-001 1
.names pa0 pq [20] [302] ps0
-0-1 1
1-11 1
0-01 1
.names [45] [44] pt0
11 1
.names [48] [308] [309] [310] pu0
1--- 1
-111 1
.names pq pr pu pv [33]
0--- 1
---1 1
-00- 1
.names pq px py [21] [25]
0--- 1
-11- 1
--11 1
-000 1
.names pp pq ps ph [45]
-1-- 1
1-0- 1
1--1 1
--11 1
.names pa0 pq pb0 [20] [44]
-0-- 1
1-1- 1
--11 1
0-00 1
.names pr pu pv pw [21]
1--- 1
-1-- 1
--1- 1
---1 1
.names pr pu pv [19]
1-- 1
-1- 1
--1 1
.names px py [21] [27]
1-- 1
-1- 1
--1 1
.names px py pz [21] [20]
1--- 1
-1-- 1
--1- 1
---1 1
.names pc0 pl0
1 1
.names pq pr pc0 [48]
111 1
.names pq pr pu pv [72]
1001 1
.names pq ps pj [73]
000 1
.names pq ps pb [74]
010 1
.names pq ps pa pi [288]
011- 1
00-1 1
.names pq ps pc pk [294]
1--- 1
-11- 1
-0-1 1
--11 1
.names pq ps pd pl [296]
1--- 1
-11- 1
-0-1 1
--11 1
.names pq ps pe pm [298]
1--- 1
-11- 1
-0-1 1
--11 1
.names pq ps pf pn [300]
1--- 1
-11- 1
-0-1 1
--11 1
.names pq ps pg po [302]
1--- 1
-11- 1
-0-1 1
--11 1
.names pz py [308]
00 1
.names pa0 pq pb0 pr [309]
0100 1
.names pu pv pw px [310]
1000 1
.end