/* Defining polynomial */
x^2 - x + 361
/* Minimal vectors */
[
    <-576*w + 1253, 244*w - 10079>,
    <493*w + 1519, -327*w + 7390>,
    <-83*w + 2772, -83*w - 2689>,
    <244*w + 13366, -737*w - 2362>,
    <-166*w + 83, 83*w - 2772>,
    <-332*w + 9158, -244*w - 9835>,
    <493*w + 10511, -737*w + 3099>,
    <-415*w + 11930, -327*w - 12524>,
    <-742*w + 1336, 327*w - 12851>,
    <-166*w + 9075, -327*w - 7063>,
    <-w + 33, -w - 32>,
    <4*w + 108, -7*w + 16>,
    <7*w + 118, -9*w + 61>,
    <6*w + 151, -10*w + 29>,
    <w + 11, -w + 10>,
    <-7*w + 40, 2*w - 128>,
    <-5*w + 85, -w - 119>,
    <2*w + 115, -6*w - 25>,
    <-4*w + 93, -2*w - 108>,
    <-12*w + 120, w - 248>,
    <10*w + 154, -12*w + 85>,
    <-2*w + 274, -11*w - 163>,
    <4*w + 89, -6*w + 21>,
    <12*w + 108, -11*w + 139>,
    <-10*w + 164, -2*w - 237>,
    <2*w + 272, -13*w - 98>,
    <-22*w + 11, 11*w - 355>,
    <7*w + 76, -7*w + 75>,
    <22*w + 148, -18*w + 279>,
    <159, -7*w - 76>,
    <-7*w + 83, -151>,
    <-22*w + 170, 4*w - 431>,
    <4*w + 66, -5*w + 32>,
    <-16*w + 122, 3*w - 313>,
    <-12*w + 188, -2*w - 281>,
    <13*w + 254, -18*w + 85>,
    <2*w + 67, -4*w>,
    <13*w + 141, -13*w + 140>,
    <-w + 193, -8*w - 108>,
    <w + 260, -12*w - 108>,
    <9*w + 7, -5*w + 140>,
    <3*w + 10, -2*w + 43>,
    <12*w + 17, -7*w + 183>,
    <5*w + 213, -12*w - 22>,
    <-7*w + 60, w - 140>,
    <-4*w + 206, -7*w - 162>,
    <-3*w + 13, w - 54>,
    <7*w + 53, -6*w + 86>,
    <4*w + 202, -11*w - 33>,
    <-5*w + 218, -7*w - 184>,
    <6*w + 43, -5*w + 75>,
    <-10*w + 72, 2*w - 193>,
    <3*w + 101, -6*w>,
    <6*w + 134, -9*w + 32>,
    <-4*w + 47, -86>,
    <-11*w + 288, -7*w - 312>,
    <9*w + 302, -18*w>,
    <-18*w + 53, 7*w - 312>,
    <-w + 57, -2*w - 43>,
    <-w + 125, -5*w - 75>,
    <-8*w + 139, -2*w - 193>,
    <3*w + 169, -9*w - 32>,
    <8*w + 41, -6*w + 109>,
    <90, -4*w - 43>,
    <-5*w + 171, -5*w - 162>,
    <3*w + 212, -11*w - 53>,
    <-16*w + 8, 8*w - 261>,
    <3*w + 122, -7*w - 10>,
    <-3*w + 125, -4*w - 108>,
    <247, -11*w - 118>,
    <-8*w + 49, 2*w - 152>,
    <5*w + 166, -10*w + 1>,
    <15*w + 25, -9*w + 229>,
    <-7*w + 240, -7*w - 228>,
    <8*w + 265, -16*w + 1>,
    <-38*w + 404, 2*w - 805>,
    <36*w + 406, -37*w + 383>,
    <-2*w + 810, -35*w - 422>,
    <-6*w + 49, w - 119>,
    <10*w + 62, -8*w + 129>,
    <-3*w + 104, -3*w - 98>,
    <-6*w + 140, -3*w - 163>,
    <4*w + 43, -4*w + 43>,
    <11*w + 277, -18*w + 42>,
    <-9*w + 311, -9*w - 293>,
    <-w + 59, -2*w - 44>,
    <70, -3*w - 34>,
    <-2*w + 165, -6*w - 111>,
    <-26*w + 13, 13*w - 408>,
    <257, -11*w - 123>,
    <13*w + 449, -26*w - 14>,
    <-13*w + 462, -13*w - 422>,
    <-w + 12, -21>,
    <w + 58, -3*w - 12>,
    <70, -3*w - 33>,
    <2*w + 163, -8*w - 46>,
    <-6*w + 3, 3*w - 91>,
    <w + 60, -3*w - 14>,
    <-w + 61, -2*w - 44>,
    <121, -5*w - 58>,
    <24, -w - 11>,
    <-3*w + 36, -62>,
    <-4*w + 48, -83>,
    <3*w + 83, -5*w + 7>,
    <-w + 36, -w - 32>,
    <4*w + 47, -4*w + 39>,
    <3*w + 59, -4*w + 18>,
    <-4*w + 72, -w - 94>,
    <1, -1>,
    <w + 11, -w + 8>,
    <-w + 14, -21>,
    <25, -w - 13>,
    <-2*w + 2, w - 30>,
    <w + 11, -w + 9>,
    <-w + 39, -w - 34>,
    <-3*w + 41, -64>,
    <3*w + 34, -3*w + 27>,
    <-3*w + 40, -64>,
    <-w + 13, -21>,
    <-w + 38, -w - 33>,
    <-3*w + 40, -63>,
    <3*w + 60, -4*w + 14>,
    <-6*w + 3, 3*w - 89>,
    <-2*w + 100, -3*w - 77>,
    <9*w + 107, -9*w + 80>,
    <-5*w + 188, -5*w - 163>,
    <1, 0>,
    <-w + 12, -19>,
    <w + 13, -w + 8>,
    <25, -w - 11>,
    <-w + 12, -20>,
    <-3*w + 37, -61>,
    <3*w + 37, -3*w + 27>,
    <2*w, -w + 29>,
    <w + 38, -2*w - 3>,
    <3*w + 38, -3*w + 26>,
    <w + 11, -w + 11>,
    <6*w + 21, -4*w + 86>,
    <-5*w + 58, -107>,
    <113, -5*w - 53>,
    <3*w + 57, -4*w + 21>,
    <-4*w + 69, -w - 95>,
    <w + 80, -4*w - 21>,
    <-3*w + 149, -5*w - 116>,
    <4*w + 23, -3*w + 52>,
    <2*w + 46, -3*w + 10>,
    <w + 58, -3*w - 11>,
    <2*w, -w + 31>,
    <-3*w + 12, w - 52>,
    <-4*w + 47, -84>,
    <7*w + 33, -5*w + 93>,
    <5*w + 80, -6*w + 40>,
    <-2*w + 117, -4*w - 86>,
    <-6*w + 2, 3*w - 94>,
    <3*w + 11, -2*w + 42>,
    <7*w + 79, -7*w + 73>,
    <-7*w + 82, -148>,
    <3*w + 103, -6*w - 1>,
    <-w + 13, -22>,
    <2*w + 21, -2*w + 19>,
    <-2*w + 27, -44>,
    <48, -2*w - 25>,
    <w + 35, -2*w - 3>,
    <-w + 62, -2*w - 47>,
    <-4*w + 4, 2*w - 63>,
    <-4*w + 28, w - 75>,
    <5*w + 54, -5*w + 49>,
    <w + 82, -4*w - 26>,
    <-w + 36, -w - 34>,
    <2*w + 44, -3*w + 9>,
    <46, -2*w - 23>,
    <-2*w + 2, w - 33>,
    <-4*w + 49, -88>,
    <5*w + 52, -5*w + 54>,
    <3*w + 54, -4*w + 21>,
    <-2*w + 5, w - 36>,
    <w + 8, -w + 12>,
    <44, -2*w - 25>,
    <-2*w + 49, -w - 61>,
    <2*w + 17, -2*w + 23>,
    <3*w + 25, -3*w + 35>,
    <22, -w - 12>,
    <-2*w + 27, -48>,
    <-w + 14, -25>,
    <22, -w - 13>,
    <w + 9, -w + 11>,
    <3*w + 6, -2*w + 46>,
    <-2*w + 25, -46>,
    <-w + 35, -w - 35>,
    <4*w + 17, -3*w + 57>,
    <w + 32, -2*w>,
    <5*w + 49, -5*w + 57>,
    <88, -4*w - 45>,
    <9*w + 2, -5*w + 144>,
    <-4*w + 49, -89>,
    <5*w + 51, -5*w + 55>,
    <-3*w + 171, -6*w - 134>,
    <112, -5*w - 56>,
    <5*w + 163, -10*w - 1>,
    <-12*w + 169, -w - 278>,
    <-3*w + 283, -11*w - 190>,
    <8*w + 14, -5*w + 122>,
    <5*w + 73, -6*w + 44>,
    <3*w + 120, -7*w - 12>,
    <8*w + 193, -13*w + 32>,
    <-2*w + 69, -2*w - 67>,
    <-5*w + 128, -3*w - 145>,
    <8*w + 148, -11*w + 55>,
    <3*w + 276, -14*w - 90>,
    <6*w + 16, -4*w + 89>,
    <-9*w + 43, 3*w - 167>,
    <2*w + 132, -7*w - 34>,
    <-4*w + 116, -3*w - 123>,
    <5*w + 274, -15*w - 57>,
    <-10*w + 11, 5*w - 168>,
    <5*w + 50, -5*w + 56>,
    <-5*w + 61, -112>,
    <-w + 279, -12*w - 157>,
    <5*w + 139, -9*w + 11>,
    <-6*w + 140, -3*w - 168>,
    <-11*w + 201, -3*w - 280>,
    <89, -4*w - 45>,
    <-7*w + 19, 3*w - 123>,
    <13*w + 19, -8*w + 201>,
    <6*w + 38, -5*w + 78>,
    <5*w + 117, -8*w + 22>,
    <11*w + 44, -8*w + 156>,
    <-14*w + 104, 3*w - 279>,
    <-3*w + 148, -5*w - 123>,
    <4*w + 85, -6*w + 22>,
    <-7*w + 41, 2*w - 134>,
    <3*w + 164, -9*w - 34>,
    <-15*w + 72, 5*w - 279>,
    <-3*w + 126, -4*w - 112>,
    <1798*w + 1382, -1044*w + 28419>,
    <253*w + 2560, -253*w + 2813>,
    <-754*w + 25993, -754*w - 25239>,
    <1044*w + 27375, -1798*w + 3180>,
    <-34*w + 35, 17*w - 568>,
    <17*w + 172, -17*w + 189>,
    <w + 523, -24*w - 246>,
    <-33*w + 558, -7*w - 814>,
    <-17*w + 207, -379>,
    <35*w + 488, -41*w + 322>,
    <-52*w + 455, 8*w - 1070>,
    <-4*w + 517, -21*w - 324>,
    <13*w + 689, -38*w - 135>,
    <-31*w + 110, 12*w - 557>,
    <15*w + 241, -19*w + 122>,
    <-16*w + 351, -7*w - 435>,
    <5*w + 6, -3*w + 78>,
    <3*w + 97, -6*w>,
    <8*w + 103, -9*w + 78>,
    <-8*w + 142, -2*w - 201>,
    <10*w + 34, -7*w + 145>,
    <-7*w + 63, w - 145>,
    <-w + 79, -3*w - 56>,
    <-493*w + 7473, -83*w - 11681>,
    <1069*w + 11188, -1069*w + 12257>,
    <-576*w + 19237, -576*w - 18661>,
    <-1562*w + 19730, -83*w - 35126>,
    <493*w + 6980, -576*w + 4784>,
    <-1069*w + 12257, -23445>,
    <1562*w + 18168, -1645*w + 17041>,
    <576*w + 18661, -1152*w + 576>,
    <8992, -410*w - 4291>,
    <991*w + 10262, -986*w + 11415>,
    <166*w + 8909, -493*w - 1519>,
    <-991*w + 11253, 5*w - 21682>,
    <-249*w + 11847, -410*w - 9752>,
    <659*w + 1436, -410*w + 10162>,
    <1401*w + 100, -737*w + 23013>,
    <-664*w + 23777, -737*w - 22276>,
    <576*w + 4208, -493*w + 7473>,
    <-825*w + 7639, 83*w - 17225>,
    <249*w + 2606, -249*w + 2855>,
    <83*w + 2689, -166*w + 83>,
    <-576*w + 2854, 171*w - 10843>,
    <-327*w + 5460, -78*w - 7988>,
    <-78*w + 8066, -327*w - 5133>,
    <171*w + 10672, -576*w - 2278>,
    <742*w + 594, -415*w + 11930>,
    <-327*w + 10921, -327*w - 10594>,
    <415*w + 11515, -742*w + 1336>,
    <-10*w + 5, 5*w - 167>,
    <98*w + 587, -78*w + 1333>,
    <-5*w + 1439, -63*w - 769>,
    <-15*w + 1444, -58*w - 936>,
    <-98*w + 685, 20*w - 1940>,
    <15*w + 1429, -73*w - 435>,
    <5*w + 1434, -68*w - 602>,
    <83*w + 759, -78*w + 1004>,
    <-171*w + 1851, 5*w - 3698>,
    <-259*w + 2860, 5*w - 5628>,
    <-176*w + 3619, -73*w - 4624>,
    <-518*w + 259, 259*w - 8650>,
    <88*w + 2522, -161*w + 245>,
    <-88*w + 2610, -73*w - 2694>,
    <259*w + 4202, -327*w + 2258>,
    <-259*w + 4461, -68*w - 6392>,
    <-83*w + 842, 5*w - 1768>,
    <171*w + 1680, -166*w + 2013>,
    <259*w + 2601, -254*w + 3022>,
    <176*w + 3443, -249*w + 1254>,
    <2714*w + 28426, -2715*w + 31108>,
    <931*w + 30162, -1862*w + 931>,
    <-2713*w + 31107, -59501>,
    <-935*w + 31139, -931*w - 30250>,
    <1779*w + 59565, -3646*w + 858>,
    <-1782*w + 61269, -1862*w - 58570>,
    <-1866*w + 977, 931*w - 31181>,
    <936*w + 28394, -1784*w + 1857>,
    <-930*w + 29371, -853*w - 29324>,
    <11291*w + 110427, -10938*w + 133156>,
    <-11272*w + 122401, 312*w - 243950>,
    <269*w + 8, -141*w + 4424>,
    <156*w + 2795, -209*w + 1234>,
    <425*w + 2803, -350*w + 5658>,
    <53*w + 3976, -209*w - 1025>,
    <-128*w + 4560, -141*w - 4283>,
    <-75*w + 8536, -350*w - 5308>,
    <-181*w + 584, 68*w - 3258>,
    <-15*w + 1773, -73*w - 1093>,
    <88*w + 592, -73*w + 1166>,
    <-113*w + 2787, -68*w - 3190>,
    <166*w + 1189, -141*w + 2165>,
    <141*w + 4568, -282*w + 141>,
    <-25*w + 3379, -141*w - 2024>,
    <83*w + 430, -63*w + 1161>,
    <-186*w + 751, 63*w - 3420>,
    <-103*w + 1181, -2259>,
    <43*w + 3981, -204*w - 1192>,
    <146*w + 2800, -204*w + 1067>,
    <176*w + 855, -131*w + 2489>,
    <-201*w + 923, 63*w - 3749>,
    <-20*w + 1611, -63*w - 1098>,
    <63*w + 2041, -126*w + 63>,
    <156*w + 2466, -194*w + 1391>,
    <-123*w + 2792, -63*w - 3357>,
    <58*w + 3809, -204*w - 863>,
    <161*w + 2628, -204*w + 1396>,
    <-25*w + 133, 7*w - 475>,
    <-65*w + 394, 16*w - 1258>,
    <-90*w + 527, 23*w - 1733>,
    <16*w + 1242, -65*w - 329>,
    <-35*w + 138, 12*w - 642>,
    <-60*w + 271, 19*w - 1117>,
    <-95*w + 409, 31*w - 1759>,
    <12*w + 630, -35*w - 103>,
    <19*w + 1098, -60*w - 211>,
    <31*w + 1728, -95*w - 314>,
    <-20*w + 295, -3*w - 470>,
    <22*w + 625, -40*w + 64>,
    <-13*w + 763, -28*w - 578>,
    <42*w + 1, -22*w + 691>,
    <-15*w + 457, -13*w - 465>,
    <27*w + 458, -35*w + 226>,
    <22*w + 55, -14*w + 336>,
    <-30*w + 212, 6*w - 595>,
    <29*w + 238, -26*w + 364>,
    <-8*w + 267, -8*w - 259>,
    <-3*w + 144, -5*w - 118>,
    <-w + 450, -20*w - 231>,
    <-4*w + 594, -25*w - 349>,
    <7*w + 183, -12*w + 28>,
    <2*w + 306, -15*w - 113>,
    <12*w + 16, -7*w + 190>,
    <-5*w + 123, -3*w - 141>,
    <-15*w + 128, 2*w - 308>,
    <-20*w + 251, -w - 449>,
    <14*w + 322, -22*w + 77>,
    <-25*w + 374, -4*w - 590>,
    <26*w + 338, -29*w + 267>,
    <6*w + 589, -30*w - 182>,
    <10*w + 280, -18*w + 31>,
    <285, -13*w - 136>,
    <-7*w + 431, -16*w - 321>,
    <10*w + 565, -31*w - 105>,
    <-10*w + 290, -8*w - 303>,
    <7*w + 424, -23*w - 87>,
    <-10*w + 575, -21*w - 439>,
    <-7*w + 146, -3*w - 185>,
    <-38*w + 304, 6*w - 771>,
    <36*w + 486, -41*w + 361>,
    <-2*w + 790, -35*w - 410>,
    <19*w + 111, -15*w + 260>,
    <-21*w + 679, -20*w - 670>,
    <12*w + 257, -18*w + 75>,
    <-26*w + 561, -12*w - 696>,
    <-78*w + 17, 40*w - 1293>,
    <-19*w + 130, 4*w - 375>,
    <26*w + 250, -25*w + 309>,
    <7*w + 380, -21*w - 66>,
    <47*w + 1149, -77*w + 226>,
    <-12*w + 269, -6*w - 326>,
    <526, -24*w - 251>,
    <26*w + 776, -49*w + 58>,
    <3*w + 32, -3*w + 35>,
    <-14*w + 46, 5*w - 254>,
    <13*w + 117, -12*w + 162>,
    <-w + 163, -7*w - 92>,
    <-5*w + 229, -8*w - 189>,
    <-3*w + 33, -65>,
    <6*w + 86, -7*w + 60>,
    <3*w + 119, -7*w - 5>,
    <-10*w + 284, -8*w - 297>,
    <-13*w + 13, 6*w - 222>,
    <-4*w + 131, -4*w - 127>,
    <-7*w + 12, 3*w - 122>,
    <7*w + 53, -6*w + 92>,
    <65, -3*w - 30>,
    <-8*w + 305, -10*w - 274>,
    <6*w + 216, -13*w>,
    <-73*w + 40, 35*w - 1227>,
    <5*w + 54, -5*w + 58>,
    <73*w + 69, -40*w + 1177>,
    <109, -5*w - 50>,
    <-38*w + 1203, -36*w - 1181>,
    <-33*w + 1257, -41*w - 1123>,
    <5*w + 75, -6*w + 48>,
    <-6*w + 1, 3*w - 100>,
    <-w + 120, -5*w - 72>,
    <-7*w + 121, -2*w - 172>,
    <10*w + 216, -15*w + 66>,
    <-2*w + 2, w - 32>,
    <-4*w + 27, w - 76>,
    <-2*w + 48, -w - 55>,
    <4*w + 43, -4*w + 41>,
    <w + 34, -2*w - 1>,
    <-6*w + 4, 3*w - 95>,
    <93, -4*w - 45>,
    <-3*w + 14, w - 54>,
    <-3*w + 37, -65>,
    <4*w + 89, -6*w + 19>,
    <-6*w + 5, 3*w - 96>,
    <-w + 12, -22>,
    <-2*w + 47, -w - 55>,
    <w + 101, -5*w - 34>,
    <5*w + 7, -3*w + 75>,
    <2*w + 21, -2*w + 21>,
    <5*w + 76, -6*w + 41>,
    <-3*w + 60, -w - 77>,
    <2*w + 90, -5*w - 13>,
    <-5*w + 14, 2*w - 86>,
    <-13*w + 41, 5*w - 226>,
    <w + 79, -4*w - 22>,
    <-8*w + 4, 4*w - 129>,
    <341, -15*w - 163>,
    <5*w + 9, -3*w + 75>,
    <13*w + 28, -8*w + 193>,
    <-w + 80, -3*w - 54>,
    <14*w + 39, -9*w + 204>,
    <-15*w + 41, 6*w - 258>,
    <-7*w + 287, -9*w - 248>,
    <10*w + 267, -17*w + 31>,
    <-8*w + 254, -7*w - 249>,
    <7*w + 280, -16*w - 23>,
    <15*w + 26, -9*w + 226>,
    <16*w + 105, -13*w + 204>,
    <-14*w + 53, 5*w - 248>,
    <-13*w + 132, w - 270>,
    <14*w + 174, -15*w + 139>,
    <w + 306, -14*w - 131>,
    <-2*w + 92, -3*w - 76>,
    <-12*w + 211, -3*w - 292>,
    <-14*w + 52, 5*w - 248>,
    <22*w + 12, -12*w + 345>,
    <-3*w + 126, -4*w - 108>,
    <-6*w + 3, 3*w - 97>,
    <-4*w + 342, -13*w - 227>,
    <-10*w + 186, -3*w - 248>,
    <-4*w + 70, -w - 97>,
    <3*w + 146, -8*w - 22>,
    <-3*w + 149, -5*w - 119>,
    <-9*w + 152, -2*w - 216>,
    <-38*w + 19, 19*w - 618>,
    <-38*w + 402, 2*w - 801>,
    <57*w + 591, -56*w + 631>,
    <19*w + 610, -37*w + 13>,
    <2*w + 810, -37*w - 355>,
    <-34*w + 17, 17*w - 553>,
    <15*w + 229, -18*w + 131>,
    <-15*w + 244, -3*w - 357>,
    <17*w + 656, -38*w - 41>,
    <-17*w + 673, -21*w - 594>,
    <17*w + 183, -17*w + 185>,
    <-17*w + 200, -368>,
    <36*w + 410, -37*w + 381>,
    <-36*w + 446, -w - 790>,
    <2*w + 44, -3*w + 11>,
    <-2*w + 46, -w - 54>,
    <13*w + 275, -19*w + 77>,
    <-13*w + 288, -6*w - 346>,
    <11*w + 321, -20*w + 23>,
    <-11*w + 332, -9*w - 335>,
    <15*w + 139, -14*w + 174>,
    <13*w + 185, -15*w + 120>,
    <3*w + 33, -3*w + 32>,
    <68, -3*w - 32>,
    <7*w + 77, -7*w + 75>,
    <-7*w + 82, -150>,
    <-7*w + 14, 3*w - 118>,
    <-3*w + 35, -65>,
    <-5*w + 81, -w - 119>,
    <6*w + 87, -7*w + 55>,
    <7*w + 165, -11*w + 34>,
    <5*w + 9, -3*w + 76>,
    <-7*w + 37, 2*w - 130>,
    <3*w + 55, -4*w + 22>,
    <10*w + 108, -10*w + 109>,
    <-10*w + 117, -216>,
    <11*w + 320, -20*w + 24>,
    <-11*w + 331, -9*w - 335>,
    <-9*w + 38, 3*w - 163>,
    <-11*w + 151, -w - 249>,
    <4*w + 200, -11*w - 31>,
    <-6*w + 3, 3*w - 98>,
    <9*w + 119, -10*w + 88>,
    <-8*w + 116, -w - 184>,
    <12*w + 84, -10*w + 153>,
    <28*w + 31, -16*w + 436>,
    <-9*w + 195, -4*w - 238>,
    <-9*w + 352, -11*w - 313>,
    <9*w + 29, -6*w + 131>,
    <3*w + 32, -3*w + 33>,
    <11*w + 140, -12*w + 110>,
    <-4*w + 204, -7*w - 162>,
    <-9*w + 128, -w - 206>,
    <14*w + 105, -12*w + 175>,
    <8*w + 108, -9*w + 77>,
    <-12*w + 96, 2*w - 239>,
    <5*w + 76, -6*w + 44>,
    <-7*w + 172, -4*w - 195>,
    <2*w + 201, -10*w - 64>,
    <-6*w + 93, -w - 141>,
    <-5*w + 14, 2*w - 87>,
    <7*w + 30, -5*w + 98>,
    <-11*w + 40, 4*w - 196>,
    <9*w + 51, -7*w + 120>,
    <4*w + 65, -5*w + 33>,
    <-2*w + 91, -3*w - 76>,
    <-5*w + 149, -4*w - 152>,
    <-w + 214, -9*w - 119>,
    <-w + 79, -3*w - 54>,
    <4*w + 155, -9*w - 10>,
    <7*w + 187, -12*w + 23>,
    <-6*w + 27, 2*w - 109>,
    <5*w + 53, -5*w + 54>,
    <-w + 80, -3*w - 55>,
    <68, -3*w - 33>,
    <4*w + 133, -8*w - 1>,
    <-3*w + 36, -65>,
    <7*w + 75, -7*w + 75>,
    <-7*w + 84, -152>,
    <w + 56, -3*w - 11>,
    <-118*w + 111, 57*w - 1934>,
    <16*w + 127, -14*w + 194>,
    <-17*w + 202, -368>,
    <-w + 329, -14*w - 174>,
    <61*w + 1880, -115*w + 69>,
    <-57*w + 1991, -58*w - 1865>,
    <-2*w + 71, -2*w - 65>,
    <11*w + 76, -9*w + 134>,
    <9*w + 147, -11*w + 69>,
    <-13*w + 158, -277>,
    <303, -13*w - 145>,
    <9*w + 450, -24*w - 76>,
    <2*w + 69, -4*w - 2>,
    <-11*w + 87, 2*w - 212>,
    <13*w + 145, -13*w + 132>,
    <-9*w + 156, -2*w - 214>,
    <-9*w + 459, -15*w - 359>,
    <4*w + 21, -3*w + 52>,
    <4*w + 44, -4*w + 41>,
    <4*w + 137, -8*w - 4>,
    <-5*w + 154, -4*w - 152>,
    <5*w + 32, -4*w + 62>,
    <-w + 82, -3*w - 55>,
    <11*w + 122, -11*w + 112>,
    <-3*w + 153, -5*w - 120>,
    <-4*w + 235, -8*w - 175>,
    <8*w + 183, -12*w + 36>,
    <-8*w + 191, -4*w - 215>,
    <11*w + 240, -16*w + 55>,
    <-11*w + 251, -5*w - 290>,
    <374, -16*w - 179>,
    <5*w + 126, -8*w + 17>,
    <-5*w + 131, -3*w - 140>,
    <9*w + 8, -5*w + 136>,
    <-4*w + 25, w - 74>,
    <5*w + 56, -5*w + 51>,
    <w + 81, -4*w - 23>,
    <-8*w + 166, -3*w - 203>,
    <93, -4*w - 44>,
    <-5*w + 37, w - 95>,
    <-3*w + 106, -3*w - 97>,
    <-11*w + 133, -234>,
    <3*w + 150, -8*w - 25>,
    <4*w + 231, -12*w - 48>,
    <2*w + 47, -3*w + 6>,
    <3*w + 83, -5*w + 5>,
    <-3*w + 86, -2*w - 86>,
    <2*w + 23, -2*w + 19>,
    <-2*w + 25, -42>,
    <5*w + 106, -7*w + 24>,
    <-5*w + 111, -2*w - 128>,
    <-2*w + 1, w - 30>,
    <-6*w + 52, w - 113>,
    <7*w + 58, -6*w + 75>,
    <123, -5*w - 59>,
    <6*w + 46, -5*w + 66>,
    <-7*w + 65, w - 134>,
    <24, -w - 12>,
    <-w + 37, -w - 33>,
    <-3*w + 39, -64>,
    <73, -3*w - 36>,
    <-2*w + 49, -w - 52>,
    <w + 59, -3*w - 12>,
    <71, -3*w - 33>,
    <95, -4*w - 44>,
    <w + 36, -2*w - 2>,
    <3*w + 36, -3*w + 28>,
    <73, -3*w - 34>,
    <w + 12, -w + 8>,
    <25, -w - 12>,
    <5*w + 10, -3*w + 68>,
    <-3*w + 88, -2*w - 86>,
    <-6*w + 78, -125>,
    <w + 111, -5*w - 39>,
    <-5*w + 15, 2*w - 80>,
    <2*w + 98, -5*w - 18>,
    <-w + 13, -20>,
    <w + 12, -w + 9>,
    <w + 37, -2*w - 3>,
    <3*w + 37, -3*w + 26>,
    <2*w + 45, -3*w + 11>,
    <-3*w + 57, -w - 74>,
    <-w + 102, -4*w - 63>,
    <-5*w + 12, 2*w - 85>,
    <-w + 57, -2*w - 42>,
    <5*w + 11, -3*w + 74>,
    <w + 34, -2*w>,
    <-5*w + 35, w - 96>,
    <w + 79, -4*w - 21>,
    <2*w + 90, -5*w - 10>,
    <5*w + 55, -5*w + 54>,
    <-4*w + 137, -4*w - 128>,
    <-5*w + 81, -w - 116>,
    <-2*w + 92, -3*w - 74>,
    <46, -2*w - 21>,
    <-2*w + 23, -42>,
    <-7*w + 81, -147>,
    <2*w + 92, -5*w - 11>,
    <2*w + 138, -7*w - 32>,
    <-w + 35, -w - 32>,
    <-2*w + 47, -w - 53>,
    <-6*w + 1, 3*w - 94>,
    <-9*w + 36, 3*w - 157>,
    <w + 81, -4*w - 22>,
    <-7*w + 37, 2*w - 126>,
    <-w + 105, -4*w - 65>,
    <5*w + 10, -3*w + 73>,
    <-6*w + 95, -w - 138>,
    <-5*w + 12, 2*w - 84>,
    <-3*w + 104, -3*w - 95>,
    <3*w + 34, -3*w + 31>,
    <-4*w + 93, -2*w - 106>,
    <-4*w + 70, -w - 95>,
    <-4*w + 24, w - 74>,
    <w + 10, -w + 11>,
    <23, -w - 12>,
    <w + 33, -2*w - 1>,
    <68, -3*w - 35>,
    <3*w + 8, -2*w + 43>,
    <-2*w + 25, -44>,
    <-w + 37, -w - 34>,
    <-4*w + 52, -87>,
    <-5*w + 61, -110>,
    <w + 56, -3*w - 12>,
    <-w + 13, -24>,
    <-w + 35, -w - 36>,
    <w + 10, -w + 10>,
    <-w + 13, -23>,
    <2*w + 19, -2*w + 21>,
    <-2*w + 3, w - 34>,
    <-3*w + 38, -68>,
    <2*w + 41, -3*w + 11>,
    <44, -2*w - 23>,
    <w + 31, -2*w>,
    <-3*w + 15, w - 57>,
    <22, -w - 11>,
    <110, -5*w - 56>,
    <-3*w + 59, -w - 78>,
    <7*w + 26, -5*w + 100>,
    <-2*w + 47, -w - 56>,
    <-5*w + 39, w - 101>,
    <-w + 57, -2*w - 45>,
    <5*w + 95, -7*w + 33>,
    <4*w + 18, -3*w + 56>,
    <4*w + 40, -4*w + 45>,
    <111, -5*w - 56>,
    <-249*w + 2943, 4*w - 5507>,
    <-1794*w + 4121, 795*w - 31113>,
    <4*w + 5503, -249*w - 2694>,
    <-1003*w + 28936, -750*w - 30746>,
    <795*w + 30318, -1794*w - 2327>,
    <-750*w + 31496, -1003*w - 27933>,
    <20*w + 626, -39*w + 10>,
    <3*w + 833, -39*w - 369>,
    <-36*w + 862, -19*w - 1015>,
    <-39*w + 29, 20*w - 646>,
    <379, -17*w - 190>,
    <-39*w + 408, 3*w - 836>,
    <-19*w + 1034, -36*w - 826>,
    <-17*w + 586, -17*w - 569>,
    <-14*w + 282, -5*w - 368>,
    <-31*w + 489, -5*w - 747>,
    <32*w + 413, -36*w + 311>,
    <13*w + 42, -9*w + 190>,
    <-10*w + 55, 3*w - 190>,
    <-10*w + 33, 4*w - 179>,
    <9*w + 46, -7*w + 123>,
    <8*w + 125, -10*w + 67>,
    <-11*w + 45, 4*w - 201>,
    <2*w + 176, -9*w - 56>,
    <-3290*w + 1645, 1645*w - 54939>,
    <23445, -1069*w - 11188>,
    <1645*w + 53294, -3290*w + 1645>,
    <-1645*w + 54939, -1645*w - 53294>,
    <-83*w + 11764, -493*w - 6980>,
    <-576*w + 4784, 83*w - 11764>,
    <659*w + 15889, -1069*w + 3265>,
    <-659*w + 16548, -410*w - 18744>,
    <-249*w + 925, 88*w - 4540>,
    <88*w + 4452, -249*w - 676>,
    <-254*w + 1092, 83*w - 4702>,
    <3531, -161*w - 1685>,
    <254*w + 838, -171*w + 3781>,
    <1601, -73*w - 764>,
    <-10*w + 1606, -68*w - 931>,
    <10*w + 1596, -78*w - 597>,
    <-5*w + 167, -5*w - 162>,
    <73*w + 435, -58*w + 994>,
    <78*w + 597, -68*w + 999>,
    <-357*w + 1001, 141*w - 6354>,
    <-191*w + 2190, -4189>,
    <73*w + 2365, -146*w + 73>,
    <w + 59533, -2715*w - 28393>,
    <-847*w + 30130, -931*w - 28320>,
    <-88*w + 1009, -1930>,
    <68*w + 2203, -136*w + 68>,
    <98*w + 258, -63*w + 1490>,
    <88*w + 263, -58*w + 1323>,
    <-30*w + 1616, -58*w - 1265>,
    <-35*w + 1783, -63*w - 1427>,
    <558*w + 335, -307*w + 9025>,
    <-98*w + 1014, 5*w - 2097>,
    <317*w + 8954, -574*w + 945>,
    <20*w + 34, -12*w + 313>,
    <-40*w + 261, 9*w - 783>,
    <9*w + 774, -40*w - 221>,
    <27*w + 173, -22*w + 362>,
    <34*w + 641, -47*w + 254>,
    <12*w + 301, -20*w + 54>,
    <55*w + 576, -55*w + 631>,
    <-37*w + 73, 16*w - 644>,
    <17*w + 178, -17*w + 195>,
    <-23*w + 395, -6*w - 567>,
    <-6*w + 573, -23*w - 372>,
    <16*w + 628, -37*w - 36>,
    <27*w + 129, -20*w + 383>,
    <-12*w + 28, 5*w - 211>,
    <5*w + 118, -8*w + 26>,
    <-12*w + 313, -8*w - 347>,
    <-22*w + 33, 10*w - 378>,
    <-27*w + 156, 7*w - 519>,
    <7*w + 139, -10*w + 49>,
    <22*w + 11, -12*w + 357>,
    <-26*w + 276, w - 560>,
    <-7*w + 387, -14*w - 300>,
    <-7*w + 99, -w - 162>,
    <9*w + 183, -13*w + 65>,
    <-10*w + 45, 3*w - 187>,
    <13*w + 139, -13*w + 152>,
    <3*w + 184, -10*w - 35>,
    <-5*w + 55, -108>,
    <35*w + 1163, -71*w + 46>,
    <2*w + 65, -4*w + 3>,
    <-3*w + 55, -w - 75>,
    <-7*w + 143, -3*w - 182>,
    <-2*w + 94, -3*w - 78>,
    <-w + 82, -3*w - 56>,
    <w + 104, -5*w - 35>,
    <-5*w + 15, 2*w - 85>,
    <-w + 35, -w - 33>,
    <-2*w + 1, w - 32>,
    <w + 102, -5*w - 33>,
    <-w + 103, -4*w - 65>,
    <23, -w - 11>,
    <5*w + 32, -4*w + 64>,
    <-10*w + 5, 5*w - 161>,
    <-5*w + 37, w - 97>,
    <6*w + 65, -6*w + 64>,
    <-2*w + 115, -4*w - 87>,
    <5*w + 55, -5*w + 53>,
    <-3*w + 81, -2*w - 86>,
    <w + 238, -11*w - 98>,
    <-5*w + 60, -108>,
    <3*w + 78, -5*w + 10>,
    <383, -17*w - 183>,
    <-13*w + 198, -2*w - 303>,
    <114, -5*w - 54>,
    <14*w + 195, -16*w + 132>,
    <-14*w + 209, -2*w - 325>,
    <3*w + 279, -14*w - 85>,
    <-3*w + 282, -11*w - 183>,
    <404, -18*w - 193>,
    <-22*w + 11, 11*w - 358>,
    <-22*w + 123, 6*w - 413>,
    <-3*w + 192, -7*w - 140>,
    <-14*w + 7, 7*w - 229>,
    <4*w + 110, -7*w + 12>,
    <-4*w + 114, -3*w - 119>,
    <7*w + 142, -10*w + 45>,
    <-7*w + 149, -3*w - 184>,
    <224, -10*w - 107>,
    <6*w + 109, -8*w + 44>,
    <w + 123, -6*w - 43>,
    <6*w + 42, -5*w + 75>,
    <114, -5*w - 55>,
    <-15*w + 133, 2*w - 303>,
    <-14*w + 189, -w - 314>,
    <-2*w + 69, -2*w - 65>,
    <14*w + 196, -16*w + 129>,
    <-2*w + 234, -9*w - 143>,
    <-4*w + 2, 2*w - 63>,
    <19*w + 72, -13*w + 260>,
    <-19*w + 91, 6*w - 338>,
    <2*w + 232, -11*w - 80>,
    <466, -20*w - 223>,
    <-9*w + 17, 4*w - 148>,
    <3*w + 57, -4*w + 19>,
    <-10*w + 5, 5*w - 157>,
    <140, -6*w - 67>,
    <10*w + 135, -11*w + 90>,
    <-10*w + 145, -w - 224>,
    <-4*w + 48, -85>,
    <-4*w + 141, -4*w - 129>,
    <-3*w + 62, -w - 74>,
    <73, -3*w - 35>,
    <3*w + 59, -4*w + 16>,
    <-18*w + 9, 9*w - 281>,
    <4*w + 45, -4*w + 40>,
    <-4*w + 49, -85>,
    <94, -4*w - 45>,
    <9*w + 289, -17*w>,
    <-9*w + 298, -8*w - 281>,
    <w + 37, -2*w - 4>,
    <3*w + 85, -5*w + 3>,
    <544, -22*w - 261>,
    <4*w + 72, -5*w + 24>,
    <7*w + 157, -10*w + 27>,
    <-7*w + 164, -3*w - 181>,
    <-6*w + 28, 2*w - 101>,
    <-2*w + 1, w - 29>,
    <w + 38, -2*w - 4>,
    <-w + 39, -w - 33>,
    <-w + 38, -w - 32>,
    <-w + 58, -2*w - 45>,
    <w + 9, -w + 12>,
    <2*w + 19, -2*w + 23>,
    <-2*w + 47, -w - 57>,
    <3*w + 53, -4*w + 22>,
    <-5*w + 61, -111>,
    <-19*w + 655, -19*w - 636>,
    <12*w + 166, -14*w + 111>,
    <83*w + 11681, -576*w - 4208>,
    <5*w + 1763, -83*w - 759>,
    <-244*w + 2688, 5*w - 5299>,
    <5*w + 5294, -244*w - 2444>,
    <-5*w + 1768, -78*w - 926>,
    <-8*w + 311, -10*w - 280>,
    <5*w + 162, -10*w + 5>,
    <-14*w + 7, 7*w - 234>,
    <22, -w - 10>,
    <4*w + 20, -3*w + 53>,
    <-w + 81, -3*w - 56>,
    <-19*w + 629, -18*w - 605>,
    <5*w + 54, -5*w + 55>,
    <-5*w + 58, -108>,
    <2*w + 89, -5*w - 10>,
    <7*w + 75, -7*w + 77>,
    <-7*w + 82, -152>,
    <10*w + 107, -10*w + 110>,
    <-10*w + 117, -217>,
    <5*w + 53, -5*w + 55>,
    <-5*w + 59, -109>,
    <-3*w + 58, -w - 76>,
    <-5*w + 14, 2*w - 84>,
    <2*w + 46, -3*w + 9>,
    <-2*w + 1, w - 31>,
    <w + 13, -w + 7>,
    <-w + 14, -20>,
    <3*w + 75, -5*w + 11>,
    <241, -11*w - 115>,
    <5*w + 54, -5*w + 54>,
    <-5*w + 59, -108>,
    <3*w + 123, -7*w - 11>,
    <-4*w + 2, 2*w - 65>,
    <3*w + 189, -10*w - 42>,
    <48, -2*w - 23>,
    <-4*w + 4, 2*w - 67>,
    <78*w + 926, -83*w + 842>,
    <-78*w + 1004, -5*w - 1763>,
    <2*w + 21, -2*w + 23>,
    <-2*w + 23, -44>,
    <7*w + 95, -8*w + 70>,
    <-7*w + 102, -w - 164>,
    <9*w + 116, -10*w + 93>,
    <-9*w + 125, -w - 208>,
    <-5*w + 16, 2*w - 89>,
    <2*w + 65, -4*w>,
    <2*w + 87, -5*w - 11>,
    <-w + 11, -22>,
    <44, -2*w - 21>,
    <w + 10, -w + 12>,
    <0, 1>
]
/* Voronoi top cells */
[
    { 1, 2, 3, 4 },
    { 5, 6, 7, 8 },
    { 1, 3, 4, 9 },
    { 5, 6, 7, 10 },
    { 11, 12, 13, 14 },
    { 15, 16, 17, 18 },
    { 19, 20, 21, 22 },
    { 23, 24, 25, 26 },
    { 27, 28, 29, 30 },
    { 27, 30, 31, 32 },
    { 33, 34, 35, 36 },
    { 37, 38, 39, 40 },
    { 41, 42, 43, 44 },
    { 42, 44, 45, 46 },
    { 47, 48, 49, 50 },
    { 51, 52, 53, 54 },
    { 42, 55, 56, 57 },
    { 55, 57, 58, 59 },
    { 53, 60, 61, 62 },
    { 63, 64, 65, 66 },
    { 67, 68, 69, 70 },
    { 63, 65, 67, 71, 72 },
    { 73, 74, 75, 76, 77, 78 },
    { 79, 80, 81, 82 },
    { 47, 83, 84, 85 },
    { 15, 86, 87, 88 },
    { 89, 90, 91, 92 },
    { 93, 94, 95, 96 },
    { 97, 98, 99, 100 },
    { 101, 102, 103, 104 },
    { 105, 106, 107, 108 },
    { 109, 110, 111, 112 },
    { 113, 114, 115, 116 },
    { 113, 114, 117, 118 },
    { 119, 120, 121, 122 },
    { 123, 124, 125, 126 },
    { 127, 128, 129, 130 },
    { 131, 132, 133, 134 },
    { 131, 134, 135, 136 },
    { 137, 138, 139, 140 },
    { 141, 142, 143, 144 },
    { 145, 146, 147, 148 },
    { 93, 148, 149, 150 },
    { 93, 151, 152, 153 },
    { 93, 95, 153, 154 },
    { 155, 156, 157, 158 },
    { 159, 160, 161, 162 },
    { 114, 161, 163, 164 },
    { 165, 166, 167, 168 },
    { 159, 169, 170, 171 },
    { 172, 173, 174, 175 },
    { 176, 177, 178, 179 },
    { 177, 178, 180, 181 },
    { 178, 180, 182, 183 },
    { 109, 177, 184, 185 },
    { 177, 180, 185, 186 },
    { 182, 187, 188, 189 },
    { 190, 191, 192, 193 },
    { 194, 195, 196, 197 },
    { 196, 198, 199, 200 },
    { 194, 196, 197, 200 },
    { 197, 198, 200, 201 },
    { 202, 203, 204, 205 },
    { 206, 207, 208, 209 },
    { 206, 208, 209, 210 },
    { 208, 210, 211, 212 },
    { 211, 212, 213, 214 },
    { 215, 216, 217, 218 },
    { 216, 218, 219, 220 },
    { 217, 218, 220, 221 },
    { 216, 219, 220, 222 },
    { 223, 224, 225, 226 },
    { 206, 227, 228, 229 },
    { 206, 227, 228, 230 },
    { 227, 230, 231, 232 },
    { 231, 232, 233, 234 },
    { 235, 236, 237, 238 },
    { 239, 240, 241, 242 },
    { 239, 241, 243, 244 },
    { 240, 245, 246, 247 },
    { 247, 248, 249, 250 },
    { 251, 252, 253, 254 },
    { 206, 251, 254, 255, 256 },
    { 206, 229, 255, 257 },
    { 258, 259, 260, 261 },
    { 262, 263, 264, 265 },
    { 5, 10, 266, 267 },
    { 5, 266, 268, 269 },
    { 2, 3, 4, 270 },
    { 5, 7, 8, 271 },
    { 3, 4, 9, 270 },
    { 8, 9, 270, 271, 272, 273 },
    { 5, 7, 10, 271 },
    { 10, 271, 274, 275 },
    { 276, 277, 278, 279 },
    { 5, 276, 280, 281 },
    { 276, 282, 283, 284 },
    { 285, 286, 287, 288 },
    { 285, 289, 290, 291 },
    { 292, 293, 294, 295 },
    { 296, 297, 298, 299, 300 },
    { 301, 302, 303, 304 },
    { 305, 306, 307, 308, 309, 310 },
    { 311, 312, 313, 314, 315 },
    { 316, 317, 318, 319, 320, 321 },
    { 319, 320, 322, 323 },
    { 316, 317, 324, 325 },
    { 320, 323, 326, 327 },
    { 316, 324, 327, 328 },
    { 329, 330, 331, 332 },
    { 323, 330, 331, 333 },
    { 329, 334, 335, 336, 337, 338 },
    { 324, 331, 339, 340 },
    { 331, 336, 339, 341 },
    { 342, 343, 344, 345 },
    { 346, 347, 348, 349, 350, 351 },
    { 285, 346, 352, 353, 354 },
    { 285, 352, 355, 356, 357 },
    { 358, 359, 360, 361 },
    { 358, 362, 363, 364 },
    { 362, 363, 365, 366 },
    { 367, 368, 369, 370 },
    { 368, 370, 371, 372 },
    { 361, 371, 373, 374 },
    { 375, 376, 377, 378 },
    { 376, 379, 380, 381 },
    { 382, 383, 384, 385 },
    { 382, 385, 386, 387 },
    { 382, 383, 388, 389 },
    { 390, 391, 392, 393, 394 },
    { 391, 392, 395, 396, 397 },
    { 398, 399, 400, 401, 402 },
    { 403, 404, 405, 406 },
    { 404, 405, 407, 408 },
    { 409, 410, 411, 412 },
    { 408, 409, 410, 413 },
    { 414, 415, 416, 417, 418, 419 },
    { 11, 12, 13, 420 },
    { 421, 422, 423, 424 },
    { 171, 425, 426, 427 },
    { 15, 425, 427, 428 },
    { 15, 17, 18, 429 },
    { 15, 87, 430, 431 },
    { 429, 432, 433, 434 },
    { 427, 429, 433, 435 },
    { 175, 436, 437, 438 },
    { 432, 439, 440, 441 },
    { 432, 441, 442, 443 },
    { 22, 444, 445, 446 },
    { 19, 20, 22, 446 },
    { 19, 23, 447, 448 },
    { 26, 449, 450, 451 },
    { 23, 24, 26, 451 },
    { 451, 452, 453, 454 },
    { 27, 28, 30, 31 },
    { 33, 35, 36, 47, 455 },
    { 33, 35, 456, 457 },
    { 33, 446, 458, 459 },
    { 446, 457, 458, 460 },
    { 446, 461, 462, 463 },
    { 47, 446, 460, 463 },
    { 446, 462, 464, 465 },
    { 37, 38, 39, 466 },
    { 39, 466, 467, 468 },
    { 41, 46, 469, 470 },
    { 41, 42, 44, 46 },
    { 37, 39, 40, 471 },
    { 41, 42, 43, 471 },
    { 28, 31, 33, 472, 473, 474 },
    { 42, 45, 46, 472 },
    { 33, 49, 469, 475 },
    { 33, 47, 48, 49 },
    { 476, 477, 478, 479, 480 },
    { 481, 482, 483, 484, 485 },
    { 481, 486, 487, 488, 489 },
    { 490, 491, 492, 493, 494, 495 },
    { 486, 491, 496, 497 },
    { 51, 53, 54, 498 },
    { 498, 499, 500, 501 },
    { 42, 55, 57, 59 },
    { 53, 59, 60, 502 },
    { 53, 60, 62, 499 },
    { 503, 504, 505, 506 },
    { 504, 505, 507, 508 },
    { 507, 509, 510, 511 },
    { 68, 69, 70, 512, 513 },
    { 63, 64, 65, 71, 72 },
    { 63, 67, 68, 69, 71 },
    { 503, 514, 515, 516 },
    { 514, 516, 517, 518 },
    { 503, 515, 516, 519 },
    { 68, 516, 519, 520 },
    { 503, 504, 506, 519 },
    { 517, 521, 522, 523 },
    { 524, 525, 526, 527 },
    { 517, 524, 527, 528 },
    { 69, 527, 528, 529 },
    { 525, 526, 527, 530 },
    { 69, 527, 530, 531 },
    { 525, 530, 532, 533 },
    { 69, 530, 532, 534 },
    { 525, 532, 533, 535 },
    { 532, 535, 536, 537 },
    { 73, 74, 75, 538, 539, 540, 541, 542, 543 },
    { 525, 533, 535, 544, 545, 546 },
    { 436, 547, 548, 549 },
    { 548, 549, 550, 551 },
    { 79, 81, 82, 552 },
    { 550, 552, 553, 554 },
    { 47, 83, 85, 555 },
    { 556, 557, 558, 559, 560, 561 },
    { 562, 563, 564, 565 },
    { 564, 565, 566, 567 },
    { 568, 569, 570, 571 },
    { 566, 570, 571, 572 },
    { 573, 574, 575, 576 },
    { 15, 86, 87, 431 },
    { 86, 431, 577, 578 },
    { 578, 579, 580, 581 },
    { 582, 583, 584, 585, 586 },
    { 90, 91, 92, 587, 588 },
    { 589, 590, 591, 592, 593 },
    { 93, 94, 95, 594 },
    { 94, 592, 594, 595 },
    { 590, 592, 596, 597 },
    { 592, 597, 598, 599 },
    { 114, 117, 118, 600 },
    { 97, 98, 99, 601, 602 },
    { 601, 602, 603, 604, 605, 606 },
    { 607, 608, 609, 610 },
    { 607, 610, 611, 612 },
    { 613, 614, 615, 616 },
    { 131, 132, 133, 617 },
    { 93, 103, 106, 618, 619, 620 },
    { 101, 103, 104, 105, 106, 108 },
    { 101, 621, 622, 623 },
    { 109, 111, 112, 114 },
    { 111, 114, 115, 624 },
    { 113, 114, 115, 624 },
    { 113, 114, 117, 119 },
    { 119, 120, 121, 625 },
    { 123, 124, 625, 626 },
    { 123, 124, 126, 627 },
    { 119, 625, 628, 629 },
    { 123, 625, 630, 631 },
    { 127, 129, 130, 131 },
    { 129, 131, 135, 632 },
    { 131, 132, 134, 633 },
    { 131, 134, 135, 632 },
    { 625, 633, 634, 635 },
    { 137, 636, 637, 638 },
    { 636, 637, 639, 640 },
    { 142, 143, 641, 642 },
    { 137, 636, 643, 644, 645 },
    { 137, 139, 499, 646 },
    { 137, 138, 139, 644 },
    { 139, 499, 644, 647 },
    { 141, 155, 648, 649 },
    { 141, 142, 143, 642 },
    { 145, 146, 148, 650 },
    { 650, 651, 652, 653, 654 },
    { 93, 152, 655, 656 },
    { 93, 146, 148, 150 },
    { 146, 657, 658, 659 },
    { 93, 152, 153, 655 },
    { 153, 655, 660, 661 },
    { 93, 95, 154, 594 },
    { 93, 153, 154, 661 },
    { 655, 660, 661, 662 },
    { 594, 661, 662, 663 },
    { 155, 648, 651, 664 },
    { 146, 155, 664, 665 },
    { 146, 651, 653, 664 },
    { 155, 655, 666, 667 },
    { 146, 155, 666, 668 },
    { 146, 655, 657, 666 },
    { 155, 156, 158, 669 },
    { 155, 158, 655, 667 },
    { 670, 671, 672, 673 },
    { 671, 672, 674, 675 },
    { 169, 671, 674, 675 },
    { 114, 159, 160, 161 },
    { 114, 161, 163, 613 },
    { 159, 161, 613, 676 },
    { 165, 166, 168, 613 },
    { 159, 166, 613, 677 },
    { 159, 170, 171, 425 },
    { 159, 169, 171, 675 },
    { 172, 175, 436, 678 },
    { 172, 173, 175, 679 },
    { 176, 177, 178, 680 },
    { 177, 178, 180, 182 },
    { 178, 182, 680, 681 },
    { 186, 671, 682, 683, 684 },
    { 109, 177, 185, 186 },
    { 177, 180, 182, 186 },
    { 670, 683, 685, 686 },
    { 683, 685, 687, 688 },
    { 189, 683, 687, 688 },
    { 182, 187, 188, 689 },
    { 182, 188, 189, 688 },
    { 190, 191, 193, 690 },
    { 190, 191, 691, 692 },
    { 195, 196, 197, 693 },
    { 196, 197, 198, 200 },
    { 202, 203, 204, 693 },
    { 203, 670, 694, 695 },
    { 206, 207, 208, 693 },
    { 206, 208, 210, 212 },
    { 210, 211, 212, 213 },
    { 216, 222, 670, 696 },
    { 216, 217, 218, 220 },
    { 216, 220, 222, 257 },
    { 223, 225, 226, 257 },
    { 225, 670, 697, 698 },
    { 206, 227, 229, 257 },
    { 206, 227, 230, 231 },
    { 230, 231, 232, 234 },
    { 691, 699, 700, 701 },
    { 235, 236, 238, 702, 703, 704, 705, 706, 707 },
    { 243, 708, 709, 710 },
    { 711, 712, 713, 714 },
    { 243, 709, 712, 713, 715 },
    { 241, 243, 716, 717 },
    { 239, 240, 241, 243 },
    { 240, 241, 249, 718 },
    { 240, 246, 247, 249, 250 },
    { 252, 699, 719, 720 },
    { 257, 699, 721, 722 },
    { 252, 257, 720, 722, 723 },
    { 252, 257, 724, 725 },
    { 251, 252, 254, 725 },
    { 206, 251, 254, 255, 725 },
    { 206, 255, 257, 725 },
    { 259, 263, 726, 727, 728, 729 },
    { 258, 259, 260, 730 },
    { 258, 259, 261, 262, 263, 264 },
    { 5, 10, 266, 274 },
    { 5, 266, 268, 731 },
    { 266, 274, 731, 732, 733 },
    { 2, 3, 270, 730 },
    { 3, 5, 8, 9, 270, 271 },
    { 5, 10, 271, 274 },
    { 276, 279, 280, 734, 735 },
    { 276, 277, 279, 735 },
    { 5, 276, 280, 734 },
    { 5, 276, 277, 282, 284 },
    { 292, 293, 736, 737 },
    { 301, 302, 737, 738 },
    { 285, 286, 287, 739 },
    { 285, 286, 288, 740 },
    { 285, 289, 290, 741 },
    { 285, 289, 291, 739 },
    { 292, 293, 295, 298 },
    { 293, 297, 298, 299, 300, 302 },
    { 297, 301, 302, 304 },
    { 329, 742, 743, 744 },
    { 323, 326, 745, 746, 747 },
    { 305, 306, 307, 308, 311, 748 },
    { 292, 306, 311, 313, 749 },
    { 292, 311, 312, 313, 750 },
    { 316, 317, 319, 320, 331 },
    { 319, 320, 323, 331 },
    { 316, 317, 324, 331 },
    { 316, 320, 323, 324, 327 },
    { 323, 329, 330, 331 },
    { 329, 331, 336, 751 },
    { 285, 329, 336, 337, 742, 752, 753, 754, 755 },
    { 324, 331, 336, 339 },
    { 285, 288, 336, 740 },
    { 324, 740, 756, 757, 758 },
    { 362, 365, 366, 759 },
    { 342, 343, 345, 760, 761 },
    { 342, 369, 760, 762, 763 },
    { 342, 346, 347, 349, 350 },
    { 285, 342, 346, 352, 354 },
    { 285, 352, 355, 379 },
    { 367, 368, 369, 764 },
    { 369, 379, 762, 764 },
    { 358, 360, 361, 362 },
    { 358, 362, 363, 366 },
    { 358, 361, 371, 765 },
    { 358, 366, 369, 371, 766, 767, 768, 769, 770 },
    { 368, 369, 370, 371 },
    { 361, 368, 371, 373 },
    { 285, 375, 376, 771 },
    { 375, 376, 377, 382 },
    { 375, 772, 773, 774 },
    { 375, 382, 772, 775 },
    { 285, 376, 379, 776 },
    { 376, 379, 380, 777 },
    { 367, 368, 379, 764 },
    { 367, 379, 777, 778 },
    { 382, 383, 385, 386, 388 },
    { 386, 388, 391, 392, 393, 395, 396, 779, 780 },
    { 403, 404, 408, 781 },
    { 398, 399, 401, 402, 408, 782 },
    { 401, 408, 410, 411 },
    { 405, 408, 409, 783, 784, 785 },
    { 403, 404, 405, 408 },
    { 408, 409, 410, 411 },
    { 414, 415, 417, 418, 786, 787 },
    { 11, 12, 420, 788 },
    { 422, 788, 789, 790 },
    { 398, 421, 422, 423, 788 },
    { 398, 403, 421, 781 },
    { 15, 171, 425, 427 },
    { 171, 427, 440, 791 },
    { 15, 427, 428, 792 },
    { 427, 429, 435, 792 },
    { 15, 18, 429, 793 },
    { 15, 430, 431, 793 },
    { 429, 431, 793, 794 },
    { 427, 432, 439, 440 },
    { 427, 429, 432, 433 },
    { 175, 436, 437, 679 },
    { 432, 440, 441, 442 },
    { 432, 442, 443, 795 },
    { 444, 449, 796, 797, 798 },
    { 449, 796, 799, 800 },
    { 19, 22, 444, 446 },
    { 19, 23, 446, 447, 451 },
    { 23, 26, 449, 451 },
    { 19, 23, 444, 449, 801 },
    { 444, 796, 799, 802 },
    { 444, 446, 802, 803, 804 },
    { 799, 800, 805, 806 },
    { 42, 451, 452, 454 },
    { 451, 453, 454, 472 },
    { 28, 30, 31, 33, 472 },
    { 30, 33, 446, 807 },
    { 33, 35, 47, 455, 457 },
    { 47, 446, 457, 460 },
    { 33, 446, 457, 458 },
    { 47, 446, 462, 463, 464 },
    { 799, 802, 808, 809 },
    { 37, 39, 466, 468 },
    { 41, 42, 46, 469 },
    { 37, 39, 41, 42, 471 },
    { 33, 469, 472, 473, 474 },
    { 42, 46, 469, 472 },
    { 33, 47, 49, 469 },
    { 476, 477, 479, 480, 487, 810 },
    { 483, 487, 490, 811 },
    { 481, 482, 483, 486, 487 },
    { 482, 483, 490, 491, 492, 493 },
    { 482, 486, 491, 497 },
    { 498, 799, 806, 812 },
    { 42, 51, 53, 498 },
    { 53, 498, 499, 501 },
    { 42, 53, 55, 59 },
    { 53, 59, 60, 499 },
    { 503, 504, 505, 507 },
    { 491, 504, 507, 508 },
    { 491, 507, 509, 510 },
    { 517, 813, 814, 815, 816, 817 },
    { 68, 69, 512, 513, 813, 814 },
    { 63, 64, 68, 69, 71 },
    { 64, 69, 71, 490 },
    { 64, 490, 491, 818 },
    { 63, 64, 68, 491 },
    { 503, 514, 516, 517 },
    { 68, 516, 517, 518 },
    { 68, 503, 516, 519 },
    { 68, 503, 504, 519 },
    { 63, 68, 491, 504 },
    { 517, 522, 523, 819, 820 },
    { 821, 822, 823, 824, 825, 826 },
    { 517, 524, 525, 527 },
    { 69, 517, 527, 528 },
    { 69, 525, 527, 530 },
    { 69, 525, 530, 532 },
    { 525, 532, 535, 536 },
    { 490, 532, 536, 537 },
    { 536, 538, 539, 540, 541, 542, 543, 827, 828 },
    { 525, 535, 536, 544, 545, 828 },
    { 436, 437, 549, 795 },
    { 436, 548, 549, 550 },
    { 47, 464, 552, 809, 829 },
    { 552, 799, 809, 830 },
    { 47, 79, 81, 552 },
    { 81, 550, 552, 553 },
    { 47, 81, 83, 555 },
    { 555, 557, 558, 559, 831, 832 },
    { 555, 557, 832, 833, 834 },
    { 562, 563, 565, 835 },
    { 835, 836, 837, 838, 839 },
    { 565, 570, 835, 839, 840 },
    { 568, 569, 570, 839 },
    { 562, 564, 565, 566 },
    { 566, 568, 570, 571 },
    { 431, 573, 574, 575 },
    { 431, 573, 578, 841 },
    { 15, 86, 431, 578 },
    { 573, 578, 579, 580 },
    { 582, 583, 584, 585, 842 },
    { 90, 582, 583, 587, 588 },
    { 587, 588, 843, 844 },
    { 562, 588, 844, 845 },
    { 568, 587, 844, 846 },
    { 590, 594, 847, 848 },
    { 589, 590, 592, 594 },
    { 93, 94, 592, 594 },
    { 590, 592, 597, 598 },
    { 114, 117, 119, 600 },
    { 99, 607, 633, 849 },
    { 98, 99, 607, 850 },
    { 98, 99, 601, 602, 603, 604 },
    { 607, 608, 610, 633 },
    { 119, 607, 610, 611 },
    { 98, 119, 607, 851 },
    { 98, 119, 603, 614 },
    { 119, 613, 614, 616 },
    { 852, 853, 854, 855, 856, 857 },
    { 131, 132, 617, 633 },
    { 93, 101, 103, 105, 106 },
    { 101, 621, 623, 633 },
    { 99, 604, 621, 633 },
    { 109, 111, 114, 624 },
    { 113, 114, 119, 624 },
    { 113, 119, 624, 858 },
    { 119, 121, 625, 858 },
    { 123, 627, 859, 860 },
    { 123, 124, 625, 627 },
    { 627, 859, 861, 862, 863 },
    { 119, 625, 629, 631 },
    { 119, 631, 859, 864 },
    { 123, 625, 631, 859 },
    { 624, 632, 865, 866, 867 },
    { 127, 129, 131, 632 },
    { 131, 134, 632, 633 },
    { 134, 632, 633, 868 },
    { 625, 633, 635, 868 },
    { 137, 636, 637, 640 },
    { 636, 639, 640, 642 },
    { 143, 640, 641, 642 },
    { 137, 636, 642, 644 },
    { 137, 139, 499, 644 },
    { 141, 155, 648, 651 },
    { 141, 155, 642, 649 },
    { 141, 143, 642, 651 },
    { 93, 146, 148, 650 },
    { 146, 650, 651, 653 },
    { 93, 655, 656, 659 },
    { 93, 146, 150, 659 },
    { 146, 655, 657, 659 },
    { 93, 153, 655, 661 },
    { 93, 154, 594, 661 },
    { 594, 655, 661, 662 },
    { 146, 155, 651, 664 },
    { 146, 155, 655, 666 },
    { 155, 158, 655, 669 },
    { 670, 671, 672, 675 },
    { 159, 169, 671, 675 },
    { 114, 159, 161, 613 },
    { 159, 165, 166, 613 },
    { 15, 159, 171, 425 },
    { 159, 171, 440, 675 },
    { 440, 670, 675, 869 },
    { 172, 175, 436, 679 },
    { 177, 178, 182, 680 },
    { 109, 186, 671, 682, 683 },
    { 109, 177, 182, 186 },
    { 670, 683, 685, 688 },
    { 182, 189, 683, 688 },
    { 182, 188, 689, 870 },
    { 182, 188, 688, 871 },
    { 670, 688, 871, 872 },
    { 190, 191, 690, 691 },
    { 195, 196, 670, 693 },
    { 196, 197, 198, 693 },
    { 203, 204, 670, 693 },
    { 203, 213, 670, 694 },
    { 206, 208, 212, 693 },
    { 206, 210, 212, 213 },
    { 198, 436, 873, 874 },
    { 216, 222, 257, 670 },
    { 216, 217, 220, 257 },
    { 213, 234, 670, 694, 698 },
    { 206, 210, 213, 230, 234 },
    { 223, 225, 257, 670 },
    { 225, 234, 670, 698 },
    { 206, 227, 231, 257 },
    { 206, 230, 231, 234 },
    { 217, 691, 699, 701 },
    { 236, 702, 704, 708, 711, 875 },
    { 243, 708, 709, 711, 712, 713 },
    { 240, 241, 243, 249, 716 },
    { 206, 240, 246, 249, 250, 876 },
    { 252, 257, 699, 720, 722 },
    { 206, 251, 252, 257, 725 },
    { 258, 259, 262, 263, 274, 727, 730, 731, 877 },
    { 5, 266, 274, 731 },
    { 3, 5, 270, 271, 274, 730 },
    { 277, 735, 878, 879 },
    { 5, 276, 277, 734, 735 },
    { 5, 301, 734, 880 },
    { 292, 293, 301, 302, 737 },
    { 285, 286, 739, 740 },
    { 285, 289, 739, 741 },
    { 292, 293, 297, 298, 301, 302 },
    { 323, 329, 742, 744 },
    { 323, 324, 326, 328, 746, 747 },
    { 292, 306, 308, 311, 750, 881 },
    { 316, 320, 323, 324, 331 },
    { 323, 329, 331, 742 },
    { 285, 329, 331, 336, 742 },
    { 285, 324, 331, 336 },
    { 285, 324, 336, 740 },
    { 292, 324, 740, 757 },
    { 362, 366, 759, 882 },
    { 342, 366, 369, 760, 761 },
    { 285, 342, 352, 369, 762 },
    { 285, 342, 346, 349, 883 },
    { 285, 352, 369, 379, 762 },
    { 368, 369, 379, 764 },
    { 358, 361, 362, 366 },
    { 358, 361, 366, 369, 371 },
    { 361, 368, 369, 371 },
    { 376, 382, 388, 395, 777 },
    { 285, 375, 376, 382 },
    { 375, 382, 772, 773 },
    { 285, 376, 379, 777 },
    { 367, 368, 379, 777 },
    { 382, 386, 388, 391, 393, 395, 777, 780, 884 },
    { 398, 403, 408, 781 },
    { 398, 401, 408, 411 },
    { 403, 405, 408, 409, 411 },
    { 415, 417, 786, 885 },
    { 11, 398, 420, 788 },
    { 398, 403, 421, 422, 788, 789 },
    { 15, 171, 427, 440 },
    { 15, 427, 429, 792 },
    { 15, 429, 431, 793 },
    { 429, 431, 574, 799 },
    { 427, 429, 432, 440 },
    { 429, 432, 799, 886 },
    { 436, 437, 679, 795 },
    { 440, 679, 795, 887 },
    { 432, 440, 442, 795 },
    { 449, 451, 799, 800 },
    { 444, 449, 796, 799 },
    { 19, 23, 444, 446, 449, 451 },
    { 444, 446, 799, 802 },
    { 451, 799, 800, 806 },
    { 42, 451, 454, 472 },
    { 30, 33, 446, 451, 472 },
    { 33, 47, 446, 457 },
    { 47, 446, 464, 809 },
    { 446, 799, 802, 809 },
    { 37, 39, 41, 42, 468, 469 },
    { 33, 42, 47, 469, 472 },
    { 476, 479, 486, 487, 810, 888 },
    { 482, 483, 486, 487, 490, 491 },
    { 42, 498, 799, 806 },
    { 42, 53, 498, 499 },
    { 42, 53, 59, 499 },
    { 137, 889, 890, 891 },
    { 491, 503, 504, 507 },
    { 491, 507, 509, 891 },
    { 68, 69, 517, 813, 814 },
    { 64, 68, 69, 490, 491 },
    { 68, 503, 516, 517 },
    { 68, 491, 503, 504 },
    { 503, 517, 522, 820, 892 },
    { 503, 525, 822, 823, 826, 892, 893, 894, 895 },
    { 69, 517, 525, 527 },
    { 69, 490, 525, 532 },
    { 436, 541, 896, 897 },
    { 490, 525, 532, 536 },
    { 525, 536, 540, 541, 544, 828 },
    { 490, 536, 541, 898 },
    { 436, 549, 550, 795 },
    { 47, 552, 799, 809 },
    { 47, 81, 550, 552 },
    { 47, 81, 550, 555 },
    { 47, 555, 557, 559, 833 },
    { 562, 565, 835, 836 },
    { 565, 570, 835, 836, 839 },
    { 568, 570, 836, 839 },
    { 562, 565, 566, 568, 570 },
    { 431, 573, 574, 799 },
    { 15, 431, 573, 578 },
    { 15, 86, 562, 578 },
    { 562, 573, 578, 580 },
    { 582, 583, 587, 588, 842 },
    { 562, 568, 587, 588, 844 },
    { 93, 94, 568, 899, 900 },
    { 590, 594, 799, 847 },
    { 93, 590, 592, 594 },
    { 93, 94, 568, 592 },
    { 568, 590, 592, 598 },
    { 114, 119, 600, 613 },
    { 99, 604, 607, 633 },
    { 98, 99, 603, 604, 607 },
    { 119, 607, 610, 633 },
    { 98, 119, 603, 607 },
    { 119, 603, 613, 614 },
    { 15, 93, 853, 854, 855, 901 },
    { 101, 131, 617, 633 },
    { 93, 101, 105, 604 },
    { 101, 604, 621, 633 },
    { 109, 114, 119, 624 },
    { 119, 624, 625, 858 },
    { 123, 625, 627, 859 },
    { 124, 625, 627, 633 },
    { 119, 627, 633, 859, 861 },
    { 119, 625, 631, 859 },
    { 624, 625, 632, 865 },
    { 109, 127, 624, 632, 902, 903 },
    { 127, 131, 632, 633 },
    { 625, 632, 633, 868 },
    { 137, 636, 640, 642 },
    { 143, 640, 642, 651 },
    { 137, 499, 642, 644 },
    { 498, 499, 642, 799 },
    { 141, 155, 642, 651 },
    { 155, 642, 669, 799 },
    { 93, 146, 650, 651 },
    { 93, 146, 655, 659 },
    { 93, 594, 655, 661 },
    { 594, 655, 799, 847 },
    { 146, 155, 651, 655 },
    { 155, 655, 669, 799 },
    { 159, 670, 671, 675 },
    { 109, 114, 159, 613 },
    { 15, 159, 165, 613 },
    { 159, 440, 670, 675 },
    { 15, 159, 171, 440 },
    { 172, 196, 436, 670 },
    { 172, 440, 670, 869 },
    { 172, 436, 440, 679 },
    { 109, 177, 182, 680 },
    { 109, 670, 671, 683 },
    { 109, 182, 186, 683 },
    { 182, 670, 683, 688 },
    { 182, 188, 870, 871 },
    { 182, 670, 688, 871 },
    { 191, 670, 871, 872 },
    { 191, 216, 670, 691 },
    { 191, 690, 691, 871 },
    { 196, 198, 436, 670 },
    { 196, 198, 670, 693 },
    { 203, 213, 670, 693 },
    { 206, 212, 213, 693 },
    { 198, 436, 693, 873 },
    { 216, 217, 670, 691 },
    { 216, 217, 257, 670 },
    { 206, 213, 234, 670 },
    { 225, 234, 257, 670 },
    { 206, 231, 234, 257 },
    { 217, 257, 691, 699 },
    { 240, 243, 708, 711, 712, 875 },
    { 206, 240, 243, 249, 716, 904 },
    { 206, 251, 252, 257, 699 },
    { 3, 5, 258, 262, 274, 277, 730, 731, 877 },
    { 5, 277, 301, 734, 735, 878 },
    { 5, 292, 301, 737 },
    { 285, 292, 739, 740 },
    { 285, 301, 739, 741 },
    { 292, 297, 298, 301, 739 },
    { 323, 742, 744, 881 },
    { 292, 323, 324, 747, 750, 881 },
    { 285, 323, 324, 331, 742 },
    { 285, 292, 324, 740 },
    { 362, 366, 882, 883 },
    { 285, 342, 366, 369, 883 },
    { 285, 368, 369, 379 },
    { 361, 362, 366, 368, 369 },
    { 285, 376, 382, 777 },
    { 285, 375, 382, 773 },
    { 285, 368, 379, 777 },
    { 368, 382, 773, 777, 884, 905 },
    { 398, 403, 408, 411 },
    { 403, 415, 417, 789, 885 },
    { 11, 398, 403, 788, 789 },
    { 15, 427, 429, 440 },
    { 15, 429, 431, 799 },
    { 429, 432, 440, 799 },
    { 436, 440, 679, 795 },
    { 432, 440, 795, 799 },
    { 444, 446, 449, 451, 799 },
    { 42, 451, 799, 806 },
    { 33, 42, 47, 446, 451, 472 },
    { 47, 446, 799, 809 },
    { 37, 42, 47, 468, 469, 833, 906, 907, 908 },
    { 486, 487, 490, 491, 810, 909 },
    { 42, 498, 499, 799 },
    { 42, 59, 137, 499 },
    { 137, 503, 889, 891 },
    { 137, 491, 509, 891 },
    { 491, 503, 507, 891 },
    { 68, 69, 490, 491, 517 },
    { 68, 491, 503, 517 },
    { 503, 517, 525, 820, 892, 893, 894, 895, 910 },
    { 69, 490, 517, 525 },
    { 436, 525, 541, 897 },
    { 436, 490, 541, 898 },
    { 490, 525, 536, 541 },
    { 436, 550, 795, 799 },
    { 47, 550, 552, 799 },
    { 47, 436, 550, 555 },
    { 47, 490, 555, 833 },
    { 562, 565, 568, 570, 836 },
    { 15, 431, 573, 799 },
    { 15, 562, 573, 578 },
    { 562, 573, 799, 836 },
    { 562, 568, 587, 588, 842 },
    { 15, 93, 842, 853, 854 },
    { 93, 568, 842, 899, 900 },
    { 93, 590, 594, 799 },
    { 93, 568, 590, 592 },
    { 568, 590, 799, 836 },
    { 109, 114, 119, 613 },
    { 119, 603, 604, 607, 633 },
    { 15, 119, 603, 613 },
    { 15, 93, 603, 604, 901, 911 },
    { 101, 127, 131, 633 },
    { 93, 101, 604, 633 },
    { 109, 119, 624, 625 },
    { 119, 625, 627, 633, 859 },
    { 109, 127, 624, 625, 632 },
    { 127, 625, 632, 633 },
    { 137, 640, 642, 651 },
    { 137, 499, 642, 799 },
    { 155, 642, 651, 799 },
    { 93, 146, 651, 655 },
    { 93, 594, 655, 799 },
    { 155, 651, 655, 799 },
    { 109, 159, 670, 671 },
    { 15, 109, 159, 613 },
    { 15, 159, 440, 670 },
    { 172, 436, 440, 670 },
    { 109, 182, 680, 870 },
    { 109, 182, 670, 683 },
    { 182, 670, 870, 871 },
    { 191, 670, 691, 871 },
    { 198, 436, 670, 693 },
    { 206, 213, 670, 693 },
    { 206, 436, 693, 873 },
    { 217, 257, 670, 691 },
    { 206, 234, 257, 670 },
    { 206, 257, 691, 699 },
    { 206, 240, 243, 251, 712, 904 },
    { 206, 251, 691, 699, 912 },
    { 3, 5, 277, 292, 301, 878, 881, 913, 914 },
    { 285, 292, 301, 739 },
    { 285, 292, 323, 324, 742, 881 },
    { 285, 362, 366, 368, 369, 883 },
    { 285, 368, 382, 773, 777 },
    { 368, 773, 905, 915, 916, 917, 918, 919, 920 },
    { 11, 398, 403, 411 },
    { 11, 403, 789, 885 },
    { 15, 429, 440, 799 },
    { 436, 440, 795, 799 },
    { 42, 47, 446, 451, 799 },
    { 37, 42, 47, 490, 491, 833, 906, 907, 909 },
    { 42, 137, 499, 799 },
    { 42, 59, 137, 491 },
    { 137, 491, 503, 891 },
    { 490, 491, 503, 517, 525 },
    { 436, 490, 525, 541 },
    { 47, 436, 550, 799 },
    { 47, 436, 490, 555 },
    { 562, 568, 799, 836 },
    { 15, 562, 573, 799 },
    { 15, 93, 562, 568, 842 },
    { 93, 568, 590, 799 },
    { 15, 109, 119, 613 },
    { 15, 93, 119, 603, 604, 633 },
    { 93, 101, 127, 633 },
    { 109, 119, 127, 625, 633 },
    { 137, 642, 651, 799 },
    { 93, 651, 655, 799 },
    { 15, 109, 159, 670 },
    { 15, 436, 440, 670 },
    { 109, 182, 670, 870 },
    { 670, 691, 870, 871 },
    { 206, 436, 670, 693 },
    { 206, 257, 670, 691 },
    { 206, 251, 436, 691, 904, 912, 921, 922, 923 },
    { 285, 292, 301, 742, 878, 881, 883, 913, 914 },
    { 285, 362, 368, 883, 915 },
    { 285, 368, 773, 915, 916 },
    { 11, 403, 411, 885, 924 },
    { 15, 436, 440, 799 },
    { 42, 47, 490, 491, 799 },
    { 42, 137, 491, 799 },
    { 137, 436, 490, 491, 503, 525 },
    { 47, 436, 490, 799 },
    { 15, 93, 562, 568, 799 },
    { 15, 93, 109, 119, 127, 633 },
    { 93, 137, 651, 799 },
    { 15, 109, 436, 670 },
    { 109, 670, 691, 870 },
    { 206, 436, 670, 691 },
    { 285, 742, 883, 915, 916, 925 },
    { 11, 885, 915, 924 },
    { 15, 109, 436, 799 },
    { 137, 436, 490, 491, 799 },
    { 15, 93, 109, 127, 799 },
    { 93, 127, 137, 799 },
    { 109, 436, 670, 691 },
    { 137, 436, 691, 885, 915, 916, 924, 925, 926 },
    { 109, 127, 137, 436, 799 },
    { 109, 127, 137, 436, 691, 885, 924, 926, 927 }
]
/* 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 }
    ],
    [
        { 3, 4, 9 },
        { 1, 3, 4 },
        { 1, 4, 9 },
        { 1, 3, 9 }
    ],
    [
        { 6, 7, 10 },
        { 5, 6, 7 },
        { 5, 7, 10 },
        { 5, 6, 10 }
    ],
    [
        { 12, 13, 14 },
        { 11, 13, 14 },
        { 11, 12, 14 },
        { 11, 12, 13 }
    ],
    [
        { 16, 17, 18 },
        { 15, 17, 18 },
        { 15, 16, 18 },
        { 15, 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 }
    ],
    [
        { 30, 31, 32 },
        { 27, 30, 32 },
        { 27, 31, 32 },
        { 27, 30, 31 }
    ],
    [
        { 34, 35, 36 },
        { 33, 35, 36 },
        { 33, 34, 36 },
        { 33, 34, 35 }
    ],
    [
        { 38, 39, 40 },
        { 37, 39, 40 },
        { 37, 38, 40 },
        { 37, 38, 39 }
    ],
    [
        { 42, 43, 44 },
        { 41, 43, 44 },
        { 41, 42, 44 },
        { 41, 42, 43 }
    ],
    [
        { 44, 45, 46 },
        { 42, 44, 46 },
        { 42, 44, 45 },
        { 42, 45, 46 }
    ],
    [
        { 48, 49, 50 },
        { 47, 49, 50 },
        { 47, 48, 50 },
        { 47, 48, 49 }
    ],
    [
        { 52, 53, 54 },
        { 51, 53, 54 },
        { 51, 52, 54 },
        { 51, 52, 53 }
    ],
    [
        { 55, 56, 57 },
        { 42, 56, 57 },
        { 42, 55, 57 },
        { 42, 55, 56 }
    ],
    [
        { 57, 58, 59 },
        { 55, 57, 59 },
        { 55, 57, 58 },
        { 55, 58, 59 }
    ],
    [
        { 60, 61, 62 },
        { 53, 61, 62 },
        { 53, 60, 62 },
        { 53, 60, 61 }
    ],
    [
        { 64, 65, 66 },
        { 63, 65, 66 },
        { 63, 64, 66 },
        { 63, 64, 65 }
    ],
    [
        { 68, 69, 70 },
        { 67, 69, 70 },
        { 67, 68, 70 },
        { 67, 68, 69 }
    ],
    [
        { 63, 65, 71, 72 },
        { 67, 71, 72 },
        { 63, 67, 71 },
        { 65, 67, 72 },
        { 63, 65, 67 }
    ],
    [
        { 74, 75, 76, 77 },
        { 73, 75, 76, 78 },
        { 73, 74, 75 },
        { 73, 74, 77, 78 },
        { 76, 77, 78 }
    ],
    [
        { 80, 81, 82 },
        { 79, 81, 82 },
        { 79, 80, 82 },
        { 79, 80, 81 }
    ],
    [
        { 83, 84, 85 },
        { 47, 84, 85 },
        { 47, 83, 85 },
        { 47, 83, 84 }
    ],
    [
        { 86, 87, 88 },
        { 15, 87, 88 },
        { 15, 86, 88 },
        { 15, 86, 87 }
    ],
    [
        { 90, 91, 92 },
        { 89, 91, 92 },
        { 89, 90, 92 },
        { 89, 90, 91 }
    ],
    [
        { 94, 95, 96 },
        { 93, 95, 96 },
        { 93, 94, 96 },
        { 93, 94, 95 }
    ],
    [
        { 98, 99, 100 },
        { 97, 99, 100 },
        { 97, 98, 100 },
        { 97, 98, 99 }
    ],
    [
        { 102, 103, 104 },
        { 101, 103, 104 },
        { 101, 102, 104 },
        { 101, 102, 103 }
    ],
    [
        { 106, 107, 108 },
        { 105, 107, 108 },
        { 105, 106, 108 },
        { 105, 106, 107 }
    ],
    [
        { 110, 111, 112 },
        { 109, 111, 112 },
        { 109, 110, 112 },
        { 109, 110, 111 }
    ],
    [
        { 114, 115, 116 },
        { 113, 115, 116 },
        { 113, 114, 116 },
        { 113, 114, 115 }
    ],
    [
        { 114, 117, 118 },
        { 113, 117, 118 },
        { 113, 114, 118 },
        { 113, 114, 117 }
    ],
    [
        { 120, 121, 122 },
        { 119, 121, 122 },
        { 119, 120, 122 },
        { 119, 120, 121 }
    ],
    [
        { 124, 125, 126 },
        { 123, 125, 126 },
        { 123, 124, 126 },
        { 123, 124, 125 }
    ],
    [
        { 128, 129, 130 },
        { 127, 129, 130 },
        { 127, 128, 130 },
        { 127, 128, 129 }
    ],
    [
        { 132, 133, 134 },
        { 131, 133, 134 },
        { 131, 132, 134 },
        { 131, 132, 133 }
    ],
    [
        { 134, 135, 136 },
        { 131, 134, 136 },
        { 131, 134, 135 },
        { 131, 135, 136 }
    ],
    [
        { 138, 139, 140 },
        { 137, 139, 140 },
        { 137, 138, 140 },
        { 137, 138, 139 }
    ],
    [
        { 142, 143, 144 },
        { 141, 143, 144 },
        { 141, 142, 144 },
        { 141, 142, 143 }
    ],
    [
        { 146, 147, 148 },
        { 145, 147, 148 },
        { 145, 146, 148 },
        { 145, 146, 147 }
    ],
    [
        { 93, 148, 150 },
        { 148, 149, 150 },
        { 93, 148, 149 },
        { 93, 149, 150 }
    ],
    [
        { 151, 152, 153 },
        { 93, 152, 153 },
        { 93, 151, 153 },
        { 93, 151, 152 }
    ],
    [
        { 93, 95, 153 },
        { 95, 153, 154 },
        { 93, 153, 154 },
        { 93, 95, 154 }
    ],
    [
        { 156, 157, 158 },
        { 155, 157, 158 },
        { 155, 156, 158 },
        { 155, 156, 157 }
    ],
    [
        { 160, 161, 162 },
        { 159, 161, 162 },
        { 159, 160, 162 },
        { 159, 160, 161 }
    ],
    [
        { 161, 163, 164 },
        { 114, 163, 164 },
        { 114, 161, 164 },
        { 114, 161, 163 }
    ],
    [
        { 166, 167, 168 },
        { 165, 167, 168 },
        { 165, 166, 168 },
        { 165, 166, 167 }
    ],
    [
        { 169, 170, 171 },
        { 159, 170, 171 },
        { 159, 169, 171 },
        { 159, 169, 170 }
    ],
    [
        { 173, 174, 175 },
        { 172, 174, 175 },
        { 172, 173, 175 },
        { 172, 173, 174 }
    ],
    [
        { 177, 178, 179 },
        { 176, 178, 179 },
        { 176, 177, 179 },
        { 176, 177, 178 }
    ],
    [
        { 178, 180, 181 },
        { 177, 178, 181 },
        { 177, 178, 180 },
        { 177, 180, 181 }
    ],
    [
        { 178, 182, 183 },
        { 178, 180, 183 },
        { 178, 180, 182 },
        { 180, 182, 183 }
    ],
    [
        { 177, 184, 185 },
        { 109, 184, 185 },
        { 109, 177, 185 },
        { 109, 177, 184 }
    ],
    [
        { 180, 185, 186 },
        { 177, 180, 185 },
        { 177, 185, 186 },
        { 177, 180, 186 }
    ],
    [
        { 182, 188, 189 },
        { 187, 188, 189 },
        { 182, 187, 189 },
        { 182, 187, 188 }
    ],
    [
        { 191, 192, 193 },
        { 190, 192, 193 },
        { 190, 191, 193 },
        { 190, 191, 192 }
    ],
    [
        { 195, 196, 197 },
        { 194, 196, 197 },
        { 194, 195, 197 },
        { 194, 195, 196 }
    ],
    [
        { 198, 199, 200 },
        { 196, 199, 200 },
        { 196, 198, 200 },
        { 196, 198, 199 }
    ],
    [
        { 196, 197, 200 },
        { 194, 197, 200 },
        { 194, 196, 197 },
        { 194, 196, 200 }
    ],
    [
        { 197, 200, 201 },
        { 197, 198, 201 },
        { 198, 200, 201 },
        { 197, 198, 200 }
    ],
    [
        { 203, 204, 205 },
        { 202, 204, 205 },
        { 202, 203, 205 },
        { 202, 203, 204 }
    ],
    [
        { 207, 208, 209 },
        { 206, 208, 209 },
        { 206, 207, 209 },
        { 206, 207, 208 }
    ],
    [
        { 206, 208, 209 },
        { 208, 209, 210 },
        { 206, 209, 210 },
        { 206, 208, 210 }
    ],
    [
        { 208, 211, 212 },
        { 208, 210, 212 },
        { 208, 210, 211 },
        { 210, 211, 212 }
    ],
    [
        { 212, 213, 214 },
        { 211, 212, 214 },
        { 211, 213, 214 },
        { 211, 212, 213 }
    ],
    [
        { 216, 217, 218 },
        { 215, 217, 218 },
        { 215, 216, 218 },
        { 215, 216, 217 }
    ],
    [
        { 218, 219, 220 },
        { 216, 218, 220 },
        { 216, 218, 219 },
        { 216, 219, 220 }
    ],
    [
        { 218, 220, 221 },
        { 217, 218, 221 },
        { 217, 218, 220 },
        { 217, 220, 221 }
    ],
    [
        { 219, 220, 222 },
        { 216, 219, 220 },
        { 216, 220, 222 },
        { 216, 219, 222 }
    ],
    [
        { 224, 225, 226 },
        { 223, 225, 226 },
        { 223, 224, 226 },
        { 223, 224, 225 }
    ],
    [
        { 206, 228, 229 },
        { 227, 228, 229 },
        { 206, 227, 229 },
        { 206, 227, 228 }
    ],
    [
        { 206, 228, 230 },
        { 227, 228, 230 },
        { 206, 227, 228 },
        { 206, 227, 230 }
    ],
    [
        { 227, 230, 232 },
        { 230, 231, 232 },
        { 227, 231, 232 },
        { 227, 230, 231 }
    ],
    [
        { 232, 233, 234 },
        { 231, 232, 234 },
        { 231, 232, 233 },
        { 231, 233, 234 }
    ],
    [
        { 236, 237, 238 },
        { 235, 237, 238 },
        { 235, 236, 238 },
        { 235, 236, 237 }
    ],
    [
        { 240, 241, 242 },
        { 239, 241, 242 },
        { 239, 240, 242 },
        { 239, 240, 241 }
    ],
    [
        { 241, 243, 244 },
        { 239, 241, 244 },
        { 239, 241, 243 },
        { 239, 243, 244 }
    ],
    [
        { 245, 246, 247 },
        { 240, 246, 247 },
        { 240, 245, 247 },
        { 240, 245, 246 }
    ],
    [
        { 247, 249, 250 },
        { 247, 248, 250 },
        { 247, 248, 249 },
        { 248, 249, 250 }
    ],
    [
        { 252, 253, 254 },
        { 251, 253, 254 },
        { 251, 252, 254 },
        { 251, 252, 253 }
    ],
    [
        { 206, 255, 256 },
        { 206, 251, 256 },
        { 206, 251, 254, 255 },
        { 251, 254, 256 },
        { 254, 255, 256 }
    ],
    [
        { 206, 229, 257 },
        { 229, 255, 257 },
        { 206, 229, 255 },
        { 206, 255, 257 }
    ],
    [
        { 259, 260, 261 },
        { 258, 260, 261 },
        { 258, 259, 261 },
        { 258, 259, 260 }
    ],
    [
        { 263, 264, 265 },
        { 262, 264, 265 },
        { 262, 263, 265 },
        { 262, 263, 264 }
    ],
    [
        { 10, 266, 267 },
        { 5, 10, 267 },
        { 5, 266, 267 },
        { 5, 10, 266 }
    ],
    [
        { 266, 268, 269 },
        { 5, 266, 269 },
        { 5, 268, 269 },
        { 5, 266, 268 }
    ],
    [
        { 3, 4, 270 },
        { 2, 4, 270 },
        { 2, 3, 4 },
        { 2, 3, 270 }
    ],
    [
        { 7, 8, 271 },
        { 5, 7, 8 },
        { 5, 8, 271 },
        { 5, 7, 271 }
    ],
    [
        { 3, 4, 270 },
        { 4, 9, 270 },
        { 3, 4, 9 },
        { 3, 9, 270 }
    ],
    [
        { 8, 9, 270, 271 },
        { 270, 271, 272, 273 },
        { 9, 270, 272 },
        { 8, 9, 272, 273 },
        { 8, 271, 273 }
    ],
    [
        { 7, 10, 271 },
        { 5, 7, 10 },
        { 5, 7, 271 },
        { 5, 10, 271 }
    ],
    [
        { 10, 274, 275 },
        { 10, 271, 275 },
        { 10, 271, 274 },
        { 271, 274, 275 }
    ],
    [
        { 277, 278, 279 },
        { 276, 278, 279 },
        { 276, 277, 279 },
        { 276, 277, 278 }
    ],
    [
        { 276, 280, 281 },
        { 5, 280, 281 },
        { 5, 276, 281 },
        { 5, 276, 280 }
    ],
    [
        { 276, 283, 284 },
        { 282, 283, 284 },
        { 276, 282, 284 },
        { 276, 282, 283 }
    ],
    [
        { 286, 287, 288 },
        { 285, 287, 288 },
        { 285, 286, 288 },
        { 285, 286, 287 }
    ],
    [
        { 289, 290, 291 },
        { 285, 290, 291 },
        { 285, 289, 291 },
        { 285, 289, 290 }
    ],
    [
        { 293, 294, 295 },
        { 292, 294, 295 },
        { 292, 293, 295 },
        { 292, 293, 294 }
    ],
    [
        { 297, 298, 299, 300 },
        { 296, 297, 299 },
        { 296, 297, 298 },
        { 296, 298, 300 },
        { 296, 299, 300 }
    ],
    [
        { 302, 303, 304 },
        { 301, 303, 304 },
        { 301, 302, 304 },
        { 301, 302, 303 }
    ],
    [
        { 305, 307, 309, 310 },
        { 305, 306, 307, 308 },
        { 306, 308, 309, 310 },
        { 305, 308, 309 },
        { 306, 307, 310 }
    ],
    [
        { 312, 313, 314, 315 },
        { 311, 313, 314 },
        { 311, 312, 313 },
        { 311, 312, 315 },
        { 311, 314, 315 }
    ],
    [
        { 317, 318, 319, 321 },
        { 316, 317, 319, 320 },
        { 316, 317, 318 },
        { 316, 318, 320, 321 },
        { 319, 320, 321 }
    ],
    [
        { 319, 320, 323 },
        { 319, 320, 322 },
        { 320, 322, 323 },
        { 319, 322, 323 }
    ],
    [
        { 317, 324, 325 },
        { 316, 317, 325 },
        { 316, 317, 324 },
        { 316, 324, 325 }
    ],
    [
        { 320, 323, 327 },
        { 320, 326, 327 },
        { 323, 326, 327 },
        { 320, 323, 326 }
    ],
    [
        { 324, 327, 328 },
        { 316, 327, 328 },
        { 316, 324, 327 },
        { 316, 324, 328 }
    ],
    [
        { 330, 331, 332 },
        { 329, 331, 332 },
        { 329, 330, 332 },
        { 329, 330, 331 }
    ],
    [
        { 323, 331, 333 },
        { 323, 330, 333 },
        { 330, 331, 333 },
        { 323, 330, 331 }
    ],
    [
        { 329, 334, 336 },
        { 329, 334, 335 },
        { 329, 336, 337 },
        { 329, 335, 337 },
        { 334, 336, 338 },
        { 335, 337, 338 },
        { 334, 335, 338 },
        { 336, 337, 338 }
    ],
    [
        { 331, 339, 340 },
        { 324, 339, 340 },
        { 324, 331, 340 },
        { 324, 331, 339 }
    ],
    [
        { 336, 339, 341 },
        { 331, 339, 341 },
        { 331, 336, 339 },
        { 331, 336, 341 }
    ],
    [
        { 343, 344, 345 },
        { 342, 344, 345 },
        { 342, 343, 345 },
        { 342, 343, 344 }
    ],
    [
        { 346, 348, 349, 351 },
        { 346, 347, 349, 350 },
        { 346, 347, 348 },
        { 347, 348, 350, 351 },
        { 349, 350, 351 }
    ],
    [
        { 285, 352, 353 },
        { 285, 346, 353 },
        { 285, 346, 352, 354 },
        { 346, 353, 354 },
        { 352, 353, 354 }
    ],
    [
        { 285, 352, 356, 357 },
        { 285, 355, 356 },
        { 285, 352, 355 },
        { 352, 355, 357 },
        { 355, 356, 357 }
    ],
    [
        { 359, 360, 361 },
        { 358, 360, 361 },
        { 358, 359, 361 },
        { 358, 359, 360 }
    ],
    [
        { 362, 363, 364 },
        { 358, 363, 364 },
        { 358, 362, 364 },
        { 358, 362, 363 }
    ],
    [
        { 363, 365, 366 },
        { 362, 363, 366 },
        { 362, 363, 365 },
        { 362, 365, 366 }
    ],
    [
        { 368, 369, 370 },
        { 367, 369, 370 },
        { 367, 368, 370 },
        { 367, 368, 369 }
    ],
    [
        { 370, 371, 372 },
        { 368, 371, 372 },
        { 368, 370, 372 },
        { 368, 370, 371 }
    ],
    [
        { 371, 373, 374 },
        { 361, 373, 374 },
        { 361, 371, 374 },
        { 361, 371, 373 }
    ],
    [
        { 376, 377, 378 },
        { 375, 377, 378 },
        { 375, 376, 378 },
        { 375, 376, 377 }
    ],
    [
        { 379, 380, 381 },
        { 376, 380, 381 },
        { 376, 379, 381 },
        { 376, 379, 380 }
    ],
    [
        { 383, 384, 385 },
        { 382, 384, 385 },
        { 382, 383, 385 },
        { 382, 383, 384 }
    ],
    [
        { 382, 385, 387 },
        { 385, 386, 387 },
        { 382, 385, 386 },
        { 382, 386, 387 }
    ],
    [
        { 383, 388, 389 },
        { 382, 383, 389 },
        { 382, 388, 389 },
        { 382, 383, 388 }
    ],
    [
        { 391, 392, 393 },
        { 390, 392, 393 },
        { 390, 391, 393, 394 },
        { 391, 392, 394 },
        { 390, 392, 394 }
    ],
    [
        { 391, 395, 397 },
        { 391, 392, 397 },
        { 391, 392, 395, 396 },
        { 392, 396, 397 },
        { 395, 396, 397 }
    ],
    [
        { 399, 400, 401 },
        { 398, 400, 401 },
        { 398, 399, 401, 402 },
        { 398, 400, 402 },
        { 399, 400, 402 }
    ],
    [
        { 404, 405, 406 },
        { 403, 405, 406 },
        { 403, 404, 406 },
        { 403, 404, 405 }
    ],
    [
        { 404, 405, 408 },
        { 405, 407, 408 },
        { 404, 407, 408 },
        { 404, 405, 407 }
    ],
    [
        { 410, 411, 412 },
        { 409, 411, 412 },
        { 409, 410, 412 },
        { 409, 410, 411 }
    ],
    [
        { 408, 410, 413 },
        { 408, 409, 413 },
        { 409, 410, 413 },
        { 408, 409, 410 }
    ],
    [
        { 415, 416, 417, 419 },
        { 414, 415, 417, 418 },
        { 414, 416, 418, 419 },
        { 415, 416, 418 },
        { 414, 417, 419 }
    ],
    [
        { 12, 13, 420 },
        { 11, 12, 13 },
        { 11, 13, 420 },
        { 11, 12, 420 }
    ],
    [
        { 422, 423, 424 },
        { 421, 423, 424 },
        { 421, 422, 424 },
        { 421, 422, 423 }
    ],
    [
        { 171, 426, 427 },
        { 171, 425, 427 },
        { 425, 426, 427 },
        { 171, 425, 426 }
    ],
    [
        { 15, 427, 428 },
        { 425, 427, 428 },
        { 15, 425, 427 },
        { 15, 425, 428 }
    ],
    [
        { 17, 18, 429 },
        { 15, 17, 18 },
        { 15, 18, 429 },
        { 15, 17, 429 }
    ],
    [
        { 15, 87, 431 },
        { 87, 430, 431 },
        { 15, 430, 431 },
        { 15, 87, 430 }
    ],
    [
        { 429, 433, 434 },
        { 432, 433, 434 },
        { 429, 432, 434 },
        { 429, 432, 433 }
    ],
    [
        { 427, 429, 433 },
        { 427, 433, 435 },
        { 427, 429, 435 },
        { 429, 433, 435 }
    ],
    [
        { 175, 437, 438 },
        { 175, 436, 438 },
        { 436, 437, 438 },
        { 175, 436, 437 }
    ],
    [
        { 432, 440, 441 },
        { 439, 440, 441 },
        { 432, 439, 441 },
        { 432, 439, 440 }
    ],
    [
        { 441, 442, 443 },
        { 432, 441, 443 },
        { 432, 442, 443 },
        { 432, 441, 442 }
    ],
    [
        { 22, 445, 446 },
        { 22, 444, 446 },
        { 22, 444, 445 },
        { 444, 445, 446 }
    ],
    [
        { 19, 20, 22 },
        { 20, 22, 446 },
        { 19, 22, 446 },
        { 19, 20, 446 }
    ],
    [
        { 19, 23, 448 },
        { 19, 447, 448 },
        { 23, 447, 448 },
        { 19, 23, 447 }
    ],
    [
        { 26, 450, 451 },
        { 26, 449, 451 },
        { 26, 449, 450 },
        { 449, 450, 451 }
    ],
    [
        { 23, 24, 26 },
        { 24, 26, 451 },
        { 23, 26, 451 },
        { 23, 24, 451 }
    ],
    [
        { 451, 453, 454 },
        { 451, 452, 454 },
        { 452, 453, 454 },
        { 451, 452, 453 }
    ],
    [
        { 28, 30, 31 },
        { 27, 30, 31 },
        { 27, 28, 30 },
        { 27, 28, 31 }
    ],
    [
        { 33, 35, 36 },
        { 33, 36, 47 },
        { 33, 35, 47, 455 },
        { 36, 47, 455 },
        { 35, 36, 455 }
    ],
    [
        { 35, 456, 457 },
        { 33, 456, 457 },
        { 33, 35, 457 },
        { 33, 35, 456 }
    ],
    [
        { 33, 446, 459 },
        { 446, 458, 459 },
        { 33, 458, 459 },
        { 33, 446, 458 }
    ],
    [
        { 446, 457, 460 },
        { 446, 457, 458 },
        { 457, 458, 460 },
        { 446, 458, 460 }
    ],
    [
        { 461, 462, 463 },
        { 446, 462, 463 },
        { 446, 461, 463 },
        { 446, 461, 462 }
    ],
    [
        { 446, 460, 463 },
        { 47, 446, 463 },
        { 47, 460, 463 },
        { 47, 446, 460 }
    ],
    [
        { 462, 464, 465 },
        { 446, 462, 465 },
        { 446, 464, 465 },
        { 446, 462, 464 }
    ],
    [
        { 37, 38, 39 },
        { 38, 39, 466 },
        { 37, 39, 466 },
        { 37, 38, 466 }
    ],
    [
        { 39, 466, 468 },
        { 39, 467, 468 },
        { 39, 466, 467 },
        { 466, 467, 468 }
    ],
    [
        { 41, 46, 470 },
        { 46, 469, 470 },
        { 41, 469, 470 },
        { 41, 46, 469 }
    ],
    [
        { 42, 44, 46 },
        { 41, 44, 46 },
        { 41, 42, 44 },
        { 41, 42, 46 }
    ],
    [
        { 39, 40, 471 },
        { 37, 39, 40 },
        { 37, 40, 471 },
        { 37, 39, 471 }
    ],
    [
        { 42, 43, 471 },
        { 41, 43, 471 },
        { 41, 42, 471 },
        { 41, 42, 43 }
    ],
    [
        { 28, 472, 473 },
        { 33, 472, 473, 474 },
        { 28, 31, 33, 472 },
        { 28, 31, 473, 474 },
        { 31, 33, 474 }
    ],
    [
        { 45, 46, 472 },
        { 42, 46, 472 },
        { 42, 45, 46 },
        { 42, 45, 472 }
    ],
    [
        { 33, 49, 475 },
        { 49, 469, 475 },
        { 33, 49, 469 },
        { 33, 469, 475 }
    ],
    [
        { 33, 48, 49 },
        { 33, 47, 49 },
        { 47, 48, 49 },
        { 33, 47, 48 }
    ],
    [
        { 476, 478, 479 },
        { 476, 477, 479, 480 },
        { 476, 477, 478 },
        { 478, 479, 480 },
        { 477, 478, 480 }
    ],
    [
        { 482, 483, 484, 485 },
        { 481, 483, 484 },
        { 481, 482, 483 },
        { 481, 482, 485 },
        { 481, 484, 485 }
    ],
    [
        { 486, 487, 488, 489 },
        { 481, 487, 488 },
        { 481, 486, 487 },
        { 481, 488, 489 },
        { 481, 486, 489 }
    ],
    [
        { 491, 492, 494 },
        { 490, 491, 494, 495 },
        { 490, 491, 492, 493 },
        { 492, 493, 494, 495 },
        { 490, 493, 495 }
    ],
    [
        { 486, 496, 497 },
        { 486, 491, 497 },
        { 491, 496, 497 },
        { 486, 491, 496 }
    ],
    [
        { 51, 53, 54 },
        { 53, 54, 498 },
        { 51, 54, 498 },
        { 51, 53, 498 }
    ],
    [
        { 499, 500, 501 },
        { 498, 500, 501 },
        { 498, 499, 501 },
        { 498, 499, 500 }
    ],
    [
        { 55, 57, 59 },
        { 42, 57, 59 },
        { 42, 55, 57 },
        { 42, 55, 59 }
    ],
    [
        { 53, 59, 60 },
        { 53, 60, 502 },
        { 59, 60, 502 },
        { 53, 59, 502 }
    ],
    [
        { 53, 60, 62 },
        { 60, 62, 499 },
        { 53, 62, 499 },
        { 53, 60, 499 }
    ],
    [
        { 504, 505, 506 },
        { 503, 505, 506 },
        { 503, 504, 506 },
        { 503, 504, 505 }
    ],
    [
        { 504, 505, 508 },
        { 504, 505, 507 },
        { 505, 507, 508 },
        { 504, 507, 508 }
    ],
    [
        { 509, 510, 511 },
        { 507, 510, 511 },
        { 507, 509, 511 },
        { 507, 509, 510 }
    ],
    [
        { 69, 70, 512 },
        { 68, 69, 512, 513 },
        { 68, 69, 70 },
        { 70, 512, 513 },
        { 68, 70, 513 }
    ],
    [
        { 64, 71, 72 },
        { 63, 65, 71, 72 },
        { 63, 64, 71 },
        { 64, 65, 72 },
        { 63, 64, 65 }
    ],
    [
        { 63, 68, 69, 71 },
        { 63, 67, 68 },
        { 63, 67, 71 },
        { 67, 68, 69 },
        { 67, 69, 71 }
    ],
    [
        { 514, 515, 516 },
        { 503, 515, 516 },
        { 503, 514, 516 },
        { 503, 514, 515 }
    ],
    [
        { 514, 516, 518 },
        { 516, 517, 518 },
        { 514, 516, 517 },
        { 514, 517, 518 }
    ],
    [
        { 515, 516, 519 },
        { 503, 515, 516 },
        { 503, 516, 519 },
        { 503, 515, 519 }
    ],
    [
        { 68, 516, 519 },
        { 68, 516, 520 },
        { 516, 519, 520 },
        { 68, 519, 520 }
    ],
    [
        { 504, 506, 519 },
        { 503, 506, 519 },
        { 503, 504, 506 },
        { 503, 504, 519 }
    ],
    [
        { 521, 522, 523 },
        { 517, 522, 523 },
        { 517, 521, 523 },
        { 517, 521, 522 }
    ],
    [
        { 525, 526, 527 },
        { 524, 526, 527 },
        { 524, 525, 527 },
        { 524, 525, 526 }
    ],
    [
        { 524, 527, 528 },
        { 517, 527, 528 },
        { 517, 524, 527 },
        { 517, 524, 528 }
    ],
    [
        { 69, 527, 528 },
        { 527, 528, 529 },
        { 69, 527, 529 },
        { 69, 528, 529 }
    ],
    [
        { 526, 527, 530 },
        { 525, 526, 527 },
        { 525, 527, 530 },
        { 525, 526, 530 }
    ],
    [
        { 69, 527, 530 },
        { 69, 527, 531 },
        { 527, 530, 531 },
        { 69, 530, 531 }
    ],
    [
        { 530, 532, 533 },
        { 525, 530, 533 },
        { 525, 532, 533 },
        { 525, 530, 532 }
    ],
    [
        { 69, 530, 534 },
        { 69, 532, 534 },
        { 530, 532, 534 },
        { 69, 530, 532 }
    ],
    [
        { 532, 533, 535 },
        { 525, 533, 535 },
        { 525, 532, 533 },
        { 525, 532, 535 }
    ],
    [
        { 532, 535, 537 },
        { 532, 535, 536 },
        { 535, 536, 537 },
        { 532, 536, 537 }
    ],
    [
        { 538, 539, 540, 541, 542, 543 },
        { 73, 538, 540 },
        { 73, 74, 540, 541 },
        { 73, 75, 538, 543 },
        { 74, 75, 539, 542 },
        { 74, 541, 542 },
        { 73, 74, 75 },
        { 75, 539, 543 }
    ],
    [
        { 525, 533, 535 },
        { 525, 533, 544, 546 },
        { 525, 535, 544, 545 },
        { 533, 535, 545, 546 },
        { 544, 545, 546 }
    ],
    [
        { 547, 548, 549 },
        { 436, 548, 549 },
        { 436, 547, 549 },
        { 436, 547, 548 }
    ],
    [
        { 549, 550, 551 },
        { 548, 549, 551 },
        { 548, 550, 551 },
        { 548, 549, 550 }
    ],
    [
        { 79, 81, 82 },
        { 81, 82, 552 },
        { 79, 82, 552 },
        { 79, 81, 552 }
    ],
    [
        { 550, 553, 554 },
        { 552, 553, 554 },
        { 550, 552, 554 },
        { 550, 552, 553 }
    ],
    [
        { 83, 85, 555 },
        { 47, 85, 555 },
        { 47, 83, 85 },
        { 47, 83, 555 }
    ],
    [
        { 557, 558, 559 },
        { 556, 557, 558 },
        { 557, 559, 560 },
        { 556, 557, 560 },
        { 559, 560, 561 },
        { 556, 558, 561 },
        { 558, 559, 561 },
        { 556, 560, 561 }
    ],
    [
        { 563, 564, 565 },
        { 562, 564, 565 },
        { 562, 563, 565 },
        { 562, 563, 564 }
    ],
    [
        { 565, 566, 567 },
        { 564, 566, 567 },
        { 564, 565, 567 },
        { 564, 565, 566 }
    ],
    [
        { 569, 570, 571 },
        { 568, 570, 571 },
        { 568, 569, 571 },
        { 568, 569, 570 }
    ],
    [
        { 566, 571, 572 },
        { 566, 570, 572 },
        { 570, 571, 572 },
        { 566, 570, 571 }
    ],
    [
        { 574, 575, 576 },
        { 573, 575, 576 },
        { 573, 574, 576 },
        { 573, 574, 575 }
    ],
    [
        { 86, 87, 431 },
        { 15, 87, 431 },
        { 15, 86, 431 },
        { 15, 86, 87 }
    ],
    [
        { 86, 431, 578 },
        { 431, 577, 578 },
        { 86, 431, 577 },
        { 86, 577, 578 }
    ],
    [
        { 579, 580, 581 },
        { 578, 580, 581 },
        { 578, 579, 581 },
        { 578, 579, 580 }
    ],
    [
        { 582, 584, 586 },
        { 582, 583, 586 },
        { 582, 583, 584, 585 },
        { 583, 585, 586 },
        { 584, 585, 586 }
    ],
    [
        { 90, 91, 588 },
        { 91, 92, 587, 588 },
        { 90, 587, 588 },
        { 90, 91, 92 },
        { 90, 92, 587 }
    ],
    [
        { 590, 591, 592 },
        { 589, 590, 592 },
        { 589, 590, 591, 593 },
        { 589, 592, 593 },
        { 591, 592, 593 }
    ],
    [
        { 94, 95, 594 },
        { 93, 95, 594 },
        { 93, 94, 594 },
        { 93, 94, 95 }
    ],
    [
        { 94, 592, 594 },
        { 592, 594, 595 },
        { 94, 594, 595 },
        { 94, 592, 595 }
    ],
    [
        { 592, 596, 597 },
        { 590, 596, 597 },
        { 590, 592, 597 },
        { 590, 592, 596 }
    ],
    [
        { 597, 598, 599 },
        { 592, 598, 599 },
        { 592, 597, 599 },
        { 592, 597, 598 }
    ],
    [
        { 117, 118, 600 },
        { 114, 118, 600 },
        { 114, 117, 600 },
        { 114, 117, 118 }
    ],
    [
        { 98, 99, 601, 602 },
        { 97, 98, 601 },
        { 97, 98, 99 },
        { 97, 99, 602 },
        { 97, 601, 602 }
    ],
    [
        { 601, 603, 605 },
        { 603, 604, 605, 606 },
        { 601, 602, 603, 604 },
        { 601, 602, 605, 606 },
        { 602, 604, 606 }
    ],
    [
        { 608, 609, 610 },
        { 607, 609, 610 },
        { 607, 608, 610 },
        { 607, 608, 609 }
    ],
    [
        { 610, 611, 612 },
        { 607, 610, 612 },
        { 607, 610, 611 },
        { 607, 611, 612 }
    ],
    [
        { 614, 615, 616 },
        { 613, 615, 616 },
        { 613, 614, 616 },
        { 613, 614, 615 }
    ],
    [
        { 132, 133, 617 },
        { 131, 133, 617 },
        { 131, 132, 617 },
        { 131, 132, 133 }
    ],
    [
        { 93, 103, 618 },
        { 93, 103, 106 },
        { 93, 106, 619 },
        { 93, 618, 619 },
        { 103, 106, 620 },
        { 103, 618, 620 },
        { 106, 619, 620 },
        { 618, 619, 620 }
    ],
    [
        { 105, 106, 108 },
        { 101, 104, 105, 108 },
        { 101, 103, 105, 106 },
        { 103, 104, 106, 108 },
        { 101, 103, 104 }
    ],
    [
        { 621, 622, 623 },
        { 101, 622, 623 },
        { 101, 621, 623 },
        { 101, 621, 622 }
    ],
    [
        { 111, 112, 114 },
        { 109, 111, 112 },
        { 109, 112, 114 },
        { 109, 111, 114 }
    ],
    [
        { 111, 115, 624 },
        { 111, 114, 115 },
        { 114, 115, 624 },
        { 111, 114, 624 }
    ],
    [
        { 114, 115, 624 },
        { 113, 115, 624 },
        { 113, 114, 115 },
        { 113, 114, 624 }
    ],
    [
        { 114, 117, 119 },
        { 113, 117, 119 },
        { 113, 114, 117 },
        { 113, 114, 119 }
    ],
    [
        { 120, 121, 625 },
        { 119, 120, 121 },
        { 119, 121, 625 },
        { 119, 120, 625 }
    ],
    [
        { 124, 625, 626 },
        { 123, 124, 625 },
        { 123, 124, 626 },
        { 123, 625, 626 }
    ],
    [
        { 124, 126, 627 },
        { 123, 124, 126 },
        { 123, 126, 627 },
        { 123, 124, 627 }
    ],
    [
        { 625, 628, 629 },
        { 119, 628, 629 },
        { 119, 625, 629 },
        { 119, 625, 628 }
    ],
    [
        { 625, 630, 631 },
        { 123, 625, 631 },
        { 123, 630, 631 },
        { 123, 625, 630 }
    ],
    [
        { 129, 130, 131 },
        { 127, 129, 130 },
        { 127, 130, 131 },
        { 127, 129, 131 }
    ],
    [
        { 129, 135, 632 },
        { 129, 131, 135 },
        { 131, 135, 632 },
        { 129, 131, 632 }
    ],
    [
        { 132, 134, 633 },
        { 131, 132, 134 },
        { 131, 134, 633 },
        { 131, 132, 633 }
    ],
    [
        { 134, 135, 632 },
        { 131, 134, 135 },
        { 131, 134, 632 },
        { 131, 135, 632 }
    ],
    [
        { 625, 634, 635 },
        { 633, 634, 635 },
        { 625, 633, 635 },
        { 625, 633, 634 }
    ],
    [
        { 636, 637, 638 },
        { 137, 637, 638 },
        { 137, 636, 638 },
        { 137, 636, 637 }
    ],
    [
        { 636, 637, 640 },
        { 637, 639, 640 },
        { 636, 639, 640 },
        { 636, 637, 639 }
    ],
    [
        { 142, 143, 642 },
        { 142, 143, 641 },
        { 143, 641, 642 },
        { 142, 641, 642 }
    ],
    [
        { 636, 643, 644 },
        { 137, 636, 644 },
        { 137, 636, 643, 645 },
        { 643, 644, 645 },
        { 137, 644, 645 }
    ],
    [
        { 139, 499, 646 },
        { 137, 139, 499 },
        { 137, 499, 646 },
        { 137, 139, 646 }
    ],
    [
        { 138, 139, 644 },
        { 137, 139, 644 },
        { 137, 138, 644 },
        { 137, 138, 139 }
    ],
    [
        { 499, 644, 647 },
        { 139, 644, 647 },
        { 139, 499, 647 },
        { 139, 499, 644 }
    ],
    [
        { 141, 648, 649 },
        { 155, 648, 649 },
        { 141, 155, 649 },
        { 141, 155, 648 }
    ],
    [
        { 141, 142, 143 },
        { 142, 143, 642 },
        { 141, 143, 642 },
        { 141, 142, 642 }
    ],
    [
        { 146, 148, 650 },
        { 145, 146, 148 },
        { 145, 148, 650 },
        { 145, 146, 650 }
    ],
    [
        { 651, 652, 653 },
        { 650, 651, 653 },
        { 650, 651, 652, 654 },
        { 650, 653, 654 },
        { 652, 653, 654 }
    ],
    [
        { 152, 655, 656 },
        { 93, 152, 656 },
        { 93, 152, 655 },
        { 93, 655, 656 }
    ],
    [
        { 146, 148, 150 },
        { 93, 148, 150 },
        { 93, 146, 148 },
        { 93, 146, 150 }
    ],
    [
        { 146, 658, 659 },
        { 146, 657, 659 },
        { 657, 658, 659 },
        { 146, 657, 658 }
    ],
    [
        { 152, 153, 655 },
        { 93, 152, 153 },
        { 93, 153, 655 },
        { 93, 152, 655 }
    ],
    [
        { 153, 660, 661 },
        { 153, 655, 661 },
        { 153, 655, 660 },
        { 655, 660, 661 }
    ],
    [
        { 93, 95, 594 },
        { 95, 154, 594 },
        { 93, 154, 594 },
        { 93, 95, 154 }
    ],
    [
        { 93, 153, 661 },
        { 153, 154, 661 },
        { 93, 153, 154 },
        { 93, 154, 661 }
    ],
    [
        { 655, 660, 661 },
        { 660, 661, 662 },
        { 655, 661, 662 },
        { 655, 660, 662 }
    ],
    [
        { 594, 661, 663 },
        { 661, 662, 663 },
        { 594, 661, 662 },
        { 594, 662, 663 }
    ],
    [
        { 648, 651, 664 },
        { 155, 648, 651 },
        { 155, 648, 664 },
        { 155, 651, 664 }
    ],
    [
        { 146, 664, 665 },
        { 146, 155, 665 },
        { 155, 664, 665 },
        { 146, 155, 664 }
    ],
    [
        { 146, 651, 653 },
        { 146, 653, 664 },
        { 651, 653, 664 },
        { 146, 651, 664 }
    ],
    [
        { 655, 666, 667 },
        { 155, 655, 667 },
        { 155, 666, 667 },
        { 155, 655, 666 }
    ],
    [
        { 146, 666, 668 },
        { 146, 155, 668 },
        { 155, 666, 668 },
        { 146, 155, 666 }
    ],
    [
        { 146, 655, 666 },
        { 146, 655, 657 },
        { 146, 657, 666 },
        { 655, 657, 666 }
    ],
    [
        { 156, 158, 669 },
        { 155, 156, 158 },
        { 155, 158, 669 },
        { 155, 156, 669 }
    ],
    [
        { 158, 655, 667 },
        { 155, 158, 667 },
        { 155, 158, 655 },
        { 155, 655, 667 }
    ],
    [
        { 671, 672, 673 },
        { 670, 672, 673 },
        { 670, 671, 673 },
        { 670, 671, 672 }
    ],
    [
        { 671, 672, 675 },
        { 672, 674, 675 },
        { 671, 672, 674 },
        { 671, 674, 675 }
    ],
    [
        { 169, 671, 675 },
        { 169, 674, 675 },
        { 169, 671, 674 },
        { 671, 674, 675 }
    ],
    [
        { 159, 160, 161 },
        { 114, 160, 161 },
        { 114, 159, 161 },
        { 114, 159, 160 }
    ],
    [
        { 161, 163, 613 },
        { 114, 161, 163 },
        { 114, 163, 613 },
        { 114, 161, 613 }
    ],
    [
        { 161, 613, 676 },
        { 159, 161, 676 },
        { 159, 613, 676 },
        { 159, 161, 613 }
    ],
    [
        { 166, 168, 613 },
        { 165, 166, 168 },
        { 165, 168, 613 },
        { 165, 166, 613 }
    ],
    [
        { 166, 613, 677 },
        { 159, 166, 677 },
        { 159, 613, 677 },
        { 159, 166, 613 }
    ],
    [
        { 159, 170, 171 },
        { 170, 171, 425 },
        { 159, 171, 425 },
        { 159, 170, 425 }
    ],
    [
        { 169, 171, 675 },
        { 159, 169, 171 },
        { 159, 171, 675 },
        { 159, 169, 675 }
    ],
    [
        { 175, 436, 678 },
        { 172, 175, 678 },
        { 172, 436, 678 },
        { 172, 175, 436 }
    ],
    [
        { 173, 175, 679 },
        { 172, 175, 679 },
        { 172, 173, 679 },
        { 172, 173, 175 }
    ],
    [
        { 177, 178, 680 },
        { 176, 178, 680 },
        { 176, 177, 178 },
        { 176, 177, 680 }
    ],
    [
        { 178, 180, 182 },
        { 177, 178, 182 },
        { 177, 178, 180 },
        { 177, 180, 182 }
    ],
    [
        { 178, 182, 681 },
        { 178, 680, 681 },
        { 178, 182, 680 },
        { 182, 680, 681 }
    ],
    [
        { 186, 683, 684 },
        { 186, 682, 684 },
        { 186, 671, 682, 683 },
        { 671, 683, 684 },
        { 671, 682, 684 }
    ],
    [
        { 177, 185, 186 },
        { 109, 185, 186 },
        { 109, 177, 185 },
        { 109, 177, 186 }
    ],
    [
        { 180, 182, 186 },
        { 177, 180, 182 },
        { 177, 182, 186 },
        { 177, 180, 186 }
    ],
    [
        { 670, 683, 686 },
        { 683, 685, 686 },
        { 670, 685, 686 },
        { 670, 683, 685 }
    ],
    [
        { 683, 687, 688 },
        { 685, 687, 688 },
        { 683, 685, 688 },
        { 683, 685, 687 }
    ],
    [
        { 189, 687, 688 },
        { 683, 687, 688 },
        { 189, 683, 688 },
        { 189, 683, 687 }
    ],
    [
        { 182, 188, 689 },
        { 187, 188, 689 },
        { 182, 187, 689 },
        { 182, 187, 188 }
    ],
    [
        { 188, 189, 688 },
        { 182, 189, 688 },
        { 182, 188, 688 },
        { 182, 188, 189 }
    ],
    [
        { 190, 191, 193 },
        { 191, 193, 690 },
        { 190, 193, 690 },
        { 190, 191, 690 }
    ],
    [
        { 191, 691, 692 },
        { 190, 191, 692 },
        { 190, 691, 692 },
        { 190, 191, 691 }
    ],
    [
        { 196, 197, 693 },
        { 195, 197, 693 },
        { 195, 196, 197 },
        { 195, 196, 693 }
    ],
    [
        { 197, 198, 200 },
        { 196, 197, 200 },
        { 196, 197, 198 },
        { 196, 198, 200 }
    ],
    [
        { 203, 204, 693 },
        { 202, 203, 204 },
        { 202, 204, 693 },
        { 202, 203, 693 }
    ],
    [
        { 203, 694, 695 },
        { 203, 670, 695 },
        { 203, 670, 694 },
        { 670, 694, 695 }
    ],
    [
        { 206, 207, 208 },
        { 207, 208, 693 },
        { 206, 208, 693 },
        { 206, 207, 693 }
    ],
    [
        { 206, 208, 212 },
        { 208, 210, 212 },
        { 206, 208, 210 },
        { 206, 210, 212 }
    ],
    [
        { 211, 212, 213 },
        { 210, 212, 213 },
        { 210, 211, 212 },
        { 210, 211, 213 }
    ],
    [
        { 216, 222, 696 },
        { 216, 222, 670 },
        { 222, 670, 696 },
        { 216, 670, 696 }
    ],
    [
        { 217, 218, 220 },
        { 216, 218, 220 },
        { 216, 217, 218 },
        { 216, 217, 220 }
    ],
    [
        { 220, 222, 257 },
        { 216, 220, 222 },
        { 216, 220, 257 },
        { 216, 222, 257 }
    ],
    [
        { 225, 226, 257 },
        { 223, 226, 257 },
        { 223, 225, 226 },
        { 223, 225, 257 }
    ],
    [
        { 225, 697, 698 },
        { 670, 697, 698 },
        { 225, 670, 698 },
        { 225, 670, 697 }
    ],
    [
        { 206, 229, 257 },
        { 227, 229, 257 },
        { 206, 227, 229 },
        { 206, 227, 257 }
    ],
    [
        { 206, 227, 230 },
        { 206, 230, 231 },
        { 227, 230, 231 },
        { 206, 227, 231 }
    ],
    [
        { 230, 232, 234 },
        { 231, 232, 234 },
        { 230, 231, 232 },
        { 230, 231, 234 }
    ],
    [
        { 691, 700, 701 },
        { 699, 700, 701 },
        { 691, 699, 701 },
        { 691, 699, 700 }
    ],
    [
        { 236, 702, 704 },
        { 235, 236, 704, 707 },
        { 702, 703, 704, 706 },
        { 235, 238, 703, 705, 706, 707 },
        { 236, 238, 702, 705 },
        { 235, 236, 238 },
        { 702, 703, 705 },
        { 704, 706, 707 }
    ],
    [
        { 708, 709, 710 },
        { 243, 709, 710 },
        { 243, 708, 710 },
        { 243, 708, 709 }
    ],
    [
        { 712, 713, 714 },
        { 711, 713, 714 },
        { 711, 712, 714 },
        { 711, 712, 713 }
    ],
    [
        { 712, 713, 715 },
        { 243, 712, 715 },
        { 243, 709, 712, 713 },
        { 243, 709, 715 },
        { 709, 713, 715 }
    ],
    [
        { 241, 716, 717 },
        { 241, 243, 717 },
        { 241, 243, 716 },
        { 243, 716, 717 }
    ],
    [
        { 240, 241, 243 },
        { 239, 241, 243 },
        { 239, 240, 241 },
        { 239, 240, 243 }
    ],
    [
        { 241, 249, 718 },
        { 240, 241, 718 },
        { 240, 241, 249 },
        { 240, 249, 718 }
    ],
    [
        { 247, 249, 250 },
        { 240, 247, 249 },
        { 240, 246, 249, 250 },
        { 240, 246, 247 },
        { 246, 247, 250 }
    ],
    [
        { 252, 719, 720 },
        { 252, 699, 720 },
        { 252, 699, 719 },
        { 699, 719, 720 }
    ],
    [
        { 257, 721, 722 },
        { 257, 699, 722 },
        { 257, 699, 721 },
        { 699, 721, 722 }
    ],
    [
        { 257, 722, 723 },
        { 720, 722, 723 },
        { 252, 257, 720, 722 },
        { 252, 720, 723 },
        { 252, 257, 723 }
    ],
    [
        { 252, 257, 725 },
        { 252, 724, 725 },
        { 257, 724, 725 },
        { 252, 257, 724 }
    ],
    [
        { 252, 254, 725 },
        { 251, 254, 725 },
        { 251, 252, 725 },
        { 251, 252, 254 }
    ],
    [
        { 206, 255, 725 },
        { 206, 251, 725 },
        { 206, 251, 254, 255 },
        { 254, 255, 725 },
        { 251, 254, 725 }
    ],
    [
        { 206, 257, 725 },
        { 255, 257, 725 },
        { 206, 255, 725 },
        { 206, 255, 257 }
    ],
    [
        { 259, 263, 727 },
        { 263, 726, 727, 728 },
        { 259, 726, 727, 729 },
        { 259, 263, 728, 729 },
        { 726, 728, 729 }
    ],
    [
        { 259, 260, 730 },
        { 258, 260, 730 },
        { 258, 259, 260 },
        { 258, 259, 730 }
    ],
    [
        { 258, 261, 262, 264 },
        { 258, 259, 262, 263 },
        { 259, 261, 263, 264 },
        { 262, 263, 264 },
        { 258, 259, 261 }
    ],
    [
        { 10, 266, 274 },
        { 5, 10, 266 },
        { 5, 10, 274 },
        { 5, 266, 274 }
    ],
    [
        { 266, 268, 731 },
        { 5, 266, 268 },
        { 5, 266, 731 },
        { 5, 268, 731 }
    ],
    [
        { 266, 731, 732 },
        { 274, 731, 732, 733 },
        { 266, 274, 731 },
        { 266, 732, 733 },
        { 266, 274, 733 }
    ],
    [
        { 3, 270, 730 },
        { 2, 270, 730 },
        { 2, 3, 270 },
        { 2, 3, 730 }
    ],
    [
        { 3, 5, 270, 271 },
        { 3, 5, 8, 9 },
        { 8, 9, 270, 271 },
        { 3, 9, 270 },
        { 5, 8, 271 }
    ],
    [
        { 10, 271, 274 },
        { 5, 10, 274 },
        { 5, 10, 271 },
        { 5, 271, 274 }
    ],
    [
        { 276, 279, 735 },
        { 279, 280, 734, 735 },
        { 276, 734, 735 },
        { 276, 279, 280 },
        { 276, 280, 734 }
    ],
    [
        { 277, 279, 735 },
        { 276, 279, 735 },
        { 276, 277, 279 },
        { 276, 277, 735 }
    ],
    [
        { 276, 280, 734 },
        { 5, 276, 280 },
        { 5, 280, 734 },
        { 5, 276, 734 }
    ],
    [
        { 276, 277, 282 },
        { 5, 276, 277 },
        { 5, 277, 282, 284 },
        { 276, 282, 284 },
        { 5, 276, 284 }
    ],
    [
        { 293, 736, 737 },
        { 292, 293, 737 },
        { 292, 736, 737 },
        { 292, 293, 736 }
    ],
    [
        { 301, 302, 737 },
        { 302, 737, 738 },
        { 301, 737, 738 },
        { 301, 302, 738 }
    ],
    [
        { 286, 287, 739 },
        { 285, 287, 739 },
        { 285, 286, 739 },
        { 285, 286, 287 }
    ],
    [
        { 286, 288, 740 },
        { 285, 288, 740 },
        { 285, 286, 740 },
        { 285, 286, 288 }
    ],
    [
        { 289, 290, 741 },
        { 285, 290, 741 },
        { 285, 289, 741 },
        { 285, 289, 290 }
    ],
    [
        { 289, 291, 739 },
        { 285, 291, 739 },
        { 285, 289, 739 },
        { 285, 289, 291 }
    ],
    [
        { 293, 295, 298 },
        { 292, 295, 298 },
        { 292, 293, 295 },
        { 292, 293, 298 }
    ],
    [
        { 297, 299, 302 },
        { 293, 299, 300, 302 },
        { 293, 297, 298, 302 },
        { 297, 298, 299, 300 },
        { 293, 298, 300 }
    ],
    [
        { 297, 302, 304 },
        { 297, 301, 304 },
        { 301, 302, 304 },
        { 297, 301, 302 }
    ],
    [
        { 329, 743, 744 },
        { 742, 743, 744 },
        { 329, 742, 744 },
        { 329, 742, 743 }
    ],
    [
        { 323, 326, 746, 747 },
        { 326, 745, 746 },
        { 323, 326, 745 },
        { 745, 746, 747 },
        { 323, 745, 747 }
    ],
    [
        { 305, 306, 307, 308 },
        { 306, 307, 311, 748 },
        { 306, 308, 311 },
        { 305, 308, 311, 748 },
        { 305, 307, 748 }
    ],
    [
        { 306, 311, 313, 749 },
        { 292, 313, 749 },
        { 292, 311, 313 },
        { 292, 306, 311 },
        { 292, 306, 749 }
    ],
    [
        { 311, 312, 750 },
        { 292, 312, 313, 750 },
        { 292, 311, 750 },
        { 292, 311, 313 },
        { 311, 312, 313 }
    ],
    [
        { 317, 319, 331 },
        { 316, 317, 319, 320 },
        { 316, 317, 331 },
        { 316, 320, 331 },
        { 319, 320, 331 }
    ],
    [
        { 319, 320, 323 },
        { 319, 320, 331 },
        { 320, 323, 331 },
        { 319, 323, 331 }
    ],
    [
        { 317, 324, 331 },
        { 316, 317, 331 },
        { 316, 317, 324 },
        { 316, 324, 331 }
    ],
    [
        { 323, 324, 327 },
        { 316, 324, 327 },
        { 316, 320, 323, 324 },
        { 320, 323, 327 },
        { 316, 320, 327 }
    ],
    [
        { 323, 330, 331 },
        { 323, 329, 331 },
        { 323, 329, 330 },
        { 329, 330, 331 }
    ],
    [
        { 331, 336, 751 },
        { 329, 336, 751 },
        { 329, 331, 751 },
        { 329, 331, 336 }
    ],
    [
        { 285, 329, 336, 742 },
        { 285, 742, 752, 753, 754, 755 },
        { 329, 742, 753 },
        { 336, 337, 752, 754 },
        { 285, 336, 754 },
        { 329, 337, 753, 755 },
        { 337, 752, 755 },
        { 329, 336, 337 }
    ],
    [
        { 331, 336, 339 },
        { 324, 336, 339 },
        { 324, 331, 339 },
        { 324, 331, 336 }
    ],
    [
        { 288, 336, 740 },
        { 285, 336, 740 },
        { 285, 288, 336 },
        { 285, 288, 740 }
    ],
    [
        { 324, 740, 757 },
        { 740, 756, 757, 758 },
        { 324, 740, 756 },
        { 324, 757, 758 },
        { 324, 756, 758 }
    ],
    [
        { 362, 365, 366 },
        { 365, 366, 759 },
        { 362, 366, 759 },
        { 362, 365, 759 }
    ],
    [
        { 343, 345, 760, 761 },
        { 342, 760, 761 },
        { 342, 343, 760 },
        { 342, 343, 345 },
        { 342, 345, 761 }
    ],
    [
        { 369, 760, 762, 763 },
        { 342, 369, 760 },
        { 342, 369, 762 },
        { 342, 760, 763 },
        { 342, 762, 763 }
    ],
    [
        { 346, 347, 349, 350 },
        { 342, 346, 349 },
        { 342, 346, 347 },
        { 342, 347, 350 },
        { 342, 349, 350 }
    ],
    [
        { 285, 346, 352, 354 },
        { 285, 342, 352 },
        { 285, 342, 346 },
        { 342, 346, 354 },
        { 342, 352, 354 }
    ],
    [
        { 285, 352, 379 },
        { 352, 355, 379 },
        { 285, 352, 355 },
        { 285, 355, 379 }
    ],
    [
        { 368, 369, 764 },
        { 367, 369, 764 },
        { 367, 368, 764 },
        { 367, 368, 369 }
    ],
    [
        { 379, 762, 764 },
        { 369, 379, 764 },
        { 369, 762, 764 },
        { 369, 379, 762 }
    ],
    [
        { 360, 361, 362 },
        { 358, 360, 361 },
        { 358, 361, 362 },
        { 358, 360, 362 }
    ],
    [
        { 362, 363, 366 },
        { 358, 363, 366 },
        { 358, 362, 363 },
        { 358, 362, 366 }
    ],
    [
        { 361, 371, 765 },
        { 358, 371, 765 },
        { 358, 361, 765 },
        { 358, 361, 371 }
    ],
    [
        { 369, 766, 767, 769 },
        { 358, 366, 369, 371 },
        { 366, 369, 767 },
        { 358, 371, 766, 768, 769, 770 },
        { 358, 366, 768 },
        { 366, 767, 768, 770 },
        { 369, 371, 769 },
        { 766, 767, 770 }
    ],
    [
        { 369, 370, 371 },
        { 368, 370, 371 },
        { 368, 369, 371 },
        { 368, 369, 370 }
    ],
    [
        { 361, 371, 373 },
        { 368, 371, 373 },
        { 361, 368, 373 },
        { 361, 368, 371 }
    ],
    [
        { 375, 376, 771 },
        { 285, 375, 376 },
        { 285, 376, 771 },
        { 285, 375, 771 }
    ],
    [
        { 375, 376, 377 },
        { 376, 377, 382 },
        { 375, 377, 382 },
        { 375, 376, 382 }
    ],
    [
        { 375, 773, 774 },
        { 375, 772, 774 },
        { 772, 773, 774 },
        { 375, 772, 773 }
    ],
    [
        { 375, 382, 775 },
        { 375, 382, 772 },
        { 375, 772, 775 },
        { 382, 772, 775 }
    ],
    [
        { 376, 379, 776 },
        { 285, 376, 379 },
        { 285, 379, 776 },
        { 285, 376, 776 }
    ],
    [
        { 376, 379, 380 },
        { 379, 380, 777 },
        { 376, 380, 777 },
        { 376, 379, 777 }
    ],
    [
        { 368, 379, 764 },
        { 367, 379, 764 },
        { 367, 368, 764 },
        { 367, 368, 379 }
    ],
    [
        { 367, 379, 777 },
        { 379, 777, 778 },
        { 367, 379, 778 },
        { 367, 777, 778 }
    ],
    [
        { 382, 383, 388 },
        { 383, 385, 386, 388 },
        { 382, 386, 388 },
        { 382, 385, 386 },
        { 382, 383, 385 }
    ],
    [
        { 386, 388, 391, 393, 395, 780 },
        { 391, 392, 395, 396 },
        { 386, 388, 396, 779 },
        { 391, 392, 393 },
        { 392, 393, 779, 780 },
        { 386, 779, 780 },
        { 388, 395, 396 },
        { 392, 396, 779 }
    ],
    [
        { 404, 408, 781 },
        { 403, 408, 781 },
        { 403, 404, 408 },
        { 403, 404, 781 }
    ],
    [
        { 399, 401, 408, 782 },
        { 398, 401, 408 },
        { 398, 399, 401, 402 },
        { 398, 402, 408, 782 },
        { 399, 402, 782 }
    ],
    [
        { 401, 408, 411 },
        { 401, 408, 410 },
        { 401, 410, 411 },
        { 408, 410, 411 }
    ],
    [
        { 405, 408, 783, 784 },
        { 405, 408, 409 },
        { 405, 409, 783, 785 },
        { 408, 409, 784, 785 },
        { 783, 784, 785 }
    ],
    [
        { 404, 405, 408 },
        { 403, 405, 408 },
        { 403, 404, 408 },
        { 403, 404, 405 }
    ],
    [
        { 408, 410, 411 },
        { 408, 409, 411 },
        { 408, 409, 410 },
        { 409, 410, 411 }
    ],
    [
        { 415, 417, 786 },
        { 414, 417, 786, 787 },
        { 414, 415, 417, 418 },
        { 415, 418, 786, 787 },
        { 414, 418, 787 }
    ],
    [
        { 12, 420, 788 },
        { 11, 12, 420 },
        { 11, 12, 788 },
        { 11, 420, 788 }
    ],
    [
        { 422, 788, 790 },
        { 422, 789, 790 },
        { 788, 789, 790 },
        { 422, 788, 789 }
    ],
    [
        { 398, 423, 788 },
        { 398, 421, 423 },
        { 398, 421, 422, 788 },
        { 421, 422, 423 },
        { 422, 423, 788 }
    ],
    [
        { 398, 403, 781 },
        { 403, 421, 781 },
        { 398, 421, 781 },
        { 398, 403, 421 }
    ],
    [
        { 15, 171, 427 },
        { 171, 425, 427 },
        { 15, 425, 427 },
        { 15, 171, 425 }
    ],
    [
        { 171, 427, 791 },
        { 427, 440, 791 },
        { 171, 440, 791 },
        { 171, 427, 440 }
    ],
    [
        { 427, 428, 792 },
        { 15, 427, 792 },
        { 15, 428, 792 },
        { 15, 427, 428 }
    ],
    [
        { 427, 429, 792 },
        { 427, 435, 792 },
        { 429, 435, 792 },
        { 427, 429, 435 }
    ],
    [
        { 18, 429, 793 },
        { 15, 18, 793 },
        { 15, 18, 429 },
        { 15, 429, 793 }
    ],
    [
        { 15, 431, 793 },
        { 430, 431, 793 },
        { 15, 430, 793 },
        { 15, 430, 431 }
    ],
    [
        { 429, 431, 793 },
        { 431, 793, 794 },
        { 429, 793, 794 },
        { 429, 431, 794 }
    ],
    [
        { 427, 432, 440 },
        { 427, 439, 440 },
        { 427, 432, 439 },
        { 432, 439, 440 }
    ],
    [
        { 427, 429, 433 },
        { 427, 432, 433 },
        { 427, 429, 432 },
        { 429, 432, 433 }
    ],
    [
        { 175, 437, 679 },
        { 175, 436, 679 },
        { 436, 437, 679 },
        { 175, 436, 437 }
    ],
    [
        { 440, 441, 442 },
        { 432, 441, 442 },
        { 432, 440, 441 },
        { 432, 440, 442 }
    ],
    [
        { 442, 443, 795 },
        { 432, 442, 443 },
        { 432, 443, 795 },
        { 432, 442, 795 }
    ],
    [
        { 444, 449, 797, 798 },
        { 444, 796, 797 },
        { 444, 449, 796 },
        { 449, 796, 798 },
        { 796, 797, 798 }
    ],
    [
        { 449, 799, 800 },
        { 796, 799, 800 },
        { 449, 796, 800 },
        { 449, 796, 799 }
    ],
    [
        { 19, 22, 446 },
        { 19, 22, 444 },
        { 22, 444, 446 },
        { 19, 444, 446 }
    ],
    [
        { 19, 23, 446, 451 },
        { 23, 447, 451 },
        { 446, 447, 451 },
        { 19, 23, 447 },
        { 19, 446, 447 }
    ],
    [
        { 23, 26, 451 },
        { 23, 26, 449 },
        { 26, 449, 451 },
        { 23, 449, 451 }
    ],
    [
        { 19, 23, 444, 449 },
        { 23, 449, 801 },
        { 444, 449, 801 },
        { 19, 444, 801 },
        { 19, 23, 801 }
    ],
    [
        { 444, 799, 802 },
        { 796, 799, 802 },
        { 444, 796, 802 },
        { 444, 796, 799 }
    ],
    [
        { 444, 446, 803 },
        { 444, 446, 802 },
        { 444, 802, 803, 804 },
        { 446, 802, 804 },
        { 446, 803, 804 }
    ],
    [
        { 800, 805, 806 },
        { 799, 805, 806 },
        { 799, 800, 806 },
        { 799, 800, 805 }
    ],
    [
        { 451, 452, 454 },
        { 42, 451, 454 },
        { 42, 452, 454 },
        { 42, 451, 452 }
    ],
    [
        { 451, 454, 472 },
        { 451, 453, 454 },
        { 453, 454, 472 },
        { 451, 453, 472 }
    ],
    [
        { 28, 30, 472 },
        { 30, 33, 472 },
        { 28, 31, 33, 472 },
        { 30, 31, 33 },
        { 28, 30, 31 }
    ],
    [
        { 30, 446, 807 },
        { 30, 33, 807 },
        { 33, 446, 807 },
        { 30, 33, 446 }
    ],
    [
        { 33, 35, 457 },
        { 33, 47, 457 },
        { 33, 35, 47, 455 },
        { 47, 455, 457 },
        { 35, 455, 457 }
    ],
    [
        { 446, 457, 460 },
        { 47, 446, 457 },
        { 47, 457, 460 },
        { 47, 446, 460 }
    ],
    [
        { 33, 446, 457 },
        { 446, 457, 458 },
        { 33, 457, 458 },
        { 33, 446, 458 }
    ],
    [
        { 446, 462, 464 },
        { 47, 462, 463, 464 },
        { 47, 446, 464 },
        { 47, 446, 463 },
        { 446, 462, 463 }
    ],
    [
        { 802, 808, 809 },
        { 799, 808, 809 },
        { 799, 802, 809 },
        { 799, 802, 808 }
    ],
    [
        { 37, 39, 468 },
        { 39, 466, 468 },
        { 37, 39, 466 },
        { 37, 466, 468 }
    ],
    [
        { 41, 42, 46 },
        { 42, 46, 469 },
        { 41, 46, 469 },
        { 41, 42, 469 }
    ],
    [
        { 37, 42, 471 },
        { 41, 42, 471 },
        { 37, 39, 41, 42 },
        { 37, 39, 471 },
        { 39, 41, 471 }
    ],
    [
        { 33, 472, 473, 474 },
        { 469, 472, 473 },
        { 33, 469, 472 },
        { 33, 469, 474 },
        { 469, 473, 474 }
    ],
    [
        { 42, 46, 472 },
        { 46, 469, 472 },
        { 42, 46, 469 },
        { 42, 469, 472 }
    ],
    [
        { 33, 47, 49 },
        { 33, 49, 469 },
        { 47, 49, 469 },
        { 33, 47, 469 }
    ],
    [
        { 477, 480, 487, 810 },
        { 476, 477, 810 },
        { 476, 479, 487, 810 },
        { 476, 477, 479, 480 },
        { 479, 480, 487 }
    ],
    [
        { 483, 487, 811 },
        { 483, 487, 490 },
        { 483, 490, 811 },
        { 487, 490, 811 }
    ],
    [
        { 482, 483, 486, 487 },
        { 481, 482, 486 },
        { 481, 486, 487 },
        { 481, 483, 487 },
        { 481, 482, 483 }
    ],
    [
        { 482, 491, 492 },
        { 490, 491, 492, 493 },
        { 482, 483, 490, 491 },
        { 482, 483, 492, 493 },
        { 483, 490, 493 }
    ],
    [
        { 482, 486, 497 },
        { 482, 491, 497 },
        { 482, 486, 491 },
        { 486, 491, 497 }
    ],
    [
        { 498, 806, 812 },
        { 799, 806, 812 },
        { 498, 799, 812 },
        { 498, 799, 806 }
    ],
    [
        { 51, 53, 498 },
        { 42, 51, 53 },
        { 42, 53, 498 },
        { 42, 51, 498 }
    ],
    [
        { 53, 499, 501 },
        { 53, 498, 501 },
        { 53, 498, 499 },
        { 498, 499, 501 }
    ],
    [
        { 53, 55, 59 },
        { 42, 53, 59 },
        { 42, 53, 55 },
        { 42, 55, 59 }
    ],
    [
        { 53, 60, 499 },
        { 53, 59, 60 },
        { 59, 60, 499 },
        { 53, 59, 499 }
    ],
    [
        { 503, 504, 505 },
        { 504, 505, 507 },
        { 503, 505, 507 },
        { 503, 504, 507 }
    ],
    [
        { 491, 504, 508 },
        { 491, 504, 507 },
        { 504, 507, 508 },
        { 491, 507, 508 }
    ],
    [
        { 491, 509, 510 },
        { 507, 509, 510 },
        { 491, 507, 510 },
        { 491, 507, 509 }
    ],
    [
        { 517, 814, 815 },
        { 517, 813, 814 },
        { 517, 815, 816 },
        { 517, 813, 816 },
        { 815, 816, 817 },
        { 814, 815, 817 },
        { 813, 816, 817 },
        { 813, 814, 817 }
    ],
    [
        { 69, 512, 813 },
        { 68, 69, 512, 513 },
        { 68, 69, 813, 814 },
        { 512, 513, 813, 814 },
        { 68, 513, 814 }
    ],
    [
        { 63, 64, 68 },
        { 63, 68, 69, 71 },
        { 63, 64, 71 },
        { 64, 69, 71 },
        { 64, 68, 69 }
    ],
    [
        { 64, 69, 71 },
        { 64, 69, 490 },
        { 69, 71, 490 },
        { 64, 71, 490 }
    ],
    [
        { 64, 490, 491 },
        { 64, 491, 818 },
        { 64, 490, 818 },
        { 490, 491, 818 }
    ],
    [
        { 64, 68, 491 },
        { 63, 64, 68 },
        { 63, 68, 491 },
        { 63, 64, 491 }
    ],
    [
        { 503, 514, 516 },
        { 514, 516, 517 },
        { 503, 516, 517 },
        { 503, 514, 517 }
    ],
    [
        { 68, 516, 518 },
        { 68, 516, 517 },
        { 516, 517, 518 },
        { 68, 517, 518 }
    ],
    [
        { 68, 516, 519 },
        { 68, 503, 516 },
        { 503, 516, 519 },
        { 68, 503, 519 }
    ],
    [
        { 68, 504, 519 },
        { 68, 503, 519 },
        { 68, 503, 504 },
        { 503, 504, 519 }
    ],
    [
        { 68, 491, 504 },
        { 63, 68, 504 },
        { 63, 68, 491 },
        { 63, 491, 504 }
    ],
    [
        { 522, 819, 820 },
        { 517, 522, 820 },
        { 517, 523, 819, 820 },
        { 517, 522, 523 },
        { 522, 523, 819 }
    ],
    [
        { 822, 823, 824, 825 },
        { 821, 823, 824, 826 },
        { 821, 822, 825, 826 },
        { 821, 824, 825 },
        { 822, 823, 826 }
    ],
    [
        { 524, 525, 527 },
        { 517, 525, 527 },
        { 517, 524, 527 },
        { 517, 524, 525 }
    ],
    [
        { 69, 527, 528 },
        { 517, 527, 528 },
        { 69, 517, 527 },
        { 69, 517, 528 }
    ],
    [
        { 69, 527, 530 },
        { 69, 525, 527 },
        { 525, 527, 530 },
        { 69, 525, 530 }
    ],
    [
        { 69, 530, 532 },
        { 69, 525, 530 },
        { 69, 525, 532 },
        { 525, 530, 532 }
    ],
    [
        { 525, 532, 535 },
        { 532, 535, 536 },
        { 525, 535, 536 },
        { 525, 532, 536 }
    ],
    [
        { 490, 532, 537 },
        { 490, 532, 536 },
        { 532, 536, 537 },
        { 490, 536, 537 }
    ],
    [
        { 538, 539, 540, 541, 542, 543 },
        { 536, 540, 541, 828 },
        { 536, 539, 542, 827 },
        { 538, 543, 827, 828 },
        { 538, 540, 828 },
        { 536, 827, 828 },
        { 536, 541, 542 },
        { 539, 543, 827 }
    ],
    [
        { 525, 535, 544, 545 },
        { 525, 535, 536 },
        { 525, 536, 544, 828 },
        { 535, 536, 545, 828 },
        { 544, 545, 828 }
    ],
    [
        { 437, 549, 795 },
        { 436, 437, 549 },
        { 436, 549, 795 },
        { 436, 437, 795 }
    ],
    [
        { 548, 549, 550 },
        { 436, 549, 550 },
        { 436, 548, 549 },
        { 436, 548, 550 }
    ],
    [
        { 552, 809, 829 },
        { 47, 552, 809 },
        { 47, 464, 552, 829 },
        { 47, 464, 809 },
        { 464, 809, 829 }
    ],
    [
        { 552, 809, 830 },
        { 799, 809, 830 },
        { 552, 799, 830 },
        { 552, 799, 809 }
    ],
    [
        { 79, 81, 552 },
        { 47, 79, 81 },
        { 47, 81, 552 },
        { 47, 79, 552 }
    ],
    [
        { 81, 550, 553 },
        { 81, 552, 553 },
        { 81, 550, 552 },
        { 550, 552, 553 }
    ],
    [
        { 81, 83, 555 },
        { 47, 81, 555 },
        { 47, 81, 83 },
        { 47, 83, 555 }
    ],
    [
        { 555, 831, 832 },
        { 555, 557, 832 },
        { 557, 558, 832 },
        { 558, 831, 832 },
        { 555, 557, 559 },
        { 558, 559, 831 },
        { 555, 559, 831 },
        { 557, 558, 559 }
    ],
    [
        { 555, 557, 832 },
        { 555, 832, 833, 834 },
        { 555, 557, 833 },
        { 557, 832, 834 },
        { 557, 833, 834 }
    ],
    [
        { 563, 565, 835 },
        { 562, 565, 835 },
        { 562, 563, 835 },
        { 562, 563, 565 }
    ],
    [
        { 835, 837, 838, 839 },
        { 836, 838, 839 },
        { 836, 837, 838 },
        { 835, 836, 839 },
        { 835, 836, 837 }
    ],
    [
        { 570, 839, 840 },
        { 565, 570, 840 },
        { 565, 570, 835, 839 },
        { 835, 839, 840 },
        { 565, 835, 840 }
    ],
    [
        { 569, 570, 839 },
        { 568, 570, 839 },
        { 568, 569, 839 },
        { 568, 569, 570 }
    ],
    [
        { 564, 565, 566 },
        { 562, 565, 566 },
        { 562, 564, 566 },
        { 562, 564, 565 }
    ],
    [
        { 566, 570, 571 },
        { 566, 568, 571 },
        { 566, 568, 570 },
        { 568, 570, 571 }
    ],
    [
        { 431, 574, 575 },
        { 431, 573, 575 },
        { 573, 574, 575 },
        { 431, 573, 574 }
    ],
    [
        { 431, 573, 578 },
        { 431, 578, 841 },
        { 431, 573, 841 },
        { 573, 578, 841 }
    ],
    [
        { 86, 431, 578 },
        { 15, 431, 578 },
        { 15, 86, 431 },
        { 15, 86, 578 }
    ],
    [
        { 578, 579, 580 },
        { 573, 579, 580 },
        { 573, 578, 580 },
        { 573, 578, 579 }
    ],
    [
        { 582, 583, 584, 585 },
        { 582, 584, 842 },
        { 582, 583, 842 },
        { 583, 585, 842 },
        { 584, 585, 842 }
    ],
    [
        { 90, 582, 587 },
        { 90, 587, 588 },
        { 582, 583, 587, 588 },
        { 90, 582, 583 },
        { 90, 583, 588 }
    ],
    [
        { 587, 588, 844 },
        { 588, 843, 844 },
        { 587, 843, 844 },
        { 587, 588, 843 }
    ],
    [
        { 588, 844, 845 },
        { 562, 844, 845 },
        { 562, 588, 844 },
        { 562, 588, 845 }
    ],
    [
        { 587, 844, 846 },
        { 568, 844, 846 },
        { 568, 587, 846 },
        { 568, 587, 844 }
    ],
    [
        { 594, 847, 848 },
        { 590, 594, 848 },
        { 590, 847, 848 },
        { 590, 594, 847 }
    ],
    [
        { 590, 592, 594 },
        { 589, 592, 594 },
        { 589, 590, 594 },
        { 589, 590, 592 }
    ],
    [
        { 94, 592, 594 },
        { 93, 592, 594 },
        { 93, 94, 594 },
        { 93, 94, 592 }
    ],
    [
        { 592, 597, 598 },
        { 590, 597, 598 },
        { 590, 592, 598 },
        { 590, 592, 597 }
    ],
    [
        { 117, 119, 600 },
        { 114, 117, 600 },
        { 114, 119, 600 },
        { 114, 117, 119 }
    ],
    [
        { 99, 633, 849 },
        { 99, 607, 849 },
        { 607, 633, 849 },
        { 99, 607, 633 }
    ],
    [
        { 98, 99, 850 },
        { 99, 607, 850 },
        { 98, 607, 850 },
        { 98, 99, 607 }
    ],
    [
        { 98, 601, 603 },
        { 601, 602, 603, 604 },
        { 98, 99, 603, 604 },
        { 98, 99, 601, 602 },
        { 99, 602, 604 }
    ],
    [
        { 608, 610, 633 },
        { 607, 608, 610 },
        { 607, 610, 633 },
        { 607, 608, 633 }
    ],
    [
        { 119, 610, 611 },
        { 607, 610, 611 },
        { 119, 607, 610 },
        { 119, 607, 611 }
    ],
    [
        { 98, 119, 851 },
        { 98, 607, 851 },
        { 98, 119, 607 },
        { 119, 607, 851 }
    ],
    [
        { 98, 603, 614 },
        { 98, 119, 614 },
        { 98, 119, 603 },
        { 119, 603, 614 }
    ],
    [
        { 613, 614, 616 },
        { 119, 614, 616 },
        { 119, 613, 616 },
        { 119, 613, 614 }
    ],
    [
        { 853, 854, 855 },
        { 852, 854, 855, 856 },
        { 852, 853, 855, 857 },
        { 853, 854, 856, 857 },
        { 852, 856, 857 }
    ],
    [
        { 132, 617, 633 },
        { 131, 132, 617 },
        { 131, 617, 633 },
        { 131, 132, 633 }
    ],
    [
        { 101, 103, 105, 106 },
        { 93, 105, 106 },
        { 93, 101, 105 },
        { 93, 101, 103 },
        { 93, 103, 106 }
    ],
    [
        { 101, 621, 623 },
        { 621, 623, 633 },
        { 101, 623, 633 },
        { 101, 621, 633 }
    ],
    [
        { 99, 604, 621 },
        { 99, 621, 633 },
        { 99, 604, 633 },
        { 604, 621, 633 }
    ],
    [
        { 111, 114, 624 },
        { 109, 111, 624 },
        { 109, 111, 114 },
        { 109, 114, 624 }
    ],
    [
        { 114, 119, 624 },
        { 113, 119, 624 },
        { 113, 114, 119 },
        { 113, 114, 624 }
    ],
    [
        { 119, 624, 858 },
        { 113, 119, 858 },
        { 113, 624, 858 },
        { 113, 119, 624 }
    ],
    [
        { 121, 625, 858 },
        { 119, 121, 858 },
        { 119, 121, 625 },
        { 119, 625, 858 }
    ],
    [
        { 627, 859, 860 },
        { 123, 627, 860 },
        { 123, 859, 860 },
        { 123, 627, 859 }
    ],
    [
        { 124, 625, 627 },
        { 123, 124, 627 },
        { 123, 124, 625 },
        { 123, 625, 627 }
    ],
    [
        { 627, 859, 862, 863 },
        { 859, 861, 862 },
        { 627, 859, 861 },
        { 861, 862, 863 },
        { 627, 861, 863 }
    ],
    [
        { 625, 629, 631 },
        { 119, 629, 631 },
        { 119, 625, 629 },
        { 119, 625, 631 }
    ],
    [
        { 631, 859, 864 },
        { 119, 631, 859 },
        { 119, 631, 864 },
        { 119, 859, 864 }
    ],
    [
        { 625, 631, 859 },
        { 123, 631, 859 },
        { 123, 625, 631 },
        { 123, 625, 859 }
    ],
    [
        { 624, 632, 866, 867 },
        { 632, 865, 866 },
        { 624, 632, 865 },
        { 624, 865, 867 },
        { 865, 866, 867 }
    ],
    [
        { 129, 131, 632 },
        { 127, 129, 632 },
        { 127, 129, 131 },
        { 127, 131, 632 }
    ],
    [
        { 134, 632, 633 },
        { 131, 134, 632 },
        { 131, 134, 633 },
        { 131, 632, 633 }
    ],
    [
        { 134, 632, 868 },
        { 134, 633, 868 },
        { 134, 632, 633 },
        { 632, 633, 868 }
    ],
    [
        { 625, 635, 868 },
        { 633, 635, 868 },
        { 625, 633, 868 },
        { 625, 633, 635 }
    ],
    [
        { 636, 637, 640 },
        { 137, 637, 640 },
        { 137, 636, 640 },
        { 137, 636, 637 }
    ],
    [
        { 636, 640, 642 },
        { 636, 639, 640 },
        { 639, 640, 642 },
        { 636, 639, 642 }
    ],
    [
        { 143, 640, 642 },
        { 143, 640, 641 },
        { 143, 641, 642 },
        { 640, 641, 642 }
    ],
    [
        { 636, 642, 644 },
        { 137, 636, 644 },
        { 137, 642, 644 },
        { 137, 636, 642 }
    ],
    [
        { 139, 499, 644 },
        { 137, 499, 644 },
        { 137, 139, 644 },
        { 137, 139, 499 }
    ],
    [
        { 141, 648, 651 },
        { 141, 155, 648 },
        { 155, 648, 651 },
        { 141, 155, 651 }
    ],
    [
        { 141, 642, 649 },
        { 141, 155, 649 },
        { 155, 642, 649 },
        { 141, 155, 642 }
    ],
    [
        { 141, 143, 642 },
        { 141, 143, 651 },
        { 143, 642, 651 },
        { 141, 642, 651 }
    ],
    [
        { 146, 148, 650 },
        { 93, 146, 148 },
        { 93, 148, 650 },
        { 93, 146, 650 }
    ],
    [
        { 146, 650, 653 },
        { 146, 651, 653 },
        { 650, 651, 653 },
        { 146, 650, 651 }
    ],
    [
        { 655, 656, 659 },
        { 93, 656, 659 },
        { 93, 655, 659 },
        { 93, 655, 656 }
    ],
    [
        { 146, 150, 659 },
        { 93, 150, 659 },
        { 93, 146, 659 },
        { 93, 146, 150 }
    ],
    [
        { 146, 655, 659 },
        { 146, 657, 659 },
        { 655, 657, 659 },
        { 146, 655, 657 }
    ],
    [
        { 153, 655, 661 },
        { 93, 153, 661 },
        { 93, 153, 655 },
        { 93, 655, 661 }
    ],
    [
        { 93, 594, 661 },
        { 154, 594, 661 },
        { 93, 154, 661 },
        { 93, 154, 594 }
    ],
    [
        { 594, 655, 661 },
        { 594, 661, 662 },
        { 655, 661, 662 },
        { 594, 655, 662 }
    ],
    [
        { 146, 651, 664 },
        { 146, 155, 651 },
        { 146, 155, 664 },
        { 155, 651, 664 }
    ],
    [
        { 146, 655, 666 },
        { 146, 155, 655 },
        { 146, 155, 666 },
        { 155, 655, 666 }
    ],
    [
        { 158, 655, 669 },
        { 155, 158, 655 },
        { 155, 158, 669 },
        { 155, 655, 669 }
    ],
    [
        { 671, 672, 675 },
        { 670, 672, 675 },
        { 670, 671, 672 },
        { 670, 671, 675 }
    ],
    [
        { 169, 671, 675 },
        { 159, 169, 675 },
        { 159, 169, 671 },
        { 159, 671, 675 }
    ],
    [
        { 159, 161, 613 },
        { 114, 161, 613 },
        { 114, 159, 161 },
        { 114, 159, 613 }
    ],
    [
        { 159, 166, 613 },
        { 165, 166, 613 },
        { 159, 165, 166 },
        { 159, 165, 613 }
    ],
    [
        { 15, 159, 171 },
        { 159, 171, 425 },
        { 15, 171, 425 },
        { 15, 159, 425 }
    ],
    [
        { 171, 440, 675 },
        { 159, 171, 675 },
        { 159, 171, 440 },
        { 159, 440, 675 }
    ],
    [
        { 440, 675, 869 },
        { 670, 675, 869 },
        { 440, 670, 869 },
        { 440, 670, 675 }
    ],
    [
        { 175, 436, 679 },
        { 172, 175, 679 },
        { 172, 436, 679 },
        { 172, 175, 436 }
    ],
    [
        { 178, 182, 680 },
        { 177, 178, 182 },
        { 177, 178, 680 },
        { 177, 182, 680 }
    ],
    [
        { 186, 671, 682, 683 },
        { 109, 186, 683 },
        { 109, 186, 682 },
        { 109, 671, 682 },
        { 109, 671, 683 }
    ],
    [
        { 177, 182, 186 },
        { 109, 182, 186 },
        { 109, 177, 182 },
        { 109, 177, 186 }
    ],
    [
        { 670, 683, 688 },
        { 683, 685, 688 },
        { 670, 685, 688 },
        { 670, 683, 685 }
    ],
    [
        { 182, 189, 688 },
        { 189, 683, 688 },
        { 182, 683, 688 },
        { 182, 189, 683 }
    ],
    [
        { 182, 188, 689 },
        { 188, 689, 870 },
        { 182, 689, 870 },
        { 182, 188, 870 }
    ],
    [
        { 182, 188, 688 },
        { 188, 688, 871 },
        { 182, 688, 871 },
        { 182, 188, 871 }
    ],
    [
        { 688, 871, 872 },
        { 670, 688, 872 },
        { 670, 871, 872 },
        { 670, 688, 871 }
    ],
    [
        { 190, 191, 691 },
        { 191, 690, 691 },
        { 190, 191, 690 },
        { 190, 690, 691 }
    ],
    [
        { 195, 196, 693 },
        { 196, 670, 693 },
        { 195, 670, 693 },
        { 195, 196, 670 }
    ],
    [
        { 197, 198, 693 },
        { 196, 197, 198 },
        { 196, 197, 693 },
        { 196, 198, 693 }
    ],
    [
        { 203, 204, 693 },
        { 203, 204, 670 },
        { 204, 670, 693 },
        { 203, 670, 693 }
    ],
    [
        { 203, 213, 694 },
        { 203, 213, 670 },
        { 213, 670, 694 },
        { 203, 670, 694 }
    ],
    [
        { 206, 208, 212 },
        { 208, 212, 693 },
        { 206, 208, 693 },
        { 206, 212, 693 }
    ],
    [
        { 206, 212, 213 },
        { 210, 212, 213 },
        { 206, 210, 212 },
        { 206, 210, 213 }
    ],
    [
        { 198, 873, 874 },
        { 198, 436, 874 },
        { 198, 436, 873 },
        { 436, 873, 874 }
    ],
    [
        { 216, 222, 257 },
        { 222, 257, 670 },
        { 216, 222, 670 },
        { 216, 257, 670 }
    ],
    [
        { 217, 220, 257 },
        { 216, 220, 257 },
        { 216, 217, 220 },
        { 216, 217, 257 }
    ],
    [
        { 213, 234, 694, 698 },
        { 213, 670, 694 },
        { 670, 694, 698 },
        { 213, 234, 670 },
        { 234, 670, 698 }
    ],
    [
        { 210, 213, 230, 234 },
        { 206, 210, 213 },
        { 206, 210, 230 },
        { 206, 230, 234 },
        { 206, 213, 234 }
    ],
    [
        { 223, 225, 257 },
        { 225, 257, 670 },
        { 223, 257, 670 },
        { 223, 225, 670 }
    ],
    [
        { 225, 234, 698 },
        { 234, 670, 698 },
        { 225, 234, 670 },
        { 225, 670, 698 }
    ],
    [
        { 206, 227, 257 },
        { 206, 231, 257 },
        { 227, 231, 257 },
        { 206, 227, 231 }
    ],
    [
        { 206, 230, 234 },
        { 230, 231, 234 },
        { 206, 231, 234 },
        { 206, 230, 231 }
    ],
    [
        { 217, 691, 701 },
        { 217, 699, 701 },
        { 691, 699, 701 },
        { 217, 691, 699 }
    ],
    [
        { 236, 702, 708, 875 },
        { 236, 704, 711, 875 },
        { 708, 711, 875 },
        { 702, 704, 708, 711 },
        { 236, 702, 704 }
    ],
    [
        { 243, 709, 712, 713 },
        { 711, 712, 713 },
        { 243, 708, 711, 712 },
        { 708, 709, 711, 713 },
        { 243, 708, 709 }
    ],
    [
        { 240, 241, 249 },
        { 240, 241, 243 },
        { 240, 243, 249, 716 },
        { 241, 243, 716 },
        { 241, 249, 716 }
    ],
    [
        { 206, 240, 249 },
        { 206, 249, 250, 876 },
        { 206, 240, 246, 876 },
        { 240, 246, 249, 250 },
        { 246, 250, 876 }
    ],
    [
        { 252, 257, 720, 722 },
        { 257, 699, 722 },
        { 699, 720, 722 },
        { 252, 699, 720 },
        { 252, 257, 699 }
    ],
    [
        { 206, 257, 725 },
        { 206, 251, 725 },
        { 206, 251, 252, 257 },
        { 251, 252, 725 },
        { 252, 257, 725 }
    ],
    [
        { 258, 262, 274, 730, 731, 877 },
        { 258, 259, 262, 263 },
        { 259, 274, 727, 730 },
        { 258, 259, 730 },
        { 263, 727, 731, 877 },
        { 262, 263, 877 },
        { 274, 727, 731 },
        { 259, 263, 727 }
    ],
    [
        { 266, 274, 731 },
        { 5, 266, 731 },
        { 5, 266, 274 },
        { 5, 274, 731 }
    ],
    [
        { 3, 5, 274, 730 },
        { 5, 271, 274 },
        { 3, 5, 270, 271 },
        { 270, 271, 274, 730 },
        { 3, 270, 730 }
    ],
    [
        { 277, 735, 879 },
        { 277, 735, 878 },
        { 735, 878, 879 },
        { 277, 878, 879 }
    ],
    [
        { 5, 276, 277 },
        { 5, 277, 734, 735 },
        { 5, 276, 734 },
        { 276, 277, 735 },
        { 276, 734, 735 }
    ],
    [
        { 301, 734, 880 },
        { 5, 734, 880 },
        { 5, 301, 880 },
        { 5, 301, 734 }
    ],
    [
        { 301, 302, 737 },
        { 292, 301, 737 },
        { 292, 293, 301, 302 },
        { 292, 293, 737 },
        { 293, 302, 737 }
    ],
    [
        { 286, 739, 740 },
        { 285, 739, 740 },
        { 285, 286, 740 },
        { 285, 286, 739 }
    ],
    [
        { 289, 739, 741 },
        { 285, 739, 741 },
        { 285, 289, 739 },
        { 285, 289, 741 }
    ],
    [
        { 297, 301, 302 },
        { 292, 297, 298, 301 },
        { 292, 293, 301, 302 },
        { 293, 297, 298, 302 },
        { 292, 293, 298 }
    ],
    [
        { 323, 329, 744 },
        { 323, 742, 744 },
        { 323, 329, 742 },
        { 329, 742, 744 }
    ],
    [
        { 323, 326, 746, 747 },
        { 323, 324, 326, 328 },
        { 323, 324, 747 },
        { 324, 328, 746, 747 },
        { 326, 328, 746 }
    ],
    [
        { 292, 750, 881 },
        { 292, 311, 750 },
        { 292, 306, 881 },
        { 292, 306, 311 },
        { 306, 308, 881 },
        { 306, 308, 311 },
        { 308, 311, 750 },
        { 308, 750, 881 }
    ],
    [
        { 323, 324, 331 },
        { 316, 320, 323, 324 },
        { 316, 324, 331 },
        { 320, 323, 331 },
        { 316, 320, 331 }
    ],
    [
        { 323, 329, 331 },
        { 323, 331, 742 },
        { 323, 329, 742 },
        { 329, 331, 742 }
    ],
    [
        { 329, 331, 742 },
        { 285, 331, 742 },
        { 285, 329, 336, 742 },
        { 329, 331, 336 },
        { 285, 331, 336 }
    ],
    [
        { 324, 331, 336 },
        { 285, 331, 336 },
        { 285, 324, 336 },
        { 285, 324, 331 }
    ],
    [
        { 324, 336, 740 },
        { 285, 336, 740 },
        { 285, 324, 336 },
        { 285, 324, 740 }
    ],
    [
        { 292, 740, 757 },
        { 324, 740, 757 },
        { 292, 324, 740 },
        { 292, 324, 757 }
    ],
    [
        { 362, 366, 882 },
        { 366, 759, 882 },
        { 362, 759, 882 },
        { 362, 366, 759 }
    ],
    [
        { 366, 369, 760, 761 },
        { 342, 366, 369 },
        { 342, 369, 760 },
        { 342, 760, 761 },
        { 342, 366, 761 }
    ],
    [
        { 342, 369, 762 },
        { 285, 352, 369, 762 },
        { 285, 342, 369 },
        { 285, 342, 352 },
        { 342, 352, 762 }
    ],
    [
        { 285, 346, 349, 883 },
        { 285, 342, 883 },
        { 285, 342, 346 },
        { 342, 346, 349 },
        { 342, 349, 883 }
    ],
    [
        { 369, 379, 762 },
        { 285, 369, 379 },
        { 285, 352, 369, 762 },
        { 352, 379, 762 },
        { 285, 352, 379 }
    ],
    [
        { 369, 379, 764 },
        { 368, 379, 764 },
        { 368, 369, 764 },
        { 368, 369, 379 }
    ],
    [
        { 361, 362, 366 },
        { 358, 361, 366 },
        { 358, 362, 366 },
        { 358, 361, 362 }
    ],
    [
        { 361, 366, 369 },
        { 358, 361, 366 },
        { 358, 366, 369, 371 },
        { 361, 369, 371 },
        { 358, 361, 371 }
    ],
    [
        { 361, 369, 371 },
        { 361, 368, 371 },
        { 368, 369, 371 },
        { 361, 368, 369 }
    ],
    [
        { 376, 382, 388 },
        { 376, 382, 777 },
        { 382, 388, 395, 777 },
        { 376, 388, 395 },
        { 376, 395, 777 }
    ],
    [
        { 375, 376, 382 },
        { 285, 375, 376 },
        { 285, 376, 382 },
        { 285, 375, 382 }
    ],
    [
        { 375, 382, 773 },
        { 375, 382, 772 },
        { 375, 772, 773 },
        { 382, 772, 773 }
    ],
    [
        { 376, 379, 777 },
        { 285, 376, 379 },
        { 285, 379, 777 },
        { 285, 376, 777 }
    ],
    [
        { 368, 379, 777 },
        { 367, 379, 777 },
        { 367, 368, 379 },
        { 367, 368, 777 }
    ],
    [
        { 391, 393, 777, 884 },
        { 382, 777, 884 },
        { 382, 386, 780, 884 },
        { 386, 388, 391, 393, 395, 780 },
        { 382, 386, 388 },
        { 382, 388, 395, 777 },
        { 391, 395, 777 },
        { 393, 780, 884 }
    ],
    [
        { 403, 408, 781 },
        { 398, 408, 781 },
        { 398, 403, 408 },
        { 398, 403, 781 }
    ],
    [
        { 401, 408, 411 },
        { 398, 401, 408 },
        { 398, 401, 411 },
        { 398, 408, 411 }
    ],
    [
        { 403, 408, 411 },
        { 408, 409, 411 },
        { 403, 405, 409, 411 },
        { 403, 405, 408 },
        { 405, 408, 409 }
    ],
    [
        { 415, 417, 786 },
        { 417, 786, 885 },
        { 415, 417, 885 },
        { 415, 786, 885 }
    ],
    [
        { 11, 420, 788 },
        { 398, 420, 788 },
        { 11, 398, 420 },
        { 11, 398, 788 }
    ],
    [
        { 398, 403, 788, 789 },
        { 403, 421, 422, 789 },
        { 398, 403, 421 },
        { 398, 421, 422, 788 },
        { 422, 788, 789 }
    ],
    [
        { 171, 427, 440 },
        { 15, 171, 427 },
        { 15, 427, 440 },
        { 15, 171, 440 }
    ],
    [
        { 427, 429, 792 },
        { 15, 427, 792 },
        { 15, 429, 792 },
        { 15, 427, 429 }
    ],
    [
        { 429, 431, 793 },
        { 15, 431, 793 },
        { 15, 429, 793 },
        { 15, 429, 431 }
    ],
    [
        { 429, 431, 574 },
        { 431, 574, 799 },
        { 429, 431, 799 },
        { 429, 574, 799 }
    ],
    [
        { 427, 429, 440 },
        { 427, 429, 432 },
        { 427, 432, 440 },
        { 429, 432, 440 }
    ],
    [
        { 429, 799, 886 },
        { 429, 432, 799 },
        { 429, 432, 886 },
        { 432, 799, 886 }
    ],
    [
        { 437, 679, 795 },
        { 436, 437, 679 },
        { 436, 679, 795 },
        { 436, 437, 795 }
    ],
    [
        { 679, 795, 887 },
        { 440, 679, 887 },
        { 440, 795, 887 },
        { 440, 679, 795 }
    ],
    [
        { 440, 442, 795 },
        { 432, 442, 795 },
        { 432, 440, 442 },
        { 432, 440, 795 }
    ],
    [
        { 451, 799, 800 },
        { 449, 451, 800 },
        { 449, 451, 799 },
        { 449, 799, 800 }
    ],
    [
        { 444, 449, 799 },
        { 444, 796, 799 },
        { 449, 796, 799 },
        { 444, 449, 796 }
    ],
    [
        { 19, 23, 444, 449 },
        { 444, 446, 449, 451 },
        { 23, 449, 451 },
        { 19, 23, 446, 451 },
        { 19, 444, 446 }
    ],
    [
        { 446, 799, 802 },
        { 444, 446, 802 },
        { 444, 446, 799 },
        { 444, 799, 802 }
    ],
    [
        { 451, 800, 806 },
        { 451, 799, 806 },
        { 799, 800, 806 },
        { 451, 799, 800 }
    ],
    [
        { 451, 454, 472 },
        { 42, 451, 454 },
        { 42, 454, 472 },
        { 42, 451, 472 }
    ],
    [
        { 30, 33, 446 },
        { 30, 33, 472 },
        { 33, 446, 451, 472 },
        { 30, 451, 472 },
        { 30, 446, 451 }
    ],
    [
        { 33, 446, 457 },
        { 47, 446, 457 },
        { 33, 47, 457 },
        { 33, 47, 446 }
    ],
    [
        { 446, 464, 809 },
        { 47, 446, 464 },
        { 47, 464, 809 },
        { 47, 446, 809 }
    ],
    [
        { 446, 802, 809 },
        { 446, 799, 809 },
        { 446, 799, 802 },
        { 799, 802, 809 }
    ],
    [
        { 37, 39, 41, 42 },
        { 37, 42, 468, 469 },
        { 41, 42, 469 },
        { 39, 41, 468, 469 },
        { 37, 39, 468 }
    ],
    [
        { 33, 42, 47, 472 },
        { 33, 47, 469 },
        { 42, 47, 469 },
        { 42, 469, 472 },
        { 33, 469, 472 }
    ],
    [
        { 486, 487, 810 },
        { 476, 479, 487, 810 },
        { 476, 486, 810, 888 },
        { 479, 486, 487, 888 },
        { 476, 479, 888 }
    ],
    [
        { 482, 486, 491 },
        { 482, 483, 490, 491 },
        { 486, 487, 490, 491 },
        { 482, 483, 486, 487 },
        { 483, 487, 490 }
    ],
    [
        { 498, 799, 806 },
        { 42, 498, 806 },
        { 42, 799, 806 },
        { 42, 498, 799 }
    ],
    [
        { 53, 498, 499 },
        { 42, 53, 499 },
        { 42, 53, 498 },
        { 42, 498, 499 }
    ],
    [
        { 53, 59, 499 },
        { 42, 53, 499 },
        { 42, 53, 59 },
        { 42, 59, 499 }
    ],
    [
        { 889, 890, 891 },
        { 137, 890, 891 },
        { 137, 889, 891 },
        { 137, 889, 890 }
    ],
    [
        { 491, 503, 504 },
        { 491, 504, 507 },
        { 503, 504, 507 },
        { 491, 503, 507 }
    ],
    [
        { 491, 509, 891 },
        { 507, 509, 891 },
        { 491, 507, 891 },
        { 491, 507, 509 }
    ],
    [
        { 68, 69, 813, 814 },
        { 69, 517, 813 },
        { 68, 69, 517 },
        { 68, 517, 814 },
        { 517, 813, 814 }
    ],
    [
        { 64, 68, 491 },
        { 68, 69, 490, 491 },
        { 64, 490, 491 },
        { 64, 69, 490 },
        { 64, 68, 69 }
    ],
    [
        { 68, 503, 516 },
        { 68, 516, 517 },
        { 503, 516, 517 },
        { 68, 503, 517 }
    ],
    [
        { 68, 491, 504 },
        { 68, 503, 504 },
        { 68, 491, 503 },
        { 491, 503, 504 }
    ],
    [
        { 503, 522, 892 },
        { 503, 517, 522 },
        { 503, 517, 820, 892 },
        { 522, 820, 892 },
        { 517, 522, 820 }
    ],
    [
        { 503, 822, 892 },
        { 503, 525, 822, 823 },
        { 503, 525, 892, 893, 894, 895 },
        { 525, 823, 893 },
        { 823, 826, 893, 894 },
        { 822, 826, 892, 895 },
        { 822, 823, 826 },
        { 826, 894, 895 }
    ],
    [
        { 69, 525, 527 },
        { 69, 517, 527 },
        { 517, 525, 527 },
        { 69, 517, 525 }
    ],
    [
        { 69, 490, 532 },
        { 69, 525, 532 },
        { 69, 490, 525 },
        { 490, 525, 532 }
    ],
    [
        { 541, 896, 897 },
        { 436, 541, 897 },
        { 436, 541, 896 },
        { 436, 896, 897 }
    ],
    [
        { 490, 525, 532 },
        { 490, 532, 536 },
        { 525, 532, 536 },
        { 490, 525, 536 }
    ],
    [
        { 525, 540, 541, 544 },
        { 525, 536, 544, 828 },
        { 536, 540, 541, 828 },
        { 525, 536, 541 },
        { 540, 544, 828 }
    ],
    [
        { 490, 541, 898 },
        { 536, 541, 898 },
        { 490, 536, 541 },
        { 490, 536, 898 }
    ],
    [
        { 549, 550, 795 },
        { 436, 549, 550 },
        { 436, 549, 795 },
        { 436, 550, 795 }
    ],
    [
        { 552, 799, 809 },
        { 47, 552, 809 },
        { 47, 799, 809 },
        { 47, 552, 799 }
    ],
    [
        { 81, 550, 552 },
        { 47, 81, 550 },
        { 47, 81, 552 },
        { 47, 550, 552 }
    ],
    [
        { 81, 550, 555 },
        { 47, 81, 550 },
        { 47, 81, 555 },
        { 47, 550, 555 }
    ],
    [
        { 555, 557, 833 },
        { 47, 557, 559, 833 },
        { 47, 555, 833 },
        { 47, 555, 559 },
        { 555, 557, 559 }
    ],
    [
        { 562, 565, 835 },
        { 565, 835, 836 },
        { 562, 835, 836 },
        { 562, 565, 836 }
    ],
    [
        { 565, 570, 835, 839 },
        { 570, 836, 839 },
        { 565, 570, 836 },
        { 565, 835, 836 },
        { 835, 836, 839 }
    ],
    [
        { 568, 570, 839 },
        { 570, 836, 839 },
        { 568, 836, 839 },
        { 568, 570, 836 }
    ],
    [
        { 566, 568, 570 },
        { 562, 566, 568 },
        { 562, 565, 568, 570 },
        { 562, 565, 566 },
        { 565, 566, 570 }
    ],
    [
        { 431, 574, 799 },
        { 431, 573, 574 },
        { 431, 573, 799 },
        { 573, 574, 799 }
    ],
    [
        { 431, 573, 578 },
        { 15, 431, 578 },
        { 15, 431, 573 },
        { 15, 573, 578 }
    ],
    [
        { 86, 562, 578 },
        { 15, 562, 578 },
        { 15, 86, 578 },
        { 15, 86, 562 }
    ],
    [
        { 562, 578, 580 },
        { 573, 578, 580 },
        { 562, 573, 580 },
        { 562, 573, 578 }
    ],
    [
        { 582, 583, 587, 588 },
        { 582, 587, 842 },
        { 587, 588, 842 },
        { 583, 588, 842 },
        { 582, 583, 842 }
    ],
    [
        { 568, 587, 844 },
        { 562, 568, 844 },
        { 562, 568, 587, 588 },
        { 562, 588, 844 },
        { 587, 588, 844 }
    ],
    [
        { 94, 899, 900 },
        { 93, 94, 900 },
        { 93, 568, 899, 900 },
        { 93, 94, 568 },
        { 94, 568, 899 }
    ],
    [
        { 590, 594, 847 },
        { 594, 799, 847 },
        { 590, 594, 799 },
        { 590, 799, 847 }
    ],
    [
        { 590, 592, 594 },
        { 93, 592, 594 },
        { 93, 590, 594 },
        { 93, 590, 592 }
    ],
    [
        { 94, 568, 592 },
        { 93, 568, 592 },
        { 93, 94, 592 },
        { 93, 94, 568 }
    ],
    [
        { 568, 592, 598 },
        { 590, 592, 598 },
        { 568, 590, 598 },
        { 568, 590, 592 }
    ],
    [
        { 119, 600, 613 },
        { 114, 600, 613 },
        { 114, 119, 600 },
        { 114, 119, 613 }
    ],
    [
        { 99, 604, 633 },
        { 99, 604, 607 },
        { 99, 607, 633 },
        { 604, 607, 633 }
    ],
    [
        { 98, 99, 603, 604 },
        { 98, 603, 607 },
        { 603, 604, 607 },
        { 99, 604, 607 },
        { 98, 99, 607 }
    ],
    [
        { 119, 610, 633 },
        { 119, 607, 610 },
        { 607, 610, 633 },
        { 119, 607, 633 }
    ],
    [
        { 98, 119, 603 },
        { 98, 603, 607 },
        { 98, 119, 607 },
        { 119, 603, 607 }
    ],
    [
        { 603, 613, 614 },
        { 119, 613, 614 },
        { 119, 603, 614 },
        { 119, 603, 613 }
    ],
    [
        { 15, 93, 853, 854 },
        { 93, 853, 855, 901 },
        { 15, 93, 901 },
        { 15, 854, 855, 901 },
        { 853, 854, 855 }
    ],
    [
        { 101, 617, 633 },
        { 101, 131, 617 },
        { 131, 617, 633 },
        { 101, 131, 633 }
    ],
    [
        { 101, 105, 604 },
        { 93, 105, 604 },
        { 93, 101, 105 },
        { 93, 101, 604 }
    ],
    [
        { 101, 604, 621 },
        { 604, 621, 633 },
        { 101, 621, 633 },
        { 101, 604, 633 }
    ],
    [
        { 114, 119, 624 },
        { 109, 119, 624 },
        { 109, 114, 119 },
        { 109, 114, 624 }
    ],
    [
        { 119, 625, 858 },
        { 624, 625, 858 },
        { 119, 624, 858 },
        { 119, 624, 625 }
    ],
    [
        { 625, 627, 859 },
        { 123, 627, 859 },
        { 123, 625, 627 },
        { 123, 625, 859 }
    ],
    [
        { 124, 625, 627 },
        { 124, 627, 633 },
        { 124, 625, 633 },
        { 625, 627, 633 }
    ],
    [
        { 119, 859, 861 },
        { 119, 627, 633, 859 },
        { 119, 633, 861 },
        { 627, 859, 861 },
        { 627, 633, 861 }
    ],
    [
        { 625, 631, 859 },
        { 119, 631, 859 },
        { 119, 625, 631 },
        { 119, 625, 859 }
    ],
    [
        { 624, 625, 632 },
        { 625, 632, 865 },
        { 624, 625, 865 },
        { 624, 632, 865 }
    ],
    [
        { 109, 624, 902 },
        { 109, 127, 902, 903 },
        { 109, 127, 624, 632 },
        { 624, 632, 902, 903 },
        { 127, 632, 903 }
    ],
    [
        { 131, 632, 633 },
        { 127, 632, 633 },
        { 127, 131, 632 },
        { 127, 131, 633 }
    ],
    [
        { 625, 632, 868 },
        { 625, 633, 868 },
        { 632, 633, 868 },
        { 625, 632, 633 }
    ],
    [
        { 636, 640, 642 },
        { 137, 636, 640 },
        { 137, 640, 642 },
        { 137, 636, 642 }
    ],
    [
        { 143, 640, 642 },
        { 143, 640, 651 },
        { 143, 642, 651 },
        { 640, 642, 651 }
    ],
    [
        { 499, 642, 644 },
        { 137, 499, 644 },
        { 137, 642, 644 },
        { 137, 499, 642 }
    ],
    [
        { 498, 499, 642 },
        { 499, 642, 799 },
        { 498, 499, 799 },
        { 498, 642, 799 }
    ],
    [
        { 141, 642, 651 },
        { 141, 155, 642 },
        { 141, 155, 651 },
        { 155, 642, 651 }
    ],
    [
        { 642, 669, 799 },
        { 155, 642, 669 },
        { 155, 642, 799 },
        { 155, 669, 799 }
    ],
    [
        { 146, 650, 651 },
        { 93, 146, 650 },
        { 93, 146, 651 },
        { 93, 650, 651 }
    ],
    [
        { 146, 655, 659 },
        { 93, 146, 659 },
        { 93, 655, 659 },
        { 93, 146, 655 }
    ],
    [
        { 594, 655, 661 },
        { 93, 594, 661 },
        { 93, 655, 661 },
        { 93, 594, 655 }
    ],
    [
        { 594, 655, 847 },
        { 594, 799, 847 },
        { 594, 655, 799 },
        { 655, 799, 847 }
    ],
    [
        { 146, 651, 655 },
        { 146, 155, 655 },
        { 146, 155, 651 },
        { 155, 651, 655 }
    ],
    [
        { 655, 669, 799 },
        { 155, 655, 669 },
        { 155, 655, 799 },
        { 155, 669, 799 }
    ],
    [
        { 159, 671, 675 },
        { 670, 671, 675 },
        { 159, 670, 675 },
        { 159, 670, 671 }
    ],
    [
        { 114, 159, 613 },
        { 109, 159, 613 },
        { 109, 114, 613 },
        { 109, 114, 159 }
    ],
    [
        { 15, 159, 613 },
        { 159, 165, 613 },
        { 15, 165, 613 },
        { 15, 159, 165 }
    ],
    [
        { 159, 440, 675 },
        { 440, 670, 675 },
        { 159, 670, 675 },
        { 159, 440, 670 }
    ],
    [
        { 159, 171, 440 },
        { 15, 171, 440 },
        { 15, 159, 171 },
        { 15, 159, 440 }
    ],
    [
        { 196, 436, 670 },
        { 172, 196, 436 },
        { 172, 196, 670 },
        { 172, 436, 670 }
    ],
    [
        { 440, 670, 869 },
        { 172, 440, 869 },
        { 172, 670, 869 },
        { 172, 440, 670 }
    ],
    [
        { 436, 440, 679 },
        { 172, 440, 679 },
        { 172, 436, 679 },
        { 172, 436, 440 }
    ],
    [
        { 177, 182, 680 },
        { 109, 182, 680 },
        { 109, 177, 182 },
        { 109, 177, 680 }
    ],
    [
        { 670, 671, 683 },
        { 109, 671, 683 },
        { 109, 670, 671 },
        { 109, 670, 683 }
    ],
    [
        { 182, 186, 683 },
        { 109, 182, 683 },
        { 109, 182, 186 },
        { 109, 186, 683 }
    ],
    [
        { 182, 683, 688 },
        { 182, 670, 688 },
        { 670, 683, 688 },
        { 182, 670, 683 }
    ],
    [
        { 182, 188, 871 },
        { 182, 188, 870 },
        { 188, 870, 871 },
        { 182, 870, 871 }
    ],
    [
        { 182, 688, 871 },
        { 182, 670, 688 },
        { 670, 688, 871 },
        { 182, 670, 871 }
    ],
    [
        { 191, 871, 872 },
        { 191, 670, 872 },
        { 670, 871, 872 },
        { 191, 670, 871 }
    ],
    [
        { 191, 216, 691 },
        { 191, 216, 670 },
        { 216, 670, 691 },
        { 191, 670, 691 }
    ],
    [
        { 191, 691, 871 },
        { 191, 690, 691 },
        { 191, 690, 871 },
        { 690, 691, 871 }
    ],
    [
        { 196, 198, 436 },
        { 196, 198, 670 },
        { 198, 436, 670 },
        { 196, 436, 670 }
    ],
    [
        { 196, 198, 693 },
        { 198, 670, 693 },
        { 196, 198, 670 },
        { 196, 670, 693 }
    ],
    [
        { 203, 213, 693 },
        { 203, 213, 670 },
        { 213, 670, 693 },
        { 203, 670, 693 }
    ],
    [
        { 206, 212, 213 },
        { 212, 213, 693 },
        { 206, 212, 693 },
        { 206, 213, 693 }
    ],
    [
        { 198, 693, 873 },
        { 198, 436, 693 },
        { 198, 436, 873 },
        { 436, 693, 873 }
    ],
    [
        { 216, 217, 691 },
        { 216, 217, 670 },
        { 217, 670, 691 },
        { 216, 670, 691 }
    ],
    [
        { 216, 217, 257 },
        { 217, 257, 670 },
        { 216, 257, 670 },
        { 216, 217, 670 }
    ],
    [
        { 206, 213, 234 },
        { 213, 234, 670 },
        { 206, 234, 670 },
        { 206, 213, 670 }
    ],
    [
        { 225, 234, 257 },
        { 234, 257, 670 },
        { 225, 234, 670 },
        { 225, 257, 670 }
    ],
    [
        { 206, 234, 257 },
        { 231, 234, 257 },
        { 206, 231, 234 },
        { 206, 231, 257 }
    ],
    [
        { 217, 257, 691 },
        { 217, 257, 699 },
        { 257, 691, 699 },
        { 217, 691, 699 }
    ],
    [
        { 240, 243, 712 },
        { 243, 708, 711, 712 },
        { 240, 711, 712, 875 },
        { 240, 243, 708, 875 },
        { 708, 711, 875 }
    ],
    [
        { 206, 240, 249 },
        { 206, 249, 716, 904 },
        { 206, 240, 243, 904 },
        { 240, 243, 249, 716 },
        { 243, 716, 904 }
    ],
    [
        { 206, 257, 699 },
        { 206, 251, 252, 257 },
        { 206, 251, 699 },
        { 252, 257, 699 },
        { 251, 252, 699 }
    ],
    [
        { 3, 5, 274, 730 },
        { 3, 5, 277 },
        { 5, 277, 731, 877 },
        { 5, 274, 731 },
        { 3, 258, 262, 277 },
        { 258, 262, 274, 730, 731, 877 },
        { 262, 277, 877 },
        { 3, 258, 730 }
    ],
    [
        { 301, 734, 735, 878 },
        { 5, 277, 301, 878 },
        { 5, 301, 734 },
        { 5, 277, 734, 735 },
        { 277, 735, 878 }
    ],
    [
        { 292, 301, 737 },
        { 5, 301, 737 },
        { 5, 292, 737 },
        { 5, 292, 301 }
    ],
    [
        { 292, 739, 740 },
        { 285, 739, 740 },
        { 285, 292, 740 },
        { 285, 292, 739 }
    ],
    [
        { 301, 739, 741 },
        { 285, 739, 741 },
        { 285, 301, 739 },
        { 285, 301, 741 }
    ],
    [
        { 297, 301, 739 },
        { 292, 297, 298, 301 },
        { 292, 301, 739 },
        { 297, 298, 739 },
        { 292, 298, 739 }
    ],
    [
        { 323, 744, 881 },
        { 323, 742, 881 },
        { 323, 742, 744 },
        { 742, 744, 881 }
    ],
    [
        { 292, 750, 881 },
        { 292, 323, 324, 881 },
        { 292, 324, 747, 750 },
        { 323, 747, 750, 881 },
        { 323, 324, 747 }
    ],
    [
        { 285, 324, 331 },
        { 285, 331, 742 },
        { 285, 323, 324, 742 },
        { 323, 331, 742 },
        { 323, 324, 331 }
    ],
    [
        { 292, 324, 740 },
        { 285, 292, 740 },
        { 285, 324, 740 },
        { 285, 292, 324 }
    ],
    [
        { 366, 882, 883 },
        { 362, 366, 882 },
        { 362, 882, 883 },
        { 362, 366, 883 }
    ],
    [
        { 285, 342, 883 },
        { 285, 366, 369, 883 },
        { 285, 342, 369 },
        { 342, 366, 369 },
        { 342, 366, 883 }
    ],
    [
        { 368, 369, 379 },
        { 285, 369, 379 },
        { 285, 368, 379 },
        { 285, 368, 369 }
    ],
    [
        { 361, 362, 368 },
        { 361, 368, 369 },
        { 362, 366, 368, 369 },
        { 361, 366, 369 },
        { 361, 362, 366 }
    ],
    [
        { 376, 382, 777 },
        { 285, 376, 382 },
        { 285, 376, 777 },
        { 285, 382, 777 }
    ],
    [
        { 375, 382, 773 },
        { 285, 375, 382 },
        { 285, 375, 773 },
        { 285, 382, 773 }
    ],
    [
        { 368, 379, 777 },
        { 285, 379, 777 },
        { 285, 368, 379 },
        { 285, 368, 777 }
    ],
    [
        { 368, 382, 773, 777 },
        { 368, 777, 884, 905 },
        { 382, 777, 884 },
        { 382, 773, 884, 905 },
        { 368, 773, 905 }
    ],
    [
        { 403, 408, 411 },
        { 398, 408, 411 },
        { 398, 403, 408 },
        { 398, 403, 411 }
    ],
    [
        { 403, 415, 417, 789 },
        { 415, 789, 885 },
        { 403, 789, 885 },
        { 415, 417, 885 },
        { 403, 417, 885 }
    ],
    [
        { 11, 403, 789 },
        { 398, 403, 788, 789 },
        { 11, 398, 403 },
        { 11, 398, 788 },
        { 11, 788, 789 }
    ],
    [
        { 427, 429, 440 },
        { 15, 427, 429 },
        { 15, 427, 440 },
        { 15, 429, 440 }
    ],
    [
        { 429, 431, 799 },
        { 15, 429, 431 },
        { 15, 431, 799 },
        { 15, 429, 799 }
    ],
    [
        { 429, 440, 799 },
        { 429, 432, 799 },
        { 429, 432, 440 },
        { 432, 440, 799 }
    ],
    [
        { 440, 679, 795 },
        { 436, 679, 795 },
        { 436, 440, 679 },
        { 436, 440, 795 }
    ],
    [
        { 440, 795, 799 },
        { 432, 795, 799 },
        { 432, 440, 795 },
        { 432, 440, 799 }
    ],
    [
        { 444, 446, 799 },
        { 444, 446, 449, 451 },
        { 444, 449, 799 },
        { 449, 451, 799 },
        { 446, 451, 799 }
    ],
    [
        { 451, 799, 806 },
        { 42, 451, 806 },
        { 42, 799, 806 },
        { 42, 451, 799 }
    ],
    [
        { 33, 47, 446 },
        { 42, 47, 446, 451 },
        { 33, 42, 47, 472 },
        { 33, 446, 451, 472 },
        { 42, 451, 472 }
    ],
    [
        { 446, 799, 809 },
        { 47, 446, 809 },
        { 47, 446, 799 },
        { 47, 799, 809 }
    ],
    [
        { 37, 42, 47, 833, 906, 907 },
        { 42, 47, 469 },
        { 37, 42, 468, 469 },
        { 47, 469, 833, 908 },
        { 468, 906, 907, 908 },
        { 833, 906, 908 },
        { 37, 468, 907 },
        { 468, 469, 908 }
    ],
    [
        { 486, 487, 490, 491 },
        { 486, 491, 810, 909 },
        { 490, 491, 909 },
        { 487, 490, 810, 909 },
        { 486, 487, 810 }
    ],
    [
        { 498, 499, 799 },
        { 42, 498, 499 },
        { 42, 499, 799 },
        { 42, 498, 799 }
    ],
    [
        { 59, 137, 499 },
        { 42, 59, 499 },
        { 42, 137, 499 },
        { 42, 59, 137 }
    ],
    [
        { 503, 889, 891 },
        { 137, 889, 891 },
        { 137, 503, 891 },
        { 137, 503, 889 }
    ],
    [
        { 491, 509, 891 },
        { 137, 509, 891 },
        { 137, 491, 891 },
        { 137, 491, 509 }
    ],
    [
        { 491, 503, 891 },
        { 491, 507, 891 },
        { 503, 507, 891 },
        { 491, 503, 507 }
    ],
    [
        { 68, 69, 490, 491 },
        { 68, 491, 517 },
        { 490, 491, 517 },
        { 69, 490, 517 },
        { 68, 69, 517 }
    ],
    [
        { 68, 491, 503 },
        { 68, 491, 517 },
        { 68, 503, 517 },
        { 491, 503, 517 }
    ],
    [
        { 503, 525, 892, 893, 894, 895 },
        { 503, 517, 820, 892 },
        { 503, 517, 525 },
        { 517, 525, 893, 910 },
        { 820, 894, 895, 910 },
        { 893, 894, 910 },
        { 517, 820, 910 },
        { 820, 892, 895 }
    ],
    [
        { 69, 490, 525 },
        { 69, 490, 517 },
        { 69, 517, 525 },
        { 490, 517, 525 }
    ],
    [
        { 525, 541, 897 },
        { 436, 541, 897 },
        { 436, 525, 541 },
        { 436, 525, 897 }
    ],
    [
        { 490, 541, 898 },
        { 436, 541, 898 },
        { 436, 490, 541 },
        { 436, 490, 898 }
    ],
    [
        { 490, 525, 541 },
        { 490, 536, 541 },
        { 525, 536, 541 },
        { 490, 525, 536 }
    ],
    [
        { 550, 795, 799 },
        { 436, 550, 795 },
        { 436, 550, 799 },
        { 436, 795, 799 }
    ],
    [
        { 550, 552, 799 },
        { 47, 550, 552 },
        { 47, 550, 799 },
        { 47, 552, 799 }
    ],
    [
        { 47, 550, 555 },
        { 436, 550, 555 },
        { 47, 436, 550 },
        { 47, 436, 555 }
    ],
    [
        { 490, 555, 833 },
        { 47, 555, 833 },
        { 47, 490, 833 },
        { 47, 490, 555 }
    ],
    [
        { 562, 565, 568, 570 },
        { 568, 570, 836 },
        { 562, 568, 836 },
        { 565, 570, 836 },
        { 562, 565, 836 }
    ],
    [
        { 431, 573, 799 },
        { 15, 431, 799 },
        { 15, 431, 573 },
        { 15, 573, 799 }
    ],
    [
        { 562, 573, 578 },
        { 15, 562, 578 },
        { 15, 573, 578 },
        { 15, 562, 573 }
    ],
    [
        { 562, 573, 799 },
        { 562, 799, 836 },
        { 562, 573, 836 },
        { 573, 799, 836 }
    ],
    [
        { 562, 568, 587, 588 },
        { 568, 587, 842 },
        { 562, 568, 842 },
        { 587, 588, 842 },
        { 562, 588, 842 }
    ],
    [
        { 93, 842, 853 },
        { 15, 93, 842 },
        { 15, 93, 853, 854 },
        { 15, 842, 854 },
        { 842, 853, 854 }
    ],
    [
        { 842, 899, 900 },
        { 93, 842, 900 },
        { 93, 568, 899, 900 },
        { 568, 842, 899 },
        { 93, 568, 842 }
    ],
    [
        { 590, 594, 799 },
        { 93, 590, 594 },
        { 93, 594, 799 },
        { 93, 590, 799 }
    ],
    [
        { 568, 590, 592 },
        { 93, 568, 592 },
        { 93, 590, 592 },
        { 93, 568, 590 }
    ],
    [
        { 568, 590, 799 },
        { 568, 590, 836 },
        { 568, 799, 836 },
        { 590, 799, 836 }
    ],
    [
        { 114, 119, 613 },
        { 109, 119, 613 },
        { 109, 114, 613 },
        { 109, 114, 119 }
    ],
    [
        { 119, 603, 604, 633 },
        { 119, 603, 607 },
        { 119, 607, 633 },
        { 603, 604, 607 },
        { 604, 607, 633 }
    ],
    [
        { 119, 603, 613 },
        { 15, 603, 613 },
        { 15, 119, 613 },
        { 15, 119, 603 }
    ],
    [
        { 15, 93, 603, 604 },
        { 15, 603, 901, 911 },
        { 15, 93, 901 },
        { 93, 604, 901, 911 },
        { 603, 604, 911 }
    ],
    [
        { 101, 131, 633 },
        { 101, 127, 633 },
        { 101, 127, 131 },
        { 127, 131, 633 }
    ],
    [
        { 101, 604, 633 },
        { 93, 101, 604 },
        { 93, 604, 633 },
        { 93, 101, 633 }
    ],
    [
        { 119, 624, 625 },
        { 109, 119, 625 },
        { 109, 624, 625 },
        { 109, 119, 624 }
    ],
    [
        { 119, 625, 859 },
        { 119, 627, 633, 859 },
        { 119, 625, 633 },
        { 625, 627, 633 },
        { 625, 627, 859 }
    ],
    [
        { 109, 624, 625 },
        { 109, 127, 625 },
        { 109, 127, 624, 632 },
        { 127, 625, 632 },
        { 624, 625, 632 }
    ],
    [
        { 625, 632, 633 },
        { 127, 625, 632 },
        { 127, 625, 633 },
        { 127, 632, 633 }
    ],
    [
        { 640, 642, 651 },
        { 137, 640, 642 },
        { 137, 640, 651 },
        { 137, 642, 651 }
    ],
    [
        { 499, 642, 799 },
        { 137, 499, 642 },
        { 137, 499, 799 },
        { 137, 642, 799 }
    ],
    [
        { 642, 651, 799 },
        { 155, 642, 799 },
        { 155, 642, 651 },
        { 155, 651, 799 }
    ],
    [
        { 146, 651, 655 },
        { 93, 146, 655 },
        { 93, 146, 651 },
        { 93, 651, 655 }
    ],
    [
        { 594, 655, 799 },
        { 93, 594, 655 },
        { 93, 594, 799 },
        { 93, 655, 799 }
    ],
    [
        { 651, 655, 799 },
        { 155, 655, 799 },
        { 155, 651, 655 },
        { 155, 651, 799 }
    ],
    [
        { 159, 670, 671 },
        { 109, 159, 671 },
        { 109, 670, 671 },
        { 109, 159, 670 }
    ],
    [
        { 15, 159, 613 },
        { 109, 159, 613 },
        { 15, 109, 613 },
        { 15, 109, 159 }
    ],
    [
        { 15, 159, 440 },
        { 159, 440, 670 },
        { 15, 440, 670 },
        { 15, 159, 670 }
    ],
    [
        { 436, 440, 670 },
        { 172, 436, 440 },
        { 172, 440, 670 },
        { 172, 436, 670 }
    ],
    [
        { 182, 680, 870 },
        { 109, 182, 680 },
        { 109, 182, 870 },
        { 109, 680, 870 }
    ],
    [
        { 182, 670, 683 },
        { 109, 182, 683 },
        { 109, 182, 670 },
        { 109, 670, 683 }
    ],
    [
        { 182, 670, 871 },
        { 182, 870, 871 },
        { 182, 670, 870 },
        { 670, 870, 871 }
    ],
    [
        { 191, 691, 871 },
        { 191, 670, 691 },
        { 191, 670, 871 },
        { 670, 691, 871 }
    ],
    [
        { 198, 436, 693 },
        { 198, 670, 693 },
        { 198, 436, 670 },
        { 436, 670, 693 }
    ],
    [
        { 206, 213, 693 },
        { 206, 213, 670 },
        { 213, 670, 693 },
        { 206, 670, 693 }
    ],
    [
        { 206, 693, 873 },
        { 206, 436, 693 },
        { 206, 436, 873 },
        { 436, 693, 873 }
    ],
    [
        { 217, 257, 691 },
        { 217, 257, 670 },
        { 257, 670, 691 },
        { 217, 670, 691 }
    ],
    [
        { 206, 234, 257 },
        { 234, 257, 670 },
        { 206, 234, 670 },
        { 206, 257, 670 }
    ],
    [
        { 206, 257, 691 },
        { 206, 257, 699 },
        { 257, 691, 699 },
        { 206, 691, 699 }
    ],
    [
        { 206, 240, 243, 904 },
        { 206, 240, 251, 712 },
        { 206, 251, 904 },
        { 243, 251, 712, 904 },
        { 240, 243, 712 }
    ],
    [
        { 691, 699, 912 },
        { 206, 251, 691, 912 },
        { 251, 699, 912 },
        { 206, 691, 699 },
        { 206, 251, 699 }
    ],
    [
        { 292, 301, 878, 881, 913, 914 },
        { 5, 292, 301 },
        { 5, 277, 301, 878 },
        { 3, 5, 292, 881 },
        { 277, 878, 913 },
        { 3, 277, 913, 914 },
        { 3, 5, 277 },
        { 3, 881, 914 }
    ],
    [
        { 292, 301, 739 },
        { 285, 301, 739 },
        { 285, 292, 739 },
        { 285, 292, 301 }
    ],
    [
        { 285, 292, 324 },
        { 285, 292, 742, 881 },
        { 285, 323, 324, 742 },
        { 292, 323, 324, 881 },
        { 323, 742, 881 }
    ],
    [
        { 362, 366, 368, 369 },
        { 285, 362, 368, 883 },
        { 285, 368, 369 },
        { 285, 366, 369, 883 },
        { 362, 366, 883 }
    ],
    [
        { 368, 382, 773, 777 },
        { 285, 368, 777 },
        { 285, 368, 773 },
        { 285, 382, 773 },
        { 285, 382, 777 }
    ],
    [
        { 773, 916, 917 },
        { 368, 773, 915, 916 },
        { 915, 916, 917, 918, 919, 920 },
        { 368, 905, 918, 919 },
        { 368, 915, 918 },
        { 773, 905, 917, 920 },
        { 368, 773, 905 },
        { 905, 919, 920 }
    ],
    [
        { 11, 403, 411 },
        { 11, 398, 411 },
        { 398, 403, 411 },
        { 11, 398, 403 }
    ],
    [
        { 11, 403, 789 },
        { 11, 789, 885 },
        { 403, 789, 885 },
        { 11, 403, 885 }
    ],
    [
        { 429, 440, 799 },
        { 15, 429, 799 },
        { 15, 429, 440 },
        { 15, 440, 799 }
    ],
    [
        { 440, 795, 799 },
        { 436, 795, 799 },
        { 436, 440, 795 },
        { 436, 440, 799 }
    ],
    [
        { 47, 446, 799 },
        { 42, 47, 446, 451 },
        { 42, 47, 799 },
        { 42, 451, 799 },
        { 446, 451, 799 }
    ],
    [
        { 42, 47, 490, 491 },
        { 490, 491, 909 },
        { 490, 833, 906, 909 },
        { 37, 42, 47, 833, 906, 907 },
        { 37, 491, 907, 909 },
        { 906, 907, 909 },
        { 37, 42, 491 },
        { 47, 490, 833 }
    ],
    [
        { 137, 499, 799 },
        { 42, 499, 799 },
        { 42, 137, 499 },
        { 42, 137, 799 }
    ],
    [
        { 59, 137, 491 },
        { 42, 59, 491 },
        { 42, 59, 137 },
        { 42, 137, 491 }
    ],
    [
        { 491, 503, 891 },
        { 137, 491, 891 },
        { 137, 503, 891 },
        { 137, 491, 503 }
    ],
    [
        { 490, 491, 503, 525 },
        { 490, 517, 525 },
        { 503, 517, 525 },
        { 491, 503, 517 },
        { 490, 491, 517 }
    ],
    [
        { 490, 525, 541 },
        { 436, 490, 541 },
        { 436, 525, 541 },
        { 436, 490, 525 }
    ],
    [
        { 47, 550, 799 },
        { 436, 550, 799 },
        { 47, 436, 550 },
        { 47, 436, 799 }
    ],
    [
        { 47, 490, 555 },
        { 436, 490, 555 },
        { 47, 436, 555 },
        { 47, 436, 490 }
    ],
    [
        { 562, 568, 799 },
        { 562, 568, 836 },
        { 562, 799, 836 },
        { 568, 799, 836 }
    ],
    [
        { 562, 573, 799 },
        { 15, 562, 799 },
        { 15, 562, 573 },
        { 15, 573, 799 }
    ],
    [
        { 93, 568, 842 },
        { 15, 93, 562, 568 },
        { 15, 93, 842 },
        { 562, 568, 842 },
        { 15, 562, 842 }
    ],
    [
        { 568, 590, 799 },
        { 93, 568, 590 },
        { 93, 568, 799 },
        { 93, 590, 799 }
    ],
    [
        { 15, 119, 613 },
        { 109, 119, 613 },
        { 15, 109, 613 },
        { 15, 109, 119 }
    ],
    [
        { 15, 93, 603, 604 },
        { 15, 93, 119, 633 },
        { 15, 119, 603 },
        { 119, 603, 604, 633 },
        { 93, 604, 633 }
    ],
    [
        { 93, 101, 633 },
        { 101, 127, 633 },
        { 93, 101, 127 },
        { 93, 127, 633 }
    ],
    [
        { 127, 625, 633 },
        { 109, 127, 625 },
        { 109, 119, 127, 633 },
        { 119, 625, 633 },
        { 109, 119, 625 }
    ],
    [
        { 642, 651, 799 },
        { 137, 642, 799 },
        { 137, 642, 651 },
        { 137, 651, 799 }
    ],
    [
        { 651, 655, 799 },
        { 93, 655, 799 },
        { 93, 651, 655 },
        { 93, 651, 799 }
    ],
    [
        { 15, 159, 670 },
        { 15, 109, 159 },
        { 109, 159, 670 },
        { 15, 109, 670 }
    ],
    [
        { 15, 436, 440 },
        { 436, 440, 670 },
        { 15, 440, 670 },
        { 15, 436, 670 }
    ],
    [
        { 182, 670, 870 },
        { 109, 182, 670 },
        { 109, 182, 870 },
        { 109, 670, 870 }
    ],
    [
        { 670, 691, 871 },
        { 691, 870, 871 },
        { 670, 691, 870 },
        { 670, 870, 871 }
    ],
    [
        { 206, 436, 693 },
        { 206, 670, 693 },
        { 206, 436, 670 },
        { 436, 670, 693 }
    ],
    [
        { 206, 257, 691 },
        { 206, 257, 670 },
        { 257, 670, 691 },
        { 206, 670, 691 }
    ],
    [
        { 436, 691, 912, 921, 922, 923 },
        { 206, 251, 691, 912 },
        { 206, 436, 691 },
        { 206, 436, 904, 922 },
        { 206, 251, 904 },
        { 251, 904, 921, 923 },
        { 904, 921, 922 },
        { 251, 912, 923 }
    ],
    [
        { 285, 292, 742, 881 },
        { 285, 742, 883 },
        { 285, 301, 878, 883 },
        { 285, 292, 301 },
        { 742, 883, 913, 914 },
        { 292, 301, 878, 881, 913, 914 },
        { 878, 883, 913 },
        { 742, 881, 914 }
    ],
    [
        { 362, 368, 915 },
        { 285, 362, 368, 883 },
        { 285, 368, 915 },
        { 285, 883, 915 },
        { 362, 883, 915 }
    ],
    [
        { 368, 773, 915, 916 },
        { 285, 773, 916 },
        { 285, 915, 916 },
        { 285, 368, 915 },
        { 285, 368, 773 }
    ],
    [
        { 11, 403, 885 },
        { 11, 885, 924 },
        { 403, 411, 885, 924 },
        { 11, 403, 411 },
        { 11, 411, 924 }
    ],
    [
        { 436, 440, 799 },
        { 15, 440, 799 },
        { 15, 436, 799 },
        { 15, 436, 440 }
    ],
    [
        { 47, 490, 799 },
        { 42, 47, 490, 491 },
        { 42, 47, 799 },
        { 42, 491, 799 },
        { 490, 491, 799 }
    ],
    [
        { 137, 491, 799 },
        { 42, 491, 799 },
        { 42, 137, 491 },
        { 42, 137, 799 }
    ],
    [
        { 436, 490, 525 },
        { 137, 436, 490, 491 },
        { 137, 436, 503, 525 },
        { 490, 491, 503, 525 },
        { 137, 491, 503 }
    ],
    [
        { 47, 490, 799 },
        { 436, 490, 799 },
        { 47, 436, 490 },
        { 47, 436, 799 }
    ],
    [
        { 93, 568, 799 },
        { 15, 93, 562, 568 },
        { 15, 93, 799 },
        { 15, 562, 799 },
        { 562, 568, 799 }
    ],
    [
        { 109, 119, 127, 633 },
        { 15, 93, 109, 127 },
        { 93, 127, 633 },
        { 15, 93, 119, 633 },
        { 15, 109, 119 }
    ],
    [
        { 93, 651, 799 },
        { 137, 651, 799 },
        { 93, 137, 799 },
        { 93, 137, 651 }
    ],
    [
        { 15, 436, 670 },
        { 15, 109, 436 },
        { 109, 436, 670 },
        { 15, 109, 670 }
    ],
    [
        { 670, 691, 870 },
        { 109, 670, 691 },
        { 109, 691, 870 },
        { 109, 670, 870 }
    ],
    [
        { 206, 436, 691 },
        { 206, 670, 691 },
        { 206, 436, 670 },
        { 436, 670, 691 }
    ],
    [
        { 915, 916, 925 },
        { 285, 915, 916 },
        { 883, 915, 925 },
        { 285, 883, 915 },
        { 285, 742, 916 },
        { 742, 916, 925 },
        { 285, 742, 883 },
        { 742, 883, 925 }
    ],
    [
        { 11, 885, 915 },
        { 11, 885, 924 },
        { 11, 915, 924 },
        { 885, 915, 924 }
    ],
    [
        { 15, 436, 799 },
        { 109, 436, 799 },
        { 15, 109, 799 },
        { 15, 109, 436 }
    ],
    [
        { 436, 490, 799 },
        { 137, 436, 490, 491 },
        { 137, 436, 799 },
        { 137, 491, 799 },
        { 490, 491, 799 }
    ],
    [
        { 15, 109, 799 },
        { 109, 127, 799 },
        { 15, 93, 109, 127 },
        { 15, 93, 799 },
        { 93, 127, 799 }
    ],
    [
        { 93, 137, 799 },
        { 93, 127, 799 },
        { 127, 137, 799 },
        { 93, 127, 137 }
    ],
    [
        { 436, 670, 691 },
        { 109, 436, 691 },
        { 109, 670, 691 },
        { 109, 436, 670 }
    ],
    [
        { 915, 916, 924, 926 },
        { 137, 436, 691, 885, 924, 926 },
        { 137, 885, 915, 925 },
        { 885, 915, 924 },
        { 691, 916, 926 },
        { 436, 691, 916, 925 },
        { 915, 916, 925 },
        { 137, 436, 925 }
    ],
    [
        { 127, 137, 799 },
        { 109, 127, 799 },
        { 109, 127, 137, 436 },
        { 137, 436, 799 },
        { 109, 436, 799 }
    ],
    [
        { 109, 127, 137, 436 },
        { 137, 436, 691, 885, 924, 926 },
        { 109, 436, 691 },
        { 109, 691, 926, 927 },
        { 127, 885, 924, 927 },
        { 127, 137, 885 },
        { 924, 926, 927 },
        { 109, 127, 927 }
    ]
]
/* Order of PGL_2(O) stabilizers of Voronoi top cells */
[ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1,
1, 1, 1, 1, 3, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 2, 1, 1, 2, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1,
3, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 3, 1, 3 ]
/* GAP id of GL_2(O) stabilizers of Voronoi top cells */
[ <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2,
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <12, 4>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 
2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 
1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <12, 1>, <2, 1>, <2,
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 
1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <6, 2> ]