s1423.bench.txt

好不容易才从国外网站上下下来的哦

G413 = AND(G335, G58)
G414 = AND(G413, G59)
G416 = AND(G417, G415)
G419 = AND(G358, G60)
G424 = AND(G420, G422)
G425 = AND(G431, G61)
G427 = AND(G428, G426)
G430 = AND(G432, G62)
G431 = AND(G358, G60)
G432 = AND(G358, G61)
G433 = AND(G356, G357)
G435 = AND(G340, G341)
G436 = AND(G352, G353)
G438 = AND(G439, G437)
G441 = AND(G442, G440)
G443 = AND(G615, G511)
G447 = AND(G448, G446)
G451 = AND(G452, G450)
G453 = AND(G615, G445)
G457 = AND(G455, G449, G728)
G459 = AND(G460, G458)
G462 = AND(G434, G67)
G464 = AND(G465, G463)
G467 = AND(G479, G68)
G469 = AND(G470, G468)
G472 = AND(G480, G69)
G477 = AND(G473, G475)
G478 = AND(G481, G70)
G479 = AND(G434, G67)
G480 = AND(G479, G68)
G481 = AND(G480, G69)
G488 = AND(G505, G506)
G489 = AND(G508, G509)
G490 = AND(G512, G513)
G494 = AND(G492, G493)
G498 = AND(G496, G497)
G503 = AND(G501, G502)
G526 = AND(G527, G525)
G529 = AND(G604, G74)
G531 = AND(G532, G530)
G534 = AND(G550, G75)
G536 = AND(G537, G535)
G539 = AND(G551, G76)
G541 = AND(G542, G540)
G544 = AND(G552, G77)
G548 = AND(G545, G547)
G549 = AND(G553, G78)
G550 = AND(G604, G74)
G551 = AND(G550, G75)
G552 = AND(G551, G76)
G553 = AND(G552, G77)
G565 = AND(G563, G564)
G569 = AND(G567, G568)
G573 = AND(G571, G572)
G577 = AND(G575, G576)
G589 = AND(G627, G628)
G590 = AND(G591, G588)
G592 = AND(G594, G595)
G601 = AND(G621, G622)
G604 = AND(G433, G524)
G608 = AND(G606, G607)
G613 = AND(G611, G612)
G648 = AND(G646, G647)
G649 = AND(G618, G619)
G650 = AND(G226, G661)
G651 = AND(G227, G87)
G652 = AND(G228, G88)
G653 = AND(G229, G89)
G654 = AND(G90, G476)
G655 = AND(G91, G476)
G657 = AND(G659, G656)
G663 = AND(G664, G662)
G664 = AND(G666, G667)
G669 = AND(G670, G668)
G670 = AND(G672, G673)
G675 = AND(G676, G674)
G676 = AND(G679, G680)
G683 = AND(G684, G685)
G688 = AND(G690, G691)
G694 = AND(G697, G698)
G702 = AND(G703, G645)
G705 = AND(G230, G704)
G707 = AND(G708, G706)
G709 = AND(G678, G89)
G713 = AND(G599, G711)
G727 = AND(G476, G645)

