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