/* Defining polynomial */ x^2 - x + 73 /* Minimal vectors */ [ <10*w + 41, -10*w + 51>, <3*w + 43, -6*w>, <-3*w + 49, -3*w - 46>, <-10*w + 61, -102>, <-7*w + 104, -6*w - 102>, <-6*w + 4, 3*w - 46>, <3*w + 13, -3*w + 16>, <-3*w + 17, -30>, <4*w + 27, -5*w + 17>, <5*w + 12, -4*w + 31>, <30, -3*w - 14>, <3*w + 43, -6*w + 2>, <-2*w + 1, w - 15>, , <-w + 46, -4*w - 28>, <111, -11*w - 50>, <-6*w + 13, 2*w - 49>, <-8*w + 14, 3*w - 64>, <7*w + 32, -7*w + 36>, <2*w + 70, -8*w - 17>, <-6*w + 84, -5*w - 81>, , <-5*w + 58, -3*w - 62>, <-6*w + 24, w - 54>, <-w + 26, -2*w - 19>, , <4*w + 69, -9*w - 3>, <-3*w + 27, -w - 34>, <61, -6*w - 28>, <-3*w + 7, w - 25>, <-5*w + 8, 2*w - 40>, <5*w + 53, -8*w + 12>, <5*w + 2, -3*w + 35>, <-6*w + 4, 3*w - 45>, <2*w + 29, -4*w + 1>, <7*w + 31, -7*w + 36>, <-4*w + 33, -w - 44>, <-w + 36, -3*w - 24>, <4*w + 38, -6*w + 11>, <-7*w + 40, -69>, <-2*w + 42, -3*w - 34>, <71, -7*w - 33>, <-2*w + 1, w - 14>, <3*w + 4, -2*w + 19>, <-3*w + 7, w - 24>, , <-w + 27, -2*w - 19>, <-4*w + 2, 2*w - 27>, <2*w + 44, -5*w - 7>, <11*w + 45, -10*w + 51>, <-2*w + 46, -3*w - 34>, <-11*w + 56, w - 97>, <101, -9*w - 46>, <-5*w + 8, 2*w - 36>, <11, -w - 5>, <-4*w + 13, w - 32>, <-3*w + 52, -3*w - 43>, <1, -1>, , <-w + 7, -9>, <12, -w - 6>, , <2*w + 11, -2*w + 7>, <-2*w + 13, -18>, <3*w + 17, -3*w + 10>, <-3*w + 20, -27>, , <-2*w + 1, w - 13>, <-w + 6, -9>, <24, -2*w - 11>, <1, 0>, <-w + 6, -8>, <12, -w - 5>, , <-w + 7, -10>, <11, -w - 6>, , <-w + 7, -12>, <10, -w - 6>, <-w + 7, -11>, <-6*w + 6, 3*w - 46>, <102, -10*w - 51>, <-w + 6, -10>, <4*w + 37, -6*w + 10>, <10, -w - 5>, <-6*w + 16, 2*w - 51>, <2*w + 49, -6*w - 10>, <6*w + 4, -4*w + 41>, <-5*w + 7, 2*w - 40>, <2*w + 29, -4*w + 2>, <-3*w + 36, -2*w - 38>, <11*w + 50, -11*w + 59>, <-11*w + 59, -107>, <109, -11*w - 48>, , <-5*w + 78, -5*w - 73>, <47*w + 12, -27*w + 333>, <-7*w + 39, -68>, <-47*w + 59, 20*w - 365>, <71, -7*w - 32>, <27*w + 316, -46*w + 52>, <-27*w + 343, -19*w - 349>, <20*w + 355, -46*w - 16>, <-20*w + 375, -26*w - 313>, <2*w + 9, -2*w + 10>, <3*w + 3, -2*w + 20>, , <-w + 16, -w - 14>, <5*w + 3, -3*w + 31>, , <-w + 8, -9>, <4*w + 8, -3*w + 26>, <2*w + 9, -2*w + 11>, <-w + 15, -w - 14>, <20, -2*w - 9>, <-w + 35, -3*w - 23>, <-2*w + 31, -2*w - 29>, <2*w + 33, -4*w - 2>, <-2*w + 35, -2*w - 29>, <3*w + 38, -5*w + 2>, <-3*w + 41, -2*w - 38>, <-2*w + 11, -20>, <-4*w + 12, w - 35>, <3*w + 23, -4*w + 12>, <-3*w + 26, -w - 34>, , , <-2*w + 11, -19>, <3*w + 14, -3*w + 15>, <-3*w + 17, -29>, , <-w + 5, -10>, <10, -w - 4>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9 }, { 7, 10, 11, 12 }, { 13, 14, 15, 16 }, { 14, 17, 18, 19, 20, 21 }, { 13, 14, 17, 22, 23 }, { 24, 25, 26, 27 }, { 25, 26, 28, 29 }, { 13, 28, 30, 31 }, { 13, 25, 28, 32 }, { 10, 11, 13, 30 }, { 26, 30, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42 }, { 43, 44, 45, 46, 47 }, { 48, 49, 50, 51, 52, 53 }, { 48, 49, 54, 55, 56, 57 }, { 58, 59, 60, 61 }, { 60, 62, 63, 64, 65, 66 }, { 60, 61, 63, 67 }, { 63, 64, 67, 68, 69, 70 }, { 62, 71, 72, 73 }, { 62, 64, 69, 73 }, { 58, 74, 75, 76 }, { 58, 61, 67, 75 }, { 58, 77, 78, 79 }, { 58, 74, 79, 80 }, { 1, 2, 3, 4, 81, 82 }, { 2, 3, 83, 84 }, { 2, 81, 83, 85, 86, 87 }, { 3, 81, 85, 88 }, { 89, 90, 91, 92, 93, 94 }, { 7, 8, 9, 95 }, { 7, 10, 11, 13 }, { 7, 8, 11, 96 }, { 19, 97, 98, 99, 100, 101, 102, 103, 104 }, { 13, 14, 15, 19, 98 }, { 13, 14, 17, 19, 22 }, { 24, 25, 26, 105 }, { 13, 25, 26, 28, 30 }, { 11, 13, 30, 83 }, { 26, 30, 41, 83, 105, 106 }, { 43, 44, 45, 107, 108 }, { 48, 49, 51, 54, 55, 109 }, { 58, 60, 61, 67 }, { 60, 62, 63, 64, 67, 69 }, { 62, 69, 71, 73 }, { 58, 60, 62, 71, 110, 111 }, { 58, 67, 74, 75 }, { 58, 74, 77, 79 }, { 3, 74, 83, 84 }, { 3, 74, 85, 88 }, { 2, 3, 81, 83, 85 }, { 13, 89, 90, 91, 112, 113, 114, 115, 116 }, { 7, 8, 85, 95 }, { 7, 13, 95, 117 }, { 7, 11, 13, 83 }, { 7, 8, 11, 83, 85 }, { 13, 19, 22, 25, 98, 100 }, { 13, 25, 26, 30, 83, 105 }, { 43, 55, 107, 108 }, { 54, 55, 67, 69, 109, 118, 119, 120, 121 }, { 58, 60, 62, 67, 69, 71 }, { 58, 67, 74, 83 }, { 58, 74, 77, 85 }, { 3, 74, 83, 85 }, { 13, 95, 112, 113, 114, 115, 116, 122, 123, 124, 125, 126 }, { 7, 13, 83, 85, 95 }, { 13, 22, 25, 83, 105, 127, 128, 129, 130 }, { 55, 58, 67, 83 }, { 55, 83, 107, 108, 127 }, { 55, 58, 67, 69, 71 }, { 55, 69, 71, 127 }, { 58, 74, 83, 85 }, { 13, 83, 85, 95, 114, 127, 131, 132, 133 }, { 55, 58, 71, 83, 127 }, { 58, 71, 83, 85, 127, 131, 132, 133, 134 } ] /* Faces of top cells */ [ [ { 2, 3, 5 }, { 1, 3, 5 }, { 1, 2, 3, 4 }, { 1, 4, 5 }, { 2, 4, 5 } ], [ { 7, 8, 9 }, { 6, 8, 9 }, { 6, 7, 9 }, { 6, 7, 8 } ], [ { 7, 11, 12 }, { 10, 11, 12 }, { 7, 10, 12 }, { 7, 10, 11 } ], [ { 14, 15, 16 }, { 13, 15, 16 }, { 13, 14, 16 }, { 13, 14, 15 } ], [ { 14, 18, 19, 21 }, { 14, 17, 19 }, { 14, 17, 18, 20 }, { 17, 19, 20, 21 }, { 18, 20, 21 } ], [ { 17, 22, 23 }, { 13, 22, 23 }, { 13, 14, 17, 22 }, { 13, 14, 23 }, { 14, 17, 23 } ], [ { 25, 26, 27 }, { 24, 26, 27 }, { 24, 25, 27 }, { 24, 25, 26 } ], [ { 26, 28, 29 }, { 25, 26, 29 }, { 25, 28, 29 }, { 25, 26, 28 } ], [ { 28, 30, 31 }, { 13, 28, 31 }, { 13, 28, 30 }, { 13, 30, 31 } ], [ { 25, 28, 32 }, { 13, 28, 32 }, { 13, 25, 32 }, { 13, 25, 28 } ], [ { 10, 11, 30 }, { 10, 11, 13 }, { 11, 13, 30 }, { 10, 13, 30 } ], [ { 26, 30, 33, 35 }, { 33, 35, 36 }, { 33, 36, 37, 42 }, { 26, 33, 37 }, { 35, 36, 38, 40 }, { 30, 35, 38 }, { 30, 34, 38, 41 }, { 26, 37, 39, 41 }, { 34, 39, 40, 42 }, { 34, 38, 40 }, { 26, 30, 41 }, { 34, 39, 41 }, { 36, 40, 42 }, { 37, 39, 42 } ], [ { 44, 45, 46, 47 }, { 43, 45, 46 }, { 43, 44, 45 }, { 43, 46, 47 }, { 43, 44, 47 } ], [ { 49, 50, 51, 52 }, { 48, 50, 51, 53 }, { 48, 49, 51 }, { 48, 49, 52, 53 }, { 50, 52, 53 } ], [ { 54, 55, 56, 57 }, { 48, 55, 56 }, { 48, 49, 54, 55 }, { 48, 49, 56, 57 }, { 49, 54, 57 } ], [ { 59, 60, 61 }, { 58, 60, 61 }, { 58, 59, 61 }, { 58, 59, 60 } ], [ { 60, 62, 65, 66 }, { 60, 62, 63, 64 }, { 63, 64, 65, 66 }, { 62, 64, 65 }, { 60, 63, 66 } ], [ { 60, 61, 63 }, { 61, 63, 67 }, { 60, 61, 67 }, { 60, 63, 67 } ], [ { 63, 64, 67, 69 }, { 63, 67, 68, 70 }, { 67, 68, 69 }, { 64, 68, 69, 70 }, { 63, 64, 70 } ], [ { 62, 72, 73 }, { 62, 71, 73 }, { 71, 72, 73 }, { 62, 71, 72 } ], [ { 62, 64, 73 }, { 64, 69, 73 }, { 62, 64, 69 }, { 62, 69, 73 } ], [ { 74, 75, 76 }, { 58, 75, 76 }, { 58, 74, 76 }, { 58, 74, 75 } ], [ { 61, 67, 75 }, { 58, 61, 75 }, { 58, 61, 67 }, { 58, 67, 75 } ], [ { 77, 78, 79 }, { 58, 78, 79 }, { 58, 77, 79 }, { 58, 77, 78 } ], [ { 74, 79, 80 }, { 58, 79, 80 }, { 58, 74, 79 }, { 58, 74, 80 } ], [ { 1, 2, 3, 4 }, { 2, 3, 81 }, { 1, 3, 81, 82 }, { 2, 4, 81, 82 }, { 1, 4, 82 } ], [ { 2, 3, 84 }, { 2, 3, 83 }, { 3, 83, 84 }, { 2, 83, 84 } ], [ { 83, 85, 86, 87 }, { 81, 85, 86 }, { 2, 81, 83, 85 }, { 2, 81, 86, 87 }, { 2, 83, 87 } ], [ { 3, 81, 85 }, { 3, 85, 88 }, { 3, 81, 88 }, { 81, 85, 88 } ], [ { 90, 91, 92, 93 }, { 89, 91, 92, 94 }, { 89, 90, 91 }, { 89, 90, 93, 94 }, { 92, 93, 94 } ], [ { 8, 9, 95 }, { 7, 8, 9 }, { 7, 9, 95 }, { 7, 8, 95 } ], [ { 7, 10, 11 }, { 7, 11, 13 }, { 10, 11, 13 }, { 7, 10, 13 } ], [ { 8, 11, 96 }, { 7, 11, 96 }, { 7, 8, 96 }, { 7, 8, 11 } ], [ { 19, 98, 100 }, { 19, 97, 100, 104 }, { 98, 99, 100, 103 }, { 19, 98, 101, 102 }, { 97, 99, 101, 102, 103, 104 }, { 19, 97, 101 }, { 98, 99, 102 }, { 100, 103, 104 } ], [ { 14, 15, 19, 98 }, { 13, 14, 19 }, { 13, 19, 98 }, { 13, 15, 98 }, { 13, 14, 15 } ], [ { 17, 19, 22 }, { 13, 19, 22 }, { 13, 14, 17, 22 }, { 14, 17, 19 }, { 13, 14, 19 } ], [ { 24, 25, 26 }, { 25, 26, 105 }, { 24, 26, 105 }, { 24, 25, 105 } ], [ { 13, 25, 28 }, { 13, 28, 30 }, { 13, 25, 26, 30 }, { 25, 26, 28 }, { 26, 28, 30 } ], [ { 11, 30, 83 }, { 11, 13, 30 }, { 11, 13, 83 }, { 13, 30, 83 } ], [ { 26, 30, 83, 105 }, { 83, 105, 106 }, { 30, 41, 83, 106 }, { 26, 41, 105, 106 }, { 26, 30, 41 } ], [ { 44, 45, 107, 108 }, { 43, 45, 107 }, { 43, 44, 45 }, { 43, 44, 108 }, { 43, 107, 108 } ], [ { 54, 55, 109 }, { 48, 49, 54, 55 }, { 48, 51, 55, 109 }, { 49, 51, 54, 109 }, { 48, 49, 51 } ], [ { 60, 61, 67 }, { 58, 60, 61 }, { 58, 61, 67 }, { 58, 60, 67 } ], [ { 63, 64, 67, 69 }, { 60, 62, 67, 69 }, { 60, 63, 67 }, { 60, 62, 63, 64 }, { 62, 64, 69 } ], [ { 62, 69, 73 }, { 62, 71, 73 }, { 69, 71, 73 }, { 62, 69, 71 } ], [ { 62, 71, 110 }, { 58, 71, 110, 111 }, { 58, 60, 62, 71 }, { 60, 62, 110, 111 }, { 58, 60, 111 } ], [ { 67, 74, 75 }, { 58, 67, 75 }, { 58, 74, 75 }, { 58, 67, 74 } ], [ { 74, 77, 79 }, { 58, 74, 79 }, { 58, 77, 79 }, { 58, 74, 77 } ], [ { 3, 83, 84 }, { 3, 74, 84 }, { 3, 74, 83 }, { 74, 83, 84 } ], [ { 3, 85, 88 }, { 3, 74, 85 }, { 3, 74, 88 }, { 74, 85, 88 } ], [ { 3, 83, 85 }, { 3, 81, 85 }, { 2, 81, 83, 85 }, { 2, 3, 83 }, { 2, 3, 81 } ], [ { 13, 112, 113, 114, 115, 116 }, { 89, 90, 113, 114 }, { 13, 90, 91, 115 }, { 13, 90, 114 }, { 89, 113, 116 }, { 89, 91, 112, 116 }, { 91, 112, 115 }, { 89, 90, 91 } ], [ { 7, 8, 95 }, { 8, 85, 95 }, { 7, 8, 85 }, { 7, 85, 95 } ], [ { 7, 95, 117 }, { 13, 95, 117 }, { 7, 13, 117 }, { 7, 13, 95 } ], [ { 7, 11, 83 }, { 7, 11, 13 }, { 11, 13, 83 }, { 7, 13, 83 } ], [ { 7, 8, 85 }, { 8, 11, 83, 85 }, { 7, 83, 85 }, { 7, 11, 83 }, { 7, 8, 11 } ], [ { 13, 19, 22 }, { 13, 22, 25 }, { 13, 25, 98 }, { 13, 19, 98 }, { 19, 22, 100 }, { 25, 98, 100 }, { 19, 98, 100 }, { 22, 25, 100 } ], [ { 26, 30, 83, 105 }, { 13, 25, 83, 105 }, { 13, 30, 83 }, { 13, 25, 26, 30 }, { 25, 26, 105 } ], [ { 55, 107, 108 }, { 43, 107, 108 }, { 43, 55, 108 }, { 43, 55, 107 } ], [ { 55, 67, 69 }, { 55, 67, 109, 119 }, { 54, 55, 109 }, { 54, 55, 69, 118 }, { 67, 69, 118, 119, 120, 121 }, { 54, 109, 120, 121 }, { 109, 119, 120 }, { 54, 118, 121 } ], [ { 58, 60, 62, 71 }, { 58, 67, 69, 71 }, { 62, 69, 71 }, { 60, 62, 67, 69 }, { 58, 60, 67 } ], [ { 67, 74, 83 }, { 58, 67, 83 }, { 58, 74, 83 }, { 58, 67, 74 } ], [ { 74, 77, 85 }, { 58, 74, 85 }, { 58, 77, 85 }, { 58, 74, 77 } ], [ { 3, 83, 85 }, { 3, 74, 85 }, { 3, 74, 83 }, { 74, 83, 85 } ], [ { 13, 112, 113, 114, 115, 116 }, { 13, 95, 115, 122, 123, 126 }, { 95, 113, 114, 122, 124, 125 }, { 13, 95, 114 }, { 112, 115, 123 }, { 112, 116, 123, 124, 125, 126 }, { 122, 124, 126 }, { 113, 116, 125 } ], [ { 7, 83, 85 }, { 7, 13, 83 }, { 13, 83, 85, 95 }, { 7, 13, 95 }, { 7, 85, 95 } ], [ { 83, 105, 127, 128, 129, 130 }, { 13, 25, 83, 105 }, { 13, 83, 127 }, { 13, 22, 127, 128 }, { 22, 25, 129, 130 }, { 22, 128, 129 }, { 13, 22, 25 }, { 25, 105, 130 } ], [ { 55, 67, 83 }, { 55, 58, 83 }, { 55, 58, 67 }, { 58, 67, 83 } ], [ { 55, 83, 107 }, { 83, 107, 108, 127 }, { 55, 83, 127 }, { 55, 108, 127 }, { 55, 107, 108 } ], [ { 55, 58, 67 }, { 55, 58, 71 }, { 58, 67, 69, 71 }, { 55, 67, 69 }, { 55, 69, 71 } ], [ { 55, 69, 127 }, { 55, 69, 71 }, { 55, 71, 127 }, { 69, 71, 127 } ], [ { 74, 83, 85 }, { 58, 83, 85 }, { 58, 74, 85 }, { 58, 74, 83 } ], [ { 83, 85, 127, 131, 132, 133 }, { 13, 83, 127 }, { 13, 83, 85, 95 }, { 13, 114, 127, 133 }, { 85, 95, 131 }, { 95, 114, 131, 132 }, { 114, 132, 133 }, { 13, 95, 114 } ], [ { 55, 71, 127 }, { 55, 58, 71 }, { 58, 71, 83, 127 }, { 55, 83, 127 }, { 55, 58, 83 } ], [ { 58, 71, 83, 127 }, { 83, 85, 127, 131, 132, 133 }, { 58, 83, 85 }, { 58, 85, 131, 134 }, { 71, 132, 133, 134 }, { 71, 127, 133 }, { 131, 132, 134 }, { 58, 71, 134 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 12, 1, 6, 1, 1, 2, 1, 3, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 3, 1, 1, 3, 1, 1, 1, 1, 12, 1, 3, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <4, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2>, <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>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]