.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 [90] [686] [687] s1_out_1_
1-- 1
-1- 1
--1 1
.names s1_out_3_ n_n240 [665] [675] s1_out_0_
---1 1
0-1- 1
-11- 1
.names [120] [643] [645] [646] s1_out_3_
1--- 1
-1-- 1
--1- 1
---1 1
.names [590] [591] [594] s1_out_2_
--1 1
11- 1
.names [134] [136] [587] s1_out_5_
1-- 1
-1- 1
--1 1
.names [98] [656] [659] s1_out_4_
1-- 1
-1- 1
--1 1
.names [60] [63] [743] [744] n_n42
1--- 1
-1-- 1
--1- 1
---1 1
.names [78] [80] [710] n_n43
1-- 1
-1- 1
--1 1
.names [772] [773] n_n44
1- 1
-1 1
.names [622] [623] [627] n_n45
1-- 1
-1- 1
--1 1
.names s1_in_0_ [626] [627] [760] n_n46
---1 1
01-- 1
0-1- 1
.names n_n238 n_n241 [20]
10 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_6_ s1_in_4_ [19]
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 n_n238 n_n240 [23]
01 1
.names n_n237 n_n238 [29]
11 1
.names s1_in_6_ s1_in_7_ s1_in_3_ [30]
010 1
.names s1_in_5_ [134] [136] [587] [53]
11-- 1
1-1- 1
1--1 1
.names s1_in_7_ n_n239 n_n241 [54]
111 1
.names [26] [622] [623] [627] [55]
1000 1
.names n_n238 n_n239 n_n241 [26]
110 1
.names n_n237 n_n239 n_n241 [38]
011 1
.names s1_in_7_ s1_in_3_ [22]
10 1
.names n_n239 [134] [136] [587] [32]
0--- 1
-1-- 1
--1- 1
---1 1
.names [90] [686] [687] [752] [34]
1--1 1
-1-1 1
--11 1
.names [90] [686] [687] [754] [42]
1--1 1
-1-1 1
--11 1
.names s1_in_1_ s1_out_3_ n_n238 n_n240 [43]
0111 1
.names [98] [656] [659] [757] [45]
1--1 1
-1-1 1
--11 1
.names s1_out_0_ [758] [46]
11 1
.names [33] [54] [134] [587] [48]
01-- 1
-11- 1
-1-1 1
.names [18] [134] [136] [587] [50]
01-- 1
0-1- 1
0--1 1
.names s1_out_0_ [57] [760] [51]
000 1
.names s1_in_0_ [622] [623] [627] [57]
01-- 1
0-1- 1
0--1 1
.names [78] [80] [710] [713] [60]
1--1 1
-1-1 1
--11 1
.names [32] [715] [61]
01 1
.names [90] [686] [687] [717] [62]
0001 1
.names [78] [80] [710] [719] [63]
1--1 1
-1-1 1
--11 1
.names [90] [686] [687] [721] [64]
1--1 1
-1-1 1
--11 1
.names s1_out_3_ n_n238 [724] [67]
111 1
.names [90] [686] [687] [726] [69]
1--1 1
-1-1 1
--11 1
.names [90] [686] [687] [727] [70]
1--1 1
-1-1 1
--11 1
.names s1_in_3_ s1_out_3_ n_n240 n_n241 [71]
0101 1
.names [90] [686] [687] [731] [74]
1--1 1
-1-1 1
--11 1
.names s1_out_3_ s1_out_5_ n_n238 [75]
111 1
.names [90] [686] [687] [690] [77]
0001 1
.names [90] [686] [687] [692] [78]
0001 1
.names n_n237 n_n240 [53] [79]
011 1
.names [90] [686] [687] [694] [80]
0001 1
.names [90] [686] [687] [699] [85]
1--1 1
-1-1 1
--11 1
.names s1_in_1_ n_n238 [138] [594] [86]
011- 1
01-1 1
.names [18] [26] [626] [627] [87]
1100 1
.names s1_out_0_ [622] [623] [627] [88]
0000 1
.names s1_out_0_ [658] [659] [677] [90]
1001 1
.names s1_in_3_ n_n237 n_n239 n_n241 [94]
1000 1
.names [26] [626] [627] [650] [98]
1001 1
.names s1_out_5_ [30] [138] [594] [100]
0100 1
.names s1_in_7_ s1_in_2_ [626] [627] [101]
111- 1
11-1 1
.names s1_in_7_ n_n237 n_n238 n_n240 [102]
1101 1
.names s1_in_6_ s1_in_7_ [26] [612] [107]
0111 1
.names s1_in_6_ s1_in_4_ [26] [614] [108]
0-11 1
-011 1
.names n_n237 n_n238 n_n240 [620] [111]
1011 1
.names [134] [136] [587] [667] [114]
1--1 1
-1-1 1
--11 1
.names s1_in_0_ s1_in_2_ n_n237 n_n239 [115]
1111 1
.names [590] [591] [594] [634] [120]
0-01 1
-001 1
.names [134] [136] [587] [635] [121]
0001 1
.names n_n237 n_n238 n_n239 n_n241 [122]
1001 1
.names n_n237 n_n238 n_n240 [124]
011 1
.names s1_in_6_ s1_in_4_ n_n237 n_n240 [125]
1111 1
.names n_n237 n_n238 n_n239 n_n241 [126]
0111 1
.names n_n237 n_n238 n_n239 n_n241 [127]
0010 1
.names s1_in_7_ n_n237 n_n239 n_n241 [130]
1111 1
.names n_n237 n_n238 n_n239 n_n241 [134]
11-0 1
1-10 1
.names s1_in_7_ n_n238 n_n239 n_n241 [136]
1011 1
.names n_n238 n_n239 n_n240 [591] [138]
1--1 1
-001 1
.names n_n237 n_n238 n_n239 n_n241 [139]
1000 1
.names n_n237 n_n238 n_n239 n_n241 [140]
0010 1
.names s1_in_7_ n_n237 n_n238 n_n240 [587]
-001 1
1110 1
.names n_n238 n_n239 n_n240 [590]
1-- 1
-00 1
.names s1_in_3_ n_n237 n_n238 n_n241 [591]
110- 1
10-1 1
1-01 1
.names n_n238 n_n240 [139] [140] [594]
--1- 1
---1 1
11-- 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_0_ s1_in_2_ n_n237 [612]
0-0 1
-00 1
.names s1_in_2_ s1_in_3_ n_n237 [614]
010 1
.names s1_in_7_ s1_in_3_ n_n238 [617]
001 1
.names s1_in_6_ s1_in_7_ s1_in_4_ n_n237 [619]
1010 1
.names s1_in_7_ s1_in_0_ s1_in_2_ [620]
00- 1
0-0 1
.names [598] [599] [603] [604] [621]
11-- 1
--11 1
.names [30] [606] [607] [610] [622]
-11- 1
1--1 1
.names [26] [38] [617] [619] [623]
-11- 1
1--1 1
.names [623] [622] [626]
1- 1
-1 1
.names [107] [108] [111] [621] [627]
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 n_n238 n_n239 n_n241 [631]
100 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_4_ [24] [637]
110 1
.names [122] [124] [126] [642]
1-- 1
-1- 1
--1 1
.names [125] [127] [642] [643]
1-- 1
-1- 1
--1 1
.names [121] [138] [594] [637] [645]
1--- 1
-1-1 1
--11 1
.names [20] [53] [32] [130] [646]
-1-- 1
---1 1
1-1- 1
.names s1_out_5_ [22] [138] [594] [649]
0100 1
.names [19] [134] [136] [587] [650]
0000 1
.names s1_out_5_ [22] [102] [631] [654]
--1- 1
01-1 1
.names s1_out_5_ [38] [22] [100] [655]
---1 1
011- 1
.names [626] [627] [630] [654] [656]
---1 1
1-1- 1
-11- 1
.names [656] [98] [658]
1- 1
-1 1
.names s1_out_3_ [101] [649] [655] [659]
-1-- 1
---1 1
1-1- 1
.names s1_in_0_ s1_in_3_ n_n238 n_n241 [661]
1110 1
.names [134] [136] [587] [661] [662]
0001 1
.names [622] [623] [627] [662] [663]
0001 1
.names s1_in_0_ s1_in_2_ n_n237 [664]
111 1
.names [590] [591] [594] [664] [665]
0-01 1
-001 1
.names s1_in_0_ s1_in_2_ n_n241 [666]
110 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 n_n238 n_n239 n_n241 [670]
01- 1
-00 1
.names [19] [115] [666] [670] [672]
-1-- 1
---1 1
1-1- 1
.names [24] [138] [594] [669] [674]
11-- 1
1-1- 1
-1-1 1
--11 1
.names [114] [672] [674] [675]
1-- 1
-1- 1
--1 1
.names s1_in_3_ s1_out_5_ [138] [594] [677]
1000 1
.names s1_in_0_ s1_in_3_ [39] [680]
111 1
.names n_n238 n_n239 n_n241 [682]
011 1
.names s1_in_2_ s1_in_3_ [626] [627] [683]
011- 1
01-1 1
.names s1_in_7_ s1_in_3_ [94] [682] [685]
--1- 1
01-1 1
.names [658] [659] [663] [685] [686]
---1 1
001- 1
.names [658] [659] [680] [683] [687]
001- 1
00-1 1
.names n_n237 n_n239 n_n241 [689]
000 1
.names s1_in_6_ s1_in_4_ [689] [690]
111 1
.names n_n238 n_n239 n_n241 [691]
100 1
.names [134] [136] [587] [691] [692]
0001 1
.names [39] [622] [623] [627] [694]
1000 1
.names s1_in_0_ s1_in_2_ n_n239 [695]
0-1 1
-01 1
.names s1_in_4_ n_n237 n_n238 [696]
111 1
.names s1_in_0_ s1_in_2_ n_n237 [697]
0-0 1
-00 1
.names s1_out_3_ [622] [623] [627] [698]
1000 1
.names s1_in_2_ [622] [623] [627] [699]
01-- 1
0-1- 1
0--1 1
.names [23] [29] [695] [697] [701]
-11- 1
1--1 1
.names [138] [594] [696] [701] [702]
---1 1
1-1- 1
-11- 1
.names [79] [86] [87] [702] [705]
1--- 1
-1-- 1
--1- 1
---1 1
.names [658] [659] [698] [705] [706]
---1 1
1-1- 1
-11- 1
.names [80] [78] [709]
1- 1
-1 1
.names [77] [85] [88] [706] [710]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1_in_7_ n_n237 n_n241 [712]
111 1
.names [590] [591] [594] [712] [713]
0-01 1
-001 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 [716]
1100 1
.names [32] [716] [717]
01 1
.names n_n237 n_n239 n_n241 [718]
000 1
.names s1_in_7_ s1_in_3_ [718] [719]
101 1
.names s1_in_6_ s1_in_4_ n_n237 n_n241 [720]
0-00 1
-000 1
.names s1_out_3_ [720] [721]
01 1
.names s1_in_2_ s1_in_3_ [722]
00 1
.names s1_in_0_ s1_in_2_ s1_in_3_ [723]
01- 1
0-0 1
.names s1_in_3_ n_n237 n_n239 n_n241 [724]
0011 1
.names n_n237 n_n241 [30] [725]
001 1
.names s1_in_6_ s1_in_4_ [32] [726]
0-0 1
-00 1
.names s1_out_0_ [32] [727]
10 1
.names [24] [590] [591] [594] [729]
1--1 1
111- 1
.names n_n237 s1_in_2_ [730]
00 1
.names s1_out_3_ n_n241 [731]
01 1
.names [23] [722] [723] [730] [733]
11-- 1
1-1- 1
1--1 1
.names [53] [130] [733] [734]
1-- 1
-1- 1
--1 1
.names [61] [626] [627] [725] [735]
1--- 1
-001 1
.names s1_out_3_ [729] [734] [735] [737]
--1- 1
---1 1
11-- 1
.names [67] [71] [75] [737] [740]
1--- 1
-1-- 1
--1- 1
---1 1
.names [74] [70] [743]
1- 1
-1 1
.names [62] [64] [69] [740] [744]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1_out_3_ [30] [138] [594] [748]
0100 1
.names n_n238 n_n239 [30] [750]
111 1
.names s1_in_6_ s1_in_4_ n_n241 [751]
110 1
.names [622] [623] [627] [751] [752]
0001 1
.names s1_out_3_ n_n238 n_n241 [753]
111 1
.names s1_out_3_ n_n238 n_n239 [754]
110 1
.names n_n238 n_n240 [626] [627] [756]
0100 1
.names s1_in_0_ s1_in_2_ n_n237 [757]
0-1 1
-01 1
.names n_n237 [134] [136] [587] [758]
11-- 1
1-1- 1
1--1 1
.names s1_out_5_ [590] [591] [594] [759]
1--- 1
---1 1
-11- 1
.names [33] [626] [627] [759] [760]
---1 1
11-- 1
1-1- 1
.names [53] [48] [50] [762]
1-- 1
-1- 1
--1 1
.names [626] [627] [750] [762] [763]
---1 1
001- 1
.names s1_out_3_ n_n237 n_n238 [763] [764]
---1 1
111- 1
.names s1_out_0_ [43] [748] [764] [766]
-1-- 1
---1 1
1-1- 1
.names [45] [46] [51] [766] [769]
1--- 1
-1-- 1
--1- 1
---1 1
.names [34] [42] [769] [771]
1-- 1
-1- 1
--1 1
.names [709] [710] [753] [771] [772]
---1 1
1-1- 1
-11- 1
.names [55] [709] [710] [756] [773]
11-- 1
1-1- 1
-001 1
.end