atpg-ls/benchmark/b12.bench
2023-11-11 04:20:22 +00:00

1207 lines
28 KiB
Plaintext
Executable File

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