.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 pr pa pb nt2 ph0
1111- 1
0101- 1
0010- 1
1000- 1
001-1 1
100-1 1
0-101 1
1-001 1
111-0 1
010-0 1
1-110 1
0-010 1
.names pr pb nt2 pi0
011 1
101 1
110 1
000 1
.names ps pt pc pd nr2 pj0
1111- 1
0101- 1
0010- 1
1000- 1
001-1 1
100-1 1
0-101 1
1-001 1
111-0 1
010-0 1
1-110 1
0-010 1
.names pt pd nr2 pk0
011 1
101 1
110 1
000 1
.names pu pv pe pf np2 pl0
1111- 1
0101- 1
0010- 1
1000- 1
001-1 1
100-1 1
0-101 1
1-001 1
111-0 1
010-0 1
1-110 1
0-010 1
.names pv pf np2 pm0
011 1
101 1
110 1
000 1
.names pw px pg ph nn2 pn0
1111- 1
0101- 1
0010- 1
1000- 1
001-1 1
100-1 1
0-101 1
1-001 1
111-0 1
010-0 1
1-110 1
0-010 1
.names px ph nn2 po0
011 1
101 1
110 1
000 1
.names py pz pi pj nl2 pp0
1111- 1
0101- 1
0010- 1
1000- 1
001-1 1
100-1 1
0-101 1
1-001 1
111-0 1
010-0 1
1-110 1
0-010 1
.names pz pj nl2 pq0
011 1
101 1
110 1
000 1
.names pa0 pb0 pk pl nj2 pr0
1111- 1
0101- 1
0010- 1
1000- 1
001-1 1
100-1 1
0-101 1
1-001 1
111-0 1
010-0 1
1-110 1
0-010 1
.names pb0 pl nj2 ps0
011 1
101 1
110 1
000 1
.names pc0 pd0 pm pn nh2 pt0
1111- 1
0101- 1
0010- 1
1000- 1
001-1 1
100-1 1
0-101 1
1-001 1
111-0 1
010-0 1
1-110 1
0-010 1
.names pd0 pn nh2 pu0
011 1
101 1
110 1
000 1
.names pp pe0 pf0 pg0 po pv0
111-1 1
000-1 1
11-11 1
-1111 1
00-01 1
-0001 1
101-0 1
010-0 1
10-10 1
-0110 1
01-00 1
-1000 1
.names pp pf0 pg0 pw0
111 1
001 1
010 1
100 1
.names pq pr pa pb nt2 px0
1-1-- 1
11-1- 1
-111- 1
11--0 1
-11-0 1
1--10 1
--110 1
.names ps pt pc pd nr2 nt2
0-0-- 1
00-0- 1
-000- 1
00--1 1
-00-1 1
0--01 1
--001 1
.names pa0 pb0 pk pl nj2 nl2
0-0-- 1
00-0- 1
-000- 1
00--1 1
-00-1 1
0--01 1
--001 1
.names pp pe0 pf0 pg0 po nh2
-0--0 1
000-- 1
00-0- 1
-000- 1
0-0-0 1
0--00 1
--000 1
.names pc0 pd0 pm pn nh2 nj2
0-0-- 1
00-0- 1
-000- 1
00--1 1
-00-1 1
0--01 1
--001 1
.names py pz pi pj nl2 nn2
0-0-- 1
00-0- 1
-000- 1
00--1 1
-00-1 1
0--01 1
--001 1
.names pu pv pe pf np2 nr2
0-0-- 1
00-0- 1
-000- 1
00--1 1
-00-1 1
0--01 1
--001 1
.names pw px pg ph nn2 np2
0-0-- 1
00-0- 1
-000- 1
00--1 1
-00-1 1
0--01 1
--001 1
.end