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

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