/* Defining polynomial */
x^2 - x + 170
/* Minimal vectors */
[
    <-32*w + 33, 17*w - 378>,
    <72*w + 88, -49*w + 764>,
    <-71*w + 235, 27*w - 925>,
    <w + 323, -22*w - 161>,
    <19*w + 945, -74*w - 290>,
    <-13*w + 978, -57*w - 668>,
    <58*w + 743, -84*w + 257>,
    <w + 21, -2*w - 1>,
    <-w + 25, -w - 25>,
    <46, -3*w - 26>,
    <3*w + 48, -5*w + 6>,
    <5*w + 13, -4*w + 50>,
    <-3*w + 28, -50>,
    <2*w + 41, -4*w>,
    <6*w + 78, -9*w + 25>,
    <4*w + 26, -4*w + 33>,
    <2*w + 28, -3*w + 9>,
    <6*w + 54, -7*w + 42>,
    <-5*w + 101, -4*w - 107>,
    <-9*w + 15, 4*w - 111>,
    <w + 36, -3*w - 6>,
    <59, -4*w - 29>,
    <w + 95, -7*w - 35>,
    <5*w + 4, -3*w + 55>,
    <-7*w + 57, -107>,
    <-2*w + 61, -3*w - 52>,
    <10*w + 217, -20*w + 10>,
    <-4*w + 107, -5*w - 102>,
    <-29*w + 160, 6*w - 421>,
    <-w + 198, -13*w - 114>,
    <14*w + 376, -34*w - 31>,
    <-9*w + 4, 5*w - 107>,
    <14*w + 70, -13*w + 127>,
    <-23*w + 284, -6*w - 415>,
    <20*w + 325, -34*w + 65>,
    <-4*w + 19, w - 56>,
    <w + 21, -2*w + 1>,
    <-3*w + 40, -w - 55>,
    <14*w + 117, -16*w + 103>,
    <2*w + 218, -16*w - 87>,
    <9*w + 160, -16*w + 16>,
    <24*w + 160, -25*w + 185>,
    <-13*w + 344, -15*w - 330>,
    <15*w, -9*w + 169>,
    <11*w + 504, -40*w - 145>,
    <-16*w + 9, 9*w - 185>,
    <-7*w + 169, -7*w - 169>,
    <-52*w + 516, -3*w - 861>,
    <-3*w + 812, -52*w - 467>,
    <-31*w + 356, -5*w - 539>,
    <-16*w + 24, 8*w - 193>,
    <8*w + 154, -15*w + 8>,
    <55*w + 408, -60*w + 402>,
    <8*w + 803, -58*w - 338>,
    <-15*w + 30, 7*w - 185>,
    <-8*w + 178, -7*w - 185>,
    <-23*w + 208, -370>,
    <15*w + 317, -30*w>,
    <-8*w + 525, -30*w - 370>,
    <-5*w + 27, w - 70>,
    <30, -2*w - 15>,
    <7*w + 31, -6*w + 64>,
    <2*w + 58, -5*w - 6>,
    <-7*w + 29, 2*w - 94>,
    <-6*w + 21, 2*w - 79>,
    <5*w + 32, -5*w + 41>,
    <-w + 53, -3*w - 38>,
    <4*w + 115, -10*w - 12>,
    <-2*w + 19, -33>,
    <-2*w + 4, w - 24>,
    <w + 6, -w + 8>,
    <31, -2*w - 17>,
    <1, -1>,
    <w + 4, -w + 8>,
    <-w + 11, -18>,
    <16, -w - 10>,
    <w + 7, -w + 7>,
    <-2*w + 19, -31>,
    <w + 23, -2*w - 2>,
    <-w + 26, -w - 24>,
    <2*w + 12, -2*w + 15>,
    <2*w + 13, -2*w + 14>,
    <-2*w + 6, w - 27>,
    <2*w + 9, -2*w + 17>,
    <-w + 10, -18>,
    <-w + 25, -w - 27>,
    <15, -w - 9>,
    <-3*w + 16, w - 44>,
    <3*w + 14, -3*w + 26>,
    <2*w + 24, -3*w + 9>,
    <3*w + 58, -6*w>,
    <-3*w + 73, -3*w - 79>,
    <3*w, -2*w + 35>,
    <-6*w + 15, 3*w - 79>,
    <w + 34, -3*w - 9>,
    <-w + 39, -2*w - 35>,
    <-2*w + 5, w - 26>,
    <-3*w + 30, -53>,
    <44, -3*w - 27>,
    <-3*w + 14, w - 43>,
    <3*w + 15, -3*w + 26>,
    <29, -2*w - 17>,
    <-3*w + 58, -2*w - 69>,
    <-w + 24, -w - 25>,
    <-w + 39, -2*w - 33>,
    <-3*w + 102, -5*w - 91>,
    <-4*w + 22, w - 58>,
    <4*w + 52, -6*w + 17>,
    <-2*w + 63, -3*w - 58>,
    <13*w + 68, -12*w + 116>,
    <162, -11*w - 81>,
    <-12*w + 395, -20*w - 336>,
    <w + 463, -32*w - 220>,
    <-2*w + 2, w - 24>,
    <17*w + 64, -14*w + 164>,
    <-16*w + 75, 4*w - 222>,
    <w + 139, -10*w - 58>,
    <-19*w + 41, 8*w - 240>,
    <9*w + 72, -10*w + 68>,
    <8*w + 95, -11*w + 45>,
    <-10*w + 113, -2*w - 172>,
    <-w + 185, -12*w - 104>,
    <10*w + 255, -23*w - 12>,
    <-11*w + 298, -14*w - 276>,
    <-20*w + 20, 10*w - 241>,
    <-21*w + 205, -2*w - 345>,
    <30*w + 235, -33*w + 229>,
    <-31*w + 318, -4*w - 517>,
    <-6*w + 35, w - 86>,
    <-2*w + 61, -3*w - 53>,
    <-6*w + 124, -5*w - 130>,
    <3*w + 5, -2*w + 32>,
    <9*w + 30, -7*w + 89>,
    <-2*w + 31, -w - 38>,
    <7*w + 61, -8*w + 51>,
    <4*w + 41, -5*w + 26>,
    <-5*w + 56, -w - 85>,
    <5*w + 3, -3*w + 56>,
    <-11*w + 17, 5*w - 135>,
    <-4*w + 3, 2*w - 47>,
    <6*w + 40, -6*w + 49>,
    <-4*w + 48, -w - 69>,
    <2*w + 88, -7*w - 20>,
    <-5*w + 26, w - 70>,
    <-2*w + 46, -2*w - 45>,
    <5*w + 63, -7*w + 27>,
    <89, -6*w - 43>,
    <15, -w - 7>,
    <6*w + 26, -5*w + 56>,
    <-2*w + 76, -4*w - 59>,
    <6*w + 11, -4*w + 63>,
    <w + 7, -w + 8>,
    <-w + 83, -5*w - 51>,
    <-7*w + 16, 3*w - 90>,
    <-23*w + 65, 9*w - 302>,
    <3*w + 91, -8*w - 12>,
    <-20*w + 156, w - 314>,
    <-17*w + 247, -7*w - 326>,
    <8*w + 165, -16*w + 8>,
    <11*w + 256, -24*w - 4>,
    <5*w + 74, -8*w + 20>,
    <13*w + 239, -24*w + 28>,
    <23*w + 37, -16*w + 249>,
    <-15*w + 128, -241>,
    <-24*w + 103, 7*w - 333>,
    <-19*w + 177, -w - 313>,
    <-4*w + 78, -3*w - 87>,
    <-14*w + 251, -9*w - 293>,
    <-18*w + 81, 5*w - 252>,
    <5*w + 103, -10*w + 5>,
    <14*w + 128, -17*w + 97>,
    <-13*w + 184, -5*w - 247>,
    <3*w + 222, -17*w - 80>,
    <4*w + 39, -5*w + 27>,
    <-5*w + 42, -80>,
    <w + 64, -5*w - 21>,
    <-4*w + 106, -5*w - 101>,
    <-9*w + 32, 3*w - 122>,
    <w + 35, -3*w - 6>,
    <5*w + 74, -8*w + 21>,
    <-9*w + 4, 5*w - 106>,
    <4*w + 39, -5*w + 26>,
    <-5*w + 43, -80>,
    <w + 65, -5*w - 22>,
    <2*w + 27, -3*w + 9>,
    <3*w + 92, -8*w - 13>,
    <-6*w + 96, -3*w - 119>,
    <5*w + 2, -3*w + 58>,
    <2*w + 41, -4*w + 3>,
    <3*w + 76, -7*w - 3>,
    <-9*w + 32, 3*w - 121>,
    <-3*w + 69, -3*w - 70>,
    <73, -5*w - 37>,
    <-2*w + 90, -5*w - 69>,
    <-6*w + 37, w - 88>,
    <3*w + 63, -6*w + 2>,
    <-4*w + 64, -2*w - 79>,
    <8*w + 35, -7*w + 75>,
    <-w + 111, -7*w - 68>,
    <-6*w + 7, 3*w - 73>,
    <7*w + 14, -5*w + 74>,
    <5*w + 31, -5*w + 42>,
    <-6*w + 95, -3*w - 118>,
    <-7*w + 15, 3*w - 88>,
    <3*w + 19, -3*w + 25>,
    <3*w + 78, -7*w - 5>,
    <-4*w + 93, -4*w - 93>,
    <-6*w + 160, -7*w - 153>,
    <-5*w + 166, -8*w - 145>,
    <9*w + 175, -17*w + 8>,
    <39*w + 145, -33*w + 362>,
    <17*w + 329, -32*w + 16>,
    <-6*w + 175, -8*w - 161>,
    <-7*w + 154, -6*w - 161>,
    <17*w + 299, -30*w + 32>,
    <-w + 9, -16>,
    <8*w + 139, -14*w + 16>,
    <10*w + 121, -14*w + 48>,
    <9*w + 130, -14*w + 32>,
    <-9*w + 157, -5*w - 185>,
    <-8*w + 163, -6*w - 177>,
    <-17*w + 18, 9*w - 201>,
    <10*w + 136, -15*w + 40>,
    <w + 293, -20*w - 145>,
    <-19*w + 21, 10*w - 225>,
    <38*w + 245, -39*w + 297>,
    <-36*w + 326, -579>,
    <-9*w + 142, -4*w - 177>,
    <-8*w + 148, -5*w - 169>,
    <9*w + 145, -15*w + 24>,
    <7*w + 148, -14*w>,
    <6*w + 157, -14*w - 16>,
    <-8*w + 193, -8*w - 193>,
    <-38*w + 223, 8*w - 547>,
    <-15*w + 362, -15*w - 362>,
    <7*w + 163, -15*w - 8>,
    <3*w + 4, -2*w + 32>,
    <-5*w + 28, w - 71>,
    <-2*w + 32, -w - 39>,
    <75, -5*w - 38>,
    <-5*w + 14, 2*w - 64>,
    <w + 66, -5*w - 23>,
    <w + 81, -6*w - 31>,
    <-7*w + 16, 3*w - 88>,
    <w + 36, -3*w - 7>,
    <w + 51, -4*w - 15>,
    <-3*w + 56, -2*w - 63>,
    <5*w + 31, -5*w + 41>,
    <2*w + 87, -7*w - 22>,
    <-7*w + 1, 4*w - 77>,
    <31, -2*w - 16>,
    <4*w + 104, -9*w - 10>,
    <-3*w + 105, -5*w - 87>,
    <9*w + 12, -6*w + 92>,
    <2*w + 13, -2*w + 15>,
    <6*w + 86, -9*w + 21>,
    <-5*w + 92, -3*w - 102>,
    <-9*w + 19, 4*w - 108>,
    <-8*w + 197, -8*w - 189>,
    <-2*w + 18, -31>,
    <-7*w + 79, -w - 117>,
    <4*w + 73, -7*w + 6>,
    <-5*w + 123, -5*w - 118>,
    <24*w + 157, -24*w + 181>,
    <-5*w + 15, 2*w - 63>,
    <8*w + 19, -6*w + 78>,
    <3*w + 34, -4*w + 15>,
    <-3*w + 43, -w - 56>,
    <w + 68, -5*w - 25>,
    <-2*w + 111, -6*w - 81>,
    <2*w + 28, -3*w + 7>,
    <-5*w + 77, -2*w - 96>,
    <-2*w + 34, -w - 40>,
    <3*w + 96, -8*w - 18>,
    <w + 6, -w + 7>,
    <w + 7, -w + 6>,
    <-w + 11, -16>,
    <w + 23, -2*w - 3>,
    <w + 5, -w + 8>,
    <-2*w + 5, w - 24>,
    <7*w + 10, -5*w + 68>,
    <16, -w - 9>,
    <-3*w + 95, -4*w - 85>,
    <-2*w + 3, w - 22>,
    <33, -2*w - 17>,
    <-2*w + 19, -32>,
    <-w + 10, -16>,
    <-3*w + 13, w - 39>,
    <4*w + 25, -4*w + 29>,
    <64, -4*w - 35>,
    <-2*w + 3, w - 23>,
    <32, -2*w - 17>,
    <-2*w + 35, -w - 40>,
    <w + 4, -w + 9>,
    <15, -w - 10>,
    <-2*w + 4, w - 25>,
    <-w + 10, -17>,
    <-3*w + 14, w - 42>,
    <2*w + 41, -4*w - 1>,
    <-w + 25, -w - 26>,
    <w + 5, -w + 9>,
    <45, -3*w - 26>,
    <3*w + 16, -3*w + 25>,
    <w + 20, -2*w>,
    <4*w + 8, -3*w + 41>,
    <-w + 54, -3*w - 41>,
    <-w + 69, -4*w - 49>,
    <3*w + 2, -2*w + 33>,
    <13*w + 14, -9*w + 141>,
    <3*w + 17, -3*w + 25>,
    <-9*w + 172, -6*w - 198>,
    <4*w + 186, -15*w - 57>,
    <-2*w + 31, -w - 39>,
    <-3*w + 39, -w - 55>,
    <44, -3*w - 22>,
    <4*w + 69, -7*w + 12>,
    <-4*w + 77, -3*w - 85>,
    <5*w + 17, -4*w + 50>,
    <2*w + 27, -3*w + 10>,
    <3*w + 48, -5*w + 11>,
    <5*w + 75, -8*w + 21>,
    <-13*w + 94, w - 197>,
    <-w + 141, -9*w - 82>,
    <12*w + 47, -10*w + 115>,
    <24*w + 256, -31*w + 149>,
    <-16*w + 399, -18*w - 384>,
    <26*w + 92, -21*w + 254>,
    <40*w + 4, -23*w + 460>,
    <10*w + 93, -12*w + 69>,
    <22*w + 390, -39*w + 59>,
    <-27*w + 476, -17*w - 550>,
    <-17*w + 569, -29*w - 481>,
    <w + 183, -13*w - 80>,
    <41*w + 187, -36*w + 380>,
    <-w + 23, -w - 23>,
    <11*w + 70, -11*w + 92>,
    <-2*w + 91, -5*w - 68>,
    <7*w + 31, -6*w + 65>,
    <3*w + 64, -6*w + 3>,
    <10*w + 95, -12*w + 68>,
    <-w + 97, -6*w - 59>,
    <2*w + 161, -12*w - 56>,
    <-4*w + 33, -62>,
    <-w + 38, -2*w - 30>,
    <7*w + 150, -14*w + 7>,
    <-9*w + 44, 2*w - 125>,
    <7*w + 16, -5*w + 73>,
    <-3*w + 10, w - 39>,
    <-4*w + 18, w - 54>,
    <2*w + 43, -4*w + 2>,
    <-3*w + 129, -7*w - 97>,
    <25*w + 17, -15*w + 278>,
    <-12*w + 69, 2*w - 171>,
    <13*w + 86, -13*w + 107>,
    <-10*w + 112, -2*w - 169>,
    <193, -13*w - 94>,
    <-10*w + 305, -15*w - 263>,
    <-8*w + 155, -6*w - 167>,
    <10*w + 81, -11*w + 75>,
    <-14*w + 26, 6*w - 173>,
    <w + 155, -11*w - 64>,
    <-3*w + 39, -w - 53>,
    <10*w + 22, -7*w + 104>,
    <3*w + 65, -6*w + 3>,
    <7*w + 13, -5*w + 75>,
    <-2*w + 90, -5*w - 70>,
    <29, -2*w - 15>,
    <2*w + 12, -2*w + 17>,
    <3*w + 4, -2*w + 33>,
    <-5*w + 27, w - 72>,
    <4*w + 83, -8*w + 5>,
    <4*w + 25, -4*w + 34>,
    <4*w + 54, -6*w + 19>,
    <-3*w + 11, w - 40>,
    <-w + 38, -2*w - 31>,
    <-4*w + 49, -w - 71>,
    <4*w + 84, -8*w + 3>,
    <2*w + 57, -5*w - 6>,
    <59, -4*w - 30>,
    <-6*w + 36, w - 88>,
    <-5*w + 57, -w - 87>,
    <2*w + 71, -6*w - 13>,
    <-15*w + 8, 8*w - 177>,
    <9*w + 27, -7*w + 89>,
    <-5*w + 43, -79>,
    <-w + 68, -4*w - 46>,
    <4*w + 70, -7*w + 10>,
    <-4*w + 20, w - 56>,
    <2*w + 42, -4*w + 1>,
    <-2*w + 62, -3*w - 55>,
    <15, -w - 8>,
    <-5*w + 29, w - 72>,
    <-7*w + 31, 2*w - 96>,
    <-w + 98, -6*w - 62>,
    <-2*w + 47, -2*w - 47>,
    <-8*w + 24, 3*w - 104>,
    <3*w + 93, -8*w - 13>,
    <-15*w + 15, 8*w - 177>,
    <-38*w + 208, 9*w - 539>,
    <47*w + 284, -47*w + 378>,
    <2*w + 661, -45*w - 330>,
    <39*w + 130, -32*w + 370>,
    <-45*w + 377, 2*w - 708>,
    <-30*w + 362, -6*w - 531>,
    <32*w + 299, -39*w + 201>,
    <-15*w + 332, -13*w - 346>,
    <-24*w + 187, 2*w - 370>,
    <14*w + 9, -9*w + 153>,
    <-14*w + 6, 8*w - 161>,
    <-14*w + 36, 6*w - 177>,
    <-14*w + 21, 7*w - 169>,
    <7*w + 178, -16*w - 16>,
    <-6*w + 190, -9*w - 169>,
    <-28*w + 27, 15*w - 330>,
    <8*w + 169, -16*w>,
    <-7*w + 184, -8*w - 177>,
    <-2*w + 17, -31>,
    <2*w + 13, -2*w + 16>,
    <5*w + 17, -4*w + 48>,
    <-2*w + 77, -4*w - 62>,
    <-4*w + 5, 2*w - 48>,
    <4*w + 25, -4*w + 31>,
    <-2*w + 49, -2*w - 48>,
    <2*w + 11, -2*w + 15>,
    <-w + 26, -w - 26>,
    <-8*w + 16, 4*w - 93>,
    <-4*w + 89, -3*w - 92>,
    <4*w + 89, -8*w - 8>,
    <-4*w + 105, -4*w - 101>,
    <17, -w - 9>,
    <w + 22, -2*w - 1>,
    <w + 37, -3*w - 9>,
    <w + 38, -3*w - 10>,
    <-2*w + 51, -2*w - 49>,
    <-3*w + 12, w - 38>,
    <3*w + 14, -3*w + 27>,
    <-w + 24, -w - 26>,
    <w + 50, -4*w - 17>,
    <w + 6, -w + 9>,
    <72, -5*w - 36>,
    <-5*w + 85, -3*w - 101>,
    <-3*w + 10, w - 40>,
    <-9*w + 90, -w - 149>,
    <9*w + 116, -13*w + 46>,
    <-9*w + 134, -4*w - 171>,
    <-13*w + 107, -201>,
    <-5*w + 41, -77>,
    <-2*w + 17, -32>,
    <3*w + 62, -6*w + 3>,
    <-2*w + 3, w - 25>,
    <4*w + 9, -3*w + 42>,
    <-w + 67, -4*w - 47>,
    <2*w + 691, -47*w - 346>,
    <-w + 25, -w - 24>,
    <3*w + 19, -3*w + 23>,
    <-w + 40, -2*w - 32>,
    <-11*w + 92, -173>,
    <-8*w + 111, -3*w - 148>,
    <-w + 23, -w - 24>,
    <-w + 52, -3*w - 39>,
    <88, -6*w - 45>,
    <16, -w - 8>,
    <-3*w + 12, w - 39>,
    <-2*w + 164, -10*w - 105>,
    <0, 1>,
    <1, 0>,
    <-w + 8, -15>
]
/* Voronoi top cells */
[
    { 1, 2, 3, 4, 5, 6 },
    { 1, 3, 4, 6, 7 },
    { 8, 9, 10, 11 },
    { 12, 13, 14, 15 },
    { 16, 17, 18, 19 },
    { 20, 21, 22, 23 },
    { 24, 25, 26, 27 },
    { 28, 29, 30, 31 },
    { 32, 33, 34, 35 },
    { 36, 37, 38, 39, 40 },
    { 41, 42, 43, 44 },
    { 42, 43, 44, 45 },
    { 46, 47, 48, 49 },
    { 1, 4, 7, 50 },
    { 51, 52, 53, 54 },
    { 55, 56, 57, 58 },
    { 55, 57, 58, 59 },
    { 60, 61, 62, 63 },
    { 17, 61, 63, 64 },
    { 65, 66, 67, 68 },
    { 8, 9, 10, 69 },
    { 9, 70, 71, 72 },
    { 73, 74, 75, 76 },
    { 77, 78, 79, 80 },
    { 70, 71, 72, 81 },
    { 77, 78, 79, 82 },
    { 83, 84, 85, 86 },
    { 84, 86, 87, 88 },
    { 85, 86, 87, 89 },
    { 90, 91, 92, 93 },
    { 91, 93, 94, 95 },
    { 93, 94, 95, 96 },
    { 87, 95, 97, 98 },
    { 85, 87, 89, 99 },
    { 87, 95, 98, 99 },
    { 100, 101, 102, 103 },
    { 12, 13, 14, 104 },
    { 12, 14, 105, 106 },
    { 104, 107, 108, 109 },
    { 105, 106, 107, 109 },
    { 12, 104, 105, 109 },
    { 110, 111, 112, 113 },
    { 114, 115, 116, 117 },
    { 118, 119, 120, 121 },
    { 121, 122, 123, 124 },
    { 121, 123, 125, 126, 127, 128 },
    { 16, 17, 19, 129 },
    { 16, 129, 130, 131 },
    { 132, 133, 134, 135 },
    { 20, 21, 136, 137 },
    { 22, 137, 138, 139 },
    { 20, 21, 22, 137 },
    { 140, 141, 142, 143 },
    { 144, 145, 146, 147 },
    { 26, 148, 149, 150 },
    { 24, 25, 26, 150, 151 },
    { 24, 151, 152, 153 },
    { 154, 155, 156, 157 },
    { 28, 156, 157, 158 },
    { 28, 30, 31, 156 },
    { 30, 156, 159, 160 },
    { 32, 33, 35, 161 },
    { 33, 159, 161, 162 },
    { 159, 161, 163, 164 },
    { 32, 161, 165, 166 },
    { 161, 166, 167, 168 },
    { 169, 170, 171, 172, 173 },
    { 174, 175, 176, 177 },
    { 176, 178, 179, 180 },
    { 174, 176, 177, 180 },
    { 181, 182, 183, 184 },
    { 182, 185, 186, 187 },
    { 181, 182, 184, 186 },
    { 179, 188, 189, 190 },
    { 191, 192, 193, 194 },
    { 185, 195, 196, 197 },
    { 36, 37, 38, 198, 199 },
    { 200, 201, 202, 203 },
    { 204, 205, 206, 207 },
    { 41, 44, 71, 208 },
    { 44, 71, 209, 210 },
    { 43, 47, 211, 212 },
    { 41, 43, 44, 47 },
    { 43, 44, 45, 213 },
    { 41, 46, 71, 214 },
    { 41, 46, 47, 48 },
    { 1, 4, 50, 52, 215 },
    { 51, 52, 53, 56 },
    { 51, 56, 216, 217 },
    { 216, 218, 219, 220 },
    { 216, 217, 219, 221 },
    { 220, 222, 223, 224 },
    { 220, 223, 225, 226, 227 },
    { 71, 223, 228, 229 },
    { 71, 214, 229, 230 },
    { 55, 56, 216, 231 },
    { 55, 216, 232, 233 },
    { 52, 58, 234, 235 },
    { 52, 55, 56, 58 },
    { 55, 58, 59, 236 },
    { 17, 60, 61, 63 },
    { 65, 66, 67, 114 },
    { 237, 238, 239, 240 },
    { 216, 241, 242, 243 },
    { 244, 245, 246, 247 },
    { 245, 246, 248, 249 },
    { 250, 251, 252, 253 },
    { 253, 254, 255, 256, 257 },
    { 252, 253, 257, 258, 259 },
    { 255, 257, 260, 261 },
    { 257, 258, 260, 262 },
    { 252, 258, 263, 264 },
    { 265, 266, 267, 268, 269, 270 },
    { 266, 267, 271, 272 },
    { 265, 266, 273, 274 },
    { 8, 9, 69, 71 },
    { 8, 9, 70, 71 },
    { 275, 276, 277, 278 },
    { 73, 75, 76, 279 },
    { 76, 275, 279, 280 },
    { 275, 281, 282, 283 },
    { 77, 79, 80, 284 },
    { 77, 80, 284, 285 },
    { 70, 71, 81, 282 },
    { 71, 72, 81, 286 },
    { 287, 288, 289, 290 },
    { 288, 291, 292, 293 },
    { 77, 79, 82, 287 },
    { 77, 78, 82, 292 },
    { 82, 287, 288, 292 },
    { 83, 84, 85, 294 },
    { 84, 85, 86, 87 },
    { 90, 91, 93, 95 },
    { 87, 93, 95, 96, 97 },
    { 85, 87, 95, 99 },
    { 73, 279, 294, 295 },
    { 84, 87, 279, 294 },
    { 296, 297, 298, 299 },
    { 87, 297, 298, 300 },
    { 100, 101, 102, 301 },
    { 87, 296, 298, 302 },
    { 296, 302, 303, 304 },
    { 71, 305, 306, 307 },
    { 71, 305, 306, 308 },
    { 12, 14, 104, 105 },
    { 105, 107, 309, 310, 311, 312 },
    { 104, 105, 107, 109 },
    { 188, 189, 313, 314 },
    { 37, 315, 316, 317 },
    { 318, 319, 320, 321 },
    { 110, 111, 112, 322 },
    { 114, 116, 117, 323 },
    { 322, 324, 325, 326 },
    { 323, 324, 326, 327 },
    { 328, 329, 330, 331, 332 },
    { 328, 329, 333, 334 },
    { 119, 120, 121, 335 },
    { 121, 122, 123, 336 },
    { 121, 123, 125, 126, 329 },
    { 16, 17, 114, 337 },
    { 16, 17, 129, 130 },
    { 130, 338, 339, 340 },
    { 138, 339, 341, 342 },
    { 132, 343, 344, 345 },
    { 132, 134, 135, 346 },
    { 132, 136, 138, 341 },
    { 21, 136, 137, 138 },
    { 21, 22, 137, 138 },
    { 21, 22, 335, 347 },
    { 140, 152, 348, 349 },
    { 140, 142, 344, 348 },
    { 140, 141, 142, 344 },
    { 141, 344, 350, 351 },
    { 352, 353, 354, 355, 356, 357 },
    { 344, 350, 355, 358 },
    { 344, 355, 356, 359 },
    { 132, 350, 353, 360 },
    { 132, 353, 354, 361 },
    { 132, 134, 144, 145 },
    { 134, 145, 148, 362 },
    { 132, 147, 350, 363 },
    { 132, 144, 145, 147 },
    { 24, 26, 140, 145, 364 },
    { 24, 26, 148, 150, 151, 152 },
    { 28, 154, 156, 157 },
    { 28, 30, 156, 159 },
    { 32, 33, 159, 161 },
    { 156, 159, 161, 164 },
    { 32, 161, 166, 167 },
    { 170, 171, 173, 365, 366 },
    { 174, 175, 176, 367 },
    { 174, 176, 179, 180 },
    { 182, 183, 184, 368 },
    { 182, 184, 185, 186 },
    { 179, 188, 189, 313 },
    { 313, 369, 370, 371 },
    { 320, 369, 370, 372 },
    { 192, 193, 194, 373 },
    { 185, 196, 197, 374 },
    { 374, 375, 376, 377 },
    { 375, 376, 378, 379 },
    { 37, 198, 199, 380, 381 },
    { 201, 202, 381, 382 },
    { 200, 201, 202, 382 },
    { 37, 114, 205, 383 },
    { 37, 204, 205, 206 },
    { 239, 245, 384, 385, 386, 387 },
    { 374, 388, 389, 390 },
    { 388, 389, 391, 392 },
    { 248, 374, 388, 393, 394 },
    { 245, 248, 374, 394, 395 },
    { 245, 378, 396, 397 },
    { 41, 44, 47, 71 },
    { 44, 71, 210, 213 },
    { 43, 47, 212, 398 },
    { 43, 44, 47, 213 },
    { 52, 399, 400, 401 },
    { 47, 401, 402, 403 },
    { 52, 399, 401, 404 },
    { 47, 401, 402, 405 },
    { 46, 71, 214, 230 },
    { 41, 46, 47, 71 },
    { 1, 4, 47, 52, 215, 406 },
    { 51, 52, 56, 216 },
    { 51, 216, 217, 221 },
    { 51, 52, 215, 221, 407 },
    { 216, 219, 220, 221 },
    { 220, 221, 222, 223, 230 },
    { 71, 216, 220, 223, 225 },
    { 71, 223, 229, 230 },
    { 52, 55, 56, 216 },
    { 55, 216, 233, 236 },
    { 52, 58, 235, 398 },
    { 52, 55, 58, 236 },
    { 71, 210, 213, 408 },
    { 213, 391, 408, 409 },
    { 216, 233, 236, 410 },
    { 236, 391, 410, 411 },
    { 391, 409, 411, 412, 413 },
    { 409, 411, 414, 415, 416 },
    { 17, 60, 61, 348 },
    { 65, 66, 114, 239 },
    { 61, 237, 239, 240 },
    { 61, 152, 348, 417 },
    { 61, 237, 418, 419 },
    { 237, 239, 245, 420 },
    { 216, 242, 243, 391 },
    { 216, 242, 246, 421 },
    { 245, 246, 247, 421 },
    { 242, 246, 388, 391 },
    { 245, 246, 248, 388 },
    { 251, 252, 253, 255 },
    { 252, 253, 255, 257, 258 },
    { 255, 257, 258, 260 },
    { 251, 252, 258, 260, 263 },
    { 265, 267, 268, 269, 422, 423 },
    { 265, 266, 267, 271, 273 },
    { 8, 69, 71, 297 },
    { 8, 70, 71, 282 },
    { 73, 275, 276, 277 },
    { 73, 76, 275, 279 },
    { 275, 279, 282, 424, 425 },
    { 275, 283, 426, 427, 428 },
    { 275, 282, 283, 428 },
    { 275, 287, 426, 427 },
    { 282, 287, 426, 428, 429 },
    { 77, 79, 284, 287 },
    { 77, 284, 285, 430 },
    { 71, 81, 282, 286 },
    { 71, 286, 431, 432 },
    { 282, 286, 431, 433 },
    { 288, 291, 431, 433, 434 },
    { 282, 287, 288, 289, 433 },
    { 77, 291, 292, 435 },
    { 287, 288, 291, 292 },
    { 77, 82, 287, 292 },
    { 84, 85, 87, 294 },
    { 85, 87, 90, 93, 95 },
    { 85, 90, 301, 436, 437 },
    { 73, 87, 279, 294 },
    { 69, 71, 296, 297 },
    { 87, 296, 297, 298 },
    { 87, 93, 101, 301, 437 },
    { 100, 101, 301, 304 },
    { 87, 296, 302, 304 },
    { 104, 296, 304, 438 },
    { 71, 306, 307, 391 },
    { 71, 104, 296, 308 },
    { 71, 105, 306, 308 },
    { 14, 104, 105, 308 },
    { 105, 306, 310, 391 },
    { 104, 105, 107, 310 },
    { 189, 313, 314, 439 },
    { 313, 314, 319, 440 },
    { 37, 315, 317, 335 },
    { 37, 316, 317, 320 },
    { 313, 319, 320, 441 },
    { 318, 319, 320, 442 },
    { 110, 111, 114, 117, 322, 323 },
    { 322, 323, 324, 326 },
    { 328, 329, 330, 333, 443 },
    { 120, 329, 335, 444, 445 },
    { 119, 121, 122, 335, 336 },
    { 120, 121, 329, 335 },
    { 121, 123, 329, 336 },
    { 16, 17, 114, 130 },
    { 130, 338, 339, 344 },
    { 132, 138, 339, 341 },
    { 132, 339, 343, 344 },
    { 21, 132, 134, 346 },
    { 21, 132, 136, 138 },
    { 21, 22, 138, 335 },
    { 140, 152, 344, 348 },
    { 140, 141, 344, 350 },
    { 350, 353, 354, 355, 356 },
    { 344, 350, 355, 356 },
    { 132, 344, 354, 356, 446 },
    { 132, 350, 353, 354 },
    { 132, 134, 145, 148 },
    { 132, 145, 147, 350 },
    { 140, 145, 350, 447 },
    { 24, 26, 140, 145, 148, 152 },
    { 28, 154, 156, 367 },
    { 28, 32, 156, 159, 161 },
    { 156, 161, 448, 449 },
    { 32, 161, 167, 368 },
    { 28, 170, 365, 367 },
    { 32, 170, 366, 368 },
    { 170, 365, 366, 367, 368 },
    { 174, 176, 179, 367 },
    { 368, 450, 451, 452 },
    { 182, 184, 185, 368 },
    { 179, 189, 313, 439 },
    { 37, 320, 369, 372 },
    { 313, 320, 369, 370 },
    { 192, 193, 369, 373 },
    { 37, 193, 373, 380 },
    { 185, 197, 374, 375 },
    { 374, 375, 376, 378 },
    { 37, 375, 378, 379 },
    { 37, 373, 380, 381, 382 },
    { 37, 202, 381, 382 },
    { 200, 202, 375, 382 },
    { 37, 114, 204, 205 },
    { 37, 204, 206, 378 },
    { 239, 245, 378, 386 },
    { 374, 388, 389, 391 },
    { 245, 248, 374, 388 },
    { 245, 374, 378, 396 },
    { 44, 47, 71, 213 },
    { 43, 47, 213, 398 },
    { 52, 398, 400, 401 },
    { 47, 398, 401, 403 },
    { 47, 52, 401, 404, 405 },
    { 46, 47, 71, 230 },
    { 47, 52, 215, 221, 230, 406 },
    { 51, 52, 216, 221 },
    { 71, 216, 220, 221, 223, 230 },
    { 52, 55, 216, 236 },
    { 52, 58, 236, 398 },
    { 71, 213, 391, 408 },
    { 213, 391, 409, 415 },
    { 216, 236, 391, 410 },
    { 236, 391, 411, 416 },
    { 398, 415, 416, 453 },
    { 391, 409, 411, 415, 416 },
    { 17, 61, 152, 348 },
    { 61, 65, 114, 239 },
    { 61, 216, 237, 239 },
    { 61, 152, 417, 418 },
    { 61, 216, 237, 418 },
    { 216, 237, 239, 245 },
    { 216, 242, 246, 391 },
    { 216, 245, 246, 421 },
    { 245, 246, 388, 391 },
    { 251, 252, 255, 258, 260 },
    { 71, 271, 431, 454 },
    { 71, 216, 265, 267, 271, 273, 423, 455, 456 },
    { 73, 279, 282, 297 },
    { 8, 71, 282, 297 },
    { 73, 275, 276, 287 },
    { 73, 275, 279, 282 },
    { 275, 282, 287, 426, 428 },
    { 73, 276, 287, 430 },
    { 77, 284, 287, 430 },
    { 71, 282, 286, 431 },
    { 282, 287, 288, 291, 431, 433 },
    { 77, 287, 291, 292 },
    { 73, 85, 87, 294 },
    { 85, 87, 90, 93, 301, 437 },
    { 73, 87, 279, 297 },
    { 71, 87, 296, 297 },
    { 87, 101, 301, 304 },
    { 71, 87, 296, 304 },
    { 71, 104, 296, 304 },
    { 71, 105, 306, 391 },
    { 71, 104, 105, 308 },
    { 104, 105, 310, 391 },
    { 313, 314, 319, 439 },
    { 37, 317, 320, 335 },
    { 37, 313, 319, 320 },
    { 319, 320, 335, 442 },
    { 111, 114, 322, 323, 324 },
    { 37, 329, 333, 443, 457 },
    { 37, 329, 335, 444, 458 },
    { 121, 329, 335, 336 },
    { 17, 152, 344, 348 },
    { 17, 114, 130, 344 },
    { 130, 132, 138, 339, 344 },
    { 21, 132, 134, 148 },
    { 21, 132, 138, 335 },
    { 140, 152, 344, 350 },
    { 132, 344, 350, 354, 356 },
    { 132, 145, 148, 350 },
    { 140, 145, 148, 152, 350 },
    { 28, 156, 367, 448 },
    { 28, 32, 156, 161, 448 },
    { 32, 161, 368, 448 },
    { 28, 32, 170, 367, 368 },
    { 174, 179, 367, 448 },
    { 367, 368, 450, 451, 459, 460 },
    { 184, 185, 368, 448 },
    { 179, 313, 369, 439 },
    { 37, 313, 320, 369 },
    { 37, 193, 369, 373 },
    { 184, 185, 375, 448 },
    { 185, 374, 375, 391 },
    { 37, 374, 375, 378 },
    { 37, 373, 382, 448 },
    { 375, 382, 448, 461 },
    { 37, 202, 375, 382 },
    { 37, 114, 204, 378 },
    { 114, 239, 245, 378 },
    { 245, 374, 388, 391 },
    { 37, 245, 374, 378 },
    { 47, 71, 213, 398 },
    { 47, 52, 398, 401 },
    { 47, 52, 71, 216, 221, 230 },
    { 52, 216, 236, 398 },
    { 71, 213, 398, 415 },
    { 71, 213, 391, 415 },
    { 216, 236, 398, 416 },
    { 216, 236, 391, 416 },
    { 391, 398, 415, 416 },
    { 17, 61, 114, 152 },
    { 61, 114, 216, 239 },
    { 61, 152, 216, 418 },
    { 114, 216, 239, 245 },
    { 216, 245, 246, 391 },
    { 216, 251, 255, 260, 462 },
    { 71, 216, 255, 271, 273, 454, 455, 456, 463 },
    { 71, 73, 282, 297 },
    { 73, 275, 282, 287 },
    { 73, 77, 287, 430 },
    { 71, 77, 282, 287, 291, 431 },
    { 73, 85, 87, 301 },
    { 71, 73, 87, 297 },
    { 71, 87, 301, 304 },
    { 71, 104, 301, 304 },
    { 71, 104, 105, 391 },
    { 37, 313, 319, 439 },
    { 37, 319, 320, 335 },
    { 111, 114, 324, 335, 336, 464 },
    { 37, 329, 335, 336, 457 },
    { 17, 114, 152, 344 },
    { 114, 130, 132, 138, 335, 344 },
    { 21, 132, 148, 335 },
    { 132, 148, 152, 344, 350 },
    { 28, 32, 367, 368, 448 },
    { 179, 367, 439, 448 },
    { 367, 368, 391, 439, 450, 459 },
    { 185, 368, 391, 448 },
    { 179, 369, 439, 448 },
    { 37, 313, 369, 439 },
    { 37, 369, 373, 448 },
    { 185, 375, 391, 448 },
    { 37, 374, 375, 391 },
    { 37, 375, 382, 448 },
    { 37, 114, 245, 378 },
    { 37, 245, 374, 391 },
    { 47, 52, 71, 216, 398 },
    { 71, 391, 398, 415 },
    { 216, 391, 398, 416 },
    { 61, 114, 152, 216 },
    { 114, 216, 245, 391 },
    { 71, 77, 216, 255, 454, 462 },
    { 71, 73, 77, 282, 287 },
    { 71, 73, 87, 301 },
    { 71, 104, 301, 391 },
    { 37, 319, 335, 439 },
    { 37, 111, 114, 335, 336, 457 },
    { 114, 132, 148, 152, 335, 344 },
    { 367, 368, 391, 439, 448 },
    { 37, 369, 439, 448 },
    { 37, 375, 391, 448 },
    { 37, 114, 245, 391 },
    { 71, 216, 391, 398 },
    { 114, 152, 216, 391 },
    { 71, 73, 77, 152, 216, 462 },
    { 71, 73, 301, 391 },
    { 37, 148, 335, 439 },
    { 37, 114, 148, 152, 335 },
    { 37, 391, 439, 448 },
    { 37, 114, 152, 391 },
    { 71, 73, 152, 216, 391 },
    { 37, 148, 152, 391, 439 },
    { 73, 148, 152, 391, 439, 465 },
    { 73, 148, 152, 465, 466, 467 }
]
/* Faces of top cells */
[
    [
        { 2, 3, 4 },
        { 1, 3, 4, 6 },
        { 1, 2, 4, 5 },
        { 2, 3, 5, 6 },
        { 1, 5, 6 }
    ],
    [
        { 3, 4, 7 },
        { 1, 4, 7 },
        { 1, 3, 4, 6 },
        { 1, 6, 7 },
        { 3, 6, 7 }
    ],
    [
        { 9, 10, 11 },
        { 8, 10, 11 },
        { 8, 9, 11 },
        { 8, 9, 10 }
    ],
    [
        { 13, 14, 15 },
        { 12, 14, 15 },
        { 12, 13, 15 },
        { 12, 13, 14 }
    ],
    [
        { 17, 18, 19 },
        { 16, 18, 19 },
        { 16, 17, 19 },
        { 16, 17, 18 }
    ],
    [
        { 21, 22, 23 },
        { 20, 22, 23 },
        { 20, 21, 23 },
        { 20, 21, 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 }
    ],
    [
        { 33, 34, 35 },
        { 32, 34, 35 },
        { 32, 33, 35 },
        { 32, 33, 34 }
    ],
    [
        { 37, 38, 39 },
        { 36, 38, 39, 40 },
        { 36, 37, 38 },
        { 36, 37, 40 },
        { 37, 39, 40 }
    ],
    [
        { 42, 43, 44 },
        { 41, 43, 44 },
        { 41, 42, 44 },
        { 41, 42, 43 }
    ],
    [
        { 43, 44, 45 },
        { 42, 44, 45 },
        { 42, 43, 44 },
        { 42, 43, 45 }
    ],
    [
        { 47, 48, 49 },
        { 46, 48, 49 },
        { 46, 47, 49 },
        { 46, 47, 48 }
    ],
    [
        { 4, 7, 50 },
        { 1, 7, 50 },
        { 1, 4, 7 },
        { 1, 4, 50 }
    ],
    [
        { 52, 53, 54 },
        { 51, 53, 54 },
        { 51, 52, 54 },
        { 51, 52, 53 }
    ],
    [
        { 56, 57, 58 },
        { 55, 57, 58 },
        { 55, 56, 58 },
        { 55, 56, 57 }
    ],
    [
        { 57, 58, 59 },
        { 55, 58, 59 },
        { 55, 57, 59 },
        { 55, 57, 58 }
    ],
    [
        { 61, 62, 63 },
        { 60, 62, 63 },
        { 60, 61, 63 },
        { 60, 61, 62 }
    ],
    [
        { 61, 63, 64 },
        { 17, 61, 63 },
        { 17, 63, 64 },
        { 17, 61, 64 }
    ],
    [
        { 66, 67, 68 },
        { 65, 67, 68 },
        { 65, 66, 68 },
        { 65, 66, 67 }
    ],
    [
        { 8, 9, 10 },
        { 9, 10, 69 },
        { 8, 10, 69 },
        { 8, 9, 69 }
    ],
    [
        { 9, 71, 72 },
        { 9, 70, 72 },
        { 70, 71, 72 },
        { 9, 70, 71 }
    ],
    [
        { 74, 75, 76 },
        { 73, 75, 76 },
        { 73, 74, 76 },
        { 73, 74, 75 }
    ],
    [
        { 78, 79, 80 },
        { 77, 79, 80 },
        { 77, 78, 80 },
        { 77, 78, 79 }
    ],
    [
        { 71, 72, 81 },
        { 70, 72, 81 },
        { 70, 71, 72 },
        { 70, 71, 81 }
    ],
    [
        { 78, 79, 82 },
        { 77, 78, 79 },
        { 77, 79, 82 },
        { 77, 78, 82 }
    ],
    [
        { 84, 85, 86 },
        { 83, 85, 86 },
        { 83, 84, 86 },
        { 83, 84, 85 }
    ],
    [
        { 86, 87, 88 },
        { 84, 86, 88 },
        { 84, 86, 87 },
        { 84, 87, 88 }
    ],
    [
        { 86, 87, 89 },
        { 85, 86, 87 },
        { 85, 86, 89 },
        { 85, 87, 89 }
    ],
    [
        { 91, 92, 93 },
        { 90, 92, 93 },
        { 90, 91, 93 },
        { 90, 91, 92 }
    ],
    [
        { 91, 93, 95 },
        { 91, 93, 94 },
        { 93, 94, 95 },
        { 91, 94, 95 }
    ],
    [
        { 93, 95, 96 },
        { 93, 94, 96 },
        { 93, 94, 95 },
        { 94, 95, 96 }
    ],
    [
        { 87, 95, 98 },
        { 95, 97, 98 },
        { 87, 95, 97 },
        { 87, 97, 98 }
    ],
    [
        { 87, 89, 99 },
        { 85, 87, 99 },
        { 85, 89, 99 },
        { 85, 87, 89 }
    ],
    [
        { 95, 98, 99 },
        { 87, 95, 99 },
        { 87, 98, 99 },
        { 87, 95, 98 }
    ],
    [
        { 101, 102, 103 },
        { 100, 102, 103 },
        { 100, 101, 103 },
        { 100, 101, 102 }
    ],
    [
        { 13, 14, 104 },
        { 12, 13, 14 },
        { 12, 14, 104 },
        { 12, 13, 104 }
    ],
    [
        { 14, 105, 106 },
        { 12, 14, 106 },
        { 12, 105, 106 },
        { 12, 14, 105 }
    ],
    [
        { 104, 108, 109 },
        { 107, 108, 109 },
        { 104, 107, 109 },
        { 104, 107, 108 }
    ],
    [
        { 105, 106, 109 },
        { 106, 107, 109 },
        { 105, 106, 107 },
        { 105, 107, 109 }
    ],
    [
        { 104, 105, 109 },
        { 12, 105, 109 },
        { 12, 104, 109 },
        { 12, 104, 105 }
    ],
    [
        { 111, 112, 113 },
        { 110, 112, 113 },
        { 110, 111, 113 },
        { 110, 111, 112 }
    ],
    [
        { 115, 116, 117 },
        { 114, 116, 117 },
        { 114, 115, 117 },
        { 114, 115, 116 }
    ],
    [
        { 119, 120, 121 },
        { 118, 120, 121 },
        { 118, 119, 121 },
        { 118, 119, 120 }
    ],
    [
        { 122, 123, 124 },
        { 121, 123, 124 },
        { 121, 122, 124 },
        { 121, 122, 123 }
    ],
    [
        { 121, 125, 127, 128 },
        { 121, 123, 125, 126 },
        { 123, 126, 127, 128 },
        { 121, 123, 127 },
        { 125, 126, 128 }
    ],
    [
        { 17, 19, 129 },
        { 16, 19, 129 },
        { 16, 17, 19 },
        { 16, 17, 129 }
    ],
    [
        { 129, 130, 131 },
        { 16, 130, 131 },
        { 16, 129, 131 },
        { 16, 129, 130 }
    ],
    [
        { 133, 134, 135 },
        { 132, 134, 135 },
        { 132, 133, 135 },
        { 132, 133, 134 }
    ],
    [
        { 21, 136, 137 },
        { 20, 136, 137 },
        { 20, 21, 137 },
        { 20, 21, 136 }
    ],
    [
        { 22, 137, 139 },
        { 22, 137, 138 },
        { 22, 138, 139 },
        { 137, 138, 139 }
    ],
    [
        { 21, 22, 137 },
        { 20, 22, 137 },
        { 20, 21, 22 },
        { 20, 21, 137 }
    ],
    [
        { 141, 142, 143 },
        { 140, 142, 143 },
        { 140, 141, 143 },
        { 140, 141, 142 }
    ],
    [
        { 145, 146, 147 },
        { 144, 146, 147 },
        { 144, 145, 147 },
        { 144, 145, 146 }
    ],
    [
        { 26, 149, 150 },
        { 26, 148, 150 },
        { 148, 149, 150 },
        { 26, 148, 149 }
    ],
    [
        { 24, 25, 26 },
        { 24, 26, 150, 151 },
        { 24, 25, 151 },
        { 25, 26, 150 },
        { 25, 150, 151 }
    ],
    [
        { 151, 152, 153 },
        { 24, 151, 153 },
        { 24, 152, 153 },
        { 24, 151, 152 }
    ],
    [
        { 155, 156, 157 },
        { 154, 156, 157 },
        { 154, 155, 157 },
        { 154, 155, 156 }
    ],
    [
        { 28, 157, 158 },
        { 156, 157, 158 },
        { 28, 156, 158 },
        { 28, 156, 157 }
    ],
    [
        { 28, 30, 31 },
        { 30, 31, 156 },
        { 28, 31, 156 },
        { 28, 30, 156 }
    ],
    [
        { 30, 159, 160 },
        { 30, 156, 160 },
        { 156, 159, 160 },
        { 30, 156, 159 }
    ],
    [
        { 33, 35, 161 },
        { 32, 35, 161 },
        { 32, 33, 35 },
        { 32, 33, 161 }
    ],
    [
        { 159, 161, 162 },
        { 33, 159, 162 },
        { 33, 161, 162 },
        { 33, 159, 161 }
    ],
    [
        { 159, 161, 164 },
        { 159, 163, 164 },
        { 159, 161, 163 },
        { 161, 163, 164 }
    ],
    [
        { 161, 165, 166 },
        { 32, 165, 166 },
        { 32, 161, 166 },
        { 32, 161, 165 }
    ],
    [
        { 166, 167, 168 },
        { 161, 166, 168 },
        { 161, 167, 168 },
        { 161, 166, 167 }
    ],
    [
        { 170, 171, 172 },
        { 169, 171, 172, 173 },
        { 169, 170, 172 },
        { 170, 171, 173 },
        { 169, 170, 173 }
    ],
    [
        { 175, 176, 177 },
        { 174, 176, 177 },
        { 174, 175, 177 },
        { 174, 175, 176 }
    ],
    [
        { 176, 179, 180 },
        { 176, 178, 180 },
        { 178, 179, 180 },
        { 176, 178, 179 }
    ],
    [
        { 176, 177, 180 },
        { 174, 177, 180 },
        { 174, 176, 177 },
        { 174, 176, 180 }
    ],
    [
        { 182, 183, 184 },
        { 181, 183, 184 },
        { 181, 182, 184 },
        { 181, 182, 183 }
    ],
    [
        { 182, 186, 187 },
        { 185, 186, 187 },
        { 182, 185, 187 },
        { 182, 185, 186 }
    ],
    [
        { 182, 184, 186 },
        { 181, 184, 186 },
        { 181, 182, 186 },
        { 181, 182, 184 }
    ],
    [
        { 179, 189, 190 },
        { 188, 189, 190 },
        { 179, 188, 190 },
        { 179, 188, 189 }
    ],
    [
        { 192, 193, 194 },
        { 191, 193, 194 },
        { 191, 192, 194 },
        { 191, 192, 193 }
    ],
    [
        { 195, 196, 197 },
        { 185, 196, 197 },
        { 185, 195, 197 },
        { 185, 195, 196 }
    ],
    [
        { 37, 38, 198 },
        { 36, 38, 198, 199 },
        { 36, 37, 38 },
        { 37, 198, 199 },
        { 36, 37, 199 }
    ],
    [
        { 201, 202, 203 },
        { 200, 202, 203 },
        { 200, 201, 203 },
        { 200, 201, 202 }
    ],
    [
        { 205, 206, 207 },
        { 204, 206, 207 },
        { 204, 205, 207 },
        { 204, 205, 206 }
    ],
    [
        { 41, 44, 208 },
        { 41, 44, 71 },
        { 44, 71, 208 },
        { 41, 71, 208 }
    ],
    [
        { 44, 209, 210 },
        { 44, 71, 210 },
        { 44, 71, 209 },
        { 71, 209, 210 }
    ],
    [
        { 43, 47, 212 },
        { 43, 211, 212 },
        { 43, 47, 211 },
        { 47, 211, 212 }
    ],
    [
        { 43, 44, 47 },
        { 41, 43, 44 },
        { 41, 44, 47 },
        { 41, 43, 47 }
    ],
    [
        { 43, 44, 45 },
        { 44, 45, 213 },
        { 43, 44, 213 },
        { 43, 45, 213 }
    ],
    [
        { 41, 46, 214 },
        { 41, 71, 214 },
        { 41, 46, 71 },
        { 46, 71, 214 }
    ],
    [
        { 41, 47, 48 },
        { 46, 47, 48 },
        { 41, 46, 48 },
        { 41, 46, 47 }
    ],
    [
        { 50, 52, 215 },
        { 1, 50, 215 },
        { 1, 4, 52, 215 },
        { 1, 4, 50 },
        { 4, 50, 52 }
    ],
    [
        { 52, 53, 56 },
        { 51, 53, 56 },
        { 51, 52, 53 },
        { 51, 52, 56 }
    ],
    [
        { 51, 56, 217 },
        { 56, 216, 217 },
        { 51, 56, 216 },
        { 51, 216, 217 }
    ],
    [
        { 218, 219, 220 },
        { 216, 219, 220 },
        { 216, 218, 220 },
        { 216, 218, 219 }
    ],
    [
        { 217, 219, 221 },
        { 216, 217, 221 },
        { 216, 219, 221 },
        { 216, 217, 219 }
    ],
    [
        { 220, 223, 224 },
        { 220, 222, 224 },
        { 222, 223, 224 },
        { 220, 222, 223 }
    ],
    [
        { 220, 223, 226, 227 },
        { 223, 225, 226 },
        { 220, 223, 225 },
        { 225, 226, 227 },
        { 220, 225, 227 }
    ],
    [
        { 223, 228, 229 },
        { 71, 228, 229 },
        { 71, 223, 229 },
        { 71, 223, 228 }
    ],
    [
        { 214, 229, 230 },
        { 71, 214, 229 },
        { 71, 214, 230 },
        { 71, 229, 230 }
    ],
    [
        { 55, 56, 231 },
        { 56, 216, 231 },
        { 55, 56, 216 },
        { 55, 216, 231 }
    ],
    [
        { 55, 232, 233 },
        { 216, 232, 233 },
        { 55, 216, 233 },
        { 55, 216, 232 }
    ],
    [
        { 58, 234, 235 },
        { 52, 58, 235 },
        { 52, 234, 235 },
        { 52, 58, 234 }
    ],
    [
        { 52, 56, 58 },
        { 55, 56, 58 },
        { 52, 55, 58 },
        { 52, 55, 56 }
    ],
    [
        { 58, 59, 236 },
        { 55, 58, 59 },
        { 55, 59, 236 },
        { 55, 58, 236 }
    ],
    [
        { 17, 61, 63 },
        { 60, 61, 63 },
        { 17, 60, 63 },
        { 17, 60, 61 }
    ],
    [
        { 65, 66, 67 },
        { 66, 67, 114 },
        { 65, 67, 114 },
        { 65, 66, 114 }
    ],
    [
        { 238, 239, 240 },
        { 237, 239, 240 },
        { 237, 238, 240 },
        { 237, 238, 239 }
    ],
    [
        { 241, 242, 243 },
        { 216, 242, 243 },
        { 216, 241, 243 },
        { 216, 241, 242 }
    ],
    [
        { 245, 246, 247 },
        { 244, 246, 247 },
        { 244, 245, 247 },
        { 244, 245, 246 }
    ],
    [
        { 245, 246, 249 },
        { 246, 248, 249 },
        { 245, 248, 249 },
        { 245, 246, 248 }
    ],
    [
        { 251, 252, 253 },
        { 250, 252, 253 },
        { 250, 251, 253 },
        { 250, 251, 252 }
    ],
    [
        { 255, 256, 257 },
        { 253, 254, 256, 257 },
        { 254, 255, 256 },
        { 253, 254, 255 },
        { 253, 255, 257 }
    ],
    [
        { 252, 258, 259 },
        { 257, 258, 259 },
        { 252, 253, 257, 258 },
        { 253, 257, 259 },
        { 252, 253, 259 }
    ],
    [
        { 257, 260, 261 },
        { 255, 257, 261 },
        { 255, 257, 260 },
        { 255, 260, 261 }
    ],
    [
        { 257, 258, 262 },
        { 257, 260, 262 },
        { 257, 258, 260 },
        { 258, 260, 262 }
    ],
    [
        { 252, 263, 264 },
        { 258, 263, 264 },
        { 252, 258, 264 },
        { 252, 258, 263 }
    ],
    [
        { 266, 267, 268, 270 },
        { 265, 267, 268, 269 },
        { 265, 266, 267 },
        { 265, 266, 269, 270 },
        { 268, 269, 270 }
    ],
    [
        { 267, 271, 272 },
        { 266, 267, 272 },
        { 266, 271, 272 },
        { 266, 267, 271 }
    ],
    [
        { 266, 273, 274 },
        { 265, 273, 274 },
        { 265, 266, 274 },
        { 265, 266, 273 }
    ],
    [
        { 8, 9, 69 },
        { 8, 9, 71 },
        { 9, 69, 71 },
        { 8, 69, 71 }
    ],
    [
        { 8, 9, 71 },
        { 8, 9, 70 },
        { 9, 70, 71 },
        { 8, 70, 71 }
    ],
    [
        { 276, 277, 278 },
        { 275, 277, 278 },
        { 275, 276, 278 },
        { 275, 276, 277 }
    ],
    [
        { 75, 76, 279 },
        { 73, 75, 76 },
        { 73, 76, 279 },
        { 73, 75, 279 }
    ],
    [
        { 76, 275, 279 },
        { 76, 275, 280 },
        { 76, 279, 280 },
        { 275, 279, 280 }
    ],
    [
        { 281, 282, 283 },
        { 275, 282, 283 },
        { 275, 281, 283 },
        { 275, 281, 282 }
    ],
    [
        { 77, 79, 80 },
        { 79, 80, 284 },
        { 77, 80, 284 },
        { 77, 79, 284 }
    ],
    [
        { 77, 80, 285 },
        { 80, 284, 285 },
        { 77, 284, 285 },
        { 77, 80, 284 }
    ],
    [
        { 71, 81, 282 },
        { 70, 81, 282 },
        { 70, 71, 282 },
        { 70, 71, 81 }
    ],
    [
        { 72, 81, 286 },
        { 71, 72, 286 },
        { 71, 72, 81 },
        { 71, 81, 286 }
    ],
    [
        { 288, 289, 290 },
        { 287, 289, 290 },
        { 287, 288, 290 },
        { 287, 288, 289 }
    ],
    [
        { 288, 292, 293 },
        { 291, 292, 293 },
        { 288, 291, 293 },
        { 288, 291, 292 }
    ],
    [
        { 79, 82, 287 },
        { 77, 79, 82 },
        { 77, 79, 287 },
        { 77, 82, 287 }
    ],
    [
        { 78, 82, 292 },
        { 77, 78, 292 },
        { 77, 82, 292 },
        { 77, 78, 82 }
    ],
    [
        { 82, 288, 292 },
        { 82, 287, 292 },
        { 287, 288, 292 },
        { 82, 287, 288 }
    ],
    [
        { 83, 84, 85 },
        { 84, 85, 294 },
        { 83, 85, 294 },
        { 83, 84, 294 }
    ],
    [
        { 85, 86, 87 },
        { 84, 86, 87 },
        { 84, 85, 86 },
        { 84, 85, 87 }
    ],
    [
        { 91, 93, 95 },
        { 90, 91, 93 },
        { 90, 93, 95 },
        { 90, 91, 95 }
    ],
    [
        { 95, 96, 97 },
        { 87, 93, 96, 97 },
        { 87, 95, 97 },
        { 93, 95, 96 },
        { 87, 93, 95 }
    ],
    [
        { 87, 95, 99 },
        { 85, 95, 99 },
        { 85, 87, 99 },
        { 85, 87, 95 }
    ],
    [
        { 279, 294, 295 },
        { 73, 279, 295 },
        { 73, 294, 295 },
        { 73, 279, 294 }
    ],
    [
        { 84, 87, 279 },
        { 84, 87, 294 },
        { 87, 279, 294 },
        { 84, 279, 294 }
    ],
    [
        { 297, 298, 299 },
        { 296, 298, 299 },
        { 296, 297, 299 },
        { 296, 297, 298 }
    ],
    [
        { 87, 298, 300 },
        { 87, 297, 300 },
        { 297, 298, 300 },
        { 87, 297, 298 }
    ],
    [
        { 100, 101, 102 },
        { 101, 102, 301 },
        { 100, 102, 301 },
        { 100, 101, 301 }
    ],
    [
        { 87, 298, 302 },
        { 87, 296, 302 },
        { 296, 298, 302 },
        { 87, 296, 298 }
    ],
    [
        { 302, 303, 304 },
        { 296, 302, 304 },
        { 296, 302, 303 },
        { 296, 303, 304 }
    ],
    [
        { 305, 306, 307 },
        { 71, 306, 307 },
        { 71, 305, 307 },
        { 71, 305, 306 }
    ],
    [
        { 71, 305, 306 },
        { 305, 306, 308 },
        { 71, 306, 308 },
        { 71, 305, 308 }
    ],
    [
        { 14, 104, 105 },
        { 12, 14, 105 },
        { 12, 14, 104 },
        { 12, 104, 105 }
    ],
    [
        { 105, 107, 310 },
        { 105, 107, 309, 312 },
        { 105, 309, 310, 311 },
        { 107, 310, 311, 312 },
        { 309, 311, 312 }
    ],
    [
        { 104, 105, 109 },
        { 105, 107, 109 },
        { 104, 107, 109 },
        { 104, 105, 107 }
    ],
    [
        { 189, 313, 314 },
        { 188, 189, 314 },
        { 188, 189, 313 },
        { 188, 313, 314 }
    ],
    [
        { 315, 316, 317 },
        { 37, 316, 317 },
        { 37, 315, 317 },
        { 37, 315, 316 }
    ],
    [
        { 319, 320, 321 },
        { 318, 320, 321 },
        { 318, 319, 321 },
        { 318, 319, 320 }
    ],
    [
        { 111, 112, 322 },
        { 110, 111, 112 },
        { 110, 112, 322 },
        { 110, 111, 322 }
    ],
    [
        { 116, 117, 323 },
        { 114, 117, 323 },
        { 114, 116, 323 },
        { 114, 116, 117 }
    ],
    [
        { 322, 325, 326 },
        { 324, 325, 326 },
        { 322, 324, 326 },
        { 322, 324, 325 }
    ],
    [
        { 323, 326, 327 },
        { 323, 324, 326 },
        { 324, 326, 327 },
        { 323, 324, 327 }
    ],
    [
        { 329, 330, 331 },
        { 328, 330, 331, 332 },
        { 328, 329, 330 },
        { 328, 329, 332 },
        { 329, 331, 332 }
    ],
    [
        { 329, 333, 334 },
        { 328, 333, 334 },
        { 328, 329, 334 },
        { 328, 329, 333 }
    ],
    [
        { 119, 120, 121 },
        { 120, 121, 335 },
        { 119, 121, 335 },
        { 119, 120, 335 }
    ],
    [
        { 121, 122, 123 },
        { 122, 123, 336 },
        { 121, 123, 336 },
        { 121, 122, 336 }
    ],
    [
        { 121, 123, 125, 126 },
        { 125, 126, 329 },
        { 121, 125, 329 },
        { 123, 126, 329 },
        { 121, 123, 329 }
    ],
    [
        { 16, 17, 337 },
        { 17, 114, 337 },
        { 16, 114, 337 },
        { 16, 17, 114 }
    ],
    [
        { 17, 129, 130 },
        { 16, 129, 130 },
        { 16, 17, 130 },
        { 16, 17, 129 }
    ],
    [
        { 130, 339, 340 },
        { 338, 339, 340 },
        { 130, 338, 340 },
        { 130, 338, 339 }
    ],
    [
        { 339, 341, 342 },
        { 138, 341, 342 },
        { 138, 339, 342 },
        { 138, 339, 341 }
    ],
    [
        { 343, 344, 345 },
        { 132, 344, 345 },
        { 132, 343, 345 },
        { 132, 343, 344 }
    ],
    [
        { 134, 135, 346 },
        { 132, 135, 346 },
        { 132, 134, 135 },
        { 132, 134, 346 }
    ],
    [
        { 132, 136, 341 },
        { 136, 138, 341 },
        { 132, 138, 341 },
        { 132, 136, 138 }
    ],
    [
        { 21, 136, 137 },
        { 136, 137, 138 },
        { 21, 137, 138 },
        { 21, 136, 138 }
    ],
    [
        { 21, 22, 137 },
        { 22, 137, 138 },
        { 21, 22, 138 },
        { 21, 137, 138 }
    ],
    [
        { 21, 22, 335 },
        { 21, 22, 347 },
        { 22, 335, 347 },
        { 21, 335, 347 }
    ],
    [
        { 152, 348, 349 },
        { 140, 348, 349 },
        { 140, 152, 349 },
        { 140, 152, 348 }
    ],
    [
        { 142, 344, 348 },
        { 140, 142, 344 },
        { 140, 142, 348 },
        { 140, 344, 348 }
    ],
    [
        { 141, 142, 344 },
        { 140, 141, 142 },
        { 140, 142, 344 },
        { 140, 141, 344 }
    ],
    [
        { 141, 350, 351 },
        { 344, 350, 351 },
        { 141, 344, 351 },
        { 141, 344, 350 }
    ],
    [
        { 353, 354, 355, 356 },
        { 352, 353, 355, 357 },
        { 352, 353, 354 },
        { 352, 354, 356, 357 },
        { 355, 356, 357 }
    ],
    [
        { 350, 355, 358 },
        { 344, 355, 358 },
        { 344, 350, 358 },
        { 344, 350, 355 }
    ],
    [
        { 355, 356, 359 },
        { 344, 355, 356 },
        { 344, 356, 359 },
        { 344, 355, 359 }
    ],
    [
        { 350, 353, 360 },
        { 132, 350, 353 },
        { 132, 353, 360 },
        { 132, 350, 360 }
    ],
    [
        { 353, 354, 361 },
        { 132, 354, 361 },
        { 132, 353, 361 },
        { 132, 353, 354 }
    ],
    [
        { 134, 144, 145 },
        { 132, 134, 145 },
        { 132, 144, 145 },
        { 132, 134, 144 }
    ],
    [
        { 134, 145, 362 },
        { 145, 148, 362 },
        { 134, 145, 148 },
        { 134, 148, 362 }
    ],
    [
        { 147, 350, 363 },
        { 132, 147, 350 },
        { 132, 147, 363 },
        { 132, 350, 363 }
    ],
    [
        { 144, 145, 147 },
        { 132, 145, 147 },
        { 132, 144, 147 },
        { 132, 144, 145 }
    ],
    [
        { 140, 145, 364 },
        { 24, 140, 364 },
        { 24, 26, 140, 145 },
        { 26, 145, 364 },
        { 24, 26, 364 }
    ],
    [
        { 148, 150, 151, 152 },
        { 24, 26, 148, 152 },
        { 24, 151, 152 },
        { 24, 26, 150, 151 },
        { 26, 148, 150 }
    ],
    [
        { 28, 156, 157 },
        { 28, 154, 157 },
        { 154, 156, 157 },
        { 28, 154, 156 }
    ],
    [
        { 28, 30, 159 },
        { 30, 156, 159 },
        { 28, 30, 156 },
        { 28, 156, 159 }
    ],
    [
        { 33, 159, 161 },
        { 32, 159, 161 },
        { 32, 33, 159 },
        { 32, 33, 161 }
    ],
    [
        { 156, 159, 164 },
        { 159, 161, 164 },
        { 156, 159, 161 },
        { 156, 161, 164 }
    ],
    [
        { 161, 166, 167 },
        { 32, 166, 167 },
        { 32, 161, 166 },
        { 32, 161, 167 }
    ],
    [
        { 170, 171, 366 },
        { 171, 173, 365, 366 },
        { 170, 365, 366 },
        { 170, 171, 173 },
        { 170, 173, 365 }
    ],
    [
        { 174, 175, 176 },
        { 175, 176, 367 },
        { 174, 176, 367 },
        { 174, 175, 367 }
    ],
    [
        { 174, 176, 180 },
        { 176, 179, 180 },
        { 174, 179, 180 },
        { 174, 176, 179 }
    ],
    [
        { 182, 183, 184 },
        { 183, 184, 368 },
        { 182, 184, 368 },
        { 182, 183, 368 }
    ],
    [
        { 182, 184, 186 },
        { 184, 185, 186 },
        { 182, 185, 186 },
        { 182, 184, 185 }
    ],
    [
        { 179, 189, 313 },
        { 179, 188, 189 },
        { 188, 189, 313 },
        { 179, 188, 313 }
    ],
    [
        { 313, 370, 371 },
        { 313, 369, 371 },
        { 369, 370, 371 },
        { 313, 369, 370 }
    ],
    [
        { 320, 370, 372 },
        { 320, 369, 370 },
        { 320, 369, 372 },
        { 369, 370, 372 }
    ],
    [
        { 192, 193, 194 },
        { 193, 194, 373 },
        { 192, 194, 373 },
        { 192, 193, 373 }
    ],
    [
        { 185, 196, 197 },
        { 196, 197, 374 },
        { 185, 197, 374 },
        { 185, 196, 374 }
    ],
    [
        { 375, 376, 377 },
        { 374, 376, 377 },
        { 374, 375, 377 },
        { 374, 375, 376 }
    ],
    [
        { 376, 378, 379 },
        { 375, 378, 379 },
        { 375, 376, 379 },
        { 375, 376, 378 }
    ],
    [
        { 198, 199, 380, 381 },
        { 37, 380, 381 },
        { 37, 198, 381 },
        { 37, 199, 380 },
        { 37, 198, 199 }
    ],
    [
        { 202, 381, 382 },
        { 201, 381, 382 },
        { 201, 202, 382 },
        { 201, 202, 381 }
    ],
    [
        { 201, 202, 382 },
        { 200, 202, 382 },
        { 200, 201, 382 },
        { 200, 201, 202 }
    ],
    [
        { 37, 205, 383 },
        { 37, 114, 205 },
        { 37, 114, 383 },
        { 114, 205, 383 }
    ],
    [
        { 37, 205, 206 },
        { 37, 204, 206 },
        { 204, 205, 206 },
        { 37, 204, 205 }
    ],
    [
        { 239, 245, 385, 387 },
        { 245, 384, 385, 386 },
        { 239, 245, 386 },
        { 239, 384, 386, 387 },
        { 384, 385, 387 }
    ],
    [
        { 388, 389, 390 },
        { 374, 389, 390 },
        { 374, 388, 390 },
        { 374, 388, 389 }
    ],
    [
        { 388, 389, 392 },
        { 389, 391, 392 },
        { 388, 389, 391 },
        { 388, 391, 392 }
    ],
    [
        { 248, 388, 393, 394 },
        { 248, 374, 388 },
        { 374, 388, 393 },
        { 374, 393, 394 },
        { 248, 374, 394 }
    ],
    [
        { 245, 248, 394, 395 },
        { 245, 374, 395 },
        { 245, 248, 374 },
        { 374, 394, 395 },
        { 248, 374, 394 }
    ],
    [
        { 245, 378, 397 },
        { 378, 396, 397 },
        { 245, 396, 397 },
        { 245, 378, 396 }
    ],
    [
        { 41, 44, 47 },
        { 44, 47, 71 },
        { 41, 44, 71 },
        { 41, 47, 71 }
    ],
    [
        { 44, 210, 213 },
        { 44, 71, 210 },
        { 44, 71, 213 },
        { 71, 210, 213 }
    ],
    [
        { 43, 47, 212 },
        { 43, 212, 398 },
        { 43, 47, 398 },
        { 47, 212, 398 }
    ],
    [
        { 43, 44, 213 },
        { 43, 44, 47 },
        { 44, 47, 213 },
        { 43, 47, 213 }
    ],
    [
        { 399, 400, 401 },
        { 52, 400, 401 },
        { 52, 399, 401 },
        { 52, 399, 400 }
    ],
    [
        { 47, 401, 403 },
        { 401, 402, 403 },
        { 47, 401, 402 },
        { 47, 402, 403 }
    ],
    [
        { 399, 401, 404 },
        { 52, 401, 404 },
        { 52, 399, 401 },
        { 52, 399, 404 }
    ],
    [
        { 47, 401, 405 },
        { 401, 402, 405 },
        { 47, 401, 402 },
        { 47, 402, 405 }
    ],
    [
        { 46, 214, 230 },
        { 71, 214, 230 },
        { 46, 71, 214 },
        { 46, 71, 230 }
    ],
    [
        { 41, 46, 47 },
        { 41, 47, 71 },
        { 46, 47, 71 },
        { 41, 46, 71 }
    ],
    [
        { 47, 52, 215, 406 },
        { 1, 4, 52, 215 },
        { 4, 47, 52 },
        { 1, 4, 47, 406 },
        { 1, 215, 406 }
    ],
    [
        { 51, 52, 56 },
        { 52, 56, 216 },
        { 51, 56, 216 },
        { 51, 52, 216 }
    ],
    [
        { 51, 217, 221 },
        { 216, 217, 221 },
        { 51, 216, 221 },
        { 51, 216, 217 }
    ],
    [
        { 51, 221, 407 },
        { 51, 52, 215, 407 },
        { 51, 52, 221 },
        { 52, 215, 221 },
        { 215, 221, 407 }
    ],
    [
        { 219, 220, 221 },
        { 216, 220, 221 },
        { 216, 219, 221 },
        { 216, 219, 220 }
    ],
    [
        { 220, 221, 223, 230 },
        { 220, 222, 223 },
        { 222, 223, 230 },
        { 220, 221, 222 },
        { 221, 222, 230 }
    ],
    [
        { 71, 223, 225 },
        { 71, 216, 220, 223 },
        { 71, 216, 225 },
        { 216, 220, 225 },
        { 220, 223, 225 }
    ],
    [
        { 223, 229, 230 },
        { 71, 229, 230 },
        { 71, 223, 229 },
        { 71, 223, 230 }
    ],
    [
        { 52, 55, 56 },
        { 52, 56, 216 },
        { 55, 56, 216 },
        { 52, 55, 216 }
    ],
    [
        { 55, 233, 236 },
        { 216, 233, 236 },
        { 55, 216, 233 },
        { 55, 216, 236 }
    ],
    [
        { 52, 58, 235 },
        { 58, 235, 398 },
        { 52, 235, 398 },
        { 52, 58, 398 }
    ],
    [
        { 52, 58, 236 },
        { 55, 58, 236 },
        { 52, 55, 58 },
        { 52, 55, 236 }
    ],
    [
        { 210, 213, 408 },
        { 71, 210, 213 },
        { 71, 210, 408 },
        { 71, 213, 408 }
    ],
    [
        { 213, 391, 408 },
        { 213, 391, 409 },
        { 213, 408, 409 },
        { 391, 408, 409 }
    ],
    [
        { 233, 236, 410 },
        { 216, 233, 236 },
        { 216, 233, 410 },
        { 216, 236, 410 }
    ],
    [
        { 236, 410, 411 },
        { 236, 391, 410 },
        { 236, 391, 411 },
        { 391, 410, 411 }
    ],
    [
        { 391, 411, 412 },
        { 409, 411, 412, 413 },
        { 391, 409, 411 },
        { 391, 412, 413 },
        { 391, 409, 413 }
    ],
    [
        { 409, 414, 415 },
        { 409, 411, 415, 416 },
        { 409, 411, 414 },
        { 411, 414, 416 },
        { 414, 415, 416 }
    ],
    [
        { 17, 60, 61 },
        { 17, 61, 348 },
        { 60, 61, 348 },
        { 17, 60, 348 }
    ],
    [
        { 65, 66, 239 },
        { 66, 114, 239 },
        { 65, 66, 114 },
        { 65, 114, 239 }
    ],
    [
        { 61, 239, 240 },
        { 237, 239, 240 },
        { 61, 237, 240 },
        { 61, 237, 239 }
    ],
    [
        { 61, 348, 417 },
        { 61, 152, 417 },
        { 61, 152, 348 },
        { 152, 348, 417 }
    ],
    [
        { 61, 418, 419 },
        { 61, 237, 419 },
        { 61, 237, 418 },
        { 237, 418, 419 }
    ],
    [
        { 239, 245, 420 },
        { 237, 245, 420 },
        { 237, 239, 420 },
        { 237, 239, 245 }
    ],
    [
        { 242, 243, 391 },
        { 216, 242, 243 },
        { 216, 243, 391 },
        { 216, 242, 391 }
    ],
    [
        { 216, 242, 246 },
        { 242, 246, 421 },
        { 216, 242, 421 },
        { 216, 246, 421 }
    ],
    [
        { 245, 246, 247 },
        { 246, 247, 421 },
        { 245, 247, 421 },
        { 245, 246, 421 }
    ],
    [
        { 242, 246, 388 },
        { 242, 246, 391 },
        { 242, 388, 391 },
        { 246, 388, 391 }
    ],
    [
        { 245, 246, 248 },
        { 245, 246, 388 },
        { 246, 248, 388 },
        { 245, 248, 388 }
    ],
    [
        { 251, 252, 253 },
        { 252, 253, 255 },
        { 251, 253, 255 },
        { 251, 252, 255 }
    ],
    [
        { 252, 253, 257, 258 },
        { 252, 255, 258 },
        { 255, 257, 258 },
        { 253, 255, 257 },
        { 252, 253, 255 }
    ],
    [
        { 257, 258, 260 },
        { 255, 257, 258 },
        { 255, 257, 260 },
        { 255, 258, 260 }
    ],
    [
        { 251, 260, 263 },
        { 258, 260, 263 },
        { 251, 252, 258, 260 },
        { 251, 252, 263 },
        { 252, 258, 263 }
    ],
    [
        { 267, 268, 422, 423 },
        { 265, 267, 268, 269 },
        { 265, 269, 422, 423 },
        { 265, 267, 423 },
        { 268, 269, 422 }
    ],
    [
        { 266, 271, 273 },
        { 265, 267, 271, 273 },
        { 265, 266, 273 },
        { 266, 267, 271 },
        { 265, 266, 267 }
    ],
    [
        { 8, 69, 297 },
        { 8, 69, 71 },
        { 8, 71, 297 },
        { 69, 71, 297 }
    ],
    [
        { 8, 71, 282 },
        { 8, 70, 282 },
        { 8, 70, 71 },
        { 70, 71, 282 }
    ],
    [
        { 275, 276, 277 },
        { 73, 276, 277 },
        { 73, 275, 277 },
        { 73, 275, 276 }
    ],
    [
        { 76, 275, 279 },
        { 73, 76, 275 },
        { 73, 76, 279 },
        { 73, 275, 279 }
    ],
    [
        { 275, 282, 424, 425 },
        { 275, 279, 282 },
        { 275, 279, 424 },
        { 279, 424, 425 },
        { 279, 282, 425 }
    ],
    [
        { 283, 426, 427, 428 },
        { 275, 426, 428 },
        { 275, 426, 427 },
        { 275, 283, 427 },
        { 275, 283, 428 }
    ],
    [
        { 282, 283, 428 },
        { 275, 283, 428 },
        { 275, 282, 283 },
        { 275, 282, 428 }
    ],
    [
        { 287, 426, 427 },
        { 275, 426, 427 },
        { 275, 287, 427 },
        { 275, 287, 426 }
    ],
    [
        { 282, 287, 429 },
        { 287, 426, 429 },
        { 282, 287, 426, 428 },
        { 282, 428, 429 },
        { 426, 428, 429 }
    ],
    [
        { 77, 79, 287 },
        { 79, 284, 287 },
        { 77, 79, 284 },
        { 77, 284, 287 }
    ],
    [
        { 77, 285, 430 },
        { 284, 285, 430 },
        { 77, 284, 285 },
        { 77, 284, 430 }
    ],
    [
        { 81, 282, 286 },
        { 71, 282, 286 },
        { 71, 81, 286 },
        { 71, 81, 282 }
    ],
    [
        { 286, 431, 432 },
        { 71, 431, 432 },
        { 71, 286, 432 },
        { 71, 286, 431 }
    ],
    [
        { 286, 431, 433 },
        { 282, 431, 433 },
        { 282, 286, 433 },
        { 282, 286, 431 }
    ],
    [
        { 291, 431, 434 },
        { 288, 291, 434 },
        { 288, 291, 431, 433 },
        { 288, 433, 434 },
        { 431, 433, 434 }
    ],
    [
        { 282, 287, 289 },
        { 287, 288, 289 },
        { 282, 287, 288, 433 },
        { 282, 289, 433 },
        { 288, 289, 433 }
    ],
    [
        { 77, 292, 435 },
        { 291, 292, 435 },
        { 77, 291, 292 },
        { 77, 291, 435 }
    ],
    [
        { 287, 288, 292 },
        { 288, 291, 292 },
        { 287, 291, 292 },
        { 287, 288, 291 }
    ],
    [
        { 82, 287, 292 },
        { 77, 82, 292 },
        { 77, 287, 292 },
        { 77, 82, 287 }
    ],
    [
        { 84, 85, 87 },
        { 85, 87, 294 },
        { 84, 87, 294 },
        { 84, 85, 294 }
    ],
    [
        { 85, 90, 95 },
        { 85, 87, 95 },
        { 85, 87, 90, 93 },
        { 87, 93, 95 },
        { 90, 93, 95 }
    ],
    [
        { 301, 436, 437 },
        { 85, 90, 301, 437 },
        { 85, 301, 436 },
        { 85, 90, 436 },
        { 90, 436, 437 }
    ],
    [
        { 87, 279, 294 },
        { 73, 87, 279 },
        { 73, 87, 294 },
        { 73, 279, 294 }
    ],
    [
        { 69, 71, 297 },
        { 69, 296, 297 },
        { 69, 71, 296 },
        { 71, 296, 297 }
    ],
    [
        { 87, 297, 298 },
        { 87, 296, 298 },
        { 87, 296, 297 },
        { 296, 297, 298 }
    ],
    [
        { 101, 301, 437 },
        { 87, 93, 301, 437 },
        { 87, 101, 301 },
        { 93, 101, 437 },
        { 87, 93, 101 }
    ],
    [
        { 100, 101, 304 },
        { 101, 301, 304 },
        { 100, 301, 304 },
        { 100, 101, 301 }
    ],
    [
        { 87, 302, 304 },
        { 296, 302, 304 },
        { 87, 296, 302 },
        { 87, 296, 304 }
    ],
    [
        { 104, 304, 438 },
        { 104, 296, 438 },
        { 296, 304, 438 },
        { 104, 296, 304 }
    ],
    [
        { 306, 307, 391 },
        { 71, 306, 307 },
        { 71, 307, 391 },
        { 71, 306, 391 }
    ],
    [
        { 71, 104, 296 },
        { 71, 104, 308 },
        { 104, 296, 308 },
        { 71, 296, 308 }
    ],
    [
        { 71, 105, 306 },
        { 105, 306, 308 },
        { 71, 306, 308 },
        { 71, 105, 308 }
    ],
    [
        { 14, 104, 105 },
        { 14, 105, 308 },
        { 14, 104, 308 },
        { 104, 105, 308 }
    ],
    [
        { 105, 306, 310 },
        { 105, 306, 391 },
        { 306, 310, 391 },
        { 105, 310, 391 }
    ],
    [
        { 104, 105, 107 },
        { 104, 105, 310 },
        { 105, 107, 310 },
        { 104, 107, 310 }
    ],
    [
        { 189, 313, 314 },
        { 189, 314, 439 },
        { 189, 313, 439 },
        { 313, 314, 439 }
    ],
    [
        { 313, 314, 440 },
        { 314, 319, 440 },
        { 313, 319, 440 },
        { 313, 314, 319 }
    ],
    [
        { 315, 317, 335 },
        { 37, 315, 317 },
        { 37, 317, 335 },
        { 37, 315, 335 }
    ],
    [
        { 316, 317, 320 },
        { 37, 316, 317 },
        { 37, 317, 320 },
        { 37, 316, 320 }
    ],
    [
        { 313, 320, 441 },
        { 319, 320, 441 },
        { 313, 319, 441 },
        { 313, 319, 320 }
    ],
    [
        { 318, 319, 320 },
        { 319, 320, 442 },
        { 318, 320, 442 },
        { 318, 319, 442 }
    ],
    [
        { 110, 117, 322, 323 },
        { 110, 111, 114, 117 },
        { 111, 114, 322, 323 },
        { 114, 117, 323 },
        { 110, 111, 322 }
    ],
    [
        { 322, 323, 326 },
        { 323, 324, 326 },
        { 322, 324, 326 },
        { 322, 323, 324 }
    ],
    [
        { 329, 333, 443 },
        { 328, 329, 333 },
        { 328, 330, 333, 443 },
        { 328, 329, 330 },
        { 329, 330, 443 }
    ],
    [
        { 120, 335, 444, 445 },
        { 329, 335, 444 },
        { 120, 329, 335 },
        { 329, 444, 445 },
        { 120, 329, 445 }
    ],
    [
        { 119, 121, 335 },
        { 121, 335, 336 },
        { 119, 122, 335, 336 },
        { 119, 121, 122 },
        { 121, 122, 336 }
    ],
    [
        { 120, 121, 329 },
        { 120, 121, 335 },
        { 121, 329, 335 },
        { 120, 329, 335 }
    ],
    [
        { 121, 123, 329 },
        { 121, 123, 336 },
        { 123, 329, 336 },
        { 121, 329, 336 }
    ],
    [
        { 16, 17, 130 },
        { 17, 114, 130 },
        { 16, 114, 130 },
        { 16, 17, 114 }
    ],
    [
        { 130, 339, 344 },
        { 130, 338, 339 },
        { 338, 339, 344 },
        { 130, 338, 344 }
    ],
    [
        { 132, 339, 341 },
        { 138, 339, 341 },
        { 132, 138, 341 },
        { 132, 138, 339 }
    ],
    [
        { 339, 343, 344 },
        { 132, 339, 344 },
        { 132, 339, 343 },
        { 132, 343, 344 }
    ],
    [
        { 21, 134, 346 },
        { 21, 132, 346 },
        { 132, 134, 346 },
        { 21, 132, 134 }
    ],
    [
        { 21, 132, 136 },
        { 21, 136, 138 },
        { 132, 136, 138 },
        { 21, 132, 138 }
    ],
    [
        { 21, 22, 335 },
        { 21, 22, 138 },
        { 22, 138, 335 },
        { 21, 138, 335 }
    ],
    [
        { 152, 344, 348 },
        { 140, 344, 348 },
        { 140, 152, 344 },
        { 140, 152, 348 }
    ],
    [
        { 141, 344, 350 },
        { 140, 141, 350 },
        { 140, 344, 350 },
        { 140, 141, 344 }
    ],
    [
        { 353, 354, 355, 356 },
        { 350, 353, 355 },
        { 350, 353, 354 },
        { 350, 354, 356 },
        { 350, 355, 356 }
    ],
    [
        { 350, 355, 356 },
        { 344, 355, 356 },
        { 344, 350, 356 },
        { 344, 350, 355 }
    ],
    [
        { 132, 354, 446 },
        { 132, 344, 446 },
        { 132, 344, 354, 356 },
        { 354, 356, 446 },
        { 344, 356, 446 }
    ],
    [
        { 350, 353, 354 },
        { 132, 353, 354 },
        { 132, 350, 354 },
        { 132, 350, 353 }
    ],
    [
        { 134, 145, 148 },
        { 132, 134, 145 },
        { 132, 145, 148 },
        { 132, 134, 148 }
    ],
    [
        { 145, 147, 350 },
        { 132, 145, 147 },
        { 132, 147, 350 },
        { 132, 145, 350 }
    ],
    [
        { 145, 350, 447 },
        { 140, 145, 350 },
        { 140, 145, 447 },
        { 140, 350, 447 }
    ],
    [
        { 24, 26, 148, 152 },
        { 140, 145, 148, 152 },
        { 24, 140, 152 },
        { 24, 26, 140, 145 },
        { 26, 145, 148 }
    ],
    [
        { 28, 156, 367 },
        { 28, 154, 156 },
        { 28, 154, 367 },
        { 154, 156, 367 }
    ],
    [
        { 156, 159, 161 },
        { 32, 159, 161 },
        { 28, 32, 156, 161 },
        { 28, 156, 159 },
        { 28, 32, 159 }
    ],
    [
        { 156, 161, 449 },
        { 156, 161, 448 },
        { 156, 448, 449 },
        { 161, 448, 449 }
    ],
    [
        { 161, 167, 368 },
        { 32, 161, 167 },
        { 32, 167, 368 },
        { 32, 161, 368 }
    ],
    [
        { 28, 170, 367 },
        { 28, 170, 365 },
        { 28, 365, 367 },
        { 170, 365, 367 }
    ],
    [
        { 170, 366, 368 },
        { 32, 170, 366 },
        { 32, 170, 368 },
        { 32, 366, 368 }
    ],
    [
        { 170, 365, 367 },
        { 170, 367, 368 },
        { 365, 366, 367, 368 },
        { 170, 366, 368 },
        { 170, 365, 366 }
    ],
    [
        { 174, 176, 179 },
        { 174, 176, 367 },
        { 176, 179, 367 },
        { 174, 179, 367 }
    ],
    [
        { 368, 451, 452 },
        { 368, 450, 452 },
        { 450, 451, 452 },
        { 368, 450, 451 }
    ],
    [
        { 182, 184, 185 },
        { 182, 184, 368 },
        { 184, 185, 368 },
        { 182, 185, 368 }
    ],
    [
        { 179, 189, 313 },
        { 179, 189, 439 },
        { 189, 313, 439 },
        { 179, 313, 439 }
    ],
    [
        { 37, 320, 372 },
        { 320, 369, 372 },
        { 37, 320, 369 },
        { 37, 369, 372 }
    ],
    [
        { 313, 320, 370 },
        { 313, 320, 369 },
        { 320, 369, 370 },
        { 313, 369, 370 }
    ],
    [
        { 192, 193, 373 },
        { 192, 193, 369 },
        { 193, 369, 373 },
        { 192, 369, 373 }
    ],
    [
        { 193, 373, 380 },
        { 37, 193, 373 },
        { 37, 193, 380 },
        { 37, 373, 380 }
    ],
    [
        { 185, 197, 375 },
        { 197, 374, 375 },
        { 185, 197, 374 },
        { 185, 374, 375 }
    ],
    [
        { 375, 376, 378 },
        { 374, 376, 378 },
        { 374, 375, 378 },
        { 374, 375, 376 }
    ],
    [
        { 375, 378, 379 },
        { 37, 378, 379 },
        { 37, 375, 379 },
        { 37, 375, 378 }
    ],
    [
        { 373, 380, 381, 382 },
        { 37, 380, 381 },
        { 37, 373, 380 },
        { 37, 381, 382 },
        { 37, 373, 382 }
    ],
    [
        { 202, 381, 382 },
        { 37, 381, 382 },
        { 37, 202, 382 },
        { 37, 202, 381 }
    ],
    [
        { 202, 375, 382 },
        { 200, 375, 382 },
        { 200, 202, 382 },
        { 200, 202, 375 }
    ],
    [
        { 37, 204, 205 },
        { 37, 114, 205 },
        { 37, 114, 204 },
        { 114, 204, 205 }
    ],
    [
        { 37, 206, 378 },
        { 204, 206, 378 },
        { 37, 204, 206 },
        { 37, 204, 378 }
    ],
    [
        { 245, 378, 386 },
        { 239, 378, 386 },
        { 239, 245, 386 },
        { 239, 245, 378 }
    ],
    [
        { 388, 389, 391 },
        { 374, 388, 389 },
        { 374, 389, 391 },
        { 374, 388, 391 }
    ],
    [
        { 245, 248, 388 },
        { 245, 248, 374 },
        { 245, 374, 388 },
        { 248, 374, 388 }
    ],
    [
        { 245, 378, 396 },
        { 245, 374, 378 },
        { 374, 378, 396 },
        { 245, 374, 396 }
    ],
    [
        { 44, 47, 213 },
        { 44, 71, 213 },
        { 44, 47, 71 },
        { 47, 71, 213 }
    ],
    [
        { 43, 47, 213 },
        { 43, 213, 398 },
        { 43, 47, 398 },
        { 47, 213, 398 }
    ],
    [
        { 52, 400, 401 },
        { 398, 400, 401 },
        { 52, 398, 401 },
        { 52, 398, 400 }
    ],
    [
        { 47, 401, 403 },
        { 398, 401, 403 },
        { 47, 398, 401 },
        { 47, 398, 403 }
    ],
    [
        { 47, 401, 405 },
        { 47, 52, 401 },
        { 47, 52, 404, 405 },
        { 401, 404, 405 },
        { 52, 401, 404 }
    ],
    [
        { 46, 47, 230 },
        { 47, 71, 230 },
        { 46, 47, 71 },
        { 46, 71, 230 }
    ],
    [
        { 52, 215, 221 },
        { 215, 221, 230, 406 },
        { 47, 52, 221, 230 },
        { 47, 52, 215, 406 },
        { 47, 230, 406 }
    ],
    [
        { 51, 52, 221 },
        { 52, 216, 221 },
        { 51, 216, 221 },
        { 51, 52, 216 }
    ],
    [
        { 71, 223, 230 },
        { 71, 216, 221, 230 },
        { 71, 216, 220, 223 },
        { 220, 221, 223, 230 },
        { 216, 220, 221 }
    ],
    [
        { 52, 55, 236 },
        { 52, 216, 236 },
        { 55, 216, 236 },
        { 52, 55, 216 }
    ],
    [
        { 52, 58, 236 },
        { 58, 236, 398 },
        { 52, 58, 398 },
        { 52, 236, 398 }
    ],
    [
        { 213, 391, 408 },
        { 71, 213, 391 },
        { 71, 213, 408 },
        { 71, 391, 408 }
    ],
    [
        { 213, 391, 415 },
        { 213, 409, 415 },
        { 213, 391, 409 },
        { 391, 409, 415 }
    ],
    [
        { 236, 391, 410 },
        { 216, 236, 410 },
        { 216, 236, 391 },
        { 216, 391, 410 }
    ],
    [
        { 236, 411, 416 },
        { 236, 391, 416 },
        { 391, 411, 416 },
        { 236, 391, 411 }
    ],
    [
        { 415, 416, 453 },
        { 398, 416, 453 },
        { 398, 415, 453 },
        { 398, 415, 416 }
    ],
    [
        { 409, 411, 415, 416 },
        { 391, 409, 415 },
        { 391, 409, 411 },
        { 391, 411, 416 },
        { 391, 415, 416 }
    ],
    [
        { 17, 61, 348 },
        { 17, 61, 152 },
        { 61, 152, 348 },
        { 17, 152, 348 }
    ],
    [
        { 61, 65, 239 },
        { 61, 114, 239 },
        { 65, 114, 239 },
        { 61, 65, 114 }
    ],
    [
        { 61, 216, 239 },
        { 61, 237, 239 },
        { 216, 237, 239 },
        { 61, 216, 237 }
    ],
    [
        { 61, 417, 418 },
        { 61, 152, 417 },
        { 61, 152, 418 },
        { 152, 417, 418 }
    ],
    [
        { 61, 216, 418 },
        { 61, 237, 418 },
        { 61, 216, 237 },
        { 216, 237, 418 }
    ],
    [
        { 216, 239, 245 },
        { 237, 239, 245 },
        { 216, 237, 245 },
        { 216, 237, 239 }
    ],
    [
        { 242, 246, 391 },
        { 216, 242, 246 },
        { 216, 242, 391 },
        { 216, 246, 391 }
    ],
    [
        { 216, 245, 246 },
        { 245, 246, 421 },
        { 216, 246, 421 },
        { 216, 245, 421 }
    ],
    [
        { 245, 246, 388 },
        { 245, 246, 391 },
        { 246, 388, 391 },
        { 245, 388, 391 }
    ],
    [
        { 251, 252, 258, 260 },
        { 251, 255, 260 },
        { 255, 258, 260 },
        { 252, 255, 258 },
        { 251, 252, 255 }
    ],
    [
        { 271, 431, 454 },
        { 71, 271, 454 },
        { 71, 271, 431 },
        { 71, 431, 454 }
    ],
    [
        { 71, 216, 271, 273, 455, 456 },
        { 265, 267, 271, 273 },
        { 265, 273, 455 },
        { 71, 216, 267, 423 },
        { 71, 267, 271 },
        { 265, 423, 455, 456 },
        { 216, 423, 456 },
        { 265, 267, 423 }
    ],
    [
        { 279, 282, 297 },
        { 73, 282, 297 },
        { 73, 279, 282 },
        { 73, 279, 297 }
    ],
    [
        { 8, 282, 297 },
        { 8, 71, 282 },
        { 8, 71, 297 },
        { 71, 282, 297 }
    ],
    [
        { 275, 276, 287 },
        { 73, 276, 287 },
        { 73, 275, 287 },
        { 73, 275, 276 }
    ],
    [
        { 275, 279, 282 },
        { 73, 275, 282 },
        { 73, 279, 282 },
        { 73, 275, 279 }
    ],
    [
        { 282, 287, 426, 428 },
        { 275, 282, 287 },
        { 275, 287, 426 },
        { 275, 282, 428 },
        { 275, 426, 428 }
    ],
    [
        { 276, 287, 430 },
        { 73, 287, 430 },
        { 73, 276, 430 },
        { 73, 276, 287 }
    ],
    [
        { 77, 287, 430 },
        { 284, 287, 430 },
        { 77, 284, 430 },
        { 77, 284, 287 }
    ],
    [
        { 282, 286, 431 },
        { 71, 286, 431 },
        { 71, 282, 431 },
        { 71, 282, 286 }
    ],
    [
        { 282, 287, 288, 433 },
        { 282, 287, 291, 431 },
        { 287, 288, 291 },
        { 288, 291, 431, 433 },
        { 282, 431, 433 }
    ],
    [
        { 77, 287, 292 },
        { 287, 291, 292 },
        { 77, 291, 292 },
        { 77, 287, 291 }
    ],
    [
        { 85, 87, 294 },
        { 73, 85, 87 },
        { 73, 87, 294 },
        { 73, 85, 294 }
    ],
    [
        { 87, 93, 301, 437 },
        { 85, 90, 301, 437 },
        { 85, 87, 301 },
        { 85, 87, 90, 93 },
        { 90, 93, 437 }
    ],
    [
        { 87, 279, 297 },
        { 73, 87, 297 },
        { 73, 87, 279 },
        { 73, 279, 297 }
    ],
    [
        { 71, 87, 297 },
        { 87, 296, 297 },
        { 71, 87, 296 },
        { 71, 296, 297 }
    ],
    [
        { 87, 101, 304 },
        { 101, 301, 304 },
        { 87, 301, 304 },
        { 87, 101, 301 }
    ],
    [
        { 71, 87, 304 },
        { 87, 296, 304 },
        { 71, 296, 304 },
        { 71, 87, 296 }
    ],
    [
        { 71, 104, 304 },
        { 104, 296, 304 },
        { 71, 104, 296 },
        { 71, 296, 304 }
    ],
    [
        { 105, 306, 391 },
        { 71, 105, 306 },
        { 71, 306, 391 },
        { 71, 105, 391 }
    ],
    [
        { 71, 104, 105 },
        { 104, 105, 308 },
        { 71, 105, 308 },
        { 71, 104, 308 }
    ],
    [
        { 104, 105, 310 },
        { 104, 105, 391 },
        { 105, 310, 391 },
        { 104, 310, 391 }
    ],
    [
        { 313, 314, 319 },
        { 313, 314, 439 },
        { 314, 319, 439 },
        { 313, 319, 439 }
    ],
    [
        { 317, 320, 335 },
        { 37, 317, 320 },
        { 37, 317, 335 },
        { 37, 320, 335 }
    ],
    [
        { 313, 319, 320 },
        { 37, 313, 320 },
        { 37, 319, 320 },
        { 37, 313, 319 }
    ],
    [
        { 319, 320, 335 },
        { 319, 320, 442 },
        { 320, 335, 442 },
        { 319, 335, 442 }
    ],
    [
        { 322, 323, 324 },
        { 111, 114, 322, 323 },
        { 114, 323, 324 },
        { 111, 114, 324 },
        { 111, 322, 324 }
    ],
    [
        { 37, 329, 457 },
        { 37, 329, 443 },
        { 37, 333, 443, 457 },
        { 329, 333, 457 },
        { 329, 333, 443 }
    ],
    [
        { 37, 329, 458 },
        { 37, 335, 444, 458 },
        { 37, 329, 335 },
        { 329, 335, 444 },
        { 329, 444, 458 }
    ],
    [
        { 121, 329, 336 },
        { 121, 329, 335 },
        { 121, 335, 336 },
        { 329, 335, 336 }
    ],
    [
        { 17, 344, 348 },
        { 17, 152, 344 },
        { 152, 344, 348 },
        { 17, 152, 348 }
    ],
    [
        { 17, 130, 344 },
        { 114, 130, 344 },
        { 17, 114, 130 },
        { 17, 114, 344 }
    ],
    [
        { 132, 339, 344 },
        { 132, 138, 339 },
        { 130, 132, 138, 344 },
        { 130, 339, 344 },
        { 130, 138, 339 }
    ],
    [
        { 21, 134, 148 },
        { 21, 132, 134 },
        { 21, 132, 148 },
        { 132, 134, 148 }
    ],
    [
        { 21, 132, 335 },
        { 21, 138, 335 },
        { 21, 132, 138 },
        { 132, 138, 335 }
    ],
    [
        { 152, 344, 350 },
        { 140, 344, 350 },
        { 140, 152, 350 },
        { 140, 152, 344 }
    ],
    [
        { 132, 350, 354 },
        { 132, 344, 354, 356 },
        { 132, 344, 350 },
        { 344, 350, 356 },
        { 350, 354, 356 }
    ],
    [
        { 145, 148, 350 },
        { 132, 145, 350 },
        { 132, 145, 148 },
        { 132, 148, 350 }
    ],
    [
        { 148, 152, 350 },
        { 140, 152, 350 },
        { 140, 145, 148, 152 },
        { 140, 145, 350 },
        { 145, 148, 350 }
    ],
    [
        { 28, 156, 367 },
        { 28, 156, 448 },
        { 28, 367, 448 },
        { 156, 367, 448 }
    ],
    [
        { 156, 161, 448 },
        { 28, 32, 156, 161 },
        { 32, 161, 448 },
        { 28, 32, 448 },
        { 28, 156, 448 }
    ],
    [
        { 161, 368, 448 },
        { 32, 161, 448 },
        { 32, 161, 368 },
        { 32, 368, 448 }
    ],
    [
        { 170, 367, 368 },
        { 32, 170, 368 },
        { 28, 32, 367, 368 },
        { 28, 32, 170 },
        { 28, 170, 367 }
    ],
    [
        { 174, 179, 367 },
        { 174, 179, 448 },
        { 174, 367, 448 },
        { 179, 367, 448 }
    ],
    [
        { 367, 368, 450, 459 },
        { 450, 451, 459, 460 },
        { 368, 450, 451 },
        { 367, 368, 451, 460 },
        { 367, 459, 460 }
    ],
    [
        { 184, 185, 448 },
        { 184, 185, 368 },
        { 184, 368, 448 },
        { 185, 368, 448 }
    ],
    [
        { 179, 313, 439 },
        { 179, 313, 369 },
        { 179, 369, 439 },
        { 313, 369, 439 }
    ],
    [
        { 37, 313, 320 },
        { 313, 320, 369 },
        { 37, 320, 369 },
        { 37, 313, 369 }
    ],
    [
        { 37, 193, 373 },
        { 193, 369, 373 },
        { 37, 193, 369 },
        { 37, 369, 373 }
    ],
    [
        { 184, 185, 375 },
        { 184, 375, 448 },
        { 184, 185, 448 },
        { 185, 375, 448 }
    ],
    [
        { 185, 375, 391 },
        { 185, 374, 375 },
        { 374, 375, 391 },
        { 185, 374, 391 }
    ],
    [
        { 37, 375, 378 },
        { 374, 375, 378 },
        { 37, 374, 378 },
        { 37, 374, 375 }
    ],
    [
        { 37, 373, 382 },
        { 373, 382, 448 },
        { 37, 382, 448 },
        { 37, 373, 448 }
    ],
    [
        { 375, 382, 461 },
        { 382, 448, 461 },
        { 375, 448, 461 },
        { 375, 382, 448 }
    ],
    [
        { 202, 375, 382 },
        { 37, 375, 382 },
        { 37, 202, 382 },
        { 37, 202, 375 }
    ],
    [
        { 37, 204, 378 },
        { 37, 114, 378 },
        { 114, 204, 378 },
        { 37, 114, 204 }
    ],
    [
        { 239, 245, 378 },
        { 114, 245, 378 },
        { 114, 239, 378 },
        { 114, 239, 245 }
    ],
    [
        { 245, 388, 391 },
        { 245, 374, 388 },
        { 245, 374, 391 },
        { 374, 388, 391 }
    ],
    [
        { 37, 245, 378 },
        { 245, 374, 378 },
        { 37, 374, 378 },
        { 37, 245, 374 }
    ],
    [
        { 47, 213, 398 },
        { 47, 71, 213 },
        { 71, 213, 398 },
        { 47, 71, 398 }
    ],
    [
        { 47, 52, 401 },
        { 47, 398, 401 },
        { 52, 398, 401 },
        { 47, 52, 398 }
    ],
    [
        { 47, 52, 71, 216 },
        { 71, 216, 221, 230 },
        { 52, 216, 221 },
        { 47, 52, 221, 230 },
        { 47, 71, 230 }
    ],
    [
        { 52, 236, 398 },
        { 52, 216, 236 },
        { 216, 236, 398 },
        { 52, 216, 398 }
    ],
    [
        { 213, 398, 415 },
        { 71, 213, 415 },
        { 71, 213, 398 },
        { 71, 398, 415 }
    ],
    [
        { 213, 391, 415 },
        { 71, 213, 415 },
        { 71, 213, 391 },
        { 71, 391, 415 }
    ],
    [
        { 236, 398, 416 },
        { 216, 236, 416 },
        { 216, 398, 416 },
        { 216, 236, 398 }
    ],
    [
        { 236, 391, 416 },
        { 216, 236, 416 },
        { 216, 391, 416 },
        { 216, 236, 391 }
    ],
    [
        { 391, 415, 416 },
        { 398, 415, 416 },
        { 391, 398, 416 },
        { 391, 398, 415 }
    ],
    [
        { 17, 61, 152 },
        { 17, 61, 114 },
        { 61, 114, 152 },
        { 17, 114, 152 }
    ],
    [
        { 61, 216, 239 },
        { 61, 114, 239 },
        { 114, 216, 239 },
        { 61, 114, 216 }
    ],
    [
        { 61, 216, 418 },
        { 61, 152, 418 },
        { 61, 152, 216 },
        { 152, 216, 418 }
    ],
    [
        { 216, 239, 245 },
        { 114, 239, 245 },
        { 114, 216, 245 },
        { 114, 216, 239 }
    ],
    [
        { 245, 246, 391 },
        { 216, 245, 246 },
        { 216, 246, 391 },
        { 216, 245, 391 }
    ],
    [
        { 255, 260, 462 },
        { 216, 251, 260, 462 },
        { 216, 255, 462 },
        { 216, 251, 255 },
        { 251, 255, 260 }
    ],
    [
        { 71, 216, 255, 454 },
        { 71, 216, 271, 273, 455, 456 },
        { 255, 455, 456, 463 },
        { 255, 454, 463 },
        { 271, 273, 454, 463 },
        { 71, 271, 454 },
        { 273, 455, 463 },
        { 216, 255, 456 }
    ],
    [
        { 71, 282, 297 },
        { 73, 282, 297 },
        { 71, 73, 282 },
        { 71, 73, 297 }
    ],
    [
        { 275, 282, 287 },
        { 73, 282, 287 },
        { 73, 275, 282 },
        { 73, 275, 287 }
    ],
    [
        { 77, 287, 430 },
        { 73, 287, 430 },
        { 73, 77, 430 },
        { 73, 77, 287 }
    ],
    [
        { 71, 77, 282, 287 },
        { 77, 287, 291 },
        { 71, 77, 291, 431 },
        { 282, 287, 291, 431 },
        { 71, 282, 431 }
    ],
    [
        { 85, 87, 301 },
        { 73, 85, 87 },
        { 73, 87, 301 },
        { 73, 85, 301 }
    ],
    [
        { 71, 87, 297 },
        { 73, 87, 297 },
        { 71, 73, 87 },
        { 71, 73, 297 }
    ],
    [
        { 71, 87, 304 },
        { 87, 301, 304 },
        { 71, 301, 304 },
        { 71, 87, 301 }
    ],
    [
        { 71, 104, 304 },
        { 104, 301, 304 },
        { 71, 104, 301 },
        { 71, 301, 304 }
    ],
    [
        { 104, 105, 391 },
        { 71, 104, 105 },
        { 71, 105, 391 },
        { 71, 104, 391 }
    ],
    [
        { 37, 313, 319 },
        { 313, 319, 439 },
        { 37, 313, 439 },
        { 37, 319, 439 }
    ],
    [
        { 319, 320, 335 },
        { 37, 319, 320 },
        { 37, 320, 335 },
        { 37, 319, 335 }
    ],
    [
        { 111, 114, 335, 336 },
        { 114, 324, 335, 464 },
        { 111, 114, 324 },
        { 111, 324, 336, 464 },
        { 335, 336, 464 }
    ],
    [
        { 329, 335, 336 },
        { 37, 329, 335 },
        { 37, 335, 336, 457 },
        { 37, 329, 457 },
        { 329, 336, 457 }
    ],
    [
        { 17, 152, 344 },
        { 17, 114, 344 },
        { 114, 152, 344 },
        { 17, 114, 152 }
    ],
    [
        { 132, 138, 335 },
        { 114, 132, 335, 344 },
        { 114, 130, 138, 335 },
        { 130, 132, 138, 344 },
        { 114, 130, 344 }
    ],
    [
        { 21, 148, 335 },
        { 21, 132, 335 },
        { 21, 132, 148 },
        { 132, 148, 335 }
    ],
    [
        { 148, 152, 350 },
        { 132, 148, 350 },
        { 132, 148, 152, 344 },
        { 132, 344, 350 },
        { 152, 344, 350 }
    ],
    [
        { 367, 368, 448 },
        { 28, 32, 367, 368 },
        { 32, 368, 448 },
        { 28, 32, 448 },
        { 28, 367, 448 }
    ],
    [
        { 179, 367, 448 },
        { 179, 367, 439 },
        { 179, 439, 448 },
        { 367, 439, 448 }
    ],
    [
        { 367, 368, 391, 439 },
        { 368, 391, 450 },
        { 391, 439, 450, 459 },
        { 367, 368, 450, 459 },
        { 367, 439, 459 }
    ],
    [
        { 185, 391, 448 },
        { 185, 368, 448 },
        { 185, 368, 391 },
        { 368, 391, 448 }
    ],
    [
        { 179, 439, 448 },
        { 179, 369, 448 },
        { 179, 369, 439 },
        { 369, 439, 448 }
    ],
    [
        { 37, 313, 439 },
        { 37, 313, 369 },
        { 313, 369, 439 },
        { 37, 369, 439 }
    ],
    [
        { 37, 373, 448 },
        { 37, 369, 373 },
        { 369, 373, 448 },
        { 37, 369, 448 }
    ],
    [
        { 185, 375, 448 },
        { 185, 375, 391 },
        { 375, 391, 448 },
        { 185, 391, 448 }
    ],
    [
        { 37, 375, 391 },
        { 37, 374, 375 },
        { 374, 375, 391 },
        { 37, 374, 391 }
    ],
    [
        { 37, 375, 382 },
        { 375, 382, 448 },
        { 37, 382, 448 },
        { 37, 375, 448 }
    ],
    [
        { 37, 245, 378 },
        { 114, 245, 378 },
        { 37, 114, 378 },
        { 37, 114, 245 }
    ],
    [
        { 37, 245, 391 },
        { 37, 245, 374 },
        { 245, 374, 391 },
        { 37, 374, 391 }
    ],
    [
        { 52, 216, 398 },
        { 47, 52, 71, 216 },
        { 71, 216, 398 },
        { 47, 52, 398 },
        { 47, 71, 398 }
    ],
    [
        { 391, 398, 415 },
        { 71, 391, 415 },
        { 71, 398, 415 },
        { 71, 391, 398 }
    ],
    [
        { 391, 398, 416 },
        { 216, 391, 416 },
        { 216, 398, 416 },
        { 216, 391, 398 }
    ],
    [
        { 61, 152, 216 },
        { 61, 114, 216 },
        { 61, 114, 152 },
        { 114, 152, 216 }
    ],
    [
        { 216, 245, 391 },
        { 114, 245, 391 },
        { 114, 216, 245 },
        { 114, 216, 391 }
    ],
    [
        { 71, 216, 255, 454 },
        { 71, 77, 216, 462 },
        { 77, 255, 454, 462 },
        { 216, 255, 462 },
        { 71, 77, 454 }
    ],
    [
        { 71, 77, 282, 287 },
        { 73, 77, 287 },
        { 71, 73, 77 },
        { 73, 282, 287 },
        { 71, 73, 282 }
    ],
    [
        { 71, 87, 301 },
        { 71, 73, 87 },
        { 73, 87, 301 },
        { 71, 73, 301 }
    ],
    [
        { 71, 104, 391 },
        { 104, 301, 391 },
        { 71, 104, 301 },
        { 71, 301, 391 }
    ],
    [
        { 37, 319, 335 },
        { 319, 335, 439 },
        { 37, 319, 439 },
        { 37, 335, 439 }
    ],
    [
        { 37, 335, 336, 457 },
        { 111, 114, 335, 336 },
        { 37, 114, 335 },
        { 37, 111, 114, 457 },
        { 111, 336, 457 }
    ],
    [
        { 132, 148, 152, 344 },
        { 114, 148, 152, 335 },
        { 132, 148, 335 },
        { 114, 132, 335, 344 },
        { 114, 152, 344 }
    ],
    [
        { 368, 391, 448 },
        { 391, 439, 448 },
        { 367, 368, 391, 439 },
        { 367, 439, 448 },
        { 367, 368, 448 }
    ],
    [
        { 37, 439, 448 },
        { 37, 369, 448 },
        { 37, 369, 439 },
        { 369, 439, 448 }
    ],
    [
        { 37, 375, 448 },
        { 37, 375, 391 },
        { 375, 391, 448 },
        { 37, 391, 448 }
    ],
    [
        { 37, 245, 391 },
        { 37, 114, 245 },
        { 114, 245, 391 },
        { 37, 114, 391 }
    ],
    [
        { 216, 391, 398 },
        { 71, 391, 398 },
        { 71, 216, 391 },
        { 71, 216, 398 }
    ],
    [
        { 152, 216, 391 },
        { 114, 216, 391 },
        { 114, 152, 391 },
        { 114, 152, 216 }
    ],
    [
        { 73, 77, 152, 462 },
        { 71, 73, 152, 216 },
        { 71, 73, 77 },
        { 71, 77, 216, 462 },
        { 152, 216, 462 }
    ],
    [
        { 71, 301, 391 },
        { 71, 73, 391 },
        { 73, 301, 391 },
        { 71, 73, 301 }
    ],
    [
        { 37, 148, 335 },
        { 37, 335, 439 },
        { 148, 335, 439 },
        { 37, 148, 439 }
    ],
    [
        { 37, 148, 152 },
        { 37, 114, 152 },
        { 114, 148, 152, 335 },
        { 37, 148, 335 },
        { 37, 114, 335 }
    ],
    [
        { 37, 391, 448 },
        { 37, 439, 448 },
        { 37, 391, 439 },
        { 391, 439, 448 }
    ],
    [
        { 37, 152, 391 },
        { 37, 114, 391 },
        { 37, 114, 152 },
        { 114, 152, 391 }
    ],
    [
        { 73, 152, 391 },
        { 71, 73, 391 },
        { 71, 73, 152, 216 },
        { 152, 216, 391 },
        { 71, 216, 391 }
    ],
    [
        { 37, 152, 391 },
        { 37, 391, 439 },
        { 148, 152, 391, 439 },
        { 37, 148, 152 },
        { 37, 148, 439 }
    ],
    [
        { 148, 152, 391, 439 },
        { 73, 152, 391 },
        { 73, 391, 439, 465 },
        { 73, 148, 152, 465 },
        { 148, 439, 465 }
    ],
    [
        { 73, 148, 152, 465 },
        { 73, 152, 466, 467 },
        { 148, 152, 467 },
        { 148, 465, 466, 467 },
        { 73, 465, 466 }
    ]
]
/* Order of PGL_2(O) stabilizers of Voronoi top cells */
[ 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 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, 2, 1, 1, 2, 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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 3, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 6 ]
/* GAP id of GL_2(O) stabilizers of Voronoi top cells */
[ <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2,
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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, 2>, <4, 2>, <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>, <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>, <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>, <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>, <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>, <4, 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>, <4, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <12, 1> ]