/* 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>,
<w + 4, -w + 6>,
<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 + 16, -2*w>,
<-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 + 15, -2*w + 2>,
<w + 4, -w + 7>,
<-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>,
<w + 1, -w + 8>,
<w + 2, -w + 7>,
<11, -w - 8>,
<w + 3, -w + 7>,
<-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 + 5, -w + 6>,
<-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>,
<w + 39, -4*w - 11>,
<11, -w - 5>,
<3*w + 14, -3*w + 20>,
<-3*w + 19, -36>,
<w + 16, -2*w + 1>,
<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>,
<w + 27, -3*w - 4>,
<-9*w + 12, 4*w - 85>,
<w + 61, -6*w - 20>,
<-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>,
<w + 50, -5*w - 16>,
<-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>,
<w + 2, -w + 8>,
<w + 5, -w + 5>,
<w + 17, -2*w - 1>,
<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>,
<w + 38, -4*w - 10>,
<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>,
<w + 3, -w + 8>,
<w + 14, -2*w + 1>,
<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>,
<w + 17, -2*w + 1>,
<-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> ]