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