.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