# s1238
# 14 inputs
# 14 outputs
# 18 D-type flipflops
# 80 inverters
# 428 gates (134 ANDs + 125 NANDs + 112 ORs + 57 NORs)

INPUT(G0)
INPUT(G1)
INPUT(G2)
INPUT(G3)
INPUT(G4)
INPUT(G5)
INPUT(G6)
INPUT(G7)
INPUT(G8)
INPUT(G9)
INPUT(G10)
INPUT(G11)
INPUT(G12)
INPUT(G13)

OUTPUT(G549)
OUTPUT(G550)
OUTPUT(G551)
OUTPUT(G552)
OUTPUT(G542)
OUTPUT(G546)
OUTPUT(G547)
OUTPUT(G548)
OUTPUT(G530)
OUTPUT(G532)
OUTPUT(G535)
OUTPUT(G537)
OUTPUT(G45)
OUTPUT(G539)

G29 = DFF(G502)
G30 = DFF(G503)
G31 = DFF(G504)
G32 = DFF(G505)
G33 = DFF(G506)
G34 = DFF(G507)
G35 = DFF(G508)
G36 = DFF(G509)
G37 = DFF(G510)
G38 = DFF(G511)
G39 = DFF(G512)
G40 = DFF(G513)
G41 = DFF(G514)
G42 = DFF(G515)
G43 = DFF(G516)
G44 = DFF(G517)
G45 = DFF(G518)
G46 = DFF(G519)

G50 = NOT(G49)
G55 = NOT(G54)
G59 = NOT(G58)
G64 = NOT(G63)
G67 = NOT(G44)
G70 = NOT(G43)
G72 = NOT(G71)
G75 = NOT(G74)
G78 = NOT(G77)
G87 = NOT(G86)
G90 = NOT(G89)
G98 = NOT(G97)
G99 = NOT(G29)
G123 = NOT(G122)
G125 = NOT(G40)
G132 = NOT(G42)
G135 = NOT(G134)
G140 = NOT(G33)
G160 = NOT(G161)
G167 = NOT(G168)
G170 = NOT(G171)
G180 = NOT(G181)
G192 = NOT(G193)
G199 = NOT(G200)
G203 = NOT(G204)
G207 = NOT(G208)
G212 = NOT(G213)
G214 = NOT(G215)
G221 = NOT(G222)
G223 = NOT(G224)
G231 = NOT(G232)
G234 = NOT(G235)
G272 = NOT(G271)
G275 = NOT(G274)
G282 = NOT(G281)
G475 = NOT(G57)
G476 = NOT(G30)
G477 = NOT(G276)
G478 = NOT(G279)
G479 = NOT(G194)
G480 = NOT(G179)
G481 = NOT(G129)
G482 = NOT(G241)
G483 = NOT(G182)
G484 = NOT(G30)
G485 = NOT(G276)
G486 = NOT(G68)
G487 = NOT(G534)
G488 = NOT(G172)
G489 = NOT(G273)
G490 = NOT(G190)
G491 = NOT(G194)
G492 = NOT(G62)
G493 = NOT(G544)
G494 = NOT(G173)
G495 = NOT(G273)
G496 = NOT(G188)
G497 = NOT(G205)
G498 = NOT(G195)
G499 = NOT(G280)
G500 = NOT(G173)
G501 = NOT(G156)
G520 = NOT(G0)
G521 = NOT(G1)
G522 = NOT(G2)
G524 = NOT(G3)
G525 = NOT(G526)
G527 = NOT(G4)
G528 = NOT(G5)
G529 = NOT(G6)
G531 = NOT(G7)
G533 = NOT(G8)
G536 = NOT(G9)
G538 = NOT(G10)
G540 = NOT(G11)
G541 = NOT(G12)
G543 = NOT(G13)
G545 = NOT(G544)
G546 = NOT(G41)
G554 = NOT(G553)

