/* Defining polynomial */ x^2 - x + 83 /* Minimal vectors */ [ <4*w + 54, -7*w + 5>, <-4*w + 58, -3*w - 56>, <112, -10*w - 51>, <11*w + 157, -20*w + 10>, <-11*w + 168, -9*w - 158>, <-30*w + 6, 14*w - 229>, <33*w + 11, -17*w + 245>, <-3*w + 16, -29>, <3*w + 17, -3*w + 16>, <-33*w + 22, 14*w - 258>, <33, -3*w - 13>, <14*w + 233, -28*w + 14>, <-16*w + 239, -14*w - 215>, <17*w + 250, -31*w + 30>, <-19*w + 255, -14*w - 244>, <14*w + 266, -31*w + 1>, <-16*w + 272, -17*w - 228>, <-3*w + 6, w - 25>, <-w + 6, -10>, <33, -3*w - 14>, <2*w, -w + 15>, <-w + 5, -10>, <-w + 16, -w - 14>, <3*w + 16, -3*w + 17>, <-2*w + 21, -w - 24>, <32, -3*w - 13>, <-w + 48, -4*w - 27>, <2*w + 11, -2*w + 11>, <6*w + 11, -4*w + 42>, <5*w + 27, -5*w + 28>, <-4*w + 32, -w - 44>, , <4*w, -2*w + 31>, <-2*w + 1, w - 16>, <5*w + 3, -3*w + 37>, <-5*w + 8, 2*w - 42>, <11, -w - 5>, , <-w + 49, -4*w - 30>, <4*w + 41, -6*w + 12>, <-3*w + 50, -3*w - 46>, <-5*w + 19, w - 47>, <-14*w + 7, 7*w - 107>, <15*w + 99, -17*w + 66>, <-15*w + 114, -2*w - 163>, <-2*w + 1, w - 13>, , <-w + 7, -9>, <13, -w - 6>, , <-w + 21, -w - 16>, <-w + 5, -9>, , <-4*w + 32, -w - 41>, <-3*w + 38, -2*w - 36>, <-5*w + 3, 2*w - 38>, <2*w + 35, -4*w + 2>, <11, -w - 4>, <-5*w + 14, w - 42>, <5*w + 8, -3*w + 34>, <-2*w + 44, -3*w - 31>, , <-w + 27, -2*w - 18>, <3*w + 16, -3*w + 16>, <-3*w + 17, -30>, , <4*w + 32, -5*w + 17>, <-3*w + 16, -30>, , <22, -2*w - 9>, <2*w + 33, -4*w + 2>, <-2*w + 11, -20>, <-2*w + 12, -21>, <7*w + 2, -4*w + 51>, <-7*w + 9, 3*w - 56>, <3*w + 49, -6*w>, <-8*w + 4, 4*w - 61>, <4*w + 43, -6*w + 10>, <213, -19*w - 97>, , <-4*w + 47, -2*w - 51>, <-3*w + 52, -3*w - 46>, <1, -1>, , <-w + 7, -10>, <12, -w - 6>, <1, 0>, <-w + 6, -9>, , <12, -w - 5>, <2*w + 11, -2*w + 9>, <-w + 18, -w - 15>, <-4*w + 2, 2*w - 27>, <2*w + 37, -4*w - 4>, <-2*w + 39, -2*w - 31>, <-w + 4, -9>, , , <21, -2*w - 9>, <2*w + 21, -3*w + 7>, <-3*w + 6, w - 26>, <2*w + 10, -2*w + 11>, <-2*w + 22, -w - 25>, , <-2*w + 13, -20>, <-w + 6, -11>, , <21, -2*w - 10>, <-w + 16, -w - 15>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5 }, { 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17 }, { 18, 19, 20, 21 }, { 22, 23, 24, 25 }, { 23, 24, 26, 27 }, { 23, 26, 27, 28, 29, 30, 31, 32, 33 }, { 34, 35, 36, 37, 38, 39 }, { 34, 39, 40, 41 }, { 36, 37, 40, 42 }, { 1, 2, 3, 43 }, { 1, 2, 4, 5, 44, 45 }, { 46, 47, 48, 49, 50, 51 }, { 52, 53, 54, 55 }, { 52, 55, 56, 57 }, { 52, 56, 58, 59 }, { 53, 55, 56, 58, 60, 61 }, { 8, 9, 11, 53, 58, 62 }, { 8, 9, 23, 58, 63 }, { 19, 20, 64, 65 }, { 64, 65, 66, 67 }, { 22, 24, 26, 68 }, { 26, 66, 68, 69 }, { 19, 20, 21, 64 }, { 8, 21, 23, 28, 70, 71 }, { 22, 23, 24, 26 }, { 23, 26, 28, 33, 66, 72 }, { 34, 36, 37, 39, 40 }, { 34, 40, 41, 73 }, { 37, 40, 42, 73 }, { 1, 2, 43, 74, 75 }, { 2, 19, 75, 76 }, { 2, 19, 77, 78 }, { 1, 2, 44, 45, 77, 79 }, { 19, 77, 78, 80, 81 }, { 1, 77, 80, 81 }, { 1, 74, 80, 82 }, { 83, 84, 85, 86 }, { 87, 88, 89, 90 }, { 19, 89, 90, 91, 92 }, { 49, 85, 89, 93, 94, 95 }, { 47, 49, 83, 85 }, { 47, 48, 49, 83, 87 }, { 48, 49, 87, 89 }, { 52, 53, 87, 88 }, { 52, 58, 87, 96 }, { 52, 53, 55, 56, 58 }, { 58, 87, 96, 97 }, { 53, 87, 88, 90 }, { 8, 21, 23, 53, 58 }, { 66, 98, 99, 100 }, { 66, 99, 101, 102, 103 }, { 37, 66, 102, 104 }, { 19, 64, 65, 66 }, { 37, 65, 66, 104 }, { 22, 26, 66, 68 }, { 66, 68, 98, 100 }, { 19, 21, 64, 66 }, { 21, 23, 28, 66, 70, 72 }, { 22, 23, 26, 66 }, { 34, 37, 40, 73 }, { 1, 2, 37, 74, 75 }, { 2, 19, 37, 75 }, { 1, 2, 19, 77, 80 }, { 1, 37, 74, 80 }, { 80, 83, 85, 86 }, { 19, 87, 89, 90 }, { 19, 80, 85, 89, 91, 105 }, { 49, 83, 85, 87, 89 }, { 52, 53, 58, 87 }, { 22, 58, 87, 97 }, { 19, 53, 87, 90 }, { 19, 21, 22, 23, 53, 58 }, { 37, 66, 98, 99, 102 }, { 19, 37, 65, 66 }, { 22, 66, 68, 98 }, { 19, 21, 22, 23, 66 }, { 34, 37, 73, 106, 107, 108 }, { 1, 2, 19, 37, 80 }, { 19, 80, 83, 85, 87, 89 }, { 19, 22, 53, 58, 87 }, { 19, 22, 37, 66, 98 }, { 34, 37, 98, 106, 107, 109 }, { 19, 37, 80, 83, 87 }, { 19, 22, 37, 87, 98 }, { 37, 83, 87, 98, 106, 110 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 2, 4, 5 }, { 1, 2, 3 }, { 1, 3, 5 }, { 3, 4, 5 } ], [ { 6, 7, 9, 11, 13, 17 }, { 6, 8, 10, 11, 12, 16 }, { 8, 9, 11 }, { 8, 9, 12, 13, 14, 15 }, { 7, 13, 14 }, { 7, 10, 14, 15, 16, 17 }, { 10, 12, 15 }, { 6, 16, 17 } ], [ { 19, 20, 21 }, { 18, 20, 21 }, { 18, 19, 21 }, { 18, 19, 20 } ], [ { 23, 24, 25 }, { 22, 24, 25 }, { 22, 23, 25 }, { 22, 23, 24 } ], [ { 24, 26, 27 }, { 23, 26, 27 }, { 23, 24, 27 }, { 23, 24, 26 } ], [ { 23, 27, 28, 29, 30, 32 }, { 23, 26, 28, 33 }, { 26, 27, 30, 31 }, { 23, 26, 27 }, { 29, 31, 32, 33 }, { 30, 31, 32 }, { 28, 29, 33 }, { 26, 31, 33 } ], [ { 35, 36, 37 }, { 34, 36, 37, 39 }, { 34, 35, 37, 38 }, { 35, 36, 38, 39 }, { 34, 38, 39 } ], [ { 39, 40, 41 }, { 34, 39, 41 }, { 34, 40, 41 }, { 34, 39, 40 } ], [ { 37, 40, 42 }, { 36, 40, 42 }, { 36, 37, 40 }, { 36, 37, 42 } ], [ { 1, 2, 3 }, { 2, 3, 43 }, { 1, 3, 43 }, { 1, 2, 43 } ], [ { 2, 4, 44 }, { 1, 2, 4, 5 }, { 1, 2, 44, 45 }, { 4, 5, 44, 45 }, { 1, 5, 45 } ], [ { 47, 48, 49 }, { 46, 48, 49, 50 }, { 46, 47, 49, 51 }, { 47, 48, 50, 51 }, { 46, 50, 51 } ], [ { 53, 54, 55 }, { 52, 54, 55 }, { 52, 53, 55 }, { 52, 53, 54 } ], [ { 52, 55, 57 }, { 55, 56, 57 }, { 52, 55, 56 }, { 52, 56, 57 } ], [ { 52, 58, 59 }, { 56, 58, 59 }, { 52, 56, 59 }, { 52, 56, 58 } ], [ { 53, 58, 60, 61 }, { 56, 58, 60 }, { 53, 55, 56, 58 }, { 55, 56, 60, 61 }, { 53, 55, 61 } ], [ { 53, 58, 62 }, { 8, 53, 58 }, { 9, 58, 62 }, { 8, 9, 58 }, { 11, 53, 62 }, { 8, 11, 53 }, { 8, 9, 11 }, { 9, 11, 62 } ], [ { 8, 9, 23, 63 }, { 8, 9, 58 }, { 8, 23, 58 }, { 9, 58, 63 }, { 23, 58, 63 } ], [ { 20, 64, 65 }, { 19, 20, 65 }, { 19, 20, 64 }, { 19, 64, 65 } ], [ { 64, 65, 67 }, { 65, 66, 67 }, { 64, 66, 67 }, { 64, 65, 66 } ], [ { 24, 26, 68 }, { 22, 24, 26 }, { 22, 26, 68 }, { 22, 24, 68 } ], [ { 26, 66, 69 }, { 26, 68, 69 }, { 66, 68, 69 }, { 26, 66, 68 } ], [ { 20, 21, 64 }, { 19, 20, 21 }, { 19, 21, 64 }, { 19, 20, 64 } ], [ { 21, 23, 28, 70 }, { 8, 23, 28, 71 }, { 28, 70, 71 }, { 8, 21, 70, 71 }, { 8, 21, 23 } ], [ { 23, 24, 26 }, { 22, 24, 26 }, { 22, 23, 26 }, { 22, 23, 24 } ], [ { 23, 26, 28, 33 }, { 23, 28, 66, 72 }, { 23, 26, 66 }, { 26, 33, 66, 72 }, { 28, 33, 72 } ], [ { 36, 37, 40 }, { 34, 37, 40 }, { 34, 36, 37, 39 }, { 34, 39, 40 }, { 36, 39, 40 } ], [ { 40, 41, 73 }, { 34, 40, 41 }, { 34, 41, 73 }, { 34, 40, 73 } ], [ { 40, 42, 73 }, { 37, 40, 42 }, { 37, 40, 73 }, { 37, 42, 73 } ], [ { 1, 2, 74, 75 }, { 1, 43, 74 }, { 43, 74, 75 }, { 1, 2, 43 }, { 2, 43, 75 } ], [ { 2, 75, 76 }, { 2, 19, 76 }, { 2, 19, 75 }, { 19, 75, 76 } ], [ { 2, 19, 78 }, { 2, 77, 78 }, { 2, 19, 77 }, { 19, 77, 78 } ], [ { 1, 2, 44, 45 }, { 2, 44, 77, 79 }, { 1, 2, 77 }, { 1, 45, 77, 79 }, { 44, 45, 79 } ], [ { 19, 78, 80, 81 }, { 19, 77, 78 }, { 19, 77, 80 }, { 77, 78, 81 }, { 77, 80, 81 } ], [ { 1, 80, 81 }, { 1, 77, 81 }, { 1, 77, 80 }, { 77, 80, 81 } ], [ { 1, 80, 82 }, { 1, 74, 82 }, { 1, 74, 80 }, { 74, 80, 82 } ], [ { 84, 85, 86 }, { 83, 85, 86 }, { 83, 84, 86 }, { 83, 84, 85 } ], [ { 88, 89, 90 }, { 87, 89, 90 }, { 87, 88, 90 }, { 87, 88, 89 } ], [ { 89, 90, 91, 92 }, { 19, 89, 90 }, { 19, 89, 91 }, { 19, 90, 92 }, { 19, 91, 92 } ], [ { 49, 85, 89 }, { 49, 85, 93, 94 }, { 49, 89, 93, 95 }, { 85, 89, 94, 95 }, { 93, 94, 95 } ], [ { 47, 49, 85 }, { 49, 83, 85 }, { 47, 49, 83 }, { 47, 83, 85 } ], [ { 47, 49, 83 }, { 49, 83, 87 }, { 47, 48, 83, 87 }, { 47, 48, 49 }, { 48, 49, 87 } ], [ { 48, 49, 89 }, { 48, 49, 87 }, { 49, 87, 89 }, { 48, 87, 89 } ], [ { 52, 53, 88 }, { 53, 87, 88 }, { 52, 53, 87 }, { 52, 87, 88 } ], [ { 52, 58, 96 }, { 52, 58, 87 }, { 58, 87, 96 }, { 52, 87, 96 } ], [ { 52, 53, 58 }, { 53, 55, 56, 58 }, { 52, 56, 58 }, { 52, 55, 56 }, { 52, 53, 55 } ], [ { 58, 96, 97 }, { 58, 87, 97 }, { 58, 87, 96 }, { 87, 96, 97 } ], [ { 53, 88, 90 }, { 53, 87, 90 }, { 87, 88, 90 }, { 53, 87, 88 } ], [ { 8, 23, 58 }, { 21, 23, 53, 58 }, { 8, 53, 58 }, { 8, 21, 23 }, { 8, 21, 53 } ], [ { 66, 99, 100 }, { 98, 99, 100 }, { 66, 98, 100 }, { 66, 98, 99 } ], [ { 66, 99, 102 }, { 66, 99, 101 }, { 99, 101, 102, 103 }, { 66, 101, 103 }, { 66, 102, 103 } ], [ { 37, 66, 104 }, { 66, 102, 104 }, { 37, 102, 104 }, { 37, 66, 102 } ], [ { 64, 65, 66 }, { 19, 64, 65 }, { 19, 65, 66 }, { 19, 64, 66 } ], [ { 65, 66, 104 }, { 37, 65, 104 }, { 37, 66, 104 }, { 37, 65, 66 } ], [ { 26, 66, 68 }, { 22, 26, 66 }, { 22, 26, 68 }, { 22, 66, 68 } ], [ { 66, 68, 100 }, { 66, 98, 100 }, { 68, 98, 100 }, { 66, 68, 98 } ], [ { 21, 64, 66 }, { 19, 21, 64 }, { 19, 21, 66 }, { 19, 64, 66 } ], [ { 21, 23, 28, 70 }, { 28, 70, 72 }, { 23, 28, 66, 72 }, { 21, 66, 70, 72 }, { 21, 23, 66 } ], [ { 23, 26, 66 }, { 22, 26, 66 }, { 22, 23, 26 }, { 22, 23, 66 } ], [ { 37, 40, 73 }, { 34, 40, 73 }, { 34, 37, 40 }, { 34, 37, 73 } ], [ { 1, 37, 74 }, { 1, 2, 74, 75 }, { 37, 74, 75 }, { 2, 37, 75 }, { 1, 2, 37 } ], [ { 2, 37, 75 }, { 2, 19, 37 }, { 2, 19, 75 }, { 19, 37, 75 } ], [ { 1, 2, 19, 80 }, { 1, 77, 80 }, { 19, 77, 80 }, { 1, 2, 77 }, { 2, 19, 77 } ], [ { 1, 37, 80 }, { 1, 37, 74 }, { 1, 74, 80 }, { 37, 74, 80 } ], [ { 80, 85, 86 }, { 83, 85, 86 }, { 80, 83, 86 }, { 80, 83, 85 } ], [ { 19, 89, 90 }, { 87, 89, 90 }, { 19, 87, 90 }, { 19, 87, 89 } ], [ { 19, 89, 91 }, { 19, 80, 91, 105 }, { 19, 80, 85, 89 }, { 85, 89, 91, 105 }, { 80, 85, 105 } ], [ { 49, 87, 89 }, { 49, 83, 87 }, { 83, 85, 87, 89 }, { 49, 83, 85 }, { 49, 85, 89 } ], [ { 52, 53, 58 }, { 53, 58, 87 }, { 52, 58, 87 }, { 52, 53, 87 } ], [ { 22, 58, 97 }, { 58, 87, 97 }, { 22, 58, 87 }, { 22, 87, 97 } ], [ { 19, 53, 90 }, { 53, 87, 90 }, { 19, 87, 90 }, { 19, 53, 87 } ], [ { 19, 21, 22, 23 }, { 19, 22, 53, 58 }, { 21, 23, 53, 58 }, { 22, 23, 58 }, { 19, 21, 53 } ], [ { 37, 66, 102 }, { 37, 66, 98 }, { 37, 98, 99, 102 }, { 66, 99, 102 }, { 66, 98, 99 } ], [ { 37, 65, 66 }, { 19, 65, 66 }, { 19, 37, 65 }, { 19, 37, 66 } ], [ { 66, 68, 98 }, { 22, 66, 68 }, { 22, 66, 98 }, { 22, 68, 98 } ], [ { 22, 23, 66 }, { 19, 22, 66 }, { 19, 21, 22, 23 }, { 21, 23, 66 }, { 19, 21, 66 } ], [ { 37, 73, 106, 108 }, { 34, 37, 73 }, { 34, 37, 106, 107 }, { 34, 73, 107, 108 }, { 106, 107, 108 } ], [ { 1, 37, 80 }, { 1, 2, 19, 80 }, { 19, 37, 80 }, { 2, 19, 37 }, { 1, 2, 37 } ], [ { 83, 85, 87, 89 }, { 19, 80, 83, 87 }, { 19, 80, 85, 89 }, { 19, 87, 89 }, { 80, 83, 85 } ], [ { 19, 22, 53, 58 }, { 19, 53, 87 }, { 19, 22, 87 }, { 22, 58, 87 }, { 53, 58, 87 } ], [ { 19, 22, 66 }, { 22, 66, 98 }, { 19, 22, 37, 98 }, { 19, 37, 66 }, { 37, 66, 98 } ], [ { 37, 98, 106 }, { 34, 37, 106, 107 }, { 34, 37, 98, 109 }, { 98, 106, 107, 109 }, { 34, 107, 109 } ], [ { 37, 80, 83 }, { 37, 83, 87 }, { 19, 80, 83, 87 }, { 19, 37, 80 }, { 19, 37, 87 } ], [ { 19, 22, 37, 98 }, { 19, 22, 87 }, { 22, 87, 98 }, { 19, 37, 87 }, { 37, 87, 98 } ], [ { 37, 87, 98 }, { 37, 83, 87 }, { 37, 83, 106 }, { 37, 98, 106 }, { 87, 98, 110 }, { 98, 106, 110 }, { 83, 106, 110 }, { 83, 87, 110 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 1, 12, 1, 1, 1, 3, 2, 1, 1, 1, 2, 2, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 6, 1, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <2, 1>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <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>, <4, 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>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <6, 2> ]