.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 [658] [659] [663] [678] [680] [683] [685] s1_out_1_
------1 1
001---- 1
00-1--- 1
00--1-- 1
00---1- 1
.names s1_in_0_ s1_in_2_ s1_out_3_ s1_out_2_ n_n237 n_n240 [675] s1_out_0_
------1 1
11001-- 1
11-011- 1
.names s1_out_2_ s1_out_5_ [634] [635] [637] [643] [646] s1_out_3_
-----1- 1
------1 1
0-1---- 1
-0-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 [658] [659] s1_out_4_
1- 1
-1 1
.names [60] [63] [745] n_n42
1-- 1
-1- 1
--1 1
.names s1_out_1_ [690] [692] [694] [699] [707] n_n43
-----1 1
01---- 1
0-1--- 1
0--1-- 1
1---1- 1
.names [35] [44] [47] [771] n_n44
1--- 1
-1-- 1
--1- 1
---1 1
.names s1_in_0_ s1_in_2_ n_n237 [111] [613] [625] [626] n_n45
---1--- 1
-----1- 1
------1 1
0-0-1-- 1
-00-1-- 1
.names s1_in_0_ n_n238 n_n239 [624] [625] [626] [759] n_n46
------1 1
0--1--- 1
-1-1--- 1
--01--- 1
0---1-- 1
-1--1-- 1
--0-1-- 1
0----1- 1
-1---1- 1
--0--1- 1
.names s1_in_1_ n_n237 n_n238 [24]
--0 1
10- 1
.names n_n237 n_n238 [29]
11 1
.names n_n238 n_n239 n_n241 [624] [625] [626] [55]
110000 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_1_ [690] [692] [694] [699] [707] [753] [35]
-----11 1
01----1 1
0-1---1 1
0--1--1 1
1---1-1 1
.names s1_out_1_ [690] [692] [694] [699] [707] [756] [44]
1---001 1
0000-01 1
-000001 1
.names s1_out_3_ s1_out_2_ n_n240 [664] [675] [758] [46]
----11 1
00-1-1 1
-011-1 1
.names s1_out_1_ [55] [690] [692] [694] [699] [707] [47]
-1----1 1
011---- 1
01-1--- 1
01--1-- 1
11---1- 1
.names s1_out_1_ [690] [692] [694] [699] [707] [713] [60]
-----11 1
01----1 1
0-1---1 1
0--1--1 1
1---1-1 1
.names s1_out_1_ [690] [692] [694] [699] [707] [719] [63]
-----11 1
01----1 1
0-1---1 1
0--1--1 1
1---1-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_out_3_ n_n240 [624] [625] [626] [665] [675] [88]
--00000 1
10000-0 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_7_ s1_in_3_ n_n237 n_n238 n_n239 n_n241 [109]
000111 1
.names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 n_n238 n_n239 n_n241 [110]
1010110 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_6_ s1_in_0_ s1_in_2_ s1_in_4_ n_n241 [113]
011-0 1
-1100 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_0_ s1_in_2_ n_n237 [612]
0-0 1
-00 1
.names s1_in_6_ s1_in_7_ n_n238 n_n239 n_n241 [613]
01110 1
.names s1_in_6_ s1_in_4_ n_n238 n_n239 n_n241 [615]
0-110 1
-0110 1
.names s1_in_7_ s1_in_0_ s1_in_2_ n_n237 n_n238 n_n240 [613] [624]
-0-0--1 1
--00--1 1
00-101- 1
0-0101- 1
.names s1_in_2_ s1_in_3_ n_n237 [104] [598] [599] [615] [625]
---1--- 1
----11- 1
010---1 1
.names [105] [106] [109] [110] [626]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1_in_6_ s1_in_7_ s1_in_1_ s1_in_5_ [630]
0101 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 s1_in_6_ s1_in_4_ n_n237 n_n238 n_n239 n_n240 n_n241 [643]
--01-1- 1
111--1- 1
--011-1 1
--100-1 1
--001-0 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_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_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_ s1_out_2_ s1_out_5_ [651] [655]
----01 1
01000- 1
.names [26] [624] [625] [626] [630] [650] [654] [658]
------1 1
-1--1-- 1
--1-1-- 1
---11-- 1
1000-1- 1
.names s1_out_3_ [624] [625] [626] [649] [653] [655] [659]
------1 1
1---1-- 1
-1---1- 1
--1--1- 1
---1-1- 1
.names s1_in_0_ s1_in_3_ n_n238 n_n241 [661]
1110 1
.names s1_out_5_ [111] [612] [613] [625] [626] [661] [663]
000-001 1
00-0001 1
.names s1_in_0_ s1_in_2_ n_n237 [664]
111 1
.names s1_in_0_ s1_in_2_ s1_out_2_ n_n237 [665]
1101 1
.names s1_in_0_ s1_in_2_ s1_in_5_ [667]
110 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_out_2_ s1_out_5_ [24] [113] [667] [669] [671] [675]
---1--- 1
------1 1
1-1---- 1
-1--1-- 1
1----1- 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_out_3_ s1_out_2_ n_n240 [664] [675] [677] [678]
----11 1
00-1-1 1
-011-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_ [111] [612] [613] [625] [626] [683]
011---- 1
01---1- 1
01----1 1
01-11-- 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_n240 [624] [625] [626] [694]
101000 1
.names s1_out_3_ [111] [612] [613] [625] [626] [698]
100-00 1
10-000 1
.names s1_in_2_ n_n237 [111] [613] [625] [626] [699]
0-1--- 1
0---1- 1
0----1 1
00-1-- 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_ [26] [624] [625] [626] [704] [705]
------1 1
0-1000- 1
-01000- 1
.names [88] [658] [659] [698] [705] [707]
1---- 1
----1 1
-1-1- 1
--11- 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_1_ s1_in_2_ s1_in_3_ [715]
0101 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_ s1_out_3_ n_n237 n_n241 [721]
0-000 1
-0000 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_3_ s1_out_2_ n_n240 [32] [664] [675] [727]
---0-1 1
00-01- 1
-0101- 1
.names s1_in_1_ s1_in_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [729]
1-01-1- 1
--001-0 1
--100-0 1
-11000- 1
1101--1 1
-1-0001 1
110-001 1
.names s1_out_3_ n_n241 [731]
01 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 [32] [624] [625] [626] [715] [725] [734] [736]
------1 1
0---1-- 1
-000-1- 1
.names s1_in_3_ s1_out_3_ n_n237 n_n238 n_n239 n_n240 n_n241 [738]
01---01 1
01011-1 1
.names s1_out_3_ s1_out_5_ n_n238 [729] [736] [738] [740]
----1- 1
-----1 1
1--1-- 1
111--- 1
.names s1_out_1_ [717] [721] [726] [727] [731] [740] [745]
------1 1
01----- 1
1-1---- 1
1--1--- 1
1---1-- 1
1----1- 1
.names s1_in_6_ s1_in_7_ s1_in_3_ s1_out_2_ [747]
0100 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 [624] [625] [626] [752]
110000 1
.names s1_out_3_ n_n238 n_n241 [753]
111 1
.names n_n240 s1_in_1_ [755]
10 1
.names n_n238 n_n240 [111] [612] [613] [625] [626] [756]
0100-00 1
010-000 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 [761]
-100-1- 1
1--01-1 1
-111--0 1
-11-1-0 1
1111-0- 1
1-11101 1
.names s1_in_0_ s1_in_2_ s1_out_5_ [761] [762]
---1 1
111- 1
.names s1_out_3_ [29] [624] [625] [626] [750] [762] [764]
------1 1
11----- 1
--0001- 1
.names s1_in_0_ s1_in_2_ n_n237 [46] [658] [659] [767]
---1-- 1
0-1-1- 1
-01-1- 1
0-1--1 1
-01--1 1
.names s1_out_0_ s1_out_3_ n_n238 n_n46 [747] [755] [764] [768]
------1 1
0--0--- 1
10--1-- 1
-11--1- 1
.names s1_out_1_ s1_out_3_ n_n238 n_n239 [752] [767] [768] [771]
-----1- 1
------1 1
1---1-- 1
1110--- 1
.end