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

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