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

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