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