/* Defining polynomial */
x^2 + 114
/* Minimal vectors */
[
    <12, w - 5>,
    <-w + 19, 2*w + 2>,
    <-w + 31, 3*w - 3>,
    <60, 5*w - 24>,
    <w + 6, -12>,
    <-2*w + 26, 3*w + 6>,
    <-w + 32, 3*w - 6>,
    <-2*w + 39, 4*w>,
    <-3*w + 8, 2*w + 23>,
    <4*w + 36, w - 52>,
    <w + 44, 3*w - 29>,
    <-3*w + 72, 7*w - 6>,
    <-4*w + 15, 3*w + 29>,
    <5*w + 16, -w - 52>,
    <w + 31, 2*w - 23>,
    <-4*w + 66, 7*w + 6>,
    <-2*w + 3, w + 15>,
    <w + 5, -10>,
    <w + 6, -10>,
    <-w + 8, w + 5>,
    <w + 4, -10>,
    <13, w - 5>,
    <w + 18, w - 15>,
    <-2*w + 4, w + 16>,
    <-w + 8, w + 6>,
    <14, w - 6>,
    <w + 20, w - 16>,
    <-6*w + 6, 3*w + 52>,
    <-3*w + 22, 3*w + 18>,
    <2*w + 23, w - 28>,
    <-2*w + 27, 3*w + 7>,
    <50, 4*w - 21>,
    <3*w + 16, -34>,
    <w + 3, -12>,
    <-2*w + 5, w + 20>,
    <-w + 8, w + 9>,
    <-w + 18, 2*w + 6>,
    <-2*w + 6, w + 18>,
    <-w + 9, w + 8>,
    <12, w - 3>,
    <-w + 20, 2*w + 5>,
    <w + 16, w - 16>,
    <-2*w + 26, 3*w + 10>,
    <7*w + 42, w - 85>,
    <-6*w + 43, 6*w + 43>,
    <-5*w + 59, 7*w + 27>,
    <5*w + 68, 4*w - 75>,
    <-2*w + 3, w + 19>,
    <5*w + 10, -w - 54>,
    <3*w + 13, -35>,
    <w + 27, 2*w - 20>,
    <-2*w + 37, 4*w + 6>,
    <-w + 64, 6*w - 14>,
    <4*w + 6, -w - 42>,
    <-3*w + 10, 2*w + 26>,
    <w + 15, w - 15>,
    <-2*w + 15, 2*w + 15>,
    <2*w + 19, w - 27>,
    <-w + 30, 3*w>,
    <-2*w + 2, w + 19>,
    <w + 5, -12>,
    <5*w + 24, -60>,
    <-2*w + 36, 4*w + 5>,
    <-4*w + 5, 2*w + 36>,
    <3*w + 14, -34>,
    <w + 29, 2*w - 21>,
    <-3*w + 34, 4*w + 15>,
    <36, 3*w - 14>,
    <w + 17, w - 16>,
    <-w + 7, w + 7>,
    <-3*w + 10, 2*w + 25>,
    <2*w + 33, 2*w - 32>,
    <w + 52, 4*w - 30>,
    <-4*w + 16, 3*w + 32>,
    <5*w + 60, 3*w - 73>,
    <-2*w + 73, 7*w - 11>,
    <7*w + 11, -2*w - 73>,
    <-3*w + 32, 4*w + 16>,
    <3*w + 73, 5*w - 60>,
    <-46*w + 80, 26*w + 413>,
    <-13*w + 89, 13*w + 89>,
    <20*w + 333, 20*w - 333>,
    <-26*w + 413, 46*w + 80>,
    <15*w + 97, 2*w - 186>,
    <48*w + 106, -11*w - 510>,
    <2*w + 186, 15*w - 97>,
    <-11*w + 510, 48*w - 106>,
    <-4*w + 4, 2*w + 37>,
    <2*w + 69, 5*w - 48>,
    <13*w + 5, -5*w - 128>,
    <-2*w + 49, 5*w - 1>,
    <7*w + 58, 2*w - 92>,
    <w + 99, 8*w - 51>,
    <3*w + 50, 3*w - 50>,
    <-12*w + 94, 13*w + 77>,
    <-2*w + 37, 4*w + 4>,
    <5*w + 48, 2*w - 69>,
    <-7*w + 24, 5*w + 58>,
    <-w + 42, 4*w - 8>,
    <3*w + 85, 6*w - 65>,
    <5*w + 1, -2*w - 49>,
    <8*w + 51, w - 99>,
    <2*w + 92, 7*w - 58>,
    <-5*w + 128, 13*w - 5>,
    <-13*w + 77, 12*w + 94>,
    <-w + 6, w + 7>,
    <-3*w + 18, 3*w + 22>,
    <w + 28, 2*w - 23>,
    <34, 3*w - 16>,
    <-3*w + 7, 2*w + 27>,
    <11, w - 5>,
    <-4*w + 2, 2*w + 35>,
    <2*w + 37, 2*w - 35>,
    <-23*w + 132, 21*w + 146>,
    <25*w + 146, -292>,
    <2*w + 278, 21*w - 146>,
    <3*w + 30, w - 41>,
    <-w + 7, w + 6>,
    <2*w + 24, w - 29>,
    <-3*w + 33, 4*w + 12>,
    <4*w + 11, -w - 41>,
    <3*w + 5, -w - 29>,
    <13, w - 6>,
    <-w + 45, 4*w - 12>,
    <-2*w + 52, 5*w - 6>,
    <-3*w + 46, 5*w + 6>,
    <1, 0>,
    <-w + 22, 2*w>,
    <w + 5, -11>,
    <10, w - 3>,
    <10, w - 2>,
    <0, 1>,
    <11, w - 3>,
    <w + 2, -11>,
    <w + 2, -10>,
    <11, w - 2>,
    <2*w + 5, -22>,
    <3*w + 7, -33>,
    <w + 13, w - 13>,
    <-3*w + 15, 2*w + 28>,
    <-2*w + 17, 2*w + 17>,
    <3*w + 18, w - 35>,
    <22, 2*w - 5>,
    <-2*w + 28, 3*w + 15>,
    <33, 3*w - 7>,
    <w + 35, 3*w - 18>,
    <-w + 19, 2*w + 6>,
    <w + 3, -11>,
    <w + 3, -10>,
    <34, 3*w - 13>,
    <w + 85, 7*w - 42>,
    <3*w + 1, -w - 30>,
    <-5*w + 2, 2*w + 49>,
    <4*w + 17, -46>,
    <-w + 19, 2*w + 3>,
    <2*w + 20, w - 27>,
    <-4*w + 29, 4*w + 29>,
    <-w + 30, 3*w - 1>,
    <46, 4*w - 17>,
    <3*w + 47, 3*w - 47>,
    <-2*w + 49, 5*w + 2>,
    <3*w + 13, -34>,
    <35, 3*w - 13>,
    <2*w + 8, -23>,
    <11, w - 4>,
    <58, 5*w - 24>,
    <34, 3*w - 14>,
    <w + 4, -12>,
    <10, w - 4>,
    <12, w - 4>,
    <w + 4, -11>,
    <-2*w + 3, w + 18>,
    <2*w + 21, w - 27>,
    <-3*w + 22, 3*w + 20>,
    <24, 2*w - 9>,
    <5*w + 24, -58>,
    <-13*w + 19, 7*w + 118>,
    <2*w + 45, 3*w - 38>,
    <-11*w + 64, 10*w + 80>,
    <-5*w + 11, 3*w + 44>,
    <-5*w + 23, 4*w + 39>,
    <-3*w + 56, 6*w + 6>,
    <-6*w + 6, 3*w + 56>,
    <3*w + 38, 2*w - 45>,
    <-4*w + 39, 5*w + 23>,
    <-3*w + 44, 5*w + 11>,
    <-10*w + 80, 11*w + 64>,
    <-7*w + 118, 13*w + 19>,
    <5*w + 24, -59>,
    <4*w + 31, w - 52>,
    <-16*w + 39, 10*w + 139>,
    <-12*w + 176, 20*w + 43>,
    <17*w + 48, -3*w - 185>,
    <-18*w + 88, 15*w + 138>,
    <-15*w + 138, 18*w + 88>,
    <-3*w + 185, 17*w - 48>,
    <-20*w + 43, 12*w + 176>,
    <-10*w + 139, 16*w + 39>,
    <4*w + 8, -w - 42>,
    <-7*w + 95, 11*w + 28>,
    <-11*w + 28, 7*w + 95>,
    <2*w + 22, w - 30>,
    <-w + 29, 3*w - 3>,
    <w + 6, -11>,
    <3*w + 3, -w - 29>,
    <w + 30, 2*w - 22>,
    <-w + 8, w + 8>,
    <23, 2*w - 8>,
    <3*w + 2, -w - 31>,
    <-w + 18, 2*w + 3>,
    <2*w + 20, w - 28>,
    <-w + 6, w + 8>,
    <2*w + 9, -22>,
    <-w + 20, 2*w + 2>,
    <w + 28, 2*w - 20>,
    <-w + 31, 3*w - 2>,
    <2*w + 33, 2*w - 33>,
    <-6*w + 41, 6*w + 41>,
    <w + 52, 4*w - 31>,
    <12, w - 6>,
    <1, -1>,
    <-w + 6, w + 6>
]
/* Voronoi top cells */
[
    { 1, 2, 3, 4 },
    { 5, 6, 7, 8 },
    { 9, 10, 11, 12 },
    { 13, 14, 15, 16 },
    { 17, 18, 19, 20 },
    { 18, 21, 22, 23 },
    { 21, 22, 24, 25 },
    { 19, 20, 26, 27 },
    { 28, 29, 30, 31, 32 },
    { 28, 29, 30, 33 },
    { 34, 35, 36, 37 },
    { 38, 39, 40, 41 },
    { 42, 43, 44, 45, 46, 47 },
    { 48, 49, 50, 51, 52, 53 },
    { 42, 50, 52, 54, 55 },
    { 56, 57, 58, 59 },
    { 60, 61, 62, 63 },
    { 64, 65, 66, 67, 68 },
    { 66, 67, 68, 69 },
    { 2, 70, 71, 72, 73 },
    { 1, 64, 65, 66 },
    { 1, 2, 4, 64 },
    { 1, 74, 75, 76 },
    { 61, 77, 78, 79 },
    { 80, 81, 82, 83 },
    { 80, 83, 84, 85, 86, 87 },
    { 1, 76, 88, 89 },
    { 90, 91, 92, 93 },
    { 92, 93, 94, 95 },
    { 61, 77, 96, 97 },
    { 96, 97, 98, 99, 100 },
    { 101, 102, 103, 104 },
    { 94, 102, 103, 105 },
    { 106, 107, 108, 109 },
    { 107, 108, 110, 111 },
    { 112, 113, 114, 115, 116 },
    { 5, 6, 8, 117 },
    { 113, 118, 119, 120 },
    { 5, 7, 8, 121 },
    { 112, 122, 123, 124 },
    { 9, 112, 122, 123 },
    { 9, 11, 112, 125 },
    { 9, 10, 11, 123 },
    { 13, 14, 15, 118 },
    { 15, 113, 118, 119 },
    { 13, 15, 113, 126 },
    { 18, 19, 20, 127 },
    { 18, 21, 22, 127 },
    { 18, 20, 22, 128 },
    { 21, 22, 25, 127 },
    { 19, 20, 26, 127 },
    { 29, 30, 31, 129 },
    { 29, 30, 33, 118 },
    { 34, 130, 131, 132 },
    { 34, 35, 36, 133 },
    { 34, 36, 131, 132 },
    { 36, 131, 132, 134 },
    { 39, 127, 135, 136 },
    { 134, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146 },
    { 36, 133, 134, 137, 147 },
    { 39, 40, 127, 135 },
    { 39, 40, 41, 148 },
    { 40, 127, 135, 149 },
    { 42, 48, 50, 150 },
    { 42, 43, 44, 45, 55, 151 },
    { 48, 51, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161 },
    { 42, 48, 50, 51, 52, 55 },
    { 42, 155, 162, 163 },
    { 56, 57, 58, 164, 165 },
    { 60, 61, 70, 166 },
    { 60, 61, 63, 167 },
    { 34, 130, 165, 168 },
    { 130, 132, 168, 169 },
    { 21, 127, 149, 170 },
    { 40, 149, 170, 171 },
    { 65, 68, 172, 173, 174, 175 },
    { 1, 65, 66, 68, 69 },
    { 1, 2, 70, 176 },
    { 2, 65, 70, 71, 72 },
    { 1, 2, 64, 65 },
    { 1, 74, 76, 88 },
    { 88, 177, 178, 179 },
    { 178, 180, 181, 182 },
    { 183, 184, 185, 186 },
    { 96, 184, 187, 188 },
    { 61, 77, 78, 96 },
    { 61, 70, 166, 189 },
    { 183, 184, 185, 190 },
    { 80, 81, 83, 84, 86 },
    { 94, 101, 191, 192 },
    { 86, 101, 193, 194 },
    { 84, 91, 195, 196 },
    { 91, 94, 197, 198 },
    { 1, 88, 89, 199 },
    { 88, 91, 92, 199 },
    { 92, 94, 199, 200 },
    { 91, 92, 93, 94 },
    { 61, 96, 97, 99 },
    { 96, 99, 101, 103 },
    { 94, 101, 102, 103 },
    { 94, 99, 103, 201 },
    { 106, 107, 108, 111 },
    { 106, 108, 202, 203 },
    { 8, 112, 113, 115 },
    { 5, 8, 113, 117 },
    { 113, 117, 118, 120 },
    { 5, 8, 112, 121 },
    { 112, 121, 123, 124 },
    { 9, 11, 112, 123 },
    { 13, 15, 113, 118 },
    { 18, 20, 22, 127 },
    { 22, 25, 127, 129 },
    { 20, 26, 127, 204 },
    { 29, 30, 118, 129 },
    { 30, 118, 205, 206 },
    { 34, 130, 132, 165 },
    { 34, 36, 132, 133 },
    { 36, 132, 133, 134 },
    { 39, 127, 136, 148 },
    { 133, 134, 136, 137, 143, 148 },
    { 39, 40, 127, 148 },
    { 40, 127, 149, 171 },
    { 56, 133, 148, 207 },
    { 42, 48, 70, 150 },
    { 42, 43, 48, 51, 55, 154, 155, 156, 159 },
    { 42, 70, 155, 162 },
    { 56, 57, 164, 165, 171, 208 },
    { 60, 61, 70, 167 },
    { 70, 209, 210, 211 },
    { 111, 132, 168, 212 },
    { 130, 132, 165, 168 },
    { 127, 149, 170, 171 },
    { 25, 127, 129, 170 },
    { 129, 170, 171, 213, 214 },
    { 70, 172, 215, 216 },
    { 129, 171, 172, 175, 213 },
    { 1, 69, 129, 172, 175 },
    { 65, 70, 71, 172 },
    { 1, 65, 68, 69, 172, 175 },
    { 1, 2, 65, 70 },
    { 1, 74, 88, 178 },
    { 88, 91, 178, 179 },
    { 70, 178, 180, 181 },
    { 70, 180, 186, 217 },
    { 70, 184, 185, 186 },
    { 96, 101, 184, 187 },
    { 61, 78, 96, 184 },
    { 61, 70, 189, 190 },
    { 70, 184, 185, 190 },
    { 81, 84, 86, 94 },
    { 86, 94, 101, 191 },
    { 84, 86, 91, 101, 193, 196 },
    { 84, 91, 94, 198 },
    { 1, 88, 91, 199 },
    { 91, 92, 94, 199 },
    { 61, 96, 99, 101 },
    { 94, 99, 101, 103 },
    { 94, 99, 199, 218 },
    { 61, 106, 202, 203 },
    { 106, 108, 111, 203 },
    { 5, 8, 112, 113 },
    { 5, 113, 117, 118 },
    { 5, 112, 121, 123 },
    { 11, 13, 112, 113, 118, 123 },
    { 20, 22, 127, 129, 204 },
    { 30, 118, 129, 205 },
    { 1, 118, 205, 206 },
    { 34, 132, 133, 165 },
    { 127, 132, 133, 134, 136, 148 },
    { 40, 127, 148, 171 },
    { 56, 133, 148, 165, 171 },
    { 42, 48, 70, 155 },
    { 48, 155, 164, 165, 171, 208 },
    { 61, 70, 167, 210 },
    { 70, 165, 210, 211 },
    { 61, 111, 165, 210 },
    { 111, 132, 165, 168 },
    { 127, 129, 170, 171 },
    { 70, 171, 172, 215 },
    { 1, 129, 171, 172 },
    { 1, 65, 70, 172 },
    { 1, 70, 178, 219 },
    { 1, 88, 91, 178 },
    { 70, 178, 180, 184, 186 },
    { 61, 96, 101, 184 },
    { 61, 70, 184, 190 },
    { 84, 86, 91, 94, 101 },
    { 1, 91, 94, 199 },
    { 61, 94, 99, 101 },
    { 1, 61, 94, 99, 199 },
    { 61, 106, 111, 203 },
    { 5, 112, 113, 118, 123 },
    { 118, 123, 127, 129, 204 },
    { 1, 118, 129, 205 },
    { 127, 132, 133, 148, 165, 171 },
    { 48, 70, 155, 165, 171 },
    { 61, 70, 165, 210 },
    { 61, 111, 132, 165 },
    { 1, 127, 129, 171 },
    { 1, 70, 171, 172 },
    { 1, 70, 91, 178 },
    { 70, 91, 101, 178, 184 },
    { 61, 70, 101, 184 },
    { 1, 61, 91, 94, 101 },
    { 61, 106, 111, 132 },
    { 5, 118, 123, 127 },
    { 1, 118, 127, 129 },
    { 70, 127, 132, 165, 171 },
    { 61, 70, 132, 165 },
    { 1, 70, 127, 171 },
    { 1, 61, 70, 91, 101 },
    { 61, 106, 132, 220 },
    { 1, 5, 118, 127 },
    { 1, 61, 70, 127, 132 },
    { 1, 5, 61, 127, 132, 220 },
    { 5, 127, 132, 220, 221, 222 }
]
/* Faces of top cells */
[
    [
        { 2, 3, 4 },
        { 1, 3, 4 },
        { 1, 2, 4 },
        { 1, 2, 3 }
    ],
    [
        { 6, 7, 8 },
        { 5, 7, 8 },
        { 5, 6, 8 },
        { 5, 6, 7 }
    ],
    [
        { 10, 11, 12 },
        { 9, 11, 12 },
        { 9, 10, 12 },
        { 9, 10, 11 }
    ],
    [
        { 14, 15, 16 },
        { 13, 15, 16 },
        { 13, 14, 16 },
        { 13, 14, 15 }
    ],
    [
        { 18, 19, 20 },
        { 17, 19, 20 },
        { 17, 18, 20 },
        { 17, 18, 19 }
    ],
    [
        { 18, 22, 23 },
        { 21, 22, 23 },
        { 18, 21, 23 },
        { 18, 21, 22 }
    ],
    [
        { 22, 24, 25 },
        { 21, 22, 25 },
        { 21, 22, 24 },
        { 21, 24, 25 }
    ],
    [
        { 20, 26, 27 },
        { 19, 26, 27 },
        { 19, 20, 27 },
        { 19, 20, 26 }
    ],
    [
        { 29, 30, 31 },
        { 28, 29, 31, 32 },
        { 28, 29, 30 },
        { 28, 30, 32 },
        { 30, 31, 32 }
    ],
    [
        { 29, 30, 33 },
        { 28, 29, 30 },
        { 28, 30, 33 },
        { 28, 29, 33 }
    ],
    [
        { 35, 36, 37 },
        { 34, 36, 37 },
        { 34, 35, 37 },
        { 34, 35, 36 }
    ],
    [
        { 39, 40, 41 },
        { 38, 40, 41 },
        { 38, 39, 41 },
        { 38, 39, 40 }
    ],
    [
        { 42, 43, 46, 47 },
        { 42, 43, 44, 45 },
        { 44, 45, 46, 47 },
        { 42, 45, 46 },
        { 43, 44, 47 }
    ],
    [
        { 48, 50, 51, 52 },
        { 48, 49, 51, 53 },
        { 48, 49, 50 },
        { 49, 50, 52, 53 },
        { 51, 52, 53 }
    ],
    [
        { 42, 50, 52, 55 },
        { 42, 50, 54 },
        { 42, 54, 55 },
        { 50, 52, 54 },
        { 52, 54, 55 }
    ],
    [
        { 57, 58, 59 },
        { 56, 58, 59 },
        { 56, 57, 59 },
        { 56, 57, 58 }
    ],
    [
        { 61, 62, 63 },
        { 60, 62, 63 },
        { 60, 61, 63 },
        { 60, 61, 62 }
    ],
    [
        { 64, 66, 67 },
        { 64, 65, 67, 68 },
        { 64, 65, 66 },
        { 65, 66, 68 },
        { 66, 67, 68 }
    ],
    [
        { 66, 67, 68 },
        { 67, 68, 69 },
        { 66, 68, 69 },
        { 66, 67, 69 }
    ],
    [
        { 2, 70, 73 },
        { 70, 71, 73 },
        { 2, 70, 71, 72 },
        { 71, 72, 73 },
        { 2, 72, 73 }
    ],
    [
        { 1, 65, 66 },
        { 64, 65, 66 },
        { 1, 64, 66 },
        { 1, 64, 65 }
    ],
    [
        { 1, 2, 4 },
        { 2, 4, 64 },
        { 1, 4, 64 },
        { 1, 2, 64 }
    ],
    [
        { 74, 75, 76 },
        { 1, 75, 76 },
        { 1, 74, 76 },
        { 1, 74, 75 }
    ],
    [
        { 77, 78, 79 },
        { 61, 78, 79 },
        { 61, 77, 79 },
        { 61, 77, 78 }
    ],
    [
        { 81, 82, 83 },
        { 80, 82, 83 },
        { 80, 81, 83 },
        { 80, 81, 82 }
    ],
    [
        { 84, 85, 86, 87 },
        { 80, 85, 86 },
        { 80, 83, 84, 86 },
        { 80, 83, 85, 87 },
        { 83, 84, 87 }
    ],
    [
        { 1, 76, 89 },
        { 76, 88, 89 },
        { 1, 76, 88 },
        { 1, 88, 89 }
    ],
    [
        { 91, 92, 93 },
        { 90, 92, 93 },
        { 90, 91, 93 },
        { 90, 91, 92 }
    ],
    [
        { 92, 93, 95 },
        { 93, 94, 95 },
        { 92, 93, 94 },
        { 92, 94, 95 }
    ],
    [
        { 77, 96, 97 },
        { 61, 96, 97 },
        { 61, 77, 97 },
        { 61, 77, 96 }
    ],
    [
        { 96, 97, 99 },
        { 97, 98, 99 },
        { 96, 98, 99, 100 },
        { 96, 97, 100 },
        { 97, 98, 100 }
    ],
    [
        { 102, 103, 104 },
        { 101, 103, 104 },
        { 101, 102, 104 },
        { 101, 102, 103 }
    ],
    [
        { 102, 103, 105 },
        { 94, 103, 105 },
        { 94, 102, 103 },
        { 94, 102, 105 }
    ],
    [
        { 107, 108, 109 },
        { 106, 108, 109 },
        { 106, 107, 109 },
        { 106, 107, 108 }
    ],
    [
        { 107, 108, 111 },
        { 107, 108, 110 },
        { 108, 110, 111 },
        { 107, 110, 111 }
    ],
    [
        { 113, 114, 115 },
        { 112, 113, 115 },
        { 112, 113, 114, 116 },
        { 114, 115, 116 },
        { 112, 115, 116 }
    ],
    [
        { 6, 8, 117 },
        { 5, 8, 117 },
        { 5, 6, 8 },
        { 5, 6, 117 }
    ],
    [
        { 113, 119, 120 },
        { 113, 118, 120 },
        { 113, 118, 119 },
        { 118, 119, 120 }
    ],
    [
        { 7, 8, 121 },
        { 5, 7, 8 },
        { 5, 8, 121 },
        { 5, 7, 121 }
    ],
    [
        { 122, 123, 124 },
        { 112, 123, 124 },
        { 112, 122, 124 },
        { 112, 122, 123 }
    ],
    [
        { 9, 122, 123 },
        { 9, 112, 123 },
        { 112, 122, 123 },
        { 9, 112, 122 }
    ],
    [
        { 9, 11, 125 },
        { 11, 112, 125 },
        { 9, 112, 125 },
        { 9, 11, 112 }
    ],
    [
        { 10, 11, 123 },
        { 9, 10, 11 },
        { 9, 11, 123 },
        { 9, 10, 123 }
    ],
    [
        { 13, 14, 15 },
        { 14, 15, 118 },
        { 13, 15, 118 },
        { 13, 14, 118 }
    ],
    [
        { 15, 113, 119 },
        { 15, 113, 118 },
        { 113, 118, 119 },
        { 15, 118, 119 }
    ],
    [
        { 15, 113, 126 },
        { 13, 113, 126 },
        { 13, 15, 126 },
        { 13, 15, 113 }
    ],
    [
        { 18, 19, 20 },
        { 19, 20, 127 },
        { 18, 20, 127 },
        { 18, 19, 127 }
    ],
    [
        { 18, 21, 22 },
        { 18, 22, 127 },
        { 21, 22, 127 },
        { 18, 21, 127 }
    ],
    [
        { 20, 22, 128 },
        { 18, 22, 128 },
        { 18, 20, 128 },
        { 18, 20, 22 }
    ],
    [
        { 21, 22, 25 },
        { 22, 25, 127 },
        { 21, 22, 127 },
        { 21, 25, 127 }
    ],
    [
        { 19, 20, 26 },
        { 20, 26, 127 },
        { 19, 26, 127 },
        { 19, 20, 127 }
    ],
    [
        { 29, 30, 31 },
        { 30, 31, 129 },
        { 29, 31, 129 },
        { 29, 30, 129 }
    ],
    [
        { 29, 30, 33 },
        { 29, 30, 118 },
        { 30, 33, 118 },
        { 29, 33, 118 }
    ],
    [
        { 130, 131, 132 },
        { 34, 131, 132 },
        { 34, 130, 132 },
        { 34, 130, 131 }
    ],
    [
        { 35, 36, 133 },
        { 34, 36, 133 },
        { 34, 35, 133 },
        { 34, 35, 36 }
    ],
    [
        { 36, 131, 132 },
        { 34, 131, 132 },
        { 34, 36, 132 },
        { 34, 36, 131 }
    ],
    [
        { 36, 131, 132 },
        { 131, 132, 134 },
        { 36, 132, 134 },
        { 36, 131, 134 }
    ],
    [
        { 39, 135, 136 },
        { 39, 127, 136 },
        { 127, 135, 136 },
        { 39, 127, 135 }
    ],
    [
        { 134, 136, 137, 143 },
        { 134, 137, 138 },
        { 134, 138, 139, 144 },
        { 134, 136, 139 },
        { 136, 139, 140, 145 },
        { 137, 138, 141, 146 },
        { 141, 142, 143, 145 },
        { 137, 141, 143 },
        { 139, 140, 144 },
        { 140, 142, 144, 146 },
        { 140, 142, 145 },
        { 136, 143, 145 },
        { 138, 144, 146 },
        { 141, 142, 146 }
    ],
    [
        { 36, 133, 134 },
        { 133, 134, 137 },
        { 36, 134, 137, 147 },
        { 36, 133, 147 },
        { 133, 137, 147 }
    ],
    [
        { 39, 40, 135 },
        { 39, 40, 127 },
        { 40, 127, 135 },
        { 39, 127, 135 }
    ],
    [
        { 39, 40, 41 },
        { 40, 41, 148 },
        { 39, 41, 148 },
        { 39, 40, 148 }
    ],
    [
        { 40, 135, 149 },
        { 40, 127, 149 },
        { 40, 127, 135 },
        { 127, 135, 149 }
    ],
    [
        { 42, 50, 150 },
        { 42, 48, 150 },
        { 48, 50, 150 },
        { 42, 48, 50 }
    ],
    [
        { 42, 43, 44, 45 },
        { 43, 44, 55, 151 },
        { 42, 43, 55 },
        { 42, 45, 55, 151 },
        { 44, 45, 151 }
    ],
    [
        { 48, 152, 153, 155, 158, 161 },
        { 48, 51, 154, 155, 156, 159 },
        { 152, 155, 156 },
        { 51, 153, 154, 157, 158, 160 },
        { 152, 156, 157, 159, 160, 161 },
        { 48, 51, 158 },
        { 154, 157, 159 },
        { 153, 160, 161 }
    ],
    [
        { 42, 50, 52, 55 },
        { 42, 48, 50 },
        { 42, 48, 51, 55 },
        { 48, 50, 51, 52 },
        { 51, 52, 55 }
    ],
    [
        { 42, 155, 163 },
        { 155, 162, 163 },
        { 42, 162, 163 },
        { 42, 155, 162 }
    ],
    [
        { 56, 58, 165 },
        { 58, 164, 165 },
        { 56, 57, 164, 165 },
        { 57, 58, 164 },
        { 56, 57, 58 }
    ],
    [
        { 61, 70, 166 },
        { 60, 70, 166 },
        { 60, 61, 166 },
        { 60, 61, 70 }
    ],
    [
        { 61, 63, 167 },
        { 60, 63, 167 },
        { 60, 61, 63 },
        { 60, 61, 167 }
    ],
    [
        { 130, 165, 168 },
        { 34, 130, 165 },
        { 34, 165, 168 },
        { 34, 130, 168 }
    ],
    [
        { 130, 132, 169 },
        { 130, 132, 168 },
        { 132, 168, 169 },
        { 130, 168, 169 }
    ],
    [
        { 21, 149, 170 },
        { 21, 127, 170 },
        { 127, 149, 170 },
        { 21, 127, 149 }
    ],
    [
        { 40, 170, 171 },
        { 40, 149, 170 },
        { 40, 149, 171 },
        { 149, 170, 171 }
    ],
    [
        { 172, 173, 175 },
        { 65, 68, 172, 175 },
        { 65, 172, 173, 174 },
        { 68, 173, 174, 175 },
        { 65, 68, 174 }
    ],
    [
        { 1, 66, 69 },
        { 1, 65, 66 },
        { 1, 65, 68, 69 },
        { 66, 68, 69 },
        { 65, 66, 68 }
    ],
    [
        { 1, 2, 176 },
        { 2, 70, 176 },
        { 1, 70, 176 },
        { 1, 2, 70 }
    ],
    [
        { 2, 65, 70 },
        { 2, 70, 71, 72 },
        { 65, 70, 71 },
        { 65, 71, 72 },
        { 2, 65, 72 }
    ],
    [
        { 1, 2, 65 },
        { 2, 64, 65 },
        { 1, 2, 64 },
        { 1, 64, 65 }
    ],
    [
        { 1, 74, 76 },
        { 74, 76, 88 },
        { 1, 76, 88 },
        { 1, 74, 88 }
    ],
    [
        { 177, 178, 179 },
        { 88, 178, 179 },
        { 88, 177, 179 },
        { 88, 177, 178 }
    ],
    [
        { 178, 181, 182 },
        { 178, 180, 182 },
        { 180, 181, 182 },
        { 178, 180, 181 }
    ],
    [
        { 184, 185, 186 },
        { 183, 185, 186 },
        { 183, 184, 186 },
        { 183, 184, 185 }
    ],
    [
        { 184, 187, 188 },
        { 96, 187, 188 },
        { 96, 184, 188 },
        { 96, 184, 187 }
    ],
    [
        { 77, 78, 96 },
        { 61, 78, 96 },
        { 61, 77, 96 },
        { 61, 77, 78 }
    ],
    [
        { 70, 166, 189 },
        { 61, 166, 189 },
        { 61, 70, 166 },
        { 61, 70, 189 }
    ],
    [
        { 184, 185, 190 },
        { 183, 184, 185 },
        { 183, 185, 190 },
        { 183, 184, 190 }
    ],
    [
        { 81, 84, 86 },
        { 80, 83, 84, 86 },
        { 80, 81, 86 },
        { 80, 81, 83 },
        { 81, 83, 84 }
    ],
    [
        { 94, 191, 192 },
        { 94, 101, 192 },
        { 101, 191, 192 },
        { 94, 101, 191 }
    ],
    [
        { 86, 193, 194 },
        { 86, 101, 194 },
        { 86, 101, 193 },
        { 101, 193, 194 }
    ],
    [
        { 84, 195, 196 },
        { 91, 195, 196 },
        { 84, 91, 196 },
        { 84, 91, 195 }
    ],
    [
        { 91, 94, 198 },
        { 94, 197, 198 },
        { 91, 197, 198 },
        { 91, 94, 197 }
    ],
    [
        { 1, 89, 199 },
        { 1, 88, 89 },
        { 88, 89, 199 },
        { 1, 88, 199 }
    ],
    [
        { 91, 92, 199 },
        { 88, 91, 92 },
        { 88, 92, 199 },
        { 88, 91, 199 }
    ],
    [
        { 92, 94, 200 },
        { 92, 199, 200 },
        { 94, 199, 200 },
        { 92, 94, 199 }
    ],
    [
        { 92, 93, 94 },
        { 91, 92, 93 },
        { 91, 93, 94 },
        { 91, 92, 94 }
    ],
    [
        { 96, 97, 99 },
        { 61, 97, 99 },
        { 61, 96, 97 },
        { 61, 96, 99 }
    ],
    [
        { 96, 99, 103 },
        { 99, 101, 103 },
        { 96, 101, 103 },
        { 96, 99, 101 }
    ],
    [
        { 94, 102, 103 },
        { 101, 102, 103 },
        { 94, 101, 103 },
        { 94, 101, 102 }
    ],
    [
        { 94, 99, 103 },
        { 94, 103, 201 },
        { 99, 103, 201 },
        { 94, 99, 201 }
    ],
    [
        { 107, 108, 111 },
        { 106, 107, 108 },
        { 106, 108, 111 },
        { 106, 107, 111 }
    ],
    [
        { 108, 202, 203 },
        { 106, 108, 203 },
        { 106, 202, 203 },
        { 106, 108, 202 }
    ],
    [
        { 8, 113, 115 },
        { 8, 112, 115 },
        { 112, 113, 115 },
        { 8, 112, 113 }
    ],
    [
        { 8, 113, 117 },
        { 5, 8, 113 },
        { 5, 8, 117 },
        { 5, 113, 117 }
    ],
    [
        { 113, 117, 120 },
        { 113, 118, 120 },
        { 113, 117, 118 },
        { 117, 118, 120 }
    ],
    [
        { 5, 8, 121 },
        { 8, 112, 121 },
        { 5, 8, 112 },
        { 5, 112, 121 }
    ],
    [
        { 121, 123, 124 },
        { 112, 123, 124 },
        { 112, 121, 124 },
        { 112, 121, 123 }
    ],
    [
        { 9, 11, 123 },
        { 11, 112, 123 },
        { 9, 11, 112 },
        { 9, 112, 123 }
    ],
    [
        { 13, 15, 113 },
        { 15, 113, 118 },
        { 13, 113, 118 },
        { 13, 15, 118 }
    ],
    [
        { 18, 20, 22 },
        { 20, 22, 127 },
        { 18, 22, 127 },
        { 18, 20, 127 }
    ],
    [
        { 22, 25, 129 },
        { 22, 25, 127 },
        { 22, 127, 129 },
        { 25, 127, 129 }
    ],
    [
        { 20, 26, 204 },
        { 20, 26, 127 },
        { 26, 127, 204 },
        { 20, 127, 204 }
    ],
    [
        { 29, 30, 118 },
        { 29, 30, 129 },
        { 30, 118, 129 },
        { 29, 118, 129 }
    ],
    [
        { 30, 118, 206 },
        { 30, 205, 206 },
        { 118, 205, 206 },
        { 30, 118, 205 }
    ],
    [
        { 130, 132, 165 },
        { 34, 132, 165 },
        { 34, 130, 132 },
        { 34, 130, 165 }
    ],
    [
        { 36, 132, 133 },
        { 34, 132, 133 },
        { 34, 36, 132 },
        { 34, 36, 133 }
    ],
    [
        { 36, 132, 133 },
        { 132, 133, 134 },
        { 36, 132, 134 },
        { 36, 133, 134 }
    ],
    [
        { 39, 136, 148 },
        { 39, 127, 136 },
        { 127, 136, 148 },
        { 39, 127, 148 }
    ],
    [
        { 133, 137, 143, 148 },
        { 133, 134, 137 },
        { 133, 134, 136, 148 },
        { 134, 136, 137, 143 },
        { 136, 143, 148 }
    ],
    [
        { 39, 40, 148 },
        { 39, 40, 127 },
        { 40, 127, 148 },
        { 39, 127, 148 }
    ],
    [
        { 40, 149, 171 },
        { 40, 127, 171 },
        { 40, 127, 149 },
        { 127, 149, 171 }
    ],
    [
        { 56, 133, 207 },
        { 56, 133, 148 },
        { 56, 148, 207 },
        { 133, 148, 207 }
    ],
    [
        { 42, 70, 150 },
        { 42, 48, 150 },
        { 48, 70, 150 },
        { 42, 48, 70 }
    ],
    [
        { 42, 48, 51, 55 },
        { 42, 48, 155 },
        { 48, 51, 154, 155, 156, 159 },
        { 42, 43, 155, 156 },
        { 43, 55, 154, 159 },
        { 42, 43, 55 },
        { 51, 55, 154 },
        { 43, 156, 159 }
    ],
    [
        { 42, 155, 162 },
        { 42, 70, 155 },
        { 70, 155, 162 },
        { 42, 70, 162 }
    ],
    [
        { 56, 57, 164, 165 },
        { 56, 165, 171 },
        { 164, 165, 171, 208 },
        { 56, 57, 171, 208 },
        { 57, 164, 208 }
    ],
    [
        { 61, 70, 167 },
        { 60, 70, 167 },
        { 60, 61, 167 },
        { 60, 61, 70 }
    ],
    [
        { 70, 210, 211 },
        { 209, 210, 211 },
        { 70, 209, 211 },
        { 70, 209, 210 }
    ],
    [
        { 111, 132, 212 },
        { 111, 132, 168 },
        { 132, 168, 212 },
        { 111, 168, 212 }
    ],
    [
        { 130, 132, 165 },
        { 132, 165, 168 },
        { 130, 132, 168 },
        { 130, 165, 168 }
    ],
    [
        { 149, 170, 171 },
        { 127, 170, 171 },
        { 127, 149, 170 },
        { 127, 149, 171 }
    ],
    [
        { 25, 129, 170 },
        { 25, 127, 170 },
        { 127, 129, 170 },
        { 25, 127, 129 }
    ],
    [
        { 170, 171, 213, 214 },
        { 129, 170, 171 },
        { 129, 171, 213 },
        { 129, 213, 214 },
        { 129, 170, 214 }
    ],
    [
        { 70, 215, 216 },
        { 172, 215, 216 },
        { 70, 172, 216 },
        { 70, 172, 215 }
    ],
    [
        { 129, 171, 213 },
        { 171, 172, 175, 213 },
        { 129, 171, 172 },
        { 129, 172, 175 },
        { 129, 175, 213 }
    ],
    [
        { 1, 69, 129 },
        { 1, 69, 172, 175 },
        { 1, 129, 172 },
        { 129, 172, 175 },
        { 69, 129, 175 }
    ],
    [
        { 65, 70, 71 },
        { 65, 71, 172 },
        { 65, 70, 172 },
        { 70, 71, 172 }
    ],
    [
        { 1, 65, 68, 69 },
        { 1, 69, 172, 175 },
        { 1, 65, 172 },
        { 65, 68, 172, 175 },
        { 68, 69, 175 }
    ],
    [
        { 1, 2, 65 },
        { 2, 65, 70 },
        { 1, 2, 70 },
        { 1, 65, 70 }
    ],
    [
        { 1, 74, 178 },
        { 74, 88, 178 },
        { 1, 88, 178 },
        { 1, 74, 88 }
    ],
    [
        { 91, 178, 179 },
        { 88, 91, 179 },
        { 88, 178, 179 },
        { 88, 91, 178 }
    ],
    [
        { 178, 180, 181 },
        { 70, 178, 181 },
        { 70, 178, 180 },
        { 70, 180, 181 }
    ],
    [
        { 180, 186, 217 },
        { 70, 186, 217 },
        { 70, 180, 186 },
        { 70, 180, 217 }
    ],
    [
        { 184, 185, 186 },
        { 70, 185, 186 },
        { 70, 184, 186 },
        { 70, 184, 185 }
    ],
    [
        { 96, 184, 187 },
        { 101, 184, 187 },
        { 96, 101, 187 },
        { 96, 101, 184 }
    ],
    [
        { 78, 96, 184 },
        { 61, 96, 184 },
        { 61, 78, 184 },
        { 61, 78, 96 }
    ],
    [
        { 70, 189, 190 },
        { 61, 189, 190 },
        { 61, 70, 190 },
        { 61, 70, 189 }
    ],
    [
        { 184, 185, 190 },
        { 70, 184, 185 },
        { 70, 185, 190 },
        { 70, 184, 190 }
    ],
    [
        { 81, 84, 86 },
        { 84, 86, 94 },
        { 81, 86, 94 },
        { 81, 84, 94 }
    ],
    [
        { 86, 94, 191 },
        { 86, 94, 101 },
        { 86, 101, 191 },
        { 94, 101, 191 }
    ],
    [
        { 84, 86, 91, 101 },
        { 91, 101, 193, 196 },
        { 84, 86, 193, 196 },
        { 84, 91, 196 },
        { 86, 101, 193 }
    ],
    [
        { 84, 94, 198 },
        { 84, 91, 198 },
        { 91, 94, 198 },
        { 84, 91, 94 }
    ],
    [
        { 1, 91, 199 },
        { 1, 88, 91 },
        { 88, 91, 199 },
        { 1, 88, 199 }
    ],
    [
        { 91, 92, 94 },
        { 92, 94, 199 },
        { 91, 92, 199 },
        { 91, 94, 199 }
    ],
    [
        { 61, 96, 99 },
        { 96, 99, 101 },
        { 61, 99, 101 },
        { 61, 96, 101 }
    ],
    [
        { 94, 99, 103 },
        { 94, 101, 103 },
        { 99, 101, 103 },
        { 94, 99, 101 }
    ],
    [
        { 94, 99, 218 },
        { 94, 99, 199 },
        { 94, 199, 218 },
        { 99, 199, 218 }
    ],
    [
        { 106, 202, 203 },
        { 61, 202, 203 },
        { 61, 106, 203 },
        { 61, 106, 202 }
    ],
    [
        { 108, 111, 203 },
        { 106, 108, 203 },
        { 106, 111, 203 },
        { 106, 108, 111 }
    ],
    [
        { 5, 8, 113 },
        { 8, 112, 113 },
        { 5, 8, 112 },
        { 5, 112, 113 }
    ],
    [
        { 113, 117, 118 },
        { 5, 113, 117 },
        { 5, 113, 118 },
        { 5, 117, 118 }
    ],
    [
        { 5, 121, 123 },
        { 112, 121, 123 },
        { 5, 112, 123 },
        { 5, 112, 121 }
    ],
    [
        { 11, 13, 118, 123 },
        { 112, 113, 118, 123 },
        { 13, 113, 118 },
        { 11, 13, 112, 113 },
        { 11, 112, 123 }
    ],
    [
        { 20, 22, 129, 204 },
        { 20, 127, 204 },
        { 127, 129, 204 },
        { 22, 127, 129 },
        { 20, 22, 127 }
    ],
    [
        { 30, 118, 129 },
        { 30, 118, 205 },
        { 30, 129, 205 },
        { 118, 129, 205 }
    ],
    [
        { 1, 118, 206 },
        { 1, 205, 206 },
        { 118, 205, 206 },
        { 1, 118, 205 }
    ],
    [
        { 132, 133, 165 },
        { 34, 132, 133 },
        { 34, 132, 165 },
        { 34, 133, 165 }
    ],
    [
        { 133, 134, 136, 148 },
        { 127, 132, 133, 148 },
        { 127, 132, 134, 136 },
        { 127, 136, 148 },
        { 132, 133, 134 }
    ],
    [
        { 40, 148, 171 },
        { 40, 127, 171 },
        { 40, 127, 148 },
        { 127, 148, 171 }
    ],
    [
        { 56, 165, 171 },
        { 56, 148, 171 },
        { 133, 148, 165, 171 },
        { 56, 133, 148 },
        { 56, 133, 165 }
    ],
    [
        { 42, 70, 155 },
        { 42, 48, 155 },
        { 48, 70, 155 },
        { 42, 48, 70 }
    ],
    [
        { 164, 165, 171, 208 },
        { 48, 164, 165 },
        { 48, 155, 165, 171 },
        { 48, 155, 164, 208 },
        { 155, 171, 208 }
    ],
    [
        { 70, 167, 210 },
        { 61, 167, 210 },
        { 61, 70, 167 },
        { 61, 70, 210 }
    ],
    [
        { 165, 210, 211 },
        { 70, 210, 211 },
        { 70, 165, 211 },
        { 70, 165, 210 }
    ],
    [
        { 111, 165, 210 },
        { 61, 165, 210 },
        { 61, 111, 210 },
        { 61, 111, 165 }
    ],
    [
        { 111, 132, 165 },
        { 132, 165, 168 },
        { 111, 132, 168 },
        { 111, 165, 168 }
    ],
    [
        { 129, 170, 171 },
        { 127, 129, 170 },
        { 127, 170, 171 },
        { 127, 129, 171 }
    ],
    [
        { 70, 171, 215 },
        { 70, 172, 215 },
        { 171, 172, 215 },
        { 70, 171, 172 }
    ],
    [
        { 1, 129, 171 },
        { 1, 129, 172 },
        { 1, 171, 172 },
        { 129, 171, 172 }
    ],
    [
        { 1, 65, 70 },
        { 1, 65, 172 },
        { 65, 70, 172 },
        { 1, 70, 172 }
    ],
    [
        { 1, 178, 219 },
        { 70, 178, 219 },
        { 1, 70, 219 },
        { 1, 70, 178 }
    ],
    [
        { 1, 91, 178 },
        { 88, 91, 178 },
        { 1, 88, 91 },
        { 1, 88, 178 }
    ],
    [
        { 178, 180, 184, 186 },
        { 70, 184, 186 },
        { 70, 180, 186 },
        { 70, 178, 184 },
        { 70, 178, 180 }
    ],
    [
        { 61, 96, 184 },
        { 96, 101, 184 },
        { 61, 101, 184 },
        { 61, 96, 101 }
    ],
    [
        { 70, 184, 190 },
        { 61, 184, 190 },
        { 61, 70, 184 },
        { 61, 70, 190 }
    ],
    [
        { 84, 91, 94 },
        { 84, 86, 91, 101 },
        { 91, 94, 101 },
        { 86, 94, 101 },
        { 84, 86, 94 }
    ],
    [
        { 1, 91, 94 },
        { 91, 94, 199 },
        { 1, 94, 199 },
        { 1, 91, 199 }
    ],
    [
        { 61, 94, 99 },
        { 94, 99, 101 },
        { 61, 94, 101 },
        { 61, 99, 101 }
    ],
    [
        { 1, 94, 199 },
        { 1, 61, 94 },
        { 1, 61, 99, 199 },
        { 94, 99, 199 },
        { 61, 94, 99 }
    ],
    [
        { 106, 111, 203 },
        { 61, 111, 203 },
        { 61, 106, 203 },
        { 61, 106, 111 }
    ],
    [
        { 5, 118, 123 },
        { 112, 113, 118, 123 },
        { 5, 112, 123 },
        { 5, 113, 118 },
        { 5, 112, 113 }
    ],
    [
        { 118, 123, 129, 204 },
        { 118, 127, 129 },
        { 127, 129, 204 },
        { 123, 127, 204 },
        { 118, 123, 127 }
    ],
    [
        { 1, 118, 129 },
        { 1, 118, 205 },
        { 1, 129, 205 },
        { 118, 129, 205 }
    ],
    [
        { 133, 148, 165, 171 },
        { 127, 132, 165, 171 },
        { 127, 148, 171 },
        { 127, 132, 133, 148 },
        { 132, 133, 165 }
    ],
    [
        { 70, 165, 171 },
        { 48, 70, 165 },
        { 48, 155, 165, 171 },
        { 70, 155, 171 },
        { 48, 70, 155 }
    ],
    [
        { 70, 165, 210 },
        { 61, 165, 210 },
        { 61, 70, 210 },
        { 61, 70, 165 }
    ],
    [
        { 111, 132, 165 },
        { 61, 132, 165 },
        { 61, 111, 132 },
        { 61, 111, 165 }
    ],
    [
        { 1, 129, 171 },
        { 1, 127, 129 },
        { 1, 127, 171 },
        { 127, 129, 171 }
    ],
    [
        { 1, 70, 171 },
        { 1, 70, 172 },
        { 1, 171, 172 },
        { 70, 171, 172 }
    ],
    [
        { 1, 91, 178 },
        { 70, 91, 178 },
        { 1, 70, 91 },
        { 1, 70, 178 }
    ],
    [
        { 70, 178, 184 },
        { 91, 101, 178, 184 },
        { 70, 101, 184 },
        { 70, 91, 101 },
        { 70, 91, 178 }
    ],
    [
        { 61, 70, 184 },
        { 70, 101, 184 },
        { 61, 101, 184 },
        { 61, 70, 101 }
    ],
    [
        { 1, 61, 94 },
        { 61, 94, 101 },
        { 1, 61, 91, 101 },
        { 1, 91, 94 },
        { 91, 94, 101 }
    ],
    [
        { 106, 111, 132 },
        { 61, 111, 132 },
        { 61, 106, 132 },
        { 61, 106, 111 }
    ],
    [
        { 5, 118, 123 },
        { 118, 123, 127 },
        { 5, 123, 127 },
        { 5, 118, 127 }
    ],
    [
        { 1, 118, 129 },
        { 1, 118, 127 },
        { 1, 127, 129 },
        { 118, 127, 129 }
    ],
    [
        { 70, 165, 171 },
        { 127, 132, 165, 171 },
        { 70, 127, 171 },
        { 70, 127, 132 },
        { 70, 132, 165 }
    ],
    [
        { 70, 132, 165 },
        { 61, 132, 165 },
        { 61, 70, 132 },
        { 61, 70, 165 }
    ],
    [
        { 1, 70, 171 },
        { 1, 70, 127 },
        { 1, 127, 171 },
        { 70, 127, 171 }
    ],
    [
        { 1, 61, 70 },
        { 1, 61, 91, 101 },
        { 61, 70, 101 },
        { 70, 91, 101 },
        { 1, 70, 91 }
    ],
    [
        { 106, 132, 220 },
        { 61, 132, 220 },
        { 61, 106, 132 },
        { 61, 106, 220 }
    ],
    [
        { 1, 5, 118 },
        { 1, 118, 127 },
        { 1, 5, 127 },
        { 5, 118, 127 }
    ],
    [
        { 1, 61, 70 },
        { 1, 70, 127 },
        { 1, 61, 127, 132 },
        { 61, 70, 132 },
        { 70, 127, 132 }
    ],
    [
        { 1, 5, 61, 220 },
        { 5, 127, 132, 220 },
        { 1, 61, 127, 132 },
        { 1, 5, 127 },
        { 61, 132, 220 }
    ],
    [
        { 5, 127, 132, 220 },
        { 5, 127, 221, 222 },
        { 132, 220, 221, 222 },
        { 5, 220, 222 },
        { 127, 132, 221 }
    ]
]
/* 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, 12, 1, 1, 1, 1, 1, 3, 12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 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, 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, 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>, <24, 3>, <2,
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <24, 3>, <2, 1>, <2, 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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <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>, <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>, <6, 2> ]