.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 pa nu2 ph0
011 1
101 1
110 1
000 1
.names pr ps pt pb pc pd nr2 pi0
11-11-- 1
01-01-- 1
00-10-- 1
10-00-- 1
1111-1- 1
0110-1- 1
1-1111- 1
0-1011- 1
0001-0- 1
1000-0- 1
0-0100- 1
1-0000- 1
0001--1 1
1000--1 1
0-010-1 1
1-000-1 1
00-1-01 1
10-0-01 1
0--1001 1
1--0001 1
1111--0 1
0110--0 1
1-111-0 1
0-101-0 1
11-1-10 1
01-0-10 1
1--1110 1
0--0110 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 pw pe pf pg no2 pl0
11-11-- 1
01-01-- 1
00-10-- 1
10-00-- 1
1111-1- 1
0110-1- 1
1-1111- 1
0-1011- 1
0001-0- 1
1000-0- 1
0-0100- 1
1-0000- 1
0001--1 1
1000--1 1
0-010-1 1
1-000-1 1
00-1-01 1
10-0-01 1
0--1001 1
1--0001 1
1111--0 1
0110--0 1
1-111-0 1
0-101-0 1
11-1-10 1
01-0-10 1
1--1110 1
0--0110 1
.names pv pw pf pg no2 pm0
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 pw pg no2 pn0
011 1
101 1
110 1
000 1
.names px py pz ph pi pj nl2 po0
11-11-- 1
01-01-- 1
00-10-- 1
10-00-- 1
1111-1- 1
0110-1- 1
1-1111- 1
0-1011- 1
0001-0- 1
1000-0- 1
0-0100- 1
1-0000- 1
0001--1 1
1000--1 1
0-010-1 1
1-000-1 1
00-1-01 1
10-0-01 1
0--1001 1
1--0001 1
1111--0 1
0110--0 1
1-111-0 1
0-101-0 1
11-1-10 1
01-0-10 1
1--1110 1
0--0110 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 pc0 pk pl pm ni2 pr0
11-11-- 1
01-01-- 1
00-10-- 1
10-00-- 1
1111-1- 1
0110-1- 1
1-1111- 1
0-1011- 1
0001-0- 1
1000-0- 1
0-0100- 1
1-0000- 1
0001--1 1
1000--1 1
0-010-1 1
1-000-1 1
00-1-01 1
10-0-01 1
0--1001 1
1--0001 1
1111--0 1
0110--0 1
1-111-0 1
0-101-0 1
11-1-10 1
01-0-10 1
1--1110 1
0--0110 1
.names pb0 pc0 pl pm ni2 ps0
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 pc0 pm ni2 pt0
011 1
101 1
110 1
000 1
.names pp pd0 pe0 pf0 pg0 pn po pu0
-11--11 1
-01--01 1
-00--10 1
-10--00 1
1111-1- 1
0000-1- 1
111-11- 1
-11111- 1
000-01- 1
-00001- 1
1011-0- 1
0100-0- 1
101-10- 1
-01110- 1
010-00- 1
-10000- 1
11-1-11 1
11--111 1
-1-1111 1
10-1-01 1
10--101 1
-0-1101 1
00-0-10 1
00--010 1
-0-0010 1
01-0-00 1
01--000 1
-1-0000 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 pa nu2 px0
11- 1
1-0 1
-10 1
.names pr ps pt pb pc pd nr2 nu2
0--0--- 1
00--0-- 1
-0-00-- 1
000--0- 1
-000-0- 1
0-0-00- 1
--0000- 1
000---1 1
-000--1 1
0-0-0-1 1
--000-1 1
00---01 1
-0-0-01 1
0---001 1
---0001 1
.names pa0 pb0 pc0 pk pl pm ni2 nl2
0--0--- 1
00--0-- 1
-0-00-- 1
000--0- 1
-000-0- 1
0-0-00- 1
--0000- 1
000---1 1
-000--1 1
0-0-0-1 1
--000-1 1
00---01 1
-0-0-01 1
0---001 1
---0001 1
.names pp pd0 pe0 pf0 pg0 pn po ni2
-0---0- 1
-00---0 1
--0--00 1
0000--- 1
000-0-- 1
-0000-- 1
0-00-0- 1
0-0-00- 1
--0000- 1
00-0--0 1
00--0-0 1
-0-00-0 1
0--0-00 1
0---000 1
---0000 1
.names pu pv pw pe pf pg no2 nr2
0--0--- 1
00--0-- 1
-0-00-- 1
000--0- 1
-000-0- 1
0-0-00- 1
--0000- 1
000---1 1
-000--1 1
0-0-0-1 1
--000-1 1
00---01 1
-0-0-01 1
0---001 1
---0001 1
.names px py pz ph pi pj nl2 no2
0--0--- 1
00--0-- 1
-0-00-- 1
000--0- 1
-000-0- 1
0-0-00- 1
--0000- 1
000---1 1
-000--1 1
0-0-0-1 1
--000-1 1
00---01 1
-0-0-01 1
0---001 1
---0001 1
.end