# 17 inputs
# 5 outputs
# 74 D-type flipflops
# 167 inverters
# 490 gates (197 ANDs + 64 NANDs + 137 ORs + 92 NORs)

INPUT(G0)
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)

OUTPUT(G726)
OUTPUT(G729)
OUTPUT(G702)
OUTPUT(G727)
OUTPUT(G701BF)

G22 = DFF(G332BF)
G23 = DFF(G328BF)
G24 = DFF(G109)
G25 = DFF(G113)
G26 = DFF(G118)
G27 = DFF(G125)
G28 = DFF(G129)
G29 = DFF(G140)
G30 = DFF(G144)
G31 = DFF(G149)
G32 = DFF(G154)
G33 = DFF(G159)
G34 = DFF(G166)
G35 = DFF(G175)
G36 = DFF(G189)
G37 = DFF(G193)
G38 = DFF(G198)
G39 = DFF(G208)
G40 = DFF(G214)
G41 = DFF(G218)
G42 = DFF(G237)
G43 = DFF(G242)
G44 = DFF(G247)
G45 = DFF(G252)
G46 = DFF(G260)
G47 = DFF(G303)
G48 = DFF(G309)
G49 = DFF(G315)
G50 = DFF(G321)
G51 = DFF(G360)
G52 = DFF(G365)
G53 = DFF(G373)
G54 = DFF(G379)
G55 = DFF(G384)
G56 = DFF(G392)
G57 = DFF(G397)
G58 = DFF(G405)
G59 = DFF(G408)
G60 = DFF(G416)
G61 = DFF(G424)
G62 = DFF(G427)
G63 = DFF(G438)
G64 = DFF(G441)
G65 = DFF(G447)
G66 = DFF(G451)
G67 = DFF(G459)
G68 = DFF(G464)
G69 = DFF(G469)
G70 = DFF(G477)
G71 = DFF(G494)
G72 = DFF(G498)
G73 = DFF(G503)
G74 = DFF(G526)
G75 = DFF(G531)
G76 = DFF(G536)
G77 = DFF(G541)
G78 = DFF(G548)
G79 = DFF(G565)
G80 = DFF(G569)
G81 = DFF(G573)
G82 = DFF(G577)
G83 = DFF(G590)
G84 = DFF(G608)
G85 = DFF(G613)
G86 = DFF(G657)
G87 = DFF(G663)
G88 = DFF(G669)
G89 = DFF(G675)
G90 = DFF(G682)
G91 = DFF(G687)
G92 = DFF(G693)
G93 = DFF(G705)
G94 = DFF(G707)
G95 = DFF(G713)