G81 = AND(G288, G240)
G283 = AND(G122, G219)
G289 = AND(G2, G119, G156)
G290 = AND(G117, G135, G157)
G291 = AND(G138, G155)
G303 = AND(G5, G120)
G304 = AND(G52, G158)
G306 = AND(G524, G78)
G307 = AND(G6, G104)
G308 = AND(G5, G151)
G311 = AND(G0, G178, G179)
G312 = AND(G180, G182)
G315 = AND(G250, G251)
G317 = AND(G159, G245)
G321 = AND(G90, G50)
G322 = AND(G522, G105, G196)
G323 = AND(G2, G144)
G324 = AND(G522, G183)
G327 = AND(G4, G39, G157)
G328 = AND(G5, G102, G155)
G329 = AND(G150, G156)
G330 = AND(G248, G249)
G331 = AND(G213, G257)
G336 = AND(G1, G188)
G337 = AND(G270, G167)
G338 = AND(G202, G203)
G339 = AND(G533, G199, G209)
G340 = AND(G8, G270)
G341 = AND(G531, G118)
G342 = AND(G73, G197)
G343 = AND(G2, G528, G147)
G344 = AND(G111, G189, G195)
G346 = AND(G2, G82)
G347 = AND(G135, G178)
G348 = AND(G1, G97, G55)
G349 = AND(G6, G108)
G351 = AND(G524, G169, G221, G234)
G352 = AND(G8, G135, G37, G164)
G353 = AND(G11, G92, G163)
G354 = AND(G0, G214)
G357 = AND(G265, G232)
G358 = AND(G7, G83)
G359 = AND(G6, G31)
G360 = AND(G8, G106)
G361 = AND(G6, G202)
G362 = AND(G129, G77)
G363 = AND(G77, G205)
G364 = AND(G2, G109)
G365 = AND(G282, G137, G156)
G366 = AND(G125, G155)
G367 = AND(G126, G157)
G371 = AND(G161, G168, G267)
G372 = AND(G116, G275, G155)
G373 = AND(G34, G160)
G376 = AND(G533, G75)
G377 = AND(G90, G56)
G378 = AND(G89, G50)
G379 = AND(G9, G211)
G380 = AND(G6, G93)
G382 = AND(G9, G100, G34)
G383 = AND(G131, G155)
G385 = AND(G529, G7, G49)
G386 = AND(G536, G85)
G387 = AND(G6, G274, G75)
G388 = AND(G11, G114)
G392 = AND(G132, G155)
G393 = AND(G127, G34)
G396 = AND(G76, G272, G155)
G397 = AND(G101, G98, G157)
G398 = AND(G94, G156, G158)
G399 = AND(G520, G1, G65)
G400 = AND(G0, G277)
G401 = AND(G2, G110, G155)
G402 = AND(G154, G183)
G403 = AND(G11, G176)
G404 = AND(G4, G218)
G405 = AND(G3, G174, G189)
G406 = AND(G87, G172)
G410 = AND(G1, G205)
G411 = AND(G48, G59)
G412 = AND(G3, G207)
G413 = AND(G8, G197, G201)
G414 = AND(G199, G36)
G415 = AND(G2, G146, G142, G165)
G416 = AND(G61, G167, G169)
G417 = AND(G13, G282, G70)
G418 = AND(G524, G60, G172)
G422 = AND(G0, G80, G155)
G423 = AND(G541, G128)
G424 = AND(G78, G174, G177)
G425 = AND(G146, G176)
G426 = AND(G37, G162, G38)
G427 = AND(G541, G95, G165)
G428 = AND(G212, G227)
G429 = AND(G51, G225)
G430 = AND(G177, G196)
G431 = AND(G524, G67)
G432 = AND(G145, G153)
G433 = AND(G91, G154)
G434 = AND(G165, G216, G231)
G435 = AND(G135, G236)
G436 = AND(G123, G77)
G437 = AND(G66, G229)
G438 = AND(G8, G146, G133)
G439 = AND(G174, G175)
G440 = AND(G38, G234)
G441 = AND(G0, G236)
G442 = AND(G541, G121)
G443 = AND(G47, G162)
G444 = AND(G64, G78, G211)
G445 = AND(G53, G225)
G446 = AND(G524, G79)
G447 = AND(G11, G175)
G448 = AND(G139, G153)
G449 = AND(G88, G154)
G451 = AND(G541, G554, G187)
G452 = AND(G526, G184)
G453 = AND(G545, G186)
G457 = AND(G4, G107, G135)
G458 = AND(G528, G209)
G459 = AND(G77, G198)
G460 = AND(G2, G81, G115)
G461 = AND(G529, G531)
G462 = AND(G192, G538)
G463 = AND(G521, G148)
G467 = AND(G522, G198)
G468 = AND(G527, G124)
G469 = AND(G163, G3)
G470 = AND(G528, G149)
G471 = AND(G191, G103, G112)
G472 = AND(G136, G9, G190)
G473 = AND(G11, G143)
G474 = AND(G242, G77)
G511 = AND(G163, G164)

