/* Defining polynomial */ x^2 + 73 /* Minimal vectors */ [ <9*w + 10, -4*w - 70>, <3*w + 17, -31>, <-7*w + 42, 8*w + 27>, <-5*w + 43, 7*w + 12>, <4*w + 53, 3*w - 58>, <-4*w + 59, 8*w - 4>, <6*w + 14, -2*w - 51>, , <-4*w + 28, 5*w + 13>, <-2*w + 29, 4*w - 2>, <2*w + 42, 3*w - 38>, <3*w + 7, -w - 26>, <2*w + 11, -21>, <5*w + 18, -w - 47>, <-3*w + 23, 4*w + 9>, <2*w + 31, 2*w - 32>, <-w + 54, 6*w - 23>, <-5*w + 3, 3*w + 35>, <20, 2*w - 11>, <3*w + 26, w - 36>, <-2*w + 29, 4*w - 1>, <30, 3*w - 16>, <8*w + 4, -4*w - 59>, <-w + 15, 2*w - 1>, <31, 3*w - 17>, <3*w + 58, 4*w - 53>, <-5*w + 13, 4*w + 28>, , <2*w + 22, w - 26>, <3*w + 38, 2*w - 42>, <4*w + 3, -2*w - 31>, <-3*w + 3, 2*w + 20>, <30, 3*w - 17>, <-3*w + 33, 5*w + 3>, <40, 4*w - 23>, <2*w + 1, -w - 15>, <-5*w + 2, 3*w + 35>, <-2*w + 19, 3*w + 4>, <3*w + 27, w - 37>, , <-w + 4, w + 5>, <-4*w + 7, 3*w + 25>, <-w + 16, 2*w - 1>, <21, 2*w - 10>, <2*w + 31, 2*w - 29>, <-w + 37, 4*w - 11>, , <21, 2*w - 11>, <-2*w + 31, 4*w - 2>, , <3*w + 7, -w - 25>, <-2*w + 9, 2*w + 9>, <-3*w + 14, 3*w + 13>, <-5*w + 23, 5*w + 22>, <-w + 5, w + 4>, <3*w + 17, -30>, <-w + 26, 3*w - 7>, <-2*w + 31, 4*w - 3>, <2*w + 21, w - 26>, <-3*w + 24, 4*w + 9>, <50, 5*w - 27>, <3*w + 117, 10*w - 86>, <-3*w + 4, 2*w + 20>, , <-2*w + 9, 2*w + 10>, <-5*w + 23, 5*w + 25>, <-2*w + 20, 3*w + 3>, <-w + 45, 5*w - 18>, <-2*w, w + 14>, <2*w + 10, -19>, <10, w - 5>, <-2*w + 31, 4*w - 1>, , <-2*w + 10, 2*w + 9>, <2*w + 31, 2*w - 30>, <-w + 36, 4*w - 11>, <-3*w + 36, 5*w + 3>, , <5*w + 8, -2*w - 39>, <-4*w + 19, 4*w + 17>, <-3*w + 25, 4*w + 7>, <3*w + 28, w - 36>, <2*w + 33, 2*w - 32>, <2*w + 11, -20>, <-9*w + 1, 5*w + 64>, <-7*w + 2, 4*w + 49>, <6*w + 13, -2*w - 50>, <-3*w + 14, 3*w + 14>, <5*w + 48, 2*w - 62>, <-4*w + 49, 7*w + 2>, <-2*w + 50, 6*w - 13>, <2*w + 62, 5*w - 48>, <4*w + 63, 4*w - 63>, <-5*w + 64, 9*w + 1>, <3*w + 6, -w - 25>, , <2*w + 11, -19>, <-2*w + 11, 2*w + 8>, <-w + 25, 3*w - 6>, <2*w + 31, 2*w - 31>, <10, w - 6>, <1, -1>, <-w + 4, w + 4>, <1, 0>, <-w + 5, w + 5>, <0, 1> ] /* Voronoi top cells */ [ { 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 }, { 32, 36, 37, 38, 39, 40 }, { 2, 5, 6, 36 }, { 31, 32, 35, 41, 42 }, { 8, 9, 11, 28 }, { 8, 9, 10, 32 }, { 43, 44, 45, 46 }, { 47, 48, 49, 50 }, { 28, 29, 30, 51 }, { 51, 52, 53, 54 }, { 55, 56, 57, 58 }, { 12, 31, 33, 41 }, { 12, 15, 19, 33 }, { 12, 13, 15, 16, 19 }, { 18, 19, 22, 59, 60, 61 }, { 19, 36, 59, 62 }, { 63, 64, 65, 66 }, { 19, 20, 21, 22, 63, 65 }, { 55, 56, 58, 67 }, { 23, 24, 25, 28 }, { 25, 27, 28, 29, 67 }, { 32, 33, 36, 38, 39 }, { 31, 32, 33, 41 }, { 2, 32, 36, 37, 68 }, { 2, 6, 28, 36 }, { 8, 32, 41, 42 }, { 2, 8, 9, 28, 32 }, { 43, 44, 45, 69 }, { 47, 48, 49, 69 }, { 70, 71, 72, 73 }, { 48, 49, 69, 74 }, { 71, 74, 75, 76 }, { 69, 71, 73, 76 }, { 69, 74, 76, 77 }, { 28, 29, 51, 52, 53 }, { 29, 53, 55, 78, 79, 80, 81, 82, 83 }, { 48, 55, 74, 84 }, { 48, 55, 57, 84 }, { 24, 55, 56, 57 }, { 24, 56, 57, 84 }, { 24, 36, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94 }, { 12, 33, 36, 41 }, { 12, 19, 33, 36 }, { 12, 13, 19, 41 }, { 19, 22, 36, 59, 60, 95 }, { 13, 19, 41, 65 }, { 19, 22, 63, 64, 65 }, { 24, 55, 56, 67 }, { 28, 29, 55, 67 }, { 24, 25, 28, 67 }, { 32, 33, 36, 41 }, { 2, 28, 32, 36 }, { 8, 28, 32, 41 }, { 43, 44, 69, 96 }, { 43, 47, 55, 96, 97, 98 }, { 47, 48, 55, 69 }, { 44, 69, 70, 96 }, { 69, 70, 71, 73 }, { 48, 55, 69, 74 }, { 69, 71, 74, 76 }, { 28, 29, 52, 53, 55, 78 }, { 55, 71, 74, 84 }, { 24, 55, 57, 84 }, { 24, 36, 88, 95, 99, 100 }, { 12, 19, 36, 41 }, { 19, 22, 36, 64, 95 }, { 19, 41, 64, 65 }, { 24, 28, 55, 67 }, { 28, 32, 36, 41 }, { 43, 47, 55, 69, 96 }, { 69, 70, 71, 96 }, { 55, 69, 71, 74 }, { 28, 41, 52, 55, 78, 101 }, { 24, 55, 71, 84 }, { 24, 36, 64, 71, 95, 99 }, { 19, 36, 41, 64 }, { 24, 28, 36, 41, 55 }, { 55, 69, 71, 96 }, { 41, 55, 78, 101, 102, 103 }, { 24, 36, 41, 55, 64, 71 }, { 55, 71, 96, 102, 104 }, { 41, 55, 64, 71, 102 }, { 64, 71, 102, 104, 105, 106 } ] /* Faces of top cells */ [ [ { 2, 3, 4, 5 }, { 1, 3, 4 }, { 1, 2, 4, 6 }, { 1, 3, 5, 6 }, { 2, 5, 6 } ], [ { 8, 9, 10 }, { 7, 9, 10 }, { 7, 8, 10, 11 }, { 8, 9, 11 }, { 7, 9, 11 } ], [ { 12, 14, 15, 17 }, { 12, 13, 15, 16 }, { 12, 13, 14 }, { 13, 14, 16, 17 }, { 15, 16, 17 } ], [ { 19, 20, 21, 22 }, { 18, 20, 21 }, { 18, 19, 21 }, { 18, 19, 22 }, { 18, 20, 22 } ], [ { 24, 25, 26 }, { 23, 25, 26 }, { 23, 24, 26 }, { 23, 24, 25 } ], [ { 28, 29, 30 }, { 27, 29, 30 }, { 27, 28, 30 }, { 27, 28, 29 } ], [ { 32, 33, 34 }, { 31, 33, 34, 35 }, { 31, 32, 33 }, { 32, 34, 35 }, { 31, 32, 35 } ], [ { 32, 36, 38, 39 }, { 36, 37, 38, 40 }, { 32, 36, 37 }, { 32, 37, 39, 40 }, { 38, 39, 40 } ], [ { 2, 5, 6 }, { 5, 6, 36 }, { 2, 6, 36 }, { 2, 5, 36 } ], [ { 32, 41, 42 }, { 31, 35, 41, 42 }, { 31, 32, 41 }, { 32, 35, 42 }, { 31, 32, 35 } ], [ { 8, 9, 11 }, { 9, 11, 28 }, { 8, 11, 28 }, { 8, 9, 28 } ], [ { 8, 9, 10 }, { 9, 10, 32 }, { 8, 10, 32 }, { 8, 9, 32 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 48, 49, 50 }, { 47, 49, 50 }, { 47, 48, 50 }, { 47, 48, 49 } ], [ { 28, 29, 30 }, { 29, 30, 51 }, { 28, 30, 51 }, { 28, 29, 51 } ], [ { 52, 53, 54 }, { 51, 53, 54 }, { 51, 52, 54 }, { 51, 52, 53 } ], [ { 56, 57, 58 }, { 55, 57, 58 }, { 55, 56, 58 }, { 55, 56, 57 } ], [ { 12, 33, 41 }, { 12, 31, 33 }, { 31, 33, 41 }, { 12, 31, 41 } ], [ { 15, 19, 33 }, { 12, 15, 33 }, { 12, 19, 33 }, { 12, 15, 19 } ], [ { 12, 15, 19 }, { 12, 13, 15, 16 }, { 12, 13, 19 }, { 15, 16, 19 }, { 13, 16, 19 } ], [ { 19, 22, 59, 60 }, { 18, 19, 59, 61 }, { 18, 22, 60, 61 }, { 18, 19, 22 }, { 59, 60, 61 } ], [ { 19, 59, 62 }, { 36, 59, 62 }, { 19, 36, 62 }, { 19, 36, 59 } ], [ { 64, 65, 66 }, { 63, 65, 66 }, { 63, 64, 66 }, { 63, 64, 65 } ], [ { 20, 21, 63, 65 }, { 19, 22, 63, 65 }, { 19, 20, 21, 22 }, { 19, 21, 65 }, { 20, 22, 63 } ], [ { 56, 58, 67 }, { 55, 58, 67 }, { 55, 56, 58 }, { 55, 56, 67 } ], [ { 24, 25, 28 }, { 23, 25, 28 }, { 23, 24, 25 }, { 23, 24, 28 } ], [ { 28, 29, 67 }, { 27, 29, 67 }, { 27, 28, 29 }, { 25, 28, 67 }, { 25, 27, 67 }, { 25, 27, 28 } ], [ { 33, 36, 38 }, { 32, 33, 36 }, { 32, 36, 38, 39 }, { 32, 33, 39 }, { 33, 38, 39 } ], [ { 32, 33, 41 }, { 31, 33, 41 }, { 31, 32, 33 }, { 31, 32, 41 } ], [ { 2, 32, 36 }, { 2, 36, 37, 68 }, { 32, 36, 37 }, { 32, 37, 68 }, { 2, 32, 68 } ], [ { 2, 6, 28 }, { 2, 6, 36 }, { 6, 28, 36 }, { 2, 28, 36 } ], [ { 8, 41, 42 }, { 8, 32, 42 }, { 8, 32, 41 }, { 32, 41, 42 } ], [ { 8, 28, 32 }, { 2, 28, 32 }, { 8, 9, 32 }, { 2, 9, 28 }, { 8, 9, 28 }, { 2, 9, 32 } ], [ { 44, 45, 69 }, { 43, 45, 69 }, { 43, 44, 69 }, { 43, 44, 45 } ], [ { 48, 49, 69 }, { 47, 49, 69 }, { 47, 48, 69 }, { 47, 48, 49 } ], [ { 71, 72, 73 }, { 70, 72, 73 }, { 70, 71, 73 }, { 70, 71, 72 } ], [ { 48, 49, 69 }, { 49, 69, 74 }, { 48, 69, 74 }, { 48, 49, 74 } ], [ { 74, 75, 76 }, { 71, 75, 76 }, { 71, 74, 76 }, { 71, 74, 75 } ], [ { 69, 73, 76 }, { 69, 71, 76 }, { 69, 71, 73 }, { 71, 73, 76 } ], [ { 69, 76, 77 }, { 69, 74, 77 }, { 69, 74, 76 }, { 74, 76, 77 } ], [ { 28, 29, 52, 53 }, { 28, 51, 52 }, { 51, 52, 53 }, { 29, 51, 53 }, { 28, 29, 51 } ], [ { 29, 53, 55, 78 }, { 55, 78, 80, 81, 82, 83 }, { 53, 79, 80, 83 }, { 29, 53, 79 }, { 29, 79, 81, 82 }, { 29, 55, 81 }, { 79, 80, 82 }, { 53, 78, 83 } ], [ { 48, 74, 84 }, { 48, 55, 84 }, { 48, 55, 74 }, { 55, 74, 84 } ], [ { 48, 57, 84 }, { 48, 55, 57 }, { 55, 57, 84 }, { 48, 55, 84 } ], [ { 24, 56, 57 }, { 55, 56, 57 }, { 24, 55, 57 }, { 24, 55, 56 } ], [ { 24, 56, 57 }, { 56, 57, 84 }, { 24, 57, 84 }, { 24, 56, 84 } ], [ { 24, 86, 87 }, { 24, 36, 88 }, { 24, 36, 87, 91 }, { 24, 86, 88, 92 }, { 36, 88, 89, 90 }, { 85, 89, 90 }, { 85, 90, 91, 93 }, { 36, 90, 91 }, { 88, 89, 92 }, { 85, 89, 92, 94 }, { 86, 87, 93, 94 }, { 87, 91, 93 }, { 86, 92, 94 }, { 85, 93, 94 } ], [ { 12, 33, 41 }, { 12, 33, 36 }, { 33, 36, 41 }, { 12, 36, 41 } ], [ { 12, 19, 33 }, { 19, 33, 36 }, { 12, 33, 36 }, { 12, 19, 36 } ], [ { 12, 13, 19 }, { 13, 19, 41 }, { 12, 19, 41 }, { 12, 13, 41 } ], [ { 19, 36, 59 }, { 36, 59, 60, 95 }, { 19, 22, 36, 95 }, { 19, 22, 59, 60 }, { 22, 60, 95 } ], [ { 13, 19, 65 }, { 13, 19, 41 }, { 19, 41, 65 }, { 13, 41, 65 } ], [ { 19, 64, 65 }, { 19, 22, 63, 65 }, { 63, 64, 65 }, { 19, 22, 64 }, { 22, 63, 64 } ], [ { 24, 56, 67 }, { 55, 56, 67 }, { 24, 55, 67 }, { 24, 55, 56 } ], [ { 28, 29, 67 }, { 29, 55, 67 }, { 28, 29, 55 }, { 28, 55, 67 } ], [ { 25, 28, 67 }, { 24, 25, 67 }, { 24, 25, 28 }, { 24, 28, 67 } ], [ { 32, 33, 41 }, { 33, 36, 41 }, { 32, 33, 36 }, { 32, 36, 41 } ], [ { 2, 28, 32 }, { 2, 28, 36 }, { 2, 32, 36 }, { 28, 32, 36 } ], [ { 8, 28, 41 }, { 8, 28, 32 }, { 8, 32, 41 }, { 28, 32, 41 } ], [ { 43, 44, 69 }, { 44, 69, 96 }, { 43, 69, 96 }, { 43, 44, 96 } ], [ { 47, 55, 97 }, { 43, 47, 55, 96 }, { 55, 96, 97, 98 }, { 43, 47, 97, 98 }, { 43, 96, 98 } ], [ { 47, 48, 69 }, { 48, 55, 69 }, { 47, 55, 69 }, { 47, 48, 55 } ], [ { 44, 69, 70 }, { 44, 69, 96 }, { 69, 70, 96 }, { 44, 70, 96 } ], [ { 69, 71, 73 }, { 69, 70, 73 }, { 69, 70, 71 }, { 70, 71, 73 } ], [ { 48, 69, 74 }, { 48, 55, 69 }, { 55, 69, 74 }, { 48, 55, 74 } ], [ { 69, 74, 76 }, { 69, 71, 76 }, { 69, 71, 74 }, { 71, 74, 76 } ], [ { 52, 53, 78 }, { 29, 53, 55, 78 }, { 28, 52, 55, 78 }, { 28, 29, 52, 53 }, { 28, 29, 55 } ], [ { 71, 74, 84 }, { 55, 74, 84 }, { 55, 71, 84 }, { 55, 71, 74 } ], [ { 24, 57, 84 }, { 24, 55, 57 }, { 55, 57, 84 }, { 24, 55, 84 } ], [ { 24, 36, 88 }, { 24, 36, 95, 99 }, { 36, 88, 95, 100 }, { 24, 88, 99, 100 }, { 95, 99, 100 } ], [ { 12, 19, 41 }, { 12, 19, 36 }, { 19, 36, 41 }, { 12, 36, 41 } ], [ { 19, 22, 36, 95 }, { 19, 36, 64 }, { 36, 64, 95 }, { 22, 64, 95 }, { 19, 22, 64 } ], [ { 19, 64, 65 }, { 19, 41, 65 }, { 19, 41, 64 }, { 41, 64, 65 } ], [ { 24, 28, 67 }, { 28, 55, 67 }, { 24, 55, 67 }, { 24, 28, 55 } ], [ { 28, 32, 41 }, { 28, 36, 41 }, { 28, 32, 36 }, { 32, 36, 41 } ], [ { 47, 55, 69 }, { 55, 69, 96 }, { 43, 47, 55, 96 }, { 43, 47, 69 }, { 43, 69, 96 } ], [ { 69, 70, 71 }, { 69, 71, 96 }, { 69, 70, 96 }, { 70, 71, 96 } ], [ { 69, 71, 74 }, { 55, 69, 74 }, { 55, 69, 71 }, { 55, 71, 74 } ], [ { 28, 52, 55, 78 }, { 41, 55, 78, 101 }, { 28, 41, 52, 101 }, { 52, 78, 101 }, { 28, 41, 55 } ], [ { 24, 71, 84 }, { 24, 55, 84 }, { 24, 55, 71 }, { 55, 71, 84 } ], [ { 64, 71, 95, 99 }, { 24, 36, 64, 71 }, { 36, 64, 95 }, { 24, 36, 95, 99 }, { 24, 71, 99 } ], [ { 19, 41, 64 }, { 19, 36, 64 }, { 19, 36, 41 }, { 36, 41, 64 } ], [ { 28, 41, 55 }, { 28, 36, 41 }, { 24, 36, 41, 55 }, { 24, 28, 55 }, { 24, 28, 36 } ], [ { 55, 69, 71 }, { 69, 71, 96 }, { 55, 69, 96 }, { 55, 71, 96 } ], [ { 41, 55, 102 }, { 55, 78, 102, 103 }, { 41, 101, 102, 103 }, { 41, 55, 78, 101 }, { 78, 101, 103 } ], [ { 41, 55, 64, 71 }, { 24, 36, 41, 55 }, { 36, 41, 64 }, { 24, 36, 64, 71 }, { 24, 55, 71 } ], [ { 71, 96, 104 }, { 71, 102, 104 }, { 55, 96, 102, 104 }, { 55, 71, 102 }, { 55, 71, 96 } ], [ { 41, 55, 64, 71 }, { 41, 55, 102 }, { 41, 64, 102 }, { 55, 71, 102 }, { 64, 71, 102 } ], [ { 64, 71, 102 }, { 71, 102, 104 }, { 71, 104, 105 }, { 64, 71, 105 }, { 64, 102, 106 }, { 64, 105, 106 }, { 104, 105, 106 }, { 102, 104, 106 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 12, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 2, 1, 1, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2> ]