.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_in_2_ s1_in_3_ s1_out_4_ n_n45 [662] [678] [680] [685] s1_out_1_
-------1 1
--0--1-- 1
--0---1- 1
--001--- 1
0101---- 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [112] [672] [674] s1_out_0_
----1-- 1
-----1- 1
------1 1
1101--- 1
.names s1_out_2_ [121] [637] [644] [646] s1_out_3_
-1--- 1
---1- 1
----1 1
1-1-- 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 n_n45 [26] [97] [630] [650] [653] [654] [655] s1_out_4_
--1----- 1
------1- 1
-------1 1
1--1---- 1
1----1-- 1
01--1--- 1
.names [77] [85] [707] [709] [719] [746] n_n42
-----1 1
1---1- 1
-1--1- 1
--1-1- 1
---11- 1
.names s1_out_3_ s1_out_4_ n_n45 [77] [85] [88] [705] [709] n_n43
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
110----- 1
.names n_n45 [23] [26] [77] [85] [707] [709] [772] n_n44
-------1 1
0-11---- 1
0-1-1--- 1
0-1--1-- 1
0-1---1- 1
01-0000- 1
.names [103] [104] [105] [106] [107] [108] [111] [623] n_n45
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names s1_in_0_ n_n238 n_n239 n_n45 [759] n_n46
----1 1
0--1- 1
-1-1- 1
--01- 1
.names s1_in_2_ s1_in_3_ [41]
01 1
.names s1_in_0_ s1_in_2_ [18]
0- 1
-0 1
.names n_n238 n_n240 [23]
01 1
.names n_n238 n_n239 n_n241 [26]
110 1
.names s1_in_7_ s1_in_5_ n_n237 n_n238 n_n239 n_n240 n_n241 [28]
-100-1- 1
1-1-1-1 1
-111--0 1
-11-1-0 1
1111-0- 1
11-01-1 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_ n_n45 [662] [678] [680] [685] [751] [34]
-0---11 1
001---1 1
00-1--1 1
00--1-1 1
.names s1_out_4_ n_n45 [41] [662] [678] [680] [685] [754] [42]
------11 1
0---1--1 1
0----1-1 1
011----1 1
00-1---1 1
.names s1_in_1_ s1_out_2_ n_n238 n_n240 [121] [637] [644] [646] [43]
0-111--- 1
0-11--1- 1
0-11---1 1
0111-1-- 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [112] [672] [674] [758] [46]
----1--1 1
-----1-1 1
------11 1
1101---1 1
.names s1_out_2_ n_n237 n_n238 [121] [637] [644] [646] [49]
-111--- 1
-11--1- 1
-11---1 1
111-1-- 1
.names s1_in_7_ s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n240 n_n241 [50]
-1100-1- 1
-1111--0 1
-111-1-0 1
11111-0- 1
111-01-1 1
.names s1_in_0_ n_n238 n_n239 n_n45 [112] [675] [759] [51]
---0000 1
101-000 1
.names s1_in_6_ s1_in_1_ s1_in_2_ s1_in_3_ [32] [61]
01010 1
.names s1_out_2_ n_n238 [121] [637] [644] [646] [724] [67]
-11---1 1
-1--1-1 1
-1---11 1
11-1--1 1
.names s1_in_3_ s1_out_2_ n_n240 n_n241 [121] [637] [644] [646] [71]
0-011--- 1
0-01--1- 1
0-01---1 1
0101-1-- 1
.names s1_in_1_ s1_out_2_ n_n237 n_n238 [121] [644] [646] [72]
-1-01-- 1
-1-0-1- 1
-1-0--1 1
110-1-- 1
110--1- 1
110---1 1
.names s1_out_2_ s1_out_5_ n_n238 [637] [644] [646] [75]
-11-1- 1
-11--1 1
1111-- 1
.names s1_out_4_ n_n45 [41] [662] [678] [680] [685] [690] [77]
1-----01 1
-10-0001 1
-0-00001 1
--000001 1
.names s1_in_2_ s1_in_3_ s1_out_4_ n_n45 [678] [680] [685] [85]
0--1--1 1
0101--- 1
0-011-- 1
0-01-1- 1
.names s1_in_1_ s1_in_3_ n_n237 n_n238 n_n240 n_n241 [86]
0--11- 1
0101-1 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ n_n45 [112] [672] [674] [88]
0---0000 1
-0--0000 1
--1-0000 1
---00000 1
.names s1_out_2_ [121] [637] [644] [646] [649] [97]
-1---1 1
---1-1 1
----11 1
1-1--1 1
.names s1_in_6_ s1_in_7_ s1_in_3_ s1_in_4_ n_n237 n_n239 n_n240 n_n241 [103]
10010001 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [104]
0010001 1
.names s1_in_7_ s1_in_2_ s1_in_3_ n_n237 n_n238 n_n240 n_n241 [105]
0011101 1
.names s1_in_6_ s1_in_7_ s1_in_3_ n_n237 n_n239 n_n240 n_n241 [106]
0100001 1
.names s1_in_6_ s1_in_7_ s1_in_0_ s1_in_2_ n_n237 n_n238 n_n239 n_n241 [107]
010-0110 1
01-00110 1
.names s1_in_6_ s1_in_2_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [108]
001-0110 1
-0100110 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_in_0_ s1_in_2_ s1_out_2_ n_n237 n_n240 [121] [644] [646] [112]
11011--- 1
1101-000 1
.names s1_in_6_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 [121]
11100- 1
11-000 1
.names s1_in_6_ s1_in_7_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [623]
-00-0111 1
10-10110 1
.names s1_in_6_ s1_in_7_ s1_in_1_ s1_in_5_ [630]
0101 1
.names s1_in_6_ s1_in_1_ s1_in_4_ n_n237 n_n238 [637]
101-1 1
1-111 1
.names s1_in_6_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [644]
---01-1- 1
1-11--1- 1
---011-1 1
---100-1 1
---001-0 1
10101-0- 1
1-101-00 1
.names s1_in_7_ s1_in_5_ n_n237 n_n238 n_n239 n_n240 n_n241 [646]
--11--0 1
---10-0 1
-100-1- 1
1-1-1-1 1
-11-1-0 1
1111-0- 1
11-01-1 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [649]
1001-01 1
100-001 1
10-0001 1
1001-00 1
100-000 1
1010011 1
.names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [650]
1-1100-- 1
1-1-000- 1
1011---1 1
101-1--1 1
1-101--1 1
1-1-1-11 1
101---01 1
1-101--0 1
1-10--00 1
1-11-011 1
1-10-001 1
.names s1_in_2_ s1_in_7_ [653]
11 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [654]
1-10-1- 1
10010-0 1
.names s1_in_6_ s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [655]
-10011-1 1
01001-01 1
0100-001 1
010-0001 1
01001-00 1
0100-000 1
01010011 1
.names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n241 [662]
11010 1
.names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n45 n_n241 [663]
110100 1
.names s1_in_6_ s1_in_0_ s1_in_2_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [672]
-----01- 1
------00 1
-11-1-1- 1
011----0 1
-110---0 1
.names s1_in_1_ s1_in_3_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [674]
1-0-1-1- 1
1--01-1- 1
---001-0 1
---100-0 1
-1-1000- 1
11-01--1 1
-1--0001 1
11-0-001 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [672] [674] [675]
----1- 1
-----1 1
1101-- 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [677]
-101-00 1
-10-000 1
0110-11 1
-110011 1
0111-01 1
01-0101 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [112] [672] [674] [677] [678]
----1--1 1
-----1-1 1
------11 1
1101---1 1
.names s1_in_0_ s1_in_3_ n_n237 n_n238 n_n240 [680]
11101 1
.names s1_in_2_ s1_in_3_ n_n45 [683]
011 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [685]
-10-00 1
01-011 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 n_n237 n_n238 n_n45 n_n240 [694]
1001 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_in_5_ n_n237 n_n238 n_n240 [86] [701] [704]
-----1- 1
------1 1
1-111-- 1
-1001-- 1
.names s1_in_0_ s1_in_2_ n_n238 n_n239 n_n45 n_n241 [704] [705]
------1 1
0-1100- 1
-01100- 1
.names s1_out_3_ s1_out_4_ n_n45 [18] [26] [112] [675] [704] [707]
-------1 1
110----- 1
--011--- 1
--0--00- 1
.names s1_out_4_ [663] [678] [680] [683] [685] [692] [694] [709]
1----01- 1
1----0-1 1
-000001- 1
-00000-1 1
.names s1_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [713]
1-10-11 1
101--01 1
1-11-01 1
1-10101 1
.names s1_in_6_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [717]
11011-0 1
110-100 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 s1_out_2_ [121] [637] [644] [646] [720] [721]
00-001 1
-00001 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_7_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [726]
00-1-1-1 1
-001-1-1 1
00--11-1 1
-00-11-1 1
0--011-1 1
--0011-1 1
0---1111 1
--0-1111 1
00---101 1
-00--101 1
0--011-0 1
--0011-0 1
0--0-100 1
--00-100 1
.names s1_in_0_ s1_in_2_ s1_in_5_ s1_out_5_ [32] [112] [672] [674] [727]
----01-- 1
----0-1- 1
----0--1 1
11010--- 1
.names s1_out_2_ n_n241 [121] [637] [644] [646] [731]
010-00 1
-10000 1
.names s1_in_0_ s1_in_2_ s1_in_3_ n_n237 n_n238 n_n240 [28] [734]
------1 1
01--01- 1
0-0-01- 1
-00-01- 1
-0-001- 1
.names n_n45 [61] [67] [71] [72] [75] [725] [734] [740]
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
-------1 1
0-----1- 1
.names s1_out_4_ [663] [678] [680] [683] [685] [717] [740] [741]
-------1 1
1----01- 1
-000001- 1
.names s1_out_4_ [663] [678] [680] [683] [685] [721] [726] [742]
-----11- 1
-----1-1 1
01----1- 1
0-1---1- 1
0--1--1- 1
0---1-1- 1
01-----1 1
0-1----1 1
0--1---1 1
0---1--1 1
.names s1_out_4_ [663] [678] [680] [683] [685] [727] [731] [743]
-----11- 1
-----1-1 1
01----1- 1
0-1---1- 1
0--1--1- 1
0---1-1- 1
01-----1 1
0-1----1 1
0--1---1 1
0---1--1 1
.names [77] [85] [707] [709] [713] [741] [742] [743] [746]
-----1-- 1
------1- 1
-------1 1
1---1--- 1
-1--1--- 1
--1-1--- 1
---11--- 1
.names s1_in_6_ s1_in_7_ s1_in_3_ s1_out_2_ [121] [644] [646] [748]
0100000 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 s1_out_2_ n_n238 n_n241 [121] [637] [644] [646] [753]
-111--- 1
-11--1- 1
-11---1 1
111-1-- 1
.names s1_out_2_ n_n238 n_n239 [121] [637] [644] [646] [754]
-101--- 1
-10--1- 1
-10---1 1
110-1-- 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_in_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [759]
---1-1- 1
--00-1- 1
--11--0 1
--1-1-0 1
1-11-0- 1
-101--1 1
1--01-1 1
--001-0 1
--100-0 1
-11000- 1
-10-001 1
-1-0001 1
.names s1_in_7_ s1_in_5_ n_n237 n_n238 n_n239 n_n240 n_n241 [50] [762]
-------1 1
-100-1-- 1
1--01-1- 1
-111--0- 1
-11-1-0- 1
1111-0-- 1
1-11101- 1
.names n_n45 [43] [49] [112] [675] [748] [750] [762] [766]
-1------ 1
--1----- 1
-------1 1
---1-1-- 1
----11-- 1
0-----1- 1
.names s1_in_0_ s1_in_2_ s1_out_4_ n_n237 [46] [51] [766] [769]
----1-- 1
-----1- 1
------1 1
0-11--- 1
-011--- 1
.names [34] [42] [77] [85] [707] [709] [753] [769] [772]
1------- 1
-1------ 1
-------1 1
--1---1- 1
---1--1- 1
----1-1- 1
-----11- 1
.end