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