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