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