/*

May 9, 2016,

This file contains a list "gamma1_dimensions" whose (N-1000)th entry (1000 < N <= 1500) is:

[ N, dimension of the old space in weight 1 and level N, dimension of the new space in weight 1 and level N]

Here by "level N" I mean of course for Gamma_1(N). Thus the sum of the second and third entry
in the Nth element of the list is dim S_1(Gamma_1(N)).

For example:

> gamma1_dimensions[155];
[ 1155, 68, 28 ]

*/




gamma1_dimensions:=[
    [ 1001, 16, 28 ],
    [ 1002, 20, 0 ],
    [ 1003, 2, 21 ],
    [ 1004, 9, 7 ],
    [ 1005, 44, 8 ],
    [ 1006, 20, 0 ],
    [ 1007, 0, 14 ],
    [ 1008, 151, 49 ],
    [ 1009, 0, 0 ],
    [ 1010, 8, 0 ],
    [ 1011, 0, 63 ],
    [ 1012, 38, 20 ],
    [ 1013, 0, 0 ],
    [ 1014, 62, 0 ],
    [ 1015, 34, 30 ],
    [ 1016, 8, 15 ],
    [ 1017, 4, 4 ],
    [ 1018, 0, 0 ],
    [ 1019, 0, 6 ],
    [ 1020, 118, 36 ],
    [ 1021, 0, 0 ],
    [ 1022, 12, 0 ],
    [ 1023, 40, 34 ],
    [ 1024, 23, 10 ],
    [ 1025, 0, 4 ],
    [ 1026, 72, 0 ],
    [ 1027, 4, 31 ],
    [ 1028, 0, 71 ],
    [ 1029, 30, 72 ],
    [ 1030, 12, 0 ],
    [ 1031, 0, 17 ],
    [ 1032, 124, 42 ],
    [ 1033, 0, 0 ],
    [ 1034, 52, 0 ],
    [ 1035, 60, 22 ],
    [ 1036, 71, 50 ],
    [ 1037, 0, 0 ],
    [ 1038, 16, 0 ],
    [ 1039, 0, 11 ],
    [ 1040, 126, 24 ],
    [ 1041, 4, 0 ],
    [ 1042, 0, 0 ],
    [ 1043, 0, 75 ],
    [ 1044, 48, 66 ],
    [ 1045, 24, 64 ],
    [ 1046, 4, 0 ],
    [ 1047, 0, 63 ],
    [ 1048, 18, 76 ],
    [ 1049, 0, 0 ],
    [ 1050, 56, 0 ],
    [ 1051, 0, 2 ],
    [ 1052, 18, 0 ],
    [ 1053, 34, 30 ],
    [ 1054, 28, 0 ],
    [ 1055, 2, 23 ],
    [ 1056, 110, 18 ],
    [ 1057, 6, 74 ],
    [ 1058, 24, 0 ],
    [ 1059, 0, 6 ],
    [ 1060, 28, 78 ],
    [ 1061, 0, 0 ],
    [ 1062, 20, 0 ],
    [ 1063, 0, 9 ],
    [ 1064, 74, 64 ],
    [ 1065, 26, 28 ],
    [ 1066, 0, 0 ],
    [ 1067, 0, 51 ],
    [ 1068, 50, 6 ],
    [ 1069, 0, 0 ],
    [ 1070, 16, 0 ],
    [ 1071, 14, 32 ],
    [ 1072, 79, 1 ],
    [ 1073, 0, 0 ],
    [ 1074, 8, 0 ],
    [ 1075, 12, 10 ],
    [ 1076, 0, 80 ],
    [ 1077, 18, 0 ],
    [ 1078, 74, 0 ],
    [ 1079, 2, 20 ],
    [ 1080, 138, 28 ],
    [ 1081, 6, 66 ],
    [ 1082, 0, 0 ],
    [ 1083, 4, 70 ],
    [ 1084, 15, 0 ],
    [ 1085, 22, 48 ],
    [ 1086, 66, 0 ],
    [ 1087, 0, 4 ],
    [ 1088, 91, 37 ],
    [ 1089, 14, 48 ],
    [ 1090, 0, 0 ],
    [ 1091, 0, 8 ],
    [ 1092, 122, 52 ],
    [ 1093, 0, 0 ],
    [ 1094, 2, 0 ],
    [ 1095, 30, 16 ],
    [ 1096, 70, 71 ],
    [ 1097, 0, 0 ],
    [ 1098, 64, 0 ],
    [ 1099, 0, 10 ],
    [ 1100, 48, 29 ],
    [ 1101, 8, 64 ],
    [ 1102, 24, 0 ],
    [ 1103, 0, 11 ],
    [ 1104, 66, 16 ],
    [ 1105, 0, 0 ],
    [ 1106, 92, 0 ],
    [ 1107, 0, 14 ],
    [ 1108, 0, 78 ],
    [ 1109, 0, 0 ],
    [ 1110, 44, 0 ],
    [ 1111, 0, 10 ],
    [ 1112, 10, 78 ],
    [ 1113, 82, 20 ],
    [ 1114, 0, 0 ],
    [ 1115, 6, 4 ],
    [ 1116, 89, 30 ],
    [ 1117, 0, 0 ],
    [ 1118, 22, 0 ],
    [ 1119, 0, 75 ],
    [ 1120, 100, 28 ],
    [ 1121, 2, 24 ],
    [ 1122, 16, 0 ],
    [ 1123, 0, 2 ],
    [ 1124, 0, 77 ],
    [ 1125, 20, 8 ],
    [ 1126, 12, 0 ],
    [ 1127, 23, 82 ],
    [ 1128, 50, 10 ],
    [ 1129, 0, 0 ],
    [ 1130, 0, 0 ],
    [ 1131, 6, 30 ],
    [ 1132, 9, 3 ],
    [ 1133, 4, 50 ],
    [ 1134, 66, 0 ],
    [ 1135, 4, 8 ],
    [ 1136, 29, 17 ],
    [ 1137, 2, 62 ],
    [ 1138, 0, 0 ],
    [ 1139, 0, 23 ],
    [ 1140, 110, 60 ],
    [ 1141, 0, 80 ],
    [ 1142, 4, 0 ],
    [ 1143, 46, 35 ],
    [ 1144, 56, 26 ],
    [ 1145, 8, 8 ],
    [ 1146, 24, 0 ],
    [ 1147, 2, 6 ],
    [ 1148, 40, 32 ],
    [ 1149, 16, 0 ],
    [ 1150, 36, 0 ],
    [ 1151, 0, 20 ],
    [ 1152, 79, 15 ],
    [ 1153, 0, 0 ],
    [ 1154, 0, 0 ],
    [ 1155, 68, 28 ],
    [ 1156, 6, 85 ],
    [ 1157, 0, 0 ],
    [ 1158, 74, 0 ],
    [ 1159, 0, 35 ],
    [ 1160, 192, 12 ],
    [ 1161, 32, 40 ],
    [ 1162, 24, 0 ],
    [ 1163, 0, 3 ],
    [ 1164, 91, 36 ],
    [ 1165, 0, 0 ],
    [ 1166, 54, 0 ],
    [ 1167, 0, 10 ],
    [ 1168, 133, 20 ],
    [ 1169, 10, 26 ],
    [ 1170, 48, 0 ],
    [ 1171, 0, 3 ],
    [ 1172, 0, 80 ],
    [ 1173, 16, 20 ],
    [ 1174, 6, 0 ],
    [ 1175, 6, 26 ],
    [ 1176, 110, 80 ],
    [ 1177, 2, 12 ],
    [ 1178, 52, 0 ],
    [ 1179, 6, 16 ],
    [ 1180, 27, 6 ],
    [ 1181, 0, 0 ],
    [ 1182, 20, 0 ],
    [ 1183, 0, 60 ],
    [ 1184, 96, 26 ],
    [ 1185, 46, 76 ],
    [ 1186, 0, 0 ],
    [ 1187, 0, 4 ],
    [ 1188, 60, 28 ],
    [ 1189, 0, 0 ],
    [ 1190, 60, 0 ],
    [ 1191, 0, 75 ],
    [ 1192, 84, 2 ],
    [ 1193, 0, 0 ],
    [ 1194, 80, 0 ],
    [ 1195, 14, 17 ],
    [ 1196, 61, 44 ],
    [ 1197, 126, 50 ],
    [ 1198, 24, 0 ],
    [ 1199, 0, 18 ],
    [ 1200, 154, 28 ],
    [ 1201, 0, 0 ],
    [ 1202, 0, 0 ],
    [ 1203, 0, 14 ],
    [ 1204, 74, 42 ],
    [ 1205, 0, 0 ],
    [ 1206, 78, 0 ],
    [ 1207, 6, 8 ],
    [ 1208, 12, 11 ],
    [ 1209, 22, 116 ],
    [ 1210, 32, 0 ],
    [ 1211, 0, 6 ],
    [ 1212, 76, 4 ],
    [ 1213, 0, 0 ],
    [ 1214, 12, 0 ],
    [ 1215, 20, 18 ],
    [ 1216, 76, 28 ],
    [ 1217, 0, 0 ],
    [ 1218, 84, 0 ],
    [ 1219, 2, 2 ],
    [ 1220, 32, 164 ],
    [ 1221, 60, 40 ],
    [ 1222, 16, 0 ],
    [ 1223, 0, 17 ],
    [ 1224, 169, 83 ],
    [ 1225, 8, 26 ],
    [ 1226, 0, 0 ],
    [ 1227, 0, 67 ],
    [ 1228, 3, 7 ],
    [ 1229, 0, 0 ],
    [ 1230, 16, 0 ],
    [ 1231, 0, 13 ],
    [ 1232, 126, 44 ],
    [ 1233, 4, 4 ],
    [ 1234, 0, 0 ],
    [ 1235, 10, 44 ],
    [ 1236, 72, 38 ],
    [ 1237, 0, 0 ],
    [ 1238, 4, 0 ],
    [ 1239, 16, 30 ],
    [ 1240, 82, 26 ],
    [ 1241, 0, 0 ],
    [ 1242, 84, 0 ],
    [ 1243, 0, 55 ],
    [ 1244, 27, 0 ],
    [ 1245, 12, 80 ],
    [ 1246, 20, 0 ],
    [ 1247, 0, 12 ],
    [ 1248, 148, 32 ],
    [ 1249, 0, 0 ],
    [ 1250, 0, 0 ],
    [ 1251, 47, 26 ],
    [ 1252, 0, 83 ],
    [ 1253, 4, 88 ],
    [ 1254, 40, 0 ],
    [ 1255, 6, 11 ],
    [ 1256, 80, 16 ],
    [ 1257, 8, 0 ],
    [ 1258, 0, 0 ],
    [ 1259, 0, 7 ],
    [ 1260, 100, 86 ],
    [ 1261, 0, 0 ],
    [ 1262, 12, 0 ],
    [ 1263, 0, 77 ],
    [ 1264, 28, 20 ],
    [ 1265, 26, 64 ],
    [ 1266, 88, 0 ],
    [ 1267, 0, 6 ],
    [ 1268, 0, 82 ],
    [ 1269, 32, 40 ],
    [ 1270, 16, 0 ],
    [ 1271, 2, 75 ],
    [ 1272, 76, 70 ],
    [ 1273, 0, 8 ],
    [ 1274, 0, 0 ],
    [ 1275, 36, 66 ],
    [ 1276, 30, 28 ],
    [ 1277, 0, 0 ],
    [ 1278, 52, 0 ],
    [ 1279, 0, 11 ],
    [ 1280, 48, 16 ],
    [ 1281, 22, 100 ],
    [ 1282, 0, 0 ],
    [ 1283, 0, 5 ],
    [ 1284, 12, 8 ],
    [ 1285, 0, 0 ],
    [ 1286, 6, 0 ],
    [ 1287, 56, 52 ],
    [ 1288, 108, 82 ],
    [ 1289, 0, 0 ],
    [ 1290, 48, 0 ],
    [ 1291, 0, 4 ],
    [ 1292, 29, 18 ],
    [ 1293, 20, 8 ],
    [ 1294, 22, 0 ],
    [ 1295, 34, 28 ],
    [ 1296, 159, 22 ],
    [ 1297, 0, 0 ],
    [ 1298, 60, 0 ],
    [ 1299, 0, 77 ],
    [ 1300, 74, 128 ],
    [ 1301, 0, 0 ],
    [ 1302, 148, 0 ],
    [ 1303, 0, 5 ],
    [ 1304, 2, 92 ],
    [ 1305, 36, 12 ],
    [ 1306, 0, 0 ],
    [ 1307, 0, 5 ],
    [ 1308, 119, 44 ],
    [ 1309, 16, 4 ],
    [ 1310, 26, 0 ],
    [ 1311, 28, 12 ],
    [ 1312, 145, 47 ],
    [ 1313, 0, 4 ],
    [ 1314, 92, 0 ],
    [ 1315, 12, 2 ],
    [ 1316, 42, 38 ],
    [ 1317, 14, 76 ],
    [ 1318, 10, 0 ],
    [ 1319, 0, 22 ],
    [ 1320, 144, 80 ],
    [ 1321, 0, 0 ],
    [ 1322, 0, 0 ],
    [ 1323, 58, 32 ],
    [ 1324, 9, 3 ],
    [ 1325, 0, 0 ],
    [ 1326, 32, 0 ],
    [ 1327, 0, 7 ],
    [ 1328, 102, 4 ],
    [ 1329, 4, 0 ],
    [ 1330, 68, 0 ],
    [ 1331, 0, 25 ],
    [ 1332, 130, 82 ],
    [ 1333, 2, 14 ],
    [ 1334, 82, 0 ],
    [ 1335, 4, 16 ],
    [ 1336, 20, 15 ],
    [ 1337, 12, 94 ],
    [ 1338, 84, 0 ],
    [ 1339, 4, 31 ],
    [ 1340, 26, 64 ],
    [ 1341, 12, 0 ],
    [ 1342, 36, 0 ],
    [ 1343, 4, 16 ],
    [ 1344, 146, 42 ],
    [ 1345, 0, 8 ],
    [ 1346, 0, 0 ],
    [ 1347, 0, 2 ],
    [ 1348, 0, 85 ],
    [ 1349, 6, 64 ],
    [ 1350, 60, 0 ],
    [ 1351, 0, 105 ],
    [ 1352, 104, 46 ],
    [ 1353, 12, 8 ],
    [ 1354, 0, 0 ],
    [ 1355, 10, 15 ],
    [ 1356, 64, 10 ],
    [ 1357, 4, 84 ],
    [ 1358, 24, 0 ],
    [ 1359, 65, 34 ],
    [ 1360, 148, 22 ],
    [ 1361, 0, 0 ],
    [ 1362, 8, 0 ],
    [ 1363, 4, 2 ],
    [ 1364, 58, 48 ],
    [ 1365, 104, 32 ],
    [ 1366, 4, 0 ],
    [ 1367, 0, 12 ],
    [ 1368, 194, 110 ],
    [ 1369, 0, 0 ],
    [ 1370, 0, 0 ],
    [ 1371, 0, 79 ],
    [ 1372, 33, 18 ],
    [ 1373, 0, 2 ],
    [ 1374, 102, 0 ],
    [ 1375, 21, 88 ],
    [ 1376, 108, 36 ],
    [ 1377, 4, 4 ],
    [ 1378, 8, 0 ],
    [ 1379, 0, 113 ],
    [ 1380, 128, 88 ],
    [ 1381, 0, 0 ],
    [ 1382, 4, 0 ],
    [ 1383, 0, 16 ],
    [ 1384, 96, 4 ],
    [ 1385, 0, 0 ],
    [ 1386, 132, 0 ],
    [ 1387, 0, 35 ],
    [ 1388, 6, 5 ],
    [ 1389, 6, 76 ],
    [ 1390, 42, 0 ],
    [ 1391, 2, 35 ],
    [ 1392, 144, 14 ],
    [ 1393, 8, 18 ],
    [ 1394, 0, 0 ],
    [ 1395, 103, 77 ],
    [ 1396, 0, 100 ],
    [ 1397, 4, 20 ],
    [ 1398, 8, 0 ],
    [ 1399, 0, 15 ],
    [ 1400, 135, 79 ],
    [ 1401, 6, 0 ],
    [ 1402, 0, 0 ],
    [ 1403, 2, 10 ],
    [ 1404, 159, 36 ],
    [ 1405, 0, 0 ],
    [ 1406, 12, 0 ],
    [ 1407, 92, 122 ],
    [ 1408, 76, 18 ],
    [ 1409, 0, 0 ],
    [ 1410, 104, 0 ],
    [ 1411, 2, 21 ],
    [ 1412, 0, 93 ],
    [ 1413, 62, 26 ],
    [ 1414, 20, 0 ],
    [ 1415, 6, 16 ],
    [ 1416, 80, 118 ],
    [ 1417, 0, 0 ],
    [ 1418, 0, 0 ],
    [ 1419, 20, 4 ],
    [ 1420, 39, 32 ],
    [ 1421, 26, 68 ],
    [ 1422, 98, 0 ],
    [ 1423, 0, 6 ],
    [ 1424, 165, 28 ],
    [ 1425, 72, 134 ],
    [ 1426, 100, 0 ],
    [ 1427, 0, 7 ],
    [ 1428, 60, 76 ],
    [ 1429, 0, 0 ],
    [ 1430, 60, 0 ],
    [ 1431, 12, 10 ],
    [ 1432, 18, 90 ],
    [ 1433, 0, 0 ],
    [ 1434, 28, 0 ],
    [ 1435, 12, 0 ],
    [ 1436, 27, 0 ],
    [ 1437, 24, 0 ],
    [ 1438, 30, 0 ],
    [ 1439, 0, 19 ],
    [ 1440, 184, 32 ],
    [ 1441, 4, 20 ],
    [ 1442, 28, 0 ],
    [ 1443, 16, 138 ],
    [ 1444, 2, 62 ],
    [ 1445, 0, 0 ],
    [ 1446, 78, 0 ],
    [ 1447, 0, 11 ],
    [ 1448, 96, 8 ],
    [ 1449, 52, 74 ],
    [ 1450, 24, 0 ],
    [ 1451, 0, 6 ],
    [ 1452, 47, 30 ],
    [ 1453, 0, 0 ],
    [ 1454, 12, 0 ],
    [ 1455, 30, 16 ],
    [ 1456, 140, 38 ],
    [ 1457, 6, 70 ],
    [ 1458, 24, 0 ],
    [ 1459, 0, 5 ],
    [ 1460, 34, 124 ],
    [ 1461, 6, 84 ],
    [ 1462, 22, 0 ],
    [ 1463, 36, 58 ],
    [ 1464, 156, 12 ],
    [ 1465, 0, 0 ],
    [ 1466, 4, 0 ],
    [ 1467, 52, 35 ],
    [ 1468, 12, 0 ],
    [ 1469, 0, 0 ],
    [ 1470, 60, 0 ],
    [ 1471, 0, 11 ],
    [ 1472, 70, 32 ],
    [ 1473, 12, 0 ],
    [ 1474, 64, 0 ],
    [ 1475, 13, 32 ],
    [ 1476, 37, 91 ],
    [ 1477, 2, 108 ],
    [ 1478, 4, 0 ],
    [ 1479, 4, 78 ],
    [ 1480, 176, 62 ],
    [ 1481, 0, 0 ],
    [ 1482, 148, 0 ],
    [ 1483, 0, 3 ],
    [ 1484, 139, 68 ],
    [ 1485, 78, 56 ],
    [ 1486, 20, 0 ],
    [ 1487, 0, 18 ],
    [ 1488, 190, 56 ],
    [ 1489, 0, 0 ],
    [ 1490, 0, 0 ],
    [ 1491, 88, 4 ],
    [ 1492, 0, 100 ],
    [ 1493, 0, 0 ],
    [ 1494, 20, 0 ],
    [ 1495, 38, 16 ],
    [ 1496, 82, 148 ],
    [ 1497, 2, 86 ],
    [ 1498, 108, 0 ],
    [ 1499, 0, 6 ],
    [ 1500, 136, 32 ]
];
