.model s832 ;
# 18 inputs
# 19 outputs
# 5 D-type flipflops
# 25 inverters
# 262 gates (78 ANDs + 54 NANDs + 64 ORs + 66 NORs)
.inputs G0 G1 G2 G3 G4 G5 G6 G7 G8 G9 G10 G11 G12 G13 G14 G15 G16 G18  CK ;
.outputs G327 G325 G300 G322 G45 G312 G53 G49 G47 G296 G290 G292 G298 G288 G315 G55 G43 G310 G302  ;
G38 = @D ( G90, CK ) ;
G39 = @D ( G93, CK ) ;
G40 = @D ( G96, CK ) ;
G41 = @D ( G99, CK ) ;
G42 = @D ( G102, CK ) ;
G88 = G18' ;
G91 = G18' ;
G94 = G18' ;
G97 = G18' ;
G100 = G18' ;
G112 = G8' ;
G130 = G5' ;
G168 = G12' ;
G171 = G10' ;
G172 = G11' ;
G181 = G2' ;
G198 = G9' ;
G201 = G13' ;
G202 = G7' ;
G203 = G6' ;
G245 = G0' ;
G256 = G4' ;
G267 = G15' ;
G280 = G38' ;
G281 = G16' ;
G313 = G41' ;
G317 = G40' ;
G318 = G39' ;
G323 = G1' ;
G328 = G42' ;
G90 = G89 G88 ;
G93 = G92 G91 ;
G96 = G95 G94 ;
G99 = G98 G97 ;
G102 = G101 G100 ;
G103 = G313 G38 ;
G117 = G1 G280 G39 G313 ;
G118 = G245 G38 G39 ;
G120 = G39 G40 G42 ;
G121 = G318 G317 G328 ;
G127 = G38 G39 G313 G328 ;
G128 = G280 G318 G40 ;
G129 = G39 G317 ;
G141 = G317 G16 G323 G140 ;
G142 = G40 G281 ;
G143 = G40 G4 ;
G150 = G256 G147 G148 G149 ;
G151 = G38 G16 G256 G153 ;
G152 = G313 G317 G318 G154 ;
G158 = G280 G157 ;
G160 = G5 G313 G328 ;
G161 = G3 G42 ;
G162 = G1 G42 ;
G163 = G41 G42 ;
G164 = G42 G313 ;
G166 = G245 G38 G41 G42 ;
G167 = G256 G38 G313 ;
G169 = G172 G168 ;
G170 = G171 G172 ;
G174 = G41 G40 G15 G173 ;
G175 = G317 G176 ;
G185 = G280 G184 ;
G187 = G5 G313 G328 ;
G188 = G3 G42 ;
G189 = G1 G42 ;
G190 = G41 G42 ;
G191 = G42 G313 ;
G193 = G11 G328 ;
G194 = G10 G328 ;
G195 = G41 G42 ;
G197 = G8 G7 G6 G196 ;
G199 = G245 G38 G41 G42 ;
G200 = G256 G38 G313 ;
G210 = G39 G38 G245 G209 ;
G211 = G317 G39 G256 G212 ;
G213 = G16 G313 G328 ;
G214 = G267 G16 G313 ;
G215 = G41 G42 ;
G218 = G2 G323 G216 G217 ;
G219 = G318 G220 ;
G223 = G16 G222 ;
G226 = G318 G225 ;
G230 = G15 G38 G328 ;
G231 = G267 G313 ;
G232 = G38 G318 ;
G233 = G15 G318 ;
G234 = G15 G40 G313 G42 ;
G235 = G317 G328 ;
G249 = G40 G41 G328 ;
G250 = G39 G40 G42 ;
G251 = G318 G313 ;
G252 = G318 G317 ;
G258 = G318 G280 G257 ;
G259 = G41 G260 ;
G263 = G39 G38 G262 ;
G264 = G318 G266 ;
G265 = G317 G267 ;
G268 = G328 G267 ;
G271 = G318 G15 G14 G270 ;
G272 = G318 G4 G274 ;
G273 = G40 G39 G275 ;
G276 = G0 G38 G328 ;
G277 = G323 G281 G280 ;
G278 = G280 G42 ;
G279 = G281 G42 ;
G282 = G317 G328 ;
G283 = G317 G313 ;
G294 = G16 G293 ;
G52 = G328 +G313 +G39 +G50 ;
G62 = G267 +G4 +G57 +G58 ;
G63 = G40 +G318 +G4 +G59 ;
G64 = G317 +G318 +G60 ;
G67 = G174 +G175 +G177 ;
G70 = G318 +G4 +G65 +G66 ;
G71 = G39 +G281 +G4 +G67 ;
G72 = G317 +G318 +G68 ;
G78 = G39 +G4 +G73 +G74 ;
G79 = G40 +G281 +G4 +G75 ;
G80 = G38 +G76 ;
G85 = G328 +G313 +G317 +G81 ;
G86 = G38 +G82 ;
G87 = G281 +G83 ;
G89 = G150 +G151 +G152 +G155 ;
G106 = G8 +G7 +G203 +G105 ;
G107 = G41 +G40 +G1 ;
G108 = G328 +G15 ;
G109 = G201 +G267 +G328 ;
G110 = G280 +G42 ;
G111 = G15 +G42 ;
G113 = G203 +G202 +G112 +G198 ;
G114 = G267 +G318 +G328 ;
G115 = G39 +G42 ;
G116 = G39 +G313 ;
G124 = G11 +G12 ;
G125 = G10 +G12 ;
G126 = G10 +G11 ;
G132 = G171 +G11 +G12 +G42 ;
G133 = G10 +G172 +G12 +G42 ;
G134 = G280 +G42 ;
G135 = G280 +G40 ;
G136 = G4 +G281 ;
G139 = G317 +G137 ;
G144 = G16 +G42 ;
G145 = G16 +G41 ;
G180 = G41 +G178 ;
G182 = G14 +G267 +G38 +G39 ;
G183 = G38 +G39 +G41 ;
G207 = G202 +G203 +G204 +G205 ;
G208 = G42 +G41 ;
G228 = G38 +G313 ;
G229 = G15 +G313 ;
G236 = G318 +G317 +G328 ;
G237 = G16 +G39 +G40 ;
G238 = G14 +G267 +G40 +G42 ;
G239 = G40 +G41 +G42 ;
G240 = G256 +G313 +G328 ;
G241 = G256 +G317 ;
G242 = G41 +G328 ;
G243 = G5 +G41 ;
G244 = G281 +G328 ;
G246 = G4 +G39 ;
G247 = G38 +G318 ;
G248 = G245 +G318 ;
G255 = G317 +G253 ;
G285 = G3 +G2 +G1 +G284 ;
G286 = G42 +G313 ;
G287 = G42 +G5 ;
G307 = G328 +G313 +G39 +G303 ;
G308 = G40 +G318 +G16 +G304 ;
G309 = G39 +G38 +G305 ;
G320 = G40 +G39 +G38 +G316 ;
G321 = G317 +G318 +G38 +G319 ;
G44 = ( G317 G318 G280 G15 )' ;
G46 = ( G318 G280 G16 G122 )' ;
G48 = ( G40 G39 G280 G130 )' ;
G49 = ( G52 G51 )' ;
G54 = ( G41 G317 G318 G280 )' ;
G56 = ( G40 G39 G280 G5 )' ;
G57 = ( G41 G40 G318 G16 )' ;
G58 = ( G132 G133 G134 )' ;
G59 = ( G144 G145 )' ;
G61 = ( G328 G313 G317 G146 )' ;
G65 = ( G42 G41 G317 )' ;
G69 = ( G180 G328 G317 G179 )' ;
G73 = ( G42 G41 G40 )' ;
G75 = ( G207 G208 G206 )' ;
G81 = ( G246 G247 G248 )' ;
G84 = ( G255 G254 )' ;
G92 = ( G62 G63 G64 G61 )' ;
G95 = ( G70 G71 G72 G69 )' ;
G98 = ( G78 G79 G80 G77 )' ;
G101 = ( G85 G86 G87 G84 )' ;
G105 = ( G328 G40 G15 G9 )' ;
G123 = ( G124 G125 G126 G256 )' ;
G156 = ( G318 G280 G281 )' ;
G176 = ( G42 G41 G280 G15 )' ;
G179 = ( G182 G183 )' ;
G204 = ( G9 G8 )' ;
G205 = ( G228 G229 )' ;
G217 = ( G236 G237 )' ;
G224 = ( G238 G239 G240 G241 )' ;
G225 = ( G328 G41 G256 )' ;
G227 = ( G242 G243 G244 G40 )' ;
G257 = ( G106 G107 G108 )' ;
G262 = ( G113 G317 )' ;
G266 = ( G109 G110 G111 G40 )' ;
G269 = ( G114 G115 G116 G317 )' ;
G275 = ( G285 G286 G287 )' ;
G284 = ( G42 G313 )' ;
G289 = ( G313 G40 G39 G280 )' ;
G291 = ( G313 G317 G39 G15 )' ;
G293 = ( G8 G7 G6 G131 )' ;
G295 = ( G41 G317 G39 G256 )' ;
G297 = ( G41 G40 G39 G280 )' ;
G299 = ( G318 G280 G15 G14 )' ;
G301 = ( G281 G3 G323 G119 )' ;
G302 = ( G307 G308 G309 G306 )' ;
G303 = ( G135 G136 )' ;
G306 = ( G139 G138 )' ;
G311 = ( G313 G40 G39 G280 )' ;
G314 = ( G40 G39 G280 G16 )' ;
G315 = ( G320 G321 )' ;
G316 = ( G328 G313 )' ;
G319 = ( G42 G41 )' ;
G326 = ( G313 G40 G39 G280 )' ;
G329 = ( G313 G317 G39 G15 )' ;
G43 = ( G42 +G313 +G44 )' ;
G45 = ( G42 +G313 +G317 +G46 )' ;
G47 = ( G42 +G41 +G48 )' ;
G50 = ( G40 +G280 )' ;
G51 = ( G127 +G128 +G129 )' ;
G53 = ( G42 +G54 )' ;
G55 = ( G42 +G41 +G56 )' ;
G60 = ( G158 +G159 )' ;
G66 = ( G197 +G281 )' ;
G68 = ( G185 +G186 )' ;
G74 = ( G281 +G267 +G201 )' ;
G76 = ( G218 +G219 +G221 )' ;
G77 = ( G210 +G211 )' ;
G82 = ( G271 +G272 +G273 )' ;
G83 = ( G258 +G259 +G261 )' ;
G104 = ( G117 +G118 )' ;
G119 = ( G39 +G38 )' ;
G122 = ( G267 +G123 )' ;
G131 = ( G280 +G267 +G198 )' ;
G137 = ( G42 +G41 +G280 )' ;
G138 = ( G318 +G256 )' ;
G140 = ( G42 +G41 )' ;
G146 = ( G3 +G181 +G1 +G156 )' ;
G147 = ( G38 +G281 +G267 )' ;
G148 = ( G42 +G313 +G317 +G39 )' ;
G149 = ( G169 +G170 )' ;
G153 = ( G249 +G250 +G251 +G252 )' ;
G154 = ( G276 +G277 +G278 +G279 )' ;
G155 = ( G103 +G328 +G317 +G104 )' ;
G157 = ( G160 +G161 +G162 +G163 )' ;
G159 = ( G164 +G165 )' ;
G165 = ( G166 +G167 )' ;
G173 = ( G193 +G194 )' ;
G177 = ( G195 +G280 )' ;
G178 = ( G16 +G3 +G181 +G1 )' ;
G184 = ( G187 +G188 +G189 +G190 )' ;
G186 = ( G191 +G192 )' ;
G192 = ( G199 +G200 )' ;
G196 = ( G280 +G267 +G198 )' ;
G206 = ( G230 +G231 +G232 +G233 )' ;
G209 = ( G328 +G313 +G317 )' ;
G212 = ( G213 +G214 +G215 )' ;
G216 = ( G41 +G3 )' ;
G220 = ( G223 +G224 )' ;
G221 = ( G226 +G227 )' ;
G222 = ( G234 +G235 )' ;
G253 = ( G42 +G41 +G280 )' ;
G254 = ( G318 +G256 )' ;
G260 = ( G263 +G264 +G265 )' ;
G261 = ( G268 +G269 )' ;
G270 = ( G42 +G313 +G40 )' ;
G274 = ( G282 +G283 )' ;
G288 = ( G42 +G289 )' ;
G290 = ( G42 +G291 )' ;
G292 = ( G294 +G328 +G295 )' ;
G296 = ( G42 +G297 )' ;
G298 = ( G42 +G313 +G40 +G299 )' ;
G300 = ( G42 +G41 +G40 +G301 )' ;
G304 = ( G328 +G313 )' ;
G305 = ( G141 +G142 +G143 )' ;
G310 = ( G328 +G311 )' ;
G312 = ( G328 +G313 +G314 )' ;
G322 = ( G41 +G38 +G323 +G324 )' ;
G324 = ( G120 +G121 )' ;
G325 = ( G328 +G326 )' ;
G327 = ( G328 +G329 )' ;
.endmodel s832 ;