Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346############################################################################# ## #W nor2.g GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 7 ] := [ [ 1, 3, 7, -2, -1, -2,,,, -3,, -2,, -3,,,,,,, -2,, -3, -2,, -3, -2,,,, -3,,,, , -1, -3, -2, 5, -1,, -2,,, -3, -2,,,,,,,,,,,, -3, -2,, -3,,,,,,,,,,,,,,,,,,, ,,,,,,, -2,,,,, -3,,,,,,, -2,,,,,,,,,,, -3,, -2,, -3,, -2,, -3,,,,, -2,,,, -3 , -2,,,,, -3,,,,,,, -2,,,,,, -3,,,,,,, -2,,,,, -3, -2,, -39, -3, -39, -2, 11, [ 1 .. 4 ], -165, 59, -165, 13, [ 1 .. 5 ], -165, -171, 93, -165, -170, 77, 9 , -2, -165, 47, 27, -181, -165, 103, -3,, -165,, -166,, -165,,,, -166,, -165, , -181, 43,,,, -181, -201,, -181,, -201,,,, -181,, -201,,,, -181,, -201,,,, -181,, -201,,,, -181,, -201,, -181, -201,,,, -181, -201,, -181,, -201,, -181, -201,,,, -181, -165,, -181, -165,, -201,, -181, -201,, -181, -165,, -181, -165,,, -201, -181, -165, -181, -166, -165, -201,, -181, -201,, -181,,,,, -165, -201, -181, -165, -181, -166, -165,,, -166, -181, -165,, -166, -181, -201,, -181,, -168, 55, [ 1 .. 7 ], -307, -308, -307,, -308,,,,,,,, -307, -308, -307, -308, -307,, -168,, -308, -168,, -308, -168,, -308, -168,, -308, -168,, -308, -168,, -308, -168,, -308, -168,, -308, -168,, -308,, -168,, -308 ,,,, -168,, -308,, -168,, -308,,,,,,,,,,,,,,,,,,,, 25, -174, -168, -387, -168 ,, -308, -168,, -308,,, -171,,,, -308,, -171,,,, -308,,,,,,,,,, -171,,,, -308 ,, -171,,,, -308,,,,,,,, -387, -171,, -168, -177, -170, -387, -178, -165, -308, -168,, -308,,,, -168,, -308, -178, -165, -387, -165,, -201, 35, -2, -201,, -165,, -201, -165,,,,,, -201, -165,, -201, 67, -182,, -168, 91,, -308, -182,,, -483, -168,,,,,, -308,, -182,, -168, -483,, -308, -483,, -182,, -483, -182,, -178,, -165,,,, -166, -201,, -181, -201, -165,, -168,,, -181,, -166,,, ,, -171,,,,, -166,, -171, -166,,,, -171,,, -165,,,,,, -182,, -171, -182, -171 , -165,,, -170,, 79, -170,, -177, -170,, -178,, -181, -178,, -165,, -166, -181, -165,, -168,,,, -308, -168,,,, -308,,,,,,,, -168,, -181,,,,,,, -308,,,, ,,,, -181,,,,,,,,,,,,,,,,,, -308,,,,,,, -181,,,,,,, -308,,,,,,,,,,,,,,,,,,,,, ,, -181,,,,,,,,,, -308, -181,,,, -201,,,, -181,, -201,,,,,,, -181, -308, -181 ,,,, -308, -181,,, -308, -181,, -201,,, -181, -201,,,,, -181, -201,,,,,,,,, -185, -308, -185, -308,,,, -174,, -308,, -185, -174, -308, -174,, -308, -174, 69, 87, -308, -750,,, -171,,,,,, -3,, -308, -3, -308,,,,,, -185,,, -308, -185 ,,, -308, -185, -308,, -185, -308,, -185,, -308, -185, -171,, -308, -171,, -3 , -308,,,,,, -479,, -181,,,,,, -308, -181,, -308,,, -181,, -308, -181,, -308, -181,, -3, -308, -565,,,, -308, -171,,, -308, -171,, -1, -165,, -166, -168, -165,,,, -201, -165,, -201,,,, -181,, -201,, -165,, -166,, -165,,,, -166,, -165,, -201,, -181,, -201,,,,,,,, -181, -165,, -201, -165,, -201,, -165,, -166, -181, -165,, -166,, -181, -166,, -307, -308, -307,,,, -308, -307, -308, -307,,,, -308,, 19, -171, -168,, -308, -168,, -308, -168,, -308,,,, -174, -308, -174,, -308, -174, -387, -168, -174, -387, -171,,,, -308,,, -171,,,, -308, -171,, -308, -171,, -308, -171,,,, -308,, -171,, -168,, -308, -168,, -308, -168,, -177,, -174,, -177,, -165,, -201, -171, -181,, -165, -166, -165, -171, -178, -165, -387, -462, -201, -462, -185, -168,, -2, -178, -165, 651, -1000, 655, 2093, 41, -178, 139, 271, -165, 131, 171, -1006, 159, 163, -1009, [ 1 .. 8 ], -1009, 219, 2699, 2219, 10923,, 11007, -1019, 2187, 2239, -1024, -1025, 2191, 2255, 2223, 1927, [ 1 .. 11 ], 8095, -1032, 25063, -1031, 487, 391, 415, -1010, -1006,, 731, -1010,, 8367, -1006,, 2715, -1022, 703,, 15291, , -1022,, 2543, 10939, -1019,, -1057, -1030,, -1057,, [ 1 .. 15 ],, -1057,, 4319,, 143,, 6655,, 2479,,,, -1070,, -1072,, -1074,, -1076,,,, 3679, -1066, 12207,,,, -1057, -1076, 2063, -1092, -1057, -1098, -1092, -1098, 2127, -1066, -1090, 155, 1019, -1057,, 235, 137, -1006, -1072, 2235, 8227, -201, 10283, -201, 20527, 8203, -1019,, -1074, -201, 683, 22447, -1074, 51, 1467, 179, -2, -1120, -1098, 555, 955, 4795, -1136, -1022, 767,, -1022,,,,,,,, -1066,, -1022 ,,,, -1066,, -1022,,,, -1032, -1058,, 699,,,, 9839, -1066, -1022,,,, -1066,, -1022,,,, -1066,, -1022,,,, -1169, -1066,,,,,,, 3647, -1066,,,,,,,,,,,,,,,,,, -1136, -1135, -1136, -1022, -1140,, -1066, -1022,,,, -1066, -1022,,,, -1032, -1058,, -1165,,,, -1066, -1022,,,, -1066, -1022,,,, -1066,, -1169, -1066,,,,, -1195, -1066,,,,,,,,,, -1053, 2719,, 587, 2779, -1051,, -1043,, -1033, -1058, , -1049,,, 2783, -1022, -1269, -1270, -1066,, -1195, -1066,,,,, -1051,, -1043 , -1033, -1058,, -1049,, -1281, -1022, -1269, -1195, -1066,,,,,, -1053, -1267 ,, -1269, -1051,, -1066, -1195, -1066,,,, -1051,, -1195, -1066,,,, -1032,, -1169, -1066,, -1032,, 4799,, 559, -1135, -1169, -1032,, -1169, 10287, -181, 4139,, -1076,, -1115, -1058, -1115, 687, 1967, 5035,, -1076,, 6587, -1115, -1066, -1130,,,, 23995, -1032,, -1367, 10335, 10299, 10251,, 1327, -168,, -1098, 10635, -1066,,,,,,,, -166, -201,, -1072, 939, -1127,,,, 5039, -1066, -1397, 14459, 5343, -1400, -1066,,,, 8291, -1066, -1400, -1066, -3, 17247, -1066, 5047, 791, -1397, -1066,,,,,,,, 9959, -1066,,, -1397, -1066, -1425, -1066,,,,,,,,, -1397, -1066,, -1425, -1066,,,, -1397, -1066,,,, -1425, -1066, 679, -1066, -1414,, -1425, -1066,, -1397, -1414, -1456,, -1400, 75, -1066,,,, , -1400, -1066,,,,, 2911, -1066,,, 8927, -1066,,,,,,, -1269, -1066,, -1412,, -1066,,,, 12511, -1066, -1484, -1066,,,,,,,,,, -1484, -1066, 9079, 8263, -1066,,, -1484, -1066,, -1484, -1066, -1484,, -1066,,, -1412, -1066, 4715, -1066,, 207, -1281,, -1169, -1281, 2139, -165, -2, -185, -1032,, 307, -1136, -1547, -168, 675, -1356, -1360, -1551, -185, 8951, 9667, 10463, -1066, -1484, -1066, -1484, -1066, -1484,, 8387, 8327, -1066,,,, -2, -1281, -1009, -171, -3 , -2, 385, 409,, 2955, -1035, -1037, -1031, -1581, 8635,, -1038, -1039, 4243, 211, -1038, 4755, 147, -1038, -1594, -1578,, 129, -1112,,, -1010, -1018, -1006, -1579,, -1112, -1006, -1024, -1006, -1579, -1112, -1006, 141, -1112,,, -1010, -1615,, 2185,, -1019, -1024,, -1019, 2207, 2269,, -1622, -1024, 2201, -1112, -1006, -1024, -1006, -1579, -1112,, -1010, -1019, -1006, 157,, -1112, -1006, 153, -1010,, -1019, 175, -1010, -1030,, -1136, 8623, 2603, -1020, -1658, 10927,, 2607, -1658, -1053, 2671, 3631, -1658, -1020, -1658, -1666, -1020, -1658,, 2623, -1092,, -1022,, -1663, -1661, -1663, -1666, -1675, -1658 ,, -1663, 2619, -1663, 523, -1126, -1354, -1126, -1136, 527, -1269, 763, 21247, -1108,, -1698, -1666, -1269, -1013, -1010, 8887, -1013, -1057, -1652,, 167, -1013, 9383, -1009, -1006, 659, 2447, -1072, -1006, 203, -1270,, -1720, -1057, 19711,, -1057, -1018,,,, -1020,, -1033, -1581,, 11179, -1267,, -1661,, ,, -1053,, -1018,,,, 3983, -1581,, 2703,, 643,, 899,, -1755,, -1126,, -1020, -1126,, -1020, -1032, -1136,, -1354,, -1661, -1058,,,, -1092,, -1020, -1126,, -1137, -1020, -1126,, -1137, -1022,, -1058, -1165,, -1137, -1136, -1022,, -1020, -1126,, -1137, -1058,, -1126,, -1020, -1126,, -1020, -1032, -1136,, -1140, -1354, -1022,, -1092,, -1018,, -1020,, -1018,, -1033, 7067, -1581, -1267,, -1022,, -1092,, 4767,, -1066, -1832,, -1033, -1698,, -1033, -1832,, -1066, -1832,, -1033, -1698,, -1033, -1066,,,, -1337,, -1066,, -1337,, 8355,, 8867, 8615, -1862, -1860,, -1713, -1022,, 8359,, 8871, -1863, -1713, -1024, -1006,, 8363, 4255, -1019,, -1072, -1628,, 2767, -1022, -1051,, -1006, -1010, -1006, -1012, -1126, -1006, -1025,, 671, 667, 21211, 13567, 4315,, -1698,, -1900, -1698, -1074, 4351,, -1066,, -1698,, -1899, -1900, -1901,, -1135, -1137, -1053, -1135, -1053, -1169, -1135, -1137, -1053, -1135, -1053, -1169, -1066, -1339, -1337, -1066, -1339, -1169, 4927, 923,, 1951, -1937,, -1939, -1053, 23515, -1136, 987, -1136, -1946, -1824,, -1033, -1032,,,, -1066,, -1937,, -1939, -1937,, -1939, -1053, -1944, -1136, -1946, -1136, -1946, -1824 ,, -1033, -1066,,,, -1269, -1270, -1022,, -1269, -1169, -1022,, -1269, -1270, -1269, -1169, -1066,, 591, -1281, -1991, -1169, -1480, -1066,,,,, -1066,,, 13183, 5727, -2004, -1066, -2004, -2005, -2004, 4703, -1698, -2004, -1066, -2011, -2004, -1698, -2011,, -1090,, -2004, 1607, 583,, -1698,, -1066,, -1698 ,, -1066,, -1698,,,, -1066,,,,,,,,,,,,,,,,,, -1698,, -1066,, -1698,,,,,, -2011, -1698, -2004, -1066, -2011, -2004, -1698, -2011,, -1066,,,,,,,,, -2005 , -1698,, -2005, -1698,, -1354,, -1092,, -1354,, -1092,,,,,, -1066,, -1092,,, , -1066,, -1695, -1354, 9007, -1092, -1695, -2112, -1092,,,, -1066, 9023,, -1695, -1354, -2112, -1092, -1695, -2112, -1092,,,, -1066, -2121,, -1599, -1112, -1755, -1009, 2057, -1622, -2140, -1118, -1018,, 2075, 2077, -1629, -2147, -1599, 32897,, 34953, 8915081, 524425, 532619, 34827, 32779, 41099, 36879, 65575, 66067, 557065, 559241,, 8945801, 34112171, 134252553, 34825, -2163, 169913003, 32777, 32905, 33596043, 41611, 2129977, 526475, 688779,, -2156, 528783, 134384299, 136358059, 134252715,, 143174315, 134514911, -165, -2159, -166, 1048687, 1090975, 1098655, 532523, 570993323, 34087595, 559275, 524459,, 67650799, 11018923, 168438443, 145393835, 134875307, 134217899, -2204, 203312383, 32939, -165, 67110031, 8388779, 67505311, 1597567, 34621135 , 1048591, 565807,, 557355,, 576699,, 134252719, 134252779, 134256831, 134253051, 143191807,, 41535, 33083, 33963,, 560299, -2228, -2229, 50363, -2230, 8498943, 8686079,, 8423663,, 143165679, 8559103, 10520767, 1712979967, 1108408063,, 1677823, 1085695,, -2246,, -2245, -2249,, -2248, 134218379, -1009, 536873483, 164491, 83886739, -2, 262195, 4831, 353026015, 78958591,, 10538751, 36511,, 134385343, 704415, 715849727,, 16818655, 123295, 268483039, 42119167,, 8389053, 151, 41375, 136362495, 25682431, 268473535, -2278,, 149, -2271, 10084607,, 147635199, 8959743, -2273, -2290, -2292, -2273, [ 1 .. 31 ] , 268435869, 4285, 32769, -2151, -2163, -2158, 98305, 8388737, 8421505, -2306 , 142608521, -2166,, 8389259, 8389283, 8430243, -2313, 8389571, 8421603,, [ 1, 32 ], [ 1, 16, 48 ], -2301, [ 1, 8, 16, 56 ], -2140, 524297, -1121, -39, , -1 ], [ 1, 40, -2, -2, 8, 9, -6, -6, -6, 4105, -10, -6, -6, -10, -10, -10, -10, -10 , -10, -10, -6, -6, -10, -6, -6, -10, -6, -6, -6, -6, -10, -10, -10, -10, -10 , -5, -10, -6, 4104, -5, -5, -6, -6, 265, [ 1, -3, 4, 13 ], -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, [ 4, 6, -3 ], -87, -5, -5, -2, -2, -5, -5, -2, -5, -5, [ 4, -3 ], -2, [ 4, -3, 6 ], -2, -2, -2, -2, -2, 41, -106, -106, -106, 4137, -110, -6, -6, -10, -10, -6, -6, -10, -10, -10, -10, -110, -106, -106, -106, -106, -110, -106, -106, [ 1, -3, 4, 6 ], -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -100, -100, [ 4, -3, 6, -3 ], -5, -5, -2, -2, -5, -5, -2, -2, -5, -5, -2, -98, -2, -2,,,, 32769, 32776, -165, -165, [ 4, 49 ], [ 49 ], 32768, -170, -170, -170, -170, -170, -170, -170, -170, -2, 163880, 11258999068590120, -180 , -181, -180, 11258999068590080, 163840, -186, 8552448, -188, 42106880, -190, 33718272, -192, -188, -188, -190, -190, -192, -192, -190, -192, -192, -188, -188, -190, -188, -188, -190, -190, -188, -188, -192, -192, -190, -190, -192, -192, -188, -188, -190, -190, -188, -188, -192, -192, -190, -190, -192, -192, -188, -188, -190, -190, -192, -192, -190, -188, -188, -192, -192, -190, -188, -188, -190, -190, -192, -192, -190, -188, -188, -192, -192, -190, -188, -186, -190, -192, -186, -188, -188, -190, -192, -192, -190, -188, -186, -190, -192, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -186, -188, -188, -190, -188, -192, -192, -190, -192, -186, -186, -186, -188, -192, [ 17, 49, 57 ], 72339069031481344, -307, -308, -307, -307, -308, -308, -308, -308, -308, -308, -308, -308, [ 17, 25, 49 ], -308, -321, -308, -321, -321,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, -164, 32777, [ 4, 16, 52 ] , 163848, -459, 2251799813849096, -185, -186, [ 4, 6, 16, 52 ], -464, -165, -165, -458, -459, -165, -459, -459, -459, -459, -181, -459, -165, -458, -186, [ 4, 36, 49 ], -480, -480, [ 4, 17, 49, 61 ], -483, -483, 281646775402536, [ 4, 6, 49 ], -487, 1153202979851993128, -480, -480, -168, -168, -168, -168, [ 4, 29, 49, 61 ], -496, -480, -480, -168, -483, -483, -483, -483, -483, -168 , -168, [ 4, 49, 61 ], -480, -168, 8421376, 33587200, -188, -192, -186, -186, -186, -170, -170, -170, -188, -170, -170, -170, -170, -186, -511, -511, -190, -186, -190, -511, -511, -170, -170, -170, -170, -190, -170, -170, -170, -511, -170, -511, -511, -511, -170, -170, -188, -511, -511, -511, -511, -511, -170, -170, -170, -188, -511, -511, -170, -170, 41975808, -170, -511, -170, -170, -170, -511, -170, -511, -170, -511, -511, -170, -170, -170, -170, -170, -188, -170, [ 20, 52, 54 ], [ 22, 52, 54 ], [ 52 ], -584, -584, -582, -584, -584, [ 52, 54 ], -584, -584, [ 20, 52 ], -584, -584, -584, -584, 11258999071047680 , -584, -584, -598, -598, -598, -584, -584, -584, -584, -598, -584, -584, -584, -584, -593, -584, -584, -598, -584, -584, -584, -584, -584, -584, -593, -584, -584, -584, -584, -593, -593, -593, -593, -590, -590, -590, -590, -593, -593, -593, -584, -584, -590, -590, -593, -593, -593, -584, -584, -598, -598, -584, -584, -584, -584, -598, -598, -598, -584, -584, -584, -584, -598, -584, -584, -593, -584, -584, -584, -584, -593, -593, -582, -582, -584, -584, -584, -584, -590, -590, -584, -584, -584, -582, -584, -584, -590, -582, -583, -584, -584, -584, -584, -584, -584, -582, -583, -582, -584, -584, -584, -584, -584, -584, -584, -584, -584, -583, -582, -583, -584, -584, -584, -582, -584, -584, -584, -582, -583, -582, -584, -584, -584, -584, -584, -584, -584, -590, -590, -582, -590, -584,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 8552456, -837, 42106888, 2251799822237704, [ 4, -3, 6, 16, 18, 24 ], 8552488, -188, -188, -188, -188, -188, -188, -188, -188, -188, -190, -190, -188, -188, -188, -188, -190, -190, -188, -188, -188, -188, -190, -190, -188, -188, -170, -170, -170, -170, -170, -170, -188, -192, -188, -192, -186, -186, -186, -188, -188, -188, -188, -188, [ 16, -3, 18 ], -186, -170, -170, -170, -170, -188, -170, -190, -190, -190, -190, -190, -307, -308, -307, -307, -307, -169, -169, -169, -169, -169, -169, -307, -321, [ 49, -3, 57, -3 ], -912, [ 17, 49 ], -307,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, -186, -188, -511,,,,,,, -5 , [ 64 ], -998, [ 16, 196 ], -1000, -1000, [ 193 ], -1003, -998, [ 16, 64 ], [ 196 ], -1007, -998, -998, -998, -998, -998, -998, -998, -998, -998, [ 208 ] , -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018 , -1018, -1003, -1003, -1003, -1003, -1003, -1003, -1003, -1003, -1003, -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -1018 , -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018 , -1018, -1018, -1018, -1018, -1018, -998, -998, -998, -998, -998, -998, -998 , -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -998, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -1018, -998, -998, -998, -998, -998 , -998, -998, -998, -998,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 16, 64, 66 ], [ 16, 64, 72 ], [ 16, 64, 66, 72 ], [ 16, 64, 66, 72, 208 ], -1603, [ 16, 64, 74 ], -1606, [ 64, 72, 96 ], [ 64, 66, 72, 96 ], [ 64, 66, 72, 104 ], -1610, [ 64, 74, 96, 106 ], -1608, -1610, [ 64, 96 ], -1615, [ 64, 72 ], -1617, [ 64, 66, 72 ], [ 64, 74 ], -1620, -998, -998, -998 , -998, -998, -998, -998, -998, -998, -1608, -1609, -1615, -1608, -1610, -1619, -1619, -1612, -998, -998, -998, -998, -998, -998, -998, -1608, [ 64, 66 ], -1615, [ 64, 66, 72, 96, 104 ], -1649, [ 64, 66, 96 ], [ 64, 66, 96, 98 ], -1651, [ 64, 66, 98 ], -1654, [ 64, 66, 74, 96, 98, 106 ] , -1656, [ 68, 196, 198, 228 ], [ 68, 100, 196, 198, 228 ], [ 68, 100, 196, 198 ], [ 70, 196, 198, 228 ], -1661, [ 70, 196, 198, 230 ], [ 70, 102, 196, 198 ], [ 70, 102, 196, 198, 228, 230 ], [ 68, 70, 196, 198, 228, 230 ], [ 68, 70, 196, 198, 230 ], -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1007, -1658, -1660, [ 196, 228 ], -1687, [ 68, 70, 196, 198, 228 ], [ 68, 196, 198 ], -1658, [ 196, 198, 230 ], -1692, [ 70, 196, 198, 228, 230 ], [ 68, 70, 196, 198 ], [ 68, 196, 198, 230 ], [ 68, 102, 196, 198, 228, 230 ], [ 70, 100, 196, 198, 228, 230 ], -1697, -1698, -1697, -1666, [ 70, 100, 196, 198 ], [ 64, 66, 96, 104 ], -1649, [ 64, 66, 74, 96, 98, 104 ], -1704, [ 64, 66, 72, 74, 98, 106 ], [ 64, 66, 72, 98 ], -1709, [ 64, 66, 98, 106 ], -1711, [ 64, 66, 96, 98, 106 ], -1651, -1609, [ 64, 66, 74, 104 ], [ 64, 66, 72, 74, 98 ], [ 64, 66, 74 ], -1718, [ 64, 66, 96, 106 ], [ 64, 66, 72, 96, 98, 106 ], -1706, [ 64, 66, 98, 104 ], [ 64, 66, 72, 74, 98, 104 ], -1724, [ 64, 66, 72, 74, 96, 106 ], -1726,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,, -1647, -1608, -1651, -1651,,,,,,,,,,, -998, [ 256 ], -2151, -2151, [ 784 ], -2154, -2154, -2151, -2151, -2151, -2151, [ 769 ], -2161,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 256, 258 ], [ 256, 288, 384 ], [ 256, 264, 416 ], [ 256, 258, 264, 416 ], [ 256, 296 ],,, ,,,,,,,,,,, [ 1024 ] ], rec( pos := [ 1, -15, 42, -70, 99, -111, 128, -133, 153, -154, 159, -160, 179 , -182, 188, -193, 206, -211, 294, -297, 307, -312, 456, 459, 476, 480, 483, 498, 501, 511, 529, 549, 563, 571, 574, 582, 601, 648, 655, 671, 686, 716, 837, -840, 843, -849, 881, -885, 894, -896, 899, -903, 914, -915, 988, -990, 1601, 1608, 1634, 1649, 1658, 1690, 1696, 1704, 1714, 1720, 2136, -2139, 2301 ], val := [ 1, 128, -2, -2, -2, -2, -2, -2, -2, [ 57 ], -10, -2, -2, -10, -10 , 129, -42, [ 1, 49 ], [ 1, -3 ], 2176, -46, -2, -2, -2, -2, -46, -46, -46, -2, -2, -2, -2, -46, -2, -46, -46, -2, -2, -2, -2, -46, -46, -46, -46, -46, [ 8, -3 ], -100, -46, -2, -2, -46, 8320, -106, -106, -106, -106, -106, 10368, -128, [ 8, 12, 14, -3 ], -46, -46, -46, -46, -46, -46, -46, -2, -2, -2, -2, [ 64 ], -188, -188, [ 70 ], -191, -191, -188, -188, -188, -188, -188, -188, -188, -188, -188, -188, [ 321 ], -307, -307, -307, -307, -307, -188, -188, -188, -2, -307, -2, -307, -188, -188, -188, -188, -188, -188, [ 328 ], -582, -582, -582, -582, -582, -582, [ 64, 68, 112 ], -837, -837, -837, [ 64, 68, 96 ], -843, [ 64, 68, 100 ], -843, -845, -843, -843, -843, -845, [ 64, 68 ], -843, -188, [ 64, 68, 96, 100 ], -894, [ 64, 96 ], [ 65, 321, 353 ], [ 65, 97, 321, 353 ], [ 65, 97, 321 ], -899, -901, [ 65, 321 ], -899, -883, -843, -896, [ 512 ], -1601, -1601, -1601, [ 2568 ], -1658, -1658, -1601, -1601, -1601, [ 512, 516 ], [ 512, 544, 768 ], [ 512, 516, 800 ], -2138, [ 4096 ] ] ), rec( pos := [ 1, 42, 44, 46, 54, 61, 69, 99, 102, 106, 128, -129, 131, -133, 153, -154, 159, -160, 837, 843, 881, 894, 899, 914, 988, -990, 2136 ], val := [ 1, 32768, -1, -42, -42, -42, -42, -42, -42, -42, 134250496, -128, 8421376, -131, -131, -131, -131, -131, -131, [ 256 ], -837, -837, -837, [ 2305 ], -899, [ 256, 264 ], [ 256, 264, 384 ], [ 256, 392 ], [ 4096 ] ] ), rec( pos := [ 1, 128, 131, 153, 159, -160, 988 ], val := [ 1, [ 32 ], -128, -128, [ 32, 48 ], -159, [ 1024 ] ] ), rec( pos := [ 1, 159 ], val := [ 1, [ 64 ] ] ), [ 1 ] ];