/* Defining polynomial */
x^2 - x + 125
/* Minimal vectors */
[
    <-12*w + 19, 5*w - 125>,
    <30*w + 88, -23*w + 250>,
    <-2*w + 272, -20*w - 145>,
    <28*w + 360, -43*w + 105>,
    <-21*w + 430, -22*w - 402>,
    <3*w + 7, -2*w + 25>,
    <-2*w + 13, -24>,
    <6*w + 41, -6*w + 39>,
    <3*w + 101, -9*w - 14>,
    <-7*w + 6, 3*w - 68>,
    <w + 20, -2*w + 1>,
    <-7*w + 73, -2*w - 96>,
    <-w + 20, -w - 18>,
    <6*w + 53, -7*w + 34>,
    <5*w + 73, -8*w + 16>,
    <w + 86, -7*w - 27>,
    <3*w + 86, -8*w - 8>,
    <2*w, -w + 19>,
    <-w + 33, -2*w - 23>,
    <-4*w + 39, -w - 54>,
    <53, -4*w - 22>,
    <-5*w + 20, w - 55>,
    <4*w + 27, -4*w + 26>,
    <-47*w + 172, 12*w - 535>,
    <-88*w + 457, 12*w - 1064>,
    <11*w + 478, -43*w - 114>,
    <-2*w + 491, -37*w - 246>,
    <39*w + 206, -37*w + 283>,
    <-41*w + 285, -529>,
    <158*w + 1919, -234*w + 646>,
    <117*w + 2204, -234*w + 117>,
    <76*w + 2489, -234*w - 412>,
    <-13*w + 13, 6*w - 132>,
    <-54*w + 298, 6*w - 661>,
    <5*w + 365, -31*w - 120>,
    <-7*w + 126, -6*w - 126>,
    <26*w + 219, -31*w + 151>,
    <-48*w + 411, -6*w - 655>,
    <32*w + 332, -43*w + 157>,
    <-35*w + 398, -12*w - 523>,
    <-76*w + 683, -12*w - 1052>,
    <136*w + 306, -97*w + 1177>,
    <110*w + 319, -84*w + 919>,
    <-149*w + 1203, -13*w - 1999>,
    <-52*w + 1780, -110*w - 1325>,
    <84*w + 2086, -207*w - 148>,
    <47*w + 99, -33*w + 410>,
    <-47*w + 146, 14*w - 523>,
    <20*w + 351, -38*w + 32>,
    <-20*w + 371, -18*w - 365>,
    <27*w + 470, -51*w + 45>,
    <-27*w + 497, -24*w - 491>,
    <245, -19*w - 113>,
    <-47*w + 391, -5*w - 636>,
    <37*w + 220, -37*w + 257>,
    <5*w + 378, -32*w - 126>,
    <-8*w + 391, -26*w - 258>,
    <42*w + 598, -69*w + 131>,
    <-39*w + 297, -2*w - 515>,
    <-47*w + 688, -28*w - 773>,
    <-26*w + 39, 11*w - 270>,
    <5*w + 120, -12*w - 7>,
    <11*w + 233, -24*w - 1>,
    <16*w + 353, -36*w - 8>,
    <-2*w + 259, -19*w - 139>,
    <-28*w + 298, -8*w - 409>,
    <-20*w + 165, -2*w - 270>,
    <23*w + 227, -30*w + 118>,
    <3*w + 392, -32*w - 152>,
    <-25*w + 45, 10*w - 263>,
    <15*w + 373, -37*w - 27>,
    <-37*w + 64, 15*w - 388>,
    <-32*w + 184, 3*w - 395>,
    <35*w + 208, -35*w + 243>,
    <10*w + 253, -25*w - 20>,
    <-37*w + 51, 16*w - 382>,
    <-7*w + 139, -7*w - 132>,
    <-2*w + 1, w - 19>,
    <-w + 21, -w - 19>,
    <-3*w + 22, -38>,
    <-w + 48, -3*w - 32>,
    <5*w + 17, -4*w + 38>,
    <27, -2*w - 13>,
    <w + 20, -2*w>,
    <-8*w + 31, 2*w - 88>,
    <4*w + 93, -9*w - 6>,
    <8*w + 23, -6*w + 63>,
    <-4*w + 97, -5*w - 82>,
    <-16*w + 8, 8*w - 151>,
    <7*w + 44, -7*w + 44>,
    <-7*w + 51, -88>,
    <95, -7*w - 44>,
    <8*w + 159, -16*w>,
    <-8*w + 167, -8*w - 151>,
    <3*w + 19, -3*w + 19>,
    <w + 47, -4*w - 12>,
    <-5*w + 22, w - 56>,
    <27, -2*w - 12>,
    <4*w + 11, -3*w + 32>,
    <2*w + 12, -2*w + 13>,
    <2*w + 39, -4*w>,
    <-2*w + 14, -25>,
    <-4*w + 15, w - 44>,
    <-2*w + 41, -2*w - 37>,
    <-2*w + 80, -5*w - 52>,
    <-6*w + 26, w - 67>,
    <4*w + 54, -6*w + 15>,
    <-6*w + 13, 2*w - 61>,
    <-2*w + 27, -w - 30>,
    <w + 34, -3*w - 5>,
    <5*w + 34, -5*w + 32>,
    <-w + 47, -3*w - 29>,
    <-3*w + 7, w - 32>,
    <4*w + 12, -3*w + 33>,
    <39, -3*w - 17>,
    <-4*w + 40, -w - 56>,
    <52, -4*w - 23>,
    <3*w + 6, -2*w + 26>,
    <w + 6, -w + 7>,
    <106, -8*w - 45>,
    <-8*w + 53, -98>,
    <-w + 86, -6*w - 46>,
    <7*w + 33, -6*w + 52>,
    <8*w + 53, -8*w + 53>,
    <-3*w + 6, w - 31>,
    <2*w + 53, -5*w - 3>,
    <3*w + 20, -3*w + 20>,
    <40, -3*w - 17>,
    <3*w + 47, -5*w + 8>,
    <-w + 7, -13>,
    <-13*w + 26, 5*w - 138>,
    <4*w + 114, -11*w - 14>,
    <7*w + 93, -11*w + 25>,
    <7*w + 106, -12*w + 19>,
    <-8*w + 120, -5*w - 133>,
    <-15*w + 504, -31*w - 378>,
    <46*w + 80, -31*w + 409>,
    <-343*w + 49, 181*w - 3347>,
    <97*w + 577, -97*w + 674>,
    <-123*w + 1190, -26*w - 1741>,
    <-26*w + 1767, -123*w - 1067>,
    <181*w + 3166, -343*w + 294>,
    <-162*w + 3215, -162*w - 3053>,
    <-13*w + 258, -13*w - 245>,
    <110*w + 822, -123*w + 687>,
    <84*w + 835, -110*w + 429>,
    <-13*w + 2012, -149*w - 1054>,
    <123*w + 564, -110*w + 932>,
    <13*w + 477, -44*w - 94>,
    <82*w + 49, -48*w + 772>,
    <-32*w + 158, 5*w - 383>,
    <-34*w + 675, -34*w - 641>,
    <48*w + 724, -82*w + 131>,
    <-38*w + 32, 18*w - 383>,
    <6*w + 126, -13*w>,
    <18*w + 365, -38*w + 6>,
    <-13*w + 39, 4*w - 144>,
    <4*w + 127, -12*w - 20>,
    <-12*w + 32, 4*w - 131>,
    <17*w + 101, -17*w + 118>,
    <13, -w - 6>,
    <4*w + 140, -13*w - 26>,
    <w + 6, -w + 6>,
    <-w + 35, -2*w - 26>,
    <-w + 7, -12>,
    <w + 34, -3*w - 6>,
    <-3*w + 8, w - 31>,
    <2*w + 13, -2*w + 12>,
    <2*w + 27, -3*w + 6>,
    <-w + 35, -2*w - 25>,
    <w + 7, -w + 6>,
    <-w + 6, -12>,
    <-2*w + 13, -25>,
    <2*w + 13, -2*w + 14>,
    <26, -2*w - 11>,
    <2*w + 13, -2*w + 13>,
    <-w + 34, -2*w - 24>,
    <-3*w + 7, w - 31>,
    <2*w + 27, -3*w + 7>,
    <6*w + 113, -12*w + 6>,
    <-26*w + 13, 13*w - 258>,
    <-13*w + 1509, -110*w - 822>,
    <-39*w + 1522, -97*w - 1080>,
    <7*w + 119, -13*w + 13>,
    <-2*w + 15, -25>,
    <3*w + 5, -2*w + 26>,
    <-3*w + 8, w - 32>,
    <-2*w + 27, -w - 31>,
    <3*w + 19, -3*w + 20>,
    <-w + 33, -2*w - 24>,
    <-w + 46, -3*w - 30>,
    <13*w + 245, -26*w + 13>,
    <-123*w + 687, 13*w - 1509>,
    <136*w + 809, -136*w + 945>,
    <-110*w + 932, -13*w - 1496>,
    <-136*w + 945, -1754>,
    <13*w + 1496, -123*w - 564>,
    <1754, -136*w - 809>,
    <-20*w + 139, -258>,
    <13, -w - 5>,
    <-6*w + 132, -7*w - 119>,
    <13*w, -7*w + 126>,
    <1, 0>,
    <-w + 6, -11>,
    <1, -1>,
    <0, 1>
]
/* Voronoi top cells */
[
    { 1, 2, 3, 4, 5 },
    { 6, 7, 8, 9 },
    { 6, 10, 11, 12 },
    { 11, 13, 14, 15 },
    { 11, 16, 17, 18 },
    { 11, 19, 20, 21 },
    { 6, 11, 22, 23 },
    { 24, 25, 26, 27 },
    { 28, 29, 30, 31 },
    { 27, 29, 31, 32 },
    { 27, 33, 34, 35 },
    { 28, 36, 37, 38 },
    { 28, 39, 40, 41 },
    { 42, 43, 44, 45, 46 },
    { 47, 48, 49, 50, 51, 52 },
    { 48, 49, 53, 54 },
    { 55, 56, 57, 58 },
    { 55, 57, 59, 60 },
    { 61, 62, 63, 64 },
    { 61, 62, 65, 66 },
    { 62, 67, 68, 69 },
    { 62, 69, 70, 71 },
    { 69, 71, 72, 73, 74 },
    { 1, 72, 73, 75 },
    { 1, 2, 5, 76, 77 },
    { 1, 2, 3, 73 },
    { 78, 79, 80, 81 },
    { 79, 81, 82, 83 },
    { 78, 84, 85, 86 },
    { 78, 79, 87, 88 },
    { 89, 90, 91, 92, 93, 94 },
    { 78, 84, 95, 96 },
    { 84, 96, 97, 98 },
    { 78, 81, 99, 100 },
    { 81, 83, 100, 101 },
    { 78, 96, 102, 103 },
    { 96, 98, 102, 104 },
    { 6, 7, 8, 105 },
    { 6, 10, 11, 105 },
    { 7, 11, 105, 106, 107 },
    { 6, 108, 109, 110, 111, 112 },
    { 113, 114, 115, 116, 117 },
    { 114, 115, 116, 118 },
    { 113, 114, 117, 119 },
    { 11, 13, 14, 120 },
    { 16, 18, 121, 122 },
    { 13, 14, 121, 123 },
    { 11, 120, 121, 124 },
    { 11, 16, 18, 124 },
    { 11, 19, 20, 125 },
    { 11, 20, 125, 126 },
    { 11, 18, 126, 127 },
    { 6, 11, 22, 109 },
    { 11, 13, 128, 129 },
    { 11, 22, 109, 129 },
    { 62, 130, 131, 132 },
    { 130, 133, 134, 135 },
    { 24, 26, 27, 33 },
    { 27, 28, 29, 31 },
    { 27, 33, 34, 136 },
    { 28, 36, 38, 137 },
    { 28, 36, 39, 40 },
    { 138, 139, 140, 141, 142, 143 },
    { 139, 140, 144, 145, 146, 147 },
    { 42, 43, 44, 144, 148 },
    { 47, 48, 49, 50, 53 },
    { 36, 49, 53, 54, 149 },
    { 55, 56, 150, 151, 152, 153 },
    { 33, 56, 151, 154, 155, 156 },
    { 33, 55, 56, 57 },
    { 55, 57, 59, 77 },
    { 33, 61, 62, 63 },
    { 61, 62, 65, 77 },
    { 2, 68, 69, 73, 77 },
    { 62, 68, 69, 77 },
    { 1, 62, 69, 71, 72, 73 },
    { 1, 2, 73, 77 },
    { 62, 130, 157, 158 },
    { 1, 62, 158, 159, 160 },
    { 1, 159, 161, 162 },
    { 78, 79, 81, 83 },
    { 79, 83, 163, 164 },
    { 78, 84, 85, 92 },
    { 78, 79, 87, 92 },
    { 79, 84, 90, 91, 92 },
    { 78, 84, 96, 98 },
    { 84, 98, 165, 166 },
    { 84, 165, 167, 168, 169, 170 },
    { 78, 81, 83, 100 },
    { 78, 96, 98, 102 },
    { 6, 7, 11, 105 },
    { 6, 109, 110, 165, 171 },
    { 172, 173, 174, 175 },
    { 98, 102, 165, 176 },
    { 98, 165, 176, 177 },
    { 113, 114, 115, 118, 119 },
    { 11, 13, 120, 121 },
    { 13, 18, 121, 122, 123 },
    { 11, 18, 121, 124 },
    { 11, 19, 125, 172 },
    { 11, 18, 125, 126 },
    { 13, 109, 165, 177, 178, 179 },
    { 6, 11, 109, 165 },
    { 11, 13, 109, 129 },
    { 62, 130, 131, 180 },
    { 130, 134, 135, 180 },
    { 26, 27, 33, 180 },
    { 27, 28, 29, 180 },
    { 27, 28, 33, 36, 136, 137 },
    { 28, 36, 39, 180 },
    { 139, 140, 141, 144, 145, 148 },
    { 42, 144, 148, 181, 182, 183 },
    { 36, 49, 50, 53, 184 },
    { 33, 55, 56, 151, 155 },
    { 33, 55, 57, 77 },
    { 33, 61, 62, 77 },
    { 1, 62, 69, 73, 77 },
    { 1, 62, 130, 158, 159, 161 },
    { 78, 79, 83, 163 },
    { 78, 79, 84, 92 },
    { 78, 84, 98, 165 },
    { 79, 84, 163, 165, 168, 185 },
    { 78, 83, 100, 163 },
    { 78, 100, 161, 186 },
    { 78, 98, 102, 165 },
    { 78, 102, 161, 187 },
    { 6, 7, 11, 165, 171 },
    { 119, 172, 173, 175 },
    { 18, 113, 119, 175 },
    { 102, 161, 165, 176 },
    { 13, 165, 176, 177, 178 },
    { 13, 161, 176, 188 },
    { 13, 161, 188, 189, 190 },
    { 114, 118, 119, 161, 190, 191 },
    { 11, 13, 18, 121 },
    { 11, 18, 125, 172 },
    { 11, 13, 109, 165 },
    { 33, 62, 130, 180 },
    { 36, 130, 134, 180 },
    { 27, 28, 33, 36, 180 },
    { 144, 145, 148, 181, 182, 192, 193, 194, 195, 196, 197, 198 },
    { 33, 36, 144, 181, 199 },
    { 36, 53, 181, 184 },
    { 1, 77, 155, 161 },
    { 33, 55, 77, 155 },
    { 33, 62, 77, 130 },
    { 1, 62, 77, 130, 161 },
    { 78, 79, 84, 163, 165 },
    { 78, 100, 161, 163 },
    { 78, 102, 161, 165 },
    { 7, 11, 165, 171, 172, 200 },
    { 18, 119, 172, 175 },
    { 13, 161, 165, 176 },
    { 13, 18, 118, 119, 161, 190 },
    { 11, 13, 18, 165, 172 },
    { 33, 36, 130, 180 },
    { 33, 36, 144, 155, 181, 184, 192, 201, 202 },
    { 33, 77, 130, 155, 161 },
    { 78, 161, 163, 165 },
    { 165, 171, 172, 200, 203, 204 },
    { 13, 18, 119, 161, 165, 172 },
    { 33, 36, 119, 130, 155, 161, 184, 201, 202 },
    { 161, 163, 165, 203, 205 },
    { 119, 161, 165, 172, 203 },
    { 119, 130, 161, 203, 205, 206 }
]
/* Faces of top cells */
[
    [
        { 2, 3, 4 },
        { 1, 3, 4, 5 },
        { 1, 2, 3 },
        { 2, 4, 5 },
        { 1, 2, 5 }
    ],
    [
        { 7, 8, 9 },
        { 6, 8, 9 },
        { 6, 7, 9 },
        { 6, 7, 8 }
    ],
    [
        { 6, 11, 12 },
        { 10, 11, 12 },
        { 6, 10, 12 },
        { 6, 10, 11 }
    ],
    [
        { 11, 14, 15 },
        { 13, 14, 15 },
        { 11, 13, 15 },
        { 11, 13, 14 }
    ],
    [
        { 16, 17, 18 },
        { 11, 17, 18 },
        { 11, 16, 18 },
        { 11, 16, 17 }
    ],
    [
        { 19, 20, 21 },
        { 11, 20, 21 },
        { 11, 19, 21 },
        { 11, 19, 20 }
    ],
    [
        { 11, 22, 23 },
        { 6, 11, 23 },
        { 6, 22, 23 },
        { 6, 11, 22 }
    ],
    [
        { 25, 26, 27 },
        { 24, 26, 27 },
        { 24, 25, 27 },
        { 24, 25, 26 }
    ],
    [
        { 29, 30, 31 },
        { 28, 30, 31 },
        { 28, 29, 31 },
        { 28, 29, 30 }
    ],
    [
        { 27, 31, 32 },
        { 29, 31, 32 },
        { 27, 29, 32 },
        { 27, 29, 31 }
    ],
    [
        { 27, 34, 35 },
        { 27, 33, 35 },
        { 27, 33, 34 },
        { 33, 34, 35 }
    ],
    [
        { 28, 37, 38 },
        { 36, 37, 38 },
        { 28, 36, 38 },
        { 28, 36, 37 }
    ],
    [
        { 39, 40, 41 },
        { 28, 40, 41 },
        { 28, 39, 41 },
        { 28, 39, 40 }
    ],
    [
        { 43, 44, 45, 46 },
        { 42, 43, 45 },
        { 42, 43, 44 },
        { 42, 45, 46 },
        { 42, 44, 46 }
    ],
    [
        { 47, 48, 51, 52 },
        { 47, 48, 49, 50 },
        { 47, 50, 51 },
        { 49, 50, 51, 52 },
        { 48, 49, 52 }
    ],
    [
        { 49, 53, 54 },
        { 48, 49, 54 },
        { 48, 53, 54 },
        { 48, 49, 53 }
    ],
    [
        { 56, 57, 58 },
        { 55, 57, 58 },
        { 55, 56, 58 },
        { 55, 56, 57 }
    ],
    [
        { 57, 59, 60 },
        { 55, 57, 60 },
        { 55, 59, 60 },
        { 55, 57, 59 }
    ],
    [
        { 62, 63, 64 },
        { 61, 63, 64 },
        { 61, 62, 64 },
        { 61, 62, 63 }
    ],
    [
        { 62, 65, 66 },
        { 61, 65, 66 },
        { 61, 62, 66 },
        { 61, 62, 65 }
    ],
    [
        { 67, 68, 69 },
        { 62, 68, 69 },
        { 62, 67, 69 },
        { 62, 67, 68 }
    ],
    [
        { 62, 69, 71 },
        { 69, 70, 71 },
        { 62, 69, 70 },
        { 62, 70, 71 }
    ],
    [
        { 71, 72, 74 },
        { 69, 71, 72, 73 },
        { 72, 73, 74 },
        { 69, 73, 74 },
        { 69, 71, 74 }
    ],
    [
        { 72, 73, 75 },
        { 1, 73, 75 },
        { 1, 72, 75 },
        { 1, 72, 73 }
    ],
    [
        { 2, 76, 77 },
        { 1, 2, 77 },
        { 1, 5, 76, 77 },
        { 2, 5, 76 },
        { 1, 2, 5 }
    ],
    [
        { 2, 3, 73 },
        { 1, 3, 73 },
        { 1, 2, 3 },
        { 1, 2, 73 }
    ],
    [
        { 79, 80, 81 },
        { 78, 80, 81 },
        { 78, 79, 81 },
        { 78, 79, 80 }
    ],
    [
        { 79, 81, 83 },
        { 81, 82, 83 },
        { 79, 81, 82 },
        { 79, 82, 83 }
    ],
    [
        { 84, 85, 86 },
        { 78, 85, 86 },
        { 78, 84, 86 },
        { 78, 84, 85 }
    ],
    [
        { 79, 87, 88 },
        { 78, 87, 88 },
        { 78, 79, 88 },
        { 78, 79, 87 }
    ],
    [
        { 90, 91, 92 },
        { 89, 91, 92, 93 },
        { 89, 90, 92, 94 },
        { 90, 91, 93, 94 },
        { 89, 93, 94 }
    ],
    [
        { 84, 95, 96 },
        { 78, 84, 96 },
        { 78, 95, 96 },
        { 78, 84, 95 }
    ],
    [
        { 96, 97, 98 },
        { 84, 96, 98 },
        { 84, 96, 97 },
        { 84, 97, 98 }
    ],
    [
        { 81, 99, 100 },
        { 78, 81, 100 },
        { 78, 81, 99 },
        { 78, 99, 100 }
    ],
    [
        { 81, 83, 101 },
        { 81, 100, 101 },
        { 81, 83, 100 },
        { 83, 100, 101 }
    ],
    [
        { 96, 102, 103 },
        { 78, 96, 103 },
        { 78, 96, 102 },
        { 78, 102, 103 }
    ],
    [
        { 96, 98, 104 },
        { 96, 102, 104 },
        { 96, 98, 102 },
        { 98, 102, 104 }
    ],
    [
        { 7, 8, 105 },
        { 6, 8, 105 },
        { 6, 7, 105 },
        { 6, 7, 8 }
    ],
    [
        { 6, 11, 105 },
        { 10, 11, 105 },
        { 6, 10, 105 },
        { 6, 10, 11 }
    ],
    [
        { 11, 105, 106 },
        { 7, 11, 105 },
        { 7, 11, 106, 107 },
        { 7, 105, 107 },
        { 105, 106, 107 }
    ],
    [
        { 108, 109, 110, 111 },
        { 6, 109, 110 },
        { 6, 108, 110, 112 },
        { 6, 109, 111, 112 },
        { 108, 111, 112 }
    ],
    [
        { 114, 115, 116 },
        { 113, 115, 116, 117 },
        { 113, 114, 115 },
        { 114, 116, 117 },
        { 113, 114, 117 }
    ],
    [
        { 114, 115, 116 },
        { 115, 116, 118 },
        { 114, 116, 118 },
        { 114, 115, 118 }
    ],
    [
        { 113, 114, 117 },
        { 114, 117, 119 },
        { 113, 117, 119 },
        { 113, 114, 119 }
    ],
    [
        { 11, 14, 120 },
        { 13, 14, 120 },
        { 11, 13, 120 },
        { 11, 13, 14 }
    ],
    [
        { 16, 18, 122 },
        { 16, 18, 121 },
        { 18, 121, 122 },
        { 16, 121, 122 }
    ],
    [
        { 14, 121, 123 },
        { 13, 14, 121 },
        { 13, 14, 123 },
        { 13, 121, 123 }
    ],
    [
        { 120, 121, 124 },
        { 11, 120, 124 },
        { 11, 120, 121 },
        { 11, 121, 124 }
    ],
    [
        { 16, 18, 124 },
        { 11, 16, 18 },
        { 11, 18, 124 },
        { 11, 16, 124 }
    ],
    [
        { 11, 19, 20 },
        { 19, 20, 125 },
        { 11, 20, 125 },
        { 11, 19, 125 }
    ],
    [
        { 11, 20, 126 },
        { 20, 125, 126 },
        { 11, 125, 126 },
        { 11, 20, 125 }
    ],
    [
        { 18, 126, 127 },
        { 11, 18, 126 },
        { 11, 18, 127 },
        { 11, 126, 127 }
    ],
    [
        { 11, 22, 109 },
        { 6, 11, 109 },
        { 6, 22, 109 },
        { 6, 11, 22 }
    ],
    [
        { 11, 128, 129 },
        { 13, 128, 129 },
        { 11, 13, 129 },
        { 11, 13, 128 }
    ],
    [
        { 11, 109, 129 },
        { 22, 109, 129 },
        { 11, 22, 129 },
        { 11, 22, 109 }
    ],
    [
        { 62, 131, 132 },
        { 62, 130, 132 },
        { 62, 130, 131 },
        { 130, 131, 132 }
    ],
    [
        { 133, 134, 135 },
        { 130, 134, 135 },
        { 130, 133, 135 },
        { 130, 133, 134 }
    ],
    [
        { 24, 26, 27 },
        { 26, 27, 33 },
        { 24, 27, 33 },
        { 24, 26, 33 }
    ],
    [
        { 27, 29, 31 },
        { 27, 28, 31 },
        { 28, 29, 31 },
        { 27, 28, 29 }
    ],
    [
        { 27, 34, 136 },
        { 27, 33, 136 },
        { 33, 34, 136 },
        { 27, 33, 34 }
    ],
    [
        { 28, 36, 38 },
        { 28, 38, 137 },
        { 36, 38, 137 },
        { 28, 36, 137 }
    ],
    [
        { 28, 39, 40 },
        { 36, 39, 40 },
        { 28, 36, 40 },
        { 28, 36, 39 }
    ],
    [
        { 139, 140, 141 },
        { 138, 140, 141, 142 },
        { 138, 139, 141, 143 },
        { 139, 140, 142, 143 },
        { 138, 142, 143 }
    ],
    [
        { 144, 145, 146, 147 },
        { 139, 144, 146 },
        { 139, 140, 144, 145 },
        { 139, 140, 146, 147 },
        { 140, 145, 147 }
    ],
    [
        { 43, 44, 144, 148 },
        { 42, 144, 148 },
        { 42, 43, 144 },
        { 42, 43, 44 },
        { 42, 44, 148 }
    ],
    [
        { 48, 49, 53 },
        { 47, 48, 49, 50 },
        { 47, 48, 53 },
        { 47, 50, 53 },
        { 49, 50, 53 }
    ],
    [
        { 49, 53, 54 },
        { 36, 53, 54, 149 },
        { 36, 49, 53 },
        { 49, 54, 149 },
        { 36, 49, 149 }
    ],
    [
        { 55, 56, 151 },
        { 55, 56, 150, 152 },
        { 56, 150, 151, 153 },
        { 55, 151, 152, 153 },
        { 150, 152, 153 }
    ],
    [
        { 151, 154, 155 },
        { 33, 56, 151, 155 },
        { 33, 154, 155, 156 },
        { 56, 151, 154, 156 },
        { 33, 56, 156 }
    ],
    [
        { 55, 56, 57 },
        { 33, 56, 57 },
        { 33, 55, 57 },
        { 33, 55, 56 }
    ],
    [
        { 55, 57, 59 },
        { 57, 59, 77 },
        { 55, 57, 77 },
        { 55, 59, 77 }
    ],
    [
        { 61, 62, 63 },
        { 33, 62, 63 },
        { 33, 61, 63 },
        { 33, 61, 62 }
    ],
    [
        { 62, 65, 77 },
        { 61, 65, 77 },
        { 61, 62, 65 },
        { 61, 62, 77 }
    ],
    [
        { 2, 68, 69, 73 },
        { 2, 68, 77 },
        { 2, 73, 77 },
        { 68, 69, 77 },
        { 69, 73, 77 }
    ],
    [
        { 68, 69, 77 },
        { 62, 68, 69 },
        { 62, 69, 77 },
        { 62, 68, 77 }
    ],
    [
        { 1, 62, 69, 73 },
        { 1, 72, 73 },
        { 1, 62, 71, 72 },
        { 69, 71, 72, 73 },
        { 62, 69, 71 }
    ],
    [
        { 2, 73, 77 },
        { 1, 73, 77 },
        { 1, 2, 73 },
        { 1, 2, 77 }
    ],
    [
        { 62, 157, 158 },
        { 62, 130, 158 },
        { 130, 157, 158 },
        { 62, 130, 157 }
    ],
    [
        { 1, 62, 160 },
        { 1, 62, 158, 159 },
        { 1, 159, 160 },
        { 62, 158, 160 },
        { 158, 159, 160 }
    ],
    [
        { 1, 159, 162 },
        { 159, 161, 162 },
        { 1, 161, 162 },
        { 1, 159, 161 }
    ],
    [
        { 79, 81, 83 },
        { 78, 81, 83 },
        { 78, 79, 81 },
        { 78, 79, 83 }
    ],
    [
        { 79, 83, 164 },
        { 83, 163, 164 },
        { 79, 163, 164 },
        { 79, 83, 163 }
    ],
    [
        { 84, 85, 92 },
        { 78, 85, 92 },
        { 78, 84, 92 },
        { 78, 84, 85 }
    ],
    [
        { 79, 87, 92 },
        { 78, 87, 92 },
        { 78, 79, 92 },
        { 78, 79, 87 }
    ],
    [
        { 79, 90, 92 },
        { 79, 84, 92 },
        { 79, 84, 90, 91 },
        { 90, 91, 92 },
        { 84, 91, 92 }
    ],
    [
        { 84, 96, 98 },
        { 78, 96, 98 },
        { 78, 84, 96 },
        { 78, 84, 98 }
    ],
    [
        { 84, 98, 166 },
        { 98, 165, 166 },
        { 84, 165, 166 },
        { 84, 98, 165 }
    ],
    [
        { 84, 167, 168, 170 },
        { 84, 165, 168 },
        { 84, 165, 167, 169 },
        { 165, 168, 169, 170 },
        { 167, 169, 170 }
    ],
    [
        { 81, 83, 100 },
        { 78, 81, 83 },
        { 78, 81, 100 },
        { 78, 83, 100 }
    ],
    [
        { 96, 98, 102 },
        { 78, 96, 98 },
        { 78, 96, 102 },
        { 78, 98, 102 }
    ],
    [
        { 7, 11, 105 },
        { 6, 11, 105 },
        { 6, 7, 105 },
        { 6, 7, 11 }
    ],
    [
        { 6, 109, 165 },
        { 109, 110, 165, 171 },
        { 6, 165, 171 },
        { 6, 109, 110 },
        { 6, 110, 171 }
    ],
    [
        { 173, 174, 175 },
        { 172, 174, 175 },
        { 172, 173, 175 },
        { 172, 173, 174 }
    ],
    [
        { 98, 102, 176 },
        { 98, 102, 165 },
        { 98, 165, 176 },
        { 102, 165, 176 }
    ],
    [
        { 98, 176, 177 },
        { 98, 165, 177 },
        { 165, 176, 177 },
        { 98, 165, 176 }
    ],
    [
        { 113, 114, 119 },
        { 114, 118, 119 },
        { 113, 115, 118, 119 },
        { 114, 115, 118 },
        { 113, 114, 115 }
    ],
    [
        { 11, 120, 121 },
        { 13, 120, 121 },
        { 11, 13, 120 },
        { 11, 13, 121 }
    ],
    [
        { 121, 122, 123 },
        { 13, 18, 122, 123 },
        { 13, 121, 123 },
        { 18, 121, 122 },
        { 13, 18, 121 }
    ],
    [
        { 18, 121, 124 },
        { 11, 18, 124 },
        { 11, 18, 121 },
        { 11, 121, 124 }
    ],
    [
        { 11, 19, 172 },
        { 11, 19, 125 },
        { 19, 125, 172 },
        { 11, 125, 172 }
    ],
    [
        { 11, 18, 126 },
        { 18, 125, 126 },
        { 11, 18, 125 },
        { 11, 125, 126 }
    ],
    [
        { 13, 109, 165 },
        { 13, 109, 178, 179 },
        { 13, 165, 177, 178 },
        { 109, 165, 177, 179 },
        { 177, 178, 179 }
    ],
    [
        { 6, 11, 109 },
        { 11, 109, 165 },
        { 6, 109, 165 },
        { 6, 11, 165 }
    ],
    [
        { 11, 109, 129 },
        { 13, 109, 129 },
        { 11, 13, 129 },
        { 11, 13, 109 }
    ],
    [
        { 62, 131, 180 },
        { 62, 130, 180 },
        { 62, 130, 131 },
        { 130, 131, 180 }
    ],
    [
        { 134, 135, 180 },
        { 130, 135, 180 },
        { 130, 134, 135 },
        { 130, 134, 180 }
    ],
    [
        { 26, 27, 180 },
        { 26, 27, 33 },
        { 27, 33, 180 },
        { 26, 33, 180 }
    ],
    [
        { 27, 28, 29 },
        { 27, 29, 180 },
        { 27, 28, 180 },
        { 28, 29, 180 }
    ],
    [
        { 28, 36, 137 },
        { 27, 28, 33, 36 },
        { 33, 36, 136, 137 },
        { 27, 28, 136, 137 },
        { 27, 33, 136 }
    ],
    [
        { 28, 36, 39 },
        { 28, 39, 180 },
        { 36, 39, 180 },
        { 28, 36, 180 }
    ],
    [
        { 139, 140, 144, 145 },
        { 144, 145, 148 },
        { 139, 141, 144, 148 },
        { 140, 141, 145, 148 },
        { 139, 140, 141 }
    ],
    [
        { 42, 144, 148 },
        { 144, 148, 181, 182 },
        { 42, 144, 181, 183 },
        { 42, 148, 182, 183 },
        { 181, 182, 183 }
    ],
    [
        { 36, 49, 53 },
        { 36, 49, 50, 184 },
        { 36, 53, 184 },
        { 49, 50, 53 },
        { 50, 53, 184 }
    ],
    [
        { 55, 151, 155 },
        { 33, 55, 155 },
        { 33, 56, 151, 155 },
        { 55, 56, 151 },
        { 33, 55, 56 }
    ],
    [
        { 55, 57, 77 },
        { 33, 55, 57 },
        { 33, 57, 77 },
        { 33, 55, 77 }
    ],
    [
        { 61, 62, 77 },
        { 33, 62, 77 },
        { 33, 61, 77 },
        { 33, 61, 62 }
    ],
    [
        { 1, 73, 77 },
        { 1, 62, 69, 73 },
        { 1, 62, 77 },
        { 62, 69, 77 },
        { 69, 73, 77 }
    ],
    [
        { 1, 159, 161 },
        { 130, 158, 159, 161 },
        { 1, 62, 130, 161 },
        { 1, 62, 158, 159 },
        { 62, 130, 158 }
    ],
    [
        { 79, 83, 163 },
        { 78, 79, 83 },
        { 78, 83, 163 },
        { 78, 79, 163 }
    ],
    [
        { 79, 84, 92 },
        { 78, 79, 92 },
        { 78, 84, 92 },
        { 78, 79, 84 }
    ],
    [
        { 84, 98, 165 },
        { 78, 84, 98 },
        { 78, 98, 165 },
        { 78, 84, 165 }
    ],
    [
        { 84, 165, 168 },
        { 79, 84, 163, 165 },
        { 163, 165, 168, 185 },
        { 79, 84, 168, 185 },
        { 79, 163, 185 }
    ],
    [
        { 83, 100, 163 },
        { 78, 83, 100 },
        { 78, 83, 163 },
        { 78, 100, 163 }
    ],
    [
        { 100, 161, 186 },
        { 78, 100, 161 },
        { 78, 161, 186 },
        { 78, 100, 186 }
    ],
    [
        { 98, 102, 165 },
        { 78, 98, 102 },
        { 78, 98, 165 },
        { 78, 102, 165 }
    ],
    [
        { 102, 161, 187 },
        { 78, 102, 161 },
        { 78, 102, 187 },
        { 78, 161, 187 }
    ],
    [
        { 6, 7, 171 },
        { 7, 11, 165, 171 },
        { 6, 165, 171 },
        { 6, 7, 11 },
        { 6, 11, 165 }
    ],
    [
        { 119, 173, 175 },
        { 172, 173, 175 },
        { 119, 172, 175 },
        { 119, 172, 173 }
    ],
    [
        { 18, 113, 175 },
        { 18, 119, 175 },
        { 18, 113, 119 },
        { 113, 119, 175 }
    ],
    [
        { 102, 161, 176 },
        { 102, 165, 176 },
        { 102, 161, 165 },
        { 161, 165, 176 }
    ],
    [
        { 13, 165, 176 },
        { 13, 176, 178 },
        { 13, 165, 177, 178 },
        { 176, 177, 178 },
        { 165, 176, 177 }
    ],
    [
        { 13, 176, 188 },
        { 13, 161, 188 },
        { 161, 176, 188 },
        { 13, 161, 176 }
    ],
    [
        { 13, 188, 189 },
        { 13, 161, 188 },
        { 161, 188, 189, 190 },
        { 13, 161, 190 },
        { 13, 189, 190 }
    ],
    [
        { 114, 119, 161, 191 },
        { 118, 119, 161, 190 },
        { 114, 118, 119 },
        { 114, 118, 190, 191 },
        { 161, 190, 191 }
    ],
    [
        { 11, 18, 121 },
        { 13, 18, 121 },
        { 11, 13, 18 },
        { 11, 13, 121 }
    ],
    [
        { 11, 18, 172 },
        { 11, 18, 125 },
        { 18, 125, 172 },
        { 11, 125, 172 }
    ],
    [
        { 11, 13, 109 },
        { 11, 109, 165 },
        { 13, 109, 165 },
        { 11, 13, 165 }
    ],
    [
        { 33, 62, 180 },
        { 62, 130, 180 },
        { 33, 62, 130 },
        { 33, 130, 180 }
    ],
    [
        { 36, 134, 180 },
        { 36, 130, 180 },
        { 36, 130, 134 },
        { 130, 134, 180 }
    ],
    [
        { 28, 36, 180 },
        { 27, 28, 33, 36 },
        { 33, 36, 180 },
        { 27, 28, 180 },
        { 27, 33, 180 }
    ],
    [
        { 144, 148, 181, 182 },
        { 144, 181, 192 },
        { 181, 192, 193, 197 },
        { 144, 145, 192, 195 },
        { 144, 145, 148 },
        { 193, 194, 195, 198 },
        { 192, 193, 195 },
        { 145, 148, 196, 198 },
        { 193, 194, 197 },
        { 182, 194, 196, 197 },
        { 148, 182, 196 },
        { 181, 182, 197 },
        { 145, 195, 198 },
        { 194, 196, 198 }
    ],
    [
        { 33, 36, 199 },
        { 36, 181, 199 },
        { 33, 36, 144, 181 },
        { 144, 181, 199 },
        { 33, 144, 199 }
    ],
    [
        { 36, 53, 184 },
        { 36, 53, 181 },
        { 53, 181, 184 },
        { 36, 181, 184 }
    ],
    [
        { 1, 77, 155 },
        { 77, 155, 161 },
        { 1, 77, 161 },
        { 1, 155, 161 }
    ],
    [
        { 55, 77, 155 },
        { 33, 55, 77 },
        { 33, 55, 155 },
        { 33, 77, 155 }
    ],
    [
        { 33, 62, 77 },
        { 62, 77, 130 },
        { 33, 77, 130 },
        { 33, 62, 130 }
    ],
    [
        { 1, 77, 161 },
        { 77, 130, 161 },
        { 1, 62, 130, 161 },
        { 1, 62, 77 },
        { 62, 77, 130 }
    ],
    [
        { 79, 84, 163, 165 },
        { 78, 84, 165 },
        { 78, 163, 165 },
        { 78, 79, 84 },
        { 78, 79, 163 }
    ],
    [
        { 100, 161, 163 },
        { 78, 100, 161 },
        { 78, 161, 163 },
        { 78, 100, 163 }
    ],
    [
        { 102, 161, 165 },
        { 78, 102, 161 },
        { 78, 102, 165 },
        { 78, 161, 165 }
    ],
    [
        { 7, 11, 165, 171 },
        { 165, 171, 172, 200 },
        { 7, 171, 200 },
        { 7, 11, 172, 200 },
        { 11, 165, 172 }
    ],
    [
        { 18, 119, 175 },
        { 18, 172, 175 },
        { 18, 119, 172 },
        { 119, 172, 175 }
    ],
    [
        { 13, 161, 176 },
        { 13, 165, 176 },
        { 13, 161, 165 },
        { 161, 165, 176 }
    ],
    [
        { 13, 18, 119, 161 },
        { 118, 119, 161, 190 },
        { 13, 18, 118, 190 },
        { 13, 161, 190 },
        { 18, 118, 119 }
    ],
    [
        { 11, 13, 165 },
        { 11, 165, 172 },
        { 13, 18, 165, 172 },
        { 11, 18, 172 },
        { 11, 13, 18 }
    ],
    [
        { 33, 36, 180 },
        { 36, 130, 180 },
        { 33, 36, 130 },
        { 33, 130, 180 }
    ],
    [
        { 33, 36, 155, 184, 201, 202 },
        { 36, 181, 184 },
        { 33, 36, 144, 181 },
        { 181, 184, 192, 202 },
        { 144, 155, 192, 201 },
        { 33, 144, 155 },
        { 144, 181, 192 },
        { 192, 201, 202 }
    ],
    [
        { 77, 130, 161 },
        { 33, 77, 130 },
        { 33, 130, 155, 161 },
        { 33, 77, 155 },
        { 77, 155, 161 }
    ],
    [
        { 161, 163, 165 },
        { 78, 161, 165 },
        { 78, 161, 163 },
        { 78, 163, 165 }
    ],
    [
        { 165, 171, 203, 204 },
        { 165, 172, 203 },
        { 172, 200, 203, 204 },
        { 165, 171, 172, 200 },
        { 171, 200, 204 }
    ],
    [
        { 13, 18, 165, 172 },
        { 119, 161, 165, 172 },
        { 13, 18, 119, 161 },
        { 13, 161, 165 },
        { 18, 119, 172 }
    ],
    [
        { 33, 130, 155, 161 },
        { 119, 130, 161 },
        { 36, 119, 130, 184 },
        { 33, 36, 155, 184, 201, 202 },
        { 33, 36, 130 },
        { 155, 161, 201 },
        { 119, 161, 201, 202 },
        { 119, 184, 202 }
    ],
    [
        { 161, 163, 205 },
        { 161, 203, 205 },
        { 163, 165, 203, 205 },
        { 161, 163, 165 },
        { 161, 165, 203 }
    ],
    [
        { 119, 161, 165, 172 },
        { 165, 172, 203 },
        { 119, 172, 203 },
        { 161, 165, 203 },
        { 119, 161, 203 }
    ],
    [
        { 119, 161, 203 },
        { 161, 203, 205 },
        { 130, 161, 205 },
        { 119, 130, 161 },
        { 119, 203, 206 },
        { 119, 130, 206 },
        { 130, 205, 206 },
        { 203, 205, 206 }
    ]
]
/* 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, 2, 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, 6, 1, 1, 1, 1, 2, 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, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2,
1, 1, 1, 1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 3, 1, 1, 2, 
1, 3, 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>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <12, 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>, <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>, <6, 2>, <4, 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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <24, 3>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2,
1>, <4, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <4, 
1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2> ]