/* Defining polynomial */ x^2 - x + 99 /* Minimal vectors */ [ <-2*w + 2, w - 19>, <-3*w + 8, w - 31>, <2*w + 9, -2*w + 14>, <2*w + 31, -4*w + 3>, <-5*w + 10, 2*w - 50>, <55, -5*w - 27>, <-11*w + 22, 5*w - 112>, <16*w + 74, -17*w + 105>, <5*w + 96, -12*w - 7>, <-11*w + 218, -13*w - 219>, <-22*w + 33, 11*w - 218>, <6*w + 89, -12*w + 6>, <-6*w + 107, -6*w - 113>, <196, -18*w - 107>, <-2*w + 3, w - 19>, , <2*w + 8, -2*w + 13>, <-w + 19, -w - 19>, <23, -2*w - 13>, <3*w + 13, -3*w + 19>, <-2*w + 14, -25>, , <-w + 18, -w - 18>, <23, -2*w - 12>, <-2*w + 25, -w - 30>, <2*w + 32, -4*w + 1>, <3*w + 2, -2*w + 25>, <2*w + 20, -3*w + 7>, <-3*w + 8, w - 30>, <14*w + 57, -13*w + 95>, <-12*w + 100, -2*w - 153>, <2*w + 157, -15*w - 58>, <7*w + 34, -7*w + 45>, <2*w + 55, -6*w - 9>, <17*w + 60, -15*w + 120>, <-15*w + 74, 2*w - 167>, <9*w + 89, -13*w + 36>, <2*w + 134, -13*w - 47>, <-5*w + 21, w - 54>, <11*w + 42, -10*w + 76>, <-3*w + 76, -5*w - 63>, <-4*w + 14, w - 42>, <3*w + 37, -5*w + 9>, <-w + 40, -3*w - 28>, <2*w + 77, -8*w - 19>, <-2*w + 24, -w - 29>, <-6*w + 38, -71>, <8*w + 39, -8*w + 52>, <-3*w + 64, -4*w - 57>, <-2*w + 1, w - 18>, <8*w + 30, -7*w + 57>, <6*w + 42, -7*w + 34>, <-3*w + 63, -4*w - 55>, <-5*w + 64, -3*w - 73>, <-2*w + 12, -23>, <6*w + 31, -6*w + 39>, <4*w + 43, -6*w + 16>, <-w + 6, -12>, <33, -3*w - 16>, <-2*w + 13, -25>, , , <-w + 17, -w - 18>, <-2*w + 2, w - 20>, <10, -w - 5>, <11, -w - 6>, <-10*w + 15, 5*w - 99>, <-5*w + 111, -7*w - 106>, <-11*w + 11, 6*w - 106>, <11*w + 185, -24*w - 1>, <-w + 7, -13>, <5*w + 85, -11*w - 1>, <-6*w + 118, -7*w - 119>, <-33*w + 273, -4*w - 449>, <-2*w + 417, -37*w - 246>, <1, -1>, , , <11, -w - 8>, , <-2*w + 6, w - 22>, <-w + 9, -15>, <-7*w + 1, 4*w - 59>, <12, -w - 6>, <4*w + 67, -8*w>, <-3*w + 68, -4*w - 59>, , <-w + 7, -12>, <5*w + 48, -7*w + 18>, <-5*w + 58, -2*w - 71>, <-4*w + 63, -3*w - 65>, <-8*w + 8, 4*w - 71>, <4*w + 55, -7*w + 6>, <-7*w + 13, 3*w - 65>, <3*w + 62, -7*w - 6>, <-4*w + 75, -4*w - 71>, <-2*w + 15, -25>, <-2*w + 3, w - 18>, <2*w + 9, -2*w + 12>, <24, -2*w - 13>, <-2*w + 2, w - 18>, <4*w + 19, -4*w + 25>, <-4*w + 27, -48>, <46, -4*w - 23>, <3*w + 14, -3*w + 19>, , <11, -w - 5>, <3*w + 14, -3*w + 20>, <-3*w + 19, -36>, , <4*w + 30, -5*w + 21>, <-w + 63, -5*w - 39>, <-7*w + 45, -83>, <-8*w + 108, -5*w - 122>, <-5*w + 100, -6*w - 92>, , <-9*w + 12, 4*w - 85>, , <-4*w + 3, 2*w - 37>, <8*w + 5, -5*w + 68>, <2*w + 21, -3*w + 8>, <-3*w + 41, -2*w - 46>, <-3*w + 20, -36>, <34, -3*w - 17>, , <-7*w + 9, 3*w - 66>, <-w + 62, -5*w - 37>, <-5*w + 8, 2*w - 48>, <4*w + 54, -7*w + 11>, <-7*w + 20, 2*w - 71>, , , , <2*w + 10, -2*w + 13>, <-2*w + 13, -24>, <-4*w + 15, w - 43>, <3*w + 25, -4*w + 14>, <-3*w + 31, -w - 42>, , <3*w + 2, -2*w + 26>, <-4*w + 27, -50>, <-w + 29, -2*w - 24>, <2*w + 5, -2*w + 15>, <-w + 8, -15>, <11, -w - 7>, <-w + 19, -w - 22>, <79, -7*w - 38>, <0, 1>, <-5*w + 100, -6*w - 100>, , , <10, -w - 7>, <10, -w - 6>, <3*w + 15, -3*w + 19>, <23, -2*w - 11>, <34, -3*w - 16>, <-w + 6, -11>, <3*w + 16, -3*w + 19>, , <-3*w + 18, -34>, <23, -2*w - 10>, <34, -3*w - 15>, <-w + 18, -w - 17>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 1, 2, 5, 6 }, { 7, 8, 9, 10 }, { 11, 12, 13, 14 }, { 15, 16, 17, 18, 19 }, { 15, 20, 21, 22 }, { 23, 24, 25, 26 }, { 23, 24, 27, 28 }, { 29, 30, 31, 32 }, { 33, 34, 35, 36, 37, 38 }, { 34, 39, 40, 41 }, { 42, 43, 44, 45 }, { 44, 45, 46, 47, 48, 49 }, { 50, 51, 52, 53, 54 }, { 53, 54, 55, 56, 57 }, { 1, 2, 3, 58 }, { 1, 2, 6, 59 }, { 3, 58, 60, 61 }, { 60, 61, 62, 63 }, { 61, 63, 64, 65 }, { 9, 66, 67, 68 }, { 9, 68, 69, 70 }, { 7, 9, 10, 11, 70 }, { 7, 13, 71, 72 }, { 7, 11, 12, 13 }, { 7, 9, 73, 74, 75 }, { 76, 77, 78, 79 }, { 79, 80, 81, 82 }, { 83, 84, 85, 86 }, { 87, 88, 89, 90, 91 }, { 88, 91, 92, 93 }, { 84, 88, 94, 95, 96 }, { 16, 18, 22, 97 }, { 16, 88, 97, 98, 99, 100 }, { 15, 16, 17, 66 }, { 15, 16, 18, 22 }, { 87, 88, 101, 102, 103, 104 }, { 25, 88, 103, 105, 106 }, { 15, 21, 22, 66 }, { 21, 22, 24, 88 }, { 23, 24, 25, 88 }, { 21, 23, 24, 28 }, { 59, 107, 108, 109 }, { 108, 109, 110, 111 }, { 29, 30, 31, 34, 112 }, { 33, 34, 37, 112, 113, 114 }, { 33, 34, 39, 115 }, { 29, 34, 39, 41, 110 }, { 109, 110, 111, 116 }, { 42, 46, 117, 118 }, { 42, 43, 44, 116, 119 }, { 42, 44, 45, 46, 47 }, { 44, 46, 110, 120 }, { 42, 116, 121, 122 }, { 110, 123, 124, 125 }, { 87, 105, 123, 124 }, { 50, 52, 53, 126, 127 }, { 107, 127, 128, 129 }, { 50, 53, 54, 55 }, { 53, 55, 57, 130 }, { 1, 3, 58, 60 }, { 1, 2, 58, 59 }, { 58, 60, 61, 62 }, { 61, 62, 63, 65 }, { 9, 66, 68, 69 }, { 7, 9, 11, 12, 69, 70 }, { 7, 12, 13, 71 }, { 7, 9, 66, 71, 73 }, { 76, 77, 79, 131 }, { 76, 78, 79, 80, 82 }, { 79, 80, 81, 131 }, { 84, 85, 86, 87 }, { 85, 86, 87, 91, 92 }, { 87, 88, 91, 92 }, { 84, 85, 88, 92, 96 }, { 16, 84, 88, 98, 132, 133 }, { 16, 22, 88, 97, 99 }, { 15, 16, 22, 66 }, { 87, 88, 102, 103, 105 }, { 23, 25, 88, 105 }, { 21, 22, 66, 88 }, { 21, 23, 24, 88 }, { 1, 59, 107, 108 }, { 107, 108, 109, 110 }, { 29, 33, 34, 112, 113 }, { 29, 33, 34, 39, 110 }, { 107, 109, 110, 116 }, { 42, 46, 118, 134 }, { 42, 44, 46, 110, 116 }, { 42, 107, 116, 121, 134 }, { 110, 135, 136, 137, 138, 139 }, { 62, 66, 140, 141, 142 }, { 87, 110, 123, 124 }, { 23, 87, 105, 124 }, { 50, 53, 127, 129, 130 }, { 50, 107, 127, 129 }, { 50, 53, 55, 130 }, { 1, 58, 60, 62 }, { 1, 58, 59, 107 }, { 58, 61, 62, 65 }, { 7, 9, 12, 66, 69, 71 }, { 80, 131, 143, 144, 145, 146 }, { 76, 79, 80, 131 }, { 84, 85, 87, 88, 92 }, { 16, 76, 84, 88, 132 }, { 16, 22, 66, 88 }, { 23, 87, 88, 105 }, { 21, 23, 66, 88 }, { 1, 107, 108, 110 }, { 29, 33, 46, 110, 113, 147 }, { 42, 46, 107, 110, 116, 134 }, { 1, 23, 110, 137, 139 }, { 1, 23, 62, 66, 140, 142 }, { 23, 87, 110, 124 }, { 50, 55, 107, 129, 130 }, { 1, 58, 62, 107 }, { 58, 62, 65, 148 }, { 12, 62, 66, 69, 71, 149 }, { 71, 145, 150, 151 }, { 76, 80, 131, 144, 145, 148, 150, 152, 153 }, { 76, 84, 87, 88 }, { 16, 66, 76, 88 }, { 23, 66, 87, 88 }, { 1, 62, 107, 110 }, { 29, 46, 87, 107, 110, 134, 154, 155, 156 }, { 1, 23, 62, 66, 110 }, { 23, 66, 87, 110 }, { 50, 55, 107, 157, 158, 159, 160, 161, 162 }, { 58, 62, 107, 148 }, { 62, 66, 71, 76, 80, 145, 148, 150, 153 }, { 66, 76, 87, 88 }, { 62, 66, 87, 107, 110 }, { 50, 87, 107, 157, 159, 163 }, { 62, 66, 76, 87, 107, 148 }, { 76, 87, 107, 148, 157, 164 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 2, 5, 6 }, { 1, 5, 6 }, { 1, 2, 6 }, { 1, 2, 5 } ], [ { 8, 9, 10 }, { 7, 9, 10 }, { 7, 8, 10 }, { 7, 8, 9 } ], [ { 12, 13, 14 }, { 11, 13, 14 }, { 11, 12, 14 }, { 11, 12, 13 } ], [ { 15, 17, 18, 19 }, { 15, 16, 18 }, { 15, 16, 17 }, { 16, 17, 19 }, { 16, 18, 19 } ], [ { 20, 21, 22 }, { 15, 21, 22 }, { 15, 20, 22 }, { 15, 20, 21 } ], [ { 24, 25, 26 }, { 23, 25, 26 }, { 23, 24, 26 }, { 23, 24, 25 } ], [ { 23, 24, 28 }, { 24, 27, 28 }, { 23, 24, 27 }, { 23, 27, 28 } ], [ { 30, 31, 32 }, { 29, 31, 32 }, { 29, 30, 32 }, { 29, 30, 31 } ], [ { 34, 35, 36, 37 }, { 33, 34, 35, 38 }, { 33, 34, 37 }, { 33, 36, 37, 38 }, { 35, 36, 38 } ], [ { 34, 40, 41 }, { 34, 39, 41 }, { 39, 40, 41 }, { 34, 39, 40 } ], [ { 43, 44, 45 }, { 42, 44, 45 }, { 42, 43, 45 }, { 42, 43, 44 } ], [ { 44, 45, 46, 47 }, { 46, 47, 48, 49 }, { 44, 45, 48, 49 }, { 44, 46, 49 }, { 45, 47, 48 } ], [ { 51, 52, 53, 54 }, { 50, 52, 53 }, { 50, 51, 52 }, { 50, 53, 54 }, { 50, 51, 54 } ], [ { 53, 54, 56, 57 }, { 53, 55, 57 }, { 55, 56, 57 }, { 54, 55, 56 }, { 53, 54, 55 } ], [ { 2, 3, 58 }, { 1, 2, 3 }, { 1, 3, 58 }, { 1, 2, 58 } ], [ { 2, 6, 59 }, { 1, 6, 59 }, { 1, 2, 6 }, { 1, 2, 59 } ], [ { 3, 60, 61 }, { 58, 60, 61 }, { 3, 58, 61 }, { 3, 58, 60 } ], [ { 60, 61, 63 }, { 61, 62, 63 }, { 60, 62, 63 }, { 60, 61, 62 } ], [ { 61, 63, 65 }, { 61, 63, 64 }, { 63, 64, 65 }, { 61, 64, 65 } ], [ { 9, 67, 68 }, { 9, 66, 68 }, { 66, 67, 68 }, { 9, 66, 67 } ], [ { 9, 68, 70 }, { 68, 69, 70 }, { 9, 69, 70 }, { 9, 68, 69 } ], [ { 7, 9, 10 }, { 7, 10, 11 }, { 7, 9, 11, 70 }, { 10, 11, 70 }, { 9, 10, 70 } ], [ { 7, 13, 72 }, { 13, 71, 72 }, { 7, 13, 71 }, { 7, 71, 72 } ], [ { 11, 12, 13 }, { 7, 12, 13 }, { 7, 11, 13 }, { 7, 11, 12 } ], [ { 9, 73, 74 }, { 7, 9, 74, 75 }, { 7, 9, 73 }, { 73, 74, 75 }, { 7, 73, 75 } ], [ { 77, 78, 79 }, { 76, 78, 79 }, { 76, 77, 79 }, { 76, 77, 78 } ], [ { 79, 81, 82 }, { 79, 80, 82 }, { 79, 80, 81 }, { 80, 81, 82 } ], [ { 84, 85, 86 }, { 83, 85, 86 }, { 83, 84, 86 }, { 83, 84, 85 } ], [ { 88, 89, 91 }, { 87, 88, 91 }, { 87, 88, 89, 90 }, { 89, 90, 91 }, { 87, 90, 91 } ], [ { 91, 92, 93 }, { 88, 91, 93 }, { 88, 91, 92 }, { 88, 92, 93 } ], [ { 84, 94, 96 }, { 84, 88, 96 }, { 84, 88, 94, 95 }, { 88, 95, 96 }, { 94, 95, 96 } ], [ { 18, 22, 97 }, { 16, 18, 22 }, { 16, 18, 97 }, { 16, 22, 97 } ], [ { 16, 88, 97, 99 }, { 88, 98, 99, 100 }, { 16, 88, 98 }, { 16, 97, 98, 100 }, { 97, 99, 100 } ], [ { 16, 17, 66 }, { 15, 17, 66 }, { 15, 16, 66 }, { 15, 16, 17 } ], [ { 16, 18, 22 }, { 15, 18, 22 }, { 15, 16, 18 }, { 15, 16, 22 } ], [ { 87, 88, 102, 103 }, { 87, 101, 102, 104 }, { 87, 88, 101 }, { 88, 101, 103, 104 }, { 102, 103, 104 } ], [ { 25, 88, 103, 106 }, { 88, 103, 105 }, { 25, 88, 105 }, { 103, 105, 106 }, { 25, 105, 106 } ], [ { 21, 22, 66 }, { 15, 21, 22 }, { 15, 22, 66 }, { 15, 21, 66 } ], [ { 21, 22, 24 }, { 22, 24, 88 }, { 21, 24, 88 }, { 21, 22, 88 } ], [ { 23, 24, 25 }, { 24, 25, 88 }, { 23, 25, 88 }, { 23, 24, 88 } ], [ { 23, 24, 28 }, { 21, 24, 28 }, { 21, 23, 24 }, { 21, 23, 28 } ], [ { 59, 108, 109 }, { 59, 107, 109 }, { 59, 107, 108 }, { 107, 108, 109 } ], [ { 109, 110, 111 }, { 108, 109, 111 }, { 108, 110, 111 }, { 108, 109, 110 } ], [ { 30, 31, 34, 112 }, { 29, 30, 112 }, { 29, 34, 112 }, { 29, 30, 31 }, { 29, 31, 34 } ], [ { 33, 34, 37 }, { 33, 37, 113, 114 }, { 33, 34, 112, 113 }, { 34, 37, 112, 114 }, { 112, 113, 114 } ], [ { 33, 34, 115 }, { 34, 39, 115 }, { 33, 39, 115 }, { 33, 34, 39 } ], [ { 39, 41, 110 }, { 29, 41, 110 }, { 29, 34, 39, 110 }, { 29, 34, 41 }, { 34, 39, 41 } ], [ { 109, 111, 116 }, { 110, 111, 116 }, { 109, 110, 111 }, { 109, 110, 116 } ], [ { 42, 46, 118 }, { 46, 117, 118 }, { 42, 117, 118 }, { 42, 46, 117 } ], [ { 42, 44, 116 }, { 44, 116, 119 }, { 42, 43, 116, 119 }, { 42, 43, 44 }, { 43, 44, 119 } ], [ { 44, 45, 46, 47 }, { 42, 44, 46 }, { 42, 46, 47 }, { 42, 44, 45 }, { 42, 45, 47 } ], [ { 44, 46, 110 }, { 44, 46, 120 }, { 44, 110, 120 }, { 46, 110, 120 } ], [ { 116, 121, 122 }, { 42, 116, 122 }, { 42, 121, 122 }, { 42, 116, 121 } ], [ { 123, 124, 125 }, { 110, 124, 125 }, { 110, 123, 125 }, { 110, 123, 124 } ], [ { 105, 123, 124 }, { 87, 123, 124 }, { 87, 105, 124 }, { 87, 105, 123 } ], [ { 52, 53, 126, 127 }, { 50, 126, 127 }, { 50, 52, 126 }, { 50, 52, 53 }, { 50, 53, 127 } ], [ { 107, 127, 129 }, { 127, 128, 129 }, { 107, 127, 128 }, { 107, 128, 129 } ], [ { 53, 54, 55 }, { 50, 53, 54 }, { 50, 54, 55 }, { 50, 53, 55 } ], [ { 53, 57, 130 }, { 53, 55, 57 }, { 53, 55, 130 }, { 55, 57, 130 } ], [ { 3, 58, 60 }, { 1, 3, 60 }, { 1, 58, 60 }, { 1, 3, 58 } ], [ { 2, 58, 59 }, { 1, 2, 59 }, { 1, 58, 59 }, { 1, 2, 58 } ], [ { 58, 60, 61 }, { 60, 61, 62 }, { 58, 61, 62 }, { 58, 60, 62 } ], [ { 61, 63, 65 }, { 61, 62, 63 }, { 62, 63, 65 }, { 61, 62, 65 } ], [ { 9, 66, 68 }, { 9, 68, 69 }, { 66, 68, 69 }, { 9, 66, 69 } ], [ { 7, 11, 12 }, { 11, 12, 69, 70 }, { 7, 9, 12, 69 }, { 7, 9, 11, 70 }, { 9, 69, 70 } ], [ { 7, 12, 13 }, { 12, 13, 71 }, { 7, 13, 71 }, { 7, 12, 71 } ], [ { 7, 71, 73 }, { 66, 71, 73 }, { 7, 9, 66, 71 }, { 9, 66, 73 }, { 7, 9, 73 } ], [ { 77, 79, 131 }, { 76, 79, 131 }, { 76, 77, 79 }, { 76, 77, 131 } ], [ { 76, 79, 80 }, { 76, 78, 79 }, { 76, 78, 80, 82 }, { 79, 80, 82 }, { 78, 79, 82 } ], [ { 79, 80, 81 }, { 79, 81, 131 }, { 79, 80, 131 }, { 80, 81, 131 } ], [ { 84, 85, 86 }, { 85, 86, 87 }, { 84, 86, 87 }, { 84, 85, 87 } ], [ { 85, 86, 91, 92 }, { 85, 87, 92 }, { 87, 91, 92 }, { 86, 87, 91 }, { 85, 86, 87 } ], [ { 88, 91, 92 }, { 87, 91, 92 }, { 87, 88, 91 }, { 87, 88, 92 } ], [ { 84, 88, 96 }, { 88, 92, 96 }, { 84, 85, 88, 92 }, { 84, 85, 96 }, { 85, 92, 96 } ], [ { 16, 84, 88, 132 }, { 16, 88, 98 }, { 16, 98, 132, 133 }, { 84, 88, 98, 133 }, { 84, 132, 133 } ], [ { 22, 88, 99 }, { 16, 22, 88 }, { 16, 88, 97, 99 }, { 16, 22, 97 }, { 22, 97, 99 } ], [ { 16, 22, 66 }, { 15, 22, 66 }, { 15, 16, 22 }, { 15, 16, 66 } ], [ { 87, 102, 105 }, { 87, 88, 102, 103 }, { 87, 88, 105 }, { 102, 103, 105 }, { 88, 103, 105 } ], [ { 23, 25, 105 }, { 23, 25, 88 }, { 25, 88, 105 }, { 23, 88, 105 } ], [ { 21, 22, 66 }, { 21, 22, 88 }, { 22, 66, 88 }, { 21, 66, 88 } ], [ { 21, 23, 24 }, { 23, 24, 88 }, { 21, 24, 88 }, { 21, 23, 88 } ], [ { 59, 107, 108 }, { 1, 59, 108 }, { 1, 59, 107 }, { 1, 107, 108 } ], [ { 108, 109, 110 }, { 107, 109, 110 }, { 107, 108, 109 }, { 107, 108, 110 } ], [ { 33, 34, 112, 113 }, { 29, 33, 34 }, { 29, 33, 113 }, { 29, 34, 112 }, { 29, 112, 113 } ], [ { 33, 39, 110 }, { 29, 33, 110 }, { 29, 34, 39, 110 }, { 29, 33, 34 }, { 33, 34, 39 } ], [ { 109, 110, 116 }, { 107, 109, 116 }, { 107, 110, 116 }, { 107, 109, 110 } ], [ { 42, 46, 118 }, { 46, 118, 134 }, { 42, 118, 134 }, { 42, 46, 134 } ], [ { 44, 46, 110 }, { 42, 44, 46 }, { 42, 46, 110, 116 }, { 42, 44, 116 }, { 44, 110, 116 } ], [ { 42, 121, 134 }, { 107, 121, 134 }, { 42, 107, 116, 134 }, { 107, 116, 121 }, { 42, 116, 121 } ], [ { 110, 135, 137, 138 }, { 110, 135, 136, 139 }, { 136, 137, 138, 139 }, { 135, 136, 138 }, { 110, 137, 139 } ], [ { 62, 66, 141 }, { 62, 140, 141 }, { 62, 66, 140, 142 }, { 140, 141, 142 }, { 66, 141, 142 } ], [ { 110, 123, 124 }, { 87, 123, 124 }, { 87, 110, 124 }, { 87, 110, 123 } ], [ { 23, 105, 124 }, { 23, 87, 124 }, { 87, 105, 124 }, { 23, 87, 105 } ], [ { 53, 127, 129, 130 }, { 50, 127, 129 }, { 50, 129, 130 }, { 50, 53, 127 }, { 50, 53, 130 } ], [ { 107, 127, 129 }, { 50, 127, 129 }, { 50, 107, 127 }, { 50, 107, 129 } ], [ { 53, 55, 130 }, { 50, 53, 130 }, { 50, 53, 55 }, { 50, 55, 130 } ], [ { 58, 60, 62 }, { 1, 58, 60 }, { 1, 60, 62 }, { 1, 58, 62 } ], [ { 58, 59, 107 }, { 1, 59, 107 }, { 1, 58, 59 }, { 1, 58, 107 } ], [ { 58, 61, 65 }, { 61, 62, 65 }, { 58, 61, 62 }, { 58, 62, 65 } ], [ { 7, 9, 66, 71 }, { 12, 66, 69, 71 }, { 7, 12, 71 }, { 7, 9, 12, 69 }, { 9, 66, 69 } ], [ { 131, 143, 144, 146 }, { 80, 131, 144, 145 }, { 80, 131, 143 }, { 80, 143, 145, 146 }, { 144, 145, 146 } ], [ { 79, 80, 131 }, { 76, 79, 80 }, { 76, 79, 131 }, { 76, 80, 131 } ], [ { 84, 85, 88, 92 }, { 84, 87, 88 }, { 87, 88, 92 }, { 85, 87, 92 }, { 84, 85, 87 } ], [ { 16, 84, 88, 132 }, { 16, 76, 88 }, { 16, 76, 132 }, { 76, 84, 132 }, { 76, 84, 88 } ], [ { 22, 66, 88 }, { 16, 22, 66 }, { 16, 22, 88 }, { 16, 66, 88 } ], [ { 23, 88, 105 }, { 23, 87, 105 }, { 23, 87, 88 }, { 87, 88, 105 } ], [ { 21, 23, 66 }, { 21, 23, 88 }, { 23, 66, 88 }, { 21, 66, 88 } ], [ { 107, 108, 110 }, { 1, 108, 110 }, { 1, 107, 110 }, { 1, 107, 108 } ], [ { 29, 33, 110 }, { 29, 46, 110 }, { 29, 33, 113 }, { 29, 46, 113 }, { 33, 110, 147 }, { 46, 113, 147 }, { 33, 113, 147 }, { 46, 110, 147 } ], [ { 46, 107, 110, 134 }, { 42, 107, 116, 134 }, { 42, 46, 110, 116 }, { 42, 46, 134 }, { 107, 110, 116 } ], [ { 23, 110, 137 }, { 1, 23, 137, 139 }, { 1, 23, 110 }, { 1, 110, 139 }, { 110, 137, 139 } ], [ { 62, 66, 140, 142 }, { 1, 23, 62, 66 }, { 1, 62, 140 }, { 1, 23, 140, 142 }, { 23, 66, 142 } ], [ { 23, 110, 124 }, { 23, 87, 124 }, { 87, 110, 124 }, { 23, 87, 110 } ], [ { 55, 107, 129, 130 }, { 50, 55, 130 }, { 50, 55, 107 }, { 50, 107, 129 }, { 50, 129, 130 } ], [ { 58, 62, 107 }, { 1, 58, 107 }, { 1, 62, 107 }, { 1, 58, 62 } ], [ { 58, 65, 148 }, { 62, 65, 148 }, { 58, 62, 148 }, { 58, 62, 65 } ], [ { 12, 66, 69, 71 }, { 62, 66, 69, 149 }, { 62, 66, 71 }, { 12, 62, 71, 149 }, { 12, 69, 149 } ], [ { 71, 145, 151 }, { 145, 150, 151 }, { 71, 150, 151 }, { 71, 145, 150 } ], [ { 76, 80, 145, 148, 150, 153 }, { 76, 80, 131 }, { 80, 131, 144, 145 }, { 131, 144, 152 }, { 76, 131, 148, 152 }, { 144, 150, 152, 153 }, { 144, 145, 150 }, { 148, 152, 153 } ], [ { 84, 87, 88 }, { 76, 84, 88 }, { 76, 84, 87 }, { 76, 87, 88 } ], [ { 16, 66, 88 }, { 66, 76, 88 }, { 16, 66, 76 }, { 16, 76, 88 } ], [ { 23, 66, 88 }, { 23, 66, 87 }, { 23, 87, 88 }, { 66, 87, 88 } ], [ { 62, 107, 110 }, { 1, 107, 110 }, { 1, 62, 110 }, { 1, 62, 107 } ], [ { 87, 107, 134, 154, 155, 156 }, { 46, 107, 110, 134 }, { 29, 87, 110, 155 }, { 87, 107, 110 }, { 29, 154, 155 }, { 29, 46, 110 }, { 29, 46, 154, 156 }, { 46, 134, 156 } ], [ { 62, 66, 110 }, { 1, 62, 110 }, { 1, 23, 62, 66 }, { 1, 23, 110 }, { 23, 66, 110 } ], [ { 23, 66, 110 }, { 23, 87, 110 }, { 23, 66, 87 }, { 66, 87, 110 } ], [ { 55, 107, 157, 160, 161, 162 }, { 50, 55, 107 }, { 50, 107, 157, 159 }, { 50, 55, 158, 162 }, { 50, 158, 159 }, { 158, 159, 160, 161 }, { 157, 159, 161 }, { 158, 160, 162 } ], [ { 58, 107, 148 }, { 62, 107, 148 }, { 58, 62, 148 }, { 58, 62, 107 } ], [ { 76, 80, 145, 148, 150, 153 }, { 62, 71, 150, 153 }, { 71, 145, 150 }, { 66, 71, 80, 145 }, { 66, 76, 80 }, { 62, 66, 71 }, { 62, 66, 76, 148 }, { 62, 148, 153 } ], [ { 66, 87, 88 }, { 66, 76, 88 }, { 66, 76, 87 }, { 76, 87, 88 } ], [ { 66, 87, 110 }, { 62, 66, 110 }, { 62, 66, 87, 107 }, { 87, 107, 110 }, { 62, 107, 110 } ], [ { 87, 107, 157 }, { 50, 107, 157, 159 }, { 50, 87, 107, 163 }, { 87, 157, 159, 163 }, { 50, 159, 163 } ], [ { 62, 66, 87, 107 }, { 66, 76, 87 }, { 62, 66, 76, 148 }, { 76, 87, 107, 148 }, { 62, 107, 148 } ], [ { 76, 87, 107, 148 }, { 76, 87, 157, 164 }, { 87, 107, 157 }, { 107, 148, 157, 164 }, { 76, 148, 164 } ] ] /* 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, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 3, 1, 1, 3, 1, 3, 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>, <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>, <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>, <4, 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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]