G47 = OR(G440, G441)
G60 = OR(G413, G414)
G61 = OR(G405, G406)
G73 = OR(G339, G340)
G79 = OR(G444, G445)
G88 = OR(G446, G447)
G91 = OR(G430, G431)
G92 = OR(G351, G352)
G93 = OR(G376, G377, G378)
G95 = OR(G424, G425)
G105 = OR(G321, G273)
G106 = OR(G358, G359)
G108 = OR(G346, G347)
G110 = OR(G399, G400)
G114 = OR(G385, G386)
G115 = OR(G457, G458, G459)
G118 = OR(G337, G338)
G121 = OR(G438, G439)
G126 = OR(G363, G364)
G128 = OR(G415, G416, G417, G418)
G131 = OR(G379, G380)
G133 = OR(G434, G435)
G137 = OR(G348, G349)
G139 = OR(G442, G443)
G141 = OR(G353, G354)
G142 = OR(G403, G404)
G145 = OR(G426, G427)
G146 = OR(G336, G170)
G147 = OR(G341, G342)
G149 = OR(G467, G468)
G150 = OR(G303, G304)
G152 = OR(G306, G307, G308)
G193 = OR(G6, G30)
G224 = OR(G533, G31)
G242 = OR(G469, G470)
G244 = OR(G371, G159)
G261 = OR(G283, G528)
G269 = OR(G362, G529)
G279 = OR(G317, G166)
G284 = OR(G528, G272, G281)
G285 = OR(G5, G479)
G286 = OR(G9, G540)
G287 = OR(G522, G81)
G288 = OR(G1, G528)
G292 = OR(G538, G75)
G293 = OR(G7, G540)
G294 = OR(G1, G117, G281)
G295 = OR(G122, G491)
G296 = OR(G89, G484)
G297 = OR(G64, G274)
G298 = OR(G5, G497)
G299 = OR(G123, G77)
G300 = OR(G87, G97)
G301 = OR(G122, G486)
G302 = OR(G4, G529)
G305 = OR(G524, G55)
G309 = OR(G272, G5)
G310 = OR(G522, G135)
G313 = OR(G521, G475)
G314 = OR(G527, G57)
G316 = OR(G531, G536)
G318 = OR(G6, G8, G232)
G319 = OR(G529, G489)
G320 = OR(G76, G272)
G325 = OR(G7, G536, G222)
G326 = OR(G533, G232)
G332 = OR(G529, G238)
G333 = OR(G528, G6)
G334 = OR(G3, G4)
G335 = OR(G1, G78)
G345 = OR(G529, G226)
G350 = OR(G6, G536)
G355 = OR(G11, G116)
G356 = OR(G6, G476)
G368 = OR(G533, G536)
G369 = OR(G540, G239)
G370 = OR(G538, G11)
G374 = OR(G536, G538)
G375 = OR(G10, G540)
G381 = OR(G7, G71)
G384 = OR(G529, G71)
G389 = OR(G9, G274)
G390 = OR(G89, G50)
G391 = OR(G74, G220)
G394 = OR(G5, G58)
G395 = OR(G4, G134)
G407 = OR(G6, G117)
G408 = OR(G529, G77)
G409 = OR(G528, G55)
G419 = OR(G3, G5)
G420 = OR(G522, G59)
G421 = OR(G521, G2, G228)
G450 = OR(G12, G171)
G454 = OR(G481, G122, G77)
G455 = OR(G78, G206)
G456 = OR(G520, G78)
G464 = OR(G72, G536)
G465 = OR(G524, G210)
G466 = OR(G538, G71)
G530 = OR(G401, G402)
G532 = OR(G422, G423)
G535 = OR(G432, G433)
G537 = OR(G448, G449)
G539 = OR(G451, G452, G453)
G544 = OR(G343, G344)
G547 = OR(G382, G383)
G548 = OR(G392, G393)
G549 = OR(G396, G397, G398, G477)
G550 = OR(G289, G290, G291, G485)
G551 = OR(G327, G328, G329)
G552 = OR(G365, G366, G367)
G553 = OR(G322, G323, G324)

