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