.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_n219 n_n220 n_n223 [43] [147] ex1_out_10_
---1- 1
----1 1
110-- 1
.names ex1_in_7_ ex1_in_1_ [80] [94] [32] [637] ex1_out_14_
----1- 1
-----1 1
-11--- 1
1--1-- 1
.names ex1_in_7_ ex1_in_6_ ex1_in_5_ n_n219 n_n221 n_n223 ex1_out_13_
000000 1
.names ex1_in_6_ ex1_out_8_ [78] [128] [643] ex1_out_12_
----1 1
01--- 1
0-1-- 1
0--1- 1
.names ex1_in_7_ [94] ex1_out_11_
11 1
.names ex1_out_8_ n_n219 n_n220 n_n221 [68] ex1_out_7_
1---- 1
-0011 1
-1001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 n_n222 ex1_out_8_
011110 1
.names n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_5_
1101- 1
10-01 1
.names ex1_out_8_ [42] [43] [651] ex1_out_6_
1--- 1
-1-- 1
--1- 1
---1 1
.names ex1_in_3_ n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_9_
1--1-- 1
1---1- 1
11---1 1
1-1--1 1
.names ex1_in_7_ n_n219 n_n221 n_n223 ex1_out_18_
0000 1
.names n_n220 [100] [104] ex1_out_0_
--1 1
11- 1
.names ex1_in_7_ [94] [32] [637] ex1_out_17_
--1- 1
---1 1
11-- 1
.names [32] [64] [637] ex1_out_16_
1-- 1
-1- 1
--1 1
.names ex1_in_4_ n_n221 [65] [85] [56] [658] ex1_out_15_
--1--- 1
----1- 1
-----1 1
11-1-- 1
.names ex1_in_1_ n_n219 [79] ex1_out_3_
101 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_ n_n219 [41] [46] [663] ex1_out_2_
1-1-- 1
11-1- 1
11--1 1
.names ex1_in_6_ ex1_in_1_ [78] [194] [197] [606] n_n75
---1-- 1
----1- 1
-----1 1
111--- 1
.names [42] [51] [183] [184] [185] [186] n_n76
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names ex1_in_4_ n_n221 [166] [616] [617] n_n77
--1-- 1
11-1- 1
11--1 1
.names ex1_in_7_ ex1_in_4_ [65] [163] [631] n_n78
---1- 1
----1 1
011-- 1
.names [67] [72] [48] [76] [32] [35] n_n79
-1---- 1
--1--- 1
---1-- 1
----1- 1
1----1 1
.names ex1_in_7_ ex1_in_4_ n_n222 [31]
011 1
.names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [42]
01111- 1
011001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [43]
011001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n223 [51]
011011 1
.names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [79]
01001- 1
011001 1
.names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [80]
1-11-- 1
100-1- 1
1-001- 1
11-10- 1
1-1-01 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n222 [68]
0111 1
.names n_n219 n_n220 n_n221 n_n222 n_n223 [65]
00001 1
.names ex1_in_7_ ex1_in_2_ ex1_in_1_ n_n219 n_n222 [85]
-0-0- 1
1---1 1
--0-1 1
.names ex1_in_7_ ex1_in_4_ [67]
01 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 [72]
01111 1
.names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [94]
11-1-- 1
1-0-1- 1
1-1-0- 1
10---1 1
-1-0-0 1
.names ex1_in_4_ ex1_in_2_ n_n219 n_n221 n_n223 [48]
11010 1
.names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 [78]
01001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 n_n222 [100]
010-10 1
011001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n222 [54]
01001 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_ n_n219 n_n220 n_n221 n_n222 n_n223 [32]
-11--0 1
000001 1
.names n_n220 n_n221 [37]
00 1
.names n_n219 n_n220 n_n221 n_n222 n_n223 [35]
-11-- 1
0---1 1
11-0- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 n_n222 [41]
011011 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 n_n223 [46]
011101 1
.names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [56]
1-11-- 1
10---1 1
11---0 1
1-001- 1
111-0- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [64]
011110 1
.names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [104]
010101 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n221 n_n222 n_n223 [111]
010101 1
.names ex1_in_7_ ex1_in_4_ n_n219 n_n221 n_n222 [112]
01001 1
.names ex1_in_7_ n_n219 n_n220 n_n221 n_n222 n_n223 [128]
000001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [147]
011111 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n222 [160]
010-01 1
01-001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n219 n_n221 [161]
010111 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 n_n223 [163]
011101 1
.names ex1_in_4_ [171] [172] [173] [174] [166]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 [171]
-10101 1
01-001 1
.names ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n222 n_n223 [172]
10101- 1
1-0001 1
.names n_n219 n_n220 n_n221 n_n223 [173]
1000 1
.names ex1_in_7_ n_n219 n_n220 n_n221 n_n222 n_n223 [174]
11-1-- 1
1-0-1- 1
1-1-0- 1
10---1 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n223 [183]
010011 1
.names ex1_in_7_ ex1_in_6_ ex1_in_5_ n_n219 n_n221 n_n223 [184]
1--000 1
-00000 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n219 n_n221 [185]
011111 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 [186]
01101 1
.names n_n219 [201] [203] [204] [600] [194]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 [196]
01111 1
.names ex1_in_7_ ex1_in_5_ n_n219 n_n221 n_n223 [197]
01000 1
.names ex1_in_7_ ex1_in_4_ n_n219 n_n220 n_n221 n_n222 [199]
010000 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ n_n220 n_n222 [201]
01001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n222 n_n223 [203]
010101 1
.names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [204]
0111 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n223 [600]
010-1- 1
0--000 1
.names ex1_in_6_ ex1_out_18_ [48] [196] [199] [606]
--1-- 1
---1- 1
01--- 1
0---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 ex1_in_1_ [625]
00 1
.names ex1_in_7_ ex1_in_4_ n_n221 n_n222 [626]
0111 1
.names [54] [101] [160] [161] [626] [631]
1---- 1
--1-- 1
---1- 1
-1--1 1
.names ex1_in_7_ ex1_in_4_ ex1_in_5_ n_n219 n_n221 n_n223 [637]
-0-100 1
0-1000 1
.names ex1_in_6_ ex1_in_1_ n_n220 n_n221 [639]
0-11 1
-011 1
.names ex1_out_13_ [31] [32] [37] [625] [639] [643]
1----- 1
--1--- 1
-1---1 1
-1-11- 1
.names n_n219 [51] [111] [112] [651]
--1- 1
---1 1
01-- 1
.names ex1_in_7_ ex1_in_5_ n_n219 n_n221 n_n223 [658]
--100 1
01-00 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [663]
01111- 1
011001 1
.end