/* Defining polynomial */
x^2 - x + 235
/* Minimal vectors */
[
    <-1892*w + 2326, 1027*w - 25840>,
    <318*w + 2351, -324*w + 2820>,
    <-301*w + 3112, 12*w - 5634>,
    <1007*w + 18439, -1633*w + 2823>,
    <-885*w + 20765, -606*w - 23017>,
    <-101*w + 194, 48*w - 1493>,
    <250*w + 957, -203*w + 2935>,
    <149*w + 1151, -155*w + 1442>,
    <-61*w + 1312, -41*w - 1534>,
    <4*w + 2623, -156*w - 1333>,
    <-57*w + 3935, -197*w - 2867>,
    <-15*w + 10, 8*w - 206>,
    <8*w + 148, -13*w + 31>,
    <25*w + 153, -23*w + 256>,
    <-7*w + 158, -5*w - 175>,
    <-24*w + 188, 3*w - 418>,
    <w + 341, -20*w - 162>,
    <9*w + 14, -6*w + 112>,
    <-w + 28, -w - 28>,
    <-7*w + 54, w - 121>,
    <2*w + 68, -5*w - 9>,
    <-44*w + 98, 20*w - 639>,
    <21*w + 102, -18*w + 227>,
    <-15*w + 171, -w - 290>,
    <6*w + 273, -19*w - 63>,
    <32*w + 447, -44*w + 193>,
    <w + 7, -w + 10>,
    <-3*w + 14, w - 49>,
    <-2*w + 21, -39>,
    <4*w + 27, -4*w + 40>,
    <17*w + 5463, -312*w - 2814>,
    <1024*w + 23902, -1945*w + 9>,
    <-868*w + 26228, -918*w - 25831>,
    <-11*w + 49, 4*w - 170>,
    <-11*w + 67, 3*w - 180>,
    <15*w + 106, -15*w + 136>,
    <4*w + 155, -11*w - 34>,
    <3*w + 166, -11*w - 53>,
    <-8*w + 233, -8*w - 233>,
    <2*w + 15, -2*w + 17>,
    <5*w + 19, -4*w + 53>,
    <-w + 67, -3*w - 49>,
    <4*w + 86, -7*w + 4>,
    <-3*w + 89, -3*w - 86>,
    <-w + 104, -5*w - 69>,
    <2*w + 33, -3*w + 7>,
    <-2*w + 41, -w - 48>,
    <-3*w + 52, -w - 67>,
    <74, -4*w - 41>,
    <-6*w + 13, 3*w - 82>,
    <3*w + 22, -3*w + 25>,
    <w + 26, -2*w - 2>,
    <w + 45, -3*w - 13>,
    <-2*w + 4, w - 27>,
    <-3*w + 16, w - 46>,
    <3*w + 79, -6*w - 7>,
    <-3*w + 91, -3*w - 88>,
    <-w + 12, -19>,
    <2*w + 53, -4*w - 5>,
    <-w + 69, -3*w - 51>,
    <-2*w + 23, -37>,
    <w + 27, -2*w - 3>,
    <-w + 31, -w - 29>,
    <-5*w + 6, 3*w - 68>,
    <w + 6, -w + 9>,
    <-w + 12, -20>,
    <3*w + 55, -5*w + 5>,
    <-2*w + 5, w - 29>,
    <3*w + 19, -3*w + 28>,
    <w + 24, -2*w - 1>,
    <-2*w + 59, -2*w - 61>,
    <-7*w + 21, 3*w - 105>,
    <-2*w + 21, -38>,
    <35, -2*w - 19>,
    <-7*w + 56, w - 124>,
    <-5*w + 17, 2*w - 76>,
    <4*w + 46, -5*w + 29>,
    <-2*w + 56, -2*w - 57>,
    <2*w + 102, -7*w - 28>,
    <5*w + 18, -4*w + 58>,
    <w + 42, -3*w - 9>,
    <2*w + 49, -4*w + 1>,
    <3*w + 4, -2*w + 38>,
    <-9*w + 41, 3*w - 142>,
    <6*w + 43, -6*w + 57>,
    <-3*w + 84, -3*w - 85>,
    <-5*w + 105, -3*w - 123>,
    <-2*w + 109, -5*w - 85>,
    <-11*w + 27, 5*w - 161>,
    <2*w + 85, -6*w - 19>,
    <-9*w + 112, -w - 180>,
    <5*w + 124, -10*w>,
    <3*w + 145, -10*w - 38>,
    <-640*w + 5486, 55*w - 11713>,
    <-188*w + 5490, -211*w - 5494>,
    <-135*w + 5897, -266*w - 4980>,
    <-323*w + 11387, -477*w - 10474>,
    <53*w + 407, -55*w + 514>,
    <558*w + 818, -376*w + 7247>,
    <-190*w + 4571, -156*w - 5035>,
    <-137*w + 4978, -211*w - 4521>,
    <370*w + 6308, -587*w + 1753>,
    <-241*w + 5083, -156*w - 6008>,
    <-429*w + 10573, -367*w - 11502>,
    <76*w + 10984, -688*w - 4769>,
    <-60*w + 295, 18*w - 982>,
    <-41*w + 1197, -46*w - 1198>,
    <29*w + 1587, -110*w - 441>,
    <-31*w + 1882, -92*w - 1423>,
    <-103*w + 573, 27*w - 1721>,
    <19*w + 902, -64*w - 216>,
    <-84*w + 1475, -37*w - 1937>,
    <-69*w + 78, 36*w - 991>,
    <36*w + 885, -73*w + 27>,
    <-325*w + 2221, 61*w - 5649>,
    <-289*w + 3106, -12*w - 5622>,
    <69*w + 5249, -348*w - 1829>,
    <5327, -312*w - 2820>,
    <43*w + 166, -35*w + 504>,
    <-9*w + 244, -9*w - 253>,
    <-26*w + 278, -w - 505>,
    <43*w + 627, -62*w + 260>,
    <9*w + 217, -18*w + 9>,
    <44*w + 617, -62*w + 279>,
    <-35*w + 966, -36*w - 993>,
    <461, -27*w - 244>,
    <35*w + 861, -71*w + 26>,
    <109*w + 33, -66*w + 1483>,
    <65*w + 1311, -115*w + 201>,
    <48*w + 1345, -107*w - 51>,
    <-145*w + 1472, -w - 2775>,
    <-36*w + 1505, -67*w - 1292>,
    <-84*w + 160, 40*w - 1241>,
    <40*w + 1118, -89*w - 41>,
    <-53*w + 1539, -59*w - 1544>,
    <-17*w + 17, 9*w - 243>,
    <59*w + 176, -45*w + 719>,
    <-8*w + 251, -10*w - 243>,
    <-32*w + 987, -39*w - 963>,
    <-67*w + 75, 35*w - 962>,
    <-25*w + 268, -w - 486>,
    <59*w + 159, -44*w + 728>,
    <34*w + 427, -45*w + 242>,
    <478, -28*w - 253>,
    <26*w + 200, -27*w + 252>,
    <-42*w + 746, -19*w - 973>,
    <-16*w + 946, -46*w - 721>,
    <-w + 10, -19>,
    <-17*w + 68, 6*w - 270>,
    <-17*w + 85, 5*w - 279>,
    <6*w + 230, -17*w - 39>,
    <17, -w - 9>,
    <-16*w + 58, 6*w - 251>,
    <6*w + 247, -18*w - 48>,
    <5*w + 257, -18*w - 67>,
    <-2*w + 3, w - 28>,
    <-w + 170, -9*w - 103>,
    <-3*w + 173, -8*w - 131>,
    <10*w + 56, -9*w + 103>,
    <-11*w + 114, -206>,
    <2*w + 15, -2*w + 19>,
    <-2*w + 20, -37>,
    <10*w + 128, -13*w + 68>,
    <7*w + 35, -6*w + 75>,
    <8*w + 78, -9*w + 66>,
    <-5*w + 86, -2*w - 111>,
    <15*w + 113, -15*w + 141>,
    <-8*w + 28, 3*w - 121>,
    <w + 78, -5*w - 27>,
    <7*w + 17, -5*w + 84>,
    <-4*w + 94, -3*w - 102>,
    <-3*w + 137, -6*w - 111>,
    <-7*w + 231, -9*w - 213>,
    <71, -4*w - 37>,
    <w + 43, -3*w - 9>,
    <7*w + 88, -9*w + 47>,
    <3*w + 5, -2*w + 37>,
    <11*w + 30, -8*w + 130>,
    <w + 132, -8*w - 55>,
    <-6*w + 150, -5*w - 157>,
    <-2*w + 127, -6*w - 92>,
    <-15*w + 135, w - 268>,
    <-9*w + 56, 2*w - 148>,
    <-11*w + 183, -4*w - 240>,
    <-10*w + 13, 5*w - 139>,
    <-2*w + 38, -w - 46>,
    <11*w + 48, -9*w + 121>,
    <5*w + 109, -9*w + 10>,
    <-7*w + 142, -4*w - 166>,
    <-17*w + 66, 6*w - 259>,
    <7*w + 71, -8*w + 56>,
    <16*w + 15, -10*w + 204>,
    <-8*w + 99, -w - 157>,
    <-4*w + 5, 2*w - 55>,
    <w + 8, -w + 9>,
    <-w + 46, -2*w - 37>,
    <2*w + 51, -4*w>,
    <-5*w + 51, -92>,
    <-2*w + 56, -2*w - 55>,
    <4*w + 13, -3*w + 46>,
    <-6*w + 25, 2*w - 92>,
    <-3*w + 48, -w - 64>,
    <w + 61, -4*w - 18>,
    <18, -w - 9>,
    <3*w + 23, -3*w + 28>,
    <3*w + 58, -5*w + 10>,
    <-2*w + 144, -7*w - 101>,
    <14*w + 53, -11*w + 159>,
    <-4*w + 58, -w - 83>,
    <-w + 116, -6*w - 73>,
    <-7*w + 159, -5*w - 175>,
    <7*w + 212, -16*w - 16>,
    <-8*w + 81, -148>,
    <4*w + 101, -8*w + 1>,
    <7*w, -4*w + 93>,
    <-12*w + 33, 5*w - 176>,
    <-w + 81, -4*w - 55>,
    <3*w + 147, -10*w - 36>,
    <7*w + 122, -11*w + 30>,
    <19*w + 123, -18*w + 190>,
    <4*w + 135, -10*w - 17>,
    <-17*w + 208, -2*w - 336>,
    <-9*w + 74, w - 159>,
    <2*w + 331, -20*w - 146>,
    <12*w + 1, -7*w + 160>,
    <-8*w + 29, 3*w - 122>,
    <5*w + 72, -7*w + 29>,
    <-3*w + 13, w - 47>,
    <-4*w + 41, -75>,
    <-6*w + 114, -3*w - 140>,
    <-7*w + 36, 2*w - 112>,
    <5*w + 55, -6*w + 38>,
    <27*w + 78, -20*w + 319>,
    <-17*w + 226, -3*w - 344>,
    <10*w + 304, -23*w - 25>,
    <2*w + 32, -3*w + 10>,
    <21*w + 48, -15*w + 257>,
    <-5*w + 51, -94>,
    <-3*w + 83, -3*w - 84>,
    <-15*w + 223, -4*w - 319>,
    <4*w + 29, -4*w + 39>,
    <5*w + 36, -5*w + 49>,
    <-2*w + 72, -3*w - 65>,
    <-3*w + 65, -2*w - 75>,
    <-4*w + 75, -2*w - 94>,
    <-9*w + 22, 4*w - 134>,
    <4*w + 46, -5*w + 30>,
    <5*w + 53, -6*w + 40>,
    <-4*w + 58, -w - 85>,
    <-3*w + 48, -w - 66>,
    <3*w + 56, -5*w + 11>,
    <5*w + 2, -3*w + 66>,
    <9*w + 49, -8*w + 95>,
    <-2*w + 108, -5*w - 83>,
    <-8*w + 11, 4*w - 113>,
    <-4*w + 58, -w - 84>,
    <-3*w + 153, -7*w - 120>,
    <3*w + 2, -2*w + 40>,
    <-w + 11, -20>,
    <2*w + 13, -2*w + 20>,
    <-3*w + 15, w - 50>,
    <34, -2*w - 19>,
    <3*w + 54, -5*w + 11>,
    <-5*w + 2, 3*w - 69>,
    <-4*w + 26, w - 69>,
    <-w + 80, -4*w - 59>,
    <w + 24, -2*w>,
    <-w + 28, -w - 29>,
    <5*w + 51, -6*w + 39>,
    <w + 94, -6*w - 39>,
    <-4*w + 8, 2*w - 59>,
    <-11*w + 13, 6*w - 150>,
    <w + 333, -19*w - 172>,
    <-10*w + 346, -13*w - 322>,
    <47*w + 621, -63*w + 265>,
    <6*w + 151, -12*w - 6>,
    <-17*w + 188, -325>,
    <12*w + 320, -25*w - 22>,
    <18*w + 145, -19*w + 153>,
    <24*w + 296, -31*w + 147>,
    <-22*w + 352, -6*w - 481>,
    <-5*w + 164, -6*w - 156>,
    <11*w + 5, -7*w + 140>,
    <w + 7, -w + 9>,
    <-4*w + 153, -6*w - 137>,
    <-3*w + 160, -7*w - 128>,
    <7*w + 158, -13*w + 3>,
    <-16*w + 159, w - 296>,
    <-12*w + 6, 7*w - 159>,
    <-35*w + 43, 19*w - 478>,
    <19*w + 460, -37*w - 9>,
    <-16*w + 503, -18*w - 487>,
    <-w + 11, -19>,
    <-11*w + 31, 5*w - 160>,
    <5*w + 144, -11*w - 15>,
    <17*w + 120, -17*w + 154>,
    <-6*w + 175, -6*w - 175>,
    <-12*w + 24, 6*w - 169>,
    <2*w + 33, -3*w + 9>,
    <-2*w + 74, -3*w - 65>,
    <-3*w + 13, w - 46>,
    <3*w + 4, -2*w + 37>,
    <-5*w + 35, w - 84>,
    <36, -2*w - 19>,
    <-2*w + 39, -w - 47>,
    <-2*w + 21, -37>,
    <-10*w + 15, 5*w - 138>,
    <2*w + 15, -2*w + 18>,
    <-2*w + 22, -37>,
    <4*w + 49, -5*w + 24>,
    <37, -2*w - 20>,
    <19, -w - 10>,
    <-2*w + 41, -w - 47>,
    <75, -4*w - 40>,
    <-5*w + 19, 2*w - 74>,
    <3*w + 22, -3*w + 26>,
    <4*w + 29, -4*w + 35>,
    <-w + 48, -2*w - 39>,
    <w + 8, -w + 7>,
    <2*w + 15, -2*w + 15>,
    <20, -w - 11>,
    <19, -w - 11>,
    <-w + 30, -w - 30>,
    <37, -2*w - 21>,
    <4*w + 10, -3*w + 45>,
    <2*w + 14, -2*w + 17>,
    <-4*w + 9, 2*w - 55>,
    <w + 8, -w + 8>,
    <3*w + 42, -4*w + 14>,
    <2*w + 15, -2*w + 16>,
    <w + 6, -w + 10>,
    <-w + 12, -21>,
    <17, -w - 11>,
    <34, -2*w - 21>,
    <1, -1>,
    <w + 5, -w + 10>,
    <18, -w - 11>,
    <-2*w + 4, w - 29>,
    <2*w + 14, -2*w + 19>,
    <-w + 63, -3*w - 48>,
    <-4*w + 95, -3*w - 105>,
    <-6*w + 27, 2*w - 95>,
    <-2*w + 38, -w - 47>,
    <w + 25, -2*w>,
    <4*w + 29, -4*w + 38>,
    <3*w + 57, -5*w + 10>,
    <-5*w + 34, w - 85>,
    <3*w + 127, -9*w - 28>,
    <4*w + 64, -6*w + 19>,
    <-6*w + 45, w - 104>,
    <12*w + 33, -9*w + 142>,
    <106, -6*w - 57>,
    <7*w + 15, -5*w + 85>,
    <-8*w + 31, 3*w - 123>,
    <-w + 46, -2*w - 38>,
    <3*w + 22, -3*w + 28>,
    <8*w + 183, -15*w + 9>,
    <452*w + 4, -266*w + 6219>,
    <368*w + 5389, -532*w + 2212>,
    <264*w + 5494, -477*w + 725>,
    <79*w + 607, -82*w + 766>,
    <-33*w + 963, -37*w - 964>,
    <-43*w + 278, 9*w - 739>,
    <-112*w + 356, 45*w - 1730>,
    <10*w + 685, -46*w - 225>,
    <46*w + 1570, -119*w - 198>,
    <27*w + 668, -55*w + 18>,
    <289*w + 2221, -300*w + 2802>,
    <-52*w + 61, 27*w - 748>,
    <-18*w + 27, 9*w - 262>,
    <-53*w + 532, -1011>,
    <18*w + 878, -62*w - 217>,
    <53*w + 373, -53*w + 532>,
    <905, -53*w - 479>,
    <17*w + 444, -36*w - 1>,
    <-44*w + 1278, -49*w - 1282>,
    <-34*w + 51, 17*w - 495>,
    <230*w + 1772, -239*w + 2228>,
    <-213*w + 1967, 10*w - 3973>,
    <17*w + 3739, -229*w - 1745>,
    <-17*w + 34, 8*w - 252>,
    <92*w + 50, -57*w + 1240>,
    <-9*w + 261, -10*w - 262>,
    <83*w + 311, -67*w + 978>,
    <8*w + 227, -18*w - 10>,
    <65*w + 833, -87*w + 454>,
    <56*w + 1094, -97*w + 192>,
    <-16*w + 24, 8*w - 233>,
    <-15*w + 31, 7*w - 223>,
    <-16*w + 41, 7*w - 242>,
    <7*w + 220, -17*w - 20>,
    <-10*w + 288, -11*w - 290>,
    <7*w + 203, -16*w - 11>,
    <8*w + 210, -17*w - 1>,
    <-51*w + 119, 23*w - 765>,
    <-2*w + 481, -27*w - 282>,
    <-11*w + 742, -37*w - 544>,
    <-5*w + 104, -3*w - 122>,
    <11*w + 81, -11*w + 103>,
    <3*w + 22, -3*w + 29>,
    <-w + 62, -3*w - 46>,
    <-w + 45, -2*w - 37>,
    <8*w + 59, -8*w + 77>,
    <-w + 80, -4*w - 55>,
    <-7*w + 193, -7*w - 193>,
    <3*w + 40, -4*w + 19>,
    <13*w + 44, -10*w + 150>,
    <-5*w + 51, -93>,
    <-2*w + 91, -4*w - 74>,
    <-6*w + 8, 3*w - 84>,
    <-w + 63, -3*w - 46>,
    <-9*w + 162, -4*w - 204>,
    <-11*w + 59, 3*w - 177>,
    <4*w + 83, -7*w + 10>,
    <106, -6*w - 55>,
    <4*w + 189, -13*w - 45>,
    <5*w + 2, -3*w + 65>,
    <-3*w + 102, -4*w - 93>,
    <4*w + 48, -5*w + 28>,
    <-5*w + 69, -w - 102>,
    <5*w + 73, -7*w + 28>,
    <5*w + 74, -7*w + 28>,
    <-5*w + 33, w - 83>,
    <9*w + 33, -7*w + 102>,
    <-5*w + 122, -4*w - 129>,
    <4*w + 155, -11*w - 27>,
    <7*w + 53, -7*w + 66>,
    <5*w + 19, -4*w + 57>,
    <-10*w + 14, 5*w - 141>,
    <10*w + 74, -10*w + 95>,
    <-16*w + 163, -299>,
    <11*w + 222, -19*w + 31>,
    <w + 236, -14*w - 110>,
    <-6*w + 237, -10*w - 204>,
    <88, -5*w - 46>,
    <-3*w + 101, -4*w - 93>,
    <-3*w + 189, -9*w - 139>,
    <4*w + 12, -3*w + 47>,
    <-5*w + 16, 2*w - 75>,
    <-19*w + 317, -7*w - 418>,
    <8*w + 395, -27*w - 99>,
    <12*w + 89, -12*w + 113>,
    <-12*w + 123, -224>,
    <212, -12*w - 111>,
    <4*w + 224, -15*w - 64>,
    <11*w + 117, -13*w + 85>,
    <6*w + 9, -4*w + 76>,
    <-6*w + 96, -2*w - 131>,
    <105, -6*w - 55>,
    <8*w + 41, -7*w + 86>,
    <3*w + 92, -7*w - 8>,
    <-2*w + 55, -2*w - 56>,
    <10*w + 3, -6*w + 133>,
    <-8*w + 29, 3*w - 123>,
    <5*w + 54, -6*w + 39>,
    <-9*w + 74, w - 160>,
    <w + 77, -5*w - 27>,
    <7*w + 86, -9*w + 49>,
    <-4*w + 128, -5*w - 121>,
    <6*w + 131, -11*w + 12>,
    <-2*w + 160, -8*w - 111>,
    <10*w + 20, -7*w + 125>,
    <3*w + 39, -4*w + 20>,
    <-9*w + 74, w - 161>,
    <7*w + 85, -9*w + 50>,
    <w + 94, -6*w - 36>,
    <-5*w + 120, -4*w - 131>,
    <3*w + 54, -5*w + 10>,
    <11*w + 23, -8*w + 130>,
    <w + 315, -18*w - 162>,
    <-6*w + 157, -5*w - 165>,
    <-18*w + 181, w - 334>,
    <18, -w - 10>,
    <w + 43, -3*w - 10>,
    <-w + 30, -w - 29>,
    <-w + 29, -w - 30>,
    <-5*w + 17, 2*w - 75>,
    <-7*w + 20, 3*w - 103>,
    <2*w + 68, -5*w - 10>,
    <-3*w + 85, -3*w - 85>,
    <5*w + 90, -8*w + 18>,
    <-2*w + 110, -5*w - 85>,
    <-3*w + 14, w - 47>,
    <-4*w + 60, -w - 85>,
    <5*w + 18, -4*w + 56>,
    <-4*w + 25, w - 66>,
    <2*w + 32, -3*w + 9>,
    <2*w + 50, -4*w - 1>,
    <w + 61, -4*w - 20>,
    <-2*w + 75, -3*w - 67>,
    <9*w + 200, -17*w + 18>,
    <-34*w + 529, -11*w - 748>,
    <25*w + 193, -26*w + 242>,
    <-17*w + 495, -19*w - 496>,
    <74*w + 572, -77*w + 716>,
    <-25*w + 302, -3*w - 504>,
    <24*w + 186, -25*w + 232>,
    <-10*w + 86, w - 178>,
    <35, -2*w - 18>,
    <-13*w + 25, 6*w - 187>,
    <-4*w + 23, w - 65>,
    <7*w + 18, -5*w + 83>,
    <-4*w + 94, -3*w - 101>,
    <107, -6*w - 55>,
    <3*w + 75, -6*w + 1>,
    <-10*w + 102, -187>,
    <-2*w + 161, -8*w - 111>,
    <2*w + 103, -7*w - 27>,
    <2*w + 137, -9*w - 45>,
    <-5*w + 16, 2*w - 76>,
    <7*w + 140, -12*w + 13>,
    <19*w + 134, -19*w + 172>,
    <13*w + 291, -24*w + 7>,
    <-11*w + 321, -11*w - 321>,
    <-w + 47, -2*w - 40>,
    <-5*w + 70, -w - 104>,
    <-7*w + 702, -37*w - 468>,
    <88*w + 841, -101*w + 766>,
    <-84*w + 1014, -10*w - 1693>,
    <-51*w + 512, -973>,
    <63*w + 1092, -101*w + 289>,
    <-58*w + 1214, -37*w - 1441>,
    <-51*w + 85, 25*w - 747>,
    <25*w + 671, -54*w - 11>,
    <-9*w + 722, -37*w - 506>,
    <w + 148, -9*w - 64>,
    <-6*w + 149, -5*w - 158>,
    <6*w + 27, -5*w + 66>,
    <-3*w + 48, -w - 65>,
    <-4*w + 76, -2*w - 93>,
    <-450*w + 915, 211*w - 6678>,
    <2*w + 919, -55*w - 459>,
    <-239*w + 6002, -211*w - 6467>,
    <213*w + 6006, -477*w - 248>,
    <-186*w + 6409, -266*w - 5953>,
    <-8*w + 234, -9*w - 234>,
    <w + 8, -w + 10>,
    <17, -w - 8>,
    <0, 1>,
    <1, 0>,
    <-w + 9, -18>,
    <-w + 9, -17>,
    <w + 9, -w + 9>,
    <-w + 10, -18>,
    <18, -w - 8>
]
/* Voronoi top cells */
[
    { 1, 2, 3, 4, 5 },
    { 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 },
    { 1, 2, 3, 31, 32, 33 },
    { 34, 35, 36, 37, 38, 39 },
    { 40, 41, 42, 43, 44, 45 },
    { 46, 47, 48, 49 },
    { 50, 51, 52, 53 },
    { 51, 54, 55, 56 },
    { 51, 52, 54, 57 },
    { 55, 58, 59, 60 },
    { 58, 61, 62, 63 },
    { 64, 65, 66, 67 },
    { 68, 69, 70, 71 },
    { 72, 73, 74, 75 },
    { 73, 76, 77, 78, 79 },
    { 73, 74, 77, 78 },
    { 27, 80, 81, 82 },
    { 83, 84, 85, 86, 87, 88 },
    { 73, 89, 90, 91, 92, 93 },
    { 94, 95, 96, 97 },
    { 95, 98, 99, 100, 101, 102 },
    { 95, 103, 104, 105 },
    { 106, 107, 108, 109 },
    { 107, 110, 111, 112 },
    { 113, 114, 115, 116, 117, 118 },
    { 119, 120, 121, 122 },
    { 120, 123, 124, 125 },
    { 120, 125, 126, 127 },
    { 119, 120, 122, 126 },
    { 6, 8, 9, 10, 128, 129, 130, 131, 132 },
    { 6, 130, 133, 134, 135 },
    { 136, 137, 138, 139 },
    { 138, 139, 140, 141 },
    { 138, 141, 142, 143 },
    { 138, 142, 143, 144 },
    { 113, 114, 145, 146, 147 },
    { 148, 149, 150, 151 },
    { 152, 153, 154, 155 },
    { 19, 156, 157, 158 },
    { 19, 157, 159, 160 },
    { 12, 13, 15, 161 },
    { 13, 161, 162, 163 },
    { 164, 165, 166, 167 },
    { 161, 166, 168, 169 },
    { 19, 20, 21, 170 },
    { 170, 171, 172, 173 },
    { 19, 20, 170, 174 },
    { 170, 174, 175, 176 },
    { 177, 178, 179, 180 },
    { 177, 179, 181, 182 },
    { 179, 181, 183, 184 },
    { 175, 178, 179, 185 },
    { 186, 187, 188, 189 },
    { 186, 188, 190, 191 },
    { 183, 188, 191, 192 },
    { 175, 188, 189, 193 },
    { 194, 195, 196, 197 },
    { 194, 197, 198, 199 },
    { 200, 201, 202, 203 },
    { 202, 203, 204, 205 },
    { 161, 166, 168, 206 },
    { 166, 175, 206, 207 },
    { 206, 208, 209, 210, 211, 212 },
    { 175, 206, 213, 214, 215 },
    { 186, 187, 216, 217, 218 },
    { 175, 213, 215, 217 },
    { 219, 220, 221, 222 },
    { 220, 221, 222, 223, 224 },
    { 220, 223, 224, 225 },
    { 23, 24, 25, 226, 227 },
    { 227, 228, 229, 230 },
    { 231, 232, 233, 234, 235 },
    { 236, 237, 238, 239, 240 },
    { 148, 241, 242, 243 },
    { 148, 242, 244, 245 },
    { 244, 245, 246, 247, 248 },
    { 27, 247, 248, 249 },
    { 27, 249, 250, 251 },
    { 228, 252, 253, 254 },
    { 228, 252, 255, 256, 257 },
    { 258, 259, 260, 261 },
    { 27, 28, 29, 262 },
    { 29, 260, 262, 263 },
    { 260, 264, 265, 266 },
    { 267, 268, 269, 270 },
    { 29, 267, 268, 271 },
    { 272, 273, 274, 275 },
    { 273, 276, 277, 278 },
    { 273, 277, 279, 280, 281 },
    { 273, 274, 279, 282 },
    { 283, 284, 285, 286 },
    { 283, 285, 287, 288 },
    { 284, 285, 287, 289 },
    { 2, 3, 31, 290, 291, 292 },
    { 276, 277, 279, 282, 290 },
    { 34, 35, 37, 38, 293 },
    { 37, 293, 294, 295 },
    { 294, 295, 296, 297 },
    { 293, 295, 297, 298 },
    { 156, 196, 299, 300 },
    { 195, 196, 299, 301 },
    { 302, 303, 304, 305 },
    { 195, 301, 304, 306 },
    { 304, 306, 307, 308 },
    { 40, 44, 309, 310 },
    { 40, 41, 44, 311 },
    { 309, 312, 313, 314 },
    { 46, 47, 48, 284 },
    { 47, 48, 315, 316, 317 },
    { 293, 316, 317, 318 },
    { 58, 319, 320, 321 },
    { 58, 62, 63, 321 },
    { 284, 322, 323, 324 },
    { 52, 284, 324, 325 },
    { 52, 322, 324, 326 },
    { 52, 53, 322, 327 },
    { 51, 52, 53, 54, 55 },
    { 54, 55, 58, 59 },
    { 54, 61, 328, 329 },
    { 54, 58, 61, 330 },
    { 58, 61, 63, 328 },
    { 331, 332, 333, 334 },
    { 332, 333, 335, 336 },
    { 65, 335, 336, 337 },
    { 64, 65, 66, 337 },
    { 68, 69, 70, 337 },
    { 74, 268, 338, 339, 340 },
    { 72, 73, 74, 341 },
    { 73, 76, 77, 83 },
    { 73, 74, 77, 81 },
    { 81, 83, 342, 343 },
    { 27, 81, 82, 343 },
    { 83, 344, 345, 346 },
    { 83, 343, 346, 347 },
    { 73, 76, 83, 85, 348 },
    { 83, 85, 88, 349 },
    { 83, 88, 349, 350 },
    { 73, 90, 91, 93, 351, 352 },
    { 352, 353, 354, 355 },
    { 156, 344, 356, 357 },
    { 94, 95, 96, 358 },
    { 95, 98, 99, 100, 103, 359 },
    { 95, 103, 105, 360 },
    { 106, 107, 108, 110, 111 },
    { 106, 111, 361, 362 },
    { 111, 362, 363, 364 },
    { 106, 362, 365, 366 },
    { 113, 136, 365, 367 },
    { 113, 114, 116, 118, 362, 368 },
    { 114, 123, 363, 369 },
    { 123, 370, 371, 372 },
    { 120, 370, 371, 373, 374 },
    { 120, 123, 124, 371 },
    { 119, 120, 121, 375 },
    { 120, 123, 125, 126 },
    { 119, 120, 126, 375 },
    { 6, 9, 128, 129, 130, 132, 133, 134, 376 },
    { 136, 138, 139, 141 },
    { 138, 141, 143, 377 },
    { 138, 143, 144, 377 },
    { 375, 377, 378, 379, 380 },
    { 113, 114, 123, 136, 145 },
    { 381, 382, 383, 384 },
    { 383, 385, 386, 387 },
    { 152, 388, 389, 390 },
    { 148, 149, 151, 391 },
    { 151, 153, 390, 391, 392 },
    { 152, 153, 154, 390 },
    { 148, 391, 393, 394 },
    { 381, 383, 395, 396, 397 },
    { 27, 82, 250, 343 },
    { 236, 343, 346, 398 },
    { 19, 156, 157, 160 },
    { 156, 157, 160, 399 },
    { 148, 241, 400, 401 },
    { 400, 402, 403, 404 },
    { 12, 13, 161, 162 },
    { 12, 13, 162, 405 },
    { 406, 407, 408, 409 },
    { 232, 410, 411, 412 },
    { 408, 410, 413, 414, 415, 416 },
    { 164, 165, 166, 175 },
    { 161, 166, 169, 411 },
    { 19, 21, 170, 406 },
    { 170, 171, 172, 175 },
    { 19, 156, 417, 418 },
    { 175, 417, 419, 420 },
    { 175, 177, 180, 419 },
    { 19, 174, 417, 421 },
    { 174, 175, 417, 420 },
    { 19, 170, 174, 175 },
    { 175, 177, 178, 179 },
    { 177, 179, 181, 183 },
    { 175, 179, 183, 185 },
    { 175, 186, 188, 189 },
    { 183, 186, 188, 191 },
    { 175, 183, 188, 193 },
    { 177, 195, 196, 197 },
    { 194, 195, 197, 199 },
    { 200, 202, 203, 204 },
    { 186, 200, 203, 422 },
    { 177, 186, 423, 424, 425, 426 },
    { 186, 203, 204, 205 },
    { 161, 162, 209, 427 },
    { 161, 166, 175, 206 },
    { 161, 206, 209, 210 },
    { 175, 206, 209, 215 },
    { 175, 186, 187, 217 },
    { 175, 209, 215, 217 },
    { 228, 229, 346, 428 },
    { 429, 430, 431, 432, 433, 434 },
    { 219, 220, 221, 223, 225 },
    { 226, 435, 436, 437 },
    { 23, 226, 227, 436 },
    { 19, 226, 227, 438, 439 },
    { 19, 227, 228, 229 },
    { 227, 228, 230, 436 },
    { 231, 232, 233, 409, 440, 441 },
    { 406, 442, 443, 444 },
    { 406, 438, 444, 445 },
    { 19, 406, 442, 446 },
    { 402, 447, 448, 449 },
    { 236, 238, 450, 451 },
    { 236, 238, 239, 450 },
    { 148, 241, 242, 452 },
    { 236, 239, 402, 453, 454, 455, 456, 457, 458, 459, 460, 461 },
    { 148, 242, 244, 452 },
    { 244, 247, 452, 462, 463, 464, 465, 466, 467 },
    { 27, 148, 244, 245, 247, 248 },
    { 27, 247, 249, 463 },
    { 27, 249, 250, 463 },
    { 161, 228, 252, 254 },
    { 228, 252, 256, 404 },
    { 259, 260, 261, 262 },
    { 27, 29, 260, 262 },
    { 29, 260, 267, 271 },
    { 259, 260, 265, 468 },
    { 260, 264, 265, 267 },
    { 267, 268, 270, 338 },
    { 27, 29, 267, 268 },
    { 272, 273, 276, 278 },
    { 272, 273, 274, 282 },
    { 273, 276, 277, 279, 282 },
    { 283, 284, 286, 469 },
    { 283, 284, 285, 287 },
    { 282, 284, 287, 289 },
    { 276, 282, 290, 291, 292, 470 },
    { 276, 298, 471, 472 },
    { 34, 35, 293, 473 },
    { 34, 37, 293, 294 },
    { 293, 294, 295, 297 },
    { 276, 293, 297, 298 },
    { 156, 195, 196, 299 },
    { 195, 299, 301, 304 },
    { 293, 302, 304, 305 },
    { 195, 304, 306, 308 },
    { 293, 302, 304, 308 },
    { 293, 302, 305, 474 },
    { 40, 293, 311, 318 },
    { 40, 44, 309, 311 },
    { 40, 309, 312, 313 },
    { 46, 47, 284, 475 },
    { 47, 48, 284, 293, 316, 317 },
    { 40, 293, 316, 318 },
    { 65, 66, 322, 335 },
    { 66, 284, 322, 323 },
    { 58, 319, 321, 335 },
    { 58, 63, 321, 328 },
    { 52, 284, 322, 324 },
    { 52, 53, 54, 55, 58, 322 },
    { 54, 58, 61, 328 },
    { 331, 332, 333, 335 },
    { 332, 335, 336, 337 },
    { 65, 66, 335, 337 },
    { 66, 68, 284, 337 },
    { 68, 70, 284, 337 },
    { 68, 70, 284, 476 },
    { 27, 74, 268, 338, 339 },
    { 73, 74, 339, 341 },
    { 73, 77, 81, 83 },
    { 27, 73, 74, 81 },
    { 27, 81, 83, 343 },
    { 83, 343, 344, 346 },
    { 73, 83, 85, 349 },
    { 83, 344, 349, 350 },
    { 73, 90, 352, 353, 355 },
    { 156, 344, 356, 477, 478, 479, 480, 481, 482 },
    { 344, 355, 474, 479, 483, 484 },
    { 473, 474, 483, 485, 486, 487, 488, 489, 490 },
    { 95, 96, 98, 358 },
    { 95, 98, 103, 360 },
    { 98, 106, 107, 111 },
    { 106, 111, 362, 363, 365 },
    { 113, 136, 362, 365 },
    { 113, 114, 123, 136, 362 },
    { 114, 123, 362, 363 },
    { 120, 148, 370, 394, 491 },
    { 120, 123, 370, 371 },
    { 120, 121, 375, 381 },
    { 120, 123, 126, 375 },
    { 144, 377, 385, 492 },
    { 133, 134, 376, 381, 385, 493 },
    { 136, 138, 141, 377 },
    { 138, 144, 377, 385 },
    { 375, 377, 378, 494 },
    { 123, 136, 145, 494 },
    { 381, 383, 384, 495 },
    { 383, 385, 386, 495 },
    { 152, 385, 388, 390 },
    { 383, 385, 390, 496 },
    { 383, 390, 391, 497 },
    { 148, 151, 152, 153, 390, 391 },
    { 148, 381, 391, 394 },
    { 381, 383, 391, 396 },
    { 27, 236, 250, 343 },
    { 236, 343, 344, 346 },
    { 156, 344, 399, 498 },
    { 19, 156, 160, 399 },
    { 148, 241, 400, 402 },
    { 400, 402, 404, 499 },
    { 12, 161, 162, 405 },
    { 162, 405, 499, 500 },
    { 232, 406, 408, 409, 410, 411 },
    { 175, 408, 410, 414, 415, 501 },
    { 161, 164, 166, 175 },
    { 161, 164, 166, 411 },
    { 164, 175, 410, 411 },
    { 19, 170, 171, 406 },
    { 19, 170, 171, 175 },
    { 171, 175, 406, 408 },
    { 156, 177, 195, 196 },
    { 19, 156, 177, 417 },
    { 175, 177, 417, 419 },
    { 19, 174, 175, 417 },
    { 177, 181, 183, 186, 191 },
    { 175, 177, 179, 183 },
    { 175, 183, 186, 188 },
    { 177, 195, 197, 199 },
    { 186, 200, 203, 204 },
    { 177, 186, 199, 200, 422, 423, 502, 503, 504 },
    { 162, 186, 204, 205 },
    { 161, 162, 186, 209 },
    { 161, 175, 206, 209 },
    { 175, 186, 209, 217 },
    { 19, 228, 229, 346 },
    { 228, 236, 346, 428 },
    { 429, 430, 433, 434, 435 },
    { 219, 221, 223, 225, 228, 505 },
    { 228, 435, 436, 506, 507 },
    { 226, 435, 436, 438 },
    { 19, 226, 227, 436, 438 },
    { 19, 227, 228, 436 },
    { 231, 232, 406, 409, 411, 508 },
    { 19, 406, 438, 442, 444 },
    { 228, 402, 448, 449 },
    { 228, 236, 450, 451 },
    { 236, 239, 402, 448, 450, 455, 458, 459, 509 },
    { 148, 241, 402, 452 },
    { 236, 402, 452, 457, 463, 510 },
    { 27, 148, 244, 247, 452, 463 },
    { 27, 236, 250, 463 },
    { 161, 228, 252, 404 },
    { 228, 256, 402, 404 },
    { 27, 259, 260, 262 },
    { 27, 29, 260, 267 },
    { 259, 260, 265, 267 },
    { 27, 267, 268, 338 },
    { 272, 273, 276, 282 },
    { 283, 284, 469, 473 },
    { 282, 283, 284, 287 },
    { 272, 282, 283, 473 },
    { 282, 284, 289, 511 },
    { 276, 282, 470, 471, 472, 511, 512, 513, 514 },
    { 276, 293, 298, 471 },
    { 34, 293, 294, 473 },
    { 276, 293, 294, 297 },
    { 272, 276, 294, 473 },
    { 156, 195, 299, 304 },
    { 156, 293, 304, 305 },
    { 195, 293, 304, 308 },
    { 156, 293, 305, 474 },
    { 40, 293, 309, 311, 312 },
    { 40, 47, 284, 293, 316, 475 },
    { 66, 284, 322, 335 },
    { 58, 321, 328, 335 },
    { 52, 54, 58, 284, 322, 328 },
    { 331, 332, 335, 337 },
    { 66, 284, 335, 337 },
    { 70, 284, 331, 337 },
    { 70, 284, 331, 476 },
    { 284, 473, 476, 515 },
    { 27, 338, 339, 473 },
    { 27, 73, 74, 339 },
    { 27, 73, 81, 83 },
    { 27, 83, 343, 344 },
    { 73, 83, 344, 349 },
    { 73, 90, 344, 353, 355, 516 },
    { 73, 339, 473, 487 },
    { 156, 344, 474, 477, 479 },
    { 344, 355, 473, 474, 483, 487 },
    { 95, 98, 358, 360 },
    { 136, 365, 517, 518, 519 },
    { 98, 365, 517, 520, 521, 522 },
    { 98, 106, 111, 363, 365 },
    { 123, 136, 362, 363, 365 },
    { 138, 152, 385, 388 },
    { 120, 148, 381, 394 },
    { 120, 123, 148, 370 },
    { 120, 123, 375, 381 },
    { 375, 377, 381, 385, 492, 493, 523, 524, 525 },
    { 136, 138, 377, 385 },
    { 123, 136, 375, 377, 494 },
    { 381, 383, 385, 495 },
    { 152, 383, 385, 390 },
    { 148, 152, 383, 390, 391 },
    { 148, 381, 383, 391 },
    { 27, 236, 343, 344 },
    { 19, 236, 344, 346 },
    { 19, 156, 344, 399 },
    { 148, 400, 402, 499 },
    { 161, 402, 404, 499 },
    { 161, 162, 405, 499 },
    { 175, 406, 408, 410, 411 },
    { 161, 164, 175, 411 },
    { 19, 171, 175, 406 },
    { 19, 156, 177, 195 },
    { 19, 175, 177, 417 },
    { 175, 177, 183, 186 },
    { 177, 186, 195, 199, 200, 204 },
    { 161, 162, 186, 204 },
    { 161, 175, 186, 209 },
    { 19, 228, 236, 346 },
    { 221, 223, 228, 429, 430, 435, 505, 526, 527 },
    { 19, 228, 435, 436, 438 },
    { 19, 161, 406, 411, 438, 508, 528, 529, 530 },
    { 228, 236, 402, 448, 450 },
    { 27, 148, 236, 402, 452, 463 },
    { 161, 228, 402, 404 },
    { 259, 331, 473, 476 },
    { 27, 259, 260, 267 },
    { 27, 267, 338, 473 },
    { 272, 276, 282, 473 },
    { 282, 283, 284, 473 },
    { 276, 282, 284, 293, 471, 511 },
    { 276, 293, 294, 473 },
    { 156, 195, 293, 304 },
    { 156, 293, 473, 474 },
    { 40, 284, 293, 312, 328, 475 },
    { 58, 284, 322, 328, 335 },
    { 284, 331, 335, 337 },
    { 284, 331, 473, 476 },
    { 27, 73, 339, 473 },
    { 27, 73, 83, 344 },
    { 73, 344, 355, 473, 487 },
    { 156, 344, 473, 474 },
    { 98, 358, 360, 520, 531, 532, 533, 534, 535 },
    { 98, 136, 365, 517, 520 },
    { 98, 123, 136, 363, 365 },
    { 136, 138, 152, 385 },
    { 120, 123, 148, 381 },
    { 123, 136, 375, 377, 381, 385 },
    { 148, 152, 381, 383, 385 },
    { 19, 27, 236, 344 },
    { 19, 156, 195, 344 },
    { 148, 161, 402, 499 },
    { 161, 162, 204, 499 },
    { 19, 161, 175, 406, 411 },
    { 19, 175, 177, 195 },
    { 175, 177, 186, 195, 204 },
    { 161, 175, 186, 204 },
    { 19, 27, 228, 236 },
    { 19, 161, 228, 435, 438, 505, 528, 529, 530 },
    { 27, 148, 228, 236, 402 },
    { 148, 161, 228, 402 },
    { 259, 331, 335, 473 },
    { 27, 259, 267, 473 },
    { 276, 282, 284, 293, 473 },
    { 156, 195, 293, 473 },
    { 195, 284, 293, 312, 328, 335 },
    { 284, 331, 335, 473 },
    { 27, 73, 344, 473 },
    { 156, 195, 344, 473 },
    { 98, 123, 136, 520, 532, 536 },
    { 123, 136, 148, 152, 381, 385 },
    { 19, 27, 195, 344 },
    { 148, 161, 204, 499 },
    { 19, 161, 175, 195, 204 },
    { 19, 27, 148, 161, 228 },
    { 27, 259, 335, 473 },
    { 195, 284, 293, 335, 473 },
    { 27, 195, 344, 473 },
    { 27, 123, 136, 148, 152, 536 },
    { 19, 27, 148, 161, 195, 204 },
    { 27, 195, 335, 473 },
    { 27, 148, 152, 195, 204, 335, 537, 538, 539 },
    { 195, 204, 335, 537, 538, 539, 540, 541, 542, 543, 544, 545 }
]
/* Faces of top cells */
[
    [
        { 2, 3, 4, 5 },
        { 1, 3, 4 },
        { 1, 2, 3 },
        { 1, 2, 5 },
        { 1, 4, 5 }
    ],
    [
        { 6, 8, 9, 10 },
        { 6, 7, 9, 11 },
        { 6, 7, 8 },
        { 7, 8, 10, 11 },
        { 9, 10, 11 }
    ],
    [
        { 13, 14, 15, 16 },
        { 12, 14, 15, 17 },
        { 12, 13, 15 },
        { 12, 13, 16, 17 },
        { 14, 16, 17 }
    ],
    [
        { 19, 20, 21 },
        { 18, 20, 21 },
        { 18, 19, 21 },
        { 18, 19, 20 }
    ],
    [
        { 23, 24, 25 },
        { 22, 24, 25, 26 },
        { 22, 23, 25 },
        { 23, 24, 26 },
        { 22, 23, 26 }
    ],
    [
        { 28, 29, 30 },
        { 27, 29, 30 },
        { 27, 28, 30 },
        { 27, 28, 29 }
    ],
    [
        { 2, 3, 31 },
        { 1, 2, 3 },
        { 1, 2, 32 },
        { 2, 31, 32 },
        { 1, 32, 33 },
        { 31, 32, 33 },
        { 3, 31, 33 },
        { 1, 3, 33 }
    ],
    [
        { 34, 36, 37 },
        { 34, 35, 37, 38 },
        { 34, 35, 36, 39 },
        { 36, 37, 38, 39 },
        { 35, 38, 39 }
    ],
    [
        { 40, 42, 43, 44 },
        { 40, 41, 42, 45 },
        { 41, 43, 44, 45 },
        { 40, 41, 44 },
        { 42, 43, 45 }
    ],
    [
        { 47, 48, 49 },
        { 46, 48, 49 },
        { 46, 47, 49 },
        { 46, 47, 48 }
    ],
    [
        { 51, 52, 53 },
        { 50, 52, 53 },
        { 50, 51, 53 },
        { 50, 51, 52 }
    ],
    [
        { 51, 55, 56 },
        { 51, 54, 56 },
        { 54, 55, 56 },
        { 51, 54, 55 }
    ],
    [
        { 51, 52, 57 },
        { 52, 54, 57 },
        { 51, 54, 57 },
        { 51, 52, 54 }
    ],
    [
        { 55, 59, 60 },
        { 58, 59, 60 },
        { 55, 58, 60 },
        { 55, 58, 59 }
    ],
    [
        { 61, 62, 63 },
        { 58, 62, 63 },
        { 58, 61, 63 },
        { 58, 61, 62 }
    ],
    [
        { 65, 66, 67 },
        { 64, 66, 67 },
        { 64, 65, 67 },
        { 64, 65, 66 }
    ],
    [
        { 69, 70, 71 },
        { 68, 70, 71 },
        { 68, 69, 71 },
        { 68, 69, 70 }
    ],
    [
        { 73, 74, 75 },
        { 72, 74, 75 },
        { 72, 73, 75 },
        { 72, 73, 74 }
    ],
    [
        { 73, 77, 78 },
        { 73, 76, 78, 79 },
        { 73, 76, 77 },
        { 76, 77, 79 },
        { 77, 78, 79 }
    ],
    [
        { 74, 77, 78 },
        { 73, 77, 78 },
        { 73, 74, 78 },
        { 73, 74, 77 }
    ],
    [
        { 80, 81, 82 },
        { 27, 81, 82 },
        { 27, 80, 82 },
        { 27, 80, 81 }
    ],
    [
        { 83, 85, 86, 87 },
        { 83, 84, 86, 88 },
        { 84, 86, 87 },
        { 84, 85, 87, 88 },
        { 83, 85, 88 }
    ],
    [
        { 89, 90, 91 },
        { 73, 90, 91, 93 },
        { 73, 89, 90, 92 },
        { 89, 91, 92, 93 },
        { 73, 92, 93 }
    ],
    [
        { 95, 96, 97 },
        { 94, 96, 97 },
        { 94, 95, 97 },
        { 94, 95, 96 }
    ],
    [
        { 99, 100, 101, 102 },
        { 98, 100, 101 },
        { 95, 98, 99, 100 },
        { 95, 98, 101, 102 },
        { 95, 99, 102 }
    ],
    [
        { 95, 104, 105 },
        { 103, 104, 105 },
        { 95, 103, 105 },
        { 95, 103, 104 }
    ],
    [
        { 107, 108, 109 },
        { 106, 108, 109 },
        { 106, 107, 109 },
        { 106, 107, 108 }
    ],
    [
        { 107, 111, 112 },
        { 107, 110, 112 },
        { 110, 111, 112 },
        { 107, 110, 111 }
    ],
    [
        { 113, 114, 116, 118 },
        { 113, 114, 115, 117 },
        { 114, 116, 117 },
        { 115, 116, 117, 118 },
        { 113, 115, 118 }
    ],
    [
        { 120, 121, 122 },
        { 119, 121, 122 },
        { 119, 120, 122 },
        { 119, 120, 121 }
    ],
    [
        { 120, 124, 125 },
        { 123, 124, 125 },
        { 120, 123, 125 },
        { 120, 123, 124 }
    ],
    [
        { 125, 126, 127 },
        { 120, 125, 127 },
        { 120, 125, 126 },
        { 120, 126, 127 }
    ],
    [
        { 120, 122, 126 },
        { 119, 122, 126 },
        { 119, 120, 122 },
        { 119, 120, 126 }
    ],
    [
        { 6, 9, 128, 129, 130, 132 },
        { 6, 8, 9, 10 },
        { 6, 8, 130 },
        { 8, 130, 131, 132 },
        { 10, 128, 129, 131 },
        { 128, 131, 132 },
        { 9, 10, 129 },
        { 8, 10, 131 }
    ],
    [
        { 6, 134, 135 },
        { 133, 134, 135 },
        { 6, 130, 133, 134 },
        { 6, 130, 135 },
        { 130, 133, 135 }
    ],
    [
        { 137, 138, 139 },
        { 136, 138, 139 },
        { 136, 137, 139 },
        { 136, 137, 138 }
    ],
    [
        { 138, 139, 141 },
        { 139, 140, 141 },
        { 138, 139, 140 },
        { 138, 140, 141 }
    ],
    [
        { 138, 141, 143 },
        { 141, 142, 143 },
        { 138, 142, 143 },
        { 138, 141, 142 }
    ],
    [
        { 138, 143, 144 },
        { 142, 143, 144 },
        { 138, 142, 144 },
        { 138, 142, 143 }
    ],
    [
        { 113, 114, 146, 147 },
        { 113, 114, 145 },
        { 113, 145, 146 },
        { 114, 145, 147 },
        { 145, 146, 147 }
    ],
    [
        { 149, 150, 151 },
        { 148, 150, 151 },
        { 148, 149, 151 },
        { 148, 149, 150 }
    ],
    [
        { 153, 154, 155 },
        { 152, 154, 155 },
        { 152, 153, 155 },
        { 152, 153, 154 }
    ],
    [
        { 19, 157, 158 },
        { 156, 157, 158 },
        { 19, 156, 158 },
        { 19, 156, 157 }
    ],
    [
        { 157, 159, 160 },
        { 19, 157, 160 },
        { 19, 157, 159 },
        { 19, 159, 160 }
    ],
    [
        { 13, 15, 161 },
        { 12, 13, 15 },
        { 12, 15, 161 },
        { 12, 13, 161 }
    ],
    [
        { 13, 162, 163 },
        { 13, 161, 163 },
        { 13, 161, 162 },
        { 161, 162, 163 }
    ],
    [
        { 165, 166, 167 },
        { 164, 166, 167 },
        { 164, 165, 167 },
        { 164, 165, 166 }
    ],
    [
        { 166, 168, 169 },
        { 161, 166, 169 },
        { 161, 166, 168 },
        { 161, 168, 169 }
    ],
    [
        { 19, 20, 21 },
        { 20, 21, 170 },
        { 19, 21, 170 },
        { 19, 20, 170 }
    ],
    [
        { 171, 172, 173 },
        { 170, 172, 173 },
        { 170, 171, 173 },
        { 170, 171, 172 }
    ],
    [
        { 19, 20, 174 },
        { 20, 170, 174 },
        { 19, 170, 174 },
        { 19, 20, 170 }
    ],
    [
        { 174, 175, 176 },
        { 170, 174, 176 },
        { 170, 175, 176 },
        { 170, 174, 175 }
    ],
    [
        { 178, 179, 180 },
        { 177, 179, 180 },
        { 177, 178, 180 },
        { 177, 178, 179 }
    ],
    [
        { 179, 181, 182 },
        { 177, 179, 182 },
        { 177, 181, 182 },
        { 177, 179, 181 }
    ],
    [
        { 179, 181, 184 },
        { 179, 183, 184 },
        { 181, 183, 184 },
        { 179, 181, 183 }
    ],
    [
        { 175, 178, 179 },
        { 175, 179, 185 },
        { 178, 179, 185 },
        { 175, 178, 185 }
    ],
    [
        { 187, 188, 189 },
        { 186, 188, 189 },
        { 186, 187, 189 },
        { 186, 187, 188 }
    ],
    [
        { 188, 190, 191 },
        { 186, 188, 191 },
        { 186, 188, 190 },
        { 186, 190, 191 }
    ],
    [
        { 183, 188, 191 },
        { 188, 191, 192 },
        { 183, 188, 192 },
        { 183, 191, 192 }
    ],
    [
        { 188, 189, 193 },
        { 175, 188, 189 },
        { 175, 189, 193 },
        { 175, 188, 193 }
    ],
    [
        { 195, 196, 197 },
        { 194, 196, 197 },
        { 194, 195, 197 },
        { 194, 195, 196 }
    ],
    [
        { 197, 198, 199 },
        { 194, 197, 199 },
        { 194, 198, 199 },
        { 194, 197, 198 }
    ],
    [
        { 201, 202, 203 },
        { 200, 202, 203 },
        { 200, 201, 203 },
        { 200, 201, 202 }
    ],
    [
        { 202, 203, 205 },
        { 202, 203, 204 },
        { 203, 204, 205 },
        { 202, 204, 205 }
    ],
    [
        { 166, 168, 206 },
        { 161, 166, 206 },
        { 161, 166, 168 },
        { 161, 168, 206 }
    ],
    [
        { 166, 206, 207 },
        { 166, 175, 207 },
        { 175, 206, 207 },
        { 166, 175, 206 }
    ],
    [
        { 206, 209, 210 },
        { 206, 208, 210, 211 },
        { 208, 209, 210, 212 },
        { 206, 209, 211, 212 },
        { 208, 211, 212 }
    ],
    [
        { 206, 213, 214, 215 },
        { 175, 213, 214 },
        { 175, 206, 214 },
        { 175, 213, 215 },
        { 175, 206, 215 }
    ],
    [
        { 186, 187, 217 },
        { 187, 216, 217 },
        { 186, 216, 217, 218 },
        { 187, 216, 218 },
        { 186, 187, 218 }
    ],
    [
        { 213, 215, 217 },
        { 175, 215, 217 },
        { 175, 213, 215 },
        { 175, 213, 217 }
    ],
    [
        { 220, 221, 222 },
        { 219, 221, 222 },
        { 219, 220, 222 },
        { 219, 220, 221 }
    ],
    [
        { 220, 221, 222 },
        { 221, 222, 223, 224 },
        { 220, 221, 223 },
        { 220, 223, 224 },
        { 220, 222, 224 }
    ],
    [
        { 220, 223, 224 },
        { 220, 224, 225 },
        { 223, 224, 225 },
        { 220, 223, 225 }
    ],
    [
        { 23, 24, 227 },
        { 24, 25, 226, 227 },
        { 23, 226, 227 },
        { 23, 24, 25 },
        { 23, 25, 226 }
    ],
    [
        { 227, 229, 230 },
        { 227, 228, 230 },
        { 228, 229, 230 },
        { 227, 228, 229 }
    ],
    [
        { 232, 233, 234 },
        { 231, 232, 234, 235 },
        { 231, 232, 233 },
        { 233, 234, 235 },
        { 231, 233, 235 }
    ],
    [
        { 237, 238, 239 },
        { 236, 238, 239 },
        { 236, 237, 239, 240 },
        { 236, 238, 240 },
        { 237, 238, 240 }
    ],
    [
        { 241, 242, 243 },
        { 148, 242, 243 },
        { 148, 241, 243 },
        { 148, 241, 242 }
    ],
    [
        { 242, 244, 245 },
        { 148, 244, 245 },
        { 148, 242, 245 },
        { 148, 242, 244 }
    ],
    [
        { 244, 245, 247, 248 },
        { 244, 246, 247 },
        { 246, 247, 248 },
        { 245, 246, 248 },
        { 244, 245, 246 }
    ],
    [
        { 247, 248, 249 },
        { 27, 248, 249 },
        { 27, 247, 249 },
        { 27, 247, 248 }
    ],
    [
        { 249, 250, 251 },
        { 27, 249, 251 },
        { 27, 249, 250 },
        { 27, 250, 251 }
    ],
    [
        { 228, 253, 254 },
        { 252, 253, 254 },
        { 228, 252, 254 },
        { 228, 252, 253 }
    ],
    [
        { 228, 255, 256, 257 },
        { 228, 252, 256 },
        { 228, 252, 255 },
        { 252, 255, 257 },
        { 252, 256, 257 }
    ],
    [
        { 259, 260, 261 },
        { 258, 260, 261 },
        { 258, 259, 261 },
        { 258, 259, 260 }
    ],
    [
        { 28, 29, 262 },
        { 27, 29, 262 },
        { 27, 28, 262 },
        { 27, 28, 29 }
    ],
    [
        { 29, 262, 263 },
        { 260, 262, 263 },
        { 29, 260, 263 },
        { 29, 260, 262 }
    ],
    [
        { 260, 265, 266 },
        { 264, 265, 266 },
        { 260, 264, 266 },
        { 260, 264, 265 }
    ],
    [
        { 268, 269, 270 },
        { 267, 269, 270 },
        { 267, 268, 270 },
        { 267, 268, 269 }
    ],
    [
        { 29, 267, 268 },
        { 267, 268, 271 },
        { 29, 268, 271 },
        { 29, 267, 271 }
    ],
    [
        { 273, 274, 275 },
        { 272, 274, 275 },
        { 272, 273, 275 },
        { 272, 273, 274 }
    ],
    [
        { 273, 277, 278 },
        { 273, 276, 278 },
        { 273, 276, 277 },
        { 276, 277, 278 }
    ],
    [
        { 273, 277, 280 },
        { 273, 277, 279 },
        { 277, 279, 280, 281 },
        { 273, 279, 281 },
        { 273, 280, 281 }
    ],
    [
        { 273, 274, 282 },
        { 273, 274, 279 },
        { 274, 279, 282 },
        { 273, 279, 282 }
    ],
    [
        { 284, 285, 286 },
        { 283, 285, 286 },
        { 283, 284, 286 },
        { 283, 284, 285 }
    ],
    [
        { 285, 287, 288 },
        { 283, 287, 288 },
        { 283, 285, 288 },
        { 283, 285, 287 }
    ],
    [
        { 284, 285, 287 },
        { 285, 287, 289 },
        { 284, 287, 289 },
        { 284, 285, 289 }
    ],
    [
        { 2, 3, 291, 292 },
        { 2, 31, 290, 292 },
        { 290, 291, 292 },
        { 3, 31, 290, 291 },
        { 2, 3, 31 }
    ],
    [
        { 276, 277, 279, 282 },
        { 276, 282, 290 },
        { 279, 282, 290 },
        { 276, 277, 290 },
        { 277, 279, 290 }
    ],
    [
        { 34, 35, 37, 38 },
        { 34, 37, 293 },
        { 34, 35, 293 },
        { 37, 38, 293 },
        { 35, 38, 293 }
    ],
    [
        { 37, 294, 295 },
        { 37, 293, 295 },
        { 37, 293, 294 },
        { 293, 294, 295 }
    ],
    [
        { 295, 296, 297 },
        { 294, 295, 297 },
        { 294, 296, 297 },
        { 294, 295, 296 }
    ],
    [
        { 295, 297, 298 },
        { 293, 295, 297 },
        { 293, 297, 298 },
        { 293, 295, 298 }
    ],
    [
        { 196, 299, 300 },
        { 156, 196, 300 },
        { 156, 299, 300 },
        { 156, 196, 299 }
    ],
    [
        { 196, 299, 301 },
        { 195, 196, 299 },
        { 195, 196, 301 },
        { 195, 299, 301 }
    ],
    [
        { 303, 304, 305 },
        { 302, 304, 305 },
        { 302, 303, 305 },
        { 302, 303, 304 }
    ],
    [
        { 301, 304, 306 },
        { 195, 304, 306 },
        { 195, 301, 304 },
        { 195, 301, 306 }
    ],
    [
        { 304, 306, 308 },
        { 304, 306, 307 },
        { 304, 307, 308 },
        { 306, 307, 308 }
    ],
    [
        { 44, 309, 310 },
        { 40, 44, 310 },
        { 40, 44, 309 },
        { 40, 309, 310 }
    ],
    [
        { 41, 44, 311 },
        { 40, 44, 311 },
        { 40, 41, 44 },
        { 40, 41, 311 }
    ],
    [
        { 309, 313, 314 },
        { 312, 313, 314 },
        { 309, 312, 314 },
        { 309, 312, 313 }
    ],
    [
        { 46, 47, 48 },
        { 47, 48, 284 },
        { 46, 48, 284 },
        { 46, 47, 284 }
    ],
    [
        { 47, 48, 316, 317 },
        { 47, 315, 316 },
        { 315, 316, 317 },
        { 48, 315, 317 },
        { 47, 48, 315 }
    ],
    [
        { 316, 317, 318 },
        { 293, 317, 318 },
        { 293, 316, 318 },
        { 293, 316, 317 }
    ],
    [
        { 58, 320, 321 },
        { 319, 320, 321 },
        { 58, 319, 321 },
        { 58, 319, 320 }
    ],
    [
        { 62, 63, 321 },
        { 58, 62, 63 },
        { 58, 63, 321 },
        { 58, 62, 321 }
    ],
    [
        { 322, 323, 324 },
        { 284, 323, 324 },
        { 284, 322, 324 },
        { 284, 322, 323 }
    ],
    [
        { 52, 324, 325 },
        { 52, 284, 324 },
        { 284, 324, 325 },
        { 52, 284, 325 }
    ],
    [
        { 52, 322, 324 },
        { 52, 324, 326 },
        { 322, 324, 326 },
        { 52, 322, 326 }
    ],
    [
        { 52, 53, 322 },
        { 52, 53, 327 },
        { 53, 322, 327 },
        { 52, 322, 327 }
    ],
    [
        { 51, 52, 54 },
        { 52, 53, 54, 55 },
        { 51, 54, 55 },
        { 51, 53, 55 },
        { 51, 52, 53 }
    ],
    [
        { 55, 58, 59 },
        { 54, 55, 59 },
        { 54, 58, 59 },
        { 54, 55, 58 }
    ],
    [
        { 61, 328, 329 },
        { 54, 61, 329 },
        { 54, 328, 329 },
        { 54, 61, 328 }
    ],
    [
        { 58, 61, 330 },
        { 54, 61, 330 },
        { 54, 58, 61 },
        { 54, 58, 330 }
    ],
    [
        { 58, 61, 63 },
        { 61, 63, 328 },
        { 58, 63, 328 },
        { 58, 61, 328 }
    ],
    [
        { 332, 333, 334 },
        { 331, 333, 334 },
        { 331, 332, 334 },
        { 331, 332, 333 }
    ],
    [
        { 332, 333, 336 },
        { 332, 333, 335 },
        { 333, 335, 336 },
        { 332, 335, 336 }
    ],
    [
        { 65, 336, 337 },
        { 65, 335, 337 },
        { 335, 336, 337 },
        { 65, 335, 336 }
    ],
    [
        { 65, 66, 337 },
        { 64, 66, 337 },
        { 64, 65, 337 },
        { 64, 65, 66 }
    ],
    [
        { 69, 70, 337 },
        { 68, 69, 70 },
        { 68, 70, 337 },
        { 68, 69, 337 }
    ],
    [
        { 268, 338, 340 },
        { 338, 339, 340 },
        { 74, 268, 338, 339 },
        { 74, 339, 340 },
        { 74, 268, 340 }
    ],
    [
        { 73, 74, 341 },
        { 72, 74, 341 },
        { 72, 73, 341 },
        { 72, 73, 74 }
    ],
    [
        { 73, 76, 77 },
        { 73, 77, 83 },
        { 76, 77, 83 },
        { 73, 76, 83 }
    ],
    [
        { 74, 77, 81 },
        { 73, 77, 81 },
        { 73, 74, 77 },
        { 73, 74, 81 }
    ],
    [
        { 81, 342, 343 },
        { 81, 83, 343 },
        { 81, 83, 342 },
        { 83, 342, 343 }
    ],
    [
        { 81, 82, 343 },
        { 27, 81, 82 },
        { 27, 82, 343 },
        { 27, 81, 343 }
    ],
    [
        { 344, 345, 346 },
        { 83, 345, 346 },
        { 83, 344, 346 },
        { 83, 344, 345 }
    ],
    [
        { 343, 346, 347 },
        { 83, 343, 346 },
        { 83, 346, 347 },
        { 83, 343, 347 }
    ],
    [
        { 73, 76, 85, 348 },
        { 73, 83, 85 },
        { 73, 76, 83 },
        { 83, 85, 348 },
        { 76, 83, 348 }
    ],
    [
        { 85, 88, 349 },
        { 83, 88, 349 },
        { 83, 85, 88 },
        { 83, 85, 349 }
    ],
    [
        { 88, 349, 350 },
        { 83, 88, 349 },
        { 83, 88, 350 },
        { 83, 349, 350 }
    ],
    [
        { 90, 91, 351, 352 },
        { 73, 90, 352 },
        { 73, 93, 351, 352 },
        { 73, 90, 91, 93 },
        { 91, 93, 351 }
    ],
    [
        { 352, 354, 355 },
        { 352, 353, 355 },
        { 352, 353, 354 },
        { 353, 354, 355 }
    ],
    [
        { 344, 356, 357 },
        { 156, 344, 357 },
        { 156, 356, 357 },
        { 156, 344, 356 }
    ],
    [
        { 94, 95, 96 },
        { 95, 96, 358 },
        { 94, 96, 358 },
        { 94, 95, 358 }
    ],
    [
        { 98, 100, 103, 359 },
        { 95, 98, 99, 100 },
        { 95, 99, 103, 359 },
        { 99, 100, 359 },
        { 95, 98, 103 }
    ],
    [
        { 95, 105, 360 },
        { 103, 105, 360 },
        { 95, 103, 105 },
        { 95, 103, 360 }
    ],
    [
        { 107, 110, 111 },
        { 106, 107, 111 },
        { 106, 108, 110, 111 },
        { 106, 107, 108 },
        { 107, 108, 110 }
    ],
    [
        { 111, 361, 362 },
        { 106, 111, 362 },
        { 106, 361, 362 },
        { 106, 111, 361 }
    ],
    [
        { 111, 362, 364 },
        { 111, 362, 363 },
        { 362, 363, 364 },
        { 111, 363, 364 }
    ],
    [
        { 362, 365, 366 },
        { 106, 362, 366 },
        { 106, 365, 366 },
        { 106, 362, 365 }
    ],
    [
        { 113, 365, 367 },
        { 136, 365, 367 },
        { 113, 136, 365 },
        { 113, 136, 367 }
    ],
    [
        { 114, 116, 362, 368 },
        { 113, 118, 362, 368 },
        { 113, 114, 362 },
        { 113, 114, 116, 118 },
        { 116, 118, 368 }
    ],
    [
        { 114, 123, 363 },
        { 114, 363, 369 },
        { 114, 123, 369 },
        { 123, 363, 369 }
    ],
    [
        { 123, 371, 372 },
        { 370, 371, 372 },
        { 123, 370, 372 },
        { 123, 370, 371 }
    ],
    [
        { 120, 371, 373 },
        { 120, 370, 371 },
        { 120, 370, 373, 374 },
        { 370, 371, 374 },
        { 371, 373, 374 }
    ],
    [
        { 120, 124, 371 },
        { 123, 124, 371 },
        { 120, 123, 124 },
        { 120, 123, 371 }
    ],
    [
        { 120, 121, 375 },
        { 119, 121, 375 },
        { 119, 120, 375 },
        { 119, 120, 121 }
    ],
    [
        { 120, 125, 126 },
        { 123, 125, 126 },
        { 120, 123, 125 },
        { 120, 123, 126 }
    ],
    [
        { 120, 126, 375 },
        { 119, 126, 375 },
        { 119, 120, 126 },
        { 119, 120, 375 }
    ],
    [
        { 6, 130, 133, 134 },
        { 133, 134, 376 },
        { 128, 132, 133, 376 },
        { 9, 129, 134, 376 },
        { 6, 9, 128, 129, 130, 132 },
        { 128, 129, 376 },
        { 6, 9, 134 },
        { 130, 132, 133 }
    ],
    [
        { 138, 139, 141 },
        { 136, 139, 141 },
        { 136, 138, 139 },
        { 136, 138, 141 }
    ],
    [
        { 138, 141, 143 },
        { 141, 143, 377 },
        { 138, 143, 377 },
        { 138, 141, 377 }
    ],
    [
        { 138, 143, 144 },
        { 143, 144, 377 },
        { 138, 144, 377 },
        { 138, 143, 377 }
    ],
    [
        { 375, 378, 379 },
        { 375, 377, 379, 380 },
        { 375, 377, 378 },
        { 377, 378, 380 },
        { 378, 379, 380 }
    ],
    [
        { 123, 136, 145 },
        { 113, 114, 123, 136 },
        { 113, 136, 145 },
        { 113, 114, 145 },
        { 114, 123, 145 }
    ],
    [
        { 382, 383, 384 },
        { 381, 383, 384 },
        { 381, 382, 384 },
        { 381, 382, 383 }
    ],
    [
        { 383, 386, 387 },
        { 385, 386, 387 },
        { 383, 385, 387 },
        { 383, 385, 386 }
    ],
    [
        { 388, 389, 390 },
        { 152, 389, 390 },
        { 152, 388, 390 },
        { 152, 388, 389 }
    ],
    [
        { 149, 151, 391 },
        { 148, 151, 391 },
        { 148, 149, 151 },
        { 148, 149, 391 }
    ],
    [
        { 390, 391, 392 },
        { 153, 390, 392 },
        { 151, 153, 390, 391 },
        { 151, 153, 392 },
        { 151, 391, 392 }
    ],
    [
        { 153, 154, 390 },
        { 152, 153, 154 },
        { 152, 154, 390 },
        { 152, 153, 390 }
    ],
    [
        { 391, 393, 394 },
        { 148, 391, 394 },
        { 148, 391, 393 },
        { 148, 393, 394 }
    ],
    [
        { 381, 383, 396 },
        { 381, 395, 396 },
        { 381, 383, 395, 397 },
        { 395, 396, 397 },
        { 383, 396, 397 }
    ],
    [
        { 82, 250, 343 },
        { 27, 82, 250 },
        { 27, 82, 343 },
        { 27, 250, 343 }
    ],
    [
        { 343, 346, 398 },
        { 236, 346, 398 },
        { 236, 343, 398 },
        { 236, 343, 346 }
    ],
    [
        { 19, 157, 160 },
        { 156, 157, 160 },
        { 19, 156, 157 },
        { 19, 156, 160 }
    ],
    [
        { 157, 160, 399 },
        { 156, 157, 160 },
        { 156, 157, 399 },
        { 156, 160, 399 }
    ],
    [
        { 241, 400, 401 },
        { 148, 241, 401 },
        { 148, 400, 401 },
        { 148, 241, 400 }
    ],
    [
        { 402, 403, 404 },
        { 400, 403, 404 },
        { 400, 402, 404 },
        { 400, 402, 403 }
    ],
    [
        { 13, 161, 162 },
        { 12, 13, 162 },
        { 12, 13, 161 },
        { 12, 161, 162 }
    ],
    [
        { 13, 162, 405 },
        { 12, 13, 405 },
        { 12, 162, 405 },
        { 12, 13, 162 }
    ],
    [
        { 407, 408, 409 },
        { 406, 408, 409 },
        { 406, 407, 409 },
        { 406, 407, 408 }
    ],
    [
        { 232, 411, 412 },
        { 410, 411, 412 },
        { 232, 410, 412 },
        { 232, 410, 411 }
    ],
    [
        { 408, 413, 414, 416 },
        { 408, 410, 414, 415 },
        { 408, 410, 413 },
        { 410, 413, 415, 416 },
        { 414, 415, 416 }
    ],
    [
        { 165, 166, 175 },
        { 164, 165, 166 },
        { 164, 166, 175 },
        { 164, 165, 175 }
    ],
    [
        { 166, 169, 411 },
        { 161, 166, 169 },
        { 161, 166, 411 },
        { 161, 169, 411 }
    ],
    [
        { 19, 21, 406 },
        { 21, 170, 406 },
        { 19, 21, 170 },
        { 19, 170, 406 }
    ],
    [
        { 171, 172, 175 },
        { 170, 171, 172 },
        { 170, 172, 175 },
        { 170, 171, 175 }
    ],
    [
        { 19, 156, 418 },
        { 19, 417, 418 },
        { 156, 417, 418 },
        { 19, 156, 417 }
    ],
    [
        { 175, 419, 420 },
        { 417, 419, 420 },
        { 175, 417, 420 },
        { 175, 417, 419 }
    ],
    [
        { 175, 180, 419 },
        { 177, 180, 419 },
        { 175, 177, 180 },
        { 175, 177, 419 }
    ],
    [
        { 19, 174, 421 },
        { 174, 417, 421 },
        { 19, 417, 421 },
        { 19, 174, 417 }
    ],
    [
        { 174, 175, 420 },
        { 174, 417, 420 },
        { 174, 175, 417 },
        { 175, 417, 420 }
    ],
    [
        { 19, 174, 175 },
        { 170, 174, 175 },
        { 19, 170, 174 },
        { 19, 170, 175 }
    ],
    [
        { 175, 178, 179 },
        { 175, 177, 179 },
        { 177, 178, 179 },
        { 175, 177, 178 }
    ],
    [
        { 179, 181, 183 },
        { 177, 179, 181 },
        { 177, 179, 183 },
        { 177, 181, 183 }
    ],
    [
        { 175, 179, 183 },
        { 179, 183, 185 },
        { 175, 179, 185 },
        { 175, 183, 185 }
    ],
    [
        { 175, 188, 189 },
        { 186, 188, 189 },
        { 175, 186, 189 },
        { 175, 186, 188 }
    ],
    [
        { 183, 188, 191 },
        { 186, 188, 191 },
        { 183, 186, 188 },
        { 183, 186, 191 }
    ],
    [
        { 183, 188, 193 },
        { 175, 188, 193 },
        { 175, 183, 188 },
        { 175, 183, 193 }
    ],
    [
        { 195, 196, 197 },
        { 177, 196, 197 },
        { 177, 195, 197 },
        { 177, 195, 196 }
    ],
    [
        { 195, 197, 199 },
        { 194, 197, 199 },
        { 194, 195, 199 },
        { 194, 195, 197 }
    ],
    [
        { 202, 203, 204 },
        { 200, 202, 203 },
        { 200, 203, 204 },
        { 200, 202, 204 }
    ],
    [
        { 186, 203, 422 },
        { 200, 203, 422 },
        { 186, 200, 422 },
        { 186, 200, 203 }
    ],
    [
        { 186, 423, 424, 426 },
        { 177, 186, 424, 425 },
        { 177, 186, 423 },
        { 177, 423, 425, 426 },
        { 424, 425, 426 }
    ],
    [
        { 186, 203, 205 },
        { 186, 203, 204 },
        { 203, 204, 205 },
        { 186, 204, 205 }
    ],
    [
        { 162, 209, 427 },
        { 161, 209, 427 },
        { 161, 162, 209 },
        { 161, 162, 427 }
    ],
    [
        { 166, 175, 206 },
        { 161, 166, 206 },
        { 161, 166, 175 },
        { 161, 175, 206 }
    ],
    [
        { 206, 209, 210 },
        { 161, 206, 210 },
        { 161, 209, 210 },
        { 161, 206, 209 }
    ],
    [
        { 206, 209, 215 },
        { 175, 206, 215 },
        { 175, 209, 215 },
        { 175, 206, 209 }
    ],
    [
        { 175, 187, 217 },
        { 186, 187, 217 },
        { 175, 186, 217 },
        { 175, 186, 187 }
    ],
    [
        { 209, 215, 217 },
        { 175, 215, 217 },
        { 175, 209, 215 },
        { 175, 209, 217 }
    ],
    [
        { 229, 346, 428 },
        { 228, 229, 346 },
        { 228, 346, 428 },
        { 228, 229, 428 }
    ],
    [
        { 429, 430, 433, 434 },
        { 429, 430, 431, 432 },
        { 431, 432, 433, 434 },
        { 429, 432, 433 },
        { 430, 431, 434 }
    ],
    [
        { 219, 220, 225 },
        { 220, 223, 225 },
        { 219, 221, 223, 225 },
        { 220, 221, 223 },
        { 219, 220, 221 }
    ],
    [
        { 435, 436, 437 },
        { 226, 436, 437 },
        { 226, 435, 437 },
        { 226, 435, 436 }
    ],
    [
        { 23, 227, 436 },
        { 23, 226, 436 },
        { 23, 226, 227 },
        { 226, 227, 436 }
    ],
    [
        { 19, 226, 227, 438 },
        { 226, 438, 439 },
        { 19, 438, 439 },
        { 226, 227, 439 },
        { 19, 227, 439 }
    ],
    [
        { 19, 227, 229 },
        { 227, 228, 229 },
        { 19, 227, 228 },
        { 19, 228, 229 }
    ],
    [
        { 227, 230, 436 },
        { 228, 230, 436 },
        { 227, 228, 230 },
        { 227, 228, 436 }
    ],
    [
        { 231, 232, 409 },
        { 231, 232, 233 },
        { 231, 233, 440 },
        { 231, 409, 440 },
        { 233, 440, 441 },
        { 232, 409, 441 },
        { 409, 440, 441 },
        { 232, 233, 441 }
    ],
    [
        { 442, 443, 444 },
        { 406, 443, 444 },
        { 406, 442, 444 },
        { 406, 442, 443 }
    ],
    [
        { 406, 444, 445 },
        { 438, 444, 445 },
        { 406, 438, 445 },
        { 406, 438, 444 }
    ],
    [
        { 406, 442, 446 },
        { 19, 442, 446 },
        { 19, 406, 446 },
        { 19, 406, 442 }
    ],
    [
        { 402, 448, 449 },
        { 447, 448, 449 },
        { 402, 447, 449 },
        { 402, 447, 448 }
    ],
    [
        { 238, 450, 451 },
        { 236, 238, 451 },
        { 236, 450, 451 },
        { 236, 238, 450 }
    ],
    [
        { 238, 239, 450 },
        { 236, 238, 239 },
        { 236, 239, 450 },
        { 236, 238, 450 }
    ],
    [
        { 241, 242, 452 },
        { 148, 242, 452 },
        { 148, 241, 452 },
        { 148, 241, 242 }
    ],
    [
        { 236, 239, 453, 454, 457, 461 },
        { 402, 454, 455, 456, 457, 460 },
        { 236, 239, 402, 455, 458, 459 },
        { 236, 402, 457 },
        { 453, 456, 458, 459, 460, 461 },
        { 239, 453, 458 },
        { 455, 456, 459 },
        { 454, 460, 461 }
    ],
    [
        { 242, 244, 452 },
        { 148, 244, 452 },
        { 148, 242, 244 },
        { 148, 242, 452 }
    ],
    [
        { 244, 247, 452, 463 },
        { 244, 247, 462, 464, 465, 467 },
        { 247, 463, 465 },
        { 463, 464, 465, 466 },
        { 452, 463, 466 },
        { 462, 464, 466 },
        { 452, 462, 466, 467 },
        { 244, 452, 467 }
    ],
    [
        { 27, 247, 248 },
        { 27, 148, 245, 248 },
        { 27, 148, 244, 247 },
        { 244, 245, 247, 248 },
        { 148, 244, 245 }
    ],
    [
        { 247, 249, 463 },
        { 27, 247, 249 },
        { 27, 249, 463 },
        { 27, 247, 463 }
    ],
    [
        { 249, 250, 463 },
        { 27, 249, 250 },
        { 27, 249, 463 },
        { 27, 250, 463 }
    ],
    [
        { 161, 228, 254 },
        { 161, 252, 254 },
        { 228, 252, 254 },
        { 161, 228, 252 }
    ],
    [
        { 228, 256, 404 },
        { 252, 256, 404 },
        { 228, 252, 404 },
        { 228, 252, 256 }
    ],
    [
        { 260, 261, 262 },
        { 259, 261, 262 },
        { 259, 260, 262 },
        { 259, 260, 261 }
    ],
    [
        { 29, 260, 262 },
        { 27, 29, 262 },
        { 27, 260, 262 },
        { 27, 29, 260 }
    ],
    [
        { 29, 260, 267 },
        { 29, 267, 271 },
        { 260, 267, 271 },
        { 29, 260, 271 }
    ],
    [
        { 260, 265, 468 },
        { 259, 265, 468 },
        { 259, 260, 468 },
        { 259, 260, 265 }
    ],
    [
        { 260, 265, 267 },
        { 264, 265, 267 },
        { 260, 264, 265 },
        { 260, 264, 267 }
    ],
    [
        { 267, 268, 270 },
        { 268, 270, 338 },
        { 267, 270, 338 },
        { 267, 268, 338 }
    ],
    [
        { 29, 267, 268 },
        { 27, 267, 268 },
        { 27, 29, 268 },
        { 27, 29, 267 }
    ],
    [
        { 273, 276, 278 },
        { 272, 273, 278 },
        { 272, 273, 276 },
        { 272, 276, 278 }
    ],
    [
        { 273, 274, 282 },
        { 272, 273, 274 },
        { 272, 274, 282 },
        { 272, 273, 282 }
    ],
    [
        { 273, 276, 282 },
        { 273, 279, 282 },
        { 276, 277, 279, 282 },
        { 273, 277, 279 },
        { 273, 276, 277 }
    ],
    [
        { 284, 286, 469 },
        { 283, 286, 469 },
        { 283, 284, 286 },
        { 283, 284, 469 }
    ],
    [
        { 284, 285, 287 },
        { 283, 285, 287 },
        { 283, 284, 287 },
        { 283, 284, 285 }
    ],
    [
        { 282, 284, 287 },
        { 282, 287, 289 },
        { 282, 284, 289 },
        { 284, 287, 289 }
    ],
    [
        { 276, 282, 470 },
        { 276, 282, 290 },
        { 276, 291, 470 },
        { 276, 290, 291 },
        { 291, 292, 470 },
        { 282, 292, 470 },
        { 290, 291, 292 },
        { 282, 290, 292 }
    ],
    [
        { 276, 471, 472 },
        { 298, 471, 472 },
        { 276, 298, 472 },
        { 276, 298, 471 }
    ],
    [
        { 34, 35, 473 },
        { 34, 35, 293 },
        { 35, 293, 473 },
        { 34, 293, 473 }
    ],
    [
        { 34, 37, 294 },
        { 34, 37, 293 },
        { 37, 293, 294 },
        { 34, 293, 294 }
    ],
    [
        { 294, 295, 297 },
        { 293, 295, 297 },
        { 293, 294, 297 },
        { 293, 294, 295 }
    ],
    [
        { 276, 297, 298 },
        { 276, 293, 297 },
        { 293, 297, 298 },
        { 276, 293, 298 }
    ],
    [
        { 195, 196, 299 },
        { 156, 196, 299 },
        { 156, 195, 196 },
        { 156, 195, 299 }
    ],
    [
        { 299, 301, 304 },
        { 195, 299, 304 },
        { 195, 301, 304 },
        { 195, 299, 301 }
    ],
    [
        { 293, 304, 305 },
        { 302, 304, 305 },
        { 293, 302, 305 },
        { 293, 302, 304 }
    ],
    [
        { 304, 306, 308 },
        { 195, 304, 306 },
        { 195, 304, 308 },
        { 195, 306, 308 }
    ],
    [
        { 293, 304, 308 },
        { 302, 304, 308 },
        { 293, 302, 304 },
        { 293, 302, 308 }
    ],
    [
        { 293, 305, 474 },
        { 302, 305, 474 },
        { 293, 302, 474 },
        { 293, 302, 305 }
    ],
    [
        { 40, 311, 318 },
        { 293, 311, 318 },
        { 40, 293, 318 },
        { 40, 293, 311 }
    ],
    [
        { 44, 309, 311 },
        { 40, 44, 311 },
        { 40, 44, 309 },
        { 40, 309, 311 }
    ],
    [
        { 309, 312, 313 },
        { 40, 309, 313 },
        { 40, 312, 313 },
        { 40, 309, 312 }
    ],
    [
        { 46, 47, 475 },
        { 46, 47, 284 },
        { 47, 284, 475 },
        { 46, 284, 475 }
    ],
    [
        { 293, 316, 317 },
        { 48, 284, 293, 317 },
        { 47, 284, 293, 316 },
        { 47, 48, 316, 317 },
        { 47, 48, 284 }
    ],
    [
        { 40, 316, 318 },
        { 293, 316, 318 },
        { 40, 293, 318 },
        { 40, 293, 316 }
    ],
    [
        { 65, 66, 322 },
        { 66, 322, 335 },
        { 65, 322, 335 },
        { 65, 66, 335 }
    ],
    [
        { 66, 322, 323 },
        { 284, 322, 323 },
        { 66, 284, 323 },
        { 66, 284, 322 }
    ],
    [
        { 58, 319, 321 },
        { 58, 321, 335 },
        { 319, 321, 335 },
        { 58, 319, 335 }
    ],
    [
        { 58, 63, 321 },
        { 63, 321, 328 },
        { 58, 63, 328 },
        { 58, 321, 328 }
    ],
    [
        { 52, 322, 324 },
        { 52, 284, 324 },
        { 284, 322, 324 },
        { 52, 284, 322 }
    ],
    [
        { 53, 55, 58, 322 },
        { 52, 54, 58, 322 },
        { 54, 55, 58 },
        { 52, 53, 54, 55 },
        { 52, 53, 322 }
    ],
    [
        { 58, 61, 328 },
        { 54, 58, 61 },
        { 54, 61, 328 },
        { 54, 58, 328 }
    ],
    [
        { 331, 332, 333 },
        { 332, 333, 335 },
        { 331, 333, 335 },
        { 331, 332, 335 }
    ],
    [
        { 332, 336, 337 },
        { 332, 335, 337 },
        { 335, 336, 337 },
        { 332, 335, 336 }
    ],
    [
        { 65, 66, 337 },
        { 66, 335, 337 },
        { 65, 335, 337 },
        { 65, 66, 335 }
    ],
    [
        { 66, 284, 337 },
        { 66, 68, 337 },
        { 68, 284, 337 },
        { 66, 68, 284 }
    ],
    [
        { 70, 284, 337 },
        { 68, 70, 337 },
        { 68, 70, 284 },
        { 68, 284, 337 }
    ],
    [
        { 70, 284, 476 },
        { 68, 70, 476 },
        { 68, 284, 476 },
        { 68, 70, 284 }
    ],
    [
        { 74, 268, 338, 339 },
        { 27, 268, 338 },
        { 27, 338, 339 },
        { 27, 74, 268 },
        { 27, 74, 339 }
    ],
    [
        { 73, 74, 341 },
        { 74, 339, 341 },
        { 73, 339, 341 },
        { 73, 74, 339 }
    ],
    [
        { 73, 77, 81 },
        { 77, 81, 83 },
        { 73, 77, 83 },
        { 73, 81, 83 }
    ],
    [
        { 73, 74, 81 },
        { 27, 74, 81 },
        { 27, 73, 81 },
        { 27, 73, 74 }
    ],
    [
        { 27, 81, 343 },
        { 81, 83, 343 },
        { 27, 81, 83 },
        { 27, 83, 343 }
    ],
    [
        { 343, 344, 346 },
        { 83, 343, 346 },
        { 83, 344, 346 },
        { 83, 343, 344 }
    ],
    [
        { 73, 85, 349 },
        { 83, 85, 349 },
        { 73, 83, 349 },
        { 73, 83, 85 }
    ],
    [
        { 344, 349, 350 },
        { 83, 349, 350 },
        { 83, 344, 349 },
        { 83, 344, 350 }
    ],
    [
        { 73, 352, 355 },
        { 352, 353, 355 },
        { 73, 90, 353, 355 },
        { 90, 352, 353 },
        { 73, 90, 352 }
    ],
    [
        { 156, 356, 478, 482 },
        { 156, 477, 478 },
        { 156, 344, 356 },
        { 156, 344, 477, 479 },
        { 344, 356, 479, 480, 481, 482 },
        { 477, 479, 480 },
        { 477, 478, 480, 481 },
        { 478, 481, 482 }
    ],
    [
        { 474, 479, 483, 484 },
        { 344, 355, 474, 483 },
        { 355, 483, 484 },
        { 344, 355, 479, 484 },
        { 344, 474, 479 }
    ],
    [
        { 474, 483, 485, 486, 489, 490 },
        { 473, 474, 483, 487 },
        { 483, 485, 487 },
        { 485, 487, 488, 490 },
        { 473, 487, 488 },
        { 473, 486, 488, 489 },
        { 473, 474, 489 },
        { 486, 488, 490 }
    ],
    [
        { 95, 96, 98 },
        { 95, 96, 358 },
        { 96, 98, 358 },
        { 95, 98, 358 }
    ],
    [
        { 95, 103, 360 },
        { 95, 98, 360 },
        { 98, 103, 360 },
        { 95, 98, 103 }
    ],
    [
        { 98, 107, 111 },
        { 106, 107, 111 },
        { 98, 106, 107 },
        { 98, 106, 111 }
    ],
    [
        { 106, 362, 365 },
        { 362, 363, 365 },
        { 106, 111, 363, 365 },
        { 111, 362, 363 },
        { 106, 111, 362 }
    ],
    [
        { 113, 362, 365 },
        { 136, 362, 365 },
        { 113, 136, 362 },
        { 113, 136, 365 }
    ],
    [
        { 123, 136, 362 },
        { 113, 136, 362 },
        { 113, 114, 123, 136 },
        { 113, 114, 362 },
        { 114, 123, 362 }
    ],
    [
        { 114, 362, 363 },
        { 114, 123, 362 },
        { 123, 362, 363 },
        { 114, 123, 363 }
    ],
    [
        { 120, 370, 394, 491 },
        { 148, 394, 491 },
        { 148, 370, 491 },
        { 120, 148, 394 },
        { 120, 148, 370 }
    ],
    [
        { 120, 123, 371 },
        { 120, 370, 371 },
        { 123, 370, 371 },
        { 120, 123, 370 }
    ],
    [
        { 120, 121, 375 },
        { 121, 375, 381 },
        { 120, 375, 381 },
        { 120, 121, 381 }
    ],
    [
        { 120, 126, 375 },
        { 123, 126, 375 },
        { 120, 123, 126 },
        { 120, 123, 375 }
    ],
    [
        { 144, 385, 492 },
        { 144, 377, 492 },
        { 377, 385, 492 },
        { 144, 377, 385 }
    ],
    [
        { 133, 376, 385, 493 },
        { 381, 385, 493 },
        { 133, 134, 381, 385 },
        { 134, 376, 381, 493 },
        { 133, 134, 376 }
    ],
    [
        { 138, 141, 377 },
        { 136, 138, 141 },
        { 136, 141, 377 },
        { 136, 138, 377 }
    ],
    [
        { 138, 144, 385 },
        { 138, 144, 377 },
        { 144, 377, 385 },
        { 138, 377, 385 }
    ],
    [
        { 375, 378, 494 },
        { 377, 378, 494 },
        { 375, 377, 378 },
        { 375, 377, 494 }
    ],
    [
        { 123, 145, 494 },
        { 123, 136, 494 },
        { 136, 145, 494 },
        { 123, 136, 145 }
    ],
    [
        { 383, 384, 495 },
        { 381, 384, 495 },
        { 381, 383, 495 },
        { 381, 383, 384 }
    ],
    [
        { 383, 386, 495 },
        { 385, 386, 495 },
        { 383, 385, 386 },
        { 383, 385, 495 }
    ],
    [
        { 385, 388, 390 },
        { 152, 385, 390 },
        { 152, 385, 388 },
        { 152, 388, 390 }
    ],
    [
        { 383, 385, 496 },
        { 383, 390, 496 },
        { 385, 390, 496 },
        { 383, 385, 390 }
    ],
    [
        { 383, 391, 497 },
        { 383, 390, 391 },
        { 383, 390, 497 },
        { 390, 391, 497 }
    ],
    [
        { 152, 153, 390 },
        { 148, 151, 152, 153 },
        { 148, 152, 390, 391 },
        { 151, 153, 390, 391 },
        { 148, 151, 391 }
    ],
    [
        { 381, 391, 394 },
        { 148, 391, 394 },
        { 148, 381, 391 },
        { 148, 381, 394 }
    ],
    [
        { 383, 391, 396 },
        { 381, 383, 396 },
        { 381, 391, 396 },
        { 381, 383, 391 }
    ],
    [
        { 236, 250, 343 },
        { 27, 250, 343 },
        { 27, 236, 250 },
        { 27, 236, 343 }
    ],
    [
        { 236, 343, 346 },
        { 343, 344, 346 },
        { 236, 344, 346 },
        { 236, 343, 344 }
    ],
    [
        { 344, 399, 498 },
        { 156, 399, 498 },
        { 156, 344, 498 },
        { 156, 344, 399 }
    ],
    [
        { 19, 160, 399 },
        { 156, 160, 399 },
        { 19, 156, 160 },
        { 19, 156, 399 }
    ],
    [
        { 241, 400, 402 },
        { 148, 241, 402 },
        { 148, 400, 402 },
        { 148, 241, 400 }
    ],
    [
        { 402, 404, 499 },
        { 400, 402, 404 },
        { 400, 404, 499 },
        { 400, 402, 499 }
    ],
    [
        { 161, 162, 405 },
        { 12, 162, 405 },
        { 12, 161, 405 },
        { 12, 161, 162 }
    ],
    [
        { 405, 499, 500 },
        { 162, 405, 499 },
        { 162, 405, 500 },
        { 162, 499, 500 }
    ],
    [
        { 232, 408, 409, 410 },
        { 406, 408, 410, 411 },
        { 232, 410, 411 },
        { 232, 406, 409, 411 },
        { 406, 408, 409 }
    ],
    [
        { 175, 408, 414, 501 },
        { 175, 408, 410 },
        { 175, 410, 415, 501 },
        { 408, 410, 414, 415 },
        { 414, 415, 501 }
    ],
    [
        { 164, 166, 175 },
        { 161, 166, 175 },
        { 161, 164, 166 },
        { 161, 164, 175 }
    ],
    [
        { 164, 166, 411 },
        { 161, 166, 411 },
        { 161, 164, 166 },
        { 161, 164, 411 }
    ],
    [
        { 164, 175, 411 },
        { 175, 410, 411 },
        { 164, 410, 411 },
        { 164, 175, 410 }
    ],
    [
        { 19, 171, 406 },
        { 170, 171, 406 },
        { 19, 170, 171 },
        { 19, 170, 406 }
    ],
    [
        { 19, 171, 175 },
        { 170, 171, 175 },
        { 19, 170, 171 },
        { 19, 170, 175 }
    ],
    [
        { 171, 175, 408 },
        { 171, 406, 408 },
        { 171, 175, 406 },
        { 175, 406, 408 }
    ],
    [
        { 177, 195, 196 },
        { 156, 195, 196 },
        { 156, 177, 196 },
        { 156, 177, 195 }
    ],
    [
        { 19, 156, 177 },
        { 19, 177, 417 },
        { 19, 156, 417 },
        { 156, 177, 417 }
    ],
    [
        { 175, 177, 419 },
        { 175, 417, 419 },
        { 177, 417, 419 },
        { 175, 177, 417 }
    ],
    [
        { 19, 174, 175 },
        { 174, 175, 417 },
        { 19, 174, 417 },
        { 19, 175, 417 }
    ],
    [
        { 183, 186, 191 },
        { 177, 181, 186, 191 },
        { 177, 183, 186 },
        { 177, 181, 183 },
        { 181, 183, 191 }
    ],
    [
        { 175, 179, 183 },
        { 177, 179, 183 },
        { 175, 177, 179 },
        { 175, 177, 183 }
    ],
    [
        { 175, 183, 188 },
        { 183, 186, 188 },
        { 175, 186, 188 },
        { 175, 183, 186 }
    ],
    [
        { 195, 197, 199 },
        { 177, 197, 199 },
        { 177, 195, 199 },
        { 177, 195, 197 }
    ],
    [
        { 186, 203, 204 },
        { 186, 200, 203 },
        { 200, 203, 204 },
        { 186, 200, 204 }
    ],
    [
        { 177, 423, 502, 504 },
        { 177, 186, 199, 200 },
        { 177, 186, 423 },
        { 199, 200, 422, 502, 503, 504 },
        { 186, 422, 423, 503 },
        { 186, 200, 422 },
        { 423, 502, 503 },
        { 177, 199, 504 }
    ],
    [
        { 162, 186, 205 },
        { 186, 204, 205 },
        { 162, 186, 204 },
        { 162, 204, 205 }
    ],
    [
        { 162, 186, 209 },
        { 161, 186, 209 },
        { 161, 162, 209 },
        { 161, 162, 186 }
    ],
    [
        { 175, 206, 209 },
        { 161, 206, 209 },
        { 161, 175, 206 },
        { 161, 175, 209 }
    ],
    [
        { 175, 209, 217 },
        { 186, 209, 217 },
        { 175, 186, 217 },
        { 175, 186, 209 }
    ],
    [
        { 19, 229, 346 },
        { 228, 229, 346 },
        { 19, 228, 346 },
        { 19, 228, 229 }
    ],
    [
        { 236, 346, 428 },
        { 228, 236, 346 },
        { 228, 346, 428 },
        { 228, 236, 428 }
    ],
    [
        { 429, 433, 435 },
        { 429, 430, 433, 434 },
        { 429, 430, 435 },
        { 430, 434, 435 },
        { 433, 434, 435 }
    ],
    [
        { 221, 223, 228, 505 },
        { 223, 225, 505 },
        { 219, 225, 228, 505 },
        { 219, 221, 223, 225 },
        { 219, 221, 228 }
    ],
    [
        { 435, 436, 506 },
        { 228, 435, 506, 507 },
        { 228, 435, 436 },
        { 228, 436, 507 },
        { 436, 506, 507 }
    ],
    [
        { 226, 435, 436 },
        { 435, 436, 438 },
        { 226, 436, 438 },
        { 226, 435, 438 }
    ],
    [
        { 226, 436, 438 },
        { 19, 436, 438 },
        { 19, 226, 227, 438 },
        { 226, 227, 436 },
        { 19, 227, 436 }
    ],
    [
        { 19, 227, 436 },
        { 227, 228, 436 },
        { 19, 228, 436 },
        { 19, 227, 228 }
    ],
    [
        { 232, 406, 409, 411 },
        { 231, 232, 411, 508 },
        { 231, 232, 409 },
        { 231, 406, 409, 508 },
        { 406, 411, 508 }
    ],
    [
        { 19, 406, 442 },
        { 19, 438, 442, 444 },
        { 19, 406, 438 },
        { 406, 438, 444 },
        { 406, 442, 444 }
    ],
    [
        { 402, 448, 449 },
        { 228, 448, 449 },
        { 228, 402, 449 },
        { 228, 402, 448 }
    ],
    [
        { 236, 450, 451 },
        { 228, 450, 451 },
        { 228, 236, 451 },
        { 228, 236, 450 }
    ],
    [
        { 236, 239, 402, 455, 458, 459 },
        { 236, 402, 448, 450 },
        { 236, 239, 450 },
        { 239, 450, 458, 509 },
        { 402, 448, 455 },
        { 448, 455, 459, 509 },
        { 448, 450, 509 },
        { 458, 459, 509 }
    ],
    [
        { 241, 402, 452 },
        { 148, 402, 452 },
        { 148, 241, 452 },
        { 148, 241, 402 }
    ],
    [
        { 236, 402, 452, 463 },
        { 236, 457, 463, 510 },
        { 452, 463, 510 },
        { 402, 452, 457, 510 },
        { 236, 402, 457 }
    ],
    [
        { 27, 247, 463 },
        { 27, 148, 244, 247 },
        { 27, 148, 452, 463 },
        { 244, 247, 452, 463 },
        { 148, 244, 452 }
    ],
    [
        { 236, 250, 463 },
        { 27, 250, 463 },
        { 27, 236, 250 },
        { 27, 236, 463 }
    ],
    [
        { 161, 228, 404 },
        { 161, 252, 404 },
        { 228, 252, 404 },
        { 161, 228, 252 }
    ],
    [
        { 256, 402, 404 },
        { 228, 256, 404 },
        { 228, 402, 404 },
        { 228, 256, 402 }
    ],
    [
        { 259, 260, 262 },
        { 27, 260, 262 },
        { 27, 259, 262 },
        { 27, 259, 260 }
    ],
    [
        { 29, 260, 267 },
        { 27, 29, 267 },
        { 27, 260, 267 },
        { 27, 29, 260 }
    ],
    [
        { 260, 265, 267 },
        { 259, 265, 267 },
        { 259, 260, 265 },
        { 259, 260, 267 }
    ],
    [
        { 27, 267, 268 },
        { 267, 268, 338 },
        { 27, 268, 338 },
        { 27, 267, 338 }
    ],
    [
        { 273, 276, 282 },
        { 272, 273, 282 },
        { 272, 273, 276 },
        { 272, 276, 282 }
    ],
    [
        { 284, 469, 473 },
        { 283, 469, 473 },
        { 283, 284, 469 },
        { 283, 284, 473 }
    ],
    [
        { 282, 284, 287 },
        { 282, 283, 287 },
        { 282, 283, 284 },
        { 283, 284, 287 }
    ],
    [
        { 272, 282, 473 },
        { 282, 283, 473 },
        { 272, 282, 283 },
        { 272, 283, 473 }
    ],
    [
        { 282, 284, 511 },
        { 282, 289, 511 },
        { 282, 284, 289 },
        { 284, 289, 511 }
    ],
    [
        { 276, 282, 471, 511 },
        { 471, 472, 511, 512, 513, 514 },
        { 282, 511, 512 },
        { 276, 471, 472 },
        { 276, 470, 472, 513 },
        { 282, 470, 512, 514 },
        { 276, 282, 470 },
        { 470, 513, 514 }
    ],
    [
        { 276, 298, 471 },
        { 276, 293, 471 },
        { 293, 298, 471 },
        { 276, 293, 298 }
    ],
    [
        { 34, 294, 473 },
        { 34, 293, 294 },
        { 34, 293, 473 },
        { 293, 294, 473 }
    ],
    [
        { 276, 294, 297 },
        { 276, 293, 297 },
        { 293, 294, 297 },
        { 276, 293, 294 }
    ],
    [
        { 276, 294, 473 },
        { 272, 276, 294 },
        { 272, 276, 473 },
        { 272, 294, 473 }
    ],
    [
        { 195, 299, 304 },
        { 156, 299, 304 },
        { 156, 195, 304 },
        { 156, 195, 299 }
    ],
    [
        { 293, 304, 305 },
        { 156, 304, 305 },
        { 156, 293, 305 },
        { 156, 293, 304 }
    ],
    [
        { 293, 304, 308 },
        { 195, 304, 308 },
        { 195, 293, 304 },
        { 195, 293, 308 }
    ],
    [
        { 293, 305, 474 },
        { 156, 305, 474 },
        { 156, 293, 474 },
        { 156, 293, 305 }
    ],
    [
        { 40, 309, 312 },
        { 293, 309, 311, 312 },
        { 40, 293, 312 },
        { 40, 309, 311 },
        { 40, 293, 311 }
    ],
    [
        { 40, 293, 316 },
        { 47, 284, 293, 316 },
        { 40, 284, 293, 475 },
        { 40, 47, 316, 475 },
        { 47, 284, 475 }
    ],
    [
        { 66, 284, 322 },
        { 66, 322, 335 },
        { 284, 322, 335 },
        { 66, 284, 335 }
    ],
    [
        { 58, 321, 328 },
        { 58, 321, 335 },
        { 321, 328, 335 },
        { 58, 328, 335 }
    ],
    [
        { 58, 284, 322, 328 },
        { 54, 58, 328 },
        { 52, 54, 284, 328 },
        { 52, 54, 58, 322 },
        { 52, 284, 322 }
    ],
    [
        { 331, 332, 337 },
        { 332, 335, 337 },
        { 331, 335, 337 },
        { 331, 332, 335 }
    ],
    [
        { 66, 284, 337 },
        { 66, 335, 337 },
        { 284, 335, 337 },
        { 66, 284, 335 }
    ],
    [
        { 70, 284, 337 },
        { 70, 331, 337 },
        { 70, 284, 331 },
        { 284, 331, 337 }
    ],
    [
        { 70, 284, 476 },
        { 70, 331, 476 },
        { 284, 331, 476 },
        { 70, 284, 331 }
    ],
    [
        { 473, 476, 515 },
        { 284, 476, 515 },
        { 284, 473, 515 },
        { 284, 473, 476 }
    ],
    [
        { 27, 339, 473 },
        { 338, 339, 473 },
        { 27, 338, 473 },
        { 27, 338, 339 }
    ],
    [
        { 73, 74, 339 },
        { 27, 73, 74 },
        { 27, 74, 339 },
        { 27, 73, 339 }
    ],
    [
        { 27, 73, 81 },
        { 73, 81, 83 },
        { 27, 81, 83 },
        { 27, 73, 83 }
    ],
    [
        { 27, 343, 344 },
        { 83, 343, 344 },
        { 27, 83, 343 },
        { 27, 83, 344 }
    ],
    [
        { 73, 344, 349 },
        { 83, 344, 349 },
        { 73, 83, 349 },
        { 73, 83, 344 }
    ],
    [
        { 73, 344, 355 },
        { 344, 353, 355, 516 },
        { 73, 90, 353, 355 },
        { 73, 90, 344, 516 },
        { 90, 353, 516 }
    ],
    [
        { 73, 473, 487 },
        { 73, 339, 487 },
        { 339, 473, 487 },
        { 73, 339, 473 }
    ],
    [
        { 156, 344, 474 },
        { 156, 474, 477 },
        { 156, 344, 477, 479 },
        { 474, 477, 479 },
        { 344, 474, 479 }
    ],
    [
        { 344, 355, 473, 487 },
        { 473, 474, 483, 487 },
        { 344, 473, 474 },
        { 344, 355, 474, 483 },
        { 355, 483, 487 }
    ],
    [
        { 95, 98, 360 },
        { 95, 358, 360 },
        { 98, 358, 360 },
        { 95, 98, 358 }
    ],
    [
        { 365, 517, 518, 519 },
        { 136, 517, 518 },
        { 136, 365, 517 },
        { 136, 365, 519 },
        { 136, 518, 519 }
    ],
    [
        { 98, 365, 521 },
        { 98, 520, 521, 522 },
        { 98, 365, 517, 520 },
        { 365, 517, 521, 522 },
        { 517, 520, 522 }
    ],
    [
        { 98, 106, 365 },
        { 98, 363, 365 },
        { 106, 111, 363, 365 },
        { 98, 106, 111 },
        { 98, 111, 363 }
    ],
    [
        { 123, 362, 363 },
        { 123, 136, 362 },
        { 123, 136, 363, 365 },
        { 136, 362, 365 },
        { 362, 363, 365 }
    ],
    [
        { 138, 385, 388 },
        { 138, 152, 385 },
        { 138, 152, 388 },
        { 152, 385, 388 }
    ],
    [
        { 120, 381, 394 },
        { 120, 148, 394 },
        { 120, 148, 381 },
        { 148, 381, 394 }
    ],
    [
        { 120, 123, 370 },
        { 120, 123, 148 },
        { 120, 148, 370 },
        { 123, 148, 370 }
    ],
    [
        { 120, 123, 375 },
        { 120, 375, 381 },
        { 123, 375, 381 },
        { 120, 123, 381 }
    ],
    [
        { 381, 493, 523, 525 },
        { 375, 377, 381, 385 },
        { 381, 385, 493 },
        { 375, 377, 492, 523, 524, 525 },
        { 385, 492, 493, 524 },
        { 377, 385, 492 },
        { 493, 523, 524 },
        { 375, 381, 525 }
    ],
    [
        { 138, 377, 385 },
        { 136, 138, 385 },
        { 136, 138, 377 },
        { 136, 377, 385 }
    ],
    [
        { 123, 136, 494 },
        { 136, 377, 494 },
        { 123, 136, 375, 377 },
        { 375, 377, 494 },
        { 123, 375, 494 }
    ],
    [
        { 383, 385, 495 },
        { 381, 383, 495 },
        { 381, 385, 495 },
        { 381, 383, 385 }
    ],
    [
        { 383, 385, 390 },
        { 152, 383, 385 },
        { 152, 383, 390 },
        { 152, 385, 390 }
    ],
    [
        { 152, 383, 390 },
        { 148, 152, 383 },
        { 148, 152, 390, 391 },
        { 148, 383, 391 },
        { 383, 390, 391 }
    ],
    [
        { 381, 383, 391 },
        { 148, 383, 391 },
        { 148, 381, 383 },
        { 148, 381, 391 }
    ],
    [
        { 236, 343, 344 },
        { 27, 236, 343 },
        { 27, 343, 344 },
        { 27, 236, 344 }
    ],
    [
        { 19, 236, 346 },
        { 236, 344, 346 },
        { 19, 344, 346 },
        { 19, 236, 344 }
    ],
    [
        { 19, 344, 399 },
        { 19, 156, 399 },
        { 156, 344, 399 },
        { 19, 156, 344 }
    ],
    [
        { 400, 402, 499 },
        { 148, 402, 499 },
        { 148, 400, 402 },
        { 148, 400, 499 }
    ],
    [
        { 402, 404, 499 },
        { 161, 402, 404 },
        { 161, 404, 499 },
        { 161, 402, 499 }
    ],
    [
        { 162, 405, 499 },
        { 161, 405, 499 },
        { 161, 162, 405 },
        { 161, 162, 499 }
    ],
    [
        { 175, 406, 408 },
        { 175, 408, 410 },
        { 406, 408, 410, 411 },
        { 175, 410, 411 },
        { 175, 406, 411 }
    ],
    [
        { 164, 175, 411 },
        { 161, 175, 411 },
        { 161, 164, 411 },
        { 161, 164, 175 }
    ],
    [
        { 171, 175, 406 },
        { 19, 171, 175 },
        { 19, 171, 406 },
        { 19, 175, 406 }
    ],
    [
        { 19, 177, 195 },
        { 19, 156, 195 },
        { 19, 156, 177 },
        { 156, 177, 195 }
    ],
    [
        { 19, 175, 177 },
        { 19, 175, 417 },
        { 175, 177, 417 },
        { 19, 177, 417 }
    ],
    [
        { 175, 183, 186 },
        { 175, 177, 183 },
        { 177, 183, 186 },
        { 175, 177, 186 }
    ],
    [
        { 195, 199, 200, 204 },
        { 177, 186, 195, 204 },
        { 177, 186, 199, 200 },
        { 186, 200, 204 },
        { 177, 195, 199 }
    ],
    [
        { 162, 186, 204 },
        { 161, 162, 186 },
        { 161, 186, 204 },
        { 161, 162, 204 }
    ],
    [
        { 175, 186, 209 },
        { 161, 175, 209 },
        { 161, 186, 209 },
        { 161, 175, 186 }
    ],
    [
        { 19, 236, 346 },
        { 228, 236, 346 },
        { 19, 228, 346 },
        { 19, 228, 236 }
    ],
    [
        { 221, 223, 429, 430, 526, 527 },
        { 221, 223, 228, 505 },
        { 228, 435, 505 },
        { 430, 435, 505, 527 },
        { 228, 429, 435, 526 },
        { 429, 430, 435 },
        { 221, 228, 526 },
        { 223, 505, 527 }
    ],
    [
        { 19, 228, 436 },
        { 19, 436, 438 },
        { 19, 228, 435, 438 },
        { 435, 436, 438 },
        { 228, 435, 436 }
    ],
    [
        { 19, 161, 438, 528, 529, 530 },
        { 19, 161, 406, 411 },
        { 19, 406, 438 },
        { 411, 508, 528, 529 },
        { 161, 411, 529 },
        { 406, 438, 508, 530 },
        { 508, 528, 530 },
        { 406, 411, 508 }
    ],
    [
        { 236, 402, 448, 450 },
        { 228, 236, 402 },
        { 228, 236, 450 },
        { 228, 448, 450 },
        { 228, 402, 448 }
    ],
    [
        { 27, 236, 463 },
        { 27, 148, 452, 463 },
        { 27, 148, 236, 402 },
        { 236, 402, 452, 463 },
        { 148, 402, 452 }
    ],
    [
        { 161, 402, 404 },
        { 228, 402, 404 },
        { 161, 228, 404 },
        { 161, 228, 402 }
    ],
    [
        { 259, 473, 476 },
        { 331, 473, 476 },
        { 259, 331, 476 },
        { 259, 331, 473 }
    ],
    [
        { 259, 260, 267 },
        { 27, 260, 267 },
        { 27, 259, 267 },
        { 27, 259, 260 }
    ],
    [
        { 27, 267, 473 },
        { 267, 338, 473 },
        { 27, 267, 338 },
        { 27, 338, 473 }
    ],
    [
        { 276, 282, 473 },
        { 272, 276, 282 },
        { 272, 282, 473 },
        { 272, 276, 473 }
    ],
    [
        { 282, 284, 473 },
        { 282, 283, 473 },
        { 282, 283, 284 },
        { 283, 284, 473 }
    ],
    [
        { 276, 282, 284, 293 },
        { 284, 293, 471, 511 },
        { 276, 293, 471 },
        { 276, 282, 471, 511 },
        { 282, 284, 511 }
    ],
    [
        { 276, 294, 473 },
        { 276, 293, 294 },
        { 276, 293, 473 },
        { 293, 294, 473 }
    ],
    [
        { 195, 293, 304 },
        { 156, 293, 304 },
        { 156, 195, 304 },
        { 156, 195, 293 }
    ],
    [
        { 293, 473, 474 },
        { 156, 473, 474 },
        { 156, 293, 474 },
        { 156, 293, 473 }
    ],
    [
        { 40, 284, 293, 475 },
        { 284, 293, 312, 328 },
        { 40, 312, 328, 475 },
        { 40, 293, 312 },
        { 284, 328, 475 }
    ],
    [
        { 58, 284, 322, 328 },
        { 58, 328, 335 },
        { 284, 328, 335 },
        { 284, 322, 335 },
        { 58, 322, 335 }
    ],
    [
        { 284, 331, 337 },
        { 284, 335, 337 },
        { 331, 335, 337 },
        { 284, 331, 335 }
    ],
    [
        { 284, 473, 476 },
        { 331, 473, 476 },
        { 284, 331, 476 },
        { 284, 331, 473 }
    ],
    [
        { 73, 339, 473 },
        { 27, 73, 473 },
        { 27, 73, 339 },
        { 27, 339, 473 }
    ],
    [
        { 27, 73, 344 },
        { 73, 83, 344 },
        { 27, 83, 344 },
        { 27, 73, 83 }
    ],
    [
        { 344, 355, 473, 487 },
        { 73, 473, 487 },
        { 73, 344, 473 },
        { 73, 355, 487 },
        { 73, 344, 355 }
    ],
    [
        { 344, 473, 474 },
        { 156, 344, 474 },
        { 156, 473, 474 },
        { 156, 344, 473 }
    ],
    [
        { 98, 520, 532 },
        { 98, 358, 532, 535 },
        { 520, 531, 532, 534 },
        { 358, 360, 531, 533, 534, 535 },
        { 98, 358, 360 },
        { 98, 360, 520, 533 },
        { 520, 531, 533 },
        { 532, 534, 535 }
    ],
    [
        { 98, 365, 517, 520 },
        { 98, 136, 365 },
        { 98, 136, 520 },
        { 136, 517, 520 },
        { 136, 365, 517 }
    ],
    [
        { 98, 123, 363 },
        { 98, 123, 136 },
        { 123, 136, 363, 365 },
        { 98, 363, 365 },
        { 98, 136, 365 }
    ],
    [
        { 138, 152, 385 },
        { 136, 138, 385 },
        { 136, 138, 152 },
        { 136, 152, 385 }
    ],
    [
        { 120, 123, 381 },
        { 120, 123, 148 },
        { 120, 148, 381 },
        { 123, 148, 381 }
    ],
    [
        { 123, 136, 375, 377 },
        { 123, 136, 381, 385 },
        { 136, 377, 385 },
        { 375, 377, 381, 385 },
        { 123, 375, 381 }
    ],
    [
        { 148, 381, 383 },
        { 148, 152, 383 },
        { 148, 152, 381, 385 },
        { 152, 383, 385 },
        { 381, 383, 385 }
    ],
    [
        { 19, 236, 344 },
        { 19, 27, 236 },
        { 27, 236, 344 },
        { 19, 27, 344 }
    ],
    [
        { 19, 195, 344 },
        { 19, 156, 344 },
        { 19, 156, 195 },
        { 156, 195, 344 }
    ],
    [
        { 161, 402, 499 },
        { 148, 402, 499 },
        { 148, 161, 402 },
        { 148, 161, 499 }
    ],
    [
        { 162, 204, 499 },
        { 161, 162, 499 },
        { 161, 204, 499 },
        { 161, 162, 204 }
    ],
    [
        { 19, 175, 406 },
        { 19, 161, 175 },
        { 19, 161, 406, 411 },
        { 161, 175, 411 },
        { 175, 406, 411 }
    ],
    [
        { 19, 175, 195 },
        { 19, 175, 177 },
        { 175, 177, 195 },
        { 19, 177, 195 }
    ],
    [
        { 175, 195, 204 },
        { 175, 177, 195 },
        { 177, 186, 195, 204 },
        { 175, 177, 186 },
        { 175, 186, 204 }
    ],
    [
        { 175, 186, 204 },
        { 161, 175, 186 },
        { 161, 175, 204 },
        { 161, 186, 204 }
    ],
    [
        { 19, 228, 236 },
        { 19, 27, 236 },
        { 27, 228, 236 },
        { 19, 27, 228 }
    ],
    [
        { 19, 161, 438, 528, 529, 530 },
        { 19, 228, 435, 438 },
        { 19, 161, 228 },
        { 161, 228, 505, 529 },
        { 505, 528, 529 },
        { 435, 505, 528, 530 },
        { 228, 435, 505 },
        { 435, 438, 530 }
    ],
    [
        { 27, 228, 236 },
        { 27, 148, 236, 402 },
        { 27, 148, 228 },
        { 228, 236, 402 },
        { 148, 228, 402 }
    ],
    [
        { 161, 228, 402 },
        { 148, 161, 402 },
        { 148, 228, 402 },
        { 148, 161, 228 }
    ],
    [
        { 259, 331, 473 },
        { 259, 335, 473 },
        { 331, 335, 473 },
        { 259, 331, 335 }
    ],
    [
        { 259, 267, 473 },
        { 27, 267, 473 },
        { 27, 259, 267 },
        { 27, 259, 473 }
    ],
    [
        { 276, 293, 473 },
        { 276, 282, 284, 293 },
        { 284, 293, 473 },
        { 282, 284, 473 },
        { 276, 282, 473 }
    ],
    [
        { 195, 293, 473 },
        { 156, 293, 473 },
        { 156, 195, 473 },
        { 156, 195, 293 }
    ],
    [
        { 195, 312, 328, 335 },
        { 195, 284, 293, 335 },
        { 284, 328, 335 },
        { 284, 293, 312, 328 },
        { 195, 293, 312 }
    ],
    [
        { 284, 331, 473 },
        { 284, 335, 473 },
        { 331, 335, 473 },
        { 284, 331, 335 }
    ],
    [
        { 73, 344, 473 },
        { 27, 73, 344 },
        { 27, 344, 473 },
        { 27, 73, 473 }
    ],
    [
        { 195, 344, 473 },
        { 156, 344, 473 },
        { 156, 195, 344 },
        { 156, 195, 473 }
    ],
    [
        { 98, 123, 136 },
        { 123, 136, 536 },
        { 98, 136, 520 },
        { 136, 520, 536 },
        { 520, 532, 536 },
        { 98, 520, 532 },
        { 98, 123, 532 },
        { 123, 532, 536 }
    ],
    [
        { 148, 152, 381, 385 },
        { 123, 136, 148, 152 },
        { 123, 136, 381, 385 },
        { 123, 148, 381 },
        { 136, 152, 385 }
    ],
    [
        { 19, 195, 344 },
        { 19, 27, 344 },
        { 19, 27, 195 },
        { 27, 195, 344 }
    ],
    [
        { 161, 204, 499 },
        { 148, 204, 499 },
        { 148, 161, 499 },
        { 148, 161, 204 }
    ],
    [
        { 161, 175, 204 },
        { 175, 195, 204 },
        { 19, 161, 195, 204 },
        { 19, 175, 195 },
        { 19, 161, 175 }
    ],
    [
        { 148, 161, 228 },
        { 19, 27, 148, 161 },
        { 27, 148, 228 },
        { 19, 161, 228 },
        { 19, 27, 228 }
    ],
    [
        { 27, 259, 473 },
        { 259, 335, 473 },
        { 27, 335, 473 },
        { 27, 259, 335 }
    ],
    [
        { 195, 335, 473 },
        { 284, 335, 473 },
        { 195, 284, 293, 335 },
        { 195, 293, 473 },
        { 284, 293, 473 }
    ],
    [
        { 195, 344, 473 },
        { 27, 344, 473 },
        { 27, 195, 344 },
        { 27, 195, 473 }
    ],
    [
        { 123, 136, 148, 152 },
        { 27, 136, 152, 536 },
        { 27, 148, 152 },
        { 27, 123, 148, 536 },
        { 123, 136, 536 }
    ],
    [
        { 19, 27, 148, 161 },
        { 27, 148, 195, 204 },
        { 19, 161, 195, 204 },
        { 148, 161, 204 },
        { 19, 27, 195 }
    ],
    [
        { 27, 195, 473 },
        { 195, 335, 473 },
        { 27, 335, 473 },
        { 27, 195, 335 }
    ],
    [
        { 195, 204, 335, 537, 538, 539 },
        { 27, 195, 335 },
        { 27, 148, 195, 204 },
        { 148, 152, 537, 538 },
        { 27, 152, 335, 539 },
        { 27, 148, 152 },
        { 148, 204, 537 },
        { 152, 538, 539 }
    ],
    [
        { 195, 204, 335, 537, 538, 539 },
        { 195, 335, 540, 542, 543, 544 },
        { 538, 539, 540, 541, 542, 545 },
        { 204, 537, 541, 543, 544, 545 },
        { 537, 538, 541 },
        { 195, 204, 544 },
        { 542, 543, 545 },
        { 335, 539, 540 }
    ]
]
/* Order of PGL_2(O) stabilizers of Voronoi top cells */
[ 1, 2, 1, 1, 1, 1, 6, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 3, 1, 
1, 1, 2, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 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, 2, 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, 3, 1, 1, 1, 1, 1, 1, 1, 12, 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, 1, 1, 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, 3, 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, 2, 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, 3, 1, 1, 1, 3, 1, 3, 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, 2, 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, 3, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1,
1, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 3, 12 ]
/* GAP id of GL_2(O) stabilizers of Voronoi top cells */
[ <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 4>, <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>, <12, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2,
1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <2, 1>, <4, 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>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24,
3>, <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>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 
1>, <6, 2>, <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>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <6, 2>, <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>, <4, 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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <4, 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>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <24,
3> ]