dissertation_thesis/ariths-gen-mig
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ariths-gen-mig/Tests/CGP_circuits/Multipliers/s_arr_mul20.chr

1 line
25 KiB
Plaintext
Raw Blame History

{40,40,1,2247,2,1,0}(0,20,4)(0,20,7)(40,41,3)(0,20,2)(1,20,2)(2,20,2)(3,20,2)(4,20,2)(5,20,2)(6,20,2)(7,20,2)(8,20,2)(9,20,2)(10,20,2)(11,20,2)(12,20,2)(13,20,2)(14,20,2)(15,20,2)(16,20,2)(17,20,2)(18,20,2)(19,20,5)(0,21,2)(63,44,4)(63,44,2)(1,21,2)(66,45,4)(66,45,2)(67,65,4)(67,65,2)(68,70,3)(2,21,2)(72,46,4)(72,46,2)(73,71,4)(73,71,2)(74,76,3)(3,21,2)(78,47,4)(78,47,2)(79,77,4)(79,77,2)(80,82,3)(4,21,2)(84,48,4)(84,48,2)(85,83,4)(85,83,2)(86,88,3)(5,21,2)(90,49,4)(90,49,2)(91,89,4)(91,89,2)(92,94,3)(6,21,2)(96,50,4)(96,50,2)(97,95,4)(97,95,2)(98,100,3)(7,21,2)(102,51,4)(102,51,2)(103,101,4)(103,101,2)(104,106,3)(8,21,2)(108,52,4)(108,52,2)(109,107,4)(109,107,2)(110,112,3)(9,21,2)(114,53,4)(114,53,2)(115,113,4)(115,113,2)(116,118,3)(10,21,2)(120,54,4)(120,54,2)(121,119,4)(121,119,2)(122,124,3)(11,21,2)(126,55,4)(126,55,2)(127,125,4)(127,125,2)(128,130,3)(12,21,2)(132,56,4)(132,56,2)(133,131,4)(133,131,2)(134,136,3)(13,21,2)(138,57,4)(138,57,2)(139,137,4)(139,137,2)(140,142,3)(14,21,2)(144,58,4)(144,58,2)(145,143,4)(145,143,2)(146,148,3)(15,21,2)(150,59,4)(150,59,2)(151,149,4)(151,149,2)(152,154,3)(16,21,2)(156,60,4)(156,60,2)(157,155,4)(157,155,2)(158,160,3)(17,21,2)(162,61,4)(162,61,2)(163,161,4)(163,161,2)(164,166,3)(18,21,2)(168,62,4)(168,62,2)(169,167,4)(169,167,2)(170,172,3)(19,21,5)(174,42,4)(174,42,2)(175,173,4)(175,173,2)(176,178,3)(0,22,2)(180,69,4)(180,69,2)(1,22,2)(183,75,4)(183,75,2)(184,182,4)(184,182,2)(185,187,3)(2,22,2)(189,81,4)(189,81,2)(190,188,4)(190,188,2)(191,193,3)(3,22,2)(195,87,4)(195,87,2)(196,194,4)(196,194,2)(197,199,3)(4,22,2)(201,93,4)(201,93,2)(202,200,4)(202,200,2)(203,205,3)(5,22,2)(207,99,4)(207,99,2)(208,206,4)(208,206,2)(209,211,3)(6,22,2)(213,105,4)(213,105,2)(214,212,4)(214,212,2)(215,217,3)(7,22,2)(219,111,4)(219,111,2)(220,218,4)(220,218,2)(221,223,3)(8,22,2)(225,117,4)(225,117,2)(226,224,4)(226,224,2)(227,229,3)(9,22,2)(231,123,4)(231,123,2)(232,230,4)(232,230,2)(233,235,3)(10,22,2)(237,129,4)(237,129,2)(238,236,4)(238,236,2)(239,241,3)(11,22,2)(243,135,4)(243,135,2)(244,242,4)(244,242,2)(245,247,3)(12,22,2)(249,141,4)(249,141,2)(250,248,4)(250,248,2)(251,253,3)(13,22,2)(255,147,4)(255,147,2)(256,254,4)(256,254,2)(257,259,3)(14,22,2)(261,153,4)(261,153,2)(262,260,4)(262,260,2)(263,265,3)(15,22,2)(267,159,4)(267,159,2)(268,266,4)(268,266,2)(269,271,3)(16,22,2)(273,165,4)(273,165,2)(274,272,4)(274,272,2)(275,277,3)(17,22,2)(279,171,4)(279,171,2)(280,278,4)(280,278,2)(281,283,3)(18,22,2)(285,177,4)(285,177,2)(286,284,4)(286,284,2)(287,289,3)(19,22,5)(291,179,4)(291,179,2)(292,290,4)(292,290,2)(293,295,3)(0,23,2)(297,186,4)(297,186,2)(1,23,2)(300,192,4)(300,192,2)(301,299,4)(301,299,2)(302,304,3)(2,23,2)(306,198,4)(306,198,2)(307,305,4)(307,305,2)(308,310,3)(3,23,2)(312,204,4)(312,204,2)(313,311,4)(313,311,2)(314,316,3)(4,23,2)(318,210,4)(318,210,2)(319,317,4)(319,317,2)(320,322,3)(5,23,2)(324,216,4)(324,216,2)(325,323,4)(325,323,2)(326,328,3)(6,23,2)(330,222,4)(330,222,2)(331,329,4)(331,329,2)(332,334,3)(7,23,2)(336,228,4)(336,228,2)(337,335,4)(337,335,2)(338,340,3)(8,23,2)(342,234,4)(342,234,2)(343,341,4)(343,341,2)(344,346,3)(9,23,2)(348,240,4)(348,240,2)(349,347,4)(349,347,2)(350,352,3)(10,23,2)(354,246,4)(354,246,2)(355,353,4)(355,353,2)(356,358,3)(11,23,2)(360,252,4)(360,252,2)(361,359,4)(361,359,2)(362,364,3)(12,23,2)(366,258,4)(366,258,2)(367,365,4)(367,365,2)(368,370,3)(13,23,2)(372,264,4)(372,264,2)(373,371,4)(373,371,2)(374,376,3)(14,23,2)(378,270,4)(378,270,2)(379,377,4)(379,377,2)(380,382,3)(15,23,2)(384,276,4)(384,276,2)(385,383,4)(385,383,2)(386,388,3)(16,23,2)(390,282,4)(390,282,2)(391,389,4)(391,389,2)(392,394,3)(17,23,2)(396,288,4)(396,288,2)(397,395,4)(397,395,2)(398,400,3)(18,23,2)(402,294,4)(402,294,2)(403,401,4)(403,401,2)(404,406,3)(19,23,5)(408,296,4)(408,296,2)(409,407,4)(409,407,2)(410,412,3)(0,24,2)(414,303,4)(414,303,2)(1,24,2)(417,309,4)(417,309,2)(418,416,4)(418,416,2)(419,421,3)(2,24,2)(423,315,4)(423,315,2)(424,422,4)(424,422,2)(425,427,3)(3,24,2)(429,321,4)(429,321,2)(430,428,4)(430,428,2)(431,433,3)(4,24,2)(435,327,4)(435,327,2)(436,434,4)(436,434,2)(437,439,3)(5,24,2)(441,333,4)(441,333,2)(442,440,4)(442,440,2)(443,445,3)(6,24,2)(447,339,4)(447,339,2)(448,446,4)(448,446,2)(449,451,3)(7,24,2)(453,345,4)(453,345,2)(454,452,4)(454,452,2)(455,457,3)(8,24,2)(459,351,4)(459,351,2)(460,458,4)(460,458,2)(461,463,3)(9,24,2)(465,357,4)(465,357,2)(466,464,4)(466,464,2)(467,469,3)(10,24,2)(471,363,4)(471,363,2)(472,470,4)(472,470,2)(473,475,3)(11,24,2)(477,369,4)(477,369,2)(478,476,4)(478,476,2)(479,481,3)(12,24,2)(483,375,4)(483,375,2)(484,482,4)(484,482,2)(485,487,3)(13,24,2)(489,381,4)(489,381,2)(490,488,4)(490,488,2)(491,493,3)(14,24,2)(495,387,4)(495,387,2)(496,494,4)(496,494,2)(497,499,3)(15,24,2)(501,393,4)(501,393,2)(502,500,4)(502,500,2)(503,505,3)(16,24,2)(507,399,4)(507,399,2)(508,506,4)(508,506,2)(509,511,3)(17,24,2)(513,405,4)(513,405,2)(514,512,4)(514,512,2)(515,517,3)(18,24,2)(519,411,4)(519,411,2)(520,518,4)(520,518,2)(521,523,3)(19,24,5)(525,413,4)(525,413,2)(526,524,4)(526,524,2)(527,529,3)(0,25,2)(531,420,4)(531,420,2)(1,25,2)(534,426,4)(534,426,2)(535,533,4)(535,533,2)(536,538,3)(2,25,2)(540,432,4)(540,432,2)(541,539,4)(541,539,2)(542,544,3)(3,25,2)(546,438,4)(546,438,2)(547,545,4)(547,545,2)(548,550,3)(4,25,2)(552,444,4)(552,444,2)(553,551,4)(553,551,2)(554,556,3)(5,25,2)(558,450,4)(558,450,2)(559,557,4)(559,557,2)(560,562,3)(6,25,2)(564,456,4)(564,456,2)(565,563,4)(565,563,2)(566,568,3)(7,25,2)(570,462,4)(570,462,2)(571,569,4)(571,569,2)(572,574,3)(8,25,2)(576,468,4)(576,468,2)(577,575,4)(577,575,2)(578,580,3)(9,25,2)(582,474,4)(582,474,2)(583,581,4)(583,581,2)(584,586,3)(10,25,2)(588,480,4)(588,480,2)(589,587,4)(589,587,2)(590,592,3)(11,25,2)(594,486,4)(594,486,2)(595,593,4)(595,593,2)(596,598,3)(12,25,2)(600,492,4)(600,492,2)(601,599,4)(601,599,2)(602,604,3)(13,25,2)(606,498,4)(606,498,2)(607,605,4)(607,605,2)(608,610,3)(14,25,2)(612,504,4)(612,504,2)(613,611,4)(613,611,2)(614,616,3)(15,25,2)(618,510,4)(618,510,2)(619,617,4)(619,617,2)(620,622,3)(16,25,2)(624,516,4)(624,516,2)(625,623,4)(625,623,2)(626,628,3)(17,25,2)(630,522,4)(630,522,2)(631,629,4)(631,629,2)(632,634,3)(18,25,2)(636,528,4)(636,528,2)(637,635,4)(637,635,2)(638,640,3)(19,25,5)(642,530,4)(642,530,2)(643,641,4)(643,641,2)(644,646,3)(0,26,2)(648,537,4)(648,537,2)(1,26,2)(651,543,4)(651,543,2)(652,650,4)(652,650,2)(653,655,3)(2,26,2)(657,549,4)(657,549,2)(658,656,4)(658,656,2)(659,661,3)(3,26,2)(663,555,4)(663,555,2)(664,662,4)(664,662,2)(665,667,3)(4,26,2)(669,561,4)(669,561,2)(670,668,4)(670,668,2)(671,673,3)(5,26,2)(675,567,4)(675,567,2)(676,674,4)(676,674,2)(677,679,3)(6,26,2)(681,573,4)(681,573,2)(682,680,4)(682,680,2)(683,685,3)(7,26,2)(687,579,4)(687,579,2)(688,686,4)(688,686,2)(689,691,3)(8,26,2)(693,585,4)(693,585,2)(694,692,4)(694,692,2)(695,697,3)(9,26,2)(699,591,4)(699,591,2)(700,698,4)(700,698,2)(701,703,3)(10,26,2)(705,597,4)(705,597,2)(706,704,4)(706,704,2)(707,709,3)(11,26,2)(711,603,4)(711,603,2)(712,710,4)(712,710,2)(713,715,3)(12,26,2)(717,609,4)(717,609,2)(718,716,4)(718,716,2)(719,721,3)(13,26,2)(723,615,4)(723,615,2)(724,722,4)(724,722,2)(725,727,3)(14,26,2)(729,621,4)(729,621,2)(730,728,4)(730,728,2)(731,733,3)(15,26,2)(735,627,4)(735,627,2)(736,734,4)(736,734,2)(737,739,3)(16,26,2)(741,633,4)(741,633,2)(742,740,4)(742,740,2)(743,745,3)(17,26,2)(747,639,4)(747,639,2)(748,746,4)(748,746,2)(749,751,3)(18,26,2)(753,645,4)(753,645,2)(754,752,4)(754,752,2)(755,757,3)(19,26,5)(759,647,4)(759,647,2)(760,758,4)(760,758,2)(761,763,3)(0,27,2)(765,654,4)(765,654,2)(1,27,2)(768,660,4)(768,660,2)(769,767,4)(769,767,2)(770,772,3)(2,27,2)(774,666,4)(774,666,2)(775,773,4)(775,773,2)(776,778,3)(3,27,2)(780,672,4)(780,672,2)(781,779,4)(781,779,2)(782,784,3)(4,27,2)(786,678,4)(786,678,2)(787,785,4)(787,785,2)(788,790,3)(5,27,2)(792,684,4)(792,684,2)(793,791,4)(793,791,2)(794,796,3)(6,27,2)(798,690,4)(798,690,2)(799,797,4)(799,797,2)(800,802,3)(7,27,2)(804,696,4)(804,696,2)(805,803,4)(805,803,2)(806,808,3)(8,27,2)(810,702,4)(810,702,2)(811,809,4)(811,809,2)(812,814,3)(9,27,2)(816,708,4)(816,708,2)(817,815,4)(817,815,2)(818,820,3)(10,27,2)(822,714,4)(822,714,2)(823,821,4)(823,821,2)(824,826,3)(11,27,2)(828,720,4)(828,720,2)(829,827,4)(829,827,2)(830,832,3)(12,27,2)(834,726,4)(834,726,2)(835,833,4)(835,833,2)(836,838,3)(13,27,2)(840,732,4)(840,732,2)(841,839,4)(841,839,2)(842,844,3)(14,27,2)(846,738,4)(846,738,2)(847,845,4)(847,845,2)(848,850,3)(15,27,2)(852,744,4)(852,744,2)(853,851,4)(853,851,2)(854,856,3)(16,27,2)(858,750,4)(858,750,2)(859,857,4)(859,857,2)(860,862,3)(17,27,2)(864,756,4)(864,756,2)(865,863,4)(865,863,2)(866,868,3)(18,27,2)(870,762,4)(870,762,2)(871,869,4)(871,869,2)(872,874,3)(19,27,5)(876,764,4)(876,764,2)(877,875,4)(877,875,2)(878,880,3)(0,28,2)(882,771,4)(882,771,2)(1,28,2)(885,777,4)(885,777,2)(886,884,4)(886,884,2)(887,889,3)(2,28,2)(891,783,4)(891,783,2)(892,890,4)(892,890,2)(893,895,3)(3,28,2)(897,789,4)(897,789,2)(898,896,4)(898,896,2)(899,901,3)(4,28,2)(903,795,4)(903,795,2)(904,902,4)(904,902,2)(905,907,3)(5,28,2)(909,801,4)(909,801,2)(910,908,4)(910,908,2)(911,913,3)(6,28,2)(915,807,4)(915,807,2)(916,914,4)(916,914,2)(917,919,3)(7,28,2)(921,813,4)(921,813,2)(922,920,4)(922,920,2)(923,925,3)(8,28,2)(927,819,4)(927,819,2)(928,926,4)(928,926,2)(929,931,3)(9,28,2)(933,825,4)(933,825,2)(934,932,4)(934,932,2)(935,937,3)(10,28,2)(939,831,4)(939,831,2)(940,938,4)(940,938,2)(941,943,3)(11,28,2)(945,837,4)(945,837,2)(946,944,4)(946,944,2)(947,949,3)(12,28,2)(951,843,4)(951,843,2)(952,950,4)(952,950,2)(953,955,3)(13,28,2)(957,849,4)(957,849,2)(958,956,4)(958,956,2)(959,961,3)(14,28,2)(963,855,4)(963,855,2)(964,962,4)(964,962,2)(965,967,3)(15,28,2)(969,861,4)(969,861,2)(970,968,4)(970,968,2)(971,973,3)(16,28,2)(975,867,4)(975,867,2)(976,974,4)(976,974,2)(977,979,3)(17,28,2)(981,873,4)(981,873,2)(982,980,4)(982,980,2)(983,985,3)(18,28,2)(987,879,4)(987,879,2)(988,986,4)(988,986,2)(989,991,3)(19,28,5)(993,881,4)(993,881,2)(994,992,4)(994,992,2)(995,997,3)(0,29,2)(999,888,4)(999,888,2)(1,29,2)(1002,894,4)(1002,894,2)(1003,1001,4)(1003,1001,2)(1004,1006,3)(2,29,2)(1008,900,4)(1008,900,2)(1009,1007,4)(1009,1007,2)(1010,1012,3)(3,29,2)(1014,906,4)(1014,906,2)(1015,1013,4)(1015,1013,2)(1016,1018,3)(4,29,2)(1020,912,4)(1020,912,2)(1021,1019,4)(1021,1019,2)(1022,1024,3)(5,29,2)(1026,918,4)(1026,918,2)(1027,1025,4)(1027,1025,2)(1028,1030,3)(6,29,2)(1032,924,4)(1032,924,2)(1033,1031,4)(1033,1031,2)(1034,1036,3)(7,29,2)(1038,930,4)(1038,930,2)(1039,1037,4)(1039,1037,2)(1040,1042,3)(8,29,2)(1044,936,4)(1044,936,2)(1045,1043,4)(1045,1043,2)(1046,1048,3)(9,29,2)(1050,942,4)(1050,942,2)(1051,1049,4)(1051,1049,2)(1052,1054,3)(10,29,2)(1056,948,4)(1056,948,2)(1057,1055,4)(1057,1055,2)(1058,1060,3)(11,29,2)(1062,954,4)(1062,954,2)(1063,1061,4)(1063,1061,2)(1064,1066,3)(12,29,2)(1068,960,4)(1068,960,2)(1069,1067,4)(1069,1067,2)(1070,1072,3)(13,29,2)(1074,966,4)(1074,966,2)(1075,1073,4)(1075,1073,2)(1076,1078,3)(14,29,2)(1080,972,4)(1080,972,2)(1081,1079,4)(1081,1079,2)(1082,1084,3)(15,29,2)(1086,978,4)(1086,978,2)(1087,1085,4)(1087,1085,2)(1088,1090,3)(16,29,2)(1092,984,4)(1092,984,2)(1093,1091,4)(1093,1091,2)(1094,1096,3)(17,29,2)(1098,990,4)(1098,990,2)(1099,1097,4)(1099,1097,2)(1100,1102,3)(18,29,2)(1104,996,4)(1104,996,2)(1105,1103,4)(1105,1103,2)(1106,1108,3)(19,29,5)(1110,998,4)(1110,998,2)(1111,1109,4)(1111,1109,2)(1112,1114,3)(0,30,2)(1116,1005,4)(1116,1005,2)(1,30,2)(1119,1011,4)(1119,1011,2)(1120,1118,4)(1120,1118,2)(1121,1123,3)(2,30,2)(1125,1017,4)(1125,1017,2)(1126,1124,4)(1126,1124,2)(1127,1129,3)(3,30,2)(1131,1023,4)(1131,1023,2)(1132,1130,4)(1132,1130,2)(1133,1135,3)(4,30,2)(1137,1029,4)(1137,1029,2)(1138,1136,4)(1138,1136,2)(1139,1141,3)(5,30,2)(1143,1035,4)(1143,1035,2)(1144,1142,4)(1144,1142,2)(1145,1147,3)(6,30,2)(1149,1041,4)(1149,1041,2)(1150,1148,4)(1150,1148,2)(1151,1153,3)(7,30,2)(1155,1047,4)(1155,1047,2)(1156,1154,4)(1156,1154,2)(1157,1159,3)(8,30,2)(1161,1053,4)(1161,1053,2)(1162,1160,4)(1162,1160,2)(1163,1165,3)(9,30,2)(1167,1059,4)(1167,1059,2)(1168,1166,4)(1168,1166,2)(1169,1171,3)(10,30,2)(1173,1065,4)(1173,1065,2)(1174,1172,4)(1174,1172,2)(1175,1177,3)(11,30,2)(1179,1071,4)(1179,1071,2)(1180,1178,4)(1180,1178,2)(1181,1183,3)(12,30,2)(1185,1077,4)(1185,1077,2)(1186,1184,4)(1186,1184,2)(1187,1189,3)(13,30,2)(1191,1083,4)(1191,1083,2)(1192,1190,4)(1192,1190,2)(1193,1195,3)(14,30,2)(1197,1089,4)(1197,1089,2)(1198,1196,4)(1198,1196,2)(1199,1201,3)(15,30,2)(1203,1095,4)(1203,1095,2)(1204,1202,4)(1204,1202,2)(1205,1207,3)(16,30,2)(1209,1101,4)(1209,1101,2)(1210,1208,4)(1210,1208,2)(1211,1213,3)(17,30,2)(1215,1107,4)(1215,1107,2)(1216,1214,4)(1216,1214,2)(1217,1219,3)(18,30,2)(1221,1113,4)(1221,1113,2)(1222,1220,4)(1222,1220,2)(1223,1225,3)(19,30,5)(1227,1115,4)(1227,1115,2)(1228,1226,4)(1228,1226,2)(1229,1231,3)(0,31,2)(1233,1122,4)(1233,1122,2)(1,31,2)(1236,1128,4)(1236,1128,2)(1237,1235,4)(1237,1235,2)(1238,1240,3)(2,31,2)(1242,1134,4)(1242,1134,2)(1243,1241,4)(1243,1241,2)(1244,1246,3)(3,31,2)(1248,1140,4)(1248,1140,2)(1249,1247,4)(1249,1247,2)(1250,1252,3)(4,31,2)(1254,1146,4)(1254,1146,2)(1255,1253,4)(1255,1253,2)(1256,1258,3)(5,31,2)(1260,1152,4)(1260,1152,2)(1261,1259,4)(1261,1259,2)(1262,1264,3)(6,31,2)(1266,1158,4)(1266,1158,2)(1267,1265,4)(1267,1265,2)(1268,1270,3)(7,31,2)(1272,1164,4)(1272,1164,2)(1273,1271,4)(1273,1271,2)(1274,1276,3)(8,31,2)(1278,1170,4)(1278,1170,2)(1279,1277,4)(1279,1277,2)(1280,1282,3)(9,31,2)(1284,1176,4)(1284,1176,2)(1285,1283,4)(1285,1283,2)(1286,1288,3)(10,31,2)(1290,1182,4)(1290,1182,2)(1291,1289,4)(1291,1289,2)(1292,1294,3)(11,31,2)(1296,1188,4)(1296,1188,2)(1297,1295,4)(1297,1295,2)(1298,1300,3)(12,31,2)(1302,1194,4)(1302,1194,2)(1303,1301,4)(1303,1301,2)(1304,1306,3)(13,31,2)(1308,1200,4)(1308,1200,2)(1309,1307,4)(1309,1307,2)(1310,1312,3)(14,31,2)(1314,1206,4)(1314,1206,2)(1315,1313,4)(1315,1313,2)(1316,1318,3)(15,31,2)(1320,1212,4)(1320,1212,2)(1321,1319,4)(1321,1319,2)(1322,1324,3)(16,31,2)(1326,1218,4)(1326,1218,2)(1327,1325,4)(1327,1325,2)(1328,1330,3)(17,31,2)(1332,1224,4)(1332,1224,2)(1333,1331,4)(1333,1331,2)(1334,1336,3)(18,31,2)(1338,1230,4)(1338,1230,2)(1339,1337,4)(1339,1337,2)(1340,1342,3)(19,31,5)(1344,1232,4)(1344,1232,2)(1345,1343,4)(1345,1343,2)(1346,1348,3)(0,32,2)(1350,1239,4)(1350,1239,2)(1,32,2)(1353,1245,4)(1353,1245,2)(1354,1352,4)(1354,1352,2)(1355,1357,3)(2,32,2)(1359,1251,4)(1359,1251,2)(1360,1358,4)(1360,1358,2)(1361,1363,3)(3,32,2)(1365,1257,4)(1365,1257,2)(1366,1364,4)(1366,1364,2)(1367,1369,3)(4,32,2)(1371,1263,4)(1371,1263,2)(1372,1370,4)(1372,1370,2)(1373,1375,3)(5,32,2)(1377,1269,4)(1377,1269,2)(1378,1376,4)(1378,1376,2)(1379,1381,3)(6,32,2)(1383,1275,4)(1383,1275,2)(1384,1382,4)(1384,1382,2)(1385,1387,3)(7,32,2)(1389,1281,4)(1389,1281,2)(1390,1388,4)(1390,1388,2)(1391,1393,3)(8,32,2)(1395,1287,4)(1395,1287,2)(1396,1394,4)(1396,1394,2)(1397,1399,3)(9,32,2)(1401,1293,4)(1401,1293,2)(1402,1400,4)(1402,1400,2)(1403,1405,3)(10,32,2)(1407,1299,4)(1407,1299,2)(1408,1406,4)(1408,1406,2)(1409,1411,3)(11,32,2)(1413,1305,4)(1413,1305,2)(1414,1412,4)(1414,1412,2)(1415,1417,3)(12,32,2)(1419,1311,4)(1419,1311,2)(1420,1418,4)(1420,1418,2)(1421,1423,3)(13,32,2)(1425,1317,4)(1425,1317,2)(1426,1424,4)(1426,1424,2)(1427,1429,3)(14,32,2)(1431,1323,4)(1431,1323,2)(1432,1430,4)(1432,1430,2)(1433,1435,3)(15,32,2)(1437,1329,4)(1437,1329,2)(1438,1436,4)(1438,1436,2)(1439,1441,3)(16,32,2)(1443,1335,4)(1443,1335,2)(1444,1442,4)(1444,1442,2)(1445,1447,3)(17,32,2)(1449,1341,4)(1449,1341,2)(1450,1448,4)(1450,1448,2)(1451,1453,3)(18,32,2)(1455,1347,4)(1455,1347,2)(1456,1454,4)(1456,1454,2)(1457,1459,3)(19,32,5)(1461,1349,4)(1461,1349,2)(1462,1460,4)(1462,1460,2)(1463,1465,3)(0,33,2)(1467,1356,4)(1467,1356,2)(1,33,2)(1470,1362,4)(1470,1362,2)(1471,1469,4)(1471,1469,2)(1472,1474,3)(2,33,2)(1476,1368,4)(1476,1368,2)(1477,1475,4)(1477,1475,2)(1478,1480,3)(3,33,2)(1482,1374,4)(1482,1374,2)(1483,1481,4)(1483,1481,2)(1484,1486,3)(4,33,2)(1488,1380,4)(1488,1380,2)(1489,1487,4)(1489,1487,2)(1490,1492,3)(5,33,2)(1494,1386,4)(1494,1386,2)(1495,1493,4)(1495,1493,2)(1496,1498,3)(6,33,2)(1500,1392,4)(1500,1392,2)(1501,1499,4)(1501,1499,2)(1502,1504,3)(7,33,2)(1506,1398,4)(1506,1398,2)(1507,1505,4)(1507,1505,2)(1508,1510,3)(8,33,2)(1512,1404,4)(1512,1404,2)(1513,1511,4)(1513,1511,2)(1514,1516,3)(9,33,2)(1518,1410,4)(1518,1410,2)(1519,1517,4)(1519,1517,2)(1520,1522,3)(10,33,2)(1524,1416,4)(1524,1416,2)(1525,1523,4)(1525,1523,2)(1526,1528,3)(11,33,2)(1530,1422,4)(1530,1422,2)(1531,1529,4)(1531,1529,2)(1532,1534,3)(12,33,2)(1536,1428,4)(1536,1428,2)(1537,1535,4)(1537,1535,2)(1538,1540,3)(13,33,2)(1542,1434,4)(1542,1434,2)(1543,1541,4)(1543,1541,2)(1544,1546,3)(14,33,2)(1548,1440,4)(1548,1440,2)(1549,1547,4)(1549,1547,2)(1550,1552,3)(15,33,2)(1554,1446,4)(1554,1446,2)(1555,1553,4)(1555,1553,2)(1556,1558,3)(16,33,2)(1560,1452,4)(1560,1452,2)(1561,1559,4)(1561,1559,2)(1562,1564,3)(17,33,2)(1566,1458,4)(1566,1458,2)(1567,1565,4)(1567,1565,2)(1568,1570,3)(18,33,2)(1572,1464,4)(1572,1464,2)(1573,1571,4)(1573,1571,2)(1574,1576,3)(19,33,5)(1578,1466,4)(1578,1466,2)(1579,1577,4)(1579,1577,2)(1580,1582,3)(0,34,2)(1584,1473,4)(1584,1473,2)(1,34,2)(1587,1479,4)(1587,1479,2)(1588,1586,4)(1588,1586,2)(1589,1591,3)(2,34,2)(1593,1485,4)(1593,1485,2)(1594,1592,4)(1594,1592,2)(1595,1597,3)(3,34,2)(1599,1491,4)(1599,1491,2)(1600,1598,4)(1600,1598,2)(1601,1603,3)(4,34,2)(1605,1497,4)(1605,1497,2)(1606,1604,4)(1606,1604,2)(1607,1609,3)(5,34,2)(1611,1503,4)(1611,1503,2)(1612,1610,4)(1612,1610,2)(1613,1615,3)(6,34,2)(1617,1509,4)(1617,1509,2)(1618,1616,4)(1618,1616,2)(1619,1621,3)(7,34,2)(1623,1515,4)(1623,1515,2)(1624,1622,4)(1624,1622,2)(1625,1627,3)(8,34,2)(1629,1521,4)(1629,1521,2)(1630,1628,4)(1630,1628,2)(1631,1633,3)(9,34,2)(1635,1527,4)(1635,1527,2)(1636,1634,4)(1636,1634,2)(1637,1639,3)(10,34,2)(1641,1533,4)(1641,1533,2)(1642,1640,4)(1642,1640,2)(1643,1645,3)(11,34,2)(1647,1539,4)(1647,1539,2)(1648,1646,4)(1648,1646,2)(1649,1651,3)(12,34,2)(1653,1545,4)(1653,1545,2)(1654,1652,4)(1654,1652,2)(1655,1657,3)(13,34,2)(1659,1551,4)(1659,1551,2)(1660,1658,4)(1660,1658,2)(1661,1663,3)(14,34,2)(1665,1557,4)(1665,1557,2)(1666,1664,4)(1666,1664,2)(1667,1669,3)(15,34,2)(1671,1563,4)(1671,1563,2)(1672,1670,4)(1672,1670,2)(1673,1675,3)(16,34,2)(1677,1569,4)(1677,1569,2)(1678,1676,4)(1678,1676,2)(1679,1681,3)(17,34,2)(1683,1575,4)(1683,1575,2)(1684,1682,4)(1684,1682,2)(1685,1687,3)(18,34,2)(1689,1581,4)(1689,1581,2)(1690,1688,4)(1690,1688,2)(1691,1693,3)(19,34,5)(1695,1583,4)(1695,1583,2)(1696,1694,4)(1696,1694,2)(1697,1699,3)(0,35,2)(1701,1590,4)(1701,1590,2)(1,35,2)(1704,1596,4)(1704,1596,2)(1705,1703,4)(1705,1703,2)(1706,1708,3)(2,35,2)(1710,1602,4)(1710,1602,2)(1711,1709,4)(1711,1709,2)(1712,1714,3)(3,35,2)(1716,1608,4)(1716,1608,2)(1717,1715,4)(1717,1715,2)(1718,1720,3)(4,35,2)(1722,1614,4)(1722,1614,2)(1723,1721,4)(1723,1721,2)(1724,1726,3)(5,35,2)(1728,1620,4)(1728,1620,2)(1729,1727,4)(1729,1727,2)(1730,1732,3)(6,35,2)(1734,1626,4)(1734,1626,2)(1735,1733,4)(1735,1733,2)(1736,1738,3)(7,35,2)(1740,1632,4)(1740,1632,2)(1741,1739,4)(1741,1739,2)(1742,1744,3)(8,35,2)(1746,1638,4)(1746,1638,2)(1747,1745,4)(1747,1745,2)(1748,1750,3)(9,35,2)(1752,1644,4)(1752,1644,2)(1753,1751,4)(1753,1751,2)(1754,1756,3)(10,35,2)(1758,1650,4)(1758,1650,2)(1759,1757,4)(1759,1757,2)(1760,1762,3)(11,35,2)(1764,1656,4)(1764,1656,2)(1765,1763,4)(1765,1763,2)(1766,1768,3)(12,35,2)(1770,1662,4)(1770,1662,2)(1771,1769,4)(1771,1769,2)(1772,1774,3)(13,35,2)(1776,1668,4)(1776,1668,2)(1777,1775,4)(1777,1775,2)(1778,1780,3)(14,35,2)(1782,1674,4)(1782,1674,2)(1783,1781,4)(1783,1781,2)(1784,1786,3)(15,35,2)(1788,1680,4)(1788,1680,2)(1789,1787,4)(1789,1787,2)(1790,1792,3)(16,35,2)(1794,1686,4)(1794,1686,2)(1795,1793,4)(1795,1793,2)(1796,1798,3)(17,35,2)(1800,1692,4)(1800,1692,2)(1801,1799,4)(1801,1799,2)(1802,1804,3)(18,35,2)(1806,1698,4)(1806,1698,2)(1807,1805,4)(1807,1805,2)(1808,1810,3)(19,35,5)(1812,1700,4)(1812,1700,2)(1813,1811,4)(1813,1811,2)(1814,1816,3)(0,36,2)(1818,1707,4)(1818,1707,2)(1,36,2)(1821,1713,4)(1821,1713,2)(1822,1820,4)(1822,1820,2)(1823,1825,3)(2,36,2)(1827,1719,4)(1827,1719,2)(1828,1826,4)(1828,1826,2)(1829,1831,3)(3,36,2)(1833,1725,4)(1833,1725,2)(1834,1832,4)(1834,1832,2)(1835,1837,3)(4,36,2)(1839,1731,4)(1839,1731,2)(1840,1838,4)(1840,1838,2)(1841,1843,3)(5,36,2)(1845,1737,4)(1845,1737,2)(1846,1844,4)(1846,1844,2)(1847,1849,3)(6,36,2)(1851,1743,4)(1851,1743,2)(1852,1850,4)(1852,1850,2)(1853,1855,3)(7,36,2)(1857,1749,4)(1857,1749,2)(1858,1856,4)(1858,1856,2)(1859,1861,3)(8,36,2)(1863,1755,4)(1863,1755,2)(1864,1862,4)(1864,1862,2)(1865,1867,3)(9,36,2)(1869,1761,4)(1869,1761,2)(1870,1868,4)(1870,1868,2)(1871,1873,3)(10,36,2)(1875,1767,4)(1875,1767,2)(1876,1874,4)(1876,1874,2)(1877,1879,3)(11,36,2)(1881,1773,4)(1881,1773,2)(1882,1880,4)(1882,1880,2)(1883,1885,3)(12,36,2)(1887,1779,4)(1887,1779,2)(1888,1886,4)(1888,1886,2)(1889,1891,3)(13,36,2)(1893,1785,4)(1893,1785,2)(1894,1892,4)(1894,1892,2)(1895,1897,3)(14,36,2)(1899,1791,4)(1899,1791,2)(1900,1898,4)(1900,1898,2)(1901,1903,3)(15,36,2)(1905,1797,4)(1905,1797,2)(1906,1904,4)(1906,1904,2)(1907,1909,3)(16,36,2)(1911,1803,4)(1911,1803,2)(1912,1910,4)(1912,1910,2)(1913,1915,3)(17,36,2)(1917,1809,4)(1917,1809,2)(1918,1916,4)(1918,1916,2)(1919,1921,3)(18,36,2)(1923,1815,4)(1923,1815,2)(1924,1922,4)(1924,1922,2)(1925,1927,3)(19,36,5)(1929,1817,4)(1929,1817,2)(1930,1928,4)(1930,1928,2)(1931,1933,3)(0,37,2)(1935,1824,4)(1935,1824,2)(1,37,2)(1938,1830,4)(1938,1830,2)(1939,1937,4)(1939,1937,2)(1940,1942,3)(2,37,2)(1944,1836,4)(1944,1836,2)(1945,1943,4)(1945,1943,2)(1946,1948,3)(3,37,2)(1950,1842,4)(1950,1842,2)(1951,1949,4)(1951,1949,2)(1952,1954,3)(4,37,2)(1956,1848,4)(1956,1848,2)(1957,1955,4)(1957,1955,2)(1958,1960,3)(5,37,2)(1962,1854,4)(1962,1854,2)(1963,1961,4)(1963,1961,2)(1964,1966,3)(6,37,2)(1968,1860,4)(1968,1860,2)(1969,1967,4)(1969,1967,2)(1970,1972,3)(7,37,2)(1974,1866,4)(1974,1866,2)(1975,1973,4)(1975,1973,2)(1976,1978,3)(8,37,2)(1980,1872,4)(1980,1872,2)(1981,1979,4)(1981,1979,2)(1982,1984,3)(9,37,2)(1986,1878,4)(1986,1878,2)(1987,1985,4)(1987,1985,2)(1988,1990,3)(10,37,2)(1992,1884,4)(1992,1884,2)(1993,1991,4)(1993,1991,2)(1994,1996,3)(11,37,2)(1998,1890,4)(1998,1890,2)(1999,1997,4)(1999,1997,2)(2000,2002,3)(12,37,2)(2004,1896,4)(2004,1896,2)(2005,2003,4)(2005,2003,2)(2006,2008,3)(13,37,2)(2010,1902,4)(2010,1902,2)(2011,2009,4)(2011,2009,2)(2012,2014,3)(14,37,2)(2016,1908,4)(2016,1908,2)(2017,2015,4)(2017,2015,2)(2018,2020,3)(15,37,2)(2022,1914,4)(2022,1914,2)(2023,2021,4)(2023,2021,2)(2024,2026,3)(16,37,2)(2028,1920,4)(2028,1920,2)(2029,2027,4)(2029,2027,2)(2030,2032,3)(17,37,2)(2034,1926,4)(2034,1926,2)(2035,2033,4)(2035,2033,2)(2036,2038,3)(18,37,2)(2040,1932,4)(2040,1932,2)(2041,2039,4)(2041,2039,2)(2042,2044,3)(19,37,5)(2046,1934,4)(2046,1934,2)(2047,2045,4)(2047,2045,2)(2048,2050,3)(0,38,2)(2052,1941,4)(2052,1941,2)(1,38,2)(2055,1947,4)(2055,1947,2)(2056,2054,4)(2056,2054,2)(2057,2059,3)(2,38,2)(2061,1953,4)(2061,1953,2)(2062,2060,4)(2062,2060,2)(2063,2065,3)(3,38,2)(2067,1959,4)(2067,1959,2)(2068,2066,4)(2068,2066,2)(2069,2071,3)(4,38,2)(2073,1965,4)(2073,1965,2)(2074,2072,4)(2074,2072,2)(2075,2077,3)(5,38,2)(2079,1971,4)(2079,1971,2)(2080,2078,4)(2080,2078,2)(2081,2083,3)(6,38,2)(2085,1977,4)(2085,1977,2)(2086,2084,4)(2086,2084,2)(2087,2089,3)(7,38,2)(2091,1983,4)(2091,1983,2)(2092,2090,4)(2092,2090,2)(2093,2095,3)(8,38,2)(2097,1989,4)(2097,1989,2)(2098,2096,4)(2098,2096,2)(2099,2101,3)(9,38,2)(2103,1995,4)(2103,1995,2)(2104,2102,4)(2104,2102,2)(2105,2107,3)(10,38,2)(2109,2001,4)(2109,2001,2)(2110,2108,4)(2110,2108,2)(2111,2113,3)(11,38,2)(2115,2007,4)(2115,2007,2)(2116,2114,4)(2116,2114,2)(2117,2119,3)(12,38,2)(2121,2013,4)(2121,2013,2)(2122,2120,4)(2122,2120,2)(2123,2125,3)(13,38,2)(2127,2019,4)(2127,2019,2)(2128,2126,4)(2128,2126,2)(2129,2131,3)(14,38,2)(2133,2025,4)(2133,2025,2)(2134,2132,4)(2134,2132,2)(2135,2137,3)(15,38,2)(2139,2031,4)(2139,2031,2)(2140,2138,4)(2140,2138,2)(2141,2143,3)(16,38,2)(2145,2037,4)(2145,2037,2)(2146,2144,4)(2146,2144,2)(2147,2149,3)(17,38,2)(2151,2043,4)(2151,2043,2)(2152,2150,4)(2152,2150,2)(2153,2155,3)(18,38,2)(2157,2049,4)(2157,2049,2)(2158,2156,4)(2158,2156,2)(2159,2161,3)(19,38,5)(2163,2051,4)(2163,2051,2)(2164,2162,4)(2164,2162,2)(2165,2167,3)(0,39,5)(2169,2058,4)(2169,2058,2)(1,39,5)(2172,2064,4)(2172,2064,2)(2173,2171,4)(2173,2171,2)(2174,2176,3)(2,39,5)(2178,2070,4)(2178,2070,2)(2179,2177,4)(2179,2177,2)(2180,2182,3)(3,39,5)(2184,2076,4)(2184,2076,2)(2185,2183,4)(2185,2183,2)(2186,2188,3)(4,39,5)(2190,2082,4)(2190,2082,2)(2191,2189,4)(2191,2189,2)(2192,2194,3)(5,39,5)(2196,2088,4)(2196,2088,2)(2197,2195,4)(2197,2195,2)(2198,2200,3)(6,39,5)(2202,2094,4)(2202,2094,2)(2203,2201,4)(2203,2201,2)(2204,2206,3)(7,39,5)(2208,2100,4)(2208,2100,2)(2209,2207,4)(2209,2207,2)(2210,2212,3)(8,39,5)(2214,2106,4)(2214,2106,2)(2215,2213,4)(2215,2213,2)(2216,2218,3)(9,39,5)(2220,2112,4)(2220,2112,2)(2221,2219,4)(2221,2219,2)(2222,2224,3)(10,39,5)(2226,2118,4)(2226,2118,2)(2227,2225,4)(2227,2225,2)(2228,2230,3)(11,39,5)(2232,2124,4)(2232,2124,2)(2233,2231,4)(2233,2231,2)(2234,2236,3)(12,39,5)(2238,2130,4)(2238,2130,2)(2239,2237,4)(2239,2237,2)(2240,2242,3)(13,39,5)(2244,2136,4)(2244,2136,2)(2245,2243,4)(2245,2243,2)(2246,2248,3)(14,39,5)(2250,2142,4)(2250,2142,2)(2251,2249,4)(2251,2249,2)(2252,2254,3)(15,39,5)(2256,2148,4)(2256,2148,2)(2257,2255,4)(2257,2255,2)(2258,2260,3)(16,39,5)(2262,2154,4)(2262,2154,2)(2263,2261,4)(2263,2261,2)(2264,2266,3)(17,39,5)(2268,2160,4)(2268,2160,2)(2269,2267,4)(2269,2267,2)(2270,2272,3)(18,39,5)(2274,2166,4)(2274,2166,2)(2275,2273,4)(2275,2273,2)(2276,2278,3)(19,39,2)(2280,2168,4)(2280,2168,2)(2281,2279,4)(2281,2279,2)(2282,2284,3)(2285,42,4)(2286,2283,2277,2271,2265,2259,2253,2247,2241,2235,2229,2223,2217,2211,2205,2199,2193,2187,2181,2175,2170,2053,1936,1819,1702,1585,1468,1351,1234,1117,1000,883,766,649,532,415,298,181,64,43)
Reference in New Issue View Git Blame Copy Permalink