.model top
.inputs ex1_in_8_ ex1_in_7_ ex1_in_4_ ex1_in_3_ ex1_in_6_ ex1_in_5_ ex1_in_0_ \
ex1_in_2_ ex1_in_1_ clock
.outputs ex1_out_10_ ex1_out_14_ ex1_out_13_ ex1_out_12_ ex1_out_11_ \
ex1_out_7_ ex1_out_8_ ex1_out_5_ ex1_out_6_ ex1_out_9_ ex1_out_18_ ex1_out_0_ \
ex1_out_17_ ex1_out_16_ ex1_out_15_ ex1_out_3_ ex1_out_4_ ex1_out_1_ \
ex1_out_2_
.latch    n_n75 n_n219 re clock 2
.latch    n_n76 n_n220 re clock 2
.latch    n_n77 n_n221 re clock 2
.latch    n_n78 n_n222 re clock 2
.latch    n_n79 n_n223 re clock 2
.names [147] [636] ex1_out_10_
1- 1
-1 1
.names ex1_out_17_ [131] ex1_out_14_
1- 1
-1 1
.names ex1_out_18_ [638] ex1_out_13_
11 1
.names [124] [643] ex1_out_12_
1- 1
-1 1
.names ex1_in_7_ [94] ex1_out_11_
11 1
.names ex1_out_8_ [119] ex1_out_7_
1- 1
-1 1
.names n_n222 [72] ex1_out_8_
01 1
.names ex1_out_4_ [117] ex1_out_5_
1- 1
-1 1
.names [651] [652] ex1_out_6_
1- 1
-1 1
.names ex1_in_3_ [98] ex1_out_9_
11 1
.names [69] [74] ex1_out_18_
11 1
.names [104] [105] ex1_out_0_
1- 1
-1 1
.names ex1_out_11_ [40] ex1_out_17_
1- 1
-1 1
.names [40] [64] ex1_out_16_
1- 1
-1 1
.names [56] [660] ex1_out_15_
1- 1
-1 1
.names [79] [661] ex1_out_3_
11 1
.names [66] [645] ex1_out_4_
11 1
.names [41] [44] ex1_out_1_
1- 1
-1 1
.names ex1_in_0_ ex1_out_1_ ex1_out_2_
11 1
.names [194] [607] n_n75
1- 1
-1 1
.names [614] [615] n_n76
1- 1
-1 1
.names [165] [166] n_n77
1- 1
-1 1
.names [630] [631] n_n78
1- 1
-1 1
.names [634] [635] n_n79
1- 1
-1 1
.names [32] [637] [40]
1- 1
-1 1
.names n_n222 [67] [31]
11 1
.names [191] [192] [42]
1- 1
-1 1
.names [68] [37] [43]
11 1
.names [36] [608] [51]
11 1
.names n_n219 n_n221 [69]
00 1
.names [38] [598] [73]
11 1
.names [78] [49] [79]
1- 1
-1 1
.names [133] [134] [80]
1- 1
-1 1
.names [38] [603] [36]
11 1
.names n_n220 n_n222 [75]
10 1
.names ex1_in_1_ [31] [68]
11 1
.names [121] [122] [84]
1- 1
-1 1
.names n_n222 n_n223 [66]
01 1
.names ex1_in_4_ n_n221 [38]
11 1
.names n_n221 [71] [52]
01 1
.names [37] [627] [65]
11 1
.names ex1_in_7_ n_n223 [74]
00 1
.names [35] [657] [87]
1- 1
-1 1
.names [59] [60] [85]
1- 1
-1 1
.names [623] [624] [90]
1- 1
-1 1
.names [616] [617] [88]
1- 1
-1 1
.names n_n220 n_n221 [70]
11 1
.names n_n219 n_n223 [71]
10 1
.names ex1_in_7_ ex1_in_4_ [67]
01 1
.names n_n219 [36] [72]
11 1
.names n_n219 n_n223 [77]
01 1
.names ex1_in_7_ [189] [93]
1- 1
-1 1
.names [52] [144] [94]
1- 1
-1 1
.names ex1_in_6_ ex1_in_1_ [39]
0- 1
-0 1
.names [594] [595] [48]
11 1
.names [31] [37] [78]
11 1
.names [601] [602] [96]
1- 1
-1 1
.names ex1_out_18_ [199] [95]
1- 1
-1 1
.names [46] [663] [97]
1- 1
-1 1
.names [108] [653] [98]
1- 1
-1 1
.names [106] [107] [100]
1- 1
-1 1
.names [67] [599] [34]
11 1
.names [31] [625] [54]
11 1
.names n_n220 [31] [76]
01 1
.names n_n220 [39] [101]
0- 1
-1 1
.names [157] [158] [32]
1- 1
-1 1
.names n_n220 n_n221 [37]
00 1
.names [128] [640] [102]
1- 1
-1 1
.names [154] [632] [35]
1- 1
-1 1
.names [621] [622] [33]
1- 1
-1 1
.names [137] [138] [82]
1- 1
-1 1
.names n_n220 [135] [81]
1- 1
-1 1
.names [37] [139] [83]
1- 1
-1 1
.names ex1_in_7_ ex1_in_1_ [86]
1- 1
-0 1
.names n_n219 n_n222 [89]
1- 1
-1 1
.names [177] [178] [92]
1- 1
-1 1
.names [175] [176] [91]
1- 1
-1 1
.names n_n219 n_n220 [99]
1- 1
-1 1
.names [68] [662] [41]
11 1
.names n_n219 [97] [44]
11 1
.names n_n220 [36] [45]
11 1
.names ex1_in_1_ [34] [46]
11 1
.names n_n221 [34] [49]
01 1
.names [74] [656] [53]
11 1
.names [38] [85] [55]
11 1
.names ex1_in_4_ [87] [56]
11 1
.names n_n222 [86] [59]
11 1
.names ex1_in_2_ n_n219 [60]
00 1
.names n_n222 [37] [61]
11 1
.names [36] [75] [64]
11 1
.names [654] [655] [104]
11 1
.names n_n220 [100] [105]
11 1
.names n_n222 [73] [106]
01 1
.names [69] [68] [107]
11 1
.names n_n223 [99] [108]
11 1
.names [73] [648] [111]
11 1
.names [31] [69] [112]
11 1
.names n_n219 [51] [113]
01 1
.names [646] [647] [117]
11 1
.names [68] [84] [119]
11 1
.names n_n221 [644] [121]
11 1
.names n_n219 [37] [122]
11 1
.names [31] [639] [123]
11 1
.names ex1_in_6_ [102] [124]
01 1
.names [54] [37] [125]
11 1
.names ex1_in_7_ [65] [128]
01 1
.names ex1_in_1_ [80] [131]
11 1
.names [38] [81] [133]
11 1
.names ex1_in_4_ [82] [134]
11 1
.names n_n219 n_n222 [135]
10 1
.names n_n222 [83] [137]
11 1
.names n_n220 [66] [138]
11 1
.names n_n219 n_n220 [139]
00 1
.names ex1_in_4_ [52] [141]
01 1
.names ex1_in_5_ ex1_out_18_ [142]
11 1
.names ex1_in_4_ [33] [144]
11 1
.names n_n220 [71] [146]
11 1
.names [68] [70] [147]
11 1
.names [67] [35] [149]
11 1
.names n_n219 [75] [154]
11 1
.names n_n220 [71] [157]
11 1
.names ex1_in_4_ [65] [158]
01 1
.names [101] [626] [159]
11 1
.names [39] [76] [160]
11 1
.names ex1_in_6_ [72] [161]
01 1
.names [65] [67] [162]
11 1
.names ex1_in_1_ [34] [163]
11 1
.names [38] [88] [165]
11 1
.names ex1_in_4_ [90] [166]
11 1
.names ex1_in_2_ [89] [167]
00 1
.names ex1_in_1_ [89] [168]
01 1
.names ex1_in_6_ n_n220 [169]
01 1
.names [91] [618] [171]
11 1
.names [92] [620] [172]
11 1
.names [71] [37] [173]
11 1
.names ex1_in_7_ [33] [174]
11 1
.names n_n220 [69] [175]
11 1
.names ex1_in_6_ [37] [176]
01 1
.names n_n222 [619] [177]
11 1
.names n_n219 [66] [178]
01 1
.names n_n219 n_n221 [179]
11 1
.names n_n220 n_n222 [180]
01 1
.names [609] [610] [183]
11 1
.names [93] [611] [184]
11 1
.names ex1_in_6_ [72] [185]
11 1
.names n_n220 [68] [186]
01 1
.names ex1_in_6_ ex1_in_5_ [189]
00 1
.names [31] [70] [191]
11 1
.names n_n221 [34] [192]
01 1
.names ex1_in_6_ [95] [193]
01 1
.names n_n219 [96] [194]
11 1
.names [39] [78] [195]
01 1
.names n_n220 [36] [196]
11 1
.names ex1_in_5_ ex1_out_18_ [197]
11 1
.names [596] [597] [199]
11 1
.names ex1_in_6_ [76] [201]
01 1
.names [74] [37] [202]
11 1
.names ex1_in_1_ [34] [203]
01 1
.names n_n221 [31] [204]
11 1
.names n_n219 ex1_in_2_ [594]
01 1
.names [38] n_n223 [595]
10 1
.names n_n222 n_n219 [596]
00 1
.names [37] [67] [597]
11 1
.names ex1_in_1_ ex1_in_7_ [598]
00 1
.names [66] n_n220 [599]
11 1
.names [202] [73] [600]
1- 1
-1 1
.names [600] [204] [601]
1- 1
-1 1
.names [203] [201] [602]
1- 1
-1 1
.names ex1_in_1_ ex1_in_7_ [603]
10 1
.names [196] [48] [604]
1- 1
-1 1
.names [195] [197] [605]
1- 1
-1 1
.names [193] [604] [606]
1- 1
-1 1
.names [606] [605] [607]
1- 1
-1 1
.names n_n223 n_n220 [608]
10 1
.names n_n220 ex1_in_1_ [609]
10 1
.names [77] [67] [610]
11 1
.names [69] n_n223 [611]
10 1
.names [183] [51] [612]
1- 1
-1 1
.names [185] [184] [613]
1- 1
-1 1
.names [612] [186] [614]
1- 1
-1 1
.names [613] [42] [615]
1- 1
-1 1
.names [169] [66] [616]
1- 1
-1 1
.names [168] [167] [617]
1- 1
-1 1
.names n_n222 ex1_in_1_ [618]
11 1
.names n_n219 ex1_in_1_ [619]
10 1
.names n_n220 ex1_in_6_ [620]
01 1
.names [77] [75] [621]
1- 1
-1 1
.names [180] [179] [622]
1- 1
-1 1
.names [171] [173] [623]
1- 1
-1 1
.names [174] [172] [624]
1- 1
-1 1
.names n_n219 ex1_in_1_ [625]
00 1
.names [31] n_n221 [626]
11 1
.names [66] n_n219 [627]
10 1
.names [159] [54] [628]
1- 1
-1 1
.names [161] [160] [629]
1- 1
-1 1
.names [163] [162] [630]
1- 1
-1 1
.names [629] [628] [631]
1- 1
-1 1
.names [77] [70] [632]
1- 1
-1 1
.names [48] [72] [633]
1- 1
-1 1
.names [149] [76] [634]
1- 1
-1 1
.names [32] [633] [635]
1- 1
-1 1
.names [43] [146] [636]
1- 1
-1 1
.names [142] [141] [637]
1- 1
-1 1
.names ex1_in_5_ ex1_in_6_ [638]
00 1
.names [39] [70] [639]
11 1
.names ex1_out_8_ [78] [640]
1- 1
-1 1
.names [123] ex1_out_13_ [641]
1- 1
-1 1
.names [641] [125] [642]
1- 1
-1 1
.names [642] [32] [643]
1- 1
-1 1
.names n_n220 n_n219 [644]
00 1
.names n_n220 n_n219 [645]
01 1
.names n_n220 n_n219 [646]
11 1
.names n_n222 n_n221 [647]
10 1
.names n_n223 n_n222 [648]
10 1
.names [112] [111] [649]
1- 1
-1 1
.names [43] ex1_out_8_ [650]
1- 1
-1 1
.names [649] [113] [651]
1- 1
-1 1
.names [650] [42] [652]
1- 1
-1 1
.names n_n222 n_n221 [653]
1- 1
-1 1
.names n_n220 ex1_in_7_ [654]
00 1
.names [38] [66] [655]
11 1
.names n_n221 ex1_in_5_ [656]
01 1
.names [61] [71] [657]
1- 1
-1 1
.names [53] [52] [658]
1- 1
-1 1
.names [658] [65] [659]
1- 1
-1 1
.names [659] [55] [660]
1- 1
-1 1
.names n_n219 ex1_in_1_ [661]
01 1
.names n_n221 n_n219 [662]
10 1
.names [43] [45] [663]
1- 1
-1 1
.end