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