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