.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_ [272] bbsse_out_4_
101 1
.names n_n101 n_n102 [40] [220] bbsse_out_3_
--1- 1
11-1 1
.names bbsse_in_5_ n_n102 n_n103 [37] bbsse_out_2_
---1 1
110- 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [238] bbsse_out_1_
----1 1
0-1-- 1
-11-- 1
0--1- 1
-1-1- 1
--11- 1
.names bbsse_in_6_ n_n102 [274] bbsse_out_0_
001 1
.names [51] [248] [251] [255] bbsse_out_6_
---1 1
1-1- 1
-11- 1
.names n_n100 n_n102 [20] [229] [232] bbsse_out_5_
--01- 1
110-- 1
11--1 1
.names [264] [265] [266] [268] [270] n_n39
---1- 1
----1 1
001-- 1
.names [20] [18] [54] [56] [248] n_n40
----1 1
0000- 1
.names n_n42 [35] [258] [265] n_n41
-1-- 1
---1 1
1-1- 1
.names [54] [55] [56] n_n42
1-- 1
-1- 1
--1 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 [19]
101 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 [20]
0-- 1
-1- 1
--1 1
.names bbsse_in_1_ n_n100 [18]
0- 1
-0 1
.names n_n101 n_n102 [40] [220] [260] [34]
0-0-1 1
-00-1 1
--001 1
.names bbsse_in_6_ bbsse_in_5_ n_n102 n_n103 [37] [35]
1---1 1
1110- 1
.names bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n103 [37]
11100 1
.names bbsse_in_5_ n_n102 n_n103 [38]
110 1
.names bbsse_in_6_ n_n100 n_n101 n_n102 n_n103 [40]
10000 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [41]
0--1 1
-1-1 1
--11 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 [42]
0-1 1
-11 1
.names bbsse_in_6_ bbsse_in_2_ bbsse_in_5_ n_n101 n_n102 [49]
10010 1
.names bbsse_in_6_ bbsse_in_3_ bbsse_in_5_ n_n101 n_n102 [50]
11011 1
.names bbsse_in_1_ n_n100 [20] [54] [56] [51]
11000 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n102 [54]
10110 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 [55]
100-0 1
10-00 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n103 [56]
1011 1
.names bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ n_n100 [220]
0101 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 bbsse_in_6_ bbsse_in_3_ bbsse_in_2_ bbsse_in_5_ [232]
1000 1
.names n_n101 n_n102 n_n103 [236]
011 1
.names bbsse_in_6_ n_n100 n_n102 n_n103 [238]
10-- 1
--01 1
.names n_n100 n_n102 n_n103 [241]
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_5_ n_n100 n_n101 n_n103 [246]
1001- 1
10-10 1
.names [49] [50] [241] [242] [246] [248]
1---- 1
-1--- 1
----1 1
--11- 1
.names bbsse_in_3_ bbsse_in_4_ n_n100 [250]
111 1
.names [41] [42] [238] [250] [251]
1--1 1
-1-1 1
--11 1
.names n_n100 n_n101 n_n102 [253]
110 1
.names [54] [55] [56] [226] [253] [254]
1--1- 1
-1-1- 1
--11- 1
1---1 1
-1--1 1
--1-1 1
.names bbsse_out_5_ n_n42 [236] [254] [255]
---1 1
011- 1
.names n_n101 n_n102 [40] [220] [256]
100- 1
1-00 1
.names n_n100 n_n101 [41] [42] [238] [258]
101-- 1
10-1- 1
10--1 1
.names bbsse_in_1_ n_n100 n_n103 [259]
110 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [260]
1011 1
.names bbsse_in_6_ n_n42 [37] [38] [258] [264]
1-1-- 1
1--1- 1
-1--1 1
.names bbsse_out_5_ n_n42 [19] [34] [259] [265]
---1- 1
11--- 1
--1-1 1
.names bbsse_out_1_ [54] [55] [56] [266]
1000 1
.names bbsse_in_1_ bbsse_out_5_ n_n100 n_n42 [268]
-1-1 1
0-10 1
.names [51] [248] [251] [255] [256] [270]
00-1- 1
--001 1
00-01 1
.names n_n100 n_n101 n_n102 n_n103 [272]
0000 1
.names bbsse_in_1_ n_n100 n_n101 n_n103 [274]
1100 1
.end