atpg-ls/benchmark/c3540.bench

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

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)

OUTPUT(G1587)
OUTPUT(G1622)
OUTPUT(G1718)
OUTPUT(G1423)
OUTPUT(G1619)
OUTPUT(G1653)
OUTPUT(G1248)
OUTPUT(G1600)
OUTPUT(G1609)
OUTPUT(G446)
OUTPUT(G1631)
OUTPUT(G1189)
OUTPUT(G452)
OUTPUT(G949)
OUTPUT(G1672)
OUTPUT(G1719)
OUTPUT(G1545)
OUTPUT(G1598)
OUTPUT(G1243)
OUTPUT(G1320)
OUTPUT(G1479)
OUTPUT(G1494)

G51 = NOT ( G1 )
G52 = BUF ( G1 )
G53 = NOT ( G1 )
G54 = BUF ( G1 )
G55 = BUF ( G2 )
G56 = NOT ( G2 )
G57 = NAND ( G2, G1 )
G58 = AND ( G2, G3 )
G59 = NOT ( G3 )
G60 = BUF ( G3 )
G61 = NOT ( G3 )
G62 = NOT ( G3 )
G63 = NOT ( G3 )
G64 = NOT ( G3 )
G65 = NOT ( G4 )
G66 = BUF ( G4 )
G67 = NOT ( G4 )
G68 = NAND ( G4, G1, G3 )
G69 = NOT ( G4 )
G70 = AND ( G5, G4 )
G71 = NOT ( G5 )
G72 = OR ( G5, G6 )
G73 = BUF ( G6 )
G74 = NOT ( G6 )
G75 = BUF ( G7 )
G76 = NOT ( G7 )
G77 = NOT ( G7 )
G78 = BUF ( G7 )
G79 = BUF ( G8 )
G80 = NOT ( G8 )
G81 = BUF ( G8 )
G82 = NOT ( G8 )
G83 = BUF ( G8 )
G84 = BUF ( G8 )
G85 = BUF ( G9 )
G86 = NOT ( G9 )
G87 = BUF ( G9 )
G88 = BUF ( G9 )
G89 = NOT ( G9 )
G90 = BUF ( G9 )
G91 = BUF ( G10 )
G92 = NOT ( G10 )
G93 = BUF ( G10 )
G94 = BUF ( G11 )
G95 = NOT ( G11 )
G96 = BUF ( G11 )
G97 = NOT ( G11 )
G98 = BUF ( G12 )
G99 = NOT ( G12 )
G100 = BUF ( G12 )
G101 = NOT ( G12 )
G102 = BUF ( G12 )
G103 = BUF ( G12 )
G104 = BUF ( G13 )
G105 = NOT ( G13 )
G106 = NOT ( G13 )
G107 = BUF ( G13 )
G108 = BUF ( G14 )
G109 = NOT ( G14 )
G110 = AND ( G24, G3 )
G111 = BUF ( G24 )
G112 = BUF ( G25 )
G113 = NOT ( G26 )
G114 = AND ( G26, G3 )
G115 = NAND ( G26, G3 )
G116 = NOT ( G27 )
G117 = BUF ( G30 )
G118 = BUF ( G31 )
G119 = BUF ( G32 )
G120 = BUF ( G33 )
G121 = BUF ( G34 )
G122 = BUF ( G35 )
G123 = OR ( G36, G35 )
G124 = BUF ( G36 )
G125 = BUF ( G37 )
G126 = BUF ( G47 )
G127 = BUF ( G48 )
G128 = OR ( G49, G4 )
G129 = BUF ( G54 )
G130 = BUF ( G55 )
G131 = NAND ( G56, G52 )
G132 = NOT ( G58 )
G133 = NAND ( G6, G55, G59 )
G134 = AND ( G55, G51, G59 )
G135 = AND ( G56, G52, G60 )
G136 = NAND ( G56, G52, G60 )
G137 = NOT ( G61 )
G138 = NOT ( G61 )
G139 = NOT ( G61 )
G140 = NOT ( G61 )
G141 = NOT ( G61 )
G142 = NOT ( G61 )
G143 = NOT ( G61 )
G144 = NOT ( G61 )
G145 = OR ( G23, G63 )
G146 = OR ( G1, G64 )
G147 = OR ( G3, G65 )
G148 = BUF ( G66 )
G149 = BUF ( G67 )
G150 = BUF ( G67 )
G151 = AND ( G68, G57 )
G152 = OR ( G69, G1 )
G153 = NOT ( G70 )
G154 = NOT ( G70 )
G155 = BUF ( G71 )
G156 = AND ( G72, G53 )
G157 = AND ( G71, G73, G53 )
G158 = AND ( G51, G73 )
G159 = BUF ( G74 )
G160 = BUF ( G74 )
G161 = NAND ( G75, G30 )
G162 = BUF ( G76 )
G163 = NOT ( G78 )
G164 = NAND ( G31, G79 )
G165 = BUF ( G80 )
G166 = NOT ( G83 )
G167 = NOT ( G84 )
G168 = NAND ( G80, G86 )
G169 = BUF ( G86 )
G170 = NAND ( G87, G32 )
G171 = AND ( G89, G82, G77 )
G172 = NAND ( G89, G82, G77 )
G173 = BUF ( G90 )
G174 = BUF ( G90 )
G175 = NAND ( G85, G91 )
G176 = BUF ( G92 )
G177 = NAND ( G93, G33 )
G178 = NAND ( G34, G94 )
G179 = BUF ( G95 )
G180 = NAND ( G98, G35 )
G181 = BUF ( G99 )
G182 = NOT ( G102 )
G183 = NOT ( G103 )
G184 = NAND ( G36, G104 )
G185 = NAND ( G99, G105 )
G186 = BUF ( G105 )
G187 = AND ( G106, G101, G97 )
G188 = NAND ( G106, G101, G97 )
G189 = BUF ( G107 )
G190 = BUF ( G107 )
G191 = NAND ( G37, G108 )
G192 = BUF ( G109 )
G193 = BUF ( G110 )
G194 = NOT ( G110 )
G195 = NOT ( G111 )
G196 = OR ( G62, G112 )
G197 = NOR ( G62, G112 )
G198 = NOT ( G117 )
G199 = NOT ( G118 )
G200 = NOT ( G119 )
G201 = NOT ( G120 )
G202 = NOT ( G121 )
G203 = NOT ( G122 )
G204 = AND ( G34, G123 )
G205 = NOT ( G124 )
G206 = NOT ( G125 )
G207 = NOT ( G126 )
G208 = OR ( G127, G116 )
G209 = NOR ( G127, G116 )
G210 = NOT ( G128 )
G211 = NOT ( G128 )
G212 = NOT ( G128 )
G213 = NOT ( G128 )
G214 = NOT ( G128 )
G215 = NOT ( G128 )
G216 = NOT ( G128 )
G217 = NOT ( G128 )
G218 = NOT ( G129 )
G219 = NAND ( G52, G60, G130 )
G220 = NOT ( G131 )
G221 = OR ( G1, G132 )
G222 = AND ( G133, G54 )
G223 = AND ( G134, G27 )
G224 = NAND ( G134, G27 )
G225 = AND ( G48, G134, G27 )
G226 = NAND ( G48, G134, G27 )
G227 = AND ( G48, G134, G27 )
G228 = NAND ( G48, G134, G27 )
G229 = NAND ( G135, G66 )
G230 = NAND ( G135, G67 )
G231 = NOT ( G136 )
G232 = AND ( G89, G139 )
G233 = AND ( G10, G140 )
G234 = AND ( G143, G106 )
G235 = AND ( G14, G144 )
G236 = NAND ( G145, G52, G130 )
G237 = NOT ( G147 )
G238 = AND ( G61, G147 )
G239 = NOT ( G147 )
G240 = AND ( G61, G147 )
G241 = NOT ( G147 )
G242 = AND ( G61, G147 )
G243 = NOT ( G147 )
G244 = AND ( G61, G147 )
G245 = NOT ( G147 )
G246 = AND ( G61, G147 )
G247 = NOT ( G147 )
G248 = AND ( G61, G147 )
G249 = NOT ( G147 )
G250 = AND ( G61, G147 )
G251 = NOT ( G147 )
G252 = AND ( G61, G147 )
G253 = NOT ( G148 )
G254 = NOT ( G148 )
G255 = NOT ( G148 )
G256 = NOT ( G148 )
G257 = NOT ( G148 )
G258 = NOT ( G148 )
G259 = NOT ( G148 )
G260 = NAND ( G56, G149, G59 )
G261 = NAND ( G56, G149 )
G262 = NOT ( G150 )
G263 = AND ( G150, G128 )
G264 = NOT ( G150 )
G265 = AND ( G150, G128 )
G266 = NOT ( G150 )
G267 = AND ( G150, G128 )
G268 = NOT ( G150 )
G269 = AND ( G150, G128 )
G270 = NOT ( G150 )
G271 = AND ( G150, G128 )
G272 = NOT ( G150 )
G273 = AND ( G150, G128 )
G274 = NOT ( G150 )
G275 = AND ( G150, G128 )
G276 = NOT ( G150 )
G277 = AND ( G150, G128 )
G278 = NOT ( G151 )
G279 = NOT ( G151 )
G280 = NOT ( G151 )
G281 = NOT ( G151 )
G282 = NOT ( G151 )
G283 = NOT ( G151 )
G284 = NOT ( G151 )
G285 = NOT ( G151 )
G286 = AND ( G2, G1, G153 )
G287 = AND ( G2, G1, G154 )
G288 = NAND ( G56, G52, G155, G60 )
G289 = NAND ( G155, G149 )
G290 = NAND ( G66, G155 )
G291 = NOT ( G156 )
G292 = NOT ( G156 )
G293 = NOT ( G156 )
G294 = NOT ( G156 )
G295 = NOT ( G157 )
G296 = NOT ( G157 )
G297 = NOT ( G157 )
G298 = NOT ( G158 )
G299 = NOT ( G159 )
G300 = NOT ( G160 )
G301 = NOT ( G162 )
G302 = AND ( G85, G162 )
G303 = NOT ( G165 )
G304 = NAND ( G163, G165 )
G305 = AND ( G168, G75 )
G306 = NOT ( G169 )
G307 = NAND ( G171, G92 )
G308 = AND ( G172, G137 )
G309 = NAND ( G173, G166 )
G310 = NOT ( G173 )
G311 = NAND ( G167, G174 )
G312 = NOT ( G174 )
G313 = NOT ( G176 )
G314 = AND ( G161, G170, G164, G177 )
G315 = NOT ( G179 )
G316 = NOT ( G181 )
G317 = AND ( G185, G11 )
G318 = NAND ( G185, G11 )
G319 = NOT ( G186 )
G320 = AND ( G187, G109 )
G321 = NAND ( G187, G109 )
G322 = AND ( G188, G141 )
G323 = NAND ( G189, G182 )
G324 = NOT ( G189 )
G325 = NAND ( G183, G190 )
G326 = NOT ( G190 )
G327 = AND ( G178, G191, G184, G180 )
G328 = NOT ( G192 )
G329 = AND ( G26, G193 )
G330 = AND ( G113, G193 )
G331 = AND ( G114, G194 )
G332 = AND ( G194, G115 )
G333 = NAND ( G198, G118 )
G334 = NAND ( G199, G117 )
G335 = NAND ( G200, G120 )
G336 = NAND ( G201, G119 )
G337 = NAND ( G122, G202 )
G338 = NAND ( G203, G121 )
G339 = NAND ( G125, G205 )
G340 = NAND ( G206, G124 )
G341 = BUF ( G209 )
G342 = AND ( G28, G210 )
G343 = AND ( G211, G29 )
G344 = AND ( G212, G30 )
G345 = AND ( G31, G213 )
G346 = AND ( G214, G32 )
G347 = AND ( G215, G33 )
G348 = AND ( G34, G216 )
G349 = AND ( G35, G217 )
G350 = NOT ( G219 )
G351 = AND ( G136, G219 )
G352 = NOT ( G219 )
G353 = AND ( G219, G131 )
G354 = AND ( G221, G151 )
G355 = NOR ( G7, G221 )
G356 = AND ( G221, G151 )
G357 = NOR ( G8, G221 )
G358 = AND ( G221, G151 )
G359 = NOR ( G221, G9 )
G360 = AND ( G221, G151 )
G361 = NOR ( G221, G10 )
G362 = AND ( G221, G151 )
G363 = NOR ( G221, G11 )
G364 = AND ( G221, G151 )
G365 = NOR ( G221, G12 )
G366 = AND ( G221, G151 )
G367 = NOR ( G221, G13 )
G368 = AND ( G221, G151 )
G369 = NOR ( G221, G14 )
G370 = NOT ( G222 )
G371 = NOT ( G222 )
G372 = NOT ( G222 )
G373 = NOT ( G222 )
G374 = NOT ( G222 )
G375 = NOT ( G222 )
G376 = NOT ( G222 )
G377 = NOT ( G222 )
G378 = BUF ( G226 )
G379 = NOT ( G229 )
G380 = NOT ( G229 )
G381 = NOT ( G229 )
G382 = NOT ( G229 )
G383 = AND ( G230, G229 )
G384 = NOT ( G230 )
G385 = AND ( G230, G229 )
G386 = NOT ( G230 )
G387 = NOT ( G230 )
G388 = AND ( G230, G229 )
G389 = NOT ( G230 )
G390 = AND ( G230, G229 )
G391 = AND ( G231, G204 )
G392 = BUF ( G236 )
G393 = BUF ( G236 )
G394 = AND ( G237, G81 )
G395 = AND ( G21, G238 )
G396 = AND ( G88, G239 )
G397 = AND ( G22, G240 )
G398 = AND ( G10, G241 )
G399 = AND ( G7, G242 )
G400 = AND ( G96, G243 )
G401 = AND ( G244, G81 )
G402 = AND ( G100, G245 )
G403 = AND ( G88, G246 )
G404 = AND ( G13, G247 )
G405 = AND ( G10, G248 )
G406 = AND ( G249, G14 )
G407 = AND ( G96, G250 )
G408 = AND ( G39, G251 )
G409 = AND ( G100, G252 )
G410 = NOT ( G260 )
G411 = NOT ( G260 )
G412 = NOT ( G260 )
G413 = NOT ( G260 )
G414 = NOT ( G261 )
G415 = NOT ( G261 )
G416 = NOT ( G261 )
G417 = NOT ( G261 )
G418 = AND ( G10, G262 )
G419 = AND ( G263, G29 )
G420 = AND ( G264, G11 )
G421 = AND ( G265, G30 )
G422 = AND ( G12, G266 )
G423 = AND ( G31, G267 )
G424 = AND ( G13, G268 )
G425 = AND ( G32, G269 )
G426 = AND ( G270, G14 )
G427 = AND ( G271, G33 )
G428 = AND ( G272, G39 )
G429 = AND ( G34, G273 )
G430 = AND ( G274, G40 )
G431 = AND ( G275, G35 )
G432 = AND ( G276, G41 )
G433 = AND ( G36, G277 )
G434 = BUF ( G286 )
G435 = NOT ( G286 )
G436 = BUF ( G287 )
G437 = NOT ( G287 )
G438 = BUF ( G288 )
G439 = BUF ( G288 )
G440 = NOT ( G289 )
G441 = NOT ( G290 )
G442 = AND ( G289, G290 )
G443 = NAND ( G303, G78 )
G444 = AND ( G305, G160 )
G445 = NAND ( G306, G176 )
G446 = NOT ( G307 )
G447 = NAND ( G83, G310 )
G448 = NAND ( G312, G84 )
G449 = NAND ( G169, G313 )
G450 = NAND ( G315, G181 )
G451 = NAND ( G179, G316 )
G452 = NOT ( G317 )
G453 = NAND ( G192, G319 )
G454 = AND ( G8, G76, G175, G320 )
G455 = NAND ( G324, G102 )
G456 = NAND ( G326, G103 )
G457 = NAND ( G327, G314 )
G458 = NAND ( G328, G186 )
G459 = NAND ( G329, G197 )
G460 = NAND ( G329, G196 )
G461 = NAND ( G330, G197 )
G462 = NAND ( G330, G196 )
G463 = NAND ( G197, G331 )
G464 = NAND ( G331, G196 )
G465 = NAND ( G197, G332 )
G466 = NAND ( G332, G196 )
G467 = NAND ( G334, G333 )
G468 = NAND ( G336, G335 )
G469 = NAND ( G337, G338 )
G470 = NAND ( G340, G339 )
G471 = AND ( G341, G50 )
G472 = NAND ( G341, G50 )
G473 = AND ( G305, G350 )
G474 = AND ( G354, G7, G146 )
G475 = AND ( G8, G146, G356 )
G476 = AND ( G358, G146, G9 )
G477 = AND ( G10, G146, G360 )
G478 = AND ( G362, G152, G11 )
G479 = AND ( G12, G152, G364 )
G480 = AND ( G366, G13, G152 )
G481 = AND ( G152, G14, G368 )
G482 = NOT ( G378 )
G483 = AND ( G95, G383 )
G484 = AND ( G385, G99 )
G485 = AND ( G387, G318 )
G486 = AND ( G388, G109 )
G487 = AND ( G389, G321 )
G488 = AND ( G105, G390 )
G489 = NOT ( G392 )
G490 = AND ( G261, G392 )
G491 = NOT ( G392 )
G492 = AND ( G261, G392 )
G493 = NOT ( G392 )
G494 = AND ( G261, G392 )
G495 = NOT ( G392 )
G496 = AND ( G261, G392 )
G497 = NOT ( G393 )
G498 = AND ( G260, G393 )
G499 = NOT ( G393 )
G500 = AND ( G260, G393 )
G501 = NOT ( G393 )
G502 = AND ( G260, G393 )
G503 = NOT ( G393 )
G504 = AND ( G260, G393 )
G505 = OR ( G308, G394, G395 )
G506 = OR ( G399, G232, G398 )
G507 = OR ( G233, G401, G400 )
G508 = OR ( G403, G322, G402 )
G509 = OR ( G234, G406, G407 )
G510 = OR ( G409, G235, G408 )
G511 = OR ( G418, G419, G342 )
G512 = OR ( G420, G343, G421 )
G513 = OR ( G344, G422, G423 )
G514 = OR ( G424, G425, G345 )
G515 = OR ( G426, G346, G427 )
G516 = OR ( G428, G347, G429 )
G517 = OR ( G430, G431, G348 )
G518 = OR ( G433, G432, G349 )
G519 = AND ( G435, G298, G34 )
G520 = AND ( G435, G158, G38 )
G521 = AND ( G435, G35, G295 )
G522 = AND ( G435, G157, G38 )
G523 = AND ( G435, G36, G296 )
G524 = AND ( G435, G157, G38 )
G525 = AND ( G435, G297, G37 )
G526 = AND ( G435, G157, G38 )
G527 = AND ( G437, G291, G30 )
G528 = AND ( G437, G156, G38 )
G529 = AND ( G437, G31, G292 )
G530 = AND ( G437, G156, G38 )
G531 = AND ( G437, G32, G293 )
G532 = AND ( G437, G156, G38 )
G533 = AND ( G437, G33, G294 )
G534 = AND ( G437, G156, G38 )
G535 = NOT ( G438 )
G536 = AND ( G438, G222 )
G537 = NOT ( G438 )
G538 = AND ( G438, G222 )
G539 = NOT ( G438 )
G540 = AND ( G438, G222 )
G541 = NOT ( G438 )
G542 = AND ( G438, G222 )
G543 = NOT ( G438 )
G544 = AND ( G438, G222 )
G545 = NOT ( G438 )
G546 = AND ( G438, G222 )
G547 = NOT ( G438 )
G548 = AND ( G438, G222 )
G549 = NOT ( G438 )
G550 = AND ( G438, G222 )
G551 = NOT ( G439 )
G552 = AND ( G439, G129 )
G553 = AND ( G76, G442 )
G554 = NAND ( G304, G443 )
G555 = NAND ( G309, G447 )
G556 = NAND ( G448, G311 )
G557 = NAND ( G449, G445 )
G558 = NAND ( G451, G450 )
G559 = AND ( G159, G454 )
G560 = NAND ( G455, G323 )
G561 = NAND ( G325, G456 )
G562 = AND ( G457, G351 )
G563 = NAND ( G458, G453 )
G564 = BUF ( G459 )
G565 = BUF ( G459 )
G566 = BUF ( G460 )
G567 = BUF ( G460 )
G568 = BUF ( G461 )
G569 = BUF ( G461 )
G570 = BUF ( G462 )
G571 = BUF ( G462 )
G572 = BUF ( G463 )
G573 = BUF ( G463 )
G574 = BUF ( G464 )
G575 = BUF ( G464 )
G576 = BUF ( G465 )
G577 = BUF ( G465 )
G578 = BUF ( G466 )
G579 = BUF ( G466 )
G580 = BUF ( G467 )
G581 = BUF ( G467 )
G582 = BUF ( G468 )
G583 = BUF ( G468 )
G584 = NOT ( G469 )
G585 = NOT ( G470 )
G586 = AND ( G76, G490 )
G587 = AND ( G492, G80 )
G588 = AND ( G494, G86 )
G589 = AND ( G496, G92 )
G590 = AND ( G505, G278 )
G591 = AND ( G280, G506 )
G592 = AND ( G281, G507 )
G593 = AND ( G508, G282 )
G594 = AND ( G284, G509 )
G595 = AND ( G285, G510 )
G596 = AND ( G511, G436 )
G597 = AND ( G512, G436 )
G598 = AND ( G513, G436 )
G599 = AND ( G514, G436 )
G600 = AND ( G434, G515 )
G601 = AND ( G516, G434 )
G602 = AND ( G517, G434 )
G603 = AND ( G518, G434 )
G604 = AND ( G551, G305 )
G605 = AND ( G552, G320 )
G606 = NOT ( G554 )
G607 = AND ( G555, G301, G91 )
G608 = NOT ( G556 )
G609 = NOT ( G557 )
G610 = NOT ( G558 )
G611 = AND ( G560, G108 )
G612 = NOT ( G561 )
G613 = OR ( G391, G473, G562 )
G614 = NOR ( G391, G473, G562 )
G615 = NOT ( G563 )
G616 = NOT ( G564 )
G617 = NOT ( G564 )
G618 = NOT ( G564 )
G619 = NOT ( G564 )
G620 = NOT ( G564 )
G621 = NOT ( G564 )
G622 = NOT ( G564 )
G623 = NOT ( G564 )
G624 = NOT ( G565 )
G625 = NOT ( G565 )
G626 = NOT ( G565 )
G627 = NOT ( G565 )
G628 = NOT ( G565 )
G629 = NOT ( G565 )
G630 = NOT ( G565 )
G631 = NOT ( G565 )
G632 = NOT ( G566 )
G633 = NOT ( G566 )
G634 = NOT ( G566 )
G635 = NOT ( G566 )
G636 = NOT ( G566 )
G637 = NOT ( G566 )
G638 = NOT ( G566 )
G639 = NOT ( G566 )
G640 = NOT ( G567 )
G641 = NOT ( G567 )
G642 = NOT ( G567 )
G643 = NOT ( G567 )
G644 = NOT ( G567 )
G645 = NOT ( G567 )
G646 = NOT ( G567 )
G647 = NOT ( G567 )
G648 = NOT ( G568 )
G649 = NOT ( G568 )
G650 = NOT ( G568 )
G651 = NOT ( G568 )
G652 = NOT ( G568 )
G653 = NOT ( G568 )
G654 = NOT ( G568 )
G655 = NOT ( G568 )
G656 = NOT ( G569 )
G657 = NOT ( G569 )
G658 = NOT ( G569 )
G659 = NOT ( G569 )
G660 = NOT ( G569 )
G661 = NOT ( G569 )
G662 = NOT ( G569 )
G663 = NOT ( G569 )
G664 = NOT ( G570 )
G665 = NOT ( G570 )
G666 = NOT ( G570 )
G667 = NOT ( G570 )
G668 = NOT ( G570 )
G669 = NOT ( G570 )
G670 = NOT ( G570 )
G671 = NOT ( G570 )
G672 = NOT ( G571 )
G673 = NOT ( G571 )
G674 = NOT ( G571 )
G675 = NOT ( G571 )
G676 = NOT ( G571 )
G677 = NOT ( G571 )
G678 = NOT ( G571 )
G679 = NOT ( G571 )
G680 = NOT ( G572 )
G681 = NOT ( G572 )
G682 = NOT ( G572 )
G683 = NOT ( G572 )
G684 = NOT ( G572 )
G685 = NOT ( G572 )
G686 = NOT ( G572 )
G687 = NOT ( G572 )
G688 = NOT ( G573 )
G689 = NOT ( G573 )
G690 = NOT ( G573 )
G691 = NOT ( G573 )
G692 = NOT ( G573 )
G693 = NOT ( G573 )
G694 = NOT ( G573 )
G695 = NOT ( G573 )
G696 = NOT ( G574 )
G697 = NOT ( G574 )
G698 = NOT ( G574 )
G699 = NOT ( G574 )
G700 = NOT ( G574 )
G701 = NOT ( G574 )
G702 = NOT ( G574 )
G703 = NOT ( G574 )
G704 = NOT ( G575 )
G705 = NOT ( G575 )
G706 = NOT ( G575 )
G707 = NOT ( G575 )
G708 = NOT ( G575 )
G709 = NOT ( G575 )
G710 = NOT ( G575 )
G711 = NOT ( G575 )
G712 = NOT ( G576 )
G713 = NOT ( G576 )
G714 = NOT ( G576 )
G715 = NOT ( G576 )
G716 = NOT ( G576 )
G717 = NOT ( G576 )
G718 = NOT ( G576 )
G719 = NOT ( G576 )
G720 = NOT ( G577 )
G721 = NOT ( G577 )
G722 = NOT ( G577 )
G723 = NOT ( G577 )
G724 = NOT ( G577 )
G725 = NOT ( G577 )
G726 = NOT ( G577 )
G727 = NOT ( G577 )
G728 = NOT ( G578 )
G729 = NOT ( G578 )
G730 = NOT ( G578 )
G731 = NOT ( G578 )
G732 = NOT ( G578 )
G733 = NOT ( G578 )
G734 = NOT ( G578 )
G735 = NOT ( G578 )
G736 = NOT ( G579 )
G737 = NOT ( G579 )
G738 = NOT ( G579 )
G739 = NOT ( G579 )
G740 = NOT ( G579 )
G741 = NOT ( G579 )
G742 = NOT ( G579 )
G743 = NOT ( G579 )
G744 = NOT ( G580 )
G745 = NOT ( G581 )
G746 = NOT ( G582 )
G747 = NOT ( G583 )
G748 = NAND ( G470, G584 )
G749 = NAND ( G469, G585 )
G750 = OR ( G355, G474, G590 )
G751 = NOR ( G355, G474, G590 )
G752 = OR ( G476, G591, G359 )
G753 = NOR ( G476, G591, G359 )
G754 = OR ( G361, G592, G477 )
G755 = NOR ( G361, G592, G477 )
G756 = OR ( G478, G363, G593 )
G757 = NOR ( G478, G363, G593 )
G758 = OR ( G594, G480, G367 )
G759 = NOR ( G594, G480, G367 )
G760 = OR ( G369, G595, G481 )
G761 = NOR ( G369, G595, G481 )
G762 = OR ( G596, G528, G527 )
G763 = OR ( G597, G529, G530 )
G764 = OR ( G532, G531, G598 )
G765 = OR ( G599, G533, G534 )
G766 = OR ( G520, G600, G519 )
G767 = OR ( G522, G601, G521 )
G768 = OR ( G523, G524, G602 )
G769 = OR ( G526, G603, G525 )
G770 = NAND ( G606, G557 )
G771 = OR ( G607, G302 )
G772 = AND ( G138, G608 )
G773 = NAND ( G609, G554 )
G774 = NAND ( G563, G610 )
G775 = AND ( G611, G352 )
G776 = AND ( G142, G612 )
G777 = NOT ( G614 )
G778 = NAND ( G558, G615 )
G779 = AND ( G18, G616 )
G780 = AND ( G617, G19 )
G781 = AND ( G618, G20 )
G782 = AND ( G21, G619 )
G783 = AND ( G22, G620 )
G784 = AND ( G75, G621 )
G785 = AND ( G622, G79 )
G786 = AND ( G87, G623 )
G787 = AND ( G98, G624 )
G788 = AND ( G625, G104 )
G789 = AND ( G626, G108 )
G790 = AND ( G39, G627 )
G791 = AND ( G628, G40 )
G792 = AND ( G41, G629 )
G793 = AND ( G630, G42 )
G794 = AND ( G43, G631 )
G795 = AND ( G16, G632 )
G796 = AND ( G633, G17 )
G797 = AND ( G634, G18 )
G798 = AND ( G635, G19 )
G799 = AND ( G636, G20 )
G800 = AND ( G21, G637 )
G801 = AND ( G22, G638 )
G802 = AND ( G75, G639 )
G803 = AND ( G108, G640 )
G804 = AND ( G39, G641 )
G805 = AND ( G642, G40 )
G806 = AND ( G41, G643 )
G807 = AND ( G42, G644 )
G808 = AND ( G43, G645 )
G809 = AND ( G44, G646 )
G810 = AND ( G45, G647 )
G811 = AND ( G648, G19 )
G812 = AND ( G20, G649 )
G813 = AND ( G21, G650 )
G814 = AND ( G22, G651 )
G815 = AND ( G75, G652 )
G816 = AND ( G653, G79 )
G817 = AND ( G87, G654 )
G818 = AND ( G93, G655 )
G819 = AND ( G94, G656 )
G820 = AND ( G657, G98 )
G821 = AND ( G658, G104 )
G822 = AND ( G659, G108 )
G823 = AND ( G660, G39 )
G824 = AND ( G661, G40 )
G825 = AND ( G662, G41 )
G826 = AND ( G663, G42 )
G827 = AND ( G664, G17 )
G828 = AND ( G665, G18 )
G829 = AND ( G666, G19 )
G830 = AND ( G20, G667 )
G831 = AND ( G21, G668 )
G832 = AND ( G22, G669 )
G833 = AND ( G670, G75 )
G834 = AND ( G671, G79 )
G835 = AND ( G672, G104 )
G836 = AND ( G673, G108 )
G837 = AND ( G674, G39 )
G838 = AND ( G675, G40 )
G839 = AND ( G676, G41 )
G840 = AND ( G677, G42 )
G841 = AND ( G43, G678 )
G842 = AND ( G44, G679 )
G843 = AND ( G22, G680 )
G844 = AND ( G75, G681 )
G845 = AND ( G79, G682 )
G846 = AND ( G87, G683 )
G847 = AND ( G684, G93 )
G848 = AND ( G94, G685 )
G849 = AND ( G686, G98 )
G850 = AND ( G687, G104 )
G851 = AND ( G688, G79 )
G852 = AND ( G87, G689 )
G853 = AND ( G93, G690 )
G854 = AND ( G94, G691 )
G855 = AND ( G98, G692 )
G856 = AND ( G693, G104 )
G857 = AND ( G694, G108 )
G858 = AND ( G39, G695 )
G859 = AND ( G696, G20 )
G860 = AND ( G21, G697 )
G861 = AND ( G22, G698 )
G862 = AND ( G75, G699 )
G863 = AND ( G700, G79 )
G864 = AND ( G87, G701 )
G865 = AND ( G93, G702 )
G866 = AND ( G94, G703 )
G867 = AND ( G93, G704 )
G868 = AND ( G94, G705 )
G869 = AND ( G98, G706 )
G870 = AND ( G707, G104 )
G871 = AND ( G708, G108 )
G872 = AND ( G39, G709 )
G873 = AND ( G710, G40 )
G874 = AND ( G41, G711 )
G875 = AND ( G712, G15 )
G876 = AND ( G713, G16 )
G877 = AND ( G17, G714 )
G878 = AND ( G18, G715 )
G879 = AND ( G716, G19 )
G880 = AND ( G717, G20 )
G881 = AND ( G21, G718 )
G882 = AND ( G22, G719 )
G883 = AND ( G39, G720 )
G884 = AND ( G721, G40 )
G885 = AND ( G722, G41 )
G886 = AND ( G723, G42 )
G887 = AND ( G43, G724 )
G888 = AND ( G44, G725 )
G889 = AND ( G45, G726 )
G890 = AND ( G727, G46 )
G891 = AND ( G21, G728 )
G892 = AND ( G22, G729 )
G893 = AND ( G730, G75 )
G894 = AND ( G731, G79 )
G895 = AND ( G87, G732 )
G896 = AND ( G93, G733 )
G897 = AND ( G734, G94 )
G898 = AND ( G735, G98 )
G899 = AND ( G736, G87 )
G900 = AND ( G737, G93 )
G901 = AND ( G94, G738 )
G902 = AND ( G98, G739 )
G903 = AND ( G740, G104 )
G904 = AND ( G108, G741 )
G905 = AND ( G39, G742 )
G906 = AND ( G743, G40 )
G907 = NAND ( G582, G744 )
G908 = NAND ( G583, G745 )
G909 = NAND ( G746, G580 )
G910 = NAND ( G581, G747 )
G911 = NAND ( G748, G749 )
G912 = AND ( G750, G223 )
G913 = NOT ( G751 )
G914 = AND ( G752, G225 )
G915 = NOT ( G753 )
G916 = AND ( G225, G754 )
G917 = NOT ( G755 )
G918 = AND ( G756, G225 )
G919 = NOT ( G757 )
G920 = AND ( G758, G227 )
G921 = NOT ( G759 )
G922 = AND ( G227, G760 )
G923 = NOT ( G761 )
G924 = BUF ( G762 )
G925 = NOT ( G762 )
G926 = BUF ( G763 )
G927 = NOT ( G763 )
G928 = BUF ( G764 )
G929 = NOT ( G764 )
G930 = BUF ( G765 )
G931 = NOT ( G765 )
G932 = BUF ( G766 )
G933 = NOT ( G766 )
G934 = NOT ( G766 )
G935 = BUF ( G767 )
G936 = NOT ( G767 )
G937 = NOT ( G767 )
G938 = BUF ( G768 )
G939 = NOT ( G768 )
G940 = NOT ( G768 )
G941 = BUF ( G769 )
G942 = NOT ( G769 )
G943 = NOT ( G769 )
G944 = AND ( G766, G769, G195, G768, G767 )
G945 = AND ( G220, G771 )
G946 = OR ( G396, G397, G772 )
G947 = NAND ( G773, G770 )
G948 = OR ( G405, G404, G776 )
G949 = NAND ( G613, G777 )
G950 = NAND ( G778, G774 )
G951 = NOR ( G795, G843, G875, G827, G811, G859, G779, G891 )
G952 = NOR ( G844, G876, G860, G812, G780, G892, G828, G796 )
G953 = NOR ( G781, G893, G845, G813, G797, G861, G829, G877 )
G954 = NOR ( G814, G862, G878, G846, G894, G782, G830, G798 )
G955 = NOR ( G831, G863, G799, G847, G879, G895, G815, G783 )
G956 = NOR ( G848, G864, G832, G896, G816, G784, G800, G880 )
G957 = NOR ( G849, G817, G801, G785, G881, G865, G897, G833 )
G958 = NOR ( G850, G818, G834, G802, G866, G882, G898, G786 )
G959 = NOR ( G883, G803, G819, G835, G787, G851, G899, G867 )
G960 = NOR ( G804, G884, G868, G836, G900, G820, G788, G852 )
G961 = NOR ( G853, G885, G805, G901, G837, G789, G869, G821 )
G962 = NOR ( G886, G822, G838, G790, G902, G806, G854, G870 )
G963 = NOR ( G807, G823, G887, G855, G903, G839, G871, G791 )
G964 = NOR ( G904, G840, G888, G808, G824, G872, G856, G792 )
G965 = NOR ( G841, G825, G809, G873, G889, G857, G793, G905 )
G966 = NOR ( G858, G890, G842, G810, G906, G794, G826, G874 )
G967 = NAND ( G909, G907 )
G968 = NAND ( G910, G908 )
G969 = BUF ( G911 )
G970 = AND ( G379, G911 )
G971 = BUF ( G912 )
G972 = BUF ( G912 )
G973 = BUF ( G914 )
G974 = BUF ( G914 )
G975 = BUF ( G916 )
G976 = BUF ( G916 )
G977 = BUF ( G918 )
G978 = BUF ( G918 )
G979 = BUF ( G920 )
G980 = BUF ( G920 )
G981 = BUF ( G922 )
G982 = BUF ( G922 )
G983 = AND ( G23, G750, G924 )
G984 = AND ( G26, G924, G751 )
G985 = AND ( G925, G24, G750 )
G986 = AND ( G925, G751, G25 )
G987 = AND ( G928, G23, G752 )
G988 = AND ( G26, G753, G928 )
G989 = AND ( G24, G752, G929 )
G990 = AND ( G753, G929, G25 )
G991 = AND ( G930, G23, G754 )
G992 = AND ( G26, G930, G755 )
G993 = AND ( G24, G931, G754 )
G994 = AND ( G755, G931, G25 )
G995 = AND ( G932, G23, G756 )
G996 = AND ( G26, G757, G932 )
G997 = AND ( G24, G756, G933 )
G998 = AND ( G757, G933, G25 )
G999 = AND ( G758, G23, G938 )
G1000 = AND ( G26, G759, G938 )
G1001 = AND ( G758, G939, G24 )
G1002 = AND ( G939, G759, G25 )
G1003 = AND ( G941, G23, G760 )
G1004 = AND ( G26, G761, G941 )
G1005 = AND ( G24, G942, G760 )
G1006 = AND ( G761, G942, G25 )
G1007 = AND ( G934, G943, G111, G940, G937 )
G1008 = AND ( G946, G279 )
G1009 = AND ( G300, G947 )
G1010 = BUF ( G947 )
G1011 = BUF ( G947 )
G1012 = AND ( G948, G283 )
G1013 = BUF ( G950 )
G1014 = AND ( G950, G380 )
G1015 = AND ( G951, G440 )
G1016 = AND ( G952, G253 )
G1017 = AND ( G254, G953 )
G1018 = AND ( G954, G255 )
G1019 = AND ( G955, G256 )
G1020 = AND ( G956, G257 )
G1021 = AND ( G957, G258 )
G1022 = AND ( G958, G259 )
G1023 = AND ( G959, G441 )
G1024 = AND ( G960, G148 )
G1025 = AND ( G961, G148 )
G1026 = AND ( G962, G148 )
G1027 = AND ( G963, G148 )
G1028 = AND ( G964, G148 )
G1029 = AND ( G965, G148 )
G1030 = AND ( G966, G148 )
G1031 = NOT ( G967 )
G1032 = BUF ( G968 )
G1033 = BUF ( G968 )
G1034 = BUF ( G969 )
G1035 = BUF ( G969 )
G1036 = OR ( G384, G483, G970 )
G1037 = NOT ( G971 )
G1038 = NOT ( G972 )
G1039 = NOT ( G973 )
G1040 = NOT ( G974 )
G1041 = NOT ( G975 )
G1042 = NOT ( G976 )
G1043 = NOT ( G977 )
G1044 = NOT ( G978 )
G1045 = NOT ( G979 )
G1046 = NOT ( G980 )
G1047 = NOT ( G981 )
G1048 = NOT ( G982 )
G1049 = OR ( G985, G983 )
G1050 = NOR ( G985, G983 )
G1051 = OR ( G986, G984, G913 )
G1052 = OR ( G989, G987 )
G1053 = NOR ( G989, G987 )
G1054 = OR ( G990, G915, G988 )
G1055 = OR ( G993, G991 )
G1056 = NOR ( G993, G991 )
G1057 = OR ( G992, G917, G994 )
G1058 = OR ( G997, G995 )
G1059 = NOR ( G997, G995 )
G1060 = OR ( G996, G919, G998 )
G1061 = OR ( G999, G1001 )
G1062 = NOR ( G999, G1001 )
G1063 = OR ( G921, G1000, G1002 )
G1064 = OR ( G1003, G1005 )
G1065 = NOR ( G1003, G1005 )
G1066 = OR ( G1004, G923, G1006 )
G1067 = OR ( G944, G1007 )
G1068 = OR ( G1008, G357, G475 )
G1069 = NOR ( G1008, G357, G475 )
G1070 = NOR ( G1009, G444 )
G1071 = NOT ( G1010 )
G1072 = NOT ( G1011 )
G1073 = OR ( G479, G1012, G365 )
G1074 = NOR ( G479, G1012, G365 )
G1075 = BUF ( G1013 )
G1076 = BUF ( G1013 )
G1077 = OR ( G386, G1014, G484 )
G1078 = OR ( G553, G1015, G1023 )
G1079 = OR ( G1024, G1016 )
G1080 = OR ( G1025, G1017 )
G1081 = OR ( G1018, G1026 )
G1082 = OR ( G1027, G1019 )
G1083 = OR ( G1020, G1028 )
G1084 = OR ( G1029, G1021 )
G1085 = OR ( G1022, G1030 )
G1086 = AND ( G299, G1031 )
G1087 = NOT ( G1032 )
G1088 = NOT ( G1033 )
G1089 = NOT ( G1034 )
G1090 = NOT ( G1035 )
G1091 = AND ( G498, G1036 )
G1092 = NOT ( G1049 )
G1093 = AND ( G1050, G1051 )
G1094 = AND ( G1052, G226 )
G1095 = AND ( G1053, G1054 )
G1096 = AND ( G1055, G226 )
G1097 = AND ( G1056, G1057 )
G1098 = NOT ( G1058 )
G1099 = AND ( G1060, G1059 )
G1100 = AND ( G228, G1061 )
G1101 = AND ( G1062, G1063 )
G1102 = AND ( G1064, G228 )
G1103 = AND ( G1066, G1065 )
G1104 = AND ( G1067, G482 )
G1105 = AND ( G1068, G23, G926 )
G1106 = AND ( G1068, G24, G927 )
G1107 = AND ( G1068, G223 )
G1108 = AND ( G927, G1069, G25 )
G1109 = AND ( G26, G926, G1069 )
G1110 = NOT ( G1069 )
G1111 = AND ( G1070, G381 )
G1112 = AND ( G935, G23, G1073 )
G1113 = AND ( G24, G1073, G936 )
G1114 = AND ( G227, G1073 )
G1115 = AND ( G1074, G936, G25 )
G1116 = AND ( G26, G935, G1074 )
G1117 = NOT ( G1074 )
G1118 = NAND ( G1071, G1075 )
G1119 = NOT ( G1075 )
G1120 = NAND ( G1072, G1076 )
G1121 = NOT ( G1076 )
G1122 = AND ( G500, G1077 )
G1123 = AND ( G489, G1078 )
G1124 = AND ( G491, G1079 )
G1125 = AND ( G493, G1080 )
G1126 = AND ( G1081, G495 )
G1127 = AND ( G497, G1082 )
G1128 = AND ( G1083, G499 )
G1129 = AND ( G501, G1084 )
G1130 = AND ( G503, G1085 )
G1131 = NOR ( G559, G1086 )
G1132 = NAND ( G1034, G1087 )
G1133 = NAND ( G1035, G1088 )
G1134 = NAND ( G1032, G1089 )
G1135 = NAND ( G1090, G1033 )
G1136 = BUF ( G1093 )
G1137 = NOT ( G1094 )
G1138 = BUF ( G1095 )
G1139 = BUF ( G1096 )
G1140 = BUF ( G1097 )
G1141 = BUF ( G1099 )
G1142 = BUF ( G1101 )
G1143 = BUF ( G1102 )
G1144 = BUF ( G1102 )
G1145 = BUF ( G1103 )
G1146 = OR ( G1106, G1105 )
G1147 = NOR ( G1106, G1105 )
G1148 = BUF ( G1107 )
G1149 = BUF ( G1107 )
G1150 = OR ( G1108, G1110, G1109 )
G1151 = OR ( G1111, G486, G485 )
G1152 = OR ( G1112, G1113 )
G1153 = NOR ( G1112, G1113 )
G1154 = BUF ( G1114 )
G1155 = BUF ( G1114 )
G1156 = OR ( G1115, G1116, G1117 )
G1157 = NAND ( G1010, G1119 )
G1158 = NAND ( G1121, G1011 )
G1159 = AND ( G382, G1131 )
G1160 = NAND ( G1134, G1132 )
G1161 = NAND ( G1135, G1133 )
G1162 = BUF ( G1136 )
G1163 = BUF ( G1136 )
G1164 = BUF ( G1138 )
G1165 = BUF ( G1138 )
G1166 = BUF ( G1140 )
G1167 = BUF ( G1140 )
G1168 = BUF ( G1141 )
G1169 = BUF ( G1141 )
G1170 = BUF ( G1142 )
G1171 = BUF ( G1142 )
G1172 = NOT ( G1144 )
G1173 = BUF ( G1145 )
G1174 = BUF ( G1145 )
G1175 = NAND ( G1146, G1093 )
G1176 = AND ( G1146, G224 )
G1177 = NOT ( G1148 )
G1178 = NOT ( G1149 )
G1179 = AND ( G1147, G1150 )
G1180 = AND ( G1151, G504 )
G1181 = NAND ( G1099, G1152 )
G1182 = AND ( G1152, G226 )
G1183 = NOT ( G1154 )
G1184 = NOT ( G1155 )
G1185 = AND ( G1156, G1153 )
G1186 = NAND ( G1157, G1118 )
G1187 = NAND ( G1158, G1120 )
G1188 = OR ( G1159, G487, G488 )
G1189 = NAND ( G1160, G1161 )
G1190 = NOT ( G1162 )
G1191 = NAND ( G1162, G1037 )
G1192 = NAND ( G1163, G1038 )
G1193 = NOT ( G1163 )
G1194 = NOT ( G1164 )
G1195 = NAND ( G1164, G1039 )
G1196 = NAND ( G1040, G1165 )
G1197 = NOT ( G1165 )
G1198 = NOT ( G1166 )
G1199 = NAND ( G1166, G1041 )
G1200 = NAND ( G1042, G1167 )
G1201 = NOT ( G1167 )
G1202 = NOT ( G1168 )
G1203 = NAND ( G1043, G1168 )
G1204 = NAND ( G1044, G1169 )
G1205 = NOT ( G1169 )
G1206 = NOT ( G1170 )
G1207 = NAND ( G1170, G1045 )
G1208 = NAND ( G1046, G1171 )
G1209 = NOT ( G1171 )
G1210 = NOT ( G1173 )
G1211 = NAND ( G1173, G1047 )
G1212 = NAND ( G1048, G1174 )
G1213 = NOT ( G1174 )
G1214 = NOT ( G1176 )
G1215 = AND ( G1093, G1097, G1179, G1095 )
G1216 = NAND ( G1093, G1052, G1179 )
G1217 = NAND ( G1093, G1055, G1179, G1095 )
G1218 = BUF ( G1179 )
G1219 = NOT ( G1182 )
G1220 = AND ( G1099, G1103, G1185, G1101 )
G1221 = NAND ( G1099, G1185, G1061 )
G1222 = NAND ( G1099, G1064, G1185, G1101 )
G1223 = BUF ( G1185 )
G1224 = NOT ( G1186 )
G1225 = NOT ( G1187 )
G1226 = AND ( G1188, G502 )
G1227 = NAND ( G971, G1190 )
G1228 = NAND ( G972, G1193 )
G1229 = NAND ( G973, G1194 )
G1230 = NAND ( G1197, G974 )
G1231 = NAND ( G1198, G975 )
G1232 = NAND ( G1201, G976 )
G1233 = NAND ( G1202, G977 )
G1234 = NAND ( G1205, G978 )
G1235 = NAND ( G979, G1206 )
G1236 = NAND ( G1209, G980 )
G1237 = NAND ( G1210, G981 )
G1238 = NAND ( G982, G1213 )
G1239 = BUF ( G1215 )
G1240 = NAND ( G1217, G1175, G1216, G1092 )
G1241 = BUF ( G1218 )
G1242 = BUF ( G1218 )
G1243 = AND ( G1215, G1220 )
G1244 = AND ( G1220, G378 )
G1245 = NAND ( G1181, G1221, G1098, G1222 )
G1246 = BUF ( G1223 )
G1247 = BUF ( G1223 )
G1248 = NAND ( G1224, G1225 )
G1249 = NAND ( G1227, G1191 )
G1250 = NAND ( G1192, G1228 )
G1251 = NAND ( G1195, G1229 )
G1252 = NAND ( G1230, G1196 )
G1253 = NAND ( G1199, G1231 )
G1254 = NAND ( G1232, G1200 )
G1255 = NAND ( G1233, G1203 )
G1256 = NAND ( G1234, G1204 )
G1257 = NAND ( G1235, G1207 )
G1258 = NAND ( G1236, G1208 )
G1259 = NAND ( G1211, G1237 )
G1260 = NAND ( G1212, G1238 )
G1261 = NOT ( G1240 )
G1262 = NOT ( G1241 )
G1263 = NAND ( G1241, G1177 )
G1264 = NAND ( G1242, G1178 )
G1265 = NOT ( G1242 )
G1266 = OR ( G1244, G1104 )
G1267 = NAND ( G1215, G1245 )
G1268 = AND ( G228, G1245 )
G1269 = NOT ( G1246 )
G1270 = NAND ( G1183, G1246 )
G1271 = NAND ( G1247, G1184 )
G1272 = NOT ( G1247 )
G1273 = NOT ( G1249 )
G1274 = NOT ( G1250 )
G1275 = BUF ( G1251 )
G1276 = BUF ( G1251 )
G1277 = NOT ( G1252 )
G1278 = BUF ( G1253 )
G1279 = BUF ( G1253 )
G1280 = NOT ( G1254 )
G1281 = NOT ( G1255 )
G1282 = NOT ( G1256 )
G1283 = AND ( G1143, G1257 )
G1284 = BUF ( G1257 )
G1285 = NOT ( G1258 )
G1286 = BUF ( G1259 )
G1287 = AND ( G1259, G47 )
G1288 = NOT ( G1260 )
G1289 = NAND ( G1262, G1148 )
G1290 = NAND ( G1149, G1265 )
G1291 = BUF ( G1266 )
G1292 = AND ( G47, G1266 )
G1293 = AND ( G1261, G1267 )
G1294 = BUF ( G1268 )
G1295 = BUF ( G1268 )
G1296 = NAND ( G1269, G1154 )
G1297 = NAND ( G1272, G1155 )
G1298 = AND ( G1274, G414 )
G1299 = NAND ( G1139, G1276 )
G1300 = BUF ( G1276 )
G1301 = AND ( G416, G1277 )
G1302 = BUF ( G1278 )
G1303 = AND ( G1280, G417 )
G1304 = AND ( G1282, G410 )
G1305 = OR ( G1283, G1100 )
G1306 = NAND ( G1172, G1284 )
G1307 = NOT ( G1284 )
G1308 = AND ( G412, G1285 )
G1309 = AND ( G1257, G1286 )
G1310 = AND ( G1286 )
G1311 = BUF ( G1287 )
G1312 = BUF ( G1287 )
G1313 = AND ( G413, G1288 )
G1314 = NAND ( G1263, G1289 )
G1315 = NAND ( G1264, G1290 )
G1316 = AND ( G1291, G1239 )
G1317 = AND ( G1291, G1279, G1276 )
G1318 = AND ( G1291, G1278 )
G1319 = NOT ( G1292 )
G1320 = NOT ( G1293 )
G1321 = AND ( G1294, G1239 )
G1322 = NOT ( G1294 )
G1323 = BUF ( G1294 )
G1324 = AND ( G1278, G1294 )
G1325 = NAND ( G1294, G1279, G1276 )
G1326 = NOT ( G1295 )
G1327 = NAND ( G1270, G1296 )
G1328 = NAND ( G1271, G1297 )
G1329 = NOR ( G1298, G1123, G586 )
G1330 = NOT ( G1300 )
G1331 = NOR ( G588, G1301, G1125 )
G1332 = NOT ( G1302 )
G1333 = NOR ( G1126, G589, G1303 )
G1334 = NOR ( G1304, G1091, G1127 )
G1335 = BUF ( G1305 )
G1336 = BUF ( G1305 )
G1337 = NAND ( G1307, G1144 )
G1338 = NOR ( G1308, G1226, G1129 )
G1339 = AND ( G1309, G47 )
G1340 = NAND ( G1310, G207 )
G1341 = NOT ( G1310 )
G1342 = NOT ( G1311 )
G1343 = NOT ( G1312 )
G1344 = NOR ( G1313, G1130, G1180 )
G1345 = BUF ( G1314 )
G1346 = BUF ( G1314 )
G1347 = NOT ( G1315 )
G1348 = BUF ( G1316 )
G1349 = AND ( G1317, G47 )
G1350 = AND ( G1318, G47 )
G1351 = OR ( G1240, G1321 )
G1352 = AND ( G1322, G47, G1266 )
G1353 = OR ( G1096, G1324 )
G1354 = NAND ( G1299, G1137, G1325 )
G1355 = NAND ( G1302, G1326 )
G1356 = AND ( G1327, G1257, G1286 )
G1357 = NAND ( G1327, G1100 )
G1358 = NAND ( G1143, G1327, G1257 )
G1359 = BUF ( G1327 )
G1360 = NOT ( G1328 )
G1361 = AND ( G1329, G536 )
G1362 = AND ( G540, G1331 )
G1363 = NAND ( G1295, G1332 )
G1364 = AND ( G542, G1333 )
G1365 = AND ( G544, G1334 )
G1366 = NOT ( G1335 )
G1367 = AND ( G1335, G1305 )
G1368 = NOT ( G1336 )
G1369 = NAND ( G1337, G1306 )
G1370 = AND ( G548, G1338 )
G1371 = NOT ( G1339 )
G1372 = NAND ( G1341, G126 )
G1373 = AND ( G1344, G550 )
G1374 = AND ( G1291, G1345, G1276, G1279 )
G1375 = NAND ( G1094, G1345 )
G1376 = NAND ( G1275, G1345, G1139 )
G1377 = NAND ( G1275, G1345, G1294, G1279 )
G1378 = NOT ( G1346 )
G1379 = AND ( G1347, G415 )
G1380 = NOT ( G1348 )
G1381 = NOT ( G1349 )
G1382 = BUF ( G1350 )
G1383 = BUF ( G1350 )
G1384 = BUF ( G1351 )
G1385 = BUF ( G1351 )
G1386 = OR ( G1352, G1323 )
G1387 = NOR ( G1352, G1323 )
G1388 = NOT ( G1353 )
G1389 = NAND ( G1353, G1330 )
G1390 = NOT ( G1354 )
G1391 = AND ( G1356, G47 )
G1392 = NAND ( G1358, G1219, G1357 )
G1393 = NOT ( G1359 )
G1394 = AND ( G411, G1360 )
G1395 = NAND ( G1363, G1355 )
G1396 = AND ( G1309, G47, G1366 )
G1397 = NAND ( G1368, G1359 )
G1398 = BUF ( G1369 )
G1399 = BUF ( G1369 )
G1400 = NAND ( G1372, G1340 )
G1401 = AND ( G1374, G47 )
G1402 = BUF ( G1374 )
G1403 = NAND ( G1376, G1375, G1214, G1377 )
G1404 = NAND ( G1378, G1354 )
G1405 = NOR ( G1379, G1124, G587 )
G1406 = NOT ( G1382 )
G1407 = NOT ( G1383 )
G1408 = NOT ( G1384 )
G1409 = AND ( G1351, G1384 )
G1410 = NOT ( G1385 )
G1411 = AND ( G1386, G218 )
G1412 = BUF ( G1387 )
G1413 = NAND ( G1300, G1388 )
G1414 = NAND ( G1390, G1346 )
G1415 = BUF ( G1391 )
G1416 = BUF ( G1391 )
G1417 = NOT ( G1392 )
G1418 = NAND ( G1281, G1392 )
G1419 = NAND ( G1393, G1336 )
G1420 = NOR ( G1394, G1128, G1122 )
G1421 = NOT ( G1395 )
G1422 = NAND ( G1319, G1395 )
G1423 = OR ( G1396, G1367 )
G1424 = NOT ( G1398 )
G1425 = NAND ( G1398, G1342 )
G1426 = NOT ( G1399 )
G1427 = NAND ( G1399, G1343 )
G1428 = AND ( G1400, G377 )
G1429 = AND ( G1400, G549 )
G1430 = BUF ( G1401 )
G1431 = BUF ( G1401 )
G1432 = NAND ( G1402, G1380 )
G1433 = NOT ( G1402 )
G1434 = BUF ( G1403 )
G1435 = BUF ( G1403 )
G1436 = AND ( G538, G1405 )
G1437 = AND ( G1408, G47, G1316 )
G1438 = OR ( G605, G604, G1411 )
G1439 = NOR ( G605, G604, G1411 )
G1440 = BUF ( G1412 )
G1441 = NAND ( G1389, G1413 )
G1442 = NAND ( G1414, G1404 )
G1443 = NOT ( G1415 )
G1444 = NOT ( G1416 )
G1445 = NAND ( G1255, G1417 )
G1446 = NAND ( G1419, G1397 )
G1447 = AND ( G546, G1420 )
G1448 = NAND ( G1292, G1421 )
G1449 = NAND ( G1311, G1424 )
G1450 = NAND ( G1426, G1312 )
G1451 = OR ( G1429, G1428, G1373 )
G1452 = NOR ( G1429, G1428, G1373 )
G1453 = NOT ( G1430 )
G1454 = NOT ( G1431 )
G1455 = NAND ( G1433, G1348 )
G1456 = NOT ( G1434 )
G1457 = NAND ( G1410, G1434 )
G1458 = NOT ( G1435 )
G1459 = NAND ( G1273, G1435 )
G1460 = NOR ( G1437, G1409 )
G1461 = NOT ( G1439 )
G1462 = NOT ( G1440 )
G1463 = BUF ( G1441 )
G1464 = BUF ( G1441 )
G1465 = NOT ( G1442 )
G1466 = NAND ( G1381, G1442 )
G1467 = NAND ( G1418, G1445 )
G1468 = NOT ( G1446 )
G1469 = NAND ( G1446, G1371 )
G1470 = NAND ( G1422, G1448 )
G1471 = NAND ( G1425, G1449 )
G1472 = NAND ( G1450, G1427 )
G1473 = BUF ( G1451 )
G1474 = NOT ( G1452 )
G1475 = NAND ( G1455, G1432 )
G1476 = NAND ( G1385, G1456 )
G1477 = NAND ( G1249, G1458 )
G1478 = BUF ( G1460 )
G1479 = AND ( G1461, G1438 )
G1480 = NOT ( G1463 )
G1481 = NAND ( G1463, G1406 )
G1482 = NOT ( G1464 )
G1483 = NAND ( G1464, G1407 )
G1484 = NAND ( G1465, G1349 )
G1485 = BUF ( G1467 )
G1486 = BUF ( G1467 )
G1487 = NAND ( G1468, G1339 )
G1488 = AND ( G1470, G373 )
G1489 = AND ( G1470, G541 )
G1490 = AND ( G376, G1471 )
G1491 = AND ( G1471, G1387 )
G1492 = NOT ( G1472 )
G1493 = NOT ( G1473 )
G1494 = AND ( G1474, G1451 )
G1495 = AND ( G1475, G47 )
G1496 = NAND ( G1457, G1476 )
G1497 = NAND ( G1459, G1477 )
G1498 = BUF ( G1478 )
G1499 = NAND ( G1480, G1382 )
G1500 = NAND ( G1383, G1482 )
G1501 = NAND ( G1484, G1466 )
G1502 = NOT ( G1485 )
G1503 = NAND ( G1485, G1443 )
G1504 = NOT ( G1486 )
G1505 = NAND ( G1486, G1444 )
G1506 = NAND ( G1469, G1487 )
G1507 = OR ( G1489, G1364, G1488 )
G1508 = NOR ( G1489, G1364, G1488 )
G1509 = NOT ( G1491 )
G1510 = NAND ( G1492, G1462 )
G1511 = NOT ( G1492 )
G1512 = NOT ( G1495 )
G1513 = NOT ( G1496 )
G1514 = BUF ( G1497 )
G1515 = BUF ( G1497 )
G1516 = NOT ( G1498 )
G1517 = NAND ( G1499, G1481 )
G1518 = NAND ( G1500, G1483 )
G1519 = AND ( G371, G1501 )
G1520 = BUF ( G1501 )
G1521 = NAND ( G1502, G1415 )
G1522 = NAND ( G1416, G1504 )
G1523 = AND ( G375, G1506 )
G1524 = BUF ( G1506 )
G1525 = BUF ( G1507 )
G1526 = BUF ( G1507 )
G1527 = NOT ( G1508 )
G1528 = NAND ( G1511, G1440 )
G1529 = NAND ( G1496, G1512 )
G1530 = NAND ( G1513, G1495 )
G1531 = NOT ( G1514 )
G1532 = NAND ( G1453, G1514 )
G1533 = NOT ( G1515 )
G1534 = NAND ( G1454, G1515 )
G1535 = AND ( G372, G1517 )
G1536 = AND ( G1517, G1460 )
G1537 = NOT ( G1518 )
G1538 = NOT ( G1520 )
G1539 = NAND ( G1503, G1521 )
G1540 = NAND ( G1505, G1522 )
G1541 = NOT ( G1524 )
G1542 = NAND ( G1509, G1524 )
G1543 = NOT ( G1525 )
G1544 = NOT ( G1526 )
G1545 = AND ( G1507, G1527 )
G1546 = NAND ( G1528, G1510 )
G1547 = NAND ( G1529, G1530 )
G1548 = NAND ( G1531, G1430 )
G1549 = NAND ( G1431, G1533 )
G1550 = NOT ( G1536 )
G1551 = NAND ( G1516, G1537 )
G1552 = NOT ( G1537 )
G1553 = NAND ( G1536, G1538 )
G1554 = AND ( G1506, G1539, G1471, G1412 )
G1555 = AND ( G1539, G374 )
G1556 = NOT ( G1540 )
G1557 = NAND ( G1491, G1541 )
G1558 = NOT ( G1546 )
G1559 = AND ( G1547, G353 )
G1560 = NAND ( G1548, G1532 )
G1561 = NAND ( G1549, G1534 )
G1562 = NAND ( G1520, G1550 )
G1563 = NAND ( G1552, G1498 )
G1564 = NOR ( G1556, G1412 )
G1565 = NAND ( G1542, G1557 )
G1566 = AND ( G547, G1558 )
G1567 = OR ( G1559, G775, G945 )
G1568 = NOR ( G1559, G775, G945 )
G1569 = AND ( G1560, G1478, G1517, G1501 )
G1570 = AND ( G1560, G370 )
G1571 = NOT ( G1561 )
G1572 = NAND ( G1553, G1562 )
G1573 = NAND ( G1551, G1563 )
G1574 = OR ( G1554, G1564 )
G1575 = AND ( G1565, G545 )
G1576 = OR ( G1370, G1490, G1566 )
G1577 = NOR ( G1370, G1490, G1566 )
G1578 = NOT ( G1568 )
G1579 = NOR ( G1478, G1571 )
G1580 = AND ( G1572, G537 )
G1581 = NOT ( G1573 )
G1582 = AND ( G1574, G543 )
G1583 = OR ( G1447, G1575, G1523 )
G1584 = NOR ( G1447, G1575, G1523 )
G1585 = BUF ( G1576 )
G1586 = NOT ( G1577 )
G1587 = AND ( G1567, G1578 )
G1588 = OR ( G1579, G1569 )
G1589 = OR ( G1519, G1436, G1580 )
G1590 = NOR ( G1519, G1436, G1580 )
G1591 = AND ( G539, G1581 )
G1592 = OR ( G1365, G1555, G1582 )
G1593 = NOR ( G1365, G1555, G1582 )
G1594 = BUF ( G1583 )
G1595 = NOT ( G1584 )
G1596 = NAND ( G1493, G1585 )
G1597 = NOT ( G1585 )
G1598 = AND ( G1576, G1586 )
G1599 = AND ( G535, G1588 )
G1600 = AND ( G1589 )
G1601 = AND ( G208, G1589 )
G1602 = BUF ( G1589 )
G1603 = OR ( G1362, G1535, G1591 )
G1604 = NOR ( G1362, G1535, G1591 )
G1605 = BUF ( G1592 )
G1606 = NOT ( G1593 )
G1607 = AND ( G1577, G1593, G1452, G1584 )
G1608 = NOT ( G1594 )
G1609 = AND ( G1583, G1595 )
G1610 = NAND ( G1597, G1473 )
G1611 = OR ( G1361, G1570, G1599 )
G1612 = NOR ( G1361, G1570, G1599 )
G1613 = BUF ( G1601 )
G1614 = BUF ( G1601 )
G1615 = NOT ( G1602 )
G1616 = BUF ( G1603 )
G1617 = NOT ( G1604 )
G1618 = NOT ( G1605 )
G1619 = AND ( G1606, G1592 )
G1620 = NAND ( G1608, G1605 )
G1621 = NAND ( G1610, G1596 )
G1622 = AND ( G1611 )
G1623 = AND ( G208, G1611 )
G1624 = BUF ( G1611 )
G1625 = AND ( G1612, G1604, G1508, G1590 )
G1626 = AND ( G1612, G209, G1590 )
G1627 = NOT ( G1613 )
G1628 = NOT ( G1614 )
G1629 = BUF ( G1616 )
G1630 = BUF ( G1616 )
G1631 = AND ( G1603, G1617 )
G1632 = NAND ( G1618, G1594 )
G1633 = BUF ( G1621 )
G1634 = BUF ( G1621 )
G1635 = BUF ( G1623 )
G1636 = BUF ( G1623 )
G1637 = NOT ( G1624 )
G1638 = NAND ( G1624, G1615 )
G1639 = AND ( G1607, G1625 )
G1640 = AND ( G1607, G1625 )
G1641 = NAND ( G1543, G1629 )
G1642 = NOT ( G1629 )
G1643 = NAND ( G1544, G1630 )
G1644 = NOT ( G1630 )
G1645 = NAND ( G1632, G1620 )
G1646 = NOT ( G1633 )
G1647 = NOT ( G1634 )
G1648 = NOT ( G1635 )
G1649 = NAND ( G1635, G1627 )
G1650 = NAND ( G1628, G1636 )
G1651 = NOT ( G1636 )
G1652 = NAND ( G1602, G1637 )
G1653 = NOT ( G1639 )
G1654 = NOR ( G1640, G1626 )
G1655 = NAND ( G1525, G1642 )
G1656 = NAND ( G1644, G1526 )
G1657 = BUF ( G1645 )
G1658 = BUF ( G1645 )
G1659 = NAND ( G1648, G1613 )
G1660 = NAND ( G1651, G1614 )
G1661 = NAND ( G1652, G1638 )
G1662 = AND ( G1654, G27 )
G1663 = NAND ( G1655, G1641 )
G1664 = NAND ( G1656, G1643 )
G1665 = NAND ( G1657, G1646 )
G1666 = NOT ( G1657 )
G1667 = NAND ( G1647, G1658 )
G1668 = NOT ( G1658 )
G1669 = NAND ( G1649, G1659 )
G1670 = NAND ( G1660, G1650 )
G1671 = NOT ( G1661 )
G1672 = NOT ( G1662 )
G1673 = BUF ( G1663 )
G1674 = NOT ( G1664 )
G1675 = NAND ( G1633, G1666 )
G1676 = NAND ( G1668, G1634 )
G1677 = AND ( G1663, G471, G1669 )
G1678 = NOT ( G1670 )
G1679 = NOT ( G1673 )
G1680 = NAND ( G1671, G1673 )
G1681 = AND ( G1674, G1669, G472 )
G1682 = NAND ( G1675, G1665 )
G1683 = NAND ( G1667, G1676 )
G1684 = AND ( G1663, G472, G1678 )
G1685 = AND ( G1674, G471, G1678 )
G1686 = NAND ( G1679, G1661 )
G1687 = BUF ( G1682 )
G1688 = BUF ( G1682 )
G1689 = NOT ( G1683 )
G1690 = OR ( G1681, G1677, G1684, G1685 )
G1691 = NAND ( G1686, G1680 )
G1692 = NOT ( G1687 )
G1693 = NOT ( G1688 )
G1694 = BUF ( G1689 )
G1695 = BUF ( G1689 )
G1696 = BUF ( G1690 )
G1697 = BUF ( G1690 )
G1698 = BUF ( G1691 )
G1699 = BUF ( G1691 )
G1700 = NOT ( G1694 )
G1701 = NOT ( G1695 )
G1702 = NOT ( G1696 )
G1703 = NOT ( G1697 )
G1704 = NAND ( G1698, G1692 )
G1705 = NOT ( G1698 )
G1706 = NAND ( G1693, G1699 )
G1707 = NOT ( G1699 )
G1708 = NAND ( G1696, G1700 )
G1709 = NAND ( G1701, G1697 )
G1710 = NAND ( G1702, G1694 )
G1711 = NAND ( G1703, G1695 )
G1712 = NAND ( G1687, G1705 )
G1713 = NAND ( G1707, G1688 )
G1714 = NAND ( G1710, G1708 )
G1715 = NAND ( G1711, G1709 )
G1716 = NAND ( G1704, G1712 )
G1717 = NAND ( G1713, G1706 )
G1718 = AND ( G1715, G1714 )
G1719 = NAND ( G1716, G1717 )