ariths-gen-mig/generated_circuits/cgp_circuits/flat/u_dadda_cla12.cgp

{24,24,1,893,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,3)([688]682,685,2)([689]682,685,4)([690]683,577,3)([691]683,577,2)([692]683,577,4)([693]692,688,4)([694]688,690,2)([695]691,694,3)([696]477,583,3)([697]477,583,2)([698]477,583,4)([699]698,695,4)([700]696,687,2)([701]688,696,2)([702]701,690,2)([703]691,696,2)([704]702,703,3)([705]697,704,3)([706]483,589,3)([707]483,589,2)([708]483,589,4)([709]708,705,4)([710]706,690,2)([711]688,696,2)([712]706,690,2)([713]711,712,2)([714]691,706,2)([715]714,696,2)([716]697,706,2)([717]713,716,3)([718]715,717,3)([719]707,718,3)([720]490,594,3)([721]490,594,2)([722]490,594,4)([723]722,719,4)([724]719,720,2)([725]721,724,3)([726]496,599,3)([727]496,599,2)([728]496,599,4)([729]728,725,4)([730]719,726,2)([731]730,720,2)([732]721,726,2)([733]731,732,3)([734]727,733,3)([735]501,604,3)([736]501,604,2)([737]501,604,4)([738]737,734,4)([739]719,726,2)([740]735,720,2)([741]739,740,2)([742]721,735,2)([743]742,726,2)([744]727,735,2)([745]741,743,3)([746]745,744,3)([747]736,746,3)([748]506,609,3)([749]506,609,2)([750]506,609,4)([751]750,747,4)([752]719,735,2)([753]748,726,2)([754]752,753,2)([755]754,720,2)([756]721,735,2)([757]748,726,2)([758]756,757,2)([759]727,748,2)([760]759,735,2)([761]736,748,2)([762]755,760,3)([763]758,761,3)([764]762,763,3)([765]749,764,3)([766]511,614,3)([767]511,614,2)([768]511,614,4)([769]768,765,4)([770]765,766,2)([771]767,770,3)([772]516,619,3)([773]516,619,2)([774]516,619,4)([775]774,771,4)([776]765,772,2)([777]776,766,2)([778]767,772,2)([779]777,778,3)([780]773,779,3)([781]521,624,3)([782]521,624,2)([783]521,624,4)([784]783,780,4)([785]765,772,2)([786]781,766,2)([787]785,786,2)([788]767,781,2)([789]788,772,2)([790]773,781,2)([791]787,789,3)([792]791,790,3)([793]782,792,3)([794]526,629,3)([795]526,629,2)([796]526,629,4)([797]796,793,4)([798]765,781,2)([799]794,772,2)([800]798,799,2)([801]800,766,2)([802]767,781,2)([803]794,772,2)([804]802,803,2)([805]773,794,2)([806]805,781,2)([807]782,794,2)([808]801,806,3)([809]804,807,3)([810]808,809,3)([811]795,810,3)([812]531,634,3)([813]531,634,2)([814]531,634,4)([815]814,811,4)([816]811,812,2)([817]813,816,3)([818]536,639,3)([819]536,639,2)([820]536,639,4)([821]820,817,4)([822]811,818,2)([823]822,812,2)([824]813,818,2)([825]823,824,3)([826]819,825,3)([827]541,644,3)([828]541,644,2)([829]541,644,4)([830]829,826,4)([831]811,818,2)([832]827,812,2)([833]831,832,2)([834]813,827,2)([835]834,818,2)([836]819,827,2)([837]833,835,3)([838]837,836,3)([839]828,838,3)([840]546,649,3)([841]546,649,2)([842]546,649,4)([843]842,839,4)([844]811,827,2)([845]840,818,2)([846]844,845,2)([847]846,812,2)([848]813,827,2)([849]840,818,2)([850]848,849,2)([851]819,840,2)([852]851,827,2)([853]828,840,2)([854]847,852,3)([855]850,853,3)([856]854,855,3)([857]841,856,3)([858]552,654,3)([859]552,654,2)([860]552,654,4)([861]860,857,4)([862]857,858,2)([863]859,862,3)([864]559,659,3)([865]559,659,2)([866]559,659,4)([867]866,863,4)([868]857,864,2)([869]868,858,2)([870]859,864,2)([871]869,870,3)([872]865,871,3)([873]566,665,3)([874]566,665,2)([875]566,665,4)([876]875,872,4)([877]857,864,2)([878]873,858,2)([879]877,878,2)([880]859,873,2)([881]880,864,2)([882]865,873,2)([883]879,881,3)([884]883,882,3)([885]874,884,3)([886]572,672,3)([887]572,672,2)([888]572,672,4)([889]888,885,4)([890]857,873,2)([891]886,864,2)([892]890,891,2)([893]892,858,2)([894]859,873,2)([895]886,864,2)([896]894,895,2)([897]865,886,2)([898]897,873,2)([899]874,886,2)([900]893,898,3)([901]896,899,3)([902]900,901,3)([903]887,902,3)([904]684,678,3)([905]684,678,2)([906]684,678,4)([907]906,903,4)([908]903,904,2)([909]905,908,3)([910]680,686,3)([911]680,686,2)([912]680,686,4)([913]912,909,4)([914]903,910,2)([915]914,904,2)([916]905,910,2)([917]915,916,3)([918]911,917,3)(681,689,693,699,709,723,729,738,751,769,775,784,797,815,821,830,843,861,867,876,889,907,913,918)