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