I1 = NOT(G332)
G332BF = NOT(I1)
I12 = NOT(G328)
G328BF = NOT(I12)
G108 = NOT(G712)
G111 = NOT(G24)
G112 = NOT(G712)
G117 = NOT(G712)
G124 = NOT(G712)
G127 = NOT(G27)
G128 = NOT(G712)
G139 = NOT(G712)
G142 = NOT(G29)
G143 = NOT(G712)
G148 = NOT(G712)
G153 = NOT(G712)
G158 = NOT(G712)
G165 = NOT(G712)
G174 = NOT(G712)
G176 = NOT(G35)
G178 = NOT(G34)
G179 = NOT(G180)
G180 = NOT(G92)
G188 = NOT(G712)
G191 = NOT(G36)
G192 = NOT(G712)
G197 = NOT(G712)
G204 = NOT(G38)
G207 = NOT(G712)
G210 = NOT(G39)
G213 = NOT(G712)
G216 = NOT(G40)
G217 = NOT(G712)
G236 = NOT(G259)
G241 = NOT(G259)
G246 = NOT(G259)
G251 = NOT(G259)
G258 = NOT(G259)
G296 = NOT(G297)
G302 = NOT(G712)
G305 = NOT(G324)
G308 = NOT(G712)
G311 = NOT(G324)
G314 = NOT(G712)
G317 = NOT(G324)
G320 = NOT(G712)
G323 = NOT(G324)
G336 = NOT(G355)
G339 = NOT(G355)
G343 = NOT(G348)
G347 = NOT(G348)
G348 = NOT(G91)
G351 = NOT(G645)
G354 = NOT(G355)
G359 = NOT(G372)
G364 = NOT(G372)
G371 = NOT(G372)
G378 = NOT(G391)
G383 = NOT(G391)
G390 = NOT(G391)
G396 = NOT(G404)
G403 = NOT(G404)
G407 = NOT(G712)
G415 = NOT(G423)
G422 = NOT(G423)
G426 = NOT(G712)
G437 = NOT(G712)
G440 = NOT(G712)
G445 = NOT(G65)
G446 = NOT(G712)
G449 = NOT(G66)
G450 = NOT(G712)
G455 = NOT(G456)
G458 = NOT(G476)
G463 = NOT(G476)
G468 = NOT(G476)
G475 = NOT(G476)
G486 = NOT(G712)
G491 = NOT(G500)
G495 = NOT(G500)
G499 = NOT(G500)
G504 = NOT(G511)
G507 = NOT(G511)
G510 = NOT(G511)
G511 = NOT(G63)
G525 = NOT(G589)
G530 = NOT(G589)
G535 = NOT(G589)
G540 = NOT(G589)
G547 = NOT(G589)
G562 = NOT(G610)
G566 = NOT(G610)
G570 = NOT(G610)
G574 = NOT(G610)
G588 = NOT(G589)
G595 = NOT(G593)
G596 = NOT(G597)
G600 = NOT(G601)
G605 = NOT(G610)
G609 = NOT(G610)
G614 = NOT(G64)
G615 = NOT(G616)
G617 = NOT(G645)
G620 = NOT(G645)
G623 = NOT(G645)
G626 = NOT(G645)
G629 = NOT(G645)
G632 = NOT(G645)
G635 = NOT(G645)
G638 = NOT(G645)
G641 = NOT(G645)
G644 = NOT(G645)
G645 = NOT(G90)
G656 = NOT(G712)
G658 = NOT(G659)
I1162 = NOT(G13)
G659 = NOT(I1162)
G661 = NOT(G94)
G662 = NOT(G712)
G665 = NOT(G678)
G668 = NOT(G712)
G671 = NOT(G678)
G674 = NOT(G712)
G677 = NOT(G678)
I1183 = NOT(G11)
G678 = NOT(I1183)
G685 = NOT(G696)
G689 = NOT(G696)
G695 = NOT(G696)
I1203 = NOT(G10)
G696 = NOT(I1203)
G701 = NOT(G15)
I1211 = NOT(G701)
G701BF = NOT(I1211)
G704 = NOT(G712)
G706 = NOT(G712)
G711 = NOT(G712)
G712 = NOT(G14)
G714 = NOT(G701)
I1227 = NOT(G6)
G715 = NOT(I1227)
I1230 = NOT(G7)
G716 = NOT(I1230)
I1233 = NOT(G8)
G717 = NOT(I1233)
I1236 = NOT(G9)
G718 = NOT(I1236)
I1239 = NOT(G12)
G719 = NOT(I1239)
I1242 = NOT(G0)
G720 = NOT(I1242)
I1245 = NOT(G1)
G721 = NOT(I1245)
I1248 = NOT(G2)
G722 = NOT(I1248)
I1251 = NOT(G3)
G723 = NOT(I1251)
I1254 = NOT(G4)
G724 = NOT(I1254)
I1257 = NOT(G5)
G725 = NOT(I1257)
I1260 = NOT(G93)
G726 = NOT(I1260)
I1264 = NOT(G16)
G728 = NOT(I1264)
I1267 = NOT(G95)
G729 = NOT(I1267)

