.model top
.inputs bbsse_in_6_ bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ bbsse_in_4_ \
bbsse_in_1_ bbsse_in_0_ clock
.outputs bbsse_out_4_ bbsse_out_3_ bbsse_out_2_ bbsse_out_1_ bbsse_out_0_ \
bbsse_out_6_ bbsse_out_5_
.latch    n_n39 n_n100 re clock 2
.latch    n_n40 n_n101 re clock 2
.latch    n_n41 n_n102 re clock 2
.latch    n_n42 n_n103 re clock 2
.names bbsse_in_6_ bbsse_in_0_ n_n100 n_n101 n_n102 n_n103 bbsse_out_4_
100000 1
.names bbsse_in_6_ n_n100 n_n101 n_n102 n_n103 [39] bbsse_out_3_
-----1 1
10000- 1
.names bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n102 n_n103 bbsse_out_2_
1---10 1
1110-0 1
.names bbsse_in_6_ bbsse_in_5_ n_n100 n_n101 n_n102 n_n103 bbsse_out_1_
1-0--- 1
0--1-- 1
-1-1-- 1
0---1- 1
-1--1- 1
---11- 1
----01 1
.names bbsse_in_6_ bbsse_in_1_ n_n100 n_n101 n_n102 n_n103 bbsse_out_0_
011000 1
.names n_n42 [20] [237] [248] [251] [254] bbsse_out_6_
-----1 1
1-1--- 1
---11- 1
00--1- 1
.names n_n100 n_n102 [20] [46] [229] bbsse_out_5_
---1- 1
--0-1 1
110-- 1
.names bbsse_out_6_ [51] [248] [256] [269] n_n39
----1 1
0--1- 1
100-- 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 [223] [248] n_n40
----1 1
1000- 1
.names [33] [36] [39] [40] [260] [264] n_n41
1----- 1
-1---- 1
-----1 1
--001- 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n103 [223] n_n42
----1 1
1011- 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 [20]
0-- 1
-1- 1
--1 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n103 [33]
101110 1
.names [20] [46] [56] [223] [229] [233] [36]
-11--- 1
-1-1-- 1
0-1-1- 1
0--11- 1
0-1--1 1
0--1-1 1
.names bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ n_n100 n_n101 n_n102 [39]
010111 1
.names bbsse_in_6_ n_n100 n_n101 n_n102 n_n103 [40]
10000 1
.names bbsse_in_6_ bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ n_n100 n_n102 [46]
100011 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 [223] [51]
1000 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n103 [56]
1011 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n102 [223]
100-0- 1
10-00- 1
1011-0 1
.names bbsse_in_4_ n_n100 n_n101 n_n102 n_n103 [226]
10001 1
.names bbsse_in_3_ bbsse_in_2_ n_n102 n_n103 [229]
0011 1
.names n_n102 n_n100 [233]
11 1
.names n_n101 n_n102 n_n103 [236]
011 1
.names n_n100 n_n102 [20] [46] [229] [236] [237]
--10-1 1
0--001 1
-0-001 1
.names bbsse_in_6_ bbsse_in_2_ bbsse_in_5_ bbsse_in_4_ n_n101 [242]
10010 1
.names bbsse_in_6_ bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ n_n101 n_n102 [245]
11-011 1
1-0010 1
.names bbsse_in_6_ bbsse_in_5_ n_n100 n_n101 n_n103 [246]
1001- 1
10-10 1
.names n_n100 n_n102 n_n103 [242] [245] [246] [248]
----1- 1
-----1 1
0011-- 1
.names bbsse_in_3_ bbsse_in_4_ bbsse_out_1_ n_n100 [251]
1111 1
.names n_n100 n_n101 n_n102 [56] [223] [226] [254]
---1-1 1
----11 1
1101-- 1
110-1- 1
.names n_n101 [39] [256]
10 1
.names bbsse_in_6_ bbsse_in_5_ n_n100 n_n101 n_n102 n_n103 [258]
0-101- 1
-1101- 1
--1001 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [260]
1011 1
.names [33] [39] [40] [260] [263]
1--- 1
-001 1
.names bbsse_in_6_ bbsse_out_2_ [56] [223] [258] [264]
11--- 1
--1-1 1
---11 1
.names n_n100 bbsse_in_1_ [267]
10 1
.names bbsse_out_1_ bbsse_out_5_ n_n42 [263] [264] [267] [269]
-11--- 1
--0--1 1
1-000- 1
.end