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