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