ariths-gen/generated_circuits/cgp_circuits/flat/f_u_arrmul12.chr

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