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)

OUTPUT(G855)
OUTPUT(G856)
OUTPUT(G857)
OUTPUT(G858)
OUTPUT(G859)
OUTPUT(G860)
OUTPUT(G861)
OUTPUT(G862)
OUTPUT(G863)
OUTPUT(G864)
OUTPUT(G865)
OUTPUT(G866)
OUTPUT(G867)
OUTPUT(G868)
OUTPUT(G869)
OUTPUT(G870)
OUTPUT(G871)
OUTPUT(G872)
OUTPUT(G873)
OUTPUT(G874)
OUTPUT(G875)
OUTPUT(G876)
OUTPUT(G877)
OUTPUT(G878)
OUTPUT(G879)
OUTPUT(G880)

G269 = NAND(G1,G2,G3,G4)
G270 = NAND(G1,G5,G3,G4)
G273 = AND(G6,G7,G8)
G276 = AND(G1,G5,G9)
G279 = NAND(G1,G2,G9,G4)
G280 = NAND(G1,G2,G3,G10)
G284 = NAND(G11,G8,G12,G13)
G285 = NAND(G6,G12)
G286 = NAND(G11,G12,G15)
G287 = AND(G6,G16,G17)
G290 = AND(G6,G16,G8)
G291 = AND(G6,G7,G17)
G292 = AND(G6,G7,G8)
G293 = AND(G11,G16,G17)
G294 = AND(G11,G16,G8)
G295 = AND(G11,G7,G17)
G296 = AND(G11,G7,G8)
G297 = AND(G18,G19)
G298 = OR(G20,G21)
G301 = NAND(G24,G25)
G302 = OR(G24,G25)
G303 = NAND(G26,G27)
G304 = OR(G26,G27)
G305 = NAND(G28,G29)
G306 = OR(G28,G29)
G307 = NAND(G30,G31)
G308 = OR(G30,G31)
G309 = AND(G2,G34)
G310 = NOT(G60)
G316 = AND(G9,G34)
G317 = AND(G4,G34)
G318 = AND(G38,G34)
G319 = NAND(G11,G40)
G322 = NOR(G4,G8)
G323 = AND(G4,G8)
G324 = NAND(G41,G42)
G325 = OR(G41,G42)
G326 = NAND(G43,G44)
G327 = OR(G43,G44)
G328 = NAND(G45,G46)
G329 = OR(G45,G46)
G330 = NAND(G47,G48)
G331 = OR(G47,G48)
G332 = AND(G50,G24)
G333 = AND(G50,G25)
G334 = AND(G50,G26)
G335 = AND(G50,G27)
G336 = AND(G50,G28)
G337 = AND(G55,G56)
G338 = AND(G50,G29)
G339 = AND(G55,G57)
G340 = AND(G50,G30)
G341 = AND(G55,G59)
G342 = NOT(G269)
G343 = NOT(G273)
G344 = OR(G270,G273)
G345 = NOT(G276)
G346 = NOT(G276)
G347 = NOT(G279)
G348 = NOR(G280,G284)
G349 = OR(G280,G285)
G350 = OR(G280,G286)
G351 = NOT(G293)
G352 = NOT(G294)
G353 = NOT(G295)
G354 = NOT(G296)
G355 = NAND(G22,G298)
G356 = AND(G23,G298)
G357 = NAND(G301,G302)
G360 = NAND(G303,G304)
G363 = NAND(G305,G306)
G366 = NAND(G307,G308)
G369 = NOT(G310)
G375 = NOR(G322,G323)
G376 = NAND(G324,G325)
G379 = NAND(G326,G327)
G382 = NAND(G328,G329)
G385 = NAND(G330,G331)
G388 = OR(G270,G343)
G389 = NOT(G345)
G395 = NOT(G346)
G396 = AND(G348,G14)
G397 = NOT(G349)
G398 = NOT(G350)
G399 = NOT(G355)
G400 = NOT(G357)
G401 = NOT(G360)
G402 = AND(G357,G360)
G403 = NOT(G363)
G404 = NOT(G366)
G405 = AND(G363,G366)
G406 = NAND(G347,G352)
G407 = NOT(G376)
G408 = NOT(G379)
G409 = AND(G376,G379)
G410 = NOT(G382)
G411 = NOT(G385)
G412 = AND(G382,G385)
G413 = AND(G50,G369)
G414 = NOT(G396)
G415 = AND(G400,G401)
G416 = AND(G403,G404)
G417 = AND(G319,G389,G10)
G422 = AND(G389,G4,G287)
G427 = NAND(G389,G287,G10)
G432 = NAND(G375,G11,G40,G389)
G433 = NAND(G389,G319,G4)
G434 = AND(G407,G408)
G435 = AND(G410,G411)
G436 = NOT(G414)
G445 = NOR(G402,G415)
G448 = NOR(G405,G416)
G451 = NAND(G432,G406)
G460 = AND(G35,G417)
G461 = AND(G310,G422)
G462 = AND(G36,G417)
G463 = AND(G310,G422)
G464 = AND(G37,G417)
G465 = AND(G310,G422)
G466 = AND(G39,G417)
G467 = AND(G310,G422)
G468 = NAND(G433,G1)
G473 = OR(G369,G427)
G474 = OR(G369,G427)
G475 = OR(G369,G427)
G476 = OR(G369,G427)
G477 = NOR(G409,G434)
G480 = NOR(G412,G435)
G483 = NAND(G32,G445)
G484 = OR(G32,G445)
G485 = NAND(G448,G33)
G486 = OR(G448,G33)
G487 = AND(G24,G451)
G488 = NOR(G460,G461)
G489 = AND(G25,G451)
G490 = NOR(G462,G463)
G491 = AND(G26,G451)
G492 = NOR(G464,G465)
G493 = AND(G27,G451)
G494 = NOR(G466,G467)
G495 = AND(G35,G468)
G496 = AND(G28,G451)
G497 = AND(G36,G468)
G498 = AND(G29,G451)
G499 = AND(G37,G468)
G500 = AND(G30,G451)
G501 = AND(G39,G468)
G502 = AND(G31,G451)
G503 = NAND(G32,G477)
G504 = OR(G32,G477)
G505 = NAND(G480,G49)
G506 = OR(G480,G49)
G507 = AND(G436,G41)
G508 = AND(G436,G42)
G509 = AND(G436,G43)
G510 = AND(G436,G44)
G511 = AND(G436,G45)
G512 = NAND(G436,G46)
G513 = NAND(G436,G47)
G514 = NAND(G436,G48)
G515 = NAND(G483,G484)
G518 = NAND(G485,G486)
G521 = NOR(G309,G487)
G522 = NOR(G316,G489)
G523 = NOR(G317,G491)
G524 = NOR(G318,G493)
G525 = NOR(G495,G496)
G526 = NOR(G497,G498)
G527 = NOR(G499,G500)
G528 = NOR(G501,G502)
G529 = NAND(G503,G504)
G532 = NAND(G505,G506)
G535 = NOT(G515)
G536 = NOT(G518)
G537 = AND(G515,G518)
G538 = NAND(G521,G488)
G542 = NAND(G522,G490)
G546 = NAND(G523,G492)
G550 = NAND(G524,G494)
G554 = NAND(G473,G525)
G558 = NAND(G474,G526)
G562 = NAND(G475,G527)
G566 = NAND(G476,G528)
G570 = NOT(G529)
G571 = NOT(G532)
G572 = AND(G529,G532)
G573 = AND(G535,G536)
G574 = AND(G570,G571)
G575 = NAND(G538,G41)
G578 = OR(G538,G41)
G581 = AND(G54,G538)
G582 = NAND(G542,G42)
G585 = OR(G542,G42)
G590 = AND(G54,G542)
G591 = NAND(G546,G43)
G594 = OR(G546,G43)
G600 = AND(G54,G546)
G601 = NAND(G550,G44)
G604 = OR(G550,G44)
G609 = AND(G54,G550)
G610 = NAND(G554,G45)
G613 = OR(G554,G45)
G616 = AND(G54,G554)
G617 = NAND(G558,G46)
G620 = OR(G558,G46)
G625 = AND(G54,G558)
G626 = NAND(G562,G47)
G629 = OR(G562,G47)
G635 = AND(G54,G562)
G636 = NAND(G566,G48)
G639 = OR(G566,G48)
G644 = AND(G54,G566)
G645 = NOR(G537,G573)
G646 = NOR(G572,G574)
G647 = NOT(G575)
G650 = AND(G578,G575)
G654 = NOR(G581,G507)
G655 = NOT(G582)
G658 = AND(G585,G582)
G662 = NOR(G590,G508)
G663 = NOT(G591)
G667 = AND(G594,G591)
G671 = NOR(G600,G509)
G672 = NOT(G601)
G677 = AND(G604,G601)
G681 = NOR(G609,G510)
G682 = NOT(G610)
G685 = AND(G613,G610)
G689 = NOR(G616,G511)
G690 = NOT(G617)
G693 = AND(G620,G617)
G697 = NOR(G337,G625)
G698 = NOT(G626)
G702 = AND(G629,G626)
G706 = NOR(G339,G635)
G707 = NOT(G636)
G712 = AND(G639,G636)
G716 = NOR(G341,G644)
G717 = NAND(G639,G58)
G718 = NAND(G629,G639,G58)
G719 = NAND(G620,G629,G639,G58)
G720 = NOT(G647)
G721 = AND(G52,G650)
G722 = AND(G53,G647)
G723 = NOT(G655)
G724 = AND(G52,G658)
G725 = AND(G53,G655)
G726 = NOT(G663)
G727 = AND(G52,G667)
G728 = AND(G53,G663)
G729 = NOT(G672)
G730 = AND(G52,G677)
G731 = AND(G53,G672)
G732 = NOT(G682)
G733 = AND(G52,G685)
G734 = AND(G53,G682)
G735 = NOT(G690)
G736 = AND(G52,G693)
G737 = AND(G53,G690)
G738 = NOT(G698)
G739 = AND(G52,G702)
G740 = AND(G53,G698)
G741 = NOT(G707)
G742 = NOR(G712,G58)
G743 = AND(G712,G58)
G744 = AND(G52,G712)
G745 = AND(G53,G707)
G746 = NAND(G629,G707)
G747 = NAND(G620,G698)
G748 = NAND(G620,G629,G707)
G749 = NAND(G594,G672)
G750 = NAND(G585,G663)
G751 = NAND(G585,G594,G672)
G752 = NOR(G721,G722)
G753 = NOR(G724,G725)
G754 = NOR(G727,G728)
G755 = NOR(G730,G731)
G756 = NAND(G735,G747,G748,G719)
G760 = NOR(G733,G734)
G761 = NAND(G738,G746,G718)
G764 = NOR(G736,G737)
G765 = NAND(G741,G717)
G768 = NOR(G739,G740)
G769 = NOR(G742,G743)
G770 = NOR(G744,G745)
G771 = NOR(G685,G756)
G772 = AND(G685,G756)
G773 = NOR(G693,G761)
G774 = AND(G693,G761)
G775 = NOR(G702,G765)
G776 = AND(G702,G765)
G777 = AND(G51,G769)
G778 = NAND(G613,G756)
G779 = NAND(G778,G732)
G785 = NOR(G771,G772)
G786 = NOR(G773,G774)
G787 = NOR(G775,G776)
G788 = NOR(G340,G777)
G789 = NOR(G677,G779)
G790 = AND(G677,G779)
G791 = AND(G51,G785)
G792 = AND(G51,G786)
G793 = AND(G51,G787)
G794 = NAND(G788,G770,G716,G514)
G795 = NAND(G604,G779)
G796 = NAND(G594,G604,G779)
G797 = NAND(G585,G594,G604,G779)
G798 = NAND(G723,G750,G751,G797)
G802 = NAND(G726,G749,G796)
G805 = NAND(G729,G795)
G808 = NOR(G789,G790)
G809 = NOR(G335,G791)
G810 = NOR(G336,G792)
G811 = NOR(G338,G793)
G812 = NOT(G794)
G813 = NOR(G650,G798)
G814 = AND(G650,G798)
G815 = NOR(G658,G802)
G816 = AND(G658,G802)
G817 = NOR(G667,G805)
G818 = AND(G667,G805)
G819 = AND(G51,G808)
G820 = NAND(G809,G760,G689)
G821 = NAND(G810,G764,G697,G512)
G822 = NAND(G811,G768,G706,G513)
G823 = NOT(G812)
G824 = NAND(G798,G578)
G825 = NOR(G813,G814)
G826 = NOR(G815,G816)
G827 = NOR(G817,G818)
G828 = NOR(G334,G819)
G829 = NOT(G820)
G830 = NOT(G821)
G831 = NOT(G822)
G832 = AND(G720,G824)
G833 = AND(G51,G825)
G834 = AND(G51,G826)
G835 = AND(G51,G827)
G836 = NAND(G828,G755,G681)
G837 = NOT(G829)
G838 = NOT(G830)
G839 = NOT(G831)
G840 = NOT(G832)
G841 = NOR(G413,G833)
G842 = NOR(G332,G834)
G843 = NOR(G333,G835)
G844 = NOT(G836)
G845 = NAND(G841,G752,G654)
G846 = NAND(G842,G753,G662)
G847 = NAND(G843,G754,G671)
G848 = NOT(G844)
G849 = NOT(G845)
G850 = NOT(G846)
G851 = NOT(G847)
G852 = NOT(G849)
G853 = NOT(G850)
G854 = NOT(G851)
G855 = NOT(G290)
G856 = NOT(G291)
G857 = NOT(G292)
G858 = NOT(G297)
G859 = NOT(G342)
G860 = NOT(G344)
G861 = NOT(G351)
G862 = NOT(G353)
G863 = NOT(G354)
G864 = NOT(G356)
G865 = NOT(G388)
G866 = NOT(G395)
G867 = NOT(G397)
G868 = NOT(G398)
G869 = NOT(G399)
G870 = NOT(G645)
G871 = NOT(G646)
G872 = NOT(G823)
G873 = NOT(G837)
G874 = NOT(G838)
G875 = NOT(G839)
G876 = NOT(G840)
G877 = NOT(G848)
G878 = NOT(G852)
G879 = NOT(G853)
G880 = NOT(G854)