.model top
.inputs s1_in_6_ s1_in_7_ s1_in_0_ s1_in_1_ s1_in_2_ s1_in_3_ s1_in_4_ \
s1_in_5_ clock
.outputs s1_out_1_ s1_out_0_ s1_out_3_ s1_out_2_ s1_out_5_ s1_out_4_
.latch    n_n42 n_n237 re clock 2
.latch    n_n43 n_n238 re clock 2
.latch    n_n44 n_n239 re clock 2
.latch    n_n45 n_n240 re clock 2
.latch    n_n46 n_n241 re clock 2
.names s1_out_4_ [112] [675] [677] [686] [687] s1_out_1_
----1- 1
-----1 1
01-1-- 1
0-11-- 1
.names s1_in_1_ s1_in_4_ s1_out_2_ [24] [112] [673] s1_out_0_
----1- 1
-----1 1
--11-- 1
101--- 1
.names s1_in_5_ s1_out_5_ [128] [130] [644] [645] s1_out_3_
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 s1_out_2_
--1-1- 1
101--1 1
-001-0 1
-100-0 1
11000- 1
10-001 1
1-0001 1
.names s1_in_7_ n_n237 n_n238 n_n239 n_n240 n_n241 s1_out_5_
-00-1- 1
-11--0 1
-1-1-0 1
111-0- 1
1-01-1 1
.names [97] [98] [656] [657] s1_out_4_
1--- 1
-1-- 1
--1- 1
---1 1
.names [60] [63] [741] [742] [743] n_n42
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [77] [84] [85] [88] [705] [709] n_n43
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [34] [35] [42] [769] [773] n_n44
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [26] [109] [619] [622] [624] [625] n_n45
-1---- 1
---1-- 1
----1- 1
-----1 1
1-1--- 1
.names s1_in_0_ [622] [623] [624] [625] [760] n_n46
-----1 1
01---- 1
0-1--- 1
0--1-- 1
0---1- 1
.names n_n237 n_n238 n_n240 [39]
101 1
.names s1_in_0_ s1_in_2_ [18]
0- 1
-0 1
.names s1_in_1_ n_n237 n_n238 [24]
--0 1
10- 1
.names n_n238 n_n239 [33]
1- 1
-0 1
.names s1_in_6_ s1_in_7_ s1_in_3_ [30]
010 1
.names s1_in_7_ n_n239 n_n241 [54]
111 1
.names [26] [109] [619] [622] [624] [625] [55]
100000 1
.names n_n238 n_n239 n_n241 [26]
110 1
.names s1_in_7_ s1_in_3_ [22]
10 1
.names s1_in_7_ n_n237 n_n238 n_n239 n_n240 n_n241 [32]
---0-- 1
-00-1- 1
-11--0 1
-1-1-0 1
111-0- 1
1-01-1 1
.names s1_out_4_ [678] [686] [687] [752] [34]
--1-1 1
---11 1
01--1 1
.names [77] [85] [707] [709] [753] [35]
1---1 1
-1--1 1
--1-1 1
---11 1
.names s1_out_4_ [678] [686] [687] [754] [42]
--1-1 1
---11 1
01--1 1
.names s1_in_1_ n_n238 n_n240 [644] [645] [646] [43]
0111-- 1
011-1- 1
011--1 1
.names [97] [98] [656] [657] [757] [45]
1---1 1
-1--1 1
--1-1 1
---11 1
.names n_n237 n_n238 [644] [645] [646] [49]
111-- 1
11-1- 1
11--1 1
.names [57] [112] [673] [674] [760] [51]
00000 1
.names s1_in_0_ [622] [623] [624] [625] [57]
01--- 1
0-1-- 1
0--1- 1
0---1 1
.names s1_out_2_ [77] [85] [707] [709] [712] [60]
01---1 1
0-1--1 1
0--1-1 1
0---11 1
.names s1_in_6_ s1_in_1_ s1_in_2_ s1_in_3_ [32] [61]
01010 1
.names [77] [85] [707] [709] [719] [63]
1---1 1
-1--1 1
--1-1 1
---11 1
.names n_n238 [644] [645] [646] [724] [67]
11--1 1
1-1-1 1
1--11 1
.names s1_in_3_ n_n240 n_n241 [644] [645] [646] [71]
0011-- 1
001-1- 1
001--1 1
.names s1_out_2_ [24] [644] [645] [646] [72]
111-- 1
11-1- 1
11--1 1
.names s1_out_5_ n_n238 [644] [645] [646] [75]
111-- 1
11-1- 1
11--1 1
.names s1_out_4_ [678] [686] [687] [690] [77]
1-001 1
-0001 1
.names s1_out_3_ n_n45 [98] [649] [656] [657] [84]
101--- 1
10-1-- 1
10--1- 1
10---1 1
.names s1_out_4_ [678] [686] [687] [699] [85]
--1-1 1
---11 1
01--1 1
.names [18] [26] [622] [623] [624] [625] [87]
110000 1
.names s1_out_2_ n_n45 [24] [112] [669] [673] [88]
00-0-0 1
-00000 1
.names s1_out_2_ s1_out_5_ [22] [644] [645] [646] [97]
0011-- 1
001-1- 1
001--1 1
.names [26] [622] [623] [624] [625] [650] [98]
100001 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [109]
000111 1
.names s1_in_7_ s1_in_0_ s1_in_2_ n_n237 n_n238 n_n240 [111]
00-101 1
0-0101 1
.names s1_out_2_ n_n240 [644] [645] [646] [664] [112]
01---1 1
0-0001 1
.names s1_in_6_ s1_in_0_ s1_in_2_ s1_in_4_ n_n241 [113]
011-0 1
-1100 1
.names s1_in_6_ s1_in_4_ n_n237 n_n240 [125]
1111 1
.names n_n237 n_n238 n_n239 n_n241 [127]
0010 1
.names n_n237 n_n238 n_n239 n_n241 [128]
11-0 1
-100 1
.names s1_in_7_ n_n237 n_n239 n_n241 [130]
1111 1
.names s1_in_6_ s1_in_7_ s1_in_3_ s1_in_4_ [598]
1001 1
.names n_n237 n_n239 n_n240 n_n241 [599]
0001 1
.names s1_in_7_ s1_in_3_ n_n241 [603]
001 1
.names n_n237 n_n238 n_n239 n_n240 [604]
1000 1
.names s1_in_2_ s1_in_3_ n_n241 [606]
011 1
.names s1_in_7_ n_n237 n_n238 n_n240 [607]
0110 1
.names n_n237 n_n239 n_n240 n_n241 [610]
0001 1
.names s1_in_6_ s1_in_7_ n_n238 n_n239 n_n241 [613]
01110 1
.names s1_in_2_ s1_in_3_ n_n237 [614]
010 1
.names s1_in_6_ s1_in_4_ n_n238 n_n239 n_n241 [615]
0-110 1
-0110 1
.names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 [619]
1010 1
.names s1_in_6_ s1_in_7_ s1_in_3_ [606] [607] [610] [622]
---11- 1
010--1 1
.names n_n238 n_n239 n_n241 [109] [619] [623]
---1- 1
110-1 1
.names s1_in_0_ s1_in_2_ n_n237 [111] [613] [624]
---1- 1
0-0-1 1
-00-1 1
.names [598] [599] [603] [604] [614] [615] [625]
11---- 1
--11-- 1
----11 1
.names s1_in_6_ s1_in_7_ s1_in_1_ s1_in_5_ [630]
0101 1
.names s1_in_7_ s1_in_3_ n_n238 n_n239 n_n241 [632]
10100 1
.names s1_in_6_ s1_in_4_ n_n237 n_n238 [634]
1101 1
.names s1_in_6_ s1_in_4_ n_n238 n_n239 [635]
1100 1
.names s1_in_6_ s1_in_1_ s1_in_4_ n_n237 n_n238 [637]
101-1 1
1-111 1
.names n_n237 n_n238 n_n239 n_n240 n_n241 [642]
01-1- 1
011-1 1
100-1 1
.names s1_out_2_ [125] [127] [634] [642] [644]
-1--- 1
--1-- 1
----1 1
0--1- 1
.names s1_out_2_ s1_out_5_ [635] [637] [645]
-01- 1
1--1 1
.names s1_in_5_ s1_out_5_ [128] [130] [646]
--1- 1
---1 1
11-- 1
.names s1_in_7_ s1_in_3_ s1_out_2_ s1_out_5_ [649]
1000 1
.names s1_in_6_ s1_in_4_ s1_out_5_ [650]
110 1
.names s1_in_7_ s1_in_3_ n_n237 n_n239 n_n241 [651]
10011 1
.names s1_in_2_ s1_in_7_ [653]
11 1
.names s1_in_7_ s1_out_5_ n_n237 n_n238 n_n240 [632] [654]
-0---1 1
1-101- 1
.names s1_in_6_ s1_in_7_ s1_in_3_ s1_out_2_ s1_out_5_ [651] [655]
----01 1
01000- 1
.names [622] [623] [624] [625] [630] [654] [656]
-----1 1
1---1- 1
-1--1- 1
--1-1- 1
---11- 1
.names [622] [623] [624] [625] [653] [655] [657]
-----1 1
1---1- 1
-1--1- 1
--1-1- 1
---11- 1
.names s1_in_0_ s1_in_3_ n_n238 n_n241 [661]
1110 1
.names s1_out_5_ [622] [623] [624] [625] [661] [663]
000001 1
.names s1_in_0_ s1_in_2_ n_n237 [664]
111 1
.names s1_in_4_ s1_in_1_ [669]
01 1
.names s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n241 [671]
---01- 1
----00 1
111-1- 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [113] [671] [673]
----1- 1
-----1 1
1101-- 1
.names s1_in_1_ s1_in_4_ s1_out_2_ n_n237 n_n238 [674]
--1-0 1
101-- 1
1-10- 1
.names s1_in_1_ s1_in_4_ s1_out_2_ n_n237 n_n238 [673] [675]
-----1 1
--1-0- 1
101--- 1
1-10-- 1
.names s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [676]
111-0- 1
1-0-11 1
11011- 1
11010- 1
1-0101 1
101-00 1
10-000 1
100010 1
.names [676] s1_out_5_ [677]
10 1
.names s1_out_5_ [112] [673] [674] [676] [678]
01--1 1
0-1-1 1
0--11 1
.names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n240 [680]
11101 1
.names s1_in_2_ s1_in_3_ [622] [623] [624] [625] [683]
011--- 1
01-1-- 1
01--1- 1
01---1 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [685]
-10-00 1
01-011 1
.names [97] [98] [656] [657] [663] [685] [686]
-----1 1
00001- 1
.names [97] [98] [656] [657] [680] [683] [687]
00001- 1
0000-1 1
.names s1_in_6_ s1_in_4_ n_n237 n_n239 n_n241 [690]
11000 1
.names n_n237 n_n238 n_n239 n_n241 [692]
0100 1
.names [39] [622] [623] [624] [625] [694]
10000 1
.names s1_in_4_ n_n237 n_n238 [696]
111 1
.names s1_in_2_ [622] [623] [624] [625] [699]
01--- 1
0-1-- 1
0--1- 1
0---1 1
.names n_n238 s1_in_1_ [700]
10 1
.names s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n240 [701]
0-111- 1
-0111- 1
0-00-1 1
-000-1 1
.names s1_in_4_ s1_out_2_ n_n237 n_n238 [701] [702]
----1 1
1111- 1
.names s1_in_5_ s1_out_2_ s1_out_5_ n_n237 n_n240 [700] [703]
-1---1 1
1-101- 1
.names s1_out_2_ [87] [696] [701] [703] [705]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names [84] [87] [88] [702] [703] [707]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names s1_out_4_ [678] [686] [687] [692] [694] [709]
1-001- 1
-0001- 1
1-00-1 1
-000-1 1
.names s1_in_7_ n_n237 n_n241 [712]
111 1
.names s1_in_6_ s1_in_4_ n_n237 n_n241 [32] [717]
11000 1
.names s1_in_7_ s1_in_3_ n_n237 n_n239 n_n241 [719]
10000 1
.names s1_in_6_ s1_in_4_ n_n237 n_n241 [720]
0-00 1
-000 1
.names [644] [645] [646] [720] [721]
0001 1
.names s1_in_3_ n_n237 n_n239 n_n241 [724]
0011 1
.names s1_in_6_ s1_in_7_ s1_in_3_ n_n237 n_n241 [725]
01000 1
.names s1_in_6_ s1_in_4_ [32] [726]
0-0 1
-00 1
.names s1_out_2_ [24] [32] [112] [669] [673] [727]
--01-- 1
--0--1 1
110--- 1
1-0-1- 1
.names n_n241 [644] [645] [646] [731]
1000 1
.names s1_in_0_ s1_in_2_ s1_in_3_ n_n237 n_n238 n_n240 [733]
01--01 1
0-0-01 1
-00-01 1
-0-001 1
.names s1_in_5_ s1_out_5_ [130] [733] [734]
--1- 1
---1 1
11-- 1
.names [61] [622] [623] [624] [625] [725] [735]
1----- 1
-00001 1
.names [67] [71] [72] [75] [734] [735] [740]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names s1_out_4_ [678] [686] [687] [717] [740] [741]
-----1 1
1-001- 1
-0001- 1
.names s1_out_4_ [678] [686] [687] [721] [726] [742]
--1-1- 1
---11- 1
--1--1 1
---1-1 1
01--1- 1
01---1 1
.names s1_out_4_ [678] [686] [687] [727] [731] [743]
--1-1- 1
---11- 1
--1--1 1
---1-1 1
01--1- 1
01---1 1
.names s1_out_2_ [30] [644] [645] [646] [748]
01000 1
.names s1_in_6_ s1_in_7_ s1_in_3_ n_n238 n_n239 [750]
01011 1
.names s1_in_6_ s1_in_4_ n_n241 [751]
110 1
.names [622] [623] [624] [625] [751] [752]
00001 1
.names n_n238 n_n241 [644] [645] [646] [753]
111-- 1
11-1- 1
11--1 1
.names n_n238 n_n239 [644] [645] [646] [754]
101-- 1
10-1- 1
10--1 1
.names n_n238 n_n240 [622] [623] [624] [625] [756]
010000 1
.names s1_in_0_ s1_in_2_ n_n237 [757]
0-1 1
-01 1
.names s1_in_7_ n_n237 n_n238 n_n239 n_n240 n_n241 [758]
-11--0 1
-1-1-0 1
111-0- 1
1101-1 1
.names s1_out_5_ s1_out_2_ [759]
1- 1
-1 1
.names [33] [622] [623] [624] [625] [759] [760]
-----1 1
11---- 1
1-1--- 1
1--1-- 1
1---1- 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [54] [762]
--11- 1
---11 1
11-1- 1
.names [622] [623] [624] [625] [750] [762] [763]
-----1 1
00001- 1
.names [43] [49] [112] [675] [748] [763] [766]
1----- 1
-1---- 1
-----1 1
--1-1- 1
---11- 1
.names [45] [51] [112] [675] [758] [766] [769]
1----- 1
-1---- 1
-----1 1
--1-1- 1
---11- 1
.names [55] [77] [85] [707] [709] [756] [773]
11---- 1
1-1--- 1
1--1-- 1
1---1- 1
-00001 1
.end