.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 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 [47] pk0
01 1
10 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 [27] pn0
01 1
10 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 [32] pq0
01 1
10 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 [19] pt0
01 1
10 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 pp pd0 pe0 pf0 pg0 pm pn po [19]
-1---01- 1
-0---10- 1
-11--0-1 1
--1--011 1
-00--1-0 1
--0--100 1
0000-1-- 1
000-01-- 1
-00001-- 1
1111-0-- 1
111-10-- 1
-11110-- 1
1-11-01- 1
1-1-101- 1
--11101- 1
0-00-10- 1
0-0-010- 1
--00010- 1
11-1-0-1 1
11--10-1 1
-1-110-1 1
1--1-011 1
1---1011 1
---11011 1
00-0-1-0 1
00--01-0 1
-0-001-0 1
0--0-100 1
0---0100 1
---00100 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 px py pz pg ph pi pj nl2 [27]
1--01--- 1
0--10--- 1
11-0-1-- 1
-1-011-- 1
00-1-0-- 1
-0-100-- 1
1110--1- 1
-1101-1- 1
1-10-11- 1
--10111- 1
0001--0- 1
-0010-0- 1
0-01-00- 1
--01000- 1
0001---1 1
-0010--1 1
0-01-0-1 1
--0100-1 1
00-1--01 1
-0-10-01 1
0--1-001 1
---10001 1
1110---0 1
-1101--0 1
1-10-1-0 1
--1011-0 1
11-0--10 1
-1-01-10 1
1--0-110 1
---01110 1
.names pa0 pb0 pc0 pj pk pl pm ni2 [32]
1--01--- 1
0--10--- 1
11-0-1-- 1
-1-011-- 1
00-1-0-- 1
-0-100-- 1
1110--1- 1
-1101-1- 1
1-10-11- 1
--10111- 1
0001--0- 1
-0010-0- 1
0-01-00- 1
--01000- 1
0001---1 1
-0010--1 1
0-01-0-1 1
--0100-1 1
00-1--01 1
-0-10-01 1
0--1-001 1
---10001 1
1110---0 1
-1101--0 1
1-10-1-0 1
--1011-0 1
11-0--10 1
-1-01-10 1
1--0-110 1
---01110 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
.names pr ps pt pa pb pc pd nr2 [45]
1--01--- 1
0--10--- 1
11-0-1-- 1
-1-011-- 1
00-1-0-- 1
-0-100-- 1
1110--1- 1
-1101-1- 1
1-10-11- 1
--10111- 1
0001--0- 1
-0010-0- 1
0-01-00- 1
--01000- 1
0001---1 1
-0010--1 1
0-01-0-1 1
--0100-1 1
00-1--01 1
-0-10-01 1
0--1-001 1
---10001 1
1110---0 1
-1101--0 1
1-10-1-0 1
--1011-0 1
11-0--10 1
-1-01-10 1
1--0-110 1
---01110 1
.names pu pv pw pd pe pf pg no2 [47]
1--01--- 1
0--10--- 1
11-0-1-- 1
-1-011-- 1
00-1-0-- 1
-0-100-- 1
1110--1- 1
-1101-1- 1
1-10-11- 1
--10111- 1
0001--0- 1
-0010-0- 1
0-01-00- 1
--01000- 1
0001---1 1
-0010--1 1
0-01-0-1 1
--0100-1 1
00-1--01 1
-0-10-01 1
0--1-001 1
---10001 1
1110---0 1
-1101--0 1
1-10-1-0 1
--1011-0 1
11-0--10 1
-1-01-10 1
1--0-110 1
---01110 1
.end