| .model top |
| .inputs pa1 pb2 pp pa0 pc2 pq pb0 pc1 pr pa2 pb1 pc0 ps pd0 pe1 pf2 pt pd1 pe0 \ |
| pg2 pu pd2 pf0 pg1 pv pe2 pf1 pg0 pw ph0 pi1 pj2 px ph1 pi0 pk2 py ph2 pk1 pz \ |
| pi2 pj1 pk0 pl0 pm1 pn2 pl1 pm0 po2 pl2 pn0 po1 pm2 pn1 po0 pp0 pq1 pr2 pa pp1 \ |
| pq0 ps2 pb pp2 pr0 ps1 pq2 pr1 ps0 pt0 pu1 pv2 pt1 pu0 pt2 pv0 pw1 pg pu2 pv1 \ |
| pw0 ph px0 py1 pi px1 py0 pz0 pk pz1 pl pm pn po |
| .outputs pc3 pd4 pe5 pb3 pd5 pe4 pa3 pf4 pg5 pf5 pg4 pa5 pg3 pa4 pf3 pb4 pc5 \ |
| pe3 pb5 pc4 pd3 pk3 pl4 pm5 pj3 pl5 pm4 pi3 pn4 po5 ph3 pn5 po4 ph4 pi5 po3 \ |
| ph5 pi4 pn3 pj4 pk5 pm3 pj5 pk4 pl3 ps3 pt4 pr3 pu4 pq3 pv4 pp3 pw4 pp4 pw3 \ |
| pq4 pv3 pw2 pr4 pu3 ps4 pt3 pz2 pz3 px2 py3 px3 py2 px4 py4 pz4 |
| .names pi0 [108] pc3 |
| 01 1 |
| .names [81] [250] pd4 |
| 1- 1 |
| -1 1 |
| .names pc1 [112] pe5 |
| 01 1 |
| .names pk1 pb3 |
| 0 1 |
| .names pc1 [114] pd5 |
| 01 1 |
| .names pc1 [115] pe4 |
| 01 1 |
| .names pj1 pa3 |
| 0 1 |
| .names [116] [833] pf4 |
| 11 1 |
| .names [238] [239] pg5 |
| 1- 1 |
| -1 1 |
| .names pc1 [117] pf5 |
| 01 1 |
| .names [230] [231] pg4 |
| 1- 1 |
| -1 1 |
| .names [229] [846] pa5 |
| 1- 1 |
| -1 1 |
| .names [105] [121] pg3 |
| 11 1 |
| .names [81] [223] pa4 |
| 1- 1 |
| -1 1 |
| .names [83] [847] pf3 |
| 1- 1 |
| -1 1 |
| .names [81] [216] pb4 |
| 1- 1 |
| -1 1 |
| .names [214] [215] pc5 |
| 1- 1 |
| -1 1 |
| .names pc1 [126] pe3 |
| 01 1 |
| .names [213] [848] pb5 |
| 1- 1 |
| -1 1 |
| .names [81] [207] pc4 |
| 1- 1 |
| -1 1 |
| .names pc1 [129] pd3 |
| 01 1 |
| .names pr0 [105] pk3 |
| 11 1 |
| .names [204] [849] pl4 |
| 1- 1 |
| -1 1 |
| .names pc1 [130] pm5 |
| 01 1 |
| .names pq0 [105] pj3 |
| 11 1 |
| .names pi0 [132] pl5 |
| 01 1 |
| .names [197] [850] pm4 |
| 1- 1 |
| -1 1 |
| .names pp0 [105] pi3 |
| 11 1 |
| .names [194] [851] pn4 |
| 1- 1 |
| -1 1 |
| .names pi0 [133] po5 |
| 01 1 |
| .names po0 [105] ph3 |
| 11 1 |
| .names [188] [189] pn5 |
| 1- 1 |
| -1 1 |
| .names [187] [854] po4 |
| 1- 1 |
| -1 1 |
| .names nk11 [856] ph4 |
| 1- 1 |
| -1 1 |
| .names [179] [180] pi5 |
| 1- 1 |
| -1 1 |
| .names pi0 pa po3 |
| 01 1 |
| .names [177] [178] ph5 |
| 1- 1 |
| -1 1 |
| .names [176] [863] pi4 |
| 1- 1 |
| -1 1 |
| .names pi0 pb pn3 |
| 01 1 |
| .names [173] [864] pj4 |
| 1- 1 |
| -1 1 |
| .names [169] [170] pk5 |
| 1- 1 |
| -1 1 |
| .names pt0 [105] pm3 |
| 11 1 |
| .names pc1 [136] pj5 |
| 01 1 |
| .names [166] [871] pk4 |
| 1- 1 |
| -1 1 |
| .names ps0 [105] pl3 |
| 11 1 |
| .names pi0 py0 ps3 |
| 01 1 |
| .names [163] [872] pt4 |
| 1- 1 |
| -1 1 |
| .names pi0 px0 pr3 |
| 01 1 |
| .names [160] [873] pu4 |
| 1- 1 |
| -1 1 |
| .names pi0 pw0 pq3 |
| 01 1 |
| .names [157] [874] pv4 |
| 1- 1 |
| -1 1 |
| .names pi0 pv0 pp3 |
| 01 1 |
| .names [154] [875] pw4 |
| 1- 1 |
| -1 1 |
| .names [151] [876] pp4 |
| 1- 1 |
| -1 1 |
| .names ne11 [879] pw3 |
| 01 1 |
| .names [148] [880] pq4 |
| 1- 1 |
| -1 1 |
| .names [99] [881] pv3 |
| 1- 1 |
| -1 1 |
| .names pf1 pw2 |
| 0 1 |
| .names [145] [882] pr4 |
| 1- 1 |
| -1 1 |
| .names pa1 pi0 pu3 |
| 10 1 |
| .names [103] [883] ps4 |
| 1- 1 |
| -1 1 |
| .names pi0 pz0 pt3 |
| 01 1 |
| .names pi1 pz2 |
| 0 1 |
| .names [81] [95] pz3 |
| 1- 1 |
| -1 1 |
| .names pg1 px2 |
| 0 1 |
| .names [81] [91] py3 |
| 1- 1 |
| -1 1 |
| .names pc1 nb14 px3 |
| 01 1 |
| .names ph1 py2 |
| 0 1 |
| .names [90] [884] px4 |
| 1- 1 |
| -1 1 |
| .names [87] [885] py4 |
| 1- 1 |
| -1 1 |
| .names [77] [886] pz4 |
| 1- 1 |
| -1 1 |
| .names [254] [255] [108] |
| 1- 1 |
| -1 1 |
| .names [142] [828] [81] |
| 11 1 |
| .names [252] [253] [110] |
| 1- 1 |
| -1 1 |
| .names [244] [245] [112] |
| 1- 1 |
| -1 1 |
| .names pk2 [78] [114] |
| 01 1 |
| 10 1 |
| .names pl1 [85] [115] |
| 1- 1 |
| -1 1 |
| .names pg0 pv2 [75] |
| 0- 1 |
| -0 1 |
| .names pm1 [240] [116] |
| 1- 1 |
| -1 1 |
| .names nz13 [834] nb14 |
| 0- 1 |
| -1 1 |
| .names [234] [235] [117] |
| 1- 1 |
| -1 1 |
| .names pv2 [840] ni11 |
| 0- 1 |
| -1 1 |
| .names [107] [838] [120] |
| 1- 1 |
| -1 1 |
| .names [232] [233] [119] |
| 1- 1 |
| -1 1 |
| .names nk11 [845] [73] |
| 01 1 |
| .names ne11 [844] [74] |
| 01 1 |
| .names nk11 [843] [79] |
| 01 1 |
| .names pc1 pi0 [105] |
| 00 1 |
| .names pn0 [85] [121] |
| 1- 1 |
| -1 1 |
| .names [225] [226] [122] |
| 1- 1 |
| -1 1 |
| .names [75] [143] [83] |
| 01 1 |
| .names [218] [219] [124] |
| 1- 1 |
| -1 1 |
| .names pl0 [85] [126] |
| 1- 1 |
| -1 1 |
| .names [209] [210] [127] |
| 1- 1 |
| -1 1 |
| .names pk0 [99] [129] |
| 1- 1 |
| -1 1 |
| .names pt2 [131] [130] |
| 11 1 |
| 00 1 |
| .names [198] [199] [132] |
| 1- 1 |
| -1 1 |
| .names [190] [191] [133] |
| 1- 1 |
| -1 1 |
| .names pm2 [831] nz13 |
| 0- 1 |
| -1 1 |
| .names ne11 [842] nk11 |
| 01 1 |
| .names pe1 pm0 [82] |
| 0- 1 |
| -1 1 |
| .names nb14 [859] [76] |
| 0- 1 |
| -1 1 |
| .names pn2 nb14 [134] |
| 0- 1 |
| -0 1 |
| .names pp2 [865] [98] |
| 0- 1 |
| -1 1 |
| .names [76] [868] [135] |
| 1- 1 |
| -1 1 |
| .names [167] [168] [136] |
| 1- 1 |
| -1 1 |
| .names pi [107] ne11 |
| 01 1 |
| .names [83] [205] [99] |
| 1- 1 |
| -1 1 |
| .names [80] [823] [104] |
| 0- 1 |
| -1 1 |
| .names [97] [100] [138] |
| 1- 1 |
| -1 1 |
| .names [93] [94] [140] |
| 1- 1 |
| -1 1 |
| .names [824] [825] nl10 |
| 11 1 |
| .names nl10 [826] nn10 |
| 0- 1 |
| -1 1 |
| .names ph [837] [107] |
| 01 1 |
| .names pu2 [248] [78] |
| 1- 1 |
| -1 1 |
| .names [821] [822] [80] |
| 11 1 |
| .names nl10 [827] [142] |
| 0- 1 |
| -1 1 |
| .names pm1 ne11 [143] |
| 0- 1 |
| -1 1 |
| .names [80] [830] [85] |
| 11 1 |
| .names ph0 pt2 [109] |
| 11 1 |
| 00 1 |
| .names pt0 nn10 [111] |
| 1- 1 |
| -1 1 |
| .names pl2 [78] [113] |
| 01 1 |
| 10 1 |
| .names pm2 [78] [118] |
| 01 1 |
| 10 1 |
| .names pq0 nn10 [123] |
| 1- 1 |
| -1 1 |
| .names pr0 nn10 [125] |
| 1- 1 |
| -1 1 |
| .names ps0 nn10 [128] |
| 1- 1 |
| -1 1 |
| .names pl1 ps2 [131] |
| 0- 1 |
| -0 1 |
| .names pp2 [76] [137] |
| 0- 1 |
| -1 1 |
| .names pp0 nn10 [139] |
| 1- 1 |
| -1 1 |
| .names po0 nn10 [141] |
| 1- 1 |
| -1 1 |
| .names pg2 [79] [71] |
| 11 1 |
| .names pb0 [74] [72] |
| 11 1 |
| .names ph2 [73] [77] |
| 11 1 |
| .names pf2 [79] [84] |
| 11 1 |
| .names pa0 [74] [86] |
| 11 1 |
| .names pg2 [73] [87] |
| 11 1 |
| .names pe2 [79] [88] |
| 11 1 |
| .names pz [74] [89] |
| 11 1 |
| .names pf2 [73] [90] |
| 11 1 |
| .names pc1 [140] [91] |
| 01 1 |
| .names pf1 [141] [93] |
| 11 1 |
| .names po0 nn10 [94] |
| 10 1 |
| .names pc1 [138] [95] |
| 01 1 |
| .names pg1 [139] [97] |
| 11 1 |
| .names pp0 nn10 [100] |
| 10 1 |
| .names pz1 [79] [101] |
| 11 1 |
| .names pu [74] [102] |
| 11 1 |
| .names pa2 [73] [103] |
| 11 1 |
| .names py1 [79] [106] |
| 11 1 |
| .names pt [74] [144] |
| 11 1 |
| .names pz1 [73] [145] |
| 11 1 |
| .names px1 [79] [146] |
| 11 1 |
| .names ps [74] [147] |
| 11 1 |
| .names py1 [73] [148] |
| 11 1 |
| .names pw1 [79] [149] |
| 11 1 |
| .names pr [74] [150] |
| 11 1 |
| .names px1 [73] [151] |
| 11 1 |
| .names pd2 [79] [152] |
| 11 1 |
| .names py [74] [153] |
| 11 1 |
| .names pe2 [73] [154] |
| 11 1 |
| .names pc2 [79] [155] |
| 11 1 |
| .names px [74] [156] |
| 11 1 |
| .names pd2 [73] [157] |
| 11 1 |
| .names pb2 [79] [158] |
| 11 1 |
| .names pw [74] [159] |
| 11 1 |
| .names pc2 [73] [160] |
| 11 1 |
| .names pa2 [79] [161] |
| 11 1 |
| .names pv [74] [162] |
| 11 1 |
| .names pb2 [73] [163] |
| 11 1 |
| .names pr1 [79] [164] |
| 11 1 |
| .names pm [74] [165] |
| 11 1 |
| .names ps1 [73] [166] |
| 11 1 |
| .names nb14 [870] [167] |
| 11 1 |
| .names pq2 [137] [168] |
| 11 1 |
| .names px3 [867] [169] |
| 11 1 |
| .names [135] [869] [170] |
| 11 1 |
| .names pq1 [79] [171] |
| 11 1 |
| .names pl [74] [172] |
| 11 1 |
| .names pr1 [73] [173] |
| 11 1 |
| .names pp1 [79] [174] |
| 11 1 |
| .names pk [74] [175] |
| 11 1 |
| .names pq1 [73] [176] |
| 11 1 |
| .names [134] [861] [177] |
| 11 1 |
| .names px3 [862] [178] |
| 11 1 |
| .names px3 [858] [179] |
| 11 1 |
| .names [76] [860] [180] |
| 11 1 |
| .names pp1 [82] [181] |
| 00 1 |
| .names po1 [82] [182] |
| 11 1 |
| .names pv1 [79] [185] |
| 11 1 |
| .names pq [74] [186] |
| 11 1 |
| .names pw1 [73] [187] |
| 11 1 |
| .names nz13 [853] [188] |
| 11 1 |
| .names pu0 pn3 [189] |
| 01 1 |
| .names pv2 [852] [190] |
| 11 1 |
| .names [75] [104] [191] |
| 10 1 |
| .names pu1 [79] [192] |
| 11 1 |
| .names pp [74] [193] |
| 11 1 |
| .names pv1 [73] [194] |
| 11 1 |
| .names pt1 [79] [195] |
| 11 1 |
| .names po [74] [196] |
| 11 1 |
| .names pu1 [73] [197] |
| 11 1 |
| .names pn1 [82] [198] |
| 10 1 |
| .names pb1 [82] [199] |
| 11 1 |
| .names ps1 [79] [202] |
| 11 1 |
| .names pn [74] [203] |
| 11 1 |
| .names pt1 [73] [204] |
| 11 1 |
| .names pf0 pv2 [205] |
| 11 1 |
| .names pc1 [127] [207] |
| 01 1 |
| .names pj1 [128] [209] |
| 11 1 |
| .names ps0 nn10 [210] |
| 10 1 |
| .names pi2 [79] [211] |
| 11 1 |
| .names pd0 [74] [212] |
| 11 1 |
| .names pj2 [73] [213] |
| 11 1 |
| .names pj2 [79] [214] |
| 11 1 |
| .names pe0 [74] [215] |
| 11 1 |
| .names pc1 [124] [216] |
| 01 1 |
| .names pi1 [125] [218] |
| 11 1 |
| .names pr0 nn10 [219] |
| 10 1 |
| .names pm0 [75] [220] |
| 11 1 |
| .names pc1 [122] [223] |
| 01 1 |
| .names ph1 [123] [225] |
| 11 1 |
| .names pq0 nn10 [226] |
| 10 1 |
| .names ph2 [79] [227] |
| 11 1 |
| .names pc0 [74] [228] |
| 11 1 |
| .names pi2 [73] [229] |
| 11 1 |
| .names [119] [839] [230] |
| 11 1 |
| .names ni11 [841] [231] |
| 01 1 |
| .names po1 [82] [232] |
| 00 1 |
| .names pn1 [82] [233] |
| 11 1 |
| .names [118] [836] [234] |
| 11 1 |
| .names pl2 pm2 [235] |
| 01 1 |
| .names nb14 [835] [238] |
| 01 1 |
| .names pn2 px3 [239] |
| 01 1 |
| .names nz13 [832] [240] |
| 01 1 |
| .names pm2 [829] [244] |
| 01 1 |
| .names pk2 [113] [245] |
| 11 1 |
| .names pb pu0 [248] |
| 10 1 |
| .names pc1 [110] [250] |
| 01 1 |
| .names pk1 [111] [252] |
| 11 1 |
| .names pt0 nn10 [253] |
| 10 1 |
| .names [104] [109] [254] |
| 01 1 |
| .names ps2 [104] [255] |
| 11 1 |
| .names pq2 pi [258] |
| 00 1 |
| .names pn2 pe1 [821] |
| 11 1 |
| .names pp2 po2 [822] |
| 00 1 |
| .names [258] pr2 [823] |
| 1- 1 |
| -0 1 |
| .names pr2 po2 [824] |
| 01 1 |
| .names pq2 pp2 [825] |
| 00 1 |
| .names pn2 pe1 [826] |
| 1- 1 |
| -0 1 |
| .names pn2 pe1 [827] |
| 1- 1 |
| -0 1 |
| .names nn10 pc1 [828] |
| 00 1 |
| .names pl2 pk2 [829] |
| 10 1 |
| .names pq2 pr2 [830] |
| 00 1 |
| .names pl2 pk2 [831] |
| 0- 1 |
| -1 1 |
| .names ph pg [832] |
| 00 1 |
| .names [75] pi0 [833] |
| 10 1 |
| .names pd1 pe1 [834] |
| 1- 1 |
| -1 1 |
| .names pn2 pc1 [835] |
| 10 1 |
| .names pl2 pk2 [836] |
| 11 1 |
| .names pg ph0 [837] |
| 01 1 |
| .names [75] pm1 [838] |
| 1- 1 |
| -0 1 |
| .names [120] pi0 [839] |
| 10 1 |
| .names pm1 pi0 [840] |
| 0- 1 |
| -1 1 |
| .names pi pg0 [841] |
| 11 1 |
| .names [75] pm1 [842] |
| 01 1 |
| .names [82] pi0 [843] |
| 10 1 |
| .names ni11 pg0 [844] |
| 01 1 |
| .names [82] pi0 [845] |
| 00 1 |
| .names [227] [228] [846] |
| 1- 1 |
| -1 1 |
| .names [220] pi0 [847] |
| 1- 1 |
| -1 1 |
| .names [211] [212] [848] |
| 1- 1 |
| -1 1 |
| .names [202] [203] [849] |
| 1- 1 |
| -1 1 |
| .names [195] [196] [850] |
| 1- 1 |
| -1 1 |
| .names [192] [193] [851] |
| 1- 1 |
| -1 1 |
| .names pg0 pf0 [852] |
| 00 1 |
| .names pu2 pi0 [853] |
| 10 1 |
| .names [185] [186] [854] |
| 1- 1 |
| -1 1 |
| .names [181] pi0 [855] |
| 1- 1 |
| -1 1 |
| .names [855] [182] [856] |
| 1- 1 |
| -1 1 |
| .names po2 pn2 [857] |
| 11 1 |
| .names [857] pp2 [858] |
| 10 1 |
| .names po2 pn2 [859] |
| 0- 1 |
| -0 1 |
| .names pp2 pc1 [860] |
| 10 1 |
| .names po2 pc1 [861] |
| 10 1 |
| .names po2 pn2 [862] |
| 01 1 |
| .names [174] [175] [863] |
| 1- 1 |
| -1 1 |
| .names [171] [172] [864] |
| 1- 1 |
| -1 1 |
| .names po2 pn2 [865] |
| 0- 1 |
| -0 1 |
| .names pq2 pr2 [866] |
| 10 1 |
| .names [98] [866] [867] |
| 01 1 |
| .names pq2 pp2 [868] |
| 0- 1 |
| -0 1 |
| .names pr2 pc1 [869] |
| 10 1 |
| .names [98] pq2 [870] |
| 00 1 |
| .names [164] [165] [871] |
| 1- 1 |
| -1 1 |
| .names [161] [162] [872] |
| 1- 1 |
| -1 1 |
| .names [158] [159] [873] |
| 1- 1 |
| -1 1 |
| .names [155] [156] [874] |
| 1- 1 |
| -1 1 |
| .names [152] [153] [875] |
| 1- 1 |
| -1 1 |
| .names [149] [150] [876] |
| 1- 1 |
| -1 1 |
| .names pi0 pg0 [877] |
| 10 1 |
| .names pv2 pm1 [878] |
| 10 1 |
| .names [878] [877] [879] |
| 11 1 |
| .names [146] [147] [880] |
| 1- 1 |
| -1 1 |
| .names [104] pi0 [881] |
| 0- 1 |
| -1 1 |
| .names [106] [144] [882] |
| 1- 1 |
| -1 1 |
| .names [101] [102] [883] |
| 1- 1 |
| -1 1 |
| .names [88] [89] [884] |
| 1- 1 |
| -1 1 |
| .names [84] [86] [885] |
| 1- 1 |
| -1 1 |
| .names [71] [72] [886] |
| 1- 1 |
| -1 1 |
| .end |
