.model top
.inputs pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 px pi0 py pj0 pz \
pk0 pl0 pm0 pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pn0 po0 pp0
.names [28] [220] [964] [967] pn0
---1 1
11-- 1
1-1- 1
.names [78] [79] [987] po0
1-- 1
-1- 1
--1 1
.names pc0 [136] [1015] pp0
--1 1
01- 1
.names pq pb0 pc0 px [28]
0000 1
.names pa0 py [29]
00 1
.names [28] [90] [179] [970] [61]
1111 1
.names [43] [1005] [1007] [1014] [136]
---1 1
1-1- 1
-11- 1
.names pg0 pi [3]
0- 1
-0 1
.names pr pm [6]
0- 1
-0 1
.names pi0 py pj0 [17]
10- 1
0-1 1
.names pe0 pf0 pg0 [33]
1-- 1
-1- 1
--1 1
.names pa0 px pi0 [153]
-01 1
0-0 1
.names pi0 pj0 [41]
01 1
.names pi0 py [45]
10 1
.names py [33] [153] [41] [18]
-0-1 1
001- 1
.names pf0 pj0 ph [22]
--0 1
00- 1
.names [22] [23] [71] [989] [20]
--1- 1
11-- 1
1--1 1
.names pb pj pk [27] [23]
0--- 1
-00- 1
-0-0 1
.names ps pt pd pl [27]
11-- 1
-10- 1
1--1 1
--01 1
.names pe pf pg [84]
000 1
.names pd0 pc [101]
00 1
.names pa0 pr py pm [98]
000- 1
0-00 1
.names pd0 [29] [6] [17] [32]
-11- 1
0-11 1
.names pa0 pi0 py [105]
0-0 1
-10 1
.names [22] [105] [243] [34]
--1 1
11- 1
.names pa0 pd0 py [90]
010 1
.names ph0 pn po [47]
--0 1
00- 1
.names pr pm pn po [172]
0-0- 1
-00- 1
0--0 1
-0-0 1
.names px pi0 py pj0 [171]
-0-1 1
010- 1
.names pd0 pv [199] [53]
--1 1
11- 1
.names pd0 pw [54]
0- 1
-1 1
.names pn po [56]
0- 1
-0 1
.names pr pm pn po [179]
0-0- 1
-00- 1
0--0 1
-0-0 1
.names pd0 pu pv [69]
110 1
.names pa0 pi0 py pj0 [87]
0-00 1
-100 1
.names pu pj0 pa ph [102]
000- 1
0-00 1
.names pk pn po [27] [113]
00-- 1
-10- 1
-0-0 1
.names pz pn po [112]
-01 1
1-0 1
.names [3] [229] [232] [959] [115]
-1-- 1
1-1- 1
1--1 1
.names pr pb pm [118]
--0 1
00- 1
.names [47] [94] [99] [100] [125]
-1-- 1
1-1- 1
1--1 1
.names pd0 pv [197] [199] [127]
--1- 1
---1 1
11-- 1
.names ph [6] [17] [87] [132]
-1-1 1
011- 1
.names pa0 py [33] [54] [141]
001- 1
00-0 1
.names [84] [101] [105] [994] [145]
1--1 1
111- 1
.names [29] [151] [149] [1003] [148]
1-1- 1
-1-1 1
.names pk pm [22] [70] [151]
---1 1
111- 1
.names [22] [152] [150] [1004] [149]
1-1- 1
-1-1 1
.names pc pm [152]
0- 1
-1 1
.names pc pj pm [150]
0-- 1
-11 1
.names pr pm pn po [164]
0-0- 1
-00- 1
0--0 1
-0-0 1
.names [168] [908] [909] [912] [166]
-11- 1
1--1 1
.names pi0 py pj0 [161]
10- 1
0-1 1
.names pr pm pn po [168]
0-0- 1
-00- 1
0--0 1
-0-0 1
.names px pi0 py pj0 [170]
-0-1 1
010- 1
.names pi0 py pj0 [175]
10- 1
0-1 1
.names pr pm [174]
0- 1
-0 1
.names [101] [934] [935] [936] [177]
-11- 1
1--1 1
.names px [141] [15] [11]
11- 1
1-1 1
.names [17] [24] [25] [36] [12]
11-- 1
1-1- 1
1--1 1
.names pa0 ph0 py po [14]
0101 1
.names [33] [41] [45] [54] [15]
--11 1
11-1 1
.names [33] [54] [1008] [1009] [24]
111- 1
11-1 1
.names pd0 pu pv pw [25]
11-0 1
1-10 1
.names pw ph0 po [36]
111 1
.names [23] [989] [991] [37]
1-1 1
-11 1
.names pe0 pw [148] [48] [43]
0--1 1
001- 1
.names pd0 [34] [52] [57] [48]
01-- 1
0-1- 1
0--1 1
.names py pn [27] [996] [52]
0011 1
.names pj pk [87] [57]
101 1
.names pj0 pc pj pm [70]
001- 1
0-11 1
.names pk pn [27] [992] [71]
0--1 1
-011 1
.names pc0 [18] [53] [82] [78]
0--1 1
011- 1
.names pl0 [28] [125] [986] [79]
-1-1 1
111- 1
.names pd0 [210] [211] [972] [82]
01-1 1
0-11 1
.names ph0 pz pn [32] [85]
1101 1
.names [90] [102] [188] [978] [94]
--11 1
11-1 1
.names pr pm [23] [980] [99]
-0-1 1
0-11 1
.names pe0 [104] [106] [100]
01- 1
0-1 1
.names pg0 pi [98] [102] [104]
0-11 1
-011 1
.names pd0 pi [132] [107] [106]
0--1 1
001- 1
.names [29] [6] [17] [982] [107]
11-1 1
-111 1
.names pd0 pc [87] [190] [188]
001- 1
00-1 1
.names pi0 py pj0 ph [190]
10-0 1
0-10 1
.names pa0 pd0 py [984] [194]
0101 1
.names pf0 ph [32] [196]
111 1
.names pu pf0 ph [197]
111 1
.names pu ph0 pz [199]
111 1
.names [33] [899] [926] [201]
011 1
.names [18] [69] [208] [206]
11- 1
1-1 1
.names pd0 pk0 [210] [211] [207]
011- 1
01-1 1
.names pv ph0 pz po [208]
111- 1
11-1 1
.names [170] [929] [210]
11 1
.names py pj0 [33] [153] [211]
0001 1
.names [6] [17] [112] [931] [216]
1111 1
.names [90] [248] [940] [942] [217]
-1-1 1
1-11 1
.names [32] [254] [944] [218]
1-1 1
-11 1
.names ph0 pn po [98] [219]
1011 1
.names pk0 [56] [115] [961] [220]
-1-1 1
111- 1
.names [32] [254] [948] [226]
1-1 1
-11 1
.names pr pm [17] [69] [228]
0-11 1
-011 1
.names pf0 pi [87] [951] [229]
0011 1
.names [29] [6] [17] [954] [231]
11-1 1
-111 1
.names [22] [236] [237] [956] [232]
11-1 1
1-11 1
.names pr pe0 pc [240] [236]
000- 1
0-01 1
.names pe0 pm [238] [237]
00- 1
-01 1
.names pd0 pe pf pg [238]
1000 1
.names pb pe pf pg [240]
0000 1
.names pi0 pj0 ph [243]
010 1
.names [177] [251] [937] [939] [248]
-1-1 1
1-11 1
.names pd0 pc [84] [938] [251]
0011 1
.names pr pv pm [17] [254]
01-1 1
-101 1
.names [28] [90] [172] [918] [258]
1111 1
.names [28] [175] [174] [921] [259]
1111 1
.names po [33] [171] [899] [260]
1011 1
.names [28] [90] [894] [895] [261]
1111 1
.names pw [265] [266] [263]
11- 1
1-1 1
.names [28] [166] [161] [267] [264]
1--1 1
111- 1
.names [33] [271] [900] [902] [265]
01-1 1
0-11 1
.names [28] [90] [164] [266]
111 1
.names pa0 py po [907] [267]
0001 1
.names pa0 pi0 py [271]
000 1
.names pm pc [894]
01 1
.names pu pv pn po [895]
000- 1
00-0 1
.names pc0 pd0 ph0 [899]
001 1
.names px pi0 py pj0 [900]
-0-1 1
010- 1
.names pz [33] [899] [901]
101 1
.names pd0 pc0 [902]
10 1
.names pr ph0 pz pm [907]
011- 1
-110 1
.names po pd0 [908]
00 1
.names pr ph0 pz pm [909]
011- 1
-110 1
.names pw pd0 [912]
11 1
.names [261] [271] [900] [901] [913]
1--- 1
-1-1 1
--11 1
.names pu pv pw [918]
100 1
.names pd0 ph0 pn po [921]
0101 1
.names pa0 pi0 py po [926]
0001 1
.names pe0 pf0 pg0 ph [929]
0000 1
.names ph0 pv [931]
11 1
.names pd0 pa0 [934]
10 1
.names pv pj0 ph [935]
00- 1
0-0 1
.names pa0 pi0 pj0 [936]
0-0 1
-10 1
.names py pe pf pg [937]
0000 1
.names pi0 py pj0 ph [938]
10-0 1
0-10 1
.names pg0 pk0 pi [939]
01- 1
-10 1
.names pc pv [940]
10 1
.names pr pj [113] [942]
001 1
.names pf0 ph pk [943]
111 1
.names pn po [27] [943] [944]
10-1 1
0-01 1
.names pr pv pa pm [947]
001- 1
-010 1
.names pf0 ph pj [948]
110 1
.names pr pd0 pe0 pm [951]
000- 1
-000 1
.names pd0 pe0 ph [954]
000 1
.names pa0 pv py [956]
000 1
.names pd0 pc [84] [118] [958]
0011 1
.names [34] [231] [958] [959]
-1- 1
1-1 1
.names [90] [226] [228] [947] [961]
-1-- 1
--1- 1
1--1 1
.names [216] [217] [218] [219] [964]
1--- 1
-1-- 1
--1- 1
---1 1
.names [201] [258] [259] [260] [965]
1--- 1
-1-- 1
--1- 1
---1 1
.names [263] [264] [913] [965] [966]
1--- 1
-1-- 1
--1- 1
---1 1
.names pc0 [206] [207] [966] [967]
---1 1
01-- 1
0-1- 1
.names pw pv [970]
01 1
.names ph0 pl0 po [972]
01- 1
-10 1
.names pr pg0 pi po [976]
00-0 1
0-00 1
.names pj pn [84] [976] [978]
0111 1
.names pg0 pi [84] [979]
0-1 1
-01 1
.names [90] [102] [188] [979] [980]
--11 1
11-1 1
.names pg0 pf0 [982]
01 1
.names pr pu pc [984]
001 1
.names [6] [17] [127] [194] [985]
---1 1
111- 1
.names [56] [85] [196] [985] [986]
-1-- 1
1-1- 1
1--1 1
.names [61] [263] [264] [913] [987]
1--- 1
-1-- 1
--1- 1
---1 1
.names pj pm pn [989]
-0- 1
0-1 1
.names pi0 pj0 ph [990]
010 1
.names pd0 pc [84] [990] [991]
0011 1
.names pj0 pb pj pm [992]
001- 1
0-10 1
.names pa0 pw py pc [994]
0000 1
.names pa0 pi0 pj0 pj [996]
0-01 1
-101 1
.names pa0 py pn [27] [1003]
0001 1
.names pj0 pj pk [1004]
010 1
.names [20] [145] [37] [1005]
--1 1
11- 1
.names pg0 pm0 pi [1006]
01- 1
-10 1
.names ph0 pz [1006] [1007]
0-1 1
-01 1
.names pb0 pq [1008]
1- 1
-1 1
.names pr pm pn po [1009]
11-- 1
--11 1
.names [141] [14] [1008] [1009] [1012]
-1-- 1
1-1- 1
1--1 1
.names [11] [12] [1012] [1014]
1-- 1
-1- 1
--1 1
.names [61] [258] [259] [260] [1015]
1--- 1
-1-- 1
--1- 1
---1 1
.end