Computations done in characteristic 0. Table containing: Discriminant, ideal_hnf, weight, computed dimension of the modular forms space. -19 [4, 0, 2] 0 2 -19 [5, 0, 1] 0 1 -19 [7, 1, 1] 0 1 -19 [5, 4, 1] 0 1 -19 [175, 145, 1] 0 15 -19 [175, 29, 1] 0 15 -19 [172, 56, 2] 0 8 -19 [175, 120, 1] 0 11 -19 [176, 8, 4] 0 15 -19 [175, 54, 1] 0 11 -19 [176, 32, 4] 0 15 -19 [175, 25, 5] 0 14 -19 [175, 5, 5] 0 14 -19 [7, 5, 1] 0 1 -19 [9, 0, 3] 0 3 -19 [11, 2, 1] 0 1 -19 [11, 8, 1] 0 1 -19 [16, 0, 4] 0 6 -19 [17, 3, 1] 0 1 -19 [17, 13, 1] 0 1 -19 [19, 9, 1] 0 2 -19 [20, 0, 2] 0 6 -19 [73, 22, 1] 0 1 -19 [73, 50, 1] 0 1 -19 [20, 8, 2] 0 6 -19 [77, 8, 1] 0 3 -19 [76, 18, 2] 0 9 -19 [81, 0, 9] 0 19 -19 [83, 45, 1] 0 1 -19 [77, 57, 1] 0 5 -19 [83, 37, 1] 0 1 -19 [101, 26, 1] 0 2 -19 [77, 19, 1] 0 5 -19 [85, 20, 1] 0 3 -19 [77, 68, 1] 0 3 -19 [85, 30, 1] 0 4 -19 [80, 0, 4] 0 15 -19 [80, 16, 4] 0 15 -19 [85, 64, 1] 0 3 -19 [99, 6, 3] 0 7 -19 [99, 24, 3] 0 7 -19 [92, 20, 2] 0 5 -19 [95, 85, 1] 0 5 -19 [95, 9, 1] 0 5 -19 [101, 74, 1] 0 2 -19 [85, 54, 1] 0 4 -19 [100, 8, 2] 0 18 -19 [121, 96, 1] 0 11 -19 [125, 95, 1] 0 13 -19 [121, 24, 1] 0 11 -19 [92, 24, 2] 0 5 -19 [125, 29, 1] 0 13 -19 [119, 54, 1] 0 3 -19 [100, 40, 2] 0 18 -19 [119, 47, 1] 0 3 -19 [115, 104, 1] 0 3 -19 [100, 0, 10] 0 24 -19 [119, 64, 1] 0 3 -19 [131, 105, 1] 0 1 -19 [119, 71, 1] 0 3 -19 [112, 4, 4] 0 13 -19 [112, 20, 4] 0 13 -19 [115, 35, 1] 0 3 -19 [115, 10, 1] 0 3 -19 [137, 125, 1] 0 1 -19 [131, 25, 1] 0 1 -19 [137, 11, 1] 0 1 -19 [115, 79, 1] 0 3 -19 [121, 0, 11] 0 14 -19 [125, 0, 5] 0 20 -19 [133, 85, 1] 0 5 -19 [133, 47, 1] 0 5 -19 [125, 20, 5] 0 20 -19 [139, 82, 1] 0 1 -19 [139, 56, 1] 0 1 -19 [43, 28, 1] 0 1 -19 [35, 29, 1] 0 3 -19 [49, 33, 1] 0 7 -19 [49, 15, 1] 0 7 -19 [43, 14, 1] 0 1 -19 [47, 6, 1] 0 1 -19 [45, 12, 3] 0 7 -19 [45, 0, 3] 0 7 -19 [47, 40, 1] 0 1 -19 [36, 0, 6] 0 10 -19 [55, 24, 1] 0 3 -19 [64, 0, 8] 0 12 -19 [49, 0, 7] 0 8 -19 [61, 53, 1] 0 1 -19 [61, 7, 1] 0 1 -19 [55, 19, 1] 0 3 -19 [157, 41, 1] 0 3 -19 [44, 16, 2] 0 6 -19 [44, 4, 2] 0 6 -19 [63, 3, 3] 0 7 -19 [55, 30, 1] 0 3 -19 [68, 26, 2] 0 5 -19 [63, 15, 3] 0 7 -19 [55, 35, 1] 0 3 -19 [149, 58, 1] 0 1 -19 [149, 90, 1] 0 1 -19 [157, 115, 1] 0 3 -19 [68, 6, 2] 0 5 -19 [163, 75, 1] 0 1 -19 [169, 0, 13] 0 10 -19 [153, 39, 3] 0 7 -19 [153, 9, 3] 0 7 -19 [144, 0, 12] 0 24 -19 [163, 87, 1] 0 1 -19 [171, 27, 3] 0 14 -19 [161, 12, 1] 0 7 -19 [161, 33, 1] 0 3 -19 [161, 148, 1] 0 7 -19 [161, 127, 1] 0 3 -19 [172, 28, 2] 0 8 -19 [140, 38, 2] 0 13 -19 [140, 30, 2] 0 13 -19 [140, 10, 2] 0 14 -19 [140, 58, 2] 0 14 -19 [23, 10, 1] 0 1 -19 [23, 12, 1] 0 1 -19 [25, 0, 5] 0 6 -19 [25, 4, 1] 0 5 -19 [25, 20, 1] 0 5 -19 [187, 156, 1] 0 3 -19 [187, 13, 1] 0 3 -19 [187, 30, 1] 0 3 -19 [277, 16, 1] 0 1 -19 [277, 260, 1] 0 1 -19 [283, 183, 1] 0 1 -19 [28, 10, 2] 0 5 -19 [35, 5, 1] 0 3 -19 [35, 15, 1] 0 3 -19 [35, 19, 1] 0 3 -19 [275, 79, 1] 0 13 -19 [191, 36, 1] 0 1 -19 [197, 46, 1] 0 1 -19 [191, 154, 1] 0 1 -19 [275, 195, 1] 0 13 -19 [197, 150, 1] 0 1 -19 [196, 66, 2] 0 19 -19 [275, 129, 1] 0 11 -19 [275, 145, 1] 0 11 -19 [188, 12, 2] 0 8 -19 [188, 80, 2] 0 8 -19 [196, 0, 14] 0 26 -19 [289, 81, 1] 0 21 -19 [289, 207, 1] 0 21 -19 [289, 0, 17] 0 18 -19 [275, 40, 5] 0 17 -19 [272, 12, 4] 0 13 -19 [283, 99, 1] 0 1 -19 [275, 10, 5] 0 17 -19 [272, 52, 4] 0 13 -19 [199, 70, 1] 0 1 -19 [304, 36, 4] 0 29 -19 [292, 44, 2] 0 6 -19 [301, 57, 1] 0 3 -19 [301, 243, 1] 0 3 -19 [301, 71, 1] 0 3 -19 [292, 100, 2] 0 6 -19 [239, 34, 1] 0 1 -19 [256, 0, 16] 0 36 -19 [239, 204, 1] 0 1 -19 [199, 128, 1] 0 1 -19 [251, 198, 1] 0 1 -19 [229, 139, 1] 0 1 -19 [301, 229, 1] 0 3 -19 [305, 175, 1] 0 3 -19 [251, 52, 1] 0 1 -19 [225, 12, 3] 0 19 -19 [225, 60, 3] 0 19 -19 [209, 85, 1] 0 5 -19 [244, 14, 2] 0 6 -19 [271, 227, 1] 0 1 -19 [207, 36, 3] 0 9 -19 [207, 30, 3] 0 9 -19 [229, 89, 1] 0 1 -19 [263, 149, 1] 0 1 -19 [209, 123, 1] 0 5 -19 [233, 166, 1] 0 2 -19 [233, 66, 1] 0 2 -19 [271, 43, 1] 0 1 -19 [244, 106, 2] 0 6 -19 [245, 180, 1] 0 21 -19 [263, 113, 1] 0 1 -19 [215, 14, 1] 0 3 -19 [245, 229, 1] 0 15 -19 [311, 293, 1] 0 1 -19 [305, 114, 1] 0 3 -19 [361, 0, 19] 0 40 -19 [215, 114, 1] 0 3 -19 [253, 217, 1] 0 3 -19 [215, 100, 1] 0 3 -19 [235, 194, 1] 0 3 -19 [225, 0, 15] 0 30 -19 [245, 15, 1] 0 15 -19 [253, 79, 1] 0 3 -19 [215, 200, 1] 0 3 -19 [324, 0, 18] 0 62 -19 [313, 273, 1] 0 1 -19 [253, 173, 1] 0 3 -19 [245, 64, 1] 0 21 -19 [313, 39, 1] 0 1 -19 [253, 35, 1] 0 3 -19 [311, 17, 1] 0 1 -19 [235, 134, 1] 0 9 -19 [235, 100, 1] 0 9 -19 [235, 40, 1] 0 3 -19 [252, 30, 6] 0 21 -19 [305, 129, 1] 0 3 -19 [343, 162, 1] 0 13 -19 [343, 180, 1] 0 13 -19 [252, 6, 6] 0 21 -19 [349, 110, 1] 0 1 -19 [220, 48, 2] 0 16 -19 [367, 303, 1] 0 2 -19 [220, 60, 2] 0 16 -19 [343, 7, 7] 0 32 -19 [349, 238, 1] 0 1 -19 [220, 38, 2] 0 16 -19 [220, 70, 2] 0 16 -19 [353, 131, 1] 0 1 -19 [359, 218, 1] 0 1 -19 [353, 221, 1] 0 1 -19 [359, 140, 1] 0 1 -19 [347, 328, 1] 0 1 -19 [441, 99, 3] 0 23 -19 [305, 190, 1] 0 3 -19 [367, 63, 1] 0 2 -19 [323, 47, 1] 0 6 -19 [347, 18, 1] 0 1 -19 [245, 28, 7] 0 20 -19 [245, 0, 7] 0 20 -19 [343, 35, 7] 0 32 -19 [389, 220, 1] 0 1 -19 [323, 275, 1] 0 6 -19 [329, 134, 1] 0 8 -19 [389, 168, 1] 0 1 -19 [320, 32, 8] 0 32 -19 [329, 40, 1] 0 4 -19 [320, 0, 8] 0 32 -19 [329, 194, 1] 0 8 -19 [332, 90, 2] 0 5 -19 [329, 288, 1] 0 4 -19 [405, 36, 9] 0 39 -19 [332, 74, 2] 0 5 -19 [397, 352, 1] 0 1 -19 [405, 0, 9] 0 39 -19 [397, 44, 1] 0 1 -19 [365, 269, 1] 0 4 -19 [368, 40, 4] 0 14 -19 [387, 42, 3] 0 7 -19 [368, 48, 4] 0 14 -19 [400, 80, 4] 0 43 -19 [387, 84, 3] 0 7 -19 [400, 16, 4] 0 43 -19 [365, 314, 1] 0 4 -19 [365, 95, 1] 0 4 -19 [365, 50, 1] 0 4 -19 [308, 114, 2] 0 19 -19 [391, 309, 1] 0 3 -19 [308, 16, 2] 0 15 -19 [315, 87, 3] 0 18 -19 [308, 38, 2] 0 19 -19 [419, 199, 1] 0 1 -19 [419, 219, 1] 0 1 -19 [391, 81, 1] 0 3 -19 [423, 120, 3] 0 8 -19 [391, 173, 1] 0 3 -19 [315, 57, 3] 0 15 -19 [391, 217, 1] 0 3 -19 [308, 136, 2] 0 15 -19 [423, 18, 3] 0 8 -19 [315, 45, 3] 0 15 -19 [340, 60, 2] 0 16 -19 [340, 128, 2] 0 13 -19 [315, 15, 3] 0 18 -19 [404, 52, 2] 0 7 -19 [499, 295, 1] 0 1 -19 [467, 21, 1] 0 1 -19 [425, 404, 1] 0 11 -19 [404, 148, 2] 0 7 -19 [340, 108, 2] 0 16 -19 [340, 40, 2] 0 13 -19 [461, 372, 1] 0 1 -19 [427, 68, 1] 0 3 -19 [461, 88, 1] 0 1 -19 [427, 190, 1] 0 3 -19 [479, 335, 1] 0 1 -19 [463, 315, 1] 0 1 -19 [463, 147, 1] 0 1 -19 [425, 370, 1] 0 14 -19 [427, 236, 1] 0 3 -19 [425, 54, 1] 0 14 -19 [491, 49, 1] 0 1 -19 [425, 20, 1] 0 11 -19 [467, 445, 1] 0 1 -19 [529, 332, 1] 0 25 -19 [415, 45, 1] 0 3 -19 [484, 48, 2] 0 30 -19 [499, 203, 1] 0 1 -19 [479, 143, 1] 0 1 -19 [415, 369, 1] 0 3 -19 [415, 294, 1] 0 3 -19 [529, 196, 1] 0 25 -19 [491, 441, 1] 0 1 -19 [484, 192, 2] 0 30 -19 [396, 12, 6] 0 23 -19 [396, 48, 6] 0 23 -19 [415, 120, 1] 0 3 -19 [473, 200, 1] 0 3 -19 [503, 262, 1] 0 1 -19 [473, 272, 1] 0 3 -19 [425, 15, 5] 0 19 -19 [425, 65, 5] 0 19 -19 [473, 57, 1] 0 3 -19 [475, 104, 1] 0 15 -19 [503, 240, 1] 0 1 -19 [380, 18, 2] 0 23 -19 [473, 415, 1] 0 3 -19 [385, 365, 1] 0 12 -19 [385, 19, 1] 0 12 -19 [385, 239, 1] 0 9 -19 [380, 170, 2] 0 23 -19 [567, 45, 9] 0 43 -19 [385, 85, 1] 0 9 -19 [385, 299, 1] 0 9 -19 [400, 0, 20] 0 54 -19 [385, 134, 1] 0 13 -19 [541, 479, 1] 0 1 -19 [505, 74, 1] 0 5 -19 [385, 250, 1] 0 13 -19 [557, 533, 1] 0 1 -19 [385, 145, 1] 0 9 -19 [567, 9, 9] 0 43 -19 [571, 98, 1] 0 1 -19 [571, 472, 1] 0 1 -19 [625, 279, 1] 0 45 -19 [541, 61, 1] 0 1 -19 [549, 159, 3] 0 8 -19 [549, 21, 3] 0 8 -19 [505, 175, 1] 0 6 -19 [577, 419, 1] 0 1 -19 [529, 0, 23] 0 22 -19 [484, 0, 22] 0 44 -19 [505, 329, 1] 0 6 -19 [557, 23, 1] 0 1 -19 [625, 345, 1] 0 45 -19 [517, 228, 1] 0 3 -19 [505, 430, 1] 0 5 -19 [613, 347, 1] 0 1 -19 [511, 460, 1] 0 3 -19 [577, 157, 1] 0 1 -19 [593, 224, 1] 0 1 -19 [500, 58, 2] 0 42 -19 [495, 105, 3] 0 15 -19 [517, 288, 1] 0 3 -19 [511, 488, 1] 0 3 -19 [517, 382, 1] 0 4 -19 [475, 45, 5] 0 24 -19 [539, 162, 1] 0 15 -19 [587, 320, 1] 0 1 -19 [511, 22, 1] 0 3 -19 [613, 265, 1] 0 1 -19 [495, 90, 3] 0 15 -19 [576, 0, 24] 0 50 -19 [524, 210, 2] 0 5 -19 [476, 128, 2] 0 13 -19 [617, 55, 1] 0 1 -19 [500, 190, 2] 0 42 -19 [619, 184, 1] 0 2 -19 [556, 164, 2] 0 5 -19 [524, 50, 2] 0 5 -19 [511, 50, 1] 0 3 -19 [539, 376, 1] 0 15 -19 [539, 211, 1] 0 23 -19 [495, 57, 3] 0 15 -19 [539, 327, 1] 0 23 -19 [476, 108, 2] 0 13 -19 [517, 134, 1] 0 4 -19 [476, 94, 2] 0 11 -19 [500, 0, 10] 0 68 -19 [476, 142, 2] 0 11 -19 [587, 266, 1] 0 1 -19 [619, 434, 1] 0 2 -19 [500, 40, 10] 0 68 -19 [631, 287, 1] 0 1 -19 [617, 561, 1] 0 1 -19 [625, 0, 25] 0 78 -19 [548, 250, 2] 0 5 -19 [556, 112, 2] 0 5 -19 [581, 120, 1] 0 3 -19 [548, 22, 2] 0 5 -19 [605, 24, 1] 0 23 -19 [631, 343, 1] 0 1 -19 [581, 460, 1] 0 3 -19 [643, 222, 1] 0 1 -19 [657, 150, 3] 0 7 -19 [657, 66, 3] 0 7 -19 [653, 463, 1] 0 1 -19 [647, 234, 1] 0 1 -19 [643, 420, 1] 0 1 -19 [647, 412, 1] 0 1 -19 [605, 580, 1] 0 23 -19 [605, 145, 1] 0 25 -19 [575, 79, 1] 0 11 -19 [653, 189, 1] 0 1 -19 [581, 211, 1] 0 3 -19 [605, 459, 1] 0 25 -19 [596, 116, 2] 0 5 -19 [625, 20, 5] 0 42 -19 [581, 369, 1] 0 3 -19 [596, 180, 2] 0 5 -19 [575, 470, 1] 0 19 -19 [575, 495, 1] 0 11 -19 [532, 94, 2] 0 19 -19 [575, 104, 1] 0 19 -19 [625, 100, 5] 0 42 -19 [532, 170, 2] 0 19 -19 [628, 230, 2] 0 12 -19 [671, 129, 1] 0 3 -19 [628, 82, 2] 0 12 -19 [701, 181, 1] 0 1 -19 [688, 56, 4] 0 19 -19 [605, 0, 11] 0 30 -19 [719, 292, 1] 0 1 -19 [605, 44, 11] 0 30 -19 [612, 78, 6] 0 24 -19 [652, 150, 2] 0 5 -19 [539, 56, 7] 0 24 -19 [539, 14, 7] 0 24 -19 [612, 18, 6] 0 24 -19 [652, 174, 2] 0 5 -19 [655, 549, 1] 0 3 -19 [575, 50, 5] 0 19 -19 [655, 105, 1] 0 3 -19 [560, 116, 4] 0 34 -19 [560, 60, 4] 0 31 -19 [560, 76, 4] 0 31 -19 [560, 20, 4] 0 34 -19 [655, 629, 1] 0 3 -19 [739, 425, 1] 0 2 -19 [575, 60, 5] 0 19 -19 [655, 25, 1] 0 3 -19 [595, 54, 1] 0 9 -19 [595, 64, 1] 0 7 -19 [704, 64, 8] 0 29 -19 [707, 680, 1] 0 5 -19 [595, 309, 1] 0 14 -19 [752, 24, 4] 0 21 -19 [595, 404, 1] 0 7 -19 [595, 285, 1] 0 14 -19 [595, 540, 1] 0 9 -19 [595, 530, 1] 0 7 -19 [644, 66, 2] 0 11 -19 [644, 24, 2] 0 19 -19 [644, 254, 2] 0 11 -19 [644, 296, 2] 0 19 -19 [595, 190, 1] 0 7 -19 [764, 308, 2] 0 5 -19 [665, 180, 1] 0 11 -19 [665, 484, 1] 0 11 -19 [665, 85, 1] 0 11 -19 [845, 52, 13] 0 21 -19 [875, 470, 1] 0 31 -19 [880, 120, 4] 0 37 Computations done in characteristic 0. Table containing: Discriminant, ideal_hnf, weight, computed dimension of the modular forms space. -19 [881, 802, 1] 0 1 -19 [891, 18, 9] 0 39 -19 [881, 78, 1] 0 1 -19 [891, 72, 9] 0 39 -19 [883, 760, 1] 0 1 -19 [909, 78, 3] 0 9 -19 [909, 222, 3] 0 9 -19 [919, 474, 1] 0 2 -19 [961, 0, 31] 0 26 -19 [919, 444, 1] 0 2 -19 [937, 101, 1] 0 2 -19 [947, 338, 1] 0 1 -19 [937, 835, 1] 0 2 -19 [1024, 0, 32] 0 78 -19 [929, 351, 1] 0 2 -19 [929, 577, 1] 0 2 -19 [967, 69, 1] 0 1 -19 [997, 31, 1] 0 2 -19 [947, 608, 1] 0 1 -19 [1013, 388, 1] 0 1 -19 [893, 275, 1] 0 5 -19 [893, 617, 1] 0 5 -19 [1061, 1028, 1] 0 1 -19 [913, 294, 1] 0 4 -19 [976, 28, 4] 0 15 -19 [913, 701, 1] 0 3 -19 [1051, 943, 1] 0 1 -19 [967, 897, 1] 0 1 -19 [1033, 900, 1] 0 1 -19 [1051, 107, 1] 0 1 -19 [913, 618, 1] 0 4 -19 [1031, 367, 1] 0 1 -19 [913, 211, 1] 0 3 -19 [1031, 663, 1] 0 1 -19 [1049, 413, 1] 0 1 -19 [1061, 32, 1] 0 1 -19 [916, 278, 2] 0 5 -19 [989, 286, 1] 0 3 -19 [1033, 132, 1] 0 1 -19 [1069, 926, 1] 0 1 -19 [931, 180, 1] 0 19 -19 [997, 965, 1] 0 2 -19 [916, 178, 2] 0 5 -19 [989, 702, 1] 0 3 -19 [1049, 635, 1] 0 1 -19 [917, 418, 1] 0 3 -19 [931, 750, 1] 0 19 -19 [917, 680, 1] 0 3 -19 [1069, 142, 1] 0 1 -19 [1013, 624, 1] 0 1 -19 [917, 498, 1] 0 3 -19 [1037, 785, 1] 0 3 -19 [976, 212, 4] 0 15 -19 [1109, 510, 1] 0 1 -19 [917, 236, 1] 0 3 -19 [1087, 842, 1] 0 1 -19 [1037, 251, 1] 0 3 -19 [959, 148, 1] 0 3 -19 [1109, 598, 1] 0 1 -19 [932, 132, 2] 0 12 -19 [932, 332, 2] 0 12 -19 [1089, 288, 3] 0 31 -19 [989, 587, 1] 0 7 -19 [1089, 72, 3] 0 31 -19 [1037, 846, 1] 0 3 -19 [1087, 244, 1] 0 1 -19 [1103, 468, 1] 0 1 -19 [1037, 190, 1] 0 3 -19 [956, 408, 2] 0 5 -19 [959, 673, 1] 0 3 -19 [880, 140, 4] 0 39 -19 [989, 401, 1] 0 7 -19 [1081, 194, 1] 0 7 -19 [955, 800, 1] 0 10 -19 [959, 285, 1] 0 3 -19 [973, 334, 1] 0 3 -19 [973, 82, 1] 0 3 -19 [959, 810, 1] 0 3 -19 [973, 638, 1] 0 3 -19 [995, 924, 1] 0 3 -19 [1081, 288, 1] 0 7 -19 [956, 68, 2] 0 5 -19 [955, 609, 1] 0 4 -19 [1081, 792, 1] 0 7 -19 [1088, 24, 8] 0 25 -19 [973, 890, 1] 0 3 -19 [995, 725, 1] 0 3 -19 [985, 440, 1] 0 3 -19 [955, 345, 1] 0 4 -19 [931, 63, 7] 0 32 -19 [1043, 537, 1] 0 3 -19 [985, 150, 1] 0 3 -19 [1004, 104, 2] 0 5 -19 [955, 154, 1] 0 10 -19 [1081, 886, 1] 0 7 -19 [995, 70, 1] 0 3 -19 [1111, 228, 1] 0 5 -19 [1004, 396, 2] 0 5 -19 [1111, 74, 1] 0 5 -19 [985, 834, 1] 0 3 -19 [1099, 743, 1] 0 9 -19 [985, 544, 1] 0 3 -19 [1111, 1036, 1] 0 5 -19 [1088, 104, 8] 0 25 -19 [900, 24, 6] 0 57 -19 [995, 269, 1] 0 3 -19 [1043, 239, 1] 0 3 -19 [1043, 505, 1] 0 3 -19 [1043, 803, 1] 0 3 -19 [1084, 454, 2] 0 5 -19 [1111, 882, 1] 0 5 -19 [1052, 226, 2] 0 6 -19 [1052, 298, 2] 0 6 -19 [1099, 355, 1] 0 9 -19 [900, 120, 6] 0 57 -19 [1075, 229, 1] 0 11 -19 [1099, 586, 1] 0 9 -19 [1127, 817, 1] 0 27 -19 [1075, 329, 1] 0 11 -19 [1084, 86, 2] 0 5 -19 [1099, 512, 1] 0 9 -19 [1141, 890, 1] 0 3 -19 [1108, 32, 2] 0 6 -19 [1075, 745, 1] 0 11 -19 [1141, 250, 1] 0 3 -19 [1125, 87, 3] 0 39 -19 [935, 404, 1] 0 9 -19 [935, 734, 1] 0 10 -19 [1008, 12, 12] 0 49 -19 [1127, 33, 1] 0 21 -19 [935, 30, 1] 0 12 -19 [935, 360, 1] 0 7 -19 [1127, 1093, 1] 0 21 -19 [1125, 285, 3] 0 39 -19 [935, 574, 1] 0 7 -19 [1071, 192, 3] 0 16 -19 [1108, 520, 2] 0 6 -19 [935, 904, 1] 0 12 -19 [1035, 312, 3] 0 19 -19 [1012, 158, 2] 0 13 -19 [935, 530, 1] 0 9 -19 [1145, 89, 1] 0 3 -19 [1035, 30, 3] 0 19 -19 [935, 200, 1] 0 10 -19 [1071, 141, 3] 0 17 -19 [1071, 162, 3] 0 16 -19 [1132, 198, 2] 0 5 -19 [1141, 1065, 1] 0 3 -19 [1008, 60, 12] 0 49 -19 [1141, 75, 1] 0 3 -19 [940, 388, 2] 0 25 -19 [1075, 845, 1] 0 11 -19 [1127, 309, 1] 0 27 -19 [940, 268, 2] 0 35 -19 [1012, 346, 2] 0 13 -19 [1035, 105, 3] 0 19 -19 [1035, 237, 3] 0 19 -19 [1132, 366, 2] 0 5 -19 [1071, 213, 3] 0 17 -19 [1012, 434, 2] 0 13 -19 [1145, 139, 1] 0 4 -19 [1012, 70, 2] 0 13 -19 [940, 80, 2] 0 25 -19 [1089, 0, 33] 0 52 -19 [1145, 1055, 1] 0 3 -19 [1075, 70, 5] 0 14 -19 [940, 200, 2] 0 35 -19 [1075, 140, 5] 0 14 -19 [1145, 1005, 1] 0 4 -19 [1045, 85, 1] 0 11 -19 [1045, 294, 1] 0 12 -19 [980, 128, 2] 0 60 -19 [1045, 750, 1] 0 12 -19 [980, 30, 2] 0 45 -19 [1125, 60, 15] 0 84 -19 [900, 0, 30] 0 98 -19 [1125, 0, 15] 0 84 -19 [980, 360, 2] 0 60 -19 [980, 458, 2] 0 45 -19 [1127, 84, 7] 0 26 -19 [1127, 70, 7] 0 26 -19 [4, 0, 2] 1 5 -19 [5, 4, 1] 1 4 -19 [5, 0, 1] 1 4 -19 [7, 5, 1] 1 4 -19 [7, 1, 1] 1 4 -19 [11, 8, 1] 1 4 -19 [11, 2, 1] 1 4 -19 [9, 0, 3] 1 7 -19 [16, 0, 4] 1 11 -19 [19, 9, 1] 1 4 -19 [17, 13, 1] 1 4 -19 [17, 3, 1] 1 4 -19 [20, 8, 2] 1 10 -19 [20, 0, 2] 1 10 -19 [36, 0, 6] 1 22 -19 [43, 28, 1] 1 4 -19 [43, 14, 1] 1 4 -19 [49, 33, 1] 1 14 -19 [49, 15, 1] 1 14 -19 [35, 29, 1] 1 8 -19 [45, 12, 3] 1 14 -19 [47, 40, 1] 1 4 -19 [81, 0, 9] 1 35 -19 [47, 6, 1] 1 4 -19 [45, 0, 3] 1 14 -19 [55, 24, 1] 1 8 -19 [64, 0, 8] 1 22 -19 [73, 50, 1] 1 4 -19 [49, 0, 7] 1 18 -19 [61, 53, 1] 1 4 -19 [44, 4, 2] 1 10 -19 [44, 16, 2] 1 10 -19 [83, 45, 1] 1 4 -19 [61, 7, 1] 1 4 -19 [76, 18, 2] 1 10 -19 [83, 37, 1] 1 4 -19 [73, 22, 1] 1 4 -19 [55, 19, 1] 1 8 -19 [55, 35, 1] 1 8 -19 [63, 3, 3] 1 14 -19 [63, 15, 3] 1 14 -19 [55, 30, 1] 1 8 -19 [80, 16, 4] 1 22 -19 [77, 8, 1] 1 8 -19 [101, 74, 1] 1 4 -19 [77, 19, 1] 1 8 -19 [77, 57, 1] 1 8 -19 [77, 68, 1] 1 8 -19 [68, 6, 2] 1 10 -19 [23, 10, 1] 1 4 -19 [80, 0, 4] 1 22 -19 [23, 12, 1] 1 4 -19 [121, 96, 1] 1 16 -19 [25, 4, 1] 1 10 -19 [25, 0, 5] 1 14 -19 [68, 26, 2] 1 10 -19 [25, 20, 1] 1 10 -19 [99, 6, 3] 1 14 -19 [101, 26, 1] 1 4 -19 [85, 64, 1] 1 8 -19 [28, 10, 2] 1 10 -19 [99, 24, 3] 1 14 -19 [85, 20, 1] 1 8 -19 [35, 5, 1] 1 8 -19 [85, 54, 1] 1 8 -19 [35, 15, 1] 1 8 -19 [35, 19, 1] 1 8 -19 [92, 24, 2] 1 10 -19 [121, 24, 1] 1 16 -19 [85, 30, 1] 1 8 -19 [95, 85, 1] 1 8 -19 [121, 0, 11] 1 24 -19 [100, 8, 2] 1 24 -19 [92, 20, 2] 1 10 -19 [131, 105, 1] 1 4 -19 [131, 25, 1] 1 4 -19 [95, 9, 1] 1 8 -19 [137, 11, 1] 1 4 -19 [115, 79, 1] 1 8 -19 [112, 20, 4] 1 22 -19 [112, 4, 4] 1 22 -19 [100, 0, 10] 1 40 -19 [119, 71, 1] 1 8 -19 [100, 40, 2] 1 24 -19 [125, 0, 5] 1 38 -19 [125, 29, 1] 1 16 -19 [139, 56, 1] 1 4 -19 [119, 54, 1] 1 8 -19 [139, 82, 1] 1 4 -19 [115, 35, 1] 1 8 -19 [119, 47, 1] 1 8 -19 [169, 0, 13] 1 24 -19 [115, 10, 1] 1 8 -19 [119, 64, 1] 1 8 -19 [133, 85, 1] 1 8 -19 [149, 58, 1] 1 4 -19 [115, 104, 1] 1 8 -19 [144, 0, 12] 1 46 -19 [163, 75, 1] 1 4 -19 [125, 95, 1] 1 16 -19 [125, 20, 5] 1 38 -19 [137, 125, 1] 1 4 -19 [133, 47, 1] 1 8 -19 [153, 9, 3] 1 14 -19 [153, 39, 3] 1 14 -19 [157, 115, 1] 1 4 -19 [157, 41, 1] 1 4 -19 [149, 90, 1] 1 4 -19 [171, 27, 3] 1 14 -19 [163, 87, 1] 1 4 -19 [161, 12, 1] 1 8 -19 [161, 148, 1] 1 8 -19 [161, 33, 1] 1 8 -19 [191, 154, 1] 1 4 -19 [176, 8, 4] 1 22 -19 [191, 36, 1] 1 4 -19 [199, 70, 1] 1 4 -19 [161, 127, 1] 1 8 -19 [197, 46, 1] 1 4 -19 [175, 29, 1] 1 20 -19 [197, 150, 1] 1 4 -19 [172, 56, 2] 1 10 -19 [187, 13, 1] 1 8 -19 [187, 30, 1] 1 8 -19 [187, 156, 1] 1 8 -19 [175, 54, 1] 1 20 -19 [176, 32, 4] 1 22 -19 [172, 28, 2] 1 10 -19 [140, 58, 2] 1 20 -19 [188, 80, 2] 1 10 -19 [207, 36, 3] 1 14 -19 [207, 30, 3] 1 14 -19 [140, 10, 2] 1 20 -19 [199, 128, 1] 1 4 -19 [209, 85, 1] 1 8 -19 [140, 38, 2] 1 20 -19 [140, 30, 2] 1 20 -19 [175, 120, 1] 1 20 -19 [175, 145, 1] 1 20 -19 [251, 198, 1] 1 4 -19 [239, 204, 1] 1 4 -19 [256, 0, 16] 1 66 -19 [196, 66, 2] 1 32 -19 [188, 12, 2] 1 10 -19 [229, 89, 1] 1 4 -19 [239, 34, 1] 1 4 -19 [229, 139, 1] 1 4 -19 [175, 5, 5] 1 28 -19 [233, 66, 1] 1 4 -19 [225, 12, 3] 1 32 -19 [225, 60, 3] 1 32 -19 [215, 14, 1] 1 8 -19 [209, 123, 1] 1 8 -19 [271, 43, 1] 1 4 -19 [271, 227, 1] 1 4 -19 [283, 99, 1] 1 4 -19 [263, 149, 1] 1 4 -19 [277, 16, 1] 1 4 -19 [283, 183, 1] 1 4 -19 [263, 113, 1] 1 4 -19 [215, 114, 1] 1 8 -19 [233, 166, 1] 1 4 -19 [251, 52, 1] 1 4 -19 [215, 200, 1] 1 8 -19 [215, 100, 1] 1 8 -19 [175, 25, 5] 1 28 -19 [196, 0, 14] 1 50 -19 [272, 52, 4] 1 22 -19 [289, 81, 1] 1 24 -19 [272, 12, 4] 1 22 -19 [277, 260, 1] 1 4 -19 [253, 217, 1] 1 8 -19 [235, 194, 1] 1 8 -19 [253, 79, 1] 1 8 -19 [289, 0, 17] 1 34 -19 [361, 0, 19] 1 72 -19 [235, 134, 1] 1 8 -19 [244, 14, 2] 1 10 -19 [304, 36, 4] 1 22 -19 [289, 207, 1] 1 24 -19 [245, 229, 1] 1 28 -19 [311, 293, 1] 1 4 -19 [245, 180, 1] 1 28 -19 [311, 17, 1] 1 4 -19 [244, 106, 2] 1 10 -19 [235, 40, 1] 1 8 -19 [253, 35, 1] 1 8 -19 [301, 71, 1] 1 8 -19 [235, 100, 1] 1 8 -19 [253, 173, 1] 1 8 -19 [301, 57, 1] 1 8 -19 [225, 0, 15] 1 54 -19 [245, 15, 1] 1 28 -19 [275, 129, 1] 1 20 -19 [305, 129, 1] 1 8 -19 [245, 64, 1] 1 28 -19 [220, 60, 2] 1 20 -19 [275, 145, 1] 1 20 -19 [313, 273, 1] 1 4 -19 [220, 38, 2] 1 20 -19 [313, 39, 1] 1 4 -19 [275, 195, 1] 1 20 -19 [349, 110, 1] 1 4 -19 [301, 229, 1] 1 8 -19 [349, 238, 1] 1 4 -19 [353, 131, 1] 1 4 -19 [359, 218, 1] 1 4 -19 [220, 70, 2] 1 20 -19 [275, 40, 5] 1 28 -19 [275, 10, 5] 1 28 -19 [252, 6, 6] 1 44 -19 [220, 48, 2] 1 20 -19 [292, 44, 2] 1 10 -19 [292, 100, 2] 1 10 -19 [347, 18, 1] 1 4 -19 [301, 243, 1] 1 8 -19 [367, 63, 1] 1 4 -19 [323, 275, 1] 1 8 -19 [275, 79, 1] 1 20 -19 [359, 140, 1] 1 4 -19 [245, 28, 7] 1 36 -19 [305, 114, 1] 1 8 -19 [343, 180, 1] 1 24 -19 [324, 0, 18] 1 110 -19 [367, 303, 1] 1 4 -19 [245, 0, 7] 1 36 -19 [389, 220, 1] 1 4 -19 [252, 30, 6] 1 44 -19 [389, 168, 1] 1 4 -19 [347, 328, 1] 1 4 -19 [323, 47, 1] 1 8 -19 [343, 162, 1] 1 24 -19 [4, 0, 2] 2 8 -19 [4, 0, 2] 2 8 -19 [5, 4, 1] 2 6 -19 [5, 0, 1] 2 6 -19 [7, 5, 1] 2 6 -19 [9, 0, 3] 2 10 -19 [7, 1, 1] 2 6 -19 [11, 2, 1] 2 6 -19 [11, 8, 1] 2 6 -19 [16, 0, 4] 2 16 -19 [17, 13, 1] 2 6 -19 [19, 9, 1] 2 10 -19 [17, 3, 1] 2 6 -19 [25, 4, 1] 2 14 -19 [20, 8, 2] 2 16 -19 [23, 10, 1] 2 6 -19 [23, 12, 1] 2 6 -19 [25, 20, 1] 2 14 -19 [20, 0, 2] 2 16 -19 [25, 0, 5] 2 22 -19 [28, 10, 2] 2 16 -19 [43, 28, 1] 2 6 -19 [36, 0, 6] 2 32 -19 [43, 14, 1] 2 6 -19 [35, 19, 1] 2 12 -19 [47, 40, 1] 2 6 -19 [35, 29, 1] 2 12 -19 [49, 33, 1] 2 16 -19 [45, 12, 3] 2 20 -19 [35, 15, 1] 2 12 -19 [49, 15, 1] 2 16 -19 [47, 6, 1] 2 6 -19 [35, 5, 1] 2 12 -19 [45, 0, 3] 2 20 -19 [64, 0, 8] 2 32 -19 [44, 4, 2] 2 16 -19 [61, 53, 1] 2 6 -19 [44, 16, 2] 2 16 -19 [49, 0, 7] 2 26 -19 [81, 0, 9] 2 51 -19 [61, 7, 1] 2 6 -19 [55, 19, 1] 2 12 -19 [55, 24, 1] 2 12 -19 [55, 35, 1] 2 12 -19 [63, 15, 3] 2 20 -19 [73, 50, 1] 2 6 -19 [63, 3, 3] 2 20 -19 [55, 30, 1] 2 12 -19 [73, 22, 1] 2 6 -19 [68, 26, 2] 2 16 -19 [83, 45, 1] 2 6 -19 [83, 37, 1] 2 6 -19 [68, 6, 2] 2 16 -19 [77, 57, 1] 2 12 -19 [76, 18, 2] 2 29 -19 [101, 26, 1] 2 6 -19 [77, 8, 1] 2 12 -19 [80, 16, 4] 2 32 -19 [85, 64, 1] 2 12 -19 [101, 74, 1] 2 6 -19 [77, 19, 1] 2 12 -19 [80, 0, 4] 2 32 -19 [77, 68, 1] 2 12 -19 [85, 30, 1] 2 12 -19 [92, 20, 2] 2 16 -19 [92, 24, 2] 2 16 -19 [85, 54, 1] 2 12 -19 [99, 6, 3] 2 20 -19 [85, 20, 1] 2 12 -19 [99, 24, 3] 2 20 -19 [121, 96, 1] 2 20 -19 [121, 0, 11] 2 36 -19 [95, 9, 1] 2 20 -19 [95, 85, 1] 2 20 -19 [139, 82, 1] 2 6 -19 [121, 24, 1] 2 20 -19 [137, 11, 1] 2 6 -19 [131, 105, 1] 2 6 -19 [169, 0, 13] 2 36 -19 [112, 20, 4] 2 32 -19 [100, 8, 2] 2 36 -19 [131, 25, 1] 2 6 -19 [112, 4, 4] 2 32 -19 [137, 125, 1] 2 6 -19 [100, 40, 2] 2 36 -19 [100, 0, 10] 2 62 -19 [119, 71, 1] 2 12 -19 [139, 56, 1] 2 6 -19 [115, 79, 1] 2 12 -19 [125, 29, 1] 2 22 -19 [115, 35, 1] 2 12 -19 [119, 47, 1] 2 12 -19 [115, 104, 1] 2 12 -19 [115, 10, 1] 2 12 -19 [119, 54, 1] 2 12 -19 [119, 64, 1] 2 12 -19 [149, 58, 1] 2 6 -19 [133, 85, 1] 2 20 -19 [125, 95, 1] 2 22 -19 [163, 87, 1] 2 6 -19 [133, 47, 1] 2 20 -19 [149, 90, 1] 2 6 -19 [163, 75, 1] 2 6 -19 [157, 115, 1] 2 6 -19 [4, 0, 2] 3 10 -19 [4, 0, 2] 3 10 -19 [5, 4, 1] 3 6 -19 [5, 0, 1] 3 6 -19 [7, 5, 1] 3 6 -19 [9, 0, 3] 3 13 -19 [7, 1, 1] 3 6 -19 [11, 2, 1] 3 6 -19 [11, 8, 1] 3 6 -19 [16, 0, 4] 3 21 -19 [17, 13, 1] 3 6 -19 [19, 9, 1] 3 6 -19 [17, 3, 1] 3 6 -19 [25, 4, 1] 3 14 -19 [20, 8, 2] 3 20 -19 [23, 10, 1] 3 6 -19 [23, 12, 1] 3 6 -19 [25, 20, 1] 3 14 -19 [20, 0, 2] 3 20 -19 [25, 0, 5] 3 26 -19 [28, 10, 2] 3 20 -19 [43, 28, 1] 3 6 -19 [36, 0, 6] 3 40 -19 [43, 14, 1] 3 6 -19 [35, 19, 1] 3 12 -19 [47, 40, 1] 3 6 -19 [35, 29, 1] 3 12 -19 [35, 15, 1] 3 12 -19 [35, 5, 1] 3 12 -19 [45, 12, 3] 3 26 -19 [47, 6, 1] 3 6 -19 [49, 33, 1] 3 16 -19 [49, 15, 1] 3 16 -19 [45, 0, 3] 3 26 -19 [44, 4, 2] 3 20 -19 [44, 16, 2] 3 20 -19 [61, 53, 1] 3 6 -19 [49, 0, 7] 3 32 -19 [64, 0, 8] 3 42 -19 [61, 7, 1] 3 6 -19 [63, 15, 3] 3 26 -19 [55, 19, 1] 3 12 -19 [55, 35, 1] 3 12 -19 [55, 24, 1] 3 12 -19 [73, 50, 1] 3 6 -19 [55, 30, 1] 3 12 -19 [73, 22, 1] 3 6 -19 [4, 0, 2] 4 12 -19 [4, 0, 2] 4 12 -19 [5, 4, 1] 4 8 -19 [5, 0, 1] 4 8 -19 [7, 5, 1] 4 8 -19 [9, 0, 3] 4 17 -19 [7, 1, 1] 4 8 -19 [11, 2, 1] 4 8 -19 [11, 8, 1] 4 8 -19 [16, 0, 4] 4 26 -19 [17, 13, 1] 4 8 -19 [19, 9, 1] 4 16 -19 [17, 3, 1] 4 8 -19 [23, 12, 1] 4 8 -19 [23, 10, 1] 4 8 -19 [25, 4, 1] 4 18 -19 [20, 8, 2] 4 24 -19 [25, 20, 1] 4 18 -19 [20, 0, 2] 4 24 -19 [25, 0, 5] 4 32 -19 [28, 10, 2] 4 24 -19 [43, 28, 1] 4 8 -19 [4, 0, 2] 5 15 -19 [4, 0, 2] 5 15 -19 [5, 4, 1] 5 10 -19 [5, 0, 1] 5 10 -19 [7, 5, 1] 5 10 -19 [9, 0, 3] 5 20 -19 [7, 1, 1] 5 10 -19 [11, 2, 1] 5 10 -19 [11, 8, 1] 5 10 -19 [16, 0, 4] 5 31 -19 [17, 13, 1] 5 10 -19 [19, 9, 1] 5 10 -19 [17, 3, 1] 5 10 -19 [23, 12, 1] 5 10 -19 [4, 0, 2] 6 18 -19 [4, 0, 2] 6 18 -19 [5, 4, 1] 6 12 -19 [5, 0, 1] 6 12 -19 [7, 5, 1] 6 12 -19 [9, 0, 3] 6 23 -19 [7, 1, 1] 6 12 -19 [11, 2, 1] 6 12 -19 [11, 8, 1] 6 12 -19 [17, 13, 1] 6 12 -19 [4, 0, 2] 7 20 -19 [4, 0, 2] 7 20 -19 [5, 4, 1] 7 14 -19 [5, 0, 1] 7 14 -19 [7, 5, 1] 7 14 -19 [7, 1, 1] 7 14 -19 [9, 0, 3] 7 27 -19 [11, 2, 1] 7 14 -19 [4, 0, 2] 8 22 -19 [4, 0, 2] 8 22 -19 [5, 4, 1] 8 14 -19 [5, 0, 1] 8 14 -19 [7, 5, 1] 8 14 -19 [7, 1, 1] 8 14 -19 [4, 0, 2] 9 25 -19 [4, 0, 2] 9 25 -19 [5, 4, 1] 9 16 -19 [4, 0, 2] 10 28 -19 [4, 0, 2] 10 28