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