ariths-gen/generated_circuits/cgp_circuits/flat/u_dadda_rca12.cgp

{24,24,1,768,2,1,0}([26]11,14,2)([27]10,15,2)([28]26,27,4)([29]26,27,2)([30]12,14,2)([31]11,15,2)([32]29,30,4)([33]29,30,2)([34]32,31,4)([35]32,31,2)([36]33,35,3)([37]10,16,2)([38]9,17,2)([39]37,38,4)([40]37,38,2)([41]13,14,2)([42]40,36,4)([43]40,36,2)([44]42,41,4)([45]42,41,2)([46]43,45,3)([47]12,15,2)([48]11,16,2)([49]10,17,2)([50]47,48,4)([51]47,48,2)([52]50,49,4)([53]50,49,2)([54]51,53,3)([55]9,18,2)([56]8,19,2)([57]55,56,4)([58]55,56,2)([59]58,54,4)([60]58,54,2)([61]59,46,4)([62]59,46,2)([63]60,62,3)([64]13,15,2)([65]12,16,2)([66]11,17,2)([67]64,65,4)([68]64,65,2)([69]67,66,4)([70]67,66,2)([71]68,70,3)([72]10,18,2)([73]9,19,2)([74]72,73,4)([75]72,73,2)([76]75,71,4)([77]75,71,2)([78]76,63,4)([79]76,63,2)([80]77,79,3)([81]13,16,2)([82]12,17,2)([83]11,18,2)([84]81,82,4)([85]81,82,2)([86]84,83,4)([87]84,83,2)([88]85,87,3)([89]13,17,2)([90]88,80,4)([91]88,80,2)([92]90,89,4)([93]90,89,2)([94]91,93,3)([95]6,14,2)([96]5,15,2)([97]95,96,4)([98]95,96,2)([99]7,14,2)([100]6,15,2)([101]98,99,4)([102]98,99,2)([103]101,100,4)([104]101,100,2)([105]102,104,3)([106]5,16,2)([107]4,17,2)([108]106,107,4)([109]106,107,2)([110]8,14,2)([111]109,105,4)([112]109,105,2)([113]111,110,4)([114]111,110,2)([115]112,114,3)([116]7,15,2)([117]6,16,2)([118]5,17,2)([119]116,117,4)([120]116,117,2)([121]119,118,4)([122]119,118,2)([123]120,122,3)([124]4,18,2)([125]3,19,2)([126]124,125,4)([127]124,125,2)([128]127,123,4)([129]127,123,2)([130]128,115,4)([131]128,115,2)([132]129,131,3)([133]9,14,2)([134]8,15,2)([135]7,16,2)([136]133,134,4)([137]133,134,2)([138]136,135,4)([139]136,135,2)([140]137,139,3)([141]6,17,2)([142]5,18,2)([143]4,19,2)([144]141,142,4)([145]141,142,2)([146]144,143,4)([147]144,143,2)([148]145,147,3)([149]3,20,2)([150]2,21,2)([151]149,150,4)([152]149,150,2)([153]152,148,4)([154]152,148,2)([155]153,140,4)([156]153,140,2)([157]154,156,3)([158]10,14,2)([159]9,15,2)([160]132,158,4)([161]132,158,2)([162]160,159,4)([163]160,159,2)([164]161,163,3)([165]8,16,2)([166]7,17,2)([167]6,18,2)([168]165,166,4)([169]165,166,2)([170]168,167,4)([171]168,167,2)([172]169,171,3)([173]5,19,2)([174]4,20,2)([175]3,21,2)([176]173,174,4)([177]173,174,2)([178]176,175,4)([179]176,175,2)([180]177,179,3)([181]2,22,2)([182]181,155,4)([183]181,155,2)([184]183,180,4)([185]183,180,2)([186]184,172,4)([187]184,172,2)([188]185,187,3)([189]9,16,2)([190]164,157,4)([191]164,157,2)([192]190,189,4)([193]190,189,2)([194]191,193,3)([195]8,17,2)([196]7,18,2)([197]6,19,2)([198]195,196,4)([199]195,196,2)([200]198,197,4)([201]198,197,2)([202]199,201,3)([203]5,20,2)([204]4,21,2)([205]3,22,2)([206]203,204,4)([207]203,204,2)([208]206,205,4)([209]206,205,2)([210]207,209,3)([211]2,23,2)([212]211,28,4)([213]211,28,2)([214]212,186,4)([215]212,186,2)([216]213,215,3)([217]216,210,4)([218]216,210,2)([219]217,202,4)([220]217,202,2)([221]218,220,3)([222]8,18,2)([223]194,188,4)([224]194,188,2)([225]223,222,4)([226]223,222,2)([227]224,226,3)([228]7,19,2)([229]6,20,2)([230]5,21,2)([231]228,229,4)([232]228,229,2)([233]231,230,4)([234]231,230,2)([235]232,234,3)([236]4,22,2)([237]3,23,2)([238]2,24,2)([239]236,237,4)([240]236,237,2)([241]239,238,4)([242]239,238,2)([243]240,242,3)([244]34,39,4)([245]34,39,2)([246]244,219,4)([247]244,219,2)([248]245,247,3)([249]248,243,4)([250]248,243,2)([251]249,235,4)([252]249,235,2)([253]250,252,3)([254]7,20,2)([255]227,221,4)([256]227,221,2)([257]255,254,4)([258]255,254,2)([259]256,258,3)([260]6,21,2)([261]5,22,2)([262]4,23,2)([263]260,261,4)([264]260,261,2)([265]263,262,4)([266]263,262,2)([267]264,266,3)([268]3,24,2)([269]2,25,2)([270]268,269,4)([271]268,269,2)([272]270,44,4)([273]270,44,2)([274]271,273,3)([275]52,57,4)([276]52,57,2)([277]275,251,4)([278]275,251,2)([279]276,278,3)([280]279,274,4)([281]279,274,2)([282]280,267,4)([283]280,267,2)([284]281,283,3)([285]8,20,2)([286]259,253,4)([287]259,253,2)([288]286,285,4)([289]286,285,2)([290]287,289,3)([291]7,21,2)([292]6,22,2)([293]5,23,2)([294]291,292,4)([295]291,292,2)([296]294,293,4)([297]294,293,2)([298]295,297,3)([299]4,24,2)([300]3,25,2)([301]299,300,4)([302]299,300,2)([303]301,61,4)([304]301,61,2)([305]302,304,3)([306]69,74,4)([307]69,74,2)([308]306,282,4)([309]306,282,2)([310]307,309,3)([311]310,305,4)([312]310,305,2)([313]311,298,4)([314]311,298,2)([315]312,314,3)([316]10,19,2)([317]290,284,4)([318]290,284,2)([319]317,316,4)([320]317,316,2)([321]318,320,3)([322]9,20,2)([323]8,21,2)([324]7,22,2)([325]322,323,4)([326]322,323,2)([327]325,324,4)([328]325,324,2)([329]326,328,3)([330]6,23,2)([331]5,24,2)([332]4,25,2)([333]330,331,4)([334]330,331,2)([335]333,332,4)([336]333,332,2)([337]334,336,3)([338]78,86,4)([339]78,86,2)([340]338,313,4)([341]338,313,2)([342]339,341,3)([343]342,337,4)([344]342,337,2)([345]343,329,4)([346]343,329,2)([347]344,346,3)([348]12,18,2)([349]321,315,4)([350]321,315,2)([351]349,348,4)([352]349,348,2)([353]350,352,3)([354]11,19,2)([355]10,20,2)([356]9,21,2)([357]354,355,4)([358]354,355,2)([359]357,356,4)([360]357,356,2)([361]358,360,3)([362]8,22,2)([363]7,23,2)([364]6,24,2)([365]362,363,4)([366]362,363,2)([367]365,364,4)([368]365,364,2)([369]366,368,3)([370]5,25,2)([371]370,92,4)([372]370,92,2)([373]371,345,4)([374]371,345,2)([375]372,374,3)([376]375,369,4)([377]375,369,2)([378]376,361,4)([379]376,361,2)([380]377,379,3)([381]353,347,4)([382]353,347,2)([383]381,94,4)([384]381,94,2)([385]382,384,3)([386]13,18,2)([387]12,19,2)([388]11,20,2)([389]386,387,4)([390]386,387,2)([391]389,388,4)([392]389,388,2)([393]390,392,3)([394]10,21,2)([395]9,22,2)([396]8,23,2)([397]394,395,4)([398]394,395,2)([399]397,396,4)([400]397,396,2)([401]398,400,3)([402]7,24,2)([403]6,25,2)([404]402,403,4)([405]402,403,2)([406]404,378,4)([407]404,378,2)([408]405,407,3)([409]408,401,4)([410]408,401,2)([411]409,393,4)([412]409,393,2)([413]410,412,3)([414]13,19,2)([415]385,380,4)([416]385,380,2)([417]415,414,4)([418]415,414,2)([419]416,418,3)([420]12,20,2)([421]11,21,2)([422]10,22,2)([423]420,421,4)([424]420,421,2)([425]423,422,4)([426]423,422,2)([427]424,426,3)([428]9,23,2)([429]8,24,2)([430]7,25,2)([431]428,429,4)([432]428,429,2)([433]431,430,4)([434]431,430,2)([435]432,434,3)([436]435,427,4)([437]435,427,2)([438]436,419,4)([439]436,419,2)([440]437,439,3)([441]13,20,2)([442]12,21,2)([443]413,441,4)([444]413,441,2)([445]443,442,4)([446]443,442,2)([447]444,446,3)([448]11,22,2)([449]10,23,2)([450]9,24,2)([451]448,449,4)([452]448,449,2)([453]451,450,4)([454]451,450,2)([455]452,454,3)([456]455,447,4)([457]455,447,2)([458]456,440,4)([459]456,440,2)([460]457,459,3)([461]13,21,2)([462]12,22,2)([463]11,23,2)([464]461,462,4)([465]461,462,2)([466]464,463,4)([467]464,463,2)([468]465,467,3)([469]13,22,2)([470]468,460,4)([471]468,460,2)([472]470,469,4)([473]470,469,2)([474]471,473,3)([475]5,14,2)([476]4,15,2)([477]475,476,4)([478]475,476,2)([479]4,16,2)([480]3,17,2)([481]478,479,4)([482]478,479,2)([483]481,480,4)([484]481,480,2)([485]482,484,3)([486]3,18,2)([487]2,19,2)([488]485,486,4)([489]485,486,2)([490]488,487,4)([491]488,487,2)([492]489,491,3)([493]2,20,2)([494]492,493,4)([495]492,493,2)([496]494,113,4)([497]494,113,2)([498]495,497,3)([499]498,130,4)([500]498,130,2)([501]499,138,4)([502]499,138,2)([503]500,502,3)([504]503,162,4)([505]503,162,2)([506]504,170,4)([507]504,170,2)([508]505,507,3)([509]508,192,4)([510]508,192,2)([511]509,200,4)([512]509,200,2)([513]510,512,3)([514]513,225,4)([515]513,225,2)([516]514,233,4)([517]514,233,2)([518]515,517,3)([519]518,257,4)([520]518,257,2)([521]519,265,4)([522]519,265,2)([523]520,522,3)([524]523,288,4)([525]523,288,2)([526]524,296,4)([527]524,296,2)([528]525,527,3)([529]528,319,4)([530]528,319,2)([531]529,327,4)([532]529,327,2)([533]530,532,3)([534]533,351,4)([535]533,351,2)([536]534,359,4)([537]534,359,2)([538]535,537,3)([539]538,383,4)([540]538,383,2)([541]539,391,4)([542]539,391,2)([543]540,542,3)([544]543,411,4)([545]543,411,2)([546]544,417,4)([547]544,417,2)([548]545,547,3)([549]8,25,2)([550]548,549,4)([551]548,549,2)([552]550,438,4)([553]550,438,2)([554]551,553,3)([555]10,24,2)([556]9,25,2)([557]554,555,4)([558]554,555,2)([559]557,556,4)([560]557,556,2)([561]558,560,3)([562]12,23,2)([563]11,24,2)([564]561,562,4)([565]561,562,2)([566]564,563,4)([567]564,563,2)([568]565,567,3)([569]13,23,2)([570]568,474,4)([571]568,474,2)([572]570,569,4)([573]570,569,2)([574]571,573,3)([575]4,14,2)([576]3,15,2)([577]575,576,4)([578]575,576,2)([579]3,16,2)([580]2,17,2)([581]578,579,4)([582]578,579,2)([583]581,580,4)([584]581,580,2)([585]582,584,3)([586]2,18,2)([587]585,586,4)([588]585,586,2)([589]587,97,4)([590]587,97,2)([591]588,590,3)([592]591,103,4)([593]591,103,2)([594]592,108,4)([595]592,108,2)([596]593,595,3)([597]596,121,4)([598]596,121,2)([599]597,126,4)([600]597,126,2)([601]598,600,3)([602]601,146,4)([603]601,146,2)([604]602,151,4)([605]602,151,2)([606]603,605,3)([607]606,178,4)([608]606,178,2)([609]607,182,4)([610]607,182,2)([611]608,610,3)([612]611,208,4)([613]611,208,2)([614]612,214,4)([615]612,214,2)([616]613,615,3)([617]616,241,4)([618]616,241,2)([619]617,246,4)([620]617,246,2)([621]618,620,3)([622]621,272,4)([623]621,272,2)([624]622,277,4)([625]622,277,2)([626]623,625,3)([627]626,303,4)([628]626,303,2)([629]627,308,4)([630]627,308,2)([631]628,630,3)([632]631,335,4)([633]631,335,2)([634]632,340,4)([635]632,340,2)([636]633,635,3)([637]636,367,4)([638]636,367,2)([639]637,373,4)([640]637,373,2)([641]638,640,3)([642]641,399,4)([643]641,399,2)([644]642,406,4)([645]642,406,2)([646]643,645,3)([647]646,425,4)([648]646,425,2)([649]647,433,4)([650]647,433,2)([651]648,650,3)([652]651,445,4)([653]651,445,2)([654]652,453,4)([655]652,453,2)([656]653,655,3)([657]656,458,4)([658]656,458,2)([659]657,466,4)([660]657,466,2)([661]658,660,3)([662]10,25,2)([663]661,662,4)([664]661,662,2)([665]663,472,4)([666]663,472,2)([667]664,666,3)([668]12,24,2)([669]11,25,2)([670]667,668,4)([671]667,668,2)([672]670,669,4)([673]670,669,2)([674]671,673,3)([675]13,24,2)([676]674,574,4)([677]674,574,2)([678]676,675,4)([679]676,675,2)([680]677,679,3)([681]2,14,2)([682]3,14,2)([683]2,16,2)([684]12,25,2)([685]2,15,2)([686]13,25,2)([687]682,685,4)([688]682,685,2)([689]683,577,4)([690]683,577,2)([691]689,688,4)([692]689,688,2)([693]690,692,3)([694]477,583,4)([695]477,583,2)([696]694,693,4)([697]694,693,2)([698]695,697,3)([699]483,589,4)([700]483,589,2)([701]699,698,4)([702]699,698,2)([703]700,702,3)([704]490,594,4)([705]490,594,2)([706]704,703,4)([707]704,703,2)([708]705,707,3)([709]496,599,4)([710]496,599,2)([711]709,708,4)([712]709,708,2)([713]710,712,3)([714]501,604,4)([715]501,604,2)([716]714,713,4)([717]714,713,2)([718]715,717,3)([719]506,609,4)([720]506,609,2)([721]719,718,4)([722]719,718,2)([723]720,722,3)([724]511,614,4)([725]511,614,2)([726]724,723,4)([727]724,723,2)([728]725,727,3)([729]516,619,4)([730]516,619,2)([731]729,728,4)([732]729,728,2)([733]730,732,3)([734]521,624,4)([735]521,624,2)([736]734,733,4)([737]734,733,2)([738]735,737,3)([739]526,629,4)([740]526,629,2)([741]739,738,4)([742]739,738,2)([743]740,742,3)([744]531,634,4)([745]531,634,2)([746]744,743,4)([747]744,743,2)([748]745,747,3)([749]536,639,4)([750]536,639,2)([751]749,748,4)([752]749,748,2)([753]750,752,3)([754]541,644,4)([755]541,644,2)([756]754,753,4)([757]754,753,2)([758]755,757,3)([759]546,649,4)([760]546,649,2)([761]759,758,4)([762]759,758,2)([763]760,762,3)([764]552,654,4)([765]552,654,2)([766]764,763,4)([767]764,763,2)([768]765,767,3)([769]559,659,4)([770]559,659,2)([771]769,768,4)([772]769,768,2)([773]770,772,3)([774]566,665,4)([775]566,665,2)([776]774,773,4)([777]774,773,2)([778]775,777,3)([779]572,672,4)([780]572,672,2)([781]779,778,4)([782]779,778,2)([783]780,782,3)([784]684,678,4)([785]684,678,2)([786]784,783,4)([787]784,783,2)([788]785,787,3)([789]680,686,4)([790]680,686,2)([791]789,788,4)([792]789,788,2)([793]790,792,3)(681,687,691,696,701,706,711,716,721,726,731,736,741,746,751,756,761,766,771,776,781,786,791,793)