atpg-ls/benchmark/c2670.bench

# generate by dftconverter: https://gitea.yuhangq.com:8/YuhangQ/DFT_Converter
# gates: 1426

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)
INPUT(G14)
INPUT(G15)
INPUT(G16)
INPUT(G17)
INPUT(G18)
INPUT(G19)
INPUT(G20)
INPUT(G21)
INPUT(G22)
INPUT(G23)
INPUT(G24)
INPUT(G25)
INPUT(G26)
INPUT(G27)
INPUT(G28)
INPUT(G29)
INPUT(G30)
INPUT(G31)
INPUT(G32)
INPUT(G33)
INPUT(G34)
INPUT(G35)
INPUT(G36)
INPUT(G37)
INPUT(G38)
INPUT(G39)
INPUT(G40)
INPUT(G41)
INPUT(G42)
INPUT(G43)
INPUT(G44)
INPUT(G45)
INPUT(G46)
INPUT(G47)
INPUT(G48)
INPUT(G49)
INPUT(G50)
INPUT(G51)
INPUT(G52)
INPUT(G53)
INPUT(G54)
INPUT(G55)
INPUT(G56)
INPUT(G57)
INPUT(G58)
INPUT(G59)
INPUT(G60)
INPUT(G61)
INPUT(G62)
INPUT(G63)
INPUT(G64)
INPUT(G65)
INPUT(G66)
INPUT(G67)
INPUT(G68)
INPUT(G69)
INPUT(G70)
INPUT(G71)
INPUT(G72)
INPUT(G73)
INPUT(G74)
INPUT(G75)
INPUT(G76)
INPUT(G77)
INPUT(G78)
INPUT(G79)
INPUT(G80)
INPUT(G81)
INPUT(G82)
INPUT(G83)
INPUT(G84)
INPUT(G85)
INPUT(G86)
INPUT(G87)
INPUT(G88)
INPUT(G89)
INPUT(G90)
INPUT(G91)
INPUT(G92)
INPUT(G93)
INPUT(G94)
INPUT(G95)
INPUT(G96)
INPUT(G97)
INPUT(G98)
INPUT(G99)
INPUT(G100)
INPUT(G101)
INPUT(G102)
INPUT(G103)
INPUT(G104)
INPUT(G105)
INPUT(G106)
INPUT(G107)
INPUT(G108)
INPUT(G109)
INPUT(G110)
INPUT(G111)
INPUT(G112)
INPUT(G113)
INPUT(G114)
INPUT(G115)
INPUT(G116)
INPUT(G117)
INPUT(G118)
INPUT(G119)
INPUT(G120)
INPUT(G121)
INPUT(G122)
INPUT(G123)
INPUT(G124)
INPUT(G125)
INPUT(G126)
INPUT(G127)
INPUT(G128)
INPUT(G129)
INPUT(G130)
INPUT(G131)
INPUT(G132)
INPUT(G133)
INPUT(G134)
INPUT(G135)
INPUT(G136)
INPUT(G137)
INPUT(G138)
INPUT(G139)
INPUT(G140)
INPUT(G141)
INPUT(G142)
INPUT(G143)
INPUT(G144)
INPUT(G145)
INPUT(G146)
INPUT(G147)
INPUT(G148)
INPUT(G149)
INPUT(G150)
INPUT(G151)
INPUT(G152)
INPUT(G153)
INPUT(G154)
INPUT(G155)
INPUT(G156)
INPUT(G157)
INPUT(G158)
INPUT(G159)
INPUT(G160)
INPUT(G161)
INPUT(G162)
INPUT(G163)
INPUT(G164)
INPUT(G165)
INPUT(G166)
INPUT(G167)
INPUT(G168)
INPUT(G169)
INPUT(G170)
INPUT(G171)
INPUT(G172)
INPUT(G173)
INPUT(G174)
INPUT(G175)
INPUT(G176)
INPUT(G177)
INPUT(G178)
INPUT(G179)
INPUT(G180)
INPUT(G181)
INPUT(G182)
INPUT(G183)
INPUT(G184)
INPUT(G185)
INPUT(G186)
INPUT(G187)
INPUT(G188)
INPUT(G189)
INPUT(G190)
INPUT(G191)
INPUT(G192)
INPUT(G193)
INPUT(G194)
INPUT(G195)
INPUT(G196)
INPUT(G197)
INPUT(G198)
INPUT(G199)
INPUT(G200)
INPUT(G201)
INPUT(G202)
INPUT(G203)
INPUT(G204)
INPUT(G205)
INPUT(G206)
INPUT(G207)
INPUT(G208)
INPUT(G209)
INPUT(G210)
INPUT(G211)
INPUT(G212)
INPUT(G213)
INPUT(G214)
INPUT(G215)
INPUT(G216)
INPUT(G217)
INPUT(G218)
INPUT(G219)
INPUT(G220)
INPUT(G221)
INPUT(G222)
INPUT(G223)
INPUT(G224)
INPUT(G225)
INPUT(G226)
INPUT(G227)
INPUT(G228)
INPUT(G229)
INPUT(G230)
INPUT(G231)
INPUT(G232)
INPUT(G233)

OUTPUT(G120)
OUTPUT(G179)
OUTPUT(G1298)
OUTPUT(G250)
OUTPUT(G619)
OUTPUT(G657)
OUTPUT(G122)
OUTPUT(G1295)
OUTPUT(G121)
OUTPUT(G146)
OUTPUT(G904)
OUTPUT(G1188)
OUTPUT(G1414)
OUTPUT(G252)
OUTPUT(G268)
OUTPUT(G136)
OUTPUT(G730)
OUTPUT(G826)
OUTPUT(G158)
OUTPUT(G143)
OUTPUT(G189)
OUTPUT(G165)
OUTPUT(G293)
OUTPUT(G170)
OUTPUT(G160)
OUTPUT(G163)
OUTPUT(G437)
OUTPUT(G118)
OUTPUT(G130)
OUTPUT(G245)
OUTPUT(G142)
OUTPUT(G1425)
OUTPUT(G133)
OUTPUT(G127)
OUTPUT(G169)
OUTPUT(G173)
OUTPUT(G267)
OUTPUT(G162)
OUTPUT(G157)
OUTPUT(G468)
OUTPUT(G1395)
OUTPUT(G175)
OUTPUT(G356)
OUTPUT(G244)
OUTPUT(G140)
OUTPUT(G591)
OUTPUT(G144)
OUTPUT(G124)
OUTPUT(G119)
OUTPUT(G168)
OUTPUT(G1401)
OUTPUT(G190)
OUTPUT(G115)
OUTPUT(G294)
OUTPUT(G903)
OUTPUT(G683)
OUTPUT(G117)
OUTPUT(G1402)
OUTPUT(G1426)
OUTPUT(G677)
OUTPUT(G186)
OUTPUT(G152)
OUTPUT(G178)
OUTPUT(G187)
OUTPUT(G174)
OUTPUT(G147)
OUTPUT(G155)
OUTPUT(G833)
OUTPUT(G338)
OUTPUT(G150)
OUTPUT(G1422)
OUTPUT(G253)
OUTPUT(G181)
OUTPUT(G650)
OUTPUT(G156)
OUTPUT(G172)
OUTPUT(G832)
OUTPUT(G1403)
OUTPUT(G123)
OUTPUT(G686)
OUTPUT(G1294)
OUTPUT(G151)
OUTPUT(G167)
OUTPUT(G116)
OUTPUT(G598)
OUTPUT(G164)
OUTPUT(G673)
OUTPUT(G131)
OUTPUT(G132)
OUTPUT(G148)
OUTPUT(G353)
OUTPUT(G243)
OUTPUT(G627)
OUTPUT(G242)
OUTPUT(G171)
OUTPUT(G1189)
OUTPUT(G729)
OUTPUT(G145)
OUTPUT(G1358)
OUTPUT(G594)
OUTPUT(G149)
OUTPUT(G134)
OUTPUT(G183)
OUTPUT(G182)
OUTPUT(G126)
OUTPUT(G355)
OUTPUT(G436)
OUTPUT(G153)
OUTPUT(G388)
OUTPUT(G177)
OUTPUT(G125)
OUTPUT(G159)
OUTPUT(G135)
OUTPUT(G154)
OUTPUT(G138)
OUTPUT(G254)
OUTPUT(G337)
OUTPUT(G141)
OUTPUT(G176)
OUTPUT(G185)
OUTPUT(G128)
OUTPUT(G680)
OUTPUT(G669)
OUTPUT(G623)
OUTPUT(G292)
OUTPUT(G1100)
OUTPUT(G184)
OUTPUT(G247)
OUTPUT(G246)
OUTPUT(G689)
OUTPUT(G842)
OUTPUT(G166)
OUTPUT(G129)
OUTPUT(G841)
OUTPUT(G137)
OUTPUT(G180)
OUTPUT(G188)
OUTPUT(G139)
OUTPUT(G248)
OUTPUT(G161)

