.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 pa pc pe pf pg ph pi pj pk
--00-1-0 1
1---11-0 1
--1100-1 1
10--0-11 1
0-001--0 1
-0001--0 1
0-000--0 1
11-1-1-0 1
-0010-11 1
0-11-011 1
-111-011 1
11--0011 1
010-0-01 1
00-00-01 1
0-000-01 1
010--101 1
0-00-101 1
11011--0 1
10101--0 1
0101-1-0 1
1010-1-0 1
010-00-0 1
11011-11 1
01100-11 1
0001-111 1
1000-111 1
110-1111 1
0-111111 1
1-001111 1
0-110111 1
-0110111 1
1101-011 1
000-1011 1
00-01011 1
0-001011 1
1-000011 1
1-111101 1
00-01101 1
1-101101 1
001011-0 1
011001-0 1
101110-0 1
000110-0 1
001010-0 1
001000-0 1
01101111 1
11101011 1
11001011 1
10011101 1
11110101 1
11010101 1
11100101 1
11000101 1
10111001 1
01011001 1
10011001 1
01101001 1
10101001 1
10001001 1
.names [28] [67] [71] [73] [76] [79] [835] [845] pl
-------1 1
11------ 1
1-1----- 1
1--1---- 1
1---1--- 1
1----1-- 1
1-----1- 1
0000000- 1
.names pb pd pm
11 1
00 1
.names pb pd pn
11 1
.names [28] ns0 [23] [835] [836] [852] [861] po
------1 1
0--1--- 1
0---1-- 1
-1-00-- 1
--100-- 1
---001- 1
.names pa pc [10]
-0 1
11 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 pm [10] [17] [53] [101] [104] [106] [775] nw0
----1--- 1
-----1-- 1
------1- 1
-------1 1
0111---- 1
1011---- 1
.names pa pc pe pf pg ph pi pj [28]
------1- 1
--1----0 1
---0---0 1
----1--0 1
----0--0 1
-----1-0 1
010-0--1 1
00-00--1 1
0-000--1 1
010--1-1 1
0-00-1-1 1
111001-- 1
1-1111-1 1
00-011-1 1
1-1011-1 1
100111-1 1
111101-1 1
110101-1 1
110001-1 1
101110-1 1
010110-1 1
100110-1 1
011010-1 1
101010-1 1
100010-1 1
.names pb pd pe pf pg ph pj ns0
0-10101 1
-010101 1
1101011 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 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 pg ph pj [52]
011 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 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 nw0 [16] [31] nu1 [792] [793] [794] [41]
-10---1 1
1101--- 1
110-1-- 1
010--1- 1
.names pa pc pe pf pg ph pj [46]
0110101 1
1010101 1
.names pa pc pe pf pg ph pj [801] [67]
------01 1
0----1-1 1
0-1-1--1 1
0-0-1--1 1
0--11--1 1
-0--01-1 1
--1-01-1 1
---001-1 1
--0-10-1 1
---110-1 1
-01010-1 1
11101011 1
.names pb nw0 nu1 [98] [792] [793] [807] [68]
0--1--1 1
011---1 1
01--1-1 1
00---11 1
11000-1 1
1000-01 1
1-00001 1
.names nw0 [31] nu1 [792] [794] [809] [69]
110001 1
.names pa pb pc [30] nw0 [31] [71]
01-010 1
-10010 1
01-100 1
-10100 1
.names pb nw0 nu1 [98] [792] [793] [818] [73]
0--1--1 1
011---1 1
01--1-1 1
00---11 1
11000-1 1
1000-01 1
1-00001 1
.names pb pd pe pf pg ph pj [75]
0110001 1
1010001 1
.names nw0 nu1 [39] [792] [793] [794] [821] [822] [76]
100----1 1
10-1---1 1
10---1-1 1
01----11 1
11----01 1
1-0---01 1
1--1--01 1
1----101 1
0-1-00-1 1
.names nw0 nu1 [39] [37] [792] [793] [794] [821] [79]
11-0---1 1
-1-0--11 1
01-0-1-1 1
10000-0- 1
0000-00- 1
-000000- 1
0-00-000 1
.names pa pb pe pf pg ph pj [81]
0011111 1
.names nw0 nk1 nu1 [56] [792] [793] [794] [83]
00-1-00 1
10010-0 1
-001000 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 pa pb pd pe pf pg ph pj [775]
--01110- 1
--0010-1 1
--001-11 1
-0-000-0 1
-0-0-000 1
1--00111 1
--010110 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 [30] nw0 [81] [790] [798]
--1- 1
01-1 1
10-1 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 pa pb pc pd pe pf pg [813]
00-1100 1
-001100 1
01-0100 1
-100100 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 pb pd pg [821]
110 1
.names pa pc pe pf pg ph pj [822]
0010101 1
.names pb [30] nw0 [7] [52] [75] [813] [819] [828]
-----1-- 1
----1-1- 1
-01----1 1
-10----1 1
0111---- 1
1011---- 1
1101---- 1
0001---- 1
.names nw0 nt1 [68] [69] [83] [798] [816] [828] [835]
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
-------1 1
10----1- 1
.names [33] [54] [37] [71] [73] [76] [79] [801] [836]
---1---- 1
----1--- 1
-----1-- 1
------1- 1
001----1 1
.names pb pd pe pf pg ph pj nw0 [845]
-0-01-0- 1
1---110- 1
--11001- 1
110--10- 1
11-1-10- 1
10-0-10- 1
01-1--01 1
10-1--01 1
--101-01 1
--000-01 1
--001-00 1
0101-10- 1
011-1-01 1
101-1-01 1
010-0-01 1
100-0-01 1
011--101 1
101--101 1
--100000 1
0110010- 1
1101100- 1
0001100- 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 [30] nw0 [14] [46] [850] [858]
--1-- 1
---1- 1
01--1 1
10--1 1
.names pb [30] nw0 [7] [41] [83] [798] [858] [861]
----1--- 1
-----1-- 1
------1- 1
-------1 1
-011---- 1
1111---- 1
1001---- 1
.end