ariths-gen/Generated_circuits/CGP_circuits/Flat/f_s_cla12.chr

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