Computations done in characteristic 0. Table containing: Discriminant, ideal_hnf, weight, computed dimension of the modular forms space. -43 [4, 0, 2] 0 5 -43 [9, 0, 3] 0 7 -43 [13, 11, 1] 0 3 -43 [11, 0, 1] 0 3 -43 [11, 10, 1] 0 3 -43 [13, 1, 1] 0 3 -43 [16, 0, 4] 0 14 -43 [17, 2, 1] 0 3 -43 [23, 3, 1] 0 3 -43 [17, 14, 1] 0 3 -43 [23, 19, 1] 0 3 -43 [53, 46, 1] 0 3 -43 [52, 22, 2] 0 11 -43 [53, 6, 1] 0 3 -43 [59, 31, 1] 0 3 -43 [64, 0, 8] 0 28 -43 [59, 27, 1] 0 3 -43 [25, 0, 5] 0 10 -43 [31, 4, 1] 0 5 -43 [31, 26, 1] 0 5 -43 [41, 5, 1] 0 3 -43 [41, 35, 1] 0 3 -43 [49, 0, 7] 0 14 -43 [44, 0, 2] 0 11 -43 [47, 22, 1] 0 3 -43 [47, 24, 1] 0 3 -43 [52, 2, 2] 0 11 -43 [81, 0, 9] 0 43 -43 [67, 7, 1] 0 3 -43 [67, 59, 1] 0 3 -43 [79, 42, 1] 0 3 -43 [79, 36, 1] 0 3 -43 [44, 20, 2] 0 11 -43 [43, 21, 1] 0 8 -43 [68, 28, 2] 0 11 -43 [68, 4, 2] 0 11 -43 [83, 74, 1] 0 3 -43 [103, 69, 1] 0 3 -43 [109, 71, 1] 0 6 -43 [83, 8, 1] 0 3 -43 [103, 33, 1] 0 3 -43 [109, 37, 1] 0 6 -43 [97, 64, 1] 0 3 -43 [97, 32, 1] 0 3 -43 [107, 49, 1] 0 3 -43 [121, 110, 1] 0 15 -43 [121, 10, 1] 0 15 -43 [100, 0, 10] 0 34 -43 [107, 57, 1] 0 3 -43 [101, 9, 1] 0 3 -43 [101, 91, 1] 0 3 -43 [117, 33, 3] 0 15 -43 [92, 38, 2] 0 11 -43 [92, 6, 2] 0 11 -43 [127, 40, 1] 0 3 -43 [99, 30, 3] 0 15 -43 [127, 86, 1] 0 3 -43 [99, 0, 3] 0 15 -43 [117, 3, 3] 0 15 -43 [121, 0, 11] 0 26 -43 [124, 52, 2] 0 16 -43 [139, 48, 1] 0 3 -43 [139, 90, 1] 0 3 -43 [124, 8, 2] 0 16 -43 [169, 115, 1] 0 17 -43 [169, 53, 1] 0 17 -43 [144, 0, 12] 0 54 -43 [153, 42, 3] 0 16 -43 [167, 154, 1] 0 3 -43 [143, 131, 1] 0 7 -43 [143, 66, 1] 0 7 -43 [167, 12, 1] 0 3 -43 [169, 0, 13] 0 28 -43 [143, 11, 1] 0 7 -43 [153, 6, 3] 0 16 -43 [181, 44, 1] 0 3 -43 [143, 76, 1] 0 7 -43 [181, 136, 1] 0 3 -43 [173, 129, 1] 0 3 -43 [173, 43, 1] 0 3 -43 [193, 13, 1] 0 4 -43 [164, 10, 2] 0 11 -43 [164, 70, 2] 0 11 -43 [193, 179, 1] 0 4 -43 [172, 42, 2] 0 25 -43 [197, 50, 1] 0 3 -43 [197, 146, 1] 0 3 -43 [196, 0, 14] 0 44 -43 [187, 87, 1] 0 7 -43 [176, 40, 4] 0 29 -43 [187, 65, 1] 0 7 -43 [176, 0, 4] 0 29 -43 [225, 0, 15] 0 46 -43 [187, 99, 1] 0 7 -43 [187, 121, 1] 0 7 -43 [188, 48, 2] 0 11 -43 [229, 72, 1] 0 3 -43 [188, 44, 2] 0 11 -43 [229, 156, 1] 0 3 -43 [207, 57, 3] 0 16 -43 [239, 112, 1] 0 3 -43 [207, 9, 3] 0 16 -43 [239, 126, 1] 0 3 -43 [221, 206, 1] 0 7 -43 [221, 53, 1] 0 8 -43 [208, 44, 4] 0 29 -43 [208, 4, 4] 0 29 -43 [221, 167, 1] 0 8 -43 [221, 14, 1] 0 7 -43 [212, 92, 2] 0 12 -43 [251, 15, 1] 0 3 -43 [212, 12, 2] 0 12 -43 [251, 235, 1] 0 3 -43 [256, 0, 16] 0 84 -43 [269, 107, 1] 0 3 -43 [289, 172, 1] 0 21 -43 [269, 161, 1] 0 3 -43 [271, 54, 1] 0 3 -43 [271, 216, 1] 0 3 -43 [236, 62, 2] 0 11 -43 [289, 116, 1] 0 21 -43 [281, 55, 1] 0 4 -43 [236, 54, 2] 0 11 -43 [283, 266, 1] 0 3 -43 [281, 225, 1] 0 4 -43 [283, 16, 1] 0 3 -43 [253, 65, 1] 0 7 -43 [253, 88, 1] 0 7 -43 [253, 187, 1] 0 7 -43 [293, 222, 1] 0 3 -43 [253, 164, 1] 0 7 -43 [293, 70, 1] 0 3 -43 [275, 0, 5] 0 21 -43 [311, 63, 1] 0 4 -43 [307, 209, 1] 0 3 -43 [268, 118, 2] 0 11 -43 [279, 12, 3] 0 19 -43 [279, 78, 3] 0 19 -43 [311, 247, 1] 0 4 -43 [289, 0, 17] 0 40 -43 [268, 14, 2] 0 11 -43 [275, 50, 5] 0 21 -43 [317, 17, 1] 0 3 -43 [317, 299, 1] 0 3 -43 [337, 117, 1] 0 3 -43 [337, 219, 1] 0 3 -43 [299, 141, 1] 0 7 -43 [299, 157, 1] 0 7 -43 [299, 180, 1] 0 7 -43 [299, 118, 1] 0 7 -43 [307, 97, 1] 0 3 -43 [272, 8, 4] 0 29 -43 [325, 5, 5] 0 21 -43 [324, 0, 18] 0 128 -43 [325, 55, 5] 0 21 -43 [361, 0, 19] 0 38 -43 [272, 56, 4] 0 29 -43 [353, 334, 1] 0 3 -43 [353, 18, 1] 0 3 -43 [359, 213, 1] 0 3 -43 [359, 145, 1] 0 3 -43 [316, 84, 2] 0 11 -43 [316, 72, 2] 0 11 -43 [367, 192, 1] 0 3 -43 [367, 174, 1] 0 3 -43 [379, 229, 1] 0 3 -43 [379, 149, 1] 0 3 -43 [341, 274, 1] 0 11 -43 [341, 252, 1] 0 11 -43 [341, 88, 1] 0 11 -43 [332, 148, 2] 0 15 -43 [332, 16, 2] 0 15 -43 [397, 95, 1] 0 5 -43 [397, 301, 1] 0 5 -43 [341, 66, 1] 0 11 -43 [401, 318, 1] 0 5 -43 [401, 82, 1] 0 5 -43 [369, 15, 3] 0 16 -43 [369, 105, 3] 0 16 -43 [431, 410, 1] 0 3 -43 [391, 19, 1] 0 7 -43 [391, 325, 1] 0 8 -43 [391, 371, 1] 0 7 -43 [387, 63, 3] 0 34 -43 [391, 65, 1] 0 8 -43 [431, 20, 1] 0 3 -43 [439, 286, 1] 0 3 -43 [403, 336, 1] 0 11 -43 [439, 152, 1] 0 3 -43 [403, 128, 1] 0 11 -43 [403, 274, 1] 0 11 -43 [403, 66, 1] 0 11 -43 [388, 128, 2] 0 11 -43 [368, 12, 4] 0 29 -43 [443, 231, 1] 0 3 -43 [443, 211, 1] 0 3 -43 [388, 64, 2] 0 11 -43 [441, 0, 21] 0 58 -43 [425, 70, 5] 0 21 -43 [461, 119, 1] 0 3 -43 [425, 10, 5] 0 21 -43 [368, 76, 4] 0 29 -43 [461, 341, 1] 0 3 -43 [400, 0, 20] 0 82 -43 [423, 66, 3] 0 16 -43 [404, 18, 2] 0 11 -43 [423, 72, 3] 0 16 -43 [404, 182, 2] 0 11 -43 [479, 284, 1] 0 3 -43 [479, 194, 1] 0 3 -43 [412, 66, 2] 0 11 -43 [487, 79, 1] 0 3 -43 [412, 138, 2] 0 11 -43 [487, 407, 1] 0 3 -43 [451, 374, 1] 0 8 -43 [436, 74, 2] 0 17 -43 [436, 142, 2] 0 17 -43 [451, 363, 1] 0 7 -43 [451, 87, 1] 0 7 -43 [451, 76, 1] 0 8 -43 [428, 98, 2] 0 11 -43 [428, 114, 2] 0 11 -43 [529, 226, 1] 0 27 -43 [509, 200, 1] 0 3 -43 [509, 308, 1] 0 3 -43 [529, 302, 1] 0 27 -43 [477, 138, 3] 0 15 -43 [477, 18, 3] 0 15 -43 [473, 21, 1] 0 17 -43 [541, 111, 1] 0 3 -43 [541, 429, 1] 0 3 -43 [547, 77, 1] 0 3 -43 [547, 469, 1] 0 3 -43 [557, 239, 1] 0 3 -43 [557, 317, 1] 0 3 -43 [563, 539, 1] 0 3 -43 [563, 23, 1] 0 3 -43 [569, 163, 1] 0 4 -43 [569, 405, 1] 0 4 -43 [529, 0, 23] 0 48 -43 [625, 0, 25] 0 105 -43 [517, 22, 1] 0 7 -43 [517, 494, 1] 0 7 -43 [527, 150, 1] 0 11 -43 [527, 252, 1] 0 11 -43 [539, 0, 7] 0 29 -43 [527, 376, 1] 0 11 -43 [517, 165, 1] 0 7 -43 [533, 76, 1] 0 7 -43 [517, 351, 1] 0 7 -43 [539, 70, 7] 0 29 -43 [533, 128, 1] 0 7 -43 [527, 274, 1] 0 11 -43 [531, 93, 3] 0 17 -43 [533, 404, 1] 0 7 -43 [533, 456, 1] 0 7 -43 [531, 81, 3] 0 17 -43 [508, 80, 2] 0 15 -43 [508, 172, 2] 0 15 -43 [599, 255, 1] 0 3 -43 [559, 193, 1] 0 17 -43 [599, 343, 1] 0 3 -43 [575, 95, 5] 0 21 -43 [559, 365, 1] 0 17 -43 [613, 454, 1] 0 3 -43 [575, 15, 5] 0 21 -43 [613, 158, 1] 0 3 -43 [619, 297, 1] 0 3 -43 [617, 89, 1] 0 5 -43 [619, 321, 1] 0 3 -43 [617, 527, 1] 0 5 -43 [643, 538, 1] 0 3 -43 [583, 483, 1] 0 7 -43 [643, 104, 1] 0 3 -43 [556, 180, 2] 0 12 -43 [583, 99, 1] 0 7 -43 [556, 96, 2] 0 12 -43 [583, 165, 1] 0 7 -43 [583, 417, 1] 0 7 -43 [659, 92, 1] 0 3 -43 [611, 24, 1] 0 7 -43 [637, 77, 7] 0 29 -43 [603, 177, 3] 0 15 -43 [611, 118, 1] 0 7 -43 [603, 21, 3] 0 15 -43 [637, 7, 7] 0 29 -43 [611, 492, 1] 0 7 -43 [611, 586, 1] 0 7 -43 [649, 385, 1] 0 8 -43 [649, 440, 1] 0 7 -43 [649, 263, 1] 0 8 -43 [649, 208, 1] 0 7 -43 [576, 0, 24] 0 110 -43 [661, 635, 1] 0 3 -43 [661, 25, 1] 0 3 -43 [659, 566, 1] 0 3 -43 [683, 388, 1] 0 3 -43 [683, 294, 1] 0 3 -43 [701, 169, 1] 0 3 -43 [709, 204, 1] 0 3 -43 [709, 504, 1] 0 3 -43 [701, 531, 1] 0 3 -43 [572, 152, 2] 0 25 -43 [572, 262, 2] 0 27 -43 [572, 132, 2] 0 25 -43 [572, 22, 2] 0 27 -43 [656, 20, 4] 0 29 -43 [656, 140, 4] 0 29 -43 [729, 0, 27] 0 136 -43 [719, 372, 1] 0 6 -43 [719, 346, 1] 0 6 -43 [689, 417, 1] 0 7 -43 [689, 258, 1] 0 7 -43 [697, 240, 1] 0 7 -43 [697, 87, 1] 0 7 -43 [689, 271, 1] 0 7 -43 [697, 456, 1] 0 7 -43 [689, 430, 1] 0 7 -43 [697, 609, 1] 0 7 -43 [713, 26, 1] 0 11 -43 [668, 24, 2] 0 11 -43 [713, 88, 1] 0 13 -43 [713, 624, 1] 0 13 -43 [713, 686, 1] 0 11 -43 [668, 308, 2] 0 11 -43 [711, 108, 3] 0 15 -43 [711, 126, 3] 0 15 -43 [676, 106, 2] 0 43 -43 [731, 150, 1] 0 17 -43 [676, 230, 2] 0 43 -43 [612, 12, 6] 0 51 -43 [612, 84, 6] 0 51 -43 [769, 289, 1] 0 3 -43 [731, 580, 1] 0 17 -43 [769, 479, 1] 0 3 -43 [692, 258, 2] 0 11 -43 [692, 86, 2] 0 11 -43 [688, 84, 4] 0 63 -43 [737, 208, 1] 0 8 -43 [737, 275, 1] 0 7 -43 [737, 461, 1] 0 7 -43 [737, 528, 1] 0 8 -43 [747, 24, 3] 0 15 -43 [724, 88, 2] 0 11 -43 [724, 272, 2] 0 11 -43 [747, 222, 3] 0 15 -43 [787, 652, 1] 0 3 -43 [787, 134, 1] 0 3 -43 [4, 0, 2] 1 11 -43 [9, 0, 3] 1 15 -43 [11, 10, 1] 1 8 -43 [13, 11, 1] 1 8 -43 [11, 0, 1] 1 8 -43 [13, 1, 1] 1 8 -43 [16, 0, 4] 1 25 -43 [17, 2, 1] 1 8 -43 [17, 14, 1] 1 8 -43 [25, 0, 5] 1 22 -43 [23, 19, 1] 1 8 -43 [23, 3, 1] 1 8 -43 [31, 4, 1] 1 8 -43 [31, 26, 1] 1 8 -43 [41, 35, 1] 1 8 -43 [41, 5, 1] 1 8 -43 [49, 0, 7] 1 30 -43 [43, 21, 1] 1 8 -43 [47, 24, 1] 1 8 -43 [47, 22, 1] 1 8 -43 [53, 6, 1] 1 8 -43 [44, 20, 2] 1 22 -43 [44, 0, 2] 1 22 -43 [53, 46, 1] 1 8 -43 [59, 31, 1] 1 8 -43 [59, 27, 1] 1 8 -43 [52, 22, 2] 1 22 -43 [52, 2, 2] 1 22 -43 [67, 59, 1] 1 8 -43 [67, 7, 1] 1 8 -43 [81, 0, 9] 1 75 -43 [64, 0, 8] 1 50 -43 [83, 8, 1] 1 8 -43 [83, 74, 1] 1 8 -43 [68, 28, 2] 1 22 -43 [68, 4, 2] 1 22 -43 [79, 42, 1] 1 8 -43 [79, 36, 1] 1 8 -43 [97, 64, 1] 1 8 -43 [97, 32, 1] 1 8 -43 [101, 9, 1] 1 8 -43 [107, 57, 1] 1 8 -43 [109, 37, 1] 1 8 -43 [101, 91, 1] 1 8 -43 [107, 49, 1] 1 8 -43 [92, 6, 2] 1 22 -43 [109, 71, 1] 1 8 -43 [103, 33, 1] 1 8 -43 [103, 69, 1] 1 8 -43 [99, 30, 3] 1 30 -43 [99, 0, 3] 1 30 -43 [92, 38, 2] 1 22 -43 [100, 0, 10] 1 66 -43 [127, 40, 1] 1 8 -43 [117, 3, 3] 1 30 -43 [121, 110, 1] 1 24 -43 [121, 10, 1] 1 24 -43 [117, 33, 3] 1 30 -43 [121, 0, 11] 1 52 -43 [127, 86, 1] 1 8 -43 [139, 48, 1] 1 8 -43 [139, 90, 1] 1 8 -43 [167, 154, 1] 1 8 -43 [167, 12, 1] 1 8 -43 [4, 0, 2] 2 17 -43 [9, 0, 3] 2 22 -43 [11, 10, 1] 2 12 -43 [11, 0, 1] 2 12 -43 [13, 11, 1] 2 12 -43 [13, 1, 1] 2 12 -43 [16, 0, 4] 2 34 -43 [17, 2, 1] 2 12 -43 [17, 14, 1] 2 12 -43 [23, 19, 1] 2 12 -43 [23, 3, 1] 2 12 -43 [25, 0, 5] 2 34 -43 [31, 4, 1] 2 12 -43 [31, 26, 1] 2 12 -43 [41, 5, 1] 2 12 -43 [41, 35, 1] 2 12 -43 [43, 21, 1] 2 22 -43 [47, 24, 1] 2 12 -43 [49, 0, 7] 2 44 -43 [47, 22, 1] 2 12 -43 [53, 6, 1] 2 12 -43 [53, 46, 1] 2 12 -43 [44, 0, 2] 2 34 -43 [44, 20, 2] 2 34 -43 [59, 27, 1] 2 12 -43 [4, 0, 2] 3 22 -43 [9, 0, 3] 3 29 -43 [11, 10, 1] 3 14 -43 [11, 0, 1] 3 14 -43 [13, 11, 1] 3 14 -43 [13, 1, 1] 3 14 -43 [16, 0, 4] 3 45 -43 [17, 2, 1] 3 14 -43 [17, 14, 1] 3 14 -43 [23, 19, 1] 3 14 -43 [23, 3, 1] 3 14 -43 [25, 0, 5] 3 44 -43 [4, 0, 2] 4 27 -43 [9, 0, 3] 4 39 -43 [11, 10, 1] 4 18 -43 [11, 0, 1] 4 18 -43 [13, 11, 1] 4 18 -43 [13, 1, 1] 4 18 -43 [4, 0, 2] 5 33 -43 [9, 0, 3] 5 44 -43 [4, 0, 2] 6 39