Quelle  ctounit7.tbl   Sprache: unbekannt

#############################################################################
##
#W  ctounit7.tbl                GAP table library               Thomas Breuer
##
##  This file contains the ordinary character tables related to the unitary
##  group $U_6(4)$.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctounit7.tbl,v $
#H  Revision 1.1  2012/01/26 10:57:39  gap
#H  table of U6(4), contributed by Eamonn O'Brien
#H      TB
#H
##

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

--> maximum size reached

--> --------------------