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