/* Defining polynomial */
x^2 + 278
/* Minimal vectors */
[
    <-5*w + 30, 4*w + 46>,
    <-w + 33, 2*w - 5>,
    <45, 2*w - 24>,
    <-2*w + 88, 5*w - 22>,
    <-w + 10, w + 8>,
    <-2*w + 42, 3*w + 4>,
    <-3*w + 52, 4*w + 12>,
    <w + 54, 2*w - 41>,
    <-2*w + 21, 2*w + 15>,
    <3*w + 55, w - 67>,
    <-5*w + 74, 6*w + 26>,
    <w + 76, 3*w - 52>,
    <6*w + 2, -3*w - 78>,
    <w + 10, -18>,
    <2*w + 42, w - 46>,
    <3*w + 52, w - 64>,
    <-w + 54, 3*w - 13>,
    <2*w + 21, -36>,
    <-3*w + 55, 4*w + 12>,
    <5*w + 74, w - 100>,
    <-w + 76, 4*w - 24>,
    <-6*w + 2, 3*w + 76>,
    <-16*w + 75, 12*w + 181>,
    <81, 4*w - 42>,
    <9*w + 236, 7*w - 246>,
    <-2*w + 242, 13*w - 98>,
    <w + 51, 2*w - 40>,
    <11*w + 54, -3*w - 179>,
    <w + 152, 7*w - 92>,
    <-6*w + 160, 11*w>,
    <20, w - 10>,
    <4*w + 41, -76>,
    <-3*w + 50, 4*w + 16>,
    <-3*w + 70, 5*w + 6>,
    <-4*w + 60, 5*w + 24>,
    <7*w + 73, -133>,
    <-w + 132, 7*w - 54>,
    <-5*w + 192, 12*w - 30>,
    <-4*w + 19, 3*w + 44>,
    <3*w + 32, -57>,
    <-w + 72, 4*w - 24>,
    <-31*w + 10, 16*w + 443>,
    <8*w + 173, 5*w - 202>,
    <-23*w + 183, 21*w + 241>,
    <-9*w + 683, 40*w - 211>,
    <17*w + 67, -5*w - 279>,
    <-12*w + 135, 13*w + 106>,
    <-4*w + 154, 10*w - 19>,
    <-16*w + 289, 23*w + 87>,
    <8*w + 77, -154>,
    <-17*w + 183, 18*w + 154>,
    <23*w + 202, -w - 433>,
    <-9*w + 260, 18*w>,
    <154, 8*w - 77>,
    <-18*w + 154, 17*w + 183>,
    <-w + 433, 23*w - 202>,
    <-18*w, 9*w + 260>,
    <-4*w + 135, 9*w - 12>,
    <-20*w + 170, 19*w + 199>,
    <22*w + 258, 2*w - 447>,
    <2*w + 428, 21*w - 248>,
    <9*w + 12, -4*w - 135>,
    <-19*w + 199, 20*w + 170>,
    <21*w + 248, 2*w - 428>,
    <2*w + 447, 22*w - 258>,
    <-11*w + 47, 8*w + 134>,
    <-5*w + 106, 8*w + 18>,
    <-7*w + 222, 15*w - 12>,
    <11*w + 263, 8*w - 291>,
    <15*w + 12, -7*w - 222>,
    <-8*w + 18, 5*w + 106>,
    <-8*w + 134, 11*w + 47>,
    <8*w + 291, 11*w - 263>,
    <7*w + 68, -134>,
    <-5*w + 107, 8*w + 18>,
    <35*w + 554, 11*w - 777>,
    <-14*w + 817, 49*w - 208>,
    <-7*w + 68, 7*w + 66>,
    <5*w + 107, 3*w - 125>,
    <-35*w + 554, 46*w + 223>,
    <14*w + 817, 35*w - 609>,
    <5*w + 10, -2*w - 76>,
    <-9*w + 29, 6*w + 113>,
    <-8*w + 176, 13*w + 25>,
    <8*w + 216, 7*w - 222>,
    <3*w + 206, 9*w - 146>,
    <12*w + 177, 3*w - 259>,
    <-2*w + 196, 11*w - 70>,
    <-8*w + 39, 6*w + 94>,
    <7*w + 49, -w - 124>,
    <2*w + 137, 6*w - 97>,
    <-w + 186, 10*w - 79>,
    <3*w + 49, w - 67>,
    <31*w + 147, -8*w - 513>,
    <-11*w + 402, 26*w - 45>,
    <-14*w + 451, 30*w - 27>,
    <8*w + 39, -2*w - 133>,
    <-7*w + 49, 6*w + 75>,
    <-12*w + 59, 9*w + 141>,
    <w + 186, 9*w - 107>,
    <-2*w + 137, 8*w - 40>,
    <-5*w + 10, 3*w + 66>,
    <9*w + 29, -3*w - 142>,
    <8*w + 176, 5*w - 201>,
    <-8*w + 216, 15*w + 6>,
    <-3*w + 206, 12*w - 60>,
    <-12*w + 177, 15*w + 82>,
    <2*w + 196, 9*w - 126>,
    <-15*w + 119, 13*w + 149>,
    <16*w + 134, -w - 283>,
    <-29*w + 268, 27*w + 270>,
    <284, 14*w - 135>,
    <-2*w + 1, w + 27>,
    <15*w + 104, -2*w - 255>,
    <-16*w + 150, 15*w + 148>,
    <-w + 254, 13*w - 107>,
    <w + 30, w - 28>,
    <-w + 31, 2*w - 1>,
    <13*w + 166, 2*w - 257>,
    <12*w + 197, 4*w - 258>,
    <14*w + 135, -256>,
    <-14*w + 149, 14*w + 121>,
    <3*w + 9, -w - 45>,
    <-2*w + 42, 3*w + 7>,
    <-5*w + 115, 8*w + 13>,
    <4*w + 121, 4*w - 112>,
    <-4*w + 21, 3*w + 45>,
    <5*w + 49, -93>,
    <-2*w + 61, 4*w - 2>,
    <3*w + 110, 4*w - 95>,
    <-3*w + 32, 3*w + 25>,
    <41, 2*w - 20>,
    <w + 51, 2*w - 38>,
    <-5*w + 53, 5*w + 42>,
    <w + 92, 4*w - 58>,
    <w + 12, -19>,
    <2*w + 1, -w - 25>,
    <-3*w + 9, 2*w + 32>,
    <3*w + 36, -56>,
    <-3*w + 10, 2*w + 33>,
    <w + 33, w - 30>,
    <-4*w + 64, 5*w + 18>,
    <2*w + 88, 3*w - 71>,
    <6*w + 4, -3*w - 77>,
    <-2*w + 21, 2*w + 14>,
    <13*w + 11, -6*w - 169>,
    <22, w - 11>,
    <13*w + 33, -5*w - 180>,
    <-6*w + 199, 12*w - 24>,
    <-13*w + 11, 7*w + 158>,
    <-13*w + 33, 8*w + 147>,
    <6*w + 199, 6*w - 175>,
    <3*w + 12, -w - 45>,
    <-4*w + 20, 3*w + 41>,
    <-w + 54, 3*w - 15>,
    <-3*w + 12, 2*w + 33>,
    <4*w + 20, -w - 61>,
    <-w + 33, 2*w - 3>,
    <w + 54, 2*w - 39>,
    <-w + 11, w + 6>,
    <-w + 12, w + 5>,
    <-2*w + 23, 2*w + 11>,
    <2*w + 25, -36>,
    <-2*w + 1, w + 24>,
    <w + 33, w - 28>,
    <-3*w + 36, 3*w + 20>,
    <45, 2*w - 21>,
    <3*w + 9, -w - 41>,
    <3*w + 10, -w - 43>,
    <4*w + 64, w - 82>,
    <-2*w + 88, 5*w - 17>,
    <-6*w + 4, 3*w + 73>,
    <-w + 12, w + 7>,
    <2*w + 21, -35>,
    <15*w + 119, -2*w - 268>,
    <-16*w + 134, 15*w + 149>,
    <29*w + 268, -2*w - 538>,
    <284, 14*w - 149>,
    <2*w + 1, -w - 28>,
    <-15*w + 104, 13*w + 151>,
    <16*w + 150, -w - 298>,
    <w + 254, 12*w - 147>,
    <-w + 30, 2*w - 2>,
    <w + 31, w - 30>,
    <-13*w + 166, 15*w + 91>,
    <-12*w + 197, 16*w + 61>,
    <-14*w + 135, 14*w + 121>,
    <14*w + 149, -270>,
    <4*w + 21, -w - 66>,
    <-5*w + 49, 5*w + 44>,
    <2*w + 61, 2*w - 59>,
    <-3*w + 110, 7*w - 15>,
    <5*w + 12, -2*w - 75>,
    <-5*w + 69, 6*w + 33>,
    <-16*w + 156, 16*w + 139>,
    <3*w + 11, -w - 47>,
    <4*w + 62, w - 87>,
    <12*w + 105, -w - 219>,
    <3*w + 31, -57>,
    <2*w + 21, -38>,
    <-w + 51, 3*w - 13>,
    <41, 2*w - 21>,
    <5*w + 53, -95>,
    <-w + 92, 5*w - 34>,
    <-3*w + 9, 2*w + 36>,
    <2*w + 42, w - 49>,
    <5*w + 115, 3*w - 128>,
    <-4*w + 121, 8*w - 9>,
    <-5*w + 8, 3*w + 64>,
    <-4*w + 39, 4*w + 34>,
    <2*w + 103, 4*w - 81>,
    <6*w + 2, -3*w - 83>,
    <-5*w + 49, 5*w + 43>,
    <-w + 71, 4*w - 23>,
    <6*w + 23, -2*w - 95>,
    <40, 2*w - 21>,
    <-w + 70, 4*w - 23>,
    <w + 71, 3*w - 51>,
    <-5*w + 48, 5*w + 44>,
    <-4*w + 38, 4*w + 35>,
    <w + 51, 2*w - 41>,
    <2*w + 82, 3*w - 71>,
    <-w + 28, 2*w - 1>,
    <-4*w + 35, 4*w + 38>,
    <2*w + 41, w - 51>,
    <3*w + 71, 2*w - 82>,
    <2*w + 21, -40>,
    <4*w + 23, -w - 70>,
    <3*w + 51, w - 71>,
    <-2*w + 95, 6*w - 23>,
    <-5*w + 44, 5*w + 48>,
    <3*w + 12, -w - 49>,
    <-11*w + 21, 7*w + 145>,
    <39, 2*w - 21>,
    <-2*w + 155, 9*w - 55>,
    <-3*w + 27, 3*w + 28>,
    <3*w + 149, 6*w - 123>,
    <2*w + 21, -39>,
    <-3*w + 28, 3*w + 27>,
    <6*w + 123, 3*w - 149>,
    <-7*w + 145, 11*w + 21>,
    <-w + 49, 3*w - 12>,
    <9*w + 55, -2*w - 155>,
    <-3*w + 9, 2*w + 37>,
    <5*w + 32, -w - 86>,
    <2*w + 41, w - 49>,
    <100, 5*w - 52>,
    <-2*w + 19, 2*w + 18>,
    <-5*w + 28, 4*w + 55>,
    <3*w + 91, 3*w - 89>,
    <-2*w + 119, 7*w - 34>,
    <-7*w + 146, 11*w + 21>,
    <-5*w + 167, 11*w - 18>,
    <4*w + 2, -2*w - 57>,
    <-11*w + 104, 11*w + 99>,
    <-7*w + 46, 6*w + 74>,
    <99, 5*w - 52>,
    <w + 10, -19>,
    <-4*w + 19, 3*w + 46>,
    <80, 4*w - 41>,
    <-3*w + 29, 3*w + 27>,
    <4*w + 61, w - 87>,
    <-4*w + 39, 4*w + 36>,
    <-2*w + 39, 3*w + 8>,
    <w + 50, 2*w - 40>,
    <-w + 89, 5*w - 32>,
    <3*w + 110, 4*w - 99>,
    <3*w + 31, -58>,
    <60, 3*w - 31>,
    <-12*w + 15, 7*w + 160>,
    <7*w + 152, 4*w - 177>,
    <6*w + 2, -3*w - 85>,
    <-2*w + 18, 2*w + 19>,
    <-2*w + 57, 4*w - 2>,
    <-11*w + 99, 11*w + 104>,
    <5*w + 52, -99>,
    <-6*w + 74, 7*w + 46>,
    <58, 3*w - 31>,
    <-7*w + 160, 12*w + 15>,
    <4*w + 177, 7*w - 152>,
    <-3*w + 27, 3*w + 29>,
    <5*w + 32, -w - 89>,
    <-3*w + 85, 6*w - 2>,
    <-3*w + 8, 2*w + 39>,
    <2*w + 40, w - 50>,
    <4*w + 99, 3*w - 110>,
    <11*w + 18, -5*w - 167>,
    <-11*w + 21, 7*w + 146>,
    <3*w + 31, -60>,
    <-2*w + 37, 3*w + 9>,
    <19, w - 10>,
    <-4*w + 36, 4*w + 39>,
    <-3*w + 46, 4*w + 19>,
    <4*w + 41, -80>,
    <w + 87, 4*w - 61>,
    <3*w + 89, 3*w - 91>,
    <7*w + 34, -2*w - 119>,
    <-4*w + 55, 5*w + 28>,
    <w + 49, 2*w - 41>,
    <5*w + 52, -100>,
    <-w + 86, 5*w - 32>,
    <4*w + 21, -w - 69>,
    <3*w + 30, -59>,
    <-7*w + 45, 6*w + 78>,
    <-3*w + 66, 5*w + 9>,
    <115, 6*w - 60>,
    <4*w + 40, -79>,
    <w + 144, 7*w - 90>,
    <-50*w + 154, 33*w + 645>,
    <-100*w + 154, 58*w + 1367>,
    <-83*w + 1261, 107*w + 568>,
    <-133*w + 1415, 140*w + 1213>,
    <-33*w + 1107, 74*w - 77>,
    <-8*w + 2137, 115*w - 953>,
    <-116*w + 2368, 181*w + 491>,
    <10*w + 19, -4*w - 154>,
    <-13*w + 106, 12*w + 135>,
    <-5*w + 279, 17*w - 67>,
    <9*w + 48, -2*w - 154>,
    <17*w + 221, 3*w - 356>,
    <-3*w + 125, 8*w - 19>,
    <-2*w + 154, 9*w - 48>,
    <-6*w + 308, 19*w - 67>,
    <3*w + 356, 17*w - 221>,
    <11*w + 375, 14*w - 346>,
    <19*w + 67, -6*w - 308>,
    <14*w + 346, 11*w - 375>,
    <5*w + 202, 8*w - 173>,
    <-21*w + 241, 23*w + 183>,
    <-16*w + 443, 31*w + 10>,
    <8*w + 19, -3*w - 125>,
    <23*w + 48, -9*w - 356>,
    <14*w + 308, 9*w - 356>,
    <-9*w + 106, 10*w + 77>,
    <-24*w + 135, 19*w + 279>,
    <-w + 183, 10*w - 77>,
    <5*w + 414, 19*w - 279>,
    <-17*w + 29, 10*w + 231>,
    <-10*w + 77, 9*w + 106>,
    <9*w + 356, 14*w - 308>,
    <-10*w + 231, 17*w + 29>,
    <-35*w + 183, 27*w + 414>,
    <-10*w + 539, 33*w - 125>,
    <-2*w + 616, 33*w - 279>,
    <33*w + 125, -10*w - 539>,
    <33*w + 279, -2*w - 616>,
    <-27*w + 414, 35*w + 183>,
    <25*w + 48, -10*w - 385>,
    <-2*w + 462, 25*w - 202>,
    <-27*w + 106, 19*w + 337>,
    <17*w + 125, -2*w - 308>,
    <25*w + 202, -2*w - 462>,
    <42*w + 327, -4*w - 770>,
    <-12*w + 693, 42*w - 173>,
    <-10*w + 385, 25*w - 48>,
    <5*w + 30, -w - 86>,
    <59, 3*w - 30>,
    <w + 69, 3*w - 49>,
    <6*w + 99, 2*w - 135>,
    <-4*w + 19, 3*w + 47>,
    <w + 49, 2*w - 39>,
    <-2*w + 137, 8*w - 41>,
    <3*w + 30, -58>,
    <-6*w + 38, 5*w + 66>,
    <w + 88, 4*w - 59>,
    <-7*w + 8, 4*w + 96>,
    <-4*w + 96, 7*w + 8>,
    <7*w + 31, -2*w - 116>,
    <12*w + 178, 3*w - 263>,
    <-2*w + 116, 7*w - 31>,
    <3*w + 263, 12*w - 178>,
    <3*w + 49, w - 69>,
    <-w + 86, 5*w - 30>,
    <2*w + 135, 6*w - 99>,
    <-3*w + 47, 4*w + 19>,
    <2*w + 39, w - 49>,
    <8*w + 41, -2*w - 137>,
    <58, 3*w - 30>,
    <4*w + 59, w - 88>,
    <-5*w + 66, 6*w + 38>,
    <-8*w + 38, 6*w + 95>,
    <4*w + 59, w - 87>,
    <2*w + 78, 3*w - 68>,
    <-4*w + 97, 7*w + 8>,
    <-5*w + 9, 3*w + 67>,
    <3*w + 10, -w - 48>,
    <-8*w + 96, 9*w + 66>,
    <w + 165, 8*w - 98>,
    <-12*w + 18, 7*w + 163>,
    <7*w + 185, 6*w - 194>,
    <2*w + 291, 14*w - 176>,
    <-2*w + 116, 7*w - 30>,
    <-14*w + 134, 14*w + 133>,
    <6*w + 59, -116>,
    <15*w + 128, -w - 280>,
    <-7*w + 8, 4*w + 97>,
    <3*w + 68, 2*w - 78>,
    <w + 87, 4*w - 59>,
    <-6*w + 95, 8*w + 38>,
    <7*w + 30, -2*w - 116>,
    <-w + 48, 3*w - 10>,
    <-9*w + 66, 8*w + 96>,
    <-3*w + 67, 5*w + 9>,
    <8*w + 98, w - 165>,
    <14*w + 176, 2*w - 291>,
    <-14*w + 133, 14*w + 134>,
    <-7*w + 163, 12*w + 18>,
    <6*w + 194, 7*w - 185>,
    <-2*w + 212, 12*w - 79>,
    <7*w + 10, -3*w - 105>,
    <-9*w + 29, 6*w + 114>,
    <-2*w + 39, 3*w + 9>,
    <w + 107, 5*w - 68>,
    <-8*w + 39, 6*w + 95>,
    <2*w + 175, 8*w - 116>,
    <7*w + 204, 7*w - 202>,
    <-8*w + 175, 13*w + 27>,
    <10*w + 136, 2*w - 211>,
    <136, 7*w - 68>,
    <5*w + 379, 17*w - 261>,
    <-10*w, 5*w + 143>,
    <3*w + 68, 2*w - 77>,
    <-8*w + 233, 16*w - 2>,
    <-5*w + 301, 18*w - 79>,
    <-13*w + 398, 27*w - 13>,
    <19*w + 204, w - 374>,
    <19*w + 68, -6*w - 306>,
    <-19*w + 68, 13*w + 238>,
    <-16*w, 8*w + 229>,
    <-19*w + 204, 20*w + 170>,
    <8*w + 233, 8*w - 231>,
    <-3*w + 68, 5*w + 9>,
    <5*w + 301, 13*w - 222>,
    <13*w + 398, 14*w - 385>,
    <-10*w + 136, 12*w + 75>,
    <-5*w + 379, 22*w - 118>,
    <8*w + 39, -2*w - 134>,
    <8*w + 175, 5*w - 202>,
    <-7*w + 204, 14*w - 2>,
    <-2*w + 175, 10*w - 59>,
    <w + 29, w - 29>,
    <11*w + 87, -w - 202>,
    <-4*w + 193, 12*w - 39>,
    <-3*w + 222, 13*w - 68>,
    <-w + 29, 2*w>,
    <-11*w + 87, 10*w + 115>,
    <4*w + 193, 8*w - 154>,
    <3*w + 222, 10*w - 154>,
    <-7*w + 10, 4*w + 95>,
    <9*w + 29, -3*w - 143>,
    <2*w + 39, w - 48>,
    <-w + 107, 6*w - 39>,
    <9*w + 50, -2*w - 153>,
    <6*w + 79, w - 125>,
    <2*w + 59, 2*w - 58>,
    <-7*w + 88, 8*w + 55>,
    <-5*w + 88, 7*w + 27>,
    <-7*w + 127, 10*w + 36>,
    <-12*w + 215, 17*w + 63>,
    <-15*w + 88, 12*w + 169>,
    <10*w + 98, -191>,
    <-8*w + 137, 11*w + 45>,
    <5*w + 88, 2*w - 115>,
    <-12*w + 137, 13*w + 102>,
    <10*w + 274, 9*w - 279>,
    <-10*w, 5*w + 142>,
    <12*w + 137, w - 239>,
    <-10*w + 274, 19*w + 5>,
    <13*w + 49, -4*w - 209>,
    <98, 5*w - 49>,
    <-11*w + 500, 31*w - 94>,
    <28*w + 98, -9*w - 446>,
    <-28*w + 98, 19*w + 348>,
    <14*w + 451, 16*w - 424>,
    <11*w + 500, 20*w - 406>,
    <15*w + 88, -3*w - 257>,
    <-10*w + 98, 10*w + 93>,
    <8*w + 137, 3*w - 182>,
    <-13*w + 49, 9*w + 160>,
    <7*w + 127, 3*w - 163>,
    <12*w + 215, 5*w - 278>,
    <-5*w + 30, 4*w + 56>,
    <-w + 49, 3*w - 10>,
    <-9*w + 50, 7*w + 103>,
    <-6*w + 79, 7*w + 46>,
    <-2*w + 59, 4*w - 1>,
    <7*w + 88, w - 143>,
    <4*w + 39, -73>,
    <-4*w + 22, 3*w + 44>,
    <3*w + 50, w - 65>,
    <-w + 72, 4*w - 21>,
    <5*w + 8, -2*w - 72>,
    <-2*w + 21, 2*w + 17>,
    <-w + 51, 3*w - 11>,
    <w + 71, 3*w - 48>,
    <5*w + 90, 2*w - 112>,
    <-3*w + 11, 2*w + 36>,
    <w + 70, 3*w - 48>,
    <5*w + 29, -w - 83>,
    <-7*w + 32, 5*w + 81>,
    <-5*w + 51, 5*w + 44>,
    <2*w + 60, 2*w - 57>,
    <2*w + 80, 3*w - 67>,
    <2*w + 141, 6*w - 96>,
    <-w + 152, 8*w - 60>,
    <2*w + 20, -37>,
    <15*w + 27, -6*w - 217>,
    <-8*w + 227, 15*w - 2>,
    <-2*w + 41, 3*w + 7>,
    <61, 3*w - 30>,
    <5*w + 91, 2*w - 113>,
    <3*w + 132, 5*w - 106>,
    <2*w + 41, w - 48>,
    <61, 3*w - 31>,
    <-5*w + 91, 7*w + 22>,
    <-3*w + 132, 8*w - 26>,
    <23, w - 12>,
    <w + 35, w - 31>,
    <-w + 11, w + 7>,
    <w + 34, w - 30>,
    <45, 2*w - 23>,
    <2*w + 1, -w - 26>,
    <-w + 32, 2*w - 4>,
    <3*w + 13, -w - 45>,
    <-2*w + 86, 5*w - 20>,
    <-3*w + 9, 2*w + 33>,
    <44, 2*w - 23>,
    <w + 11, -18>,
    <7*w + 210, 6*w - 193>,
    <-7*w + 210, 13*w - 17>,
    <-2*w + 66, 4*w - 7>,
    <-2*w + 88, 5*w - 18>,
    <4*w + 43, -72>,
    <-2*w + 44, 3*w + 4>,
    <w + 12, -18>,
    <23, w - 11>,
    <-w + 35, 2*w - 4>,
    <-w + 34, 2*w - 4>,
    <45, 2*w - 22>,
    <-2*w + 1, w + 25>,
    <w + 32, w - 28>,
    <-10*w + 92, 9*w + 84>,
    <3*w + 9, -w - 42>,
    <-3*w + 13, 2*w + 32>,
    <44, 2*w - 21>,
    <-w + 70, 4*w - 22>,
    <5*w + 31, -w - 85>,
    <-w + 90, 5*w - 32>,
    <3*w + 91, 3*w - 88>,
    <-5*w + 29, 4*w + 54>,
    <7*w + 32, -2*w - 113>,
    <5*w + 51, -95>,
    <-2*w + 60, 4*w - 3>,
    <-2*w + 80, 5*w - 13>,
    <4*w + 1, -2*w - 56>,
    <-w + 50, 3*w - 12>,
    <-4*w + 39, 4*w + 35>,
    <-2*w + 80, 5*w - 14>,
    <3*w + 92, 3*w - 89>,
    <-2*w + 141, 8*w - 45>,
    <-2*w + 20, 2*w + 17>,
    <-15*w + 27, 9*w + 190>,
    <8*w + 227, 7*w - 225>,
    <-2*w + 40, 3*w + 7>,
    <82, 4*w - 43>,
    <4*w + 22, -w - 66>,
    <-3*w + 50, 4*w + 15>,
    <w + 72, 3*w - 51>,
    <-5*w + 90, 7*w + 22>,
    <3*w + 52, w - 68>,
    <-2*w + 39, 3*w + 7>,
    <7*w + 14, -3*w - 104>,
    <5*w + 53, -97>,
    <-3*w + 8, 2*w + 37>,
    <-5*w + 7, 3*w + 65>,
    <-7*w + 6, 4*w + 93>,
    <81, 4*w - 43>,
    <-2*w + 37, 3*w + 8>,
    <w + 30, w - 31>,
    <-3*w + 65, 5*w + 7>,
    <-4*w + 93, 7*w + 6>,
    <4*w + 43, -81>,
    <-3*w + 7, 2*w + 39>,
    <97, 5*w - 53>,
    <-3*w + 104, 7*w - 14>,
    <2*w + 1, -w - 29>,
    <7*w + 14, -3*w - 107>,
    <w + 30, w - 30>,
    <-3*w + 86, 6*w - 3>,
    <w + 69, 3*w - 51>,
    <-w + 9, w + 9>,
    <59, 3*w - 32>,
    <3*w + 32, -60>,
    <-2*w + 38, 3*w + 8>,
    <-9*w + 64, 8*w + 94>,
    <10*w + 103, -196>,
    <w + 167, 8*w - 102>,
    <-8*w + 94, 9*w + 64>,
    <8*w + 102, w - 167>,
    <196, 10*w - 103>,
    <60, 3*w - 32>,
    <3*w + 32, -59>,
    <-3*w + 8, 2*w + 38>,
    <3*w + 51, w - 69>,
    <6*w + 3, -3*w - 86>,
    <-w + 29, 2*w - 1>,
    <-3*w + 107, 7*w - 14>,
    <3*w + 12, -w - 48>,
    <10*w + 5, -5*w - 142>,
    <10*w + 45, -3*w - 163>,
    <5*w + 31, -w - 86>,
    <3*w + 11, -w - 48>,
    <5*w + 71, w - 107>,
    <-3*w + 48, 4*w + 17>,
    <5*w + 32, -w - 87>,
    <-w + 69, 4*w - 22>,
    <4*w + 61, w - 88>,
    <-4*w + 17, 3*w + 48>,
    <4*w + 22, -w - 69>,
    <-w + 87, 5*w - 32>,
    <-3*w + 47, 4*w + 18>,
    <-w + 48, 3*w - 11>,
    <w + 88, 4*w - 61>,
    <w + 107, 5*w - 71>,
    <-w + 86, 5*w - 31>,
    <-w + 48, 3*w - 12>,
    <-5*w + 142, 10*w - 5>,
    <-3*w + 163, 10*w - 45>,
    <w + 49, 2*w - 40>,
    <7*w + 91, w - 148>,
    <175, 9*w - 92>,
    <8*w + 43, -2*w - 137>,
    <-9*w + 83, 9*w + 85>,
    <9*w + 92, -177>,
    <3*w + 11, -w - 49>,
    <2*w + 78, 3*w - 70>,
    <w + 87, 4*w - 60>,
    <-50*w, 25*w + 722>,
    <25*w + 1030, 41*w - 876>,
    <-w + 125, 7*w - 48>,
    <-3*w + 221, 13*w - 67>,
    <-2*w, w + 29>,
    <7*w + 144, 4*w - 173>,
    <-11*w + 106, 11*w + 106>,
    <26*w + 115, -7*w - 433>,
    <-7*w + 433, 26*w - 115>,
    <7*w + 48, -w - 125>,
    <13*w + 67, -3*w - 221>,
    <4*w + 173, 7*w - 144>,
    <-25*w + 10, 13*w + 356>,
    <-12*w + 289, 21*w + 29>,
    <-5*w + 337, 20*w - 96>,
    <13*w + 279, 8*w - 327>,
    <4*w + 385, 18*w - 250>,
    <-11*w + 260, 19*w + 29>,
    <15*w + 279, 7*w - 356>,
    <-2*w + 308, 17*w - 125>,
    <66*w + 346, -15*w - 1126>,
    <7*w + 356, 15*w - 279>,
    <-15*w + 1126, 66*w - 346>,
    <-19*w + 29, 11*w + 260>,
    <-19*w + 337, 27*w + 106>,
    <-44*w + 135, 29*w + 568>,
    <-27*w + 260, 27*w + 260>,
    <15*w + 433, 15*w - 433>,
    <-29*w + 568, 44*w + 135>,
    <-2*w + 19, 2*w + 19>,
    <39, 2*w - 20>,
    <-2*w + 58, 4*w - 1>,
    <8*w + 99, w - 165>,
    <-13*w + 123, 13*w + 123>,
    <8*w + 235, 8*w - 235>,
    <-9*w + 27, 6*w + 115>,
    <3*w + 88, 3*w - 88>,
    <-6*w + 115, 9*w + 27>,
    <5*w + 108, 3*w - 127>,
    <3*w + 127, 5*w - 108>,
    <w + 146, 7*w - 89>,
    <2*w + 20, -39>,
    <7*w + 89, w - 146>,
    <w + 165, 8*w - 99>,
    <5*w + 147, 5*w - 147>,
    <4*w + 1, -2*w - 58>,
    <116, 6*w - 59>,
    <-w + 68, 4*w - 20>,
    <-5*w + 29, 4*w + 57>,
    <-4*w + 136, 9*w - 11>,
    <3*w + 146, 6*w - 116>,
    <5*w + 29, -w - 86>,
    <4*w + 136, 5*w - 125>,
    <-3*w + 146, 9*w - 30>,
    <12*w + 97, -w - 220>,
    <11*w + 165, 3*w - 240>,
    <-11*w + 165, 14*w + 75>,
    <-12*w + 97, 11*w + 123>,
    <58, 3*w - 29>,
    <-5*w + 164, 11*w - 10>,
    <10*w + 58, -2*w - 173>,
    <5*w + 164, 6*w - 154>,
    <-10*w + 58, 8*w + 115>,
    <-3*w + 10, 2*w + 38>,
    <w + 68, 3*w - 48>,
    <-2*w + 78, 5*w - 10>,
    <4*w + 97, 3*w - 105>,
    <7*w + 9, -3*w - 105>,
    <-8*w + 20, 5*w + 105>,
    <-11*w + 30, 7*w + 143>,
    <-4*w + 39, 4*w + 38>,
    <7*w + 106, 2*w - 153>,
    <6*w + 135, 4*w - 153>,
    <3*w + 145, 6*w - 115>,
    <-5*w + 165, 11*w - 10>,
    <3*w + 108, 4*w - 97>,
    <-3*w + 49, 4*w + 18>,
    <-7*w + 186, 13*w + 6>,
    <-28*w, 14*w + 397>,
    <7*w + 186, 6*w - 192>,
    <-w + 10, w + 9>,
    <-w + 69, 4*w - 20>,
    <-7*w + 30, 5*w + 84>,
    <-2*w + 79, 5*w - 11>,
    <3*w + 108, 4*w - 96>,
    <-3*w + 69, 5*w + 8>,
    <-3*w + 108, 7*w - 11>,
    <2*w + 40, w - 46>,
    <-4*w + 43, 4*w + 34>,
    <-5*w + 12, 3*w + 62>,
    <-3*w + 52, 4*w + 16>,
    <w + 90, 4*w - 58>,
    <-5*w + 31, 4*w + 54>,
    <w + 50, 2*w - 38>,
    <2*w + 40, w - 47>,
    <-4*w + 20, 3*w + 44>,
    <4*w + 21, -w - 65>,
    <-3*w + 51, 4*w + 15>,
    <w + 72, 3*w - 50>,
    <-2*w, w + 27>,
    <3*w + 12, -w - 44>,
    <-14*w, 7*w + 176>,
    <2*w + 44, w - 48>,
    <2*w + 66, 2*w - 59>,
    <3*w + 34, -54>,
    <-w + 34, 2*w - 5>,
    <-2*w + 45, 3*w + 2>,
    <3*w + 12, -w - 43>,
    <1, 0>,
    <w + 11, -17>,
    <w + 12, -17>,
    <-w + 12, w + 6>,
    <1, -1>,
    <-3*w + 12, 2*w + 32>,
    <-2*w + 40, 3*w + 6>,
    <4*w + 43, -77>,
    <5*w + 12, -2*w - 74>,
    <3*w + 12, -w - 50>,
    <-10*w + 93, 10*w + 93>,
    <-25*w + 1338, 82*w - 308>,
    <-58*w + 77, 33*w + 799>,
    <-141*w + 1184, 132*w + 1444>,
    <-6*w + 154, 11*w + 10>,
    <-11*w + 10, 6*w + 154>,
    <6*w + 77, w - 125>,
    <-6*w + 38, 5*w + 67>,
    <-5*w + 67, 6*w + 38>,
    <-4*w + 96, 7*w + 9>,
    <-10*w, 5*w + 144>,
    <-w + 126, 7*w - 48>,
    <-4*w + 136, 9*w - 10>,
    <-6*w + 78, 7*w + 47>,
    <4*w + 20, -w - 64>,
    <2*w + 23, -36>,
    <-2*w + 23, 2*w + 13>,
    <w + 34, w - 29>,
    <-3*w + 34, 3*w + 20>,
    <68, 3*w - 34>,
    <24, w - 12>,
    <-4*w, 2*w + 47>,
    <-2*w + 38, 3*w + 9>,
    <7*w + 202, 7*w - 202>,
    <6*w + 78, w - 126>,
    <176, 9*w - 88>,
    <4*w + 59, w - 86>,
    <-2*w, w + 24>,
    <-w + 8, w + 10>,
    <58*w + 77, -25*w - 876>,
    <-25*w + 1030, 66*w - 154>,
    <-4*w + 59, 5*w + 27>,
    <-8*w + 77, 8*w + 77>,
    <33*w + 799, 25*w - 876>,
    <-33*w + 799, 58*w + 77>,
    <25*w + 876, 33*w - 799>,
    <-25*w + 876, 58*w - 77>,
    <33*w + 953, 33*w - 953>,
    <-33*w + 953, 66*w>,
    <-66*w, 33*w + 953>,
    <w + 9, -19>,
    <-w + 9, w + 10>,
    <19, w - 9>,
    <0, 1>
]
/* Voronoi top cells */
[
    { 1, 2, 3, 4 },
    { 5, 6, 7, 8 },
    { 9, 10, 11, 12 },
    { 9, 11, 12, 13 },
    { 14, 15, 16, 17 },
    { 18, 19, 20, 21 },
    { 18, 20, 21, 22 },
    { 23, 24, 25, 26 },
    { 27, 28, 29, 30 },
    { 31, 32, 33, 34 },
    { 35, 36, 37, 38 },
    { 5, 39, 40, 41 },
    { 42, 43, 44, 45 },
    { 46, 47, 48, 49 },
    { 50, 51, 52, 53 },
    { 54, 55, 56, 57 },
    { 58, 59, 60, 61 },
    { 62, 63, 64, 65 },
    { 66, 67, 68, 69 },
    { 70, 71, 72, 73 },
    { 74, 75, 76, 77 },
    { 78, 79, 80, 81 },
    { 82, 83, 84, 85 },
    { 82, 83, 85, 86 },
    { 83, 86, 87, 88 },
    { 89, 90, 91, 92 },
    { 93, 94, 95, 96 },
    { 97, 98, 99, 100 },
    { 97, 98, 100, 101 },
    { 102, 103, 104, 105 },
    { 102, 103, 105, 106 },
    { 103, 106, 107, 108 },
    { 109, 110, 111, 112 },
    { 113, 114, 115, 116 },
    { 110, 112, 113, 115 },
    { 117, 118, 119, 120 },
    { 118, 119, 121, 122 },
    { 123, 124, 125, 126 },
    { 127, 128, 129, 130 },
    { 131, 132, 133, 134 },
    { 132, 133, 134, 135 },
    { 2, 3, 4, 136 },
    { 3, 137, 138, 139 },
    { 140, 141, 142, 143 },
    { 2, 136, 144, 145 },
    { 146, 147, 148, 149 },
    { 147, 150, 151, 152 },
    { 5, 6, 8, 153 },
    { 10, 141, 153, 154 },
    { 9, 10, 11, 141 },
    { 9, 11, 13, 155 },
    { 14, 15, 17, 156 },
    { 19, 156, 157, 158 },
    { 18, 19, 20, 158 },
    { 18, 20, 22, 159 },
    { 160, 161, 162, 163 },
    { 164, 165, 166, 167 },
    { 164, 166, 167, 168 },
    { 158, 169, 170, 171 },
    { 165, 172, 173, 174 },
    { 175, 176, 177, 178 },
    { 179, 180, 181, 182 },
    { 176, 178, 179, 181 },
    { 183, 184, 185, 186 },
    { 184, 185, 187, 188 },
    { 189, 190, 191, 192 },
    { 23, 24, 26, 193 },
    { 23, 24, 194, 195 },
    { 27, 28, 29, 196 },
    { 27, 28, 197, 198 },
    { 31, 32, 33, 199 },
    { 35, 36, 37, 200 },
    { 5, 39, 40, 201 },
    { 40, 201, 202, 203 },
    { 201, 202, 203, 204 },
    { 205, 206, 207, 208 },
    { 205, 209, 210, 211 },
    { 27, 212, 213, 214 },
    { 215, 216, 217, 218 },
    { 215, 216, 218, 219 },
    { 179, 220, 221, 222 },
    { 223, 224, 225, 226 },
    { 227, 228, 229, 230 },
    { 227, 229, 230, 231 },
    { 232, 233, 234, 235 },
    { 233, 234, 236, 237 },
    { 238, 239, 240, 241 },
    { 238, 241, 242, 243 },
    { 244, 245, 246, 247 },
    { 248, 249, 250, 251 },
    { 238, 248, 252, 253 },
    { 238, 248, 254, 255 },
    { 238, 254, 256, 257 },
    { 244, 258, 259, 260 },
    { 244, 259, 261, 262 },
    { 258, 259, 261, 263 },
    { 264, 265, 266, 267 },
    { 244, 248, 250, 268 },
    { 244, 261, 268, 269 },
    { 248, 268, 270, 271 },
    { 261, 266, 268, 272 },
    { 234, 273, 274, 275 },
    { 234, 274, 276, 277 },
    { 273, 278, 279, 280 },
    { 278, 281, 282, 283 },
    { 282, 284, 285, 286 },
    { 234, 273, 287, 288 },
    { 278, 281, 289, 290 },
    { 281, 291, 292, 293 },
    { 290, 291, 293, 294 },
    { 281, 290, 293, 295 },
    { 273, 278, 290, 296 },
    { 273, 296, 297, 298 },
    { 290, 299, 300, 301 },
    { 302, 303, 304, 305, 306 },
    { 291, 302, 307, 308 },
    { 309, 310, 311, 312 },
    { 311, 313, 314, 315 },
    { 43, 316, 317, 318 },
    { 43, 318, 319, 320 },
    { 42, 43, 44, 319 },
    { 43, 316, 317, 321 },
    { 46, 322, 323, 324 },
    { 46, 48, 323, 325 },
    { 316, 318, 326, 327 },
    { 318, 319, 320, 326 },
    { 322, 328, 329, 330 },
    { 47, 48, 328, 331 },
    { 46, 322, 324, 328 },
    { 46, 47, 48, 328 },
    { 50, 53, 332, 333 },
    { 332, 333, 334, 335, 336, 337 },
    { 50, 51, 52, 338 },
    { 50, 52, 333, 334 },
    { 54, 56, 339, 340 },
    { 54, 55, 56, 341 },
    { 54, 342, 343, 344 },
    { 50, 345, 346, 347 },
    { 50, 347, 348, 349 },
    { 350, 351, 352, 353, 354 },
    { 54, 342, 352, 355 },
    { 356, 357, 358, 359 },
    { 356, 360, 361, 362 },
    { 356, 357, 359, 360 },
    { 361, 363, 364, 365 },
    { 58, 59, 61, 366 },
    { 62, 63, 64, 367 },
    { 58, 366, 368, 369 },
    { 62, 367, 370, 371 },
    { 303, 372, 373, 374 },
    { 303, 373, 374, 375 },
    { 373, 375, 376, 377 },
    { 376, 378, 379, 380 },
    { 381, 382, 383, 384 },
    { 385, 386, 387, 388 },
    { 67, 389, 390, 391 },
    { 389, 391, 392, 393 },
    { 67, 68, 391, 392 },
    { 66, 67, 394, 395 },
    { 66, 67, 68, 392 },
    { 396, 397, 398, 399 },
    { 70, 71, 72, 400 },
    { 401, 402, 403, 404 },
    { 70, 71, 400, 405 },
    { 400, 405, 406, 407 },
    { 71, 401, 408, 409 },
    { 71, 405, 407, 408 },
    { 410, 411, 412, 413 },
    { 75, 414, 415, 416 },
    { 74, 75, 77, 415 },
    { 75, 414, 416, 417 },
    { 418, 419, 420, 421 },
    { 422, 423, 424, 425 },
    { 419, 423, 424, 426 },
    { 419, 423, 426, 427 },
    { 419, 427, 428, 429 },
    { 419, 428, 430, 431 },
    { 431, 432, 433, 434 },
    { 419, 430, 431, 433 },
    { 419, 421, 435, 436 },
    { 79, 437, 438, 439 },
    { 79, 437, 439, 440 },
    { 78, 79, 81, 440 },
    { 441, 442, 443, 444 },
    { 445, 446, 447, 448 },
    { 449, 450, 451, 452 },
    { 356, 361, 453, 454 },
    { 82, 83, 84, 455 },
    { 82, 83, 86, 88 },
    { 83, 88, 455, 456 },
    { 90, 457, 458, 459 },
    { 89, 90, 91, 457 },
    { 457, 460, 461, 462 },
    { 463, 464, 465, 466 },
    { 457, 466, 467, 468 },
    { 457, 460, 461, 466 },
    { 461, 466, 469, 470 },
    { 93, 94, 96, 471 },
    { 96, 470, 471, 472 },
    { 470, 473, 474, 475 },
    { 463, 476, 477, 478 },
    { 463, 466, 476, 477 },
    { 466, 470, 477, 479 },
    { 98, 463, 480, 481 },
    { 97, 98, 99, 102 },
    { 97, 98, 101, 463 },
    { 482, 483, 484, 485 },
    { 102, 103, 104, 486 },
    { 102, 103, 106, 108 },
    { 103, 108, 486, 487 },
    { 109, 110, 112, 113 },
    { 112, 113, 114, 115 },
    { 112, 114, 118, 121 },
    { 117, 118, 119, 122 },
    { 112, 118, 121, 122 },
    { 123, 124, 126, 488 },
    { 123, 489, 490, 491 },
    { 123, 489, 491, 492 },
    { 117, 123, 488, 492 },
    { 493, 494, 495, 496 },
    { 127, 129, 130, 497 },
    { 127, 128, 129, 498 },
    { 127, 497, 499, 500 },
    { 31, 501, 502, 503 },
    { 494, 497, 504, 505 },
    { 14, 131, 132, 133 },
    { 132, 133, 135, 493 },
    { 132, 506, 507, 508 },
    { 509, 510, 511, 512 },
    { 513, 514, 515, 516 },
    { 136, 138, 517, 518 },
    { 2, 137, 519, 520 },
    { 137, 519, 520, 521 },
    { 2, 3, 136, 137 },
    { 3, 137, 138, 517 },
    { 3, 136, 138, 517 },
    { 140, 141, 143, 522 },
    { 5, 6, 141, 523 },
    { 522, 523, 524, 525 },
    { 136, 522, 524, 526 },
    { 2, 136, 145, 519 },
    { 136, 145, 526, 527 },
    { 147, 148, 149, 528 },
    { 146, 147, 149, 529 },
    { 147, 151, 152, 519 },
    { 147, 150, 152, 530 },
    { 5, 8, 9, 153 },
    { 5, 6, 141, 153 },
    { 9, 10, 141, 153 },
    { 140, 141, 155, 519 },
    { 9, 11, 141, 155 },
    { 14, 17, 18, 156 },
    { 14, 15, 156, 158 },
    { 18, 19, 156, 158 },
    { 18, 20, 158, 159 },
    { 147, 528, 531, 532 },
    { 147, 531, 533, 534 },
    { 160, 161, 163, 535 },
    { 168, 173, 536, 537 },
    { 164, 165, 528, 538 },
    { 164, 528, 538, 539 },
    { 164, 165, 167, 173 },
    { 164, 167, 168, 536 },
    { 167, 168, 173, 536 },
    { 158, 169, 171, 540 },
    { 158, 159, 169, 528 },
    { 158, 540, 541, 542 },
    { 14, 15, 158, 541 },
    { 173, 540, 543, 544 },
    { 165, 173, 174, 528 },
    { 173, 174, 543, 545 },
    { 175, 176, 178, 179 },
    { 178, 179, 180, 181 },
    { 178, 180, 184, 187 },
    { 183, 184, 185, 188 },
    { 178, 184, 187, 188 },
    { 189, 191, 192, 196 },
    { 189, 190, 191, 546 },
    { 189, 547, 548, 549 },
    { 189, 196, 550, 551 },
    { 31, 552, 553, 554 },
    { 258, 546, 555, 556 },
    { 191, 196, 546, 556 },
    { 193, 196, 556, 557, 558, 559 },
    { 27, 29, 196, 560 },
    { 23, 24, 193, 194 },
    { 27, 28, 196, 197 },
    { 202, 561, 562, 563 },
    { 31, 32, 199, 564 },
    { 35, 36, 200, 561 },
    { 5, 40, 201, 202 },
    { 200, 201, 202, 204 },
    { 205, 206, 208, 210 },
    { 183, 206, 210, 565 },
    { 205, 566, 567, 568 },
    { 205, 209, 566, 568 },
    { 183, 205, 209, 210 },
    { 27, 200, 214, 569 },
    { 27, 213, 214, 570 },
    { 179, 220, 221, 571 },
    { 179, 217, 571, 572 },
    { 216, 217, 571, 573 },
    { 179, 216, 217, 218 },
    { 216, 218, 219, 246 },
    { 179, 221, 222, 574 },
    { 179, 222, 574, 575 },
    { 179, 184, 575, 576 },
    { 184, 574, 575, 577 },
    { 223, 225, 226, 578 },
    { 223, 579, 580, 581 },
    { 223, 226, 578, 580 },
    { 578, 579, 580, 582 },
    { 223, 224, 225, 583 },
    { 227, 228, 583, 584 },
    { 223, 228, 583, 585 },
    { 223, 227, 228, 229 },
    { 227, 229, 231, 299 },
    { 586, 587, 588, 589 },
    { 587, 588, 589, 590 },
    { 232, 236, 591, 592 },
    { 234, 236, 591, 593 },
    { 232, 233, 234, 236 },
    { 232, 588, 590, 594 },
    { 588, 595, 596, 597 },
    { 588, 598, 599, 600 },
    { 588, 595, 596, 598, 600 },
    { 238, 239, 591, 601 },
    { 239, 242, 591, 602 },
    { 238, 239, 241, 242 },
    { 242, 588, 603, 604 },
    { 588, 605, 606, 607 },
    { 588, 604, 605, 607 },
    { 216, 244, 246, 247 },
    { 244, 248, 249, 250 },
    { 216, 244, 247, 249 },
    { 238, 591, 601, 608 },
    { 238, 248, 253, 609 },
    { 216, 238, 609, 610 },
    { 238, 248, 254, 257 },
    { 244, 258, 259, 261 },
    { 258, 261, 264, 611 },
    { 261, 264, 265, 266 },
    { 244, 248, 261, 268 },
    { 248, 265, 268, 270 },
    { 261, 265, 266, 268 },
    { 264, 265, 612, 613 },
    { 248, 257, 604, 614 },
    { 265, 614, 615, 616 },
    { 265, 612, 614, 617 },
    { 234, 273, 274, 276 },
    { 586, 589, 590, 618 },
    { 273, 276, 590, 618 },
    { 285, 618, 619, 620 },
    { 586, 618, 621, 622 },
    { 285, 618, 622, 623 },
    { 284, 285, 622, 624 },
    { 273, 278, 279, 285 },
    { 278, 281, 282, 285 },
    { 281, 284, 291, 625 },
    { 281, 282, 284, 285 },
    { 234, 591, 593, 626 },
    { 234, 273, 287, 627 },
    { 227, 234, 627, 628 },
    { 273, 278, 281, 290 },
    { 281, 290, 291, 293 },
    { 273, 290, 296, 298 },
    { 227, 290, 298, 300 },
    { 227, 290, 299, 300 },
    { 622, 629, 630, 631 },
    { 622, 630, 631, 632, 633 },
    { 586, 622, 632, 633 },
    { 586, 629, 631, 633, 634 },
    { 284, 291, 635, 636 },
    { 302, 303, 305, 637 },
    { 291, 302, 303, 306, 307 },
    { 309, 310, 311, 638 },
    { 311, 313, 314, 639 },
    { 43, 316, 318, 319 },
    { 43, 44, 319, 640 },
    { 43, 316, 321, 640 },
    { 321, 640, 641, 642 },
    { 316, 321, 642, 643 },
    { 322, 323, 644, 645 },
    { 46, 48, 322, 323 },
    { 316, 318, 319, 326 },
    { 319, 326, 644, 646 },
    { 331, 445, 647, 648 },
    { 48, 331, 445, 649 },
    { 322, 328, 329, 647 },
    { 48, 328, 331, 647 },
    { 46, 48, 322, 328 },
    { 50, 332, 333, 334, 336 },
    { 322, 647, 650, 651, 652 },
    { 322, 334, 650, 653, 654 },
    { 50, 52, 334, 338 },
    { 322, 334, 338, 655 },
    { 338, 656, 657, 658 },
    { 341, 351, 659, 660 },
    { 319, 339, 341, 661 },
    { 54, 56, 339, 341 },
    { 50, 338, 348, 349 },
    { 338, 349, 657, 662 },
    { 349, 352, 663, 664, 665, 666 },
    { 351, 352, 353, 665, 666 },
    { 54, 342, 344, 352 },
    { 50, 346, 347, 349 },
    { 341, 350, 351, 352 },
    { 54, 341, 352, 355 },
    { 258, 356, 357, 358 },
    { 356, 357, 360, 361 },
    { 667, 668, 669, 670 },
    { 361, 363, 365, 668 },
    { 365, 382, 668, 669 },
    { 58, 62, 671, 672 },
    { 667, 673, 674, 675 },
    { 672, 673, 675, 676, 677 },
    { 667, 668, 670, 678 },
    { 58, 59, 366, 677 },
    { 62, 63, 367, 676 },
    { 667, 679, 680, 681 },
    { 58, 366, 368, 668 },
    { 58, 368, 369, 682 },
    { 62, 367, 370, 679 },
    { 62, 370, 371, 682 },
    { 291, 303, 372, 373 },
    { 303, 373, 375, 376 },
    { 667, 679, 681, 683 },
    { 376, 378, 379, 679 },
    { 379, 398, 679, 683 },
    { 382, 383, 384, 386 },
    { 385, 386, 388, 667 },
    { 67, 386, 387, 388 },
    { 67, 386, 389, 390 },
    { 67, 389, 391, 392 },
    { 67, 388, 394, 667 },
    { 66, 67, 392, 394 },
    { 396, 397, 398, 401 },
    { 71, 72, 400, 684 },
    { 71, 404, 667, 684 },
    { 71, 401, 402, 404 },
    { 401, 403, 404, 667 },
    { 71, 400, 405, 407 },
    { 71, 401, 407, 408 },
    { 383, 384, 386, 685 },
    { 410, 412, 413, 685 },
    { 413, 686, 687, 688 },
    { 411, 412, 413, 688 },
    { 74, 689, 690, 691 },
    { 74, 414, 689, 692 },
    { 74, 75, 414, 415 },
    { 75, 414, 417, 432 },
    { 75, 418, 419, 421 },
    { 419, 422, 423, 424 },
    { 419, 423, 427, 428, 431 },
    { 422, 423, 431, 432, 693, 694 },
    { 419, 431, 432, 433 },
    { 79, 419, 421, 435 },
    { 79, 422, 437, 438 },
    { 78, 79, 437, 440 },
    { 78, 686, 687, 688 },
    { 78, 437, 686, 695 },
    { 441, 443, 444, 696 },
    { 441, 442, 443, 697 },
    { 443, 696, 697, 698 },
    { 445, 447, 448, 696 },
    { 445, 446, 447, 699 },
    { 447, 696, 699, 700 },
    { 701, 702, 703, 704 },
    { 445, 705, 706, 707, 708, 709, 710, 711, 712 },
    { 449, 451, 452, 702 },
    { 452, 689, 690, 691 },
    { 450, 451, 452, 691 },
    { 258, 356, 358, 455 },
    { 356, 361, 454, 455 },
    { 82, 361, 455, 713 },
    { 82, 83, 88, 455 },
    { 88, 455, 456, 714 },
    { 90, 412, 457, 458 },
    { 82, 89, 714, 715 },
    { 82, 89, 90, 457 },
    { 89, 457, 462, 714 },
    { 457, 461, 462, 714 },
    { 457, 463, 464, 466, 467 },
    { 457, 461, 466, 470 },
    { 93, 96, 470, 471 },
    { 96, 470, 474, 716 },
    { 470, 474, 475, 714 },
    { 93, 463, 477, 478 },
    { 463, 466, 470, 477 },
    { 98, 451, 463, 480 },
    { 93, 97, 102, 717 },
    { 97, 98, 102, 463 },
    { 93, 97, 463, 478 },
    { 482, 486, 718, 719 },
    { 482, 483, 485, 486 },
    { 718, 719, 720, 721, 722 },
    { 486, 718, 719, 722 },
    { 718, 720, 721, 723 },
    { 102, 483, 486, 724 },
    { 102, 103, 108, 486 },
    { 93, 108, 486, 487 },
    { 109, 112, 113, 117 },
    { 112, 113, 114, 118 },
    { 112, 117, 118, 122 },
    { 117, 118, 725, 726 },
    { 123, 133, 493, 727 },
    { 14, 123, 124, 133 },
    { 117, 123, 124, 488 },
    { 14, 117, 124, 725 },
    { 123, 489, 490, 493 },
    { 117, 123, 489, 492 },
    { 117, 489, 493, 728 },
    { 493, 494, 495, 728 },
    { 127, 498, 718, 729 },
    { 127, 129, 497, 498 },
    { 127, 718, 729, 730 },
    { 31, 127, 503, 730 },
    { 127, 497, 499, 502 },
    { 31, 127, 502, 503 },
    { 497, 498, 718, 731 },
    { 31, 497, 502, 732 },
    { 494, 497, 504, 732 },
    { 14, 132, 133, 493 },
    { 132, 493, 506, 508 },
    { 506, 509, 510, 511 },
    { 31, 199, 514, 561 },
    { 513, 514, 515, 561 },
    { 561, 733, 734, 735, 736, 737 },
    { 136, 160, 517, 518 },
    { 2, 136, 137, 519 },
    { 137, 517, 519, 521 },
    { 3, 136, 137, 517 },
    { 140, 141, 519, 522 },
    { 5, 141, 522, 523 },
    { 136, 522, 523, 524 },
    { 519, 522, 527, 738 },
    { 136, 522, 526, 527 },
    { 136, 145, 519, 527 },
    { 147, 149, 528, 529 },
    { 149, 528, 529, 739 },
    { 147, 152, 519, 530 },
    { 152, 519, 530, 739 },
    { 147, 529, 530, 739 },
    { 5, 9, 141, 153 },
    { 9, 141, 155, 519 },
    { 9, 155, 519, 740 },
    { 147, 519, 740, 741 },
    { 14, 18, 156, 158 },
    { 18, 158, 159, 528 },
    { 18, 159, 528, 534 },
    { 147, 528, 531, 534 },
    { 519, 742, 743, 744 },
    { 517, 519, 521, 743, 745 },
    { 746, 747, 748, 749 },
    { 160, 161, 535, 750 },
    { 173, 536, 537, 747 },
    { 164, 165, 173, 528 },
    { 164, 528, 536, 539 },
    { 164, 167, 173, 536 },
    { 158, 169, 528, 540 },
    { 14, 158, 540, 541 },
    { 173, 540, 541, 544 },
    { 528, 540, 545, 751 },
    { 173, 540, 543, 545 },
    { 173, 174, 528, 545 },
    { 175, 178, 179, 183 },
    { 178, 179, 180, 184 },
    { 178, 183, 184, 188 },
    { 183, 184, 752, 753 },
    { 189, 258, 546, 548 },
    { 189, 191, 196, 546 },
    { 189, 258, 547, 548 },
    { 31, 189, 547, 554 },
    { 189, 196, 550, 553 },
    { 31, 189, 553, 554 },
    { 196, 258, 546, 556 },
    { 179, 193, 196, 556, 558 },
    { 31, 196, 553, 564 },
    { 27, 196, 560, 564 },
    { 24, 27, 193, 194, 196, 197 },
    { 200, 202, 561, 563 },
    { 31, 199, 561, 564 },
    { 35, 200, 561, 564 },
    { 200, 201, 205, 754 },
    { 5, 200, 201, 202 },
    { 5, 201, 205, 206 },
    { 183, 205, 206, 210 },
    { 5, 183, 206, 752 },
    { 200, 205, 566, 567 },
    { 183, 205, 209, 566 },
    { 27, 35, 200, 564 },
    { 183, 200, 566, 570 },
    { 27, 200, 214, 570 },
    { 179, 221, 571, 591 },
    { 179, 216, 217, 571 },
    { 216, 571, 591, 608 },
    { 179, 246, 258, 556 },
    { 179, 216, 218, 246 },
    { 179, 221, 574, 591 },
    { 179, 184, 574, 575 },
    { 223, 225, 578, 591 },
    { 223, 578, 579, 580 },
    { 227, 583, 591, 626 },
    { 223, 225, 583, 591 },
    { 223, 227, 228, 583 },
    { 223, 291, 299, 755 },
    { 223, 227, 229, 299 },
    { 586, 588, 589, 590 },
    { 232, 588, 591, 594 },
    { 232, 234, 236, 591 },
    { 232, 234, 588, 590 },
    { 586, 588, 596, 597 },
    { 588, 599, 600, 606 },
    { 588, 596, 600, 756 },
    { 238, 239, 242, 591 },
    { 242, 588, 591, 603 },
    { 238, 242, 588, 604 },
    { 588, 604, 605, 606 },
    { 216, 244, 246, 258 },
    { 216, 244, 248, 249 },
    { 216, 238, 591, 608 },
    { 216, 238, 248, 609 },
    { 238, 248, 257, 604 },
    { 244, 248, 258, 261 },
    { 258, 261, 264, 265 },
    { 248, 261, 265, 268 },
    { 258, 264, 265, 612 },
    { 248, 604, 606, 614 },
    { 248, 265, 614, 616 },
    { 265, 606, 612, 614 },
    { 234, 273, 276, 590 },
    { 273, 586, 590, 618 },
    { 273, 285, 618, 619 },
    { 285, 586, 618, 622 },
    { 284, 285, 291, 622 },
    { 273, 278, 281, 285 },
    { 281, 284, 285, 291 },
    { 227, 234, 591, 626 },
    { 227, 234, 273, 627 },
    { 273, 281, 290, 291 },
    { 227, 273, 290, 298 },
    { 227, 290, 291, 299 },
    { 586, 622, 629, 631, 633 },
    { 284, 291, 622, 635 },
    { 291, 302, 303, 635, 637 },
    { 54, 309, 638, 757 },
    { 309, 311, 313, 638, 639 },
    { 313, 639, 758, 759 },
    { 43, 316, 319, 640 },
    { 316, 321, 640, 642 },
    { 316, 642, 643, 760 },
    { 48, 445, 649, 761 },
    { 48, 322, 323, 644 },
    { 316, 319, 326, 644 },
    { 48, 331, 445, 647 },
    { 48, 322, 328, 647 },
    { 50, 334, 336, 647, 762 },
    { 322, 334, 647, 650, 651, 653 },
    { 50, 322, 334, 338 },
    { 322, 338, 656, 657 },
    { 319, 341, 351, 659 },
    { 54, 319, 339, 341 },
    { 50, 338, 349, 657 },
    { 349, 351, 352, 657, 665 },
    { 50, 54, 344, 346, 349, 352 },
    { 54, 341, 351, 352 },
    { 258, 356, 357, 361 },
    { 357, 360, 361, 668 },
    { 382, 667, 668, 669 },
    { 361, 365, 382, 668 },
    { 58, 62, 672, 676, 677 },
    { 667, 673, 675, 676, 677 },
    { 667, 668, 677, 678 },
    { 58, 366, 668, 677 },
    { 62, 367, 676, 679 },
    { 667, 676, 679, 680 },
    { 58, 368, 668, 682 },
    { 62, 370, 679, 682 },
    { 368, 370, 668, 679, 682 },
    { 291, 303, 373, 376 },
    { 303, 375, 376, 679 },
    { 398, 667, 679, 683 },
    { 376, 379, 398, 679 },
    { 382, 385, 386, 667 },
    { 361, 382, 384, 386 },
    { 67, 386, 388, 667 },
    { 67, 386, 389, 392 },
    { 67, 392, 394, 667 },
    { 398, 401, 403, 667 },
    { 376, 396, 398, 401 },
    { 441, 667, 763, 764 },
    { 71, 400, 667, 684 },
    { 71, 401, 404, 667 },
    { 71, 400, 401, 407 },
    { 400, 441, 764, 765 },
    { 361, 384, 386, 685 },
    { 386, 412, 413, 685 },
    { 412, 413, 686, 688 },
    { 74, 451, 689, 691 },
    { 74, 414, 432, 689 },
    { 74, 75, 414, 432 },
    { 75, 79, 419, 421 },
    { 75, 418, 419, 432 },
    { 419, 422, 423, 431, 432 },
    { 79, 419, 422, 435 },
    { 78, 79, 422, 437 },
    { 78, 412, 686, 688 },
    { 78, 422, 437, 686 },
    { 696, 697, 699, 766 },
    { 441, 443, 696, 697 },
    { 445, 447, 696, 699 },
    { 483, 701, 702, 704 },
    { 445, 701, 705, 707, 708, 709, 710, 767, 768 },
    { 452, 689, 701, 769 },
    { 451, 452, 701, 702 },
    { 451, 452, 689, 691 },
    { 258, 356, 361, 455 },
    { 82, 361, 412, 455 },
    { 82, 88, 455, 714 },
    { 82, 90, 412, 457 },
    { 82, 89, 457, 714 },
    { 457, 461, 470, 714 },
    { 457, 463, 466, 470 },
    { 93, 96, 470, 474, 714 },
    { 93, 463, 470, 477 },
    { 98, 102, 451, 463 },
    { 93, 97, 102, 463 },
    { 482, 483, 486, 718 },
    { 486, 718, 720, 722, 723 },
    { 102, 451, 483, 486 },
    { 93, 102, 108, 486 },
    { 112, 113, 117, 118 },
    { 14, 117, 118, 725 },
    { 14, 123, 133, 493 },
    { 14, 117, 123, 124 },
    { 117, 123, 489, 493 },
    { 31, 493, 494, 732 },
    { 117, 493, 494, 728 },
    { 127, 497, 498, 718 },
    { 31, 127, 718, 730 },
    { 31, 127, 497, 502 },
    { 113, 497, 718, 731 },
    { 31, 494, 497, 732 },
    { 31, 493, 506, 732 },
    { 14, 132, 493, 506 },
    { 132, 506, 737, 770 },
    { 31, 506, 509, 510 },
    { 202, 561, 733, 737 },
    { 31, 513, 514, 561 },
    { 513, 561, 734, 735, 737 },
    { 136, 160, 517, 750 },
    { 136, 137, 517, 519 },
    { 5, 141, 519, 522 },
    { 5, 136, 522, 523 },
    { 136, 519, 522, 527 },
    { 147, 528, 529, 739 },
    { 147, 519, 530, 739 },
    { 5, 9, 141, 519 },
    { 9, 147, 519, 740 },
    { 14, 18, 158, 528 },
    { 18, 147, 528, 534 },
    { 536, 746, 747, 749 },
    { 519, 528, 742, 743, 771, 772, 773, 774, 775 },
    { 160, 517, 535, 750 },
    { 517, 519, 535, 743 },
    { 746, 748, 749, 776 },
    { 535, 749, 776, 777 },
    { 161, 535, 750, 776 },
    { 173, 536, 746, 747 },
    { 164, 173, 528, 536 },
    { 14, 158, 528, 540 },
    { 14, 173, 540, 541 },
    { 173, 528, 540, 545 },
    { 178, 179, 183, 184 },
    { 5, 183, 184, 752 },
    { 189, 196, 258, 546 },
    { 31, 189, 258, 547 },
    { 31, 189, 196, 553 },
    { 179, 196, 258, 556 },
    { 179, 183, 193, 196 },
    { 27, 31, 196, 564 },
    { 24, 27, 183, 193, 196 },
    { 5, 200, 202, 561 },
    { 31, 200, 561, 564 },
    { 5, 200, 201, 205 },
    { 5, 183, 205, 206 },
    { 183, 200, 205, 566 },
    { 27, 31, 200, 564 },
    { 27, 183, 200, 570 },
    { 179, 216, 571, 591 },
    { 179, 216, 246, 258 },
    { 179, 184, 574, 591 },
    { 223, 578, 579, 591 },
    { 223, 227, 583, 591 },
    { 223, 227, 291, 299 },
    { 234, 586, 588, 590 },
    { 232, 234, 588, 591 },
    { 586, 588, 596, 756 },
    { 588, 600, 606, 756 },
    { 238, 242, 588, 591 },
    { 238, 588, 604, 606 },
    { 216, 244, 248, 258 },
    { 216, 238, 248, 591 },
    { 238, 248, 604, 606 },
    { 248, 258, 261, 265 },
    { 258, 265, 606, 612 },
    { 248, 265, 606, 614 },
    { 234, 273, 586, 590 },
    { 273, 285, 586, 618 },
    { 285, 291, 586, 622 },
    { 273, 281, 285, 291 },
    { 227, 234, 273, 591 },
    { 227, 273, 290, 291 },
    { 291, 586, 622, 629, 635 },
    { 291, 303, 635, 679, 778 },
    { 54, 309, 313, 638, 639, 758 },
    { 54, 319, 339, 640 },
    { 316, 319, 640, 642 },
    { 48, 316, 445, 642, 760, 761 },
    { 48, 316, 319, 322, 644 },
    { 50, 445, 647, 762 },
    { 48, 322, 445, 647 },
    { 50, 322, 334, 647 },
    { 50, 322, 338, 657 },
    { 319, 322, 351, 657, 779 },
    { 54, 319, 341, 351 },
    { 50, 54, 349, 351, 352, 657 },
    { 258, 357, 361, 668 },
    { 361, 382, 667, 668 },
    { 58, 62, 667, 676, 677 },
    { 58, 667, 668, 677 },
    { 62, 667, 676, 679 },
    { 58, 62, 668, 679, 682 },
    { 291, 303, 376, 679 },
    { 376, 398, 667, 679 },
    { 361, 382, 386, 667 },
    { 67, 386, 392, 667 },
    { 392, 441, 667, 763 },
    { 376, 398, 401, 667 },
    { 400, 441, 667, 764 },
    { 71, 400, 401, 667 },
    { 400, 401, 441, 765, 780 },
    { 361, 386, 412, 685 },
    { 386, 412, 413, 686 },
    { 74, 432, 451, 689 },
    { 74, 75, 432, 451 },
    { 75, 79, 419, 422, 432 },
    { 78, 79, 412, 422 },
    { 78, 412, 422, 686 },
    { 441, 445, 696, 697, 699 },
    { 451, 483, 701, 702 },
    { 445, 689, 701, 708 },
    { 451, 452, 689, 701 },
    { 258, 361, 412, 455 },
    { 82, 412, 455, 714 },
    { 82, 412, 457, 714 },
    { 93, 457, 463, 470, 714 },
    { 412, 451, 457, 463, 781 },
    { 93, 102, 451, 463 },
    { 451, 483, 486, 718 },
    { 93, 486, 718, 723, 782 },
    { 93, 102, 451, 486 },
    { 14, 113, 117, 118 },
    { 14, 117, 123, 493 },
    { 31, 117, 493, 494 },
    { 31, 127, 497, 718 },
    { 113, 117, 497, 718 },
    { 31, 117, 494, 497 },
    { 14, 31, 493, 506 },
    { 14, 132, 506, 737 },
    { 31, 506, 509, 737 },
    { 5, 202, 561, 737 },
    { 31, 513, 561, 737 },
    { 136, 517, 519, 750 },
    { 5, 136, 519, 522 },
    { 147, 519, 528, 739 },
    { 5, 9, 147, 519 },
    { 14, 18, 147, 528 },
    { 528, 536, 746, 749 },
    { 519, 528, 535, 743, 749, 771, 772, 773, 783 },
    { 517, 519, 535, 750 },
    { 535, 746, 749, 750, 776 },
    { 173, 528, 536, 746 },
    { 14, 173, 528, 540 },
    { 5, 179, 183, 184 },
    { 31, 189, 196, 258 },
    { 179, 183, 196, 258 },
    { 27, 31, 183, 196 },
    { 5, 31, 200, 561 },
    { 5, 183, 200, 205 },
    { 27, 31, 183, 200 },
    { 179, 216, 258, 591 },
    { 5, 179, 184, 591 },
    { 223, 579, 591, 784 },
    { 223, 227, 291, 591 },
    { 234, 586, 588, 591 },
    { 586, 588, 606, 756 },
    { 238, 588, 591, 606 },
    { 216, 248, 258, 591 },
    { 238, 248, 591, 606 },
    { 248, 258, 265, 606 },
    { 234, 273, 586, 591 },
    { 273, 285, 291, 586 },
    { 227, 273, 291, 591 },
    { 291, 586, 629, 635, 679, 778 },
    { 54, 638, 639, 758, 785, 786 },
    { 54, 319, 640, 642 },
    { 48, 316, 319, 322, 445, 642 },
    { 50, 322, 445, 647 },
    { 50, 54, 319, 322, 351, 657 },
    { 258, 361, 667, 668 },
    { 58, 62, 667, 668, 679 },
    { 291, 376, 667, 679 },
    { 258, 361, 386, 667 },
    { 386, 392, 441, 667 },
    { 291, 376, 401, 667 },
    { 400, 401, 441, 667 },
    { 258, 361, 386, 412 },
    { 386, 412, 441, 686 },
    { 432, 445, 451, 689 },
    { 75, 79, 412, 422, 432, 451 },
    { 412, 422, 441, 686 },
    { 422, 432, 441, 445, 696 },
    { 451, 483, 701, 718 },
    { 445, 451, 689, 701 },
    { 258, 412, 455, 714 },
    { 93, 412, 451, 457, 463, 714 },
    { 93, 258, 714, 718, 782, 787 },
    { 93, 451, 486, 718 },
    { 14, 113, 117, 718 },
    { 14, 31, 117, 493 },
    { 31, 117, 497, 718 },
    { 14, 31, 506, 737 },
    { 5, 31, 561, 737 },
    { 5, 136, 519, 750 },
    { 5, 14, 147, 519, 528 },
    { 519, 528, 535, 746, 749, 750 },
    { 14, 173, 528, 746 },
    { 5, 179, 183, 258 },
    { 31, 183, 196, 258 },
    { 5, 31, 183, 200 },
    { 5, 179, 258, 591 },
    { 223, 291, 591, 784 },
    { 586, 588, 591, 606 },
    { 248, 258, 591, 606 },
    { 273, 291, 586, 591 },
    { 258, 291, 586, 606, 668, 679 },
    { 50, 54, 758, 785, 788, 789, 790, 791, 792, 793, 794, 795 },
    { 50, 54, 319, 322, 445, 642 },
    { 258, 291, 667, 668, 679 },
    { 258, 386, 441, 667 },
    { 291, 401, 441, 667 },
    { 258, 386, 412, 441 },
    { 412, 422, 432, 441, 445, 451 },
    { 445, 451, 701, 718 },
    { 93, 258, 412, 451, 714, 718 },
    { 14, 31, 117, 718 },
    { 5, 14, 31, 737 },
    { 5, 14, 519, 528, 746, 750 },
    { 5, 31, 183, 258 },
    { 5, 258, 591, 750 },
    { 291, 591, 750, 784 },
    { 258, 291, 586, 591, 606 },
    { 50, 54, 441, 445, 642, 788 },
    { 258, 291, 441, 667 },
    { 258, 412, 441, 445, 451, 718 },
    { 14, 31, 718, 746 },
    { 5, 14, 31, 746, 750 },
    { 5, 31, 258, 750 },
    { 258, 291, 591, 750 },
    { 258, 291, 441, 445, 642, 718, 796, 797, 798 },
    { 31, 258, 718, 746, 750 },
    { 258, 291, 718, 746, 750, 796, 797, 798, 799 }
]
/* 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 }
    ],
    [
        { 9, 11, 12 },
        { 11, 12, 13 },
        { 9, 12, 13 },
        { 9, 11, 13 }
    ],
    [
        { 15, 16, 17 },
        { 14, 16, 17 },
        { 14, 15, 17 },
        { 14, 15, 16 }
    ],
    [
        { 19, 20, 21 },
        { 18, 20, 21 },
        { 18, 19, 21 },
        { 18, 19, 20 }
    ],
    [
        { 18, 20, 21 },
        { 20, 21, 22 },
        { 18, 21, 22 },
        { 18, 20, 22 }
    ],
    [
        { 24, 25, 26 },
        { 23, 25, 26 },
        { 23, 24, 26 },
        { 23, 24, 25 }
    ],
    [
        { 28, 29, 30 },
        { 27, 29, 30 },
        { 27, 28, 30 },
        { 27, 28, 29 }
    ],
    [
        { 32, 33, 34 },
        { 31, 33, 34 },
        { 31, 32, 34 },
        { 31, 32, 33 }
    ],
    [
        { 36, 37, 38 },
        { 35, 37, 38 },
        { 35, 36, 38 },
        { 35, 36, 37 }
    ],
    [
        { 39, 40, 41 },
        { 5, 40, 41 },
        { 5, 39, 41 },
        { 5, 39, 40 }
    ],
    [
        { 43, 44, 45 },
        { 42, 44, 45 },
        { 42, 43, 45 },
        { 42, 43, 44 }
    ],
    [
        { 47, 48, 49 },
        { 46, 48, 49 },
        { 46, 47, 49 },
        { 46, 47, 48 }
    ],
    [
        { 51, 52, 53 },
        { 50, 52, 53 },
        { 50, 51, 53 },
        { 50, 51, 52 }
    ],
    [
        { 55, 56, 57 },
        { 54, 56, 57 },
        { 54, 55, 57 },
        { 54, 55, 56 }
    ],
    [
        { 59, 60, 61 },
        { 58, 60, 61 },
        { 58, 59, 61 },
        { 58, 59, 60 }
    ],
    [
        { 63, 64, 65 },
        { 62, 64, 65 },
        { 62, 63, 65 },
        { 62, 63, 64 }
    ],
    [
        { 67, 68, 69 },
        { 66, 68, 69 },
        { 66, 67, 69 },
        { 66, 67, 68 }
    ],
    [
        { 71, 72, 73 },
        { 70, 72, 73 },
        { 70, 71, 73 },
        { 70, 71, 72 }
    ],
    [
        { 75, 76, 77 },
        { 74, 76, 77 },
        { 74, 75, 77 },
        { 74, 75, 76 }
    ],
    [
        { 79, 80, 81 },
        { 78, 80, 81 },
        { 78, 79, 81 },
        { 78, 79, 80 }
    ],
    [
        { 83, 84, 85 },
        { 82, 84, 85 },
        { 82, 83, 85 },
        { 82, 83, 84 }
    ],
    [
        { 83, 85, 86 },
        { 82, 85, 86 },
        { 82, 83, 85 },
        { 82, 83, 86 }
    ],
    [
        { 86, 87, 88 },
        { 83, 86, 88 },
        { 83, 86, 87 },
        { 83, 87, 88 }
    ],
    [
        { 90, 91, 92 },
        { 89, 91, 92 },
        { 89, 90, 92 },
        { 89, 90, 91 }
    ],
    [
        { 94, 95, 96 },
        { 93, 95, 96 },
        { 93, 94, 96 },
        { 93, 94, 95 }
    ],
    [
        { 98, 99, 100 },
        { 97, 99, 100 },
        { 97, 98, 100 },
        { 97, 98, 99 }
    ],
    [
        { 98, 100, 101 },
        { 97, 100, 101 },
        { 97, 98, 100 },
        { 97, 98, 101 }
    ],
    [
        { 103, 104, 105 },
        { 102, 104, 105 },
        { 102, 103, 105 },
        { 102, 103, 104 }
    ],
    [
        { 103, 105, 106 },
        { 102, 105, 106 },
        { 102, 103, 105 },
        { 102, 103, 106 }
    ],
    [
        { 106, 107, 108 },
        { 103, 106, 108 },
        { 103, 106, 107 },
        { 103, 107, 108 }
    ],
    [
        { 110, 111, 112 },
        { 109, 111, 112 },
        { 109, 110, 112 },
        { 109, 110, 111 }
    ],
    [
        { 114, 115, 116 },
        { 113, 115, 116 },
        { 113, 114, 116 },
        { 113, 114, 115 }
    ],
    [
        { 110, 112, 115 },
        { 112, 113, 115 },
        { 110, 112, 113 },
        { 110, 113, 115 }
    ],
    [
        { 118, 119, 120 },
        { 117, 119, 120 },
        { 117, 118, 120 },
        { 117, 118, 119 }
    ],
    [
        { 119, 121, 122 },
        { 118, 119, 122 },
        { 118, 119, 121 },
        { 118, 121, 122 }
    ],
    [
        { 124, 125, 126 },
        { 123, 125, 126 },
        { 123, 124, 126 },
        { 123, 124, 125 }
    ],
    [
        { 128, 129, 130 },
        { 127, 129, 130 },
        { 127, 128, 130 },
        { 127, 128, 129 }
    ],
    [
        { 132, 133, 134 },
        { 131, 133, 134 },
        { 131, 132, 134 },
        { 131, 132, 133 }
    ],
    [
        { 133, 134, 135 },
        { 132, 134, 135 },
        { 132, 133, 135 },
        { 132, 133, 134 }
    ],
    [
        { 2, 3, 4 },
        { 3, 4, 136 },
        { 2, 4, 136 },
        { 2, 3, 136 }
    ],
    [
        { 3, 138, 139 },
        { 3, 137, 139 },
        { 3, 137, 138 },
        { 137, 138, 139 }
    ],
    [
        { 141, 142, 143 },
        { 140, 142, 143 },
        { 140, 141, 143 },
        { 140, 141, 142 }
    ],
    [
        { 2, 136, 145 },
        { 2, 144, 145 },
        { 2, 136, 144 },
        { 136, 144, 145 }
    ],
    [
        { 147, 148, 149 },
        { 146, 148, 149 },
        { 146, 147, 149 },
        { 146, 147, 148 }
    ],
    [
        { 147, 151, 152 },
        { 150, 151, 152 },
        { 147, 150, 152 },
        { 147, 150, 151 }
    ],
    [
        { 6, 8, 153 },
        { 5, 6, 8 },
        { 5, 8, 153 },
        { 5, 6, 153 }
    ],
    [
        { 10, 141, 154 },
        { 10, 141, 153 },
        { 10, 153, 154 },
        { 141, 153, 154 }
    ],
    [
        { 10, 11, 141 },
        { 9, 10, 11 },
        { 9, 11, 141 },
        { 9, 10, 141 }
    ],
    [
        { 9, 11, 155 },
        { 11, 13, 155 },
        { 9, 11, 13 },
        { 9, 13, 155 }
    ],
    [
        { 15, 17, 156 },
        { 14, 15, 17 },
        { 14, 17, 156 },
        { 14, 15, 156 }
    ],
    [
        { 19, 157, 158 },
        { 19, 156, 158 },
        { 19, 156, 157 },
        { 156, 157, 158 }
    ],
    [
        { 19, 20, 158 },
        { 18, 19, 20 },
        { 18, 20, 158 },
        { 18, 19, 158 }
    ],
    [
        { 18, 20, 159 },
        { 20, 22, 159 },
        { 18, 20, 22 },
        { 18, 22, 159 }
    ],
    [
        { 161, 162, 163 },
        { 160, 162, 163 },
        { 160, 161, 163 },
        { 160, 161, 162 }
    ],
    [
        { 165, 166, 167 },
        { 164, 166, 167 },
        { 164, 165, 167 },
        { 164, 165, 166 }
    ],
    [
        { 166, 167, 168 },
        { 164, 166, 167 },
        { 164, 167, 168 },
        { 164, 166, 168 }
    ],
    [
        { 158, 170, 171 },
        { 169, 170, 171 },
        { 158, 169, 171 },
        { 158, 169, 170 }
    ],
    [
        { 165, 173, 174 },
        { 165, 172, 174 },
        { 165, 172, 173 },
        { 172, 173, 174 }
    ],
    [
        { 176, 177, 178 },
        { 175, 177, 178 },
        { 175, 176, 178 },
        { 175, 176, 177 }
    ],
    [
        { 180, 181, 182 },
        { 179, 181, 182 },
        { 179, 180, 182 },
        { 179, 180, 181 }
    ],
    [
        { 176, 178, 181 },
        { 178, 179, 181 },
        { 176, 178, 179 },
        { 176, 179, 181 }
    ],
    [
        { 184, 185, 186 },
        { 183, 185, 186 },
        { 183, 184, 186 },
        { 183, 184, 185 }
    ],
    [
        { 185, 187, 188 },
        { 184, 185, 188 },
        { 184, 185, 187 },
        { 184, 187, 188 }
    ],
    [
        { 190, 191, 192 },
        { 189, 191, 192 },
        { 189, 190, 192 },
        { 189, 190, 191 }
    ],
    [
        { 23, 24, 26 },
        { 24, 26, 193 },
        { 23, 26, 193 },
        { 23, 24, 193 }
    ],
    [
        { 23, 24, 195 },
        { 24, 194, 195 },
        { 23, 194, 195 },
        { 23, 24, 194 }
    ],
    [
        { 27, 28, 29 },
        { 28, 29, 196 },
        { 27, 29, 196 },
        { 27, 28, 196 }
    ],
    [
        { 28, 197, 198 },
        { 27, 197, 198 },
        { 27, 28, 198 },
        { 27, 28, 197 }
    ],
    [
        { 32, 33, 199 },
        { 31, 32, 33 },
        { 31, 33, 199 },
        { 31, 32, 199 }
    ],
    [
        { 35, 36, 37 },
        { 36, 37, 200 },
        { 35, 37, 200 },
        { 35, 36, 200 }
    ],
    [
        { 39, 40, 201 },
        { 5, 40, 201 },
        { 5, 39, 201 },
        { 5, 39, 40 }
    ],
    [
        { 201, 202, 203 },
        { 40, 201, 203 },
        { 40, 202, 203 },
        { 40, 201, 202 }
    ],
    [
        { 201, 203, 204 },
        { 202, 203, 204 },
        { 201, 202, 204 },
        { 201, 202, 203 }
    ],
    [
        { 206, 207, 208 },
        { 205, 207, 208 },
        { 205, 206, 208 },
        { 205, 206, 207 }
    ],
    [
        { 205, 210, 211 },
        { 209, 210, 211 },
        { 205, 209, 211 },
        { 205, 209, 210 }
    ],
    [
        { 27, 213, 214 },
        { 27, 212, 214 },
        { 212, 213, 214 },
        { 27, 212, 213 }
    ],
    [
        { 216, 217, 218 },
        { 215, 217, 218 },
        { 215, 216, 218 },
        { 215, 216, 217 }
    ],
    [
        { 216, 218, 219 },
        { 215, 218, 219 },
        { 215, 216, 218 },
        { 215, 216, 219 }
    ],
    [
        { 220, 221, 222 },
        { 179, 221, 222 },
        { 179, 220, 222 },
        { 179, 220, 221 }
    ],
    [
        { 224, 225, 226 },
        { 223, 225, 226 },
        { 223, 224, 226 },
        { 223, 224, 225 }
    ],
    [
        { 228, 229, 230 },
        { 227, 229, 230 },
        { 227, 228, 230 },
        { 227, 228, 229 }
    ],
    [
        { 229, 230, 231 },
        { 227, 229, 230 },
        { 227, 230, 231 },
        { 227, 229, 231 }
    ],
    [
        { 233, 234, 235 },
        { 232, 234, 235 },
        { 232, 233, 235 },
        { 232, 233, 234 }
    ],
    [
        { 234, 236, 237 },
        { 233, 234, 237 },
        { 233, 236, 237 },
        { 233, 234, 236 }
    ],
    [
        { 239, 240, 241 },
        { 238, 240, 241 },
        { 238, 239, 241 },
        { 238, 239, 240 }
    ],
    [
        { 241, 242, 243 },
        { 238, 241, 243 },
        { 238, 241, 242 },
        { 238, 242, 243 }
    ],
    [
        { 245, 246, 247 },
        { 244, 246, 247 },
        { 244, 245, 247 },
        { 244, 245, 246 }
    ],
    [
        { 249, 250, 251 },
        { 248, 250, 251 },
        { 248, 249, 251 },
        { 248, 249, 250 }
    ],
    [
        { 238, 252, 253 },
        { 248, 252, 253 },
        { 238, 248, 253 },
        { 238, 248, 252 }
    ],
    [
        { 238, 248, 255 },
        { 238, 254, 255 },
        { 248, 254, 255 },
        { 238, 248, 254 }
    ],
    [
        { 238, 256, 257 },
        { 254, 256, 257 },
        { 238, 254, 257 },
        { 238, 254, 256 }
    ],
    [
        { 258, 259, 260 },
        { 244, 259, 260 },
        { 244, 258, 260 },
        { 244, 258, 259 }
    ],
    [
        { 259, 261, 262 },
        { 244, 261, 262 },
        { 244, 259, 262 },
        { 244, 259, 261 }
    ],
    [
        { 259, 261, 263 },
        { 258, 261, 263 },
        { 258, 259, 263 },
        { 258, 259, 261 }
    ],
    [
        { 265, 266, 267 },
        { 264, 266, 267 },
        { 264, 265, 267 },
        { 264, 265, 266 }
    ],
    [
        { 248, 250, 268 },
        { 244, 250, 268 },
        { 244, 248, 250 },
        { 244, 248, 268 }
    ],
    [
        { 261, 268, 269 },
        { 244, 268, 269 },
        { 244, 261, 269 },
        { 244, 261, 268 }
    ],
    [
        { 248, 268, 271 },
        { 268, 270, 271 },
        { 248, 270, 271 },
        { 248, 268, 270 }
    ],
    [
        { 261, 266, 268 },
        { 266, 268, 272 },
        { 261, 266, 272 },
        { 261, 268, 272 }
    ],
    [
        { 234, 274, 275 },
        { 273, 274, 275 },
        { 234, 273, 275 },
        { 234, 273, 274 }
    ],
    [
        { 274, 276, 277 },
        { 234, 274, 277 },
        { 234, 276, 277 },
        { 234, 274, 276 }
    ],
    [
        { 278, 279, 280 },
        { 273, 279, 280 },
        { 273, 278, 280 },
        { 273, 278, 279 }
    ],
    [
        { 278, 282, 283 },
        { 278, 281, 283 },
        { 281, 282, 283 },
        { 278, 281, 282 }
    ],
    [
        { 282, 285, 286 },
        { 284, 285, 286 },
        { 282, 284, 286 },
        { 282, 284, 285 }
    ],
    [
        { 234, 273, 288 },
        { 234, 287, 288 },
        { 234, 273, 287 },
        { 273, 287, 288 }
    ],
    [
        { 278, 289, 290 },
        { 278, 281, 290 },
        { 278, 281, 289 },
        { 281, 289, 290 }
    ],
    [
        { 281, 292, 293 },
        { 291, 292, 293 },
        { 281, 291, 293 },
        { 281, 291, 292 }
    ],
    [
        { 290, 293, 294 },
        { 291, 293, 294 },
        { 290, 291, 293 },
        { 290, 291, 294 }
    ],
    [
        { 290, 293, 295 },
        { 281, 293, 295 },
        { 281, 290, 295 },
        { 281, 290, 293 }
    ],
    [
        { 278, 290, 296 },
        { 273, 278, 296 },
        { 273, 290, 296 },
        { 273, 278, 290 }
    ],
    [
        { 296, 297, 298 },
        { 273, 296, 298 },
        { 273, 296, 297 },
        { 273, 297, 298 }
    ],
    [
        { 299, 300, 301 },
        { 290, 300, 301 },
        { 290, 299, 301 },
        { 290, 299, 300 }
    ],
    [
        { 303, 304, 305, 306 },
        { 302, 304, 305 },
        { 302, 303, 305 },
        { 302, 303, 306 },
        { 302, 304, 306 }
    ],
    [
        { 302, 307, 308 },
        { 291, 307, 308 },
        { 291, 302, 308 },
        { 291, 302, 307 }
    ],
    [
        { 310, 311, 312 },
        { 309, 311, 312 },
        { 309, 310, 312 },
        { 309, 310, 311 }
    ],
    [
        { 311, 314, 315 },
        { 313, 314, 315 },
        { 311, 313, 315 },
        { 311, 313, 314 }
    ],
    [
        { 43, 317, 318 },
        { 43, 316, 318 },
        { 316, 317, 318 },
        { 43, 316, 317 }
    ],
    [
        { 43, 318, 320 },
        { 318, 319, 320 },
        { 43, 318, 319 },
        { 43, 319, 320 }
    ],
    [
        { 43, 44, 319 },
        { 42, 43, 44 },
        { 42, 44, 319 },
        { 42, 43, 319 }
    ],
    [
        { 43, 317, 321 },
        { 43, 316, 321 },
        { 43, 316, 317 },
        { 316, 317, 321 }
    ],
    [
        { 322, 323, 324 },
        { 46, 323, 324 },
        { 46, 322, 324 },
        { 46, 322, 323 }
    ],
    [
        { 48, 323, 325 },
        { 46, 323, 325 },
        { 46, 48, 325 },
        { 46, 48, 323 }
    ],
    [
        { 318, 326, 327 },
        { 316, 318, 327 },
        { 316, 326, 327 },
        { 316, 318, 326 }
    ],
    [
        { 318, 320, 326 },
        { 318, 319, 320 },
        { 318, 319, 326 },
        { 319, 320, 326 }
    ],
    [
        { 328, 329, 330 },
        { 322, 329, 330 },
        { 322, 328, 330 },
        { 322, 328, 329 }
    ],
    [
        { 47, 48, 328 },
        { 48, 328, 331 },
        { 47, 328, 331 },
        { 47, 48, 331 }
    ],
    [
        { 322, 324, 328 },
        { 46, 324, 328 },
        { 46, 322, 324 },
        { 46, 322, 328 }
    ],
    [
        { 47, 48, 328 },
        { 46, 48, 328 },
        { 46, 47, 328 },
        { 46, 47, 48 }
    ],
    [
        { 50, 53, 333 },
        { 53, 332, 333 },
        { 50, 332, 333 },
        { 50, 53, 332 }
    ],
    [
        { 334, 335, 336, 337 },
        { 332, 335, 336 },
        { 332, 333, 334, 336 },
        { 332, 333, 335, 337 },
        { 333, 334, 337 }
    ],
    [
        { 50, 51, 52 },
        { 51, 52, 338 },
        { 50, 52, 338 },
        { 50, 51, 338 }
    ],
    [
        { 52, 333, 334 },
        { 50, 52, 333 },
        { 50, 333, 334 },
        { 50, 52, 334 }
    ],
    [
        { 54, 56, 340 },
        { 56, 339, 340 },
        { 54, 56, 339 },
        { 54, 339, 340 }
    ],
    [
        { 55, 56, 341 },
        { 54, 56, 341 },
        { 54, 55, 56 },
        { 54, 55, 341 }
    ],
    [
        { 342, 343, 344 },
        { 54, 343, 344 },
        { 54, 342, 344 },
        { 54, 342, 343 }
    ],
    [
        { 345, 346, 347 },
        { 50, 346, 347 },
        { 50, 345, 347 },
        { 50, 345, 346 }
    ],
    [
        { 50, 347, 349 },
        { 347, 348, 349 },
        { 50, 348, 349 },
        { 50, 347, 348 }
    ],
    [
        { 351, 352, 353 },
        { 350, 351, 353, 354 },
        { 350, 351, 352 },
        { 350, 352, 354 },
        { 352, 353, 354 }
    ],
    [
        { 342, 352, 355 },
        { 54, 352, 355 },
        { 54, 342, 355 },
        { 54, 342, 352 }
    ],
    [
        { 357, 358, 359 },
        { 356, 358, 359 },
        { 356, 357, 359 },
        { 356, 357, 358 }
    ],
    [
        { 356, 361, 362 },
        { 360, 361, 362 },
        { 356, 360, 362 },
        { 356, 360, 361 }
    ],
    [
        { 356, 357, 359 },
        { 357, 359, 360 },
        { 356, 359, 360 },
        { 356, 357, 360 }
    ],
    [
        { 361, 364, 365 },
        { 361, 363, 365 },
        { 363, 364, 365 },
        { 361, 363, 364 }
    ],
    [
        { 58, 59, 61 },
        { 59, 61, 366 },
        { 58, 61, 366 },
        { 58, 59, 366 }
    ],
    [
        { 63, 64, 367 },
        { 62, 63, 64 },
        { 62, 64, 367 },
        { 62, 63, 367 }
    ],
    [
        { 58, 368, 369 },
        { 58, 366, 369 },
        { 366, 368, 369 },
        { 58, 366, 368 }
    ],
    [
        { 367, 370, 371 },
        { 62, 370, 371 },
        { 62, 367, 371 },
        { 62, 367, 370 }
    ],
    [
        { 372, 373, 374 },
        { 303, 373, 374 },
        { 303, 372, 374 },
        { 303, 372, 373 }
    ],
    [
        { 373, 374, 375 },
        { 303, 373, 374 },
        { 303, 374, 375 },
        { 303, 373, 375 }
    ],
    [
        { 373, 375, 377 },
        { 373, 375, 376 },
        { 373, 376, 377 },
        { 375, 376, 377 }
    ],
    [
        { 378, 379, 380 },
        { 376, 379, 380 },
        { 376, 378, 380 },
        { 376, 378, 379 }
    ],
    [
        { 382, 383, 384 },
        { 381, 383, 384 },
        { 381, 382, 384 },
        { 381, 382, 383 }
    ],
    [
        { 386, 387, 388 },
        { 385, 387, 388 },
        { 385, 386, 388 },
        { 385, 386, 387 }
    ],
    [
        { 67, 390, 391 },
        { 389, 390, 391 },
        { 67, 389, 391 },
        { 67, 389, 390 }
    ],
    [
        { 391, 392, 393 },
        { 389, 391, 393 },
        { 389, 391, 392 },
        { 389, 392, 393 }
    ],
    [
        { 68, 391, 392 },
        { 67, 68, 391 },
        { 67, 391, 392 },
        { 67, 68, 392 }
    ],
    [
        { 67, 394, 395 },
        { 66, 67, 395 },
        { 66, 394, 395 },
        { 66, 67, 394 }
    ],
    [
        { 67, 68, 392 },
        { 66, 68, 392 },
        { 66, 67, 68 },
        { 66, 67, 392 }
    ],
    [
        { 397, 398, 399 },
        { 396, 398, 399 },
        { 396, 397, 399 },
        { 396, 397, 398 }
    ],
    [
        { 71, 72, 400 },
        { 70, 72, 400 },
        { 70, 71, 72 },
        { 70, 71, 400 }
    ],
    [
        { 402, 403, 404 },
        { 401, 403, 404 },
        { 401, 402, 404 },
        { 401, 402, 403 }
    ],
    [
        { 71, 400, 405 },
        { 70, 400, 405 },
        { 70, 71, 405 },
        { 70, 71, 400 }
    ],
    [
        { 405, 406, 407 },
        { 400, 405, 407 },
        { 400, 405, 406 },
        { 400, 406, 407 }
    ],
    [
        { 401, 408, 409 },
        { 71, 408, 409 },
        { 71, 401, 409 },
        { 71, 401, 408 }
    ],
    [
        { 405, 407, 408 },
        { 71, 405, 408 },
        { 71, 407, 408 },
        { 71, 405, 407 }
    ],
    [
        { 411, 412, 413 },
        { 410, 412, 413 },
        { 410, 411, 413 },
        { 410, 411, 412 }
    ],
    [
        { 75, 415, 416 },
        { 414, 415, 416 },
        { 75, 414, 416 },
        { 75, 414, 415 }
    ],
    [
        { 75, 77, 415 },
        { 74, 77, 415 },
        { 74, 75, 77 },
        { 74, 75, 415 }
    ],
    [
        { 75, 416, 417 },
        { 414, 416, 417 },
        { 75, 414, 416 },
        { 75, 414, 417 }
    ],
    [
        { 419, 420, 421 },
        { 418, 420, 421 },
        { 418, 419, 421 },
        { 418, 419, 420 }
    ],
    [
        { 423, 424, 425 },
        { 422, 424, 425 },
        { 422, 423, 425 },
        { 422, 423, 424 }
    ],
    [
        { 423, 424, 426 },
        { 419, 423, 424 },
        { 419, 424, 426 },
        { 419, 423, 426 }
    ],
    [
        { 419, 423, 426 },
        { 423, 426, 427 },
        { 419, 423, 427 },
        { 419, 426, 427 }
    ],
    [
        { 419, 428, 429 },
        { 419, 427, 429 },
        { 427, 428, 429 },
        { 419, 427, 428 }
    ],
    [
        { 419, 430, 431 },
        { 428, 430, 431 },
        { 419, 428, 431 },
        { 419, 428, 430 }
    ],
    [
        { 431, 433, 434 },
        { 432, 433, 434 },
        { 431, 432, 434 },
        { 431, 432, 433 }
    ],
    [
        { 430, 431, 433 },
        { 419, 431, 433 },
        { 419, 430, 433 },
        { 419, 430, 431 }
    ],
    [
        { 421, 435, 436 },
        { 419, 421, 436 },
        { 419, 421, 435 },
        { 419, 435, 436 }
    ],
    [
        { 79, 438, 439 },
        { 437, 438, 439 },
        { 79, 437, 439 },
        { 79, 437, 438 }
    ],
    [
        { 79, 439, 440 },
        { 437, 439, 440 },
        { 79, 437, 439 },
        { 79, 437, 440 }
    ],
    [
        { 79, 81, 440 },
        { 78, 81, 440 },
        { 78, 79, 81 },
        { 78, 79, 440 }
    ],
    [
        { 442, 443, 444 },
        { 441, 443, 444 },
        { 441, 442, 444 },
        { 441, 442, 443 }
    ],
    [
        { 446, 447, 448 },
        { 445, 447, 448 },
        { 445, 446, 448 },
        { 445, 446, 447 }
    ],
    [
        { 450, 451, 452 },
        { 449, 451, 452 },
        { 449, 450, 452 },
        { 449, 450, 451 }
    ],
    [
        { 361, 453, 454 },
        { 356, 453, 454 },
        { 356, 361, 454 },
        { 356, 361, 453 }
    ],
    [
        { 83, 84, 455 },
        { 82, 84, 455 },
        { 82, 83, 84 },
        { 82, 83, 455 }
    ],
    [
        { 83, 86, 88 },
        { 82, 86, 88 },
        { 82, 83, 86 },
        { 82, 83, 88 }
    ],
    [
        { 88, 455, 456 },
        { 83, 88, 456 },
        { 83, 88, 455 },
        { 83, 455, 456 }
    ],
    [
        { 457, 458, 459 },
        { 90, 458, 459 },
        { 90, 457, 459 },
        { 90, 457, 458 }
    ],
    [
        { 90, 91, 457 },
        { 89, 91, 457 },
        { 89, 90, 91 },
        { 89, 90, 457 }
    ],
    [
        { 460, 461, 462 },
        { 457, 461, 462 },
        { 457, 460, 462 },
        { 457, 460, 461 }
    ],
    [
        { 464, 465, 466 },
        { 463, 465, 466 },
        { 463, 464, 466 },
        { 463, 464, 465 }
    ],
    [
        { 466, 467, 468 },
        { 457, 466, 468 },
        { 457, 466, 467 },
        { 457, 467, 468 }
    ],
    [
        { 460, 461, 466 },
        { 457, 461, 466 },
        { 457, 460, 466 },
        { 457, 460, 461 }
    ],
    [
        { 461, 466, 470 },
        { 466, 469, 470 },
        { 461, 466, 469 },
        { 461, 469, 470 }
    ],
    [
        { 94, 96, 471 },
        { 93, 96, 471 },
        { 93, 94, 471 },
        { 93, 94, 96 }
    ],
    [
        { 96, 470, 471 },
        { 96, 471, 472 },
        { 470, 471, 472 },
        { 96, 470, 472 }
    ],
    [
        { 473, 474, 475 },
        { 470, 474, 475 },
        { 470, 473, 475 },
        { 470, 473, 474 }
    ],
    [
        { 463, 477, 478 },
        { 476, 477, 478 },
        { 463, 476, 478 },
        { 463, 476, 477 }
    ],
    [
        { 463, 466, 477 },
        { 466, 476, 477 },
        { 463, 466, 476 },
        { 463, 476, 477 }
    ],
    [
        { 466, 470, 477 },
        { 466, 477, 479 },
        { 466, 470, 479 },
        { 470, 477, 479 }
    ],
    [
        { 463, 480, 481 },
        { 98, 480, 481 },
        { 98, 463, 481 },
        { 98, 463, 480 }
    ],
    [
        { 97, 98, 99 },
        { 98, 99, 102 },
        { 97, 99, 102 },
        { 97, 98, 102 }
    ],
    [
        { 98, 101, 463 },
        { 97, 101, 463 },
        { 97, 98, 101 },
        { 97, 98, 463 }
    ],
    [
        { 483, 484, 485 },
        { 482, 484, 485 },
        { 482, 483, 485 },
        { 482, 483, 484 }
    ],
    [
        { 103, 104, 486 },
        { 102, 104, 486 },
        { 102, 103, 104 },
        { 102, 103, 486 }
    ],
    [
        { 103, 106, 108 },
        { 102, 106, 108 },
        { 102, 103, 106 },
        { 102, 103, 108 }
    ],
    [
        { 108, 486, 487 },
        { 103, 108, 487 },
        { 103, 108, 486 },
        { 103, 486, 487 }
    ],
    [
        { 109, 110, 112 },
        { 110, 112, 113 },
        { 109, 112, 113 },
        { 109, 110, 113 }
    ],
    [
        { 112, 114, 115 },
        { 112, 113, 115 },
        { 112, 113, 114 },
        { 113, 114, 115 }
    ],
    [
        { 112, 114, 121 },
        { 112, 118, 121 },
        { 112, 114, 118 },
        { 114, 118, 121 }
    ],
    [
        { 118, 119, 122 },
        { 117, 119, 122 },
        { 117, 118, 119 },
        { 117, 118, 122 }
    ],
    [
        { 112, 121, 122 },
        { 112, 118, 122 },
        { 112, 118, 121 },
        { 118, 121, 122 }
    ],
    [
        { 124, 126, 488 },
        { 123, 124, 126 },
        { 123, 126, 488 },
        { 123, 124, 488 }
    ],
    [
        { 489, 490, 491 },
        { 123, 490, 491 },
        { 123, 489, 491 },
        { 123, 489, 490 }
    ],
    [
        { 123, 489, 491 },
        { 489, 491, 492 },
        { 123, 491, 492 },
        { 123, 489, 492 }
    ],
    [
        { 117, 123, 488 },
        { 117, 488, 492 },
        { 123, 488, 492 },
        { 117, 123, 492 }
    ],
    [
        { 494, 495, 496 },
        { 493, 495, 496 },
        { 493, 494, 496 },
        { 493, 494, 495 }
    ],
    [
        { 127, 129, 130 },
        { 129, 130, 497 },
        { 127, 130, 497 },
        { 127, 129, 497 }
    ],
    [
        { 128, 129, 498 },
        { 127, 129, 498 },
        { 127, 128, 498 },
        { 127, 128, 129 }
    ],
    [
        { 127, 499, 500 },
        { 497, 499, 500 },
        { 127, 497, 500 },
        { 127, 497, 499 }
    ],
    [
        { 501, 502, 503 },
        { 31, 502, 503 },
        { 31, 501, 503 },
        { 31, 501, 502 }
    ],
    [
        { 494, 504, 505 },
        { 497, 504, 505 },
        { 494, 497, 505 },
        { 494, 497, 504 }
    ],
    [
        { 131, 132, 133 },
        { 14, 132, 133 },
        { 14, 131, 133 },
        { 14, 131, 132 }
    ],
    [
        { 132, 133, 135 },
        { 133, 135, 493 },
        { 132, 135, 493 },
        { 132, 133, 493 }
    ],
    [
        { 132, 507, 508 },
        { 132, 506, 508 },
        { 506, 507, 508 },
        { 132, 506, 507 }
    ],
    [
        { 510, 511, 512 },
        { 509, 511, 512 },
        { 509, 510, 512 },
        { 509, 510, 511 }
    ],
    [
        { 514, 515, 516 },
        { 513, 515, 516 },
        { 513, 514, 516 },
        { 513, 514, 515 }
    ],
    [
        { 136, 517, 518 },
        { 138, 517, 518 },
        { 136, 138, 518 },
        { 136, 138, 517 }
    ],
    [
        { 2, 519, 520 },
        { 2, 137, 520 },
        { 137, 519, 520 },
        { 2, 137, 519 }
    ],
    [
        { 519, 520, 521 },
        { 137, 520, 521 },
        { 137, 519, 521 },
        { 137, 519, 520 }
    ],
    [
        { 2, 3, 136 },
        { 2, 3, 137 },
        { 3, 136, 137 },
        { 2, 136, 137 }
    ],
    [
        { 3, 138, 517 },
        { 3, 137, 517 },
        { 3, 137, 138 },
        { 137, 138, 517 }
    ],
    [
        { 3, 136, 517 },
        { 3, 138, 517 },
        { 3, 136, 138 },
        { 136, 138, 517 }
    ],
    [
        { 140, 141, 143 },
        { 141, 143, 522 },
        { 140, 143, 522 },
        { 140, 141, 522 }
    ],
    [
        { 6, 141, 523 },
        { 5, 6, 141 },
        { 5, 6, 523 },
        { 5, 141, 523 }
    ],
    [
        { 523, 524, 525 },
        { 522, 523, 525 },
        { 522, 524, 525 },
        { 522, 523, 524 }
    ],
    [
        { 136, 524, 526 },
        { 136, 522, 524 },
        { 522, 524, 526 },
        { 136, 522, 526 }
    ],
    [
        { 2, 136, 145 },
        { 2, 145, 519 },
        { 2, 136, 519 },
        { 136, 145, 519 }
    ],
    [
        { 136, 145, 527 },
        { 145, 526, 527 },
        { 136, 526, 527 },
        { 136, 145, 526 }
    ],
    [
        { 147, 148, 149 },
        { 148, 149, 528 },
        { 147, 149, 528 },
        { 147, 148, 528 }
    ],
    [
        { 147, 149, 529 },
        { 146, 149, 529 },
        { 146, 147, 529 },
        { 146, 147, 149 }
    ],
    [
        { 147, 151, 152 },
        { 151, 152, 519 },
        { 147, 152, 519 },
        { 147, 151, 519 }
    ],
    [
        { 147, 152, 530 },
        { 150, 152, 530 },
        { 147, 150, 530 },
        { 147, 150, 152 }
    ],
    [
        { 8, 9, 153 },
        { 5, 8, 9 },
        { 5, 8, 153 },
        { 5, 9, 153 }
    ],
    [
        { 6, 141, 153 },
        { 5, 6, 141 },
        { 5, 6, 153 },
        { 5, 141, 153 }
    ],
    [
        { 9, 10, 141 },
        { 10, 141, 153 },
        { 9, 10, 153 },
        { 9, 141, 153 }
    ],
    [
        { 141, 155, 519 },
        { 140, 141, 155 },
        { 140, 155, 519 },
        { 140, 141, 519 }
    ],
    [
        { 11, 141, 155 },
        { 9, 11, 155 },
        { 9, 11, 141 },
        { 9, 141, 155 }
    ],
    [
        { 17, 18, 156 },
        { 14, 17, 18 },
        { 14, 17, 156 },
        { 14, 18, 156 }
    ],
    [
        { 15, 156, 158 },
        { 14, 15, 158 },
        { 14, 15, 156 },
        { 14, 156, 158 }
    ],
    [
        { 18, 19, 158 },
        { 19, 156, 158 },
        { 18, 19, 156 },
        { 18, 156, 158 }
    ],
    [
        { 20, 158, 159 },
        { 18, 20, 159 },
        { 18, 20, 158 },
        { 18, 158, 159 }
    ],
    [
        { 147, 531, 532 },
        { 528, 531, 532 },
        { 147, 528, 532 },
        { 147, 528, 531 }
    ],
    [
        { 531, 533, 534 },
        { 147, 531, 534 },
        { 147, 531, 533 },
        { 147, 533, 534 }
    ],
    [
        { 161, 163, 535 },
        { 160, 161, 163 },
        { 160, 163, 535 },
        { 160, 161, 535 }
    ],
    [
        { 173, 536, 537 },
        { 168, 536, 537 },
        { 168, 173, 537 },
        { 168, 173, 536 }
    ],
    [
        { 165, 528, 538 },
        { 164, 165, 538 },
        { 164, 528, 538 },
        { 164, 165, 528 }
    ],
    [
        { 528, 538, 539 },
        { 164, 538, 539 },
        { 164, 528, 539 },
        { 164, 528, 538 }
    ],
    [
        { 165, 167, 173 },
        { 164, 165, 167 },
        { 164, 167, 173 },
        { 164, 165, 173 }
    ],
    [
        { 167, 168, 536 },
        { 164, 167, 536 },
        { 164, 167, 168 },
        { 164, 168, 536 }
    ],
    [
        { 167, 173, 536 },
        { 167, 168, 536 },
        { 167, 168, 173 },
        { 168, 173, 536 }
    ],
    [
        { 158, 169, 171 },
        { 158, 171, 540 },
        { 169, 171, 540 },
        { 158, 169, 540 }
    ],
    [
        { 158, 159, 528 },
        { 158, 159, 169 },
        { 159, 169, 528 },
        { 158, 169, 528 }
    ],
    [
        { 158, 541, 542 },
        { 158, 540, 542 },
        { 540, 541, 542 },
        { 158, 540, 541 }
    ],
    [
        { 15, 158, 541 },
        { 14, 15, 158 },
        { 14, 15, 541 },
        { 14, 158, 541 }
    ],
    [
        { 173, 543, 544 },
        { 173, 540, 544 },
        { 540, 543, 544 },
        { 173, 540, 543 }
    ],
    [
        { 165, 173, 174 },
        { 165, 174, 528 },
        { 165, 173, 528 },
        { 173, 174, 528 }
    ],
    [
        { 173, 174, 545 },
        { 174, 543, 545 },
        { 173, 543, 545 },
        { 173, 174, 543 }
    ],
    [
        { 175, 176, 178 },
        { 176, 178, 179 },
        { 175, 178, 179 },
        { 175, 176, 179 }
    ],
    [
        { 178, 180, 181 },
        { 178, 179, 181 },
        { 178, 179, 180 },
        { 179, 180, 181 }
    ],
    [
        { 178, 180, 187 },
        { 178, 184, 187 },
        { 178, 180, 184 },
        { 180, 184, 187 }
    ],
    [
        { 184, 185, 188 },
        { 183, 185, 188 },
        { 183, 184, 185 },
        { 183, 184, 188 }
    ],
    [
        { 178, 187, 188 },
        { 178, 184, 188 },
        { 178, 184, 187 },
        { 184, 187, 188 }
    ],
    [
        { 189, 191, 192 },
        { 191, 192, 196 },
        { 189, 192, 196 },
        { 189, 191, 196 }
    ],
    [
        { 190, 191, 546 },
        { 189, 191, 546 },
        { 189, 190, 546 },
        { 189, 190, 191 }
    ],
    [
        { 547, 548, 549 },
        { 189, 548, 549 },
        { 189, 547, 549 },
        { 189, 547, 548 }
    ],
    [
        { 189, 550, 551 },
        { 196, 550, 551 },
        { 189, 196, 551 },
        { 189, 196, 550 }
    ],
    [
        { 552, 553, 554 },
        { 31, 553, 554 },
        { 31, 552, 554 },
        { 31, 552, 553 }
    ],
    [
        { 258, 546, 556 },
        { 546, 555, 556 },
        { 258, 546, 555 },
        { 258, 555, 556 }
    ],
    [
        { 191, 546, 556 },
        { 191, 196, 546 },
        { 196, 546, 556 },
        { 191, 196, 556 }
    ],
    [
        { 196, 556, 557 },
        { 193, 196, 556, 558 },
        { 193, 196, 557, 559 },
        { 556, 557, 558, 559 },
        { 193, 558, 559 }
    ],
    [
        { 27, 29, 560 },
        { 29, 196, 560 },
        { 27, 29, 196 },
        { 27, 196, 560 }
    ],
    [
        { 23, 24, 194 },
        { 23, 24, 193 },
        { 24, 193, 194 },
        { 23, 193, 194 }
    ],
    [
        { 27, 28, 197 },
        { 28, 196, 197 },
        { 27, 196, 197 },
        { 27, 28, 196 }
    ],
    [
        { 202, 562, 563 },
        { 202, 561, 563 },
        { 561, 562, 563 },
        { 202, 561, 562 }
    ],
    [
        { 32, 199, 564 },
        { 31, 32, 564 },
        { 31, 32, 199 },
        { 31, 199, 564 }
    ],
    [
        { 35, 36, 200 },
        { 35, 36, 561 },
        { 36, 200, 561 },
        { 35, 200, 561 }
    ],
    [
        { 40, 201, 202 },
        { 5, 201, 202 },
        { 5, 40, 201 },
        { 5, 40, 202 }
    ],
    [
        { 201, 202, 204 },
        { 200, 201, 204 },
        { 200, 202, 204 },
        { 200, 201, 202 }
    ],
    [
        { 206, 208, 210 },
        { 205, 206, 208 },
        { 205, 208, 210 },
        { 205, 206, 210 }
    ],
    [
        { 206, 210, 565 },
        { 183, 206, 565 },
        { 183, 210, 565 },
        { 183, 206, 210 }
    ],
    [
        { 566, 567, 568 },
        { 205, 567, 568 },
        { 205, 566, 568 },
        { 205, 566, 567 }
    ],
    [
        { 205, 566, 568 },
        { 209, 566, 568 },
        { 205, 209, 568 },
        { 205, 209, 566 }
    ],
    [
        { 183, 205, 210 },
        { 183, 209, 210 },
        { 205, 209, 210 },
        { 183, 205, 209 }
    ],
    [
        { 27, 214, 569 },
        { 200, 214, 569 },
        { 27, 200, 569 },
        { 27, 200, 214 }
    ],
    [
        { 27, 214, 570 },
        { 213, 214, 570 },
        { 27, 213, 214 },
        { 27, 213, 570 }
    ],
    [
        { 220, 221, 571 },
        { 179, 221, 571 },
        { 179, 220, 221 },
        { 179, 220, 571 }
    ],
    [
        { 217, 571, 572 },
        { 179, 217, 571 },
        { 179, 217, 572 },
        { 179, 571, 572 }
    ],
    [
        { 216, 217, 573 },
        { 217, 571, 573 },
        { 216, 217, 571 },
        { 216, 571, 573 }
    ],
    [
        { 216, 217, 218 },
        { 179, 217, 218 },
        { 179, 216, 218 },
        { 179, 216, 217 }
    ],
    [
        { 218, 219, 246 },
        { 216, 218, 219 },
        { 216, 218, 246 },
        { 216, 219, 246 }
    ],
    [
        { 221, 222, 574 },
        { 179, 221, 222 },
        { 179, 222, 574 },
        { 179, 221, 574 }
    ],
    [
        { 222, 574, 575 },
        { 179, 222, 574 },
        { 179, 222, 575 },
        { 179, 574, 575 }
    ],
    [
        { 184, 575, 576 },
        { 179, 184, 575 },
        { 179, 184, 576 },
        { 179, 575, 576 }
    ],
    [
        { 184, 574, 577 },
        { 184, 575, 577 },
        { 574, 575, 577 },
        { 184, 574, 575 }
    ],
    [
        { 225, 226, 578 },
        { 223, 225, 226 },
        { 223, 226, 578 },
        { 223, 225, 578 }
    ],
    [
        { 579, 580, 581 },
        { 223, 580, 581 },
        { 223, 579, 581 },
        { 223, 579, 580 }
    ],
    [
        { 226, 578, 580 },
        { 223, 226, 580 },
        { 223, 226, 578 },
        { 223, 578, 580 }
    ],
    [
        { 578, 580, 582 },
        { 579, 580, 582 },
        { 578, 579, 580 },
        { 578, 579, 582 }
    ],
    [
        { 223, 224, 225 },
        { 224, 225, 583 },
        { 223, 225, 583 },
        { 223, 224, 583 }
    ],
    [
        { 227, 228, 584 },
        { 228, 583, 584 },
        { 227, 583, 584 },
        { 227, 228, 583 }
    ],
    [
        { 223, 228, 585 },
        { 223, 583, 585 },
        { 228, 583, 585 },
        { 223, 228, 583 }
    ],
    [
        { 223, 228, 229 },
        { 223, 227, 229 },
        { 227, 228, 229 },
        { 223, 227, 228 }
    ],
    [
        { 229, 231, 299 },
        { 227, 229, 299 },
        { 227, 229, 231 },
        { 227, 231, 299 }
    ],
    [
        { 587, 588, 589 },
        { 586, 588, 589 },
        { 586, 587, 589 },
        { 586, 587, 588 }
    ],
    [
        { 588, 589, 590 },
        { 587, 589, 590 },
        { 587, 588, 589 },
        { 587, 588, 590 }
    ],
    [
        { 232, 236, 592 },
        { 236, 591, 592 },
        { 232, 591, 592 },
        { 232, 236, 591 }
    ],
    [
        { 234, 236, 593 },
        { 234, 591, 593 },
        { 234, 236, 591 },
        { 236, 591, 593 }
    ],
    [
        { 233, 234, 236 },
        { 232, 234, 236 },
        { 232, 233, 234 },
        { 232, 233, 236 }
    ],
    [
        { 588, 590, 594 },
        { 232, 590, 594 },
        { 232, 588, 590 },
        { 232, 588, 594 }
    ],
    [
        { 595, 596, 597 },
        { 588, 596, 597 },
        { 588, 595, 597 },
        { 588, 595, 596 }
    ],
    [
        { 598, 599, 600 },
        { 588, 599, 600 },
        { 588, 598, 600 },
        { 588, 598, 599 }
    ],
    [
        { 595, 596, 598, 600 },
        { 588, 595, 596 },
        { 588, 595, 598 },
        { 588, 598, 600 },
        { 588, 596, 600 }
    ],
    [
        { 238, 239, 601 },
        { 239, 591, 601 },
        { 238, 591, 601 },
        { 238, 239, 591 }
    ],
    [
        { 239, 242, 602 },
        { 242, 591, 602 },
        { 239, 242, 591 },
        { 239, 591, 602 }
    ],
    [
        { 239, 241, 242 },
        { 238, 241, 242 },
        { 238, 239, 241 },
        { 238, 239, 242 }
    ],
    [
        { 242, 588, 604 },
        { 242, 603, 604 },
        { 588, 603, 604 },
        { 242, 588, 603 }
    ],
    [
        { 588, 606, 607 },
        { 588, 605, 607 },
        { 605, 606, 607 },
        { 588, 605, 606 }
    ],
    [
        { 588, 604, 607 },
        { 604, 605, 607 },
        { 588, 605, 607 },
        { 588, 604, 605 }
    ],
    [
        { 216, 246, 247 },
        { 244, 246, 247 },
        { 216, 244, 247 },
        { 216, 244, 246 }
    ],
    [
        { 248, 249, 250 },
        { 244, 249, 250 },
        { 244, 248, 250 },
        { 244, 248, 249 }
    ],
    [
        { 216, 247, 249 },
        { 216, 244, 247 },
        { 244, 247, 249 },
        { 216, 244, 249 }
    ],
    [
        { 238, 601, 608 },
        { 238, 591, 601 },
        { 591, 601, 608 },
        { 238, 591, 608 }
    ],
    [
        { 238, 248, 253 },
        { 238, 253, 609 },
        { 248, 253, 609 },
        { 238, 248, 609 }
    ],
    [
        { 216, 238, 610 },
        { 216, 609, 610 },
        { 238, 609, 610 },
        { 216, 238, 609 }
    ],
    [
        { 238, 248, 257 },
        { 238, 254, 257 },
        { 248, 254, 257 },
        { 238, 248, 254 }
    ],
    [
        { 258, 259, 261 },
        { 244, 259, 261 },
        { 244, 258, 261 },
        { 244, 258, 259 }
    ],
    [
        { 261, 264, 611 },
        { 258, 264, 611 },
        { 258, 261, 264 },
        { 258, 261, 611 }
    ],
    [
        { 264, 265, 266 },
        { 261, 265, 266 },
        { 261, 264, 266 },
        { 261, 264, 265 }
    ],
    [
        { 248, 261, 268 },
        { 244, 261, 268 },
        { 244, 248, 268 },
        { 244, 248, 261 }
    ],
    [
        { 248, 265, 268 },
        { 265, 268, 270 },
        { 248, 265, 270 },
        { 248, 268, 270 }
    ],
    [
        { 265, 266, 268 },
        { 261, 265, 266 },
        { 261, 266, 268 },
        { 261, 265, 268 }
    ],
    [
        { 264, 265, 613 },
        { 265, 612, 613 },
        { 264, 612, 613 },
        { 264, 265, 612 }
    ],
    [
        { 257, 604, 614 },
        { 248, 257, 604 },
        { 248, 257, 614 },
        { 248, 604, 614 }
    ],
    [
        { 265, 614, 616 },
        { 265, 615, 616 },
        { 614, 615, 616 },
        { 265, 614, 615 }
    ],
    [
        { 265, 614, 617 },
        { 265, 612, 617 },
        { 612, 614, 617 },
        { 265, 612, 614 }
    ],
    [
        { 234, 274, 276 },
        { 273, 274, 276 },
        { 234, 273, 274 },
        { 234, 273, 276 }
    ],
    [
        { 589, 590, 618 },
        { 586, 589, 590 },
        { 586, 589, 618 },
        { 586, 590, 618 }
    ],
    [
        { 273, 276, 590 },
        { 276, 590, 618 },
        { 273, 590, 618 },
        { 273, 276, 618 }
    ],
    [
        { 285, 619, 620 },
        { 285, 618, 620 },
        { 618, 619, 620 },
        { 285, 618, 619 }
    ],
    [
        { 618, 621, 622 },
        { 586, 621, 622 },
        { 586, 618, 622 },
        { 586, 618, 621 }
    ],
    [
        { 285, 622, 623 },
        { 618, 622, 623 },
        { 285, 618, 623 },
        { 285, 618, 622 }
    ],
    [
        { 285, 622, 624 },
        { 284, 622, 624 },
        { 284, 285, 624 },
        { 284, 285, 622 }
    ],
    [
        { 278, 279, 285 },
        { 273, 278, 279 },
        { 273, 279, 285 },
        { 273, 278, 285 }
    ],
    [
        { 278, 282, 285 },
        { 278, 281, 285 },
        { 278, 281, 282 },
        { 281, 282, 285 }
    ],
    [
        { 281, 291, 625 },
        { 281, 284, 625 },
        { 284, 291, 625 },
        { 281, 284, 291 }
    ],
    [
        { 281, 282, 285 },
        { 282, 284, 285 },
        { 281, 284, 285 },
        { 281, 282, 284 }
    ],
    [
        { 234, 593, 626 },
        { 234, 591, 626 },
        { 591, 593, 626 },
        { 234, 591, 593 }
    ],
    [
        { 234, 273, 627 },
        { 234, 287, 627 },
        { 273, 287, 627 },
        { 234, 273, 287 }
    ],
    [
        { 234, 627, 628 },
        { 227, 627, 628 },
        { 227, 234, 628 },
        { 227, 234, 627 }
    ],
    [
        { 278, 281, 290 },
        { 273, 278, 290 },
        { 273, 278, 281 },
        { 273, 281, 290 }
    ],
    [
        { 281, 290, 293 },
        { 290, 291, 293 },
        { 281, 291, 293 },
        { 281, 290, 291 }
    ],
    [
        { 290, 296, 298 },
        { 273, 296, 298 },
        { 273, 290, 296 },
        { 273, 290, 298 }
    ],
    [
        { 290, 298, 300 },
        { 227, 298, 300 },
        { 227, 290, 298 },
        { 227, 290, 300 }
    ],
    [
        { 290, 299, 300 },
        { 227, 299, 300 },
        { 227, 290, 300 },
        { 227, 290, 299 }
    ],
    [
        { 629, 630, 631 },
        { 622, 630, 631 },
        { 622, 629, 631 },
        { 622, 629, 630 }
    ],
    [
        { 630, 631, 632, 633 },
        { 622, 630, 632 },
        { 622, 632, 633 },
        { 622, 630, 631 },
        { 622, 631, 633 }
    ],
    [
        { 622, 632, 633 },
        { 586, 622, 633 },
        { 586, 632, 633 },
        { 586, 622, 632 }
    ],
    [
        { 586, 633, 634 },
        { 586, 629, 634 },
        { 586, 629, 631, 633 },
        { 629, 631, 634 },
        { 631, 633, 634 }
    ],
    [
        { 291, 635, 636 },
        { 284, 291, 636 },
        { 284, 635, 636 },
        { 284, 291, 635 }
    ],
    [
        { 303, 305, 637 },
        { 302, 305, 637 },
        { 302, 303, 637 },
        { 302, 303, 305 }
    ],
    [
        { 291, 303, 306, 307 },
        { 291, 302, 307 },
        { 291, 302, 303 },
        { 302, 306, 307 },
        { 302, 303, 306 }
    ],
    [
        { 310, 311, 638 },
        { 309, 311, 638 },
        { 309, 310, 638 },
        { 309, 310, 311 }
    ],
    [
        { 311, 313, 314 },
        { 311, 314, 639 },
        { 313, 314, 639 },
        { 311, 313, 639 }
    ],
    [
        { 43, 318, 319 },
        { 43, 316, 318 },
        { 316, 318, 319 },
        { 43, 316, 319 }
    ],
    [
        { 43, 44, 640 },
        { 43, 44, 319 },
        { 44, 319, 640 },
        { 43, 319, 640 }
    ],
    [
        { 43, 321, 640 },
        { 43, 316, 321 },
        { 43, 316, 640 },
        { 316, 321, 640 }
    ],
    [
        { 321, 641, 642 },
        { 640, 641, 642 },
        { 321, 640, 642 },
        { 321, 640, 641 }
    ],
    [
        { 321, 642, 643 },
        { 316, 642, 643 },
        { 316, 321, 642 },
        { 316, 321, 643 }
    ],
    [
        { 322, 323, 645 },
        { 322, 323, 644 },
        { 323, 644, 645 },
        { 322, 644, 645 }
    ],
    [
        { 48, 322, 323 },
        { 46, 48, 323 },
        { 46, 322, 323 },
        { 46, 48, 322 }
    ],
    [
        { 318, 319, 326 },
        { 316, 318, 326 },
        { 316, 318, 319 },
        { 316, 319, 326 }
    ],
    [
        { 326, 644, 646 },
        { 319, 644, 646 },
        { 319, 326, 646 },
        { 319, 326, 644 }
    ],
    [
        { 445, 647, 648 },
        { 331, 647, 648 },
        { 331, 445, 648 },
        { 331, 445, 647 }
    ],
    [
        { 48, 445, 649 },
        { 48, 331, 649 },
        { 331, 445, 649 },
        { 48, 331, 445 }
    ],
    [
        { 322, 328, 329 },
        { 328, 329, 647 },
        { 322, 329, 647 },
        { 322, 328, 647 }
    ],
    [
        { 48, 328, 647 },
        { 48, 328, 331 },
        { 328, 331, 647 },
        { 48, 331, 647 }
    ],
    [
        { 48, 322, 328 },
        { 46, 48, 328 },
        { 46, 322, 328 },
        { 46, 48, 322 }
    ],
    [
        { 50, 334, 336 },
        { 332, 333, 334, 336 },
        { 50, 332, 336 },
        { 50, 333, 334 },
        { 50, 332, 333 }
    ],
    [
        { 322, 647, 652 },
        { 322, 650, 652 },
        { 322, 647, 650, 651 },
        { 650, 651, 652 },
        { 647, 651, 652 }
    ],
    [
        { 322, 334, 654 },
        { 322, 650, 654 },
        { 322, 334, 650, 653 },
        { 650, 653, 654 },
        { 334, 653, 654 }
    ],
    [
        { 50, 52, 334 },
        { 52, 334, 338 },
        { 50, 52, 338 },
        { 50, 334, 338 }
    ],
    [
        { 322, 334, 655 },
        { 322, 338, 655 },
        { 334, 338, 655 },
        { 322, 334, 338 }
    ],
    [
        { 656, 657, 658 },
        { 338, 657, 658 },
        { 338, 656, 658 },
        { 338, 656, 657 }
    ],
    [
        { 341, 659, 660 },
        { 351, 659, 660 },
        { 341, 351, 660 },
        { 341, 351, 659 }
    ],
    [
        { 319, 339, 341 },
        { 339, 341, 661 },
        { 319, 341, 661 },
        { 319, 339, 661 }
    ],
    [
        { 54, 56, 341 },
        { 56, 339, 341 },
        { 54, 56, 339 },
        { 54, 339, 341 }
    ],
    [
        { 50, 348, 349 },
        { 50, 338, 349 },
        { 338, 348, 349 },
        { 50, 338, 348 }
    ],
    [
        { 349, 657, 662 },
        { 338, 349, 662 },
        { 338, 349, 657 },
        { 338, 657, 662 }
    ],
    [
        { 349, 352, 664 },
        { 349, 663, 664 },
        { 349, 663, 665 },
        { 349, 352, 665 },
        { 352, 665, 666 },
        { 352, 664, 666 },
        { 663, 665, 666 },
        { 663, 664, 666 }
    ],
    [
        { 351, 353, 665, 666 },
        { 351, 352, 665 },
        { 351, 352, 353 },
        { 352, 353, 666 },
        { 352, 665, 666 }
    ],
    [
        { 342, 344, 352 },
        { 54, 344, 352 },
        { 54, 342, 344 },
        { 54, 342, 352 }
    ],
    [
        { 346, 347, 349 },
        { 50, 347, 349 },
        { 50, 346, 349 },
        { 50, 346, 347 }
    ],
    [
        { 341, 351, 352 },
        { 341, 350, 352 },
        { 341, 350, 351 },
        { 350, 351, 352 }
    ],
    [
        { 341, 352, 355 },
        { 54, 341, 355 },
        { 54, 352, 355 },
        { 54, 341, 352 }
    ],
    [
        { 356, 357, 358 },
        { 258, 357, 358 },
        { 258, 356, 358 },
        { 258, 356, 357 }
    ],
    [
        { 356, 357, 361 },
        { 357, 360, 361 },
        { 356, 357, 360 },
        { 356, 360, 361 }
    ],
    [
        { 668, 669, 670 },
        { 667, 669, 670 },
        { 667, 668, 670 },
        { 667, 668, 669 }
    ],
    [
        { 361, 365, 668 },
        { 361, 363, 365 },
        { 363, 365, 668 },
        { 361, 363, 668 }
    ],
    [
        { 365, 382, 669 },
        { 365, 382, 668 },
        { 365, 668, 669 },
        { 382, 668, 669 }
    ],
    [
        { 58, 671, 672 },
        { 58, 62, 672 },
        { 62, 671, 672 },
        { 58, 62, 671 }
    ],
    [
        { 673, 674, 675 },
        { 667, 674, 675 },
        { 667, 673, 675 },
        { 667, 673, 674 }
    ],
    [
        { 672, 675, 676 },
        { 672, 673, 675 },
        { 673, 675, 676, 677 },
        { 672, 673, 677 },
        { 672, 676, 677 }
    ],
    [
        { 668, 670, 678 },
        { 667, 670, 678 },
        { 667, 668, 678 },
        { 667, 668, 670 }
    ],
    [
        { 58, 59, 677 },
        { 58, 59, 366 },
        { 59, 366, 677 },
        { 58, 366, 677 }
    ],
    [
        { 63, 367, 676 },
        { 62, 63, 676 },
        { 62, 63, 367 },
        { 62, 367, 676 }
    ],
    [
        { 679, 680, 681 },
        { 667, 680, 681 },
        { 667, 679, 681 },
        { 667, 679, 680 }
    ],
    [
        { 58, 368, 668 },
        { 58, 366, 668 },
        { 58, 366, 368 },
        { 366, 368, 668 }
    ],
    [
        { 58, 369, 682 },
        { 368, 369, 682 },
        { 58, 368, 369 },
        { 58, 368, 682 }
    ],
    [
        { 367, 370, 679 },
        { 62, 367, 370 },
        { 62, 370, 679 },
        { 62, 367, 679 }
    ],
    [
        { 370, 371, 682 },
        { 62, 371, 682 },
        { 62, 370, 371 },
        { 62, 370, 682 }
    ],
    [
        { 303, 372, 373 },
        { 291, 372, 373 },
        { 291, 303, 373 },
        { 291, 303, 372 }
    ],
    [
        { 373, 375, 376 },
        { 303, 373, 375 },
        { 303, 373, 376 },
        { 303, 375, 376 }
    ],
    [
        { 667, 679, 681 },
        { 679, 681, 683 },
        { 667, 681, 683 },
        { 667, 679, 683 }
    ],
    [
        { 376, 378, 379 },
        { 378, 379, 679 },
        { 376, 379, 679 },
        { 376, 378, 679 }
    ],
    [
        { 379, 398, 679 },
        { 379, 398, 683 },
        { 398, 679, 683 },
        { 379, 679, 683 }
    ],
    [
        { 382, 383, 384 },
        { 383, 384, 386 },
        { 382, 384, 386 },
        { 382, 383, 386 }
    ],
    [
        { 386, 388, 667 },
        { 385, 388, 667 },
        { 385, 386, 388 },
        { 385, 386, 667 }
    ],
    [
        { 67, 387, 388 },
        { 67, 386, 388 },
        { 386, 387, 388 },
        { 67, 386, 387 }
    ],
    [
        { 67, 389, 390 },
        { 67, 386, 390 },
        { 386, 389, 390 },
        { 67, 386, 389 }
    ],
    [
        { 67, 391, 392 },
        { 389, 391, 392 },
        { 67, 389, 391 },
        { 67, 389, 392 }
    ],
    [
        { 67, 388, 394 },
        { 67, 388, 667 },
        { 388, 394, 667 },
        { 67, 394, 667 }
    ],
    [
        { 67, 392, 394 },
        { 66, 67, 392 },
        { 66, 392, 394 },
        { 66, 67, 394 }
    ],
    [
        { 397, 398, 401 },
        { 396, 397, 398 },
        { 396, 398, 401 },
        { 396, 397, 401 }
    ],
    [
        { 72, 400, 684 },
        { 71, 72, 684 },
        { 71, 72, 400 },
        { 71, 400, 684 }
    ],
    [
        { 404, 667, 684 },
        { 71, 404, 684 },
        { 71, 667, 684 },
        { 71, 404, 667 }
    ],
    [
        { 401, 402, 404 },
        { 71, 402, 404 },
        { 71, 401, 404 },
        { 71, 401, 402 }
    ],
    [
        { 401, 403, 404 },
        { 403, 404, 667 },
        { 401, 404, 667 },
        { 401, 403, 667 }
    ],
    [
        { 400, 405, 407 },
        { 71, 405, 407 },
        { 71, 400, 405 },
        { 71, 400, 407 }
    ],
    [
        { 401, 407, 408 },
        { 71, 407, 408 },
        { 71, 401, 408 },
        { 71, 401, 407 }
    ],
    [
        { 383, 384, 685 },
        { 383, 384, 386 },
        { 384, 386, 685 },
        { 383, 386, 685 }
    ],
    [
        { 412, 413, 685 },
        { 410, 413, 685 },
        { 410, 412, 413 },
        { 410, 412, 685 }
    ],
    [
        { 413, 687, 688 },
        { 686, 687, 688 },
        { 413, 686, 688 },
        { 413, 686, 687 }
    ],
    [
        { 412, 413, 688 },
        { 411, 413, 688 },
        { 411, 412, 688 },
        { 411, 412, 413 }
    ],
    [
        { 74, 690, 691 },
        { 689, 690, 691 },
        { 74, 689, 691 },
        { 74, 689, 690 }
    ],
    [
        { 74, 414, 692 },
        { 74, 689, 692 },
        { 414, 689, 692 },
        { 74, 414, 689 }
    ],
    [
        { 74, 75, 415 },
        { 75, 414, 415 },
        { 74, 414, 415 },
        { 74, 75, 414 }
    ],
    [
        { 75, 417, 432 },
        { 75, 414, 417 },
        { 414, 417, 432 },
        { 75, 414, 432 }
    ],
    [
        { 418, 419, 421 },
        { 75, 419, 421 },
        { 75, 418, 421 },
        { 75, 418, 419 }
    ],
    [
        { 419, 423, 424 },
        { 422, 423, 424 },
        { 419, 422, 424 },
        { 419, 422, 423 }
    ],
    [
        { 419, 428, 431 },
        { 423, 427, 428, 431 },
        { 419, 427, 428 },
        { 419, 423, 431 },
        { 419, 423, 427 }
    ],
    [
        { 431, 432, 693 },
        { 422, 423, 431, 432 },
        { 422, 432, 693, 694 },
        { 423, 431, 693, 694 },
        { 422, 423, 694 }
    ],
    [
        { 419, 431, 433 },
        { 431, 432, 433 },
        { 419, 432, 433 },
        { 419, 431, 432 }
    ],
    [
        { 419, 421, 435 },
        { 79, 421, 435 },
        { 79, 419, 421 },
        { 79, 419, 435 }
    ],
    [
        { 79, 422, 438 },
        { 79, 437, 438 },
        { 422, 437, 438 },
        { 79, 422, 437 }
    ],
    [
        { 78, 79, 440 },
        { 79, 437, 440 },
        { 78, 437, 440 },
        { 78, 79, 437 }
    ],
    [
        { 78, 687, 688 },
        { 686, 687, 688 },
        { 78, 686, 688 },
        { 78, 686, 687 }
    ],
    [
        { 78, 437, 695 },
        { 78, 686, 695 },
        { 437, 686, 695 },
        { 78, 437, 686 }
    ],
    [
        { 443, 444, 696 },
        { 441, 443, 444 },
        { 441, 444, 696 },
        { 441, 443, 696 }
    ],
    [
        { 442, 443, 697 },
        { 441, 443, 697 },
        { 441, 442, 443 },
        { 441, 442, 697 }
    ],
    [
        { 443, 696, 697 },
        { 443, 697, 698 },
        { 443, 696, 698 },
        { 696, 697, 698 }
    ],
    [
        { 447, 448, 696 },
        { 445, 447, 448 },
        { 445, 448, 696 },
        { 445, 447, 696 }
    ],
    [
        { 446, 447, 699 },
        { 445, 447, 699 },
        { 445, 446, 447 },
        { 445, 446, 699 }
    ],
    [
        { 447, 699, 700 },
        { 447, 696, 699 },
        { 447, 696, 700 },
        { 696, 699, 700 }
    ],
    [
        { 702, 703, 704 },
        { 701, 703, 704 },
        { 701, 702, 704 },
        { 701, 702, 703 }
    ],
    [
        { 445, 705, 707, 708, 709, 710 },
        { 445, 705, 706 },
        { 445, 706, 708, 711 },
        { 705, 706, 710, 712 },
        { 708, 709, 711 },
        { 707, 709, 711, 712 },
        { 707, 710, 712 },
        { 706, 711, 712 }
    ],
    [
        { 451, 452, 702 },
        { 449, 452, 702 },
        { 449, 451, 452 },
        { 449, 451, 702 }
    ],
    [
        { 452, 690, 691 },
        { 689, 690, 691 },
        { 452, 689, 691 },
        { 452, 689, 690 }
    ],
    [
        { 451, 452, 691 },
        { 450, 452, 691 },
        { 450, 451, 691 },
        { 450, 451, 452 }
    ],
    [
        { 356, 358, 455 },
        { 258, 358, 455 },
        { 258, 356, 358 },
        { 258, 356, 455 }
    ],
    [
        { 361, 454, 455 },
        { 356, 454, 455 },
        { 356, 361, 454 },
        { 356, 361, 455 }
    ],
    [
        { 361, 455, 713 },
        { 82, 455, 713 },
        { 82, 361, 713 },
        { 82, 361, 455 }
    ],
    [
        { 83, 88, 455 },
        { 82, 88, 455 },
        { 82, 83, 88 },
        { 82, 83, 455 }
    ],
    [
        { 88, 455, 456 },
        { 88, 456, 714 },
        { 88, 455, 714 },
        { 455, 456, 714 }
    ],
    [
        { 90, 457, 458 },
        { 412, 457, 458 },
        { 90, 412, 458 },
        { 90, 412, 457 }
    ],
    [
        { 89, 714, 715 },
        { 82, 714, 715 },
        { 82, 89, 715 },
        { 82, 89, 714 }
    ],
    [
        { 89, 90, 457 },
        { 82, 90, 457 },
        { 82, 89, 457 },
        { 82, 89, 90 }
    ],
    [
        { 457, 462, 714 },
        { 89, 457, 462 },
        { 89, 462, 714 },
        { 89, 457, 714 }
    ],
    [
        { 457, 461, 462 },
        { 461, 462, 714 },
        { 457, 462, 714 },
        { 457, 461, 714 }
    ],
    [
        { 457, 466, 467 },
        { 457, 463, 466 },
        { 457, 463, 464, 467 },
        { 464, 466, 467 },
        { 463, 464, 466 }
    ],
    [
        { 461, 466, 470 },
        { 457, 466, 470 },
        { 457, 461, 466 },
        { 457, 461, 470 }
    ],
    [
        { 96, 470, 471 },
        { 93, 96, 471 },
        { 93, 470, 471 },
        { 93, 96, 470 }
    ],
    [
        { 96, 474, 716 },
        { 96, 470, 716 },
        { 470, 474, 716 },
        { 96, 470, 474 }
    ],
    [
        { 470, 474, 475 },
        { 474, 475, 714 },
        { 470, 475, 714 },
        { 470, 474, 714 }
    ],
    [
        { 463, 477, 478 },
        { 93, 477, 478 },
        { 93, 463, 478 },
        { 93, 463, 477 }
    ],
    [
        { 466, 470, 477 },
        { 463, 466, 477 },
        { 463, 466, 470 },
        { 463, 470, 477 }
    ],
    [
        { 98, 463, 480 },
        { 451, 463, 480 },
        { 98, 451, 480 },
        { 98, 451, 463 }
    ],
    [
        { 93, 97, 717 },
        { 93, 102, 717 },
        { 97, 102, 717 },
        { 93, 97, 102 }
    ],
    [
        { 97, 98, 463 },
        { 98, 102, 463 },
        { 97, 102, 463 },
        { 97, 98, 102 }
    ],
    [
        { 93, 463, 478 },
        { 97, 463, 478 },
        { 93, 97, 478 },
        { 93, 97, 463 }
    ],
    [
        { 482, 486, 719 },
        { 486, 718, 719 },
        { 482, 718, 719 },
        { 482, 486, 718 }
    ],
    [
        { 483, 485, 486 },
        { 482, 485, 486 },
        { 482, 483, 485 },
        { 482, 483, 486 }
    ],
    [
        { 719, 720, 721, 722 },
        { 718, 719, 721 },
        { 718, 720, 721 },
        { 718, 719, 722 },
        { 718, 720, 722 }
    ],
    [
        { 486, 719, 722 },
        { 718, 719, 722 },
        { 486, 718, 722 },
        { 486, 718, 719 }
    ],
    [
        { 720, 721, 723 },
        { 718, 721, 723 },
        { 718, 720, 721 },
        { 718, 720, 723 }
    ],
    [
        { 483, 486, 724 },
        { 102, 486, 724 },
        { 102, 483, 724 },
        { 102, 483, 486 }
    ],
    [
        { 103, 108, 486 },
        { 102, 108, 486 },
        { 102, 103, 108 },
        { 102, 103, 486 }
    ],
    [
        { 108, 486, 487 },
        { 93, 108, 487 },
        { 93, 108, 486 },
        { 93, 486, 487 }
    ],
    [
        { 109, 112, 117 },
        { 109, 112, 113 },
        { 112, 113, 117 },
        { 109, 113, 117 }
    ],
    [
        { 112, 114, 118 },
        { 112, 113, 114 },
        { 112, 113, 118 },
        { 113, 114, 118 }
    ],
    [
        { 112, 118, 122 },
        { 112, 117, 122 },
        { 112, 117, 118 },
        { 117, 118, 122 }
    ],
    [
        { 118, 725, 726 },
        { 117, 725, 726 },
        { 117, 118, 726 },
        { 117, 118, 725 }
    ],
    [
        { 133, 493, 727 },
        { 123, 133, 493 },
        { 123, 133, 727 },
        { 123, 493, 727 }
    ],
    [
        { 14, 124, 133 },
        { 123, 124, 133 },
        { 14, 123, 133 },
        { 14, 123, 124 }
    ],
    [
        { 117, 124, 488 },
        { 123, 124, 488 },
        { 117, 123, 124 },
        { 117, 123, 488 }
    ],
    [
        { 117, 124, 725 },
        { 14, 124, 725 },
        { 14, 117, 124 },
        { 14, 117, 725 }
    ],
    [
        { 489, 490, 493 },
        { 123, 489, 490 },
        { 123, 490, 493 },
        { 123, 489, 493 }
    ],
    [
        { 117, 123, 489 },
        { 117, 489, 492 },
        { 117, 123, 492 },
        { 123, 489, 492 }
    ],
    [
        { 117, 489, 728 },
        { 117, 493, 728 },
        { 489, 493, 728 },
        { 117, 489, 493 }
    ],
    [
        { 494, 495, 728 },
        { 493, 495, 728 },
        { 493, 494, 495 },
        { 493, 494, 728 }
    ],
    [
        { 127, 498, 729 },
        { 498, 718, 729 },
        { 127, 718, 729 },
        { 127, 498, 718 }
    ],
    [
        { 127, 129, 498 },
        { 129, 497, 498 },
        { 127, 497, 498 },
        { 127, 129, 497 }
    ],
    [
        { 127, 729, 730 },
        { 718, 729, 730 },
        { 127, 718, 729 },
        { 127, 718, 730 }
    ],
    [
        { 127, 503, 730 },
        { 31, 503, 730 },
        { 31, 127, 503 },
        { 31, 127, 730 }
    ],
    [
        { 127, 499, 502 },
        { 497, 499, 502 },
        { 127, 497, 502 },
        { 127, 497, 499 }
    ],
    [
        { 127, 502, 503 },
        { 31, 502, 503 },
        { 31, 127, 503 },
        { 31, 127, 502 }
    ],
    [
        { 497, 498, 731 },
        { 498, 718, 731 },
        { 497, 498, 718 },
        { 497, 718, 731 }
    ],
    [
        { 31, 502, 732 },
        { 497, 502, 732 },
        { 31, 497, 502 },
        { 31, 497, 732 }
    ],
    [
        { 494, 504, 732 },
        { 494, 497, 504 },
        { 497, 504, 732 },
        { 494, 497, 732 }
    ],
    [
        { 132, 133, 493 },
        { 14, 132, 133 },
        { 14, 133, 493 },
        { 14, 132, 493 }
    ],
    [
        { 132, 493, 508 },
        { 132, 506, 508 },
        { 493, 506, 508 },
        { 132, 493, 506 }
    ],
    [
        { 509, 510, 511 },
        { 506, 510, 511 },
        { 506, 509, 511 },
        { 506, 509, 510 }
    ],
    [
        { 199, 514, 561 },
        { 31, 199, 514 },
        { 31, 514, 561 },
        { 31, 199, 561 }
    ],
    [
        { 513, 514, 515 },
        { 514, 515, 561 },
        { 513, 515, 561 },
        { 513, 514, 561 }
    ],
    [
        { 561, 734, 735, 737 },
        { 561, 733, 734, 736 },
        { 734, 735, 736 },
        { 733, 735, 736, 737 },
        { 561, 733, 737 }
    ],
    [
        { 136, 517, 518 },
        { 160, 517, 518 },
        { 136, 160, 518 },
        { 136, 160, 517 }
    ],
    [
        { 2, 136, 519 },
        { 2, 136, 137 },
        { 2, 137, 519 },
        { 136, 137, 519 }
    ],
    [
        { 517, 519, 521 },
        { 137, 517, 521 },
        { 137, 519, 521 },
        { 137, 517, 519 }
    ],
    [
        { 3, 136, 517 },
        { 3, 137, 517 },
        { 3, 136, 137 },
        { 136, 137, 517 }
    ],
    [
        { 140, 141, 519 },
        { 141, 519, 522 },
        { 140, 141, 522 },
        { 140, 519, 522 }
    ],
    [
        { 5, 141, 523 },
        { 141, 522, 523 },
        { 5, 141, 522 },
        { 5, 522, 523 }
    ],
    [
        { 136, 523, 524 },
        { 522, 523, 524 },
        { 136, 522, 523 },
        { 136, 522, 524 }
    ],
    [
        { 519, 527, 738 },
        { 522, 527, 738 },
        { 519, 522, 527 },
        { 519, 522, 738 }
    ],
    [
        { 136, 526, 527 },
        { 136, 522, 527 },
        { 522, 526, 527 },
        { 136, 522, 526 }
    ],
    [
        { 136, 145, 527 },
        { 145, 519, 527 },
        { 136, 519, 527 },
        { 136, 145, 519 }
    ],
    [
        { 147, 149, 529 },
        { 149, 528, 529 },
        { 147, 528, 529 },
        { 147, 149, 528 }
    ],
    [
        { 149, 529, 739 },
        { 528, 529, 739 },
        { 149, 528, 739 },
        { 149, 528, 529 }
    ],
    [
        { 147, 152, 530 },
        { 152, 519, 530 },
        { 147, 519, 530 },
        { 147, 152, 519 }
    ],
    [
        { 152, 530, 739 },
        { 519, 530, 739 },
        { 152, 519, 739 },
        { 152, 519, 530 }
    ],
    [
        { 529, 530, 739 },
        { 147, 530, 739 },
        { 147, 529, 739 },
        { 147, 529, 530 }
    ],
    [
        { 9, 141, 153 },
        { 5, 9, 141 },
        { 5, 141, 153 },
        { 5, 9, 153 }
    ],
    [
        { 9, 141, 155 },
        { 141, 155, 519 },
        { 9, 155, 519 },
        { 9, 141, 519 }
    ],
    [
        { 9, 155, 740 },
        { 155, 519, 740 },
        { 9, 155, 519 },
        { 9, 519, 740 }
    ],
    [
        { 147, 740, 741 },
        { 519, 740, 741 },
        { 147, 519, 741 },
        { 147, 519, 740 }
    ],
    [
        { 18, 156, 158 },
        { 14, 18, 158 },
        { 14, 156, 158 },
        { 14, 18, 156 }
    ],
    [
        { 18, 158, 159 },
        { 158, 159, 528 },
        { 18, 159, 528 },
        { 18, 158, 528 }
    ],
    [
        { 18, 159, 534 },
        { 159, 528, 534 },
        { 18, 159, 528 },
        { 18, 528, 534 }
    ],
    [
        { 147, 531, 534 },
        { 528, 531, 534 },
        { 147, 528, 531 },
        { 147, 528, 534 }
    ],
    [
        { 742, 743, 744 },
        { 519, 743, 744 },
        { 519, 742, 744 },
        { 519, 742, 743 }
    ],
    [
        { 517, 743, 745 },
        { 517, 519, 743 },
        { 519, 521, 743, 745 },
        { 517, 521, 745 },
        { 517, 519, 521 }
    ],
    [
        { 747, 748, 749 },
        { 746, 748, 749 },
        { 746, 747, 749 },
        { 746, 747, 748 }
    ],
    [
        { 160, 161, 535 },
        { 161, 535, 750 },
        { 160, 161, 750 },
        { 160, 535, 750 }
    ],
    [
        { 173, 536, 537 },
        { 536, 537, 747 },
        { 173, 537, 747 },
        { 173, 536, 747 }
    ],
    [
        { 165, 173, 528 },
        { 164, 165, 173 },
        { 164, 165, 528 },
        { 164, 173, 528 }
    ],
    [
        { 528, 536, 539 },
        { 164, 536, 539 },
        { 164, 528, 539 },
        { 164, 528, 536 }
    ],
    [
        { 167, 173, 536 },
        { 164, 167, 536 },
        { 164, 167, 173 },
        { 164, 173, 536 }
    ],
    [
        { 158, 169, 528 },
        { 158, 528, 540 },
        { 158, 169, 540 },
        { 169, 528, 540 }
    ],
    [
        { 14, 158, 541 },
        { 158, 540, 541 },
        { 14, 158, 540 },
        { 14, 540, 541 }
    ],
    [
        { 173, 541, 544 },
        { 540, 541, 544 },
        { 173, 540, 541 },
        { 173, 540, 544 }
    ],
    [
        { 528, 545, 751 },
        { 540, 545, 751 },
        { 528, 540, 545 },
        { 528, 540, 751 }
    ],
    [
        { 173, 543, 545 },
        { 173, 540, 545 },
        { 540, 543, 545 },
        { 173, 540, 543 }
    ],
    [
        { 173, 174, 545 },
        { 174, 528, 545 },
        { 173, 528, 545 },
        { 173, 174, 528 }
    ],
    [
        { 175, 178, 183 },
        { 175, 178, 179 },
        { 178, 179, 183 },
        { 175, 179, 183 }
    ],
    [
        { 178, 180, 184 },
        { 178, 179, 180 },
        { 178, 179, 184 },
        { 179, 180, 184 }
    ],
    [
        { 178, 184, 188 },
        { 178, 183, 188 },
        { 178, 183, 184 },
        { 183, 184, 188 }
    ],
    [
        { 184, 752, 753 },
        { 183, 752, 753 },
        { 183, 184, 753 },
        { 183, 184, 752 }
    ],
    [
        { 189, 546, 548 },
        { 258, 546, 548 },
        { 189, 258, 548 },
        { 189, 258, 546 }
    ],
    [
        { 189, 191, 546 },
        { 191, 196, 546 },
        { 189, 196, 546 },
        { 189, 191, 196 }
    ],
    [
        { 189, 547, 548 },
        { 258, 547, 548 },
        { 189, 258, 548 },
        { 189, 258, 547 }
    ],
    [
        { 189, 547, 554 },
        { 31, 547, 554 },
        { 31, 189, 554 },
        { 31, 189, 547 }
    ],
    [
        { 189, 550, 553 },
        { 196, 550, 553 },
        { 189, 196, 553 },
        { 189, 196, 550 }
    ],
    [
        { 189, 553, 554 },
        { 31, 553, 554 },
        { 31, 189, 554 },
        { 31, 189, 553 }
    ],
    [
        { 196, 546, 556 },
        { 258, 546, 556 },
        { 196, 258, 546 },
        { 196, 258, 556 }
    ],
    [
        { 193, 196, 556, 558 },
        { 179, 196, 556 },
        { 179, 193, 196 },
        { 179, 193, 558 },
        { 179, 556, 558 }
    ],
    [
        { 31, 553, 564 },
        { 196, 553, 564 },
        { 31, 196, 553 },
        { 31, 196, 564 }
    ],
    [
        { 27, 560, 564 },
        { 27, 196, 560 },
        { 196, 560, 564 },
        { 27, 196, 564 }
    ],
    [
        { 27, 196, 197 },
        { 193, 194, 196, 197 },
        { 24, 27, 193, 196 },
        { 24, 27, 194, 197 },
        { 24, 193, 194 }
    ],
    [
        { 200, 202, 563 },
        { 202, 561, 563 },
        { 200, 561, 563 },
        { 200, 202, 561 }
    ],
    [
        { 199, 561, 564 },
        { 31, 199, 564 },
        { 31, 561, 564 },
        { 31, 199, 561 }
    ],
    [
        { 35, 200, 564 },
        { 35, 561, 564 },
        { 35, 200, 561 },
        { 200, 561, 564 }
    ],
    [
        { 200, 201, 754 },
        { 200, 201, 205 },
        { 201, 205, 754 },
        { 200, 205, 754 }
    ],
    [
        { 200, 201, 202 },
        { 5, 201, 202 },
        { 5, 200, 201 },
        { 5, 200, 202 }
    ],
    [
        { 5, 201, 206 },
        { 201, 205, 206 },
        { 5, 201, 205 },
        { 5, 205, 206 }
    ],
    [
        { 183, 206, 210 },
        { 205, 206, 210 },
        { 183, 205, 206 },
        { 183, 205, 210 }
    ],
    [
        { 183, 206, 752 },
        { 5, 206, 752 },
        { 5, 183, 206 },
        { 5, 183, 752 }
    ],
    [
        { 200, 566, 567 },
        { 205, 566, 567 },
        { 200, 205, 567 },
        { 200, 205, 566 }
    ],
    [
        { 183, 205, 566 },
        { 183, 209, 566 },
        { 183, 205, 209 },
        { 205, 209, 566 }
    ],
    [
        { 27, 35, 564 },
        { 27, 35, 200 },
        { 35, 200, 564 },
        { 27, 200, 564 }
    ],
    [
        { 183, 566, 570 },
        { 183, 200, 570 },
        { 200, 566, 570 },
        { 183, 200, 566 }
    ],
    [
        { 27, 214, 570 },
        { 200, 214, 570 },
        { 27, 200, 214 },
        { 27, 200, 570 }
    ],
    [
        { 221, 571, 591 },
        { 179, 221, 571 },
        { 179, 221, 591 },
        { 179, 571, 591 }
    ],
    [
        { 216, 217, 571 },
        { 179, 216, 217 },
        { 179, 217, 571 },
        { 179, 216, 571 }
    ],
    [
        { 216, 571, 608 },
        { 216, 571, 591 },
        { 216, 591, 608 },
        { 571, 591, 608 }
    ],
    [
        { 246, 258, 556 },
        { 179, 246, 556 },
        { 179, 258, 556 },
        { 179, 246, 258 }
    ],
    [
        { 216, 218, 246 },
        { 179, 218, 246 },
        { 179, 216, 218 },
        { 179, 216, 246 }
    ],
    [
        { 221, 574, 591 },
        { 179, 221, 591 },
        { 179, 221, 574 },
        { 179, 574, 591 }
    ],
    [
        { 184, 574, 575 },
        { 179, 184, 574 },
        { 179, 184, 575 },
        { 179, 574, 575 }
    ],
    [
        { 223, 225, 578 },
        { 225, 578, 591 },
        { 223, 225, 591 },
        { 223, 578, 591 }
    ],
    [
        { 578, 579, 580 },
        { 223, 578, 580 },
        { 223, 579, 580 },
        { 223, 578, 579 }
    ],
    [
        { 227, 591, 626 },
        { 227, 583, 626 },
        { 583, 591, 626 },
        { 227, 583, 591 }
    ],
    [
        { 223, 225, 591 },
        { 223, 225, 583 },
        { 225, 583, 591 },
        { 223, 583, 591 }
    ],
    [
        { 223, 227, 228 },
        { 223, 228, 583 },
        { 223, 227, 583 },
        { 227, 228, 583 }
    ],
    [
        { 223, 291, 299 },
        { 223, 299, 755 },
        { 291, 299, 755 },
        { 223, 291, 755 }
    ],
    [
        { 223, 229, 299 },
        { 227, 229, 299 },
        { 223, 227, 229 },
        { 223, 227, 299 }
    ],
    [
        { 588, 589, 590 },
        { 586, 589, 590 },
        { 586, 588, 589 },
        { 586, 588, 590 }
    ],
    [
        { 232, 588, 594 },
        { 588, 591, 594 },
        { 232, 591, 594 },
        { 232, 588, 591 }
    ],
    [
        { 232, 234, 236 },
        { 234, 236, 591 },
        { 232, 234, 591 },
        { 232, 236, 591 }
    ],
    [
        { 234, 588, 590 },
        { 232, 234, 590 },
        { 232, 588, 590 },
        { 232, 234, 588 }
    ],
    [
        { 588, 596, 597 },
        { 586, 596, 597 },
        { 586, 588, 597 },
        { 586, 588, 596 }
    ],
    [
        { 588, 599, 600 },
        { 599, 600, 606 },
        { 588, 600, 606 },
        { 588, 599, 606 }
    ],
    [
        { 596, 600, 756 },
        { 588, 596, 600 },
        { 588, 600, 756 },
        { 588, 596, 756 }
    ],
    [
        { 238, 239, 242 },
        { 239, 242, 591 },
        { 238, 242, 591 },
        { 238, 239, 591 }
    ],
    [
        { 242, 588, 591 },
        { 242, 588, 603 },
        { 242, 591, 603 },
        { 588, 591, 603 }
    ],
    [
        { 242, 588, 604 },
        { 238, 242, 604 },
        { 238, 588, 604 },
        { 238, 242, 588 }
    ],
    [
        { 588, 604, 606 },
        { 588, 604, 605 },
        { 604, 605, 606 },
        { 588, 605, 606 }
    ],
    [
        { 216, 246, 258 },
        { 216, 244, 246 },
        { 244, 246, 258 },
        { 216, 244, 258 }
    ],
    [
        { 216, 248, 249 },
        { 216, 244, 249 },
        { 216, 244, 248 },
        { 244, 248, 249 }
    ],
    [
        { 216, 238, 608 },
        { 216, 238, 591 },
        { 216, 591, 608 },
        { 238, 591, 608 }
    ],
    [
        { 216, 238, 248 },
        { 216, 238, 609 },
        { 216, 248, 609 },
        { 238, 248, 609 }
    ],
    [
        { 238, 257, 604 },
        { 248, 257, 604 },
        { 238, 248, 257 },
        { 238, 248, 604 }
    ],
    [
        { 248, 258, 261 },
        { 244, 248, 261 },
        { 244, 258, 261 },
        { 244, 248, 258 }
    ],
    [
        { 261, 264, 265 },
        { 258, 264, 265 },
        { 258, 261, 265 },
        { 258, 261, 264 }
    ],
    [
        { 261, 265, 268 },
        { 248, 265, 268 },
        { 248, 261, 265 },
        { 248, 261, 268 }
    ],
    [
        { 264, 265, 612 },
        { 258, 264, 265 },
        { 258, 265, 612 },
        { 258, 264, 612 }
    ],
    [
        { 604, 606, 614 },
        { 248, 604, 614 },
        { 248, 604, 606 },
        { 248, 606, 614 }
    ],
    [
        { 265, 614, 616 },
        { 248, 265, 616 },
        { 248, 614, 616 },
        { 248, 265, 614 }
    ],
    [
        { 265, 606, 614 },
        { 265, 612, 614 },
        { 265, 606, 612 },
        { 606, 612, 614 }
    ],
    [
        { 234, 276, 590 },
        { 273, 276, 590 },
        { 234, 273, 590 },
        { 234, 273, 276 }
    ],
    [
        { 273, 590, 618 },
        { 273, 586, 590 },
        { 586, 590, 618 },
        { 273, 586, 618 }
    ],
    [
        { 273, 285, 619 },
        { 285, 618, 619 },
        { 273, 285, 618 },
        { 273, 618, 619 }
    ],
    [
        { 285, 618, 622 },
        { 285, 586, 622 },
        { 586, 618, 622 },
        { 285, 586, 618 }
    ],
    [
        { 285, 291, 622 },
        { 284, 285, 622 },
        { 284, 291, 622 },
        { 284, 285, 291 }
    ],
    [
        { 278, 281, 285 },
        { 273, 278, 285 },
        { 273, 278, 281 },
        { 273, 281, 285 }
    ],
    [
        { 281, 285, 291 },
        { 281, 284, 285 },
        { 284, 285, 291 },
        { 281, 284, 291 }
    ],
    [
        { 227, 234, 626 },
        { 234, 591, 626 },
        { 227, 591, 626 },
        { 227, 234, 591 }
    ],
    [
        { 227, 234, 627 },
        { 234, 273, 627 },
        { 227, 273, 627 },
        { 227, 234, 273 }
    ],
    [
        { 281, 290, 291 },
        { 273, 281, 290 },
        { 273, 290, 291 },
        { 273, 281, 291 }
    ],
    [
        { 227, 290, 298 },
        { 273, 290, 298 },
        { 227, 273, 298 },
        { 227, 273, 290 }
    ],
    [
        { 227, 290, 299 },
        { 290, 291, 299 },
        { 227, 291, 299 },
        { 227, 290, 291 }
    ],
    [
        { 586, 629, 631, 633 },
        { 586, 622, 633 },
        { 586, 622, 629 },
        { 622, 631, 633 },
        { 622, 629, 631 }
    ],
    [
        { 291, 622, 635 },
        { 284, 291, 622 },
        { 284, 622, 635 },
        { 284, 291, 635 }
    ],
    [
        { 291, 302, 303 },
        { 291, 303, 635 },
        { 291, 302, 635, 637 },
        { 303, 635, 637 },
        { 302, 303, 637 }
    ],
    [
        { 309, 638, 757 },
        { 54, 638, 757 },
        { 54, 309, 638 },
        { 54, 309, 757 }
    ],
    [
        { 311, 313, 639 },
        { 309, 311, 313 },
        { 309, 313, 638, 639 },
        { 309, 311, 638 },
        { 311, 638, 639 }
    ],
    [
        { 313, 639, 759 },
        { 313, 758, 759 },
        { 639, 758, 759 },
        { 313, 639, 758 }
    ],
    [
        { 43, 319, 640 },
        { 43, 316, 640 },
        { 43, 316, 319 },
        { 316, 319, 640 }
    ],
    [
        { 321, 640, 642 },
        { 316, 321, 642 },
        { 316, 640, 642 },
        { 316, 321, 640 }
    ],
    [
        { 642, 643, 760 },
        { 316, 642, 760 },
        { 316, 642, 643 },
        { 316, 643, 760 }
    ],
    [
        { 48, 445, 649 },
        { 48, 649, 761 },
        { 445, 649, 761 },
        { 48, 445, 761 }
    ],
    [
        { 48, 322, 323 },
        { 48, 323, 644 },
        { 322, 323, 644 },
        { 48, 322, 644 }
    ],
    [
        { 319, 326, 644 },
        { 316, 326, 644 },
        { 316, 319, 644 },
        { 316, 319, 326 }
    ],
    [
        { 48, 445, 647 },
        { 48, 331, 647 },
        { 48, 331, 445 },
        { 331, 445, 647 }
    ],
    [
        { 48, 322, 328 },
        { 48, 328, 647 },
        { 322, 328, 647 },
        { 48, 322, 647 }
    ],
    [
        { 334, 336, 647, 762 },
        { 50, 334, 647 },
        { 50, 647, 762 },
        { 50, 336, 762 },
        { 50, 334, 336 }
    ],
    [
        { 322, 334, 647 },
        { 322, 334, 650, 653 },
        { 322, 647, 650, 651 },
        { 334, 647, 651, 653 },
        { 650, 651, 653 }
    ],
    [
        { 50, 322, 334 },
        { 322, 334, 338 },
        { 50, 322, 338 },
        { 50, 334, 338 }
    ],
    [
        { 322, 656, 657 },
        { 338, 656, 657 },
        { 322, 338, 657 },
        { 322, 338, 656 }
    ],
    [
        { 341, 351, 659 },
        { 319, 341, 659 },
        { 319, 351, 659 },
        { 319, 341, 351 }
    ],
    [
        { 54, 339, 341 },
        { 54, 319, 341 },
        { 319, 339, 341 },
        { 54, 319, 339 }
    ],
    [
        { 50, 349, 657 },
        { 338, 349, 657 },
        { 50, 338, 349 },
        { 50, 338, 657 }
    ],
    [
        { 351, 657, 665 },
        { 351, 352, 665 },
        { 349, 351, 352, 657 },
        { 349, 657, 665 },
        { 349, 352, 665 }
    ],
    [
        { 50, 54, 344, 346 },
        { 50, 54, 349, 352 },
        { 344, 346, 349, 352 },
        { 50, 346, 349 },
        { 54, 344, 352 }
    ],
    [
        { 54, 341, 352 },
        { 341, 351, 352 },
        { 54, 341, 351 },
        { 54, 351, 352 }
    ],
    [
        { 356, 357, 361 },
        { 258, 357, 361 },
        { 258, 356, 357 },
        { 258, 356, 361 }
    ],
    [
        { 357, 361, 668 },
        { 357, 360, 361 },
        { 357, 360, 668 },
        { 360, 361, 668 }
    ],
    [
        { 382, 668, 669 },
        { 382, 667, 669 },
        { 382, 667, 668 },
        { 667, 668, 669 }
    ],
    [
        { 361, 365, 382 },
        { 365, 382, 668 },
        { 361, 365, 668 },
        { 361, 382, 668 }
    ],
    [
        { 672, 676, 677 },
        { 62, 672, 676 },
        { 58, 62, 676, 677 },
        { 58, 672, 677 },
        { 58, 62, 672 }
    ],
    [
        { 673, 675, 676, 677 },
        { 667, 675, 676 },
        { 667, 673, 675 },
        { 667, 676, 677 },
        { 667, 673, 677 }
    ],
    [
        { 668, 677, 678 },
        { 667, 677, 678 },
        { 667, 668, 678 },
        { 667, 668, 677 }
    ],
    [
        { 58, 668, 677 },
        { 58, 366, 677 },
        { 58, 366, 668 },
        { 366, 668, 677 }
    ],
    [
        { 367, 676, 679 },
        { 62, 367, 676 },
        { 62, 676, 679 },
        { 62, 367, 679 }
    ],
    [
        { 676, 679, 680 },
        { 667, 676, 680 },
        { 667, 676, 679 },
        { 667, 679, 680 }
    ],
    [
        { 58, 668, 682 },
        { 58, 368, 682 },
        { 368, 668, 682 },
        { 58, 368, 668 }
    ],
    [
        { 370, 679, 682 },
        { 62, 370, 682 },
        { 62, 679, 682 },
        { 62, 370, 679 }
    ],
    [
        { 368, 668, 682 },
        { 668, 679, 682 },
        { 368, 370, 668, 679 },
        { 370, 679, 682 },
        { 368, 370, 682 }
    ],
    [
        { 303, 373, 376 },
        { 291, 373, 376 },
        { 291, 303, 373 },
        { 291, 303, 376 }
    ],
    [
        { 303, 375, 376 },
        { 375, 376, 679 },
        { 303, 375, 679 },
        { 303, 376, 679 }
    ],
    [
        { 398, 667, 679 },
        { 398, 679, 683 },
        { 398, 667, 683 },
        { 667, 679, 683 }
    ],
    [
        { 376, 379, 398 },
        { 379, 398, 679 },
        { 376, 398, 679 },
        { 376, 379, 679 }
    ],
    [
        { 382, 386, 667 },
        { 382, 385, 667 },
        { 382, 385, 386 },
        { 385, 386, 667 }
    ],
    [
        { 361, 382, 384 },
        { 382, 384, 386 },
        { 361, 384, 386 },
        { 361, 382, 386 }
    ],
    [
        { 67, 388, 667 },
        { 67, 386, 388 },
        { 386, 388, 667 },
        { 67, 386, 667 }
    ],
    [
        { 67, 389, 392 },
        { 67, 386, 392 },
        { 386, 389, 392 },
        { 67, 386, 389 }
    ],
    [
        { 67, 392, 394 },
        { 67, 392, 667 },
        { 392, 394, 667 },
        { 67, 394, 667 }
    ],
    [
        { 398, 401, 403 },
        { 398, 403, 667 },
        { 398, 401, 667 },
        { 401, 403, 667 }
    ],
    [
        { 376, 398, 401 },
        { 396, 398, 401 },
        { 376, 396, 398 },
        { 376, 396, 401 }
    ],
    [
        { 441, 763, 764 },
        { 667, 763, 764 },
        { 441, 667, 764 },
        { 441, 667, 763 }
    ],
    [
        { 400, 667, 684 },
        { 71, 400, 684 },
        { 71, 667, 684 },
        { 71, 400, 667 }
    ],
    [
        { 401, 404, 667 },
        { 71, 401, 404 },
        { 71, 404, 667 },
        { 71, 401, 667 }
    ],
    [
        { 400, 401, 407 },
        { 71, 401, 407 },
        { 71, 400, 407 },
        { 71, 400, 401 }
    ],
    [
        { 400, 764, 765 },
        { 441, 764, 765 },
        { 400, 441, 765 },
        { 400, 441, 764 }
    ],
    [
        { 361, 384, 685 },
        { 384, 386, 685 },
        { 361, 384, 386 },
        { 361, 386, 685 }
    ],
    [
        { 412, 413, 685 },
        { 386, 413, 685 },
        { 386, 412, 413 },
        { 386, 412, 685 }
    ],
    [
        { 412, 413, 688 },
        { 413, 686, 688 },
        { 412, 686, 688 },
        { 412, 413, 686 }
    ],
    [
        { 74, 451, 691 },
        { 74, 689, 691 },
        { 451, 689, 691 },
        { 74, 451, 689 }
    ],
    [
        { 74, 414, 432 },
        { 74, 432, 689 },
        { 414, 432, 689 },
        { 74, 414, 689 }
    ],
    [
        { 74, 75, 432 },
        { 75, 414, 432 },
        { 74, 75, 414 },
        { 74, 414, 432 }
    ],
    [
        { 75, 419, 421 },
        { 79, 419, 421 },
        { 75, 79, 421 },
        { 75, 79, 419 }
    ],
    [
        { 75, 418, 419 },
        { 418, 419, 432 },
        { 75, 419, 432 },
        { 75, 418, 432 }
    ],
    [
        { 419, 431, 432 },
        { 422, 423, 431, 432 },
        { 419, 422, 432 },
        { 419, 423, 431 },
        { 419, 422, 423 }
    ],
    [
        { 79, 419, 435 },
        { 419, 422, 435 },
        { 79, 422, 435 },
        { 79, 419, 422 }
    ],
    [
        { 78, 79, 422 },
        { 78, 79, 437 },
        { 79, 422, 437 },
        { 78, 422, 437 }
    ],
    [
        { 78, 412, 688 },
        { 78, 686, 688 },
        { 412, 686, 688 },
        { 78, 412, 686 }
    ],
    [
        { 78, 422, 437 },
        { 78, 422, 686 },
        { 78, 437, 686 },
        { 422, 437, 686 }
    ],
    [
        { 697, 699, 766 },
        { 696, 697, 766 },
        { 696, 699, 766 },
        { 696, 697, 699 }
    ],
    [
        { 443, 696, 697 },
        { 441, 443, 697 },
        { 441, 443, 696 },
        { 441, 696, 697 }
    ],
    [
        { 447, 696, 699 },
        { 445, 447, 699 },
        { 445, 447, 696 },
        { 445, 696, 699 }
    ],
    [
        { 483, 702, 704 },
        { 701, 702, 704 },
        { 483, 701, 704 },
        { 483, 701, 702 }
    ],
    [
        { 445, 705, 707, 708, 709, 710 },
        { 445, 701, 705, 767 },
        { 445, 701, 708 },
        { 701, 708, 709, 768 },
        { 705, 710, 767 },
        { 707, 710, 767, 768 },
        { 701, 767, 768 },
        { 707, 709, 768 }
    ],
    [
        { 452, 689, 769 },
        { 452, 701, 769 },
        { 452, 689, 701 },
        { 689, 701, 769 }
    ],
    [
        { 451, 452, 702 },
        { 452, 701, 702 },
        { 451, 452, 701 },
        { 451, 701, 702 }
    ],
    [
        { 451, 452, 691 },
        { 452, 689, 691 },
        { 451, 689, 691 },
        { 451, 452, 689 }
    ],
    [
        { 356, 361, 455 },
        { 258, 361, 455 },
        { 258, 356, 455 },
        { 258, 356, 361 }
    ],
    [
        { 361, 412, 455 },
        { 82, 361, 455 },
        { 82, 412, 455 },
        { 82, 361, 412 }
    ],
    [
        { 88, 455, 714 },
        { 82, 88, 455 },
        { 82, 88, 714 },
        { 82, 455, 714 }
    ],
    [
        { 90, 412, 457 },
        { 82, 90, 457 },
        { 82, 412, 457 },
        { 82, 90, 412 }
    ],
    [
        { 89, 457, 714 },
        { 82, 457, 714 },
        { 82, 89, 457 },
        { 82, 89, 714 }
    ],
    [
        { 457, 461, 470 },
        { 461, 470, 714 },
        { 457, 470, 714 },
        { 457, 461, 714 }
    ],
    [
        { 457, 466, 470 },
        { 463, 466, 470 },
        { 457, 463, 466 },
        { 457, 463, 470 }
    ],
    [
        { 470, 474, 714 },
        { 93, 96, 474, 714 },
        { 93, 470, 714 },
        { 96, 470, 474 },
        { 93, 96, 470 }
    ],
    [
        { 463, 470, 477 },
        { 93, 470, 477 },
        { 93, 463, 477 },
        { 93, 463, 470 }
    ],
    [
        { 98, 451, 463 },
        { 98, 102, 463 },
        { 102, 451, 463 },
        { 98, 102, 451 }
    ],
    [
        { 93, 97, 463 },
        { 93, 102, 463 },
        { 97, 102, 463 },
        { 93, 97, 102 }
    ],
    [
        { 482, 483, 486 },
        { 483, 486, 718 },
        { 482, 486, 718 },
        { 482, 483, 718 }
    ],
    [
        { 486, 720, 722, 723 },
        { 486, 718, 723 },
        { 718, 720, 723 },
        { 486, 718, 722 },
        { 718, 720, 722 }
    ],
    [
        { 451, 483, 486 },
        { 102, 483, 486 },
        { 102, 451, 486 },
        { 102, 451, 483 }
    ],
    [
        { 93, 108, 486 },
        { 102, 108, 486 },
        { 93, 102, 108 },
        { 93, 102, 486 }
    ],
    [
        { 112, 117, 118 },
        { 112, 113, 118 },
        { 112, 113, 117 },
        { 113, 117, 118 }
    ],
    [
        { 117, 118, 725 },
        { 14, 118, 725 },
        { 14, 117, 725 },
        { 14, 117, 118 }
    ],
    [
        { 14, 133, 493 },
        { 123, 133, 493 },
        { 14, 123, 133 },
        { 14, 123, 493 }
    ],
    [
        { 14, 117, 124 },
        { 117, 123, 124 },
        { 14, 123, 124 },
        { 14, 117, 123 }
    ],
    [
        { 117, 489, 493 },
        { 117, 123, 489 },
        { 117, 123, 493 },
        { 123, 489, 493 }
    ],
    [
        { 493, 494, 732 },
        { 31, 494, 732 },
        { 31, 493, 494 },
        { 31, 493, 732 }
    ],
    [
        { 117, 494, 728 },
        { 493, 494, 728 },
        { 117, 493, 728 },
        { 117, 493, 494 }
    ],
    [
        { 127, 497, 498 },
        { 127, 498, 718 },
        { 497, 498, 718 },
        { 127, 497, 718 }
    ],
    [
        { 31, 127, 730 },
        { 127, 718, 730 },
        { 31, 718, 730 },
        { 31, 127, 718 }
    ],
    [
        { 31, 127, 502 },
        { 127, 497, 502 },
        { 31, 497, 502 },
        { 31, 127, 497 }
    ],
    [
        { 497, 718, 731 },
        { 113, 497, 731 },
        { 113, 718, 731 },
        { 113, 497, 718 }
    ],
    [
        { 31, 494, 732 },
        { 494, 497, 732 },
        { 31, 494, 497 },
        { 31, 497, 732 }
    ],
    [
        { 31, 493, 732 },
        { 493, 506, 732 },
        { 31, 506, 732 },
        { 31, 493, 506 }
    ],
    [
        { 132, 493, 506 },
        { 14, 132, 493 },
        { 14, 132, 506 },
        { 14, 493, 506 }
    ],
    [
        { 132, 506, 737 },
        { 132, 737, 770 },
        { 506, 737, 770 },
        { 132, 506, 770 }
    ],
    [
        { 31, 509, 510 },
        { 506, 509, 510 },
        { 31, 506, 510 },
        { 31, 506, 509 }
    ],
    [
        { 202, 733, 737 },
        { 202, 561, 737 },
        { 561, 733, 737 },
        { 202, 561, 733 }
    ],
    [
        { 513, 514, 561 },
        { 31, 513, 514 },
        { 31, 514, 561 },
        { 31, 513, 561 }
    ],
    [
        { 513, 734, 735 },
        { 561, 734, 735, 737 },
        { 513, 561, 734 },
        { 513, 735, 737 },
        { 513, 561, 737 }
    ],
    [
        { 136, 160, 517 },
        { 136, 517, 750 },
        { 160, 517, 750 },
        { 136, 160, 750 }
    ],
    [
        { 136, 517, 519 },
        { 136, 137, 517 },
        { 137, 517, 519 },
        { 136, 137, 519 }
    ],
    [
        { 5, 141, 519 },
        { 141, 519, 522 },
        { 5, 141, 522 },
        { 5, 519, 522 }
    ],
    [
        { 5, 136, 523 },
        { 136, 522, 523 },
        { 5, 522, 523 },
        { 5, 136, 522 }
    ],
    [
        { 136, 519, 527 },
        { 136, 522, 527 },
        { 519, 522, 527 },
        { 136, 519, 522 }
    ],
    [
        { 147, 529, 739 },
        { 528, 529, 739 },
        { 147, 528, 739 },
        { 147, 528, 529 }
    ],
    [
        { 147, 530, 739 },
        { 519, 530, 739 },
        { 147, 519, 739 },
        { 147, 519, 530 }
    ],
    [
        { 9, 141, 519 },
        { 5, 9, 141 },
        { 5, 141, 519 },
        { 5, 9, 519 }
    ],
    [
        { 9, 147, 740 },
        { 147, 519, 740 },
        { 9, 519, 740 },
        { 9, 147, 519 }
    ],
    [
        { 18, 158, 528 },
        { 14, 18, 158 },
        { 14, 158, 528 },
        { 14, 18, 528 }
    ],
    [
        { 18, 147, 534 },
        { 147, 528, 534 },
        { 18, 528, 534 },
        { 18, 147, 528 }
    ],
    [
        { 536, 747, 749 },
        { 536, 746, 749 },
        { 536, 746, 747 },
        { 746, 747, 749 }
    ],
    [
        { 519, 528, 742, 774 },
        { 519, 528, 743, 771, 772, 773 },
        { 742, 743, 771, 775 },
        { 519, 742, 743 },
        { 772, 773, 774, 775 },
        { 528, 773, 774 },
        { 771, 772, 775 },
        { 742, 774, 775 }
    ],
    [
        { 160, 517, 535 },
        { 517, 535, 750 },
        { 160, 517, 750 },
        { 160, 535, 750 }
    ],
    [
        { 517, 535, 743 },
        { 517, 519, 743 },
        { 519, 535, 743 },
        { 517, 519, 535 }
    ],
    [
        { 748, 749, 776 },
        { 746, 749, 776 },
        { 746, 748, 776 },
        { 746, 748, 749 }
    ],
    [
        { 749, 776, 777 },
        { 535, 776, 777 },
        { 535, 749, 777 },
        { 535, 749, 776 }
    ],
    [
        { 161, 535, 776 },
        { 161, 750, 776 },
        { 535, 750, 776 },
        { 161, 535, 750 }
    ],
    [
        { 173, 536, 747 },
        { 173, 536, 746 },
        { 536, 746, 747 },
        { 173, 746, 747 }
    ],
    [
        { 173, 528, 536 },
        { 164, 173, 536 },
        { 164, 528, 536 },
        { 164, 173, 528 }
    ],
    [
        { 14, 158, 528 },
        { 158, 528, 540 },
        { 14, 158, 540 },
        { 14, 528, 540 }
    ],
    [
        { 14, 173, 541 },
        { 173, 540, 541 },
        { 14, 540, 541 },
        { 14, 173, 540 }
    ],
    [
        { 173, 528, 545 },
        { 173, 540, 545 },
        { 528, 540, 545 },
        { 173, 528, 540 }
    ],
    [
        { 178, 183, 184 },
        { 178, 179, 184 },
        { 178, 179, 183 },
        { 179, 183, 184 }
    ],
    [
        { 183, 184, 752 },
        { 5, 184, 752 },
        { 5, 183, 752 },
        { 5, 183, 184 }
    ],
    [
        { 189, 196, 546 },
        { 189, 258, 546 },
        { 196, 258, 546 },
        { 189, 196, 258 }
    ],
    [
        { 31, 189, 547 },
        { 189, 258, 547 },
        { 31, 258, 547 },
        { 31, 189, 258 }
    ],
    [
        { 31, 189, 553 },
        { 189, 196, 553 },
        { 31, 196, 553 },
        { 31, 189, 196 }
    ],
    [
        { 196, 258, 556 },
        { 179, 196, 556 },
        { 179, 258, 556 },
        { 179, 196, 258 }
    ],
    [
        { 183, 193, 196 },
        { 179, 183, 193 },
        { 179, 183, 196 },
        { 179, 193, 196 }
    ],
    [
        { 27, 31, 564 },
        { 27, 196, 564 },
        { 27, 31, 196 },
        { 31, 196, 564 }
    ],
    [
        { 27, 183, 196 },
        { 24, 27, 193, 196 },
        { 183, 193, 196 },
        { 24, 183, 193 },
        { 24, 27, 183 }
    ],
    [
        { 200, 202, 561 },
        { 5, 200, 202 },
        { 5, 202, 561 },
        { 5, 200, 561 }
    ],
    [
        { 200, 561, 564 },
        { 31, 200, 564 },
        { 31, 561, 564 },
        { 31, 200, 561 }
    ],
    [
        { 5, 200, 201 },
        { 200, 201, 205 },
        { 5, 201, 205 },
        { 5, 200, 205 }
    ],
    [
        { 5, 183, 206 },
        { 183, 205, 206 },
        { 5, 205, 206 },
        { 5, 183, 205 }
    ],
    [
        { 183, 200, 566 },
        { 183, 205, 566 },
        { 183, 200, 205 },
        { 200, 205, 566 }
    ],
    [
        { 27, 200, 564 },
        { 27, 31, 564 },
        { 27, 31, 200 },
        { 31, 200, 564 }
    ],
    [
        { 27, 183, 570 },
        { 27, 200, 570 },
        { 183, 200, 570 },
        { 27, 183, 200 }
    ],
    [
        { 216, 571, 591 },
        { 179, 216, 571 },
        { 179, 216, 591 },
        { 179, 571, 591 }
    ],
    [
        { 216, 246, 258 },
        { 179, 216, 246 },
        { 179, 246, 258 },
        { 179, 216, 258 }
    ],
    [
        { 184, 574, 591 },
        { 179, 184, 591 },
        { 179, 184, 574 },
        { 179, 574, 591 }
    ],
    [
        { 223, 578, 579 },
        { 578, 579, 591 },
        { 223, 578, 591 },
        { 223, 579, 591 }
    ],
    [
        { 223, 227, 591 },
        { 223, 227, 583 },
        { 223, 583, 591 },
        { 227, 583, 591 }
    ],
    [
        { 223, 227, 299 },
        { 223, 291, 299 },
        { 227, 291, 299 },
        { 223, 227, 291 }
    ],
    [
        { 234, 588, 590 },
        { 234, 586, 590 },
        { 586, 588, 590 },
        { 234, 586, 588 }
    ],
    [
        { 232, 234, 588 },
        { 234, 588, 591 },
        { 232, 234, 591 },
        { 232, 588, 591 }
    ],
    [
        { 588, 596, 756 },
        { 586, 596, 756 },
        { 586, 588, 596 },
        { 586, 588, 756 }
    ],
    [
        { 588, 600, 756 },
        { 600, 606, 756 },
        { 588, 600, 606 },
        { 588, 606, 756 }
    ],
    [
        { 238, 242, 588 },
        { 242, 588, 591 },
        { 238, 242, 591 },
        { 238, 588, 591 }
    ],
    [
        { 588, 604, 606 },
        { 238, 588, 604 },
        { 238, 604, 606 },
        { 238, 588, 606 }
    ],
    [
        { 216, 248, 258 },
        { 216, 244, 248 },
        { 216, 244, 258 },
        { 244, 248, 258 }
    ],
    [
        { 216, 238, 248 },
        { 216, 238, 591 },
        { 216, 248, 591 },
        { 238, 248, 591 }
    ],
    [
        { 238, 604, 606 },
        { 248, 604, 606 },
        { 238, 248, 604 },
        { 238, 248, 606 }
    ],
    [
        { 248, 261, 265 },
        { 258, 261, 265 },
        { 248, 258, 265 },
        { 248, 258, 261 }
    ],
    [
        { 265, 606, 612 },
        { 258, 265, 606 },
        { 258, 265, 612 },
        { 258, 606, 612 }
    ],
    [
        { 265, 606, 614 },
        { 248, 265, 614 },
        { 248, 265, 606 },
        { 248, 606, 614 }
    ],
    [
        { 234, 273, 590 },
        { 234, 586, 590 },
        { 273, 586, 590 },
        { 234, 273, 586 }
    ],
    [
        { 273, 285, 618 },
        { 273, 285, 586 },
        { 285, 586, 618 },
        { 273, 586, 618 }
    ],
    [
        { 285, 291, 622 },
        { 285, 586, 622 },
        { 291, 586, 622 },
        { 285, 291, 586 }
    ],
    [
        { 281, 285, 291 },
        { 273, 281, 285 },
        { 273, 285, 291 },
        { 273, 281, 291 }
    ],
    [
        { 227, 234, 273 },
        { 227, 234, 591 },
        { 234, 273, 591 },
        { 227, 273, 591 }
    ],
    [
        { 227, 290, 291 },
        { 227, 273, 290 },
        { 273, 290, 291 },
        { 227, 273, 291 }
    ],
    [
        { 291, 622, 635 },
        { 291, 586, 622 },
        { 291, 586, 629, 635 },
        { 622, 629, 635 },
        { 586, 622, 629 }
    ],
    [
        { 291, 303, 679 },
        { 291, 303, 635 },
        { 291, 635, 679, 778 },
        { 303, 635, 778 },
        { 303, 679, 778 }
    ],
    [
        { 54, 638, 639, 758 },
        { 54, 309, 313, 758 },
        { 313, 639, 758 },
        { 309, 313, 638, 639 },
        { 54, 309, 638 }
    ],
    [
        { 54, 339, 640 },
        { 54, 319, 640 },
        { 54, 319, 339 },
        { 319, 339, 640 }
    ],
    [
        { 319, 640, 642 },
        { 316, 640, 642 },
        { 316, 319, 642 },
        { 316, 319, 640 }
    ],
    [
        { 48, 316, 445, 642 },
        { 48, 445, 761 },
        { 48, 316, 760, 761 },
        { 445, 642, 760, 761 },
        { 316, 642, 760 }
    ],
    [
        { 319, 322, 644 },
        { 48, 316, 319, 322 },
        { 316, 319, 644 },
        { 48, 316, 644 },
        { 48, 322, 644 }
    ],
    [
        { 50, 647, 762 },
        { 50, 445, 762 },
        { 445, 647, 762 },
        { 50, 445, 647 }
    ],
    [
        { 48, 322, 647 },
        { 48, 322, 445 },
        { 48, 445, 647 },
        { 322, 445, 647 }
    ],
    [
        { 50, 322, 334 },
        { 322, 334, 647 },
        { 50, 322, 647 },
        { 50, 334, 647 }
    ],
    [
        { 50, 322, 657 },
        { 322, 338, 657 },
        { 50, 338, 657 },
        { 50, 322, 338 }
    ],
    [
        { 319, 322, 779 },
        { 319, 351, 779 },
        { 319, 322, 351, 657 },
        { 351, 657, 779 },
        { 322, 657, 779 }
    ],
    [
        { 54, 341, 351 },
        { 54, 319, 341 },
        { 319, 341, 351 },
        { 54, 319, 351 }
    ],
    [
        { 54, 351, 352 },
        { 50, 54, 349, 352 },
        { 50, 54, 351, 657 },
        { 349, 351, 352, 657 },
        { 50, 349, 657 }
    ],
    [
        { 357, 361, 668 },
        { 258, 357, 361 },
        { 258, 357, 668 },
        { 258, 361, 668 }
    ],
    [
        { 361, 382, 668 },
        { 361, 382, 667 },
        { 382, 667, 668 },
        { 361, 667, 668 }
    ],
    [
        { 667, 676, 677 },
        { 58, 62, 676, 677 },
        { 62, 667, 676 },
        { 58, 62, 667 },
        { 58, 667, 677 }
    ],
    [
        { 58, 668, 677 },
        { 58, 667, 677 },
        { 58, 667, 668 },
        { 667, 668, 677 }
    ],
    [
        { 667, 676, 679 },
        { 62, 676, 679 },
        { 62, 667, 676 },
        { 62, 667, 679 }
    ],
    [
        { 668, 679, 682 },
        { 62, 679, 682 },
        { 58, 62, 668, 679 },
        { 58, 62, 682 },
        { 58, 668, 682 }
    ],
    [
        { 303, 376, 679 },
        { 291, 303, 376 },
        { 291, 376, 679 },
        { 291, 303, 679 }
    ],
    [
        { 376, 398, 679 },
        { 376, 398, 667 },
        { 398, 667, 679 },
        { 376, 667, 679 }
    ],
    [
        { 361, 382, 667 },
        { 361, 382, 386 },
        { 382, 386, 667 },
        { 361, 386, 667 }
    ],
    [
        { 67, 392, 667 },
        { 67, 386, 392 },
        { 386, 392, 667 },
        { 67, 386, 667 }
    ],
    [
        { 392, 441, 763 },
        { 392, 667, 763 },
        { 392, 441, 667 },
        { 441, 667, 763 }
    ],
    [
        { 376, 398, 401 },
        { 398, 401, 667 },
        { 376, 398, 667 },
        { 376, 401, 667 }
    ],
    [
        { 400, 441, 764 },
        { 400, 667, 764 },
        { 441, 667, 764 },
        { 400, 441, 667 }
    ],
    [
        { 400, 401, 667 },
        { 71, 400, 401 },
        { 71, 401, 667 },
        { 71, 400, 667 }
    ],
    [
        { 400, 401, 780 },
        { 401, 441, 765, 780 },
        { 400, 401, 441 },
        { 400, 441, 765 },
        { 400, 765, 780 }
    ],
    [
        { 361, 412, 685 },
        { 361, 386, 685 },
        { 386, 412, 685 },
        { 361, 386, 412 }
    ],
    [
        { 412, 413, 686 },
        { 386, 412, 413 },
        { 386, 413, 686 },
        { 386, 412, 686 }
    ],
    [
        { 74, 432, 451 },
        { 74, 432, 689 },
        { 432, 451, 689 },
        { 74, 451, 689 }
    ],
    [
        { 74, 75, 432 },
        { 75, 432, 451 },
        { 74, 75, 451 },
        { 74, 432, 451 }
    ],
    [
        { 79, 419, 422 },
        { 419, 422, 432 },
        { 75, 79, 422, 432 },
        { 75, 419, 432 },
        { 75, 79, 419 }
    ],
    [
        { 78, 79, 422 },
        { 78, 79, 412 },
        { 79, 412, 422 },
        { 78, 412, 422 }
    ],
    [
        { 78, 412, 422 },
        { 78, 422, 686 },
        { 78, 412, 686 },
        { 412, 422, 686 }
    ],
    [
        { 445, 696, 699 },
        { 441, 445, 697, 699 },
        { 441, 445, 696 },
        { 441, 696, 697 },
        { 696, 697, 699 }
    ],
    [
        { 451, 483, 702 },
        { 483, 701, 702 },
        { 451, 701, 702 },
        { 451, 483, 701 }
    ],
    [
        { 445, 689, 708 },
        { 445, 701, 708 },
        { 689, 701, 708 },
        { 445, 689, 701 }
    ],
    [
        { 451, 452, 689 },
        { 451, 452, 701 },
        { 452, 689, 701 },
        { 451, 689, 701 }
    ],
    [
        { 361, 412, 455 },
        { 258, 361, 455 },
        { 258, 412, 455 },
        { 258, 361, 412 }
    ],
    [
        { 412, 455, 714 },
        { 82, 455, 714 },
        { 82, 412, 455 },
        { 82, 412, 714 }
    ],
    [
        { 412, 457, 714 },
        { 82, 457, 714 },
        { 82, 412, 457 },
        { 82, 412, 714 }
    ],
    [
        { 93, 463, 470 },
        { 93, 470, 714 },
        { 93, 457, 463, 714 },
        { 457, 463, 470 },
        { 457, 470, 714 }
    ],
    [
        { 451, 463, 781 },
        { 412, 451, 781 },
        { 412, 451, 457, 463 },
        { 412, 457, 781 },
        { 457, 463, 781 }
    ],
    [
        { 93, 451, 463 },
        { 93, 102, 463 },
        { 102, 451, 463 },
        { 93, 102, 451 }
    ],
    [
        { 451, 483, 486 },
        { 483, 486, 718 },
        { 451, 486, 718 },
        { 451, 483, 718 }
    ],
    [
        { 93, 486, 723, 782 },
        { 93, 486, 718 },
        { 93, 718, 782 },
        { 718, 723, 782 },
        { 486, 718, 723 }
    ],
    [
        { 93, 451, 486 },
        { 93, 102, 486 },
        { 102, 451, 486 },
        { 93, 102, 451 }
    ],
    [
        { 14, 117, 118 },
        { 113, 117, 118 },
        { 14, 113, 118 },
        { 14, 113, 117 }
    ],
    [
        { 14, 117, 493 },
        { 117, 123, 493 },
        { 14, 117, 123 },
        { 14, 123, 493 }
    ],
    [
        { 117, 493, 494 },
        { 31, 117, 494 },
        { 31, 493, 494 },
        { 31, 117, 493 }
    ],
    [
        { 31, 127, 497 },
        { 31, 127, 718 },
        { 127, 497, 718 },
        { 31, 497, 718 }
    ],
    [
        { 117, 497, 718 },
        { 113, 117, 497 },
        { 113, 117, 718 },
        { 113, 497, 718 }
    ],
    [
        { 31, 117, 494 },
        { 117, 494, 497 },
        { 31, 494, 497 },
        { 31, 117, 497 }
    ],
    [
        { 31, 493, 506 },
        { 14, 31, 493 },
        { 14, 493, 506 },
        { 14, 31, 506 }
    ],
    [
        { 132, 506, 737 },
        { 14, 132, 737 },
        { 14, 506, 737 },
        { 14, 132, 506 }
    ],
    [
        { 31, 509, 737 },
        { 506, 509, 737 },
        { 31, 506, 737 },
        { 31, 506, 509 }
    ],
    [
        { 202, 561, 737 },
        { 5, 202, 737 },
        { 5, 561, 737 },
        { 5, 202, 561 }
    ],
    [
        { 513, 561, 737 },
        { 31, 513, 737 },
        { 31, 561, 737 },
        { 31, 513, 561 }
    ],
    [
        { 136, 517, 519 },
        { 136, 517, 750 },
        { 517, 519, 750 },
        { 136, 519, 750 }
    ],
    [
        { 5, 136, 519 },
        { 136, 519, 522 },
        { 5, 136, 522 },
        { 5, 519, 522 }
    ],
    [
        { 147, 519, 739 },
        { 147, 528, 739 },
        { 519, 528, 739 },
        { 147, 519, 528 }
    ],
    [
        { 9, 147, 519 },
        { 5, 9, 147 },
        { 5, 147, 519 },
        { 5, 9, 519 }
    ],
    [
        { 18, 147, 528 },
        { 14, 18, 147 },
        { 14, 147, 528 },
        { 14, 18, 528 }
    ],
    [
        { 528, 536, 749 },
        { 536, 746, 749 },
        { 528, 536, 746 },
        { 528, 746, 749 }
    ],
    [
        { 519, 528, 743, 771, 772, 773 },
        { 519, 528, 535, 749 },
        { 528, 749, 773 },
        { 749, 772, 773, 783 },
        { 519, 535, 743 },
        { 535, 743, 771, 783 },
        { 535, 749, 783 },
        { 771, 772, 783 }
    ],
    [
        { 517, 519, 535 },
        { 517, 535, 750 },
        { 517, 519, 750 },
        { 519, 535, 750 }
    ],
    [
        { 535, 750, 776 },
        { 746, 750, 776 },
        { 535, 746, 749, 750 },
        { 535, 749, 776 },
        { 746, 749, 776 }
    ],
    [
        { 173, 528, 536 },
        { 173, 536, 746 },
        { 528, 536, 746 },
        { 173, 528, 746 }
    ],
    [
        { 14, 173, 528 },
        { 173, 528, 540 },
        { 14, 173, 540 },
        { 14, 528, 540 }
    ],
    [
        { 5, 183, 184 },
        { 179, 183, 184 },
        { 5, 179, 184 },
        { 5, 179, 183 }
    ],
    [
        { 31, 189, 196 },
        { 31, 189, 258 },
        { 189, 196, 258 },
        { 31, 196, 258 }
    ],
    [
        { 183, 196, 258 },
        { 179, 183, 196 },
        { 179, 183, 258 },
        { 179, 196, 258 }
    ],
    [
        { 27, 31, 183 },
        { 27, 183, 196 },
        { 27, 31, 196 },
        { 31, 183, 196 }
    ],
    [
        { 31, 200, 561 },
        { 5, 200, 561 },
        { 5, 31, 200 },
        { 5, 31, 561 }
    ],
    [
        { 5, 183, 200 },
        { 183, 200, 205 },
        { 5, 183, 205 },
        { 5, 200, 205 }
    ],
    [
        { 27, 183, 200 },
        { 27, 31, 183 },
        { 27, 31, 200 },
        { 31, 183, 200 }
    ],
    [
        { 216, 258, 591 },
        { 179, 216, 258 },
        { 179, 216, 591 },
        { 179, 258, 591 }
    ],
    [
        { 5, 184, 591 },
        { 5, 179, 184 },
        { 179, 184, 591 },
        { 5, 179, 591 }
    ],
    [
        { 223, 579, 591 },
        { 223, 579, 784 },
        { 579, 591, 784 },
        { 223, 591, 784 }
    ],
    [
        { 223, 227, 291 },
        { 223, 227, 591 },
        { 223, 291, 591 },
        { 227, 291, 591 }
    ],
    [
        { 234, 588, 591 },
        { 234, 586, 588 },
        { 234, 586, 591 },
        { 586, 588, 591 }
    ],
    [
        { 588, 606, 756 },
        { 586, 588, 756 },
        { 586, 606, 756 },
        { 586, 588, 606 }
    ],
    [
        { 238, 588, 606 },
        { 588, 591, 606 },
        { 238, 588, 591 },
        { 238, 591, 606 }
    ],
    [
        { 216, 248, 258 },
        { 216, 248, 591 },
        { 216, 258, 591 },
        { 248, 258, 591 }
    ],
    [
        { 238, 248, 606 },
        { 238, 591, 606 },
        { 248, 591, 606 },
        { 238, 248, 591 }
    ],
    [
        { 248, 265, 606 },
        { 258, 265, 606 },
        { 248, 258, 265 },
        { 248, 258, 606 }
    ],
    [
        { 234, 273, 591 },
        { 234, 273, 586 },
        { 234, 586, 591 },
        { 273, 586, 591 }
    ],
    [
        { 273, 285, 291 },
        { 285, 291, 586 },
        { 273, 285, 586 },
        { 273, 291, 586 }
    ],
    [
        { 227, 273, 291 },
        { 227, 291, 591 },
        { 227, 273, 591 },
        { 273, 291, 591 }
    ],
    [
        { 291, 635, 679, 778 },
        { 291, 586, 679 },
        { 291, 586, 629, 635 },
        { 586, 629, 679, 778 },
        { 629, 635, 778 }
    ],
    [
        { 54, 638, 639, 758 },
        { 639, 758, 785, 786 },
        { 54, 758, 785 },
        { 54, 638, 785, 786 },
        { 638, 639, 786 }
    ],
    [
        { 54, 640, 642 },
        { 54, 319, 642 },
        { 319, 640, 642 },
        { 54, 319, 640 }
    ],
    [
        { 319, 322, 445, 642 },
        { 48, 316, 319, 322 },
        { 48, 316, 445, 642 },
        { 48, 322, 445 },
        { 316, 319, 642 }
    ],
    [
        { 50, 322, 647 },
        { 50, 322, 445 },
        { 322, 445, 647 },
        { 50, 445, 647 }
    ],
    [
        { 50, 54, 351, 657 },
        { 54, 319, 351 },
        { 50, 54, 319, 322 },
        { 319, 322, 351, 657 },
        { 50, 322, 657 }
    ],
    [
        { 361, 667, 668 },
        { 258, 361, 668 },
        { 258, 361, 667 },
        { 258, 667, 668 }
    ],
    [
        { 667, 668, 679 },
        { 58, 62, 668, 679 },
        { 62, 667, 679 },
        { 58, 667, 668 },
        { 58, 62, 667 }
    ],
    [
        { 376, 667, 679 },
        { 291, 376, 679 },
        { 291, 376, 667 },
        { 291, 667, 679 }
    ],
    [
        { 258, 361, 667 },
        { 361, 386, 667 },
        { 258, 361, 386 },
        { 258, 386, 667 }
    ],
    [
        { 392, 441, 667 },
        { 386, 392, 441 },
        { 386, 392, 667 },
        { 386, 441, 667 }
    ],
    [
        { 376, 401, 667 },
        { 291, 376, 401 },
        { 291, 401, 667 },
        { 291, 376, 667 }
    ],
    [
        { 400, 401, 441 },
        { 400, 401, 667 },
        { 401, 441, 667 },
        { 400, 441, 667 }
    ],
    [
        { 258, 361, 412 },
        { 361, 386, 412 },
        { 258, 361, 386 },
        { 258, 386, 412 }
    ],
    [
        { 412, 441, 686 },
        { 386, 412, 686 },
        { 386, 412, 441 },
        { 386, 441, 686 }
    ],
    [
        { 432, 445, 451 },
        { 432, 451, 689 },
        { 432, 445, 689 },
        { 445, 451, 689 }
    ],
    [
        { 79, 412, 422 },
        { 75, 79, 412, 451 },
        { 412, 422, 432, 451 },
        { 75, 79, 422, 432 },
        { 75, 432, 451 }
    ],
    [
        { 412, 422, 686 },
        { 412, 422, 441 },
        { 422, 441, 686 },
        { 412, 441, 686 }
    ],
    [
        { 422, 441, 696 },
        { 422, 432, 441, 445 },
        { 441, 445, 696 },
        { 422, 432, 696 },
        { 432, 445, 696 }
    ],
    [
        { 451, 483, 701 },
        { 451, 483, 718 },
        { 483, 701, 718 },
        { 451, 701, 718 }
    ],
    [
        { 445, 451, 689 },
        { 445, 451, 701 },
        { 451, 689, 701 },
        { 445, 689, 701 }
    ],
    [
        { 412, 455, 714 },
        { 258, 455, 714 },
        { 258, 412, 455 },
        { 258, 412, 714 }
    ],
    [
        { 93, 451, 463 },
        { 412, 451, 457, 463 },
        { 93, 412, 451, 714 },
        { 93, 457, 463, 714 },
        { 412, 457, 714 }
    ],
    [
        { 93, 718, 782 },
        { 258, 718, 782, 787 },
        { 93, 258, 714, 718 },
        { 93, 714, 782, 787 },
        { 258, 714, 787 }
    ],
    [
        { 93, 451, 486 },
        { 93, 486, 718 },
        { 451, 486, 718 },
        { 93, 451, 718 }
    ],
    [
        { 14, 117, 718 },
        { 113, 117, 718 },
        { 14, 113, 117 },
        { 14, 113, 718 }
    ],
    [
        { 31, 117, 493 },
        { 14, 117, 493 },
        { 14, 31, 117 },
        { 14, 31, 493 }
    ],
    [
        { 31, 117, 497 },
        { 31, 117, 718 },
        { 117, 497, 718 },
        { 31, 497, 718 }
    ],
    [
        { 31, 506, 737 },
        { 14, 31, 737 },
        { 14, 506, 737 },
        { 14, 31, 506 }
    ],
    [
        { 31, 561, 737 },
        { 5, 561, 737 },
        { 5, 31, 737 },
        { 5, 31, 561 }
    ],
    [
        { 5, 136, 519 },
        { 136, 519, 750 },
        { 5, 136, 750 },
        { 5, 519, 750 }
    ],
    [
        { 14, 147, 528 },
        { 5, 14, 147 },
        { 5, 14, 519, 528 },
        { 5, 147, 519 },
        { 147, 519, 528 }
    ],
    [
        { 535, 746, 749, 750 },
        { 519, 528, 746, 750 },
        { 519, 535, 750 },
        { 519, 528, 535, 749 },
        { 528, 746, 749 }
    ],
    [
        { 14, 173, 528 },
        { 173, 528, 746 },
        { 14, 173, 746 },
        { 14, 528, 746 }
    ],
    [
        { 5, 183, 258 },
        { 5, 179, 183 },
        { 179, 183, 258 },
        { 5, 179, 258 }
    ],
    [
        { 31, 183, 196 },
        { 31, 183, 258 },
        { 183, 196, 258 },
        { 31, 196, 258 }
    ],
    [
        { 31, 183, 200 },
        { 5, 183, 200 },
        { 5, 31, 183 },
        { 5, 31, 200 }
    ],
    [
        { 5, 258, 591 },
        { 5, 179, 258 },
        { 5, 179, 591 },
        { 179, 258, 591 }
    ],
    [
        { 223, 291, 591 },
        { 223, 291, 784 },
        { 223, 591, 784 },
        { 291, 591, 784 }
    ],
    [
        { 588, 591, 606 },
        { 586, 588, 606 },
        { 586, 588, 591 },
        { 586, 591, 606 }
    ],
    [
        { 248, 258, 606 },
        { 248, 591, 606 },
        { 258, 591, 606 },
        { 248, 258, 591 }
    ],
    [
        { 273, 291, 591 },
        { 273, 291, 586 },
        { 291, 586, 591 },
        { 273, 586, 591 }
    ],
    [
        { 258, 291, 668, 679 },
        { 291, 586, 679 },
        { 258, 291, 586, 606 },
        { 586, 606, 668, 679 },
        { 258, 606, 668 }
    ],
    [
        { 50, 54, 788 },
        { 50, 54, 785, 792 },
        { 54, 758, 785 },
        { 54, 758, 788, 791 },
        { 50, 788, 789, 790 },
        { 788, 789, 791 },
        { 50, 790, 792 },
        { 790, 792, 793, 795 },
        { 758, 785, 793, 794 },
        { 785, 792, 793 },
        { 789, 791, 794, 795 },
        { 758, 791, 794 },
        { 793, 794, 795 },
        { 789, 790, 795 }
    ],
    [
        { 50, 54, 319, 322 },
        { 50, 54, 445, 642 },
        { 50, 322, 445 },
        { 319, 322, 445, 642 },
        { 54, 319, 642 }
    ],
    [
        { 291, 667, 679 },
        { 258, 291, 668, 679 },
        { 258, 291, 667 },
        { 667, 668, 679 },
        { 258, 667, 668 }
    ],
    [
        { 258, 441, 667 },
        { 386, 441, 667 },
        { 258, 386, 441 },
        { 258, 386, 667 }
    ],
    [
        { 401, 441, 667 },
        { 291, 401, 441 },
        { 291, 401, 667 },
        { 291, 441, 667 }
    ],
    [
        { 258, 412, 441 },
        { 386, 412, 441 },
        { 258, 386, 412 },
        { 258, 386, 441 }
    ],
    [
        { 422, 432, 441, 445 },
        { 412, 441, 445, 451 },
        { 412, 422, 441 },
        { 412, 422, 432, 451 },
        { 432, 445, 451 }
    ],
    [
        { 445, 451, 701 },
        { 445, 451, 718 },
        { 451, 701, 718 },
        { 445, 701, 718 }
    ],
    [
        { 93, 451, 718 },
        { 93, 258, 714, 718 },
        { 258, 412, 451, 718 },
        { 93, 412, 451, 714 },
        { 258, 412, 714 }
    ],
    [
        { 31, 117, 718 },
        { 14, 31, 117 },
        { 14, 117, 718 },
        { 14, 31, 718 }
    ],
    [
        { 5, 31, 737 },
        { 14, 31, 737 },
        { 5, 14, 737 },
        { 5, 14, 31 }
    ],
    [
        { 14, 528, 746 },
        { 519, 528, 746, 750 },
        { 5, 14, 746, 750 },
        { 5, 14, 519, 528 },
        { 5, 519, 750 }
    ],
    [
        { 5, 31, 183 },
        { 31, 183, 258 },
        { 5, 183, 258 },
        { 5, 31, 258 }
    ],
    [
        { 5, 258, 591 },
        { 5, 258, 750 },
        { 5, 591, 750 },
        { 258, 591, 750 }
    ],
    [
        { 291, 591, 784 },
        { 291, 591, 750 },
        { 291, 750, 784 },
        { 591, 750, 784 }
    ],
    [
        { 258, 291, 591 },
        { 258, 291, 586, 606 },
        { 291, 586, 591 },
        { 258, 591, 606 },
        { 586, 591, 606 }
    ],
    [
        { 50, 54, 445, 642 },
        { 50, 441, 445, 788 },
        { 54, 441, 642, 788 },
        { 50, 54, 788 },
        { 441, 445, 642 }
    ],
    [
        { 291, 441, 667 },
        { 258, 441, 667 },
        { 258, 291, 441 },
        { 258, 291, 667 }
    ],
    [
        { 258, 412, 451, 718 },
        { 258, 441, 445, 718 },
        { 445, 451, 718 },
        { 412, 441, 445, 451 },
        { 258, 412, 441 }
    ],
    [
        { 14, 31, 718 },
        { 31, 718, 746 },
        { 14, 31, 746 },
        { 14, 718, 746 }
    ],
    [
        { 14, 31, 746 },
        { 31, 746, 750 },
        { 5, 14, 746, 750 },
        { 5, 14, 31 },
        { 5, 31, 750 }
    ],
    [
        { 5, 31, 258 },
        { 5, 31, 750 },
        { 31, 258, 750 },
        { 5, 258, 750 }
    ],
    [
        { 258, 291, 591 },
        { 258, 291, 750 },
        { 291, 591, 750 },
        { 258, 591, 750 }
    ],
    [
        { 258, 291, 718, 796, 797, 798 },
        { 258, 441, 445, 718 },
        { 291, 441, 642, 797 },
        { 258, 291, 441 },
        { 445, 642, 796, 798 },
        { 445, 718, 798 },
        { 441, 445, 642 },
        { 642, 796, 797 }
    ],
    [
        { 31, 258, 750 },
        { 31, 746, 750 },
        { 258, 718, 746, 750 },
        { 31, 718, 746 },
        { 31, 258, 718 }
    ],
    [
        { 258, 718, 746, 750 },
        { 258, 291, 718, 796, 797, 798 },
        { 291, 750, 797, 799 },
        { 258, 291, 750 },
        { 746, 796, 798, 799 },
        { 718, 746, 798 },
        { 796, 797, 799 },
        { 746, 750, 799 }
    ]
]
/* 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, 3, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 12, 1, 1, 1, 1, 1, 1, 1, 1, 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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 
2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <24, 3>, <2, 1>, <2,
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <6, 2>, <2, 1>, <6, 2> ]