.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_n226 n_n227 [699] s832_out_12_
101 1
.names [71] [32] [741] s832_out_11_
1-- 1
-1- 1
--1 1
.names [122] [743] s832_out_14_
11 1
.names s832_in_1_ [44] [687] s832_out_13_
111 1
.names s832_in_12_ [42] [79] s832_out_10_
011 1
.names n_n224 n_n225 [79] s832_out_5_
111 1
.names s832_in_3_ s832_out_2_ s832_out_6_
11 1
.names s832_in_12_ [42] [79] s832_out_3_
111 1
.names n_n227 [60] [41] s832_out_4_
-1- 1
0-1 1
.names n_n226 n_n227 [87] s832_out_9_
001 1
.names [35] [46] [745] s832_out_7_
1-1 1
-11 1
.names n_n227 n_n228 [88] s832_out_8_
111 1
.names s832_in_2_ [79] [699] s832_out_2_
111 1
.names s832_in_13_ [110] [746] s832_out_0_
--1 1
11- 1
.names n_n227 [41] [748] s832_out_16_
011 1
.names s832_in_16_ [80] n_n93 s832_out_15_
11- 1
1-1 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_ [170] [704] n_n79
01- 1
0-1 1
.names [145] [146] n_n80
1- 1
-1 1
.names [107] [131] [722] n_n81
-1- 1
1-1 1
.names s832_in_0_ [99] [57] n_n82
--1 1
01- 1
.names n_n227 [41] [80]
01 1
.names s832_in_0_ s832_in_13_ n_n227 [33]
001 1
.names [31] [684] [685] [91]
1-- 1
-1- 1
--1 1
.names s832_in_2_ [90] [193] [89]
--1 1
11- 1
.names n_n224 n_n225 [42]
11 1
.names n_n226 n_n227 [79]
10 1
.names [31] [64] [739] [99]
1-- 1
-1- 1
--1 1
.names n_n226 n_n227 [687] [60]
001 1
.names n_n226 [108] [721] [107]
--1 1
11- 1
.names n_n227 [41] [707] [54]
011 1
.names [32] [40] [741] [110]
1-- 1
-1- 1
--1 1
.names n_n227 [71] [129] [109]
-1- 1
1-1 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 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 n_n224 n_n228 [87]
01 1
.names n_n224 n_n225 [667] [55]
011 1
.names s832_in_1_ [124] [217] [123]
--1 1
01- 1
.names s832_in_13_ [123] [673] [31]
--1 1
01- 1
.names n_n227 [129] [175] [32]
--1 1
11- 1
.names s832_in_1_ [189] [698] [35]
0-1 1
-11 1
.names s832_in_6_ s832_in_7_ [36]
1- 1
-1 1
.names s832_in_17_ n_n225 [675] [47]
001 1
.names n_n224 n_n225 [83]
00 1
.names n_n224 n_n225 n_n228 [41]
000 1
.names n_n224 n_n228 [81]
10 1
.names n_n224 n_n225 [82]
01 1
.names s832_in_4_ n_n226 [68]
0- 1
-0 1
.names s832_in_2_ n_n226 [78]
10 1
.names [676] [677] [678] [85]
111 1
.names n_n224 n_n226 n_n228 [129]
0-- 1
-00 1
.names n_n226 [41] [195] [90]
--1 1
01- 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_2_ s832_in_1_ n_n226 [104]
--0 1
01- 1
.names [36] [83] [718] [108]
--1 1
11- 1
.names [178] [179] [694] [117]
1-- 1
-1- 1
--1 1
.names s832_in_6_ s832_in_5_ s832_in_7_ [118]
00- 1
0-0 1
-00 1
.names n_n225 n_n227 [129] [124]
1-- 1
-11 1
.names n_n93 s832_out_1_
1 1
.names n_n93 s832_out_17_
1 1
.names n_n224 n_n225 n_n226 [40]
110 1
.names n_n224 n_n225 [744] [46]
011 1
.names n_n224 n_n225 n_n226 [52]
011 1
.names [33] [730] [57]
11 1
.names s832_in_13_ n_n226 [731] [61]
0-1 1
-11 1
.names n_n226 n_n227 [732] [62]
101 1
.names [676] [677] [733] [63]
111 1
.names n_n224 [66] [67] [64]
01- 1
0-1 1
.names n_n225 [69] [72] [66]
01- 1
0-1 1
.names s832_in_13_ [73] [74] [67]
01- 1
0-1 1
.names s832_in_15_ s832_in_14_ [735] [69]
101 1
.names s832_in_16_ n_n228 [736] [72]
0-1 1
-11 1
.names s832_in_6_ s832_in_7_ [737] [73]
001 1
.names n_n228 [104] [74]
11 1
.names s832_in_0_ [727] [728] [131]
01- 1
0-1 1
.names [42] [78] [725] [132]
111 1
.names n_n224 n_n226 n_n228 [138]
100 1
.names s832_in_2_ n_n224 [139]
00 1
.names [33] [148] [706] [145]
11- 1
1-1 1
.names s832_in_0_ [153] [717] [146]
01- 1
0-1 1
.names s832_in_1_ n_n225 [88] [147]
01- 1
-11 1
.names n_n226 [150] [151] [148]
11- 1
1-1 1
.names [696] [697] [705] [150]
1-1 1
-11 1
.names s832_in_2_ n_n225 n_n228 [151]
01- 1
0-1 1
.names s832_in_13_ [161] [711] [153]
01- 1
0-1 1
.names s832_in_1_ [44] [687] [154]
011 1
.names s832_in_2_ [79] [699] [155]
011 1
.names n_n226 [41] [164] [160]
11- 1
1-1 1
.names s832_in_1_ [32] [166] [161]
01- 1
0-1 1
.names n_n226 n_n227 [82] [162]
101 1
.names s832_in_4_ n_n225 n_n228 [164]
010 1
.names n_n225 n_n226 [166]
10 1
.names n_n224 n_n225 [688] [168]
111 1
.names s832_in_13_ [71] [32] [169]
11- 1
1-1 1
.names s832_in_1_ [117] [170]
11 1
.names n_n226 n_n227 [82] [171]
101 1
.names s832_in_3_ s832_out_2_ [173]
01 1
.names n_n226 n_n227 n_n228 [175]
111 1
.names [84] [41] [118] [177]
111 1
.names n_n227 [183] [184] [178]
11- 1
1-1 1
.names n_n225 [185] [693] [179]
11- 1
1-1 1
.names n_n228 [88] [183]
01 1
.names n_n224 n_n225 [68] [184]
110 1
.names [44] [690] [691] [185]
11- 1
1-1 1
.names s832_in_4_ n_n224 n_n226 [186]
00- 1
-00 1
.names s832_in_2_ [696] [697] [189]
100 1
.names [33] [89] [191]
11 1
.names n_n224 n_n228 [665] [193]
101 1
.names n_n225 n_n226 n_n228 [195]
111 1
.names [207] [208] [680] [197]
1-1 1
-11 1
.names s832_in_16_ n_n93 [205] [198]
11- 1
1-1 1
.names s832_in_13_ [209] [210] [199]
01- 1
0-1 1
.names n_n226 n_n227 [83] [205]
001 1
.names s832_in_17_ n_n225 n_n228 [207]
000 1
.names s832_in_3_ n_n226 [208]
01 1
.names [84] [41] [95] [209]
111 1
.names n_n224 n_n225 [96] [210]
111 1
.names s832_in_2_ n_n224 [669] [213]
011 1
.names n_n226 n_n227 [670] [214]
001 1
.names n_n227 n_n228 [671] [217]
111 1
.names n_n226 s832_in_2_ [665]
00 1
.names s832_in_1_ n_n226 n_n227 [667]
000 1
.names n_n227 n_n226 [669]
01 1
.names n_n228 s832_in_1_ [670]
10 1
.names n_n226 n_n224 [671]
11 1
.names [55] [213] [214] [673]
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_ [47] [682]
1-- 1
-1- 1
--1 1
.names [198] [682] [684]
1- 1
-1 1
.names [85] [197] [199] [685]
1-- 1
-1- 1
--1 1
.names n_n228 n_n224 [687]
11 1
.names n_n228 n_n226 [688]
10 1
.names n_n224 n_n227 n_n228 [689]
011 1
.names s832_in_10_ s832_in_11_ [690]
1- 1
-0 1
.names s832_in_9_ s832_in_8_ [691]
1- 1
-0 1
.names s832_in_2_ n_n224 n_n228 [692]
-01 1
0-0 1
.names [692] [186] [693]
1- 1
-1 1
.names [84] [177] [689] [694]
-1- 1
1-1 1
.names s832_in_10_ s832_in_11_ [696]
0- 1
-0 1
.names s832_in_9_ s832_in_8_ [697]
0- 1
-0 1
.names n_n224 n_n227 n_n228 [698]
111 1
.names n_n225 n_n224 [699]
01 1
.names s832_out_13_ [168] [171] [701]
1-- 1
-1- 1
--1 1
.names [169] [173] [701] [703]
1-- 1
-1- 1
--1 1
.names n_n226 [35] [703] [704]
--1 1
11- 1
.names n_n228 n_n224 [705]
11 1
.names [81] [78] [147] [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 s832_out_8_ [160] [162] [711]
1-- 1
-1- 1
--1 1
.names [47] [83] [708] [713]
1-- 1
-11 1
.names [155] [154] [714]
1- 1
-1 1
.names s832_out_3_ [54] [55] [715]
1-- 1
-1- 1
--1 1
.names [713] [714] [715] [717]
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 [138] [139] [719] [721]
1-- 1
-1- 1
--1 1
.names [33] s832_in_1_ [722]
11 1
.names s832_in_1_ s832_in_13_ [723]
10 1
.names [690] [691] [723] [725]
001 1
.names s832_out_10_ [674] [675] [726]
1-- 1
-11 1
.names s832_in_3_ s832_out_2_ [132] [727]
--1 1
11- 1
.names s832_in_16_ [85] [726] [728]
--1 1
01- 1
.names s832_in_2_ n_n225 n_n228 [730]
110 1
.names n_n224 n_n225 n_n228 [731]
111 1
.names n_n225 s832_in_13_ [732]
10 1
.names s832_in_16_ s832_in_14_ [733]
00 1
.names s832_in_16_ n_n226 n_n227 [735]
000 1
.names n_n227 s832_in_1_ [736]
01 1
.names s832_in_2_ n_n226 n_n228 [737]
110 1
.names [61] [62] [63] [739]
1-- 1
-1- 1
--1 1
.names n_n225 n_n227 [52] [741]
--1 1
11- 1
.names s832_in_1_ s832_in_13_ [742]
10 1
.names [84] [41] [742] [743]
111 1
.names n_n227 s832_in_1_ [744]
00 1
.names n_n226 s832_in_13_ [745]
10 1
.names s832_in_1_ [54] [109] [746]
-1- 1
0-1 1
.names s832_in_1_ s832_in_14_ s832_in_16_ [748]
010 1
.end