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

{32,32,1,1411,2,1,0}(2,18,2)(3,18,2)(4,18,2)(5,18,2)(6,18,2)(7,18,2)(8,18,2)(9,18,2)(10,18,2)(11,18,2)(12,18,2)(13,18,2)(14,18,2)(15,18,2)(16,18,2)(17,18,5)(2,19,2)(50,35,4)(50,35,2)(3,19,2)(53,36,4)(53,36,2)(54,52,4)(54,52,2)(55,57,3)(4,19,2)(59,37,4)(59,37,2)(60,58,4)(60,58,2)(61,63,3)(5,19,2)(65,38,4)(65,38,2)(66,64,4)(66,64,2)(67,69,3)(6,19,2)(71,39,4)(71,39,2)(72,70,4)(72,70,2)(73,75,3)(7,19,2)(77,40,4)(77,40,2)(78,76,4)(78,76,2)(79,81,3)(8,19,2)(83,41,4)(83,41,2)(84,82,4)(84,82,2)(85,87,3)(9,19,2)(89,42,4)(89,42,2)(90,88,4)(90,88,2)(91,93,3)(10,19,2)(95,43,4)(95,43,2)(96,94,4)(96,94,2)(97,99,3)(11,19,2)(101,44,4)(101,44,2)(102,100,4)(102,100,2)(103,105,3)(12,19,2)(107,45,4)(107,45,2)(108,106,4)(108,106,2)(109,111,3)(13,19,2)(113,46,4)(113,46,2)(114,112,4)(114,112,2)(115,117,3)(14,19,2)(119,47,4)(119,47,2)(120,118,4)(120,118,2)(121,123,3)(15,19,2)(125,48,4)(125,48,2)(126,124,4)(126,124,2)(127,129,3)(16,19,2)(131,49,4)(131,49,2)(132,130,4)(132,130,2)(133,135,3)(17,19,5)(137,137,1)(138,136,4)(138,136,2)(137,140,3)(2,20,2)(142,56,4)(142,56,2)(3,20,2)(145,62,4)(145,62,2)(146,144,4)(146,144,2)(147,149,3)(4,20,2)(151,68,4)(151,68,2)(152,150,4)(152,150,2)(153,155,3)(5,20,2)(157,74,4)(157,74,2)(158,156,4)(158,156,2)(159,161,3)(6,20,2)(163,80,4)(163,80,2)(164,162,4)(164,162,2)(165,167,3)(7,20,2)(169,86,4)(169,86,2)(170,168,4)(170,168,2)(171,173,3)(8,20,2)(175,92,4)(175,92,2)(176,174,4)(176,174,2)(177,179,3)(9,20,2)(181,98,4)(181,98,2)(182,180,4)(182,180,2)(183,185,3)(10,20,2)(187,104,4)(187,104,2)(188,186,4)(188,186,2)(189,191,3)(11,20,2)(193,110,4)(193,110,2)(194,192,4)(194,192,2)(195,197,3)(12,20,2)(199,116,4)(199,116,2)(200,198,4)(200,198,2)(201,203,3)(13,20,2)(205,122,4)(205,122,2)(206,204,4)(206,204,2)(207,209,3)(14,20,2)(211,128,4)(211,128,2)(212,210,4)(212,210,2)(213,215,3)(15,20,2)(217,134,4)(217,134,2)(218,216,4)(218,216,2)(219,221,3)(16,20,2)(223,139,4)(223,139,2)(224,222,4)(224,222,2)(225,227,3)(17,20,5)(229,141,4)(229,141,2)(230,228,4)(230,228,2)(231,233,3)(2,21,2)(235,148,4)(235,148,2)(3,21,2)(238,154,4)(238,154,2)(239,237,4)(239,237,2)(240,242,3)(4,21,2)(244,160,4)(244,160,2)(245,243,4)(245,243,2)(246,248,3)(5,21,2)(250,166,4)(250,166,2)(251,249,4)(251,249,2)(252,254,3)(6,21,2)(256,172,4)(256,172,2)(257,255,4)(257,255,2)(258,260,3)(7,21,2)(262,178,4)(262,178,2)(263,261,4)(263,261,2)(264,266,3)(8,21,2)(268,184,4)(268,184,2)(269,267,4)(269,267,2)(270,272,3)(9,21,2)(274,190,4)(274,190,2)(275,273,4)(275,273,2)(276,278,3)(10,21,2)(280,196,4)(280,196,2)(281,279,4)(281,279,2)(282,284,3)(11,21,2)(286,202,4)(286,202,2)(287,285,4)(287,285,2)(288,290,3)(12,21,2)(292,208,4)(292,208,2)(293,291,4)(293,291,2)(294,296,3)(13,21,2)(298,214,4)(298,214,2)(299,297,4)(299,297,2)(300,302,3)(14,21,2)(304,220,4)(304,220,2)(305,303,4)(305,303,2)(306,308,3)(15,21,2)(310,226,4)(310,226,2)(311,309,4)(311,309,2)(312,314,3)(16,21,2)(316,232,4)(316,232,2)(317,315,4)(317,315,2)(318,320,3)(17,21,5)(322,234,4)(322,234,2)(323,321,4)(323,321,2)(324,326,3)(2,22,2)(328,241,4)(328,241,2)(3,22,2)(331,247,4)(331,247,2)(332,330,4)(332,330,2)(333,335,3)(4,22,2)(337,253,4)(337,253,2)(338,336,4)(338,336,2)(339,341,3)(5,22,2)(343,259,4)(343,259,2)(344,342,4)(344,342,2)(345,347,3)(6,22,2)(349,265,4)(349,265,2)(350,348,4)(350,348,2)(351,353,3)(7,22,2)(355,271,4)(355,271,2)(356,354,4)(356,354,2)(357,359,3)(8,22,2)(361,277,4)(361,277,2)(362,360,4)(362,360,2)(363,365,3)(9,22,2)(367,283,4)(367,283,2)(368,366,4)(368,366,2)(369,371,3)(10,22,2)(373,289,4)(373,289,2)(374,372,4)(374,372,2)(375,377,3)(11,22,2)(379,295,4)(379,295,2)(380,378,4)(380,378,2)(381,383,3)(12,22,2)(385,301,4)(385,301,2)(386,384,4)(386,384,2)(387,389,3)(13,22,2)(391,307,4)(391,307,2)(392,390,4)(392,390,2)(393,395,3)(14,22,2)(397,313,4)(397,313,2)(398,396,4)(398,396,2)(399,401,3)(15,22,2)(403,319,4)(403,319,2)(404,402,4)(404,402,2)(405,407,3)(16,22,2)(409,325,4)(409,325,2)(410,408,4)(410,408,2)(411,413,3)(17,22,5)(415,327,4)(415,327,2)(416,414,4)(416,414,2)(417,419,3)(2,23,2)(421,334,4)(421,334,2)(3,23,2)(424,340,4)(424,340,2)(425,423,4)(425,423,2)(426,428,3)(4,23,2)(430,346,4)(430,346,2)(431,429,4)(431,429,2)(432,434,3)(5,23,2)(436,352,4)(436,352,2)(437,435,4)(437,435,2)(438,440,3)(6,23,2)(442,358,4)(442,358,2)(443,441,4)(443,441,2)(444,446,3)(7,23,2)(448,364,4)(448,364,2)(449,447,4)(449,447,2)(450,452,3)(8,23,2)(454,370,4)(454,370,2)(455,453,4)(455,453,2)(456,458,3)(9,23,2)(460,376,4)(460,376,2)(461,459,4)(461,459,2)(462,464,3)(10,23,2)(466,382,4)(466,382,2)(467,465,4)(467,465,2)(468,470,3)(11,23,2)(472,388,4)(472,388,2)(473,471,4)(473,471,2)(474,476,3)(12,23,2)(478,394,4)(478,394,2)(479,477,4)(479,477,2)(480,482,3)(13,23,2)(484,400,4)(484,400,2)(485,483,4)(485,483,2)(486,488,3)(14,23,2)(490,406,4)(490,406,2)(491,489,4)(491,489,2)(492,494,3)(15,23,2)(496,412,4)(496,412,2)(497,495,4)(497,495,2)(498,500,3)(16,23,2)(502,418,4)(502,418,2)(503,501,4)(503,501,2)(504,506,3)(17,23,5)(508,420,4)(508,420,2)(509,507,4)(509,507,2)(510,512,3)(2,24,2)(514,427,4)(514,427,2)(3,24,2)(517,433,4)(517,433,2)(518,516,4)(518,516,2)(519,521,3)(4,24,2)(523,439,4)(523,439,2)(524,522,4)(524,522,2)(525,527,3)(5,24,2)(529,445,4)(529,445,2)(530,528,4)(530,528,2)(531,533,3)(6,24,2)(535,451,4)(535,451,2)(536,534,4)(536,534,2)(537,539,3)(7,24,2)(541,457,4)(541,457,2)(542,540,4)(542,540,2)(543,545,3)(8,24,2)(547,463,4)(547,463,2)(548,546,4)(548,546,2)(549,551,3)(9,24,2)(553,469,4)(553,469,2)(554,552,4)(554,552,2)(555,557,3)(10,24,2)(559,475,4)(559,475,2)(560,558,4)(560,558,2)(561,563,3)(11,24,2)(565,481,4)(565,481,2)(566,564,4)(566,564,2)(567,569,3)(12,24,2)(571,487,4)(571,487,2)(572,570,4)(572,570,2)(573,575,3)(13,24,2)(577,493,4)(577,493,2)(578,576,4)(578,576,2)(579,581,3)(14,24,2)(583,499,4)(583,499,2)(584,582,4)(584,582,2)(585,587,3)(15,24,2)(589,505,4)(589,505,2)(590,588,4)(590,588,2)(591,593,3)(16,24,2)(595,511,4)(595,511,2)(596,594,4)(596,594,2)(597,599,3)(17,24,5)(601,513,4)(601,513,2)(602,600,4)(602,600,2)(603,605,3)(2,25,2)(607,520,4)(607,520,2)(3,25,2)(610,526,4)(610,526,2)(611,609,4)(611,609,2)(612,614,3)(4,25,2)(616,532,4)(616,532,2)(617,615,4)(617,615,2)(618,620,3)(5,25,2)(622,538,4)(622,538,2)(623,621,4)(623,621,2)(624,626,3)(6,25,2)(628,544,4)(628,544,2)(629,627,4)(629,627,2)(630,632,3)(7,25,2)(634,550,4)(634,550,2)(635,633,4)(635,633,2)(636,638,3)(8,25,2)(640,556,4)(640,556,2)(641,639,4)(641,639,2)(642,644,3)(9,25,2)(646,562,4)(646,562,2)(647,645,4)(647,645,2)(648,650,3)(10,25,2)(652,568,4)(652,568,2)(653,651,4)(653,651,2)(654,656,3)(11,25,2)(658,574,4)(658,574,2)(659,657,4)(659,657,2)(660,662,3)(12,25,2)(664,580,4)(664,580,2)(665,663,4)(665,663,2)(666,668,3)(13,25,2)(670,586,4)(670,586,2)(671,669,4)(671,669,2)(672,674,3)(14,25,2)(676,592,4)(676,592,2)(677,675,4)(677,675,2)(678,680,3)(15,25,2)(682,598,4)(682,598,2)(683,681,4)(683,681,2)(684,686,3)(16,25,2)(688,604,4)(688,604,2)(689,687,4)(689,687,2)(690,692,3)(17,25,5)(694,606,4)(694,606,2)(695,693,4)(695,693,2)(696,698,3)(2,26,2)(700,613,4)(700,613,2)(3,26,2)(703,619,4)(703,619,2)(704,702,4)(704,702,2)(705,707,3)(4,26,2)(709,625,4)(709,625,2)(710,708,4)(710,708,2)(711,713,3)(5,26,2)(715,631,4)(715,631,2)(716,714,4)(716,714,2)(717,719,3)(6,26,2)(721,637,4)(721,637,2)(722,720,4)(722,720,2)(723,725,3)(7,26,2)(727,643,4)(727,643,2)(728,726,4)(728,726,2)(729,731,3)(8,26,2)(733,649,4)(733,649,2)(734,732,4)(734,732,2)(735,737,3)(9,26,2)(739,655,4)(739,655,2)(740,738,4)(740,738,2)(741,743,3)(10,26,2)(745,661,4)(745,661,2)(746,744,4)(746,744,2)(747,749,3)(11,26,2)(751,667,4)(751,667,2)(752,750,4)(752,750,2)(753,755,3)(12,26,2)(757,673,4)(757,673,2)(758,756,4)(758,756,2)(759,761,3)(13,26,2)(763,679,4)(763,679,2)(764,762,4)(764,762,2)(765,767,3)(14,26,2)(769,685,4)(769,685,2)(770,768,4)(770,768,2)(771,773,3)(15,26,2)(775,691,4)(775,691,2)(776,774,4)(776,774,2)(777,779,3)(16,26,2)(781,697,4)(781,697,2)(782,780,4)(782,780,2)(783,785,3)(17,26,5)(787,699,4)(787,699,2)(788,786,4)(788,786,2)(789,791,3)(2,27,2)(793,706,4)(793,706,2)(3,27,2)(796,712,4)(796,712,2)(797,795,4)(797,795,2)(798,800,3)(4,27,2)(802,718,4)(802,718,2)(803,801,4)(803,801,2)(804,806,3)(5,27,2)(808,724,4)(808,724,2)(809,807,4)(809,807,2)(810,812,3)(6,27,2)(814,730,4)(814,730,2)(815,813,4)(815,813,2)(816,818,3)(7,27,2)(820,736,4)(820,736,2)(821,819,4)(821,819,2)(822,824,3)(8,27,2)(826,742,4)(826,742,2)(827,825,4)(827,825,2)(828,830,3)(9,27,2)(832,748,4)(832,748,2)(833,831,4)(833,831,2)(834,836,3)(10,27,2)(838,754,4)(838,754,2)(839,837,4)(839,837,2)(840,842,3)(11,27,2)(844,760,4)(844,760,2)(845,843,4)(845,843,2)(846,848,3)(12,27,2)(850,766,4)(850,766,2)(851,849,4)(851,849,2)(852,854,3)(13,27,2)(856,772,4)(856,772,2)(857,855,4)(857,855,2)(858,860,3)(14,27,2)(862,778,4)(862,778,2)(863,861,4)(863,861,2)(864,866,3)(15,27,2)(868,784,4)(868,784,2)(869,867,4)(869,867,2)(870,872,3)(16,27,2)(874,790,4)(874,790,2)(875,873,4)(875,873,2)(876,878,3)(17,27,5)(880,792,4)(880,792,2)(881,879,4)(881,879,2)(882,884,3)(2,28,2)(886,799,4)(886,799,2)(3,28,2)(889,805,4)(889,805,2)(890,888,4)(890,888,2)(891,893,3)(4,28,2)(895,811,4)(895,811,2)(896,894,4)(896,894,2)(897,899,3)(5,28,2)(901,817,4)(901,817,2)(902,900,4)(902,900,2)(903,905,3)(6,28,2)(907,823,4)(907,823,2)(908,906,4)(908,906,2)(909,911,3)(7,28,2)(913,829,4)(913,829,2)(914,912,4)(914,912,2)(915,917,3)(8,28,2)(919,835,4)(919,835,2)(920,918,4)(920,918,2)(921,923,3)(9,28,2)(925,841,4)(925,841,2)(926,924,4)(926,924,2)(927,929,3)(10,28,2)(931,847,4)(931,847,2)(932,930,4)(932,930,2)(933,935,3)(11,28,2)(937,853,4)(937,853,2)(938,936,4)(938,936,2)(939,941,3)(12,28,2)(943,859,4)(943,859,2)(944,942,4)(944,942,2)(945,947,3)(13,28,2)(949,865,4)(949,865,2)(950,948,4)(950,948,2)(951,953,3)(14,28,2)(955,871,4)(955,871,2)(956,954,4)(956,954,2)(957,959,3)(15,28,2)(961,877,4)(961,877,2)(962,960,4)(962,960,2)(963,965,3)(16,28,2)(967,883,4)(967,883,2)(968,966,4)(968,966,2)(969,971,3)(17,28,5)(973,885,4)(973,885,2)(974,972,4)(974,972,2)(975,977,3)(2,29,2)(979,892,4)(979,892,2)(3,29,2)(982,898,4)(982,898,2)(983,981,4)(983,981,2)(984,986,3)(4,29,2)(988,904,4)(988,904,2)(989,987,4)(989,987,2)(990,992,3)(5,29,2)(994,910,4)(994,910,2)(995,993,4)(995,993,2)(996,998,3)(6,29,2)(1000,916,4)(1000,916,2)(1001,999,4)(1001,999,2)(1002,1004,3)(7,29,2)(1006,922,4)(1006,922,2)(1007,1005,4)(1007,1005,2)(1008,1010,3)(8,29,2)(1012,928,4)(1012,928,2)(1013,1011,4)(1013,1011,2)(1014,1016,3)(9,29,2)(1018,934,4)(1018,934,2)(1019,1017,4)(1019,1017,2)(1020,1022,3)(10,29,2)(1024,940,4)(1024,940,2)(1025,1023,4)(1025,1023,2)(1026,1028,3)(11,29,2)(1030,946,4)(1030,946,2)(1031,1029,4)(1031,1029,2)(1032,1034,3)(12,29,2)(1036,952,4)(1036,952,2)(1037,1035,4)(1037,1035,2)(1038,1040,3)(13,29,2)(1042,958,4)(1042,958,2)(1043,1041,4)(1043,1041,2)(1044,1046,3)(14,29,2)(1048,964,4)(1048,964,2)(1049,1047,4)(1049,1047,2)(1050,1052,3)(15,29,2)(1054,970,4)(1054,970,2)(1055,1053,4)(1055,1053,2)(1056,1058,3)(16,29,2)(1060,976,4)(1060,976,2)(1061,1059,4)(1061,1059,2)(1062,1064,3)(17,29,5)(1066,978,4)(1066,978,2)(1067,1065,4)(1067,1065,2)(1068,1070,3)(2,30,2)(1072,985,4)(1072,985,2)(3,30,2)(1075,991,4)(1075,991,2)(1076,1074,4)(1076,1074,2)(1077,1079,3)(4,30,2)(1081,997,4)(1081,997,2)(1082,1080,4)(1082,1080,2)(1083,1085,3)(5,30,2)(1087,1003,4)(1087,1003,2)(1088,1086,4)(1088,1086,2)(1089,1091,3)(6,30,2)(1093,1009,4)(1093,1009,2)(1094,1092,4)(1094,1092,2)(1095,1097,3)(7,30,2)(1099,1015,4)(1099,1015,2)(1100,1098,4)(1100,1098,2)(1101,1103,3)(8,30,2)(1105,1021,4)(1105,1021,2)(1106,1104,4)(1106,1104,2)(1107,1109,3)(9,30,2)(1111,1027,4)(1111,1027,2)(1112,1110,4)(1112,1110,2)(1113,1115,3)(10,30,2)(1117,1033,4)(1117,1033,2)(1118,1116,4)(1118,1116,2)(1119,1121,3)(11,30,2)(1123,1039,4)(1123,1039,2)(1124,1122,4)(1124,1122,2)(1125,1127,3)(12,30,2)(1129,1045,4)(1129,1045,2)(1130,1128,4)(1130,1128,2)(1131,1133,3)(13,30,2)(1135,1051,4)(1135,1051,2)(1136,1134,4)(1136,1134,2)(1137,1139,3)(14,30,2)(1141,1057,4)(1141,1057,2)(1142,1140,4)(1142,1140,2)(1143,1145,3)(15,30,2)(1147,1063,4)(1147,1063,2)(1148,1146,4)(1148,1146,2)(1149,1151,3)(16,30,2)(1153,1069,4)(1153,1069,2)(1154,1152,4)(1154,1152,2)(1155,1157,3)(17,30,5)(1159,1071,4)(1159,1071,2)(1160,1158,4)(1160,1158,2)(1161,1163,3)(2,31,2)(1165,1078,4)(1165,1078,2)(3,31,2)(1168,1084,4)(1168,1084,2)(1169,1167,4)(1169,1167,2)(1170,1172,3)(4,31,2)(1174,1090,4)(1174,1090,2)(1175,1173,4)(1175,1173,2)(1176,1178,3)(5,31,2)(1180,1096,4)(1180,1096,2)(1181,1179,4)(1181,1179,2)(1182,1184,3)(6,31,2)(1186,1102,4)(1186,1102,2)(1187,1185,4)(1187,1185,2)(1188,1190,3)(7,31,2)(1192,1108,4)(1192,1108,2)(1193,1191,4)(1193,1191,2)(1194,1196,3)(8,31,2)(1198,1114,4)(1198,1114,2)(1199,1197,4)(1199,1197,2)(1200,1202,3)(9,31,2)(1204,1120,4)(1204,1120,2)(1205,1203,4)(1205,1203,2)(1206,1208,3)(10,31,2)(1210,1126,4)(1210,1126,2)(1211,1209,4)(1211,1209,2)(1212,1214,3)(11,31,2)(1216,1132,4)(1216,1132,2)(1217,1215,4)(1217,1215,2)(1218,1220,3)(12,31,2)(1222,1138,4)(1222,1138,2)(1223,1221,4)(1223,1221,2)(1224,1226,3)(13,31,2)(1228,1144,4)(1228,1144,2)(1229,1227,4)(1229,1227,2)(1230,1232,3)(14,31,2)(1234,1150,4)(1234,1150,2)(1235,1233,4)(1235,1233,2)(1236,1238,3)(15,31,2)(1240,1156,4)(1240,1156,2)(1241,1239,4)(1241,1239,2)(1242,1244,3)(16,31,2)(1246,1162,4)(1246,1162,2)(1247,1245,4)(1247,1245,2)(1248,1250,3)(17,31,5)(1252,1164,4)(1252,1164,2)(1253,1251,4)(1253,1251,2)(1254,1256,3)(2,32,2)(1258,1171,4)(1258,1171,2)(3,32,2)(1261,1177,4)(1261,1177,2)(1262,1260,4)(1262,1260,2)(1263,1265,3)(4,32,2)(1267,1183,4)(1267,1183,2)(1268,1266,4)(1268,1266,2)(1269,1271,3)(5,32,2)(1273,1189,4)(1273,1189,2)(1274,1272,4)(1274,1272,2)(1275,1277,3)(6,32,2)(1279,1195,4)(1279,1195,2)(1280,1278,4)(1280,1278,2)(1281,1283,3)(7,32,2)(1285,1201,4)(1285,1201,2)(1286,1284,4)(1286,1284,2)(1287,1289,3)(8,32,2)(1291,1207,4)(1291,1207,2)(1292,1290,4)(1292,1290,2)(1293,1295,3)(9,32,2)(1297,1213,4)(1297,1213,2)(1298,1296,4)(1298,1296,2)(1299,1301,3)(10,32,2)(1303,1219,4)(1303,1219,2)(1304,1302,4)(1304,1302,2)(1305,1307,3)(11,32,2)(1309,1225,4)(1309,1225,2)(1310,1308,4)(1310,1308,2)(1311,1313,3)(12,32,2)(1315,1231,4)(1315,1231,2)(1316,1314,4)(1316,1314,2)(1317,1319,3)(13,32,2)(1321,1237,4)(1321,1237,2)(1322,1320,4)(1322,1320,2)(1323,1325,3)(14,32,2)(1327,1243,4)(1327,1243,2)(1328,1326,4)(1328,1326,2)(1329,1331,3)(15,32,2)(1333,1249,4)(1333,1249,2)(1334,1332,4)(1334,1332,2)(1335,1337,3)(16,32,2)(1339,1255,4)(1339,1255,2)(1340,1338,4)(1340,1338,2)(1341,1343,3)(17,32,5)(1345,1257,4)(1345,1257,2)(1346,1344,4)(1346,1344,2)(1347,1349,3)(2,33,5)(1351,1264,4)(1351,1264,2)(3,33,5)(1354,1270,4)(1354,1270,2)(1355,1353,4)(1355,1353,2)(1356,1358,3)(4,33,5)(1360,1276,4)(1360,1276,2)(1361,1359,4)(1361,1359,2)(1362,1364,3)(5,33,5)(1366,1282,4)(1366,1282,2)(1367,1365,4)(1367,1365,2)(1368,1370,3)(6,33,5)(1372,1288,4)(1372,1288,2)(1373,1371,4)(1373,1371,2)(1374,1376,3)(7,33,5)(1378,1294,4)(1378,1294,2)(1379,1377,4)(1379,1377,2)(1380,1382,3)(8,33,5)(1384,1300,4)(1384,1300,2)(1385,1383,4)(1385,1383,2)(1386,1388,3)(9,33,5)(1390,1306,4)(1390,1306,2)(1391,1389,4)(1391,1389,2)(1392,1394,3)(10,33,5)(1396,1312,4)(1396,1312,2)(1397,1395,4)(1397,1395,2)(1398,1400,3)(11,33,5)(1402,1318,4)(1402,1318,2)(1403,1401,4)(1403,1401,2)(1404,1406,3)(12,33,5)(1408,1324,4)(1408,1324,2)(1409,1407,4)(1409,1407,2)(1410,1412,3)(13,33,5)(1414,1330,4)(1414,1330,2)(1415,1413,4)(1415,1413,2)(1416,1418,3)(14,33,5)(1420,1336,4)(1420,1336,2)(1421,1419,4)(1421,1419,2)(1422,1424,3)(15,33,5)(1426,1342,4)(1426,1342,2)(1427,1425,4)(1427,1425,2)(1428,1430,3)(16,33,5)(1432,1348,4)(1432,1348,2)(1433,1431,4)(1433,1431,2)(1434,1436,3)(17,33,2)(1438,1350,4)(1438,1350,2)(1439,1437,4)(1439,1437,2)(1440,1442,3)(1443,1443,1)(1444,1441,1435,1429,1423,1417,1411,1405,1399,1393,1387,1381,1375,1369,1363,1357,1352,1259,1166,1073,980,887,794,701,608,515,422,329,236,143,51,34)