/* Defining polynomial */ x^2 - x + 373 /* Minimal vectors */ [ <9*w + 46, -7*w + 125>, <-6*w + 75, -137>, <-29*w + 136, 10*w - 547>, <-8*w + 530, -19*w - 401>, <3*w + 121, -7*w - 12>, <21*w + 394, -29*w + 146>, <3*w + 54, -4*w + 23>, <6*w + 63, -6*w + 68>, <-6*w + 118, -2*w - 157>, <5*w + 188, -11*w - 10>, <4*w + 19, -3*w + 57>, <-11*w + 21, 5*w - 193>, <6*w + 62, -6*w + 69>, <-2*w + 159, -6*w - 112>, <-770*w + 385, 385*w - 13067>, <-67*w + 14580, -619*w - 8084>, <1155*w + 16020, -1322*w + 11674>, <-452*w + 27268, -987*w - 20585>, <67*w + 14513, -686*w - 5810>, <-1155*w + 17175, -167*w - 27527>, <452*w + 26816, -1439*w - 5244>, <741*w + 1112, -437*w + 11867>, <-741*w + 1853, 304*w - 13283>, <2965, -133*w - 1416>, <421*w + 11839, -751*w + 1390>, <-421*w + 12260, -330*w - 12899>, <-70*w + 35, 35*w - 1188>, <52*w + 509, -50*w + 627>, <-105*w + 777, 20*w - 2128>, <17*w + 2321, -113*w - 824>, <-52*w + 561, 2*w - 1138>, <105*w + 672, -85*w + 1436>, <-17*w + 2338, -96*w - 1401>, <11*w + 26, -7*w + 173>, <221, -10*w - 107>, <-3*w + 234, -9*w - 164>, <11*w + 247, -17*w + 66>, <17*w + 177, -17*w + 200>, <377, -17*w - 183>, <111*w + 690, -90*w + 1532>, <-132*w + 1553, -2974>, <-21*w + 2243, -90*w - 1442>, <12*w + 58, -9*w + 173>, <10*w + 104, -10*w + 117>, <-4*w + 203, -7*w - 166>, <6*w + 307, -17*w - 49>, <3*w + 9, -2*w + 46>, <-7*w + 194, -5*w - 212>, <-10*w + 185, -3*w - 258>, <5*w + 252, -14*w - 39>, <-20*w + 15, 10*w - 344>, <-11*w + 108, w - 238>, <133, -6*w - 65>, <15*w + 310, -22*w + 101>, <-5*w + 325, -12*w - 243>, <10*w + 81, -9*w + 129>, <-w + 211, -9*w - 120>, <9*w + 292, -18*w + 9>, <36*w + 327, -34*w + 447>, <-2*w + 776, -34*w - 413>, <27*w + 35, -16*w + 438>, <-11*w + 484, -16*w - 422>, <16*w + 519, -32*w + 16>, <-33*w + 94, 13*w - 600>, <-8*w + 137, -2*w - 200>, <24*w + 232, -23*w + 293>, <-9*w + 326, -10*w - 307>, <-w + 189, -8*w - 107>, <15*w + 558, -33*w - 14>, <-11*w + 38, 4*w - 204>, , <-14*w + 249, -4*w - 355>, <6*w + 262, -15*w - 23>, <25*w + 88, -17*w + 381>, <-19*w + 174, 2*w - 404>, <10*w + 194, -14*w + 77>, <-14*w + 293, -6*w - 376>, <-4*w + 487, -20*w - 299>, <5*w + 75, -6*w + 49>, <-15*w + 150, w - 325>, <-6*w + 157, -4*w - 176>, <-19*w + 46, 8*w - 344>, <3*w + 53, -4*w + 25>, <-4*w + 223, -8*w - 176>, <8*w + 281, -17*w - 1>, <-7*w + 170, -4*w - 201>, <-23*w + 269, -520>, <3*w + 31, -3*w + 36>, <-5*w + 190, -6*w - 177>, <-2*w + 221, -9*w - 141>, <10*w + 235, -16*w + 56>, <-56*w + 599, 2*w - 1237>, <9*w + 1412, -69*w - 521>, <157*w + 1887, -168*w + 1766>, <36*w + 2815, -147*w - 732>, <-206*w + 103, 103*w - 3548>, <-47*w + 869, -15*w - 1213>, <1691, -77*w - 807>, <-206*w + 1794, 26*w - 4355>, <56*w + 2783, -156*w - 377>, <19*w + 27, -11*w + 309>, <-3*w + 56, -w - 77>, <4*w + 219, -12*w - 35>, <-8*w + 289, -9*w - 271>, <7*w + 163, -11*w + 42>, <23*w + 246, -23*w + 274>, <-7*w + 35, 2*w - 135>, <66, -3*w - 31>, <-3*w + 122, -4*w - 108>, <154, -7*w - 72>, <-3*w + 34, -67>, <5*w + 185, -11*w - 2>, <2*w + 219, -11*w - 69>, <-10*w + 245, -6*w - 285>, <-w + 35, -w - 34>, <23*w + 124, -18*w + 317>, <22*w + 159, -19*w + 283>, <-3*w + 467, -19*w - 283>, <19*w + 264, -22*w + 181>, <18*w + 299, -23*w + 147>, <-19*w + 302, -3*w - 464>, <12*w + 32, -8*w + 183>, <3*w + 53, -4*w + 23>, <4*w + 108, -7*w + 12>, <-8*w + 211, -5*w - 239>, <-4*w + 27, w - 80>, <12*w + 54, -9*w + 172>, <-6*w + 74, -137>, <3*w + 255, -13*w - 79>, <7*w + 26, -5*w + 103>, <7*w + 161, -11*w + 35>, <-2*w + 182, -7*w - 125>, <-14*w + 83, 4*w - 274>, <11*w + 179, -14*w + 92>, <-3*w + 262, -10*w - 182>, <-10*w + 101, w - 217>, <-11*w + 136, -251>, <7*w + 206, -13*w + 12>, <-2*w + 47, -w - 56>, <-13*w + 135, w - 280>, <12*w + 172, -14*w + 113>, <-4*w + 298, -11*w - 212>, <3*w + 9, -2*w + 45>, <2*w + 134, -7*w - 33>, <-13*w + 1, 7*w - 217>, <-3*w + 14, w - 57>, <-w + 57, -2*w - 45>, , <-2*w + 293, -12*w - 179>, <14*w + 99, -12*w + 184>, <-11*w + 223, -4*w - 294>, <-7*w + 40, 2*w - 136>, <2*w + 43, -3*w + 12>, <-7*w + 62, w - 147>, <-3*w + 126, -4*w - 112>, <-10*w + 188, -3*w - 259>, <7*w + 252, -15*w - 8>, , <-2*w + 271, -11*w - 167>, <-4*w + 183, -6*w - 157>, <5*w + 164, -10*w + 2>, <6*w + 107, -8*w + 47>, <-5*w + 38, w - 102>, <3*w + 188, -10*w - 43>, <-6*w + 207, -6*w - 202>, <-385*w + 12688, -368*w - 12501>, <4168*w + 49949, -4418*w + 45882>, <-4168*w + 54117, -250*w - 95581>, <385*w + 91378, -4300*w - 37198>, <-385*w + 91763, -3915*w - 50265>, <385*w + 12303, -753*w + 566>, <104066, -4668*w - 49699>, <435*w + 2023, -318*w + 6312>, <251*w + 4166, -318*w + 2210>, <8583, -385*w - 4099>, <-368*w + 8767, -201*w - 10344>, <-368*w + 17350, -586*w - 14443>, <-184*w + 2143, -4102>, <318*w + 6373, -452*w + 2277>, <-619*w + 8703, -67*w - 14513>, <-301*w + 15076, -519*w - 12236>, <-485*w + 53, 251*w - 8140>, <67*w + 2207, -134*w + 67>, <-117*w + 4350, -134*w - 4035>, <552*w + 6635, -586*w + 6067>, <67*w + 6688, -335*w - 2073>, <17*w + 181, -17*w + 198>, <168*w + 1053, -135*w + 2308>, <-33*w + 1878, -67*w - 1449>, <-83*w + 3196, -100*w - 2915>, <-201*w + 825, 68*w - 3757>, <-50*w + 1697, -50*w - 1647>, <-67*w + 1516, -33*w - 1845>, <135*w + 2173, -168*w + 1221>, <-100*w + 3015, -83*w - 3113>, <68*w + 3689, -201*w - 624>, <-972*w + 486, 486*w - 16495>, <67*w + 9653, -468*w - 3489>, <-67*w + 9720, -401*w - 5763>, <486*w + 13356, -853*w + 1753>, <-486*w + 13842, -367*w - 14742>, <1894*w + 4827, -1206*w + 29384>, <-1894*w + 6721, 688*w - 34899>, <11548, -518*w - 5515>, <1123*w + 30170, -1940*w + 4381>, <-1123*w + 31293, -817*w - 33734>, <-84*w + 1335, -16*w - 2043>, <118*w + 1613, -134*w + 1204>, <-118*w + 1352, w - 2620>, <101*w + 1432, -117*w + 1006>, <-101*w + 1533, -16*w - 2422>, <-219*w + 2885, -15*w - 5042>, <118*w + 1234, -117*w + 1385>, <135*w + 1415, -134*w + 1583>, <-135*w + 1550, w - 2999>, <219*w + 2666, -234*w + 2391>, <-17*w + 198, -379>, <84*w + 1251, -100*w + 808>, <-118*w + 1731, -16*w - 2801>, <67*w + 1449, -100*w + 429>, <-2*w + 1, w - 34>, <28*w + 387, -32*w + 284>, <-28*w + 415, -4*w - 667>, , <-w + 524, -23*w - 267>, <-21*w + 200, 2*w - 447>, <97*w + 319, -65*w + 1471>, <18*w + 459, -30*w + 82>, <-63*w + 912, -8*w - 1490>, <34*w + 1231, -73*w - 19>, <39*w + 259, -32*w + 529>, <-23*w + 825, -25*w - 779>, <89*w + 145, -53*w + 1420>, <-71*w + 381, 20*w - 1370>, <54*w + 508, -51*w + 661>, <18*w + 526, -33*w + 50>, <-53*w + 1598, -44*w - 1650>, , <35*w + 1777, -98*w - 263>, <-35*w + 1812, -63*w - 1451>, <1070, -48*w - 511>, <-34*w + 17, 17*w - 577>, <17*w + 2767, -133*w - 1037>, <-17*w + 2784, -116*w - 1614>, <-135*w + 1171, 18*w - 2818>, <135*w + 1036, -117*w + 1764>, <52*w + 888, -67*w + 446>, <69*w + 1069, -84*w + 644>, <-34*w + 1466, -48*w - 1269>, <-67*w + 691, 4*w - 1451>, <71*w + 756, -71*w + 827>, <-150*w + 1925, -8*w - 3429>, <-79*w + 2681, -79*w - 2602>, <35*w + 16, -19*w + 578>, <-31*w + 1431, -48*w - 1202>, <4*w + 1447, -67*w - 624>, <126*w + 1676, -141*w + 1308>, <19*w + 559, -35*w + 51>, <3*w + 1102, -51*w - 476>, <-48*w + 1250, -31*w - 1400>, <-29*w + 1809, -66*w - 1349>, <141*w + 1167, -126*w + 1802>, <36*w + 361, -35*w + 430>, <71*w + 377, -54*w + 1008>, <56*w + 1265, -86*w + 333>, <-86*w + 511, 22*w - 1683>, <-51*w + 527, 3*w - 1105>, <-66*w + 1415, -29*w - 1780>, <21*w + 179, -19*w + 266>, <63*w + 225, -43*w + 947>, <2*w + 311, -15*w - 115>, <-33*w + 1231, -38*w - 1140>, <-21*w + 66, 8*w - 383>, <6*w + 309, -17*w - 47>, <4*w + 310, -16*w - 81>, <7*w + 342, -19*w - 46>, <-14*w + 408, -11*w - 429>, <28*w + 276, -27*w + 337>, <9*w + 341, -20*w - 12>, <-20*w + 32, 9*w - 350>, <-22*w + 33, 10*w - 384>, <29*w + 309, -29*w + 338>, <10*w + 374, -22*w - 11>, <-12*w + 407, -12*w - 395>, <-19*w + 65, 7*w - 349>, <27*w + 310, -28*w + 304>, <8*w + 375, -21*w - 45>, , <-17*w + 64, 6*w - 315>, <-16*w + 97, 4*w - 314>, <-11*w + 440, -14*w - 394>, <-15*w + 130, 2*w - 313>, <19*w + 247, -21*w + 200>, <43*w + 904, -63*w + 288>, <-38*w + 1178, -33*w - 1198>, <54*w + 330, -43*w + 746>, <4*w + 377, -19*w - 113>, <23*w + 624, -40*w + 87>, <-3*w + 13, w - 57>, <15*w + 178, -16*w + 167>, <-w + 56, -2*w - 44>, <10*w + 82, -9*w + 129>, <2*w + 264, -13*w - 94>, <111*w + 313, -73*w + 1715>, <-38*w + 2066, -73*w - 1642>, <19*w + 65, -13*w + 288>, <-12*w + 252, -5*w - 324>, <7*w + 317, -18*w - 36>, <31*w + 545, -41*w + 257>, <15*w + 1, -8*w + 252>, <-6*w + 270, -9*w - 232>, <9*w + 271, -17*w + 20>, <33*w + 277, -30*w + 421>, <11*w + 5, -6*w + 182>, <-23*w + 24, 11*w - 397>, <18*w + 168, -17*w + 221>, <-5*w + 192, -6*w - 176>, <-12*w + 385, -11*w - 386>, <-w + 390, -17*w - 204>, <16*w + 169, -16*w + 187>, <-36*w + 176, 11*w - 688>, <-16*w + 187, -358>, <356, -16*w - 171>, <-25*w + 537, -11*w - 677>, <8*w + 40, -6*w + 115>, <-15*w + 153, w - 325>, <-4*w + 158, -5*w - 143>, <4*w + 198, -11*w - 28>, <6*w + 197, -12*w + 6>, <-19*w + 222, -425>, <7*w + 7, -4*w + 114>, <-w + 123, -5*w - 76>, <35*w + 124, -24*w + 527>, <6*w + 753, -37*w - 262>, <6*w + 130, -9*w + 38>, <-34*w + 376, w - 751>, <34*w + 247, -29*w + 451>, <-28*w + 506, -8*w - 713>, <9*w + 6, -5*w + 148>, <-2*w + 157, -6*w - 109>, <7*w + 163, -11*w + 39>, <-14*w + 186, -w - 324>, <-2*w + 46, -w - 56>, , <11*w + 159, -13*w + 107>, <-w + 212, -9*w - 120>, <-14*w + 99, 3*w - 283>, <-29*w + 410, -3*w - 686>, <-18*w + 569, -16*w - 579>, <15*w + 779, -43*w - 128>, <-6*w + 26, 2*w - 113>, <8*w + 62, -7*w + 104>, <2*w + 88, -5*w - 9>, <-9*w + 351, -11*w - 320>, <28*w + 25, -16*w + 459>, <-20*w + 36, 9*w - 354>, <-11*w + 329, -9*w - 345>, <-12*w + 496, -16*w - 443>, <16*w + 521, -32*w + 16>, <4*w + 19, -3*w + 58>, <11*w + 47, -8*w + 162>, <-6*w + 49, w - 125>, <-2*w + 68, -2*w - 67>, <-6*w + 182, -5*w - 190>, <5*w + 229, -13*w - 28>, <16*w + 121, -14*w + 210>, <7*w + 161, -11*w + 39>, <-13*w + 287, -6*w - 359>, <3*w + 408, -20*w - 149>, <-13*w + 21, 6*w - 229>, <-2*w + 201, -8*w - 132>, <7*w + 294, -17*w - 26>, <11*w + 25, -7*w + 173>, <15*w + 44, -10*w + 231>, <4*w + 152, -9*w - 7>, <-7*w + 127, -2*w - 180>, <-16*w + 189, -362>, <-8*w + 338, -11*w - 300>, <19*w + 19, -11*w + 311>, <-9*w + 62, 2*w - 182>, <-25*w + 52, 11*w - 447>, , <-3*w + 146, -5*w - 122>, <-14*w + 276, -5*w - 371>, <-11*w + 130, -249>, <7*w + 227, -14*w + 7>, <8*w + 16, -5*w + 127>, <6*w + 84, -7*w + 60>, <-19*w + 114, 5*w - 376>, <-14*w + 409, -11*w - 436>, <22, -w - 11>, <5*w + 29, -4*w + 70>, <-3*w + 80, -2*w - 90>, <-3*w + 102, -3*w - 101>, <5*w + 7, -3*w + 81>, <3*w + 75, -5*w + 14>, <-6*w + 93, -w - 147>, <-3*w + 168, -6*w - 133>, <-6*w + 5, 3*w - 104>, , <-5*w + 15, 2*w - 92>, <-w + 100, -4*w - 66>, <-8*w + 26, 3*w - 147>, <-w + 78, -3*w - 54>, <13*w + 138, -13*w + 153>, <5*w + 164, -10*w + 6>, <-11*w + 105, w - 235>, <-3*w + 190, -7*w - 141>, <8*w + 85, -8*w + 94>, <-2*w + 112, -4*w - 87>, <6*w + 197, -12*w + 7>, <-10*w + 27, 4*w - 181>, <-5*w + 191, -6*w - 175>, <-367*w + 173, 183*w - 6255>, <-17*w + 196, -379>, <377, -17*w - 179>, <-367*w + 550, 166*w - 6434>, <183*w + 6051, -368*w + 205>, <166*w + 6247, -368*w - 174>, <7*w + 8, -4*w + 114>, <4*w + 87, -6*w + 26>, <-14*w + 117, 2*w - 291>, <3*w + 298, -15*w - 91>, <-11*w + 415, -13*w - 382>, <17*w + 180, -17*w + 200>, <8*w + 506, -27*w - 107>, <-26*w + 146, 7*w - 507>, <-16*w + 8, 8*w - 273>, <8*w + 129, -10*w + 73>, <-17*w + 197, -380>, <-8*w + 514, -19*w - 380>, <-4*w + 68, -w - 100>, <2*w + 330, -16*w - 123>, <-5*w + 300, -11*w - 227>, <16*w + 37, -10*w + 253>, <26*w + 231, -24*w + 330>, , <5*w + 119, -8*w + 28>, <14*w + 126, -13*w + 177>, <-19*w + 41, 8*w - 340>, <-2*w + 45, -w - 55>, <3*w + 54, -4*w + 25>, <10*w + 217, -15*w + 66>, <-9*w + 258, -7*w - 274>, <20*w + 58, -13*w + 310>, , <-6*w + 312, -11*w - 249>, <11*w + 6, -6*w + 183>, <-8*w + 92, -179>, <-3*w + 211, -8*w - 151>, <17*w + 3, -9*w + 286>, <-4*w + 24, w - 79>, <-5*w + 234, -8*w - 196>, <4*w + 329, -17*w - 89>, <15*w + 48, -10*w + 231>, <-10*w + 115, -224>, , <44, -2*w - 21>, <-4*w + 112, -3*w - 121>, <9*w + 7, -5*w + 149>, <-2*w + 133, -5*w - 97>, <-11*w + 126, -246>, <3*w + 164, -9*w - 27>, <-4*w + 25, w - 80>, <-w + 78, -3*w - 55>, <7*w + 28, -5*w + 105>, <66, -3*w - 32>, <3*w + 119, -7*w - 7>, <5*w + 162, -10*w + 6>, <2*w + 175, -9*w - 51>, <-13*w + 152, -294>, <9*w + 71, -8*w + 118>, <-5*w + 36, w - 102>, <5*w + 74, -6*w + 49>, <110, -5*w - 53>, <7*w + 271, -16*w - 12>, <-8*w + 5, 4*w - 138>, <-3*w + 79, -2*w - 89>, <-18*w + 9, 9*w - 310>, <9*w + 270, -17*w + 24>, <45*w + 1394, -87*w + 99>, <-47*w + 1462, -42*w - 1496>, <-65*w + 329, 19*w - 1261>, <65*w + 264, -46*w + 978>, <-9*w + 279, -8*w - 286>, <47*w + 1415, -89*w + 123>, <-45*w + 1439, -42*w - 1451>, <47*w + 822, -62*w + 406>, <16*w + 14, -9*w + 265>, <-7*w + 300, -10*w - 262>, <-48*w + 595, -2*w - 1099>, <-5*w + 958, -41*w - 542>, <-16*w + 30, 7*w - 286>, <7*w + 293, -17*w - 21>, <48*w + 547, -50*w + 554>, <5*w + 953, -46*w - 370>, <3*w + 10, -2*w + 46>, <13*w + 51, -9*w + 196>, <10*w + 107, -10*w + 119>, <-11*w + 213, -4*w - 286>, <-5*w + 167, -5*w - 163>, <-2*w + 177, -7*w - 117>, <13*w + 139, -13*w + 155>, <-9*w + 80, w - 190>, <5*w + 10, -3*w + 80>, <-w + 11, -22>, <4*w + 21, -3*w + 58>, , <7*w + 8, -4*w + 115>, <-5*w + 13, 2*w - 91>, <2*w + 21, -2*w + 24>, <154, -7*w - 73>, <110, -5*w - 52>, <-5*w + 123, -3*w - 143>, <-8*w + 3, 4*w - 137>, <5*w + 97, -7*w + 39>, <-3*w + 100, -3*w - 98>, <176, -8*w - 83>, <5*w + 31, -4*w + 70>, <-5*w + 79, -w - 122>, <-7*w + 278, -9*w - 250>, <3*w + 76, -5*w + 15>, <2*w + 65, -4*w + 3>, <9*w + 117, -10*w + 97>, <198, -9*w - 94>, <-9*w + 81, w - 191>, <7*w + 52, -6*w + 94>, <-2*w + 2, w - 34>, <25*w + 122, -19*w + 351>, <-5*w + 469, -18*w - 317>, <-25*w + 308, -566>, <23*w + 192, -21*w + 283>, <-28*w + 775, -19*w - 849>, <-2*w + 500, -21*w - 283>, <24*w + 225, -23*w + 283>, , <-w + 465, -20*w - 249>, <-96*w + 28, 51*w - 1596>, <-23*w + 238, 2*w - 498>, <-24*w + 273, w - 532>, , <-21*w + 236, w - 464>, <23*w + 260, -24*w + 249>, <-20*w + 269, -w - 464>, <2*w + 496, -23*w - 215>, <51*w + 1545, -96*w + 68>, <-18*w + 335, -5*w - 464>, <-17*w + 368, -7*w - 464>, <19*w + 332, -25*w + 147>, <566, -25*w - 283>, <21*w + 262, -23*w + 215>, <-19*w + 868, -28*w - 747>, , <-21*w + 304, -2*w - 498>, <22*w + 227, -22*w + 249>, <43*w + 489, -45*w + 464>, <-43*w + 575, -2*w - 996>, <-3*w + 15, w - 57>, <-w + 58, -2*w - 46>, <22*w + 64, -15*w + 329>, <4*w + 449, -22*w - 163>, <2*w + 43, -3*w + 11>, <-19*w + 284, -2*w - 457>, <-17*w + 327, -5*w - 446>, <7*w + 434, -23*w - 106>, <20*w + 180, -19*w + 237>, <3*w + 8, -2*w + 45>, <-2*w + 48, -w - 57>, <5*w + 51, -5*w + 56>, <-6*w + 7, 3*w - 102>, <-4*w + 50, -91>, <91, -4*w - 46>, <3*w + 99, -6*w - 1>, <-5*w + 17, 2*w - 91>, <-2*w + 93, -3*w - 80>, <45, -2*w - 23>, <4*w + 63, -5*w + 34>, <-w + 103, -4*w - 69>, <-3*w + 60, -w - 80>, , <-2*w + 138, -5*w - 103>, <6*w + 106, -8*w + 45>, <4*w + 18, -3*w + 57>, <-12*w + 59, 4*w - 228>, <9*w + 159, -12*w + 68>, <-3*w + 218, -8*w - 160>, <12*w + 99, -11*w + 148>, <13*w + 19, -8*w + 205>, <-5*w + 62, -114>, <-w + 80, -3*w - 57>, <-2*w + 115, -4*w - 91>, <3*w + 98, -6*w>, <-w + 125, -5*w - 80>, <8*w + 14, -5*w + 125>, <6*w + 16, -4*w + 91>, <-3*w + 150, -5*w - 125>, <4*w + 86, -6*w + 23>, <-4*w + 117, -3*w - 125>, <2*w + 88, -5*w - 11>, <11*w, -6*w + 182>, <5*w + 6, -3*w + 80>, <-3*w + 82, -2*w - 91>, , <-8*w + 76, w - 171>, <6*w + 61, -6*w + 69>, <10*w + 34, -7*w + 149>, <-3*w + 284, -11*w - 193>, <6*w + 128, -9*w + 35>, <-7*w + 19, 3*w - 126>, <-2*w + 47, -w - 57>, <-8*w + 189, -4*w - 228>, <3*w + 233, -12*w - 68>, <11*w + 44, -8*w + 160>, <10*w + 124, -11*w + 103>, <5*w + 51, -5*w + 57>, <2*w + 133, -7*w - 34>, <-6*w + 7, 3*w - 103>, <2*w + 20, -2*w + 23>, <-5*w + 107, -2*w - 137>, <-6*w + 52, w - 126>, , <-4*w + 72, -w - 103>, <11*w + 88, -10*w + 138>, <5*w + 28, -4*w + 69>, , <9*w + 23, -6*w + 138>, <-2*w + 92, -3*w - 80>, <-4*w + 117, -3*w - 126>, <3*w + 75, -5*w + 12>, , <-14*w + 79, 4*w - 269>, <8*w + 16, -5*w + 124>, <-w + 80, -3*w - 56>, <-3*w + 127, -4*w - 112>, <-6*w + 27, 2*w - 112>, <-3*w + 36, -67>, , <-3*w + 59, -w - 79>, <-4*w + 116, -3*w - 124>, <5*w + 119, -8*w + 24>, <4*w + 265, -14*w - 65>, <-3*w + 36, -68>, <3*w + 53, -4*w + 24>, <-6*w + 50, w - 125>, <67, -3*w - 33>, <2*w + 110, -6*w - 21>, <318*w + 1892, -251*w + 4417>, <703*w + 14195, -1004*w + 4983>, <4102, -184*w - 1959>, <-318*w + 2210, 67*w - 6376>, <-703*w + 14898, -301*w - 18877>, <-368*w + 184, 184*w - 6245>, <368*w + 4297, -385*w + 4105>, <4481, -201*w - 2140>, <486*w + 5531, -502*w + 5490>, <-486*w + 6017, -16*w - 11005>, <352*w + 5598, -435*w + 3216>, <-352*w + 5950, -83*w - 8731>, <419*w + 3703, -385*w + 5242>, <-419*w + 4122, 34*w - 8979>, <151*w + 114, -84*w + 2472>, <-84*w + 1714, -33*w - 2224>, <101*w + 1811, -134*w + 825>, <-67*w + 1895, -50*w - 2026>, <-151*w + 3609, -83*w - 4250>, <3723, -167*w - 1778>, <-218*w + 5504, -133*w - 6276>, <67*w + 1828, -117*w + 248>, <151*w + 3458, -234*w + 875>, <218*w + 5286, -351*w + 1123>, <319*w + 3374, -318*w + 3726>, <7067, -317*w - 3375>, <84*w + 1630, -117*w + 627>, <-319*w + 3693, w - 7101>, <-151*w + 265, 67*w - 2653>, <-101*w + 1912, -33*w - 2603>, <41*w + 13, -22*w + 680>, <312, -14*w - 149>, <2*w + 623, -29*w - 264>, , <-w + 279, -12*w - 150>, <-41*w + 54, 19*w - 712>, <-2*w + 313, -13*w - 183>, <-2*w + 625, -27*w - 332>, <-3*w + 659, -28*w - 365>, <18*w + 771, -44*w - 67>, <-36*w + 397, w - 792>, <-55*w + 596, 2*w - 1205>, <-37*w + 743, -14*w - 974>, <51*w + 1167, -79*w + 296>, <54*w + 129, -34*w + 842>, <-w + 346, -15*w - 182>, <-19*w + 890, -30*w - 743>, <-20*w + 1236, -45*w - 925>, <-142*w + 71, 71*w - 2410>, <53*w + 854, -66*w + 479>, <-53*w + 907, -13*w - 1320>, <71*w + 1380, -99*w + 529>, <-71*w + 1451, -28*w - 1881>, <1761, -79*w - 841>, <-54*w + 183, 20*w - 991>, , <19*w + 871, -49*w - 98>, <20*w + 1216, -65*w - 246>, <-36*w + 18, 18*w - 611>, <-35*w + 1054, -29*w - 1089>, <-w + 725, -32*w - 363>, <-18*w + 923, -32*w - 742>, <34*w + 1053, -65*w + 66>, <105*w + 293, -68*w + 1617>, <-18*w + 544, -15*w - 561>, <-53*w + 1286, -30*w - 1501>, <-35*w + 742, -15*w - 940>, <52*w + 1579, -98*w + 116>, <35*w + 707, -50*w + 248>, <-52*w + 1631, -46*w - 1649>, <-105*w + 398, 37*w - 1947>, <53*w + 1233, -83*w + 298>, <-104*w + 52, 52*w - 1765>, <1449, -65*w - 692>, <18*w + 905, -50*w - 131>, <-51*w + 1285, -31*w - 1467>, , <-34*w + 1087, -31*w - 1088>, <55*w + 541, -53*w + 662>, <37*w + 706, -51*w + 282>, <-51*w + 1218, -28*w - 1435>, <-16*w + 164, w - 346>, <-67*w + 312, 21*w - 1270>, <35*w + 395, -36*w + 397>, <37*w + 773, -54*w + 250>, <86*w + 247, -56*w + 1321>, <54*w + 954, -71*w + 448>, <87*w + 213, -55*w + 1354>, <-16*w + 543, -16*w - 527>, <55*w + 1299, -87*w + 300>, <21*w + 1249, -67*w - 245>, <54*w + 196, -37*w + 810>, <-19*w + 132, 4*w - 381>, <22*w + 212, -21*w + 267>, <3*w + 344, -17*w - 114>, <27*w + 867, -53*w + 38>, <25*w + 556, -38*w + 153>, <8*w + 687, -35*w - 194>, <38*w + 115, -25*w + 581>, <-17*w + 131, 3*w - 347>, <-35*w + 229, 8*w - 695>, <21*w + 246, -22*w + 234>, <5*w + 343, -18*w - 80>, <-18*w + 98, 5*w - 348>, <-37*w + 163, 12*w - 697>, <49*w + 522, -49*w + 571>, <12*w + 685, -37*w - 126>, <26*w + 277, -26*w + 303>, <-11*w + 373, -11*w - 362>, <-53*w + 15, 27*w - 894>, <-69*w + 179, 28*w - 1240>, <56*w + 329, -44*w + 780>, <-13*w + 508, -16*w - 460>, <-49*w + 392, 8*w - 1007>, <35*w + 83, -22*w + 546>, <-11*w + 195, -3*w - 280>, <13*w + 69, -10*w + 186>, <3*w + 208, -11*w - 50>, <-8*w + 182, -4*w - 223>, <-18*w + 321, -5*w - 459>, <128*w + 113, -73*w + 2098>, <-55*w + 1889, -56*w - 1842>, <73*w + 2002, -129*w + 256>, <419*w + 4407, -421*w + 4908>, <-72*w + 1712, -39*w - 2042>, <-55*w + 2266, -73*w - 2025>, <73*w + 2379, -146*w + 73>, <-4*w + 47, -90>, <5*w + 163, -10*w + 5>, <20*w + 275, -23*w + 203>, <-7*w + 415, -15*w - 319>, , <9*w + 5, -5*w + 149>, <19*w + 220, -20*w + 213>, <-15*w + 265, -4*w - 381>, <-29*w + 208, 6*w - 589>, <3*w + 275, -14*w - 83>, <27*w + 281, -27*w + 318>, <-10*w + 51, 3*w - 193>, <-3*w + 35, -67>, <-w + 34, -w - 33>, <11*w + 362, -22*w + 11>, <24*w + 5, -13*w + 400>, <-3*w + 258, -10*w - 176>, <-9*w + 507, -18*w - 398>, <13*w + 2, -7*w + 217>, <-12*w + 53, 4*w - 227>, , <33*w + 210, -27*w + 451>, <-23*w + 161, 5*w - 464>, <8*w + 150, -11*w + 61>, <89, -4*w - 43>, <7*w + 96, -8*w + 71>, <-6*w + 115, -2*w - 156>, <-w + 212, -9*w - 119>, <-8*w + 27, 3*w - 147>, , <17*w + 354, -25*w + 114>, <8*w + 460, -25*w - 89>, <8*w + 61, -7*w + 105>, <26*w + 248, -25*w + 317>, <-19*w + 268, -2*w - 450>, <19*w + 131, -16*w + 256>, <-3*w + 390, -16*w - 240>, <-w + 167, -7*w - 98>, <-21*w + 203, 2*w - 452>, <-w + 566, -25*w - 292>, <14*w + 79, -11*w + 197>, <-15*w + 88, 4*w - 295>, <-5*w + 37, w - 102>, <-4*w + 114, -3*w - 123>, <7*w + 28, -5*w + 104>, <2*w + 65, -4*w + 2>, <11*w + 158, -13*w + 108>, <3*w + 119, -7*w - 8>, <2*w + 87, -5*w - 9>, <-7*w + 61, w - 148>, <-2*w + 90, -3*w - 78>, <-4*w + 3, 2*w - 69>, <9*w + 4, -5*w + 150>, <-6*w + 71, -136>, <-10*w + 74, 2*w - 205>, , <10*w + 169, -13*w + 86>, <4*w + 107, -7*w + 15>, <-2*w + 112, -4*w - 89>, <6*w + 17, -4*w + 93>, <7*w + 5, -4*w + 116>, <-2*w + 134, -5*w - 100>, <7*w + 27, -5*w + 105>, <-3*w + 124, -4*w - 112>, <-3*w + 79, -2*w - 88>, <-12*w + 183, -2*w - 289>, <-7*w + 192, -5*w - 209>, <17*w + 181, -17*w + 200>, <-184*w + 6224, -185*w - 6050>, <-20*w + 10, 10*w - 341>, <9*w + 51, -7*w + 127>, <-9*w + 60, 2*w - 180>, <111, -5*w - 53>, <-2*w + 89, -3*w - 76>, <-7*w + 16, 3*w - 126>, <-10*w + 117, -226>, <-3*w + 35, -68>, <-7*w + 59, w - 147>, <7*w + 95, -8*w + 73>, <-2*w + 23, -45>, <-2*w + 67, -2*w - 66>, <198, -9*w - 95>, <2*w + 87, -5*w - 8>, <2*w + 131, -7*w - 29>, <1142, -52*w - 545>, <-9*w + 1421, -60*w - 831>, <56*w + 543, -54*w + 692>, <65*w + 813, -71*w + 716>, <-65*w + 878, -6*w - 1523>, <38*w + 1101, -70*w + 120>, <-38*w + 1139, -32*w - 1189>, <16*w + 563, -34*w + 3>, <-11*w + 895, -35*w - 614>, <-18*w + 53, 7*w - 331>, <5*w + 272, -15*w - 45>, <9*w + 314, -19*w + 3>, <-14*w + 7, 7*w - 241>, <7*w + 337, -19*w - 42>, <-7*w + 344, -12*w - 283>, <-9*w + 323, -10*w - 307>, <7*w + 9, -4*w + 114>, <3*w + 32, -3*w + 36>, <-7*w + 102, -w - 167>, <-7*w + 58, w - 146>, <5*w + 185, -11*w - 3>, <498, -22*w - 249>, <-22*w + 271, -498>, , <113, -5*w - 57>, <-3*w + 105, -3*w - 103>, <6*w + 38, -5*w + 80>, <3*w + 8, -2*w + 46>, <3*w + 30, -3*w + 35>, <-3*w + 59, -w - 80>, <6*w + 38, -5*w + 81>, <2*w + 65, -4*w + 1>, <-6*w + 6, 3*w - 103>, <-14*w + 127, 2*w - 297>, <11*w + 201, -15*w + 82>, <-3*w + 328, -13*w - 215>, <67, -3*w - 34>, <-w + 12, -22>, <68, -3*w - 33>, <-2*w + 24, -45>, <4*w + 64, -5*w + 35>, <-7*w + 107, -w - 169>, <2*w + 88, -5*w - 10>, <-251*w + 4417, -67*w - 6309>, <134*w + 312, -84*w + 2093>, <-50*w + 2076, -67*w - 1828>, <84*w + 2388, -151*w + 265>, <84*w + 2009, -134*w + 446>, <235*w + 2502, -235*w + 2737>, <-117*w + 3971, -117*w - 3854>, <151*w + 4216, -268*w + 513>, <268*w + 245, -151*w + 4367>, <-134*w + 67, 67*w - 2274>, <7825, -351*w - 3737>, <134*w + 11481, -585*w - 3241>, <-134*w + 11615, -451*w - 7789>, <-122*w + 61, 61*w - 2071>, <-20*w + 166, 3*w - 414>, <-122*w + 373, 47*w - 2220>, <61*w + 2031, -123*w + 51>, <41*w + 2197, -120*w - 363>, <18*w + 147, -16*w + 231>, <20*w + 146, -17*w + 265>, <71*w + 310, -51*w + 1040>, <691, -31*w - 330>, <-10*w + 139, -w - 236>, <2*w + 43, -3*w + 13>, <6*w + 41, -5*w + 81>, <-11*w + 108, w - 237>, <-9*w + 106, -203>, <9*w + 293, -18*w + 9>, <2*w + 176, -9*w - 52>, <3*w + 142, -8*w - 19>, <11*w + 3, -6*w + 184>, <-4*w + 202, -7*w - 166>, <8*w + 149, -11*w + 62>, <3*w + 208, -11*w - 51>, <-5*w + 192, -6*w - 178>, <7*w + 7, -4*w + 115>, <-5*w + 80, -w - 123>, <5*w + 9, -3*w + 80>, <17*w + 181, -17*w + 201>, <-17*w + 195, -379>, <376, -17*w - 178>, , <377, -17*w - 180>, <-10*w + 71, 2*w - 203>, <9*w + 139, -11*w + 86>, <-w + 210, -9*w - 117>, <-10*w + 27, 4*w - 182>, <3*w + 186, -10*w - 38>, <-7*w + 14, 3*w - 125>, <5*w + 8, -3*w + 81>, <-16*w + 579, -18*w - 548>, <16*w + 58, -11*w + 244>, <-16*w + 74, 5*w - 307>, <-67*w + 2342, -67*w - 2275>, <-5*w + 17, 2*w - 92>, <-5*w + 15, 2*w - 90>, <45, -2*w - 22>, <-6*w + 28, 2*w - 113>, <-8*w + 30, 3*w - 147>, <2*w + 111, -6*w - 22>, <3*w + 144, -8*w - 22>, <-67*w + 2274, -67*w - 2207>, <184*w + 1959, -184*w + 2143>, <201*w + 2140, -201*w + 2341>, <-61*w + 2092, -62*w - 2020>, <-33*w + 362, w - 725>, <-17*w + 200, -383>, <-128*w + 264, 56*w - 2281>, <-72*w + 2089, -56*w - 2225>, <56*w + 2202, -129*w - 127>, <-3*w + 124, -4*w - 110>, <10*w + 126, -11*w + 107>, , <10*w + 17, -6*w + 161>, <4*w + 20, -3*w + 58>, <7*w + 162, -11*w + 41>, <-7*w + 169, -4*w - 199>, <-3*w + 189, -7*w - 141>, , <-4*w + 26, w - 79>, <67*w + 6309, -318*w - 1892>, <-67*w + 6376, -251*w - 4166>, <-18*w + 165, 2*w - 380>, <19*w + 492, -32*w + 83>, <-19*w + 511, -13*w - 562>, <-4*w + 158, -5*w - 144>, <4*w + 131, -8*w + 4>, <17*w + 179, -17*w + 199>, <-17*w + 199, -381>, <378, -17*w - 182>, <5*w + 8, -3*w + 80>, <4*w + 42, -4*w + 47>, <-2*w + 90, -3*w - 77>, <379, -17*w - 181>, <1, -1>, , <22, -w - 10>, <1, 0>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4 }, { 1, 4, 5, 6 }, { 7, 8, 9, 10 }, { 11, 12, 13, 14 }, { 15, 16, 17, 18 }, { 15, 19, 20, 21 }, { 22, 23, 24, 25, 26 }, { 27, 28, 29, 30 }, { 27, 31, 32, 33 }, { 34, 35, 36, 37 }, { 38, 39, 40, 41, 42 }, { 43, 44, 45, 46 }, { 43, 45, 47, 48 }, { 47, 48, 49, 50 }, { 51, 52, 53, 54, 55 }, { 56, 57, 58, 59, 60 }, { 56, 57, 61, 62, 63 }, { 64, 65, 66, 67 }, { 66, 67, 68, 69 }, { 70, 71, 72, 73 }, { 73, 74, 75, 76, 77, 78 }, { 76, 79, 80, 81 }, { 82, 83, 84, 85 }, { 84, 85, 86, 87 }, { 88, 89, 90, 91 }, { 92, 93, 94, 95 }, { 96, 97, 98, 99, 100 }, { 101, 102, 103, 104 }, { 103, 104, 105, 106 }, { 107, 108, 109, 110 }, { 111, 112, 113, 114 }, { 115, 116, 117, 118 }, { 115, 119, 120, 121 }, { 1, 2, 4, 5 }, { 122, 123, 124, 125 }, { 126, 127, 128, 129 }, { 124, 130, 131, 132 }, { 123, 124, 125, 131 }, { 130, 133, 134, 135 }, { 128, 130, 132, 136 }, { 126, 128, 129, 136 }, { 123, 126, 133, 134, 137, 138 }, { 139, 140, 141, 142 }, { 7, 8, 9, 143 }, { 7, 9, 10, 144 }, { 145, 146, 147, 148, 149 }, { 147, 148, 150, 151 }, { 11, 12, 14, 152 }, { 11, 13, 14, 153 }, { 154, 155, 156, 157 }, { 155, 157, 158, 159 }, { 11, 13, 153, 160 }, { 11, 158, 160, 161 }, { 154, 157, 158, 162 }, { 158, 162, 163, 164, 165 }, { 153, 158, 160, 163 }, { 15, 16, 18, 166 }, { 15, 167, 168, 169, 170 }, { 15, 166, 168, 170 }, { 15, 167, 169, 171 }, { 166, 167, 168, 171, 172 }, { 15, 19, 21, 171 }, { 173, 174, 175, 176, 177 }, { 178, 179, 180, 181 }, { 182, 183, 184, 185, 186 }, { 187, 188, 189, 190 }, { 189, 190, 191, 192 }, { 187, 193, 194, 195 }, { 192, 193, 195, 196 }, { 197, 198, 199, 200, 201 }, { 202, 203, 204, 205, 206 }, { 187, 193, 207, 208 }, { 187, 207, 208, 209 }, { 24, 25, 26, 210, 211 }, { 24, 209, 211, 212 }, { 24, 209, 213, 214, 215 }, { 24, 210, 213, 216 }, { 213, 217, 218, 219 }, { 217, 218, 219, 220 }, { 221, 222, 223, 224, 225 }, { 226, 227, 228, 229, 230 }, { 226, 228, 231, 232 }, { 233, 234, 235, 236, 237, 238 }, { 27, 28, 31, 239, 240 }, { 27, 28, 29, 241 }, { 27, 31, 32, 241 }, { 209, 213, 242, 243, 244 }, { 187, 209, 242, 245 }, { 213, 217, 242, 246 }, { 187, 242, 247, 248, 249 }, { 250, 251, 252, 253 }, { 254, 255, 256, 257 }, { 258, 259, 260, 261 }, { 250, 258, 260, 262 }, { 254, 263, 264, 265 }, { 254, 264, 266, 267 }, { 254, 255, 267, 268 }, { 269, 270, 271, 272 }, { 221, 273, 274, 275 }, { 273, 275, 276, 277 }, { 273, 276, 278, 279 }, { 279, 280, 281, 282, 283, 284 }, { 280, 285, 286, 287 }, { 287, 288, 289, 290 }, { 285, 287, 290, 291 }, { 292, 293, 294, 295 }, { 293, 296, 297, 298 }, { 35, 36, 299, 300 }, { 34, 35, 36, 301 }, { 34, 301, 302, 303 }, { 38, 39, 40, 42, 304, 305 }, { 306, 307, 308, 309 }, { 310, 311, 312, 313 }, { 314, 315, 316, 317, 318, 319 }, { 320, 321, 322, 323, 324 }, { 325, 326, 327, 328 }, { 314, 317, 329, 330 }, { 331, 332, 333, 334 }, { 331, 334, 335, 336 }, { 332, 334, 335, 337, 338 }, { 339, 340, 341, 342 }, { 43, 44, 343, 344 }, { 43, 44, 45, 47 }, { 45, 47, 345, 346 }, { 345, 347, 348, 349, 350 }, { 351, 352, 353, 354 }, { 355, 356, 357, 358, 359 }, { 43, 47, 48, 50 }, { 360, 361, 362, 363, 364, 365 }, { 53, 366, 367, 368, 369 }, { 53, 367, 370, 371, 372 }, { 52, 53, 55, 373 }, { 52, 53, 363, 371, 374, 375 }, { 57, 376, 377, 378 }, { 56, 57, 58, 377 }, { 56, 377, 379, 380 }, { 381, 382, 383, 384 }, { 383, 384, 385, 386 }, { 387, 388, 389, 390 }, { 385, 386, 387, 389 }, { 56, 57, 63, 385 }, { 57, 385, 388, 389 }, { 56, 382, 384, 385 }, { 391, 392, 393, 394 }, { 395, 396, 397, 398 }, { 399, 400, 401, 402 }, { 403, 404, 405, 406 }, { 403, 406, 407, 408 }, { 221, 409, 410, 411 }, { 409, 410, 412, 413 }, { 414, 415, 416, 417, 418, 419 }, { 420, 421, 422, 423, 424 }, { 65, 67, 425, 426 }, { 65, 66, 67, 68 }, { 67, 68, 425, 427 }, { 428, 429, 430, 431 }, { 65, 425, 426, 428 }, { 71, 73, 432, 433 }, { 70, 71, 73, 434 }, { 73, 76, 434, 435, 436, 437 }, { 73, 75, 76, 77, 432, 438 }, { 76, 79, 81, 435 }, { 76, 79, 432, 439 }, { 440, 441, 442, 443, 444 }, { 440, 442, 445, 446, 447 }, { 432, 448, 449, 450 }, { 432, 449, 451, 452 }, { 432, 451, 453, 454 }, { 432, 455, 456, 457 }, { 432, 457, 458, 459 }, { 432, 459, 460, 461 }, { 79, 460, 461, 462, 463 }, { 400, 401, 464, 465 }, { 83, 466, 467, 468 }, { 86, 299, 469, 470 }, { 83, 84, 467, 471 }, { 83, 84, 85, 86 }, { 84, 86, 467, 472 }, { 88, 89, 90, 467 }, { 473, 474, 475, 476 }, { 474, 475, 477, 478 }, { 479, 480, 481, 482 }, { 480, 481, 482, 483 }, { 92, 93, 95, 483 }, { 484, 485, 486, 487 }, { 96, 97, 98, 488 }, { 489, 490, 491, 492 }, { 493, 494, 495, 496 }, { 102, 497, 498, 499, 500 }, { 105, 497, 501, 502 }, { 102, 103, 108, 503 }, { 102, 103, 104, 105 }, { 103, 105, 108, 504 }, { 505, 506, 507, 508 }, { 107, 108, 110, 507 }, { 102, 107, 108, 109 }, { 509, 510, 511, 512 }, { 510, 512, 513, 514 }, { 108, 513, 515, 516, 517, 518 }, { 108, 111, 112, 113 }, { 513, 519, 520, 521 }, { 513, 515, 520, 522 }, { 458, 523, 524, 525 }, { 458, 524, 525, 526 }, { 458, 461, 526, 527 }, { 118, 528, 529, 530 }, { 115, 116, 118, 530 }, { 115, 117, 118, 531 }, { 118, 531, 532, 533 }, { 115, 531, 532, 534 }, { 528, 535, 536, 537 }, { 535, 536, 538, 539 }, { 528, 535, 537, 540 }, { 541, 542, 543, 544 }, { 542, 543, 545, 546 }, { 115, 541, 547, 548 }, { 121, 541, 547, 549 }, { 115, 120, 121, 547 }, { 115, 119, 121, 550 }, { 121, 550, 551, 552 }, { 541, 543, 544, 553 }, { 115, 550, 551, 554 }, { 551, 554, 555, 556, 557 }, { 558, 559, 560, 561 }, { 558, 561, 562, 563, 564, 565 }, { 559, 562, 564, 566 }, { 559, 562, 567, 568, 569 }, { 562, 567, 570, 571, 572, 573 }, { 115, 562, 574, 575 }, { 558, 576, 577, 578 }, { 1, 2, 5, 579, 580, 581 }, { 2, 558, 577, 579, 582 }, { 583, 584, 585, 586 }, { 579, 583, 585, 587 }, { 580, 583, 584, 588 }, { 583, 589, 590, 591 }, { 583, 590, 592, 593 }, { 528, 591, 594, 595, 596 }, { 123, 528, 597, 598 }, { 528, 597, 599, 600 }, { 123, 599, 601, 602 }, { 123, 601, 603, 604 }, { 122, 123, 124, 604 }, { 124, 603, 604, 605 }, { 124, 128, 606, 607 }, { 126, 127, 128, 608 }, { 128, 608, 609, 610 }, { 124, 128, 130, 132 }, { 123, 124, 130, 131 }, { 123, 126, 130, 133, 134 }, { 126, 128, 130, 136 }, { 123, 126, 137, 138, 611, 612 }, { 123, 590, 611, 613, 614 }, { 528, 590, 591, 615 }, { 123, 590, 615, 616 }, { 590, 593, 617, 618 }, { 126, 590, 617, 619 }, { 126, 618, 620, 621 }, { 618, 620, 622, 623 }, { 126, 608, 610, 624 }, { 126, 622, 624, 625 }, { 618, 622, 626, 627, 628 }, { 610, 622, 624, 629 }, { 141, 143, 630, 631 }, { 139, 140, 141, 630 }, { 139, 632, 633, 634 }, { 143, 635, 636, 637 }, { 7, 9, 143, 144 }, { 143, 144, 632, 633 }, { 147, 638, 639, 640 }, { 146, 150, 153, 641 }, { 146, 147, 148, 150 }, { 11, 14, 152, 153 }, { 152, 153, 638, 640 }, { 154, 155, 157, 158 }, { 11, 153, 158, 160 }, { 153, 154, 158, 162, 163 }, { 146, 391, 642, 643 }, { 146, 153, 642, 644 }, { 153, 644, 645, 646 }, { 16, 166, 647, 648 }, { 15, 16, 166, 649 }, { 15, 166, 167, 168, 171 }, { 19, 171, 650, 651 }, { 15, 19, 171, 649 }, { 173, 174, 175, 176, 652 }, { 173, 174, 178, 180, 181 }, { 182, 183, 184, 186, 653, 654 }, { 187, 189, 190, 192 }, { 187, 192, 193, 195 }, { 197, 198, 199, 655, 656 }, { 204, 205, 206, 657, 658 }, { 204, 655, 656, 659, 660 }, { 193, 661, 662, 663 }, { 664, 665, 666, 667 }, { 666, 668, 669, 670 }, { 662, 665, 671, 672 }, { 662, 671, 672, 673, 674 }, { 669, 672, 673, 674 }, { 187, 193, 208, 211 }, { 187, 208, 209, 211 }, { 24, 209, 210, 211, 213 }, { 210, 213, 217, 219 }, { 210, 217, 219, 220 }, { 220, 673, 675, 676 }, { 271, 677, 678, 679 }, { 221, 222, 223, 680, 681 }, { 678, 682, 683, 684 }, { 226, 227, 228, 685 }, { 226, 228, 232, 682, 686 }, { 687, 688, 689, 690 }, { 691, 692, 693, 694 }, { 695, 696, 697, 698, 699, 700 }, { 701, 702, 703, 704 }, { 701, 703, 705, 706 }, { 234, 235, 236, 237, 705 }, { 217, 707, 708, 709 }, { 241, 710, 711, 712 }, { 241, 712, 713, 714 }, { 28, 241, 713, 714 }, { 27, 28, 31, 241 }, { 31, 241, 715, 716 }, { 236, 241, 717, 718 }, { 241, 715, 716, 718 }, { 28, 31, 719, 720 }, { 187, 209, 213, 217, 242 }, { 187, 242, 247, 249, 720 }, { 187, 247, 715, 721, 722 }, { 187, 721, 723, 724 }, { 263, 725, 726, 727 }, { 728, 729, 730, 731 }, { 258, 729, 730, 732 }, { 258, 259, 730, 733 }, { 251, 255, 734, 735 }, { 250, 251, 253, 256 }, { 251, 254, 255, 256 }, { 258, 259, 260, 735 }, { 251, 260, 735, 736 }, { 250, 251, 258, 260 }, { 254, 263, 265, 737 }, { 263, 702, 737, 738 }, { 254, 263, 264, 267 }, { 254, 255, 267, 735 }, { 739, 740, 741, 742 }, { 269, 271, 272, 739 }, { 740, 741, 743, 744 }, { 745, 746, 747, 748 }, { 221, 273, 275, 276 }, { 275, 276, 277, 749 }, { 749, 750, 751, 752, 753 }, { 276, 285, 751, 753, 754 }, { 221, 273, 276, 279 }, { 276, 279, 280, 284, 285 }, { 221, 279, 280, 288, 755 }, { 280, 285, 287, 288 }, { 285, 287, 288, 290 }, { 285, 290, 291, 750 }, { 297, 746, 748, 756 }, { 292, 293, 295, 297 }, { 746, 757, 758, 759 }, { 297, 746, 756, 760 }, { 293, 296, 297, 759, 761 }, { 35, 36, 299, 301 }, { 34, 35, 301, 762 }, { 35, 299, 763, 764 }, { 301, 302, 303, 765 }, { 303, 763, 765, 766 }, { 34, 301, 303, 762 }, { 38, 305, 767, 768 }, { 767, 768, 769, 770 }, { 38, 768, 769, 771 }, { 39, 304, 772, 773 }, { 38, 305, 767, 773 }, { 38, 39, 304, 305, 773 }, { 306, 307, 308, 774 }, { 307, 775, 776, 777 }, { 306, 307, 776, 778 }, { 311, 779, 780, 781 }, { 311, 779, 782, 783, 784 }, { 311, 312, 780, 785 }, { 301, 310, 311, 312 }, { 317, 320, 339, 341 }, { 314, 315, 317, 318, 322 }, { 317, 320, 322, 339 }, { 314, 322, 323, 327 }, { 320, 322, 323, 327, 339 }, { 221, 325, 327, 328 }, { 314, 323, 327, 328 }, { 314, 317, 329, 786 }, { 221, 786, 787, 788 }, { 331, 332, 334, 335 }, { 339, 340, 341, 787 }, { 43, 44, 47, 343 }, { 44, 45, 47, 347 }, { 44, 347, 789, 790, 791 }, { 47, 792, 793, 794 }, { 47, 345, 346, 793 }, { 45, 47, 345, 347 }, { 345, 347, 349, 350, 790, 795 }, { 345, 790, 793, 796 }, { 44, 343, 790, 797 }, { 351, 798, 799, 800 }, { 332, 798, 799, 801 }, { 351, 352, 353, 799, 802 }, { 353, 787, 802, 803 }, { 332, 340, 787, 802 }, { 355, 356, 357, 358, 804, 805 }, { 357, 806, 807, 808 }, { 356, 357, 359, 809, 810 }, { 356, 811, 812, 813 }, { 47, 811, 814, 815 }, { 43, 47, 50, 343, 816 }, { 360, 361, 363, 364, 817 }, { 53, 367, 369, 818 }, { 53, 363, 364, 367, 370, 371 }, { 53, 373, 819, 820 }, { 52, 53, 363, 373, 375 }, { 56, 57, 376, 377, 380 }, { 382, 383, 384, 385 }, { 383, 385, 386, 387 }, { 385, 387, 388, 389 }, { 56, 57, 382, 385, 388 }, { 363, 373, 375, 388 }, { 360, 391, 392, 393 }, { 391, 392, 394, 821 }, { 360, 363, 392, 822 }, { 392, 822, 823, 824 }, { 825, 826, 827, 828, 829, 830 }, { 395, 396, 398, 825, 826 }, { 395, 396, 397, 402 }, { 396, 402, 465, 825 }, { 400, 401, 402, 465 }, { 399, 400, 402, 831 }, { 399, 400, 831, 832 }, { 391, 394, 821, 833 }, { 400, 832, 834, 835 }, { 391, 833, 836, 837 }, { 404, 406, 838, 839 }, { 403, 404, 406, 408 }, { 221, 409, 410, 412 }, { 221, 409, 838, 840 }, { 414, 415, 416, 418, 841, 842 }, { 420, 421, 422, 423, 841 }, { 65, 67, 68, 425 }, { 65, 425, 428, 429, 430 }, { 843, 844, 845, 846 }, { 71, 73, 432, 434 }, { 73, 76, 432, 434, 435 }, { 76, 79, 432, 435 }, { 440, 441, 442, 446 }, { 432, 448, 449, 452 }, { 71, 432, 448, 450 }, { 432, 451, 452, 453 }, { 432, 456, 457, 458 }, { 432, 458, 459, 461 }, { 79, 432, 460, 461 }, { 79, 461, 463, 847 }, { 83, 299, 465, 848 }, { 83, 400, 464, 465 }, { 83, 464, 466, 467 }, { 83, 86, 299, 849 }, { 86, 299, 467, 470 }, { 83, 84, 86, 467 }, { 400, 464, 467, 850 }, { 88, 89, 467, 850 }, { 467, 475, 477, 478 }, { 473, 474, 475, 478 }, { 473, 475, 851, 852 }, { 458, 853, 854, 855 }, { 458, 851, 856, 857 }, { 479, 480, 482, 483 }, { 93, 479, 858, 859 }, { 92, 93, 479, 483 }, { 92, 93, 859, 860, 861, 862 }, { 479, 484, 485, 486 }, { 479, 484, 859, 860 }, { 92, 97, 98, 488, 860 }, { 97, 480, 485, 488, 863, 864 }, { 479, 480, 865, 866 }, { 494, 853, 867, 868 }, { 489, 490, 491, 869 }, { 458, 489, 493, 870, 871, 872 }, { 493, 494, 495, 873 }, { 102, 497, 508, 874 }, { 102, 105, 497, 499 }, { 105, 108, 497, 502 }, { 102, 103, 105, 108 }, { 102, 506, 507, 508 }, { 102, 107, 108, 507 }, { 108, 513, 515, 522 }, { 510, 511, 512, 513 }, { 108, 510, 513, 516, 517 }, { 108, 506, 507, 875 }, { 108, 111, 112, 875 }, { 513, 519, 520, 522 }, { 513, 519, 527, 876 }, { 458, 511, 523, 525 }, { 458, 525, 526, 527 }, { 519, 527, 847, 877, 878 }, { 458, 461, 527, 847 }, { 115, 118, 528, 530 }, { 115, 118, 531, 532 }, { 528, 532, 537, 540 }, { 115, 532, 534, 555 }, { 528, 535, 536, 539 }, { 528, 535, 540, 879 }, { 541, 542, 543, 545 }, { 115, 121, 541, 547 }, { 115, 121, 550, 551 }, { 541, 544, 551, 553 }, { 541, 543, 553, 880 }, { 115, 551, 554, 555 }, { 551, 555, 556, 880 }, { 558, 559, 561, 562, 564 }, { 559, 562, 567, 568, 881 }, { 115, 562, 567, 571, 572 }, { 115, 562, 574, 580 }, { 558, 576, 577, 579 }, { 2, 5, 558, 562, 579, 580 }, { 579, 580, 583, 584, 585 }, { 115, 580, 583, 882 }, { 576, 579, 583, 883 }, { 583, 593, 618, 884 }, { 528, 583, 590, 591 }, { 583, 590, 593, 618 }, { 528, 583, 591, 595 }, { 115, 528, 594, 595 }, { 391, 885, 886, 887 }, { 610, 885, 886, 888 }, { 146, 391, 885, 889 }, { 146, 603, 885, 890 }, { 603, 610, 891, 892, 893 }, { 146, 147, 603, 890 }, { 123, 528, 597, 599 }, { 123, 599, 601, 603 }, { 123, 124, 603, 604 }, { 124, 128, 603, 606, 610 }, { 126, 128, 608, 610 }, { 123, 124, 126, 128, 130 }, { 123, 126, 590, 611, 612, 613 }, { 123, 528, 590, 615 }, { 126, 590, 617, 618 }, { 126, 618, 620, 622 }, { 126, 610, 622, 624 }, { 610, 618, 622, 627, 629 }, { 610, 886, 888, 894 }, { 139, 141, 143, 630 }, { 139, 143, 632, 633 }, { 143, 630, 895, 896 }, { 143, 636, 637, 896 }, { 7, 143, 144, 633 }, { 147, 153, 638, 640 }, { 146, 147, 150, 153 }, { 11, 152, 153, 638 }, { 11, 155, 897, 898, 899 }, { 11, 153, 154, 155, 158 }, { 146, 153, 391, 642 }, { 153, 642, 644, 645 }, { 153, 154, 897, 898, 900 }, { 16, 166, 647, 649 }, { 15, 166, 171, 649 }, { 19, 171, 649, 650 }, { 174, 175, 652, 901 }, { 173, 174, 178, 652 }, { 183, 184, 652, 653, 654 }, { 189, 902, 903, 904 }, { 187, 189, 192, 902 }, { 192, 902, 905, 906 }, { 187, 192, 193, 905 }, { 193, 661, 664, 905 }, { 902, 903, 907, 908 }, { 664, 905, 907, 909 }, { 198, 199, 910, 911 }, { 198, 199, 655, 656, 659, 660 }, { 658, 660, 668, 912 }, { 204, 657, 658, 659, 660 }, { 657, 659, 664, 913 }, { 193, 661, 662, 664 }, { 661, 662, 664, 665 }, { 664, 665, 666, 668, 669 }, { 662, 665, 669, 672, 673 }, { 668, 669, 673, 675 }, { 187, 193, 211, 662 }, { 187, 209, 210, 211, 213, 217 }, { 210, 217, 220, 673 }, { 220, 668, 673, 675 }, { 269, 271, 677, 678 }, { 221, 678, 680, 681 }, { 226, 678, 682, 683 }, { 678, 914, 915, 916, 917, 918 }, { 226, 228, 685, 692, 919 }, { 226, 228, 678, 682, 686, 920 }, { 687, 688, 689, 692 }, { 691, 692, 693, 705 }, { 234, 236, 700, 705 }, { 700, 705, 711, 921 }, { 236, 696, 697, 700, 711 }, { 701, 702, 705, 922 }, { 691, 692, 705, 922 }, { 701, 702, 703, 705 }, { 235, 236, 703, 705, 706 }, { 217, 707, 709, 711 }, { 217, 708, 709, 713 }, { 241, 711, 712, 713 }, { 28, 31, 241, 713, 715 }, { 236, 241, 715, 718 }, { 28, 31, 713, 715, 720 }, { 187, 217, 242, 720 }, { 187, 247, 715, 720 }, { 187, 715, 721, 724 }, { 187, 236, 723, 724 }, { 263, 702, 725, 726 }, { 258, 728, 729, 730 }, { 258, 259, 730, 735 }, { 251, 254, 255, 735 }, { 250, 251, 254, 256, 258 }, { 251, 258, 260, 735 }, { 254, 263, 702, 737 }, { 254, 263, 267, 735 }, { 275, 739, 740, 741 }, { 269, 271, 702, 739 }, { 275, 740, 741, 749 }, { 740, 741, 744, 749 }, { 746, 747, 748, 750 }, { 221, 275, 276, 749 }, { 276, 285, 749, 750, 751, 753 }, { 221, 276, 279, 280, 285, 288 }, { 285, 288, 290, 750 }, { 290, 746, 748, 750 }, { 290, 297, 746, 748 }, { 292, 293, 297, 728 }, { 297, 746, 758, 759, 760 }, { 293, 297, 728, 759, 761 }, { 299, 763, 764, 923 }, { 763, 765, 923, 924 }, { 35, 299, 301, 762 }, { 35, 299, 762, 763 }, { 301, 303, 765, 924 }, { 303, 763, 765, 924 }, { 301, 303, 762, 763 }, { 38, 767, 768, 769 }, { 38, 39, 767, 772, 773 }, { 306, 307, 774, 778 }, { 307, 775, 776, 778 }, { 311, 779, 780, 785 }, { 301, 311, 779, 783 }, { 301, 311, 312, 785 }, { 221, 325, 327, 925 }, { 317, 339, 341, 787 }, { 314, 317, 322, 327, 339 }, { 221, 314, 327, 328 }, { 221, 314, 317, 786, 787 }, { 331, 332, 335, 339 }, { 332, 339, 340, 787 }, { 44, 47, 343, 347 }, { 44, 343, 347, 790 }, { 47, 345, 793, 794 }, { 47, 345, 347, 790 }, { 345, 790, 793, 794 }, { 343, 790, 797, 926 }, { 790, 793, 794, 926 }, { 332, 351, 798, 799 }, { 332, 351, 353, 799, 802 }, { 332, 353, 787, 802 }, { 299, 465, 825, 848 }, { 356, 357, 804, 805, 927, 928 }, { 357, 806, 807, 927 }, { 356, 357, 806, 809, 810, 811 }, { 356, 811, 813, 927 }, { 47, 811, 814, 929 }, { 47, 343, 816, 817, 930 }, { 343, 360, 363, 817 }, { 363, 364, 817, 818 }, { 53, 363, 364, 367, 818 }, { 53, 363, 373, 819 }, { 819, 825, 931, 932 }, { 382, 825, 931, 932 }, { 380, 382, 819, 931 }, { 376, 380, 819, 933, 934 }, { 56, 57, 376, 380, 382, 388 }, { 382, 383, 385, 387, 388 }, { 363, 373, 819, 935 }, { 376, 388, 819, 935 }, { 363, 373, 388, 935 }, { 360, 363, 391, 392 }, { 391, 392, 821, 824 }, { 363, 392, 822, 824 }, { 395, 825, 826, 827, 829 }, { 363, 383, 387, 825, 827 }, { 395, 396, 402, 825 }, { 400, 402, 465, 825 }, { 395, 400, 402, 831 }, { 395, 400, 831, 832 }, { 391, 821, 824, 833 }, { 391, 400, 832, 833, 835, 836 }, { 856, 924, 936, 937 }, { 458, 856, 857, 937 }, { 404, 406, 408, 838 }, { 406, 408, 409, 412, 838 }, { 221, 409, 412, 838 }, { 415, 416, 420, 421, 838, 841 }, { 441, 442, 938, 939, 940, 941 }, { 65, 68, 425, 429, 430, 844, 845, 942, 943 }, { 221, 844, 845, 846 }, { 71, 79, 432, 434, 435 }, { 71, 79, 441, 442, 446 }, { 71, 432, 448, 452 }, { 432, 944, 945, 946 }, { 432, 452, 453, 946 }, { 452, 458, 944, 946, 947, 948 }, { 432, 456, 458, 944 }, { 79, 432, 458, 461 }, { 79, 458, 461, 847 }, { 79, 441, 847, 949 }, { 83, 299, 400, 465 }, { 83, 400, 464, 467 }, { 83, 86, 299, 467 }, { 88, 400, 467, 850 }, { 299, 467, 475, 478 }, { 467, 475, 853, 950 }, { 299, 473, 475, 478 }, { 473, 475, 851, 853 }, { 458, 851, 853, 855 }, { 458, 473, 851, 856 }, { 92, 479, 480, 483 }, { 92, 93, 479, 859, 860 }, { 479, 484, 485, 860 }, { 92, 97, 480, 485, 488, 860 }, { 479, 480, 494, 865 }, { 480, 494, 853, 867 }, { 479, 490, 869, 951 }, { 458, 490, 511, 952 }, { 458, 489, 490, 869 }, { 479, 494, 865, 873 }, { 458, 489, 493, 869, 873 }, { 458, 494, 853, 953 }, { 458, 493, 494, 873 }, { 102, 497, 506, 508 }, { 102, 105, 108, 497 }, { 102, 108, 506, 507 }, { 108, 497, 513, 522 }, { 108, 510, 511, 513 }, { 108, 111, 506, 875 }, { 497, 513, 519, 522 }, { 511, 513, 519, 527 }, { 458, 511, 525, 527 }, { 458, 519, 527, 847 }, { 115, 118, 528, 532 }, { 528, 532, 540, 879 }, { 115, 532, 555, 879 }, { 555, 879, 880, 954 }, { 528, 535, 539, 879 }, { 541, 543, 545, 880 }, { 115, 121, 541, 551 }, { 541, 551, 553, 880 }, { 115, 551, 555, 880 }, { 558, 559, 562, 881 }, { 115, 562, 567, 881 }, { 115, 558, 562, 576, 579, 580 }, { 115, 576, 579, 580, 583 }, { 576, 583, 618, 884 }, { 528, 583, 590, 618 }, { 115, 528, 583, 595 }, { 391, 610, 885, 886 }, { 146, 391, 603, 885 }, { 603, 610, 885, 893 }, { 146, 147, 391, 603 }, { 123, 528, 599, 603 }, { 123, 124, 126, 128, 603, 610 }, { 123, 126, 528, 590, 618 }, { 126, 610, 618, 622 }, { 610, 618, 627, 629, 894, 955 }, { 391, 610, 886, 894 }, { 139, 143, 630, 895 }, { 139, 143, 541, 633 }, { 143, 636, 895, 896 }, { 143, 636, 956, 957 }, { 7, 143, 541, 633 }, { 528, 541, 958, 959, 960, 961 }, { 147, 153, 528, 638 }, { 146, 147, 153, 391 }, { 11, 153, 528, 638 }, { 11, 153, 154, 155, 897, 898 }, { 153, 391, 642, 645 }, { 153, 645, 897, 900 }, { 166, 171, 647, 649, 650 }, { 183, 652, 654, 962 }, { 174, 178, 652, 901, 963 }, { 178, 183, 184, 652 }, { 183, 907, 910, 964 }, { 187, 189, 902, 903 }, { 187, 192, 902, 905 }, { 187, 193, 664, 905 }, { 664, 902, 903, 905, 907 }, { 198, 199, 659, 660, 910 }, { 657, 658, 659, 660, 664, 668 }, { 187, 193, 662, 664 }, { 662, 664, 665, 668, 669, 673 }, { 187, 210, 211, 217, 662, 673 }, { 217, 220, 668, 673 }, { 221, 271, 678, 680 }, { 269, 271, 678, 702 }, { 221, 678, 681, 683 }, { 226, 678, 683, 692 }, { 678, 914, 915, 917, 920, 965 }, { 226, 228, 678, 692, 919, 920 }, { 217, 687, 707, 711 }, { 687, 689, 692, 711 }, { 692, 693, 705, 711 }, { 236, 700, 705, 711 }, { 692, 702, 705, 922 }, { 236, 702, 703, 705 }, { 217, 709, 711, 713 }, { 236, 241, 711, 713, 715 }, { 187, 217, 713, 715, 720 }, { 187, 236, 715, 724 }, { 187, 236, 263, 723 }, { 236, 263, 702, 726 }, { 187, 730, 735, 966 }, { 258, 728, 730, 735 }, { 251, 254, 258, 735 }, { 187, 263, 723, 735 }, { 254, 263, 702, 735 }, { 221, 275, 739, 741 }, { 221, 271, 702, 739 }, { 221, 275, 741, 749 }, { 741, 744, 746, 747, 749, 750 }, { 221, 276, 285, 288, 749, 750 }, { 288, 290, 746, 750 }, { 288, 290, 297, 746 }, { 288, 292, 297, 728 }, { 297, 728, 746, 759 }, { 299, 763, 923, 924 }, { 299, 301, 762, 763 }, { 301, 303, 763, 924 }, { 38, 39, 767, 769, 772, 967, 968, 969, 970 }, { 307, 774, 775, 778 }, { 301, 311, 779, 785 }, { 221, 327, 925, 971 }, { 221, 314, 317, 327, 339, 787 }, { 331, 332, 339, 787 }, { 47, 343, 347, 790 }, { 47, 345, 790, 794 }, { 343, 790, 794, 926 }, { 332, 351, 353, 787, 798 }, { 299, 400, 465, 825 }, { 299, 301, 825, 848 }, { 356, 357, 806, 811, 927 }, { 47, 811, 927, 929 }, { 819, 927, 929, 972 }, { 47, 343, 363, 817 }, { 343, 360, 363, 391 }, { 47, 363, 817, 818 }, { 53, 363, 818, 819 }, { 382, 819, 825, 931 }, { 376, 380, 382, 388, 819 }, { 363, 382, 383, 387, 388, 825 }, { 363, 388, 819, 935 }, { 363, 391, 392, 824 }, { 363, 395, 824, 825, 827 }, { 395, 400, 402, 825 }, { 391, 395, 400, 824, 832, 833 }, { 458, 856, 924, 937 }, { 221, 404, 408, 412, 838 }, { 420, 421, 441, 442, 838, 938 }, { 65, 68, 221, 404, 429, 844, 845, 942, 973 }, { 452, 458, 947, 948, 974, 975, 976, 977, 978 }, { 71, 79, 432, 441, 442 }, { 71, 432, 442, 452 }, { 432, 452, 458, 944, 946 }, { 79, 432, 441, 458 }, { 79, 441, 458, 847 }, { 83, 299, 400, 467 }, { 88, 400, 467, 853 }, { 299, 467, 475, 853 }, { 299, 473, 475, 853 }, { 299, 458, 473, 856 }, { 458, 473, 851, 853 }, { 479, 485, 490, 511 }, { 92, 479, 480, 485, 860 }, { 479, 480, 494, 853 }, { 479, 490, 511, 869 }, { 458, 490, 511, 869 }, { 479, 494, 853, 873 }, { 458, 479, 869, 873 }, { 458, 494, 853, 873 }, { 102, 108, 497, 506 }, { 108, 497, 511, 513 }, { 108, 111, 506, 511 }, { 497, 511, 513, 519 }, { 458, 497, 519, 847 }, { 458, 511, 519, 527 }, { 115, 528, 532, 879 }, { 115, 555, 879, 880 }, { 528, 539, 541, 545, 879, 880 }, { 115, 541, 551, 880 }, { 115, 558, 562, 576, 881 }, { 115, 528, 576, 583, 618 }, { 391, 603, 610, 885 }, { 147, 391, 528, 603 }, { 123, 126, 528, 603, 610, 618 }, { 391, 610, 618, 894 }, { 139, 143, 541, 895 }, { 143, 636, 895, 957 }, { 7, 143, 541, 957 }, { 11, 528, 897, 979 }, { 7, 541, 957, 980 }, { 528, 541, 958, 960, 979, 980 }, { 147, 153, 391, 528 }, { 11, 153, 528, 897 }, { 153, 391, 645, 897 }, { 174, 178, 647, 649, 650, 901, 963, 981, 982 }, { 178, 183, 652, 962, 963 }, { 183, 664, 903, 907, 910 }, { 187, 664, 902, 903, 905 }, { 659, 660, 664, 668, 910 }, { 187, 217, 662, 664, 668, 673 }, { 221, 271, 678, 702 }, { 221, 678, 683, 692 }, { 678, 692, 702, 915, 919, 920, 983, 984, 985 }, { 217, 687, 692, 711 }, { 236, 692, 702, 705, 711 }, { 187, 217, 236, 711, 713, 715 }, { 187, 236, 263, 702 }, { 187, 728, 730, 735 }, { 254, 258, 702, 728, 735 }, { 187, 263, 702, 735 }, { 221, 702, 739, 741 }, { 221, 288, 741, 746, 749, 750 }, { 288, 297, 728, 746 }, { 299, 301, 763, 924 }, { 38, 39, 775, 779, 967, 986 }, { 301, 774, 775, 778, 779, 785 }, { 331, 971, 987, 988, 989, 990 }, { 331, 332, 787, 798 }, { 221, 327, 331, 339, 787, 971 }, { 47, 343, 790, 794 }, { 351, 353, 787, 794, 798 }, { 299, 301, 400, 825 }, { 47, 301, 806, 811, 927 }, { 47, 819, 927, 929 }, { 47, 343, 363, 391 }, { 47, 363, 818, 819 }, { 363, 382, 388, 819, 825 }, { 363, 391, 395, 400, 824, 825 }, { 299, 458, 856, 924 }, { 221, 404, 441, 442, 838 }, { 221, 404, 452, 458, 973, 975 }, { 432, 441, 442, 452, 458 }, { 441, 458, 497, 847 }, { 299, 400, 467, 853 }, { 299, 458, 473, 853 }, { 479, 480, 485, 511, 853 }, { 458, 479, 511, 869 }, { 458, 479, 853, 873 }, { 108, 497, 506, 511 }, { 458, 497, 511, 519 }, { 115, 528, 541, 879, 880 }, { 115, 528, 576, 618, 881 }, { 391, 528, 603, 610, 618 }, { 143, 541, 895, 957 }, { 528, 541, 897, 957, 979, 980 }, { 153, 391, 528, 897 }, { 178, 183, 649, 910, 962, 963 }, { 183, 187, 664, 903, 910 }, { 187, 217, 664, 668, 910 }, { 221, 678, 692, 702 }, { 187, 217, 236, 692, 702, 711 }, { 187, 702, 728, 735 }, { 221, 288, 702, 728, 741, 746 }, { 299, 301, 400, 924 }, { 47, 301, 774, 775, 779, 986 }, { 221, 331, 787, 798, 971, 987, 991, 992, 993 }, { 47, 343, 391, 794 }, { 47, 787, 794, 798 }, { 301, 400, 819, 825 }, { 47, 301, 819, 927 }, { 47, 363, 391, 819 }, { 363, 391, 400, 819, 825 }, { 299, 400, 458, 924 }, { 221, 404, 441, 442, 452, 458 }, { 441, 458, 497, 506 }, { 299, 400, 458, 853 }, { 458, 479, 511, 853 }, { 458, 497, 506, 511 }, { 115, 528, 541, 881 }, { 391, 528, 618, 881 }, { 391, 528, 541, 895, 897, 957 }, { 183, 187, 217, 910, 962, 994 }, { 187, 217, 221, 692, 702 }, { 187, 221, 288, 702, 728 }, { 221, 301, 400, 924 }, { 47, 221, 301, 774, 787, 798, 991, 992, 993 }, { 47, 391, 787, 794 }, { 47, 301, 391, 400, 819 }, { 221, 400, 458, 924 }, { 221, 441, 458, 506 }, { 400, 458, 506, 511, 853 }, { 391, 528, 541, 881, 895 }, { 187, 217, 221, 288, 787, 994 }, { 47, 221, 301, 391, 400, 787 }, { 221, 400, 458, 506 }, { 391, 881, 895, 995 }, { 221, 288, 391, 400, 506, 787, 895, 996, 997 }, { 391, 400, 506, 895, 995, 996, 997, 998, 999 } ] /* Faces of top cells */ [ [ { 2, 3, 4 }, { 1, 3, 4 }, { 1, 2, 4 }, { 1, 2, 3 } ], [ { 4, 5, 6 }, { 1, 4, 6 }, { 1, 4, 5 }, { 1, 5, 6 } ], [ { 8, 9, 10 }, { 7, 9, 10 }, { 7, 8, 10 }, { 7, 8, 9 } ], [ { 12, 13, 14 }, { 11, 13, 14 }, { 11, 12, 14 }, { 11, 12, 13 } ], [ { 16, 17, 18 }, { 15, 17, 18 }, { 15, 16, 18 }, { 15, 16, 17 } ], [ { 19, 20, 21 }, { 15, 20, 21 }, { 15, 19, 21 }, { 15, 19, 20 } ], [ { 22, 24, 25 }, { 22, 23, 25, 26 }, { 22, 23, 24 }, { 24, 25, 26 }, { 23, 24, 26 } ], [ { 28, 29, 30 }, { 27, 29, 30 }, { 27, 28, 30 }, { 27, 28, 29 } ], [ { 31, 32, 33 }, { 27, 32, 33 }, { 27, 31, 33 }, { 27, 31, 32 } ], [ { 35, 36, 37 }, { 34, 36, 37 }, { 34, 35, 37 }, { 34, 35, 36 } ], [ { 39, 40, 41 }, { 38, 39, 41 }, { 38, 39, 40, 42 }, { 38, 41, 42 }, { 40, 41, 42 } ], [ { 44, 45, 46 }, { 43, 45, 46 }, { 43, 44, 46 }, { 43, 44, 45 } ], [ { 43, 45, 48 }, { 45, 47, 48 }, { 43, 45, 47 }, { 43, 47, 48 } ], [ { 48, 49, 50 }, { 47, 48, 50 }, { 47, 49, 50 }, { 47, 48, 49 } ], [ { 52, 53, 55 }, { 51, 53, 55 }, { 51, 52, 53, 54 }, { 52, 54, 55 }, { 51, 54, 55 } ], [ { 56, 58, 59 }, { 56, 57, 59, 60 }, { 56, 57, 58 }, { 57, 58, 60 }, { 58, 59, 60 } ], [ { 56, 57, 63 }, { 57, 61, 63 }, { 56, 57, 61, 62 }, { 61, 62, 63 }, { 56, 62, 63 } ], [ { 65, 66, 67 }, { 64, 66, 67 }, { 64, 65, 67 }, { 64, 65, 66 } ], [ { 66, 67, 69 }, { 67, 68, 69 }, { 66, 68, 69 }, { 66, 67, 68 } ], [ { 71, 72, 73 }, { 70, 72, 73 }, { 70, 71, 73 }, { 70, 71, 72 } ], [ { 73, 75, 76, 77 }, { 73, 74, 76, 78 }, { 73, 74, 75 }, { 74, 75, 77, 78 }, { 76, 77, 78 } ], [ { 76, 80, 81 }, { 76, 79, 81 }, { 76, 79, 80 }, { 79, 80, 81 } ], [ { 83, 84, 85 }, { 82, 84, 85 }, { 82, 83, 85 }, { 82, 83, 84 } ], [ { 84, 85, 87 }, { 85, 86, 87 }, { 84, 85, 86 }, { 84, 86, 87 } ], [ { 89, 90, 91 }, { 88, 90, 91 }, { 88, 89, 91 }, { 88, 89, 90 } ], [ { 93, 94, 95 }, { 92, 94, 95 }, { 92, 93, 95 }, { 92, 93, 94 } ], [ { 97, 98, 99, 100 }, { 96, 98, 99 }, { 96, 97, 98 }, { 96, 99, 100 }, { 96, 97, 100 } ], [ { 102, 103, 104 }, { 101, 103, 104 }, { 101, 102, 104 }, { 101, 102, 103 } ], [ { 103, 104, 106 }, { 104, 105, 106 }, { 103, 104, 105 }, { 103, 105, 106 } ], [ { 108, 109, 110 }, { 107, 109, 110 }, { 107, 108, 110 }, { 107, 108, 109 } ], [ { 112, 113, 114 }, { 111, 113, 114 }, { 111, 112, 114 }, { 111, 112, 113 } ], [ { 116, 117, 118 }, { 115, 117, 118 }, { 115, 116, 118 }, { 115, 116, 117 } ], [ { 119, 120, 121 }, { 115, 120, 121 }, { 115, 119, 121 }, { 115, 119, 120 } ], [ { 2, 4, 5 }, { 1, 4, 5 }, { 1, 2, 4 }, { 1, 2, 5 } ], [ { 123, 124, 125 }, { 122, 124, 125 }, { 122, 123, 125 }, { 122, 123, 124 } ], [ { 127, 128, 129 }, { 126, 128, 129 }, { 126, 127, 129 }, { 126, 127, 128 } ], [ { 124, 131, 132 }, { 130, 131, 132 }, { 124, 130, 132 }, { 124, 130, 131 } ], [ { 124, 125, 131 }, { 123, 125, 131 }, { 123, 124, 125 }, { 123, 124, 131 } ], [ { 133, 134, 135 }, { 130, 134, 135 }, { 130, 133, 135 }, { 130, 133, 134 } ], [ { 128, 132, 136 }, { 130, 132, 136 }, { 128, 130, 132 }, { 128, 130, 136 } ], [ { 128, 129, 136 }, { 126, 129, 136 }, { 126, 128, 129 }, { 126, 128, 136 } ], [ { 123, 133, 137 }, { 123, 126, 137, 138 }, { 123, 126, 133, 134 }, { 133, 134, 137, 138 }, { 126, 134, 138 } ], [ { 140, 141, 142 }, { 139, 141, 142 }, { 139, 140, 142 }, { 139, 140, 141 } ], [ { 7, 8, 9 }, { 8, 9, 143 }, { 7, 9, 143 }, { 7, 8, 143 } ], [ { 9, 10, 144 }, { 7, 10, 144 }, { 7, 9, 10 }, { 7, 9, 144 } ], [ { 146, 147, 148 }, { 145, 147, 148 }, { 145, 146, 147, 149 }, { 145, 148, 149 }, { 146, 148, 149 } ], [ { 148, 150, 151 }, { 147, 148, 151 }, { 147, 148, 150 }, { 147, 150, 151 } ], [ { 12, 14, 152 }, { 11, 14, 152 }, { 11, 12, 14 }, { 11, 12, 152 } ], [ { 13, 14, 153 }, { 11, 13, 14 }, { 11, 14, 153 }, { 11, 13, 153 } ], [ { 155, 156, 157 }, { 154, 156, 157 }, { 154, 155, 157 }, { 154, 155, 156 } ], [ { 157, 158, 159 }, { 155, 157, 159 }, { 155, 158, 159 }, { 155, 157, 158 } ], [ { 13, 153, 160 }, { 11, 13, 160 }, { 11, 153, 160 }, { 11, 13, 153 } ], [ { 158, 160, 161 }, { 11, 160, 161 }, { 11, 158, 160 }, { 11, 158, 161 } ], [ { 157, 158, 162 }, { 154, 157, 158 }, { 154, 157, 162 }, { 154, 158, 162 } ], [ { 158, 163, 164 }, { 162, 163, 164, 165 }, { 158, 162, 163 }, { 158, 164, 165 }, { 158, 162, 165 } ], [ { 153, 158, 160 }, { 158, 160, 163 }, { 153, 160, 163 }, { 153, 158, 163 } ], [ { 16, 18, 166 }, { 15, 16, 18 }, { 15, 18, 166 }, { 15, 16, 166 } ], [ { 167, 168, 169, 170 }, { 15, 167, 169 }, { 15, 167, 168 }, { 15, 169, 170 }, { 15, 168, 170 } ], [ { 166, 168, 170 }, { 15, 168, 170 }, { 15, 166, 170 }, { 15, 166, 168 } ], [ { 167, 169, 171 }, { 15, 167, 169 }, { 15, 169, 171 }, { 15, 167, 171 } ], [ { 167, 171, 172 }, { 166, 171, 172 }, { 166, 167, 168, 171 }, { 166, 168, 172 }, { 167, 168, 172 } ], [ { 19, 21, 171 }, { 15, 19, 21 }, { 15, 21, 171 }, { 15, 19, 171 } ], [ { 174, 175, 177 }, { 173, 174, 177 }, { 173, 174, 175, 176 }, { 175, 176, 177 }, { 173, 176, 177 } ], [ { 179, 180, 181 }, { 178, 180, 181 }, { 178, 179, 181 }, { 178, 179, 180 } ], [ { 183, 184, 185 }, { 182, 184, 185 }, { 182, 183, 184, 186 }, { 182, 185, 186 }, { 183, 185, 186 } ], [ { 188, 189, 190 }, { 187, 189, 190 }, { 187, 188, 190 }, { 187, 188, 189 } ], [ { 189, 190, 192 }, { 189, 190, 191 }, { 190, 191, 192 }, { 189, 191, 192 } ], [ { 193, 194, 195 }, { 187, 194, 195 }, { 187, 193, 195 }, { 187, 193, 194 } ], [ { 192, 195, 196 }, { 193, 195, 196 }, { 192, 193, 196 }, { 192, 193, 195 } ], [ { 198, 199, 200, 201 }, { 197, 199, 200 }, { 197, 198, 199 }, { 197, 200, 201 }, { 197, 198, 201 } ], [ { 202, 204, 205 }, { 202, 203, 205, 206 }, { 202, 203, 204 }, { 203, 204, 206 }, { 204, 205, 206 } ], [ { 193, 207, 208 }, { 187, 193, 208 }, { 187, 207, 208 }, { 187, 193, 207 } ], [ { 207, 208, 209 }, { 187, 208, 209 }, { 187, 207, 208 }, { 187, 207, 209 } ], [ { 24, 25, 210 }, { 25, 26, 210, 211 }, { 24, 210, 211 }, { 24, 26, 211 }, { 24, 25, 26 } ], [ { 24, 211, 212 }, { 24, 209, 212 }, { 24, 209, 211 }, { 209, 211, 212 } ], [ { 24, 209, 214 }, { 24, 209, 213 }, { 209, 213, 214, 215 }, { 24, 213, 215 }, { 24, 214, 215 } ], [ { 24, 210, 216 }, { 24, 213, 216 }, { 24, 210, 213 }, { 210, 213, 216 } ], [ { 213, 218, 219 }, { 217, 218, 219 }, { 213, 217, 219 }, { 213, 217, 218 } ], [ { 218, 219, 220 }, { 217, 219, 220 }, { 217, 218, 219 }, { 217, 218, 220 } ], [ { 222, 223, 224, 225 }, { 221, 222, 224 }, { 221, 222, 223 }, { 221, 223, 225 }, { 221, 224, 225 } ], [ { 227, 228, 229 }, { 226, 228, 229, 230 }, { 226, 227, 228 }, { 227, 229, 230 }, { 226, 227, 230 } ], [ { 228, 231, 232 }, { 226, 228, 232 }, { 226, 231, 232 }, { 226, 228, 231 } ], [ { 234, 235, 236, 237 }, { 233, 235, 236, 238 }, { 233, 234, 236 }, { 233, 234, 237, 238 }, { 235, 237, 238 } ], [ { 28, 31, 239, 240 }, { 27, 31, 239 }, { 27, 28, 31 }, { 27, 239, 240 }, { 27, 28, 240 } ], [ { 28, 29, 241 }, { 27, 29, 241 }, { 27, 28, 241 }, { 27, 28, 29 } ], [ { 31, 32, 241 }, { 27, 32, 241 }, { 27, 31, 241 }, { 27, 31, 32 } ], [ { 209, 213, 243, 244 }, { 209, 242, 243 }, { 209, 213, 242 }, { 242, 243, 244 }, { 213, 242, 244 } ], [ { 187, 209, 245 }, { 209, 242, 245 }, { 187, 209, 242 }, { 187, 242, 245 } ], [ { 213, 217, 246 }, { 213, 242, 246 }, { 213, 217, 242 }, { 217, 242, 246 } ], [ { 187, 247, 248 }, { 187, 242, 248 }, { 187, 242, 247, 249 }, { 242, 248, 249 }, { 247, 248, 249 } ], [ { 251, 252, 253 }, { 250, 252, 253 }, { 250, 251, 253 }, { 250, 251, 252 } ], [ { 255, 256, 257 }, { 254, 256, 257 }, { 254, 255, 257 }, { 254, 255, 256 } ], [ { 259, 260, 261 }, { 258, 260, 261 }, { 258, 259, 261 }, { 258, 259, 260 } ], [ { 250, 260, 262 }, { 258, 260, 262 }, { 250, 258, 260 }, { 250, 258, 262 } ], [ { 263, 264, 265 }, { 254, 264, 265 }, { 254, 263, 265 }, { 254, 263, 264 } ], [ { 264, 266, 267 }, { 254, 266, 267 }, { 254, 264, 267 }, { 254, 264, 266 } ], [ { 255, 267, 268 }, { 254, 255, 268 }, { 254, 255, 267 }, { 254, 267, 268 } ], [ { 270, 271, 272 }, { 269, 271, 272 }, { 269, 270, 272 }, { 269, 270, 271 } ], [ { 273, 274, 275 }, { 221, 274, 275 }, { 221, 273, 275 }, { 221, 273, 274 } ], [ { 275, 276, 277 }, { 273, 276, 277 }, { 273, 275, 277 }, { 273, 275, 276 } ], [ { 276, 278, 279 }, { 273, 276, 279 }, { 273, 276, 278 }, { 273, 278, 279 } ], [ { 279, 281, 282, 284 }, { 279, 280, 281, 283 }, { 281, 282, 283 }, { 280, 282, 283, 284 }, { 279, 280, 284 } ], [ { 285, 286, 287 }, { 280, 286, 287 }, { 280, 285, 287 }, { 280, 285, 286 } ], [ { 287, 289, 290 }, { 287, 288, 290 }, { 287, 288, 289 }, { 288, 289, 290 } ], [ { 287, 290, 291 }, { 285, 287, 291 }, { 285, 290, 291 }, { 285, 287, 290 } ], [ { 293, 294, 295 }, { 292, 294, 295 }, { 292, 293, 295 }, { 292, 293, 294 } ], [ { 296, 297, 298 }, { 293, 297, 298 }, { 293, 296, 298 }, { 293, 296, 297 } ], [ { 35, 36, 300 }, { 35, 36, 299 }, { 36, 299, 300 }, { 35, 299, 300 } ], [ { 35, 36, 301 }, { 34, 35, 36 }, { 34, 36, 301 }, { 34, 35, 301 } ], [ { 301, 302, 303 }, { 34, 302, 303 }, { 34, 301, 303 }, { 34, 301, 302 } ], [ { 39, 40, 304 }, { 38, 39, 40, 42 }, { 38, 39, 304, 305 }, { 40, 42, 304, 305 }, { 38, 42, 305 } ], [ { 307, 308, 309 }, { 306, 308, 309 }, { 306, 307, 309 }, { 306, 307, 308 } ], [ { 311, 312, 313 }, { 310, 312, 313 }, { 310, 311, 313 }, { 310, 311, 312 } ], [ { 315, 316, 317 }, { 314, 316, 317, 319 }, { 314, 315, 317, 318 }, { 315, 316, 318, 319 }, { 314, 318, 319 } ], [ { 321, 322, 323 }, { 320, 322, 323 }, { 320, 321, 323, 324 }, { 321, 322, 324 }, { 320, 322, 324 } ], [ { 326, 327, 328 }, { 325, 327, 328 }, { 325, 326, 328 }, { 325, 326, 327 } ], [ { 317, 329, 330 }, { 314, 329, 330 }, { 314, 317, 330 }, { 314, 317, 329 } ], [ { 332, 333, 334 }, { 331, 333, 334 }, { 331, 332, 334 }, { 331, 332, 333 } ], [ { 334, 335, 336 }, { 331, 334, 336 }, { 331, 334, 335 }, { 331, 335, 336 } ], [ { 332, 334, 337 }, { 332, 334, 335 }, { 332, 335, 337, 338 }, { 334, 335, 338 }, { 334, 337, 338 } ], [ { 340, 341, 342 }, { 339, 341, 342 }, { 339, 340, 342 }, { 339, 340, 341 } ], [ { 43, 44, 344 }, { 44, 343, 344 }, { 43, 343, 344 }, { 43, 44, 343 } ], [ { 43, 44, 45 }, { 44, 45, 47 }, { 43, 45, 47 }, { 43, 44, 47 } ], [ { 45, 345, 346 }, { 45, 47, 346 }, { 47, 345, 346 }, { 45, 47, 345 } ], [ { 345, 348, 349 }, { 345, 347, 349, 350 }, { 345, 347, 348 }, { 348, 349, 350 }, { 347, 348, 350 } ], [ { 352, 353, 354 }, { 351, 353, 354 }, { 351, 352, 354 }, { 351, 352, 353 } ], [ { 356, 357, 359 }, { 355, 357, 359 }, { 355, 356, 357, 358 }, { 356, 358, 359 }, { 355, 358, 359 } ], [ { 43, 48, 50 }, { 47, 48, 50 }, { 43, 47, 50 }, { 43, 47, 48 } ], [ { 360, 362, 363 }, { 360, 361, 363, 364 }, { 360, 361, 362, 365 }, { 362, 363, 364, 365 }, { 361, 364, 365 } ], [ { 53, 367, 369 }, { 53, 366, 369 }, { 53, 366, 367, 368 }, { 367, 368, 369 }, { 366, 368, 369 } ], [ { 53, 367, 372 }, { 367, 370, 372 }, { 53, 367, 370, 371 }, { 53, 371, 372 }, { 370, 371, 372 } ], [ { 52, 53, 55 }, { 53, 55, 373 }, { 52, 55, 373 }, { 52, 53, 373 } ], [ { 52, 53, 363, 375 }, { 52, 53, 371, 374 }, { 52, 374, 375 }, { 363, 371, 374, 375 }, { 53, 363, 371 } ], [ { 57, 377, 378 }, { 57, 376, 378 }, { 376, 377, 378 }, { 57, 376, 377 } ], [ { 57, 58, 377 }, { 56, 57, 58 }, { 56, 58, 377 }, { 56, 57, 377 } ], [ { 56, 377, 380 }, { 56, 377, 379 }, { 377, 379, 380 }, { 56, 379, 380 } ], [ { 382, 383, 384 }, { 381, 383, 384 }, { 381, 382, 384 }, { 381, 382, 383 } ], [ { 383, 384, 386 }, { 384, 385, 386 }, { 383, 384, 385 }, { 383, 385, 386 } ], [ { 388, 389, 390 }, { 387, 389, 390 }, { 387, 388, 390 }, { 387, 388, 389 } ], [ { 385, 386, 389 }, { 385, 386, 387 }, { 386, 387, 389 }, { 385, 387, 389 } ], [ { 57, 63, 385 }, { 56, 57, 63 }, { 56, 63, 385 }, { 56, 57, 385 } ], [ { 57, 385, 389 }, { 57, 385, 388 }, { 57, 388, 389 }, { 385, 388, 389 } ], [ { 382, 384, 385 }, { 56, 382, 384 }, { 56, 384, 385 }, { 56, 382, 385 } ], [ { 392, 393, 394 }, { 391, 393, 394 }, { 391, 392, 394 }, { 391, 392, 393 } ], [ { 396, 397, 398 }, { 395, 397, 398 }, { 395, 396, 398 }, { 395, 396, 397 } ], [ { 400, 401, 402 }, { 399, 401, 402 }, { 399, 400, 402 }, { 399, 400, 401 } ], [ { 404, 405, 406 }, { 403, 405, 406 }, { 403, 404, 406 }, { 403, 404, 405 } ], [ { 406, 407, 408 }, { 403, 406, 408 }, { 403, 407, 408 }, { 403, 406, 407 } ], [ { 409, 410, 411 }, { 221, 410, 411 }, { 221, 409, 411 }, { 221, 409, 410 } ], [ { 409, 410, 413 }, { 410, 412, 413 }, { 409, 412, 413 }, { 409, 410, 412 } ], [ { 415, 416, 417, 419 }, { 414, 416, 417 }, { 414, 415, 416, 418 }, { 414, 417, 418, 419 }, { 415, 418, 419 } ], [ { 421, 422, 424 }, { 420, 421, 424 }, { 420, 421, 422, 423 }, { 422, 423, 424 }, { 420, 423, 424 } ], [ { 67, 425, 426 }, { 65, 67, 426 }, { 65, 425, 426 }, { 65, 67, 425 } ], [ { 66, 67, 68 }, { 65, 66, 67 }, { 65, 67, 68 }, { 65, 66, 68 } ], [ { 67, 68, 425 }, { 67, 68, 427 }, { 67, 425, 427 }, { 68, 425, 427 } ], [ { 429, 430, 431 }, { 428, 430, 431 }, { 428, 429, 431 }, { 428, 429, 430 } ], [ { 65, 425, 426 }, { 425, 426, 428 }, { 65, 426, 428 }, { 65, 425, 428 } ], [ { 71, 73, 433 }, { 73, 432, 433 }, { 71, 432, 433 }, { 71, 73, 432 } ], [ { 71, 73, 434 }, { 70, 73, 434 }, { 70, 71, 434 }, { 70, 71, 73 } ], [ { 73, 76, 436, 437 }, { 73, 76, 434, 435 }, { 76, 435, 436 }, { 434, 435, 436, 437 }, { 73, 434, 437 } ], [ { 76, 77, 432, 438 }, { 73, 75, 432, 438 }, { 73, 76, 432 }, { 73, 75, 76, 77 }, { 75, 77, 438 } ], [ { 76, 79, 81 }, { 76, 81, 435 }, { 76, 79, 435 }, { 79, 81, 435 } ], [ { 76, 79, 439 }, { 76, 432, 439 }, { 76, 79, 432 }, { 79, 432, 439 } ], [ { 441, 442, 443, 444 }, { 440, 441, 443 }, { 440, 441, 442 }, { 440, 442, 444 }, { 440, 443, 444 } ], [ { 442, 445, 446, 447 }, { 440, 445, 446 }, { 440, 442, 446 }, { 440, 445, 447 }, { 440, 442, 447 } ], [ { 432, 449, 450 }, { 448, 449, 450 }, { 432, 448, 450 }, { 432, 448, 449 } ], [ { 432, 449, 452 }, { 432, 449, 451 }, { 449, 451, 452 }, { 432, 451, 452 } ], [ { 432, 453, 454 }, { 451, 453, 454 }, { 432, 451, 454 }, { 432, 451, 453 } ], [ { 432, 456, 457 }, { 455, 456, 457 }, { 432, 455, 457 }, { 432, 455, 456 } ], [ { 432, 457, 459 }, { 457, 458, 459 }, { 432, 457, 458 }, { 432, 458, 459 } ], [ { 432, 459, 461 }, { 459, 460, 461 }, { 432, 460, 461 }, { 432, 459, 460 } ], [ { 460, 461, 462 }, { 79, 460, 461 }, { 79, 460, 462, 463 }, { 461, 462, 463 }, { 79, 461, 463 } ], [ { 401, 464, 465 }, { 400, 464, 465 }, { 400, 401, 465 }, { 400, 401, 464 } ], [ { 83, 467, 468 }, { 466, 467, 468 }, { 83, 466, 468 }, { 83, 466, 467 } ], [ { 86, 469, 470 }, { 86, 299, 470 }, { 299, 469, 470 }, { 86, 299, 469 } ], [ { 84, 467, 471 }, { 83, 84, 471 }, { 83, 84, 467 }, { 83, 467, 471 } ], [ { 84, 85, 86 }, { 83, 84, 85 }, { 83, 85, 86 }, { 83, 84, 86 } ], [ { 84, 86, 472 }, { 84, 86, 467 }, { 84, 467, 472 }, { 86, 467, 472 } ], [ { 89, 90, 467 }, { 88, 89, 90 }, { 88, 90, 467 }, { 88, 89, 467 } ], [ { 474, 475, 476 }, { 473, 475, 476 }, { 473, 474, 476 }, { 473, 474, 475 } ], [ { 474, 475, 478 }, { 475, 477, 478 }, { 474, 475, 477 }, { 474, 477, 478 } ], [ { 480, 481, 482 }, { 479, 481, 482 }, { 479, 480, 482 }, { 479, 480, 481 } ], [ { 481, 482, 483 }, { 480, 481, 482 }, { 480, 482, 483 }, { 480, 481, 483 } ], [ { 92, 93, 95 }, { 93, 95, 483 }, { 92, 95, 483 }, { 92, 93, 483 } ], [ { 485, 486, 487 }, { 484, 486, 487 }, { 484, 485, 487 }, { 484, 485, 486 } ], [ { 97, 98, 488 }, { 96, 97, 98 }, { 96, 98, 488 }, { 96, 97, 488 } ], [ { 490, 491, 492 }, { 489, 491, 492 }, { 489, 490, 492 }, { 489, 490, 491 } ], [ { 494, 495, 496 }, { 493, 495, 496 }, { 493, 494, 496 }, { 493, 494, 495 } ], [ { 102, 498, 499 }, { 102, 497, 499 }, { 102, 497, 498, 500 }, { 497, 499, 500 }, { 498, 499, 500 } ], [ { 105, 501, 502 }, { 497, 501, 502 }, { 105, 497, 502 }, { 105, 497, 501 } ], [ { 103, 108, 503 }, { 102, 103, 503 }, { 102, 103, 108 }, { 102, 108, 503 } ], [ { 103, 104, 105 }, { 102, 103, 104 }, { 102, 104, 105 }, { 102, 103, 105 } ], [ { 103, 105, 504 }, { 103, 105, 108 }, { 103, 108, 504 }, { 105, 108, 504 } ], [ { 506, 507, 508 }, { 505, 507, 508 }, { 505, 506, 508 }, { 505, 506, 507 } ], [ { 107, 108, 110 }, { 108, 110, 507 }, { 107, 110, 507 }, { 107, 108, 507 } ], [ { 102, 108, 109 }, { 107, 108, 109 }, { 102, 107, 109 }, { 102, 107, 108 } ], [ { 510, 511, 512 }, { 509, 511, 512 }, { 509, 510, 512 }, { 509, 510, 511 } ], [ { 512, 513, 514 }, { 510, 512, 514 }, { 510, 512, 513 }, { 510, 513, 514 } ], [ { 108, 513, 516, 517 }, { 108, 515, 517, 518 }, { 108, 513, 515 }, { 513, 515, 516, 518 }, { 516, 517, 518 } ], [ { 108, 112, 113 }, { 111, 112, 113 }, { 108, 111, 113 }, { 108, 111, 112 } ], [ { 513, 520, 521 }, { 513, 519, 521 }, { 519, 520, 521 }, { 513, 519, 520 } ], [ { 513, 520, 522 }, { 513, 515, 520 }, { 513, 515, 522 }, { 515, 520, 522 } ], [ { 523, 524, 525 }, { 458, 524, 525 }, { 458, 523, 525 }, { 458, 523, 524 } ], [ { 524, 525, 526 }, { 458, 524, 525 }, { 458, 525, 526 }, { 458, 524, 526 } ], [ { 461, 526, 527 }, { 458, 461, 526 }, { 458, 461, 527 }, { 458, 526, 527 } ], [ { 118, 529, 530 }, { 118, 528, 530 }, { 528, 529, 530 }, { 118, 528, 529 } ], [ { 116, 118, 530 }, { 115, 118, 530 }, { 115, 116, 530 }, { 115, 116, 118 } ], [ { 117, 118, 531 }, { 115, 118, 531 }, { 115, 117, 118 }, { 115, 117, 531 } ], [ { 118, 531, 533 }, { 118, 532, 533 }, { 531, 532, 533 }, { 118, 531, 532 } ], [ { 531, 532, 534 }, { 115, 531, 534 }, { 115, 532, 534 }, { 115, 531, 532 } ], [ { 535, 536, 537 }, { 528, 536, 537 }, { 528, 535, 537 }, { 528, 535, 536 } ], [ { 535, 536, 539 }, { 536, 538, 539 }, { 535, 536, 538 }, { 535, 538, 539 } ], [ { 535, 537, 540 }, { 528, 537, 540 }, { 528, 535, 537 }, { 528, 535, 540 } ], [ { 542, 543, 544 }, { 541, 543, 544 }, { 541, 542, 544 }, { 541, 542, 543 } ], [ { 543, 545, 546 }, { 542, 545, 546 }, { 542, 543, 546 }, { 542, 543, 545 } ], [ { 115, 547, 548 }, { 541, 547, 548 }, { 115, 541, 548 }, { 115, 541, 547 } ], [ { 121, 547, 549 }, { 541, 547, 549 }, { 121, 541, 547 }, { 121, 541, 549 } ], [ { 120, 121, 547 }, { 115, 121, 547 }, { 115, 120, 547 }, { 115, 120, 121 } ], [ { 119, 121, 550 }, { 115, 121, 550 }, { 115, 119, 550 }, { 115, 119, 121 } ], [ { 121, 550, 552 }, { 550, 551, 552 }, { 121, 551, 552 }, { 121, 550, 551 } ], [ { 543, 544, 553 }, { 541, 544, 553 }, { 541, 543, 553 }, { 541, 543, 544 } ], [ { 550, 551, 554 }, { 115, 550, 554 }, { 115, 550, 551 }, { 115, 551, 554 } ], [ { 551, 554, 556, 557 }, { 551, 555, 556 }, { 551, 554, 555 }, { 554, 555, 557 }, { 555, 556, 557 } ], [ { 559, 560, 561 }, { 558, 560, 561 }, { 558, 559, 561 }, { 558, 559, 560 } ], [ { 558, 561, 562, 564 }, { 558, 562, 563, 565 }, { 561, 563, 564, 565 }, { 562, 564, 565 }, { 558, 561, 563 } ], [ { 559, 564, 566 }, { 562, 564, 566 }, { 559, 562, 564 }, { 559, 562, 566 } ], [ { 567, 568, 569 }, { 562, 567, 569 }, { 559, 562, 567, 568 }, { 559, 562, 569 }, { 559, 568, 569 } ], [ { 562, 567, 571, 572 }, { 562, 570, 571 }, { 562, 567, 570, 573 }, { 570, 571, 572, 573 }, { 567, 572, 573 } ], [ { 115, 562, 575 }, { 562, 574, 575 }, { 115, 574, 575 }, { 115, 562, 574 } ], [ { 576, 577, 578 }, { 558, 577, 578 }, { 558, 576, 578 }, { 558, 576, 577 } ], [ { 2, 5, 579, 580 }, { 1, 2, 579, 581 }, { 1, 2, 5 }, { 1, 5, 580, 581 }, { 579, 580, 581 } ], [ { 2, 577, 579, 582 }, { 2, 558, 579 }, { 558, 577, 579 }, { 2, 558, 582 }, { 558, 577, 582 } ], [ { 584, 585, 586 }, { 583, 585, 586 }, { 583, 584, 586 }, { 583, 584, 585 } ], [ { 579, 585, 587 }, { 583, 585, 587 }, { 579, 583, 585 }, { 579, 583, 587 } ], [ { 580, 584, 588 }, { 580, 583, 584 }, { 580, 583, 588 }, { 583, 584, 588 } ], [ { 589, 590, 591 }, { 583, 590, 591 }, { 583, 589, 591 }, { 583, 589, 590 } ], [ { 590, 592, 593 }, { 583, 592, 593 }, { 583, 590, 593 }, { 583, 590, 592 } ], [ { 591, 594, 595, 596 }, { 528, 591, 595 }, { 528, 594, 595 }, { 528, 594, 596 }, { 528, 591, 596 } ], [ { 123, 597, 598 }, { 528, 597, 598 }, { 123, 528, 598 }, { 123, 528, 597 } ], [ { 597, 599, 600 }, { 528, 599, 600 }, { 528, 597, 600 }, { 528, 597, 599 } ], [ { 123, 599, 602 }, { 599, 601, 602 }, { 123, 599, 601 }, { 123, 601, 602 } ], [ { 123, 603, 604 }, { 601, 603, 604 }, { 123, 601, 604 }, { 123, 601, 603 } ], [ { 123, 124, 604 }, { 122, 124, 604 }, { 122, 123, 124 }, { 122, 123, 604 } ], [ { 124, 604, 605 }, { 124, 603, 604 }, { 124, 603, 605 }, { 603, 604, 605 } ], [ { 124, 128, 607 }, { 124, 606, 607 }, { 128, 606, 607 }, { 124, 128, 606 } ], [ { 127, 128, 608 }, { 126, 128, 608 }, { 126, 127, 608 }, { 126, 127, 128 } ], [ { 128, 608, 610 }, { 128, 608, 609 }, { 608, 609, 610 }, { 128, 609, 610 } ], [ { 124, 128, 132 }, { 124, 130, 132 }, { 128, 130, 132 }, { 124, 128, 130 } ], [ { 123, 124, 131 }, { 124, 130, 131 }, { 123, 130, 131 }, { 123, 124, 130 } ], [ { 123, 126, 133, 134 }, { 123, 130, 133 }, { 123, 126, 130 }, { 130, 133, 134 }, { 126, 130, 134 } ], [ { 126, 128, 136 }, { 128, 130, 136 }, { 126, 130, 136 }, { 126, 128, 130 } ], [ { 123, 137, 611 }, { 123, 126, 611, 612 }, { 123, 126, 137, 138 }, { 137, 138, 611, 612 }, { 126, 138, 612 } ], [ { 123, 590, 614 }, { 590, 613, 614 }, { 123, 590, 611, 613 }, { 123, 611, 614 }, { 611, 613, 614 } ], [ { 590, 591, 615 }, { 528, 590, 591 }, { 528, 591, 615 }, { 528, 590, 615 } ], [ { 123, 590, 616 }, { 590, 615, 616 }, { 123, 615, 616 }, { 123, 590, 615 } ], [ { 590, 593, 618 }, { 590, 593, 617 }, { 593, 617, 618 }, { 590, 617, 618 } ], [ { 126, 590, 619 }, { 590, 617, 619 }, { 126, 617, 619 }, { 126, 590, 617 } ], [ { 126, 620, 621 }, { 618, 620, 621 }, { 126, 618, 621 }, { 126, 618, 620 } ], [ { 620, 622, 623 }, { 618, 622, 623 }, { 618, 620, 623 }, { 618, 620, 622 } ], [ { 608, 610, 624 }, { 126, 608, 610 }, { 126, 608, 624 }, { 126, 610, 624 } ], [ { 622, 624, 625 }, { 126, 622, 625 }, { 126, 624, 625 }, { 126, 622, 624 } ], [ { 622, 626, 627 }, { 618, 622, 627 }, { 618, 626, 627, 628 }, { 622, 626, 628 }, { 618, 622, 628 } ], [ { 610, 622, 629 }, { 622, 624, 629 }, { 610, 624, 629 }, { 610, 622, 624 } ], [ { 141, 630, 631 }, { 141, 143, 631 }, { 141, 143, 630 }, { 143, 630, 631 } ], [ { 140, 141, 630 }, { 139, 140, 141 }, { 139, 141, 630 }, { 139, 140, 630 } ], [ { 139, 633, 634 }, { 632, 633, 634 }, { 139, 632, 634 }, { 139, 632, 633 } ], [ { 635, 636, 637 }, { 143, 636, 637 }, { 143, 635, 637 }, { 143, 635, 636 } ], [ { 7, 9, 144 }, { 9, 143, 144 }, { 7, 143, 144 }, { 7, 9, 143 } ], [ { 144, 632, 633 }, { 143, 144, 633 }, { 143, 144, 632 }, { 143, 632, 633 } ], [ { 638, 639, 640 }, { 147, 639, 640 }, { 147, 638, 640 }, { 147, 638, 639 } ], [ { 150, 153, 641 }, { 146, 150, 641 }, { 146, 153, 641 }, { 146, 150, 153 } ], [ { 147, 148, 150 }, { 146, 148, 150 }, { 146, 147, 148 }, { 146, 147, 150 } ], [ { 14, 152, 153 }, { 11, 14, 153 }, { 11, 14, 152 }, { 11, 152, 153 } ], [ { 153, 638, 640 }, { 152, 638, 640 }, { 152, 153, 640 }, { 152, 153, 638 } ], [ { 155, 157, 158 }, { 154, 157, 158 }, { 154, 155, 157 }, { 154, 155, 158 } ], [ { 153, 158, 160 }, { 11, 158, 160 }, { 11, 153, 160 }, { 11, 153, 158 } ], [ { 153, 154, 158 }, { 153, 158, 163 }, { 153, 154, 162, 163 }, { 158, 162, 163 }, { 154, 158, 162 } ], [ { 391, 642, 643 }, { 146, 642, 643 }, { 146, 391, 643 }, { 146, 391, 642 } ], [ { 153, 642, 644 }, { 146, 153, 644 }, { 146, 642, 644 }, { 146, 153, 642 } ], [ { 644, 645, 646 }, { 153, 645, 646 }, { 153, 644, 646 }, { 153, 644, 645 } ], [ { 16, 166, 648 }, { 16, 647, 648 }, { 16, 166, 647 }, { 166, 647, 648 } ], [ { 16, 166, 649 }, { 15, 16, 166 }, { 15, 16, 649 }, { 15, 166, 649 } ], [ { 166, 167, 168, 171 }, { 15, 167, 171 }, { 15, 166, 171 }, { 15, 166, 168 }, { 15, 167, 168 } ], [ { 19, 171, 651 }, { 19, 650, 651 }, { 171, 650, 651 }, { 19, 171, 650 } ], [ { 19, 171, 649 }, { 15, 19, 171 }, { 15, 19, 649 }, { 15, 171, 649 } ], [ { 173, 174, 175, 176 }, { 174, 175, 652 }, { 173, 174, 652 }, { 173, 176, 652 }, { 175, 176, 652 } ], [ { 174, 178, 180 }, { 173, 174, 180, 181 }, { 173, 174, 178 }, { 178, 180, 181 }, { 173, 178, 181 } ], [ { 183, 184, 653, 654 }, { 182, 184, 653 }, { 182, 183, 184, 186 }, { 182, 186, 653, 654 }, { 183, 186, 654 } ], [ { 189, 190, 192 }, { 187, 189, 190 }, { 187, 190, 192 }, { 187, 189, 192 } ], [ { 192, 193, 195 }, { 187, 192, 195 }, { 187, 193, 195 }, { 187, 192, 193 } ], [ { 198, 199, 655, 656 }, { 197, 198, 655 }, { 197, 655, 656 }, { 197, 198, 199 }, { 197, 199, 656 } ], [ { 204, 205, 657 }, { 205, 206, 657, 658 }, { 204, 657, 658 }, { 204, 206, 658 }, { 204, 205, 206 } ], [ { 204, 655, 660 }, { 204, 659, 660 }, { 655, 656, 659, 660 }, { 204, 655, 656 }, { 204, 656, 659 } ], [ { 193, 662, 663 }, { 661, 662, 663 }, { 193, 661, 663 }, { 193, 661, 662 } ], [ { 665, 666, 667 }, { 664, 666, 667 }, { 664, 665, 667 }, { 664, 665, 666 } ], [ { 666, 669, 670 }, { 666, 668, 670 }, { 668, 669, 670 }, { 666, 668, 669 } ], [ { 665, 671, 672 }, { 662, 665, 672 }, { 662, 671, 672 }, { 662, 665, 671 } ], [ { 662, 671, 672 }, { 662, 672, 673 }, { 662, 671, 673, 674 }, { 671, 672, 674 }, { 672, 673, 674 } ], [ { 669, 672, 674 }, { 672, 673, 674 }, { 669, 672, 673 }, { 669, 673, 674 } ], [ { 193, 208, 211 }, { 187, 208, 211 }, { 187, 193, 208 }, { 187, 193, 211 } ], [ { 208, 209, 211 }, { 187, 208, 211 }, { 187, 208, 209 }, { 187, 209, 211 } ], [ { 24, 210, 213 }, { 24, 209, 213 }, { 209, 210, 211, 213 }, { 24, 209, 211 }, { 24, 210, 211 } ], [ { 210, 213, 219 }, { 210, 217, 219 }, { 213, 217, 219 }, { 210, 213, 217 } ], [ { 210, 219, 220 }, { 217, 219, 220 }, { 210, 217, 219 }, { 210, 217, 220 } ], [ { 220, 673, 676 }, { 673, 675, 676 }, { 220, 675, 676 }, { 220, 673, 675 } ], [ { 271, 678, 679 }, { 677, 678, 679 }, { 271, 677, 679 }, { 271, 677, 678 } ], [ { 222, 223, 680, 681 }, { 221, 222, 680 }, { 221, 680, 681 }, { 221, 223, 681 }, { 221, 222, 223 } ], [ { 678, 683, 684 }, { 682, 683, 684 }, { 678, 682, 684 }, { 678, 682, 683 } ], [ { 227, 228, 685 }, { 226, 228, 685 }, { 226, 227, 685 }, { 226, 227, 228 } ], [ { 226, 228, 232 }, { 226, 232, 682 }, { 226, 228, 682, 686 }, { 228, 232, 686 }, { 232, 682, 686 } ], [ { 688, 689, 690 }, { 687, 689, 690 }, { 687, 688, 690 }, { 687, 688, 689 } ], [ { 692, 693, 694 }, { 691, 693, 694 }, { 691, 692, 694 }, { 691, 692, 693 } ], [ { 696, 697, 698, 699 }, { 695, 697, 698, 700 }, { 695, 698, 699 }, { 695, 696, 699, 700 }, { 696, 697, 700 } ], [ { 702, 703, 704 }, { 701, 703, 704 }, { 701, 702, 704 }, { 701, 702, 703 } ], [ { 701, 703, 706 }, { 703, 705, 706 }, { 701, 705, 706 }, { 701, 703, 705 } ], [ { 234, 235, 236, 237 }, { 235, 236, 705 }, { 234, 236, 705 }, { 235, 237, 705 }, { 234, 237, 705 } ], [ { 707, 708, 709 }, { 217, 708, 709 }, { 217, 707, 709 }, { 217, 707, 708 } ], [ { 241, 711, 712 }, { 241, 710, 712 }, { 710, 711, 712 }, { 241, 710, 711 } ], [ { 241, 712, 714 }, { 712, 713, 714 }, { 241, 713, 714 }, { 241, 712, 713 } ], [ { 241, 713, 714 }, { 28, 241, 714 }, { 28, 713, 714 }, { 28, 241, 713 } ], [ { 28, 31, 241 }, { 27, 31, 241 }, { 27, 28, 241 }, { 27, 28, 31 } ], [ { 241, 715, 716 }, { 31, 241, 716 }, { 31, 715, 716 }, { 31, 241, 715 } ], [ { 236, 241, 718 }, { 241, 717, 718 }, { 236, 717, 718 }, { 236, 241, 717 } ], [ { 241, 716, 718 }, { 715, 716, 718 }, { 241, 715, 716 }, { 241, 715, 718 } ], [ { 28, 31, 720 }, { 31, 719, 720 }, { 28, 719, 720 }, { 28, 31, 719 } ], [ { 187, 209, 213, 217 }, { 213, 217, 242 }, { 187, 217, 242 }, { 187, 209, 242 }, { 209, 213, 242 } ], [ { 187, 247, 720 }, { 187, 242, 720 }, { 187, 242, 247, 249 }, { 247, 249, 720 }, { 242, 249, 720 } ], [ { 187, 247, 721, 722 }, { 187, 715, 721 }, { 187, 247, 715 }, { 247, 715, 722 }, { 715, 721, 722 } ], [ { 721, 723, 724 }, { 187, 721, 724 }, { 187, 723, 724 }, { 187, 721, 723 } ], [ { 725, 726, 727 }, { 263, 726, 727 }, { 263, 725, 727 }, { 263, 725, 726 } ], [ { 729, 730, 731 }, { 728, 730, 731 }, { 728, 729, 731 }, { 728, 729, 730 } ], [ { 258, 729, 730 }, { 258, 730, 732 }, { 258, 729, 732 }, { 729, 730, 732 } ], [ { 258, 259, 733 }, { 259, 730, 733 }, { 258, 259, 730 }, { 258, 730, 733 } ], [ { 251, 255, 735 }, { 251, 255, 734 }, { 255, 734, 735 }, { 251, 734, 735 } ], [ { 251, 253, 256 }, { 250, 253, 256 }, { 250, 251, 253 }, { 250, 251, 256 } ], [ { 251, 255, 256 }, { 254, 255, 256 }, { 251, 254, 256 }, { 251, 254, 255 } ], [ { 258, 259, 260 }, { 259, 260, 735 }, { 258, 260, 735 }, { 258, 259, 735 } ], [ { 251, 260, 736 }, { 260, 735, 736 }, { 251, 735, 736 }, { 251, 260, 735 } ], [ { 250, 251, 260 }, { 251, 258, 260 }, { 250, 258, 260 }, { 250, 251, 258 } ], [ { 263, 265, 737 }, { 254, 265, 737 }, { 254, 263, 265 }, { 254, 263, 737 } ], [ { 263, 702, 737 }, { 263, 737, 738 }, { 702, 737, 738 }, { 263, 702, 738 } ], [ { 263, 264, 267 }, { 254, 264, 267 }, { 254, 263, 267 }, { 254, 263, 264 } ], [ { 255, 267, 735 }, { 254, 255, 735 }, { 254, 255, 267 }, { 254, 267, 735 } ], [ { 740, 741, 742 }, { 739, 741, 742 }, { 739, 740, 742 }, { 739, 740, 741 } ], [ { 269, 271, 272 }, { 271, 272, 739 }, { 269, 272, 739 }, { 269, 271, 739 } ], [ { 741, 743, 744 }, { 740, 743, 744 }, { 740, 741, 744 }, { 740, 741, 743 } ], [ { 746, 747, 748 }, { 745, 747, 748 }, { 745, 746, 748 }, { 745, 746, 747 } ], [ { 273, 275, 276 }, { 221, 275, 276 }, { 221, 273, 276 }, { 221, 273, 275 } ], [ { 276, 277, 749 }, { 275, 277, 749 }, { 275, 276, 277 }, { 275, 276, 749 } ], [ { 749, 750, 752 }, { 750, 751, 752 }, { 749, 750, 751, 753 }, { 749, 752, 753 }, { 751, 752, 753 } ], [ { 276, 285, 754 }, { 276, 285, 751, 753 }, { 285, 751, 754 }, { 276, 753, 754 }, { 751, 753, 754 } ], [ { 273, 276, 279 }, { 221, 276, 279 }, { 221, 273, 276 }, { 221, 273, 279 } ], [ { 279, 280, 284 }, { 280, 284, 285 }, { 276, 279, 280, 285 }, { 276, 284, 285 }, { 276, 279, 284 } ], [ { 280, 288, 755 }, { 221, 288, 755 }, { 221, 279, 280, 288 }, { 221, 279, 755 }, { 279, 280, 755 } ], [ { 285, 287, 288 }, { 280, 285, 287 }, { 280, 287, 288 }, { 280, 285, 288 } ], [ { 285, 287, 290 }, { 287, 288, 290 }, { 285, 287, 288 }, { 285, 288, 290 } ], [ { 290, 291, 750 }, { 285, 291, 750 }, { 285, 290, 291 }, { 285, 290, 750 } ], [ { 297, 746, 748 }, { 297, 748, 756 }, { 297, 746, 756 }, { 746, 748, 756 } ], [ { 293, 295, 297 }, { 292, 295, 297 }, { 292, 293, 295 }, { 292, 293, 297 } ], [ { 757, 758, 759 }, { 746, 758, 759 }, { 746, 757, 759 }, { 746, 757, 758 } ], [ { 297, 746, 760 }, { 297, 756, 760 }, { 746, 756, 760 }, { 297, 746, 756 } ], [ { 293, 296, 297 }, { 293, 297, 759, 761 }, { 293, 296, 761 }, { 296, 297, 759 }, { 296, 759, 761 } ], [ { 35, 36, 301 }, { 35, 36, 299 }, { 36, 299, 301 }, { 35, 299, 301 } ], [ { 35, 301, 762 }, { 34, 35, 762 }, { 34, 35, 301 }, { 34, 301, 762 } ], [ { 35, 763, 764 }, { 35, 299, 764 }, { 35, 299, 763 }, { 299, 763, 764 } ], [ { 302, 303, 765 }, { 301, 303, 765 }, { 301, 302, 303 }, { 301, 302, 765 } ], [ { 303, 765, 766 }, { 303, 763, 766 }, { 763, 765, 766 }, { 303, 763, 765 } ], [ { 301, 303, 762 }, { 34, 303, 762 }, { 34, 301, 303 }, { 34, 301, 762 } ], [ { 38, 305, 768 }, { 305, 767, 768 }, { 38, 305, 767 }, { 38, 767, 768 } ], [ { 768, 769, 770 }, { 767, 769, 770 }, { 767, 768, 770 }, { 767, 768, 769 } ], [ { 768, 769, 771 }, { 38, 768, 769 }, { 38, 769, 771 }, { 38, 768, 771 } ], [ { 39, 772, 773 }, { 304, 772, 773 }, { 39, 304, 773 }, { 39, 304, 772 } ], [ { 38, 305, 773 }, { 305, 767, 773 }, { 38, 767, 773 }, { 38, 305, 767 } ], [ { 39, 304, 773 }, { 38, 39, 773 }, { 38, 39, 304, 305 }, { 38, 305, 773 }, { 304, 305, 773 } ], [ { 306, 307, 308 }, { 307, 308, 774 }, { 306, 308, 774 }, { 306, 307, 774 } ], [ { 307, 776, 777 }, { 775, 776, 777 }, { 307, 775, 777 }, { 307, 775, 776 } ], [ { 307, 776, 778 }, { 306, 307, 776 }, { 306, 776, 778 }, { 306, 307, 778 } ], [ { 311, 780, 781 }, { 311, 779, 781 }, { 311, 779, 780 }, { 779, 780, 781 } ], [ { 311, 782, 783, 784 }, { 311, 779, 783 }, { 779, 782, 783 }, { 779, 782, 784 }, { 311, 779, 784 } ], [ { 311, 312, 780 }, { 311, 312, 785 }, { 312, 780, 785 }, { 311, 780, 785 } ], [ { 301, 311, 312 }, { 310, 311, 312 }, { 301, 310, 312 }, { 301, 310, 311 } ], [ { 317, 320, 341 }, { 317, 320, 339 }, { 317, 339, 341 }, { 320, 339, 341 } ], [ { 315, 317, 322 }, { 314, 317, 322 }, { 314, 315, 317, 318 }, { 315, 318, 322 }, { 314, 318, 322 } ], [ { 317, 320, 322 }, { 317, 322, 339 }, { 317, 320, 339 }, { 320, 322, 339 } ], [ { 322, 323, 327 }, { 314, 322, 323 }, { 314, 323, 327 }, { 314, 322, 327 } ], [ { 320, 322, 339 }, { 322, 327, 339 }, { 320, 323, 327, 339 }, { 322, 323, 327 }, { 320, 322, 323 } ], [ { 325, 327, 328 }, { 221, 327, 328 }, { 221, 325, 328 }, { 221, 325, 327 } ], [ { 323, 327, 328 }, { 314, 323, 328 }, { 314, 323, 327 }, { 314, 327, 328 } ], [ { 317, 329, 786 }, { 314, 317, 329 }, { 314, 329, 786 }, { 314, 317, 786 } ], [ { 786, 787, 788 }, { 221, 786, 788 }, { 221, 787, 788 }, { 221, 786, 787 } ], [ { 332, 334, 335 }, { 331, 334, 335 }, { 331, 332, 334 }, { 331, 332, 335 } ], [ { 340, 341, 787 }, { 339, 340, 341 }, { 339, 341, 787 }, { 339, 340, 787 } ], [ { 43, 44, 343 }, { 43, 44, 47 }, { 44, 47, 343 }, { 43, 47, 343 } ], [ { 44, 45, 347 }, { 44, 45, 47 }, { 45, 47, 347 }, { 44, 47, 347 } ], [ { 44, 347, 790 }, { 347, 789, 790, 791 }, { 44, 347, 789 }, { 44, 790, 791 }, { 44, 789, 791 } ], [ { 47, 793, 794 }, { 792, 793, 794 }, { 47, 792, 794 }, { 47, 792, 793 } ], [ { 345, 346, 793 }, { 47, 345, 346 }, { 47, 346, 793 }, { 47, 345, 793 } ], [ { 45, 345, 347 }, { 45, 47, 345 }, { 45, 47, 347 }, { 47, 345, 347 } ], [ { 345, 349, 790, 795 }, { 347, 350, 790, 795 }, { 345, 347, 790 }, { 345, 347, 349, 350 }, { 349, 350, 795 } ], [ { 345, 790, 796 }, { 790, 793, 796 }, { 345, 790, 793 }, { 345, 793, 796 } ], [ { 44, 790, 797 }, { 343, 790, 797 }, { 44, 343, 790 }, { 44, 343, 797 } ], [ { 798, 799, 800 }, { 351, 799, 800 }, { 351, 798, 800 }, { 351, 798, 799 } ], [ { 332, 799, 801 }, { 332, 798, 801 }, { 798, 799, 801 }, { 332, 798, 799 } ], [ { 352, 353, 802 }, { 351, 352, 353 }, { 351, 353, 799, 802 }, { 352, 799, 802 }, { 351, 352, 799 } ], [ { 353, 787, 803 }, { 353, 802, 803 }, { 787, 802, 803 }, { 353, 787, 802 } ], [ { 332, 340, 787 }, { 332, 340, 802 }, { 340, 787, 802 }, { 332, 787, 802 } ], [ { 356, 357, 804, 805 }, { 355, 357, 804 }, { 355, 356, 357, 358 }, { 355, 358, 804, 805 }, { 356, 358, 805 } ], [ { 357, 807, 808 }, { 357, 806, 808 }, { 357, 806, 807 }, { 806, 807, 808 } ], [ { 356, 357, 359 }, { 356, 359, 809 }, { 356, 357, 809, 810 }, { 357, 359, 810 }, { 359, 809, 810 } ], [ { 811, 812, 813 }, { 356, 812, 813 }, { 356, 811, 813 }, { 356, 811, 812 } ], [ { 811, 814, 815 }, { 47, 811, 815 }, { 47, 811, 814 }, { 47, 814, 815 } ], [ { 43, 50, 343, 816 }, { 43, 47, 343 }, { 47, 343, 816 }, { 43, 47, 50 }, { 47, 50, 816 } ], [ { 360, 363, 817 }, { 360, 361, 817 }, { 360, 361, 363, 364 }, { 363, 364, 817 }, { 361, 364, 817 } ], [ { 53, 367, 369 }, { 367, 369, 818 }, { 53, 369, 818 }, { 53, 367, 818 } ], [ { 53, 363, 364, 367 }, { 53, 367, 370, 371 }, { 363, 364, 370, 371 }, { 364, 367, 370 }, { 53, 363, 371 } ], [ { 53, 819, 820 }, { 53, 373, 820 }, { 373, 819, 820 }, { 53, 373, 819 } ], [ { 52, 53, 363, 375 }, { 52, 53, 373 }, { 53, 363, 373 }, { 363, 373, 375 }, { 52, 373, 375 } ], [ { 376, 377, 380 }, { 56, 377, 380 }, { 56, 57, 376, 380 }, { 56, 57, 377 }, { 57, 376, 377 } ], [ { 382, 383, 384 }, { 383, 384, 385 }, { 382, 384, 385 }, { 382, 383, 385 } ], [ { 383, 385, 386 }, { 383, 386, 387 }, { 385, 386, 387 }, { 383, 385, 387 } ], [ { 385, 388, 389 }, { 385, 387, 389 }, { 385, 387, 388 }, { 387, 388, 389 } ], [ { 382, 385, 388 }, { 56, 382, 385 }, { 56, 57, 382, 388 }, { 57, 385, 388 }, { 56, 57, 385 } ], [ { 363, 375, 388 }, { 373, 375, 388 }, { 363, 373, 375 }, { 363, 373, 388 } ], [ { 391, 392, 393 }, { 360, 392, 393 }, { 360, 391, 393 }, { 360, 391, 392 } ], [ { 392, 394, 821 }, { 391, 394, 821 }, { 391, 392, 821 }, { 391, 392, 394 } ], [ { 363, 392, 822 }, { 360, 363, 822 }, { 360, 392, 822 }, { 360, 363, 392 } ], [ { 822, 823, 824 }, { 392, 822, 824 }, { 392, 823, 824 }, { 392, 822, 823 } ], [ { 825, 827, 828 }, { 825, 826, 828, 830 }, { 825, 826, 827, 829 }, { 827, 828, 829, 830 }, { 826, 829, 830 } ], [ { 395, 396, 825 }, { 396, 398, 825, 826 }, { 395, 825, 826 }, { 395, 396, 398 }, { 395, 398, 826 } ], [ { 396, 397, 402 }, { 395, 397, 402 }, { 395, 396, 402 }, { 395, 396, 397 } ], [ { 396, 402, 465 }, { 402, 465, 825 }, { 396, 402, 825 }, { 396, 465, 825 } ], [ { 401, 402, 465 }, { 400, 402, 465 }, { 400, 401, 402 }, { 400, 401, 465 } ], [ { 400, 402, 831 }, { 399, 402, 831 }, { 399, 400, 831 }, { 399, 400, 402 } ], [ { 400, 831, 832 }, { 399, 831, 832 }, { 399, 400, 832 }, { 399, 400, 831 } ], [ { 391, 394, 821 }, { 394, 821, 833 }, { 391, 821, 833 }, { 391, 394, 833 } ], [ { 400, 832, 835 }, { 832, 834, 835 }, { 400, 834, 835 }, { 400, 832, 834 } ], [ { 391, 836, 837 }, { 833, 836, 837 }, { 391, 833, 837 }, { 391, 833, 836 } ], [ { 406, 838, 839 }, { 404, 406, 839 }, { 404, 838, 839 }, { 404, 406, 838 } ], [ { 404, 406, 408 }, { 403, 406, 408 }, { 403, 404, 408 }, { 403, 404, 406 } ], [ { 409, 410, 412 }, { 221, 409, 410 }, { 221, 410, 412 }, { 221, 409, 412 } ], [ { 409, 838, 840 }, { 221, 409, 840 }, { 221, 838, 840 }, { 221, 409, 838 } ], [ { 415, 416, 841 }, { 414, 415, 416, 418 }, { 414, 416, 841, 842 }, { 415, 418, 841, 842 }, { 414, 418, 842 } ], [ { 421, 422, 841 }, { 420, 421, 841 }, { 420, 421, 422, 423 }, { 420, 423, 841 }, { 422, 423, 841 } ], [ { 67, 68, 425 }, { 65, 67, 68 }, { 65, 67, 425 }, { 65, 68, 425 } ], [ { 65, 425, 429, 430 }, { 65, 425, 428 }, { 65, 428, 429 }, { 425, 428, 430 }, { 428, 429, 430 } ], [ { 844, 845, 846 }, { 843, 845, 846 }, { 843, 844, 846 }, { 843, 844, 845 } ], [ { 71, 73, 434 }, { 73, 432, 434 }, { 71, 432, 434 }, { 71, 73, 432 } ], [ { 73, 76, 432 }, { 73, 76, 434, 435 }, { 76, 432, 435 }, { 432, 434, 435 }, { 73, 432, 434 } ], [ { 76, 79, 432 }, { 76, 79, 435 }, { 76, 432, 435 }, { 79, 432, 435 } ], [ { 441, 442, 446 }, { 440, 442, 446 }, { 440, 441, 446 }, { 440, 441, 442 } ], [ { 432, 449, 452 }, { 432, 448, 449 }, { 448, 449, 452 }, { 432, 448, 452 } ], [ { 71, 432, 450 }, { 71, 448, 450 }, { 432, 448, 450 }, { 71, 432, 448 } ], [ { 432, 452, 453 }, { 432, 451, 453 }, { 451, 452, 453 }, { 432, 451, 452 } ], [ { 432, 456, 457 }, { 456, 457, 458 }, { 432, 457, 458 }, { 432, 456, 458 } ], [ { 432, 459, 461 }, { 458, 459, 461 }, { 432, 458, 461 }, { 432, 458, 459 } ], [ { 79, 432, 461 }, { 79, 460, 461 }, { 432, 460, 461 }, { 79, 432, 460 } ], [ { 461, 463, 847 }, { 79, 461, 463 }, { 79, 463, 847 }, { 79, 461, 847 } ], [ { 83, 465, 848 }, { 83, 299, 465 }, { 299, 465, 848 }, { 83, 299, 848 } ], [ { 83, 464, 465 }, { 83, 400, 465 }, { 400, 464, 465 }, { 83, 400, 464 } ], [ { 83, 466, 467 }, { 83, 464, 467 }, { 464, 466, 467 }, { 83, 464, 466 } ], [ { 83, 86, 849 }, { 86, 299, 849 }, { 83, 86, 299 }, { 83, 299, 849 } ], [ { 86, 467, 470 }, { 86, 299, 470 }, { 299, 467, 470 }, { 86, 299, 467 } ], [ { 84, 86, 467 }, { 83, 84, 86 }, { 83, 84, 467 }, { 83, 86, 467 } ], [ { 464, 467, 850 }, { 400, 467, 850 }, { 400, 464, 467 }, { 400, 464, 850 } ], [ { 89, 467, 850 }, { 88, 89, 467 }, { 88, 89, 850 }, { 88, 467, 850 } ], [ { 467, 475, 478 }, { 475, 477, 478 }, { 467, 475, 477 }, { 467, 477, 478 } ], [ { 474, 475, 478 }, { 473, 475, 478 }, { 473, 474, 475 }, { 473, 474, 478 } ], [ { 475, 851, 852 }, { 473, 475, 852 }, { 473, 475, 851 }, { 473, 851, 852 } ], [ { 458, 854, 855 }, { 853, 854, 855 }, { 458, 853, 855 }, { 458, 853, 854 } ], [ { 851, 856, 857 }, { 458, 856, 857 }, { 458, 851, 857 }, { 458, 851, 856 } ], [ { 480, 482, 483 }, { 479, 482, 483 }, { 479, 480, 482 }, { 479, 480, 483 } ], [ { 93, 858, 859 }, { 93, 479, 859 }, { 479, 858, 859 }, { 93, 479, 858 } ], [ { 92, 93, 483 }, { 92, 93, 479 }, { 93, 479, 483 }, { 92, 479, 483 } ], [ { 92, 93, 861 }, { 92, 93, 859, 860 }, { 92, 860, 861, 862 }, { 93, 859, 861, 862 }, { 859, 860, 862 } ], [ { 484, 485, 486 }, { 479, 485, 486 }, { 479, 484, 486 }, { 479, 484, 485 } ], [ { 484, 859, 860 }, { 479, 859, 860 }, { 479, 484, 859 }, { 479, 484, 860 } ], [ { 98, 488, 860 }, { 92, 98, 860 }, { 92, 97, 488, 860 }, { 97, 98, 488 }, { 92, 97, 98 } ], [ { 485, 488, 863 }, { 480, 485, 863, 864 }, { 97, 480, 485, 488 }, { 97, 488, 863, 864 }, { 97, 480, 864 } ], [ { 480, 865, 866 }, { 479, 865, 866 }, { 479, 480, 866 }, { 479, 480, 865 } ], [ { 494, 867, 868 }, { 494, 853, 868 }, { 494, 853, 867 }, { 853, 867, 868 } ], [ { 490, 491, 869 }, { 489, 491, 869 }, { 489, 490, 491 }, { 489, 490, 869 } ], [ { 458, 489, 493 }, { 458, 493, 870, 871 }, { 458, 489, 870, 872 }, { 489, 493, 871, 872 }, { 870, 871, 872 } ], [ { 494, 495, 873 }, { 493, 495, 873 }, { 493, 494, 495 }, { 493, 494, 873 } ], [ { 102, 497, 508 }, { 102, 508, 874 }, { 497, 508, 874 }, { 102, 497, 874 } ], [ { 102, 105, 499 }, { 105, 497, 499 }, { 102, 105, 497 }, { 102, 497, 499 } ], [ { 105, 108, 502 }, { 105, 497, 502 }, { 108, 497, 502 }, { 105, 108, 497 } ], [ { 103, 105, 108 }, { 102, 103, 105 }, { 102, 103, 108 }, { 102, 105, 108 } ], [ { 102, 507, 508 }, { 102, 506, 508 }, { 506, 507, 508 }, { 102, 506, 507 } ], [ { 102, 107, 108 }, { 102, 108, 507 }, { 107, 108, 507 }, { 102, 107, 507 } ], [ { 108, 513, 522 }, { 513, 515, 522 }, { 108, 513, 515 }, { 108, 515, 522 } ], [ { 511, 512, 513 }, { 510, 512, 513 }, { 510, 511, 512 }, { 510, 511, 513 } ], [ { 108, 513, 516, 517 }, { 510, 516, 517 }, { 108, 510, 517 }, { 510, 513, 516 }, { 108, 510, 513 } ], [ { 108, 507, 875 }, { 108, 506, 875 }, { 108, 506, 507 }, { 506, 507, 875 } ], [ { 108, 111, 112 }, { 108, 112, 875 }, { 111, 112, 875 }, { 108, 111, 875 } ], [ { 513, 520, 522 }, { 513, 519, 520 }, { 513, 519, 522 }, { 519, 520, 522 } ], [ { 513, 527, 876 }, { 513, 519, 876 }, { 513, 519, 527 }, { 519, 527, 876 } ], [ { 458, 523, 525 }, { 511, 523, 525 }, { 458, 511, 525 }, { 458, 511, 523 } ], [ { 525, 526, 527 }, { 458, 525, 526 }, { 458, 525, 527 }, { 458, 526, 527 } ], [ { 519, 847, 877 }, { 519, 527, 847 }, { 519, 527, 877, 878 }, { 847, 877, 878 }, { 527, 847, 878 } ], [ { 461, 527, 847 }, { 458, 461, 847 }, { 458, 461, 527 }, { 458, 527, 847 } ], [ { 115, 118, 530 }, { 118, 528, 530 }, { 115, 528, 530 }, { 115, 118, 528 } ], [ { 118, 531, 532 }, { 115, 118, 531 }, { 115, 118, 532 }, { 115, 531, 532 } ], [ { 532, 537, 540 }, { 528, 537, 540 }, { 528, 532, 537 }, { 528, 532, 540 } ], [ { 532, 534, 555 }, { 115, 534, 555 }, { 115, 532, 534 }, { 115, 532, 555 } ], [ { 535, 536, 539 }, { 528, 536, 539 }, { 528, 535, 536 }, { 528, 535, 539 } ], [ { 535, 540, 879 }, { 528, 540, 879 }, { 528, 535, 879 }, { 528, 535, 540 } ], [ { 542, 543, 545 }, { 541, 543, 545 }, { 541, 542, 545 }, { 541, 542, 543 } ], [ { 115, 121, 547 }, { 121, 541, 547 }, { 115, 541, 547 }, { 115, 121, 541 } ], [ { 121, 550, 551 }, { 115, 121, 550 }, { 115, 550, 551 }, { 115, 121, 551 } ], [ { 544, 551, 553 }, { 541, 544, 553 }, { 541, 551, 553 }, { 541, 544, 551 } ], [ { 543, 553, 880 }, { 541, 553, 880 }, { 541, 543, 553 }, { 541, 543, 880 } ], [ { 551, 554, 555 }, { 115, 551, 554 }, { 115, 554, 555 }, { 115, 551, 555 } ], [ { 551, 556, 880 }, { 555, 556, 880 }, { 551, 555, 556 }, { 551, 555, 880 } ], [ { 559, 562, 564 }, { 558, 561, 562, 564 }, { 558, 559, 562 }, { 558, 559, 561 }, { 559, 561, 564 } ], [ { 559, 562, 567, 568 }, { 567, 568, 881 }, { 562, 567, 881 }, { 559, 568, 881 }, { 559, 562, 881 } ], [ { 115, 562, 571 }, { 562, 567, 571, 572 }, { 115, 562, 567 }, { 115, 571, 572 }, { 115, 567, 572 } ], [ { 115, 562, 580 }, { 562, 574, 580 }, { 115, 574, 580 }, { 115, 562, 574 } ], [ { 576, 577, 579 }, { 558, 577, 579 }, { 558, 576, 577 }, { 558, 576, 579 } ], [ { 2, 558, 579 }, { 2, 5, 558, 562 }, { 558, 562, 579, 580 }, { 2, 5, 579, 580 }, { 5, 562, 580 } ], [ { 579, 580, 584, 585 }, { 579, 580, 583 }, { 580, 583, 584 }, { 579, 583, 585 }, { 583, 584, 585 } ], [ { 115, 580, 882 }, { 580, 583, 882 }, { 115, 583, 882 }, { 115, 580, 583 } ], [ { 576, 579, 883 }, { 579, 583, 883 }, { 576, 583, 883 }, { 576, 579, 583 } ], [ { 593, 618, 884 }, { 583, 593, 884 }, { 583, 593, 618 }, { 583, 618, 884 } ], [ { 583, 590, 591 }, { 528, 590, 591 }, { 528, 583, 591 }, { 528, 583, 590 } ], [ { 590, 593, 618 }, { 583, 590, 593 }, { 583, 593, 618 }, { 583, 590, 618 } ], [ { 583, 591, 595 }, { 528, 583, 591 }, { 528, 591, 595 }, { 528, 583, 595 } ], [ { 115, 594, 595 }, { 115, 528, 595 }, { 115, 528, 594 }, { 528, 594, 595 } ], [ { 391, 886, 887 }, { 885, 886, 887 }, { 391, 885, 887 }, { 391, 885, 886 } ], [ { 610, 886, 888 }, { 610, 885, 888 }, { 610, 885, 886 }, { 885, 886, 888 } ], [ { 146, 391, 889 }, { 391, 885, 889 }, { 146, 885, 889 }, { 146, 391, 885 } ], [ { 146, 603, 885 }, { 146, 603, 890 }, { 603, 885, 890 }, { 146, 885, 890 } ], [ { 603, 891, 893 }, { 603, 610, 893 }, { 603, 610, 891, 892 }, { 891, 892, 893 }, { 610, 892, 893 } ], [ { 146, 147, 603 }, { 147, 603, 890 }, { 146, 147, 890 }, { 146, 603, 890 } ], [ { 123, 597, 599 }, { 528, 597, 599 }, { 123, 528, 599 }, { 123, 528, 597 } ], [ { 123, 599, 603 }, { 599, 601, 603 }, { 123, 599, 601 }, { 123, 601, 603 } ], [ { 124, 603, 604 }, { 123, 124, 604 }, { 123, 124, 603 }, { 123, 603, 604 } ], [ { 124, 128, 603, 610 }, { 128, 606, 610 }, { 603, 606, 610 }, { 124, 603, 606 }, { 124, 128, 606 } ], [ { 128, 608, 610 }, { 126, 128, 608 }, { 126, 608, 610 }, { 126, 128, 610 } ], [ { 123, 124, 126, 128 }, { 126, 128, 130 }, { 123, 126, 130 }, { 123, 124, 130 }, { 124, 128, 130 } ], [ { 123, 590, 611, 613 }, { 123, 126, 590 }, { 126, 590, 612, 613 }, { 123, 126, 611, 612 }, { 611, 612, 613 } ], [ { 123, 590, 615 }, { 123, 528, 590 }, { 528, 590, 615 }, { 123, 528, 615 } ], [ { 126, 590, 618 }, { 126, 590, 617 }, { 590, 617, 618 }, { 126, 617, 618 } ], [ { 126, 620, 622 }, { 618, 620, 622 }, { 126, 618, 622 }, { 126, 618, 620 } ], [ { 610, 622, 624 }, { 126, 610, 622 }, { 126, 622, 624 }, { 126, 610, 624 } ], [ { 610, 622, 629 }, { 610, 618, 627, 629 }, { 610, 618, 622 }, { 618, 622, 627 }, { 622, 627, 629 } ], [ { 610, 888, 894 }, { 610, 886, 894 }, { 886, 888, 894 }, { 610, 886, 888 } ], [ { 139, 141, 630 }, { 141, 143, 630 }, { 139, 141, 143 }, { 139, 143, 630 } ], [ { 139, 632, 633 }, { 139, 143, 633 }, { 143, 632, 633 }, { 139, 143, 632 } ], [ { 630, 895, 896 }, { 143, 630, 896 }, { 143, 895, 896 }, { 143, 630, 895 } ], [ { 636, 637, 896 }, { 143, 637, 896 }, { 143, 636, 637 }, { 143, 636, 896 } ], [ { 7, 144, 633 }, { 143, 144, 633 }, { 7, 143, 144 }, { 7, 143, 633 } ], [ { 147, 638, 640 }, { 153, 638, 640 }, { 147, 153, 640 }, { 147, 153, 638 } ], [ { 147, 150, 153 }, { 146, 147, 150 }, { 146, 150, 153 }, { 146, 147, 153 } ], [ { 152, 153, 638 }, { 11, 153, 638 }, { 11, 152, 638 }, { 11, 152, 153 } ], [ { 897, 898, 899 }, { 11, 897, 899 }, { 11, 155, 897, 898 }, { 155, 898, 899 }, { 11, 155, 899 } ], [ { 153, 154, 158 }, { 11, 153, 158 }, { 11, 153, 154, 155 }, { 11, 155, 158 }, { 154, 155, 158 } ], [ { 153, 391, 642 }, { 146, 153, 642 }, { 146, 153, 391 }, { 146, 391, 642 } ], [ { 153, 644, 645 }, { 642, 644, 645 }, { 153, 642, 645 }, { 153, 642, 644 } ], [ { 153, 154, 900 }, { 153, 897, 900 }, { 153, 154, 897, 898 }, { 154, 898, 900 }, { 897, 898, 900 } ], [ { 16, 166, 649 }, { 16, 166, 647 }, { 16, 647, 649 }, { 166, 647, 649 } ], [ { 166, 171, 649 }, { 15, 166, 171 }, { 15, 166, 649 }, { 15, 171, 649 } ], [ { 19, 171, 649 }, { 19, 171, 650 }, { 19, 649, 650 }, { 171, 649, 650 } ], [ { 174, 175, 901 }, { 175, 652, 901 }, { 174, 175, 652 }, { 174, 652, 901 } ], [ { 173, 174, 178 }, { 174, 178, 652 }, { 173, 174, 652 }, { 173, 178, 652 } ], [ { 183, 184, 653, 654 }, { 184, 652, 653 }, { 183, 184, 652 }, { 183, 652, 654 }, { 652, 653, 654 } ], [ { 189, 903, 904 }, { 902, 903, 904 }, { 189, 902, 904 }, { 189, 902, 903 } ], [ { 189, 192, 902 }, { 187, 189, 192 }, { 187, 189, 902 }, { 187, 192, 902 } ], [ { 192, 905, 906 }, { 902, 905, 906 }, { 192, 902, 906 }, { 192, 902, 905 } ], [ { 192, 193, 905 }, { 187, 192, 905 }, { 187, 193, 905 }, { 187, 192, 193 } ], [ { 193, 664, 905 }, { 661, 664, 905 }, { 193, 661, 905 }, { 193, 661, 664 } ], [ { 903, 907, 908 }, { 902, 907, 908 }, { 902, 903, 908 }, { 902, 903, 907 } ], [ { 664, 905, 907 }, { 905, 907, 909 }, { 664, 907, 909 }, { 664, 905, 909 } ], [ { 198, 199, 911 }, { 198, 199, 910 }, { 199, 910, 911 }, { 198, 910, 911 } ], [ { 198, 655, 660 }, { 198, 199, 659, 660 }, { 655, 656, 659, 660 }, { 198, 199, 655, 656 }, { 199, 656, 659 } ], [ { 658, 660, 912 }, { 658, 668, 912 }, { 660, 668, 912 }, { 658, 660, 668 } ], [ { 204, 657, 659 }, { 204, 659, 660 }, { 657, 658, 659, 660 }, { 204, 657, 658 }, { 204, 658, 660 } ], [ { 657, 659, 913 }, { 657, 664, 913 }, { 659, 664, 913 }, { 657, 659, 664 } ], [ { 193, 662, 664 }, { 661, 662, 664 }, { 193, 661, 664 }, { 193, 661, 662 } ], [ { 662, 664, 665 }, { 661, 664, 665 }, { 661, 662, 665 }, { 661, 662, 664 } ], [ { 666, 668, 669 }, { 664, 666, 668 }, { 664, 665, 668, 669 }, { 664, 665, 666 }, { 665, 666, 669 } ], [ { 669, 672, 673 }, { 662, 672, 673 }, { 662, 665, 669, 673 }, { 665, 669, 672 }, { 662, 665, 672 } ], [ { 668, 669, 673 }, { 668, 669, 675 }, { 669, 673, 675 }, { 668, 673, 675 } ], [ { 193, 211, 662 }, { 187, 211, 662 }, { 187, 193, 662 }, { 187, 193, 211 } ], [ { 210, 213, 217 }, { 187, 210, 211, 217 }, { 187, 209, 213, 217 }, { 209, 210, 211, 213 }, { 187, 209, 211 } ], [ { 210, 220, 673 }, { 217, 220, 673 }, { 210, 217, 673 }, { 210, 217, 220 } ], [ { 220, 668, 673 }, { 668, 673, 675 }, { 220, 668, 675 }, { 220, 673, 675 } ], [ { 269, 271, 678 }, { 271, 677, 678 }, { 269, 677, 678 }, { 269, 271, 677 } ], [ { 678, 680, 681 }, { 221, 678, 681 }, { 221, 678, 680 }, { 221, 680, 681 } ], [ { 226, 678, 683 }, { 678, 682, 683 }, { 226, 682, 683 }, { 226, 678, 682 } ], [ { 678, 915, 916, 918 }, { 678, 914, 915, 917 }, { 915, 916, 917 }, { 914, 916, 917, 918 }, { 678, 914, 918 } ], [ { 226, 685, 692 }, { 685, 692, 919 }, { 226, 228, 692, 919 }, { 226, 228, 685 }, { 228, 685, 919 } ], [ { 226, 228, 678, 920 }, { 226, 678, 682 }, { 678, 682, 686, 920 }, { 226, 228, 682, 686 }, { 228, 686, 920 } ], [ { 687, 688, 689 }, { 688, 689, 692 }, { 687, 689, 692 }, { 687, 688, 692 } ], [ { 691, 692, 693 }, { 692, 693, 705 }, { 691, 693, 705 }, { 691, 692, 705 } ], [ { 234, 236, 700 }, { 236, 700, 705 }, { 234, 700, 705 }, { 234, 236, 705 } ], [ { 700, 711, 921 }, { 700, 705, 711 }, { 700, 705, 921 }, { 705, 711, 921 } ], [ { 696, 700, 711 }, { 236, 700, 711 }, { 236, 696, 697, 711 }, { 696, 697, 700 }, { 236, 697, 700 } ], [ { 701, 702, 922 }, { 702, 705, 922 }, { 701, 705, 922 }, { 701, 702, 705 } ], [ { 691, 692, 922 }, { 692, 705, 922 }, { 691, 705, 922 }, { 691, 692, 705 } ], [ { 701, 702, 703 }, { 702, 703, 705 }, { 701, 703, 705 }, { 701, 702, 705 } ], [ { 235, 236, 703, 706 }, { 236, 703, 705 }, { 235, 236, 705 }, { 703, 705, 706 }, { 235, 705, 706 } ], [ { 707, 709, 711 }, { 217, 707, 709 }, { 217, 709, 711 }, { 217, 707, 711 } ], [ { 708, 709, 713 }, { 217, 708, 709 }, { 217, 709, 713 }, { 217, 708, 713 } ], [ { 241, 712, 713 }, { 241, 711, 712 }, { 711, 712, 713 }, { 241, 711, 713 } ], [ { 31, 241, 715 }, { 28, 31, 241 }, { 28, 31, 713, 715 }, { 241, 713, 715 }, { 28, 241, 713 } ], [ { 241, 715, 718 }, { 236, 241, 718 }, { 236, 715, 718 }, { 236, 241, 715 } ], [ { 31, 715, 720 }, { 28, 31, 720 }, { 28, 31, 713, 715 }, { 28, 713, 720 }, { 713, 715, 720 } ], [ { 187, 217, 720 }, { 217, 242, 720 }, { 187, 242, 720 }, { 187, 217, 242 } ], [ { 247, 715, 720 }, { 187, 247, 720 }, { 187, 715, 720 }, { 187, 247, 715 } ], [ { 715, 721, 724 }, { 187, 721, 724 }, { 187, 715, 724 }, { 187, 715, 721 } ], [ { 236, 723, 724 }, { 187, 723, 724 }, { 187, 236, 724 }, { 187, 236, 723 } ], [ { 263, 725, 726 }, { 702, 725, 726 }, { 263, 702, 726 }, { 263, 702, 725 } ], [ { 258, 729, 730 }, { 258, 728, 730 }, { 258, 728, 729 }, { 728, 729, 730 } ], [ { 258, 259, 735 }, { 258, 259, 730 }, { 259, 730, 735 }, { 258, 730, 735 } ], [ { 251, 255, 735 }, { 251, 254, 255 }, { 254, 255, 735 }, { 251, 254, 735 } ], [ { 250, 251, 258 }, { 251, 254, 258 }, { 250, 254, 256, 258 }, { 251, 254, 256 }, { 250, 251, 256 } ], [ { 251, 258, 260 }, { 251, 260, 735 }, { 258, 260, 735 }, { 251, 258, 735 } ], [ { 263, 702, 737 }, { 254, 263, 737 }, { 254, 702, 737 }, { 254, 263, 702 } ], [ { 263, 267, 735 }, { 254, 267, 735 }, { 254, 263, 735 }, { 254, 263, 267 } ], [ { 275, 740, 741 }, { 275, 739, 741 }, { 739, 740, 741 }, { 275, 739, 740 } ], [ { 269, 271, 702 }, { 271, 702, 739 }, { 269, 702, 739 }, { 269, 271, 739 } ], [ { 275, 741, 749 }, { 740, 741, 749 }, { 275, 740, 741 }, { 275, 740, 749 } ], [ { 741, 744, 749 }, { 740, 741, 744 }, { 740, 744, 749 }, { 740, 741, 749 } ], [ { 746, 747, 748 }, { 747, 748, 750 }, { 746, 748, 750 }, { 746, 747, 750 } ], [ { 275, 276, 749 }, { 221, 276, 749 }, { 221, 275, 749 }, { 221, 275, 276 } ], [ { 276, 285, 751, 753 }, { 276, 285, 749, 750 }, { 285, 750, 751 }, { 749, 750, 751, 753 }, { 276, 749, 753 } ], [ { 280, 285, 288 }, { 221, 276, 285, 288 }, { 221, 279, 280, 288 }, { 276, 279, 280, 285 }, { 221, 276, 279 } ], [ { 285, 290, 750 }, { 288, 290, 750 }, { 285, 288, 750 }, { 285, 288, 290 } ], [ { 746, 748, 750 }, { 290, 746, 748 }, { 290, 748, 750 }, { 290, 746, 750 } ], [ { 297, 746, 748 }, { 290, 297, 748 }, { 290, 297, 746 }, { 290, 746, 748 } ], [ { 293, 297, 728 }, { 292, 293, 297 }, { 292, 297, 728 }, { 292, 293, 728 } ], [ { 297, 758, 759, 760 }, { 297, 746, 760 }, { 746, 758, 760 }, { 746, 758, 759 }, { 297, 746, 759 } ], [ { 293, 297, 728 }, { 293, 297, 759, 761 }, { 293, 728, 761 }, { 728, 759, 761 }, { 297, 728, 759 } ], [ { 763, 764, 923 }, { 299, 764, 923 }, { 299, 763, 764 }, { 299, 763, 923 } ], [ { 763, 765, 923 }, { 765, 923, 924 }, { 763, 765, 924 }, { 763, 923, 924 } ], [ { 35, 301, 762 }, { 35, 299, 762 }, { 35, 299, 301 }, { 299, 301, 762 } ], [ { 35, 762, 763 }, { 35, 299, 762 }, { 35, 299, 763 }, { 299, 762, 763 } ], [ { 301, 303, 765 }, { 303, 765, 924 }, { 301, 303, 924 }, { 301, 765, 924 } ], [ { 303, 763, 765 }, { 303, 765, 924 }, { 303, 763, 924 }, { 763, 765, 924 } ], [ { 303, 762, 763 }, { 301, 303, 762 }, { 301, 303, 763 }, { 301, 762, 763 } ], [ { 38, 768, 769 }, { 767, 768, 769 }, { 38, 767, 769 }, { 38, 767, 768 } ], [ { 38, 39, 773 }, { 38, 767, 773 }, { 38, 39, 767, 772 }, { 39, 772, 773 }, { 767, 772, 773 } ], [ { 306, 307, 778 }, { 307, 774, 778 }, { 306, 307, 774 }, { 306, 774, 778 } ], [ { 307, 776, 778 }, { 307, 775, 776 }, { 775, 776, 778 }, { 307, 775, 778 } ], [ { 311, 780, 785 }, { 311, 779, 780 }, { 311, 779, 785 }, { 779, 780, 785 } ], [ { 301, 311, 783 }, { 311, 779, 783 }, { 301, 779, 783 }, { 301, 311, 779 } ], [ { 301, 311, 312 }, { 311, 312, 785 }, { 301, 312, 785 }, { 301, 311, 785 } ], [ { 325, 327, 925 }, { 221, 327, 925 }, { 221, 325, 327 }, { 221, 325, 925 } ], [ { 317, 341, 787 }, { 317, 339, 341 }, { 317, 339, 787 }, { 339, 341, 787 } ], [ { 322, 327, 339 }, { 314, 322, 327 }, { 314, 317, 327, 339 }, { 317, 322, 339 }, { 314, 317, 322 } ], [ { 314, 327, 328 }, { 221, 327, 328 }, { 221, 314, 328 }, { 221, 314, 327 } ], [ { 221, 786, 787 }, { 221, 314, 786 }, { 221, 314, 317, 787 }, { 317, 786, 787 }, { 314, 317, 786 } ], [ { 331, 332, 335 }, { 332, 335, 339 }, { 331, 335, 339 }, { 331, 332, 339 } ], [ { 332, 340, 787 }, { 332, 339, 340 }, { 339, 340, 787 }, { 332, 339, 787 } ], [ { 44, 343, 347 }, { 44, 47, 347 }, { 44, 47, 343 }, { 47, 343, 347 } ], [ { 44, 347, 790 }, { 44, 343, 790 }, { 343, 347, 790 }, { 44, 343, 347 } ], [ { 345, 793, 794 }, { 47, 345, 794 }, { 47, 345, 793 }, { 47, 793, 794 } ], [ { 345, 347, 790 }, { 47, 345, 790 }, { 47, 347, 790 }, { 47, 345, 347 } ], [ { 345, 790, 794 }, { 345, 790, 793 }, { 790, 793, 794 }, { 345, 793, 794 } ], [ { 790, 797, 926 }, { 343, 790, 797 }, { 343, 790, 926 }, { 343, 797, 926 } ], [ { 790, 794, 926 }, { 790, 793, 926 }, { 790, 793, 794 }, { 793, 794, 926 } ], [ { 332, 798, 799 }, { 332, 351, 799 }, { 332, 351, 798 }, { 351, 798, 799 } ], [ { 332, 353, 802 }, { 332, 351, 353 }, { 351, 353, 799, 802 }, { 332, 351, 799 }, { 332, 799, 802 } ], [ { 332, 353, 787 }, { 332, 353, 802 }, { 332, 787, 802 }, { 353, 787, 802 } ], [ { 299, 465, 848 }, { 465, 825, 848 }, { 299, 465, 825 }, { 299, 825, 848 } ], [ { 357, 804, 927, 928 }, { 356, 357, 927 }, { 356, 805, 927, 928 }, { 356, 357, 804, 805 }, { 804, 805, 928 } ], [ { 357, 807, 927 }, { 357, 806, 807 }, { 357, 806, 927 }, { 806, 807, 927 } ], [ { 806, 809, 810, 811 }, { 356, 809, 811 }, { 356, 357, 806, 811 }, { 356, 357, 809, 810 }, { 357, 806, 810 } ], [ { 811, 813, 927 }, { 356, 811, 813 }, { 356, 813, 927 }, { 356, 811, 927 } ], [ { 811, 814, 929 }, { 47, 811, 929 }, { 47, 814, 929 }, { 47, 811, 814 } ], [ { 343, 816, 817, 930 }, { 47, 343, 817 }, { 47, 343, 816 }, { 47, 817, 930 }, { 47, 816, 930 } ], [ { 343, 363, 817 }, { 360, 363, 817 }, { 343, 360, 817 }, { 343, 360, 363 } ], [ { 363, 364, 817 }, { 364, 817, 818 }, { 363, 364, 818 }, { 363, 817, 818 } ], [ { 53, 363, 364, 367 }, { 53, 367, 818 }, { 53, 363, 818 }, { 363, 364, 818 }, { 364, 367, 818 } ], [ { 53, 363, 819 }, { 53, 363, 373 }, { 53, 373, 819 }, { 363, 373, 819 } ], [ { 819, 931, 932 }, { 819, 825, 932 }, { 825, 931, 932 }, { 819, 825, 931 } ], [ { 382, 931, 932 }, { 382, 825, 932 }, { 825, 931, 932 }, { 382, 825, 931 } ], [ { 380, 382, 819 }, { 382, 819, 931 }, { 380, 382, 931 }, { 380, 819, 931 } ], [ { 376, 819, 933 }, { 376, 380, 933, 934 }, { 376, 380, 819 }, { 819, 933, 934 }, { 380, 819, 934 } ], [ { 376, 380, 382, 388 }, { 56, 57, 376, 380 }, { 56, 57, 382, 388 }, { 56, 380, 382 }, { 57, 376, 388 } ], [ { 382, 385, 388 }, { 382, 383, 387, 388 }, { 385, 387, 388 }, { 383, 385, 387 }, { 382, 383, 385 } ], [ { 363, 819, 935 }, { 363, 373, 935 }, { 373, 819, 935 }, { 363, 373, 819 } ], [ { 376, 388, 935 }, { 376, 819, 935 }, { 388, 819, 935 }, { 376, 388, 819 } ], [ { 363, 388, 935 }, { 373, 388, 935 }, { 363, 373, 935 }, { 363, 373, 388 } ], [ { 363, 391, 392 }, { 360, 363, 392 }, { 360, 363, 391 }, { 360, 391, 392 } ], [ { 392, 821, 824 }, { 391, 821, 824 }, { 391, 392, 821 }, { 391, 392, 824 } ], [ { 363, 822, 824 }, { 392, 822, 824 }, { 363, 392, 824 }, { 363, 392, 822 } ], [ { 395, 825, 827 }, { 825, 826, 827, 829 }, { 395, 825, 826 }, { 395, 826, 829 }, { 395, 827, 829 } ], [ { 363, 387, 827 }, { 363, 825, 827 }, { 363, 383, 387, 825 }, { 383, 825, 827 }, { 383, 387, 827 } ], [ { 395, 396, 402 }, { 396, 402, 825 }, { 395, 402, 825 }, { 395, 396, 825 } ], [ { 400, 402, 465 }, { 402, 465, 825 }, { 400, 402, 825 }, { 400, 465, 825 } ], [ { 400, 402, 831 }, { 395, 402, 831 }, { 395, 400, 831 }, { 395, 400, 402 } ], [ { 400, 831, 832 }, { 395, 831, 832 }, { 395, 400, 832 }, { 395, 400, 831 } ], [ { 391, 821, 824 }, { 821, 824, 833 }, { 391, 821, 833 }, { 391, 824, 833 } ], [ { 391, 833, 836 }, { 391, 400, 835, 836 }, { 391, 400, 832, 833 }, { 832, 833, 835, 836 }, { 400, 832, 835 } ], [ { 856, 924, 937 }, { 856, 936, 937 }, { 856, 924, 936 }, { 924, 936, 937 } ], [ { 856, 857, 937 }, { 458, 856, 857 }, { 458, 857, 937 }, { 458, 856, 937 } ], [ { 406, 408, 838 }, { 404, 406, 408 }, { 404, 408, 838 }, { 404, 406, 838 } ], [ { 406, 409, 838 }, { 406, 408, 409, 412 }, { 409, 412, 838 }, { 406, 408, 838 }, { 408, 412, 838 } ], [ { 409, 412, 838 }, { 221, 409, 838 }, { 221, 409, 412 }, { 221, 412, 838 } ], [ { 420, 421, 841 }, { 420, 421, 838 }, { 415, 420, 838 }, { 415, 420, 841 }, { 416, 421, 838 }, { 415, 416, 841 }, { 415, 416, 838 }, { 416, 421, 841 } ], [ { 442, 938, 939 }, { 441, 442, 938 }, { 938, 939, 940 }, { 441, 938, 940 }, { 939, 940, 941 }, { 442, 939, 941 }, { 441, 940, 941 }, { 441, 442, 941 } ], [ { 65, 68, 429, 844, 845, 942 }, { 65, 425, 429, 430 }, { 68, 425, 844, 943 }, { 65, 68, 425 }, { 429, 430, 942 }, { 430, 845, 942, 943 }, { 425, 430, 943 }, { 844, 845, 943 } ], [ { 844, 845, 846 }, { 221, 845, 846 }, { 221, 844, 846 }, { 221, 844, 845 } ], [ { 71, 79, 432 }, { 71, 79, 434, 435 }, { 79, 432, 435 }, { 432, 434, 435 }, { 71, 432, 434 } ], [ { 79, 441, 446 }, { 441, 442, 446 }, { 71, 79, 441, 442 }, { 71, 442, 446 }, { 71, 79, 446 } ], [ { 71, 432, 452 }, { 71, 432, 448 }, { 71, 448, 452 }, { 432, 448, 452 } ], [ { 944, 945, 946 }, { 432, 945, 946 }, { 432, 944, 946 }, { 432, 944, 945 } ], [ { 432, 453, 946 }, { 452, 453, 946 }, { 432, 452, 453 }, { 432, 452, 946 } ], [ { 458, 944, 947 }, { 452, 458, 944, 946 }, { 452, 458, 947, 948 }, { 944, 946, 947, 948 }, { 452, 946, 948 } ], [ { 432, 456, 944 }, { 456, 458, 944 }, { 432, 456, 458 }, { 432, 458, 944 } ], [ { 79, 432, 461 }, { 79, 458, 461 }, { 432, 458, 461 }, { 79, 432, 458 } ], [ { 79, 461, 847 }, { 458, 461, 847 }, { 79, 458, 461 }, { 79, 458, 847 } ], [ { 79, 441, 847 }, { 79, 847, 949 }, { 441, 847, 949 }, { 79, 441, 949 } ], [ { 83, 299, 465 }, { 83, 400, 465 }, { 299, 400, 465 }, { 83, 299, 400 } ], [ { 83, 464, 467 }, { 83, 400, 467 }, { 400, 464, 467 }, { 83, 400, 464 } ], [ { 83, 86, 467 }, { 86, 299, 467 }, { 83, 86, 299 }, { 83, 299, 467 } ], [ { 88, 467, 850 }, { 400, 467, 850 }, { 88, 400, 467 }, { 88, 400, 850 } ], [ { 467, 475, 478 }, { 299, 475, 478 }, { 299, 467, 475 }, { 299, 467, 478 } ], [ { 467, 475, 853 }, { 467, 475, 950 }, { 475, 853, 950 }, { 467, 853, 950 } ], [ { 473, 475, 478 }, { 299, 475, 478 }, { 299, 473, 475 }, { 299, 473, 478 } ], [ { 473, 475, 851 }, { 475, 851, 853 }, { 473, 475, 853 }, { 473, 851, 853 } ], [ { 458, 851, 855 }, { 851, 853, 855 }, { 458, 853, 855 }, { 458, 851, 853 } ], [ { 458, 851, 856 }, { 473, 851, 856 }, { 458, 473, 856 }, { 458, 473, 851 } ], [ { 92, 480, 483 }, { 92, 479, 483 }, { 92, 479, 480 }, { 479, 480, 483 } ], [ { 92, 93, 859, 860 }, { 92, 93, 479 }, { 92, 479, 860 }, { 479, 859, 860 }, { 93, 479, 859 } ], [ { 484, 485, 860 }, { 479, 485, 860 }, { 479, 484, 860 }, { 479, 484, 485 } ], [ { 485, 488, 860 }, { 97, 480, 485, 488 }, { 92, 480, 485, 860 }, { 92, 97, 488, 860 }, { 92, 97, 480 } ], [ { 480, 494, 865 }, { 479, 494, 865 }, { 479, 480, 865 }, { 479, 480, 494 } ], [ { 480, 494, 867 }, { 480, 494, 853 }, { 494, 853, 867 }, { 480, 853, 867 } ], [ { 490, 869, 951 }, { 479, 869, 951 }, { 479, 490, 951 }, { 479, 490, 869 } ], [ { 458, 490, 952 }, { 490, 511, 952 }, { 458, 490, 511 }, { 458, 511, 952 } ], [ { 458, 490, 869 }, { 489, 490, 869 }, { 458, 489, 869 }, { 458, 489, 490 } ], [ { 494, 865, 873 }, { 479, 865, 873 }, { 479, 494, 865 }, { 479, 494, 873 } ], [ { 458, 489, 869 }, { 489, 493, 869, 873 }, { 458, 489, 493 }, { 458, 493, 873 }, { 458, 869, 873 } ], [ { 458, 494, 953 }, { 494, 853, 953 }, { 458, 494, 853 }, { 458, 853, 953 } ], [ { 458, 494, 873 }, { 493, 494, 873 }, { 458, 493, 873 }, { 458, 493, 494 } ], [ { 102, 506, 508 }, { 102, 497, 508 }, { 497, 506, 508 }, { 102, 497, 506 } ], [ { 102, 105, 108 }, { 105, 108, 497 }, { 102, 105, 497 }, { 102, 108, 497 } ], [ { 102, 108, 507 }, { 102, 108, 506 }, { 108, 506, 507 }, { 102, 506, 507 } ], [ { 108, 513, 522 }, { 497, 513, 522 }, { 108, 497, 513 }, { 108, 497, 522 } ], [ { 108, 511, 513 }, { 108, 510, 513 }, { 510, 511, 513 }, { 108, 510, 511 } ], [ { 108, 111, 875 }, { 108, 111, 506 }, { 108, 506, 875 }, { 111, 506, 875 } ], [ { 513, 519, 522 }, { 497, 513, 522 }, { 497, 513, 519 }, { 497, 519, 522 } ], [ { 513, 519, 527 }, { 511, 513, 527 }, { 511, 513, 519 }, { 511, 519, 527 } ], [ { 458, 525, 527 }, { 511, 525, 527 }, { 458, 511, 525 }, { 458, 511, 527 } ], [ { 458, 527, 847 }, { 519, 527, 847 }, { 458, 519, 847 }, { 458, 519, 527 } ], [ { 115, 118, 532 }, { 118, 528, 532 }, { 115, 118, 528 }, { 115, 528, 532 } ], [ { 532, 540, 879 }, { 528, 540, 879 }, { 528, 532, 879 }, { 528, 532, 540 } ], [ { 532, 555, 879 }, { 115, 555, 879 }, { 115, 532, 879 }, { 115, 532, 555 } ], [ { 879, 880, 954 }, { 555, 879, 954 }, { 555, 880, 954 }, { 555, 879, 880 } ], [ { 535, 539, 879 }, { 528, 539, 879 }, { 528, 535, 879 }, { 528, 535, 539 } ], [ { 543, 545, 880 }, { 541, 545, 880 }, { 541, 543, 545 }, { 541, 543, 880 } ], [ { 115, 121, 551 }, { 121, 541, 551 }, { 115, 121, 541 }, { 115, 541, 551 } ], [ { 551, 553, 880 }, { 541, 553, 880 }, { 541, 551, 553 }, { 541, 551, 880 } ], [ { 551, 555, 880 }, { 115, 551, 880 }, { 115, 555, 880 }, { 115, 551, 555 } ], [ { 558, 559, 562 }, { 559, 562, 881 }, { 558, 559, 881 }, { 558, 562, 881 } ], [ { 115, 562, 881 }, { 115, 562, 567 }, { 562, 567, 881 }, { 115, 567, 881 } ], [ { 558, 562, 579, 580 }, { 115, 558, 562, 576 }, { 115, 576, 579, 580 }, { 558, 576, 579 }, { 115, 562, 580 } ], [ { 115, 576, 579, 580 }, { 576, 579, 583 }, { 115, 576, 583 }, { 115, 580, 583 }, { 579, 580, 583 } ], [ { 576, 618, 884 }, { 576, 583, 884 }, { 576, 583, 618 }, { 583, 618, 884 } ], [ { 583, 590, 618 }, { 528, 590, 618 }, { 528, 583, 590 }, { 528, 583, 618 } ], [ { 115, 583, 595 }, { 115, 528, 583 }, { 115, 528, 595 }, { 528, 583, 595 } ], [ { 391, 610, 886 }, { 610, 885, 886 }, { 391, 610, 885 }, { 391, 885, 886 } ], [ { 146, 391, 603 }, { 391, 603, 885 }, { 146, 603, 885 }, { 146, 391, 885 } ], [ { 603, 610, 893 }, { 603, 885, 893 }, { 610, 885, 893 }, { 603, 610, 885 } ], [ { 147, 391, 603 }, { 146, 147, 603 }, { 146, 147, 391 }, { 146, 391, 603 } ], [ { 123, 599, 603 }, { 528, 599, 603 }, { 123, 528, 599 }, { 123, 528, 603 } ], [ { 123, 124, 126, 128 }, { 126, 128, 610 }, { 123, 126, 603, 610 }, { 124, 128, 603, 610 }, { 123, 124, 603 } ], [ { 126, 590, 618 }, { 528, 590, 618 }, { 123, 126, 528, 618 }, { 123, 528, 590 }, { 123, 126, 590 } ], [ { 126, 610, 622 }, { 610, 618, 622 }, { 126, 618, 622 }, { 126, 610, 618 } ], [ { 610, 618, 894 }, { 610, 629, 894, 955 }, { 618, 627, 894, 955 }, { 610, 618, 627, 629 }, { 627, 629, 955 } ], [ { 610, 886, 894 }, { 391, 610, 894 }, { 391, 886, 894 }, { 391, 610, 886 } ], [ { 139, 630, 895 }, { 139, 143, 630 }, { 143, 630, 895 }, { 139, 143, 895 } ], [ { 139, 541, 633 }, { 139, 143, 633 }, { 143, 541, 633 }, { 139, 143, 541 } ], [ { 636, 895, 896 }, { 143, 636, 896 }, { 143, 895, 896 }, { 143, 636, 895 } ], [ { 636, 956, 957 }, { 143, 636, 957 }, { 143, 956, 957 }, { 143, 636, 956 } ], [ { 7, 541, 633 }, { 7, 143, 633 }, { 143, 541, 633 }, { 7, 143, 541 } ], [ { 541, 958, 959 }, { 528, 541, 959, 961 }, { 528, 541, 958, 960 }, { 958, 959, 960, 961 }, { 528, 960, 961 } ], [ { 147, 153, 638 }, { 147, 528, 638 }, { 153, 528, 638 }, { 147, 153, 528 } ], [ { 147, 153, 391 }, { 146, 147, 153 }, { 146, 147, 391 }, { 146, 153, 391 } ], [ { 11, 153, 638 }, { 153, 528, 638 }, { 11, 528, 638 }, { 11, 153, 528 } ], [ { 153, 154, 897, 898 }, { 11, 153, 154, 155 }, { 11, 153, 897 }, { 11, 155, 897, 898 }, { 154, 155, 898 } ], [ { 153, 642, 645 }, { 153, 391, 645 }, { 391, 642, 645 }, { 153, 391, 642 } ], [ { 153, 645, 900 }, { 645, 897, 900 }, { 153, 897, 900 }, { 153, 645, 897 } ], [ { 171, 649, 650 }, { 166, 171, 647, 650 }, { 647, 649, 650 }, { 166, 171, 649 }, { 166, 647, 649 } ], [ { 183, 654, 962 }, { 652, 654, 962 }, { 183, 652, 654 }, { 183, 652, 962 } ], [ { 174, 178, 901, 963 }, { 174, 178, 652 }, { 178, 652, 963 }, { 174, 652, 901 }, { 652, 901, 963 } ], [ { 178, 183, 184 }, { 183, 184, 652 }, { 178, 184, 652 }, { 178, 183, 652 } ], [ { 183, 907, 964 }, { 183, 907, 910 }, { 907, 910, 964 }, { 183, 910, 964 } ], [ { 189, 902, 903 }, { 187, 189, 903 }, { 187, 902, 903 }, { 187, 189, 902 } ], [ { 192, 902, 905 }, { 187, 192, 905 }, { 187, 902, 905 }, { 187, 192, 902 } ], [ { 193, 664, 905 }, { 187, 664, 905 }, { 187, 193, 905 }, { 187, 193, 664 } ], [ { 664, 905, 907 }, { 902, 905, 907 }, { 664, 902, 903, 905 }, { 664, 903, 907 }, { 902, 903, 907 } ], [ { 198, 199, 659, 660 }, { 198, 660, 910 }, { 659, 660, 910 }, { 198, 199, 910 }, { 199, 659, 910 } ], [ { 657, 659, 664 }, { 657, 658, 664, 668 }, { 659, 660, 664, 668 }, { 657, 658, 659, 660 }, { 658, 660, 668 } ], [ { 193, 662, 664 }, { 187, 662, 664 }, { 187, 193, 664 }, { 187, 193, 662 } ], [ { 668, 669, 673 }, { 662, 665, 669, 673 }, { 662, 664, 668, 673 }, { 664, 665, 668, 669 }, { 662, 664, 665 } ], [ { 210, 217, 673 }, { 187, 217, 662, 673 }, { 187, 210, 211, 217 }, { 210, 211, 662, 673 }, { 187, 211, 662 } ], [ { 220, 668, 673 }, { 217, 668, 673 }, { 217, 220, 668 }, { 217, 220, 673 } ], [ { 271, 678, 680 }, { 221, 271, 678 }, { 221, 678, 680 }, { 221, 271, 680 } ], [ { 271, 678, 702 }, { 269, 678, 702 }, { 269, 271, 702 }, { 269, 271, 678 } ], [ { 678, 681, 683 }, { 221, 678, 683 }, { 221, 681, 683 }, { 221, 678, 681 } ], [ { 678, 683, 692 }, { 226, 683, 692 }, { 226, 678, 692 }, { 226, 678, 683 } ], [ { 678, 915, 920 }, { 678, 914, 915, 917 }, { 678, 914, 920, 965 }, { 915, 917, 920, 965 }, { 914, 917, 965 } ], [ { 226, 228, 678, 920 }, { 678, 692, 919, 920 }, { 226, 228, 692, 919 }, { 226, 678, 692 }, { 228, 919, 920 } ], [ { 687, 707, 711 }, { 217, 707, 711 }, { 217, 687, 707 }, { 217, 687, 711 } ], [ { 687, 689, 711 }, { 689, 692, 711 }, { 687, 689, 692 }, { 687, 692, 711 } ], [ { 692, 693, 711 }, { 693, 705, 711 }, { 692, 693, 705 }, { 692, 705, 711 } ], [ { 236, 700, 711 }, { 700, 705, 711 }, { 236, 700, 705 }, { 236, 705, 711 } ], [ { 692, 702, 922 }, { 692, 705, 922 }, { 702, 705, 922 }, { 692, 702, 705 } ], [ { 236, 702, 703 }, { 236, 703, 705 }, { 702, 703, 705 }, { 236, 702, 705 } ], [ { 709, 711, 713 }, { 217, 709, 713 }, { 217, 709, 711 }, { 217, 711, 713 } ], [ { 236, 241, 715 }, { 236, 241, 711 }, { 236, 711, 713, 715 }, { 241, 713, 715 }, { 241, 711, 713 } ], [ { 187, 715, 720 }, { 187, 217, 720 }, { 187, 217, 713, 715 }, { 713, 715, 720 }, { 217, 713, 720 } ], [ { 236, 715, 724 }, { 187, 715, 724 }, { 187, 236, 724 }, { 187, 236, 715 } ], [ { 236, 263, 723 }, { 187, 236, 723 }, { 187, 263, 723 }, { 187, 236, 263 } ], [ { 236, 263, 726 }, { 236, 702, 726 }, { 263, 702, 726 }, { 236, 263, 702 } ], [ { 730, 735, 966 }, { 187, 730, 735 }, { 187, 735, 966 }, { 187, 730, 966 } ], [ { 258, 730, 735 }, { 258, 728, 735 }, { 258, 728, 730 }, { 728, 730, 735 } ], [ { 251, 258, 735 }, { 251, 254, 258 }, { 251, 254, 735 }, { 254, 258, 735 } ], [ { 263, 723, 735 }, { 187, 723, 735 }, { 187, 263, 723 }, { 187, 263, 735 } ], [ { 263, 702, 735 }, { 254, 263, 735 }, { 254, 702, 735 }, { 254, 263, 702 } ], [ { 275, 739, 741 }, { 221, 275, 741 }, { 221, 739, 741 }, { 221, 275, 739 } ], [ { 271, 702, 739 }, { 221, 271, 702 }, { 221, 702, 739 }, { 221, 271, 739 } ], [ { 275, 741, 749 }, { 221, 741, 749 }, { 221, 275, 741 }, { 221, 275, 749 } ], [ { 744, 747, 749, 750 }, { 741, 746, 749, 750 }, { 746, 747, 750 }, { 741, 744, 746, 747 }, { 741, 744, 749 } ], [ { 285, 288, 750 }, { 221, 288, 749, 750 }, { 221, 276, 285, 288 }, { 276, 285, 749, 750 }, { 221, 276, 749 } ], [ { 290, 746, 750 }, { 288, 746, 750 }, { 288, 290, 746 }, { 288, 290, 750 } ], [ { 290, 297, 746 }, { 288, 297, 746 }, { 288, 290, 297 }, { 288, 290, 746 } ], [ { 292, 297, 728 }, { 288, 297, 728 }, { 288, 292, 297 }, { 288, 292, 728 } ], [ { 297, 728, 759 }, { 297, 746, 759 }, { 728, 746, 759 }, { 297, 728, 746 } ], [ { 763, 923, 924 }, { 299, 763, 923 }, { 299, 923, 924 }, { 299, 763, 924 } ], [ { 301, 762, 763 }, { 299, 762, 763 }, { 299, 301, 762 }, { 299, 301, 763 } ], [ { 301, 303, 763 }, { 303, 763, 924 }, { 301, 303, 924 }, { 301, 763, 924 } ], [ { 38, 39, 967 }, { 38, 39, 767, 772 }, { 39, 967, 968, 970 }, { 767, 769, 772, 968, 969, 970 }, { 38, 767, 769 }, { 38, 769, 967, 969 }, { 967, 968, 969 }, { 39, 772, 970 } ], [ { 307, 775, 778 }, { 307, 774, 778 }, { 307, 774, 775 }, { 774, 775, 778 } ], [ { 301, 311, 785 }, { 301, 311, 779 }, { 311, 779, 785 }, { 301, 779, 785 } ], [ { 327, 925, 971 }, { 221, 327, 971 }, { 221, 327, 925 }, { 221, 925, 971 } ], [ { 221, 327, 339, 787 }, { 221, 314, 317, 787 }, { 221, 314, 327 }, { 314, 317, 327, 339 }, { 317, 339, 787 } ], [ { 331, 332, 787 }, { 332, 339, 787 }, { 331, 332, 339 }, { 331, 339, 787 } ], [ { 343, 347, 790 }, { 47, 347, 790 }, { 47, 343, 790 }, { 47, 343, 347 } ], [ { 345, 790, 794 }, { 47, 345, 790 }, { 47, 790, 794 }, { 47, 345, 794 } ], [ { 790, 794, 926 }, { 343, 790, 926 }, { 343, 790, 794 }, { 343, 794, 926 } ], [ { 332, 353, 787 }, { 332, 351, 353 }, { 351, 353, 787, 798 }, { 332, 351, 798 }, { 332, 787, 798 } ], [ { 299, 400, 465 }, { 299, 465, 825 }, { 400, 465, 825 }, { 299, 400, 825 } ], [ { 299, 301, 848 }, { 301, 825, 848 }, { 299, 301, 825 }, { 299, 825, 848 } ], [ { 806, 811, 927 }, { 356, 811, 927 }, { 356, 357, 806, 811 }, { 357, 806, 927 }, { 356, 357, 927 } ], [ { 811, 927, 929 }, { 47, 811, 929 }, { 47, 927, 929 }, { 47, 811, 927 } ], [ { 927, 929, 972 }, { 819, 929, 972 }, { 819, 927, 929 }, { 819, 927, 972 } ], [ { 343, 363, 817 }, { 47, 363, 817 }, { 47, 343, 817 }, { 47, 343, 363 } ], [ { 343, 363, 391 }, { 343, 360, 363 }, { 360, 363, 391 }, { 343, 360, 391 } ], [ { 363, 817, 818 }, { 47, 363, 817 }, { 47, 817, 818 }, { 47, 363, 818 } ], [ { 53, 363, 819 }, { 53, 363, 818 }, { 53, 818, 819 }, { 363, 818, 819 } ], [ { 382, 819, 931 }, { 382, 819, 825 }, { 382, 825, 931 }, { 819, 825, 931 } ], [ { 376, 388, 819 }, { 376, 380, 382, 388 }, { 376, 380, 819 }, { 382, 388, 819 }, { 380, 382, 819 } ], [ { 363, 387, 388 }, { 363, 382, 388, 825 }, { 363, 383, 387, 825 }, { 382, 383, 387, 388 }, { 382, 383, 825 } ], [ { 363, 388, 935 }, { 388, 819, 935 }, { 363, 819, 935 }, { 363, 388, 819 } ], [ { 363, 392, 824 }, { 363, 391, 824 }, { 391, 392, 824 }, { 363, 391, 392 } ], [ { 363, 825, 827 }, { 395, 825, 827 }, { 363, 395, 824, 825 }, { 395, 824, 827 }, { 363, 824, 827 } ], [ { 395, 400, 402 }, { 400, 402, 825 }, { 395, 402, 825 }, { 395, 400, 825 } ], [ { 391, 400, 832, 833 }, { 391, 395, 400, 824 }, { 395, 824, 832, 833 }, { 391, 824, 833 }, { 395, 400, 832 } ], [ { 458, 856, 937 }, { 856, 924, 937 }, { 458, 856, 924 }, { 458, 924, 937 } ], [ { 221, 404, 838 }, { 221, 412, 838 }, { 221, 404, 408, 412 }, { 408, 412, 838 }, { 404, 408, 838 } ], [ { 441, 442, 938 }, { 420, 442, 938 }, { 441, 442, 838 }, { 420, 442, 838 }, { 420, 421, 938 }, { 421, 441, 938 }, { 420, 421, 838 }, { 421, 441, 838 } ], [ { 221, 845, 942, 973 }, { 221, 844, 845 }, { 221, 404, 973 }, { 68, 221, 404, 844 }, { 65, 68, 429, 844, 845, 942 }, { 65, 404, 429, 973 }, { 429, 942, 973 }, { 65, 68, 404 } ], [ { 452, 458, 975 }, { 458, 974, 975, 978 }, { 452, 458, 947, 948 }, { 458, 947, 974 }, { 947, 948, 974, 976, 977, 978 }, { 452, 975, 976, 977 }, { 452, 948, 976 }, { 975, 977, 978 } ], [ { 79, 432, 441 }, { 71, 79, 441, 442 }, { 432, 441, 442 }, { 71, 432, 442 }, { 71, 79, 432 } ], [ { 71, 432, 442 }, { 71, 432, 452 }, { 71, 442, 452 }, { 432, 442, 452 } ], [ { 432, 458, 944 }, { 452, 458, 944, 946 }, { 432, 452, 458 }, { 432, 452, 946 }, { 432, 944, 946 } ], [ { 79, 432, 441 }, { 79, 432, 458 }, { 79, 441, 458 }, { 432, 441, 458 } ], [ { 79, 441, 847 }, { 79, 458, 847 }, { 441, 458, 847 }, { 79, 441, 458 } ], [ { 83, 299, 467 }, { 83, 400, 467 }, { 299, 400, 467 }, { 83, 299, 400 } ], [ { 88, 467, 853 }, { 88, 400, 467 }, { 400, 467, 853 }, { 88, 400, 853 } ], [ { 467, 475, 853 }, { 299, 467, 475 }, { 299, 475, 853 }, { 299, 467, 853 } ], [ { 473, 475, 853 }, { 299, 473, 475 }, { 299, 475, 853 }, { 299, 473, 853 } ], [ { 458, 473, 856 }, { 299, 458, 856 }, { 299, 473, 856 }, { 299, 458, 473 } ], [ { 458, 473, 851 }, { 458, 851, 853 }, { 473, 851, 853 }, { 458, 473, 853 } ], [ { 485, 490, 511 }, { 479, 485, 490 }, { 479, 490, 511 }, { 479, 485, 511 } ], [ { 92, 480, 485, 860 }, { 479, 485, 860 }, { 479, 480, 485 }, { 92, 479, 860 }, { 92, 479, 480 } ], [ { 480, 494, 853 }, { 479, 480, 494 }, { 479, 494, 853 }, { 479, 480, 853 } ], [ { 490, 511, 869 }, { 479, 490, 869 }, { 479, 511, 869 }, { 479, 490, 511 } ], [ { 458, 490, 869 }, { 490, 511, 869 }, { 458, 511, 869 }, { 458, 490, 511 } ], [ { 494, 853, 873 }, { 479, 494, 873 }, { 479, 853, 873 }, { 479, 494, 853 } ], [ { 458, 869, 873 }, { 479, 869, 873 }, { 458, 479, 873 }, { 458, 479, 869 } ], [ { 458, 494, 873 }, { 494, 853, 873 }, { 458, 853, 873 }, { 458, 494, 853 } ], [ { 102, 108, 506 }, { 102, 108, 497 }, { 108, 497, 506 }, { 102, 497, 506 } ], [ { 108, 511, 513 }, { 108, 497, 513 }, { 497, 511, 513 }, { 108, 497, 511 } ], [ { 108, 111, 511 }, { 108, 111, 506 }, { 108, 506, 511 }, { 111, 506, 511 } ], [ { 511, 513, 519 }, { 497, 513, 519 }, { 497, 511, 513 }, { 497, 511, 519 } ], [ { 458, 519, 847 }, { 458, 497, 847 }, { 497, 519, 847 }, { 458, 497, 519 } ], [ { 458, 519, 527 }, { 458, 511, 527 }, { 511, 519, 527 }, { 458, 511, 519 } ], [ { 115, 532, 879 }, { 528, 532, 879 }, { 115, 528, 879 }, { 115, 528, 532 } ], [ { 555, 879, 880 }, { 115, 879, 880 }, { 115, 555, 879 }, { 115, 555, 880 } ], [ { 528, 541, 879, 880 }, { 528, 539, 541, 545 }, { 541, 545, 880 }, { 539, 545, 879, 880 }, { 528, 539, 879 } ], [ { 115, 551, 880 }, { 541, 551, 880 }, { 115, 541, 880 }, { 115, 541, 551 } ], [ { 115, 558, 562, 576 }, { 115, 562, 881 }, { 558, 562, 881 }, { 558, 576, 881 }, { 115, 576, 881 } ], [ { 115, 528, 576, 618 }, { 115, 528, 583 }, { 528, 583, 618 }, { 576, 583, 618 }, { 115, 576, 583 } ], [ { 391, 603, 610 }, { 603, 610, 885 }, { 391, 603, 885 }, { 391, 610, 885 } ], [ { 147, 391, 603 }, { 147, 528, 603 }, { 147, 391, 528 }, { 391, 528, 603 } ], [ { 126, 610, 618 }, { 528, 603, 610, 618 }, { 123, 126, 528, 618 }, { 123, 126, 603, 610 }, { 123, 528, 603 } ], [ { 391, 610, 894 }, { 610, 618, 894 }, { 391, 618, 894 }, { 391, 610, 618 } ], [ { 139, 541, 895 }, { 139, 143, 541 }, { 139, 143, 895 }, { 143, 541, 895 } ], [ { 636, 895, 957 }, { 143, 636, 957 }, { 143, 895, 957 }, { 143, 636, 895 } ], [ { 7, 541, 957 }, { 7, 143, 957 }, { 7, 143, 541 }, { 143, 541, 957 } ], [ { 11, 897, 979 }, { 528, 897, 979 }, { 11, 528, 979 }, { 11, 528, 897 } ], [ { 7, 541, 957 }, { 7, 957, 980 }, { 7, 541, 980 }, { 541, 957, 980 } ], [ { 541, 958, 980 }, { 528, 541, 958, 960 }, { 528, 541, 979, 980 }, { 958, 960, 979, 980 }, { 528, 960, 979 } ], [ { 147, 153, 391 }, { 147, 153, 528 }, { 147, 391, 528 }, { 153, 391, 528 } ], [ { 11, 153, 897 }, { 153, 528, 897 }, { 11, 153, 528 }, { 11, 528, 897 } ], [ { 153, 645, 897 }, { 153, 391, 645 }, { 391, 645, 897 }, { 153, 391, 897 } ], [ { 178, 649, 963 }, { 647, 649, 963, 982 }, { 647, 649, 650 }, { 178, 649, 650, 981 }, { 174, 647, 650, 901, 981, 982 }, { 174, 178, 901, 963 }, { 174, 178, 981 }, { 901, 963, 982 } ], [ { 178, 183, 962, 963 }, { 178, 183, 652 }, { 178, 652, 963 }, { 652, 962, 963 }, { 183, 652, 962 } ], [ { 664, 903, 907 }, { 664, 907, 910 }, { 183, 664, 903, 910 }, { 183, 903, 907 }, { 183, 907, 910 } ], [ { 664, 902, 903, 905 }, { 187, 664, 905 }, { 187, 902, 905 }, { 187, 902, 903 }, { 187, 664, 903 } ], [ { 659, 660, 664, 668 }, { 659, 664, 910 }, { 664, 668, 910 }, { 659, 660, 910 }, { 660, 668, 910 } ], [ { 217, 668, 673 }, { 187, 217, 664, 668 }, { 187, 217, 662, 673 }, { 662, 664, 668, 673 }, { 187, 662, 664 } ], [ { 271, 678, 702 }, { 221, 678, 702 }, { 221, 271, 702 }, { 221, 271, 678 } ], [ { 678, 683, 692 }, { 221, 683, 692 }, { 221, 678, 692 }, { 221, 678, 683 } ], [ { 678, 692, 919, 920 }, { 678, 915, 920 }, { 678, 702, 915, 983 }, { 692, 702, 919, 983, 984, 985 }, { 678, 692, 702 }, { 915, 920, 984, 985 }, { 915, 983, 984 }, { 919, 920, 985 } ], [ { 687, 692, 711 }, { 217, 687, 711 }, { 217, 692, 711 }, { 217, 687, 692 } ], [ { 236, 692, 702, 711 }, { 236, 702, 705 }, { 692, 702, 705 }, { 236, 705, 711 }, { 692, 705, 711 } ], [ { 187, 236, 715 }, { 187, 217, 713, 715 }, { 187, 217, 236, 711 }, { 236, 711, 713, 715 }, { 217, 711, 713 } ], [ { 236, 263, 702 }, { 187, 236, 263 }, { 187, 236, 702 }, { 187, 263, 702 } ], [ { 187, 730, 735 }, { 728, 730, 735 }, { 187, 728, 735 }, { 187, 728, 730 } ], [ { 702, 728, 735 }, { 254, 702, 735 }, { 254, 258, 702, 728 }, { 254, 258, 735 }, { 258, 728, 735 } ], [ { 263, 702, 735 }, { 187, 263, 735 }, { 187, 702, 735 }, { 187, 263, 702 } ], [ { 702, 739, 741 }, { 221, 702, 741 }, { 221, 702, 739 }, { 221, 739, 741 } ], [ { 288, 746, 750 }, { 221, 288, 741, 746 }, { 221, 288, 749, 750 }, { 741, 746, 749, 750 }, { 221, 741, 749 } ], [ { 297, 728, 746 }, { 288, 297, 728 }, { 288, 297, 746 }, { 288, 728, 746 } ], [ { 301, 763, 924 }, { 299, 301, 763 }, { 299, 763, 924 }, { 299, 301, 924 } ], [ { 38, 775, 967, 986 }, { 38, 39, 779, 986 }, { 775, 779, 986 }, { 39, 775, 779, 967 }, { 38, 39, 967 } ], [ { 301, 774, 778, 785 }, { 301, 779, 785 }, { 301, 774, 775, 779 }, { 775, 778, 779, 785 }, { 774, 775, 778 } ], [ { 971, 987, 988, 989 }, { 331, 971, 988, 990 }, { 331, 971, 987 }, { 331, 987, 989, 990 }, { 988, 989, 990 } ], [ { 332, 787, 798 }, { 331, 332, 798 }, { 331, 332, 787 }, { 331, 787, 798 } ], [ { 331, 339, 787 }, { 221, 331, 787, 971 }, { 221, 327, 339, 787 }, { 327, 331, 339, 971 }, { 221, 327, 971 } ], [ { 343, 790, 794 }, { 47, 790, 794 }, { 47, 343, 790 }, { 47, 343, 794 } ], [ { 353, 787, 794 }, { 351, 353, 794 }, { 351, 353, 787, 798 }, { 787, 794, 798 }, { 351, 794, 798 } ], [ { 299, 301, 400 }, { 299, 301, 825 }, { 301, 400, 825 }, { 299, 400, 825 } ], [ { 301, 806, 927 }, { 47, 301, 927 }, { 47, 301, 806, 811 }, { 47, 811, 927 }, { 806, 811, 927 } ], [ { 819, 927, 929 }, { 47, 927, 929 }, { 47, 819, 929 }, { 47, 819, 927 } ], [ { 343, 363, 391 }, { 47, 343, 363 }, { 47, 363, 391 }, { 47, 343, 391 } ], [ { 363, 818, 819 }, { 47, 363, 819 }, { 47, 363, 818 }, { 47, 818, 819 } ], [ { 363, 388, 819 }, { 363, 382, 388, 825 }, { 363, 819, 825 }, { 382, 388, 819 }, { 382, 819, 825 } ], [ { 391, 395, 400, 824 }, { 363, 391, 400, 825 }, { 395, 400, 825 }, { 363, 395, 824, 825 }, { 363, 391, 824 } ], [ { 458, 856, 924 }, { 299, 458, 856 }, { 299, 856, 924 }, { 299, 458, 924 } ], [ { 441, 442, 838 }, { 221, 441, 838 }, { 221, 404, 441, 442 }, { 221, 404, 838 }, { 404, 442, 838 } ], [ { 452, 458, 975 }, { 221, 404, 452, 458 }, { 221, 458, 973, 975 }, { 404, 452, 973, 975 }, { 221, 404, 973 } ], [ { 432, 441, 458 }, { 432, 452, 458 }, { 441, 442, 452, 458 }, { 432, 442, 452 }, { 432, 441, 442 } ], [ { 441, 458, 847 }, { 441, 497, 847 }, { 458, 497, 847 }, { 441, 458, 497 } ], [ { 299, 467, 853 }, { 400, 467, 853 }, { 299, 400, 467 }, { 299, 400, 853 } ], [ { 458, 473, 853 }, { 299, 458, 473 }, { 299, 458, 853 }, { 299, 473, 853 } ], [ { 480, 485, 511, 853 }, { 479, 480, 853 }, { 479, 511, 853 }, { 479, 480, 485 }, { 479, 485, 511 } ], [ { 458, 511, 869 }, { 458, 479, 869 }, { 479, 511, 869 }, { 458, 479, 511 } ], [ { 458, 853, 873 }, { 458, 479, 873 }, { 479, 853, 873 }, { 458, 479, 853 } ], [ { 108, 506, 511 }, { 108, 497, 511 }, { 108, 497, 506 }, { 497, 506, 511 } ], [ { 458, 511, 519 }, { 458, 497, 519 }, { 458, 497, 511 }, { 497, 511, 519 } ], [ { 115, 541, 880 }, { 528, 541, 879, 880 }, { 115, 528, 541 }, { 115, 879, 880 }, { 115, 528, 879 } ], [ { 115, 528, 576, 618 }, { 115, 528, 881 }, { 528, 618, 881 }, { 576, 618, 881 }, { 115, 576, 881 } ], [ { 391, 610, 618 }, { 528, 603, 610, 618 }, { 391, 528, 618 }, { 391, 528, 603 }, { 391, 603, 610 } ], [ { 541, 895, 957 }, { 143, 541, 957 }, { 143, 895, 957 }, { 143, 541, 895 } ], [ { 528, 541, 979, 980 }, { 528, 541, 897, 957 }, { 897, 957, 979, 980 }, { 541, 957, 980 }, { 528, 897, 979 } ], [ { 153, 391, 897 }, { 153, 528, 897 }, { 153, 391, 528 }, { 391, 528, 897 } ], [ { 178, 183, 962, 963 }, { 178, 183, 649, 910 }, { 649, 910, 962, 963 }, { 183, 910, 962 }, { 178, 649, 963 } ], [ { 187, 664, 903 }, { 183, 664, 903, 910 }, { 187, 664, 910 }, { 183, 187, 910 }, { 183, 187, 903 } ], [ { 187, 217, 664, 668 }, { 217, 668, 910 }, { 187, 217, 910 }, { 187, 664, 910 }, { 664, 668, 910 } ], [ { 678, 692, 702 }, { 221, 692, 702 }, { 221, 678, 692 }, { 221, 678, 702 } ], [ { 187, 236, 702 }, { 187, 217, 236, 711 }, { 187, 217, 692, 702 }, { 236, 692, 702, 711 }, { 217, 692, 711 } ], [ { 187, 702, 735 }, { 702, 728, 735 }, { 187, 728, 735 }, { 187, 702, 728 } ], [ { 288, 728, 746 }, { 221, 288, 702, 728 }, { 221, 288, 741, 746 }, { 702, 728, 741, 746 }, { 221, 702, 741 } ], [ { 299, 301, 924 }, { 301, 400, 924 }, { 299, 301, 400 }, { 299, 400, 924 } ], [ { 47, 301, 774 }, { 301, 774, 775, 779 }, { 47, 301, 779, 986 }, { 47, 774, 775, 986 }, { 775, 779, 986 } ], [ { 221, 787, 798, 991, 992, 993 }, { 221, 331, 787, 971 }, { 331, 798, 987, 991 }, { 331, 787, 798 }, { 971, 987, 992, 993 }, { 221, 971, 992 }, { 331, 971, 987 }, { 987, 991, 993 } ], [ { 343, 391, 794 }, { 47, 343, 794 }, { 47, 391, 794 }, { 47, 343, 391 } ], [ { 787, 794, 798 }, { 47, 794, 798 }, { 47, 787, 798 }, { 47, 787, 794 } ], [ { 301, 400, 819 }, { 301, 819, 825 }, { 400, 819, 825 }, { 301, 400, 825 } ], [ { 301, 819, 927 }, { 47, 819, 927 }, { 47, 301, 927 }, { 47, 301, 819 } ], [ { 363, 391, 819 }, { 47, 363, 819 }, { 47, 363, 391 }, { 47, 391, 819 } ], [ { 391, 400, 819 }, { 400, 819, 825 }, { 363, 391, 400, 825 }, { 363, 819, 825 }, { 363, 391, 819 } ], [ { 299, 458, 924 }, { 400, 458, 924 }, { 299, 400, 458 }, { 299, 400, 924 } ], [ { 441, 442, 452, 458 }, { 221, 441, 458 }, { 221, 404, 452, 458 }, { 221, 404, 441, 442 }, { 404, 442, 452 } ], [ { 441, 458, 506 }, { 441, 458, 497 }, { 441, 497, 506 }, { 458, 497, 506 } ], [ { 299, 458, 853 }, { 400, 458, 853 }, { 299, 400, 458 }, { 299, 400, 853 } ], [ { 458, 511, 853 }, { 458, 479, 853 }, { 458, 479, 511 }, { 479, 511, 853 } ], [ { 458, 506, 511 }, { 458, 497, 511 }, { 458, 497, 506 }, { 497, 506, 511 } ], [ { 115, 541, 881 }, { 115, 528, 541 }, { 115, 528, 881 }, { 528, 541, 881 } ], [ { 391, 618, 881 }, { 391, 528, 618 }, { 391, 528, 881 }, { 528, 618, 881 } ], [ { 391, 895, 897, 957 }, { 391, 528, 897 }, { 391, 528, 541, 895 }, { 528, 541, 897, 957 }, { 541, 895, 957 } ], [ { 187, 217, 994 }, { 187, 217, 910 }, { 183, 187, 994 }, { 183, 187, 910 }, { 183, 910, 962 }, { 183, 962, 994 }, { 217, 910, 962 }, { 217, 962, 994 } ], [ { 187, 217, 692, 702 }, { 187, 221, 702 }, { 187, 217, 221 }, { 221, 692, 702 }, { 217, 221, 692 } ], [ { 187, 288, 728 }, { 187, 221, 288 }, { 221, 288, 702, 728 }, { 187, 221, 702 }, { 187, 702, 728 } ], [ { 301, 400, 924 }, { 221, 301, 924 }, { 221, 301, 400 }, { 221, 400, 924 } ], [ { 47, 221, 301, 787 }, { 221, 787, 798, 991, 992, 993 }, { 47, 774, 798, 991 }, { 47, 301, 774 }, { 301, 774, 992, 993 }, { 221, 301, 992 }, { 47, 787, 798 }, { 774, 991, 993 } ], [ { 391, 787, 794 }, { 47, 787, 794 }, { 47, 391, 794 }, { 47, 391, 787 } ], [ { 391, 400, 819 }, { 47, 391, 819 }, { 47, 301, 391, 400 }, { 47, 301, 819 }, { 301, 400, 819 } ], [ { 400, 458, 924 }, { 221, 458, 924 }, { 221, 400, 458 }, { 221, 400, 924 } ], [ { 441, 458, 506 }, { 221, 441, 458 }, { 221, 441, 506 }, { 221, 458, 506 } ], [ { 458, 506, 511 }, { 400, 458, 506 }, { 400, 506, 511, 853 }, { 458, 511, 853 }, { 400, 458, 853 } ], [ { 391, 881, 895 }, { 391, 528, 541, 895 }, { 391, 528, 881 }, { 528, 541, 881 }, { 541, 881, 895 } ], [ { 187, 221, 288 }, { 221, 288, 787 }, { 187, 217, 221 }, { 217, 221, 787 }, { 217, 787, 994 }, { 187, 217, 994 }, { 288, 787, 994 }, { 187, 288, 994 } ], [ { 47, 301, 391, 400 }, { 221, 391, 400, 787 }, { 47, 391, 787 }, { 47, 221, 301, 787 }, { 221, 301, 400 } ], [ { 400, 458, 506 }, { 221, 458, 506 }, { 221, 400, 458 }, { 221, 400, 506 } ], [ { 391, 881, 895 }, { 391, 895, 995 }, { 391, 881, 995 }, { 881, 895, 995 } ], [ { 391, 400, 506, 895, 996, 997 }, { 221, 400, 506 }, { 221, 391, 400, 787 }, { 221, 288, 506, 997 }, { 288, 996, 997 }, { 288, 787, 895, 996 }, { 221, 288, 787 }, { 391, 787, 895 } ], [ { 895, 995, 996, 998 }, { 391, 400, 506, 895, 996, 997 }, { 391, 400, 995, 999 }, { 391, 895, 995 }, { 506, 997, 998, 999 }, { 996, 997, 998 }, { 400, 506, 999 }, { 995, 998, 999 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 2, 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, 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, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 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, 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, 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, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 2, 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, 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, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 3, 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, 3, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 3, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 3, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <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>, <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>, <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>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <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>, <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>, <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>, <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>, <6, 2>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <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>, <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>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2> ]