G48 = NAND(G407, G408, G409)
G49 = NAND(G9, G538)
G51 = NAND(G260, G237)
G52 = NAND(G298, G299, G219)
G53 = NAND(G264, G237)
G54 = NAND(G4, G6)
G56 = NAND(G374, G375)
G57 = NAND(G0, G2)
G58 = NAND(G1, G3)
G62 = NAND(G534, G32)
G63 = NAND(G75, G8)
G65 = NAND(G527, G228)
G66 = NAND(G129, G101)
G68 = NAND(G302, G528)
G69 = NAND(G419, G420, G233)
G71 = NAND(G8, G10)
G74 = NAND(G9, G11)
G76 = NAND(G0, G3)
G77 = NAND(G4, G528)
G80 = NAND(G421, G226, G256)
G82 = NAND(G334, G335)
G83 = NAND(G355, G356)
G84 = NAND(G369, G370)
G85 = NAND(G384, G239)
G86 = NAND(G55, G3)
G89 = NAND(G531, G8)
G94 = NAND(G261, G181, G262)
G96 = NAND(G313, G314)
G97 = NAND(G2, G5)
G100 = NAND(G381, G220)
G101 = NAND(G3, G4)
G102 = NAND(G320, G266, G210)
G103 = NAND(G529, G7, G30)
G104 = NAND(G122, G238, G240)
G107 = NAND(G456, G1)
G109 = NAND(G269, G219)
G111 = NAND(G213, G217)
G112 = NAND(G8, G31)
G113 = NAND(G389, G390)
G116 = NAND(G6, G9)
G117 = NAND(G2, G4)
G119 = NAND(G284, G285)
G120 = NAND(G294, G295)
G122 = NAND(G522, G3)
G124 = NAND(G0, G206)
G127 = NAND(G391, G268)
G129 = NAND(G527, G5)
G130 = NAND(G466, G9)
G134 = NAND(G3, G5)
G136 = NAND(G222, G224)
G138 = NAND(G465, G263)
G143 = NAND(G258, G193, G259)
G144 = NAND(G215, G252, G253)
G148 = NAND(G454, G455, G0)
G151 = NAND(G305, G200)
G159 = NAND(G6, G155)
G161 = NAND(G316, G72)
G166 = NAND(G7, G50)
G168 = NAND(G75, G221)
G171 = NAND(G553, G187)
G181 = NAND(G2, G78)
G185 = NAND(G525, G184)
G200 = NAND(G527, G529)
G204 = NAND(G521, G87)
G206 = NAND(G287, G524)
G208 = NAND(G68, G229)
G210 = NAND(G520, G272)
G213 = NAND(G64, G275)
G215 = NAND(G135, G55, G212)
G217 = NAND(G50, G230)
G219 = NAND(G524, G55)
G220 = NAND(G7, G71)
G222 = NAND(G533, G10)
G226 = NAND(G527, G59)
G228 = NAND(G524, G5)
G232 = NAND(G536, G164)
G233 = NAND(G522, G135)
G235 = NAND(G6, G536)
G237 = NAND(G10, G75, G201)
G238 = NAND(G2, G524)
G239 = NAND(G7, G533)
G240 = NAND(G4, G134)
G243 = NAND(G368, G275, G34)
G245 = NAND(G8, G34)
G246 = NAND(G544, G186)
G248 = NAND(G529, G36)
G249 = NAND(G11, G273, G201)
G250 = NAND(G13, G523)
G251 = NAND(G543, G32)
G252 = NAND(G3, G11, G35, G216)
G253 = NAND(G87, G218)
G254 = NAND(G1, G152)
G255 = NAND(G309, G2, G529)
G256 = NAND(G4, G69)
G257 = NAND(G538, G230)
G258 = NAND(G464, G103, G223)
G259 = NAND(G130, G225)
G260 = NAND(G528, G529, G191)
G262 = NAND(G527, G278)
G263 = NAND(G0, G99)
G264 = NAND(G227, G241)
G265 = NAND(G531, G50)
G266 = NAND(G524, G96)
G267 = NAND(G536, G84)
G268 = NAND(G11, G113)
G270 = NAND(G345, G204)
G271 = NAND(G1, G4)
G273 = NAND(G325, G326)
G274 = NAND(G7, G10)
G276 = NAND(G3, G543, G140)
G277 = NAND(G394, G395, G81)
G278 = NAND(G332, G333, G134)
G280 = NAND(G46, G247)
G281 = NAND(G523, G534)
G503 = NAND(G286, G538)
G504 = NAND(G292, G293)
G505 = NAND(G300, G301, G181)
G508 = NAND(G318, G319)
G510 = NAND(G350, G235)
G512 = NAND(G310, G233)
G518 = NAND(G450, G185, G246)
G523 = NAND(G254, G255, G208)
G526 = NAND(G1, G2, G141)
G534 = NAND(G296, G297, G166)
G542 = NAND(G243, G244, G279)

