.model top
.inputs s832_in_11_ s832_in_10_ s832_in_0_ s832_in_13_ s832_in_12_ s832_in_2_ \
s832_in_15_ s832_in_1_ s832_in_14_ s832_in_4_ s832_in_17_ s832_in_3_ \
s832_in_16_ s832_in_6_ s832_in_5_ s832_in_8_ s832_in_7_ s832_in_9_ clock
.outputs s832_out_12_ s832_out_11_ s832_out_14_ s832_out_13_ s832_out_10_ \
s832_out_5_ s832_out_6_ s832_out_3_ s832_out_4_ s832_out_9_ s832_out_7_ \
s832_out_8_ s832_out_1_ s832_out_2_ s832_out_0_ s832_out_16_ s832_out_15_ \
s832_out_18_ s832_out_17_
.latch    n_n78 n_n224 re clock 2
.latch    n_n79 n_n225 re clock 2
.latch    n_n80 n_n226 re clock 2
.latch    n_n81 n_n227 re clock 2
.latch    n_n82 n_n228 re clock 2
.names n_n224 n_n225 n_n226 n_n227 s832_out_12_
1010 1
.names [71] [32] [741] s832_out_11_
1-- 1
-1- 1
--1 1
.names [84] [122] [41] [742] s832_out_14_
1111 1
.names s832_in_1_ [60] s832_out_13_
11 1
.names s832_in_12_ s832_out_5_ s832_out_10_
01 1
.names n_n224 n_n225 n_n226 n_n227 s832_out_5_
1110 1
.names s832_in_2_ s832_in_3_ s832_out_12_ s832_out_6_
111 1
.names s832_in_12_ s832_out_5_ s832_out_3_
11 1
.names [80] [60] s832_out_4_
1- 1
-1 1
.names n_n224 n_n226 n_n227 n_n228 s832_out_9_
0001 1
.names s832_in_13_ n_n226 [35] [46] s832_out_7_
011- 1
01-1 1
.names n_n227 n_n228 [88] s832_out_8_
111 1
.names s832_in_2_ s832_out_12_ s832_out_2_
11 1
.names [80] [34] [37] [707] s832_out_0_
-1-- 1
--1- 1
1--1 1
.names s832_in_1_ s832_in_14_ s832_in_16_ [80] s832_out_16_
0101 1
.names s832_in_16_ [80] [676] [677] s832_out_15_
11-- 1
1-11 1
.names s832_in_2_ n_n226 [689] s832_out_18_
111 1
.names s832_in_0_ [91] [191] n_n78
--1 1
01- 1
.names s832_in_0_ [115] n_n79
01 1
.names s832_in_0_ [145] [153] [717] n_n80
-1-- 1
0-1- 1
0--1 1
.names s832_in_0_ [106] [130] n_n81
--1 1
01- 1
.names [33] [58] [730] n_n82
-1- 1
1-1 1
.names n_n224 n_n225 n_n227 n_n228 [80]
0000 1
.names s832_in_0_ s832_in_13_ n_n227 [33]
001 1
.names [31] [199] [683] [684] [91]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n224 n_n225 [42]
11 1
.names n_n224 n_n226 n_n227 n_n228 [60]
1001 1
.names s832_out_6_ [132] [133] [726] [106]
1--- 1
-1-- 1
--1- 1
---1 1
.names s832_in_1_ s832_in_16_ [80] [54]
101 1
.names s832_in_2_ n_n226 [84]
11 1
.names s832_in_2_ n_n224 n_n226 [88]
100 1
.names n_n224 n_n225 [677] n_n93
101 1
.names s832_in_1_ [117] [172] [703] [115]
--1- 1
---1 1
11-- 1
.names n_n224 n_n225 n_n228 [71]
110 1
.names s832_in_6_ s832_in_5_ s832_in_7_ [122]
11- 1
1-1 1
-11 1
.names n_n226 n_n227 [44]
00 1
.names s832_in_1_ n_n225 [86] [217] [123]
---1 1
01-- 1
0-1- 1
.names s832_in_13_ [123] [673] [31]
--1 1
01- 1
.names n_n224 n_n226 n_n227 n_n228 [86]
0-1- 1
-010 1
.names n_n224 n_n226 n_n227 n_n228 [32]
0-1- 1
-111 1
-010 1
.names s832_in_2_ s832_in_1_ [59] [698] [35]
-0-1 1
1-01 1
.names s832_in_6_ s832_in_7_ [36]
1- 1
-1 1
.names n_n224 n_n225 [83]
00 1
.names n_n224 n_n225 n_n228 [41]
000 1
.names n_n224 n_n225 [82]
01 1
.names s832_in_11_ s832_in_10_ s832_in_8_ s832_in_9_ [59]
0--- 1
-0-- 1
--0- 1
---0 1
.names s832_in_11_ s832_in_10_ s832_in_8_ s832_in_9_ [70]
0--- 1
-1-- 1
--0- 1
---1 1
.names n_n224 n_n225 [677] [678] [85]
1011 1
.names n_n224 n_n225 n_n226 n_n228 [90]
-111 1
0000 1
.names s832_in_2_ s832_in_4_ n_n226 [96]
0-- 1
-0- 1
--0 1
.names s832_in_6_ s832_in_5_ s832_in_7_ [95]
1-- 1
-11 1
.names s832_in_13_ n_n226 [100]
0- 1
-1 1
.names s832_in_2_ s832_in_1_ n_n224 n_n226 [112]
-0-- 1
1-00 1
.names n_n225 [121] [178] [694] [117]
--1- 1
---1 1
11-- 1
.names [44] [70] [186] [692] [121]
--1- 1
---1 1
11-- 1
.names s832_in_6_ s832_in_5_ s832_in_7_ [118]
00- 1
0-0 1
-00 1
.names s832_in_4_ n_n224 n_n225 n_n228 [127]
0-10 1
-000 1
.names n_n93 s832_out_1_
1 1
.names n_n93 s832_out_17_
1 1
.names s832_in_1_ [71] [86] [34]
01- 1
0-1 1
.names s832_in_13_ [32] [40] [741] [37]
11-- 1
1-1- 1
1--1 1
.names n_n224 n_n225 n_n226 [40]
110 1
.names s832_in_1_ n_n224 n_n225 n_n227 [46]
0010 1
.names s832_in_0_ [31] [64] [739] [58]
01-- 1
0-1- 1
0--1 1
.names s832_in_13_ n_n225 n_n226 n_n227 [62]
0110 1
.names n_n224 n_n225 [677] [733] [63]
1011 1
.names n_n224 [66] [67] [64]
01- 1
0-1 1
.names n_n225 [72] [734] [735] [66]
01-- 1
0-11 1
.names s832_in_13_ [36] [74] [737] [67]
0-1- 1
00-1 1
.names s832_in_1_ s832_in_16_ n_n227 n_n228 [72]
100- 1
1-01 1
.names s832_in_2_ s832_in_1_ n_n226 n_n228 [74]
--01 1
01-1 1
.names [137] [719] [720] [722] [130]
1--1 1
-1-1 1
--11 1
.names s832_in_13_ s832_in_1_ [70] [724] [132]
0101 1
.names s832_in_16_ [676] [677] [678] [133]
0111 1
.names n_n226 [142] [718] [137]
11- 1
1-1 1
.names s832_in_6_ s832_in_7_ n_n224 n_n225 [142]
1-00 1
-100 1
.names [33] [148] [706] [145]
11- 1
1-1 1
.names n_n226 [59] [151] [705] [148]
1-1- 1
11-1 1
.names s832_in_2_ n_n224 n_n226 n_n228 [149]
1100 1
.names s832_in_2_ n_n225 n_n228 [151]
01- 1
0-1 1
.names s832_in_13_ [160] [161] [710] [153]
01-- 1
0-1- 1
0--1 1
.names n_n226 [127] [160]
11 1
.names s832_in_1_ n_n225 n_n226 [32] [161]
0--1 1
010- 1
.names n_n224 n_n225 n_n226 n_n227 [162]
0110 1
.names n_n224 n_n225 n_n226 n_n228 [168]
1101 1
.names s832_in_13_ [71] [32] [169]
11- 1
1-1 1
.names n_n224 n_n225 n_n226 n_n227 [171]
0110 1
.names n_n226 [35] [172]
11 1
.names s832_in_2_ s832_in_3_ s832_out_12_ [173]
101 1
.names n_n227 [183] [184] [178]
11- 1
1-1 1
.names s832_in_2_ n_n224 n_n226 n_n228 [183]
1000 1
.names s832_in_4_ n_n224 n_n225 n_n226 [184]
1111 1
.names s832_in_4_ n_n224 n_n226 [186]
00- 1
-00 1
.names s832_in_2_ [33] [90] [193] [191]
-1-1 1
111- 1
.names s832_in_2_ n_n224 n_n226 n_n228 [193]
0100 1
.names s832_in_16_ [205] [676] [677] [198]
11-- 1
1-11 1
.names s832_in_13_ [42] [96] [209] [199]
0--1 1
011- 1
.names n_n224 n_n225 n_n226 n_n227 [205]
0000 1
.names s832_in_17_ n_n225 n_n228 [207]
000 1
.names s832_in_3_ n_n226 [208]
01 1
.names s832_in_2_ n_n226 [41] [95] [209]
1111 1
.names s832_in_2_ n_n224 n_n226 n_n227 [213]
0110 1
.names s832_in_1_ n_n226 n_n227 n_n228 [214]
0001 1
.names n_n224 n_n226 n_n227 n_n228 [217]
1111 1
.names s832_in_1_ n_n226 n_n227 [667]
000 1
.names [82] [213] [214] [667] [673]
-1-- 1
--1- 1
1--1 1
.names n_n225 s832_in_17_ [674]
00 1
.names n_n224 n_n226 n_n228 [675]
110 1
.names n_n225 n_n224 [676]
01 1
.names n_n226 n_n227 n_n228 [677]
011 1
.names s832_in_14_ s832_in_15_ [678]
00 1
.names n_n227 n_n224 [680]
01 1
.names s832_out_5_ s832_out_9_ [674] [675] [682]
1--- 1
-1-- 1
--11 1
.names [85] [207] [208] [680] [683]
1--- 1
-1-1 1
--11 1
.names [198] [682] [684]
1- 1
-1 1
.names n_n224 n_n227 n_n228 [689]
011 1
.names s832_in_2_ n_n224 n_n228 [692]
-01 1
0-0 1
.names [84] [41] [118] [689] [694]
1--1 1
111- 1
.names n_n224 n_n227 n_n228 [698]
111 1
.names s832_in_1_ [60] [168] [171] [701]
--1- 1
---1 1
11-- 1
.names [169] [173] [701] [703]
1-- 1
-1- 1
--1 1
.names n_n228 n_n224 [705]
11 1
.names n_n225 [112] [149] [706]
--1 1
11- 1
.names s832_in_16_ s832_in_1_ [707]
01 1
.names s832_in_1_ n_n226 n_n227 [708]
110 1
.names n_n227 n_n228 [88] [162] [710]
---1 1
111- 1
.names s832_in_12_ s832_out_5_ [82] [667] [712]
11-- 1
--11 1
.names [83] [674] [675] [708] [713]
-11- 1
1--1 1
.names s832_in_2_ s832_in_1_ s832_out_12_ [60] [714]
0-1- 1
-0-1 1
.names [54] [712] [713] [714] [717]
1--- 1
-1-- 1
--1- 1
---1 1
.names s832_in_4_ n_n225 n_n228 [718]
--1 1
11- 1
.names n_n224 n_n225 n_n228 [719]
11- 1
0-1 1
.names s832_in_2_ n_n224 n_n226 n_n228 [720]
00-- 1
-100 1
.names s832_in_0_ s832_in_13_ s832_in_1_ n_n227 [722]
0011 1
.names s832_in_2_ n_n224 n_n225 n_n226 [724]
1110 1
.names s832_in_12_ s832_out_5_ [674] [675] [726]
01-- 1
--11 1
.names s832_in_2_ n_n225 n_n228 [730]
110 1
.names n_n224 n_n225 n_n228 [731]
111 1
.names s832_in_16_ s832_in_14_ [733]
00 1
.names s832_in_14_ s832_in_15_ [734]
01 1
.names s832_in_16_ n_n226 n_n227 [735]
000 1
.names s832_in_2_ n_n226 n_n228 [737]
110 1
.names [100] [62] [63] [731] [739]
-1-- 1
--1- 1
1--1 1
.names n_n224 n_n225 n_n226 n_n227 [741]
-1-1 1
011- 1
.names s832_in_1_ s832_in_13_ [742]
10 1
.end