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