.model s1238 ;
# 14 inputs
# 14 outputs
# 18 D-type flipflops
# 80 inverters
# 428 gates (134 ANDs + 125 NANDs + 112 ORs + 57 NORs)
.inputs G0 G1 G2 G3 G4 G5 G6 G7 G8 G9 G10 G11 G12 G13  CK ;
.outputs G549 G550 G551 G552 G542 G546 G547 G548 G530 G532 G535 G537 G45 G539  ;
G29 = @D ( G502, CK ) ;
G30 = @D ( G503, CK ) ;
G31 = @D ( G504, CK ) ;
G32 = @D ( G505, CK ) ;
G33 = @D ( G506, CK ) ;
G34 = @D ( G507, CK ) ;
G35 = @D ( G508, CK ) ;
G36 = @D ( G509, CK ) ;
G37 = @D ( G510, CK ) ;
G38 = @D ( G511, CK ) ;
G39 = @D ( G512, CK ) ;
G40 = @D ( G513, CK ) ;
G41 = @D ( G514, CK ) ;
G42 = @D ( G515, CK ) ;
G43 = @D ( G516, CK ) ;
G44 = @D ( G517, CK ) ;
G45 = @D ( G518, CK ) ;
G46 = @D ( G519, CK ) ;
G50 = G49' ;
G55 = G54' ;
G59 = G58' ;
G64 = G63' ;
G67 = G44' ;
G70 = G43' ;
G72 = G71' ;
G75 = G74' ;
G78 = G77' ;
G87 = G86' ;
G90 = G89' ;
G98 = G97' ;
G99 = G29' ;
G123 = G122' ;
G125 = G40' ;
G132 = G42' ;
G135 = G134' ;
G140 = G33' ;
G160 = G161' ;
G167 = G168' ;
G170 = G171' ;
G180 = G181' ;
G192 = G193' ;
G199 = G200' ;
G203 = G204' ;
G207 = G208' ;
G212 = G213' ;
G214 = G215' ;
G221 = G222' ;
G223 = G224' ;
G231 = G232' ;
G234 = G235' ;
G272 = G271' ;
G275 = G274' ;
G282 = G281' ;
G475 = G57' ;
G476 = G30' ;
G477 = G276' ;
G478 = G279' ;
G479 = G194' ;
G480 = G179' ;
G481 = G129' ;
G482 = G241' ;
G483 = G182' ;
G484 = G30' ;
G485 = G276' ;
G486 = G68' ;
G487 = G534' ;
G488 = G172' ;
G489 = G273' ;
G490 = G190' ;
G491 = G194' ;
G492 = G62' ;
G493 = G544' ;
G494 = G173' ;
G495 = G273' ;
G496 = G188' ;
G497 = G205' ;
G498 = G195' ;
G499 = G280' ;
G500 = G173' ;
G501 = G156' ;
G520 = G0' ;
G521 = G1' ;
G522 = G2' ;
G524 = G3' ;
G525 = G526' ;
G527 = G4' ;
G528 = G5' ;
G529 = G6' ;
G531 = G7' ;
G533 = G8' ;
G536 = G9' ;
G538 = G10' ;
G540 = G11' ;
G541 = G12' ;
G543 = G13' ;
G545 = G544' ;
G546 = G41' ;
G554 = G553' ;
G81 = G288 G240 ;
G283 = G122 G219 ;
G289 = G2 G119 G156 ;
G290 = G117 G135 G157 ;
G291 = G138 G155 ;
G303 = G5 G120 ;
G304 = G52 G158 ;
G306 = G524 G78 ;
G307 = G6 G104 ;
G308 = G5 G151 ;
G311 = G0 G178 G179 ;
G312 = G180 G182 ;
G315 = G250 G251 ;
G317 = G159 G245 ;
G321 = G90 G50 ;
G322 = G522 G105 G196 ;
G323 = G2 G144 ;
G324 = G522 G183 ;
G327 = G4 G39 G157 ;
G328 = G5 G102 G155 ;
G329 = G150 G156 ;
G330 = G248 G249 ;
G331 = G213 G257 ;
G336 = G1 G188 ;
G337 = G270 G167 ;
G338 = G202 G203 ;
G339 = G533 G199 G209 ;
G340 = G8 G270 ;
G341 = G531 G118 ;
G342 = G73 G197 ;
G343 = G2 G528 G147 ;
G344 = G111 G189 G195 ;
G346 = G2 G82 ;
G347 = G135 G178 ;
G348 = G1 G97 G55 ;
G349 = G6 G108 ;
G351 = G524 G169 G221 G234 ;
G352 = G8 G135 G37 G164 ;
G353 = G11 G92 G163 ;
G354 = G0 G214 ;
G357 = G265 G232 ;
G358 = G7 G83 ;
G359 = G6 G31 ;
G360 = G8 G106 ;
G361 = G6 G202 ;
G362 = G129 G77 ;
G363 = G77 G205 ;
G364 = G2 G109 ;
G365 = G282 G137 G156 ;
G366 = G125 G155 ;
G367 = G126 G157 ;
G371 = G161 G168 G267 ;
G372 = G116 G275 G155 ;
G373 = G34 G160 ;
G376 = G533 G75 ;
G377 = G90 G56 ;
G378 = G89 G50 ;
G379 = G9 G211 ;
G380 = G6 G93 ;
G382 = G9 G100 G34 ;
G383 = G131 G155 ;
G385 = G529 G7 G49 ;
G386 = G536 G85 ;
G387 = G6 G274 G75 ;
G388 = G11 G114 ;
G392 = G132 G155 ;
G393 = G127 G34 ;
G396 = G76 G272 G155 ;
G397 = G101 G98 G157 ;
G398 = G94 G156 G158 ;
G399 = G520 G1 G65 ;
G400 = G0 G277 ;
G401 = G2 G110 G155 ;
G402 = G154 G183 ;
G403 = G11 G176 ;
G404 = G4 G218 ;
G405 = G3 G174 G189 ;
G406 = G87 G172 ;
G410 = G1 G205 ;
G411 = G48 G59 ;
G412 = G3 G207 ;
G413 = G8 G197 G201 ;
G414 = G199 G36 ;
G415 = G2 G146 G142 G165 ;
G416 = G61 G167 G169 ;
G417 = G13 G282 G70 ;
G418 = G524 G60 G172 ;
G422 = G0 G80 G155 ;
G423 = G541 G128 ;
G424 = G78 G174 G177 ;
G425 = G146 G176 ;
G426 = G37 G162 G38 ;
G427 = G541 G95 G165 ;
G428 = G212 G227 ;
G429 = G51 G225 ;
G430 = G177 G196 ;
G431 = G524 G67 ;
G432 = G145 G153 ;
G433 = G91 G154 ;
G434 = G165 G216 G231 ;
G435 = G135 G236 ;
G436 = G123 G77 ;
G437 = G66 G229 ;
G438 = G8 G146 G133 ;
G439 = G174 G175 ;
G440 = G38 G234 ;
G441 = G0 G236 ;
G442 = G541 G121 ;
G443 = G47 G162 ;
G444 = G64 G78 G211 ;
G445 = G53 G225 ;
G446 = G524 G79 ;
G447 = G11 G175 ;
G448 = G139 G153 ;
G449 = G88 G154 ;
G451 = G541 G554 G187 ;
G452 = G526 G184 ;
G453 = G545 G186 ;
G457 = G4 G107 G135 ;
G458 = G528 G209 ;
G459 = G77 G198 ;
G460 = G2 G81 G115 ;
G461 = G529 G531 ;
G462 = G192 G538 ;
G463 = G521 G148 ;
G467 = G522 G198 ;
G468 = G527 G124 ;
G469 = G163 G3 ;
G470 = G528 G149 ;
G471 = G191 G103 G112 ;
G472 = G136 G9 G190 ;
G473 = G11 G143 ;
G474 = G242 G77 ;
G511 = G163 G164 ;
G47 = G440 +G441 ;
G60 = G413 +G414 ;
G61 = G405 +G406 ;
G73 = G339 +G340 ;
G79 = G444 +G445 ;
G88 = G446 +G447 ;
G91 = G430 +G431 ;
G92 = G351 +G352 ;
G93 = G376 +G377 +G378 ;
G95 = G424 +G425 ;
G105 = G321 +G273 ;
G106 = G358 +G359 ;
G108 = G346 +G347 ;
G110 = G399 +G400 ;
G114 = G385 +G386 ;
G115 = G457 +G458 +G459 ;
G118 = G337 +G338 ;
G121 = G438 +G439 ;
G126 = G363 +G364 ;
G128 = G415 +G416 +G417 +G418 ;
G131 = G379 +G380 ;
G133 = G434 +G435 ;
G137 = G348 +G349 ;
G139 = G442 +G443 ;
G141 = G353 +G354 ;
G142 = G403 +G404 ;
G145 = G426 +G427 ;
G146 = G336 +G170 ;
G147 = G341 +G342 ;
G149 = G467 +G468 ;
G150 = G303 +G304 ;
G152 = G306 +G307 +G308 ;
G193 = G6 +G30 ;
G224 = G533 +G31 ;
G242 = G469 +G470 ;
G244 = G371 +G159 ;
G261 = G283 +G528 ;
G269 = G362 +G529 ;
G279 = G317 +G166 ;
G284 = G528 +G272 +G281 ;
G285 = G5 +G479 ;
G286 = G9 +G540 ;
G287 = G522 +G81 ;
G288 = G1 +G528 ;
G292 = G538 +G75 ;
G293 = G7 +G540 ;
G294 = G1 +G117 +G281 ;
G295 = G122 +G491 ;
G296 = G89 +G484 ;
G297 = G64 +G274 ;
G298 = G5 +G497 ;
G299 = G123 +G77 ;
G300 = G87 +G97 ;
G301 = G122 +G486 ;
G302 = G4 +G529 ;
G305 = G524 +G55 ;
G309 = G272 +G5 ;
G310 = G522 +G135 ;
G313 = G521 +G475 ;
G314 = G527 +G57 ;
G316 = G531 +G536 ;
G318 = G6 +G8 +G232 ;
G319 = G529 +G489 ;
G320 = G76 +G272 ;
G325 = G7 +G536 +G222 ;
G326 = G533 +G232 ;
G332 = G529 +G238 ;
G333 = G528 +G6 ;
G334 = G3 +G4 ;
G335 = G1 +G78 ;
G345 = G529 +G226 ;
G350 = G6 +G536 ;
G355 = G11 +G116 ;
G356 = G6 +G476 ;
G368 = G533 +G536 ;
G369 = G540 +G239 ;
G370 = G538 +G11 ;
G374 = G536 +G538 ;
G375 = G10 +G540 ;
G381 = G7 +G71 ;
G384 = G529 +G71 ;
G389 = G9 +G274 ;
G390 = G89 +G50 ;
G391 = G74 +G220 ;
G394 = G5 +G58 ;
G395 = G4 +G134 ;
G407 = G6 +G117 ;
G408 = G529 +G77 ;
G409 = G528 +G55 ;
G419 = G3 +G5 ;
G420 = G522 +G59 ;
G421 = G521 +G2 +G228 ;
G450 = G12 +G171 ;
G454 = G481 +G122 +G77 ;
G455 = G78 +G206 ;
G456 = G520 +G78 ;
G464 = G72 +G536 ;
G465 = G524 +G210 ;
G466 = G538 +G71 ;
G530 = G401 +G402 ;
G532 = G422 +G423 ;
G535 = G432 +G433 ;
G537 = G448 +G449 ;
G539 = G451 +G452 +G453 ;
G544 = G343 +G344 ;
G547 = G382 +G383 ;
G548 = G392 +G393 ;
G549 = G396 +G397 +G398 +G477 ;
G550 = G289 +G290 +G291 +G485 ;
G551 = G327 +G328 +G329 ;
G552 = G365 +G366 +G367 ;
G553 = G322 +G323 +G324 ;
G48 = ( G407 G408 G409 )' ;
G49 = ( G9 G538 )' ;
G51 = ( G260 G237 )' ;
G52 = ( G298 G299 G219 )' ;
G53 = ( G264 G237 )' ;
G54 = ( G4 G6 )' ;
G56 = ( G374 G375 )' ;
G57 = ( G0 G2 )' ;
G58 = ( G1 G3 )' ;
G62 = ( G534 G32 )' ;
G63 = ( G75 G8 )' ;
G65 = ( G527 G228 )' ;
G66 = ( G129 G101 )' ;
G68 = ( G302 G528 )' ;
G69 = ( G419 G420 G233 )' ;
G71 = ( G8 G10 )' ;
G74 = ( G9 G11 )' ;
G76 = ( G0 G3 )' ;
G77 = ( G4 G528 )' ;
G80 = ( G421 G226 G256 )' ;
G82 = ( G334 G335 )' ;
G83 = ( G355 G356 )' ;
G84 = ( G369 G370 )' ;
G85 = ( G384 G239 )' ;
G86 = ( G55 G3 )' ;
G89 = ( G531 G8 )' ;
G94 = ( G261 G181 G262 )' ;
G96 = ( G313 G314 )' ;
G97 = ( G2 G5 )' ;
G100 = ( G381 G220 )' ;
G101 = ( G3 G4 )' ;
G102 = ( G320 G266 G210 )' ;
G103 = ( G529 G7 G30 )' ;
G104 = ( G122 G238 G240 )' ;
G107 = ( G456 G1 )' ;
G109 = ( G269 G219 )' ;
G111 = ( G213 G217 )' ;
G112 = ( G8 G31 )' ;
G113 = ( G389 G390 )' ;
G116 = ( G6 G9 )' ;
G117 = ( G2 G4 )' ;
G119 = ( G284 G285 )' ;
G120 = ( G294 G295 )' ;
G122 = ( G522 G3 )' ;
G124 = ( G0 G206 )' ;
G127 = ( G391 G268 )' ;
G129 = ( G527 G5 )' ;
G130 = ( G466 G9 )' ;
G134 = ( G3 G5 )' ;
G136 = ( G222 G224 )' ;
G138 = ( G465 G263 )' ;
G143 = ( G258 G193 G259 )' ;
G144 = ( G215 G252 G253 )' ;
G148 = ( G454 G455 G0 )' ;
G151 = ( G305 G200 )' ;
G159 = ( G6 G155 )' ;
G161 = ( G316 G72 )' ;
G166 = ( G7 G50 )' ;
G168 = ( G75 G221 )' ;
G171 = ( G553 G187 )' ;
G181 = ( G2 G78 )' ;
G185 = ( G525 G184 )' ;
G200 = ( G527 G529 )' ;
G204 = ( G521 G87 )' ;
G206 = ( G287 G524 )' ;
G208 = ( G68 G229 )' ;
G210 = ( G520 G272 )' ;
G213 = ( G64 G275 )' ;
G215 = ( G135 G55 G212 )' ;
G217 = ( G50 G230 )' ;
G219 = ( G524 G55 )' ;
G220 = ( G7 G71 )' ;
G222 = ( G533 G10 )' ;
G226 = ( G527 G59 )' ;
G228 = ( G524 G5 )' ;
G232 = ( G536 G164 )' ;
G233 = ( G522 G135 )' ;
G235 = ( G6 G536 )' ;
G237 = ( G10 G75 G201 )' ;
G238 = ( G2 G524 )' ;
G239 = ( G7 G533 )' ;
G240 = ( G4 G134 )' ;
G243 = ( G368 G275 G34 )' ;
G245 = ( G8 G34 )' ;
G246 = ( G544 G186 )' ;
G248 = ( G529 G36 )' ;
G249 = ( G11 G273 G201 )' ;
G250 = ( G13 G523 )' ;
G251 = ( G543 G32 )' ;
G252 = ( G3 G11 G35 G216 )' ;
G253 = ( G87 G218 )' ;
G254 = ( G1 G152 )' ;
G255 = ( G309 G2 G529 )' ;
G256 = ( G4 G69 )' ;
G257 = ( G538 G230 )' ;
G258 = ( G464 G103 G223 )' ;
G259 = ( G130 G225 )' ;
G260 = ( G528 G529 G191 )' ;
G262 = ( G527 G278 )' ;
G263 = ( G0 G99 )' ;
G264 = ( G227 G241 )' ;
G265 = ( G531 G50 )' ;
G266 = ( G524 G96 )' ;
G267 = ( G536 G84 )' ;
G268 = ( G11 G113 )' ;
G270 = ( G345 G204 )' ;
G271 = ( G1 G4 )' ;
G273 = ( G325 G326 )' ;
G274 = ( G7 G10 )' ;
G276 = ( G3 G543 G140 )' ;
G277 = ( G394 G395 G81 )' ;
G278 = ( G332 G333 G134 )' ;
G280 = ( G46 G247 )' ;
G281 = ( G523 G534 )' ;
G503 = ( G286 G538 )' ;
G504 = ( G292 G293 )' ;
G505 = ( G300 G301 G181 )' ;
G508 = ( G318 G319 )' ;
G510 = ( G350 G235 )' ;
G512 = ( G310 G233 )' ;
G518 = ( G450 G185 G246 )' ;
G523 = ( G254 G255 G208 )' ;
G526 = ( G1 G2 G141 )' ;
G534 = ( G296 G297 G166 )' ;
G542 = ( G243 G244 G279 )' ;
G153 = ( G522 +G540 )' ;
G154 = ( G12 +G488 )' ;
G155 = ( G13 +G480 )' ;
G156 = ( G12 +G543 )' ;
G157 = ( G13 +G483 )' ;
G158 = ( G521 +G281 )' ;
G162 = ( G533 +G185 +G498 )' ;
G163 = ( G0 +G4 )' ;
G164 = ( G531 +G10 )' ;
G165 = ( G524 +G529 )' ;
G169 = ( G5 +G7 )' ;
G172 = ( G2 +G171 )' ;
G173 = ( G5 +G495 )' ;
G174 = ( G1 +G496 )' ;
G175 = ( G86 +G500 )' ;
G176 = ( G4 +G494 )' ;
G177 = ( G357 +G533 )' ;
G178 = ( G521 +G4 )' ;
G179 = ( G541 +G280 )' ;
G182 = ( G12 +G62 )' ;
G183 = ( G330 +G3 )' ;
G184 = ( G541 +G13 +G499 )' ;
G186 = ( G282 +G501 )' ;
G187 = ( G13 +G492 )' ;
G188 = ( G543 +G493 +G282 )' ;
G189 = ( G522 +G54 )' ;
G190 = ( G7 +G11 )' ;
G191 = ( G9 +G482 )' ;
G194 = ( G281 +G271 )' ;
G195 = ( G521 +G134 )' ;
G196 = ( G5 +G540 +G86 )' ;
G197 = ( G540 +G232 )' ;
G198 = ( G520 +G3 )' ;
G201 = ( G528 +G54 )' ;
G202 = ( G10 +G63 )' ;
G205 = ( G529 +G122 )' ;
G209 = ( G1 +G524 )' ;
G211 = ( G6 +G274 )' ;
G216 = ( G4 +G5 )' ;
G218 = ( G528 +G217 )' ;
G225 = ( G7 +G8 )' ;
G227 = ( G5 +G200 )' ;
G229 = ( G1 +G522 )' ;
G230 = ( G8 +G490 )' ;
G236 = ( G536 +G274 +G54 )' ;
G241 = ( G10 +G11 )' ;
G247 = ( G471 +G472 +G473 +G474 )' ;
G502 = ( G436 +G437 )' ;
G506 = ( G311 +G312 )' ;
G507 = ( G315 +G12 +G487 )' ;
G509 = ( G331 +G5 )' ;
G513 = ( G360 +G361 )' ;
G514 = ( G372 +G373 +G478 )' ;
G515 = ( G387 +G388 )' ;
G516 = ( G410 +G411 +G412 )' ;
G517 = ( G428 +G429 )' ;
G519 = ( G460 +G461 +G462 +G463 )' ;
.endmodel s1238 ;