G101 = AND(G630, G631)
G102 = AND(G633, G634)
G103 = AND(G636, G637)
G104 = AND(G639, G640)
G105 = AND(G642, G643)
G109 = AND(G106, G108)
G113 = AND(G114, G112)
G116 = AND(G133, G25)
G118 = AND(G119, G117)
G121 = AND(G134, G26)
G125 = AND(G122, G124)
G129 = AND(G130, G128)
G132 = AND(G136, G28)
G133 = AND(G700, G111)
G134 = AND(G133, G25)
G135 = AND(G134, G26)
G136 = AND(G135, G127)
G140 = AND(G137, G139)
G144 = AND(G145, G143)
G147 = AND(G168, G30)
G149 = AND(G150, G148)
G152 = AND(G169, G31)
G154 = AND(G155, G153)
G157 = AND(G170, G32)
G159 = AND(G160, G158)
G162 = AND(G171, G33)
G166 = AND(G163, G165)
G168 = AND(G177, G142)
G169 = AND(G168, G30)
G170 = AND(G169, G31)
G171 = AND(G170, G32)
G172 = AND(G171, G33)
G173 = AND(G172, G34)
G175 = AND(G176, G174)
G185 = AND(G181, G182)
G189 = AND(G186, G188)
G193 = AND(G194, G192)
G196 = AND(G202, G37)
G198 = AND(G199, G197)
G201 = AND(G203, G38)
G202 = AND(G522, G191)
G203 = AND(G202, G37)
G208 = AND(G205, G207)
G214 = AND(G211, G213)
G218 = AND(G219, G217)
G221 = AND(G223, G41)
G222 = AND(G183, G210)
G223 = AND(G222, G216)
G224 = AND(G203, G38)
G225 = AND(G204, G203)
G226 = AND(G136, G28)
G227 = AND(G172, G178)
G228 = AND(G223, G41)
G229 = AND(G432, G62)
G237 = AND(G238, G236)
G240 = AND(G299, G42)
G242 = AND(G243, G241)
G245 = AND(G262, G43)
G247 = AND(G248, G246)
G250 = AND(G263, G44)
G252 = AND(G253, G251)
G255 = AND(G264, G45)
G259 = AND(G624, G625)
G260 = AND(G256, G258)
G261 = AND(G265, G46)
G262 = AND(G299, G42)
G263 = AND(G262, G43)
G264 = AND(G263, G44)
G265 = AND(G264, G45)
G271 = AND(G275, G266)
G272 = AND(G276, G277)
G273 = AND(G278, G279)
G274 = AND(G280, G281)
G303 = AND(G304, G302)
G304 = AND(G306, G307)
G309 = AND(G310, G308)
G310 = AND(G312, G313)
G315 = AND(G316, G314)
G316 = AND(G318, G319)
G321 = AND(G322, G320)
G322 = AND(G325, G326)
G329 = AND(G331, G714)
G330 = AND(G332, G714)
G335 = AND(G337, G338)
G342 = AND(G344, G345)
G346 = AND(G349, G350)
G358 = AND(G523, G53)
G360 = AND(G361, G359)
G363 = AND(G523, G51)
G365 = AND(G366, G364)
G368 = AND(G375, G52)
G373 = AND(G369, G371)
G374 = AND(G376, G53)
G375 = AND(G523, G51)
G376 = AND(G375, G52)
G377 = AND(G183, G54, G56)
G379 = AND(G380, G378)
G382 = AND(G183, G54)
G384 = AND(G385, G383)
G387 = AND(G394, G55)
G392 = AND(G388, G390)
G393 = AND(G395, G56)
G394 = AND(G183, G54)
G395 = AND(G394, G55)
G397 = AND(G398, G396)
G400 = AND(G335, G57)
G405 = AND(G401, G403)
G406 = AND(G412, G58)
G408 = AND(G409, G407)
G411 = AND(G413, G59)
G412 = AND(G335, G57)
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)