| .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 |