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