.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 [18] pi0
01 1
10 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 [47] pk0
01 1
10 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 [37] pm0
01 1
10 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 [36] po0
01 1
10 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 [32] pq0
01 1
10 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 [41] ps0
01 1
10 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 [42] pu0
01 1
10 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 pb pc pd nr2 [18]
1-01-- 1
0-10-- 1
110-1- 1
-1011- 1
001-0- 1
-0100- 1
001--1 1
-010-1 1
0-1-01 1
--1001 1
110--0 1
-101-0 1
1-0-10 1
--0110 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 pa0 pb0 pj pk pl nj2 [32]
1-01-- 1
0-10-- 1
110-1- 1
-1011- 1
001-0- 1
-0100- 1
001--1 1
-010-1 1
0-1-01 1
--1001 1
110--0 1
-101-0 1
1-0-10 1
--0110 1
.names py pz ph pi pj nl2 [36]
1-01-- 1
0-10-- 1
110-1- 1
-1011- 1
001-0- 1
-0100- 1
001--1 1
-010-1 1
0-1-01 1
--1001 1
110--0 1
-101-0 1
1-0-10 1
--0110 1
.names pw px pf pg ph nn2 [37]
1-01-- 1
0-10-- 1
110-1- 1
-1011- 1
001-0- 1
-0100- 1
001--1 1
-010-1 1
0-1-01 1
--1001 1
110--0 1
-101-0 1
1-0-10 1
--0110 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
.names pc0 pd0 pl pm pn nh2 [41]
1-01-- 1
0-10-- 1
110-1- 1
-1011- 1
001-0- 1
-0100- 1
001--1 1
-010-1 1
0-1-01 1
--1001 1
110--0 1
-101-0 1
1-0-10 1
--0110 1
.names pp pe0 pf0 pg0 pn po [42]
-1--01 1
-0--10 1
000-1- 1
00-01- 1
-0001- 1
111-0- 1
11-10- 1
-1110- 1
1-1-01 1
1--101 1
--1101 1
0-0-10 1
0--010 1
--0010 1
.names pu pv pd pe pf np2 [47]
1-01-- 1
0-10-- 1
110-1- 1
-1011- 1
001-0- 1
-0100- 1
001--1 1
-010-1 1
0-1-01 1
--1001 1
110--0 1
-101-0 1
1-0-10 1
--0110 1
.end