.model top
.inputs pa pb pc pd pe pf pg ph pi pj
.outputs pp pk pl pm pn po
.names pa pc pm pp
111 1
001 1
.names [117] [120] [753] pk
1-- 1
-1- 1
--1 1
.names ne0 [28] [845] pl
--1 1
11- 1
00- 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 pa pc nf1
11 1
.names pa pc [29]
1- 1
-1 1
.names pe pf nj1
10 1
.names pe pf nh1
11 1
.names pe pf ni1
00 1
.names pg ph nc2
10 1
.names pg ph pj ny1
1-1 1
000 1
.names pa pc [10]
-0 1
11 1
.names ni1 [40] [122] [21]
--1 1
11- 1
.names pe pf [25]
11 1
00 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 [771] [772] [775] nw0
1-- 1
-1- 1
--1 1
.names [833] [834] [835] ne0
1-- 1
-1- 1
--1 1
.names pi [126] [743] [28]
1-- 1
-00 1
.names pe pf pg nr0
100 1
.names [138] [718] [720] nk1
1-- 1
-1- 1
--1 1
.names [795] [796] nk0
1- 1
-1 1
.names [30] nw0 ne1
01 1
10 1
.names [51] [11] [93] [7]
--1 1
11- 1
.names ph pj [11]
11 1
.names [20] [696] [697] [15]
11- 1
1-1 1
.names pg pj [22]
01 1
.names pe pf [6] [23]
001 1
.names pa [719] [720] [31]
0-- 1
-00 1
.names nk1 [797] [798] [32]
--1 1
01- 1
.names pg ph pj [33]
001 1
.names pg ph pj [17]
101 1
.names pe ny1 [148] [18]
--1 1
01- 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 [34] [54]
11 1
.names ph pj [13] nu1
111 1
.names pe pf [17] [39]
101 1
.names pe pf [13]
01 1
.names nh1 [52] [132] [19]
--1 1
11- 1
.names pe pf [6] [20]
101 1
.names nh1 [696] [697] [24]
1-- 1
-1- 1
--1 1
.names pe pf [6] [56]
111 1
.names nk0 [39] [90] [8]
01- 1
0-1 1
1-0 1
.names pb [795] [796] [9]
01- 1
0-1 1
100 1
.names nw0 [90] [91] [12]
01- 1
0-1 1
100 1
.names nk1 [39] [135] [37]
0-- 1
1-0 1
-00 1
.names pg ph pj [6]
101 1
.names ny1 [11] [13] [26]
011 1
.names pg ph pj [34]
111 1
.names [33] [848] [14]
01 1
.names [30] nw0 [850] [35]
011 1
101 1
.names [133] [134] [853] [41]
1-1 1
-11 1
.names [30] nw0 [854] [42]
111 1
001 1
.names [30] nw0 [7] [43]
011 1
.names [15] [719] [720] [46]
100 1
.names ne0 [90] [91] [47]
01- 1
0-1 1
.names pm [25] [757] [49]
001 1
.names pm [27] [778] [58]
011 1
.names [150] [687] [783] [60]
001 1
.names pg pj [785] [62]
101 1
.names pn nj1 [27] [63]
101 1
.names [31] [9] [806] [68]
111 1
.names [31] [811] [69]
11 1
.names [31] [815] [71]
01 1
.names [135] [136] [817] [72]
001 1
.names [30] nw0 [819] [74]
011 1
101 1
.names pm nr0 [33] [75]
011 1
.names [12] [822] [76]
11 1
.names [30] nw0 [823] [77]
111 1
001 1
.names [30] nw0 [824] [78]
011 1
101 1
.names nh1 [34] [787] [81]
111 1
.names [11] [13] [821] [90]
111 1
.names [39] [795] [796] [91]
100 1
.names ph pj [51] [92]
111 1
.names ny1 [11] [13] [93]
111 1
.names pn nj1 [17] [98]
111 1
.names pb [11] [13] [100]
111 1
.names pm [10] [766] [103]
011 1
.names nj1 ny1 [36] [104]
111 1
.names pn ni1 nc2 [106]
111 1
.names pa ni1 [34] [107]
111 1
.names pd [150] [687] [108]
01- 1
0-1 1
.names [121] [122] [703] [110]
001 1
.names [10] [27] [705] [111]
011 1
.names [30] [707] [112]
11 1
.names [696] [697] [711] [114]
1-1 1
-11 1
.names nh1 ny1 [712] [115]
101 1
.names pg pj [714] [116]
101 1
.names [126] [743] [744] [117]
001 1
.names pe pf [27] [118]
001 1
.names [21] [696] [697] [119]
100 1
.names pi [126] [743] [120]
11- 1
1-1 1
.names pe pf [40] [121]
001 1
.names ny1 nr0 [122]
11 1
.names [135] [136] [725] [123]
001 1
.names [719] [720] [729] [124]
001 1
.names [22] [24] [731] [125]
001 1
.names [133] [134] [735] [126]
001 1
.names [10] nr0 [22] [127]
011 1
.names pg pj [737] [128]
011 1
.names pa pc [33] [129]
111 1
.names [19] [696] [697] [130]
100 1
.names pe pf [52] [131]
111 1
.names pe pf [6] [132]
011 1
.names [26] [135] [136] [133]
11- 1
1-1 1
.names pa ni1 [6] [134]
111 1
.names [11] [13] [715] [135]
111 1
.names [39] [719] [720] [136]
100 1
.names [696] [697] [717] [138]
001 1
.names nf1 nj1 [17] [139]
111 1
.names nu1 [696] [697] [140]
11- 1
1-1 1
.names pa [11] [13] [141]
111 1
.names [17] [53] [688] [142]
111 1
.names nf1 [25] [52] [143]
111 1
.names [29] nj1 ny1 [144]
111 1
.names nf1 ni1 nc2 [146]
111 1
.names pc [150] [687] [147]
01- 1
0-1 1
.names pe pf pg [148]
000 1
.names pg pj [686] [150]
101 1
.names pe pf ph [686]
101 1
.names nh1 nc2 [53] [687]
11- 1
-01 1
.names pa pc [688]
01 1
10 1
.names pj pa [692]
00 1
.names [142] [146] [694]
1- 1
-1 1
.names [18] [692] [694] [696]
--1 1
11- 1
.names [143] [144] [147] [697]
1-- 1
-1- 1
--1 1
.names pa pc pf [698]
111 1
.names ny1 [698] [699]
01 1
.names [150] [687] [699] [700]
001 1
.names pe pf pj [702]
100 1
.names pa pc [702] [703]
101 1
.names pe pf pg [705]
01- 1
100 1
.names [51] pj [706]
10 1
.names [696] [697] [706] [707]
1-1 1
-11 1
.names [29] nc2 [25] [709]
010 1
.names pa pc pj [710]
1-0 1
-10 1
.names [121] [122] [710] [711]
001 1
.names pj ph [712]
10 1
.names pa ph pj [714]
110 1
.names pa pc pg [715]
110 1
.names pe pf [17] [716]
111 1
.names pe pf [17] [717]
001 1
.names [139] [141] [718]
1- 1
-1 1
.names [138] [139] [141] [719]
1-- 1
-1- 1
--1 1
.names [30] [140] [716] [720]
-1- 1
0-1 1
.names pe pf pj [721]
1-1 1
-11 1
.names pa [34] [721] [722]
0-1 1
-01 1
.names [56] [131] [132] [723]
000 1
.names [24] [722] [723] [725]
111 1
.names ph pj [726]
01 1
.names nj1 [6] [726] [727]
0-1 1
-01 1
.names [131] [132] [727] [728]
001 1
.names [24] [728] [729]
11 1
.names pa ph pj [731]
001 1
.names pj pa [733]
11 1
.names nr0 [24] [733] [735]
001 1
.names pa pc [737]
10 1
.names [127] [128] [129] [739]
1-- 1
-1- 1
--1 1
.names [125] [130] [739] [741]
1-- 1
-1- 1
--1 1
.names [123] [124] [741] [743]
1-- 1
-1- 1
--1 1
.names pj pi [744]
10 1
.names [40] [111] [709] [746]
-1- 1
1-1 1
.names [115] [116] [118] [747]
1-- 1
-1- 1
--1 1
.names [110] [746] [747] [749]
1-- 1
-1- 1
--1 1
.names [114] [749] [750]
1- 1
-1 1
.names [30] [119] [700] [751]
-1- 1
1-1 1
.names [112] [750] [751] [753]
1-- 1
-1- 1
--1 1
.names pb ph pj [755]
010 1
.names [51] [755] [757]
01 1
.names pf pg ph [758]
110 1
.names pm [25] [758] [760]
101 1
.names pn nj1 [53] [762]
100 1
.names pa pc pm [763]
011 1
.names [53] [17] [764]
11 1
.names [53] [17] [766]
11 1
.names pj pb [768]
00 1
.names [106] [763] [764] [770]
1-- 1
-11 1
.names [52] [103] [762] [771]
-1- 1
1-1 1
.names [770] [104] [772]
1- 1
-1 1
.names [18] [107] [768] [773]
-1- 1
1-1 1
.names [773] [108] [775]
1- 1
-1 1
.names [51] pj [776]
10 1
.names [121] [122] [776] [777]
001 1
.names pf pd [778]
00 1
.names pb pd pj [780]
010 1
100 1
.names pe pf ph [782]
110 1
.names ny1 [782] [783]
01 1
.names [51] pd [784]
10 1
.names pb ph pj [785]
110 1
.names pb pa [787]
00 1
.names pf [24] [6] [790]
101 1
.names pb pe pf [791]
111 1
.names [791] [17] [792]
11 1
.names pe pf [17] [793]
001 1
.names [98] [100] [794]
1- 1
-1 1
.names nw0 [792] [794] [795]
--1 1
11- 1
.names nw0 nu1 [793] [796]
11- 1
0-1 1
.names [56] [795] [796] [797]
100 1
.names ne1 [81] [790] [798]
-1- 1
1-1 1
.names pa pc pj [799]
111 1
.names pm nh1 [799] [801]
101 1
.names [33] [54] [801] [803]
001 1
.names ph pj [804]
01 1
.names nj1 [6] [804] [805]
0-1 1
-01 1
.names [131] [132] [805] [806]
001 1
.names pj [92] [93] [808]
100 1
.names [696] [697] [808] [809]
1-1 1
-11 1
.names [809] nw0 [810]
11 1
.names [795] [796] [810] [811]
001 1
.names pm nf1 nr0 [813]
001 1
.names pa pb pc [814]
01- 1
-10 1
.names [30] nw0 [814] [815]
011 1
101 1
.names ny1 nw0 [13] [817]
011 1
.names [54] [92] [93] [818]
100 1
.names pe pf [52] [819]
111 1
.names pb pd pg [821]
110 1
.names [20] [696] [697] [822]
100 1
.names pb [92] [93] [823]
01- 1
0-1 1
.names pb [92] [93] [824]
11- 1
1-1 1
.names [52] [75] [813] [825]
-1- 1
1-1 1
.names [74] [825] [826]
1- 1
-1 1
.names [77] [78] [826] [828]
1-- 1
-1- 1
--1 1
.names [9] [71] [818] [830]
-1- 1
1-1 1
.names [32] [69] [72] [832]
1-- 1
-1- 1
--1 1
.names [37] [803] [830] [833]
--1 1
11- 1
.names [8] [37] [76] [834]
--1 1
00- 1
.names [68] [828] [832] [835]
1-- 1
-1- 1
--1 1
.names [63] [58] [837]
1- 1
-1 1
.names [40] [760] [784] [839]
11- 1
1-1 1
.names [49] [62] [837] [840]
1-- 1
-1- 1
--1 1
.names [60] [839] [840] [842]
1-- 1
-1- 1
--1 1
.names nw0 [777] [842] [843]
--1 1
11- 1
.names [21] nw0 [780] [844]
10- 1
011 1
.names [844] [843] [845]
1- 1
-1 1
.names pn nh1 [22] [848]
101 1
.names pg pj nh1 [849]
011 1
.names [696] [697] [849] [850]
001 1
.names nf1 nr0 [11] [852]
111 1
.names [31] [795] [796] [853]
01- 1
0-1 1
.names pb [92] [93] [854]
11- 1
1-1 1
.names [43] [42] [857]
1- 1
-1 1
.names [14] [35] [46] [858]
1-- 1
-1- 1
--1 1
.names [32] [857] [858] [860]
1-- 1
-1- 1
--1 1
.names [41] [860] [861]
1- 1
-1 1
.names ne0 [852] [861] [862]
--1 1
01- 1
.names ne0 [28] [23] [863]
10- 1
0-1 1
.end