| .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 pc0 [203] [206] [207] [966] pn0 |
| -1--- 1 |
| ----1 1 |
| 0-1-- 1 |
| 0--1- 1 |
| .names pc0 [79] [82] [83] [987] po0 |
| -1--- 1 |
| ----1 1 |
| 0-1-- 1 |
| 0--1- 1 |
| .names pc0 [43] [1005] [1007] [1014] [1015] pp0 |
| -----1 1 |
| 0---1- 1 |
| 01-1-- 1 |
| 0-11-- 1 |
| .names pq pb0 pc0 px [28] |
| 0000 1 |
| .names pc0 pd0 pe0 pf0 pg0 ph0 [42] |
| 000001 1 |
| .names pv pw [28] [90] [179] [61] |
| 10111 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 pe0 pf0 pg0 px pi0 [7] |
| -00001 1 |
| 0000-0 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 pb [22] [155] [186] [989] [992] [20] |
| 01---- 1 |
| -1-1-- 1 |
| -1--1- 1 |
| --1--1 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 pa0 pr py pm [98] |
| 000- 1 |
| 0-00 1 |
| .names pa0 pi0 py [105] |
| 0-0 1 |
| -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 pa0 pd0 py [90] |
| 010 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 pd0 pu pv ph0 pz [53] |
| 1-1-- 1 |
| -1-11 1 |
| .names pd0 pw [54] |
| 0- 1 |
| -1 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 pu pj0 pa ph [102] |
| 000- 1 |
| 0-00 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 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 pr pb pm [118] |
| --0 1 |
| 00- 1 |
| .names pe0 pb pe pf pg [122] |
| 0---- 1 |
| -0000 1 |
| .names pr pb pm [186] [130] |
| --0- 1 |
| 00-- 1 |
| 0--1 1 |
| .names pa0 pr pi0 py pj0 pm [133] |
| 00-0-- 1 |
| -010-- 1 |
| -00-1- 1 |
| 0--0-0 1 |
| --10-0 1 |
| --0-10 1 |
| .names pa0 pi0 py pj0 ph [135] |
| 0-00- 1 |
| -100- 1 |
| -10-0 1 |
| -0-10 1 |
| .names pq pb0 pr pm pn po [143] |
| 1----- 1 |
| -1---- 1 |
| --11-- 1 |
| ----11 1 |
| .names pe0 pf0 pg0 pi0 py pj0 [138] |
| ---10- 1 |
| 1--0-1 1 |
| -1-0-1 1 |
| --10-1 1 |
| .names pd0 pe0 pf0 pg0 pw [142] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---0 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 px pi0 py pj0 [170] |
| -0-1 1 |
| 010- 1 |
| .names pa0 px py [33] [54] [138] [11] |
| -1--11 1 |
| 0101-- 1 |
| 010-0- 1 |
| .names pb [30] [186] [989] [990] [37] |
| 01--1 1 |
| -11-1 1 |
| -1-11 1 |
| .names pe0 pw [48] [59] [60] [43] |
| 0-1-- 1 |
| 00-1- 1 |
| 00--1 1 |
| .names pd0 [34] [57] [996] [997] [48] |
| 01--- 1 |
| 0-1-- 1 |
| 0--11 1 |
| .names pa0 pi0 py pj0 pj pk [57] |
| 0-0010 1 |
| -10010 1 |
| .names pa0 py pn [27] [68] [70] [59] |
| 00011- 1 |
| 0001-1 1 |
| .names pa0 py [62] [64] [60] |
| 001- 1 |
| 00-1 1 |
| .names pj0 pc pj pk pm [62] |
| 0010- 1 |
| 0-101 1 |
| .names pf0 pj0 pc ph pj pm [64] |
| --00-- 1 |
| 000--- 1 |
| ---011 1 |
| 00--11 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 pl0 [28] [94] [95] [986] [79] |
| -1--1 1 |
| 111-- 1 |
| 11-1- 1 |
| .names pd0 [7] [170] [929] [930] [972] [82] |
| 0-11-1 1 |
| 01--11 1 |
| .names py [7] [53] [212] [83] |
| --11 1 |
| 011- 1 |
| .names ph0 pz pn [98] [256] [85] |
| 1101- 1 |
| 110-1 1 |
| .names [101] [90] [102] [135] [976] [977] [94] |
| -11-11 1 |
| 1--111 1 |
| .names pe0 [47] [130] [104] [106] [980] [95] |
| 01-1-- 1 |
| 01--1- 1 |
| -11--1 1 |
| .names pu pj0 pa ph [981] [104] |
| 000-1 1 |
| 0-001 1 |
| .names pd0 pi [133] [182] [183] [982] [106] |
| 00-1-- 1 |
| 00--1- 1 |
| 0-1--1 1 |
| .names pa0 pr pi0 py pj0 pm [182] |
| 00-00- 1 |
| -0100- 1 |
| 0--000 1 |
| --1000 1 |
| .names pr pi0 py pj0 ph pm [183] |
| 010-0- 1 |
| 00-10- 1 |
| -10-00 1 |
| -0-100 1 |
| .names ps pt pd pj pk pl [186] |
| ---00- 1 |
| 0-10-- 1 |
| -0-0-0 1 |
| .names pa0 pr pd0 pu py pc [194] |
| 001001 1 |
| .names pf0 ph [98] [256] [196] |
| 111- 1 |
| 11-1 1 |
| .names pa0 pi0 py po [42] [201] |
| 00011 1 |
| .names pn po [28] [227] [961] [964] [203] |
| --1--1 1 |
| 0-11-- 1 |
| -011-- 1 |
| 0-1-1- 1 |
| -01-1- 1 |
| .names py [7] [109] [212] [206] |
| --11 1 |
| 011- 1 |
| .names pd0 pk0 [7] [170] [929] [930] [207] |
| 01-11- 1 |
| 011--1 1 |
| .names pe0 pf0 pg0 pi0 pj0 [212] |
| 00001 1 |
| .names [98] [116] [254] [256] [943] [218] |
| 11--1 1 |
| -11-1 1 |
| -1-11 1 |
| .names pg0 pk0 pi [229] [232] [959] [227] |
| -1-1-- 1 |
| 01--1- 1 |
| -10-1- 1 |
| 01---1 1 |
| -10--1 1 |
| .names pa0 pi0 py pj0 [952] [229] |
| 0-001 1 |
| -1001 1 |
| .names pr pc [122] [237] [957] [232] |
| ---11 1 |
| 001-1 1 |
| .names pd0 pe0 pe pf pg pm [237] |
| -0---0 1 |
| 1-0000 1 |
| .names [30] [252] [253] [937] [938] [939] [248] |
| -1-1-1 1 |
| --11-1 1 |
| 1---11 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 pr pv pi0 py pj0 pm [254] |
| 0110-- 1 |
| 010-1- 1 |
| -110-0 1 |
| -10-10 1 |
| .names pr pd0 pi0 py pj0 pm [256] |
| 0010-- 1 |
| 000-1- 1 |
| -010-0 1 |
| -00-10 1 |
| .names px pi0 py pj0 po [42] [260] |
| -0-111 1 |
| 010-11 1 |
| .names pw [28] [165] [90] [164] [903] [263] |
| 1-1--1 1 |
| 11-11- 1 |
| .names [28] [161] [269] [270] [906] [907] [264] |
| 111--- 1 |
| 11-1-- 1 |
| 1---11 1 |
| .names pr pd0 ph0 pz pm po [269] |
| 0011-0 1 |
| -01100 1 |
| .names pr pd0 pw pm pn po [270] |
| 011-0- 1 |
| -1100- 1 |
| 011--0 1 |
| -110-0 1 |
| .names pu pv pc pm pn po [896] |
| 00100- 1 |
| 0010-0 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 pz [28] [42] [165] [90] [896] [913] |
| 1-11-- 1 |
| -1--11 1 |
| .names pu pv pw [918] |
| 100 1 |
| .names pd0 ph0 pn po [921] |
| 0101 1 |
| .names [28] [90] [173] [172] [918] [921] [924] |
| 1-1--1 1 |
| 11-11- 1 |
| .names pe0 pf0 pg0 ph [929] |
| 0000 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 pr pj pk pn [116] [942] |
| 00--1 1 |
| 0000- 1 |
| .names pf0 ph pk [943] |
| 111 1 |
| .names pr pv pa pm [947] |
| 001- 1 |
| -010 1 |
| .names pf0 ph pj [948] |
| 110 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 [30] [34] [119] [118] [954] [959] |
| --1-1 1 |
| 11-1- 1 |
| .names pa0 pd0 py [4] [69] [947] [960] |
| ---11- 1 |
| 010--1 1 |
| .names [98] [254] [256] [948] [960] [961] |
| ----1 1 |
| 1--1- 1 |
| -1-1- 1 |
| --11- 1 |
| .names ph0 pn po [4] [98] [932] [962] |
| ---1-1 1 |
| 101-1- 1 |
| .names [218] [248] [249] [942] [962] [964] |
| 1---- 1 |
| ----1 1 |
| -1-1- 1 |
| --11- 1 |
| .names [201] [260] [263] [264] [913] [924] [966] |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names ph0 pl0 po [972] |
| 01- 1 |
| -10 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 pd0 pc [90] [102] [135] [979] [980] |
| --11-1 1 |
| 00--11 1 |
| .names pa0 pr pg0 py pi pm [981] |
| 0000-- 1 |
| 00-00- 1 |
| 0-00-0 1 |
| 0--000 1 |
| .names pg0 pf0 [982] |
| 01 1 |
| .names pu pf0 ph [4] [53] [194] [985] |
| -----1 1 |
| ---11- 1 |
| 1111-- 1 |
| .names pn po [85] [196] [985] [986] |
| --1-- 1 |
| 0--1- 1 |
| -0-1- 1 |
| 0---1 1 |
| -0--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 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 ps pt py pd pl pn [997] |
| 110--0 1 |
| -100-0 1 |
| 1-0-10 1 |
| --0010 1 |
| .names [20] [84] [101] [105] [37] [994] [1005] |
| ----1- 1 |
| 11---1 1 |
| 1111-- 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 pa0 ph0 py po [143] [142] [1012] |
| 0101-- 1 |
| 0-0-11 1 |
| .names [17] [143] [11] [1010] [1011] [1012] [1014] |
| --1--- 1 |
| -----1 1 |
| 1---1- 1 |
| 11-1-- 1 |
| .names po [42] [61] [171] [924] [1015] |
| --1-- 1 |
| ----1 1 |
| 11-1- 1 |
| .end |
