/* Defining polynomial */ x^2 + 46 /* Minimal vectors */ [ <2*w + 18, w - 21>, <-w + 29, 4*w - 11>, <15*w + 38, -4*w - 103>, <6*w + 105, 9*w - 92>, <16*w + 9, -8*w - 92>, <-12*w + 78, 16*w + 21>, <-3*w + 11, 3*w + 10>, <-9*w + 8, 6*w + 46>, <-5*w + 18, 5*w + 18>, <3*w + 22, w - 29>, <41, 5*w - 23>, <3*w + 63, 6*w - 52>, <-w + 13, 2*w - 1>, <-3*w + 13, 3*w + 10>, <17, 2*w - 8>, <-w + 30, 4*w - 9>, <2*w + 8, -15>, <2*w + 25, 2*w - 23>, <3*w + 13, -23>, , <17, 2*w - 9>, , <-2*w + 8, 2*w + 7>, <-2*w + 25, 4*w - 2>, , <3*w + 31, 2*w - 34>, <-2*w + 7, 2*w + 7>, <-5*w + 18, 5*w + 17>, <3*w + 6, -w - 20>, <4*w + 10, -w - 28>, <-w + 28, 4*w - 10>, <4*w + 51, 4*w - 51>, <5*w + 23, -41>, , <-2*w, w + 11>, <5*w + 4, -2*w - 30>, <8, w - 4>, <-5*w + 4, 3*w + 26>, <2*w + 1, -w - 12>, <-w + 12, 2*w - 1>, , <-w + 4, w + 3>, <2*w + 9, -15>, <-2*w + 9, 2*w + 6>, , , <-2*w + 7, 2*w + 8>, <2*w + 9, -17>, <-w + 3, w + 4>, <8, w - 5>, <1, -1>, <-w + 3, w + 3>, <1, 0>, <-w + 4, w + 4>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 2, 3, 4, 5, 6 }, { 2, 5, 6, 7 }, { 8, 9, 10, 11, 12 }, { 13, 14, 15, 16 }, { 14, 15, 17, 18 }, { 19, 20, 21, 22 }, { 19, 21, 23, 24 }, { 1, 2, 25, 26 }, { 1, 2, 4, 6, 7 }, { 2, 7, 27, 28 }, { 2, 25, 27, 29 }, { 9, 30, 31, 32 }, { 9, 25, 33, 34 }, { 9, 10, 11, 25 }, { 13, 14, 15, 35 }, { 17, 35, 36, 37 }, { 14, 15, 17, 35 }, { 19, 20, 21, 35 }, { 23, 35, 37, 38 }, { 19, 21, 23, 35 }, { 1, 2, 7, 25, 27 }, { 9, 30, 31, 39, 40 }, { 9, 25, 34, 39 }, { 9, 10, 25, 40 }, { 13, 20, 41, 42, 43, 44 }, { 13, 15, 35, 41 }, { 15, 17, 35, 37 }, { 20, 21, 35, 42 }, { 21, 23, 35, 37 }, { 1, 7, 25, 27, 42, 45 }, { 21, 23, 37, 40 }, { 39, 46, 47, 48 }, { 9, 25, 39, 40 }, { 13, 20, 35, 41, 42 }, { 15, 35, 37, 41 }, { 21, 35, 37, 42 }, { 25, 27, 42, 45, 49, 50 }, { 21, 37, 40, 42 }, { 39, 46, 48, 49 }, { 25, 39, 40, 42, 49 }, { 35, 37, 41, 42 }, { 42, 45, 49, 50, 51, 52 }, { 37, 39, 40, 42, 46, 49 }, { 37, 41, 42, 51, 53 }, { 37, 42, 46, 49, 51 }, { 37, 46, 51, 53, 54, 55 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 3, 4, 5, 6 }, { 2, 5, 6 }, { 2, 3, 5 }, { 2, 3, 4 }, { 2, 4, 6 } ], [ { 2, 6, 7 }, { 2, 5, 6 }, { 5, 6, 7 }, { 2, 5, 7 } ], [ { 9, 10, 11 }, { 8, 9, 11, 12 }, { 8, 9, 10 }, { 8, 10, 12 }, { 10, 11, 12 } ], [ { 14, 15, 16 }, { 13, 15, 16 }, { 13, 14, 16 }, { 13, 14, 15 } ], [ { 14, 15, 18 }, { 15, 17, 18 }, { 14, 17, 18 }, { 14, 15, 17 } ], [ { 20, 21, 22 }, { 19, 21, 22 }, { 19, 20, 22 }, { 19, 20, 21 } ], [ { 19, 21, 24 }, { 21, 23, 24 }, { 19, 23, 24 }, { 19, 21, 23 } ], [ { 1, 2, 26 }, { 2, 25, 26 }, { 1, 25, 26 }, { 1, 2, 25 } ], [ { 2, 6, 7 }, { 1, 4, 6, 7 }, { 1, 2, 7 }, { 2, 4, 6 }, { 1, 2, 4 } ], [ { 2, 7, 28 }, { 2, 27, 28 }, { 2, 7, 27 }, { 7, 27, 28 } ], [ { 2, 25, 27 }, { 2, 25, 29 }, { 2, 27, 29 }, { 25, 27, 29 } ], [ { 9, 31, 32 }, { 30, 31, 32 }, { 9, 30, 32 }, { 9, 30, 31 } ], [ { 9, 33, 34 }, { 25, 33, 34 }, { 9, 25, 34 }, { 9, 25, 33 } ], [ { 9, 10, 11 }, { 10, 11, 25 }, { 9, 11, 25 }, { 9, 10, 25 } ], [ { 14, 15, 35 }, { 13, 15, 35 }, { 13, 14, 35 }, { 13, 14, 15 } ], [ { 17, 35, 37 }, { 35, 36, 37 }, { 17, 35, 36 }, { 17, 36, 37 } ], [ { 14, 15, 35 }, { 15, 17, 35 }, { 14, 17, 35 }, { 14, 15, 17 } ], [ { 20, 21, 35 }, { 19, 21, 35 }, { 19, 20, 35 }, { 19, 20, 21 } ], [ { 23, 35, 37 }, { 23, 35, 38 }, { 35, 37, 38 }, { 23, 37, 38 } ], [ { 19, 21, 35 }, { 21, 23, 35 }, { 19, 23, 35 }, { 19, 21, 23 } ], [ { 2, 25, 27 }, { 2, 7, 27 }, { 1, 7, 25, 27 }, { 1, 2, 7 }, { 1, 2, 25 } ], [ { 9, 30, 40 }, { 9, 39, 40 }, { 30, 31, 39, 40 }, { 9, 30, 31 }, { 9, 31, 39 } ], [ { 9, 25, 34 }, { 9, 34, 39 }, { 25, 34, 39 }, { 9, 25, 39 } ], [ { 9, 10, 25 }, { 9, 10, 40 }, { 10, 25, 40 }, { 9, 25, 40 } ], [ { 20, 42, 43 }, { 13, 20, 41, 42 }, { 41, 42, 43, 44 }, { 13, 20, 43, 44 }, { 13, 41, 44 } ], [ { 13, 15, 35 }, { 15, 35, 41 }, { 13, 35, 41 }, { 13, 15, 41 } ], [ { 15, 35, 37 }, { 15, 17, 35 }, { 17, 35, 37 }, { 15, 17, 37 } ], [ { 20, 21, 35 }, { 21, 35, 42 }, { 20, 35, 42 }, { 20, 21, 42 } ], [ { 21, 23, 35 }, { 21, 35, 37 }, { 23, 35, 37 }, { 21, 23, 37 } ], [ { 7, 27, 45 }, { 1, 7, 42, 45 }, { 25, 27, 42, 45 }, { 1, 7, 25, 27 }, { 1, 25, 42 } ], [ { 21, 23, 40 }, { 21, 37, 40 }, { 21, 23, 37 }, { 23, 37, 40 } ], [ { 46, 47, 48 }, { 39, 47, 48 }, { 39, 46, 48 }, { 39, 46, 47 } ], [ { 9, 25, 40 }, { 9, 25, 39 }, { 9, 39, 40 }, { 25, 39, 40 } ], [ { 20, 35, 42 }, { 35, 41, 42 }, { 13, 20, 41, 42 }, { 13, 35, 41 }, { 13, 20, 35 } ], [ { 15, 35, 37 }, { 15, 35, 41 }, { 35, 37, 41 }, { 15, 37, 41 } ], [ { 21, 35, 37 }, { 21, 35, 42 }, { 35, 37, 42 }, { 21, 37, 42 } ], [ { 25, 27, 42, 45 }, { 42, 45, 49, 50 }, { 25, 27, 49, 50 }, { 27, 45, 50 }, { 25, 42, 49 } ], [ { 21, 37, 40 }, { 21, 40, 42 }, { 21, 37, 42 }, { 37, 40, 42 } ], [ { 46, 48, 49 }, { 39, 46, 48 }, { 39, 48, 49 }, { 39, 46, 49 } ], [ { 25, 42, 49 }, { 25, 39, 49 }, { 39, 40, 42, 49 }, { 25, 40, 42 }, { 25, 39, 40 } ], [ { 35, 37, 42 }, { 35, 37, 41 }, { 35, 41, 42 }, { 37, 41, 42 } ], [ { 42, 49, 51 }, { 42, 45, 51, 52 }, { 49, 50, 51, 52 }, { 42, 45, 49, 50 }, { 45, 50, 52 } ], [ { 37, 42, 46, 49 }, { 39, 40, 42, 49 }, { 39, 46, 49 }, { 37, 39, 40, 46 }, { 37, 40, 42 } ], [ { 37, 41, 53 }, { 37, 51, 53 }, { 41, 42, 51, 53 }, { 37, 41, 42 }, { 37, 42, 51 } ], [ { 37, 42, 46, 49 }, { 42, 49, 51 }, { 46, 49, 51 }, { 37, 46, 51 }, { 37, 42, 51 } ], [ { 37, 46, 51 }, { 37, 51, 53 }, { 37, 46, 54 }, { 37, 53, 54 }, { 53, 54, 55 }, { 46, 51, 55 }, { 46, 54, 55 }, { 51, 53, 55 } ] ] /* 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 1, 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>, <4, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2> ]