dissertation_thesis/ariths-gen
1
0
Fork 0
mirror of https://github.com/ehw-fit/ariths-gen.git synced 2025-04-22 14:51:22 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity
ariths-gen/generated_circuits/cgp_circuits/flat/f_s_arrmul24.chr

1 line
38 KiB
Plaintext
Raw Blame History

{48,48,1,3267,2,1,0}(2,26,2)(3,26,2)(4,26,2)(5,26,2)(6,26,2)(7,26,2)(8,26,2)(9,26,2)(10,26,2)(11,26,2)(12,26,2)(13,26,2)(14,26,2)(15,26,2)(16,26,2)(17,26,2)(18,26,2)(19,26,2)(20,26,2)(21,26,2)(22,26,2)(23,26,2)(24,26,2)(25,26,5)(2,27,2)(74,51,4)(74,51,2)(3,27,2)(77,52,4)(77,52,2)(78,76,4)(78,76,2)(79,81,3)(4,27,2)(83,53,4)(83,53,2)(84,82,4)(84,82,2)(85,87,3)(5,27,2)(89,54,4)(89,54,2)(90,88,4)(90,88,2)(91,93,3)(6,27,2)(95,55,4)(95,55,2)(96,94,4)(96,94,2)(97,99,3)(7,27,2)(101,56,4)(101,56,2)(102,100,4)(102,100,2)(103,105,3)(8,27,2)(107,57,4)(107,57,2)(108,106,4)(108,106,2)(109,111,3)(9,27,2)(113,58,4)(113,58,2)(114,112,4)(114,112,2)(115,117,3)(10,27,2)(119,59,4)(119,59,2)(120,118,4)(120,118,2)(121,123,3)(11,27,2)(125,60,4)(125,60,2)(126,124,4)(126,124,2)(127,129,3)(12,27,2)(131,61,4)(131,61,2)(132,130,4)(132,130,2)(133,135,3)(13,27,2)(137,62,4)(137,62,2)(138,136,4)(138,136,2)(139,141,3)(14,27,2)(143,63,4)(143,63,2)(144,142,4)(144,142,2)(145,147,3)(15,27,2)(149,64,4)(149,64,2)(150,148,4)(150,148,2)(151,153,3)(16,27,2)(155,65,4)(155,65,2)(156,154,4)(156,154,2)(157,159,3)(17,27,2)(161,66,4)(161,66,2)(162,160,4)(162,160,2)(163,165,3)(18,27,2)(167,67,4)(167,67,2)(168,166,4)(168,166,2)(169,171,3)(19,27,2)(173,68,4)(173,68,2)(174,172,4)(174,172,2)(175,177,3)(20,27,2)(179,69,4)(179,69,2)(180,178,4)(180,178,2)(181,183,3)(21,27,2)(185,70,4)(185,70,2)(186,184,4)(186,184,2)(187,189,3)(22,27,2)(191,71,4)(191,71,2)(192,190,4)(192,190,2)(193,195,3)(23,27,2)(197,72,4)(197,72,2)(198,196,4)(198,196,2)(199,201,3)(24,27,2)(203,73,4)(203,73,2)(204,202,4)(204,202,2)(205,207,3)(25,27,5)(209,209,1)(210,208,4)(210,208,2)(209,212,3)(2,28,2)(214,80,4)(214,80,2)(3,28,2)(217,86,4)(217,86,2)(218,216,4)(218,216,2)(219,221,3)(4,28,2)(223,92,4)(223,92,2)(224,222,4)(224,222,2)(225,227,3)(5,28,2)(229,98,4)(229,98,2)(230,228,4)(230,228,2)(231,233,3)(6,28,2)(235,104,4)(235,104,2)(236,234,4)(236,234,2)(237,239,3)(7,28,2)(241,110,4)(241,110,2)(242,240,4)(242,240,2)(243,245,3)(8,28,2)(247,116,4)(247,116,2)(248,246,4)(248,246,2)(249,251,3)(9,28,2)(253,122,4)(253,122,2)(254,252,4)(254,252,2)(255,257,3)(10,28,2)(259,128,4)(259,128,2)(260,258,4)(260,258,2)(261,263,3)(11,28,2)(265,134,4)(265,134,2)(266,264,4)(266,264,2)(267,269,3)(12,28,2)(271,140,4)(271,140,2)(272,270,4)(272,270,2)(273,275,3)(13,28,2)(277,146,4)(277,146,2)(278,276,4)(278,276,2)(279,281,3)(14,28,2)(283,152,4)(283,152,2)(284,282,4)(284,282,2)(285,287,3)(15,28,2)(289,158,4)(289,158,2)(290,288,4)(290,288,2)(291,293,3)(16,28,2)(295,164,4)(295,164,2)(296,294,4)(296,294,2)(297,299,3)(17,28,2)(301,170,4)(301,170,2)(302,300,4)(302,300,2)(303,305,3)(18,28,2)(307,176,4)(307,176,2)(308,306,4)(308,306,2)(309,311,3)(19,28,2)(313,182,4)(313,182,2)(314,312,4)(314,312,2)(315,317,3)(20,28,2)(319,188,4)(319,188,2)(320,318,4)(320,318,2)(321,323,3)(21,28,2)(325,194,4)(325,194,2)(326,324,4)(326,324,2)(327,329,3)(22,28,2)(331,200,4)(331,200,2)(332,330,4)(332,330,2)(333,335,3)(23,28,2)(337,206,4)(337,206,2)(338,336,4)(338,336,2)(339,341,3)(24,28,2)(343,211,4)(343,211,2)(344,342,4)(344,342,2)(345,347,3)(25,28,5)(349,213,4)(349,213,2)(350,348,4)(350,348,2)(351,353,3)(2,29,2)(355,220,4)(355,220,2)(3,29,2)(358,226,4)(358,226,2)(359,357,4)(359,357,2)(360,362,3)(4,29,2)(364,232,4)(364,232,2)(365,363,4)(365,363,2)(366,368,3)(5,29,2)(370,238,4)(370,238,2)(371,369,4)(371,369,2)(372,374,3)(6,29,2)(376,244,4)(376,244,2)(377,375,4)(377,375,2)(378,380,3)(7,29,2)(382,250,4)(382,250,2)(383,381,4)(383,381,2)(384,386,3)(8,29,2)(388,256,4)(388,256,2)(389,387,4)(389,387,2)(390,392,3)(9,29,2)(394,262,4)(394,262,2)(395,393,4)(395,393,2)(396,398,3)(10,29,2)(400,268,4)(400,268,2)(401,399,4)(401,399,2)(402,404,3)(11,29,2)(406,274,4)(406,274,2)(407,405,4)(407,405,2)(408,410,3)(12,29,2)(412,280,4)(412,280,2)(413,411,4)(413,411,2)(414,416,3)(13,29,2)(418,286,4)(418,286,2)(419,417,4)(419,417,2)(420,422,3)(14,29,2)(424,292,4)(424,292,2)(425,423,4)(425,423,2)(426,428,3)(15,29,2)(430,298,4)(430,298,2)(431,429,4)(431,429,2)(432,434,3)(16,29,2)(436,304,4)(436,304,2)(437,435,4)(437,435,2)(438,440,3)(17,29,2)(442,310,4)(442,310,2)(443,441,4)(443,441,2)(444,446,3)(18,29,2)(448,316,4)(448,316,2)(449,447,4)(449,447,2)(450,452,3)(19,29,2)(454,322,4)(454,322,2)(455,453,4)(455,453,2)(456,458,3)(20,29,2)(460,328,4)(460,328,2)(461,459,4)(461,459,2)(462,464,3)(21,29,2)(466,334,4)(466,334,2)(467,465,4)(467,465,2)(468,470,3)(22,29,2)(472,340,4)(472,340,2)(473,471,4)(473,471,2)(474,476,3)(23,29,2)(478,346,4)(478,346,2)(479,477,4)(479,477,2)(480,482,3)(24,29,2)(484,352,4)(484,352,2)(485,483,4)(485,483,2)(486,488,3)(25,29,5)(490,354,4)(490,354,2)(491,489,4)(491,489,2)(492,494,3)(2,30,2)(496,361,4)(496,361,2)(3,30,2)(499,367,4)(499,367,2)(500,498,4)(500,498,2)(501,503,3)(4,30,2)(505,373,4)(505,373,2)(506,504,4)(506,504,2)(507,509,3)(5,30,2)(511,379,4)(511,379,2)(512,510,4)(512,510,2)(513,515,3)(6,30,2)(517,385,4)(517,385,2)(518,516,4)(518,516,2)(519,521,3)(7,30,2)(523,391,4)(523,391,2)(524,522,4)(524,522,2)(525,527,3)(8,30,2)(529,397,4)(529,397,2)(530,528,4)(530,528,2)(531,533,3)(9,30,2)(535,403,4)(535,403,2)(536,534,4)(536,534,2)(537,539,3)(10,30,2)(541,409,4)(541,409,2)(542,540,4)(542,540,2)(543,545,3)(11,30,2)(547,415,4)(547,415,2)(548,546,4)(548,546,2)(549,551,3)(12,30,2)(553,421,4)(553,421,2)(554,552,4)(554,552,2)(555,557,3)(13,30,2)(559,427,4)(559,427,2)(560,558,4)(560,558,2)(561,563,3)(14,30,2)(565,433,4)(565,433,2)(566,564,4)(566,564,2)(567,569,3)(15,30,2)(571,439,4)(571,439,2)(572,570,4)(572,570,2)(573,575,3)(16,30,2)(577,445,4)(577,445,2)(578,576,4)(578,576,2)(579,581,3)(17,30,2)(583,451,4)(583,451,2)(584,582,4)(584,582,2)(585,587,3)(18,30,2)(589,457,4)(589,457,2)(590,588,4)(590,588,2)(591,593,3)(19,30,2)(595,463,4)(595,463,2)(596,594,4)(596,594,2)(597,599,3)(20,30,2)(601,469,4)(601,469,2)(602,600,4)(602,600,2)(603,605,3)(21,30,2)(607,475,4)(607,475,2)(608,606,4)(608,606,2)(609,611,3)(22,30,2)(613,481,4)(613,481,2)(614,612,4)(614,612,2)(615,617,3)(23,30,2)(619,487,4)(619,487,2)(620,618,4)(620,618,2)(621,623,3)(24,30,2)(625,493,4)(625,493,2)(626,624,4)(626,624,2)(627,629,3)(25,30,5)(631,495,4)(631,495,2)(632,630,4)(632,630,2)(633,635,3)(2,31,2)(637,502,4)(637,502,2)(3,31,2)(640,508,4)(640,508,2)(641,639,4)(641,639,2)(642,644,3)(4,31,2)(646,514,4)(646,514,2)(647,645,4)(647,645,2)(648,650,3)(5,31,2)(652,520,4)(652,520,2)(653,651,4)(653,651,2)(654,656,3)(6,31,2)(658,526,4)(658,526,2)(659,657,4)(659,657,2)(660,662,3)(7,31,2)(664,532,4)(664,532,2)(665,663,4)(665,663,2)(666,668,3)(8,31,2)(670,538,4)(670,538,2)(671,669,4)(671,669,2)(672,674,3)(9,31,2)(676,544,4)(676,544,2)(677,675,4)(677,675,2)(678,680,3)(10,31,2)(682,550,4)(682,550,2)(683,681,4)(683,681,2)(684,686,3)(11,31,2)(688,556,4)(688,556,2)(689,687,4)(689,687,2)(690,692,3)(12,31,2)(694,562,4)(694,562,2)(695,693,4)(695,693,2)(696,698,3)(13,31,2)(700,568,4)(700,568,2)(701,699,4)(701,699,2)(702,704,3)(14,31,2)(706,574,4)(706,574,2)(707,705,4)(707,705,2)(708,710,3)(15,31,2)(712,580,4)(712,580,2)(713,711,4)(713,711,2)(714,716,3)(16,31,2)(718,586,4)(718,586,2)(719,717,4)(719,717,2)(720,722,3)(17,31,2)(724,592,4)(724,592,2)(725,723,4)(725,723,2)(726,728,3)(18,31,2)(730,598,4)(730,598,2)(731,729,4)(731,729,2)(732,734,3)(19,31,2)(736,604,4)(736,604,2)(737,735,4)(737,735,2)(738,740,3)(20,31,2)(742,610,4)(742,610,2)(743,741,4)(743,741,2)(744,746,3)(21,31,2)(748,616,4)(748,616,2)(749,747,4)(749,747,2)(750,752,3)(22,31,2)(754,622,4)(754,622,2)(755,753,4)(755,753,2)(756,758,3)(23,31,2)(760,628,4)(760,628,2)(761,759,4)(761,759,2)(762,764,3)(24,31,2)(766,634,4)(766,634,2)(767,765,4)(767,765,2)(768,770,3)(25,31,5)(772,636,4)(772,636,2)(773,771,4)(773,771,2)(774,776,3)(2,32,2)(778,643,4)(778,643,2)(3,32,2)(781,649,4)(781,649,2)(782,780,4)(782,780,2)(783,785,3)(4,32,2)(787,655,4)(787,655,2)(788,786,4)(788,786,2)(789,791,3)(5,32,2)(793,661,4)(793,661,2)(794,792,4)(794,792,2)(795,797,3)(6,32,2)(799,667,4)(799,667,2)(800,798,4)(800,798,2)(801,803,3)(7,32,2)(805,673,4)(805,673,2)(806,804,4)(806,804,2)(807,809,3)(8,32,2)(811,679,4)(811,679,2)(812,810,4)(812,810,2)(813,815,3)(9,32,2)(817,685,4)(817,685,2)(818,816,4)(818,816,2)(819,821,3)(10,32,2)(823,691,4)(823,691,2)(824,822,4)(824,822,2)(825,827,3)(11,32,2)(829,697,4)(829,697,2)(830,828,4)(830,828,2)(831,833,3)(12,32,2)(835,703,4)(835,703,2)(836,834,4)(836,834,2)(837,839,3)(13,32,2)(841,709,4)(841,709,2)(842,840,4)(842,840,2)(843,845,3)(14,32,2)(847,715,4)(847,715,2)(848,846,4)(848,846,2)(849,851,3)(15,32,2)(853,721,4)(853,721,2)(854,852,4)(854,852,2)(855,857,3)(16,32,2)(859,727,4)(859,727,2)(860,858,4)(860,858,2)(861,863,3)(17,32,2)(865,733,4)(865,733,2)(866,864,4)(866,864,2)(867,869,3)(18,32,2)(871,739,4)(871,739,2)(872,870,4)(872,870,2)(873,875,3)(19,32,2)(877,745,4)(877,745,2)(878,876,4)(878,876,2)(879,881,3)(20,32,2)(883,751,4)(883,751,2)(884,882,4)(884,882,2)(885,887,3)(21,32,2)(889,757,4)(889,757,2)(890,888,4)(890,888,2)(891,893,3)(22,32,2)(895,763,4)(895,763,2)(896,894,4)(896,894,2)(897,899,3)(23,32,2)(901,769,4)(901,769,2)(902,900,4)(902,900,2)(903,905,3)(24,32,2)(907,775,4)(907,775,2)(908,906,4)(908,906,2)(909,911,3)(25,32,5)(913,777,4)(913,777,2)(914,912,4)(914,912,2)(915,917,3)(2,33,2)(919,784,4)(919,784,2)(3,33,2)(922,790,4)(922,790,2)(923,921,4)(923,921,2)(924,926,3)(4,33,2)(928,796,4)(928,796,2)(929,927,4)(929,927,2)(930,932,3)(5,33,2)(934,802,4)(934,802,2)(935,933,4)(935,933,2)(936,938,3)(6,33,2)(940,808,4)(940,808,2)(941,939,4)(941,939,2)(942,944,3)(7,33,2)(946,814,4)(946,814,2)(947,945,4)(947,945,2)(948,950,3)(8,33,2)(952,820,4)(952,820,2)(953,951,4)(953,951,2)(954,956,3)(9,33,2)(958,826,4)(958,826,2)(959,957,4)(959,957,2)(960,962,3)(10,33,2)(964,832,4)(964,832,2)(965,963,4)(965,963,2)(966,968,3)(11,33,2)(970,838,4)(970,838,2)(971,969,4)(971,969,2)(972,974,3)(12,33,2)(976,844,4)(976,844,2)(977,975,4)(977,975,2)(978,980,3)(13,33,2)(982,850,4)(982,850,2)(983,981,4)(983,981,2)(984,986,3)(14,33,2)(988,856,4)(988,856,2)(989,987,4)(989,987,2)(990,992,3)(15,33,2)(994,862,4)(994,862,2)(995,993,4)(995,993,2)(996,998,3)(16,33,2)(1000,868,4)(1000,868,2)(1001,999,4)(1001,999,2)(1002,1004,3)(17,33,2)(1006,874,4)(1006,874,2)(1007,1005,4)(1007,1005,2)(1008,1010,3)(18,33,2)(1012,880,4)(1012,880,2)(1013,1011,4)(1013,1011,2)(1014,1016,3)(19,33,2)(1018,886,4)(1018,886,2)(1019,1017,4)(1019,1017,2)(1020,1022,3)(20,33,2)(1024,892,4)(1024,892,2)(1025,1023,4)(1025,1023,2)(1026,1028,3)(21,33,2)(1030,898,4)(1030,898,2)(1031,1029,4)(1031,1029,2)(1032,1034,3)(22,33,2)(1036,904,4)(1036,904,2)(1037,1035,4)(1037,1035,2)(1038,1040,3)(23,33,2)(1042,910,4)(1042,910,2)(1043,1041,4)(1043,1041,2)(1044,1046,3)(24,33,2)(1048,916,4)(1048,916,2)(1049,1047,4)(1049,1047,2)(1050,1052,3)(25,33,5)(1054,918,4)(1054,918,2)(1055,1053,4)(1055,1053,2)(1056,1058,3)(2,34,2)(1060,925,4)(1060,925,2)(3,34,2)(1063,931,4)(1063,931,2)(1064,1062,4)(1064,1062,2)(1065,1067,3)(4,34,2)(1069,937,4)(1069,937,2)(1070,1068,4)(1070,1068,2)(1071,1073,3)(5,34,2)(1075,943,4)(1075,943,2)(1076,1074,4)(1076,1074,2)(1077,1079,3)(6,34,2)(1081,949,4)(1081,949,2)(1082,1080,4)(1082,1080,2)(1083,1085,3)(7,34,2)(1087,955,4)(1087,955,2)(1088,1086,4)(1088,1086,2)(1089,1091,3)(8,34,2)(1093,961,4)(1093,961,2)(1094,1092,4)(1094,1092,2)(1095,1097,3)(9,34,2)(1099,967,4)(1099,967,2)(1100,1098,4)(1100,1098,2)(1101,1103,3)(10,34,2)(1105,973,4)(1105,973,2)(1106,1104,4)(1106,1104,2)(1107,1109,3)(11,34,2)(1111,979,4)(1111,979,2)(1112,1110,4)(1112,1110,2)(1113,1115,3)(12,34,2)(1117,985,4)(1117,985,2)(1118,1116,4)(1118,1116,2)(1119,1121,3)(13,34,2)(1123,991,4)(1123,991,2)(1124,1122,4)(1124,1122,2)(1125,1127,3)(14,34,2)(1129,997,4)(1129,997,2)(1130,1128,4)(1130,1128,2)(1131,1133,3)(15,34,2)(1135,1003,4)(1135,1003,2)(1136,1134,4)(1136,1134,2)(1137,1139,3)(16,34,2)(1141,1009,4)(1141,1009,2)(1142,1140,4)(1142,1140,2)(1143,1145,3)(17,34,2)(1147,1015,4)(1147,1015,2)(1148,1146,4)(1148,1146,2)(1149,1151,3)(18,34,2)(1153,1021,4)(1153,1021,2)(1154,1152,4)(1154,1152,2)(1155,1157,3)(19,34,2)(1159,1027,4)(1159,1027,2)(1160,1158,4)(1160,1158,2)(1161,1163,3)(20,34,2)(1165,1033,4)(1165,1033,2)(1166,1164,4)(1166,1164,2)(1167,1169,3)(21,34,2)(1171,1039,4)(1171,1039,2)(1172,1170,4)(1172,1170,2)(1173,1175,3)(22,34,2)(1177,1045,4)(1177,1045,2)(1178,1176,4)(1178,1176,2)(1179,1181,3)(23,34,2)(1183,1051,4)(1183,1051,2)(1184,1182,4)(1184,1182,2)(1185,1187,3)(24,34,2)(1189,1057,4)(1189,1057,2)(1190,1188,4)(1190,1188,2)(1191,1193,3)(25,34,5)(1195,1059,4)(1195,1059,2)(1196,1194,4)(1196,1194,2)(1197,1199,3)(2,35,2)(1201,1066,4)(1201,1066,2)(3,35,2)(1204,1072,4)(1204,1072,2)(1205,1203,4)(1205,1203,2)(1206,1208,3)(4,35,2)(1210,1078,4)(1210,1078,2)(1211,1209,4)(1211,1209,2)(1212,1214,3)(5,35,2)(1216,1084,4)(1216,1084,2)(1217,1215,4)(1217,1215,2)(1218,1220,3)(6,35,2)(1222,1090,4)(1222,1090,2)(1223,1221,4)(1223,1221,2)(1224,1226,3)(7,35,2)(1228,1096,4)(1228,1096,2)(1229,1227,4)(1229,1227,2)(1230,1232,3)(8,35,2)(1234,1102,4)(1234,1102,2)(1235,1233,4)(1235,1233,2)(1236,1238,3)(9,35,2)(1240,1108,4)(1240,1108,2)(1241,1239,4)(1241,1239,2)(1242,1244,3)(10,35,2)(1246,1114,4)(1246,1114,2)(1247,1245,4)(1247,1245,2)(1248,1250,3)(11,35,2)(1252,1120,4)(1252,1120,2)(1253,1251,4)(1253,1251,2)(1254,1256,3)(12,35,2)(1258,1126,4)(1258,1126,2)(1259,1257,4)(1259,1257,2)(1260,1262,3)(13,35,2)(1264,1132,4)(1264,1132,2)(1265,1263,4)(1265,1263,2)(1266,1268,3)(14,35,2)(1270,1138,4)(1270,1138,2)(1271,1269,4)(1271,1269,2)(1272,1274,3)(15,35,2)(1276,1144,4)(1276,1144,2)(1277,1275,4)(1277,1275,2)(1278,1280,3)(16,35,2)(1282,1150,4)(1282,1150,2)(1283,1281,4)(1283,1281,2)(1284,1286,3)(17,35,2)(1288,1156,4)(1288,1156,2)(1289,1287,4)(1289,1287,2)(1290,1292,3)(18,35,2)(1294,1162,4)(1294,1162,2)(1295,1293,4)(1295,1293,2)(1296,1298,3)(19,35,2)(1300,1168,4)(1300,1168,2)(1301,1299,4)(1301,1299,2)(1302,1304,3)(20,35,2)(1306,1174,4)(1306,1174,2)(1307,1305,4)(1307,1305,2)(1308,1310,3)(21,35,2)(1312,1180,4)(1312,1180,2)(1313,1311,4)(1313,1311,2)(1314,1316,3)(22,35,2)(1318,1186,4)(1318,1186,2)(1319,1317,4)(1319,1317,2)(1320,1322,3)(23,35,2)(1324,1192,4)(1324,1192,2)(1325,1323,4)(1325,1323,2)(1326,1328,3)(24,35,2)(1330,1198,4)(1330,1198,2)(1331,1329,4)(1331,1329,2)(1332,1334,3)(25,35,5)(1336,1200,4)(1336,1200,2)(1337,1335,4)(1337,1335,2)(1338,1340,3)(2,36,2)(1342,1207,4)(1342,1207,2)(3,36,2)(1345,1213,4)(1345,1213,2)(1346,1344,4)(1346,1344,2)(1347,1349,3)(4,36,2)(1351,1219,4)(1351,1219,2)(1352,1350,4)(1352,1350,2)(1353,1355,3)(5,36,2)(1357,1225,4)(1357,1225,2)(1358,1356,4)(1358,1356,2)(1359,1361,3)(6,36,2)(1363,1231,4)(1363,1231,2)(1364,1362,4)(1364,1362,2)(1365,1367,3)(7,36,2)(1369,1237,4)(1369,1237,2)(1370,1368,4)(1370,1368,2)(1371,1373,3)(8,36,2)(1375,1243,4)(1375,1243,2)(1376,1374,4)(1376,1374,2)(1377,1379,3)(9,36,2)(1381,1249,4)(1381,1249,2)(1382,1380,4)(1382,1380,2)(1383,1385,3)(10,36,2)(1387,1255,4)(1387,1255,2)(1388,1386,4)(1388,1386,2)(1389,1391,3)(11,36,2)(1393,1261,4)(1393,1261,2)(1394,1392,4)(1394,1392,2)(1395,1397,3)(12,36,2)(1399,1267,4)(1399,1267,2)(1400,1398,4)(1400,1398,2)(1401,1403,3)(13,36,2)(1405,1273,4)(1405,1273,2)(1406,1404,4)(1406,1404,2)(1407,1409,3)(14,36,2)(1411,1279,4)(1411,1279,2)(1412,1410,4)(1412,1410,2)(1413,1415,3)(15,36,2)(1417,1285,4)(1417,1285,2)(1418,1416,4)(1418,1416,2)(1419,1421,3)(16,36,2)(1423,1291,4)(1423,1291,2)(1424,1422,4)(1424,1422,2)(1425,1427,3)(17,36,2)(1429,1297,4)(1429,1297,2)(1430,1428,4)(1430,1428,2)(1431,1433,3)(18,36,2)(1435,1303,4)(1435,1303,2)(1436,1434,4)(1436,1434,2)(1437,1439,3)(19,36,2)(1441,1309,4)(1441,1309,2)(1442,1440,4)(1442,1440,2)(1443,1445,3)(20,36,2)(1447,1315,4)(1447,1315,2)(1448,1446,4)(1448,1446,2)(1449,1451,3)(21,36,2)(1453,1321,4)(1453,1321,2)(1454,1452,4)(1454,1452,2)(1455,1457,3)(22,36,2)(1459,1327,4)(1459,1327,2)(1460,1458,4)(1460,1458,2)(1461,1463,3)(23,36,2)(1465,1333,4)(1465,1333,2)(1466,1464,4)(1466,1464,2)(1467,1469,3)(24,36,2)(1471,1339,4)(1471,1339,2)(1472,1470,4)(1472,1470,2)(1473,1475,3)(25,36,5)(1477,1341,4)(1477,1341,2)(1478,1476,4)(1478,1476,2)(1479,1481,3)(2,37,2)(1483,1348,4)(1483,1348,2)(3,37,2)(1486,1354,4)(1486,1354,2)(1487,1485,4)(1487,1485,2)(1488,1490,3)(4,37,2)(1492,1360,4)(1492,1360,2)(1493,1491,4)(1493,1491,2)(1494,1496,3)(5,37,2)(1498,1366,4)(1498,1366,2)(1499,1497,4)(1499,1497,2)(1500,1502,3)(6,37,2)(1504,1372,4)(1504,1372,2)(1505,1503,4)(1505,1503,2)(1506,1508,3)(7,37,2)(1510,1378,4)(1510,1378,2)(1511,1509,4)(1511,1509,2)(1512,1514,3)(8,37,2)(1516,1384,4)(1516,1384,2)(1517,1515,4)(1517,1515,2)(1518,1520,3)(9,37,2)(1522,1390,4)(1522,1390,2)(1523,1521,4)(1523,1521,2)(1524,1526,3)(10,37,2)(1528,1396,4)(1528,1396,2)(1529,1527,4)(1529,1527,2)(1530,1532,3)(11,37,2)(1534,1402,4)(1534,1402,2)(1535,1533,4)(1535,1533,2)(1536,1538,3)(12,37,2)(1540,1408,4)(1540,1408,2)(1541,1539,4)(1541,1539,2)(1542,1544,3)(13,37,2)(1546,1414,4)(1546,1414,2)(1547,1545,4)(1547,1545,2)(1548,1550,3)(14,37,2)(1552,1420,4)(1552,1420,2)(1553,1551,4)(1553,1551,2)(1554,1556,3)(15,37,2)(1558,1426,4)(1558,1426,2)(1559,1557,4)(1559,1557,2)(1560,1562,3)(16,37,2)(1564,1432,4)(1564,1432,2)(1565,1563,4)(1565,1563,2)(1566,1568,3)(17,37,2)(1570,1438,4)(1570,1438,2)(1571,1569,4)(1571,1569,2)(1572,1574,3)(18,37,2)(1576,1444,4)(1576,1444,2)(1577,1575,4)(1577,1575,2)(1578,1580,3)(19,37,2)(1582,1450,4)(1582,1450,2)(1583,1581,4)(1583,1581,2)(1584,1586,3)(20,37,2)(1588,1456,4)(1588,1456,2)(1589,1587,4)(1589,1587,2)(1590,1592,3)(21,37,2)(1594,1462,4)(1594,1462,2)(1595,1593,4)(1595,1593,2)(1596,1598,3)(22,37,2)(1600,1468,4)(1600,1468,2)(1601,1599,4)(1601,1599,2)(1602,1604,3)(23,37,2)(1606,1474,4)(1606,1474,2)(1607,1605,4)(1607,1605,2)(1608,1610,3)(24,37,2)(1612,1480,4)(1612,1480,2)(1613,1611,4)(1613,1611,2)(1614,1616,3)(25,37,5)(1618,1482,4)(1618,1482,2)(1619,1617,4)(1619,1617,2)(1620,1622,3)(2,38,2)(1624,1489,4)(1624,1489,2)(3,38,2)(1627,1495,4)(1627,1495,2)(1628,1626,4)(1628,1626,2)(1629,1631,3)(4,38,2)(1633,1501,4)(1633,1501,2)(1634,1632,4)(1634,1632,2)(1635,1637,3)(5,38,2)(1639,1507,4)(1639,1507,2)(1640,1638,4)(1640,1638,2)(1641,1643,3)(6,38,2)(1645,1513,4)(1645,1513,2)(1646,1644,4)(1646,1644,2)(1647,1649,3)(7,38,2)(1651,1519,4)(1651,1519,2)(1652,1650,4)(1652,1650,2)(1653,1655,3)(8,38,2)(1657,1525,4)(1657,1525,2)(1658,1656,4)(1658,1656,2)(1659,1661,3)(9,38,2)(1663,1531,4)(1663,1531,2)(1664,1662,4)(1664,1662,2)(1665,1667,3)(10,38,2)(1669,1537,4)(1669,1537,2)(1670,1668,4)(1670,1668,2)(1671,1673,3)(11,38,2)(1675,1543,4)(1675,1543,2)(1676,1674,4)(1676,1674,2)(1677,1679,3)(12,38,2)(1681,1549,4)(1681,1549,2)(1682,1680,4)(1682,1680,2)(1683,1685,3)(13,38,2)(1687,1555,4)(1687,1555,2)(1688,1686,4)(1688,1686,2)(1689,1691,3)(14,38,2)(1693,1561,4)(1693,1561,2)(1694,1692,4)(1694,1692,2)(1695,1697,3)(15,38,2)(1699,1567,4)(1699,1567,2)(1700,1698,4)(1700,1698,2)(1701,1703,3)(16,38,2)(1705,1573,4)(1705,1573,2)(1706,1704,4)(1706,1704,2)(1707,1709,3)(17,38,2)(1711,1579,4)(1711,1579,2)(1712,1710,4)(1712,1710,2)(1713,1715,3)(18,38,2)(1717,1585,4)(1717,1585,2)(1718,1716,4)(1718,1716,2)(1719,1721,3)(19,38,2)(1723,1591,4)(1723,1591,2)(1724,1722,4)(1724,1722,2)(1725,1727,3)(20,38,2)(1729,1597,4)(1729,1597,2)(1730,1728,4)(1730,1728,2)(1731,1733,3)(21,38,2)(1735,1603,4)(1735,1603,2)(1736,1734,4)(1736,1734,2)(1737,1739,3)(22,38,2)(1741,1609,4)(1741,1609,2)(1742,1740,4)(1742,1740,2)(1743,1745,3)(23,38,2)(1747,1615,4)(1747,1615,2)(1748,1746,4)(1748,1746,2)(1749,1751,3)(24,38,2)(1753,1621,4)(1753,1621,2)(1754,1752,4)(1754,1752,2)(1755,1757,3)(25,38,5)(1759,1623,4)(1759,1623,2)(1760,1758,4)(1760,1758,2)(1761,1763,3)(2,39,2)(1765,1630,4)(1765,1630,2)(3,39,2)(1768,1636,4)(1768,1636,2)(1769,1767,4)(1769,1767,2)(1770,1772,3)(4,39,2)(1774,1642,4)(1774,1642,2)(1775,1773,4)(1775,1773,2)(1776,1778,3)(5,39,2)(1780,1648,4)(1780,1648,2)(1781,1779,4)(1781,1779,2)(1782,1784,3)(6,39,2)(1786,1654,4)(1786,1654,2)(1787,1785,4)(1787,1785,2)(1788,1790,3)(7,39,2)(1792,1660,4)(1792,1660,2)(1793,1791,4)(1793,1791,2)(1794,1796,3)(8,39,2)(1798,1666,4)(1798,1666,2)(1799,1797,4)(1799,1797,2)(1800,1802,3)(9,39,2)(1804,1672,4)(1804,1672,2)(1805,1803,4)(1805,1803,2)(1806,1808,3)(10,39,2)(1810,1678,4)(1810,1678,2)(1811,1809,4)(1811,1809,2)(1812,1814,3)(11,39,2)(1816,1684,4)(1816,1684,2)(1817,1815,4)(1817,1815,2)(1818,1820,3)(12,39,2)(1822,1690,4)(1822,1690,2)(1823,1821,4)(1823,1821,2)(1824,1826,3)(13,39,2)(1828,1696,4)(1828,1696,2)(1829,1827,4)(1829,1827,2)(1830,1832,3)(14,39,2)(1834,1702,4)(1834,1702,2)(1835,1833,4)(1835,1833,2)(1836,1838,3)(15,39,2)(1840,1708,4)(1840,1708,2)(1841,1839,4)(1841,1839,2)(1842,1844,3)(16,39,2)(1846,1714,4)(1846,1714,2)(1847,1845,4)(1847,1845,2)(1848,1850,3)(17,39,2)(1852,1720,4)(1852,1720,2)(1853,1851,4)(1853,1851,2)(1854,1856,3)(18,39,2)(1858,1726,4)(1858,1726,2)(1859,1857,4)(1859,1857,2)(1860,1862,3)(19,39,2)(1864,1732,4)(1864,1732,2)(1865,1863,4)(1865,1863,2)(1866,1868,3)(20,39,2)(1870,1738,4)(1870,1738,2)(1871,1869,4)(1871,1869,2)(1872,1874,3)(21,39,2)(1876,1744,4)(1876,1744,2)(1877,1875,4)(1877,1875,2)(1878,1880,3)(22,39,2)(1882,1750,4)(1882,1750,2)(1883,1881,4)(1883,1881,2)(1884,1886,3)(23,39,2)(1888,1756,4)(1888,1756,2)(1889,1887,4)(1889,1887,2)(1890,1892,3)(24,39,2)(1894,1762,4)(1894,1762,2)(1895,1893,4)(1895,1893,2)(1896,1898,3)(25,39,5)(1900,1764,4)(1900,1764,2)(1901,1899,4)(1901,1899,2)(1902,1904,3)(2,40,2)(1906,1771,4)(1906,1771,2)(3,40,2)(1909,1777,4)(1909,1777,2)(1910,1908,4)(1910,1908,2)(1911,1913,3)(4,40,2)(1915,1783,4)(1915,1783,2)(1916,1914,4)(1916,1914,2)(1917,1919,3)(5,40,2)(1921,1789,4)(1921,1789,2)(1922,1920,4)(1922,1920,2)(1923,1925,3)(6,40,2)(1927,1795,4)(1927,1795,2)(1928,1926,4)(1928,1926,2)(1929,1931,3)(7,40,2)(1933,1801,4)(1933,1801,2)(1934,1932,4)(1934,1932,2)(1935,1937,3)(8,40,2)(1939,1807,4)(1939,1807,2)(1940,1938,4)(1940,1938,2)(1941,1943,3)(9,40,2)(1945,1813,4)(1945,1813,2)(1946,1944,4)(1946,1944,2)(1947,1949,3)(10,40,2)(1951,1819,4)(1951,1819,2)(1952,1950,4)(1952,1950,2)(1953,1955,3)(11,40,2)(1957,1825,4)(1957,1825,2)(1958,1956,4)(1958,1956,2)(1959,1961,3)(12,40,2)(1963,1831,4)(1963,1831,2)(1964,1962,4)(1964,1962,2)(1965,1967,3)(13,40,2)(1969,1837,4)(1969,1837,2)(1970,1968,4)(1970,1968,2)(1971,1973,3)(14,40,2)(1975,1843,4)(1975,1843,2)(1976,1974,4)(1976,1974,2)(1977,1979,3)(15,40,2)(1981,1849,4)(1981,1849,2)(1982,1980,4)(1982,1980,2)(1983,1985,3)(16,40,2)(1987,1855,4)(1987,1855,2)(1988,1986,4)(1988,1986,2)(1989,1991,3)(17,40,2)(1993,1861,4)(1993,1861,2)(1994,1992,4)(1994,1992,2)(1995,1997,3)(18,40,2)(1999,1867,4)(1999,1867,2)(2000,1998,4)(2000,1998,2)(2001,2003,3)(19,40,2)(2005,1873,4)(2005,1873,2)(2006,2004,4)(2006,2004,2)(2007,2009,3)(20,40,2)(2011,1879,4)(2011,1879,2)(2012,2010,4)(2012,2010,2)(2013,2015,3)(21,40,2)(2017,1885,4)(2017,1885,2)(2018,2016,4)(2018,2016,2)(2019,2021,3)(22,40,2)(2023,1891,4)(2023,1891,2)(2024,2022,4)(2024,2022,2)(2025,2027,3)(23,40,2)(2029,1897,4)(2029,1897,2)(2030,2028,4)(2030,2028,2)(2031,2033,3)(24,40,2)(2035,1903,4)(2035,1903,2)(2036,2034,4)(2036,2034,2)(2037,2039,3)(25,40,5)(2041,1905,4)(2041,1905,2)(2042,2040,4)(2042,2040,2)(2043,2045,3)(2,41,2)(2047,1912,4)(2047,1912,2)(3,41,2)(2050,1918,4)(2050,1918,2)(2051,2049,4)(2051,2049,2)(2052,2054,3)(4,41,2)(2056,1924,4)(2056,1924,2)(2057,2055,4)(2057,2055,2)(2058,2060,3)(5,41,2)(2062,1930,4)(2062,1930,2)(2063,2061,4)(2063,2061,2)(2064,2066,3)(6,41,2)(2068,1936,4)(2068,1936,2)(2069,2067,4)(2069,2067,2)(2070,2072,3)(7,41,2)(2074,1942,4)(2074,1942,2)(2075,2073,4)(2075,2073,2)(2076,2078,3)(8,41,2)(2080,1948,4)(2080,1948,2)(2081,2079,4)(2081,2079,2)(2082,2084,3)(9,41,2)(2086,1954,4)(2086,1954,2)(2087,2085,4)(2087,2085,2)(2088,2090,3)(10,41,2)(2092,1960,4)(2092,1960,2)(2093,2091,4)(2093,2091,2)(2094,2096,3)(11,41,2)(2098,1966,4)(2098,1966,2)(2099,2097,4)(2099,2097,2)(2100,2102,3)(12,41,2)(2104,1972,4)(2104,1972,2)(2105,2103,4)(2105,2103,2)(2106,2108,3)(13,41,2)(2110,1978,4)(2110,1978,2)(2111,2109,4)(2111,2109,2)(2112,2114,3)(14,41,2)(2116,1984,4)(2116,1984,2)(2117,2115,4)(2117,2115,2)(2118,2120,3)(15,41,2)(2122,1990,4)(2122,1990,2)(2123,2121,4)(2123,2121,2)(2124,2126,3)(16,41,2)(2128,1996,4)(2128,1996,2)(2129,2127,4)(2129,2127,2)(2130,2132,3)(17,41,2)(2134,2002,4)(2134,2002,2)(2135,2133,4)(2135,2133,2)(2136,2138,3)(18,41,2)(2140,2008,4)(2140,2008,2)(2141,2139,4)(2141,2139,2)(2142,2144,3)(19,41,2)(2146,2014,4)(2146,2014,2)(2147,2145,4)(2147,2145,2)(2148,2150,3)(20,41,2)(2152,2020,4)(2152,2020,2)(2153,2151,4)(2153,2151,2)(2154,2156,3)(21,41,2)(2158,2026,4)(2158,2026,2)(2159,2157,4)(2159,2157,2)(2160,2162,3)(22,41,2)(2164,2032,4)(2164,2032,2)(2165,2163,4)(2165,2163,2)(2166,2168,3)(23,41,2)(2170,2038,4)(2170,2038,2)(2171,2169,4)(2171,2169,2)(2172,2174,3)(24,41,2)(2176,2044,4)(2176,2044,2)(2177,2175,4)(2177,2175,2)(2178,2180,3)(25,41,5)(2182,2046,4)(2182,2046,2)(2183,2181,4)(2183,2181,2)(2184,2186,3)(2,42,2)(2188,2053,4)(2188,2053,2)(3,42,2)(2191,2059,4)(2191,2059,2)(2192,2190,4)(2192,2190,2)(2193,2195,3)(4,42,2)(2197,2065,4)(2197,2065,2)(2198,2196,4)(2198,2196,2)(2199,2201,3)(5,42,2)(2203,2071,4)(2203,2071,2)(2204,2202,4)(2204,2202,2)(2205,2207,3)(6,42,2)(2209,2077,4)(2209,2077,2)(2210,2208,4)(2210,2208,2)(2211,2213,3)(7,42,2)(2215,2083,4)(2215,2083,2)(2216,2214,4)(2216,2214,2)(2217,2219,3)(8,42,2)(2221,2089,4)(2221,2089,2)(2222,2220,4)(2222,2220,2)(2223,2225,3)(9,42,2)(2227,2095,4)(2227,2095,2)(2228,2226,4)(2228,2226,2)(2229,2231,3)(10,42,2)(2233,2101,4)(2233,2101,2)(2234,2232,4)(2234,2232,2)(2235,2237,3)(11,42,2)(2239,2107,4)(2239,2107,2)(2240,2238,4)(2240,2238,2)(2241,2243,3)(12,42,2)(2245,2113,4)(2245,2113,2)(2246,2244,4)(2246,2244,2)(2247,2249,3)(13,42,2)(2251,2119,4)(2251,2119,2)(2252,2250,4)(2252,2250,2)(2253,2255,3)(14,42,2)(2257,2125,4)(2257,2125,2)(2258,2256,4)(2258,2256,2)(2259,2261,3)(15,42,2)(2263,2131,4)(2263,2131,2)(2264,2262,4)(2264,2262,2)(2265,2267,3)(16,42,2)(2269,2137,4)(2269,2137,2)(2270,2268,4)(2270,2268,2)(2271,2273,3)(17,42,2)(2275,2143,4)(2275,2143,2)(2276,2274,4)(2276,2274,2)(2277,2279,3)(18,42,2)(2281,2149,4)(2281,2149,2)(2282,2280,4)(2282,2280,2)(2283,2285,3)(19,42,2)(2287,2155,4)(2287,2155,2)(2288,2286,4)(2288,2286,2)(2289,2291,3)(20,42,2)(2293,2161,4)(2293,2161,2)(2294,2292,4)(2294,2292,2)(2295,2297,3)(21,42,2)(2299,2167,4)(2299,2167,2)(2300,2298,4)(2300,2298,2)(2301,2303,3)(22,42,2)(2305,2173,4)(2305,2173,2)(2306,2304,4)(2306,2304,2)(2307,2309,3)(23,42,2)(2311,2179,4)(2311,2179,2)(2312,2310,4)(2312,2310,2)(2313,2315,3)(24,42,2)(2317,2185,4)(2317,2185,2)(2318,2316,4)(2318,2316,2)(2319,2321,3)(25,42,5)(2323,2187,4)(2323,2187,2)(2324,2322,4)(2324,2322,2)(2325,2327,3)(2,43,2)(2329,2194,4)(2329,2194,2)(3,43,2)(2332,2200,4)(2332,2200,2)(2333,2331,4)(2333,2331,2)(2334,2336,3)(4,43,2)(2338,2206,4)(2338,2206,2)(2339,2337,4)(2339,2337,2)(2340,2342,3)(5,43,2)(2344,2212,4)(2344,2212,2)(2345,2343,4)(2345,2343,2)(2346,2348,3)(6,43,2)(2350,2218,4)(2350,2218,2)(2351,2349,4)(2351,2349,2)(2352,2354,3)(7,43,2)(2356,2224,4)(2356,2224,2)(2357,2355,4)(2357,2355,2)(2358,2360,3)(8,43,2)(2362,2230,4)(2362,2230,2)(2363,2361,4)(2363,2361,2)(2364,2366,3)(9,43,2)(2368,2236,4)(2368,2236,2)(2369,2367,4)(2369,2367,2)(2370,2372,3)(10,43,2)(2374,2242,4)(2374,2242,2)(2375,2373,4)(2375,2373,2)(2376,2378,3)(11,43,2)(2380,2248,4)(2380,2248,2)(2381,2379,4)(2381,2379,2)(2382,2384,3)(12,43,2)(2386,2254,4)(2386,2254,2)(2387,2385,4)(2387,2385,2)(2388,2390,3)(13,43,2)(2392,2260,4)(2392,2260,2)(2393,2391,4)(2393,2391,2)(2394,2396,3)(14,43,2)(2398,2266,4)(2398,2266,2)(2399,2397,4)(2399,2397,2)(2400,2402,3)(15,43,2)(2404,2272,4)(2404,2272,2)(2405,2403,4)(2405,2403,2)(2406,2408,3)(16,43,2)(2410,2278,4)(2410,2278,2)(2411,2409,4)(2411,2409,2)(2412,2414,3)(17,43,2)(2416,2284,4)(2416,2284,2)(2417,2415,4)(2417,2415,2)(2418,2420,3)(18,43,2)(2422,2290,4)(2422,2290,2)(2423,2421,4)(2423,2421,2)(2424,2426,3)(19,43,2)(2428,2296,4)(2428,2296,2)(2429,2427,4)(2429,2427,2)(2430,2432,3)(20,43,2)(2434,2302,4)(2434,2302,2)(2435,2433,4)(2435,2433,2)(2436,2438,3)(21,43,2)(2440,2308,4)(2440,2308,2)(2441,2439,4)(2441,2439,2)(2442,2444,3)(22,43,2)(2446,2314,4)(2446,2314,2)(2447,2445,4)(2447,2445,2)(2448,2450,3)(23,43,2)(2452,2320,4)(2452,2320,2)(2453,2451,4)(2453,2451,2)(2454,2456,3)(24,43,2)(2458,2326,4)(2458,2326,2)(2459,2457,4)(2459,2457,2)(2460,2462,3)(25,43,5)(2464,2328,4)(2464,2328,2)(2465,2463,4)(2465,2463,2)(2466,2468,3)(2,44,2)(2470,2335,4)(2470,2335,2)(3,44,2)(2473,2341,4)(2473,2341,2)(2474,2472,4)(2474,2472,2)(2475,2477,3)(4,44,2)(2479,2347,4)(2479,2347,2)(2480,2478,4)(2480,2478,2)(2481,2483,3)(5,44,2)(2485,2353,4)(2485,2353,2)(2486,2484,4)(2486,2484,2)(2487,2489,3)(6,44,2)(2491,2359,4)(2491,2359,2)(2492,2490,4)(2492,2490,2)(2493,2495,3)(7,44,2)(2497,2365,4)(2497,2365,2)(2498,2496,4)(2498,2496,2)(2499,2501,3)(8,44,2)(2503,2371,4)(2503,2371,2)(2504,2502,4)(2504,2502,2)(2505,2507,3)(9,44,2)(2509,2377,4)(2509,2377,2)(2510,2508,4)(2510,2508,2)(2511,2513,3)(10,44,2)(2515,2383,4)(2515,2383,2)(2516,2514,4)(2516,2514,2)(2517,2519,3)(11,44,2)(2521,2389,4)(2521,2389,2)(2522,2520,4)(2522,2520,2)(2523,2525,3)(12,44,2)(2527,2395,4)(2527,2395,2)(2528,2526,4)(2528,2526,2)(2529,2531,3)(13,44,2)(2533,2401,4)(2533,2401,2)(2534,2532,4)(2534,2532,2)(2535,2537,3)(14,44,2)(2539,2407,4)(2539,2407,2)(2540,2538,4)(2540,2538,2)(2541,2543,3)(15,44,2)(2545,2413,4)(2545,2413,2)(2546,2544,4)(2546,2544,2)(2547,2549,3)(16,44,2)(2551,2419,4)(2551,2419,2)(2552,2550,4)(2552,2550,2)(2553,2555,3)(17,44,2)(2557,2425,4)(2557,2425,2)(2558,2556,4)(2558,2556,2)(2559,2561,3)(18,44,2)(2563,2431,4)(2563,2431,2)(2564,2562,4)(2564,2562,2)(2565,2567,3)(19,44,2)(2569,2437,4)(2569,2437,2)(2570,2568,4)(2570,2568,2)(2571,2573,3)(20,44,2)(2575,2443,4)(2575,2443,2)(2576,2574,4)(2576,2574,2)(2577,2579,3)(21,44,2)(2581,2449,4)(2581,2449,2)(2582,2580,4)(2582,2580,2)(2583,2585,3)(22,44,2)(2587,2455,4)(2587,2455,2)(2588,2586,4)(2588,2586,2)(2589,2591,3)(23,44,2)(2593,2461,4)(2593,2461,2)(2594,2592,4)(2594,2592,2)(2595,2597,3)(24,44,2)(2599,2467,4)(2599,2467,2)(2600,2598,4)(2600,2598,2)(2601,2603,3)(25,44,5)(2605,2469,4)(2605,2469,2)(2606,2604,4)(2606,2604,2)(2607,2609,3)(2,45,2)(2611,2476,4)(2611,2476,2)(3,45,2)(2614,2482,4)(2614,2482,2)(2615,2613,4)(2615,2613,2)(2616,2618,3)(4,45,2)(2620,2488,4)(2620,2488,2)(2621,2619,4)(2621,2619,2)(2622,2624,3)(5,45,2)(2626,2494,4)(2626,2494,2)(2627,2625,4)(2627,2625,2)(2628,2630,3)(6,45,2)(2632,2500,4)(2632,2500,2)(2633,2631,4)(2633,2631,2)(2634,2636,3)(7,45,2)(2638,2506,4)(2638,2506,2)(2639,2637,4)(2639,2637,2)(2640,2642,3)(8,45,2)(2644,2512,4)(2644,2512,2)(2645,2643,4)(2645,2643,2)(2646,2648,3)(9,45,2)(2650,2518,4)(2650,2518,2)(2651,2649,4)(2651,2649,2)(2652,2654,3)(10,45,2)(2656,2524,4)(2656,2524,2)(2657,2655,4)(2657,2655,2)(2658,2660,3)(11,45,2)(2662,2530,4)(2662,2530,2)(2663,2661,4)(2663,2661,2)(2664,2666,3)(12,45,2)(2668,2536,4)(2668,2536,2)(2669,2667,4)(2669,2667,2)(2670,2672,3)(13,45,2)(2674,2542,4)(2674,2542,2)(2675,2673,4)(2675,2673,2)(2676,2678,3)(14,45,2)(2680,2548,4)(2680,2548,2)(2681,2679,4)(2681,2679,2)(2682,2684,3)(15,45,2)(2686,2554,4)(2686,2554,2)(2687,2685,4)(2687,2685,2)(2688,2690,3)(16,45,2)(2692,2560,4)(2692,2560,2)(2693,2691,4)(2693,2691,2)(2694,2696,3)(17,45,2)(2698,2566,4)(2698,2566,2)(2699,2697,4)(2699,2697,2)(2700,2702,3)(18,45,2)(2704,2572,4)(2704,2572,2)(2705,2703,4)(2705,2703,2)(2706,2708,3)(19,45,2)(2710,2578,4)(2710,2578,2)(2711,2709,4)(2711,2709,2)(2712,2714,3)(20,45,2)(2716,2584,4)(2716,2584,2)(2717,2715,4)(2717,2715,2)(2718,2720,3)(21,45,2)(2722,2590,4)(2722,2590,2)(2723,2721,4)(2723,2721,2)(2724,2726,3)(22,45,2)(2728,2596,4)(2728,2596,2)(2729,2727,4)(2729,2727,2)(2730,2732,3)(23,45,2)(2734,2602,4)(2734,2602,2)(2735,2733,4)(2735,2733,2)(2736,2738,3)(24,45,2)(2740,2608,4)(2740,2608,2)(2741,2739,4)(2741,2739,2)(2742,2744,3)(25,45,5)(2746,2610,4)(2746,2610,2)(2747,2745,4)(2747,2745,2)(2748,2750,3)(2,46,2)(2752,2617,4)(2752,2617,2)(3,46,2)(2755,2623,4)(2755,2623,2)(2756,2754,4)(2756,2754,2)(2757,2759,3)(4,46,2)(2761,2629,4)(2761,2629,2)(2762,2760,4)(2762,2760,2)(2763,2765,3)(5,46,2)(2767,2635,4)(2767,2635,2)(2768,2766,4)(2768,2766,2)(2769,2771,3)(6,46,2)(2773,2641,4)(2773,2641,2)(2774,2772,4)(2774,2772,2)(2775,2777,3)(7,46,2)(2779,2647,4)(2779,2647,2)(2780,2778,4)(2780,2778,2)(2781,2783,3)(8,46,2)(2785,2653,4)(2785,2653,2)(2786,2784,4)(2786,2784,2)(2787,2789,3)(9,46,2)(2791,2659,4)(2791,2659,2)(2792,2790,4)(2792,2790,2)(2793,2795,3)(10,46,2)(2797,2665,4)(2797,2665,2)(2798,2796,4)(2798,2796,2)(2799,2801,3)(11,46,2)(2803,2671,4)(2803,2671,2)(2804,2802,4)(2804,2802,2)(2805,2807,3)(12,46,2)(2809,2677,4)(2809,2677,2)(2810,2808,4)(2810,2808,2)(2811,2813,3)(13,46,2)(2815,2683,4)(2815,2683,2)(2816,2814,4)(2816,2814,2)(2817,2819,3)(14,46,2)(2821,2689,4)(2821,2689,2)(2822,2820,4)(2822,2820,2)(2823,2825,3)(15,46,2)(2827,2695,4)(2827,2695,2)(2828,2826,4)(2828,2826,2)(2829,2831,3)(16,46,2)(2833,2701,4)(2833,2701,2)(2834,2832,4)(2834,2832,2)(2835,2837,3)(17,46,2)(2839,2707,4)(2839,2707,2)(2840,2838,4)(2840,2838,2)(2841,2843,3)(18,46,2)(2845,2713,4)(2845,2713,2)(2846,2844,4)(2846,2844,2)(2847,2849,3)(19,46,2)(2851,2719,4)(2851,2719,2)(2852,2850,4)(2852,2850,2)(2853,2855,3)(20,46,2)(2857,2725,4)(2857,2725,2)(2858,2856,4)(2858,2856,2)(2859,2861,3)(21,46,2)(2863,2731,4)(2863,2731,2)(2864,2862,4)(2864,2862,2)(2865,2867,3)(22,46,2)(2869,2737,4)(2869,2737,2)(2870,2868,4)(2870,2868,2)(2871,2873,3)(23,46,2)(2875,2743,4)(2875,2743,2)(2876,2874,4)(2876,2874,2)(2877,2879,3)(24,46,2)(2881,2749,4)(2881,2749,2)(2882,2880,4)(2882,2880,2)(2883,2885,3)(25,46,5)(2887,2751,4)(2887,2751,2)(2888,2886,4)(2888,2886,2)(2889,2891,3)(2,47,2)(2893,2758,4)(2893,2758,2)(3,47,2)(2896,2764,4)(2896,2764,2)(2897,2895,4)(2897,2895,2)(2898,2900,3)(4,47,2)(2902,2770,4)(2902,2770,2)(2903,2901,4)(2903,2901,2)(2904,2906,3)(5,47,2)(2908,2776,4)(2908,2776,2)(2909,2907,4)(2909,2907,2)(2910,2912,3)(6,47,2)(2914,2782,4)(2914,2782,2)(2915,2913,4)(2915,2913,2)(2916,2918,3)(7,47,2)(2920,2788,4)(2920,2788,2)(2921,2919,4)(2921,2919,2)(2922,2924,3)(8,47,2)(2926,2794,4)(2926,2794,2)(2927,2925,4)(2927,2925,2)(2928,2930,3)(9,47,2)(2932,2800,4)(2932,2800,2)(2933,2931,4)(2933,2931,2)(2934,2936,3)(10,47,2)(2938,2806,4)(2938,2806,2)(2939,2937,4)(2939,2937,2)(2940,2942,3)(11,47,2)(2944,2812,4)(2944,2812,2)(2945,2943,4)(2945,2943,2)(2946,2948,3)(12,47,2)(2950,2818,4)(2950,2818,2)(2951,2949,4)(2951,2949,2)(2952,2954,3)(13,47,2)(2956,2824,4)(2956,2824,2)(2957,2955,4)(2957,2955,2)(2958,2960,3)(14,47,2)(2962,2830,4)(2962,2830,2)(2963,2961,4)(2963,2961,2)(2964,2966,3)(15,47,2)(2968,2836,4)(2968,2836,2)(2969,2967,4)(2969,2967,2)(2970,2972,3)(16,47,2)(2974,2842,4)(2974,2842,2)(2975,2973,4)(2975,2973,2)(2976,2978,3)(17,47,2)(2980,2848,4)(2980,2848,2)(2981,2979,4)(2981,2979,2)(2982,2984,3)(18,47,2)(2986,2854,4)(2986,2854,2)(2987,2985,4)(2987,2985,2)(2988,2990,3)(19,47,2)(2992,2860,4)(2992,2860,2)(2993,2991,4)(2993,2991,2)(2994,2996,3)(20,47,2)(2998,2866,4)(2998,2866,2)(2999,2997,4)(2999,2997,2)(3000,3002,3)(21,47,2)(3004,2872,4)(3004,2872,2)(3005,3003,4)(3005,3003,2)(3006,3008,3)(22,47,2)(3010,2878,4)(3010,2878,2)(3011,3009,4)(3011,3009,2)(3012,3014,3)(23,47,2)(3016,2884,4)(3016,2884,2)(3017,3015,4)(3017,3015,2)(3018,3020,3)(24,47,2)(3022,2890,4)(3022,2890,2)(3023,3021,4)(3023,3021,2)(3024,3026,3)(25,47,5)(3028,2892,4)(3028,2892,2)(3029,3027,4)(3029,3027,2)(3030,3032,3)(2,48,2)(3034,2899,4)(3034,2899,2)(3,48,2)(3037,2905,4)(3037,2905,2)(3038,3036,4)(3038,3036,2)(3039,3041,3)(4,48,2)(3043,2911,4)(3043,2911,2)(3044,3042,4)(3044,3042,2)(3045,3047,3)(5,48,2)(3049,2917,4)(3049,2917,2)(3050,3048,4)(3050,3048,2)(3051,3053,3)(6,48,2)(3055,2923,4)(3055,2923,2)(3056,3054,4)(3056,3054,2)(3057,3059,3)(7,48,2)(3061,2929,4)(3061,2929,2)(3062,3060,4)(3062,3060,2)(3063,3065,3)(8,48,2)(3067,2935,4)(3067,2935,2)(3068,3066,4)(3068,3066,2)(3069,3071,3)(9,48,2)(3073,2941,4)(3073,2941,2)(3074,3072,4)(3074,3072,2)(3075,3077,3)(10,48,2)(3079,2947,4)(3079,2947,2)(3080,3078,4)(3080,3078,2)(3081,3083,3)(11,48,2)(3085,2953,4)(3085,2953,2)(3086,3084,4)(3086,3084,2)(3087,3089,3)(12,48,2)(3091,2959,4)(3091,2959,2)(3092,3090,4)(3092,3090,2)(3093,3095,3)(13,48,2)(3097,2965,4)(3097,2965,2)(3098,3096,4)(3098,3096,2)(3099,3101,3)(14,48,2)(3103,2971,4)(3103,2971,2)(3104,3102,4)(3104,3102,2)(3105,3107,3)(15,48,2)(3109,2977,4)(3109,2977,2)(3110,3108,4)(3110,3108,2)(3111,3113,3)(16,48,2)(3115,2983,4)(3115,2983,2)(3116,3114,4)(3116,3114,2)(3117,3119,3)(17,48,2)(3121,2989,4)(3121,2989,2)(3122,3120,4)(3122,3120,2)(3123,3125,3)(18,48,2)(3127,2995,4)(3127,2995,2)(3128,3126,4)(3128,3126,2)(3129,3131,3)(19,48,2)(3133,3001,4)(3133,3001,2)(3134,3132,4)(3134,3132,2)(3135,3137,3)(20,48,2)(3139,3007,4)(3139,3007,2)(3140,3138,4)(3140,3138,2)(3141,3143,3)(21,48,2)(3145,3013,4)(3145,3013,2)(3146,3144,4)(3146,3144,2)(3147,3149,3)(22,48,2)(3151,3019,4)(3151,3019,2)(3152,3150,4)(3152,3150,2)(3153,3155,3)(23,48,2)(3157,3025,4)(3157,3025,2)(3158,3156,4)(3158,3156,2)(3159,3161,3)(24,48,2)(3163,3031,4)(3163,3031,2)(3164,3162,4)(3164,3162,2)(3165,3167,3)(25,48,5)(3169,3033,4)(3169,3033,2)(3170,3168,4)(3170,3168,2)(3171,3173,3)(2,49,5)(3175,3040,4)(3175,3040,2)(3,49,5)(3178,3046,4)(3178,3046,2)(3179,3177,4)(3179,3177,2)(3180,3182,3)(4,49,5)(3184,3052,4)(3184,3052,2)(3185,3183,4)(3185,3183,2)(3186,3188,3)(5,49,5)(3190,3058,4)(3190,3058,2)(3191,3189,4)(3191,3189,2)(3192,3194,3)(6,49,5)(3196,3064,4)(3196,3064,2)(3197,3195,4)(3197,3195,2)(3198,3200,3)(7,49,5)(3202,3070,4)(3202,3070,2)(3203,3201,4)(3203,3201,2)(3204,3206,3)(8,49,5)(3208,3076,4)(3208,3076,2)(3209,3207,4)(3209,3207,2)(3210,3212,3)(9,49,5)(3214,3082,4)(3214,3082,2)(3215,3213,4)(3215,3213,2)(3216,3218,3)(10,49,5)(3220,3088,4)(3220,3088,2)(3221,3219,4)(3221,3219,2)(3222,3224,3)(11,49,5)(3226,3094,4)(3226,3094,2)(3227,3225,4)(3227,3225,2)(3228,3230,3)(12,49,5)(3232,3100,4)(3232,3100,2)(3233,3231,4)(3233,3231,2)(3234,3236,3)(13,49,5)(3238,3106,4)(3238,3106,2)(3239,3237,4)(3239,3237,2)(3240,3242,3)(14,49,5)(3244,3112,4)(3244,3112,2)(3245,3243,4)(3245,3243,2)(3246,3248,3)(15,49,5)(3250,3118,4)(3250,3118,2)(3251,3249,4)(3251,3249,2)(3252,3254,3)(16,49,5)(3256,3124,4)(3256,3124,2)(3257,3255,4)(3257,3255,2)(3258,3260,3)(17,49,5)(3262,3130,4)(3262,3130,2)(3263,3261,4)(3263,3261,2)(3264,3266,3)(18,49,5)(3268,3136,4)(3268,3136,2)(3269,3267,4)(3269,3267,2)(3270,3272,3)(19,49,5)(3274,3142,4)(3274,3142,2)(3275,3273,4)(3275,3273,2)(3276,3278,3)(20,49,5)(3280,3148,4)(3280,3148,2)(3281,3279,4)(3281,3279,2)(3282,3284,3)(21,49,5)(3286,3154,4)(3286,3154,2)(3287,3285,4)(3287,3285,2)(3288,3290,3)(22,49,5)(3292,3160,4)(3292,3160,2)(3293,3291,4)(3293,3291,2)(3294,3296,3)(23,49,5)(3298,3166,4)(3298,3166,2)(3299,3297,4)(3299,3297,2)(3300,3302,3)(24,49,5)(3304,3172,4)(3304,3172,2)(3305,3303,4)(3305,3303,2)(3306,3308,3)(25,49,2)(3310,3174,4)(3310,3174,2)(3311,3309,4)(3311,3309,2)(3312,3314,3)(3315,3315,1)(3316,3313,3307,3301,3295,3289,3283,3277,3271,3265,3259,3253,3247,3241,3235,3229,3223,3217,3211,3205,3199,3193,3187,3181,3176,3035,2894,2753,2612,2471,2330,2189,2048,1907,1766,1625,1484,1343,1202,1061,920,779,638,497,356,215,75,50)
Reference in New Issue View Git Blame Copy Permalink