.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 [42] [50] [202] [203] [264] [914] [926] pn0
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
1-----1 1
.names pv pw [40] [179] [78] [79] [264] [914] po0
----1--- 1
-----1-- 1
------1- 1
-------1 1
1011---- 1
.names pv pw [50] [40] [179] [5] pp0
--1--- 1
-----1 1
10-11- 1
.names pq pb0 pc0 px [28]
0000 1
.names pc0 pd0 pe0 pf0 pg0 ph0 [42]
000001 1
.names [40] [173] [172] [171] [918] [922] [923] [50]
-1---1- 1
---1--1 1
1-1-1-- 1
.names pg0 pi [3]
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 pa0 pe0 pf0 pg0 px pi0 py pj0 [18]
-000-0-1 1
-000010- 1
0000-00- 1
.names pf0 pj0 ph [22]
--0 1
00- 1
.names ps pt pd pk pl pn [155]
---0-- 1
11---0 1
-10--0 1
1---10 1
--0-10 1
.names ps pt pb pd pj pk pl [23]
--0---- 1
----00- 1
0--10-- 1
-0--0-0 1
.names pd0 pc pe pf pg [30]
00000 1
.names pa0 pq pb0 pc0 pd0 px py [40]
0000100 1
.names pa0 px pi0 py pj0 [165]
--0-1 1
-010- 1
0-00- 1
.names pa0 pr pd0 pi0 py pj0 pm [32]
00--0-- 1
0---0-0 1
-0010-- 1
-000-1- 1
--010-0 1
--00-10 1
.names pa0 pf0 pi0 py pj0 ph [34]
0--0-0 1
--10-0 1
--0-10 1
00-00- 1
-0100- 1
.names ph0 pn po [47]
--0 1
00- 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 pa0 pr pd0 pv pi0 py pj0 pm [51]
00---0-- 1
0----0-0 1
-00-10-- 1
-0-110-- 1
-00-0-1- 1
-0-10-1- 1
--0-10-0 1
---110-0 1
--0-0-10 1
---10-10 1
.names pd0 pu pv ph0 pz [53]
1-1-- 1
-1-11 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 pu pj0 pa ph [102]
000- 1
0-00 1
.names pf0 ph [103]
11 1
.names pd0 pu pv ph0 pz po [109]
110--- 1
--111- 1
--11-1 1
.names ps pt pd pl pn po [116]
----10 1
0-1-0- 1
-0-00- 1
.names ps pt pd pk pl pn po [113]
---0-0- 1
-----10 1
0-1--0- 1
-0--00- 1
.names pa0 pr pi0 py pj0 pm [119]
00-0-- 1
-010-- 1
-00-1- 1
0--0-0 1
--10-0 1
--0-10 1
.names pd0 pu pf0 pv ph0 pz ph [127]
1--1--- 1
-1--11- 1
-11---1 1
.names pq pb0 pr pm pn po [143]
1----- 1
-1---- 1
--11-- 1
----11 1
.names pa0 pd0 pe0 pf0 pg0 pw py [141]
0-1---0 1
0--1--0 1
0---1-0 1
01---00 1
.names pf0 pj0 pc ph pj pk pm [151]
-00-1-- 1
-0--1-1 1
---0-11 1
00---11 1
.names pf0 pj0 pc ph pj pk pm [149]
--00--- 1
000---- 1
---01-1 1
-00-10- 1
00--1-1 1
-0--101 1
.names pr pm pn po [164]
0-0- 1
-00- 1
0--0 1
-0-0 1
.names pr pd0 pw ph0 pz pm pn po [166]
011---0- 1
-11--00- 1
011----0 1
-11--0-0 1
00-11--0 1
-0-110-0 1
.names pa0 pd0 pv pi0 pj0 pc ph [177]
010-0-- 1
00--00- 1
-0-100- 1
010---0 1
.names pc0 pe0 [48] [49] [1005] [1007] [1014] [5]
0-----1 1
0---11- 1
001--1- 1
00-1-1- 1
.names pa0 ph0 py po [14]
0101 1
.names pd0 pe0 pf0 pg0 pw pi0 py pj0 [15]
0----10- 1
----110- 1
01---0-1 1
0-1--0-1 1
0--1-0-1 1
-1--10-1 1
--1-10-1 1
---110-1 1
.names pa0 pw py pc pe pf pg [44]
0000000 1
.names pa0 pd0 pi0 py pc pe pf pg [46]
00-00000 1
-0100000 1
.names pa0 pd0 pi0 pj0 pj [34] [57] [997] [48]
-0---1-- 1
-0----1- 1
00-01--1 1
-0101--1 1
.names pa0 pw py [151] [149] [1003] [49]
-0-1-1 1
000-1- 1
.names pa0 pi0 py pj0 pj pk [57]
0-0010 1
-10010 1
.names pc0 pd0 [18] [53] [210] [211] [972] [78]
0-11--- 1
00--1-1 1
00---11 1
.names pl0 [28] [47] [94] [99] [100] [986] [79]
-1----1 1
11-1--- 1
111-1-- 1
111--1- 1
.names pr pg0 pi po [188] [189] [977] [94]
00-01-1 1
0-001-1 1
00-0-11 1
0-00-11 1
.names pm [184] [188] [189] [979] [99]
0-1-1 1
-11-1 1
0--11 1
-1-11 1
.names pd0 pe0 [102] [107] [181] [981] [100]
00-1-- 1
00--1- 1
-01--1 1
.names pa0 pr pf0 pg0 pi0 py pj0 pm [107]
0010-0-- 1
-01010-- 1
-0100-1- 1
0-10-0-0 1
--1010-0 1
--100-10 1
.names pa0 pr pi0 py pj0 ph pi pm [181]
00-00-0- 1
-0100-0- 1
-010-00- 1
-00-100- 1
0--00-00 1
--100-00 1
--10-000 1
--0-1000 1
.names pr ps pt pb pd pj pk pl [184]
0--0---- 1
0----00- 1
00--10-- 1
0-0--0-0 1
.names pa0 pd0 pi0 py pj0 pc ph [188]
00-000- 1
-01000- 1
-010-00 1
-00-100 1
.names pa0 pd0 pu py pj0 pa ph [189]
010000- 1
0100-00 1
.names pa0 pr pd0 pu py pc [194]
001001 1
.names pc0 pd0 pk0 [18] [109] [210] [211] [202]
0--11-- 1
001--1- 1
001---1 1
.names pk0 [28] [56] [217] [229] [230] [961] [963] [203]
-1-1---- 1
-1-----1 1
-11---1- 1
111-1--- 1
111--1-- 1
.names pe0 pf0 pg0 px pi0 py pj0 ph [210]
000-0-10 1
000010-0 1
.names pa0 pe0 pf0 pg0 px pi0 py pj0 [211]
-0000100 1
0000-000 1
.names [30] [113] [177] [249] [937] [938] [939] [941] [217]
-1-1---1 1
-11-1-11 1
11---111 1
.names pa0 pr ph0 py pm pn po [219]
0010-01 1
0-10001 1
.names pa0 pr pd0 pv py pa pm [225]
001001- 1
0-10010 1
.names pr pd0 pu pv pi0 py pj0 pm [228]
011010-- 1
01100-1- 1
-11010-0 1
-1100-10 1
.names pa0 pi0 py pj0 [952] [229]
0-001 1
-1001 1
.names [3] [34] [119] [236] [237] [954] [957] [958] [230]
1-1--1-- 1
1--1--1- 1
1---1-1- 1
11-----1 1
.names pr pe0 pb pc pe pf pg [236]
00-0--- 1
0-00000 1
.names pd0 pe0 pe pf pg pm [237]
-0---0 1
1-0000 1
.names pa0 pd0 pv py pc [249]
01001 1
.names pi0 py pj0 [28] [166] [267] [264]
---1-1 1
10-11- 1
0-111- 1
.names pa0 pr ph0 py pz pm po [267]
00101-0 1
0-10100 1
.names pu pv pc pm pn po [896]
00100- 1
0010-0 1
.names pc0 pd0 pe0 pf0 pg0 ph0 pz [901]
0000011 1
.names pc0 pd0 pe0 pf0 pg0 [903]
01000 1
.names pw [40] [165] [164] [896] [901] [903] [914]
-1--1-- 1
--1--1- 1
11-1--- 1
1-1---1 1
.names pu pv pw [918]
100 1
.names pq pb0 pc0 pd0 ph0 px pn po [922]
00001001 1
.names pc0 pd0 pe0 pf0 pg0 ph0 po [923]
0000011 1
.names pa0 pi0 py po [926]
0001 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 pr pd0 pe0 pf0 pi pm [952]
00000- 1
-00000 1
.names pd0 pe0 ph [954]
000 1
.names pa0 pf0 pv py pj0 ph [957]
0-00-0 1
00000- 1
.names pr pd0 pb pc pe pf pg pm [958]
-0-00000 1
0000000- 1
.names pf0 ph pj [51] [225] [228] [961]
----1- 1
-----1 1
1101-- 1
.names pf0 ph pk [4] [51] [116] [219] [932] [963]
------1- 1
---1---1 1
111-11-- 1
.names ph0 pl0 po [972]
01- 1
-10 1
.names ph0 pz pn [973]
110 1
.names pe pf pg pj pn [977]
00001 1
.names pg0 pe pf pg pi [979]
0000- 1
-0000 1
.names pa0 pr pg0 py pi pm [981]
0000-- 1
00-00- 1
0-00-0 1
0--000 1
.names pn po [4] [32] [103] [127] [194] [973] [986]
0-----1- 1
-0----1- 1
---1---1 1
0--11--- 1
-0-11--- 1
0-1--1-- 1
-01--1-- 1
.names pj pm pn [989]
-0- 1
0-1 1
.names pd0 pi0 pj0 pc pe pf pg ph [991]
00100000 1
.names pj0 pb pj pm [992]
001- 1
0-10 1
.names ps pt py pd pl pn [997]
110--0 1
-100-0 1
1-0-10 1
--0010 1
.names pa0 ps pt py pd pl pn [1003]
0110--0 1
0-100-0 1
01-0-10 1
0--0010 1
.names [22] [155] [23] [44] [46] [989] [991] [992] [1005]
--1---1- 1
-----11- 1
1-11---- 1
1-1-1--- 1
1--1-1-- 1
1---11-- 1
-1-1---1 1
-1--1--1 1
.names pg0 ph0 pz pm0 pi [1007]
00-1- 1
0-01- 1
-0-10 1
--010 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 pd0 pu pv pw ph0 po [1011]
11-0-- 1
1-10-- 1
---111 1
.names px [17] [143] [141] [14] [15] [1010] [1011] [1014]
----1--- 1
1--1---- 1
--11---- 1
1----1-- 1
-1-----1 1
-11---1- 1
.end