atpg-ls/benchmark/b04.bench

817 lines
18 KiB
Plaintext

# generate by dftconverter: https://gitea.yuhangq.com:8/YuhangQ/DFT_Converter
# gates: 737
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)
OUTPUT(G731)
OUTPUT(G158)
OUTPUT(G435)
OUTPUT(G420)
OUTPUT(G319)
OUTPUT(G414)
OUTPUT(G429)
OUTPUT(G587)
OUTPUT(G320)
OUTPUT(G409)
OUTPUT(G433)
OUTPUT(G436)
OUTPUT(G413)
OUTPUT(G423)
OUTPUT(G430)
OUTPUT(G431)
OUTPUT(G155)
OUTPUT(G232)
OUTPUT(G626)
OUTPUT(G630)
OUTPUT(G629)
OUTPUT(G627)
OUTPUT(G408)
OUTPUT(G211)
OUTPUT(G584)
OUTPUT(G737)
OUTPUT(G428)
OUTPUT(G313)
OUTPUT(G426)
OUTPUT(G315)
OUTPUT(G432)
OUTPUT(G438)
OUTPUT(G159)
OUTPUT(G735)
OUTPUT(G153)
OUTPUT(G719)
OUTPUT(G683)
OUTPUT(G684)
OUTPUT(G586)
OUTPUT(G589)
OUTPUT(G157)
OUTPUT(G583)
OUTPUT(G317)
OUTPUT(G624)
OUTPUT(G412)
OUTPUT(G425)
OUTPUT(G160)
OUTPUT(G419)
OUTPUT(G411)
OUTPUT(G314)
OUTPUT(G415)
OUTPUT(G434)
OUTPUT(G437)
OUTPUT(G154)
OUTPUT(G703)
OUTPUT(G628)
OUTPUT(G416)
OUTPUT(G418)
OUTPUT(G421)
OUTPUT(G422)
OUTPUT(G625)
OUTPUT(G424)
OUTPUT(G156)
OUTPUT(G623)
OUTPUT(G585)
OUTPUT(G588)
OUTPUT(G316)
OUTPUT(G417)
OUTPUT(G590)
OUTPUT(G410)
OUTPUT(G407)
OUTPUT(G427)
OUTPUT(G682)
OUTPUT(G318)
G78 = NOT ( G1 )
G79 = NOT ( G2 )
G80 = NOT ( G3 )
G81 = NOT ( G4 )
G82 = NOT ( G4 )
G83 = NOT ( G5 )
G84 = NOT ( G5 )
G85 = NOT ( G5 )
G86 = NOT ( G6 )
G87 = NOT ( G6 )
G88 = NOT ( G7 )
G89 = NOT ( G7 )
G90 = NOT ( G8 )
G91 = NOT ( G8 )
G92 = NOT ( G9 )
G93 = NOT ( G9 )
G94 = NOT ( G10 )
G95 = NOT ( G10 )
G96 = NOT ( G11 )
G97 = NOT ( G12 )
G98 = NAND ( G1, G13 )
G99 = NOT ( G13 )
G100 = NOT ( G13 )
G101 = NAND ( G1, G14 )
G102 = NOT ( G14 )
G103 = NAND ( G1, G15 )
G104 = NOT ( G15 )
G105 = NAND ( G1, G16 )
G106 = NOT ( G16 )
G107 = NAND ( G1, G17 )
G108 = NOT ( G17 )
G109 = NAND ( G1, G18 )
G110 = NOT ( G18 )
G111 = NAND ( G1, G19 )
G112 = NOT ( G19 )
G113 = OR ( G12, G20 )
G114 = NAND ( G12, G20 )
G115 = NOT ( G20 )
G116 = NAND ( G1, G21 )
G117 = NOT ( G21 )
G118 = NAND ( G1, G22 )
G119 = OR ( G22, G14 )
G120 = NAND ( G22, G14 )
G121 = NOT ( G22 )
G122 = NAND ( G1, G23 )
G123 = OR ( G15, G23 )
G124 = NAND ( G15, G23 )
G125 = NOT ( G23 )
G126 = NAND ( G1, G24 )
G127 = NAND ( G16, G24 )
G128 = OR ( G16, G24 )
G129 = NOT ( G24 )
G130 = NAND ( G1, G25 )
G131 = OR ( G25, G17 )
G132 = NAND ( G25, G17 )
G133 = NOT ( G25 )
G134 = NAND ( G1, G26 )
G135 = NAND ( G26, G18 )
G136 = OR ( G26, G18 )
G137 = NOT ( G26 )
G138 = NAND ( G1, G27 )
G139 = NAND ( G27, G19 )
G140 = OR ( G4, G60 )
G141 = NAND ( G4, G60 )
G142 = OR ( G62, G6 )
G143 = NAND ( G6, G62 )
G144 = OR ( G7, G63 )
G145 = NAND ( G7, G63 )
G146 = NAND ( G64, G8 )
G147 = OR ( G64, G8 )
G148 = OR ( G9, G65 )
G149 = NAND ( G9, G65 )
G150 = NAND ( G66, G10 )
G151 = OR ( G66, G10 )
G152 = NAND ( G11, G67 )
G153 = BUF ( G68 )
G154 = BUF ( G69 )
G155 = BUF ( G70 )
G156 = BUF ( G71 )
G157 = BUF ( G72 )
G158 = BUF ( G73 )
G159 = BUF ( G74 )
G160 = BUF ( G75 )
G161 = NOT ( G76 )
G162 = NOT ( G77 )
G163 = OR ( G76, G77 )
G164 = OR ( G3, G77 )
G165 = NAND ( G5, G78 )
G166 = NAND ( G6, G78 )
G167 = NAND ( G7, G78 )
G168 = NAND ( G8, G78 )
G169 = NAND ( G9, G78 )
G170 = NAND ( G10, G78 )
G171 = NAND ( G11, G78 )
G172 = NAND ( G61, G78 )
G173 = NAND ( G62, G78 )
G174 = NAND ( G63, G78 )
G175 = NAND ( G64, G78 )
G176 = NAND ( G78, G65 )
G177 = NAND ( G66, G78 )
G178 = NAND ( G67, G78 )
G179 = NAND ( G81, G20 )
G180 = NAND ( G82, G12 )
G181 = NAND ( G21, G84 )
G182 = NAND ( G85, G13 )
G183 = NAND ( G86, G22 )
G184 = NAND ( G87, G14 )
G185 = NAND ( G23, G88 )
G186 = NAND ( G15, G89 )
G187 = NAND ( G24, G90 )
G188 = NAND ( G91, G16 )
G189 = NAND ( G25, G92 )
G190 = NAND ( G93, G17 )
G191 = NAND ( G26, G94 )
G192 = NAND ( G95, G18 )
G193 = NAND ( G4, G97 )
G194 = NAND ( G100, G5 )
G195 = NAND ( G102, G6 )
G196 = NAND ( G7, G104 )
G197 = NAND ( G8, G106 )
G198 = NAND ( G108, G9 )
G199 = NAND ( G110, G10 )
G200 = NAND ( G4, G115 )
G201 = NAND ( G5, G117 )
G202 = NAND ( G121, G6 )
G203 = NAND ( G7, G125 )
G204 = NAND ( G8, G129 )
G205 = NAND ( G133, G9 )
G206 = NAND ( G10, G137 )
G207 = NAND ( G139, G135 )
G208 = NAND ( G152, G150 )
G209 = NAND ( G161, G77 )
G210 = NAND ( G76, G162 )
G211 = NOT ( G163 )
G212 = AND ( G76, G164 )
G213 = NAND ( G164, G163 )
G214 = NAND ( G165, G98 )
G215 = NAND ( G101, G166 )
G216 = NAND ( G167, G103 )
G217 = NAND ( G168, G105 )
G218 = NAND ( G169, G107 )
G219 = NAND ( G109, G170 )
G220 = NAND ( G111, G171 )
G221 = NAND ( G116, G172 )
G222 = NAND ( G118, G173 )
G223 = NAND ( G122, G174 )
G224 = NAND ( G126, G175 )
G225 = NAND ( G130, G176 )
G226 = NAND ( G134, G177 )
G227 = NAND ( G138, G178 )
G228 = NAND ( G192, G11, G112 )
G229 = NAND ( G27, G206, G96 )
G230 = NAND ( G136, G131, G207 )
G231 = NAND ( G148, G208, G151 )
G232 = NAND ( G210, G209 )
G233 = NOT ( G210 )
G234 = NAND ( G4, G212 )
G235 = NAND ( G5, G212 )
G236 = NAND ( G6, G212 )
G237 = NAND ( G7, G212 )
G238 = NAND ( G8, G212 )
G239 = NAND ( G9, G212 )
G240 = NAND ( G10, G212 )
G241 = NAND ( G11, G212 )
G242 = NAND ( G28, G213 )
G243 = NAND ( G213, G29 )
G244 = NAND ( G213, G30 )
G245 = NAND ( G213, G31 )
G246 = NAND ( G32, G213 )
G247 = NAND ( G33, G213 )
G248 = NAND ( G34, G213 )
G249 = NAND ( G35, G213 )
G250 = NOT ( G214 )
G251 = NOT ( G215 )
G252 = NOT ( G216 )
G253 = NOT ( G217 )
G254 = NOT ( G218 )
G255 = NOT ( G219 )
G256 = NOT ( G220 )
G257 = NOT ( G221 )
G258 = NOT ( G222 )
G259 = OR ( G222, G215 )
G260 = NAND ( G222, G215 )
G261 = NAND ( G222, G215 )
G262 = OR ( G222, G215 )
G263 = NOT ( G223 )
G264 = OR ( G223, G216 )
G265 = NAND ( G223, G216 )
G266 = NOT ( G224 )
G267 = OR ( G217, G224 )
G268 = NAND ( G217, G224 )
G269 = NOT ( G225 )
G270 = OR ( G218, G225 )
G271 = NAND ( G218, G225 )
G272 = NOT ( G226 )
G273 = NOT ( G227 )
G274 = NAND ( G227, G220 )
G275 = NAND ( G199, G198, G228 )
G276 = NAND ( G189, G229, G191 )
G277 = NAND ( G127, G230, G132 )
G278 = NAND ( G149, G231, G146 )
G279 = AND ( G76, G232 )
G280 = NOT ( G232 )
G281 = NAND ( G4, G233 )
G282 = NAND ( G5, G233 )
G283 = NAND ( G233, G6 )
G284 = NAND ( G7, G233 )
G285 = NAND ( G8, G233 )
G286 = NAND ( G9, G233 )
G287 = NAND ( G233, G10 )
G288 = NAND ( G11, G233 )
G289 = NAND ( G36, G233 )
G290 = NAND ( G37, G233 )
G291 = NAND ( G38, G233 )
G292 = NAND ( G233, G39 )
G293 = NAND ( G40, G233 )
G294 = NAND ( G233, G41 )
G295 = NAND ( G233, G42 )
G296 = NAND ( G43, G233 )
G297 = NAND ( G233, G44 )
G298 = NAND ( G45, G233 )
G299 = NAND ( G46, G233 )
G300 = NAND ( G47, G233 )
G301 = NAND ( G233, G48 )
G302 = NAND ( G49, G233 )
G303 = NAND ( G233, G50 )
G304 = NAND ( G233, G51 )
G305 = NAND ( G52, G233 )
G306 = NAND ( G53, G233 )
G307 = NAND ( G54, G233 )
G308 = NAND ( G233, G55 )
G309 = NAND ( G56, G233 )
G310 = NAND ( G233, G57 )
G311 = NAND ( G58, G233 )
G312 = NAND ( G59, G233 )
G313 = NAND ( G234, G242 )
G314 = NAND ( G235, G243 )
G315 = NAND ( G236, G244 )
G316 = NAND ( G237, G245 )
G317 = NAND ( G238, G246 )
G318 = NAND ( G247, G239 )
G319 = NAND ( G240, G248 )
G320 = NAND ( G241, G249 )
G321 = NAND ( G250, G221 )
G322 = NAND ( G250, G221 )
G323 = NAND ( G222, G251 )
G324 = NAND ( G222, G251 )
G325 = NAND ( G252, G223 )
G326 = NAND ( G252, G223 )
G327 = NAND ( G224, G253 )
G328 = NAND ( G224, G253 )
G329 = NAND ( G254, G225 )
G330 = NAND ( G254, G225 )
G331 = NAND ( G227, G256 )
G332 = NAND ( G214, G257 )
G333 = NAND ( G214, G257 )
G334 = NAND ( G258, G215 )
G335 = NAND ( G258, G215 )
G336 = NAND ( G263, G216 )
G337 = NAND ( G263, G216 )
G338 = NAND ( G217, G266 )
G339 = NAND ( G217, G266 )
G340 = NAND ( G218, G269 )
G341 = NAND ( G218, G269 )
G342 = NAND ( G220, G273 )
G343 = NOT ( G274 )
G344 = NAND ( G255, G274 )
G345 = NAND ( G274, G226 )
G346 = NAND ( G219, G272, G274 )
G347 = NAND ( G188, G190, G275 )
G348 = NAND ( G204, G276, G205 )
G349 = NAND ( G123, G277, G128 )
G350 = NAND ( G278, G144, G147 )
G351 = AND ( G279, G78 )
G352 = NAND ( G280, G36 )
G353 = NAND ( G280, G37 )
G354 = NAND ( G280, G38 )
G355 = NAND ( G280, G39 )
G356 = NAND ( G40, G280 )
G357 = NAND ( G280, G41 )
G358 = NAND ( G280, G42 )
G359 = NAND ( G43, G280 )
G360 = NAND ( G280, G44 )
G361 = NAND ( G280, G45 )
G362 = NAND ( G46, G280 )
G363 = NAND ( G47, G280 )
G364 = NAND ( G280, G48 )
G365 = NAND ( G49, G280 )
G366 = NAND ( G280, G50 )
G367 = NAND ( G280, G51 )
G368 = NAND ( G52, G280 )
G369 = NAND ( G280, G53 )
G370 = NAND ( G280, G54 )
G371 = NAND ( G280, G55 )
G372 = NAND ( G280, G56 )
G373 = NAND ( G280, G57 )
G374 = NAND ( G280, G58 )
G375 = NAND ( G280, G59 )
G376 = NAND ( G280, G60 )
G377 = NAND ( G280, G61 )
G378 = NAND ( G280, G62 )
G379 = NAND ( G280, G63 )
G380 = NAND ( G64, G280 )
G381 = NAND ( G280, G65 )
G382 = NAND ( G66, G280 )
G383 = NAND ( G280, G67 )
G384 = NAND ( G280, G68 )
G385 = NAND ( G280, G69 )
G386 = NAND ( G280, G70 )
G387 = NAND ( G280, G71 )
G388 = NAND ( G280, G72 )
G389 = NAND ( G73, G280 )
G390 = NAND ( G280, G74 )
G391 = NAND ( G280, G75 )
G392 = NAND ( G322, G333 )
G393 = NAND ( G324, G335 )
G394 = NAND ( G337, G326 )
G395 = NAND ( G339, G328 )
G396 = NAND ( G341, G330 )
G397 = NAND ( G342, G331 )
G398 = NAND ( G219, G343 )
G399 = NAND ( G272, G343 )
G400 = NAND ( G344, G226 )
G401 = NAND ( G197, G196, G347 )
G402 = NAND ( G187, G348, G185 )
G403 = NAND ( G124, G349 )
G404 = NAND ( G350, G145 )
G405 = AND ( G2, G351, G3 )
G406 = AND ( G351, G80 )
G407 = NAND ( G352, G281 )
G408 = NAND ( G353, G282 )
G409 = NAND ( G354, G283 )
G410 = NAND ( G284, G355 )
G411 = NAND ( G356, G285 )
G412 = NAND ( G286, G357 )
G413 = NAND ( G287, G358 )
G414 = NAND ( G359, G288 )
G415 = NAND ( G289, G360 )
G416 = NAND ( G290, G361 )
G417 = NAND ( G291, G362 )
G418 = NAND ( G363, G292 )
G419 = NAND ( G293, G364 )
G420 = NAND ( G294, G365 )
G421 = NAND ( G295, G366 )
G422 = NAND ( G296, G367 )
G423 = NAND ( G297, G368 )
G424 = NAND ( G369, G298 )
G425 = NAND ( G370, G299 )
G426 = NAND ( G300, G371 )
G427 = NAND ( G372, G301 )
G428 = NAND ( G373, G302 )
G429 = NAND ( G374, G303 )
G430 = NAND ( G375, G304 )
G431 = NAND ( G376, G305 )
G432 = NAND ( G377, G306 )
G433 = NAND ( G378, G307 )
G434 = NAND ( G379, G308 )
G435 = NAND ( G309, G380 )
G436 = NAND ( G310, G381 )
G437 = NAND ( G382, G311 )
G438 = NAND ( G312, G383 )
G439 = NOT ( G397 )
G440 = NOT ( G397 )
G441 = NOT ( G398 )
G442 = NAND ( G345, G399 )
G443 = NAND ( G400, G398 )
G444 = NAND ( G184, G401, G186 )
G445 = NAND ( G402, G202, G203 )
G446 = NAND ( G403, G119 )
G447 = NAND ( G404, G142 )
G448 = NAND ( G405, G60 )
G449 = NAND ( G61, G405 )
G450 = NAND ( G405, G62 )
G451 = NAND ( G63, G405 )
G452 = NAND ( G64, G405 )
G453 = NAND ( G405, G65 )
G454 = NAND ( G66, G405 )
G455 = NAND ( G67, G405 )
G456 = NAND ( G28, G406 )
G457 = NAND ( G406, G29 )
G458 = NAND ( G406, G30 )
G459 = NAND ( G406, G31 )
G460 = NAND ( G406, G32 )
G461 = NAND ( G33, G406 )
G462 = NAND ( G34, G406 )
G463 = NAND ( G35, G406 )
G464 = NAND ( G441, G226 )
G465 = NAND ( G255, G442 )
G466 = NOT ( G443 )
G467 = NAND ( G443, G270 )
G468 = NAND ( G340, G443, G329 )
G469 = NAND ( G194, G195, G444 )
G470 = NAND ( G445, G181, G183 )
G471 = NAND ( G120, G446 )
G472 = NAND ( G447, G143 )
G473 = AND ( G461, G453 )
G474 = AND ( G454, G462 )
G475 = AND ( G463, G455 )
G476 = NAND ( G464, G465, G346 )
G477 = NAND ( G466, G396 )
G478 = NAND ( G467, G271 )
G479 = NAND ( G193, G469, G182 )
G480 = NAND ( G201, G179, G470 )
G481 = AND ( G13, G471 )
G482 = NOT ( G471 )
G483 = AND ( G5, G472 )
G484 = NOT ( G472 )
G485 = NAND ( G440, G476 )
G486 = OR ( G397, G476 )
G487 = NOT ( G476 )
G488 = OR ( G397, G476 )
G489 = NAND ( G439, G476 )
G490 = NOT ( G476 )
G491 = NAND ( G477, G468 )
G492 = NOT ( G478 )
G493 = NAND ( G478, G267 )
G494 = NAND ( G478, G338, G327 )
G495 = NAND ( G479, G180 )
G496 = NAND ( G480, G200 )
G497 = OR ( G481, G21 )
G498 = NAND ( G482, G99 )
G499 = OR ( G483, G61 )
G500 = NAND ( G484, G83 )
G501 = NAND ( G487, G397 )
G502 = NAND ( G490, G397 )
G503 = NAND ( G486, G491 )
G504 = OR ( G491, G397, G476 )
G505 = NAND ( G491, G488 )
G506 = OR ( G491, G397, G476 )
G507 = NAND ( G492, G395 )
G508 = NAND ( G268, G493 )
G509 = NOT ( G495 )
G510 = NAND ( G495, G76 )
G511 = OR ( G495, G77 )
G512 = NAND ( G497, G498 )
G513 = NAND ( G499, G500 )
G514 = NAND ( G489, G501 )
G515 = NAND ( G502, G485 )
G516 = NOT ( G504 )
G517 = AND ( G505, G504 )
G518 = AND ( G503, G506 )
G519 = NOT ( G506 )
G520 = NAND ( G494, G507 )
G521 = NOT ( G508 )
G522 = NAND ( G264, G508 )
G523 = NAND ( G508, G325, G336 )
G524 = NAND ( G509, G496 )
G525 = NAND ( G509, G76, G496 )
G526 = NAND ( G510, G162 )
G527 = NAND ( G163, G511 )
G528 = NAND ( G512, G113 )
G529 = NAND ( G513, G140 )
G530 = NOT ( G514 )
G531 = NOT ( G515 )
G532 = NOT ( G517 )
G533 = OR ( G514, G517 )
G534 = NOT ( G518 )
G535 = OR ( G518, G515 )
G536 = NAND ( G506, G520 )
G537 = NOT ( G520 )
G538 = NAND ( G520, G504 )
G539 = NOT ( G520 )
G540 = NAND ( G394, G521 )
G541 = NAND ( G522, G265 )
G542 = NAND ( G524, G162 )
G543 = NAND ( G525, G162 )
G544 = NAND ( G526, G4 )
G545 = NAND ( G526, G5 )
G546 = NAND ( G526, G6 )
G547 = NAND ( G526, G7 )
G548 = NAND ( G8, G526 )
G549 = NAND ( G526, G9 )
G550 = NAND ( G526, G10 )
G551 = NAND ( G526, G11 )
G552 = NAND ( G527, G12 )
G553 = NAND ( G527, G13 )
G554 = NAND ( G527, G14 )
G555 = NAND ( G15, G527 )
G556 = NAND ( G16, G527 )
G557 = NAND ( G527, G17 )
G558 = NAND ( G527, G18 )
G559 = NAND ( G19, G527 )
G560 = NAND ( G528, G114 )
G561 = NAND ( G529, G141 )
G562 = NAND ( G517, G530 )
G563 = NAND ( G518, G531 )
G564 = NAND ( G514, G532 )
G565 = NAND ( G534, G515 )
G566 = NAND ( G516, G537 )
G567 = NAND ( G516, G537 )
G568 = NAND ( G539, G519 )
G569 = NAND ( G539, G519 )
G570 = NAND ( G523, G540 )
G571 = NOT ( G541 )
G572 = NAND ( G259, G541 )
G573 = NAND ( G323, G541, G334 )
G574 = NAND ( G163, G542 )
G575 = NAND ( G4, G543 )
G576 = NAND ( G5, G543 )
G577 = NAND ( G543, G6 )
G578 = NAND ( G7, G543 )
G579 = NAND ( G8, G543 )
G580 = NAND ( G543, G9 )
G581 = NAND ( G543, G10 )
G582 = NAND ( G11, G543 )
G583 = NAND ( G552, G544 )
G584 = NAND ( G545, G553 )
G585 = NAND ( G554, G546 )
G586 = NAND ( G547, G555 )
G587 = NAND ( G556, G548 )
G588 = NAND ( G557, G549 )
G589 = NAND ( G558, G550 )
G590 = NAND ( G551, G559 )
G591 = NOT ( G560 )
G592 = NOT ( G561 )
G593 = NAND ( G564, G562 )
G594 = NAND ( G563, G565 )
G595 = AND ( G567, G538 )
G596 = AND ( G536, G568 )
G597 = NAND ( G569, G570 )
G598 = NOT ( G570 )
G599 = NAND ( G570, G566 )
G600 = NOT ( G570 )
G601 = NAND ( G261, G571 )
G602 = NAND ( G393, G571 )
G603 = NAND ( G332, G572, G321, G260 )
G604 = NAND ( G574, G20 )
G605 = NAND ( G574, G21 )
G606 = NAND ( G22, G574 )
G607 = NAND ( G23, G574 )
G608 = NAND ( G574, G24 )
G609 = NAND ( G25, G574 )
G610 = NAND ( G574, G26 )
G611 = NAND ( G27, G574 )
G612 = NOT ( G591 )
G613 = NOT ( G592 )
G614 = NAND ( G79, G3, G592 )
G615 = OR ( G514, G517, G595 )
G616 = NAND ( G533, G595 )
G617 = OR ( G518, G596, G515 )
G618 = NAND ( G596, G535 )
G619 = NAND ( G598, G516, G537 )
G620 = NAND ( G539, G519, G600 )
G621 = NAND ( G392, G262, G601 )
G622 = NAND ( G573, G602 )
G623 = NAND ( G575, G604 )
G624 = NAND ( G576, G605 )
G625 = NAND ( G606, G577 )
G626 = NAND ( G607, G578 )
G627 = NAND ( G579, G608 )
G628 = NAND ( G580, G609 )
G629 = NAND ( G581, G610 )
G630 = NAND ( G582, G611 )
G631 = AND ( G1, G279, G612 )
G632 = NAND ( G1, G612 )
G633 = AND ( G79, G351, G3, G613 )
G634 = NAND ( G614, G78 )
G635 = NOT ( G615 )
G636 = AND ( G616, G615 )
G637 = NOT ( G617 )
G638 = AND ( G617, G618 )
G639 = AND ( G599, G619 )
G640 = NOT ( G619 )
G641 = NOT ( G620 )
G642 = AND ( G620, G597 )
G643 = AND ( G621, G603 )
G644 = NAND ( G622, G620 )
G645 = NOT ( G622 )
G646 = NAND ( G622, G619 )
G647 = NOT ( G622 )
G648 = NAND ( G594, G631 )
G649 = NAND ( G515, G631 )
G650 = NAND ( G633, G593 )
G651 = NAND ( G514, G633 )
G652 = AND ( G279, G634, G632 )
G653 = NAND ( G633, G636 )
G654 = NAND ( G638, G631 )
G655 = NOT ( G639 )
G656 = NAND ( G639, G615 )
G657 = NOT ( G642 )
G658 = NAND ( G642, G617 )
G659 = NOT ( G643 )
G660 = NOT ( G643 )
G661 = NAND ( G645, G640 )
G662 = NAND ( G641, G647 )
G663 = NAND ( G643, G652 )
G664 = NAND ( G622, G652 )
G665 = NAND ( G570, G652 )
G666 = NAND ( G520, G652 )
G667 = NAND ( G491, G652 )
G668 = NAND ( G476, G652 )
G669 = NAND ( G635, G655 )
G670 = NAND ( G635, G655 )
G671 = NAND ( G657, G637 )
G672 = NAND ( G657, G637 )
G673 = AND ( G646, G661 )
G674 = NOT ( G661 )
G675 = NAND ( G643, G661 )
G676 = NAND ( G662, G643 )
G677 = NOT ( G662 )
G678 = AND ( G662, G644 )
G679 = AND ( G663, G450, G386, G458 )
G680 = AND ( G459, G387, G664, G451 )
G681 = AND ( G452, G665, G460 )
G682 = NAND ( G389, G654, G473, G653, G666 )
G683 = NAND ( G650, G667, G648, G390, G474 )
G684 = NAND ( G475, G391, G668, G649, G651 )
G685 = AND ( G656, G670 )
G686 = AND ( G658, G672 )
G687 = NOT ( G673 )
G688 = NAND ( G669, G673 )
G689 = NAND ( G659, G674 )
G690 = NAND ( G659, G674 )
G691 = NAND ( G677, G660 )
G692 = NAND ( G677, G660 )
G693 = NOT ( G678 )
G694 = NAND ( G678, G671 )
G695 = NAND ( G633, G685 )
G696 = NAND ( G631, G686 )
G697 = NAND ( G687, G635, G655 )
G698 = NOT ( G689 )
G699 = AND ( G675, G690 )
G700 = AND ( G676, G691 )
G701 = NOT ( G692 )
G702 = NAND ( G657, G693, G637 )
G703 = NAND ( G696, G388, G695, G681 )
G704 = AND ( G688, G697 )
G705 = NOT ( G697 )
G706 = NOT ( G699 )
G707 = NAND ( G699, G697 )
G708 = NOT ( G700 )
G709 = AND ( G702, G694 )
G710 = NOT ( G702 )
G711 = NAND ( G702, G700 )
G712 = NAND ( G704, G633 )
G713 = NAND ( G706, G705 )
G714 = NAND ( G709, G631 )
G715 = NAND ( G708, G710 )
G716 = AND ( G707, G713 )
G717 = NAND ( G713, G698 )
G718 = NOT ( G713 )
G719 = NAND ( G680, G712, G714 )
G720 = AND ( G715, G711 )
G721 = NAND ( G715, G701 )
G722 = NOT ( G715 )
G723 = NAND ( G716, G633 )
G724 = NOT ( G717 )
G725 = NAND ( G689, G718 )
G726 = NAND ( G631, G720 )
G727 = NOT ( G721 )
G728 = NAND ( G722, G692 )
G729 = NAND ( G633, G724 )
G730 = NAND ( G725, G717 )
G731 = NAND ( G726, G723, G679 )
G732 = NAND ( G727, G631 )
G733 = NAND ( G721, G728 )
G734 = NAND ( G730, G633 )
G735 = NAND ( G732, G448, G729, G456, G384 )
G736 = NAND ( G733, G631 )
G737 = NAND ( G734, G736, G385, G457, G449 )