G153 = NOR(G522, G540)
G154 = NOR(G12, G488)
G155 = NOR(G13, G480)
G156 = NOR(G12, G543)
G157 = NOR(G13, G483)
G158 = NOR(G521, G281)
G162 = NOR(G533, G185, G498)
G163 = NOR(G0, G4)
G164 = NOR(G531, G10)
G165 = NOR(G524, G529)
G169 = NOR(G5, G7)
G172 = NOR(G2, G171)
G173 = NOR(G5, G495)
G174 = NOR(G1, G496)
G175 = NOR(G86, G500)
G176 = NOR(G4, G494)
G177 = NOR(G357, G533)
G178 = NOR(G521, G4)
G179 = NOR(G541, G280)
G182 = NOR(G12, G62)
G183 = NOR(G330, G3)
G184 = NOR(G541, G13, G499)
G186 = NOR(G282, G501)
G187 = NOR(G13, G492)
G188 = NOR(G543, G493, G282)
G189 = NOR(G522, G54)
G190 = NOR(G7, G11)
G191 = NOR(G9, G482)
G194 = NOR(G281, G271)
G195 = NOR(G521, G134)
G196 = NOR(G5, G540, G86)
G197 = NOR(G540, G232)
G198 = NOR(G520, G3)
G201 = NOR(G528, G54)
G202 = NOR(G10, G63)
G205 = NOR(G529, G122)
G209 = NOR(G1, G524)
G211 = NOR(G6, G274)
G216 = NOR(G4, G5)
G218 = NOR(G528, G217)
G225 = NOR(G7, G8)
G227 = NOR(G5, G200)
G229 = NOR(G1, G522)
G230 = NOR(G8, G490)
G236 = NOR(G536, G274, G54)
G241 = NOR(G10, G11)
G247 = NOR(G471, G472, G473, G474)
G502 = NOR(G436, G437)
G506 = NOR(G311, G312)
G507 = NOR(G315, G12, G487)
G509 = NOR(G331, G5)
G513 = NOR(G360, G361)
G514 = NOR(G372, G373, G478)
G515 = NOR(G387, G388)
G516 = NOR(G410, G411, G412)
G517 = NOR(G428, G429)
G519 = NOR(G460, G461, G462, G463)