.model top
.inputs pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw px py pz pa pb pc \
pd pe pf pg ph pi pj pk pl pm pn po
.outputs ph0 pi0 pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0
.names pq [45] ph0
01 1
10 1
.names pr [18] pi0
01 1
10 1
.names ps [33] pj0
01 1
10 1
.names pt [47] pk0
01 1
10 1
.names pu [29] pl0
01 1
10 1
.names pv [37] pm0
01 1
10 1
.names pw [27] pn0
01 1
10 1
.names px [36] po0
01 1
10 1
.names py [26] pp0
01 1
10 1
.names pz [32] pq0
01 1
10 1
.names pa0 [23] pr0
01 1
10 1
.names pb0 [41] ps0
01 1
10 1
.names pc0 [19] pt0
01 1
10 1
.names pd0 [42] pu0
01 1
10 1
.names pe0 [48] pv0
01 1
10 1
.names pp pf0 pg0 pw0
111 1
001 1
010 1
100 1
.names pq pa nu2 px0
11- 1
1-0 1
-10 1
.names pr pb nt2 nu2
00- 1
0-1 1
-01 1
.names ps pb pc ns2 [18]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pd0 pm pn nh2 [19]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pp pf0 pg0 ng2
00- 1
0-0 1
-00 1
.names ps pc ns2 nt2
00- 1
0-1 1
-01 1
.names pb0 pl nj2 nk2
00- 1
0-1 1
-01 1
.names pa0 pk nk2 nl2
00- 1
0-1 1
-01 1
.names pb0 pk pl nj2 [23]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pe0 po ng2 nh2
00- 1
0-1 1
-01 1
.names pd0 pn nh2 ni2
00- 1
0-1 1
-01 1
.names pc0 pm ni2 nj2
00- 1
0-1 1
-01 1
.names pz pi pj nl2 [26]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names px pg ph nn2 [27]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pv pe pf np2 [29]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pz pj nl2 nm2
00- 1
0-1 1
-01 1
.names pa0 pj pk nk2 [32]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pt pc pd nr2 [33]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pt pd nr2 ns2
00- 1
0-1 1
-01 1
.names py ph pi nm2 [36]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pw pf pg no2 [37]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names py pi nm2 nn2
00- 1
0-1 1
-01 1
.names pu pe nq2 nr2
00- 1
0-1 1
-01 1
.names pw pg no2 np2
00- 1
0-1 1
-01 1
.names pv pf np2 nq2
00- 1
0-1 1
-01 1
.names pc0 pl pm ni2 [41]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pe0 pn po ng2 [42]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names px ph nn2 no2
00- 1
0-1 1
-01 1
.names pr pa pb nt2 [45]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pu pd pe nq2 [47]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names pp pf0 pg0 po [48]
00-1 1
0-01 1
-001 1
11-0 1
1-10 1
-110 1
.end