.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 [28] [835] [836] [845] pl
---1 1
11-- 1
1-1- 1
000- 1
.names pb pd pm
11 1
00 1
.names pb pd pn
11 1
.names [47] [862] [863] po
1-- 1
-1- 1
--1 1
.names pe pf nj1
10 1
.names pe pf nh1
11 1
.names pe pf ni1
00 1
.names [16] [123] [735] [742] nf0
-1-- 1
---1 1
0-1- 1
.names pg ph nc2
10 1
.names pg ph pj ny1
1-1 1
000 1
.names pe pf pg ny1 [21]
1001 1
0010 1
.names ph pj [27]
10 1
.names pa [696] [697] [30]
0-- 1
-00 1
.names pg pj [40]
10 1
.names pe pf pg [51]
00- 1
-01 1
.names [108] [771] [772] [773] nw0
1--- 1
-1-- 1
--1- 1
---1 1
.names pi nf0 [28]
1- 1
-0 1
.names [39] [90] [795] [796] ns0
-1-- 1
1-00 1
.names pe pf pg nr0
100 1
.names [137] [140] [719] nk1
1-- 1
-1- 1
--1 1
.names ny1 [51] [11] [13] [7]
-11- 1
1-11 1
.names ph pj [11]
11 1
.names nj1 [6] [696] [697] [15]
111- 1
11-1 1
.names [26] [134] [135] [136] [16]
-1-- 1
1-1- 1
1--1 1
.names pg pj [22]
01 1
.names pe pf [6] [23]
001 1
.names pa [137] [140] [719] [31]
0--- 1
-000 1
.names pg ph pj [33]
001 1
.names pg ph pj [17]
101 1
.names pb pd [36]
-1 1
10 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 [17] [39]
101 1
.names pe pf [13]
01 1
.names pe pf [52] [6] [19]
111- 1
01-1 1
.names pe pf [6] [56]
111 1
.names [39] [90] [795] [796] [8]
-01- 1
-0-1 1
1-00 1
-100 1
.names pb [795] [796] [9]
01- 1
0-1 1
100 1
.names nj1 nk1 [17] [135] [37]
-0-- 1
0--0 1
-1-0 1
--00 1
.names pg ph pj [6]
101 1
.names pg ph pj nu1 [26]
01-1 1
0-11 1
1-01 1
.names pe pg ph pj [55]
01-1 1
0000 1
.names pg ph pj [847] [14]
0111 1
.names [15] [137] [140] [719] [46]
1000 1
.names ns0 [831] [832] [836] [47]
1000 1
.names [51] [755] [756] [49]
011 1
.names pb pg ph pj [62]
1110 1
.names nk1 [39] [135] [803] [67]
0--1 1
1-01 1
-001 1
.names [31] [795] [796] [810] [69]
1001 1
.names nr0 [52] [812] [70]
111 1
.names nu1 [136] [715] [817] [72]
00-1 1
-001 1
.names pb [795] [796] [818] [73]
01-1 1
0-11 1
1001 1
.names nw0 ns0 [822] [76]
011 1
101 1
.names pg ph pj [788] [81]
1111 1
.names nk1 [56] [795] [796] [83]
0100 1
.names pb pd pg nu1 [90]
1101 1
.names pb pd nj1 [17] [98]
1111 1
.names [17] [53] [763] [102]
111 1
.names [17] [53] [765] [103]
111 1
.names pe pf ny1 [36] [104]
1011 1
.names pb pj [55] [148] [105]
001- 1
00-1 1
.names pd [40] [686] [687] [108]
0--1 1
011- 1
.names pa [696] [697] [700] [109]
0--1 1
-001 1
.names pa pc [21] [702] [110]
1001 1
.names pa [696] [697] [706] [112]
01-1 1
0-11 1
.names pe pf [40] [708] [113]
0111 1
1011 1
.names [21] [696] [697] [710] [114]
01-1 1
0-11 1
.names pa pg ph pj [116]
1110 1
.names pe pf ph pj [118]
0010 1
.names [21] [696] [697] [119]
100 1
.names nu1 [136] [715] [725] [123]
00-1 1
-001 1
.names [137] [140] [719] [729] [124]
0001 1
.names nh1 [696] [697] [732] [125]
0001 1
.names pa pe pf [6] [134]
1001 1
.names pa pc pg nu1 [135]
1101 1
.names [39] [137] [140] [719] [136]
1000 1
.names pa [696] [697] [716] [137]
11-1 1
1-11 1
.names pa pc nj1 [17] [139]
1111 1
.names nu1 [696] [697] [140]
11- 1
1-1 1
.names pa pc [17] [53] [142]
0111 1
1011 1
.names pa pj [55] [148] [145]
001- 1
00-1 1
.names pe pf pg [148]
000 1
.names pg pj [686] [150]
101 1
.names pe pf ph [686]
101 1
.names pe pf pj nc2 [687]
11-1 1
0110 1
.names pa pc pe pf [690]
1111 1
1100 1
.names pa pc pe pf [691]
1-10 1
-110 1
.names pa pc pe pf [693]
1100 1
.names ny1 [11] [690] [691] [695]
1--1 1
011- 1
.names nc2 [142] [145] [693] [696]
-1-- 1
--1- 1
1--1 1
.names pc [150] [687] [695] [697]
---1 1
01-- 1
0-1- 1
.names pa pc pf [698]
111 1
.names pg ph pj [698] [699]
01-1 1
0-11 1
1-01 1
.names [40] [686] [687] [699] [700]
0-01 1
-001 1
.names pe pf pj [702]
100 1
.names pa pc ph pj [704]
0110 1
.names pe pf pg [705]
01- 1
100 1
.names pe pf pg pj [706]
00-0 1
-010 1
.names pa pc pg ph [708]
0010 1
.names pa pc pj [710]
1-0 1
-10 1
.names pe pf ph pj [713]
1101 1
.names pa pc pg [715]
110 1
.names pe pf [17] [716]
111 1
.names pe pf [17] [717]
001 1
.names pa nu1 [139] [718]
--1 1
11- 1
.names [696] [697] [717] [718] [719]
---1 1
001- 1
.names pe pf pj [721]
1-1 1
-11 1
.names pe pf [52] [6] [723]
-0-- 1
0--0 1
--00 1
.names [54] [721] [723] [724]
011 1
.names nh1 [696] [697] [724] [725]
1--1 1
-1-1 1
--11 1
.names ph pj [726]
01 1
.names nj1 [19] [6] [726] [728]
00-1 1
-001 1
.names nh1 [696] [697] [728] [729]
1--1 1
-1-1 1
--11 1
.names pa pg ph pj [732]
0101 1
.names pa pj nr0 [734]
110 1
.names nh1 [696] [697] [734] [735]
0001 1
.names pa pc nr0 [22] [738]
10-1 1
0111 1
.names pa pc [33] [738] [739]
---1 1
111- 1
.names [19] [696] [697] [739] [740]
---1 1
100- 1
.names [124] [125] [740] [742]
1-- 1
-1- 1
--1 1
.names ny1 [116] [118] [713] [747]
-1-- 1
--1- 1
0--1 1
.names [113] [704] [705] [747] [748]
1--- 1
---1 1
-11- 1
.names [110] [112] [114] [748] [752]
1--- 1
-1-- 1
--1- 1
---1 1
.names [109] [119] [752] [753]
1-- 1
-1- 1
--1 1
.names pb ph pj [755]
010 1
.names pb pd pe pf [756]
0101 1
1001 1
0110 1
1010 1
.names pf pg ph [758]
110 1
.names pb pd pe pf [759]
1101 1
0001 1
1110 1
0010 1
.names pb pd pe pf [761]
110- 1
11-1 1
.names pa pb pc pd [763]
0111 1
0010 1
.names pa pb pc pd [765]
-001 1
-100 1
1011 1
1110 1
.names pb pd pe pf [769]
1100 1
.names [52] [53] [103] [761] [771]
--1- 1
10-1 1
.names nc2 [102] [104] [769] [772]
-1-- 1
--1- 1
1--1 1
.names pe pf [54] [105] [773]
---1 1
001- 1
.names pe pf pg pj [776]
00-0 1
-010 1
.names pf pd [778]
00 1
.names pb pd pj [780]
010 1
100 1
.names pe pf ph [782]
110 1
.names pg ph pj [782] [783]
01-1 1
0-11 1
1-01 1
.names pd pe pf pg [784]
000- 1
0-01 1
.names pb pd pe pf [786]
110- 1
11-1 1
.names pa pb pe pf [788]
0011 1
.names pf pg ph pj [789]
1101 1
.names nh1 [696] [697] [789] [790]
0001 1
.names pb pe pf [791]
111 1
.names pb nu1 [98] [794]
--1 1
11- 1
.names nw0 [17] [791] [794] [795]
---1 1
111- 1
.names ni1 nw0 [17] nu1 [796]
-1-1 1
101- 1
.names [30] nw0 [81] [790] [798]
--1- 1
01-1 1
10-1 1
.names pa pc pj [799]
111 1
.names pb pd pe pf [800]
110- 1
000- 1
11-0 1
00-0 1
.names [33] [54] [799] [800] [803]
0011 1
.names ph pj [804]
01 1
.names pg ph pj nj1 [805]
001- 1
-010 1
.names nj1 [19] [6] [804] [806]
00-1 1
-001 1
.names [31] [19] [805] [807]
101 1
.names [7] pj [808]
01 1
.names nw0 [696] [697] [808] [810]
11-1 1
1-11 1
.names pa pb pc pd [812]
00-1 1
-001 1
01-0 1
-100 1
.names pa pb pc [814]
01- 1
-10 1
.names [30] nw0 [814] [815]
011 1
101 1
.names pe pf ny1 nw0 [817]
0101 1
.names [54] [7] [818]
10 1
.names pe pf [52] [819]
111 1
.names nj1 [6] [696] [697] [822]
1100 1
.names pm nr0 [33] [70] [825]
---1 1
011- 1
.names [30] nw0 [819] [825] [826]
---1 1
011- 1
101- 1
.names pb [30] nw0 [7] [827]
0111 1
1011 1
1101 1
0001 1
.names [827] [826] [828]
1- 1
-1 1
.names [31] [9] [806] [828] [831]
---1 1
111- 1
.names [69] [72] [83] [798] [832]
1--- 1
-1-- 1
--1- 1
---1 1
.names [31] [67] [73] [815] [833]
-1-- 1
--1- 1
0--1 1
.names [9] [807] [828] [832] [835]
--1- 1
---1 1
11-- 1
.names [8] [37] [76] [833] [836]
--1- 1
---1 1
00-- 1
.names pm [27] [778] [786] [837]
-1-1 1
011- 1
.names [40] [758] [759] [784] [839]
1--1 1
111- 1
.names [150] [687] [783] [839] [841]
---1 1
001- 1
.names [49] [62] [837] [841] [842]
1--- 1
-1-- 1
--1- 1
---1 1
.names [21] nw0 [776] [842] [843]
---1 1
011- 1
.names [21] nw0 [780] [843] [845]
---1 1
10-- 1
011- 1
.names pb pd pe pf [847]
110- 1
11-0 1
.names nh1 [22] [696] [697] [850]
1100 1
.names pa pc ph pj [851]
1111 1
.names pe pf pg [851] [852]
1001 1
.names [31] [795] [796] [853]
01- 1
0-1 1
.names [30] nw0 [14] [850] [856]
--1- 1
01-1 1
10-1 1
.names pb [30] nw0 [7] [857]
-011 1
1111 1
1001 1
.names [856] [46] [858]
1- 1
-1 1
.names [83] [798] [857] [858] [860]
1--- 1
-1-- 1
--1- 1
---1 1
.names [16] [853] [860] [861]
--1 1
11- 1
.names [835] [836] [852] [861] [862]
---1 1
001- 1
.names [28] [23] [835] [836] [863]
0-1- 1
0--1 1
-100 1
.end