G110 = OR(G700, G111)
G126 = OR(G135, G127)
G141 = OR(G177, G142)
G167 = OR(G172, G178)
G177 = OR(G180, G226)
G181 = OR(G178, G180)
G182 = OR(G35, G179)
G183 = OR(G180, G227)
G184 = OR(G180, G173)
G190 = OR(G522, G191)
G209 = OR(G183, G210)
G215 = OR(G222, G216)
G235 = OR(G649, G233)
G275 = OR(G101, G42)
G276 = OR(G102, G43)
G277 = OR(G267, G271)
G278 = OR(G103, G44)
G279 = OR(G268, G272)
G280 = OR(G104, G45)
G281 = OR(G269, G273)
G282 = OR(G105, G46)
G283 = OR(G270, G274)
G291 = OR(G42, G101)
G292 = OR(G43, G102)
G293 = OR(G44, G103)
G294 = OR(G45, G104)
G295 = OR(G46, G105)
G300 = OR(G50, G49, G48, G47)
G306 = OR(G47, G324)
G307 = OR(G719, G305)
G312 = OR(G48, G324)
G313 = OR(G47, G311)
G318 = OR(G49, G324)
G319 = OR(G48, G317)
G324 = OR(G377, G348)
G325 = OR(G50, G324)
G326 = OR(G49, G323)
G333 = OR(G300, G714)
G334 = OR(G301, G714)
G337 = OR(G224, G355)
G338 = OR(G183, G336)
G340 = OR(G38, G355)
G341 = OR(G185, G339)
G344 = OR(G229, G348)
G345 = OR(G414, G343)
G349 = OR(G62, G348)
G350 = OR(G59, G347)
G352 = OR(G346, G645)
G353 = OR(G35, G351)
G355 = OR(G457, G645)
G356 = OR(G225, G355)
G357 = OR(G184, G354)
G372 = OR(G712, G358)
G391 = OR(G712, G377)
G404 = OR(G712, G413)
G423 = OR(G712, G432)
G434 = OR(G342, G645)
G439 = OR(G435, G63)
G448 = OR(G615, G65)
G456 = OR(G83, G524)
G492 = OR(G71, G500)
G493 = OR(G488, G491)
G496 = OR(G72, G500)
G497 = OR(G489, G495)
G500 = OR(G654, G712)
G501 = OR(G73, G500)
G502 = OR(G490, G499)
G505 = OR(G723, G511)
G506 = OR(G720, G504)
G508 = OR(G724, G511)
G509 = OR(G721, G507)
G512 = OR(G725, G511)
G513 = OR(G722, G510)
G518 = OR(G71, G67)
G519 = OR(G72, G68)
G520 = OR(G73, G69)
G521 = OR(G487, G70)
G522 = OR(G348, G228)
G523 = OR(G348, G414)
G524 = OR(G554, G555)
G563 = OR(G79, G610)
G564 = OR(G715, G562)
G567 = OR(G80, G610)
G568 = OR(G716, G566)
G571 = OR(G81, G610)
G572 = OR(G717, G570)
G575 = OR(G82, G610)
G576 = OR(G718, G574)
G583 = OR(G79, G74)
G584 = OR(G80, G75)
G585 = OR(G81, G76)
G586 = OR(G82, G77)
G587 = OR(G561, G78)
G591 = OR(G592, G604)
G594 = OR(G83, G593)
G602 = OR(G85, G601)
G603 = OR(G600, G84)
G606 = OR(G84, G610)
G607 = OR(G696, G605)
G610 = OR(G655, G712)
G611 = OR(G85, G610)
G612 = OR(G678, G609)
G618 = OR(G457, G645)
G619 = OR(G715, G617)
G621 = OR(G614, G645)
G622 = OR(G717, G620)
G624 = OR(G476, G645)
G625 = OR(G716, G623)
G627 = OR(G476, G645)
G628 = OR(G718, G626)
G630 = OR(G96, G645)
G631 = OR(G720, G629)
G633 = OR(G97, G645)
G634 = OR(G721, G632)
G636 = OR(G98, G645)
G637 = OR(G722, G635)
G639 = OR(G99, G645)
G640 = OR(G723, G638)
G642 = OR(G100, G645)
G643 = OR(G724, G641)
G646 = OR(G456, G645)
G647 = OR(G725, G644)
G666 = OR(G87, G678)
G667 = OR(G661, G665)
G672 = OR(G88, G678)
G673 = OR(G87, G671)
G679 = OR(G89, G678)
G680 = OR(G88, G677)
G682 = OR(G681, G699)
G684 = OR(G645, G696)
G687 = OR(G686, G699)
G690 = OR(G348, G696)
G691 = OR(G645, G689)
G693 = OR(G692, G699)
G697 = OR(G180, G696)
G698 = OR(G348, G695)
G699 = OR(G658, G712)

G96 = NAND(G74, G596)
G97 = NAND(G75, G596)
G98 = NAND(G76, G596)
G99 = NAND(G77, G596)
G100 = NAND(G78, G596)
G106 = NAND(G107, G110)
G107 = NAND(G700, G111)
G122 = NAND(G123, G126)
G123 = NAND(G135, G127)
G137 = NAND(G138, G141)
G138 = NAND(G177, G142)
G163 = NAND(G164, G167)
G164 = NAND(G172, G178)
G186 = NAND(G187, G190)
G187 = NAND(G522, G191)
G205 = NAND(G206, G209)
G206 = NAND(G183, G210)
G211 = NAND(G212, G215)
G212 = NAND(G222, G216)
G230 = NAND(G234, G235)
G231 = NAND(G435, G648)
G232 = NAND(G296, G298, G435)
G233 = NAND(G700, G232, G231)
G234 = NAND(G649, G436)
G266 = NAND(G286, G291)
G267 = NAND(G287, G292)
G268 = NAND(G288, G293)
G269 = NAND(G284, G294)
G270 = NAND(G285, G295)
G284 = NAND(G45, G104)
G285 = NAND(G46, G105)
G286 = NAND(G42, G101)
G287 = NAND(G43, G102)
G288 = NAND(G44, G103)
G297 = NAND(G289, G290)
G298 = NAND(G297, G700)
G301 = NAND(G50, G49, G48, G47)
G331 = NAND(G333, G22)
G332 = NAND(G334, G331)
G476 = NAND(G486, G616)
G482 = NAND(G514, G518)
G483 = NAND(G515, G519)
G484 = NAND(G516, G520)
G485 = NAND(G517, G521)
G514 = NAND(G71, G67)
G515 = NAND(G72, G68)
G516 = NAND(G73, G69)
G517 = NAND(G487, G70)
G554 = NAND(G556, G557, G558)
G555 = NAND(G559, G560)
G556 = NAND(G578, G583)
G557 = NAND(G579, G584)
G558 = NAND(G580, G585)
G559 = NAND(G581, G586)
G560 = NAND(G582, G587)
G578 = NAND(G79, G74)
G579 = NAND(G80, G75)
G580 = NAND(G81, G76)
G581 = NAND(G82, G77)
G582 = NAND(G561, G78)
G597 = NAND(G602, G603)
G598 = NAND(G435, G83)
G616 = NAND(G482, G483, G484, G485)
G700 = NAND(G282, G283)

