.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 [203] [967] pn0
1- 1
-1 1
.names [79] [988] po0
1- 1
-1 1
.names [5] [1015] pp0
1- 1
-1 1
.names [891] [892] [28]
11 1
.names pa0 py [29]
00 1
.names [264] [914] [31]
1- 1
-1 1
.names [33] [899] [42]
01 1
.names [260] [924] [50]
1- 1
-1 1
.names [220] [964] [111]
1- 1
-1 1
.names [206] [207] [108]
1- 1
-1 1
.names [179] [971] [61]
11 1
.names [86] [986] [124]
1- 1
-1 1
.names [82] [83] [123]
1- 1
-1 1
.names [10] [1014] [136]
1- 1
-1 1
.names pg0 pi [3]
0- 1
-0 1
.names pr pm [6]
0- 1
-0 1
.names [41] [45] [17]
1- 1
-1 1
.names [6] [17] [4]
11 1
.names pg0 [897] [33]
1- 1
-1 1
.names [214] [215] [153]
1- 1
-1 1
.names [33] [153] [7]
01 1
.names pi0 pj0 [41]
01 1
.names pi0 py [45]
10 1
.names [212] [213] [18]
1- 1
-1 1
.names ph [244] [22]
0- 1
-1 1
.names [23] [989] [38]
1- 1
-1 1
.names pj0 pj [97]
01 1
.names pk [73] [155]
0- 1
-1 1
.names pb pm [154]
0- 1
-0 1
.names [71] [72] [20]
1- 1
-1 1
.names pk [27] [156]
0- 1
-0 1
.names pb [186] [23]
0- 1
-1 1
.names pa0 pi0 [26]
0- 1
-1 1
.names pt pl [158]
1- 1
-1 1
.names ps pd [157]
1- 1
-0 1
.names [158] [157] [27]
11 1
.names pg [933] [84]
01 1
.names pd0 pc [101]
00 1
.names [84] [101] [30]
11 1
.names [28] [90] [40]
11 1
.names [271] [900] [165]
1- 1
-1 1
.names pn po [163]
0- 1
-0 1
.names [267] [268] [160]
1- 1
-1 1
.names [265] [266] [159]
1- 1
-1 1
.names [29] [6] [98]
11 1
.names [98] [256] [32]
1- 1
-1 1
.names py [26] [105]
01 1
.names [242] [243] [34]
1- 1
-1 1
.names [210] [211] [169]
1- 1
-1 1
.names pd0 [169] [35]
01 1
.names pd0 [29] [90]
11 1
.names po [192] [47]
0- 1
-1 1
.names ph0 po [63]
0- 1
-0 1
.names [175] [174] [173]
11 1
.names [915] [916] [172]
1- 1
-1 1
.names [41] [96] [171]
1- 1
-1 1
.names [32] [254] [51]
1- 1
-1 1
.names ph0 pz [67]
0- 1
-0 1
.names [199] [200] [53]
1- 1
-1 1
.names pd0 pw [54]
0- 1
-1 1
.names [250] [251] [176]
1- 1
-1 1
.names [248] [249] [55]
1- 1
-1 1
.names pn po [56]
0- 1
-0 1
.names [968] [969] [179]
1- 1
-1 1
.names pv [927] [69]
01 1
.names pj0 [105] [87]
01 1
.names pr po [88]
00 1
.names pr pn [89]
00 1
.names pm pn [91]
00 1
.names pm po [92]
00 1
.names px [45] [96]
01 1
.names pj0 ph [180]
0- 1
-0 1
.names [180] [974] [102]
11 1
.names pf0 ph [103]
11 1
.names [69] [208] [109]
1- 1
-1 1
.names pz po [110]
1- 1
-1 1
.names [246] [247] [116]
1- 1
-1 1
.names [227] [961] [114]
1- 1
-1 1
.names [116] [223] [113]
1- 1
-1 1
.names [221] [222] [112]
1- 1
-1 1
.names [229] [230] [115]
1- 1
-1 1
.names [232] [959] [117]
1- 1
-1 1
.names [236] [237] [120]
1- 1
-1 1
.names [4] [98] [119]
1- 1
-1 1
.names pm [234] [118]
0- 1
-1 1
.names pe0 [240] [122]
0- 1
-1 1
.names pe0 [238] [121]
0- 1
-1 1
.names [196] [985] [126]
1- 1
-1 1
.names [94] [95] [125]
1- 1
-1 1
.names [188] [189] [134]
1- 1
-1 1
.names [99] [100] [128]
1- 1
-1 1
.names [53] [197] [127]
1- 1
-1 1
.names pm [184] [130]
0- 1
-1 1
.names [104] [106] [129]
1- 1
-1 1
.names [107] [181] [131]
1- 1
-1 1
.names [4] [98] [133]
1- 1
-1 1
.names [182] [183] [132]
1- 1
-1 1
.names [87] [190] [135]
1- 1
-1 1
.names [43] [1005] [144]
1- 1
-1 1
.names [1008] [1009] [143]
1- 1
-1 1
.names [29] [142] [141]
11 1
.names [24] [1011] [139]
1- 1
-1 1
.names [141] [15] [137]
1- 1
-1 1
.names [45] [19] [138]
1- 1
-1 1
.names pu pv [140]
1- 1
-1 1
.names [33] [54] [142]
1- 1
-0 1
.names [48] [49] [146]
1- 1
-1 1
.names [44] [46] [145]
1- 1
-1 1
.names [59] [60] [148]
1- 1
-1 1
.names [57] [999] [147]
1- 1
-1 1
.names [68] [70] [151]
1- 1
-1 1
.names [62] [64] [149]
1- 1
-1 1
.names pc pm [152]
0- 1
-1 1
.names pc [65] [150]
0- 1
-1 1
.names [904] [905] [164]
1- 1
-1 1
.names [269] [270] [166]
1- 1
-1 1
.names pr pm [162]
0- 1
-0 1
.names [41] [45] [161]
1- 1
-1 1
.names [910] [911] [168]
1- 1
-1 1
.names pr pm [167]
0- 1
-0 1
.names [41] [96] [170]
1- 1
-1 1
.names [41] [45] [175]
1- 1
-1 1
.names pr pm [174]
0- 1
-0 1
.names [252] [253] [177]
1- 1
-1 1
.names pj0 ph [178]
0- 1
-0 1
.names pc0 [136] [5]
01 1
.names [144] [1007] [10]
11 1
.names px [137] [11]
11 1
.names [17] [139] [12]
11 1
.names [143] [141] [13]
11 1
.names [29] [63] [14]
10 1
.names [54] [138] [15]
11 1
.names [33] [41] [19]
11 1
.names [143] [1010] [24]
11 1
.names [54] [140] [25]
01 1
.names pw [63] [36]
10 1
.names [38] [991] [37]
11 1
.names [20] [145] [39]
11 1
.names pe0 [146] [43]
01 1
.names [84] [994] [44]
11 1
.names [30] [105] [46]
11 1
.names pd0 [147] [48]
01 1
.names pw [148] [49]
01 1
.names [996] [997] [52]
11 1
.names [87] [998] [57]
11 1
.names [151] [1003] [59]
11 1
.names [29] [149] [60]
11 1
.names [152] [1004] [62]
11 1
.names [22] [150] [64]
11 1
.names pj pm [65]
11 1
.names [22] [1000] [68]
11 1
.names [97] [152] [70]
11 1
.names [155] [992] [71]
11 1
.names [22] [38] [72]
11 1
.names pn [27] [73]
01 1
.names pj pn [75]
01 1
.names pc0 [123] [78]
01 1
.names [28] [124] [79]
11 1
.names [35] [972] [82]
11 1
.names [18] [53] [83]
11 1
.names [32] [973] [85]
11 1
.names pl0 [125] [86]
11 1
.names [56] [126] [93]
11 1
.names [134] [978] [94]
11 1
.names [47] [128] [95]
11 1
.names [130] [980] [99]
11 1
.names pe0 [129] [100]
01 1
.names [102] [981] [104]
11 1
.names pd0 [131] [106]
01 1
.names [133] [982] [107]
11 1
.names pi [132] [181]
01 1
.names [6] [87] [182]
11 1
.names ph [4] [183]
01 1
.names pr [23] [184]
01 1
.names pj [156] [186]
01 1
.names [101] [135] [188]
11 1
.names [90] [102] [189]
11 1
.names ph [17] [190]
01 1
.names ph0 pn [192]
00 1
.names [90] [984] [194]
11 1
.names [4] [127] [195]
11 1
.names [32] [103] [196]
11 1
.names pu [103] [197]
11 1
.names pu [67] [199]
10 1
.names pd0 pv [200]
11 1
.names [42] [926] [201]
11 1
.names pc0 [108] [202]
01 1
.names [28] [111] [203]
11 1
.names [18] [109] [206]
11 1
.names pk0 [35] [207]
11 1
.names [110] [928] [208]
11 1
.names [170] [929] [210]
11 1
.names [7] [930] [211]
11 1
.names [33] [41] [212]
01 1
.names py [7] [213]
01 1
.names pa0 pi0 [214]
00 1
.names px pi0 [215]
01 1
.names [4] [932] [216]
11 1
.names [55] [942] [217]
11 1
.names [51] [944] [218]
11 1
.names [98] [945] [219]
11 1
.names [56] [114] [220]
11 1
.names pz po [221]
10 1
.names pn po [222]
01 1
.names pk pn [223]
00 1
.names [90] [947] [225]
11 1
.names [51] [948] [226]
11 1
.names pk0 [115] [227]
11 1
.names [4] [69] [228]
11 1
.names [87] [952] [229]
11 1
.names [3] [117] [230]
11 1
.names [119] [954] [231]
11 1
.names [120] [957] [232]
11 1
.names [34] [958] [233]
11 1
.names pr pb [234]
00 1
.names [122] [955] [236]
11 1
.names pm [121] [237]
01 1
.names pd0 [84] [238]
11 1
.names pb [84] [240]
01 1
.names [22] [105] [242]
11 1
.names ph [41] [243]
01 1
.names pf0 pj0 [244]
00 1
.names pn [27] [246]
00 1
.names pn po [247]
10 1
.names [176] [939] [248]
11 1
.names [90] [940] [249]
11 1
.names [177] [937] [250]
11 1
.names [30] [938] [251]
11 1
.names [934] [935] [252]
11 1
.names [101] [936] [253]
11 1
.names pv [4] [254]
11 1
.names pd0 [4] [256]
01 1
.names [172] [919] [258]
11 1
.names [173] [922] [259]
11 1
.names [171] [923] [260]
11 1
.names [40] [896] [261]
11 1
.names [165] [901] [262]
11 1
.names pw [159] [263]
11 1
.names [28] [160] [264]
11 1
.names [165] [903] [265]
11 1
.names [40] [164] [266]
11 1
.names [906] [907] [267]
11 1
.names [166] [161] [268]
11 1
.names [908] [909] [269]
11 1
.names [168] [912] [270]
11 1
.names pi0 [29] [271]
01 1
.names pb0 pq [891]
00 1
.names px pc0 [892]
00 1
.names pv pu [893]
00 1
.names pm pc [894]
01 1
.names [893] [163] [895]
11 1
.names [895] [894] [896]
11 1
.names pf0 pe0 [897]
1- 1
-1 1
.names pd0 pc0 [898]
00 1
.names [898] ph0 [899]
11 1
.names [96] [41] [900]
1- 1
-1 1
.names [42] pz [901]
11 1
.names pd0 pc0 [902]
10 1
.names [33] [902] [903]
01 1
.names [89] [88] [904]
1- 1
-1 1
.names [92] [91] [905]
1- 1
-1 1
.names [29] po [906]
10 1
.names [162] [67] [907]
10 1
.names po pd0 [908]
00 1
.names [167] [67] [909]
10 1
.names [89] [88] [910]
1- 1
-1 1
.names [92] [91] [911]
1- 1
-1 1
.names pw pd0 [912]
11 1
.names [262] [261] [913]
1- 1
-1 1
.names [263] [913] [914]
1- 1
-1 1
.names [89] [88] [915]
1- 1
-1 1
.names [92] [91] [916]
1- 1
-1 1
.names pv pu [917]
01 1
.names [917] pw [918]
10 1
.names [40] [918] [919]
11 1
.names pn pd0 [920]
00 1
.names [920] [63] [921]
10 1
.names [921] [28] [922]
11 1
.names [42] po [923]
11 1
.names [258] [259] [924]
1- 1
-1 1
.names po pi0 [925]
10 1
.names [925] [29] [926]
11 1
.names pu pd0 [927]
11 1
.names ph0 pv [928]
11 1
.names [33] ph [929]
00 1
.names pj0 py [930]
00 1
.names ph0 pv [931]
11 1
.names [112] [931] [932]
11 1
.names pf pe [933]
00 1
.names pd0 pa0 [934]
10 1
.names [178] pv [935]
10 1
.names [26] pj0 [936]
10 1
.names [84] py [937]
10 1
.names [17] ph [938]
10 1
.names [3] pk0 [939]
11 1
.names pc pv [940]
10 1
.names pj pr [941]
00 1
.names [113] [941] [942]
11 1
.names [103] pk [943]
11 1
.names [116] [943] [944]
11 1
.names [63] pn [945]
00 1
.names pa pv [946]
10 1
.names [946] [6] [947]
11 1
.names [103] pj [948]
10 1
.names pe0 pd0 [949]
00 1
.names pi pf0 [950]
00 1
.names [949] [6] [951]
11 1
.names [951] [950] [952]
11 1
.names pe0 pd0 [953]
00 1
.names [953] ph [954]
10 1
.names pc pr [955]
00 1
.names [29] pv [956]
10 1
.names [956] [22] [957]
11 1
.names [30] [118] [958]
11 1
.names [233] [231] [959]
1- 1
-1 1
.names [228] [225] [960]
1- 1
-1 1
.names [226] [960] [961]
1- 1
-1 1
.names [216] [219] [962]
1- 1
-1 1
.names [218] [962] [963]
1- 1
-1 1
.names [217] [963] [964]
1- 1
-1 1
.names [50] [201] [965]
1- 1
-1 1
.names [31] [965] [966]
1- 1
-1 1
.names [966] [202] [967]
1- 1
-1 1
.names [89] [88] [968]
1- 1
-1 1
.names [92] [91] [969]
1- 1
-1 1
.names pw pv [970]
01 1
.names [40] [970] [971]
11 1
.names [63] pl0 [972]
11 1
.names [67] pn [973]
00 1
.names pa pu [974]
00 1
.names pn pj [975]
10 1
.names [88] [3] [976]
11 1
.names [84] [975] [977]
11 1
.names [977] [976] [978]
11 1
.names [84] [3] [979]
11 1
.names [134] [979] [980]
11 1
.names [98] [3] [981]
11 1
.names pg0 pf0 [982]
01 1
.names pu pr [983]
00 1
.names [983] pc [984]
11 1
.names [195] [194] [985]
1- 1
-1 1
.names [93] [85] [986]
1- 1
-1 1
.names [31] [61] [987]
1- 1
-1 1
.names [987] [78] [988]
1- 1
-1 1
.names [75] pm [989]
1- 1
-0 1
.names [41] ph [990]
10 1
.names [30] [990] [991]
11 1
.names [154] [97] [992]
11 1
.names pc pw [993]
00 1
.names [993] [29] [994]
11 1
.names pn py [995]
00 1
.names [26] [97] [996]
11 1
.names [27] [995] [997]
11 1
.names pk pj [998]
01 1
.names [52] [34] [999]
1- 1
-1 1
.names pm pk [1000]
11 1
.names py pa0 [1001]
00 1
.names [1001] pn [1002]
10 1
.names [1002] [27] [1003]
11 1
.names [97] pk [1004]
10 1
.names [39] [37] [1005]
1- 1
-1 1
.names [3] pm0 [1006]
11 1
.names [1006] [67] [1007]
11 1
.names pb0 pq [1008]
1- 1
-1 1
.names [56] [6] [1009]
0- 1
-0 1
.names [33] [54] [1010]
11 1
.names [36] [25] [1011]
1- 1
-1 1
.names [13] [14] [1012]
1- 1
-1 1
.names [1012] [12] [1013]
1- 1
-1 1
.names [1013] [11] [1014]
1- 1
-1 1
.names [50] [61] [1015]
1- 1
-1 1
.end