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

{16,16,1,323,2,1,0}(2,10,2)(3,10,2)(4,10,2)(5,10,2)(6,10,2)(7,10,2)(8,10,2)(9,10,5)(2,11,2)(26,19,4)(26,19,2)(3,11,2)(29,20,4)(29,20,2)(30,28,4)(30,28,2)(31,33,3)(4,11,2)(35,21,4)(35,21,2)(36,34,4)(36,34,2)(37,39,3)(5,11,2)(41,22,4)(41,22,2)(42,40,4)(42,40,2)(43,45,3)(6,11,2)(47,23,4)(47,23,2)(48,46,4)(48,46,2)(49,51,3)(7,11,2)(53,24,4)(53,24,2)(54,52,4)(54,52,2)(55,57,3)(8,11,2)(59,25,4)(59,25,2)(60,58,4)(60,58,2)(61,63,3)(9,11,5)(65,65,1)(66,64,4)(66,64,2)(65,68,3)(2,12,2)(70,32,4)(70,32,2)(3,12,2)(73,38,4)(73,38,2)(74,72,4)(74,72,2)(75,77,3)(4,12,2)(79,44,4)(79,44,2)(80,78,4)(80,78,2)(81,83,3)(5,12,2)(85,50,4)(85,50,2)(86,84,4)(86,84,2)(87,89,3)(6,12,2)(91,56,4)(91,56,2)(92,90,4)(92,90,2)(93,95,3)(7,12,2)(97,62,4)(97,62,2)(98,96,4)(98,96,2)(99,101,3)(8,12,2)(103,67,4)(103,67,2)(104,102,4)(104,102,2)(105,107,3)(9,12,5)(109,69,4)(109,69,2)(110,108,4)(110,108,2)(111,113,3)(2,13,2)(115,76,4)(115,76,2)(3,13,2)(118,82,4)(118,82,2)(119,117,4)(119,117,2)(120,122,3)(4,13,2)(124,88,4)(124,88,2)(125,123,4)(125,123,2)(126,128,3)(5,13,2)(130,94,4)(130,94,2)(131,129,4)(131,129,2)(132,134,3)(6,13,2)(136,100,4)(136,100,2)(137,135,4)(137,135,2)(138,140,3)(7,13,2)(142,106,4)(142,106,2)(143,141,4)(143,141,2)(144,146,3)(8,13,2)(148,112,4)(148,112,2)(149,147,4)(149,147,2)(150,152,3)(9,13,5)(154,114,4)(154,114,2)(155,153,4)(155,153,2)(156,158,3)(2,14,2)(160,121,4)(160,121,2)(3,14,2)(163,127,4)(163,127,2)(164,162,4)(164,162,2)(165,167,3)(4,14,2)(169,133,4)(169,133,2)(170,168,4)(170,168,2)(171,173,3)(5,14,2)(175,139,4)(175,139,2)(176,174,4)(176,174,2)(177,179,3)(6,14,2)(181,145,4)(181,145,2)(182,180,4)(182,180,2)(183,185,3)(7,14,2)(187,151,4)(187,151,2)(188,186,4)(188,186,2)(189,191,3)(8,14,2)(193,157,4)(193,157,2)(194,192,4)(194,192,2)(195,197,3)(9,14,5)(199,159,4)(199,159,2)(200,198,4)(200,198,2)(201,203,3)(2,15,2)(205,166,4)(205,166,2)(3,15,2)(208,172,4)(208,172,2)(209,207,4)(209,207,2)(210,212,3)(4,15,2)(214,178,4)(214,178,2)(215,213,4)(215,213,2)(216,218,3)(5,15,2)(220,184,4)(220,184,2)(221,219,4)(221,219,2)(222,224,3)(6,15,2)(226,190,4)(226,190,2)(227,225,4)(227,225,2)(228,230,3)(7,15,2)(232,196,4)(232,196,2)(233,231,4)(233,231,2)(234,236,3)(8,15,2)(238,202,4)(238,202,2)(239,237,4)(239,237,2)(240,242,3)(9,15,5)(244,204,4)(244,204,2)(245,243,4)(245,243,2)(246,248,3)(2,16,2)(250,211,4)(250,211,2)(3,16,2)(253,217,4)(253,217,2)(254,252,4)(254,252,2)(255,257,3)(4,16,2)(259,223,4)(259,223,2)(260,258,4)(260,258,2)(261,263,3)(5,16,2)(265,229,4)(265,229,2)(266,264,4)(266,264,2)(267,269,3)(6,16,2)(271,235,4)(271,235,2)(272,270,4)(272,270,2)(273,275,3)(7,16,2)(277,241,4)(277,241,2)(278,276,4)(278,276,2)(279,281,3)(8,16,2)(283,247,4)(283,247,2)(284,282,4)(284,282,2)(285,287,3)(9,16,5)(289,249,4)(289,249,2)(290,288,4)(290,288,2)(291,293,3)(2,17,5)(295,256,4)(295,256,2)(3,17,5)(298,262,4)(298,262,2)(299,297,4)(299,297,2)(300,302,3)(4,17,5)(304,268,4)(304,268,2)(305,303,4)(305,303,2)(306,308,3)(5,17,5)(310,274,4)(310,274,2)(311,309,4)(311,309,2)(312,314,3)(6,17,5)(316,280,4)(316,280,2)(317,315,4)(317,315,2)(318,320,3)(7,17,5)(322,286,4)(322,286,2)(323,321,4)(323,321,2)(324,326,3)(8,17,5)(328,292,4)(328,292,2)(329,327,4)(329,327,2)(330,332,3)(9,17,2)(334,294,4)(334,294,2)(335,333,4)(335,333,2)(336,338,3)(339,339,1)(340,337,331,325,319,313,307,301,296,251,206,161,116,71,27,18)