G234 = AND ( G1, G3 )
G235 = BUF ( G8 )
G236 = BUF ( G8 )
G237 = BUF ( G12 )
G238 = BUF ( G12 )
G239 = BUF ( G23 )
G240 = BUF ( G23 )
G241 = AND ( G29 )
G242 = NOT ( G32 )
G243 = NOT ( G43 )
G244 = NOT ( G53 )
G245 = NOT ( G64 )
G246 = NOT ( G76 )
G247 = NOT ( G86 )
G248 = NOT ( G96 )
G249 = AND ( G96, G53, G43, G86 )
G250 = NOT ( G106 )
G251 = AND ( G76, G106, G32, G64 )
G252 = BUF ( G191 )
G253 = BUF ( G191 )
G254 = BUF ( G191 )
G255 = BUF ( G191 )
G256 = BUF ( G193 )
G257 = BUF ( G193 )
G258 = NOT ( G194 )
G259 = BUF ( G196 )
G260 = BUF ( G196 )
G261 = AND ( G197, G2, G11 )
G262 = BUF ( G197 )
G263 = AND ( G197, G7 )
G264 = NOT ( G198 )
G265 = NOT ( G199 )
G266 = AND ( G9, G199 )
G267 = BUF ( G200 )
G268 = BUF ( G200 )
G269 = NOT ( G201 )
G270 = BUF ( G201 )
G271 = NOT ( G202 )
G272 = BUF ( G202 )
G273 = NOT ( G203 )
G274 = NOT ( G204 )
G275 = BUF ( G204 )
G276 = NOT ( G205 )
G277 = BUF ( G205 )
G278 = NOT ( G206 )
G279 = BUF ( G206 )
G280 = NOT ( G207 )
G281 = BUF ( G207 )
G282 = NOT ( G208 )
G283 = BUF ( G208 )
G284 = NOT ( G209 )
G285 = BUF ( G209 )
G286 = NOT ( G210 )
G287 = BUF ( G210 )
G288 = NOT ( G211 )
G289 = BUF ( G211 )
G290 = NOT ( G212 )
G291 = BUF ( G212 )
G292 = BUF ( G213 )
G293 = BUF ( G213 )
G294 = BUF ( G213 )
G295 = NOT ( G214 )
G296 = BUF ( G214 )
G297 = NOT ( G215 )
G298 = BUF ( G215 )
G299 = NOT ( G216 )
G300 = BUF ( G216 )
G301 = NOT ( G217 )
G302 = BUF ( G217 )
G303 = AND ( G217, G215, G218, G216 )
G304 = NOT ( G218 )
G305 = BUF ( G218 )
G306 = NOT ( G219 )
G307 = BUF ( G219 )
G308 = NOT ( G220 )
G309 = BUF ( G220 )
G310 = BUF ( G221 )
G311 = BUF ( G221 )
G312 = BUF ( G222 )
G313 = BUF ( G222 )
G314 = NOT ( G224 )
G315 = NOT ( G225 )
G316 = NOT ( G226 )
G317 = NOT ( G227 )
G318 = NOT ( G228 )
G319 = NOT ( G229 )
G320 = NOT ( G230 )
G321 = NOT ( G231 )
G322 = NOT ( G232 )
G323 = NOT ( G233 )
G324 = NOT ( G234 )
G325 = BUF ( G235 )
G326 = BUF ( G235 )
G327 = BUF ( G236 )
G328 = BUF ( G236 )
G329 = NOT ( G237 )
G330 = NOT ( G238 )
G331 = NOT ( G239 )
G332 = NOT ( G240 )
G333 = NOT ( G241 )
G334 = NOT ( G249 )
G335 = NOT ( G251 )
G336 = AND ( G249, G251 )
G337 = BUF ( G255 )
G338 = AND ( G255, G74 )
G339 = NOT ( G256 )
G340 = NOT ( G257 )
G341 = NOT ( G259 )
G342 = AND ( G62, G259, G256 )
G343 = AND ( G256, G259, G52 )
G344 = AND ( G256, G259, G61 )
G345 = AND ( G256, G259, G60 )
G346 = AND ( G256, G259, G59 )
G347 = NOT ( G260 )
G348 = AND ( G58, G260, G257 )
G349 = AND ( G57, G260, G257 )
G350 = AND ( G56, G260, G257 )
G351 = AND ( G260, G257, G55 )
G352 = AND ( G260, G257, G54 )
G353 = NOT ( G261 )
G354 = AND ( G223, G263 )
G355 = NOT ( G263 )
G356 = NAND ( G195, G263 )
G357 = AND ( G265, G9 )
G358 = BUF ( G269 )
G359 = NOT ( G270 )
G360 = BUF ( G271 )
G361 = NOT ( G272 )
G362 = BUF ( G274 )
G363 = NOT ( G275 )
G364 = BUF ( G276 )
G365 = NOT ( G277 )
G366 = BUF ( G278 )
G367 = NOT ( G279 )
G368 = BUF ( G280 )
G369 = NOT ( G281 )
G370 = BUF ( G282 )
G371 = NOT ( G283 )
G372 = BUF ( G284 )
G373 = NOT ( G285 )
G374 = BUF ( G286 )
G375 = NOT ( G287 )
G376 = BUF ( G288 )
G377 = NOT ( G289 )
G378 = BUF ( G290 )
G379 = NOT ( G291 )
G380 = BUF ( G295 )
G381 = NOT ( G296 )
G382 = BUF ( G297 )
G383 = NOT ( G298 )
G384 = BUF ( G299 )
G385 = NOT ( G300 )
G386 = BUF ( G301 )
G387 = NOT ( G302 )
G388 = NOT ( G303 )
G389 = BUF ( G304 )
G390 = NOT ( G305 )
G391 = NOT ( G307 )
G392 = NOT ( G309 )
G393 = NOT ( G310 )
G394 = NOT ( G311 )
G395 = NOT ( G312 )
G396 = AND ( G90, G312, G310 )
G397 = AND ( G89, G312, G310 )
G398 = AND ( G88, G312, G310 )
G399 = AND ( G87, G312, G310 )
G400 = AND ( G312, G310 )
G401 = NOT ( G313 )
G402 = AND ( G311, G94, G313 )
G403 = AND ( G311, G85, G313 )
G404 = AND ( G311, G93, G313 )
G405 = AND ( G311, G313, G92 )
G406 = AND ( G91, G311, G313 )
G407 = NAND ( G225, G314 )
G408 = NAND ( G224, G315 )
G409 = NAND ( G316, G227 )
G410 = NAND ( G226, G317 )
G411 = NAND ( G318, G229 )
G412 = NAND ( G319, G228 )
G413 = NAND ( G320, G231 )
G414 = NAND ( G321, G230 )
G415 = NAND ( G275, G322 )
G416 = NAND ( G296, G323 )
G417 = AND ( G329, G13 )
G418 = AND ( G329, G4 )
G419 = AND ( G14, G329 )
G420 = AND ( G329, G5 )
G421 = AND ( G15, G330 )
G422 = AND ( G16, G330 )
G423 = AND ( G17, G330 )
G424 = AND ( G330, G6 )
G425 = AND ( G18, G330 )
G426 = AND ( G331, G19 )
G427 = AND ( G331, G24 )
G428 = AND ( G20, G331 )
G429 = AND ( G331, G25 )
G430 = AND ( G21, G332 )
G431 = AND ( G26, G332 )
G432 = AND ( G27, G332 )
G433 = AND ( G22, G332 )
G434 = AND ( G195, G334 )
G435 = AND ( G223, G335 )
G436 = BUF ( G336 )
G437 = NOT ( G336 )
G438 = AND ( G51, G259, G339 )
G439 = AND ( G42, G259, G339 )
G440 = AND ( G259, G339, G50 )
G441 = AND ( G259, G49, G339 )
G442 = AND ( G259, G339, G48 )
G443 = AND ( G340, G47, G260 )
G444 = AND ( G340, G260, G46 )
G445 = AND ( G340, G260 )
G446 = AND ( G45, G340, G260 )
G447 = AND ( G44, G340, G260 )
G448 = AND ( G341, G339, G73 )
G449 = AND ( G256, G341, G41 )
G450 = AND ( G63, G341, G339 )
G451 = AND ( G256, G341, G31 )
G452 = AND ( G72, G339, G341 )
G453 = AND ( G256, G341, G40 )
G454 = AND ( G71, G341, G339 )
G455 = AND ( G256, G341, G39 )
G456 = AND ( G70, G339, G341 )
G457 = AND ( G38, G256, G341 )
G458 = AND ( G69, G340, G347 )
G459 = AND ( G257, G37, G347 )
G460 = AND ( G68, G340, G347 )
G461 = AND ( G36, G257, G347 )
G462 = AND ( G67, G340, G347 )
G463 = AND ( G257, G347, G35 )
G464 = AND ( G66, G340, G347 )
G465 = AND ( G34, G257, G347 )
G466 = AND ( G340, G65, G347 )
G467 = AND ( G33, G257, G347 )
G468 = NOT ( G354 )
G469 = OR ( G266, G357 )
G470 = NOT ( G358 )
G471 = NAND ( G272, G359 )
G472 = NOT ( G360 )
G473 = NAND ( G270, G361 )
G474 = NOT ( G362 )
G475 = NAND ( G363, G232 )
G476 = NOT ( G364 )
G477 = NAND ( G365, G279 )
G478 = NOT ( G366 )
G479 = NAND ( G277, G367 )
G480 = NOT ( G368 )
G481 = NAND ( G369, G283 )
G482 = NOT ( G370 )
G483 = NAND ( G371, G281 )
G484 = NOT ( G372 )
G485 = NAND ( G373, G287 )
G486 = NOT ( G374 )
G487 = NAND ( G285, G375 )
G488 = NOT ( G376 )
G489 = NAND ( G291, G377 )
G490 = NOT ( G378 )
G491 = NAND ( G289, G379 )
G492 = NOT ( G380 )
G493 = NAND ( G381, G233 )
G494 = NOT ( G382 )
G495 = NAND ( G300, G383 )
G496 = NOT ( G384 )
G497 = NAND ( G385, G298 )
G498 = NOT ( G386 )
G499 = NAND ( G305, G387 )
G500 = NOT ( G389 )
G501 = NAND ( G390, G302 )
G502 = NAND ( G309, G391 )
G503 = NAND ( G307, G392 )
G504 = AND ( G393, G100, G312 )
G505 = AND ( G393, G312, G99 )
G506 = AND ( G393, G312, G98 )
G507 = AND ( G393, G312, G97 )
G508 = AND ( G393, G312 )
G509 = AND ( G313, G394, G104 )
G510 = AND ( G313, G95, G394 )
G511 = AND ( G313, G103, G394 )
G512 = AND ( G313, G394, G102 )
G513 = AND ( G313, G101, G394 )
G514 = AND ( G393, G395, G110 )
G515 = AND ( G395, G80, G310 )
G516 = AND ( G393, G395, G109 )
G517 = AND ( G395, G79, G310 )
G518 = AND ( G395, G393, G108 )
G519 = AND ( G395, G78, G310 )
G520 = AND ( G107, G395, G393 )
G521 = AND ( G77, G395, G310 )
G522 = AND ( G393, G395 )
G523 = AND ( G395, G310 )
G524 = AND ( G401, G394, G114 )
G525 = AND ( G401, G311, G84 )
G526 = AND ( G401, G394, G105 )
G527 = AND ( G401, G311, G75 )
G528 = AND ( G401, G394, G113 )
G529 = AND ( G401, G311, G83 )
G530 = AND ( G401, G112, G394 )
G531 = AND ( G401, G311, G82 )
G532 = AND ( G401, G394, G111 )
G533 = AND ( G81, G311, G401 )
G534 = NAND ( G408, G407 )
G535 = NAND ( G409, G410 )
G536 = NAND ( G411, G412 )
G537 = NAND ( G414, G413 )
G538 = NOT ( G434 )
G539 = NOT ( G435 )
G540 = OR ( G438, G342, G448, G449 )
G541 = OR ( G450, G439, G343, G451 )
G542 = OR ( G440, G344, G452, G453 )
G543 = OR ( G345, G455, G441, G454 )
G544 = OR ( G442, G457, G456, G346 )
G545 = OR ( G348, G443, G458, G459 )
G546 = OR ( G460, G461, G349, G444 )
G547 = OR ( G350, G463, G445, G462 )
G548 = OR ( G464, G351, G446, G465 )
G549 = OR ( G447, G467, G352, G466 )
G550 = NAND ( G473, G471 )
G551 = NAND ( G475, G415 )
G552 = NAND ( G477, G479 )
G553 = NAND ( G481, G483 )
G554 = NAND ( G485, G487 )
G555 = NAND ( G489, G491 )
G556 = NAND ( G493, G416 )
G557 = NAND ( G495, G497 )
G558 = NAND ( G501, G499 )
G559 = NAND ( G502, G503 )
G560 = OR ( G515, G514, G396, G504 )
G561 = OR ( G397, G516, G505, G517 )
G562 = OR ( G519, G518, G398, G506 )
G563 = OR ( G520, G399, G521, G507 )
G564 = OR ( G508, G523, G522, G400 )
G565 = OR ( G525, G402, G509, G524 )
G566 = OR ( G526, G527, G403, G510 )
G567 = OR ( G511, G528, G529, G404 )
G568 = OR ( G531, G405, G512, G530 )
G569 = OR ( G513, G533, G532, G406 )
G570 = NOT ( G534 )
G571 = NOT ( G535 )
G572 = BUF ( G536 )
G573 = BUF ( G536 )
G574 = NOT ( G537 )
G575 = AND ( G538, G539 )
G576 = AND ( G540, G198 )
G577 = BUF ( G540 )
G578 = NOT ( G540 )
G579 = AND ( G541, G198 )
G580 = AND ( G541, G265 )
G581 = NOT ( G541 )
G582 = AND ( G237, G541 )
G583 = BUF ( G541 )
G584 = AND ( G198, G542 )
G585 = NOT ( G542 )
G586 = AND ( G265, G542 )
G587 = NOT ( G542 )
G588 = AND ( G237, G542 )
G589 = BUF ( G543 )
G590 = AND ( G237, G543 )
G591 = NOT ( G544 )
G592 = BUF ( G544 )
G593 = AND ( G544, G237 )
G594 = NOT ( G545 )
G595 = AND ( G545, G199 )
G596 = BUF ( G545 )
G597 = AND ( G238, G545 )
G598 = NOT ( G546 )
G599 = BUF ( G546 )
G600 = AND ( G546, G238 )
G601 = BUF ( G547 )
G602 = AND ( G238, G547 )
G603 = BUF ( G548 )
G604 = AND ( G238, G548 )
G605 = BUF ( G549 )
G606 = AND ( G549, G238 )
G607 = NOT ( G550 )
G608 = NOT ( G551 )
G609 = NOT ( G552 )
G610 = BUF ( G553 )
G611 = BUF ( G553 )
G612 = NOT ( G554 )
G613 = NOT ( G555 )
G614 = NOT ( G556 )
G615 = NOT ( G557 )
G616 = BUF ( G558 )
G617 = BUF ( G558 )
G618 = NOT ( G559 )
G619 = NOT ( G560 )
G620 = AND ( G273, G560 )
G621 = AND ( G240, G560 )
G622 = BUF ( G560 )
G623 = NOT ( G561 )
G624 = NOT ( G561 )
G625 = AND ( G240, G561 )
G626 = BUF ( G561 )
G627 = NOT ( G562 )
G628 = AND ( G240, G562 )
G629 = BUF ( G562 )
G630 = NAND ( G563, G306 )
G631 = AND ( G563, G240 )
G632 = BUF ( G563 )
G633 = NAND ( G308, G564 )
G634 = BUF ( G564 )
G635 = NOT ( G565 )
G636 = AND ( G239, G566 )
G637 = BUF ( G566 )
G638 = AND ( G239, G567 )
G639 = BUF ( G567 )
G640 = BUF ( G568 )
G641 = AND ( G239, G568 )
G642 = BUF ( G568 )
G643 = AND ( G239, G569 )
G644 = BUF ( G569 )
G645 = NOT ( G572 )
G646 = AND ( G535, G572, G534 )
G647 = NOT ( G573 )
G648 = AND ( G573, G570, G571 )
G649 = NAND ( G550, G574 )
G650 = BUF ( G575 )
G651 = AND ( G262, G575, G28, G192 )
G652 = AND ( G262, G575, G324, G192 )
G653 = AND ( G265, G577 )
G654 = BUF ( G577 )
G655 = BUF ( G578 )
G656 = BUF ( G578 )
G657 = OR ( G579, G264 )
G658 = BUF ( G581 )
G659 = BUF ( G581 )
G660 = OR ( G582, G417 )
G661 = NOT ( G583 )
G662 = NAND ( G585, G258 )
G663 = NOT ( G585 )
G664 = BUF ( G587 )
G665 = BUF ( G587 )
G666 = BUF ( G587 )
G667 = BUF ( G587 )
G668 = OR ( G418, G588 )
G669 = BUF ( G589 )
G670 = AND ( G589, G265 )
G671 = NOT ( G589 )
G672 = OR ( G590, G419 )
G673 = BUF ( G592 )
G674 = AND ( G592, G199 )
G675 = NOT ( G592 )
G676 = OR ( G420, G593 )
G677 = BUF ( G596 )
G678 = NOT ( G596 )
G679 = OR ( G421, G597 )
G680 = BUF ( G599 )
G681 = NOT ( G599 )
G682 = OR ( G422, G600 )
G683 = BUF ( G601 )
G684 = NOT ( G601 )
G685 = OR ( G602, G423 )
G686 = BUF ( G603 )
G687 = NOT ( G603 )
G688 = OR ( G424, G604 )
G689 = BUF ( G605 )
G690 = NOT ( G605 )
G691 = OR ( G606, G425 )
G692 = NAND ( G537, G607 )
G693 = NOT ( G610 )
G694 = AND ( G551, G610, G552 )
G695 = NOT ( G611 )
G696 = AND ( G609, G608, G611 )
G697 = NAND ( G612, G555 )
G698 = NAND ( G613, G554 )
G699 = NOT ( G616 )
G700 = AND ( G556, G616, G557 )
G701 = NOT ( G617 )
G702 = AND ( G615, G614, G617 )
G703 = NOT ( G620 )
G704 = OR ( G430, G621 )
G705 = NOT ( G622 )
G706 = AND ( G624, G620, G30 )
G707 = OR ( G625, G431 )
G708 = NOT ( G626 )
G709 = OR ( G628, G432 )
G710 = NOT ( G629 )
G711 = AND ( G306, G630 )
G712 = AND ( G563, G630 )
G713 = OR ( G631, G433 )
G714 = NOT ( G632 )
G715 = AND ( G633, G308 )
G716 = AND ( G633, G564 )
G717 = NOT ( G634 )
G718 = OR ( G426, G636 )
G719 = NOT ( G637 )
G720 = NAND ( G637, G635 )
G721 = OR ( G427, G638 )
G722 = NOT ( G639 )
G723 = OR ( G641, G428 )
G724 = NOT ( G642 )
G725 = OR ( G429, G643 )
G726 = NOT ( G644 )
G727 = AND ( G535, G570, G645 )
G728 = AND ( G647, G571, G534 )
G729 = NOT ( G651 )
G730 = NOT ( G652 )
G731 = NOT ( G654 )
G732 = NOT ( G655 )
G733 = NOT ( G656 )
G734 = NOT ( G658 )
G735 = NOT ( G659 )
G736 = NAND ( G470, G660 )
G737 = NOT ( G660 )
G738 = AND ( G662, G264 )
G739 = BUF ( G662 )
G740 = AND ( G199, G662 )
G741 = NOT ( G662 )
G742 = NOT ( G663 )
G743 = NAND ( G663, G661 )
G744 = NOT ( G664 )
G745 = NOT ( G665 )
G746 = NOT ( G666 )
G747 = NOT ( G667 )
G748 = NAND ( G668, G472 )
G749 = NOT ( G668 )
G750 = OR ( G670, G595 )
G751 = BUF ( G671 )
G752 = BUF ( G671 )
G753 = BUF ( G671 )
G754 = BUF ( G671 )
G755 = NAND ( G672, G474 )
G756 = NOT ( G672 )
G757 = OR ( G674, G586 )
G758 = BUF ( G675 )
G759 = BUF ( G675 )
G760 = BUF ( G675 )
G761 = NAND ( G476, G676 )
G762 = NOT ( G676 )
G763 = NOT ( G678 )
G764 = NAND ( G679, G478 )
G765 = NOT ( G679 )
G766 = BUF ( G681 )
G767 = BUF ( G681 )
G768 = NAND ( G682, G480 )
G769 = NOT ( G682 )
G770 = BUF ( G684 )
G771 = BUF ( G684 )
G772 = NAND ( G685, G482 )
G773 = NOT ( G685 )
G774 = BUF ( G687 )
G775 = BUF ( G687 )
G776 = NAND ( G688, G484 )
G777 = NOT ( G688 )
G778 = BUF ( G690 )
G779 = BUF ( G690 )
G780 = NAND ( G486, G691 )
G781 = NOT ( G691 )
G782 = NAND ( G649, G692 )
G783 = AND ( G608, G693, G552 )
G784 = AND ( G609, G551, G695 )
G785 = NAND ( G697, G698 )
G786 = AND ( G614, G699, G557 )
G787 = AND ( G615, G701, G556 )
G788 = AND ( G624, G30, G703 )
G789 = NAND ( G704, G496 )
G790 = NOT ( G704 )
G791 = NAND ( G705, G644 )
G792 = NOT ( G706 )
G793 = NOT ( G706 )
G794 = BUF ( G706 )
G795 = BUF ( G706 )
G796 = NOT ( G706 )
G797 = NAND ( G498, G707 )
G798 = NOT ( G707 )
G799 = NAND ( G629, G708 )
G800 = NAND ( G500, G709 )
G801 = NOT ( G709 )
G802 = NAND ( G710, G626 )
G803 = OR ( G711, G712 )
G804 = NAND ( G634, G714 )
G805 = OR ( G715, G716 )
G806 = NAND ( G632, G717 )
G807 = NAND ( G488, G718 )
G808 = NOT ( G718 )
G809 = NAND ( G565, G719 )
G810 = NAND ( G721, G490 )
G811 = NOT ( G721 )
G812 = NAND ( G722, G642 )
G813 = NAND ( G492, G723 )
G814 = NOT ( G723 )
G815 = NAND ( G724, G639 )
G816 = NAND ( G494, G725 )
G817 = NOT ( G725 )
G818 = NAND ( G622, G726 )
G819 = NOR ( G727, G646 )
G820 = NOR ( G648, G728 )
G821 = NAND ( G732, G658 )
G822 = NAND ( G733, G659 )
G823 = NAND ( G655, G734 )
G824 = NAND ( G656, G735 )
G825 = NAND ( G358, G737 )
G826 = OR ( G584, G738 )
G827 = NOT ( G739 )
G828 = OR ( G740, G580 )
G829 = NOT ( G741 )
G830 = NAND ( G742, G583 )
G831 = NAND ( G360, G749 )
G832 = BUF ( G750 )
G833 = BUF ( G750 )
G834 = NOT ( G751 )
G835 = NAND ( G751, G744 )
G836 = NOT ( G752 )
G837 = NAND ( G752, G745 )
G838 = NOT ( G753 )
G839 = NOT ( G754 )
G840 = NAND ( G362, G756 )
G841 = BUF ( G757 )
G842 = BUF ( G757 )
G843 = NOT ( G758 )
G844 = NOT ( G759 )
G845 = NOT ( G760 )
G846 = NAND ( G762, G364 )
G847 = NAND ( G763, G758 )
G848 = NAND ( G366, G765 )
G849 = NOT ( G766 )
G850 = NOT ( G767 )
G851 = NAND ( G769, G368 )
G852 = NOT ( G770 )
G853 = NOT ( G771 )
G854 = NAND ( G370, G773 )
G855 = NOT ( G774 )
G856 = NOT ( G775 )
G857 = NAND ( G372, G777 )
G858 = NOT ( G778 )
G859 = NOT ( G779 )
G860 = NAND ( G374, G781 )
G861 = NOT ( G782 )
G862 = NOR ( G694, G783 )
G863 = NOR ( G696, G784 )
G864 = NOT ( G785 )
G865 = NOR ( G786, G700 )
G866 = NOR ( G702, G787 )
G867 = BUF ( G788 )
G868 = BUF ( G788 )
G869 = NAND ( G790, G384 )
G870 = BUF ( G792 )
G871 = BUF ( G792 )
G872 = AND ( G793, G605 )
G873 = AND ( G793, G566 )
G874 = AND ( G793, G567 )
G875 = AND ( G793, G640 )
G876 = AND ( G596, G794 )
G877 = AND ( G599, G794 )
G878 = NOT ( G794 )
G879 = AND ( G596, G795 )
G880 = AND ( G599, G795 )
G881 = NOT ( G795 )
G882 = AND ( G796, G605 )
G883 = AND ( G566, G796 )
G884 = AND ( G796, G567 )
G885 = AND ( G796, G640 )
G886 = NAND ( G386, G798 )
G887 = NAND ( G801, G389 )
G888 = NAND ( G802, G799 )
G889 = NOT ( G803 )
G890 = NOT ( G805 )
G891 = NAND ( G806, G804 )
G892 = NAND ( G808, G376 )
G893 = NAND ( G720, G809 )
G894 = NAND ( G811, G378 )
G895 = NAND ( G814, G380 )
G896 = NAND ( G815, G812 )
G897 = NAND ( G817, G382 )
G898 = NAND ( G818, G791 )
G899 = NAND ( G820, G819 )
G900 = NAND ( G823, G821 )
G901 = NAND ( G824, G822 )
G902 = NAND ( G736, G825 )
G903 = BUF ( G828 )
G904 = BUF ( G828 )
G905 = NAND ( G743, G830 )
G906 = NAND ( G748, G831 )
G907 = NAND ( G664, G834 )
G908 = NAND ( G665, G836 )
G909 = NAND ( G755, G840 )
G910 = NAND ( G678, G843 )
G911 = NAND ( G761, G846 )
G912 = NAND ( G764, G848 )
G913 = NAND ( G770, G849 )
G914 = NAND ( G850, G771 )
G915 = NAND ( G851, G768 )
G916 = NAND ( G766, G852 )
G917 = NAND ( G853, G767 )
G918 = NAND ( G772, G854 )
G919 = NAND ( G778, G855 )
G920 = NAND ( G779, G856 )
G921 = NAND ( G857, G776 )
G922 = NAND ( G858, G774 )
G923 = NAND ( G775, G859 )
G924 = NAND ( G780, G860 )
G925 = NAND ( G862, G863 )
G926 = NAND ( G865, G866 )
G927 = BUF ( G867 )
G928 = BUF ( G867 )
G929 = BUF ( G868 )
G930 = BUF ( G868 )
G931 = NAND ( G789, G869 )
G932 = BUF ( G870 )
G933 = BUF ( G870 )
G934 = BUF ( G870 )
G935 = BUF ( G871 )
G936 = BUF ( G871 )
G937 = BUF ( G871 )
G938 = AND ( G596, G878 )
G939 = AND ( G599, G878 )
G940 = AND ( G878, G601 )
G941 = AND ( G603, G878 )
G942 = AND ( G596, G881 )
G943 = AND ( G599, G881 )
G944 = AND ( G881, G601 )
G945 = AND ( G603, G881 )
G946 = NAND ( G797, G886 )
G947 = NAND ( G800, G887 )
G948 = NOT ( G888 )
G949 = AND ( G803, G889 )
G950 = AND ( G890, G805 )
G951 = NOT ( G891 )
G952 = NAND ( G807, G892 )
G953 = NOT ( G893 )
G954 = NAND ( G894, G810 )
G955 = NAND ( G813, G895 )
G956 = NOT ( G896 )
G957 = NAND ( G897, G816 )
G958 = BUF ( G898 )
G959 = BUF ( G898 )
G960 = NAND ( G899, G861 )
G961 = NOT ( G899 )
G962 = NOT ( G900 )
G963 = NOT ( G901 )
G964 = NOT ( G902 )
G965 = NOT ( G905 )
G966 = NAND ( G905, G829 )
G967 = NOT ( G906 )
G968 = NAND ( G907, G835 )
G969 = NAND ( G908, G837 )
G970 = NOT ( G909 )
G971 = NAND ( G910, G847 )
G972 = NOT ( G911 )
G973 = NOT ( G912 )
G974 = NOT ( G915 )
G975 = NAND ( G916, G913 )
G976 = NAND ( G917, G914 )
G977 = NOT ( G918 )
G978 = NOT ( G921 )
G979 = NAND ( G919, G922 )
G980 = NAND ( G923, G920 )
G981 = NOT ( G924 )
G982 = NOT ( G925 )
G983 = NAND ( G864, G925 )
G984 = NOT ( G926 )
G985 = NAND ( G926, G618 )
G986 = AND ( G872, G927 )
G987 = AND ( G927, G873 )
G988 = AND ( G874, G927 )
G989 = AND ( G875, G927 )
G990 = AND ( G928, G882 )
G991 = AND ( G928, G883 )
G992 = AND ( G928, G884 )
G993 = AND ( G885, G928 )
G994 = NOT ( G931 )
G995 = AND ( G932, G269 )
G996 = NOT ( G932 )
G997 = AND ( G932, G271 )
G998 = AND ( G274, G932 )
G999 = AND ( G932, G276 )
G1000 = NOT ( G933 )
G1001 = AND ( G278, G933 )
G1002 = AND ( G280, G933 )
G1003 = AND ( G282, G933 )
G1004 = AND ( G933, G284 )
G1005 = AND ( G286, G934 )
G1006 = AND ( G288, G934 )
G1007 = AND ( G934, G290 )
G1008 = AND ( G295, G934 )
G1009 = AND ( G269, G935 )
G1010 = NOT ( G935 )
G1011 = AND ( G935, G271 )
G1012 = AND ( G274, G935 )
G1013 = AND ( G276, G935 )
G1014 = NOT ( G936 )
G1015 = AND ( G936, G278 )
G1016 = AND ( G280, G936 )
G1017 = AND ( G282, G936 )
G1018 = AND ( G936, G284 )
G1019 = AND ( G286, G937 )
G1020 = AND ( G288, G937 )
G1021 = AND ( G937, G290 )
G1022 = AND ( G295, G937 )
G1023 = OR ( G938, G876 )
G1024 = OR ( G939, G877 )
G1025 = AND ( G940, G325 )
G1026 = AND ( G325, G941 )
G1027 = OR ( G879, G942 )
G1028 = OR ( G943, G880 )
G1029 = AND ( G944, G326 )
G1030 = AND ( G326, G945 )
G1031 = NOT ( G946 )
G1032 = NOT ( G947 )
G1033 = NAND ( G948, G891 )
G1034 = OR ( G949, G889 )
G1035 = OR ( G950, G890 )
G1036 = NAND ( G888, G951 )
G1037 = NOT ( G952 )
G1038 = NOT ( G954 )
G1039 = NOT ( G955 )
G1040 = NOT ( G957 )
G1041 = NOT ( G958 )
G1042 = AND ( G958, G893, G896 )
G1043 = NOT ( G959 )
G1044 = AND ( G956, G953, G959 )
G1045 = NAND ( G782, G961 )
G1046 = NAND ( G965, G741 )
G1047 = NOT ( G968 )
G1048 = BUF ( G969 )
G1049 = BUF ( G969 )
G1050 = BUF ( G971 )
G1051 = BUF ( G971 )
G1052 = AND ( G964, G970, G972, G973, G967 )
G1053 = NOT ( G975 )
G1054 = NOT ( G976 )
G1055 = NOT ( G979 )
G1056 = NOT ( G980 )
G1057 = NAND ( G982, G785 )
G1058 = NAND ( G559, G984 )
G1059 = NOT ( G986 )
G1060 = NOT ( G987 )
G1061 = NOT ( G988 )
G1062 = NOT ( G989 )
G1063 = NOT ( G990 )
G1064 = NOT ( G991 )
G1065 = NOT ( G992 )
G1066 = NOT ( G993 )
G1067 = AND ( G996, G290 )
G1068 = AND ( G295, G996 )
G1069 = AND ( G297, G996 )
G1070 = AND ( G299, G996 )
G1071 = AND ( G301, G1000 )
G1072 = AND ( G1000, G304 )
G1073 = AND ( G327, G1003 )
G1074 = AND ( G327, G1004 )
G1075 = AND ( G1005, G929 )
G1076 = AND ( G1006, G929 )
G1077 = AND ( G1007, G929 )
G1078 = AND ( G929, G1008 )
G1079 = AND ( G1010, G290 )
G1080 = AND ( G1010, G295 )
G1081 = AND ( G297, G1010 )
G1082 = AND ( G1010, G299 )
G1083 = AND ( G301, G1014 )
G1084 = AND ( G304, G1014 )
G1085 = AND ( G328, G1017 )
G1086 = AND ( G328, G1018 )
G1087 = AND ( G930, G1019 )
G1088 = AND ( G930, G1020 )
G1089 = AND ( G930, G1021 )
G1090 = AND ( G930, G1022 )
G1091 = AND ( G325, G1023 )
G1092 = AND ( G1024, G325 )
G1093 = NOT ( G1025 )
G1094 = NOT ( G1026 )
G1095 = AND ( G326, G1027 )
G1096 = AND ( G1028, G326 )
G1097 = NOT ( G1029 )
G1098 = NOT ( G1030 )
G1099 = AND ( G1032, G713 )
G1100 = NAND ( G1035, G1034 )
G1101 = NAND ( G1033, G1036 )
G1102 = AND ( G974, G978, G1037, G977, G981 )
G1103 = AND ( G994, G1031, G1039, G1040, G1038 )
G1104 = AND ( G1041, G953, G896 )
G1105 = AND ( G956, G893, G1043 )
G1106 = NAND ( G1045, G960 )
G1107 = NAND ( G966, G1046 )
G1108 = NOT ( G1048 )
G1109 = AND ( G901, G1048, G739 )
G1110 = NOT ( G1049 )
G1111 = AND ( G827, G1049, G963 )
G1112 = NOT ( G1050 )
G1113 = AND ( G1050, G968, G900 )
G1114 = NOT ( G1051 )
G1115 = AND ( G1051, G1047, G962 )
G1116 = NAND ( G1053, G979 )
G1117 = NAND ( G980, G1054 )
G1118 = NAND ( G1055, G975 )
G1119 = NAND ( G1056, G976 )
G1120 = NAND ( G983, G1057 )
G1121 = NAND ( G1058, G985 )
G1122 = BUF ( G1059 )
G1123 = BUF ( G1060 )
G1124 = BUF ( G1061 )
G1125 = BUF ( G1062 )
G1126 = BUF ( G1063 )
G1127 = BUF ( G1064 )
G1128 = BUF ( G1065 )
G1129 = BUF ( G1066 )
G1130 = OR ( G1067, G995 )
G1131 = OR ( G997, G1068 )
G1132 = OR ( G998, G1069 )
G1133 = OR ( G1070, G999 )
G1134 = OR ( G1071, G1001 )
G1135 = OR ( G1002, G1072 )
G1136 = BUF ( G1073 )
G1137 = BUF ( G1074 )
G1138 = AND ( G1059, G1075 )
G1139 = BUF ( G1075 )
G1140 = AND ( G1076, G1060 )
G1141 = BUF ( G1076 )
G1142 = AND ( G1077, G1061 )
G1143 = BUF ( G1077 )
G1144 = AND ( G1078, G1062 )
G1145 = BUF ( G1078 )
G1146 = OR ( G1009, G1079 )
G1147 = OR ( G1080, G1011 )
G1148 = OR ( G1012, G1081 )
G1149 = OR ( G1013, G1082 )
G1150 = OR ( G1015, G1083 )
G1151 = OR ( G1016, G1084 )
G1152 = BUF ( G1085 )
G1153 = BUF ( G1086 )
G1154 = AND ( G1063, G1087 )
G1155 = BUF ( G1087 )
G1156 = AND ( G1088, G1064 )
G1157 = BUF ( G1088 )
G1158 = AND ( G1089, G1065 )
G1159 = BUF ( G1089 )
G1160 = AND ( G1090, G1066 )
G1161 = BUF ( G1090 )
G1162 = NOT ( G1091 )
G1163 = NOT ( G1092 )
G1164 = BUF ( G1093 )
G1165 = AND ( G1073, G1093 )
G1166 = BUF ( G1094 )
G1167 = AND ( G1094, G1074 )
G1168 = NOT ( G1095 )
G1169 = NOT ( G1096 )
G1170 = BUF ( G1097 )
G1171 = AND ( G1097, G1085 )
G1172 = BUF ( G1098 )
G1173 = AND ( G1086, G1098 )
G1174 = NOT ( G1101 )
G1175 = AND ( G1052, G1102 )
G1176 = AND ( G1103, G1099 )
G1177 = NOR ( G1104, G1042 )
G1178 = NOR ( G1105, G1044 )
G1179 = NOT ( G1106 )
G1180 = NAND ( G1107, G731 )
G1181 = NOT ( G1107 )
G1182 = AND ( G1108, G901, G827 )
G1183 = AND ( G739, G1110, G963 )
G1184 = AND ( G968, G1112, G962 )
G1185 = AND ( G900, G1047, G1114 )
G1186 = NAND ( G1118, G1116 )
G1187 = NAND ( G1119, G1117 )
G1188 = NOT ( G1120 )
G1189 = NOT ( G1121 )
G1190 = NOT ( G1122 )
G1191 = NOT ( G1123 )
G1192 = NOT ( G1124 )
G1193 = NOT ( G1125 )
G1194 = NOT ( G1126 )
G1195 = NOT ( G1127 )
G1196 = NOT ( G1128 )
G1197 = NOT ( G1129 )
G1198 = AND ( G581, G1130 )
G1199 = AND ( G1131, G587 )
G1200 = BUF ( G1131 )
G1201 = AND ( G671, G1132 )
G1202 = BUF ( G1132 )
G1203 = AND ( G1133, G675 )
G1204 = BUF ( G1133 )
G1205 = AND ( G1134, G327 )
G1206 = AND ( G1135, G327 )
G1207 = NOT ( G1136 )
G1208 = NOT ( G1137 )
G1209 = NOT ( G1139 )
G1210 = NOT ( G1141 )
G1211 = NOT ( G1143 )
G1212 = NOT ( G1145 )
G1213 = AND ( G1146, G581 )
G1214 = AND ( G1147, G587 )
G1215 = BUF ( G1147 )
G1216 = AND ( G671, G1148 )
G1217 = BUF ( G1148 )
G1218 = AND ( G675, G1149 )
G1219 = BUF ( G1149 )
G1220 = AND ( G1150, G328 )
G1221 = AND ( G1151, G328 )
G1222 = NOT ( G1152 )
G1223 = NOT ( G1153 )
G1224 = NOT ( G1155 )
G1225 = NOT ( G1157 )
G1226 = NOT ( G1159 )
G1227 = NOT ( G1161 )
G1228 = BUF ( G1162 )
G1229 = BUF ( G1163 )
G1230 = NOT ( G1164 )
G1231 = NOT ( G1166 )
G1232 = BUF ( G1168 )
G1233 = BUF ( G1169 )
G1234 = NOT ( G1170 )
G1235 = NOT ( G1172 )
G1236 = AND ( G469, G1176, G1175 )
G1237 = NAND ( G1178, G1177 )
G1238 = AND ( G1179, G10 )
G1239 = NAND ( G654, G1181 )
G1240 = NOR ( G1182, G1109 )
G1241 = NOR ( G1111, G1183 )
G1242 = NOR ( G1184, G1113 )
G1243 = NOR ( G1115, G1185 )
G1244 = NOT ( G1186 )
G1245 = NOT ( G1187 )
G1246 = NAND ( G1139, G1190 )
G1247 = NAND ( G1191, G1141 )
G1248 = NAND ( G1143, G1192 )
G1249 = NAND ( G1193, G1145 )
G1250 = NAND ( G1194, G1155 )
G1251 = NAND ( G1195, G1157 )
G1252 = NAND ( G1159, G1196 )
G1253 = NAND ( G1161, G1197 )
G1254 = NAND ( G746, G1200 )
G1255 = NOT ( G1200 )
G1256 = NOT ( G1202 )
G1257 = NAND ( G838, G1202 )
G1258 = NOT ( G1204 )
G1259 = NAND ( G844, G1204 )
G1260 = AND ( G1205, G1162 )
G1261 = BUF ( G1205 )
G1262 = AND ( G1206, G1163 )
G1263 = BUF ( G1206 )
G1264 = NAND ( G1164, G1207 )
G1265 = NAND ( G1166, G1208 )
G1266 = NAND ( G1209, G1122 )
G1267 = NAND ( G1210, G1123 )
G1268 = NAND ( G1124, G1211 )
G1269 = NAND ( G1212, G1125 )
G1270 = NAND ( G1215, G747 )
G1271 = NOT ( G1215 )
G1272 = NOT ( G1217 )
G1273 = NAND ( G839, G1217 )
G1274 = NOT ( G1219 )
G1275 = NAND ( G1219, G845 )
G1276 = AND ( G1220, G1168 )
G1277 = BUF ( G1220 )
G1278 = AND ( G1221, G1169 )
G1279 = BUF ( G1221 )
G1280 = NAND ( G1222, G1170 )
G1281 = NAND ( G1223, G1172 )
G1282 = NAND ( G1224, G1126 )
G1283 = NAND ( G1127, G1225 )
G1284 = NAND ( G1226, G1128 )
G1285 = NAND ( G1227, G1129 )
G1286 = NOT ( G1228 )
G1287 = NOT ( G1229 )
G1288 = NAND ( G1136, G1230 )
G1289 = NAND ( G1231, G1137 )
G1290 = NOT ( G1232 )
G1291 = NOT ( G1233 )
G1292 = NAND ( G1152, G1234 )
G1293 = NAND ( G1153, G1235 )
G1294 = BUF ( G1236 )
G1295 = NOT ( G1236 )
G1296 = NAND ( G1237, G1174 )
G1297 = NOT ( G1237 )
G1298 = BUF ( G1238 )
G1299 = NOT ( G1238 )
G1300 = NAND ( G1239, G1180 )
G1301 = NAND ( G1241, G1240 )
G1302 = NAND ( G1243, G1242 )
G1303 = NAND ( G666, G1255 )
G1304 = NAND ( G753, G1256 )
G1305 = NAND ( G759, G1258 )
G1306 = NOT ( G1261 )
G1307 = NOT ( G1263 )
G1308 = NAND ( G1266, G1246 )
G1309 = NAND ( G1247, G1267 )
G1310 = NAND ( G1268, G1248 )
G1311 = NAND ( G1249, G1269 )
G1312 = NAND ( G1271, G667 )
G1313 = NAND ( G1272, G754 )
G1314 = NAND ( G760, G1274 )
G1315 = NOT ( G1277 )
G1316 = NOT ( G1279 )
G1317 = NAND ( G1282, G1250 )
G1318 = NAND ( G1251, G1283 )
G1319 = NAND ( G1284, G1252 )
G1320 = NAND ( G1285, G1253 )
G1321 = NAND ( G1286, G1261 )
G1322 = NAND ( G1263, G1287 )
G1323 = NAND ( G1288, G1264 )
G1324 = NAND ( G1289, G1265 )
G1325 = NAND ( G1277, G1290 )
G1326 = NAND ( G1279, G1291 )
G1327 = NAND ( G1292, G1280 )
G1328 = NAND ( G1293, G1281 )
G1329 = NAND ( G1297, G1101 )
G1330 = AND ( G1300, G264 )
G1331 = NOT ( G1301 )
G1332 = NAND ( G1245, G1301 )
G1333 = NOT ( G1302 )
G1334 = NAND ( G1244, G1302 )
G1335 = NAND ( G1303, G1254 )
G1336 = NAND ( G1304, G1257 )
G1337 = NAND ( G1305, G1259 )
G1338 = NAND ( G1228, G1306 )
G1339 = NAND ( G1229, G1307 )
G1340 = AND ( G1311, G1310, G1308, G1309 )
G1341 = AND ( G1311, G1142 )
G1342 = AND ( G1311, G1310, G1140 )
G1343 = AND ( G1311, G1138, G1309, G1310 )
G1344 = NAND ( G1270, G1312 )
G1345 = NAND ( G1273, G1313 )
G1346 = NAND ( G1275, G1314 )
G1347 = NAND ( G1232, G1315 )
G1348 = NAND ( G1233, G1316 )
G1349 = AND ( G1320, G1319, G1318, G1317 )
G1350 = AND ( G1320, G1158 )
G1351 = AND ( G1156, G1320, G1319 )
G1352 = AND ( G1320, G1319, G1318, G1154 )
G1353 = AND ( G1324, G1165 )
G1354 = AND ( G1324, G1323, G1262 )
G1355 = AND ( G1171, G1328 )
G1356 = AND ( G1278, G1328, G1327 )
G1357 = NAND ( G1296, G1329 )
G1358 = OR ( G576, G1330 )
G1359 = NAND ( G1331, G1187 )
G1360 = NAND ( G1186, G1333 )
G1361 = AND ( G1336, G1199 )
G1362 = AND ( G1198, G1336, G1335 )
G1363 = NAND ( G1321, G1338 )
G1364 = NAND ( G1322, G1339 )
G1365 = NOT ( G1340 )
G1366 = OR ( G1341, G1343, G1342, G1144 )
G1367 = AND ( G1345, G1214 )
G1368 = AND ( G1213, G1344, G1345 )
G1369 = NAND ( G1347, G1325 )
G1370 = NAND ( G1348, G1326 )
G1371 = NOT ( G1349 )
G1372 = OR ( G1160, G1351, G1352, G1350 )
G1373 = NOT ( G1357 )
G1374 = NAND ( G1332, G1359 )
G1375 = NAND ( G1334, G1360 )
G1376 = OR ( G1362, G1201, G1361 )
G1377 = AND ( G1337, G1323, G1363, G1364, G1324 )
G1378 = AND ( G1324, G1260, G1364, G1323 )
G1379 = AND ( G1323, G1363, G1364, G1203, G1324 )
G1380 = NOT ( G1366 )
G1381 = OR ( G1216, G1367, G1368 )
G1382 = AND ( G1369, G1327, G1370, G1346, G1328 )
G1383 = AND ( G1370, G1276, G1327, G1328 )
G1384 = AND ( G1218, G1369, G1327, G1370, G1328 )
G1385 = NOT ( G1372 )
G1386 = AND ( G333, G1373 )
G1387 = AND ( G199, G1374 )
G1388 = NOT ( G1375 )
G1389 = AND ( G1377, G1376 )
G1390 = OR ( G1167, G1379, G1378, G1353, G1354 )
G1391 = NAND ( G1365, G1380 )
G1392 = AND ( G1382, G1381 )
G1393 = OR ( G1384, G1383, G1173, G1356, G1355 )
G1394 = NAND ( G1371, G1385 )
G1395 = BUF ( G1386 )
G1396 = NOT ( G1386 )
G1397 = OR ( G1387, G653 )
G1398 = AND ( G1388, G333 )
G1399 = OR ( G1389, G1390 )
G1400 = OR ( G1393, G1392 )
G1401 = BUF ( G1397 )
G1402 = BUF ( G1397 )
G1403 = BUF ( G1398 )
G1404 = NOT ( G1398 )
G1405 = NOT ( G1399 )
G1406 = AND ( G1391, G1399 )
G1407 = NOT ( G1400 )
G1408 = AND ( G1394, G1400 )
G1409 = AND ( G1121, G1396, G1404 )
G1410 = AND ( G1405, G1366 )
G1411 = AND ( G1372, G1407 )
G1412 = OR ( G1406, G1410 )
G1413 = OR ( G1411, G1408 )
G1414 = BUF ( G1413 )
G1415 = NAND ( G1413, G1412 )
G1416 = AND ( G1413, G1415 )
G1417 = AND ( G1415, G1412 )
G1418 = OR ( G1417, G1416 )
G1419 = NOT ( G1418 )
G1420 = AND ( G1419, G1418 )
G1421 = OR ( G1420, G1419 )
G1422 = NOT ( G1421 )
G1423 = AND ( G1421, G1299, G1120 )
G1424 = AND ( G1409, G575, G1423 )
G1425 = BUF ( G1424 )
G1426 = NOT ( G1424 )