.model top
.inputs pa pb pc pd pe pf pg ph pi pj
.outputs pp pk pl pm pn po
.names pa pb pc pd pp
1111 1
0101 1
1010 1
0000 1
.names pi pj nf0 [753] pk
---1 1
1-1- 1
010- 1
.names pi nf0 [831] [832] [833] [834] [845] pl
------1 1
1-1---- 1
-01---- 1
1--1--- 1
-0-1--- 1
1---1-- 1
-0--1-- 1
1----1- 1
-0---1- 1
010000- 1
.names pb pd pm
11 1
00 1
.names pb pd pn
11 1
.names [28] [23] [831] [832] [833] [834] [864] po
------1 1
0-1---- 1
0--1--- 1
0---1-- 1
0----1- 1
-10000- 1
.names pa pc pe pf pg ph pj nf0
10--0-1 1
-0010-1 1
0-11-01 1
-111-01 1
11--001 1
--11001 1
11011-1 1
01100-1 1
0001-11 1
1000-11 1
110-111 1
0-11111 1
1-00111 1
0-11011 1
-011011 1
1101-01 1
000-101 1
00-0101 1
0-00101 1
1-00001 1
0110111 1
1110101 1
1100101 1
.names pa pc [10]
-0 1
11 1
.names pe pf pg ph pj [21]
001-0 1
10000 1
.names pa pc pe pf pg ph pj [30]
0------ 1
---1-10 1
1101--- 1
1000--- 1
-0110-- 1
-011-1- 1
-01-01- 1
--1001- 1
11-1-0- 1
-111-0- 1
--1100- 1
-000--1 1
-01-0-1 1
-0-00-1 1
--100-1 1
-1--001 1
--1-001 1
---0001 1
100---0 1
11-1--0 1
-111--0 1
1-01--0 1
-11-1-0 1
-00-1-0 1
-1-11-0 1
--011-0 1
1-0-0-0 1
1--10-0 1
--110-0 1
11---10 1
-11--10 1
1-0--10 1
-1--110 1
--0-110 1
1---010 1
--1-010 1
-10101- 1
10-001- 1
110-00- 1
1-0000- 1
11-11-1 1
-1111-1 1
-1010-1 1
-101-11 1
-10-111 1
-1-1111 1
--11111 1
--00111 1
-0-0100 1
--10100 1
.names pi nf0 [28]
1- 1
-0 1
.names [90] [91] ns0
1- 1
-1 1
.names pa pc pe pf pg ph pj nk1
1-01-11 1
-001-11 1
0-00101 1
-000101 1
1011101 1
1110101 1
.names nu1 [108] [773] [774] [792] [793] [794] nk0
------1 1
11----- 1
1-1---- 1
1--1--- 1
-1--1-- 1
--1-1-- 1
---11-- 1
-000-1- 1
.names pe pf pg ph pj [7]
00-11 1
-0111 1
01111 1
.names pa pc pe pf pg ph pj [16]
1-00101 1
1101011 1
.names pe pf pg ph pj [23]
00101 1
.names pa pc pe pf pg ph pj [31]
0------ 1
------0 1
--1-0-- 1
---00-- 1
--1--1- 1
---0-1- 1
----00- 1
-010--- 1
--01-0- 1
11-1-0- 1
-111-0- 1
-1111-1 1
110010- 1
.names pg ph pj [33]
001 1
.names pg ph pj [17]
101 1
.names pe pf pj [53]
011 1
.names pa pg ph pj [54]
1111 1
.names pe pf ph pj nu1
0111 1
.names pe pf pg ph pj [39]
10101 1
.names pa pc pe pf pg ph pj nt1
0-10101 1
-010101 1
1101011 1
.names pe pf pg ph pj [56]
11101 1
.names pb nu1 [98] [774] [775] [792] [793] [9]
0-1---- 1
01-1--- 1
01--1-- 1
0--1-1- 1
0---11- 1
0--00-1 1
1001-0- 1
100-10- 1
100--00 1
10000-0 1
.names pa pc pe pf pg ph pj [37]
------0 1
0-1---- 1
0-0---- 1
-00---- 1
0--1--- 1
-0-1--- 1
--11--- 1
--00--- 1
--0-1-- 1
---11-- 1
0---0-- 1
-0--0-- 1
--1-0-- 1
---00-- 1
0----1- 1
-0---1- 1
--1--1- 1
---0-1- 1
----11- 1
--0--0- 1
---1-0- 1
----00- 1
-010--- 1
1110101 1
.names pb pd pe pf pg ph pj [14]
110-011 1
11-0011 1
.names pa pc pe pf pg ph pj [46]
0110101 1
1010101 1
.names [30] [31] [108] [773] [774] [814] [71]
001--1 1
00-1-1 1
00--11 1
100001 1
.names nt1 [108] [773] [774] [816] [72]
01--1 1
0-1-1 1
0--11 1
.names pb pd pe pf pg ph pj [75]
0110001 1
1010001 1
.names pa pb pe pf pg ph pj [81]
0011111 1
.names pb pd pe pf pg ph pj [90]
1101011 1
.names nu1 [39] [774] [775] [792] [793] [794] [91]
011-0-0 1
01-10-0 1
-100-00 1
01--000 1
.names pb pd pe pf pg ph pj [98]
1110101 1
.names pb pd pe pf pg ph pj [101]
1111011 1
1100011 1
.names pb pd pe pf pg ph pj [104]
-1101-1 1
10101-1 1
-110000 1
1010000 1
.names pb pd pe pf pg ph [106]
110010 1
.names pd pe pf pg ph pj [108]
01110- 1
0010-1 1
001-11 1
010110 1
.names pa pc pe pf pg ph pj [753]
--00-10 1
1---110 1
--11001 1
0-001-0 1
-0001-0 1
0-000-0 1
11-1-10 1
11011-0 1
10101-0 1
0101-10 1
1010-10 1
010-000 1
0010110 1
0110010 1
1011100 1
0001100 1
0010100 1
0010000 1
.names pa pb pe pf pg ph pj [773]
-0000-0 1
-00-000 1
1-00111 1
.names pm [10] [17] [53] [101] [104] [106] [774]
----1-- 1
-----1- 1
------1 1
0111--- 1
1011--- 1
.names pd pe pf pg ph pj [773] [775]
------1 1
01110-- 1
0010-1- 1
001-11- 1
010110- 1
.names pe pf pg pj [776]
00-0 1
-010 1
.names pb pd pj [780]
010 1
100 1
.names pa pc pe pf pg ph pj [790]
1101101 1
0001101 1
.names pb pe pf pg ph pj [792]
111101 1
.names pe pf pg ph pj [793]
00101 1
.names pb pd pe pf pg ph pj [794]
1-01-11 1
1110101 1
.names nu1 [56] [774] [775] [792] [793] [794] [797]
011-0-0 1
01-10-0 1
-100-00 1
01--000 1
.names [30] [81] [108] [773] [774] [790] [798]
-1---- 1
0-1--1 1
0--1-1 1
0---11 1
1-0001 1
.names pa pb pc pd pe pf pj [801]
11110-1 1
10100-1 1
1111-01 1
1010-01 1
.names pa pc pe pf pg ph pj [807]
----001 1
0-11-01 1
-111-01 1
0-00-01 1
1100101 1
.names pa pc pe pf pg ph pj [809]
-0010-1 1
-011101 1
1-10101 1
-110101 1
1111011 1
0101101 1
1001101 1
1100101 1
.names nu1 [108] [773] [774] [792] [794] [809] [811]
01--001 1
0-1-001 1
0--1001 1
.names pa pb pc pd pe pf pg [813]
00-1100 1
-001100 1
01-0100 1
-100100 1
.names pa pb pc [814]
01- 1
-10 1
.names pe pf pg ph pj [816]
0101- 1
010-1 1
011-0 1
01-10 1
.names pa pe pf pg ph pj [818]
111111 1
.names pe pf pg ph pj [819]
11011 1
.names pa pc pe pf pg ph pj [822]
0010101 1
.names pg ph pj [75] [813] [825]
---1- 1
011-1 1
.names pb [30] [7] [774] [775] [819] [825] [828]
------1 1
-0-1-1- 1
-0--11- 1
0111--- 1
1011--- 1
011-1-- 1
101-1-- 1
-1-001- 1
11100-- 1
00100-- 1
.names [9] [807] [828] [831]
--1 1
11- 1
.names pa nk1 [72] [797] [798] [811] [832]
--1--- 1
----1- 1
-0-1-- 1
0----1 1
-0---1 1
.names [33] [54] [9] [37] [71] [801] [818] [833]
----1-- 1
--1---1 1
00-1-1- 1
.names nk0 [39] [37] [90] [774] [775] [822] [834]
1-01--- 1
0000--- 1
1--01-1 1
-0-01-1 1
1--0-11 1
-0-0-11 1
---1001 1
01--001 1
.names pb pd pe pf pg ph pj [842]
-0-01-0 1
1---110 1
--11001 1
110--10 1
11-1-10 1
10-0-10 1
0101-10 1
0110010 1
1101100 1
0001100 1
.names [21] [108] [773] [774] [776] [780] [842] [845]
------1 1
01--1-- 1
0-1-1-- 1
0--11-- 1
01---1- 1
0-1--1- 1
0--1-1- 1
1000--- 1
.names pa pc pe pf pg ph pj [850]
0-110-1 1
-0110-1 1
--11001 1
.names pa pc pe pf pg ph pj [852]
1110011 1
.names [31] nu1 [774] [775] [792] [793] [794] [853]
0-----1 1
011---- 1
01-1--- 1
0-1-1-- 1
0--11-- 1
0-00-1- 1
.names pb [30] [7] [108] [773] [774] [857]
-011-- 1
-01-1- 1
-01--1 1
1111-- 1
111-1- 1
111--1 1
101000 1
.names [30] [14] [46] [108] [773] [774] [850] [858]
-1----- 1
--1---- 1
0--1--1 1
0---1-1 1
0----11 1
1--0001 1
.names nk1 [16] [797] [798] [853] [857] [858] [861]
---1--- 1
-----1- 1
------1 1
0-1---- 1
-1--1-- 1
.names ns0 [831] [832] [833] [834] [852] [861] [864]
------1 1
10000-- 1
-00001- 1
.end