atpg-ls/benchmark/c1908.bench

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

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)

OUTPUT(G866)
OUTPUT(G881)
OUTPUT(G903)
OUTPUT(G844)
OUTPUT(G852)
OUTPUT(G853)
OUTPUT(G849)
OUTPUT(G910)
OUTPUT(G906)
OUTPUT(G863)
OUTPUT(G840)
OUTPUT(G864)
OUTPUT(G865)
OUTPUT(G909)
OUTPUT(G851)
OUTPUT(G842)
OUTPUT(G847)
OUTPUT(G905)
OUTPUT(G848)
OUTPUT(G850)
OUTPUT(G902)
OUTPUT(G904)
OUTPUT(G913)
OUTPUT(G841)
OUTPUT(G843)

G34 = NOT ( G1 )
G35 = BUF ( G1 )
G36 = NOT ( G2 )
G37 = BUF ( G2 )
G38 = NOT ( G3 )
G39 = BUF ( G3 )
G40 = NOT ( G4 )
G41 = BUF ( G4 )
G42 = NOT ( G5 )
G43 = BUF ( G5 )
G44 = NOT ( G6 )
G45 = BUF ( G6 )
G46 = NOT ( G7 )
G47 = BUF ( G7 )
G48 = NOT ( G8 )
G49 = BUF ( G8 )
G50 = NOT ( G9 )
G51 = BUF ( G9 )
G52 = NOT ( G10 )
G53 = BUF ( G10 )
G54 = NOT ( G11 )
G55 = BUF ( G11 )
G56 = NOT ( G12 )
G57 = BUF ( G12 )
G58 = NOT ( G13 )
G59 = BUF ( G13 )
G60 = NOT ( G14 )
G61 = BUF ( G14 )
G62 = NOT ( G15 )
G63 = BUF ( G15 )
G64 = NOT ( G16 )
G65 = BUF ( G16 )
G66 = BUF ( G23 )
G67 = BUF ( G23 )
G68 = NOT ( G24 )
G69 = NOT ( G24 )
G70 = NOT ( G25 )
G71 = NOT ( G26 )
G72 = NOT ( G27 )
G73 = NOT ( G28 )
G74 = NAND ( G21, G29 )
G75 = NOT ( G29 )
G76 = NAND ( G22, G30 )
G77 = NOT ( G30 )
G78 = BUF ( G31 )
G79 = NOT ( G31 )
G80 = BUF ( G31 )
G81 = NOT ( G31 )
G82 = BUF ( G32 )
G83 = NOT ( G32 )
G84 = NOT ( G32 )
G85 = NOT ( G33 )
G86 = NOT ( G33 )
G87 = BUF ( G33 )
G88 = NOT ( G33 )
G89 = BUF ( G33 )
G90 = BUF ( G33 )
G91 = NOT ( G33 )
G92 = BUF ( G34 )
G93 = BUF ( G34 )
G94 = BUF ( G34 )
G95 = NOT ( G35 )
G96 = BUF ( G36 )
G97 = BUF ( G36 )
G98 = NOT ( G37 )
G99 = BUF ( G38 )
G100 = BUF ( G38 )
G101 = BUF ( G38 )
G102 = NOT ( G39 )
G103 = BUF ( G40 )
G104 = BUF ( G40 )
G105 = BUF ( G40 )
G106 = BUF ( G40 )
G107 = NOT ( G41 )
G108 = BUF ( G42 )
G109 = BUF ( G42 )
G110 = NOT ( G43 )
G111 = BUF ( G44 )
G112 = BUF ( G44 )
G113 = NOT ( G45 )
G114 = BUF ( G46 )
G115 = BUF ( G46 )
G116 = BUF ( G46 )
G117 = NOT ( G47 )
G118 = BUF ( G48 )
G119 = BUF ( G48 )
G120 = BUF ( G48 )
G121 = NOT ( G49 )
G122 = BUF ( G50 )
G123 = BUF ( G50 )
G124 = BUF ( G50 )
G125 = BUF ( G50 )
G126 = NOT ( G51 )
G127 = BUF ( G52 )
G128 = BUF ( G52 )
G129 = BUF ( G52 )
G130 = NOT ( G53 )
G131 = BUF ( G54 )
G132 = BUF ( G54 )
G133 = NOT ( G55 )
G134 = BUF ( G56 )
G135 = BUF ( G56 )
G136 = NOT ( G57 )
G137 = BUF ( G58 )
G138 = BUF ( G58 )
G139 = BUF ( G58 )
G140 = NOT ( G59 )
G141 = BUF ( G60 )
G142 = BUF ( G60 )
G143 = BUF ( G60 )
G144 = NOT ( G61 )
G145 = BUF ( G62 )
G146 = BUF ( G62 )
G147 = BUF ( G62 )
G148 = NOT ( G63 )
G149 = BUF ( G64 )
G150 = BUF ( G64 )
G151 = BUF ( G64 )
G152 = NOT ( G65 )
G153 = NAND ( G67, G24 )
G154 = BUF ( G70 )
G155 = BUF ( G70 )
G156 = BUF ( G71 )
G157 = BUF ( G71 )
G158 = BUF ( G72 )
G159 = BUF ( G72 )
G160 = BUF ( G73 )
G161 = BUF ( G73 )
G162 = NAND ( G67, G81 )
G163 = NAND ( G81, G69 )
G164 = AND ( G87, G74 )
G165 = AND ( G87, G76 )
G166 = AND ( G21, G88 )
G167 = AND ( G88, G22 )
G168 = AND ( G88, G68, G17 )
G169 = AND ( G19, G88, G66 )
G170 = AND ( G88, G20, G66 )
G171 = AND ( G88, G68, G18 )
G172 = NAND ( G89, G75 )
G173 = NAND ( G89, G77 )
G174 = NAND ( G90, G83 )
G175 = NAND ( G90, G83 )
G176 = NAND ( G90, G83 )
G177 = NAND ( G90, G83 )
G178 = NAND ( G90, G83 )
G179 = NAND ( G90, G83 )
G180 = BUF ( G92 )
G181 = BUF ( G92 )
G182 = NOT ( G93 )
G183 = NOT ( G94 )
G184 = BUF ( G96 )
G185 = BUF ( G96 )
G186 = NOT ( G97 )
G187 = NOT ( G99 )
G188 = NOT ( G100 )
G189 = NOT ( G101 )
G190 = NOT ( G103 )
G191 = NOT ( G104 )
G192 = NOT ( G105 )
G193 = NOT ( G106 )
G194 = BUF ( G108 )
G195 = BUF ( G108 )
G196 = NOT ( G109 )
G197 = BUF ( G111 )
G198 = BUF ( G111 )
G199 = NOT ( G112 )
G200 = NOT ( G114 )
G201 = NOT ( G115 )
G202 = NOT ( G116 )
G203 = NOT ( G118 )
G204 = NOT ( G119 )
G205 = NOT ( G120 )
G206 = BUF ( G122 )
G207 = BUF ( G122 )
G208 = NOT ( G123 )
G209 = NOT ( G124 )
G210 = NOT ( G125 )
G211 = BUF ( G127 )
G212 = BUF ( G127 )
G213 = NOT ( G128 )
G214 = NOT ( G129 )
G215 = BUF ( G131 )
G216 = BUF ( G131 )
G217 = NOT ( G132 )
G218 = BUF ( G134 )
G219 = BUF ( G134 )
G220 = NOT ( G135 )
G221 = NOT ( G137 )
G222 = NOT ( G138 )
G223 = NOT ( G139 )
G224 = BUF ( G141 )
G225 = BUF ( G141 )
G226 = BUF ( G142 )
G227 = BUF ( G142 )
G228 = NOT ( G143 )
G229 = BUF ( G145 )
G230 = BUF ( G145 )
G231 = NOT ( G146 )
G232 = NOT ( G147 )
G233 = BUF ( G149 )
G234 = BUF ( G149 )
G235 = NOT ( G150 )
G236 = NOT ( G151 )
G237 = NAND ( G80, G153, G89, G75 )
G238 = NAND ( G80, G153, G89, G77 )
G239 = NAND ( G82, G91, G153 )
G240 = AND ( G82, G91, G153 )
G241 = NOT ( G154 )
G242 = NOT ( G155 )
G243 = NOT ( G156 )
G244 = NOT ( G157 )
G245 = NOT ( G158 )
G246 = NOT ( G159 )
G247 = NOT ( G160 )
G248 = NOT ( G161 )
G249 = AND ( G19, G162 )
G250 = NAND ( G20, G162 )
G251 = NAND ( G19, G162 )
G252 = AND ( G163, G17 )
G253 = NAND ( G163, G18 )
G254 = NAND ( G163, G17 )
G255 = NOT ( G164 )
G256 = NOT ( G165 )
G257 = BUF ( G166 )
G258 = BUF ( G166 )
G259 = BUF ( G167 )
G260 = BUF ( G167 )
G261 = BUF ( G168 )
G262 = BUF ( G168 )
G263 = NOT ( G169 )
G264 = NOT ( G170 )
G265 = NOT ( G171 )
G266 = NOT ( G180 )
G267 = NOT ( G181 )
G268 = NOT ( G184 )
G269 = NOT ( G185 )
G270 = NAND ( G184, G188 )
G271 = NAND ( G189, G185 )
G272 = NAND ( G190, G118 )
G273 = NOT ( G194 )
G274 = NOT ( G195 )
G275 = NAND ( G196, G119 )
G276 = NOT ( G197 )
G277 = NOT ( G198 )
G278 = NAND ( G120, G199 )
G279 = NAND ( G200, G197 )
G280 = NAND ( G198, G201 )
G281 = NAND ( G202, G129 )
G282 = NAND ( G203, G103 )
G283 = NAND ( G109, G204 )
G284 = NAND ( G112, G205 )
G285 = NOT ( G206 )
G286 = NOT ( G207 )
G287 = NAND ( G208, G143 )
G288 = NOT ( G211 )
G289 = NOT ( G212 )
G290 = NAND ( G147, G213 )
G291 = NAND ( G214, G116 )
G292 = NOT ( G215 )
G293 = NOT ( G216 )
G294 = NOT ( G218 )
G295 = NOT ( G219 )
G296 = NAND ( G221, G170 )
G297 = NAND ( G218, G222 )
G298 = NAND ( G219, G223 )
G299 = NOT ( G224 )
G300 = NAND ( G192, G224 )
G301 = NOT ( G225 )
G302 = NAND ( G193, G225 )
G303 = NOT ( G226 )
G304 = NAND ( G209, G226 )
G305 = NOT ( G227 )
G306 = NAND ( G210, G227 )
G307 = NAND ( G123, G228 )
G308 = NOT ( G229 )
G309 = NOT ( G230 )
G310 = NAND ( G171, G231 )
G311 = NAND ( G128, G232 )
G312 = NOT ( G233 )
G313 = NOT ( G234 )
G314 = NAND ( G229, G235 )
G315 = NAND ( G236, G230 )
G316 = NAND ( G239, G237 )
G317 = NAND ( G238, G239 )
G318 = NOT ( G250 )
G319 = BUF ( G250 )
G320 = BUF ( G251 )
G321 = BUF ( G251 )
G322 = NOT ( G253 )
G323 = BUF ( G253 )
G324 = BUF ( G254 )
G325 = BUF ( G254 )
G326 = NOT ( G257 )
G327 = NOT ( G258 )
G328 = NOT ( G259 )
G329 = NOT ( G260 )
G330 = NOT ( G261 )
G331 = NAND ( G261, G182 )
G332 = NOT ( G262 )
G333 = NAND ( G262, G183 )
G334 = NAND ( G264, G137 )
G335 = NAND ( G265, G146 )
G336 = NAND ( G100, G268 )
G337 = NAND ( G101, G269 )
G338 = NAND ( G114, G276 )
G339 = NAND ( G277, G115 )
G340 = NAND ( G272, G282 )
G341 = NAND ( G275, G283 )
G342 = NAND ( G284, G278 )
G343 = NAND ( G281, G291 )
G344 = NAND ( G138, G294 )
G345 = NAND ( G139, G295 )
G346 = NAND ( G105, G299 )
G347 = NAND ( G301, G106 )
G348 = NAND ( G124, G303 )
G349 = NAND ( G125, G305 )
G350 = NAND ( G307, G287 )
G351 = NAND ( G150, G308 )
G352 = NAND ( G309, G151 )
G353 = NAND ( G290, G311 )
G354 = NOT ( G320 )
G355 = NOT ( G321 )
G356 = NOT ( G324 )
G357 = NOT ( G325 )
G358 = NAND ( G93, G330 )
G359 = NAND ( G94, G332 )
G360 = NAND ( G334, G296 )
G361 = NAND ( G310, G335 )
G362 = NAND ( G270, G336 )
G363 = NAND ( G271, G337 )
G364 = NAND ( G338, G279 )
G365 = NAND ( G339, G280 )
G366 = NOT ( G340 )
G367 = NOT ( G341 )
G368 = NAND ( G341, G186 )
G369 = NOT ( G342 )
G370 = NAND ( G342, G187 )
G371 = NAND ( G343, G191 )
G372 = NOT ( G343 )
G373 = NAND ( G297, G344 )
G374 = NAND ( G298, G345 )
G375 = NAND ( G300, G346 )
G376 = NAND ( G302, G347 )
G377 = NAND ( G304, G348 )
G378 = NAND ( G306, G349 )
G379 = NOT ( G350 )
G380 = NAND ( G314, G351 )
G381 = NAND ( G352, G315 )
G382 = NOT ( G353 )
G383 = NAND ( G353, G220 )
G384 = NAND ( G331, G358 )
G385 = NAND ( G333, G359 )
G386 = NOT ( G360 )
G387 = NOT ( G361 )
G388 = NAND ( G217, G361 )
G389 = NAND ( G362, G266 )
G390 = NOT ( G362 )
G391 = NAND ( G267, G363 )
G392 = NOT ( G363 )
G393 = NAND ( G273, G364 )
G394 = NOT ( G364 )
G395 = NAND ( G365, G274 )
G396 = NOT ( G365 )
G397 = BUF ( G366 )
G398 = BUF ( G366 )
G399 = NAND ( G97, G367 )
G400 = NAND ( G369, G99 )
G401 = NAND ( G372, G104 )
G402 = NOT ( G373 )
G403 = NAND ( G292, G373 )
G404 = NAND ( G374, G293 )
G405 = NOT ( G374 )
G406 = NOT ( G375 )
G407 = NAND ( G375, G328 )
G408 = NAND ( G329, G376 )
G409 = NOT ( G376 )
G410 = NOT ( G377 )
G411 = NAND ( G377, G312 )
G412 = NAND ( G378, G313 )
G413 = NOT ( G378 )
G414 = NOT ( G379 )
G415 = NAND ( G288, G380 )
G416 = NOT ( G380 )
G417 = NAND ( G381, G289 )
G418 = NOT ( G381 )
G419 = NAND ( G135, G382 )
G420 = NOT ( G384 )
G421 = NOT ( G385 )
G422 = NOT ( G386 )
G423 = NAND ( G387, G132 )
G424 = NAND ( G180, G390 )
G425 = NAND ( G392, G181 )
G426 = NAND ( G194, G394 )
G427 = NAND ( G195, G396 )
G428 = NOT ( G397 )
G429 = NOT ( G398 )
G430 = NAND ( G368, G399 )
G431 = NAND ( G400, G370 )
G432 = NAND ( G401, G371 )
G433 = NAND ( G402, G215 )
G434 = NAND ( G405, G216 )
G435 = NAND ( G259, G406 )
G436 = NAND ( G260, G409 )
G437 = NAND ( G410, G233 )
G438 = NAND ( G413, G234 )
G439 = NAND ( G416, G211 )
G440 = NAND ( G212, G418 )
G441 = NAND ( G383, G419 )
G442 = NOT ( G421 )
G443 = NAND ( G423, G388 )
G444 = NAND ( G424, G389 )
G445 = NAND ( G391, G425 )
G446 = NAND ( G393, G426 )
G447 = NAND ( G395, G427 )
G448 = NOT ( G430 )
G449 = NOT ( G431 )
G450 = NOT ( G432 )
G451 = NAND ( G433, G403 )
G452 = NAND ( G434, G404 )
G453 = NAND ( G435, G407 )
G454 = NAND ( G436, G408 )
G455 = NAND ( G437, G411 )
G456 = NAND ( G438, G412 )
G457 = NAND ( G439, G415 )
G458 = NAND ( G440, G417 )
G459 = NOT ( G441 )
G460 = NOT ( G443 )
G461 = BUF ( G444 )
G462 = BUF ( G444 )
G463 = NOT ( G445 )
G464 = BUF ( G446 )
G465 = BUF ( G446 )
G466 = NOT ( G447 )
G467 = NAND ( G441, G449 )
G468 = NOT ( G450 )
G469 = NOT ( G451 )
G470 = NOT ( G452 )
G471 = NOT ( G453 )
G472 = NOT ( G454 )
G473 = NOT ( G455 )
G474 = NOT ( G456 )
G475 = BUF ( G457 )
G476 = BUF ( G457 )
G477 = BUF ( G457 )
G478 = NOT ( G458 )
G479 = NAND ( G459, G431 )
G480 = NAND ( G455, G460 )
G481 = NOT ( G461 )
G482 = NOT ( G462 )
G483 = BUF ( G463 )
G484 = BUF ( G463 )
G485 = NOT ( G464 )
G486 = NOT ( G465 )
G487 = BUF ( G466 )
G488 = BUF ( G466 )
G489 = BUF ( G470 )
G490 = BUF ( G470 )
G491 = BUF ( G470 )
G492 = NOT ( G472 )
G493 = NAND ( G473, G443 )
G494 = NAND ( G474, G468 )
G495 = NOT ( G474 )
G496 = BUF ( G475 )
G497 = BUF ( G475 )
G498 = NAND ( G285, G476 )
G499 = NOT ( G476 )
G500 = NAND ( G286, G477 )
G501 = NOT ( G477 )
G502 = BUF ( G478 )
G503 = BUF ( G478 )
G504 = NAND ( G479, G467 )
G505 = NOT ( G483 )
G506 = NOT ( G484 )
G507 = NAND ( G485, G483 )
G508 = NAND ( G484, G486 )
G509 = NOT ( G487 )
G510 = NOT ( G488 )
G511 = BUF ( G489 )
G512 = BUF ( G489 )
G513 = NOT ( G490 )
G514 = NOT ( G491 )
G515 = NAND ( G493, G480 )
G516 = NAND ( G495, G450 )
G517 = NOT ( G496 )
G518 = NOT ( G497 )
G519 = NAND ( G206, G499 )
G520 = NAND ( G207, G501 )
G521 = BUF ( G502 )
G522 = BUF ( G502 )
G523 = NAND ( G469, G503 )
G524 = NOT ( G503 )
G525 = NAND ( G504, G263 )
G526 = NOT ( G504 )
G527 = NAND ( G464, G505 )
G528 = NAND ( G465, G506 )
G529 = NOT ( G511 )
G530 = NOT ( G512 )
G531 = NAND ( G496, G513 )
G532 = NAND ( G497, G514 )
G533 = NAND ( G448, G515 )
G534 = NOT ( G515 )
G535 = NAND ( G494, G516 )
G536 = NAND ( G517, G490 )
G537 = NAND ( G518, G491 )
G538 = NAND ( G498, G519 )
G539 = NAND ( G500, G520 )
G540 = NOT ( G521 )
G541 = NAND ( G521, G481 )
G542 = NOT ( G522 )
G543 = NAND ( G482, G522 )
G544 = NAND ( G451, G524 )
G545 = NAND ( G526, G169 )
G546 = NAND ( G527, G507 )
G547 = NAND ( G508, G528 )
G548 = NAND ( G430, G534 )
G549 = NAND ( G535, G422 )
G550 = NOT ( G535 )
G551 = NAND ( G531, G536 )
G552 = NAND ( G537, G532 )
G553 = NOT ( G538 )
G554 = NAND ( G326, G538 )
G555 = NAND ( G539, G327 )
G556 = NOT ( G539 )
G557 = NAND ( G540, G461 )
G558 = NAND ( G462, G542 )
G559 = NAND ( G544, G523 )
G560 = NAND ( G525, G545 )
G561 = NAND ( G546, G428 )
G562 = NOT ( G546 )
G563 = NAND ( G429, G547 )
G564 = NOT ( G547 )
G565 = NAND ( G533, G548 )
G566 = NAND ( G386, G550 )
G567 = NOT ( G551 )
G568 = NAND ( G551, G509 )
G569 = NAND ( G552, G510 )
G570 = NOT ( G552 )
G571 = NAND ( G257, G553 )
G572 = NAND ( G556, G258 )
G573 = NAND ( G541, G557 )
G574 = NAND ( G558, G543 )
G575 = NAND ( G559, G414 )
G576 = NOT ( G559 )
G577 = NAND ( G79, G560 )
G578 = BUF ( G560 )
G579 = NAND ( G397, G562 )
G580 = NAND ( G564, G398 )
G581 = NAND ( G79, G565 )
G582 = BUF ( G565 )
G583 = NAND ( G566, G549 )
G584 = NAND ( G487, G567 )
G585 = NAND ( G570, G488 )
G586 = NAND ( G571, G554 )
G587 = NAND ( G572, G555 )
G588 = NOT ( G573 )
G589 = NAND ( G529, G573 )
G590 = NAND ( G530, G574 )
G591 = NOT ( G574 )
G592 = NAND ( G576, G379 )
G593 = BUF ( G577 )
G594 = BUF ( G577 )
G595 = NOT ( G578 )
G596 = NAND ( G561, G579 )
G597 = NAND ( G563, G580 )
G598 = BUF ( G581 )
G599 = BUF ( G581 )
G600 = NOT ( G582 )
G601 = NAND ( G79, G583 )
G602 = BUF ( G583 )
G603 = NAND ( G584, G568 )
G604 = NAND ( G585, G569 )
G605 = NOT ( G586 )
G606 = NOT ( G587 )
G607 = NAND ( G511, G588 )
G608 = NAND ( G591, G512 )
G609 = NAND ( G592, G575 )
G610 = NAND ( G247, G593 )
G611 = NOT ( G593 )
G612 = NAND ( G594, G248 )
G613 = NOT ( G594 )
G614 = BUF ( G596 )
G615 = BUF ( G596 )
G616 = NOT ( G597 )
G617 = NAND ( G598, G245 )
G618 = NOT ( G598 )
G619 = NAND ( G599, G246 )
G620 = NOT ( G599 )
G621 = BUF ( G601 )
G622 = BUF ( G601 )
G623 = NOT ( G602 )
G624 = NOT ( G603 )
G625 = NOT ( G604 )
G626 = NOT ( G606 )
G627 = NAND ( G589, G607 )
G628 = NAND ( G608, G590 )
G629 = NOT ( G609 )
G630 = NAND ( G160, G611 )
G631 = NAND ( G613, G161 )
G632 = NOT ( G614 )
G633 = NOT ( G615 )
G634 = NAND ( G615, G605 )
G635 = AND ( G616, G172 )
G636 = NAND ( G158, G618 )
G637 = NAND ( G620, G159 )
G638 = NAND ( G354, G621 )
G639 = NOT ( G621 )
G640 = NAND ( G622, G355 )
G641 = NOT ( G622 )
G642 = NOT ( G625 )
G643 = NAND ( G625, G442 )
G644 = NAND ( G626, G614 )
G645 = NOT ( G627 )
G646 = NAND ( G627, G492 )
G647 = NOT ( G628 )
G648 = AND ( G173, G629 )
G649 = NAND ( G610, G630 )
G650 = NAND ( G631, G612 )
G651 = NAND ( G632, G606 )
G652 = NAND ( G586, G633 )
G653 = NOT ( G635 )
G654 = NAND ( G617, G636 )
G655 = NAND ( G637, G619 )
G656 = NAND ( G639, G320 )
G657 = NAND ( G641, G321 )
G658 = NAND ( G642, G421 )
G659 = NAND ( G472, G645 )
G660 = NOT ( G647 )
G661 = NAND ( G647, G471 )
G662 = NOT ( G648 )
G663 = NOT ( G649 )
G664 = BUF ( G649 )
G665 = NOT ( G650 )
G666 = NAND ( G644, G651 )
G667 = NAND ( G634, G652 )
G668 = NOT ( G654 )
G669 = BUF ( G654 )
G670 = NOT ( G655 )
G671 = NAND ( G656, G638 )
G672 = NAND ( G657, G640 )
G673 = NAND ( G643, G658 )
G674 = NAND ( G646, G659 )
G675 = NAND ( G453, G660 )
G676 = NOT ( G666 )
G677 = NOT ( G667 )
G678 = AND ( G663, G668 )
G679 = AND ( G668, G664 )
G680 = AND ( G663, G669 )
G681 = AND ( G664, G669 )
G682 = NOT ( G671 )
G683 = BUF ( G671 )
G684 = NOT ( G672 )
G685 = NAND ( G79, G673 )
G686 = NOT ( G674 )
G687 = NAND ( G675, G661 )
G688 = NAND ( G79, G676 )
G689 = BUF ( G685 )
G690 = BUF ( G685 )
G691 = NAND ( G79, G687 )
G692 = BUF ( G688 )
G693 = BUF ( G688 )
G694 = NAND ( G243, G689 )
G695 = NOT ( G689 )
G696 = NAND ( G244, G690 )
G697 = NOT ( G690 )
G698 = BUF ( G691 )
G699 = BUF ( G691 )
G700 = NAND ( G356, G692 )
G701 = NOT ( G692 )
G702 = NAND ( G693, G357 )
G703 = NOT ( G693 )
G704 = NAND ( G156, G695 )
G705 = NAND ( G697, G157 )
G706 = NAND ( G698, G241 )
G707 = NOT ( G698 )
G708 = NAND ( G242, G699 )
G709 = NOT ( G699 )
G710 = NAND ( G701, G324 )
G711 = NAND ( G703, G325 )
G712 = NAND ( G694, G704 )
G713 = NAND ( G696, G705 )
G714 = NAND ( G154, G707 )
G715 = NAND ( G155, G709 )
G716 = NAND ( G710, G700 )
G717 = NAND ( G702, G711 )
G718 = NOT ( G712 )
G719 = BUF ( G712 )
G720 = NOT ( G713 )
G721 = NAND ( G714, G706 )
G722 = NAND ( G715, G708 )
G723 = NOT ( G716 )
G724 = AND ( G716, G323 )
G725 = NOT ( G717 )
G726 = AND ( G682, G718 )
G727 = AND ( G683, G718 )
G728 = AND ( G719, G682 )
G729 = AND ( G719, G683 )
G730 = NOT ( G721 )
G731 = AND ( G319, G721 )
G732 = NOT ( G722 )
G733 = AND ( G723, G322 )
G734 = AND ( G723, G323 )
G735 = BUF ( G724 )
G736 = BUF ( G724 )
G737 = AND ( G730, G318 )
G738 = AND ( G730, G319 )
G739 = BUF ( G731 )
G740 = BUF ( G731 )
G741 = NAND ( G720, G665, G725, G684, G253, G670, G250, G732 )
G742 = NAND ( G734, G240, G726, G678, G737 )
G743 = NAND ( G728, G738, G316, G680, G735 )
G744 = NAND ( G728, G736, G738, G679, G316 )
G745 = NAND ( G729, G736, G738, G316, G678 )
G746 = NAND ( G736, G738, G316, G726, G681 )
G747 = NAND ( G736, G738, G727, G317, G680 )
G748 = NAND ( G736, G738, G240, G726, G678 )
G749 = NAND ( G728, G738, G734, G240, G678 )
G750 = NAND ( G738, G734, G240, G726, G680 )
G751 = NAND ( G738, G734, G679, G240, G726 )
G752 = NAND ( G738, G734, G727, G240, G678 )
G753 = NAND ( G738, G733, G240, G726, G678 )
G754 = AND ( G728, G738, G316, G680, G735 )
G755 = AND ( G728, G736, G738, G679, G316 )
G756 = AND ( G729, G736, G738, G316, G678 )
G757 = AND ( G736, G738, G316, G726, G681 )
G758 = AND ( G736, G738, G727, G317, G680 )
G759 = NAND ( G728, G739, G316, G678, G735 )
G760 = NAND ( G739, G316, G726, G680, G735 )
G761 = NAND ( G679, G739, G316, G726, G735 )
G762 = NAND ( G727, G739, G316, G678, G735 )
G763 = NAND ( G729, G736, G679, G739, G317 )
G764 = AND ( G728, G739, G316, G678, G735 )
G765 = AND ( G739, G316, G726, G680, G735 )
G766 = AND ( G679, G739, G316, G726, G735 )
G767 = AND ( G727, G739, G316, G678, G735 )
G768 = AND ( G729, G736, G679, G739, G317 )
G769 = NAND ( G740, G728, G736, G681, G317 )
G770 = NAND ( G740, G729, G736, G317, G680 )
G771 = AND ( G740, G728, G736, G681, G317 )
G772 = AND ( G740, G729, G736, G317, G680 )
G773 = NAND ( G740, G728, G734, G317, G680 )
G774 = NAND ( G740, G728, G734, G679, G317 )
G775 = NAND ( G740, G729, G734, G678, G317 )
G776 = NAND ( G740, G734, G727, G317, G680 )
G777 = NAND ( G740, G734, G240, G726, G678 )
G778 = AND ( G740, G728, G734, G317, G680 )
G779 = AND ( G740, G728, G734, G679, G317 )
G780 = AND ( G740, G729, G734, G678, G317 )
G781 = AND ( G740, G734, G727, G317, G680 )
G782 = AND ( G91, G741, G84 )
G783 = NAND ( G110, G754 )
G784 = NOT ( G754 )
G785 = NAND ( G113, G755 )
G786 = NOT ( G755 )
G787 = NAND ( G756, G117 )
G788 = NOT ( G756 )
G789 = NAND ( G121, G757 )
G790 = NOT ( G757 )
G791 = NAND ( G758, G126 )
G792 = NOT ( G758 )
G793 = NAND ( G743, G762, G746, G745, G760, G761, G759, G744 )
G794 = AND ( G743, G762, G746, G745, G760, G761, G759, G744 )
G795 = NAND ( G95, G764 )
G796 = NOT ( G764 )
G797 = NAND ( G765, G98 )
G798 = NOT ( G765 )
G799 = NAND ( G102, G766 )
G800 = NOT ( G766 )
G801 = NAND ( G107, G767 )
G802 = NOT ( G767 )
G803 = NAND ( G768, G130 )
G804 = NOT ( G768 )
G805 = NAND ( G148, G771 )
G806 = NOT ( G771 )
G807 = NAND ( G152, G772 )
G808 = NOT ( G772 )
G809 = NAND ( G769, G774, G763, G770, G773, G747, G776, G775 )
G810 = AND ( G769, G774, G763, G770, G773, G747, G776, G775 )
G811 = AND ( G777, G742, G750, G749, G751, G748, G752, G753 )
G812 = NAND ( G778, G133 )
G813 = NOT ( G778 )
G814 = NAND ( G136, G779 )
G815 = NOT ( G779 )
G816 = NAND ( G140, G780 )
G817 = NOT ( G780 )
G818 = NAND ( G781, G144 )
G819 = NOT ( G781 )
G820 = NAND ( G43, G784 )
G821 = NAND ( G45, G786 )
G822 = NAND ( G788, G47 )
G823 = NAND ( G49, G790 )
G824 = NAND ( G792, G51 )
G825 = AND ( G85, G793 )
G826 = NAND ( G35, G796 )
G827 = NAND ( G37, G798 )
G828 = NAND ( G800, G39 )
G829 = NAND ( G802, G41 )
G830 = NAND ( G53, G804 )
G831 = NAND ( G63, G806 )
G832 = NAND ( G808, G65 )
G833 = AND ( G86, G809 )
G834 = NAND ( G810, G794 )
G835 = AND ( G810, G811, G794 )
G836 = NAND ( G813, G55 )
G837 = NAND ( G815, G57 )
G838 = NAND ( G59, G817 )
G839 = NAND ( G61, G819 )
G840 = NAND ( G820, G783 )
G841 = NAND ( G785, G821 )
G842 = NAND ( G822, G787 )
G843 = NAND ( G789, G823 )
G844 = NAND ( G824, G791 )
G845 = NAND ( G825, G653 )
G846 = NOT ( G825 )
G847 = NAND ( G826, G795 )
G848 = NAND ( G827, G797 )
G849 = NAND ( G828, G799 )
G850 = NAND ( G801, G829 )
G851 = NAND ( G803, G830 )
G852 = NAND ( G831, G805 )
G853 = NAND ( G832, G807 )
G854 = NAND ( G662, G833 )
G855 = NOT ( G833 )
G856 = AND ( G834, G252, G78 )
G857 = AND ( G834, G78, G25 )
G858 = AND ( G834, G78, G27 )
G859 = AND ( G28, G834, G78 )
G860 = AND ( G249, G834, G78 )
G861 = AND ( G26, G834, G78 )
G862 = AND ( G835, G91, G741, G32 )
G863 = NAND ( G812, G836 )
G864 = NAND ( G814, G837 )
G865 = NAND ( G816, G838 )
G866 = NAND ( G818, G839 )
G867 = NAND ( G846, G635 )
G868 = NAND ( G648, G855 )
G869 = NAND ( G856, G677 )
G870 = NOT ( G856 )
G871 = NAND ( G857, G686 )
G872 = NOT ( G857 )
G873 = NAND ( G600, G858 )
G874 = NOT ( G858 )
G875 = NAND ( G859, G595 )
G876 = NOT ( G859 )
G877 = NAND ( G860, G623 )
G878 = NOT ( G860 )
G879 = NOT ( G861 )
G880 = NAND ( G624, G861 )
G881 = NOR ( G782, G862 )
G882 = NAND ( G867, G845 )
G883 = NAND ( G868, G854 )
G884 = NAND ( G667, G870 )
G885 = NAND ( G872, G674 )
G886 = NAND ( G582, G874 )
G887 = NAND ( G578, G876 )
G888 = NAND ( G878, G602 )
G889 = NAND ( G879, G603 )
G890 = NAND ( G255, G882 )
G891 = NOT ( G882 )
G892 = NAND ( G256, G883 )
G893 = NOT ( G883 )
G894 = NAND ( G884, G869 )
G895 = NAND ( G871, G885 )
G896 = NAND ( G886, G873 )
G897 = NAND ( G875, G887 )
G898 = NAND ( G877, G888 )
G899 = NAND ( G889, G880 )
G900 = NAND ( G891, G164 )
G901 = NAND ( G165, G893 )
G902 = AND ( G894, G174 )
G903 = AND ( G175, G895 )
G904 = AND ( G896, G177 )
G905 = AND ( G897, G178 )
G906 = AND ( G898, G179 )
G907 = NAND ( G420, G899 )
G908 = NOT ( G899 )
G909 = NAND ( G900, G890 )
G910 = NAND ( G901, G892 )
G911 = NAND ( G384, G908 )
G912 = NAND ( G911, G907 )
G913 = AND ( G176, G912 )