.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 [30] [255] bbsse_out_6_
1- 1
-1 1
.names bbsse_in_6_ bbsse_in_5_ n_n100 n_n101 n_n102 [45] [46] bbsse_out_5_
-----1- 1
------1 1
10101-- 1
.names bbsse_out_1_ n_n40 [250] [255] [256] [269] n_n39
-----1 1
-0-1-- 1
0--01- 1
-0-01- 1
--001- 1
.names n_n100 n_n102 n_n103 [51] [242] [245] [246] n_n40
---1--- 1
-----1- 1
------1 1
001-1-- 1
.names n_n42 [45] [46] [47] [263] [264] n_n41
----1- 1
-----1 1
11---- 1
1-1--- 1
1--1-- 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n102 n_n103 n_n42
100-0-- 1
10-00-- 1
10--1-1 1
1011-0- 1
.names bbsse_out_1_ [51] [241] [242] [245] [246] [250] [30]
11----1 1
1---1-1 1
1----11 1
1-11--1 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n103 [33]
101110 1
.names n_n42 [45] [46] [47] [36]
11-- 1
1-1- 1
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_n101 n_n102 n_n103 \
[45]
1000011 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_n100 n_n101 n_n102 [47]
10101 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n102 [51]
101101 1
.names bbsse_in_4_ n_n100 n_n101 n_n102 n_n103 [226]
10001 1
.names n_n101 n_n102 n_n103 [236]
011 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_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 bbsse_in_3_ bbsse_in_4_ n_n100 [250]
111 1
.names n_n100 n_n101 n_n102 [253]
110 1
.names n_n42 [45] [46] [47] [226] [236] [253] [255]
1---1-- 1
1-----1 1
1000-1- 1
.names n_n101 [39] [256]
10 1
.names bbsse_in_6_ bbsse_in_5_ n_n101 n_n102 [33] [39] [40] [263]
----1-- 1
1011-00 1
.names bbsse_in_6_ bbsse_in_5_ bbsse_in_1_ n_n100 n_n101 n_n102 n_n103 [264]
11---10 1
11110-0 1
1011001 1
1001001 1
.names bbsse_in_6_ bbsse_in_5_ n_n100 n_n101 n_n102 n_n103 [266]
0--1-- 1
-1-1-- 1
0---1- 1
-1--1- 1
110--- 1
0---01 1
-1--01 1
---110 1
1-01-0 1
.names bbsse_in_1_ n_n100 n_n42 [45] [46] [47] [268]
--11-- 1
--1-1- 1
--1--1 1
010--- 1
.names [36] [263] [264] [266] [268] [269]
----1 1
0001- 1
.end