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

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