G114 = NOR(G115, G116)
G115 = NOR(G133, G25)
G119 = NOR(G120, G121)
G120 = NOR(G134, G26)
G130 = NOR(G131, G132)
G131 = NOR(G136, G28)
G145 = NOR(G146, G147)
G146 = NOR(G168, G30)
G150 = NOR(G151, G152)
G151 = NOR(G169, G31)
G155 = NOR(G156, G157)
G156 = NOR(G170, G32)
G160 = NOR(G161, G162)
G161 = NOR(G171, G33)
G194 = NOR(G195, G196)
G195 = NOR(G202, G37)
G199 = NOR(G200, G201)
G200 = NOR(G203, G38)
G219 = NOR(G220, G221)
G220 = NOR(G223, G41)
G238 = NOR(G239, G240)
G239 = NOR(G299, G42)
G243 = NOR(G244, G245)
G244 = NOR(G262, G43)
G248 = NOR(G249, G250)
G249 = NOR(G263, G44)
G253 = NOR(G254, G255)
G254 = NOR(G264, G45)
G256 = NOR(G257, G261)
G257 = NOR(G265, G46)
G289 = NOR(G270, G269, G268)
G290 = NOR(G267, G266)
G299 = NOR(G301, G328)
G327 = NOR(G330, G23)
G328 = NOR(G329, G327)
G361 = NOR(G362, G363)
G362 = NOR(G523, G51)
G366 = NOR(G367, G368)
G367 = NOR(G375, G52)
G369 = NOR(G370, G374)
G370 = NOR(G376, G53)
G380 = NOR(G381, G382)
G381 = NOR(G183, G54)
G385 = NOR(G386, G387)
G386 = NOR(G394, G55)
G388 = NOR(G389, G393)
G389 = NOR(G395, G56)
G398 = NOR(G399, G400)
G399 = NOR(G335, G57)
G401 = NOR(G402, G406)
G402 = NOR(G412, G58)
G409 = NOR(G410, G411)
G410 = NOR(G413, G59)
G417 = NOR(G418, G419)
G418 = NOR(G358, G60)
G420 = NOR(G421, G425)
G421 = NOR(G431, G61)
G428 = NOR(G429, G430)
G429 = NOR(G432, G62)
G442 = NOR(G443, G444)
G444 = NOR(G615, G64)
G452 = NOR(G453, G454)
G454 = NOR(G615, G66)
G460 = NOR(G461, G462)
G461 = NOR(G434, G67)
G465 = NOR(G466, G467)
G466 = NOR(G479, G68)
G470 = NOR(G471, G472)
G471 = NOR(G480, G69)
G473 = NOR(G474, G478)
G474 = NOR(G481, G70)
G487 = NOR(G71, G72, G73)
G527 = NOR(G528, G529)
G528 = NOR(G604, G74)
G532 = NOR(G533, G534)
G533 = NOR(G550, G75)
G537 = NOR(G538, G539)
G538 = NOR(G551, G76)
G542 = NOR(G543, G544)
G543 = NOR(G552, G77)
G545 = NOR(G546, G549)
G546 = NOR(G553, G78)
G561 = NOR(G79, G80, G81, G82)
G593 = NOR(G435, G524)
G599 = NOR(G598, G597)
G660 = NOR(G658, G86)
G681 = NOR(G683, G660)
G686 = NOR(G688, G660)
G692 = NOR(G694, G660)
G703 = NOR(G650, G651, G652, G653)
G708 = NOR(G709, G710)
G710 = NOR(G678, G94)