.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 [77] [78] [287] pm0
1-- 1
-1- 1
--1 1
.names [33] [74] [290] pn0
100 1
.names [24] [35] [34] po0
111 1
.names [28] [37] [36] pp0
111 1
.names [25] [39] [38] pq0
111 1
.names [22] [41] [40] pr0
111 1
.names [29] [43] [42] ps0
111 1
.names [45] [26] [49] pt0
11- 1
1-1 1
.names [48] [310] [311] pu0
1-- 1
-11 1
.names pq pr [32]
10 1
.names pr pu [291] [33]
--1 1
00- 1
.names pq pw [19] [24]
0-- 1
-11 1
-00 1
.names pq ps pk [35]
1-- 1
-1- 1
--1 1
.names pq ps pc [34]
1-- 1
-0- 1
--1 1
.names pq px [21] [28]
0-- 1
-11 1
-00 1
.names pq ps pl [37]
1-- 1
-1- 1
--1 1
.names pq ps pd [36]
1-- 1
-0- 1
--1 1
.names pq py [18] [25]
0-- 1
-11 1
-00 1
.names pq ps pm [39]
1-- 1
-1- 1
--1 1
.names pq ps pe [38]
1-- 1
-0- 1
--1 1
.names pq pz [27] [22]
0-- 1
-11 1
-00 1
.names pq ps pn [41]
1-- 1
-1- 1
--1 1
.names pq ps pf [40]
1-- 1
-0- 1
--1 1
.names pa0 pq [20] [29]
-0- 1
1-1 1
0-0 1
.names pq ps po [43]
1-- 1
-1- 1
--1 1
.names pq ps pg [42]
1-- 1
-0- 1
--1 1
.names [47] [46] [45]
11 1
.names pw [19] [21]
1- 1
-1 1
.names pw px [19] [18]
1-- 1
-1- 1
--1 1
.names pr pu pv [19]
1-- 1
-1- 1
--1 1
.names py [18] [27]
1- 1
-1 1
.names py pz [18] [20]
1-- 1
-1- 1
--1 1
.names [20] [303] [304] [26]
--1 1
01- 1
.names pq ps ph [47]
1-- 1
-0- 1
--1 1
.names pp pq ps [46]
1-- 1
-1- 1
--1 1
.names pc0 pl0
1 1
.names pq pr pc0 [48]
111 1
.names pb0 [20] [49]
11 1
.names pq ps pj [73]
000 1
.names pq ps pb [74]
010 1
.names pq ps pi [77]
001 1
.names pq ps pa [78]
011 1
.names pq pr pu [287]
111 1
100 1
.names pv pu [289]
10 1
.names [32] [73] [289] [290]
-1- 1
1-1 1
.names pv pq [291]
1- 1
-0 1
.names pb0 pa0 [303]
00 1
.names pa0 pq pb0 [304]
-0- 1
1-1 1
.names pb0 pa0 [305]
00 1
.names pv pu [306]
01 1
.names pz py [308]
00 1
.names pw px [306] [310]
001 1
.names [32] [305] [308] [311]
111 1
.end