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