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

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