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