.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] [217] [220] [963] [967] pn0
----1 1
11--- 1
1-1-- 1
1--1- 1
.names [28] [86] [986] [988] po0
---1 1
11-- 1
1-1- 1
.names pc0 [10] [1014] [1015] pp0
---1 1
01-- 1
0-1- 1
.names pq pb0 pc0 px [28]
0000 1
.names pa0 py [29]
00 1
.names pd0 pk0 [18] [169] [109] [108]
--1-1 1
01-1- 1
.names pv pw [28] [90] [179] [61]
10111 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 pr pi0 py pj0 pm [4]
010-- 1
00-1- 1
-10-0 1
-0-10 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 pi0 py pj0 [33] [153] [18]
0-10- 1
-0-01 1
.names pf0 pj0 ph [22]
--0 1
00- 1
.names pb pj pm pn [156] [38]
0---- 1
--0-- 1
-0-1- 1
-0--1 1
.names ps pt pd pk pl [156]
---0- 1
0-1-- 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 pd0 pc pe pf pg [30]
00000 1
.names pa0 px pi0 py pj0 [165]
--0-1 1
-010- 1
0-00- 1
.names [28] [165] [90] [164] [903] [159]
-1--1 1
1-11- 1
.names pa0 pr py pm [98]
000- 1
0-00 1
.names pa0 pi0 py [105]
0-0 1
-10 1
.names pf0 pi0 pj0 ph [105] [34]
---01 1
-010- 1
0-0-1 1
.names ph [33] [153] [170] [930] [169]
00-1- 1
-01-1 1
.names pa0 pd0 py [90]
010 1
.names ph0 pn po [47]
--0 1
00- 1
.names ph0 po [63]
0- 1
-0 1
.names pr pi0 py pj0 pm [173]
010-- 1
00-1- 1
-10-0 1
-0-10 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 [4] [98] [51]
---1 1
0-1- 1
-11- 1
.names pd0 pu pv ph0 pz [53]
1-1-- 1
-1-11 1
.names pd0 pw [54]
0- 1
-1 1
.names [30] [252] [253] [937] [938] [176]
-1-1- 1
--11- 1
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 pd0 pu pv [208] [109]
---1 1
110- 1
.names pr pc pm [122] [121] [120]
--0-1 1
00-1- 1
.names pr pb pm [118]
--0 1
00- 1
.names pe0 pb pe pf pg [122]
0---- 1
-0000 1
.names pd0 pe0 pe pf pg [121]
-0--- 1
1-000 1
.names pd0 pc [90] [102] [135] [134]
--11- 1
00--1 1
.names pr pb pj pm [156] [130]
---0- 1
00--- 1
0-0-1 1
.names pa0 pi0 py pj0 ph [135]
0-00- 1
-100- 1
-10-0 1
-0-10 1
.names [25] [36] [1008] [1009] [1010] [139]
1---- 1
-1--- 1
--1-1 1
---11 1
.names [29] [33] [41] [45] [54] [137]
11--- 1
---11 1
1---0 1
-11-1 1
.names pd0 pe0 pf0 pg0 pw [142]
-1--- 1
--1-- 1
---1- 1
1---0 1
.names pd0 pc [84] [105] [994] [145]
--1-1 1
0011- 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 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 pe0 [48] [49] [1005] [1007] [10]
---11 1
01--1 1
0-1-1 1
.names pd0 pu pv pw [25]
11-0 1
1-10 1
.names pw ph0 po [36]
111 1
.names pd0 [34] [87] [52] [998] [48]
01--- 1
0--1- 1
0-1-1 1
.names pw [59] [60] [49]
01- 1
0-1 1
.names py pn [27] [996] [52]
0011 1
.names [27] [68] [70] [1002] [59]
11-1 1
1-11 1
.names pa0 py [22] [150] [62] [60]
00--1 1
0011- 1
.names pj0 pc pj pk pm [62]
0010- 1
0-101 1
.names pf0 pj0 ph pk pm [68]
--011 1
00-11 1
.names pj0 pc pj pm [70]
001- 1
0-11 1
.names pk [73] [992] [71]
0-1 1
-11 1
.names ps pt pd pl pn [73]
11--0 1
-10-0 1
1--10 1
--010 1
.names pc0 pd0 [169] [83] [972] [78]
0--1- 1
001-1 1
.names py [33] [153] [41] [53] [83]
-0-11 1
001-1 1
.names pd0 [4] [98] [973] [85]
--11 1
01-1 1
.names pl0 [47] [94] [99] [100] [86]
1-1-- 1
11-1- 1
11--1 1
.names [134] [976] [977] [94]
111 1
.names [130] [980] [99]
11 1
.names pd0 pe0 [104] [107] [181] [100]
-01-- 1
00-1- 1
00--1 1
.names pg0 pi [98] [102] [104]
0-11 1
-011 1
.names pf0 pg0 [4] [98] [107]
101- 1
10-1 1
.names ph pi [6] [17] [87] [181]
-01-1 1
0011- 1
.names pd0 pf0 ph [4] [98] [196]
-11-1 1
0111- 1
.names pu pf0 ph [197]
111 1
.names pe0 pf0 pg0 [899] [926] [201]
00011 1
.names pv ph0 pz po [208]
111- 1
11-1 1
.names [176] [249] [939] [942] [217]
-1-1 1
1-11 1
.names pk0 [56] [229] [230] [961] [220]
-1--1 1
111-- 1
11-1- 1
.names pd0 pv [4] [98] [948] [226]
---11 1
0-1-1 1
-11-1 1
.names pf0 pi [87] [951] [229]
0011 1
.names [3] [120] [231] [233] [957] [230]
1-1-- 1
1--1- 1
11--1 1
.names pd0 pe0 ph [4] [98] [231]
0001- 1
000-1 1
.names [22] [30] [105] [118] [243] [233]
-1-11 1
1111- 1
.names pi0 pj0 ph [243]
010 1
.names ps pt pd pl pn [246]
0-1-0 1
-0-00 1
.names pn po [247]
10 1
.names pa0 pd0 pv py pc [249]
01001 1
.names pa0 pd0 pv pj0 ph [252]
0100- 1
010-0 1
.names pa0 pd0 pi0 pj0 pc [253]
00-00 1
-0100 1
.names [28] [90] [172] [918] [258]
1111 1
.names [28] [173] [921] [259]
111 1
.names po [33] [171] [899] [260]
1011 1
.names pc pm [28] [90] [895] [261]
10111 1
.names pz [33] [165] [899] [262]
1011 1
.names [28] [268] [906] [907] [264]
11-- 1
1-11 1
.names [161] [168] [908] [909] [912] [268]
1-11- 1
11--1 1
.names pu pv pn po [895]
000- 1
00-0 1
.names pc0 pd0 ph0 [899]
001 1
.names pc0 pd0 pe0 pf0 pg0 [903]
01000 1
.names pa0 py po [906]
000 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 pw [159] [261] [262] [914]
--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 pj0 py [930]
00 1
.names pv ph0 pz pn po [932]
11-01 1
111-0 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 pj pr [941]
00 1
.names pk pn po [246] [941] [942]
---11 1
00--1 1
-10-1 1
.names pf0 ph pk [943]
111 1
.names ph0 pn po [945]
101 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 pa0 pv py [22] [957]
0001 1
.names [4] [90] [69] [226] [947] [961]
---1- 1
1-1-- 1
-1--1 1
.names [4] [98] [932] [945] [962]
1-1- 1
-1-1 1
.names [51] [246] [247] [943] [962] [963]
----1 1
11-1- 1
1-11- 1
.names [201] [258] [259] [260] [965]
1--- 1
-1-- 1
--1- 1
---1 1
.names pc0 [108] [264] [914] [965] [967]
--1-- 1
---1- 1
----1 1
01--- 1
.names ph0 pl0 po [972]
01- 1
-10 1
.names ph0 pz pn [973]
110 1
.names pr pg0 pi po [976]
00-0 1
0-00 1
.names pe pf pg pj pn [977]
00001 1
.names pg0 pe pf pg pi [979]
0000- 1
-0000 1
.names [101] [90] [102] [135] [979] [980]
-11-1 1
1--11 1
.names pr pu pc [984]
001 1
.names [4] [90] [53] [197] [984] [985]
1-1-- 1
1--1- 1
-1--1 1
.names pn po [85] [196] [985] [986]
--1-- 1
0--1- 1
-0-1- 1
0---1 1
-0--1 1
.names [61] [78] [264] [914] [988]
1--- 1
-1-- 1
--1- 1
---1 1
.names pi0 pj0 ph [30] [991]
0101 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 pk pj [998]
01 1
.names pa0 py pn [1002]
000 1
.names [22] [38] [145] [71] [991] [1005]
--11- 1
-1--1 1
111-- 1
.names pg0 ph0 pz pm0 pi [1007]
00-1- 1
0-01- 1
-0-10 1
--010 1
.names pb0 pq [1008]
1- 1
-1 1
.names pr pm pn po [1009]
11-- 1
--11 1
.names pd0 pe0 pf0 pg0 pw [1010]
01--- 1
0-1-- 1
0--1- 1
-1--1 1
--1-1 1
---11 1
.names [29] [63] [142] [1008] [1009] [1012]
10--- 1
1-11- 1
1-1-1 1
.names px [17] [139] [137] [1012] [1014]
----1 1
-11-- 1
1--1- 1
.names [61] [258] [259] [260] [1015]
1--- 1
-1-- 1
--1- 1
---1 1
.end