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