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