/* Defining polynomial */ x^2 - x + 33 /* Minimal vectors */ [ <3*w + 9, -3*w + 11>, , <-3*w + 11, -19>, <20, -3*w - 8>, <3*w + 3, -2*w + 13>, <-2*w + 7, -12>, <7, -w - 3>, <-w + 11, -w - 9>, , <-w + 17, -2*w - 11>, <2*w, -w + 10>, <-4*w + 2, 2*w - 21>, <2*w + 12, -3*w + 5>, <-2*w + 14, -w - 16>, <17*w + 47, -17*w + 66>, <-17*w + 64, -113>, <111, -17*w - 47>, <-5*w + 5, 2*w - 27>, <-w + 17, -2*w - 12>, <3*w + 2, -2*w + 14>, <3*w + 29, -6*w + 3>, <-3*w + 25, -2*w - 25>, <1, -1>, , <-w + 5, -6>, <8, -w - 4>, <-w + 4, -6>, , <2*w + 7, -2*w + 5>, <-2*w + 9, -12>, <1, 0>, <8, -w - 3>, <-w + 3, -6>, <-3*w + 5, w - 17>, <5*w + 14, -5*w + 19>, , <-5*w + 19, -33>, <2*w + 19, -4*w + 2>, <-2*w + 21, -2*w - 19>, <33, -5*w - 14>, , <-w + 24, -3*w - 15>, <-4*w + 2, 2*w - 19>, <2*w + 21, -4*w>, <-2*w + 23, -2*w - 19>, <-w + 4, -7>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 2, 6, 9, 10 }, { 2, 5, 6, 7 }, { 6, 9, 10, 11 }, { 12, 13, 14, 15, 16, 17 }, { 4, 9, 18, 19 }, { 1, 4, 19, 20, 21 }, { 1, 7, 20, 22 }, { 1, 2, 4, 7, 9 }, { 23, 24, 25, 26 }, { 24, 25, 27, 28, 29, 30 }, { 27, 28, 31, 32 }, { 6, 7, 8, 27 }, { 2, 6, 7, 9 }, { 6, 9, 11, 33 }, { 12, 13, 14, 19, 20, 34, 35, 36, 37, 38, 39, 40 }, { 7, 20, 34, 41, 42 }, { 1, 4, 7, 9, 19, 20 }, { 7, 24, 27, 43, 44, 45 }, { 23, 24, 25, 27, 28, 31 }, { 6, 7, 9, 27, 33 }, { 7, 9, 13, 14, 19, 20, 34, 36, 46 }, { 7, 23, 24, 27, 31 }, { 7, 9, 27, 31, 33 }, { 7, 9, 23, 31, 46, 47 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 6, 7, 8 }, { 5, 7, 8 }, { 5, 6, 8 }, { 5, 6, 7 } ], [ { 2, 6, 10 }, { 2, 9, 10 }, { 6, 9, 10 }, { 2, 6, 9 } ], [ { 2, 6, 7 }, { 2, 5, 7 }, { 2, 5, 6 }, { 5, 6, 7 } ], [ { 6, 10, 11 }, { 9, 10, 11 }, { 6, 9, 11 }, { 6, 9, 10 } ], [ { 12, 13, 15 }, { 12, 13, 14 }, { 12, 14, 16 }, { 12, 15, 16 }, { 15, 16, 17 }, { 13, 15, 17 }, { 14, 16, 17 }, { 13, 14, 17 } ], [ { 4, 18, 19 }, { 4, 9, 19 }, { 4, 9, 18 }, { 9, 18, 19 } ], [ { 19, 20, 21 }, { 1, 20, 21 }, { 1, 4, 19, 20 }, { 4, 19, 21 }, { 1, 4, 21 } ], [ { 1, 7, 22 }, { 1, 20, 22 }, { 7, 20, 22 }, { 1, 7, 20 } ], [ { 1, 2, 7 }, { 2, 7, 9 }, { 1, 4, 7, 9 }, { 1, 2, 4 }, { 2, 4, 9 } ], [ { 24, 25, 26 }, { 23, 25, 26 }, { 23, 24, 26 }, { 23, 24, 25 } ], [ { 24, 27, 29, 30 }, { 24, 25, 27, 28 }, { 24, 25, 29 }, { 25, 28, 29, 30 }, { 27, 28, 30 } ], [ { 27, 28, 32 }, { 28, 31, 32 }, { 27, 31, 32 }, { 27, 28, 31 } ], [ { 6, 7, 8 }, { 7, 8, 27 }, { 6, 8, 27 }, { 6, 7, 27 } ], [ { 2, 6, 7 }, { 2, 7, 9 }, { 2, 6, 9 }, { 6, 7, 9 } ], [ { 6, 9, 11 }, { 6, 11, 33 }, { 9, 11, 33 }, { 6, 9, 33 } ], [ { 13, 14, 19, 20, 34, 36 }, { 12, 13, 14 }, { 12, 13, 35, 36, 39, 40 }, { 20, 34, 35, 37, 38, 39 }, { 12, 14, 19, 37, 38, 40 }, { 19, 20, 38 }, { 34, 36, 39 }, { 35, 37, 40 } ], [ { 7, 34, 41 }, { 20, 34, 41, 42 }, { 7, 20, 34 }, { 7, 20, 42 }, { 7, 41, 42 } ], [ { 1, 4, 7, 9 }, { 1, 7, 20 }, { 7, 9, 19, 20 }, { 1, 4, 19, 20 }, { 4, 9, 19 } ], [ { 7, 24, 27 }, { 7, 27, 43, 44 }, { 7, 24, 43, 45 }, { 24, 27, 44, 45 }, { 43, 44, 45 } ], [ { 23, 25, 28, 31 }, { 23, 24, 27, 31 }, { 27, 28, 31 }, { 24, 25, 27, 28 }, { 23, 24, 25 } ], [ { 6, 27, 33 }, { 6, 9, 33 }, { 7, 9, 27, 33 }, { 6, 7, 9 }, { 6, 7, 27 } ], [ { 7, 9, 46 }, { 7, 9, 19, 20 }, { 7, 34, 36, 46 }, { 7, 20, 34 }, { 13, 14, 19, 20, 34, 36 }, { 9, 13, 14, 46 }, { 13, 36, 46 }, { 9, 14, 19 } ], [ { 7, 23, 24 }, { 7, 23, 31 }, { 23, 24, 27, 31 }, { 7, 24, 27 }, { 7, 27, 31 } ], [ { 7, 9, 27, 33 }, { 27, 31, 33 }, { 9, 31, 33 }, { 7, 27, 31 }, { 7, 9, 31 } ], [ { 7, 9, 31 }, { 7, 23, 31 }, { 7, 9, 46 }, { 7, 23, 46 }, { 9, 31, 47 }, { 23, 46, 47 }, { 9, 46, 47 }, { 23, 31, 47 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 12, 1, 1, 2, 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>, <12, 4>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]