/* Defining polynomial */
x^2 - x + 220
/* Minimal vectors */
[
    <13*w + 12, -8*w + 164>,
    <-6*w + 23, 2*w - 90>,
    <7*w + 119, -11*w + 32>,
    <3*w + 224, -15*w - 73>,
    <-4*w + 71, -2*w - 88>,
    <12*w + 139, -15*w + 88>,
    <4*w + 147, -11*w - 21>,
    <-5*w + 181, -8*w - 156>,
    <2*w + 14, -2*w + 19>,
    <-10*w + 81, w - 174>,
    <-8*w + 95, -w - 155>,
    <3*w + 138, -10*w - 33>,
    <-9*w + 21, 4*w - 129>,
    <-2*w + 137, -7*w - 98>,
    <151, -9*w - 79>,
    <w + 316, -19*w - 136>,
    <12*w + 319, -25*w + 4>,
    <-14*w + 469, -20*w - 401>,
    <13*w + 635, -44*w - 132>,
    <56*w + 468, -57*w + 500>,
    <51*w + 1625, -122*w - 109>,
    <-163*w + 1732, -15*w - 2912>,
    <107*w + 2093, -179*w + 391>,
    <-56*w + 524, -w - 967>,
    <163*w + 1569, -178*w + 1358>,
    <-51*w + 1676, -71*w - 1445>,
    <-107*w + 2200, -72*w - 2412>,
    <-w + 317, -18*w - 162>,
    <-12*w + 331, -13*w - 310>,
    <14*w + 455, -34*w - 34>,
    <-13*w + 648, -31*w - 472>,
    <9*w + 21, -6*w + 106>,
    <28*w + 71, -19*w + 327>,
    <-3*w + 181, -9*w - 124>,
    <25*w + 252, -28*w + 203>,
    <12*w + 45, -9*w + 133>,
    <-3*w + 130, -6*w - 100>,
    <-9*w + 407, -19*w - 308>,
    <3*w + 452, -28*w - 175>,
    <-28*w + 271, -w - 488>,
    <-7*w + 320, -15*w - 241>,
    <38*w + 750, -64*w + 135>,
    <-28*w + 767, -30*w - 722>,
    <-58*w + 13, 30*w - 752>,
    <22*w + 57, -15*w + 256>,
    <-29*w + 246, w - 489>,
    <26*w + 859, -64*w - 71>,
    <-9*w + 33, 3*w - 139>,
    <12*w + 69, -11*w + 129>,
    <4*w + 93, -8*w + 8>,
    <3*w + 102, -8*w - 10>,
    <3*w + 3, -2*w + 39>,
    <-w + 10, -19>,
    <2*w + 13, -2*w + 20>,
    <-2*w + 68, -3*w - 64>,
    <-3*w + 13, w - 48>,
    <w + 55, -4*w - 16>,
    <-4*w + 6, 2*w - 61>,
    <-w + 9, -19>,
    <15, -w - 8>,
    <-4*w + 21, w - 69>,
    <w + 6, -w + 11>,
    <15, -w - 9>,
    <30, -2*w - 17>,
    <4*w + 41, -5*w + 31>,
    <3*w + 51, -5*w + 12>,
    <-4*w + 57, -w - 86>,
    <114, -7*w - 64>,
    <-6*w + 12, 3*w - 88>,
    <-13*w + 34, 6*w - 195>,
    <-10*w + 85, w - 183>,
    <6*w + 37, -6*w + 61>,
    <-6*w + 60, -115>,
    <97, -6*w - 54>,
    <9*w + 39, -8*w + 100>,
    <2*w + 61, -5*w - 7>,
    <-3*w + 79, -3*w - 85>,
    <-w + 140, -8*w - 92>,
    <3*w + 67, -6*w + 3>,
    <-17*w + 172, -327>,
    <6*w + 264, -20*w - 67>,
    <14*w + 183, -20*w + 87>,
    <6*w + 37, -6*w + 60>,
    <-6*w + 61, -115>,
    <98, -6*w - 55>,
    <-2*w + 4, w - 29>,
    <-2*w + 37, -w - 47>,
    <-3*w + 47, -w - 66>,
    <3*w + 52, -5*w + 11>,
    <-5*w + 1, 3*w - 67>,
    <33, -2*w - 18>,
    <-w + 43, -2*w - 37>,
    <3*w + 36, -4*w + 20>,
    <3*w + 20, -3*w + 29>,
    <-3*w + 30, -56>,
    <50, -3*w - 27>,
    <-5*w + 133, -5*w - 138>,
    <3*w + 3, -2*w + 38>,
    <-w + 27, -w - 28>,
    <2*w + 30, -3*w + 10>,
    <7*w + 46, -7*w + 67>,
    <1, -1>,
    <w + 8, -w + 7>,
    <-w + 12, -18>,
    <20, -w - 11>,
    <w + 7, -w + 8>,
    <2*w + 15, -2*w + 15>,
    <w + 6, -w + 9>,
    <2*w + 13, -2*w + 17>,
    <18, -w - 11>,
    <w + 5, -w + 10>,
    <2*w + 11, -2*w + 19>,
    <17, -w - 10>,
    <-w + 11, -19>,
    <-3*w + 51, -w - 68>,
    <-2*w + 57, -2*w - 59>,
    <-10*w + 32, 4*w - 145>,
    <4*w + 80, -7*w + 9>,
    <4*w + 97, -8*w>,
    <-6*w + 112, -3*w - 136>,
    <5*w + 87, -8*w + 18>,
    <-w + 199, -11*w - 118>,
    <17, -w - 9>,
    <-8*w + 46, 2*w - 127>,
    <-8*w + 63, w - 136>,
    <2*w + 117, -8*w - 36>,
    <-8*w + 29, 3*w - 118>,
    <-16*w + 75, 5*w - 245>,
    <2*w + 31, -3*w + 11>,
    <-7*w + 65, -126>,
    <66, -4*w - 33>,
    <2*w + 97, -7*w - 22>,
    <7*w + 1, -4*w + 92>,
    <50, -3*w - 25>,
    <3*w + 55, -5*w + 12>,
    <w + 74, -5*w - 24>,
    <7*w + 35, -6*w + 74>,
    <84, -5*w - 42>,
    <-4*w + 105, -4*w - 105>,
    <-8*w + 8, 4*w - 109>,
    <5*w + 37, -5*w + 47>,
    <-w + 110, -6*w - 68>,
    <9*w + 35, -7*w + 100>,
    <12*w + 41, -9*w + 136>,
    <-11*w + 102, -193>,
    <-2*w + 137, -7*w - 93>,
    <-3*w + 180, -9*w - 127>,
    <5*w + 39, -5*w + 46>,
    <-5*w + 46, -87>,
    <-11*w + 169, -4*w - 224>,
    <9*w + 223, -18*w + 9>,
    <-15*w + 70, 4*w - 228>,
    <85, -5*w - 41>,
    <17, -w - 8>,
    <-6*w + 38, w - 96>,
    <102, -6*w - 49>,
    <-11*w + 5, 6*w - 150>,
    <5*w + 35, -5*w + 49>,
    <-5*w + 47, -91>,
    <82, -5*w - 42>,
    <-4*w + 37, -72>,
    <3*w + 38, -4*w + 21>,
    <5*w + 69, -7*w + 32>,
    <-3*w + 12, w - 46>,
    <4*w + 45, -5*w + 30>,
    <w + 57, -4*w - 16>,
    <5*w + 135, -11*w - 3>,
    <-4*w + 56, -w - 82>,
    <5*w + 85, -8*w + 21>,
    <-6*w + 109, -3*w - 136>,
    <7*w + 32, -6*w + 75>,
    <-4*w + 123, -5*w - 117>,
    <-2*w + 70, -3*w - 63>,
    <-2*w + 3, w - 28>,
    <-7*w + 19, 3*w - 102>,
    <6*w + 58, -7*w + 48>,
    <-w + 60, -3*w - 45>,
    <-10*w + 15, 5*w - 139>,
    <-5*w + 16, 2*w - 74>,
    <9*w + 62, -9*w + 85>,
    <4*w + 78, -7*w + 11>,
    <-w + 94, -5*w - 63>,
    <-15*w + 216, -4*w - 311>,
    <-3*w + 13, w - 46>,
    <9*w + 63, -9*w + 85>,
    <84, -5*w - 44>,
    <-9*w + 88, -164>,
    <2*w + 98, -7*w - 25>,
    <-7*w + 18, 3*w - 101>,
    <2*w + 31, -3*w + 10>,
    <-5*w + 49, -91>,
    <-2*w + 36, -w - 45>,
    <3*w + 38, -4*w + 20>,
    <w + 74, -5*w - 25>,
    <6*w + 126, -11*w + 14>,
    <-2*w + 19, -36>,
    <23*w + 66, -17*w + 269>,
    <-17*w + 245, -5*w - 348>,
    <6*w + 311, -22*w - 79>,
    <w + 24, -2*w + 1>,
    <24*w + 90, -19*w + 270>,
    <-w + 43, -2*w - 35>,
    <-18*w + 288, -7*w - 383>,
    <3*w + 22, -3*w + 28>,
    <13*w + 45, -10*w + 147>,
    <-3*w + 79, -3*w - 79>,
    <10*w + 124, -13*w + 68>,
    <7*w + 1, -4*w + 91>,
    <101, -6*w - 51>,
    <5*w + 205, -15*w - 38>,
    <12*w + 70, -11*w + 120>,
    <-2*w + 121, -6*w - 88>,
    <2*w + 150, -10*w - 51>,
    <7*w, -4*w + 91>,
    <4*w + 29, -4*w + 37>,
    <w + 41, -3*w - 8>,
    <-10*w + 80, w - 171>,
    <5*w + 19, -4*w + 55>,
    <-4*w + 39, -72>,
    <w + 58, -4*w - 17>,
    <2*w + 99, -7*w - 25>,
    <-7*w + 68, -126>,
    <5*w + 70, -7*w + 29>,
    <4*w + 46, -5*w + 29>,
    <2*w + 65, -5*w - 7>,
    <-3*w + 96, -4*w - 88>,
    <28*w + 140, -23*w + 294>,
    <6*w + 151, -12*w + 6>,
    <-22*w + 302, -6*w - 425>,
    <-16*w + 453, -18*w - 419>,
    <-11*w + 305, -12*w - 285>,
    <-44*w + 912, -30*w - 995>,
    <-16*w + 1052, -53*w - 701>,
    <-39*w + 165, 11*w - 579>,
    <78*w + 269, -57*w + 876>,
    <39*w + 126, -28*w + 442>,
    <11*w + 294, -23*w + 3>,
    <-78*w + 347, 21*w - 1166>,
    <44*w + 868, -74*w + 157>,
    <-6*w + 157, -6*w - 151>,
    <-28*w + 168, 5*w - 439>,
    <22*w + 280, -28*w + 151>,
    <16*w + 437, -34*w>,
    <-17*w + 462, -18*w - 436>,
    <-w + 899, -52*w - 436>,
    <16*w + 1036, -69*w - 282>,
    <-12*w + 1204, -64*w - 721>,
    <-41*w + 491, -7*w - 758>,
    <-47*w + 648, -13*w - 909>,
    <26*w + 706, -55*w + 2>,
    <-12*w + 6, 6*w - 157>,
    <-48*w + 315, 7*w - 765>,
    <-60*w + 321, 13*w - 922>,
    <29*w + 679, -55*w + 53>,
    <11*w + 3, -6*w + 140>,
    <38*w + 169, -30*w + 409>,
    <-15*w + 153, -w - 265>,
    <458*w + 763, -287*w + 5532>,
    <-229*w + 6229, -243*w - 5878>,
    <285*w + 6468, -529*w + 621>,
    <-458*w + 1221, 171*w - 6466>,
    <229*w + 6000, -472*w + 121>,
    <-285*w + 6753, -244*w - 6845>,
    <-51*w + 684, -13*w - 978>,
    <-5*w + 1157, -65*w - 609>,
    <158*w + 417, -108*w + 1836>,
    <-107*w + 1208, -14*w - 1945>,
    <51*w + 633, -64*w + 358>,
    <5*w + 1152, -70*w - 478>,
    <107*w + 1101, -121*w + 858>,
    <-158*w + 575, 50*w - 2303>,
    <16*w + 146, -17*w + 137>,
    <86*w + 265, -61*w + 981>,
    <308, -18*w - 145>,
    <-11*w + 1554, -85*w - 873>,
    <-16*w + 162, -w - 282>,
    <-86*w + 351, 25*w - 1271>,
    <11*w + 1543, -96*w - 585>,
    <-11*w + 14, 5*w - 148>,
    <-38*w + 207, 8*w - 586>,
    <15*w + 138, -16*w + 128>,
    <6*w + 202, -15*w - 18>,
    <10*w + 12, -6*w + 123>,
    <6*w + 185, -14*w - 10>,
    <-13*w + 152, -2*w - 239>,
    <9*w + 175, -15*w + 33>,
    <-15*w + 102, 2*w - 241>,
    <8*w + 167, -14*w + 24>,
    <-4*w + 139, -6*w - 117>,
    <-3*w + 147, -7*w - 108>,
    <14*w + 506, -37*w - 59>,
    <-w + 608, -35*w - 300>,
    <23*w + 65, -16*w + 265>,
    <-7*w + 286, -13*w - 225>,
    <11*w + 20, -7*w + 132>,
    <34*w + 68, -22*w + 405>,
    <-27*w + 553, -18*w - 608>,
    <-16*w + 573, -25*w - 476>,
    <-5*w + 593, -32*w - 344>,
    <-21*w + 1166, -57*w - 820>,
    <61*w + 200, -44*w + 690>,
    <-31*w + 281, -531>,
    <47*w + 652, -63*w + 297>,
    <-17*w + 907, -44*w - 646>,
    <16*w + 933, -63*w - 234>,
    <21*w + 66, -15*w + 239>,
    <-6*w + 311, -15*w - 224>,
    <-41*w + 372, -703>,
    <15*w + 377, -30*w + 15>,
    <-25*w + 90, 8*w - 364>,
    <-14*w + 127, -240>,
    <40*w + 270, -37*w + 387>,
    <-7*w + 303, -14*w - 233>,
    <21*w + 49, -14*w + 247>,
    <-17*w + 291, -8*w - 356>,
    <-3*w + 660, -37*w - 350>,
    <-3*w + 164, -8*w - 116>,
    <14*w + 369, -29*w + 6>,
    <11*w + 37, -8*w + 124>,
    <15*w + 360, -29*w + 23>,
    <-w + 9, -18>,
    <4*w + 77, -7*w + 16>,
    <3*w + 86, -7*w - 2>,
    <-2*w + 3, w - 29>,
    <-w + 42, -2*w - 36>,
    <-w + 26, -w - 28>,
    <-4*w + 23, w - 67>,
    <3*w + 35, -4*w + 22>,
    <48, -3*w - 26>,
    <w + 5, -w + 11>,
    <-w + 10, -20>,
    <2*w + 26, -3*w + 13>,
    <-w + 41, -2*w - 39>,
    <46, -3*w - 28>,
    <3*w, -2*w + 43>,
    <0, 1>,
    <-3*w + 1, 2*w - 41>,
    <-w + 11, -20>,
    <-w + 44, -2*w - 41>,
    <3*w + 15, -3*w + 31>,
    <16, -w - 10>,
    <w + 38, -3*w - 10>,
    <-3*w + 63, -2*w - 76>,
    <2*w + 110, -8*w - 35>,
    <-2*w + 167, -9*w - 121>,
    <9*w + 55, -9*w + 91>,
    <7*w + 124, -12*w + 25>,
    <16, -w - 9>,
    <-5*w + 34, w - 87>,
    <w + 71, -5*w - 26>,
    <-5*w + 18, 2*w - 78>,
    <7*w + 43, -7*w + 71>,
    <11*w + 35, -9*w + 130>,
    <6*w + 69, -8*w + 43>,
    <-9*w + 107, -w - 182>,
    <5*w + 144, -12*w - 13>,
    <146, -9*w - 82>,
    <w + 6, -w + 10>,
    <3*w + 19, -3*w + 29>,
    <w + 56, -4*w - 18>,
    <9*w + 10, -6*w + 113>,
    <-2*w + 20, -37>,
    <-5*w + 117, -4*w - 129>,
    <-5*w + 83, -2*w - 110>,
    <3*w + 104, -8*w - 16>,
    <8*w + 21, -6*w + 94>,
    <-3*w + 80, -3*w - 82>,
    <-5*w + 33, w - 83>,
    <-5*w + 50, -92>,
    <5*w + 51, -6*w + 38>,
    <101, -6*w - 54>,
    <-4*w + 4, 2*w - 53>,
    <-2*w + 19, -35>,
    <-w + 27, -w - 26>,
    <-3*w + 46, -w - 61>,
    <18, -w - 10>,
    <-w + 11, -18>,
    <-6*w + 12, 3*w - 79>,
    <-3*w + 70, -2*w - 75>,
    <3*w + 76, -6*w - 6>,
    <-2*w + 77, -3*w - 67>,
    <19, -w - 10>,
    <-3*w + 14, w - 45>,
    <w + 25, -2*w - 1>,
    <35, -2*w - 19>,
    <-2*w + 3, w - 26>,
    <3*w + 22, -3*w + 25>,
    <-2*w + 57, -2*w - 55>,
    <-2*w + 21, -35>,
    <w + 44, -3*w - 11>,
    <-w + 10, -18>,
    <3*w + 90, -7*w - 9>,
    <3*w + 107, -8*w - 18>,
    <-9*w + 39, 3*w - 136>,
    <68, -4*w - 35>,
    <85, -5*w - 44>,
    <-6*w + 6, 3*w - 82>,
    <6*w + 44, -6*w + 57>,
    <-3*w + 95, -4*w - 87>,
    <-w + 26, -w - 26>,
    <-6*w + 56, -107>,
    <2*w + 115, -8*w - 31>,
    <-3*w + 195, -10*w - 137>,
    <w + 58, -4*w - 16>,
    <2*w + 82, -6*w - 15>,
    <w + 596, -36*w - 286>,
    <11*w + 48, -9*w + 120>,
    <-2*w + 170, -9*w - 111>,
    <20*w + 182, -22*w + 171>,
    <9*w + 218, -18*w + 9>,
    <2*w + 351, -22*w - 149>,
    <3*w + 39, -4*w + 20>,
    <4*w + 63, -6*w + 21>,
    <35*w + 275, -36*w + 322>,
    <-4*w + 20, w - 62>,
    <3*w + 23, -3*w + 28>,
    <-12*w + 161, -3*w - 235>,
    <7*w + 239, -18*w - 25>,
    <17*w + 12, -10*w + 216>,
    <-w + 43, -2*w - 34>,
    <16*w + 55, -12*w + 182>,
    <8*w + 78, -9*w + 66>,
    <-8*w + 108, -2*w - 157>,
    <186, -11*w - 91>,
    <3*w + 6, -2*w + 36>,
    <11*w + 84, -11*w + 102>,
    <-10*w + 59, 2*w - 159>,
    <w + 143, -9*w - 57>,
    <-3*w + 45, -w - 61>,
    <11*w + 203, -18*w + 43>,
    <-7*w + 235, -10*w - 206>,
    <51, -3*w - 25>,
    <-4*w + 241, -12*w - 170>,
    <-15*w + 89, 3*w - 238>,
    <-4*w + 37, -70>,
    <4*w + 166, -12*w - 29>,
    <-6*w + 174, -7*w - 163>,
    <-13*w + 2, 7*w - 170>,
    <8*w + 129, -12*w + 41>,
    <-w + 60, -3*w - 42>,
    <-w + 77, -4*w - 50>,
    <-6*w + 106, -3*w - 129>,
    <w + 8, -w + 9>,
    <4*w + 14, -3*w + 45>,
    <5*w + 22, -4*w + 54>,
    <-9*w + 32, 3*w - 132>,
    <6*w + 47, -6*w + 55>,
    <5*w + 2, -3*w + 65>,
    <-2*w + 69, -3*w - 62>,
    <4*w + 95, -8*w + 4>,
    <10*w + 54, -9*w + 104>,
    <-11*w + 89, w - 191>,
    <-w + 143, -8*w - 87>,
    <w + 40, -3*w - 7>,
    <w + 7, -w + 10>,
    <-4*w + 21, w - 64>,
    <-2*w + 68, -3*w - 61>,
    <-2*w + 52, -2*w - 53>,
    <-w + 76, -4*w - 52>,
    <-w + 77, -4*w - 54>,
    <w + 74, -5*w - 26>,
    <151, -9*w - 80>,
    <5*w + 1, -3*w + 65>,
    <5*w + 35, -5*w + 47>,
    <-4*w + 5, 2*w - 55>,
    <-6*w + 24, 2*w - 91>,
    <84, -5*w - 43>,
    <-6*w + 108, -3*w - 134>,
    <6*w + 60, -7*w + 48>,
    <5*w + 2, -3*w + 64>,
    <-3*w + 46, -w - 63>,
    <-2*w + 2, w - 27>,
    <-6*w + 57, -107>,
    <6*w + 78, -8*w + 39>,
    <-3*w + 12, w - 45>,
    <-6*w + 92, -2*w - 125>,
    <5*w + 121, -10*w + 3>,
    <6*w + 442, -29*w - 131>,
    <-17*w + 154, -291>,
    <-11*w + 596, -29*w - 422>,
    <17*w + 445, -35*w + 9>,
    <17*w + 137, -17*w + 154>,
    <-6*w + 448, -23*w - 288>,
    <11*w + 585, -40*w - 134>,
    <5*w + 143, -11*w - 3>,
    <-35*w + 334, -w - 607>,
    <27*w + 406, -38*w + 156>,
    <32*w + 549, -49*w + 153>,
    <21*w + 563, -44*w + 5>,
    <-29*w + 177, 5*w - 456>,
    <22*w + 263, -27*w + 159>,
    <-7*w + 440, -22*w - 297>,
    <31*w + 1123, -82*w - 130>,
    <-52*w + 197, 16*w - 761>,
    <11*w + 277, -22*w + 11>,
    <4*w + 717, -44*w - 286>,
    <-12*w + 297, -11*w - 294>,
    <102*w + 1062, -116*w + 811>,
    <-89*w + 1371, -33*w - 1789>,
    <-23*w + 20, 11*w - 305>,
    <16*w + 420, -33*w + 8>,
    <-18*w + 454, -17*w - 445>,
    <6*w + 134, -11*w + 14>,
    <-36*w + 309, w - 608>,
    <17*w + 685, -49*w - 104>,
    <23*w + 545, -44*w + 39>,
    <11*w + 551, -38*w - 118>,
    <-35*w + 26, 17*w - 462>,
    <17*w + 411, -33*w + 25>,
    <29*w + 114, -22*w + 319>,
    <-24*w + 303, -5*w - 451>,
    <5*w + 417, -27*w - 132>,
    <51*w + 942, -82*w + 212>,
    <-53*w + 189, 17*w - 770>,
    <-36*w + 600, -16*w - 745>,
    <30*w + 2331, -152*w - 712>,
    <18*w + 2337, -146*w - 869>,
    <-145*w + 1177, 8*w - 2417>,
    <157*w + 1300, -159*w + 1405>,
    <-6*w + 140, -5*w - 143>,
    <-18*w + 2355, -128*w - 1340>,
    <-30*w + 2361, -122*w - 1497>,
    <145*w + 1032, -137*w + 1377>,
    <-157*w + 1457, -2*w - 2703>,
    <151*w + 1166, -148*w + 1391>,
    <-151*w + 1317, 3*w - 2560>,
    <6*w + 2343, -140*w - 1026>,
    <-6*w + 2349, -134*w - 1183>,
    <157*w + 3509, -288*w + 365>,
    <-157*w + 3666, -131*w - 3743>,
    <-592*w + 296, 296*w - 7745>,
    <2483, -145*w - 1169>,
    <296*w + 9647, -720*w - 739>,
    <-296*w + 9943, -424*w - 8484>,
    <447*w + 8330, -723*w + 1821>,
    <-447*w + 8777, -276*w - 9875>,
    <16*w + 163, -18*w + 129>,
    <-10*w + 5, 5*w - 131>,
    <-66*w + 204, 23*w - 945>,
    <-61*w + 364, 11*w - 956>,
    <15*w + 822, -56*w - 194>,
    <-458*w + 229, 229*w - 5999>,
    <992, -58*w - 467>,
    <66*w + 138, -43*w + 784>,
    <61*w + 303, -50*w + 642>,
    <-15*w + 837, -41*w - 587>,
    <46*w + 473, -52*w + 369>,
    <-46*w + 519, -6*w - 836>,
    <5*w + 160, -12*w - 11>,
    <-41*w + 679, -18*w - 847>,
    <46*w + 798, -71*w + 216>,
    <-37*w + 181, 9*w - 561>,
    <21*w + 306, -29*w + 126>,
    <37*w + 452, -46*w + 263>,
    <5*w + 468, -30*w - 156>,
    <-86*w + 43, 43*w - 1126>,
    <43*w + 1219, -94*w - 21>,
    <-43*w + 1262, -51*w - 1147>,
    <-21*w + 19, 10*w - 279>,
    <26*w + 141, -22*w + 268>,
    <-11*w + 322, -13*w - 293>,
    <-16*w + 487, -20*w - 435>,
    <-16*w + 179, -2*w - 290>,
    <9*w + 4, -5*w + 114>,
    <-4*w + 173, -8*w - 133>,
    <-9*w + 13, 4*w - 122>,
    <-9*w + 30, 3*w - 130>,
    <4*w + 169, -12*w - 28>,
    <-6*w + 208, -9*w - 175>,
    <-10*w + 22, 4*w - 139>,
    <10*w + 29, -7*w + 115>,
    <23*w + 424, -37*w + 96>,
    <-35*w + 386, -4*w - 632>,
    <6*w + 613, -39*w - 212>,
    <w + 1206, -71*w - 556>,
    <7*w + 159, -13*w + 15>,
    <17*w + 633, -46*w - 80>,
    <-31*w + 247, 2*w - 515>,
    <37*w + 366, -41*w + 303>,
    <30*w + 207, -28*w + 288>,
    <-80*w + 298, 25*w - 1169>,
    <22*w + 502, -41*w + 46>,
    <26*w + 346, -34*w + 171>,
    <-24*w + 406, -11*w - 500>,
    <2*w + 752, -45*w - 329>,
    <6*w + 168, -13*w - 2>,
    <17*w + 171, -19*w + 138>,
    <-20*w + 301, -7*w - 399>,
    <32*w + 35, -19*w + 395>,
    <-15*w + 136, -257>,
    <-19*w + 292, -7*w - 382>,
    <15*w + 651, -46*w - 114>,
    <28*w + 174, -25*w + 278>,
    <-3*w + 455, -25*w - 253>,
    <-26*w + 116, 7*w - 389>,
    <-13*w + 443, -19*w - 376>,
    <31*w + 506, -46*w + 160>,
    <-5*w + 148, -6*w - 134>,
    <2*w + 307, -19*w - 119>,
    <13*w + 310, -25*w + 21>,
    <-25*w + 432, -12*w - 525>,
    <8*w + 458, -31*w - 113>,
    <-27*w + 125, 7*w - 406>,
    <7*w + 176, -14*w + 7>,
    <50*w + 282, -43*w + 510>,
    <-7*w + 799, -43*w - 467>,
    <-4*w + 156, -7*w - 125>,
    <3*w + 332, -21*w - 118>,
    <24*w + 381, -35*w + 129>,
    <18*w + 196, -21*w + 139>,
    <11*w + 499, -35*w - 94>,
    <-15*w + 119, w - 249>,
    <19*w + 204, -22*w + 148>,
    <4*w + 323, -21*w - 101>,
    <16, -w - 8>,
    <7*w + 17, -5*w + 87>,
    <-3*w + 108, -5*w - 95>,
    <-2*w + 115, -6*w - 85>,
    <15, -w - 10>,
    <-5*w + 7, 3*w - 74>,
    <3*w + 62, -6*w + 3>,
    <-2*w + 69, -3*w - 71>,
    <w + 4, -w + 11>,
    <w + 23, -2*w + 1>,
    <-2*w + 2, w - 26>,
    <35, -2*w - 17>,
    <2*w + 51, -4*w>,
    <3*w + 41, -4*w + 18>,
    <4*w + 14, -3*w + 44>,
    <w + 25, -2*w>,
    <5*w + 20, -4*w + 53>,
    <35, -2*w - 18>,
    <-3*w + 47, -w - 62>,
    <-2*w + 20, -35>,
    <3*w + 23, -3*w + 26>,
    <-2*w + 55, -2*w - 53>,
    <18, -w - 9>,
    <4*w + 49, -5*w + 25>,
    <-w + 63, -3*w - 44>,
    <w + 7, -w + 9>,
    <-w + 28, -w - 28>,
    <w + 8, -w + 8>,
    <-w + 29, -w - 27>,
    <-4*w + 5, 2*w - 52>,
    <-w + 28, -w - 27>,
    <-w + 46, -2*w - 36>,
    <-4*w + 24, w - 62>,
    <w + 61, -4*w - 20>,
    <6*w + 77, -8*w + 36>,
    <-5*w + 85, -2*w - 109>,
    <-11*w + 25, 5*w - 154>,
    <8*w + 5, -5*w + 100>,
    <8*w + 22, -6*w + 91>,
    <-2*w + 106, -5*w - 82>,
    <-8*w + 12, 4*w - 109>,
    <-3*w + 11, w - 44>,
    <34, -2*w - 17>,
    <3*w + 40, -4*w + 19>,
    <4*w + 46, -5*w + 28>,
    <-5*w + 49, -90>,
    <3*w + 89, -7*w - 5>,
    <2*w + 49, -4*w + 2>,
    <3*w + 74, -6*w + 3>,
    <3*w + 21, -3*w + 29>,
    <33, -2*w - 17>,
    <-6*w + 173, -7*w - 169>,
    <4*w + 177, -13*w - 38>,
    <-7*w + 16, 3*w - 101>,
    <83, -5*w - 42>,
    <5*w + 36, -5*w + 48>,
    <-4*w + 71, -2*w - 89>,
    <-4*w + 73, -2*w - 91>,
    <5*w + 36, -5*w + 47>,
    <-4*w + 89, -3*w - 98>,
    <4*w + 80, -7*w + 12>,
    <-28*w + 459, -12*w - 576>,
    <28*w + 431, -40*w + 157>,
    <126*w + 468, -94*w + 1399>,
    <114*w + 765, -105*w + 1105>,
    <-9*w + 1879, -105*w - 1000>,
    <-32*w + 1899, -94*w - 1305>,
    <-123*w + 1114, -2105>,
    <-18*w + 163, -308>,
    <12*w + 4960, -296*w - 2181>,
    <-12*w + 4972, -284*w - 2495>,
    <-5*w + 165, -7*w - 142>,
    <w + 333, -20*w - 144>,
    <-46*w + 844, -25*w - 989>,
    <-21*w + 2, 11*w - 271>,
    <11*w + 311, -24*w - 5>,
    <-21*w + 327, -8*w - 424>,
    <-37*w + 489, -9*w - 706>,
    <-6*w + 174, -7*w - 159>,
    <-w + 334, -19*w - 170>,
    <-14*w + 144, -w - 248>,
    <19*w + 529, -41*w - 5>,
    <22*w + 23, -13*w + 272>,
    <-9*w + 304, -13*w - 259>,
    <19*w + 478, -38*w + 19>,
    <-37*w + 130, 12*w - 537>,
    <23*w + 322, -31*w + 144>,
    <-14*w + 452, -19*w - 393>,
    <13*w + 327, -26*w + 13>,
    <35*w + 350, -39*w + 285>,
    <17*w + 205, -21*w + 122>,
    <-13*w + 118, -223>,
    <8*w + 201, -16*w + 8>,
    <-8*w + 8, 4*w - 113>,
    <-4*w + 101, -4*w - 105>,
    <-w + 11, -21>,
    <-4*w + 89, -3*w - 102>,
    <2*w + 95, -7*w - 25>,
    <-4*w + 109, -4*w - 109>,
    <-2*w + 35, -w - 44>,
    <6*w + 11, -4*w + 73>,
    <-2*w + 86, -4*w - 69>,
    <50, -3*w - 26>,
    <6*w + 9, -4*w + 74>,
    <-5*w + 182, -8*w - 150>,
    <11*w + 54, -9*w + 116>,
    <-2*w + 172, -9*w - 107>,
    <-w + 26, -w - 27>,
    <291, -17*w - 137>,
    <-w + 9, -17>,
    <1, 0>
]
/* Voronoi top cells */
[
    { 1, 2, 3, 4 },
    { 5, 6, 7, 8 },
    { 9, 10, 11, 12 },
    { 9, 13, 14, 15 },
    { 16, 17, 18, 19 },
    { 20, 21, 22, 23 },
    { 24, 25, 26, 27 },
    { 28, 29, 30, 31 },
    { 32, 33, 34, 35 },
    { 36, 37, 38, 39 },
    { 40, 41, 42, 43 },
    { 44, 45, 46, 47 },
    { 48, 49, 50, 51 },
    { 52, 53, 54, 55 },
    { 54, 55, 56, 57 },
    { 58, 59, 60, 61 },
    { 60, 62, 63, 64 },
    { 65, 66, 67, 68 },
    { 66, 69, 70, 71 },
    { 53, 72, 73, 74 },
    { 66, 69, 75, 76, 77, 78 },
    { 69, 79, 80, 81 },
    { 77, 79, 80, 82 },
    { 53, 83, 84, 85 },
    { 86, 87, 88, 89 },
    { 53, 90, 91, 92 },
    { 53, 87, 88, 90 },
    { 87, 90, 91, 93 },
    { 94, 95, 96, 97 },
    { 98, 99, 100, 101 },
    { 102, 103, 104, 105 },
    { 103, 104, 106, 107 },
    { 106, 108, 109, 110 },
    { 108, 111, 112, 113 },
    { 108, 114, 115, 116 },
    { 117, 118, 119, 120 },
    { 119, 120, 121, 122 },
    { 123, 124, 125, 126 },
    { 124, 126, 127, 128 },
    { 129, 130, 131, 132 },
    { 133, 134, 135, 136 },
    { 2, 3, 137, 138 },
    { 2, 3, 4, 139 },
    { 5, 6, 7, 140 },
    { 5, 7, 141, 142 },
    { 143, 144, 145, 146, 147 },
    { 148, 149, 150, 151 },
    { 149, 151, 152, 153 },
    { 148, 154, 155, 156 },
    { 157, 158, 159, 160 },
    { 129, 161, 162, 163 },
    { 164, 165, 166, 167 },
    { 9, 11, 12, 168 },
    { 9, 11, 169, 170 },
    { 9, 14, 171, 172 },
    { 9, 13, 14, 173 },
    { 174, 175, 176, 177 },
    { 178, 179, 180, 181 },
    { 179, 181, 182, 183 },
    { 123, 181, 182, 184 },
    { 9, 185, 186, 187, 188 },
    { 186, 188, 189, 190, 191 },
    { 192, 193, 194, 195 },
    { 196, 197, 198, 199 },
    { 196, 198, 200, 201 },
    { 196, 197, 202, 203 },
    { 204, 205, 206, 207 },
    { 206, 208, 209, 210 },
    { 211, 212, 213, 214 },
    { 213, 215, 216, 217 },
    { 123, 218, 219, 220 },
    { 216, 219, 220, 221 },
    { 215, 216, 222, 223 },
    { 204, 224, 225, 226 },
    { 227, 228, 229, 230 },
    { 227, 231, 232, 233 },
    { 231, 232, 234, 235 },
    { 236, 237, 238, 239 },
    { 240, 241, 242, 243 },
    { 241, 243, 244, 245 },
    { 237, 239, 241, 246 },
    { 241, 244, 246, 247 },
    { 240, 248, 249, 250 },
    { 251, 252, 253, 254 },
    { 16, 17, 255, 256 },
    { 16, 17, 18, 257 },
    { 20, 258, 259, 260 },
    { 24, 261, 262, 263 },
    { 20, 21, 264, 265 },
    { 21, 264, 266, 267 },
    { 20, 21, 22, 267 },
    { 24, 26, 268, 269 },
    { 24, 25, 26, 270 },
    { 26, 268, 270, 271 },
    { 272, 273, 274, 275 },
    { 274, 276, 277, 278 },
    { 28, 29, 279, 280 },
    { 28, 29, 30, 281 },
    { 32, 34, 35, 282 },
    { 34, 282, 283, 284 },
    { 34, 282, 284, 285 },
    { 36, 37, 39, 286 },
    { 36, 286, 287, 288 },
    { 36, 286, 288, 289 },
    { 287, 290, 291, 292 },
    { 287, 288, 289, 293, 294 },
    { 295, 296, 297, 298 },
    { 296, 298, 299, 300 },
    { 301, 302, 303, 304, 305 },
    { 306, 307, 308, 309 },
    { 310, 311, 312, 313 },
    { 311, 314, 315, 316 },
    { 314, 315, 317, 318 },
    { 40, 41, 43, 314 },
    { 310, 313, 319, 320 },
    { 44, 45, 46, 313 },
    { 50, 321, 322, 323 },
    { 48, 50, 51, 323 },
    { 54, 56, 324, 325 },
    { 53, 54, 55, 56 },
    { 53, 73, 74, 326 },
    { 53, 56, 326, 327 },
    { 56, 326, 328, 329 },
    { 58, 59, 60, 62 },
    { 330, 331, 332, 333 },
    { 63, 330, 333, 334 },
    { 63, 331, 333, 335 },
    { 62, 63, 64, 331 },
    { 60, 62, 63, 336 },
    { 111, 337, 338, 339 },
    { 111, 337, 340, 341 },
    { 337, 338, 341, 342 },
    { 53, 65, 67, 85 },
    { 67, 343, 344, 345 },
    { 53, 65, 66, 67 },
    { 66, 67, 68, 343 },
    { 66, 69, 71, 343 },
    { 69, 79, 346, 347 },
    { 53, 72, 74, 348 },
    { 53, 72, 349, 350 },
    { 53, 76, 349, 350 },
    { 76, 349, 351, 352 },
    { 349, 351, 353, 354 },
    { 76, 77, 351, 355 },
    { 53, 66, 69, 76, 77 },
    { 69, 77, 79, 80 },
    { 77, 79, 356, 357 },
    { 53, 83, 84, 86 },
    { 53, 83, 85, 358 },
    { 53, 86, 87, 88 },
    { 86, 87, 359, 360 },
    { 53, 87, 90, 91 },
    { 87, 91, 98, 99 },
    { 96, 100, 361, 362, 363 },
    { 91, 95, 96, 98, 100 },
    { 91, 94, 95, 96 },
    { 174, 362, 364, 365 },
    { 362, 364, 366, 367 },
    { 174, 175, 177, 367 },
    { 123, 182, 184, 368 },
    { 123, 362, 369, 370 },
    { 362, 368, 369, 371 },
    { 91, 98, 99, 100 },
    { 372, 373, 374, 375 },
    { 108, 109, 114, 376 },
    { 102, 103, 104, 106 },
    { 103, 106, 107, 377 },
    { 102, 106, 108, 110 },
    { 106, 108, 109, 376 },
    { 106, 378, 379, 380, 381 },
    { 106, 376, 380, 381 },
    { 106, 377, 378, 379 },
    { 103, 107, 377, 382 },
    { 376, 383, 384, 385 },
    { 384, 386, 387, 388 },
    { 377, 386, 389, 390 },
    { 111, 112, 113, 338 },
    { 102, 108, 111, 113 },
    { 108, 113, 114, 116 },
    { 118, 119, 391, 392 },
    { 118, 119, 120, 121 },
    { 126, 127, 128, 393 },
    { 123, 125, 126, 391 },
    { 123, 124, 126, 127 },
    { 119, 391, 392, 393, 394 },
    { 123, 218, 219, 395, 396 },
    { 129, 130, 131, 161 },
    { 200, 397, 398, 399 },
    { 397, 400, 401, 402 },
    { 134, 397, 401, 403 },
    { 134, 135, 136, 200 },
    { 2, 137, 138, 404 },
    { 2, 139, 405, 406 },
    { 2, 3, 138, 139 },
    { 407, 408, 409, 410, 411 },
    { 5, 141, 142, 412 },
    { 5, 7, 140, 141 },
    { 5, 140, 413, 414 },
    { 415, 416, 417, 418 },
    { 415, 418, 419, 420 },
    { 416, 418, 420, 421 },
    { 420, 422, 423, 424 },
    { 143, 145, 420, 424 },
    { 143, 145, 146, 420, 425 },
    { 145, 146, 425, 426 },
    { 425, 426, 427, 428 },
    { 425, 429, 430, 431 },
    { 425, 430, 432, 433 },
    { 429, 430, 432, 434 },
    { 420, 435, 436, 437 },
    { 425, 435, 438, 439 },
    { 148, 154, 440, 441 },
    { 148, 149, 440, 442 },
    { 153, 443, 444, 445 },
    { 149, 153, 444, 446 },
    { 148, 149, 151, 153 },
    { 148, 153, 154, 156, 443, 447 },
    { 166, 193, 448, 449, 450 },
    { 192, 193, 448, 451, 452, 453 },
    { 158, 159, 160, 454 },
    { 129, 161, 162, 455 },
    { 129, 454, 456, 457 },
    { 164, 165, 166, 458 },
    { 166, 196, 458, 459 },
    { 9, 169, 170, 171, 172 },
    { 9, 11, 168, 169 },
    { 9, 14, 171, 173 },
    { 174, 175, 176, 460 },
    { 176, 460, 461, 462 },
    { 178, 179, 181, 463 },
    { 123, 179, 181, 182 },
    { 9, 186, 188, 190 },
    { 186, 190, 191, 464 },
    { 192, 193, 194, 465 },
    { 465, 466, 467, 468 },
    { 196, 466, 467, 469 },
    { 196, 197, 198, 200, 202 },
    { 190, 216, 470, 471 },
    { 206, 472, 473, 474 },
    { 204, 205, 206, 473 },
    { 200, 206, 208, 209 },
    { 212, 215, 475, 476, 477 },
    { 212, 213, 214, 215, 216 },
    { 123, 216, 219, 220 },
    { 215, 216, 219, 222 },
    { 200, 204, 224, 225 },
    { 227, 228, 229, 478 },
    { 227, 478, 479, 480 },
    { 227, 228, 230, 481 },
    { 227, 231, 233, 481 },
    { 227, 234, 479, 480 },
    { 227, 231, 232, 234 },
    { 241, 482, 483, 484 },
    { 240, 241, 242, 483 },
    { 236, 241, 482, 484 },
    { 236, 237, 239, 241 },
    { 240, 241, 243, 244 },
    { 237, 241, 244, 246 },
    { 240, 248, 249, 485 },
    { 240, 248, 250, 486 },
    { 485, 486, 487, 488 },
    { 240, 250, 486, 489 },
    { 485, 487, 490, 491 },
    { 490, 491, 492, 493 },
    { 492, 494, 495, 496 },
    { 495, 497, 498, 499 },
    { 240, 500, 501, 502 },
    { 251, 252, 253, 503 },
    { 251, 252, 254, 504 },
    { 252, 503, 504, 505 },
    { 251, 254, 504, 506 },
    { 503, 504, 505, 507 },
    { 251, 497, 508, 509 },
    { 510, 511, 512, 513 },
    { 503, 507, 511, 512 },
    { 510, 511, 514, 515 },
    { 251, 503, 516, 517 },
    { 503, 517, 518, 519 },
    { 251, 520, 521, 522 },
    { 520, 521, 523, 524 },
    { 525, 526, 527, 528, 529, 530 },
    { 531, 532, 533, 534 },
    { 525, 526, 533, 534, 535, 536 },
    { 16, 255, 257, 537 },
    { 16, 17, 255, 257 },
    { 538, 539, 540, 541 },
    { 259, 262, 542, 543 },
    { 20, 258, 259, 543 },
    { 24, 261, 262, 543 },
    { 538, 544, 545, 546 },
    { 20, 264, 265, 547 },
    { 24, 268, 269, 548 },
    { 20, 21, 264, 267 },
    { 20, 22, 24, 25, 267, 270 },
    { 24, 26, 268, 270 },
    { 268, 548, 549, 550, 551 },
    { 272, 552, 553, 554, 555 },
    { 274, 556, 557, 558 },
    { 272, 273, 274, 558 },
    { 274, 276, 277, 557 },
    { 549, 559, 560, 561, 562 },
    { 272, 552, 553, 555, 561, 562 },
    { 28, 279, 281, 563 },
    { 28, 29, 279, 281 },
    { 32, 282, 564, 565 },
    { 32, 282, 283, 565 },
    { 566, 567, 568, 569 },
    { 567, 568, 569, 570 },
    { 32, 34, 282, 283 },
    { 34, 283, 284, 285 },
    { 34, 285, 571, 572 },
    { 36, 37, 286, 289 },
    { 36, 287, 288, 289 },
    { 36, 287, 290, 291 },
    { 287, 289, 290, 294 },
    { 299, 573, 574, 575 },
    { 295, 574, 576, 577 },
    { 573, 574, 576, 578, 579 },
    { 296, 299, 580, 581 },
    { 295, 296, 298, 299 },
    { 289, 295, 296, 582 },
    { 573, 576, 583, 584, 585 },
    { 17, 586, 587, 588 },
    { 589, 590, 591, 592 },
    { 301, 302, 304, 593, 594 },
    { 590, 595, 596, 597 },
    { 598, 599, 600, 601, 602 },
    { 576, 599, 600, 603 },
    { 306, 307, 309, 317, 319 },
    { 310, 311, 313, 319 },
    { 311, 313, 604, 605 },
    { 311, 314, 315, 317 },
    { 311, 314, 604, 606 },
    { 604, 607, 608, 609 },
    { 41, 314, 317, 318 },
    { 40, 41, 314, 604 },
    { 295, 604, 610, 611 },
    { 45, 313, 319, 320 },
    { 45, 46, 313, 604 },
    { 290, 612, 613, 614 },
    { 615, 616, 617, 618 },
    { 50, 51, 321, 323 },
    { 53, 54, 56, 324 },
    { 53, 74, 326, 348 },
    { 53, 56, 326, 329 },
    { 59, 60, 62, 336 },
    { 63, 330, 331, 333 },
    { 62, 63, 331, 336 },
    { 63, 330, 336, 619 },
    { 330, 341, 620, 621, 622 },
    { 102, 111, 341, 623 },
    { 111, 337, 338, 341 },
    { 53, 67, 85, 358 },
    { 67, 343, 344, 358 },
    { 53, 66, 67, 343 },
    { 53, 66, 69, 343 },
    { 69, 79, 343, 347 },
    { 53, 72, 348, 349 },
    { 53, 76, 349, 351 },
    { 348, 349, 351, 354 },
    { 53, 76, 77, 351 },
    { 53, 69, 77, 79 },
    { 77, 79, 351, 356 },
    { 53, 83, 86, 358 },
    { 53, 86, 87, 359 },
    { 53, 87, 91, 99 },
    { 91, 96, 100, 362 },
    { 91, 94, 96, 624 },
    { 174, 362, 364, 367 },
    { 174, 175, 367, 460 },
    { 123, 179, 182, 368 },
    { 123, 362, 368, 369 },
    { 53, 91, 99, 100 },
    { 374, 625, 626, 627 },
    { 374, 443, 626, 628 },
    { 373, 374, 443, 629 },
    { 372, 373, 374, 630 },
    { 391, 631, 632, 633 },
    { 632, 634, 635, 636 },
    { 634, 637, 638, 639 },
    { 102, 108, 114, 376 },
    { 114, 376, 640, 641 },
    { 102, 103, 106, 377 },
    { 102, 106, 108, 376 },
    { 106, 376, 377, 378, 380 },
    { 102, 103, 377, 382 },
    { 377, 382, 642, 643 },
    { 376, 384, 385, 640 },
    { 376, 377, 384, 386, 387 },
    { 377, 386, 389, 642 },
    { 637, 644, 645, 646 },
    { 384, 386, 645, 647, 648 },
    { 386, 642, 645, 646 },
    { 102, 111, 113, 338 },
    { 102, 108, 113, 114 },
    { 121, 640, 649, 650 },
    { 121, 391, 649, 651 },
    { 118, 119, 121, 391 },
    { 640, 652, 653, 654 },
    { 123, 126, 127, 391, 393 },
    { 119, 391, 393, 655 },
    { 432, 656, 657, 658 },
    { 123, 395, 396, 659, 660 },
    { 123, 215, 219, 395 },
    { 129, 131, 161, 455 },
    { 134, 200, 397, 398 },
    { 134, 397, 400, 401 },
    { 129, 134, 135, 200 },
    { 2, 138, 404, 472 },
    { 2, 138, 139, 405 },
    { 138, 141, 407, 408, 410 },
    { 200, 397, 400, 661 },
    { 5, 141, 400, 412 },
    { 5, 140, 141, 413 },
    { 415, 416, 418, 420 },
    { 423, 424, 426, 427, 662 },
    { 420, 423, 424, 662 },
    { 145, 420, 424, 425, 426 },
    { 425, 426, 427, 662 },
    { 425, 429, 430, 432 },
    { 435, 440, 444, 663 },
    { 420, 425, 435, 437, 438 },
    { 148, 149, 154, 440 },
    { 149, 153, 443, 444 },
    { 148, 149, 153, 154, 443 },
    { 164, 166, 192, 193, 448, 449 },
    { 164, 664, 665, 666, 667 },
    { 129, 458, 668, 669 },
    { 158, 160, 454, 665 },
    { 129, 162, 454, 455 },
    { 129, 454, 456, 458 },
    { 196, 458, 670, 671 },
    { 164, 166, 196, 458 },
    { 168, 173, 461, 463, 672 },
    { 9, 168, 169, 171, 173 },
    { 174, 176, 460, 461 },
    { 178, 179, 460, 461, 462, 463 },
    { 123, 179, 181, 463 },
    { 9, 186, 190, 464 },
    { 192, 193, 196, 465 },
    { 196, 465, 466, 467 },
    { 196, 200, 202, 467, 469 },
    { 190, 216, 465, 471 },
    { 123, 190, 216, 220 },
    { 216, 465, 673, 674 },
    { 204, 206, 472, 473 },
    { 200, 206, 472, 675 },
    { 200, 204, 206, 209 },
    { 212, 214, 215, 216, 475, 477 },
    { 123, 215, 216, 219 },
    { 200, 204, 216, 225 },
    { 227, 228, 478, 479 },
    { 227, 228, 231, 481 },
    { 227, 231, 234, 479 },
    { 240, 241, 482, 483 },
    { 236, 237, 241, 482 },
    { 237, 240, 241, 244 },
    { 236, 237, 482, 676 },
    { 231, 234, 479, 677 },
    { 240, 248, 485, 486 },
    { 485, 486, 487, 490 },
    { 240, 486, 489, 490 },
    { 485, 490, 491, 492 },
    { 490, 492, 494, 495 },
    { 497, 500, 678, 679, 680, 681 },
    { 495, 497, 498, 679, 682 },
    { 240, 490, 500, 501 },
    { 490, 494, 495, 500 },
    { 251, 252, 503, 504 },
    { 251, 504, 506, 511 },
    { 503, 504, 507, 511 },
    { 251, 497, 509, 511 },
    { 495, 497, 511, 515 },
    { 503, 510, 511, 512 },
    { 495, 510, 511, 515 },
    { 503, 510, 512, 683 },
    { 485, 491, 492, 683 },
    { 251, 503, 517, 518 },
    { 251, 518, 525, 527 },
    { 518, 525, 532, 684 },
    { 251, 520, 521, 523 },
    { 251, 523, 526, 528 },
    { 251, 525, 526, 527, 528 },
    { 525, 526, 532, 533, 534 },
    { 523, 526, 532, 685 },
    { 255, 257, 537, 686 },
    { 17, 255, 257, 586 },
    { 257, 586, 686, 687 },
    { 538, 539, 540, 549 },
    { 20, 24, 259, 262, 543 },
    { 538, 544, 545, 686 },
    { 20, 264, 547, 686 },
    { 24, 268, 548, 549 },
    { 20, 24, 264, 267, 268, 270 },
    { 264, 268, 549, 551, 686, 688 },
    { 255, 686, 689, 690 },
    { 272, 276, 553, 554, 691, 692 },
    { 272, 274, 276, 557, 558 },
    { 279, 549, 559, 561 },
    { 272, 549, 553, 561, 562 },
    { 279, 281, 549, 563 },
    { 29, 279, 281, 693 },
    { 281, 549, 693, 694 },
    { 32, 283, 564, 565 },
    { 566, 567, 568, 570 },
    { 32, 34, 154, 283 },
    { 34, 283, 285, 571 },
    { 283, 607, 695, 696 },
    { 36, 37, 289, 443 },
    { 36, 287, 289, 290 },
    { 289, 295, 582, 612 },
    { 289, 290, 294, 612, 613 },
    { 295, 299, 573, 574, 576 },
    { 289, 295, 296, 299, 580 },
    { 289, 573, 576, 580, 583 },
    { 17, 255, 586, 587 },
    { 589, 590, 591, 607 },
    { 586, 587, 589, 607 },
    { 302, 587, 599, 697, 698, 699 },
    { 302, 587, 593, 594, 599 },
    { 255, 587, 593, 700, 701, 702 },
    { 295, 590, 595, 596 },
    { 590, 596, 599, 697, 703, 704 },
    { 295, 576, 596, 599 },
    { 576, 598, 599, 600 },
    { 571, 607, 695, 705 },
    { 309, 311, 317, 319 },
    { 311, 313, 319, 604 },
    { 311, 314, 317, 604 },
    { 41, 604, 607, 609 },
    { 41, 314, 317, 604 },
    { 45, 295, 604, 611 },
    { 45, 313, 319, 604 },
    { 317, 319, 706, 707 },
    { 290, 295, 612, 614 },
    { 50, 321, 708, 709 },
    { 455, 615, 617, 618 },
    { 50, 51, 321, 708 },
    { 53, 56, 324, 329 },
    { 53, 326, 329, 348 },
    { 59, 62, 336, 615 },
    { 63, 330, 331, 336 },
    { 62, 331, 336, 348 },
    { 330, 336, 619, 710 },
    { 102, 336, 619, 623, 710 },
    { 102, 341, 623, 710 },
    { 330, 341, 621, 710 },
    { 102, 111, 338, 341 },
    { 53, 67, 343, 358 },
    { 53, 69, 79, 343 },
    { 53, 348, 349, 351 },
    { 53, 77, 79, 351 },
    { 53, 86, 358, 359 },
    { 53, 87, 99, 359 },
    { 94, 96, 362, 624 },
    { 53, 91, 100, 362 },
    { 53, 91, 624, 711, 712 },
    { 91, 96, 362, 624 },
    { 174, 362, 367, 460 },
    { 123, 179, 362, 368 },
    { 53, 99, 100, 362 },
    { 374, 443, 625, 626 },
    { 373, 374, 443, 630 },
    { 391, 630, 632, 633 },
    { 625, 630, 632, 634, 635 },
    { 625, 634, 637, 639 },
    { 102, 114, 376, 640 },
    { 102, 106, 376, 377 },
    { 102, 377, 382, 642 },
    { 376, 377, 384, 386, 640, 642 },
    { 637, 642, 645, 646 },
    { 391, 632, 634, 637, 645 },
    { 384, 386, 640, 642, 645 },
    { 102, 113, 338, 358 },
    { 102, 113, 114, 640 },
    { 121, 391, 640, 649 },
    { 119, 121, 391, 713 },
    { 123, 640, 652, 653 },
    { 123, 127, 391, 393, 655 },
    { 119, 391, 655, 713 },
    { 429, 432, 472, 657 },
    { 432, 443, 656, 657 },
    { 123, 391, 395, 659 },
    { 123, 215, 395, 475 },
    { 129, 131, 455, 714 },
    { 134, 200, 397, 400 },
    { 129, 134, 200, 714 },
    { 200, 405, 472, 675 },
    { 2, 138, 405, 472 },
    { 138, 141, 407, 408, 715, 716 },
    { 200, 400, 413, 661 },
    { 5, 141, 400, 413 },
    { 400, 415, 416, 420 },
    { 420, 424, 425, 426, 662 },
    { 425, 429, 432, 472 },
    { 154, 416, 420, 440 },
    { 420, 425, 435, 440, 444 },
    { 425, 432, 443, 444 },
    { 149, 154, 440, 443, 444 },
    { 164, 166, 192, 193, 196 },
    { 9, 164, 192, 664, 665, 717 },
    { 129, 200, 458, 669 },
    { 160, 454, 455, 665 },
    { 129, 454, 455, 458 },
    { 196, 200, 458, 670 },
    { 164, 196, 458, 665 },
    { 9, 168, 174, 461 },
    { 9, 168, 173, 461, 463 },
    { 123, 174, 179, 460, 461, 463 },
    { 9, 123, 173, 463 },
    { 9, 190, 465, 718 },
    { 9, 123, 190, 464 },
    { 9, 192, 196, 465 },
    { 196, 200, 465, 467 },
    { 123, 190, 216, 465 },
    { 200, 216, 465, 673 },
    { 200, 204, 206, 472 },
    { 123, 215, 216, 475 },
    { 200, 204, 216, 475 },
    { 227, 228, 231, 479 },
    { 237, 240, 241, 482 },
    { 231, 237, 479, 482, 676, 677 },
    { 240, 485, 486, 490 },
    { 485, 490, 492, 495 },
    { 495, 497, 500, 679, 680, 682 },
    { 240, 490, 495, 500 },
    { 251, 503, 504, 511 },
    { 251, 495, 497, 511 },
    { 495, 503, 510, 511 },
    { 495, 503, 510, 683 },
    { 485, 492, 495, 683 },
    { 251, 503, 518, 525 },
    { 503, 518, 525, 532 },
    { 251, 520, 523, 526 },
    { 251, 525, 526, 532 },
    { 520, 523, 526, 532 },
    { 255, 257, 586, 686 },
    { 538, 586, 686, 687 },
    { 24, 538, 540, 549 },
    { 20, 24, 538, 543 },
    { 20, 538, 545, 686 },
    { 20, 24, 264, 268, 549, 686 },
    { 255, 276, 686, 690 },
    { 272, 276, 549, 553, 686, 691 },
    { 255, 272, 274, 276, 279 },
    { 272, 279, 549, 561 },
    { 538, 549, 693, 694 },
    { 279, 281, 549, 693 },
    { 32, 154, 283, 564 },
    { 538, 570, 693, 694 },
    { 154, 538, 564, 566 },
    { 538, 566, 570, 719 },
    { 154, 566, 567, 570 },
    { 34, 154, 283, 571 },
    { 283, 571, 607, 695 },
    { 36, 289, 290, 443 },
    { 289, 290, 295, 612 },
    { 289, 295, 299, 573, 576, 580 },
    { 255, 586, 587, 607 },
    { 587, 589, 590, 607 },
    { 587, 590, 599, 697, 698, 703 },
    { 255, 587, 593, 594, 598, 599 },
    { 295, 590, 596, 599 },
    { 295, 576, 598, 599 },
    { 317, 571, 607, 705 },
    { 311, 317, 319, 604 },
    { 41, 317, 604, 607 },
    { 45, 295, 319, 604 },
    { 317, 319, 706, 720, 721 },
    { 290, 295, 319, 614 },
    { 321, 455, 708, 709 },
    { 455, 615, 617, 708 },
    { 51, 321, 615, 708 },
    { 53, 324, 329, 348 },
    { 324, 348, 455, 615 },
    { 62, 336, 348, 615 },
    { 330, 331, 336, 348 },
    { 102, 330, 336, 341, 710 },
    { 102, 338, 341, 358 },
    { 53, 79, 343, 358 },
    { 53, 79, 348, 351 },
    { 53, 99, 358, 359 },
    { 94, 174, 362, 624 },
    { 53, 91, 362, 624 },
    { 123, 174, 179, 362, 460 },
    { 53, 99, 123, 362 },
    { 374, 443, 625, 630 },
    { 391, 625, 630, 632, 634, 637 },
    { 102, 376, 377, 640, 642 },
    { 391, 637, 640, 642, 645 },
    { 102, 113, 358, 640 },
    { 99, 123, 358, 640 },
    { 121, 391, 640, 713 },
    { 123, 640, 652, 713 },
    { 123, 391, 655, 713 },
    { 432, 443, 472, 657 },
    { 123, 391, 395, 475 },
    { 129, 200, 455, 714 },
    { 134, 200, 400, 714 },
    { 138, 200, 405, 472 },
    { 138, 141, 400, 472, 715, 716 },
    { 141, 200, 400, 413 },
    { 154, 400, 416, 420 },
    { 400, 420, 425, 472, 662 },
    { 425, 432, 443, 472 },
    { 154, 420, 425, 440, 443, 444 },
    { 9, 164, 192, 196, 665 },
    { 129, 200, 455, 458 },
    { 454, 455, 458, 665 },
    { 196, 200, 458, 665 },
    { 9, 123, 174, 461, 463 },
    { 9, 123, 190, 465 },
    { 9, 196, 200, 465 },
    { 123, 200, 216, 465 },
    { 200, 204, 472, 475 },
    { 123, 200, 216, 475 },
    { 228, 231, 237, 240, 479, 482 },
    { 240, 485, 490, 495 },
    { 240, 251, 495, 497, 500 },
    { 251, 495, 503, 511 },
    { 485, 495, 503, 683 },
    { 251, 503, 525, 532 },
    { 251, 520, 526, 532 },
    { 255, 538, 586, 686 },
    { 20, 24, 538, 549, 686 },
    { 255, 272, 276, 279, 549, 686 },
    { 279, 538, 549, 693 },
    { 255, 283, 538, 586 },
    { 154, 283, 538, 564 },
    { 279, 538, 570, 693 },
    { 154, 538, 566, 570 },
    { 255, 283, 586, 607 },
    { 154, 283, 571, 607 },
    { 289, 290, 295, 443 },
    { 289, 295, 576, 598 },
    { 255, 587, 590, 607 },
    { 255, 587, 590, 598, 599 },
    { 295, 590, 598, 599 },
    { 154, 317, 571, 607 },
    { 295, 317, 319, 604, 607 },
    { 154, 317, 319, 443, 720, 721 },
    { 290, 295, 319, 443 },
    { 321, 455, 615, 708 },
    { 53, 324, 348, 455 },
    { 336, 348, 455, 615 },
    { 102, 330, 336, 341, 348, 358 },
    { 53, 79, 348, 358 },
    { 53, 99, 123, 358 },
    { 53, 123, 174, 362, 624 },
    { 391, 443, 625, 630, 637 },
    { 102, 391, 637, 640, 642 },
    { 102, 123, 358, 640 },
    { 123, 391, 640, 713 },
    { 391, 443, 472, 657 },
    { 123, 391, 472, 475 },
    { 200, 400, 455, 714 },
    { 138, 141, 200, 400, 472 },
    { 154, 400, 420, 425, 443, 472 },
    { 9, 196, 200, 665 },
    { 200, 455, 458, 665 },
    { 9, 123, 174, 455, 665, 722 },
    { 9, 123, 200, 465 },
    { 123, 200, 472, 475 },
    { 228, 240, 251, 479, 482, 723 },
    { 240, 251, 485, 495, 503 },
    { 251, 503, 520, 532 },
    { 255, 279, 538, 549, 686 },
    { 154, 255, 283, 538 },
    { 154, 279, 538, 570 },
    { 154, 255, 283, 607 },
    { 289, 295, 443, 598 },
    { 255, 295, 590, 598, 607 },
    { 154, 295, 317, 319, 443, 607 },
    { 154, 321, 400, 455 },
    { 321, 336, 455, 615 },
    { 53, 336, 348, 455 },
    { 53, 102, 336, 348, 358 },
    { 53, 102, 123, 358 },
    { 53, 123, 174, 455, 624, 722 },
    { 102, 391, 443, 637 },
    { 102, 123, 391, 640 },
    { 123, 391, 443, 472 },
    { 154, 200, 400, 455 },
    { 154, 200, 400, 443, 472 },
    { 9, 123, 200, 455, 665 },
    { 123, 200, 443, 472 },
    { 228, 240, 251, 255, 279, 485, 503, 520, 598 },
    { 154, 255, 279, 538 },
    { 154, 255, 295, 443, 598, 607 },
    { 154, 321, 336, 455 },
    { 53, 102, 123, 336, 455 },
    { 102, 123, 391, 443 },
    { 123, 154, 200, 443, 455 },
    { 154, 255, 279, 443, 485, 503, 520, 598, 724 },
    { 102, 123, 154, 336, 443, 455 },
    { 102, 154, 336, 443, 724, 725 }
]
/* Faces of top cells */
[
    [
        { 2, 3, 4 },
        { 1, 3, 4 },
        { 1, 2, 4 },
        { 1, 2, 3 }
    ],
    [
        { 6, 7, 8 },
        { 5, 7, 8 },
        { 5, 6, 8 },
        { 5, 6, 7 }
    ],
    [
        { 10, 11, 12 },
        { 9, 11, 12 },
        { 9, 10, 12 },
        { 9, 10, 11 }
    ],
    [
        { 13, 14, 15 },
        { 9, 14, 15 },
        { 9, 13, 15 },
        { 9, 13, 14 }
    ],
    [
        { 17, 18, 19 },
        { 16, 18, 19 },
        { 16, 17, 19 },
        { 16, 17, 18 }
    ],
    [
        { 21, 22, 23 },
        { 20, 22, 23 },
        { 20, 21, 23 },
        { 20, 21, 22 }
    ],
    [
        { 25, 26, 27 },
        { 24, 26, 27 },
        { 24, 25, 27 },
        { 24, 25, 26 }
    ],
    [
        { 29, 30, 31 },
        { 28, 30, 31 },
        { 28, 29, 31 },
        { 28, 29, 30 }
    ],
    [
        { 33, 34, 35 },
        { 32, 34, 35 },
        { 32, 33, 35 },
        { 32, 33, 34 }
    ],
    [
        { 37, 38, 39 },
        { 36, 38, 39 },
        { 36, 37, 39 },
        { 36, 37, 38 }
    ],
    [
        { 41, 42, 43 },
        { 40, 42, 43 },
        { 40, 41, 43 },
        { 40, 41, 42 }
    ],
    [
        { 45, 46, 47 },
        { 44, 46, 47 },
        { 44, 45, 47 },
        { 44, 45, 46 }
    ],
    [
        { 49, 50, 51 },
        { 48, 50, 51 },
        { 48, 49, 51 },
        { 48, 49, 50 }
    ],
    [
        { 53, 54, 55 },
        { 52, 54, 55 },
        { 52, 53, 55 },
        { 52, 53, 54 }
    ],
    [
        { 54, 55, 57 },
        { 55, 56, 57 },
        { 54, 55, 56 },
        { 54, 56, 57 }
    ],
    [
        { 59, 60, 61 },
        { 58, 60, 61 },
        { 58, 59, 61 },
        { 58, 59, 60 }
    ],
    [
        { 60, 63, 64 },
        { 60, 62, 64 },
        { 62, 63, 64 },
        { 60, 62, 63 }
    ],
    [
        { 66, 67, 68 },
        { 65, 67, 68 },
        { 65, 66, 68 },
        { 65, 66, 67 }
    ],
    [
        { 66, 70, 71 },
        { 66, 69, 71 },
        { 69, 70, 71 },
        { 66, 69, 70 }
    ],
    [
        { 72, 73, 74 },
        { 53, 73, 74 },
        { 53, 72, 74 },
        { 53, 72, 73 }
    ],
    [
        { 66, 75, 76, 78 },
        { 66, 69, 76, 77 },
        { 66, 69, 75 },
        { 69, 75, 77, 78 },
        { 76, 77, 78 }
    ],
    [
        { 79, 80, 81 },
        { 69, 80, 81 },
        { 69, 79, 81 },
        { 69, 79, 80 }
    ],
    [
        { 77, 80, 82 },
        { 79, 80, 82 },
        { 77, 79, 82 },
        { 77, 79, 80 }
    ],
    [
        { 83, 84, 85 },
        { 53, 84, 85 },
        { 53, 83, 85 },
        { 53, 83, 84 }
    ],
    [
        { 87, 88, 89 },
        { 86, 88, 89 },
        { 86, 87, 89 },
        { 86, 87, 88 }
    ],
    [
        { 53, 91, 92 },
        { 90, 91, 92 },
        { 53, 90, 92 },
        { 53, 90, 91 }
    ],
    [
        { 53, 87, 88 },
        { 87, 88, 90 },
        { 53, 88, 90 },
        { 53, 87, 90 }
    ],
    [
        { 87, 91, 93 },
        { 87, 90, 93 },
        { 87, 90, 91 },
        { 90, 91, 93 }
    ],
    [
        { 95, 96, 97 },
        { 94, 96, 97 },
        { 94, 95, 97 },
        { 94, 95, 96 }
    ],
    [
        { 99, 100, 101 },
        { 98, 100, 101 },
        { 98, 99, 101 },
        { 98, 99, 100 }
    ],
    [
        { 103, 104, 105 },
        { 102, 104, 105 },
        { 102, 103, 105 },
        { 102, 103, 104 }
    ],
    [
        { 103, 104, 107 },
        { 104, 106, 107 },
        { 103, 106, 107 },
        { 103, 104, 106 }
    ],
    [
        { 106, 109, 110 },
        { 108, 109, 110 },
        { 106, 108, 110 },
        { 106, 108, 109 }
    ],
    [
        { 108, 112, 113 },
        { 111, 112, 113 },
        { 108, 111, 113 },
        { 108, 111, 112 }
    ],
    [
        { 114, 115, 116 },
        { 108, 115, 116 },
        { 108, 114, 116 },
        { 108, 114, 115 }
    ],
    [
        { 118, 119, 120 },
        { 117, 119, 120 },
        { 117, 118, 120 },
        { 117, 118, 119 }
    ],
    [
        { 119, 120, 122 },
        { 120, 121, 122 },
        { 119, 121, 122 },
        { 119, 120, 121 }
    ],
    [
        { 124, 125, 126 },
        { 123, 125, 126 },
        { 123, 124, 126 },
        { 123, 124, 125 }
    ],
    [
        { 124, 126, 128 },
        { 126, 127, 128 },
        { 124, 126, 127 },
        { 124, 127, 128 }
    ],
    [
        { 130, 131, 132 },
        { 129, 131, 132 },
        { 129, 130, 132 },
        { 129, 130, 131 }
    ],
    [
        { 134, 135, 136 },
        { 133, 135, 136 },
        { 133, 134, 136 },
        { 133, 134, 135 }
    ],
    [
        { 3, 137, 138 },
        { 2, 3, 138 },
        { 2, 3, 137 },
        { 2, 137, 138 }
    ],
    [
        { 3, 4, 139 },
        { 2, 3, 4 },
        { 2, 4, 139 },
        { 2, 3, 139 }
    ],
    [
        { 5, 6, 7 },
        { 6, 7, 140 },
        { 5, 7, 140 },
        { 5, 6, 140 }
    ],
    [
        { 5, 7, 142 },
        { 7, 141, 142 },
        { 5, 7, 141 },
        { 5, 141, 142 }
    ],
    [
        { 144, 145, 146 },
        { 143, 145, 146 },
        { 143, 144, 146, 147 },
        { 143, 145, 147 },
        { 144, 145, 147 }
    ],
    [
        { 149, 150, 151 },
        { 148, 150, 151 },
        { 148, 149, 151 },
        { 148, 149, 150 }
    ],
    [
        { 151, 152, 153 },
        { 149, 151, 153 },
        { 149, 151, 152 },
        { 149, 152, 153 }
    ],
    [
        { 148, 155, 156 },
        { 148, 154, 156 },
        { 154, 155, 156 },
        { 148, 154, 155 }
    ],
    [
        { 158, 159, 160 },
        { 157, 159, 160 },
        { 157, 158, 160 },
        { 157, 158, 159 }
    ],
    [
        { 161, 162, 163 },
        { 129, 162, 163 },
        { 129, 161, 163 },
        { 129, 161, 162 }
    ],
    [
        { 165, 166, 167 },
        { 164, 166, 167 },
        { 164, 165, 167 },
        { 164, 165, 166 }
    ],
    [
        { 11, 12, 168 },
        { 9, 11, 12 },
        { 9, 12, 168 },
        { 9, 11, 168 }
    ],
    [
        { 11, 169, 170 },
        { 9, 11, 170 },
        { 9, 169, 170 },
        { 9, 11, 169 }
    ],
    [
        { 14, 171, 172 },
        { 9, 14, 172 },
        { 9, 14, 171 },
        { 9, 171, 172 }
    ],
    [
        { 13, 14, 173 },
        { 9, 14, 173 },
        { 9, 13, 14 },
        { 9, 13, 173 }
    ],
    [
        { 175, 176, 177 },
        { 174, 176, 177 },
        { 174, 175, 177 },
        { 174, 175, 176 }
    ],
    [
        { 179, 180, 181 },
        { 178, 180, 181 },
        { 178, 179, 181 },
        { 178, 179, 180 }
    ],
    [
        { 181, 182, 183 },
        { 179, 182, 183 },
        { 179, 181, 183 },
        { 179, 181, 182 }
    ],
    [
        { 123, 181, 182 },
        { 181, 182, 184 },
        { 123, 182, 184 },
        { 123, 181, 184 }
    ],
    [
        { 185, 186, 187, 188 },
        { 9, 185, 187 },
        { 9, 185, 186 },
        { 9, 186, 188 },
        { 9, 187, 188 }
    ],
    [
        { 186, 190, 191 },
        { 186, 188, 189, 191 },
        { 189, 190, 191 },
        { 186, 188, 190 },
        { 188, 189, 190 }
    ],
    [
        { 193, 194, 195 },
        { 192, 194, 195 },
        { 192, 193, 195 },
        { 192, 193, 194 }
    ],
    [
        { 197, 198, 199 },
        { 196, 198, 199 },
        { 196, 197, 199 },
        { 196, 197, 198 }
    ],
    [
        { 198, 200, 201 },
        { 196, 198, 201 },
        { 196, 198, 200 },
        { 196, 200, 201 }
    ],
    [
        { 197, 202, 203 },
        { 196, 197, 203 },
        { 196, 202, 203 },
        { 196, 197, 202 }
    ],
    [
        { 205, 206, 207 },
        { 204, 206, 207 },
        { 204, 205, 207 },
        { 204, 205, 206 }
    ],
    [
        { 206, 209, 210 },
        { 208, 209, 210 },
        { 206, 208, 210 },
        { 206, 208, 209 }
    ],
    [
        { 212, 213, 214 },
        { 211, 213, 214 },
        { 211, 212, 214 },
        { 211, 212, 213 }
    ],
    [
        { 213, 216, 217 },
        { 213, 215, 217 },
        { 213, 215, 216 },
        { 215, 216, 217 }
    ],
    [
        { 218, 219, 220 },
        { 123, 219, 220 },
        { 123, 218, 220 },
        { 123, 218, 219 }
    ],
    [
        { 216, 220, 221 },
        { 219, 220, 221 },
        { 216, 219, 221 },
        { 216, 219, 220 }
    ],
    [
        { 216, 222, 223 },
        { 215, 222, 223 },
        { 215, 216, 223 },
        { 215, 216, 222 }
    ],
    [
        { 224, 225, 226 },
        { 204, 225, 226 },
        { 204, 224, 226 },
        { 204, 224, 225 }
    ],
    [
        { 228, 229, 230 },
        { 227, 229, 230 },
        { 227, 228, 230 },
        { 227, 228, 229 }
    ],
    [
        { 231, 232, 233 },
        { 227, 232, 233 },
        { 227, 231, 233 },
        { 227, 231, 232 }
    ],
    [
        { 231, 232, 235 },
        { 231, 232, 234 },
        { 232, 234, 235 },
        { 231, 234, 235 }
    ],
    [
        { 237, 238, 239 },
        { 236, 238, 239 },
        { 236, 237, 239 },
        { 236, 237, 238 }
    ],
    [
        { 241, 242, 243 },
        { 240, 242, 243 },
        { 240, 241, 243 },
        { 240, 241, 242 }
    ],
    [
        { 243, 244, 245 },
        { 241, 244, 245 },
        { 241, 243, 245 },
        { 241, 243, 244 }
    ],
    [
        { 237, 239, 246 },
        { 239, 241, 246 },
        { 237, 241, 246 },
        { 237, 239, 241 }
    ],
    [
        { 244, 246, 247 },
        { 241, 246, 247 },
        { 241, 244, 247 },
        { 241, 244, 246 }
    ],
    [
        { 248, 249, 250 },
        { 240, 249, 250 },
        { 240, 248, 250 },
        { 240, 248, 249 }
    ],
    [
        { 252, 253, 254 },
        { 251, 253, 254 },
        { 251, 252, 254 },
        { 251, 252, 253 }
    ],
    [
        { 16, 17, 256 },
        { 16, 17, 255 },
        { 17, 255, 256 },
        { 16, 255, 256 }
    ],
    [
        { 16, 17, 18 },
        { 17, 18, 257 },
        { 16, 18, 257 },
        { 16, 17, 257 }
    ],
    [
        { 258, 259, 260 },
        { 20, 259, 260 },
        { 20, 258, 260 },
        { 20, 258, 259 }
    ],
    [
        { 261, 262, 263 },
        { 24, 262, 263 },
        { 24, 261, 263 },
        { 24, 261, 262 }
    ],
    [
        { 21, 264, 265 },
        { 20, 21, 265 },
        { 20, 21, 264 },
        { 20, 264, 265 }
    ],
    [
        { 21, 264, 267 },
        { 21, 266, 267 },
        { 21, 264, 266 },
        { 264, 266, 267 }
    ],
    [
        { 21, 22, 267 },
        { 20, 21, 22 },
        { 20, 22, 267 },
        { 20, 21, 267 }
    ],
    [
        { 26, 268, 269 },
        { 24, 26, 269 },
        { 24, 26, 268 },
        { 24, 268, 269 }
    ],
    [
        { 25, 26, 270 },
        { 24, 25, 26 },
        { 24, 26, 270 },
        { 24, 25, 270 }
    ],
    [
        { 26, 268, 270 },
        { 26, 270, 271 },
        { 26, 268, 271 },
        { 268, 270, 271 }
    ],
    [
        { 273, 274, 275 },
        { 272, 274, 275 },
        { 272, 273, 275 },
        { 272, 273, 274 }
    ],
    [
        { 274, 277, 278 },
        { 276, 277, 278 },
        { 274, 276, 278 },
        { 274, 276, 277 }
    ],
    [
        { 28, 29, 280 },
        { 28, 29, 279 },
        { 29, 279, 280 },
        { 28, 279, 280 }
    ],
    [
        { 28, 29, 30 },
        { 29, 30, 281 },
        { 28, 30, 281 },
        { 28, 29, 281 }
    ],
    [
        { 34, 35, 282 },
        { 32, 35, 282 },
        { 32, 34, 35 },
        { 32, 34, 282 }
    ],
    [
        { 34, 282, 284 },
        { 282, 283, 284 },
        { 34, 282, 283 },
        { 34, 283, 284 }
    ],
    [
        { 34, 282, 284 },
        { 282, 284, 285 },
        { 34, 282, 285 },
        { 34, 284, 285 }
    ],
    [
        { 37, 39, 286 },
        { 36, 39, 286 },
        { 36, 37, 39 },
        { 36, 37, 286 }
    ],
    [
        { 286, 287, 288 },
        { 36, 286, 288 },
        { 36, 286, 287 },
        { 36, 287, 288 }
    ],
    [
        { 286, 288, 289 },
        { 36, 286, 288 },
        { 36, 286, 289 },
        { 36, 288, 289 }
    ],
    [
        { 290, 291, 292 },
        { 287, 291, 292 },
        { 287, 290, 292 },
        { 287, 290, 291 }
    ],
    [
        { 287, 288, 289 },
        { 288, 289, 293, 294 },
        { 287, 288, 293 },
        { 287, 289, 294 },
        { 287, 293, 294 }
    ],
    [
        { 296, 297, 298 },
        { 295, 297, 298 },
        { 295, 296, 298 },
        { 295, 296, 297 }
    ],
    [
        { 298, 299, 300 },
        { 296, 299, 300 },
        { 296, 298, 300 },
        { 296, 298, 299 }
    ],
    [
        { 302, 303, 304 },
        { 301, 303, 304, 305 },
        { 301, 302, 304 },
        { 301, 302, 305 },
        { 302, 303, 305 }
    ],
    [
        { 307, 308, 309 },
        { 306, 308, 309 },
        { 306, 307, 309 },
        { 306, 307, 308 }
    ],
    [
        { 311, 312, 313 },
        { 310, 312, 313 },
        { 310, 311, 313 },
        { 310, 311, 312 }
    ],
    [
        { 311, 315, 316 },
        { 314, 315, 316 },
        { 311, 314, 316 },
        { 311, 314, 315 }
    ],
    [
        { 315, 317, 318 },
        { 314, 315, 318 },
        { 314, 317, 318 },
        { 314, 315, 317 }
    ],
    [
        { 40, 41, 43 },
        { 41, 43, 314 },
        { 40, 43, 314 },
        { 40, 41, 314 }
    ],
    [
        { 310, 313, 320 },
        { 313, 319, 320 },
        { 310, 319, 320 },
        { 310, 313, 319 }
    ],
    [
        { 45, 46, 313 },
        { 44, 46, 313 },
        { 44, 45, 313 },
        { 44, 45, 46 }
    ],
    [
        { 50, 322, 323 },
        { 50, 321, 323 },
        { 50, 321, 322 },
        { 321, 322, 323 }
    ],
    [
        { 50, 51, 323 },
        { 48, 50, 51 },
        { 48, 51, 323 },
        { 48, 50, 323 }
    ],
    [
        { 54, 56, 325 },
        { 54, 324, 325 },
        { 56, 324, 325 },
        { 54, 56, 324 }
    ],
    [
        { 54, 55, 56 },
        { 53, 54, 55 },
        { 53, 55, 56 },
        { 53, 54, 56 }
    ],
    [
        { 73, 74, 326 },
        { 53, 73, 74 },
        { 53, 74, 326 },
        { 53, 73, 326 }
    ],
    [
        { 56, 326, 327 },
        { 53, 326, 327 },
        { 53, 56, 326 },
        { 53, 56, 327 }
    ],
    [
        { 326, 328, 329 },
        { 56, 328, 329 },
        { 56, 326, 329 },
        { 56, 326, 328 }
    ],
    [
        { 59, 60, 62 },
        { 58, 59, 60 },
        { 58, 60, 62 },
        { 58, 59, 62 }
    ],
    [
        { 331, 332, 333 },
        { 330, 332, 333 },
        { 330, 331, 333 },
        { 330, 331, 332 }
    ],
    [
        { 63, 333, 334 },
        { 330, 333, 334 },
        { 63, 330, 334 },
        { 63, 330, 333 }
    ],
    [
        { 63, 333, 335 },
        { 331, 333, 335 },
        { 63, 331, 335 },
        { 63, 331, 333 }
    ],
    [
        { 63, 64, 331 },
        { 62, 63, 64 },
        { 62, 64, 331 },
        { 62, 63, 331 }
    ],
    [
        { 60, 63, 336 },
        { 60, 62, 336 },
        { 62, 63, 336 },
        { 60, 62, 63 }
    ],
    [
        { 111, 338, 339 },
        { 337, 338, 339 },
        { 111, 337, 339 },
        { 111, 337, 338 }
    ],
    [
        { 111, 340, 341 },
        { 337, 340, 341 },
        { 111, 337, 341 },
        { 111, 337, 340 }
    ],
    [
        { 338, 341, 342 },
        { 337, 341, 342 },
        { 337, 338, 342 },
        { 337, 338, 341 }
    ],
    [
        { 65, 67, 85 },
        { 53, 67, 85 },
        { 53, 65, 85 },
        { 53, 65, 67 }
    ],
    [
        { 343, 344, 345 },
        { 67, 344, 345 },
        { 67, 343, 345 },
        { 67, 343, 344 }
    ],
    [
        { 65, 66, 67 },
        { 53, 66, 67 },
        { 53, 65, 67 },
        { 53, 65, 66 }
    ],
    [
        { 67, 68, 343 },
        { 66, 68, 343 },
        { 66, 67, 68 },
        { 66, 67, 343 }
    ],
    [
        { 66, 71, 343 },
        { 69, 71, 343 },
        { 66, 69, 71 },
        { 66, 69, 343 }
    ],
    [
        { 79, 346, 347 },
        { 69, 79, 347 },
        { 69, 346, 347 },
        { 69, 79, 346 }
    ],
    [
        { 72, 74, 348 },
        { 53, 72, 74 },
        { 53, 74, 348 },
        { 53, 72, 348 }
    ],
    [
        { 72, 349, 350 },
        { 53, 72, 350 },
        { 53, 349, 350 },
        { 53, 72, 349 }
    ],
    [
        { 76, 349, 350 },
        { 53, 76, 350 },
        { 53, 349, 350 },
        { 53, 76, 349 }
    ],
    [
        { 76, 349, 352 },
        { 76, 351, 352 },
        { 76, 349, 351 },
        { 349, 351, 352 }
    ],
    [
        { 349, 353, 354 },
        { 351, 353, 354 },
        { 349, 351, 354 },
        { 349, 351, 353 }
    ],
    [
        { 76, 77, 355 },
        { 77, 351, 355 },
        { 76, 351, 355 },
        { 76, 77, 351 }
    ],
    [
        { 66, 69, 76, 77 },
        { 53, 66, 76 },
        { 53, 66, 69 },
        { 53, 69, 77 },
        { 53, 76, 77 }
    ],
    [
        { 77, 79, 80 },
        { 69, 77, 80 },
        { 69, 79, 80 },
        { 69, 77, 79 }
    ],
    [
        { 77, 356, 357 },
        { 79, 356, 357 },
        { 77, 79, 357 },
        { 77, 79, 356 }
    ],
    [
        { 53, 83, 84 },
        { 83, 84, 86 },
        { 53, 84, 86 },
        { 53, 83, 86 }
    ],
    [
        { 53, 83, 85 },
        { 83, 85, 358 },
        { 53, 85, 358 },
        { 53, 83, 358 }
    ],
    [
        { 53, 87, 88 },
        { 86, 87, 88 },
        { 53, 86, 88 },
        { 53, 86, 87 }
    ],
    [
        { 87, 359, 360 },
        { 86, 87, 360 },
        { 86, 359, 360 },
        { 86, 87, 359 }
    ],
    [
        { 53, 87, 91 },
        { 87, 90, 91 },
        { 53, 87, 90 },
        { 53, 90, 91 }
    ],
    [
        { 87, 91, 99 },
        { 87, 91, 98 },
        { 87, 98, 99 },
        { 91, 98, 99 }
    ],
    [
        { 96, 100, 362 },
        { 96, 100, 361, 363 },
        { 100, 361, 362 },
        { 96, 362, 363 },
        { 361, 362, 363 }
    ],
    [
        { 91, 98, 100 },
        { 91, 95, 98 },
        { 95, 96, 98, 100 },
        { 91, 96, 100 },
        { 91, 95, 96 }
    ],
    [
        { 91, 95, 96 },
        { 91, 94, 96 },
        { 94, 95, 96 },
        { 91, 94, 95 }
    ],
    [
        { 362, 364, 365 },
        { 174, 364, 365 },
        { 174, 362, 365 },
        { 174, 362, 364 }
    ],
    [
        { 364, 366, 367 },
        { 362, 364, 367 },
        { 362, 364, 366 },
        { 362, 366, 367 }
    ],
    [
        { 175, 177, 367 },
        { 174, 177, 367 },
        { 174, 175, 367 },
        { 174, 175, 177 }
    ],
    [
        { 123, 182, 368 },
        { 182, 184, 368 },
        { 123, 182, 184 },
        { 123, 184, 368 }
    ],
    [
        { 362, 369, 370 },
        { 123, 369, 370 },
        { 123, 362, 370 },
        { 123, 362, 369 }
    ],
    [
        { 368, 369, 371 },
        { 362, 369, 371 },
        { 362, 368, 371 },
        { 362, 368, 369 }
    ],
    [
        { 91, 99, 100 },
        { 91, 98, 100 },
        { 91, 98, 99 },
        { 98, 99, 100 }
    ],
    [
        { 373, 374, 375 },
        { 372, 374, 375 },
        { 372, 373, 375 },
        { 372, 373, 374 }
    ],
    [
        { 109, 114, 376 },
        { 108, 109, 376 },
        { 108, 114, 376 },
        { 108, 109, 114 }
    ],
    [
        { 103, 104, 106 },
        { 102, 103, 104 },
        { 102, 104, 106 },
        { 102, 103, 106 }
    ],
    [
        { 103, 107, 377 },
        { 106, 107, 377 },
        { 103, 106, 107 },
        { 103, 106, 377 }
    ],
    [
        { 106, 108, 110 },
        { 102, 106, 110 },
        { 102, 108, 110 },
        { 102, 106, 108 }
    ],
    [
        { 106, 109, 376 },
        { 108, 109, 376 },
        { 106, 108, 376 },
        { 106, 108, 109 }
    ],
    [
        { 378, 379, 380, 381 },
        { 106, 378, 380 },
        { 106, 378, 379 },
        { 106, 380, 381 },
        { 106, 379, 381 }
    ],
    [
        { 376, 380, 381 },
        { 106, 380, 381 },
        { 106, 376, 381 },
        { 106, 376, 380 }
    ],
    [
        { 377, 378, 379 },
        { 106, 378, 379 },
        { 106, 377, 379 },
        { 106, 377, 378 }
    ],
    [
        { 107, 377, 382 },
        { 103, 107, 382 },
        { 103, 377, 382 },
        { 103, 107, 377 }
    ],
    [
        { 376, 384, 385 },
        { 383, 384, 385 },
        { 376, 383, 385 },
        { 376, 383, 384 }
    ],
    [
        { 384, 387, 388 },
        { 384, 386, 388 },
        { 386, 387, 388 },
        { 384, 386, 387 }
    ],
    [
        { 377, 389, 390 },
        { 386, 389, 390 },
        { 377, 386, 390 },
        { 377, 386, 389 }
    ],
    [
        { 112, 113, 338 },
        { 111, 112, 113 },
        { 111, 113, 338 },
        { 111, 112, 338 }
    ],
    [
        { 108, 111, 113 },
        { 102, 108, 113 },
        { 102, 111, 113 },
        { 102, 108, 111 }
    ],
    [
        { 113, 114, 116 },
        { 108, 113, 116 },
        { 108, 114, 116 },
        { 108, 113, 114 }
    ],
    [
        { 118, 119, 392 },
        { 119, 391, 392 },
        { 118, 119, 391 },
        { 118, 391, 392 }
    ],
    [
        { 119, 120, 121 },
        { 118, 119, 120 },
        { 118, 120, 121 },
        { 118, 119, 121 }
    ],
    [
        { 126, 128, 393 },
        { 126, 127, 393 },
        { 126, 127, 128 },
        { 127, 128, 393 }
    ],
    [
        { 123, 125, 126 },
        { 125, 126, 391 },
        { 123, 126, 391 },
        { 123, 125, 391 }
    ],
    [
        { 124, 126, 127 },
        { 123, 124, 126 },
        { 123, 126, 127 },
        { 123, 124, 127 }
    ],
    [
        { 119, 392, 394 },
        { 119, 391, 392 },
        { 391, 392, 393, 394 },
        { 119, 391, 393 },
        { 119, 393, 394 }
    ],
    [
        { 218, 219, 395, 396 },
        { 123, 219, 395 },
        { 123, 218, 219 },
        { 123, 395, 396 },
        { 123, 218, 396 }
    ],
    [
        { 130, 131, 161 },
        { 129, 130, 131 },
        { 129, 131, 161 },
        { 129, 130, 161 }
    ],
    [
        { 200, 398, 399 },
        { 397, 398, 399 },
        { 200, 397, 399 },
        { 200, 397, 398 }
    ],
    [
        { 400, 401, 402 },
        { 397, 401, 402 },
        { 397, 400, 402 },
        { 397, 400, 401 }
    ],
    [
        { 134, 401, 403 },
        { 397, 401, 403 },
        { 134, 397, 403 },
        { 134, 397, 401 }
    ],
    [
        { 134, 135, 136 },
        { 135, 136, 200 },
        { 134, 136, 200 },
        { 134, 135, 200 }
    ],
    [
        { 137, 138, 404 },
        { 2, 138, 404 },
        { 2, 137, 138 },
        { 2, 137, 404 }
    ],
    [
        { 139, 405, 406 },
        { 2, 139, 406 },
        { 2, 405, 406 },
        { 2, 139, 405 }
    ],
    [
        { 3, 138, 139 },
        { 2, 3, 139 },
        { 2, 3, 138 },
        { 2, 138, 139 }
    ],
    [
        { 408, 409, 410 },
        { 407, 408, 410 },
        { 407, 408, 409, 411 },
        { 409, 410, 411 },
        { 407, 410, 411 }
    ],
    [
        { 5, 142, 412 },
        { 5, 141, 142 },
        { 141, 142, 412 },
        { 5, 141, 412 }
    ],
    [
        { 5, 7, 141 },
        { 5, 7, 140 },
        { 7, 140, 141 },
        { 5, 140, 141 }
    ],
    [
        { 5, 413, 414 },
        { 5, 140, 414 },
        { 140, 413, 414 },
        { 5, 140, 413 }
    ],
    [
        { 416, 417, 418 },
        { 415, 417, 418 },
        { 415, 416, 418 },
        { 415, 416, 417 }
    ],
    [
        { 415, 418, 420 },
        { 418, 419, 420 },
        { 415, 418, 419 },
        { 415, 419, 420 }
    ],
    [
        { 418, 420, 421 },
        { 416, 418, 421 },
        { 416, 418, 420 },
        { 416, 420, 421 }
    ],
    [
        { 422, 423, 424 },
        { 420, 423, 424 },
        { 420, 422, 424 },
        { 420, 422, 423 }
    ],
    [
        { 145, 420, 424 },
        { 143, 145, 424 },
        { 143, 420, 424 },
        { 143, 145, 420 }
    ],
    [
        { 143, 145, 420 },
        { 145, 420, 425 },
        { 143, 146, 420, 425 },
        { 145, 146, 425 },
        { 143, 145, 146 }
    ],
    [
        { 145, 146, 426 },
        { 145, 146, 425 },
        { 146, 425, 426 },
        { 145, 425, 426 }
    ],
    [
        { 426, 427, 428 },
        { 425, 426, 428 },
        { 425, 427, 428 },
        { 425, 426, 427 }
    ],
    [
        { 429, 430, 431 },
        { 425, 430, 431 },
        { 425, 429, 431 },
        { 425, 429, 430 }
    ],
    [
        { 430, 432, 433 },
        { 425, 430, 433 },
        { 425, 432, 433 },
        { 425, 430, 432 }
    ],
    [
        { 430, 432, 434 },
        { 429, 430, 434 },
        { 429, 430, 432 },
        { 429, 432, 434 }
    ],
    [
        { 420, 436, 437 },
        { 435, 436, 437 },
        { 420, 435, 437 },
        { 420, 435, 436 }
    ],
    [
        { 425, 435, 439 },
        { 435, 438, 439 },
        { 425, 438, 439 },
        { 425, 435, 438 }
    ],
    [
        { 148, 440, 441 },
        { 154, 440, 441 },
        { 148, 154, 441 },
        { 148, 154, 440 }
    ],
    [
        { 149, 440, 442 },
        { 148, 440, 442 },
        { 148, 149, 442 },
        { 148, 149, 440 }
    ],
    [
        { 153, 444, 445 },
        { 153, 443, 445 },
        { 153, 443, 444 },
        { 443, 444, 445 }
    ],
    [
        { 149, 153, 446 },
        { 149, 153, 444 },
        { 153, 444, 446 },
        { 149, 444, 446 }
    ],
    [
        { 149, 151, 153 },
        { 148, 151, 153 },
        { 148, 149, 151 },
        { 148, 149, 153 }
    ],
    [
        { 154, 156, 443, 447 },
        { 148, 153, 154, 443 },
        { 148, 153, 156, 447 },
        { 153, 443, 447 },
        { 148, 154, 156 }
    ],
    [
        { 166, 193, 450 },
        { 193, 448, 450 },
        { 166, 193, 448, 449 },
        { 448, 449, 450 },
        { 166, 449, 450 }
    ],
    [
        { 192, 193, 451, 452 },
        { 192, 448, 451, 453 },
        { 192, 193, 448 },
        { 193, 448, 452, 453 },
        { 451, 452, 453 }
    ],
    [
        { 159, 160, 454 },
        { 158, 159, 160 },
        { 158, 160, 454 },
        { 158, 159, 454 }
    ],
    [
        { 129, 161, 162 },
        { 161, 162, 455 },
        { 129, 162, 455 },
        { 129, 161, 455 }
    ],
    [
        { 129, 454, 457 },
        { 454, 456, 457 },
        { 129, 456, 457 },
        { 129, 454, 456 }
    ],
    [
        { 165, 166, 458 },
        { 164, 166, 458 },
        { 164, 165, 166 },
        { 164, 165, 458 }
    ],
    [
        { 166, 458, 459 },
        { 166, 196, 459 },
        { 196, 458, 459 },
        { 166, 196, 458 }
    ],
    [
        { 169, 170, 171, 172 },
        { 9, 169, 170 },
        { 9, 169, 171 },
        { 9, 170, 172 },
        { 9, 171, 172 }
    ],
    [
        { 11, 168, 169 },
        { 9, 11, 169 },
        { 9, 11, 168 },
        { 9, 168, 169 }
    ],
    [
        { 14, 171, 173 },
        { 9, 14, 173 },
        { 9, 14, 171 },
        { 9, 171, 173 }
    ],
    [
        { 175, 176, 460 },
        { 174, 176, 460 },
        { 174, 175, 460 },
        { 174, 175, 176 }
    ],
    [
        { 460, 461, 462 },
        { 176, 460, 462 },
        { 176, 461, 462 },
        { 176, 460, 461 }
    ],
    [
        { 178, 179, 181 },
        { 179, 181, 463 },
        { 178, 181, 463 },
        { 178, 179, 463 }
    ],
    [
        { 123, 181, 182 },
        { 179, 181, 182 },
        { 123, 179, 182 },
        { 123, 179, 181 }
    ],
    [
        { 186, 188, 190 },
        { 9, 186, 188 },
        { 9, 188, 190 },
        { 9, 186, 190 }
    ],
    [
        { 186, 191, 464 },
        { 186, 190, 191 },
        { 186, 190, 464 },
        { 190, 191, 464 }
    ],
    [
        { 192, 193, 194 },
        { 193, 194, 465 },
        { 192, 194, 465 },
        { 192, 193, 465 }
    ],
    [
        { 466, 467, 468 },
        { 465, 467, 468 },
        { 465, 466, 468 },
        { 465, 466, 467 }
    ],
    [
        { 466, 467, 469 },
        { 196, 467, 469 },
        { 196, 466, 467 },
        { 196, 466, 469 }
    ],
    [
        { 197, 198, 200, 202 },
        { 196, 197, 202 },
        { 196, 200, 202 },
        { 196, 198, 200 },
        { 196, 197, 198 }
    ],
    [
        { 190, 216, 471 },
        { 216, 470, 471 },
        { 190, 470, 471 },
        { 190, 216, 470 }
    ],
    [
        { 206, 473, 474 },
        { 206, 472, 474 },
        { 206, 472, 473 },
        { 472, 473, 474 }
    ],
    [
        { 205, 206, 473 },
        { 204, 206, 473 },
        { 204, 205, 206 },
        { 204, 205, 473 }
    ],
    [
        { 200, 206, 209 },
        { 206, 208, 209 },
        { 200, 208, 209 },
        { 200, 206, 208 }
    ],
    [
        { 212, 215, 476 },
        { 212, 215, 475, 477 },
        { 215, 475, 476 },
        { 212, 476, 477 },
        { 475, 476, 477 }
    ],
    [
        { 212, 213, 215 },
        { 213, 215, 216 },
        { 212, 214, 215, 216 },
        { 212, 213, 214 },
        { 213, 214, 216 }
    ],
    [
        { 216, 219, 220 },
        { 123, 216, 220 },
        { 123, 219, 220 },
        { 123, 216, 219 }
    ],
    [
        { 216, 219, 222 },
        { 215, 216, 222 },
        { 215, 219, 222 },
        { 215, 216, 219 }
    ],
    [
        { 200, 224, 225 },
        { 204, 224, 225 },
        { 200, 204, 225 },
        { 200, 204, 224 }
    ],
    [
        { 228, 229, 478 },
        { 227, 229, 478 },
        { 227, 228, 478 },
        { 227, 228, 229 }
    ],
    [
        { 478, 479, 480 },
        { 227, 478, 480 },
        { 227, 479, 480 },
        { 227, 478, 479 }
    ],
    [
        { 228, 230, 481 },
        { 227, 230, 481 },
        { 227, 228, 230 },
        { 227, 228, 481 }
    ],
    [
        { 231, 233, 481 },
        { 227, 233, 481 },
        { 227, 231, 233 },
        { 227, 231, 481 }
    ],
    [
        { 234, 479, 480 },
        { 227, 234, 480 },
        { 227, 479, 480 },
        { 227, 234, 479 }
    ],
    [
        { 231, 232, 234 },
        { 227, 231, 232 },
        { 227, 232, 234 },
        { 227, 231, 234 }
    ],
    [
        { 241, 483, 484 },
        { 482, 483, 484 },
        { 241, 482, 484 },
        { 241, 482, 483 }
    ],
    [
        { 241, 242, 483 },
        { 240, 242, 483 },
        { 240, 241, 483 },
        { 240, 241, 242 }
    ],
    [
        { 241, 482, 484 },
        { 236, 241, 484 },
        { 236, 482, 484 },
        { 236, 241, 482 }
    ],
    [
        { 237, 239, 241 },
        { 236, 237, 239 },
        { 236, 239, 241 },
        { 236, 237, 241 }
    ],
    [
        { 241, 243, 244 },
        { 240, 243, 244 },
        { 240, 241, 244 },
        { 240, 241, 243 }
    ],
    [
        { 237, 244, 246 },
        { 241, 244, 246 },
        { 237, 241, 246 },
        { 237, 241, 244 }
    ],
    [
        { 240, 248, 249 },
        { 248, 249, 485 },
        { 240, 249, 485 },
        { 240, 248, 485 }
    ],
    [
        { 248, 250, 486 },
        { 240, 248, 250 },
        { 240, 250, 486 },
        { 240, 248, 486 }
    ],
    [
        { 486, 487, 488 },
        { 485, 487, 488 },
        { 485, 486, 488 },
        { 485, 486, 487 }
    ],
    [
        { 250, 486, 489 },
        { 240, 250, 489 },
        { 240, 250, 486 },
        { 240, 486, 489 }
    ],
    [
        { 487, 490, 491 },
        { 485, 487, 491 },
        { 485, 487, 490 },
        { 485, 490, 491 }
    ],
    [
        { 491, 492, 493 },
        { 490, 492, 493 },
        { 490, 491, 493 },
        { 490, 491, 492 }
    ],
    [
        { 492, 495, 496 },
        { 492, 494, 496 },
        { 494, 495, 496 },
        { 492, 494, 495 }
    ],
    [
        { 497, 498, 499 },
        { 495, 498, 499 },
        { 495, 497, 499 },
        { 495, 497, 498 }
    ],
    [
        { 240, 501, 502 },
        { 500, 501, 502 },
        { 240, 500, 502 },
        { 240, 500, 501 }
    ],
    [
        { 252, 253, 503 },
        { 251, 252, 253 },
        { 251, 253, 503 },
        { 251, 252, 503 }
    ],
    [
        { 252, 254, 504 },
        { 251, 252, 254 },
        { 251, 254, 504 },
        { 251, 252, 504 }
    ],
    [
        { 252, 504, 505 },
        { 252, 503, 505 },
        { 503, 504, 505 },
        { 252, 503, 504 }
    ],
    [
        { 254, 504, 506 },
        { 251, 254, 506 },
        { 251, 254, 504 },
        { 251, 504, 506 }
    ],
    [
        { 504, 505, 507 },
        { 503, 505, 507 },
        { 503, 504, 505 },
        { 503, 504, 507 }
    ],
    [
        { 497, 508, 509 },
        { 251, 497, 509 },
        { 251, 508, 509 },
        { 251, 497, 508 }
    ],
    [
        { 511, 512, 513 },
        { 510, 512, 513 },
        { 510, 511, 513 },
        { 510, 511, 512 }
    ],
    [
        { 507, 511, 512 },
        { 503, 507, 512 },
        { 503, 507, 511 },
        { 503, 511, 512 }
    ],
    [
        { 511, 514, 515 },
        { 510, 511, 515 },
        { 510, 514, 515 },
        { 510, 511, 514 }
    ],
    [
        { 503, 516, 517 },
        { 251, 516, 517 },
        { 251, 503, 517 },
        { 251, 503, 516 }
    ],
    [
        { 517, 518, 519 },
        { 503, 517, 519 },
        { 503, 517, 518 },
        { 503, 518, 519 }
    ],
    [
        { 520, 521, 522 },
        { 251, 521, 522 },
        { 251, 520, 522 },
        { 251, 520, 521 }
    ],
    [
        { 521, 523, 524 },
        { 520, 521, 524 },
        { 520, 521, 523 },
        { 520, 523, 524 }
    ],
    [
        { 525, 527, 529 },
        { 525, 526, 529, 530 },
        { 525, 526, 527, 528 },
        { 527, 528, 529, 530 },
        { 526, 528, 530 }
    ],
    [
        { 532, 533, 534 },
        { 531, 533, 534 },
        { 531, 532, 534 },
        { 531, 532, 533 }
    ],
    [
        { 525, 526, 533, 534 },
        { 525, 526, 535, 536 },
        { 526, 533, 536 },
        { 533, 534, 535, 536 },
        { 525, 534, 535 }
    ],
    [
        { 16, 257, 537 },
        { 16, 255, 537 },
        { 16, 255, 257 },
        { 255, 257, 537 }
    ],
    [
        { 16, 17, 257 },
        { 16, 17, 255 },
        { 17, 255, 257 },
        { 16, 255, 257 }
    ],
    [
        { 539, 540, 541 },
        { 538, 540, 541 },
        { 538, 539, 541 },
        { 538, 539, 540 }
    ],
    [
        { 259, 262, 543 },
        { 259, 262, 542 },
        { 259, 542, 543 },
        { 262, 542, 543 }
    ],
    [
        { 258, 259, 543 },
        { 20, 259, 543 },
        { 20, 258, 259 },
        { 20, 258, 543 }
    ],
    [
        { 261, 262, 543 },
        { 24, 261, 262 },
        { 24, 262, 543 },
        { 24, 261, 543 }
    ],
    [
        { 544, 545, 546 },
        { 538, 545, 546 },
        { 538, 544, 546 },
        { 538, 544, 545 }
    ],
    [
        { 264, 265, 547 },
        { 20, 264, 265 },
        { 20, 265, 547 },
        { 20, 264, 547 }
    ],
    [
        { 24, 268, 269 },
        { 268, 269, 548 },
        { 24, 269, 548 },
        { 24, 268, 548 }
    ],
    [
        { 21, 264, 267 },
        { 20, 21, 267 },
        { 20, 21, 264 },
        { 20, 264, 267 }
    ],
    [
        { 24, 25, 270 },
        { 20, 22, 24, 25 },
        { 20, 24, 267, 270 },
        { 22, 25, 267, 270 },
        { 20, 22, 267 }
    ],
    [
        { 26, 268, 270 },
        { 24, 26, 270 },
        { 24, 26, 268 },
        { 24, 268, 270 }
    ],
    [
        { 268, 548, 550, 551 },
        { 548, 549, 550 },
        { 268, 548, 549 },
        { 549, 550, 551 },
        { 268, 549, 551 }
    ],
    [
        { 552, 553, 554 },
        { 272, 553, 554 },
        { 272, 552, 553, 555 },
        { 552, 554, 555 },
        { 272, 554, 555 }
    ],
    [
        { 274, 557, 558 },
        { 556, 557, 558 },
        { 274, 556, 558 },
        { 274, 556, 557 }
    ],
    [
        { 273, 274, 558 },
        { 272, 274, 558 },
        { 272, 273, 558 },
        { 272, 273, 274 }
    ],
    [
        { 274, 277, 557 },
        { 276, 277, 557 },
        { 274, 276, 557 },
        { 274, 276, 277 }
    ],
    [
        { 549, 559, 561 },
        { 559, 560, 561, 562 },
        { 549, 559, 560 },
        { 549, 560, 562 },
        { 549, 561, 562 }
    ],
    [
        { 272, 553, 561, 562 },
        { 272, 552, 553, 555 },
        { 552, 555, 561, 562 },
        { 272, 555, 561 },
        { 552, 553, 562 }
    ],
    [
        { 28, 281, 563 },
        { 28, 279, 563 },
        { 28, 279, 281 },
        { 279, 281, 563 }
    ],
    [
        { 28, 29, 281 },
        { 28, 29, 279 },
        { 29, 279, 281 },
        { 28, 279, 281 }
    ],
    [
        { 32, 282, 565 },
        { 282, 564, 565 },
        { 32, 282, 564 },
        { 32, 564, 565 }
    ],
    [
        { 32, 282, 565 },
        { 282, 283, 565 },
        { 32, 282, 283 },
        { 32, 283, 565 }
    ],
    [
        { 567, 568, 569 },
        { 566, 568, 569 },
        { 566, 567, 569 },
        { 566, 567, 568 }
    ],
    [
        { 567, 568, 569 },
        { 568, 569, 570 },
        { 567, 569, 570 },
        { 567, 568, 570 }
    ],
    [
        { 32, 34, 282 },
        { 34, 282, 283 },
        { 32, 282, 283 },
        { 32, 34, 283 }
    ],
    [
        { 34, 284, 285 },
        { 34, 283, 284 },
        { 283, 284, 285 },
        { 34, 283, 285 }
    ],
    [
        { 34, 285, 572 },
        { 34, 571, 572 },
        { 285, 571, 572 },
        { 34, 285, 571 }
    ],
    [
        { 37, 286, 289 },
        { 36, 286, 289 },
        { 36, 37, 286 },
        { 36, 37, 289 }
    ],
    [
        { 287, 288, 289 },
        { 36, 288, 289 },
        { 36, 287, 288 },
        { 36, 287, 289 }
    ],
    [
        { 287, 290, 291 },
        { 36, 290, 291 },
        { 36, 287, 291 },
        { 36, 287, 290 }
    ],
    [
        { 289, 290, 294 },
        { 287, 290, 294 },
        { 287, 289, 294 },
        { 287, 289, 290 }
    ],
    [
        { 299, 574, 575 },
        { 573, 574, 575 },
        { 299, 573, 575 },
        { 299, 573, 574 }
    ],
    [
        { 574, 576, 577 },
        { 295, 574, 577 },
        { 295, 576, 577 },
        { 295, 574, 576 }
    ],
    [
        { 574, 578, 579 },
        { 574, 576, 578 },
        { 573, 576, 578, 579 },
        { 573, 574, 576 },
        { 573, 574, 579 }
    ],
    [
        { 299, 580, 581 },
        { 296, 299, 581 },
        { 296, 299, 580 },
        { 296, 580, 581 }
    ],
    [
        { 296, 298, 299 },
        { 295, 298, 299 },
        { 295, 296, 299 },
        { 295, 296, 298 }
    ],
    [
        { 289, 296, 582 },
        { 289, 295, 582 },
        { 295, 296, 582 },
        { 289, 295, 296 }
    ],
    [
        { 573, 576, 584, 585 },
        { 576, 583, 584 },
        { 573, 576, 583 },
        { 583, 584, 585 },
        { 573, 583, 585 }
    ],
    [
        { 17, 587, 588 },
        { 17, 586, 588 },
        { 17, 586, 587 },
        { 586, 587, 588 }
    ],
    [
        { 590, 591, 592 },
        { 589, 591, 592 },
        { 589, 590, 592 },
        { 589, 590, 591 }
    ],
    [
        { 301, 302, 594 },
        { 302, 593, 594 },
        { 301, 304, 593, 594 },
        { 301, 302, 304 },
        { 302, 304, 593 }
    ],
    [
        { 590, 596, 597 },
        { 595, 596, 597 },
        { 590, 595, 597 },
        { 590, 595, 596 }
    ],
    [
        { 599, 600, 601 },
        { 598, 599, 601, 602 },
        { 598, 599, 600 },
        { 598, 600, 602 },
        { 600, 601, 602 }
    ],
    [
        { 576, 599, 600 },
        { 599, 600, 603 },
        { 576, 600, 603 },
        { 576, 599, 603 }
    ],
    [
        { 306, 309, 317 },
        { 309, 317, 319 },
        { 306, 307, 317, 319 },
        { 306, 307, 309 },
        { 307, 309, 319 }
    ],
    [
        { 310, 311, 313 },
        { 311, 313, 319 },
        { 310, 313, 319 },
        { 310, 311, 319 }
    ],
    [
        { 313, 604, 605 },
        { 311, 313, 605 },
        { 311, 313, 604 },
        { 311, 604, 605 }
    ],
    [
        { 311, 315, 317 },
        { 314, 315, 317 },
        { 311, 314, 315 },
        { 311, 314, 317 }
    ],
    [
        { 311, 604, 606 },
        { 314, 604, 606 },
        { 311, 314, 606 },
        { 311, 314, 604 }
    ],
    [
        { 604, 608, 609 },
        { 607, 608, 609 },
        { 604, 607, 609 },
        { 604, 607, 608 }
    ],
    [
        { 41, 317, 318 },
        { 41, 314, 318 },
        { 314, 317, 318 },
        { 41, 314, 317 }
    ],
    [
        { 40, 41, 604 },
        { 40, 41, 314 },
        { 41, 314, 604 },
        { 40, 314, 604 }
    ],
    [
        { 604, 610, 611 },
        { 295, 610, 611 },
        { 295, 604, 611 },
        { 295, 604, 610 }
    ],
    [
        { 45, 313, 320 },
        { 313, 319, 320 },
        { 45, 319, 320 },
        { 45, 313, 319 }
    ],
    [
        { 46, 313, 604 },
        { 45, 46, 313 },
        { 45, 313, 604 },
        { 45, 46, 604 }
    ],
    [
        { 290, 613, 614 },
        { 612, 613, 614 },
        { 290, 612, 614 },
        { 290, 612, 613 }
    ],
    [
        { 616, 617, 618 },
        { 615, 617, 618 },
        { 615, 616, 618 },
        { 615, 616, 617 }
    ],
    [
        { 50, 51, 323 },
        { 50, 51, 321 },
        { 51, 321, 323 },
        { 50, 321, 323 }
    ],
    [
        { 53, 54, 56 },
        { 54, 56, 324 },
        { 53, 54, 324 },
        { 53, 56, 324 }
    ],
    [
        { 74, 326, 348 },
        { 53, 74, 326 },
        { 53, 74, 348 },
        { 53, 326, 348 }
    ],
    [
        { 56, 326, 329 },
        { 53, 326, 329 },
        { 53, 56, 329 },
        { 53, 56, 326 }
    ],
    [
        { 59, 60, 336 },
        { 60, 62, 336 },
        { 59, 62, 336 },
        { 59, 60, 62 }
    ],
    [
        { 63, 331, 333 },
        { 63, 330, 333 },
        { 330, 331, 333 },
        { 63, 330, 331 }
    ],
    [
        { 63, 331, 336 },
        { 62, 63, 336 },
        { 62, 331, 336 },
        { 62, 63, 331 }
    ],
    [
        { 63, 336, 619 },
        { 63, 330, 336 },
        { 330, 336, 619 },
        { 63, 330, 619 }
    ],
    [
        { 341, 620, 621 },
        { 330, 341, 621 },
        { 330, 341, 620, 622 },
        { 330, 621, 622 },
        { 620, 621, 622 }
    ],
    [
        { 111, 341, 623 },
        { 102, 111, 341 },
        { 102, 341, 623 },
        { 102, 111, 623 }
    ],
    [
        { 111, 338, 341 },
        { 337, 338, 341 },
        { 111, 337, 341 },
        { 111, 337, 338 }
    ],
    [
        { 53, 67, 85 },
        { 67, 85, 358 },
        { 53, 85, 358 },
        { 53, 67, 358 }
    ],
    [
        { 67, 343, 344 },
        { 343, 344, 358 },
        { 67, 344, 358 },
        { 67, 343, 358 }
    ],
    [
        { 66, 67, 343 },
        { 53, 67, 343 },
        { 53, 66, 343 },
        { 53, 66, 67 }
    ],
    [
        { 66, 69, 343 },
        { 53, 66, 343 },
        { 53, 69, 343 },
        { 53, 66, 69 }
    ],
    [
        { 79, 343, 347 },
        { 69, 79, 347 },
        { 69, 343, 347 },
        { 69, 79, 343 }
    ],
    [
        { 72, 348, 349 },
        { 53, 72, 349 },
        { 53, 72, 348 },
        { 53, 348, 349 }
    ],
    [
        { 76, 349, 351 },
        { 53, 76, 349 },
        { 53, 76, 351 },
        { 53, 349, 351 }
    ],
    [
        { 349, 351, 354 },
        { 348, 349, 354 },
        { 348, 351, 354 },
        { 348, 349, 351 }
    ],
    [
        { 76, 77, 351 },
        { 53, 76, 77 },
        { 53, 77, 351 },
        { 53, 76, 351 }
    ],
    [
        { 69, 77, 79 },
        { 53, 77, 79 },
        { 53, 69, 77 },
        { 53, 69, 79 }
    ],
    [
        { 77, 79, 356 },
        { 77, 351, 356 },
        { 79, 351, 356 },
        { 77, 79, 351 }
    ],
    [
        { 53, 83, 358 },
        { 53, 83, 86 },
        { 83, 86, 358 },
        { 53, 86, 358 }
    ],
    [
        { 53, 87, 359 },
        { 86, 87, 359 },
        { 53, 86, 87 },
        { 53, 86, 359 }
    ],
    [
        { 87, 91, 99 },
        { 53, 87, 91 },
        { 53, 87, 99 },
        { 53, 91, 99 }
    ],
    [
        { 91, 96, 100 },
        { 91, 96, 362 },
        { 96, 100, 362 },
        { 91, 100, 362 }
    ],
    [
        { 91, 96, 624 },
        { 91, 94, 96 },
        { 94, 96, 624 },
        { 91, 94, 624 }
    ],
    [
        { 362, 364, 367 },
        { 174, 364, 367 },
        { 174, 362, 364 },
        { 174, 362, 367 }
    ],
    [
        { 175, 367, 460 },
        { 174, 367, 460 },
        { 174, 175, 367 },
        { 174, 175, 460 }
    ],
    [
        { 123, 182, 368 },
        { 179, 182, 368 },
        { 123, 179, 182 },
        { 123, 179, 368 }
    ],
    [
        { 362, 368, 369 },
        { 123, 368, 369 },
        { 123, 362, 369 },
        { 123, 362, 368 }
    ],
    [
        { 91, 99, 100 },
        { 53, 91, 100 },
        { 53, 91, 99 },
        { 53, 99, 100 }
    ],
    [
        { 374, 626, 627 },
        { 625, 626, 627 },
        { 374, 625, 627 },
        { 374, 625, 626 }
    ],
    [
        { 374, 626, 628 },
        { 443, 626, 628 },
        { 374, 443, 628 },
        { 374, 443, 626 }
    ],
    [
        { 373, 374, 629 },
        { 373, 374, 443 },
        { 374, 443, 629 },
        { 373, 443, 629 }
    ],
    [
        { 373, 374, 630 },
        { 372, 374, 630 },
        { 372, 373, 374 },
        { 372, 373, 630 }
    ],
    [
        { 631, 632, 633 },
        { 391, 632, 633 },
        { 391, 631, 633 },
        { 391, 631, 632 }
    ],
    [
        { 632, 635, 636 },
        { 632, 634, 636 },
        { 634, 635, 636 },
        { 632, 634, 635 }
    ],
    [
        { 634, 638, 639 },
        { 637, 638, 639 },
        { 634, 637, 639 },
        { 634, 637, 638 }
    ],
    [
        { 108, 114, 376 },
        { 102, 114, 376 },
        { 102, 108, 376 },
        { 102, 108, 114 }
    ],
    [
        { 114, 376, 641 },
        { 376, 640, 641 },
        { 114, 640, 641 },
        { 114, 376, 640 }
    ],
    [
        { 103, 106, 377 },
        { 102, 103, 377 },
        { 102, 106, 377 },
        { 102, 103, 106 }
    ],
    [
        { 106, 108, 376 },
        { 102, 106, 376 },
        { 102, 108, 376 },
        { 102, 106, 108 }
    ],
    [
        { 376, 377, 378, 380 },
        { 106, 376, 377 },
        { 106, 377, 378 },
        { 106, 376, 380 },
        { 106, 378, 380 }
    ],
    [
        { 103, 377, 382 },
        { 102, 377, 382 },
        { 102, 103, 382 },
        { 102, 103, 377 }
    ],
    [
        { 377, 382, 643 },
        { 382, 642, 643 },
        { 377, 642, 643 },
        { 377, 382, 642 }
    ],
    [
        { 376, 384, 385 },
        { 384, 385, 640 },
        { 376, 385, 640 },
        { 376, 384, 640 }
    ],
    [
        { 376, 377, 387 },
        { 377, 386, 387 },
        { 376, 377, 384, 386 },
        { 376, 384, 387 },
        { 384, 386, 387 }
    ],
    [
        { 377, 389, 642 },
        { 377, 386, 389 },
        { 386, 389, 642 },
        { 377, 386, 642 }
    ],
    [
        { 637, 645, 646 },
        { 644, 645, 646 },
        { 637, 644, 646 },
        { 637, 644, 645 }
    ],
    [
        { 384, 645, 647 },
        { 384, 386, 645 },
        { 384, 386, 647, 648 },
        { 386, 645, 648 },
        { 645, 647, 648 }
    ],
    [
        { 642, 645, 646 },
        { 386, 645, 646 },
        { 386, 642, 646 },
        { 386, 642, 645 }
    ],
    [
        { 111, 113, 338 },
        { 102, 113, 338 },
        { 102, 111, 113 },
        { 102, 111, 338 }
    ],
    [
        { 108, 113, 114 },
        { 102, 113, 114 },
        { 102, 108, 113 },
        { 102, 108, 114 }
    ],
    [
        { 121, 649, 650 },
        { 121, 640, 650 },
        { 121, 640, 649 },
        { 640, 649, 650 }
    ],
    [
        { 121, 649, 651 },
        { 121, 391, 649 },
        { 121, 391, 651 },
        { 391, 649, 651 }
    ],
    [
        { 118, 119, 121 },
        { 119, 121, 391 },
        { 118, 119, 391 },
        { 118, 121, 391 }
    ],
    [
        { 640, 653, 654 },
        { 652, 653, 654 },
        { 640, 652, 654 },
        { 640, 652, 653 }
    ],
    [
        { 123, 126, 127 },
        { 123, 126, 391 },
        { 123, 127, 391, 393 },
        { 126, 391, 393 },
        { 126, 127, 393 }
    ],
    [
        { 119, 393, 655 },
        { 119, 391, 393 },
        { 391, 393, 655 },
        { 119, 391, 655 }
    ],
    [
        { 432, 657, 658 },
        { 432, 656, 658 },
        { 432, 656, 657 },
        { 656, 657, 658 }
    ],
    [
        { 395, 396, 659, 660 },
        { 123, 395, 659 },
        { 123, 659, 660 },
        { 123, 395, 396 },
        { 123, 396, 660 }
    ],
    [
        { 215, 219, 395 },
        { 123, 219, 395 },
        { 123, 215, 395 },
        { 123, 215, 219 }
    ],
    [
        { 129, 131, 161 },
        { 131, 161, 455 },
        { 129, 131, 455 },
        { 129, 161, 455 }
    ],
    [
        { 134, 200, 398 },
        { 134, 397, 398 },
        { 134, 200, 397 },
        { 200, 397, 398 }
    ],
    [
        { 134, 400, 401 },
        { 134, 397, 401 },
        { 397, 400, 401 },
        { 134, 397, 400 }
    ],
    [
        { 129, 134, 135 },
        { 134, 135, 200 },
        { 129, 135, 200 },
        { 129, 134, 200 }
    ],
    [
        { 2, 138, 404 },
        { 138, 404, 472 },
        { 2, 138, 472 },
        { 2, 404, 472 }
    ],
    [
        { 138, 139, 405 },
        { 2, 138, 139 },
        { 2, 139, 405 },
        { 2, 138, 405 }
    ],
    [
        { 138, 407, 410 },
        { 138, 141, 410 },
        { 138, 141, 407, 408 },
        { 141, 408, 410 },
        { 407, 408, 410 }
    ],
    [
        { 200, 400, 661 },
        { 397, 400, 661 },
        { 200, 397, 661 },
        { 200, 397, 400 }
    ],
    [
        { 5, 141, 412 },
        { 5, 400, 412 },
        { 5, 141, 400 },
        { 141, 400, 412 }
    ],
    [
        { 5, 141, 413 },
        { 5, 140, 413 },
        { 5, 140, 141 },
        { 140, 141, 413 }
    ],
    [
        { 416, 418, 420 },
        { 415, 418, 420 },
        { 415, 416, 418 },
        { 415, 416, 420 }
    ],
    [
        { 423, 424, 426, 427 },
        { 423, 427, 662 },
        { 426, 427, 662 },
        { 424, 426, 662 },
        { 423, 424, 662 }
    ],
    [
        { 423, 424, 662 },
        { 420, 423, 424 },
        { 420, 424, 662 },
        { 420, 423, 662 }
    ],
    [
        { 145, 425, 426 },
        { 145, 420, 425 },
        { 420, 424, 425, 426 },
        { 145, 424, 426 },
        { 145, 420, 424 }
    ],
    [
        { 426, 427, 662 },
        { 425, 426, 427 },
        { 425, 426, 662 },
        { 425, 427, 662 }
    ],
    [
        { 429, 430, 432 },
        { 425, 430, 432 },
        { 425, 429, 430 },
        { 425, 429, 432 }
    ],
    [
        { 435, 440, 663 },
        { 440, 444, 663 },
        { 435, 444, 663 },
        { 435, 440, 444 }
    ],
    [
        { 420, 425, 435 },
        { 420, 425, 437, 438 },
        { 425, 435, 438 },
        { 435, 437, 438 },
        { 420, 435, 437 }
    ],
    [
        { 148, 149, 440 },
        { 149, 154, 440 },
        { 148, 154, 440 },
        { 148, 149, 154 }
    ],
    [
        { 149, 153, 444 },
        { 149, 153, 443 },
        { 153, 443, 444 },
        { 149, 443, 444 }
    ],
    [
        { 148, 149, 154 },
        { 149, 154, 443 },
        { 148, 153, 154, 443 },
        { 149, 153, 443 },
        { 148, 149, 153 }
    ],
    [
        { 164, 166, 192, 193 },
        { 192, 193, 448 },
        { 164, 192, 448, 449 },
        { 166, 193, 448, 449 },
        { 164, 166, 449 }
    ],
    [
        { 664, 665, 666 },
        { 164, 664, 666, 667 },
        { 164, 664, 665 },
        { 164, 665, 667 },
        { 665, 666, 667 }
    ],
    [
        { 129, 458, 669 },
        { 458, 668, 669 },
        { 129, 668, 669 },
        { 129, 458, 668 }
    ],
    [
        { 158, 160, 454 },
        { 160, 454, 665 },
        { 158, 160, 665 },
        { 158, 454, 665 }
    ],
    [
        { 129, 162, 454 },
        { 162, 454, 455 },
        { 129, 454, 455 },
        { 129, 162, 455 }
    ],
    [
        { 129, 454, 458 },
        { 454, 456, 458 },
        { 129, 456, 458 },
        { 129, 454, 456 }
    ],
    [
        { 458, 670, 671 },
        { 196, 458, 671 },
        { 196, 670, 671 },
        { 196, 458, 670 }
    ],
    [
        { 166, 196, 458 },
        { 164, 166, 458 },
        { 164, 166, 196 },
        { 164, 196, 458 }
    ],
    [
        { 168, 173, 672 },
        { 173, 463, 672 },
        { 168, 173, 461, 463 },
        { 168, 461, 672 },
        { 461, 463, 672 }
    ],
    [
        { 168, 169, 171, 173 },
        { 9, 168, 173 },
        { 9, 171, 173 },
        { 9, 168, 169 },
        { 9, 169, 171 }
    ],
    [
        { 176, 460, 461 },
        { 174, 460, 461 },
        { 174, 176, 460 },
        { 174, 176, 461 }
    ],
    [
        { 179, 460, 461, 463 },
        { 178, 461, 462, 463 },
        { 178, 179, 463 },
        { 178, 179, 460, 462 },
        { 460, 461, 462 }
    ],
    [
        { 123, 179, 181 },
        { 123, 181, 463 },
        { 179, 181, 463 },
        { 123, 179, 463 }
    ],
    [
        { 186, 190, 464 },
        { 9, 186, 464 },
        { 9, 186, 190 },
        { 9, 190, 464 }
    ],
    [
        { 192, 193, 196 },
        { 192, 193, 465 },
        { 193, 196, 465 },
        { 192, 196, 465 }
    ],
    [
        { 196, 466, 467 },
        { 465, 466, 467 },
        { 196, 465, 467 },
        { 196, 465, 466 }
    ],
    [
        { 200, 202, 467, 469 },
        { 196, 202, 469 },
        { 196, 200, 202 },
        { 196, 467, 469 },
        { 196, 200, 467 }
    ],
    [
        { 190, 216, 471 },
        { 216, 465, 471 },
        { 190, 465, 471 },
        { 190, 216, 465 }
    ],
    [
        { 190, 216, 220 },
        { 123, 216, 220 },
        { 123, 190, 220 },
        { 123, 190, 216 }
    ],
    [
        { 216, 673, 674 },
        { 216, 465, 674 },
        { 465, 673, 674 },
        { 216, 465, 673 }
    ],
    [
        { 204, 206, 473 },
        { 206, 472, 473 },
        { 204, 206, 472 },
        { 204, 472, 473 }
    ],
    [
        { 200, 206, 675 },
        { 206, 472, 675 },
        { 200, 472, 675 },
        { 200, 206, 472 }
    ],
    [
        { 200, 206, 209 },
        { 204, 206, 209 },
        { 200, 204, 209 },
        { 200, 204, 206 }
    ],
    [
        { 212, 214, 215, 216 },
        { 212, 215, 475, 477 },
        { 215, 216, 475 },
        { 214, 216, 475, 477 },
        { 212, 214, 477 }
    ],
    [
        { 215, 216, 219 },
        { 123, 216, 219 },
        { 123, 215, 216 },
        { 123, 215, 219 }
    ],
    [
        { 200, 216, 225 },
        { 204, 216, 225 },
        { 200, 204, 225 },
        { 200, 204, 216 }
    ],
    [
        { 228, 478, 479 },
        { 227, 478, 479 },
        { 227, 228, 478 },
        { 227, 228, 479 }
    ],
    [
        { 228, 231, 481 },
        { 227, 231, 481 },
        { 227, 228, 481 },
        { 227, 228, 231 }
    ],
    [
        { 231, 234, 479 },
        { 227, 231, 234 },
        { 227, 231, 479 },
        { 227, 234, 479 }
    ],
    [
        { 240, 241, 483 },
        { 241, 482, 483 },
        { 240, 482, 483 },
        { 240, 241, 482 }
    ],
    [
        { 237, 241, 482 },
        { 236, 237, 241 },
        { 236, 237, 482 },
        { 236, 241, 482 }
    ],
    [
        { 237, 241, 244 },
        { 237, 240, 244 },
        { 240, 241, 244 },
        { 237, 240, 241 }
    ],
    [
        { 237, 482, 676 },
        { 236, 237, 676 },
        { 236, 482, 676 },
        { 236, 237, 482 }
    ],
    [
        { 231, 234, 677 },
        { 231, 479, 677 },
        { 234, 479, 677 },
        { 231, 234, 479 }
    ],
    [
        { 240, 248, 486 },
        { 248, 485, 486 },
        { 240, 248, 485 },
        { 240, 485, 486 }
    ],
    [
        { 486, 487, 490 },
        { 485, 486, 487 },
        { 485, 487, 490 },
        { 485, 486, 490 }
    ],
    [
        { 486, 489, 490 },
        { 240, 486, 489 },
        { 240, 489, 490 },
        { 240, 486, 490 }
    ],
    [
        { 490, 491, 492 },
        { 485, 491, 492 },
        { 485, 490, 492 },
        { 485, 490, 491 }
    ],
    [
        { 492, 494, 495 },
        { 490, 492, 495 },
        { 490, 492, 494 },
        { 490, 494, 495 }
    ],
    [
        { 497, 500, 679, 680 },
        { 497, 500, 678, 681 },
        { 500, 678, 680 },
        { 678, 679, 680, 681 },
        { 497, 679, 681 }
    ],
    [
        { 497, 498, 679 },
        { 495, 497, 498 },
        { 495, 497, 679, 682 },
        { 495, 498, 682 },
        { 498, 679, 682 }
    ],
    [
        { 240, 490, 501 },
        { 490, 500, 501 },
        { 240, 500, 501 },
        { 240, 490, 500 }
    ],
    [
        { 490, 494, 495 },
        { 494, 495, 500 },
        { 490, 495, 500 },
        { 490, 494, 500 }
    ],
    [
        { 252, 503, 504 },
        { 251, 252, 504 },
        { 251, 252, 503 },
        { 251, 503, 504 }
    ],
    [
        { 504, 506, 511 },
        { 251, 504, 506 },
        { 251, 506, 511 },
        { 251, 504, 511 }
    ],
    [
        { 504, 507, 511 },
        { 503, 504, 507 },
        { 503, 507, 511 },
        { 503, 504, 511 }
    ],
    [
        { 497, 509, 511 },
        { 251, 509, 511 },
        { 251, 497, 509 },
        { 251, 497, 511 }
    ],
    [
        { 497, 511, 515 },
        { 495, 511, 515 },
        { 495, 497, 515 },
        { 495, 497, 511 }
    ],
    [
        { 503, 511, 512 },
        { 510, 511, 512 },
        { 503, 510, 512 },
        { 503, 510, 511 }
    ],
    [
        { 495, 511, 515 },
        { 510, 511, 515 },
        { 495, 510, 515 },
        { 495, 510, 511 }
    ],
    [
        { 503, 512, 683 },
        { 510, 512, 683 },
        { 503, 510, 512 },
        { 503, 510, 683 }
    ],
    [
        { 491, 492, 683 },
        { 485, 491, 492 },
        { 485, 492, 683 },
        { 485, 491, 683 }
    ],
    [
        { 503, 517, 518 },
        { 251, 517, 518 },
        { 251, 503, 517 },
        { 251, 503, 518 }
    ],
    [
        { 518, 525, 527 },
        { 251, 518, 527 },
        { 251, 525, 527 },
        { 251, 518, 525 }
    ],
    [
        { 518, 532, 684 },
        { 525, 532, 684 },
        { 518, 525, 684 },
        { 518, 525, 532 }
    ],
    [
        { 520, 521, 523 },
        { 251, 521, 523 },
        { 251, 520, 521 },
        { 251, 520, 523 }
    ],
    [
        { 523, 526, 528 },
        { 251, 526, 528 },
        { 251, 523, 528 },
        { 251, 523, 526 }
    ],
    [
        { 525, 526, 527, 528 },
        { 251, 525, 527 },
        { 251, 525, 526 },
        { 251, 526, 528 },
        { 251, 527, 528 }
    ],
    [
        { 526, 532, 533 },
        { 525, 526, 533, 534 },
        { 525, 526, 532 },
        { 532, 533, 534 },
        { 525, 532, 534 }
    ],
    [
        { 526, 532, 685 },
        { 523, 532, 685 },
        { 523, 526, 685 },
        { 523, 526, 532 }
    ],
    [
        { 257, 537, 686 },
        { 255, 537, 686 },
        { 255, 257, 686 },
        { 255, 257, 537 }
    ],
    [
        { 17, 257, 586 },
        { 17, 255, 586 },
        { 17, 255, 257 },
        { 255, 257, 586 }
    ],
    [
        { 586, 686, 687 },
        { 257, 586, 687 },
        { 257, 686, 687 },
        { 257, 586, 686 }
    ],
    [
        { 539, 540, 549 },
        { 538, 539, 540 },
        { 538, 540, 549 },
        { 538, 539, 549 }
    ],
    [
        { 24, 262, 543 },
        { 20, 24, 259, 262 },
        { 20, 24, 543 },
        { 20, 259, 543 },
        { 259, 262, 543 }
    ],
    [
        { 544, 545, 686 },
        { 538, 545, 686 },
        { 538, 544, 545 },
        { 538, 544, 686 }
    ],
    [
        { 20, 264, 547 },
        { 264, 547, 686 },
        { 20, 264, 686 },
        { 20, 547, 686 }
    ],
    [
        { 24, 268, 548 },
        { 24, 268, 549 },
        { 268, 548, 549 },
        { 24, 548, 549 }
    ],
    [
        { 24, 268, 270 },
        { 20, 24, 267, 270 },
        { 20, 24, 264, 268 },
        { 264, 267, 268, 270 },
        { 20, 264, 267 }
    ],
    [
        { 268, 549, 551 },
        { 549, 551, 686, 688 },
        { 264, 268, 549, 686 },
        { 264, 268, 551, 688 },
        { 264, 686, 688 }
    ],
    [
        { 255, 686, 690 },
        { 686, 689, 690 },
        { 255, 689, 690 },
        { 255, 686, 689 }
    ],
    [
        { 272, 553, 554 },
        { 272, 276, 554, 692 },
        { 272, 276, 553, 691 },
        { 553, 554, 691, 692 },
        { 276, 691, 692 }
    ],
    [
        { 274, 276, 557 },
        { 272, 276, 557, 558 },
        { 272, 274, 276 },
        { 272, 274, 558 },
        { 274, 557, 558 }
    ],
    [
        { 549, 559, 561 },
        { 279, 549, 561 },
        { 279, 559, 561 },
        { 279, 549, 559 }
    ],
    [
        { 272, 553, 561, 562 },
        { 272, 549, 561 },
        { 272, 549, 553 },
        { 549, 561, 562 },
        { 549, 553, 562 }
    ],
    [
        { 281, 549, 563 },
        { 279, 549, 563 },
        { 279, 281, 563 },
        { 279, 281, 549 }
    ],
    [
        { 29, 281, 693 },
        { 29, 279, 693 },
        { 29, 279, 281 },
        { 279, 281, 693 }
    ],
    [
        { 549, 693, 694 },
        { 281, 693, 694 },
        { 281, 549, 694 },
        { 281, 549, 693 }
    ],
    [
        { 32, 283, 565 },
        { 32, 564, 565 },
        { 283, 564, 565 },
        { 32, 283, 564 }
    ],
    [
        { 567, 568, 570 },
        { 566, 567, 568 },
        { 566, 568, 570 },
        { 566, 567, 570 }
    ],
    [
        { 32, 34, 154 },
        { 32, 34, 283 },
        { 34, 154, 283 },
        { 32, 154, 283 }
    ],
    [
        { 34, 285, 571 },
        { 34, 283, 285 },
        { 34, 283, 571 },
        { 283, 285, 571 }
    ],
    [
        { 607, 695, 696 },
        { 283, 607, 696 },
        { 283, 695, 696 },
        { 283, 607, 695 }
    ],
    [
        { 36, 37, 289 },
        { 37, 289, 443 },
        { 36, 289, 443 },
        { 36, 37, 443 }
    ],
    [
        { 287, 289, 290 },
        { 36, 289, 290 },
        { 36, 287, 290 },
        { 36, 287, 289 }
    ],
    [
        { 289, 582, 612 },
        { 289, 295, 582 },
        { 295, 582, 612 },
        { 289, 295, 612 }
    ],
    [
        { 290, 612, 613 },
        { 289, 294, 612, 613 },
        { 289, 290, 612 },
        { 289, 290, 294 },
        { 290, 294, 613 }
    ],
    [
        { 573, 574, 576 },
        { 295, 574, 576 },
        { 295, 299, 573, 576 },
        { 295, 299, 574 },
        { 299, 573, 574 }
    ],
    [
        { 289, 296, 580 },
        { 289, 295, 299, 580 },
        { 289, 295, 296 },
        { 295, 296, 299 },
        { 296, 299, 580 }
    ],
    [
        { 289, 580, 583 },
        { 289, 576, 583 },
        { 289, 573, 576, 580 },
        { 573, 580, 583 },
        { 573, 576, 583 }
    ],
    [
        { 17, 586, 587 },
        { 17, 255, 587 },
        { 17, 255, 586 },
        { 255, 586, 587 }
    ],
    [
        { 590, 591, 607 },
        { 589, 591, 607 },
        { 589, 590, 591 },
        { 589, 590, 607 }
    ],
    [
        { 586, 587, 607 },
        { 586, 587, 589 },
        { 587, 589, 607 },
        { 586, 589, 607 }
    ],
    [
        { 302, 587, 698, 699 },
        { 587, 599, 697, 698 },
        { 302, 599, 697, 699 },
        { 302, 587, 599 },
        { 697, 698, 699 }
    ],
    [
        { 302, 587, 599 },
        { 587, 593, 594, 599 },
        { 302, 587, 593 },
        { 302, 594, 599 },
        { 302, 593, 594 }
    ],
    [
        { 587, 593, 700, 702 },
        { 255, 587, 593 },
        { 255, 587, 700, 701 },
        { 255, 593, 701, 702 },
        { 700, 701, 702 }
    ],
    [
        { 590, 595, 596 },
        { 295, 590, 596 },
        { 295, 595, 596 },
        { 295, 590, 595 }
    ],
    [
        { 596, 599, 697, 704 },
        { 590, 599, 697, 703 },
        { 697, 703, 704 },
        { 590, 596, 703, 704 },
        { 590, 596, 599 }
    ],
    [
        { 576, 596, 599 },
        { 295, 596, 599 },
        { 295, 576, 596 },
        { 295, 576, 599 }
    ],
    [
        { 576, 599, 600 },
        { 598, 599, 600 },
        { 576, 598, 600 },
        { 576, 598, 599 }
    ],
    [
        { 607, 695, 705 },
        { 571, 607, 705 },
        { 571, 695, 705 },
        { 571, 607, 695 }
    ],
    [
        { 309, 311, 317 },
        { 309, 317, 319 },
        { 309, 311, 319 },
        { 311, 317, 319 }
    ],
    [
        { 311, 313, 604 },
        { 313, 319, 604 },
        { 311, 313, 319 },
        { 311, 319, 604 }
    ],
    [
        { 311, 317, 604 },
        { 314, 317, 604 },
        { 311, 314, 604 },
        { 311, 314, 317 }
    ],
    [
        { 41, 604, 609 },
        { 41, 607, 609 },
        { 604, 607, 609 },
        { 41, 604, 607 }
    ],
    [
        { 41, 317, 604 },
        { 41, 314, 604 },
        { 41, 314, 317 },
        { 314, 317, 604 }
    ],
    [
        { 45, 604, 611 },
        { 295, 604, 611 },
        { 45, 295, 611 },
        { 45, 295, 604 }
    ],
    [
        { 45, 313, 604 },
        { 313, 319, 604 },
        { 45, 313, 319 },
        { 45, 319, 604 }
    ],
    [
        { 317, 706, 707 },
        { 317, 319, 707 },
        { 319, 706, 707 },
        { 317, 319, 706 }
    ],
    [
        { 290, 612, 614 },
        { 290, 295, 614 },
        { 295, 612, 614 },
        { 290, 295, 612 }
    ],
    [
        { 50, 321, 709 },
        { 50, 708, 709 },
        { 321, 708, 709 },
        { 50, 321, 708 }
    ],
    [
        { 615, 617, 618 },
        { 455, 617, 618 },
        { 455, 615, 618 },
        { 455, 615, 617 }
    ],
    [
        { 50, 51, 321 },
        { 50, 51, 708 },
        { 51, 321, 708 },
        { 50, 321, 708 }
    ],
    [
        { 53, 56, 329 },
        { 56, 324, 329 },
        { 53, 324, 329 },
        { 53, 56, 324 }
    ],
    [
        { 326, 329, 348 },
        { 53, 326, 329 },
        { 53, 329, 348 },
        { 53, 326, 348 }
    ],
    [
        { 59, 336, 615 },
        { 62, 336, 615 },
        { 59, 62, 336 },
        { 59, 62, 615 }
    ],
    [
        { 63, 331, 336 },
        { 63, 330, 336 },
        { 330, 331, 336 },
        { 63, 330, 331 }
    ],
    [
        { 331, 336, 348 },
        { 62, 336, 348 },
        { 62, 331, 336 },
        { 62, 331, 348 }
    ],
    [
        { 336, 619, 710 },
        { 330, 336, 619 },
        { 330, 336, 710 },
        { 330, 619, 710 }
    ],
    [
        { 619, 623, 710 },
        { 102, 336, 619, 623 },
        { 102, 623, 710 },
        { 102, 336, 710 },
        { 336, 619, 710 }
    ],
    [
        { 341, 623, 710 },
        { 102, 341, 710 },
        { 102, 341, 623 },
        { 102, 623, 710 }
    ],
    [
        { 341, 621, 710 },
        { 330, 341, 621 },
        { 330, 621, 710 },
        { 330, 341, 710 }
    ],
    [
        { 111, 338, 341 },
        { 102, 338, 341 },
        { 102, 111, 341 },
        { 102, 111, 338 }
    ],
    [
        { 53, 67, 343 },
        { 67, 343, 358 },
        { 53, 343, 358 },
        { 53, 67, 358 }
    ],
    [
        { 69, 79, 343 },
        { 53, 79, 343 },
        { 53, 69, 79 },
        { 53, 69, 343 }
    ],
    [
        { 348, 349, 351 },
        { 53, 349, 351 },
        { 53, 348, 349 },
        { 53, 348, 351 }
    ],
    [
        { 77, 79, 351 },
        { 53, 77, 79 },
        { 53, 77, 351 },
        { 53, 79, 351 }
    ],
    [
        { 53, 358, 359 },
        { 53, 86, 359 },
        { 86, 358, 359 },
        { 53, 86, 358 }
    ],
    [
        { 87, 99, 359 },
        { 53, 87, 99 },
        { 53, 87, 359 },
        { 53, 99, 359 }
    ],
    [
        { 94, 96, 624 },
        { 96, 362, 624 },
        { 94, 96, 362 },
        { 94, 362, 624 }
    ],
    [
        { 91, 100, 362 },
        { 53, 91, 100 },
        { 53, 91, 362 },
        { 53, 100, 362 }
    ],
    [
        { 91, 624, 711 },
        { 53, 624, 711, 712 },
        { 53, 91, 624 },
        { 91, 711, 712 },
        { 53, 91, 712 }
    ],
    [
        { 91, 96, 624 },
        { 91, 96, 362 },
        { 96, 362, 624 },
        { 91, 362, 624 }
    ],
    [
        { 362, 367, 460 },
        { 174, 367, 460 },
        { 174, 362, 367 },
        { 174, 362, 460 }
    ],
    [
        { 123, 362, 368 },
        { 179, 362, 368 },
        { 123, 179, 368 },
        { 123, 179, 362 }
    ],
    [
        { 99, 100, 362 },
        { 53, 99, 100 },
        { 53, 100, 362 },
        { 53, 99, 362 }
    ],
    [
        { 374, 443, 626 },
        { 374, 625, 626 },
        { 443, 625, 626 },
        { 374, 443, 625 }
    ],
    [
        { 373, 374, 630 },
        { 374, 443, 630 },
        { 373, 374, 443 },
        { 373, 443, 630 }
    ],
    [
        { 630, 632, 633 },
        { 391, 632, 633 },
        { 391, 630, 633 },
        { 391, 630, 632 }
    ],
    [
        { 625, 630, 635 },
        { 625, 630, 632, 634 },
        { 625, 634, 635 },
        { 632, 634, 635 },
        { 630, 632, 635 }
    ],
    [
        { 634, 637, 639 },
        { 625, 634, 639 },
        { 625, 637, 639 },
        { 625, 634, 637 }
    ],
    [
        { 114, 376, 640 },
        { 102, 114, 376 },
        { 102, 376, 640 },
        { 102, 114, 640 }
    ],
    [
        { 106, 376, 377 },
        { 102, 376, 377 },
        { 102, 106, 376 },
        { 102, 106, 377 }
    ],
    [
        { 377, 382, 642 },
        { 102, 377, 382 },
        { 102, 382, 642 },
        { 102, 377, 642 }
    ],
    [
        { 376, 377, 640, 642 },
        { 377, 386, 642 },
        { 384, 386, 640, 642 },
        { 376, 377, 384, 386 },
        { 376, 384, 640 }
    ],
    [
        { 637, 645, 646 },
        { 642, 645, 646 },
        { 637, 642, 646 },
        { 637, 642, 645 }
    ],
    [
        { 634, 637, 645 },
        { 391, 637, 645 },
        { 391, 632, 634, 637 },
        { 391, 632, 645 },
        { 632, 634, 645 }
    ],
    [
        { 640, 642, 645 },
        { 386, 642, 645 },
        { 384, 386, 640, 642 },
        { 384, 386, 645 },
        { 384, 640, 645 }
    ],
    [
        { 113, 338, 358 },
        { 102, 113, 338 },
        { 102, 113, 358 },
        { 102, 338, 358 }
    ],
    [
        { 113, 114, 640 },
        { 102, 113, 114 },
        { 102, 113, 640 },
        { 102, 114, 640 }
    ],
    [
        { 121, 391, 649 },
        { 121, 640, 649 },
        { 121, 391, 640 },
        { 391, 640, 649 }
    ],
    [
        { 119, 121, 713 },
        { 119, 391, 713 },
        { 121, 391, 713 },
        { 119, 121, 391 }
    ],
    [
        { 123, 640, 653 },
        { 123, 652, 653 },
        { 640, 652, 653 },
        { 123, 640, 652 }
    ],
    [
        { 123, 127, 655 },
        { 123, 127, 391, 393 },
        { 123, 391, 655 },
        { 127, 393, 655 },
        { 391, 393, 655 }
    ],
    [
        { 119, 655, 713 },
        { 119, 391, 713 },
        { 391, 655, 713 },
        { 119, 391, 655 }
    ],
    [
        { 429, 432, 657 },
        { 429, 432, 472 },
        { 432, 472, 657 },
        { 429, 472, 657 }
    ],
    [
        { 432, 656, 657 },
        { 432, 443, 657 },
        { 432, 443, 656 },
        { 443, 656, 657 }
    ],
    [
        { 123, 395, 659 },
        { 391, 395, 659 },
        { 123, 391, 395 },
        { 123, 391, 659 }
    ],
    [
        { 123, 215, 395 },
        { 215, 395, 475 },
        { 123, 395, 475 },
        { 123, 215, 475 }
    ],
    [
        { 129, 131, 714 },
        { 131, 455, 714 },
        { 129, 131, 455 },
        { 129, 455, 714 }
    ],
    [
        { 134, 200, 400 },
        { 134, 397, 400 },
        { 134, 200, 397 },
        { 200, 397, 400 }
    ],
    [
        { 129, 134, 714 },
        { 134, 200, 714 },
        { 129, 134, 200 },
        { 129, 200, 714 }
    ],
    [
        { 200, 405, 675 },
        { 405, 472, 675 },
        { 200, 405, 472 },
        { 200, 472, 675 }
    ],
    [
        { 2, 138, 405 },
        { 138, 405, 472 },
        { 2, 138, 472 },
        { 2, 405, 472 }
    ],
    [
        { 138, 141, 407, 408 },
        { 138, 407, 715 },
        { 138, 141, 715, 716 },
        { 407, 408, 715, 716 },
        { 141, 408, 716 }
    ],
    [
        { 400, 413, 661 },
        { 200, 413, 661 },
        { 200, 400, 661 },
        { 200, 400, 413 }
    ],
    [
        { 5, 141, 413 },
        { 5, 400, 413 },
        { 5, 141, 400 },
        { 141, 400, 413 }
    ],
    [
        { 400, 416, 420 },
        { 400, 415, 420 },
        { 415, 416, 420 },
        { 400, 415, 416 }
    ],
    [
        { 425, 426, 662 },
        { 420, 424, 425, 426 },
        { 420, 425, 662 },
        { 420, 424, 662 },
        { 424, 426, 662 }
    ],
    [
        { 425, 429, 432 },
        { 429, 432, 472 },
        { 425, 432, 472 },
        { 425, 429, 472 }
    ],
    [
        { 416, 420, 440 },
        { 154, 420, 440 },
        { 154, 416, 440 },
        { 154, 416, 420 }
    ],
    [
        { 420, 425, 435 },
        { 420, 425, 440, 444 },
        { 425, 435, 444 },
        { 420, 435, 440 },
        { 435, 440, 444 }
    ],
    [
        { 432, 443, 444 },
        { 425, 432, 444 },
        { 425, 432, 443 },
        { 425, 443, 444 }
    ],
    [
        { 149, 154, 443 },
        { 149, 443, 444 },
        { 154, 440, 443, 444 },
        { 149, 154, 440 },
        { 149, 440, 444 }
    ],
    [
        { 192, 193, 196 },
        { 164, 166, 192, 193 },
        { 164, 192, 196 },
        { 164, 166, 196 },
        { 166, 193, 196 }
    ],
    [
        { 9, 664, 665, 717 },
        { 164, 664, 665 },
        { 9, 164, 192, 665 },
        { 164, 192, 664, 717 },
        { 9, 192, 717 }
    ],
    [
        { 129, 458, 669 },
        { 200, 458, 669 },
        { 129, 200, 669 },
        { 129, 200, 458 }
    ],
    [
        { 160, 454, 665 },
        { 160, 454, 455 },
        { 160, 455, 665 },
        { 454, 455, 665 }
    ],
    [
        { 129, 454, 458 },
        { 454, 455, 458 },
        { 129, 455, 458 },
        { 129, 454, 455 }
    ],
    [
        { 200, 458, 670 },
        { 196, 458, 670 },
        { 196, 200, 458 },
        { 196, 200, 670 }
    ],
    [
        { 196, 458, 665 },
        { 164, 458, 665 },
        { 164, 196, 458 },
        { 164, 196, 665 }
    ],
    [
        { 9, 168, 461 },
        { 168, 174, 461 },
        { 9, 174, 461 },
        { 9, 168, 174 }
    ],
    [
        { 9, 168, 173 },
        { 168, 173, 461, 463 },
        { 9, 173, 463 },
        { 9, 168, 461 },
        { 9, 461, 463 }
    ],
    [
        { 123, 174, 179, 460 },
        { 123, 179, 463 },
        { 123, 174, 461, 463 },
        { 179, 460, 461, 463 },
        { 174, 460, 461 }
    ],
    [
        { 9, 123, 173 },
        { 123, 173, 463 },
        { 9, 173, 463 },
        { 9, 123, 463 }
    ],
    [
        { 9, 190, 718 },
        { 9, 190, 465 },
        { 190, 465, 718 },
        { 9, 465, 718 }
    ],
    [
        { 123, 190, 464 },
        { 9, 190, 464 },
        { 9, 123, 464 },
        { 9, 123, 190 }
    ],
    [
        { 9, 192, 196 },
        { 192, 196, 465 },
        { 9, 192, 465 },
        { 9, 196, 465 }
    ],
    [
        { 196, 200, 467 },
        { 200, 465, 467 },
        { 196, 465, 467 },
        { 196, 200, 465 }
    ],
    [
        { 123, 190, 216 },
        { 190, 216, 465 },
        { 123, 216, 465 },
        { 123, 190, 465 }
    ],
    [
        { 200, 216, 673 },
        { 216, 465, 673 },
        { 200, 216, 465 },
        { 200, 465, 673 }
    ],
    [
        { 200, 204, 206 },
        { 200, 206, 472 },
        { 204, 206, 472 },
        { 200, 204, 472 }
    ],
    [
        { 123, 215, 216 },
        { 215, 216, 475 },
        { 123, 216, 475 },
        { 123, 215, 475 }
    ],
    [
        { 200, 204, 216 },
        { 200, 216, 475 },
        { 204, 216, 475 },
        { 200, 204, 475 }
    ],
    [
        { 228, 231, 479 },
        { 227, 231, 479 },
        { 227, 228, 231 },
        { 227, 228, 479 }
    ],
    [
        { 237, 240, 241 },
        { 237, 241, 482 },
        { 237, 240, 482 },
        { 240, 241, 482 }
    ],
    [
        { 479, 482, 676, 677 },
        { 231, 237, 479, 482 },
        { 231, 479, 677 },
        { 231, 237, 676, 677 },
        { 237, 482, 676 }
    ],
    [
        { 240, 486, 490 },
        { 485, 486, 490 },
        { 240, 485, 486 },
        { 240, 485, 490 }
    ],
    [
        { 490, 492, 495 },
        { 485, 492, 495 },
        { 485, 490, 492 },
        { 485, 490, 495 }
    ],
    [
        { 495, 497, 679, 682 },
        { 497, 500, 679, 680 },
        { 495, 497, 500 },
        { 495, 500, 680, 682 },
        { 679, 680, 682 }
    ],
    [
        { 240, 490, 495 },
        { 490, 495, 500 },
        { 240, 495, 500 },
        { 240, 490, 500 }
    ],
    [
        { 503, 504, 511 },
        { 251, 504, 511 },
        { 251, 503, 504 },
        { 251, 503, 511 }
    ],
    [
        { 495, 497, 511 },
        { 251, 497, 511 },
        { 251, 495, 511 },
        { 251, 495, 497 }
    ],
    [
        { 495, 503, 511 },
        { 495, 510, 511 },
        { 503, 510, 511 },
        { 495, 503, 510 }
    ],
    [
        { 495, 503, 683 },
        { 495, 510, 683 },
        { 495, 503, 510 },
        { 503, 510, 683 }
    ],
    [
        { 492, 495, 683 },
        { 485, 492, 495 },
        { 485, 492, 683 },
        { 485, 495, 683 }
    ],
    [
        { 503, 518, 525 },
        { 251, 518, 525 },
        { 251, 503, 518 },
        { 251, 503, 525 }
    ],
    [
        { 518, 525, 532 },
        { 503, 518, 532 },
        { 503, 525, 532 },
        { 503, 518, 525 }
    ],
    [
        { 520, 523, 526 },
        { 251, 523, 526 },
        { 251, 520, 526 },
        { 251, 520, 523 }
    ],
    [
        { 525, 526, 532 },
        { 251, 526, 532 },
        { 251, 525, 532 },
        { 251, 525, 526 }
    ],
    [
        { 523, 526, 532 },
        { 520, 526, 532 },
        { 520, 523, 532 },
        { 520, 523, 526 }
    ],
    [
        { 257, 586, 686 },
        { 255, 586, 686 },
        { 255, 257, 586 },
        { 255, 257, 686 }
    ],
    [
        { 586, 686, 687 },
        { 538, 586, 687 },
        { 538, 686, 687 },
        { 538, 586, 686 }
    ],
    [
        { 24, 540, 549 },
        { 24, 538, 540 },
        { 24, 538, 549 },
        { 538, 540, 549 }
    ],
    [
        { 20, 24, 543 },
        { 24, 538, 543 },
        { 20, 538, 543 },
        { 20, 24, 538 }
    ],
    [
        { 20, 545, 686 },
        { 20, 538, 545 },
        { 20, 538, 686 },
        { 538, 545, 686 }
    ],
    [
        { 264, 268, 549, 686 },
        { 20, 24, 549, 686 },
        { 20, 24, 264, 268 },
        { 24, 268, 549 },
        { 20, 264, 686 }
    ],
    [
        { 276, 686, 690 },
        { 255, 686, 690 },
        { 255, 276, 690 },
        { 255, 276, 686 }
    ],
    [
        { 272, 276, 553, 691 },
        { 272, 549, 553 },
        { 272, 276, 549, 686 },
        { 549, 553, 686, 691 },
        { 276, 686, 691 }
    ],
    [
        { 272, 274, 279 },
        { 255, 274, 279 },
        { 255, 272, 276, 279 },
        { 255, 274, 276 },
        { 272, 274, 276 }
    ],
    [
        { 272, 549, 561 },
        { 279, 549, 561 },
        { 272, 279, 561 },
        { 272, 279, 549 }
    ],
    [
        { 549, 693, 694 },
        { 538, 693, 694 },
        { 538, 549, 694 },
        { 538, 549, 693 }
    ],
    [
        { 281, 549, 693 },
        { 279, 549, 693 },
        { 279, 281, 693 },
        { 279, 281, 549 }
    ],
    [
        { 32, 154, 283 },
        { 32, 154, 564 },
        { 32, 283, 564 },
        { 154, 283, 564 }
    ],
    [
        { 570, 693, 694 },
        { 538, 693, 694 },
        { 538, 570, 694 },
        { 538, 570, 693 }
    ],
    [
        { 154, 538, 566 },
        { 154, 564, 566 },
        { 154, 538, 564 },
        { 538, 564, 566 }
    ],
    [
        { 566, 570, 719 },
        { 538, 570, 719 },
        { 538, 566, 719 },
        { 538, 566, 570 }
    ],
    [
        { 154, 567, 570 },
        { 566, 567, 570 },
        { 154, 566, 567 },
        { 154, 566, 570 }
    ],
    [
        { 34, 154, 571 },
        { 34, 283, 571 },
        { 34, 154, 283 },
        { 154, 283, 571 }
    ],
    [
        { 571, 607, 695 },
        { 283, 607, 695 },
        { 283, 571, 607 },
        { 283, 571, 695 }
    ],
    [
        { 36, 289, 290 },
        { 289, 290, 443 },
        { 36, 290, 443 },
        { 36, 289, 443 }
    ],
    [
        { 289, 290, 612 },
        { 289, 290, 295 },
        { 290, 295, 612 },
        { 289, 295, 612 }
    ],
    [
        { 289, 573, 576, 580 },
        { 289, 295, 299, 580 },
        { 289, 295, 576 },
        { 295, 299, 573, 576 },
        { 299, 573, 580 }
    ],
    [
        { 586, 587, 607 },
        { 255, 586, 587 },
        { 255, 587, 607 },
        { 255, 586, 607 }
    ],
    [
        { 587, 590, 607 },
        { 587, 589, 607 },
        { 587, 589, 590 },
        { 589, 590, 607 }
    ],
    [
        { 587, 590, 698, 703 },
        { 587, 599, 697, 698 },
        { 587, 590, 599 },
        { 590, 599, 697, 703 },
        { 697, 698, 703 }
    ],
    [
        { 255, 587, 593 },
        { 255, 593, 594, 598 },
        { 255, 587, 598, 599 },
        { 587, 593, 594, 599 },
        { 594, 598, 599 }
    ],
    [
        { 590, 596, 599 },
        { 295, 596, 599 },
        { 295, 590, 596 },
        { 295, 590, 599 }
    ],
    [
        { 576, 598, 599 },
        { 295, 576, 599 },
        { 295, 598, 599 },
        { 295, 576, 598 }
    ],
    [
        { 317, 607, 705 },
        { 317, 571, 705 },
        { 571, 607, 705 },
        { 317, 571, 607 }
    ],
    [
        { 311, 317, 604 },
        { 317, 319, 604 },
        { 311, 319, 604 },
        { 311, 317, 319 }
    ],
    [
        { 41, 317, 604 },
        { 41, 604, 607 },
        { 41, 317, 607 },
        { 317, 604, 607 }
    ],
    [
        { 45, 319, 604 },
        { 45, 295, 604 },
        { 295, 319, 604 },
        { 45, 295, 319 }
    ],
    [
        { 317, 319, 706 },
        { 317, 319, 720, 721 },
        { 319, 706, 720 },
        { 706, 720, 721 },
        { 317, 706, 721 }
    ],
    [
        { 290, 319, 614 },
        { 290, 295, 614 },
        { 295, 319, 614 },
        { 290, 295, 319 }
    ],
    [
        { 321, 708, 709 },
        { 321, 455, 709 },
        { 455, 708, 709 },
        { 321, 455, 708 }
    ],
    [
        { 615, 617, 708 },
        { 455, 615, 617 },
        { 455, 617, 708 },
        { 455, 615, 708 }
    ],
    [
        { 51, 321, 615 },
        { 51, 615, 708 },
        { 51, 321, 708 },
        { 321, 615, 708 }
    ],
    [
        { 53, 329, 348 },
        { 324, 329, 348 },
        { 53, 324, 329 },
        { 53, 324, 348 }
    ],
    [
        { 348, 455, 615 },
        { 324, 348, 615 },
        { 324, 455, 615 },
        { 324, 348, 455 }
    ],
    [
        { 336, 348, 615 },
        { 62, 336, 615 },
        { 62, 336, 348 },
        { 62, 348, 615 }
    ],
    [
        { 331, 336, 348 },
        { 330, 336, 348 },
        { 330, 331, 336 },
        { 330, 331, 348 }
    ],
    [
        { 330, 341, 710 },
        { 102, 341, 710 },
        { 102, 330, 336, 341 },
        { 102, 336, 710 },
        { 330, 336, 710 }
    ],
    [
        { 338, 341, 358 },
        { 102, 338, 341 },
        { 102, 341, 358 },
        { 102, 338, 358 }
    ],
    [
        { 53, 79, 343 },
        { 79, 343, 358 },
        { 53, 79, 358 },
        { 53, 343, 358 }
    ],
    [
        { 79, 348, 351 },
        { 53, 79, 351 },
        { 53, 79, 348 },
        { 53, 348, 351 }
    ],
    [
        { 53, 99, 359 },
        { 99, 358, 359 },
        { 53, 99, 358 },
        { 53, 358, 359 }
    ],
    [
        { 94, 362, 624 },
        { 94, 174, 624 },
        { 174, 362, 624 },
        { 94, 174, 362 }
    ],
    [
        { 91, 362, 624 },
        { 53, 91, 624 },
        { 53, 91, 362 },
        { 53, 362, 624 }
    ],
    [
        { 123, 179, 362 },
        { 123, 174, 362 },
        { 123, 174, 179, 460 },
        { 174, 362, 460 },
        { 179, 362, 460 }
    ],
    [
        { 99, 123, 362 },
        { 53, 99, 362 },
        { 53, 99, 123 },
        { 53, 123, 362 }
    ],
    [
        { 374, 443, 630 },
        { 374, 625, 630 },
        { 374, 443, 625 },
        { 443, 625, 630 }
    ],
    [
        { 391, 632, 634, 637 },
        { 625, 634, 637 },
        { 391, 625, 630, 637 },
        { 625, 630, 632, 634 },
        { 391, 630, 632 }
    ],
    [
        { 376, 377, 640, 642 },
        { 102, 377, 642 },
        { 102, 640, 642 },
        { 102, 376, 377 },
        { 102, 376, 640 }
    ],
    [
        { 391, 640, 645 },
        { 640, 642, 645 },
        { 391, 637, 640, 642 },
        { 391, 637, 645 },
        { 637, 642, 645 }
    ],
    [
        { 113, 358, 640 },
        { 102, 113, 640 },
        { 102, 113, 358 },
        { 102, 358, 640 }
    ],
    [
        { 99, 123, 640 },
        { 99, 123, 358 },
        { 99, 358, 640 },
        { 123, 358, 640 }
    ],
    [
        { 121, 391, 713 },
        { 121, 640, 713 },
        { 391, 640, 713 },
        { 121, 391, 640 }
    ],
    [
        { 123, 640, 713 },
        { 123, 652, 713 },
        { 640, 652, 713 },
        { 123, 640, 652 }
    ],
    [
        { 123, 655, 713 },
        { 123, 391, 713 },
        { 391, 655, 713 },
        { 123, 391, 655 }
    ],
    [
        { 432, 443, 657 },
        { 432, 472, 657 },
        { 432, 443, 472 },
        { 443, 472, 657 }
    ],
    [
        { 123, 395, 475 },
        { 123, 391, 395 },
        { 391, 395, 475 },
        { 123, 391, 475 }
    ],
    [
        { 129, 200, 714 },
        { 129, 455, 714 },
        { 200, 455, 714 },
        { 129, 200, 455 }
    ],
    [
        { 134, 400, 714 },
        { 134, 200, 714 },
        { 134, 200, 400 },
        { 200, 400, 714 }
    ],
    [
        { 138, 200, 405 },
        { 138, 405, 472 },
        { 138, 200, 472 },
        { 200, 405, 472 }
    ],
    [
        { 138, 141, 400, 472 },
        { 400, 472, 715, 716 },
        { 138, 472, 715 },
        { 138, 141, 715, 716 },
        { 141, 400, 716 }
    ],
    [
        { 141, 400, 413 },
        { 141, 200, 413 },
        { 200, 400, 413 },
        { 141, 200, 400 }
    ],
    [
        { 400, 416, 420 },
        { 154, 400, 420 },
        { 154, 416, 420 },
        { 154, 400, 416 }
    ],
    [
        { 400, 472, 662 },
        { 425, 472, 662 },
        { 400, 420, 425, 472 },
        { 420, 425, 662 },
        { 400, 420, 662 }
    ],
    [
        { 425, 432, 443 },
        { 432, 443, 472 },
        { 425, 432, 472 },
        { 425, 443, 472 }
    ],
    [
        { 154, 440, 443, 444 },
        { 154, 420, 425, 443 },
        { 425, 443, 444 },
        { 420, 425, 440, 444 },
        { 154, 420, 440 }
    ],
    [
        { 9, 196, 665 },
        { 164, 196, 665 },
        { 9, 164, 192, 665 },
        { 164, 192, 196 },
        { 9, 192, 196 }
    ],
    [
        { 129, 200, 458 },
        { 129, 455, 458 },
        { 200, 455, 458 },
        { 129, 200, 455 }
    ],
    [
        { 454, 458, 665 },
        { 454, 455, 458 },
        { 455, 458, 665 },
        { 454, 455, 665 }
    ],
    [
        { 200, 458, 665 },
        { 196, 458, 665 },
        { 196, 200, 458 },
        { 196, 200, 665 }
    ],
    [
        { 9, 123, 174 },
        { 9, 123, 463 },
        { 123, 174, 461, 463 },
        { 9, 461, 463 },
        { 9, 174, 461 }
    ],
    [
        { 9, 123, 190 },
        { 123, 190, 465 },
        { 9, 190, 465 },
        { 9, 123, 465 }
    ],
    [
        { 9, 196, 200 },
        { 196, 200, 465 },
        { 9, 200, 465 },
        { 9, 196, 465 }
    ],
    [
        { 123, 200, 216 },
        { 200, 216, 465 },
        { 123, 216, 465 },
        { 123, 200, 465 }
    ],
    [
        { 200, 204, 475 },
        { 200, 204, 472 },
        { 200, 472, 475 },
        { 204, 472, 475 }
    ],
    [
        { 123, 200, 216 },
        { 200, 216, 475 },
        { 123, 216, 475 },
        { 123, 200, 475 }
    ],
    [
        { 231, 237, 479, 482 },
        { 228, 240, 479, 482 },
        { 237, 240, 482 },
        { 228, 231, 237, 240 },
        { 228, 231, 479 }
    ],
    [
        { 240, 490, 495 },
        { 485, 490, 495 },
        { 240, 485, 495 },
        { 240, 485, 490 }
    ],
    [
        { 240, 495, 500 },
        { 240, 251, 495 },
        { 240, 251, 497, 500 },
        { 495, 497, 500 },
        { 251, 495, 497 }
    ],
    [
        { 495, 503, 511 },
        { 251, 495, 511 },
        { 251, 503, 511 },
        { 251, 495, 503 }
    ],
    [
        { 485, 495, 683 },
        { 495, 503, 683 },
        { 485, 495, 503 },
        { 485, 503, 683 }
    ],
    [
        { 503, 525, 532 },
        { 251, 525, 532 },
        { 251, 503, 532 },
        { 251, 503, 525 }
    ],
    [
        { 520, 526, 532 },
        { 251, 526, 532 },
        { 251, 520, 532 },
        { 251, 520, 526 }
    ],
    [
        { 538, 586, 686 },
        { 255, 586, 686 },
        { 255, 538, 586 },
        { 255, 538, 686 }
    ],
    [
        { 20, 24, 549, 686 },
        { 20, 538, 686 },
        { 538, 549, 686 },
        { 20, 24, 538 },
        { 24, 538, 549 }
    ],
    [
        { 272, 279, 549 },
        { 255, 279, 549, 686 },
        { 255, 272, 276, 279 },
        { 272, 276, 549, 686 },
        { 255, 276, 686 }
    ],
    [
        { 279, 549, 693 },
        { 538, 549, 693 },
        { 279, 538, 693 },
        { 279, 538, 549 }
    ],
    [
        { 283, 538, 586 },
        { 255, 283, 586 },
        { 255, 538, 586 },
        { 255, 283, 538 }
    ],
    [
        { 154, 283, 538 },
        { 154, 283, 564 },
        { 154, 538, 564 },
        { 283, 538, 564 }
    ],
    [
        { 279, 570, 693 },
        { 538, 570, 693 },
        { 279, 538, 693 },
        { 279, 538, 570 }
    ],
    [
        { 154, 566, 570 },
        { 154, 538, 570 },
        { 538, 566, 570 },
        { 154, 538, 566 }
    ],
    [
        { 283, 586, 607 },
        { 255, 586, 607 },
        { 255, 283, 586 },
        { 255, 283, 607 }
    ],
    [
        { 154, 571, 607 },
        { 283, 571, 607 },
        { 154, 283, 607 },
        { 154, 283, 571 }
    ],
    [
        { 289, 290, 295 },
        { 289, 290, 443 },
        { 290, 295, 443 },
        { 289, 295, 443 }
    ],
    [
        { 289, 576, 598 },
        { 295, 576, 598 },
        { 289, 295, 576 },
        { 289, 295, 598 }
    ],
    [
        { 587, 590, 607 },
        { 255, 587, 607 },
        { 255, 587, 590 },
        { 255, 590, 607 }
    ],
    [
        { 255, 587, 598, 599 },
        { 255, 587, 590 },
        { 255, 590, 598 },
        { 590, 598, 599 },
        { 587, 590, 599 }
    ],
    [
        { 590, 598, 599 },
        { 295, 598, 599 },
        { 295, 590, 599 },
        { 295, 590, 598 }
    ],
    [
        { 317, 571, 607 },
        { 154, 317, 607 },
        { 154, 317, 571 },
        { 154, 571, 607 }
    ],
    [
        { 295, 604, 607 },
        { 295, 319, 604 },
        { 295, 317, 319, 607 },
        { 317, 604, 607 },
        { 317, 319, 604 }
    ],
    [
        { 319, 443, 720 },
        { 154, 443, 720, 721 },
        { 154, 317, 319, 443 },
        { 317, 319, 720, 721 },
        { 154, 317, 721 }
    ],
    [
        { 290, 295, 319 },
        { 290, 319, 443 },
        { 290, 295, 443 },
        { 295, 319, 443 }
    ],
    [
        { 321, 615, 708 },
        { 321, 455, 615 },
        { 455, 615, 708 },
        { 321, 455, 708 }
    ],
    [
        { 53, 348, 455 },
        { 53, 324, 348 },
        { 324, 348, 455 },
        { 53, 324, 455 }
    ],
    [
        { 336, 348, 615 },
        { 336, 455, 615 },
        { 336, 348, 455 },
        { 348, 455, 615 }
    ],
    [
        { 330, 341, 348, 358 },
        { 102, 341, 358 },
        { 102, 330, 336, 341 },
        { 102, 336, 348, 358 },
        { 330, 336, 348 }
    ],
    [
        { 53, 79, 348 },
        { 79, 348, 358 },
        { 53, 79, 358 },
        { 53, 348, 358 }
    ],
    [
        { 53, 99, 123 },
        { 99, 123, 358 },
        { 53, 99, 358 },
        { 53, 123, 358 }
    ],
    [
        { 53, 123, 362 },
        { 123, 174, 362 },
        { 53, 123, 174, 624 },
        { 53, 362, 624 },
        { 174, 362, 624 }
    ],
    [
        { 391, 443, 637 },
        { 391, 625, 630, 637 },
        { 443, 625, 637 },
        { 391, 443, 630 },
        { 443, 625, 630 }
    ],
    [
        { 391, 637, 640, 642 },
        { 102, 391, 640 },
        { 102, 640, 642 },
        { 102, 391, 637 },
        { 102, 637, 642 }
    ],
    [
        { 123, 358, 640 },
        { 102, 123, 640 },
        { 102, 123, 358 },
        { 102, 358, 640 }
    ],
    [
        { 123, 391, 713 },
        { 123, 640, 713 },
        { 391, 640, 713 },
        { 123, 391, 640 }
    ],
    [
        { 391, 443, 657 },
        { 391, 472, 657 },
        { 443, 472, 657 },
        { 391, 443, 472 }
    ],
    [
        { 123, 391, 475 },
        { 123, 472, 475 },
        { 123, 391, 472 },
        { 391, 472, 475 }
    ],
    [
        { 200, 400, 714 },
        { 400, 455, 714 },
        { 200, 455, 714 },
        { 200, 400, 455 }
    ],
    [
        { 141, 200, 400 },
        { 138, 141, 400, 472 },
        { 200, 400, 472 },
        { 138, 141, 200 },
        { 138, 200, 472 }
    ],
    [
        { 154, 420, 425, 443 },
        { 154, 400, 443, 472 },
        { 425, 443, 472 },
        { 400, 420, 425, 472 },
        { 154, 400, 420 }
    ],
    [
        { 196, 200, 665 },
        { 9, 200, 665 },
        { 9, 196, 665 },
        { 9, 196, 200 }
    ],
    [
        { 200, 458, 665 },
        { 455, 458, 665 },
        { 200, 455, 458 },
        { 200, 455, 665 }
    ],
    [
        { 9, 123, 455, 665 },
        { 9, 123, 174 },
        { 123, 174, 455, 722 },
        { 9, 174, 665, 722 },
        { 455, 665, 722 }
    ],
    [
        { 9, 123, 200 },
        { 123, 200, 465 },
        { 9, 200, 465 },
        { 9, 123, 465 }
    ],
    [
        { 123, 200, 475 },
        { 123, 200, 472 },
        { 200, 472, 475 },
        { 123, 472, 475 }
    ],
    [
        { 228, 240, 479, 482 },
        { 228, 251, 479, 723 },
        { 240, 251, 482, 723 },
        { 228, 240, 251 },
        { 479, 482, 723 }
    ],
    [
        { 485, 495, 503 },
        { 251, 495, 503 },
        { 240, 251, 485, 503 },
        { 240, 251, 495 },
        { 240, 485, 495 }
    ],
    [
        { 503, 520, 532 },
        { 251, 520, 532 },
        { 251, 503, 532 },
        { 251, 503, 520 }
    ],
    [
        { 279, 538, 549 },
        { 255, 279, 549, 686 },
        { 255, 279, 538 },
        { 538, 549, 686 },
        { 255, 538, 686 }
    ],
    [
        { 154, 283, 538 },
        { 154, 255, 283 },
        { 154, 255, 538 },
        { 255, 283, 538 }
    ],
    [
        { 154, 279, 570 },
        { 154, 538, 570 },
        { 279, 538, 570 },
        { 154, 279, 538 }
    ],
    [
        { 154, 283, 607 },
        { 154, 255, 607 },
        { 255, 283, 607 },
        { 154, 255, 283 }
    ],
    [
        { 289, 295, 598 },
        { 289, 443, 598 },
        { 295, 443, 598 },
        { 289, 295, 443 }
    ],
    [
        { 295, 590, 598 },
        { 255, 590, 598 },
        { 255, 295, 598, 607 },
        { 295, 590, 607 },
        { 255, 590, 607 }
    ],
    [
        { 295, 319, 443 },
        { 154, 317, 319, 443 },
        { 154, 295, 443, 607 },
        { 295, 317, 319, 607 },
        { 154, 317, 607 }
    ],
    [
        { 154, 321, 400 },
        { 154, 400, 455 },
        { 321, 400, 455 },
        { 154, 321, 455 }
    ],
    [
        { 321, 336, 615 },
        { 336, 455, 615 },
        { 321, 336, 455 },
        { 321, 455, 615 }
    ],
    [
        { 53, 336, 348 },
        { 336, 348, 455 },
        { 53, 336, 455 },
        { 53, 348, 455 }
    ],
    [
        { 53, 348, 358 },
        { 102, 336, 348, 358 },
        { 53, 102, 358 },
        { 53, 336, 348 },
        { 53, 102, 336 }
    ],
    [
        { 53, 123, 358 },
        { 53, 102, 123 },
        { 102, 123, 358 },
        { 53, 102, 358 }
    ],
    [
        { 53, 123, 455 },
        { 53, 123, 174, 624 },
        { 123, 174, 455, 722 },
        { 53, 455, 624, 722 },
        { 174, 624, 722 }
    ],
    [
        { 391, 443, 637 },
        { 102, 391, 637 },
        { 102, 443, 637 },
        { 102, 391, 443 }
    ],
    [
        { 123, 391, 640 },
        { 102, 123, 391 },
        { 102, 123, 640 },
        { 102, 391, 640 }
    ],
    [
        { 123, 391, 443 },
        { 123, 391, 472 },
        { 123, 443, 472 },
        { 391, 443, 472 }
    ],
    [
        { 154, 200, 400 },
        { 200, 400, 455 },
        { 154, 400, 455 },
        { 154, 200, 455 }
    ],
    [
        { 154, 200, 443 },
        { 200, 443, 472 },
        { 154, 400, 443, 472 },
        { 154, 200, 400 },
        { 200, 400, 472 }
    ],
    [
        { 9, 123, 200 },
        { 123, 200, 455 },
        { 9, 123, 455, 665 },
        { 200, 455, 665 },
        { 9, 200, 665 }
    ],
    [
        { 123, 200, 443 },
        { 123, 200, 472 },
        { 200, 443, 472 },
        { 123, 443, 472 }
    ],
    [
        { 255, 279, 485, 503, 520, 598 },
        { 251, 503, 520 },
        { 240, 251, 485, 503 },
        { 228, 251, 520, 598 },
        { 228, 240, 255, 279 },
        { 228, 255, 598 },
        { 228, 240, 251 },
        { 240, 279, 485 }
    ],
    [
        { 154, 279, 538 },
        { 154, 255, 279 },
        { 154, 255, 538 },
        { 255, 279, 538 }
    ],
    [
        { 154, 295, 443, 607 },
        { 154, 255, 443, 598 },
        { 255, 295, 598, 607 },
        { 295, 443, 598 },
        { 154, 255, 607 }
    ],
    [
        { 154, 321, 336 },
        { 154, 336, 455 },
        { 321, 336, 455 },
        { 154, 321, 455 }
    ],
    [
        { 53, 123, 455 },
        { 53, 102, 123 },
        { 102, 123, 336, 455 },
        { 53, 102, 336 },
        { 53, 336, 455 }
    ],
    [
        { 123, 391, 443 },
        { 102, 123, 391 },
        { 102, 123, 443 },
        { 102, 391, 443 }
    ],
    [
        { 123, 200, 443 },
        { 123, 200, 455 },
        { 123, 154, 443, 455 },
        { 154, 200, 443 },
        { 154, 200, 455 }
    ],
    [
        { 154, 443, 724 },
        { 154, 255, 443, 598 },
        { 154, 279, 485, 724 },
        { 154, 255, 279 },
        { 255, 279, 485, 503, 520, 598 },
        { 443, 503, 520, 724 },
        { 485, 503, 724 },
        { 443, 520, 598 }
    ],
    [
        { 123, 154, 443, 455 },
        { 102, 123, 443 },
        { 102, 123, 336, 455 },
        { 102, 154, 336, 443 },
        { 154, 336, 455 }
    ],
    [
        { 102, 154, 336, 443 },
        { 102, 443, 724, 725 },
        { 154, 336, 724, 725 },
        { 154, 443, 724 },
        { 102, 336, 725 }
    ]
]
/* Order of PGL_2(O) stabilizers of Voronoi top cells */
[ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 2, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 2, 1, 1, 3, 1, 1, 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, 3, 1, 3 ]
/* GAP id of GL_2(O) stabilizers of Voronoi top cells */
[ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <4, 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>, <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>, <6, 2>, <2, 1>, <6, 2> ]