.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 n_n220 n_n221 [68] [71] ex1_out_10_
1--1 1
111- 1
001- 1
.names ex1_in_1_ ex1_out_17_ [133] [134] ex1_out_14_
-1-- 1
1-1- 1
1--1 1
.names ex1_in_6_ ex1_in_5_ ex1_out_18_ ex1_out_13_
001 1
.names [32] [124] [125] [641] ex1_out_12_
1--- 1
-1-- 1
--1- 1
---1 1
.names ex1_in_7_ [94] ex1_out_11_
11 1
.names ex1_out_8_ [68] [84] ex1_out_7_
1-- 1
-11 1
.names n_n219 n_n222 [36] ex1_out_8_
101 1
.names ex1_out_4_ [117] ex1_out_5_
1- 1
-1 1
.names [113] [649] [652] ex1_out_6_
1-- 1
-1- 1
--1 1
.names ex1_in_3_ n_n221 n_n222 [108] ex1_out_9_
11-- 1
1-1- 1
1--1 1
.names ex1_in_7_ n_n219 n_n221 n_n223 ex1_out_18_
0000 1
.names ex1_in_7_ n_n220 [100] [655] ex1_out_0_
-11- 1
00-1 1
.names ex1_in_7_ [94] [32] [637] ex1_out_17_
--1- 1
---1 1
11-- 1
.names [36] [75] [32] [637] ex1_out_16_
--1- 1
---1 1
11-- 1
.names ex1_in_4_ [87] [55] [659] ex1_out_15_
--1- 1
---1 1
11-- 1
.names ex1_in_1_ n_n219 [78] [49] ex1_out_3_
101- 1
10-1 1
.names n_n219 n_n220 n_n222 n_n223 ex1_out_4_
1001 1
.names n_n219 [41] [46] [663] ex1_out_1_
-1-- 1
1-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 n_n220 [68] [612] [615] n_n76
--1- 1
---1 1
01-- 1
.names [38] [166] [616] [617] n_n77
-1-- 1
1-1- 1
1--1 1
.names [162] [163] [631] n_n78
1-- 1
-1- 1
--1 1
.names [32] [633] [634] n_n79
1-- 1
-1- 1
--1 1
.names ex1_in_7_ ex1_in_4_ n_n222 [31]
011 1
.names n_n220 n_n221 [68] [43]
001 1
.names n_n219 n_n221 [69]
00 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n221 [73]
0101 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n221 [36]
0111 1
.names n_n220 n_n222 [75]
10 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n222 [68]
0111 1
.names n_n219 n_n220 n_n221 [84]
001 1
100 1
.names ex1_in_4_ n_n221 [38]
11 1
.names n_n219 n_n221 n_n223 [52]
100 1
.names [71] [61] [154] [632] [87]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n219 n_n223 [71]
10 1
.names ex1_in_7_ ex1_in_4_ [67]
01 1
.names ex1_in_4_ [52] [621] [622] [94]
-1-- 1
1-1- 1
1--1 1
.names ex1_in_6_ ex1_in_1_ [39]
0- 1
-0 1
.names n_n220 n_n221 [31] [78]
001 1
.names n_n222 [69] [73] [68] [100]
0-1- 1
-1-1 1
.names ex1_in_7_ ex1_in_4_ n_n220 n_n222 [76]
0101 1
.names ex1_in_6_ ex1_in_1_ n_n220 [101]
0-- 1
-0- 1
--0 1
.names ex1_in_4_ [37] [157] [627] [32]
--1- 1
01-1 1
.names n_n220 n_n221 [37]
00 1
.names n_n219 n_n220 n_n222 [81]
-1- 1
1-0 1
.names ex1_in_1_ n_n219 n_n222 n_n223 [92]
011- 1
-001 1
.names ex1_in_6_ n_n219 n_n220 n_n221 [91]
-010 1
0-00 1
.names n_n219 n_n221 [68] [41]
011 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ [599] [46]
0111 1
.names ex1_in_7_ ex1_in_4_ n_n221 [599] [49]
0101 1
.names ex1_in_7_ ex1_in_5_ n_n221 n_n223 [53]
0100 1
.names ex1_in_4_ n_n221 [59] [60] [55]
111- 1
11-1 1
.names ex1_in_7_ ex1_in_1_ n_n222 [59]
1-1 1
-01 1
.names ex1_in_2_ n_n219 [60]
00 1
.names n_n220 n_n221 n_n222 [61]
001 1
.names n_n219 n_n220 n_n223 [108]
1-1 1
-11 1
.names n_n219 n_n220 n_n223 [36] [113]
0011 1
.names n_n219 n_n220 n_n221 n_n222 [117]
1101 1
.names ex1_in_6_ ex1_out_8_ [78] [128] [124]
01-- 1
0-1- 1
0--1 1
.names n_n220 n_n221 [31] [625] [125]
0011 1
.names ex1_in_7_ n_n220 n_n221 [627] [128]
0001 1
.names ex1_in_4_ n_n221 [81] [133]
111 1
.names ex1_in_4_ [137] [138] [134]
11- 1
1-1 1
.names n_n219 n_n220 n_n221 n_n222 [137]
00-1 1
-001 1
.names n_n220 n_n222 n_n223 [138]
101 1
.names ex1_in_4_ n_n219 n_n221 n_n223 [141]
0100 1
.names n_n219 n_n220 n_n222 [154]
110 1
.names n_n219 n_n220 n_n223 [157]
110 1
.names ex1_in_6_ n_n219 [36] [161]
011 1
.names ex1_in_7_ ex1_in_4_ [37] [627] [162]
0111 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ [599] [163]
0111 1
.names ex1_in_4_ [172] [174] [623] [166]
11-- 1
1-1- 1
1--1 1
.names ex1_in_6_ n_n220 [92] [172]
101 1
.names n_n219 n_n220 n_n221 n_n223 [173]
1000 1
.names ex1_in_7_ [621] [622] [174]
11- 1
1-1 1
.names ex1_in_7_ ex1_in_6_ ex1_in_5_ [611] [184]
1--1 1
-001 1
.names ex1_in_6_ n_n219 [36] [185]
111 1
.names n_n220 n_n221 [31] [191]
111 1
.names ex1_in_7_ ex1_in_4_ n_n221 [599] [192]
0101 1
.names ex1_in_6_ ex1_out_18_ [596] [597] [193]
01-- 1
0-11 1
.names n_n219 [201] [203] [601] [194]
11-- 1
1-1- 1
1--1 1
.names ex1_in_6_ ex1_in_1_ [31] [37] [195]
1111 1
.names ex1_in_5_ ex1_out_18_ [197]
11 1
.names ex1_in_6_ [76] [201]
01 1
.names ex1_in_7_ n_n220 n_n221 n_n223 [202]
0000 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ [599] [203]
0101 1
.names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [204]
0111 1
.names n_n219 ex1_in_2_ [594]
01 1
.names ex1_in_4_ n_n221 n_n223 [595]
110 1
.names n_n222 n_n219 [596]
00 1
.names ex1_in_7_ ex1_in_4_ n_n220 n_n221 [597]
0100 1
.names n_n220 n_n222 n_n223 [599]
101 1
.names [73] [202] [204] [601]
1-- 1
-1- 1
--1 1
.names n_n220 [36] [594] [595] [604]
11-- 1
--11 1
.names [193] [195] [197] [604] [607]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n223 n_n220 [608]
10 1
.names n_n220 ex1_in_1_ [609]
10 1
.names ex1_in_7_ ex1_in_4_ n_n219 n_n223 [610]
0101 1
.names n_n219 n_n221 n_n223 [611]
000 1
.names [36] [608] [609] [610] [612]
11-- 1
--11 1
.names [184] [185] [191] [192] [615]
1--- 1
-1-- 1
--1- 1
---1 1
.names ex1_in_6_ n_n220 n_n222 n_n223 [616]
01-- 1
--01 1
.names ex1_in_2_ ex1_in_1_ n_n219 n_n222 [617]
-01- 1
-0-1 1
0-00 1
.names n_n219 n_n220 n_n222 n_n223 [621]
-10- 1
0--1 1
.names n_n219 n_n220 n_n221 n_n222 [622]
1-1- 1
-0-1 1
.names ex1_in_1_ n_n222 [91] [173] [623]
---1 1
111- 1
.names n_n219 ex1_in_1_ [625]
00 1
.names n_n219 n_n222 n_n223 [627]
001 1
.names n_n221 [31] [101] [625] [628]
-1-1 1
111- 1
.names [39] [76] [161] [628] [631]
--1- 1
---1 1
11-- 1
.names n_n219 n_n220 n_n221 n_n223 [632]
-11- 1
0--1 1
.names ex1_in_2_ n_n219 [36] [595] [633]
-11- 1
10-1 1
.names [67] [76] [154] [632] [634]
-1-- 1
1-1- 1
1--1 1
.names ex1_in_5_ ex1_out_18_ [141] [637]
--1 1
11- 1
.names ex1_in_5_ ex1_in_6_ [638]
00 1
.names ex1_in_6_ ex1_in_1_ n_n220 n_n221 [639]
0-11 1
-011 1
.names ex1_out_18_ [31] [638] [639] [641]
1-1- 1
-1-1 1
.names n_n223 n_n222 [648]
10 1
.names [31] [69] [73] [648] [649]
11-- 1
--11 1
.names ex1_out_8_ [43] [191] [192] [652]
1--- 1
-1-- 1
--1- 1
---1 1
.names ex1_in_4_ n_n221 n_n222 n_n223 [655]
1101 1
.names [52] [37] [53] [627] [659]
1--- 1
--1- 1
-1-1 1
.names n_n220 n_n221 [36] [68] [663]
1-1- 1
00-1 1
.end