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 sml1536.aaw GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 49 ] := rec( ops := [ 1, 332,,,,, 324, 1,,,,,,, 147,, 3396, 3879, 1, 147,,,, 95,,,,,,,, 324,, 5692, 3122, 1, 324,,,, 332,,,, 95,,,,,,,, 147,,,,,,, 3879, 3396, 1, 147,,, 95, 1,,,,,,, 332,,,, 324,,,, 95,,,, 147,,, 324, 3122, 5692, 1, 324,,,, 332, ,,, 3122, 324, 1, 332, 95, 147, 1, 95, 147, 3879, 1, 324, 332, 1, 324, 3122, 332, 1, 95, 147, 1, 95, 3879, 147, 324, 1, 332,, 3122, 332, 95, 147, 1, 3879, 324, 332, 3122,, 3879, 1, 95,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 318, 3052, 15,, 1, 60, 1322, 3292, 2017, 15, 5130, 5128, 1322, 15, 1, 4363, 2776, 1912,,, 106, 4362, 1755,, 57, 318, 1001, 5133, 1, 318, 1307, 1, 2170, , 2017, 1755, 1, 2017,, 318,, 90,, 520,, 3117, 151, 1, 760,, 90, 520, 3117, 1, 760, 2275, 304, 109, 1, 10523, 2955, 7841, 1163, 186, 7841, 2955, 1, 3882, 106, 1, 3052,, 60, 106, 57, 2170, 1, 3117, 151, 760, 1, 3117, 760, 3882, 106, 901, 669, 4,, 2777, 4, 989, 1561,, 4,, 3659, 4, 2777,, 1866, 6960, 4, 3659, 5633, 2272, 7442, 5440, 7539,, 2128, 867, 669, 3659, 5633, 7442, 7539, 1939, 1983, 5002, 477, 5004, 5002,, 186, 1939, 6721, 477, 6722, 6721,, 1, 663, 901, 4, 663, 4364, 5005, 4, 1, 3743, 329, 57, 60, 1865, 1939, 1373, 4, 1939, 1865, 1, 1939, 1983, 663, 1373, 1, 1939, 663, 1373, 1, 3743,, 901,, 1865, 1939, 1, 90,, 520, 230, 2183, 1, 130,, 90, 520, 2183, 1, 130, 3572, 2149,, 3255, 109, 2149, 1, 2566, 10531, 10532, 397, 1, 109, 89, 975, 1, 5002, 5004, 186, 6721, 6722, 1, 57, 60, 3743, 1, 230, 2183, 130, 1, 2183, 130, 89, 975, 2777, 989, 669,,, 4, 1639, , 901, 2001, 4, 2272, 901, 2777, 226, 1866, 4, 3743, 329, 2777, 2128, 989, 2777, 669, 989,, 914, 1, 50,, 914, 50, 1, 1853, 115, 3873, 56, 1, 1853, 3873, 1, 1853, 115, 3873, 56, 1, 1853, 3873, 1, 29, 57, 138, 56, 1, 914, 50, 1, 29, 57, 138, 56, 1, 914, 50, 1, 2597, 50, 3867, 3082, 1, 50, 3866,, 2597, 3867, 3082, 1, 50, 3866, 2597, 50, 3867, 3082, 1, 3866, 50, 2597, 3867, 3082, 1, 3866, 914, 50, 1, 914, 50, 1,, 3866,,,,, 109, 1, 56,, 52, 29, 1, 109, 56, 52, 29, 1, 56,, 109,, 115, 52, 56, 503, 1, 56, 109, 115, 52, 56, 503, 1, 109,, 56,, 109, 56, 1,,, 109,, 56, 109, 1, 1788, 84, 3869, 3083, 3871, 84, 1, 1788, 84, 3869, 3083, 3871, 1, 1788, 84, 3869, 3083, 3871, 84, 1, 1788, 3869, 3083, 3871, 1, 109, 56, 138, 52, 29, 57, 1, 109, 56, 138, 52, 29, 57, 1, 1788, 84,,,,,, 1, 109, 56,,, 914, 1, 50,, 914, 50, 1, 1853, 115, 3873, 56, 1, 1853, 3873, 1, 1853, 115, 3873, 56, 1, 1853, 3873, 1, 29, 57, 138, 56, 1, 29, 57, 138, 56, 1, 2597, 50, 3867, 3082, 2597, 3867, 3082, 2597, 50, 3867, 3082, 2597, 3867, 3082, 1, 52, 29, 1, 52, 29, 1, 115, 52, 56, 503, 1, 115, 52, 56, 503, 1, 3869, 3083, 3871, 84, 3869, 3083, 3871, 3869, 3083, 3871, 84, 3869, 3083, 3871, 138, 52, 29, 57, 138, 52, 29, 57, 4, 1062,, 226,, 1062,, 226,, 1062,, 226,, 1062,, 226,, 1786,, 128,, 2128,, 1786, 128, 4, 2128,, 1786,, 2128,, 1786,, 2128,, 1062,, ,,,,,, 1786,, 128,, 1786, 128, 4, 1786,,, 56, 50, 1, 138,, 56,,, 50, 1, 138,, 56,, 52,, 2597, 56, 1, 29,, 2597, 56, 1, 29,, 50,,,, 52,, 2597, 56,, , 4, 226,,,,,,,, 1786, 128, 4, 2128,, 1786, 128, 4, 2128,, 1786, 2128, 4, 1786, 2128, 4, 1786, 128,,,, 56, 1, 138, 56, 1,,, 138, 56, 1, 52, 2597, 1, 29,, 2597, 29, 1, 52, 2597, 397, 4, 128, 1189, 4, 397,, 128, 1189, 4, 397, , 128, 1189, 4, 397,, 128, 1189, 4, 226,, 397, 2128, 4, 831,, 226,, 397,, 831,, 397, 2128, 4, 831,, 397,, 831,, 226,, 397, 2128, 226, 4, 397, 2128,, 3872, 57, 1, 56,, 52,, 3872, 57, 1, 52,, 109, 57, 1, 52, 138, 1, 109, 57, 1, 52, 138, 1, 3872, 57, 1, 56, 3872, 57, 1, 109, 397, 4, 128, 1189, 397, 4, 128, 1189, 397, 128, 1189, 397, 128, 1189, 226, 2128, 831, 4, 226, 831, 4, 2128, 831, 226, 2128,,, 3872, 56, 52, 1, 3872, 52, 1, 57, 52, 138, 57, 52, 138, 3872, 56,, 5109, 11277, 60, 2808,, 1,, 7943, 68, 7542,, 1, 90,, 520, 11147, 1, 3575, 60, 457,,,, 57, 89,,, 2991, 5749, 11445, 1, 2307, 751, 1, 230, 151, 520, 1, 2307,, 151, 230, 520, 90, 1, 4416, 2183, 90,, 4373, 10913, 576, 106,, 117, 57,, 5441, 1757, 5417, 651, 1757,, 1545, 3902, 3046, 61, 3902,, 1545,, 4397, 3445, 61, 3902,, 1545,, 4397,, 3445, 3573, 1562, 1545, 3046, 61, 2017,, 3046, 1988, 1545, 5438, 2017, 1988, 5441, 5417, 1757, 651, 3902, 1545, 61, 4397, 3902, 1545, 4397, 3445, 3573, 1545, 3046, 2017,,, 1988, 5417, 651, 3902, 3046, 5438, 2017, 5417, 90, 60, 1,,,, 68, 1, 90,, 8115, 520, 1, 3575, 60, 1,,,,, 89,,, 90, 1211, 1, 90, 520, 1, 230, 151, 1, 520,, 151, 230, 520, 90, 1, 520, 151, 90, 887, 109, 57,, 186, 106,, 901, 669, 4,, 7607, 353, 1105, 4, 901,, 1062,, 2001, 901, 1062, 2001, 3743, 329, 2777, 989, 4, 2272, 901, 2777, 669, 2272, 90, 1, 60, ,,,,,, 90, 1, 151,, 90,, 151,, 90,, 151,, 3575, 60, 1,,,, 90, 1, 151,, 90, , 151,, 90,, 151,, 90,,,,,, 1623,, 90,,,,,,,,,, 151,, 90,, 151,, 90,, 151, , 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151, 90, 1, 151,, 90,,,,,,,,,,,,,, , 60, 1,,,,,,, 90,, 151,, 90,, 151,, 3575, 60, 1,,,, 90, 1, 151,, 90,, 151, , 90,,,, 1623,, 90,,,,,,,,,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151,, 90,, 151, 90, 1, 151, 90, 1,,,,,,,,,, 887, 109, 1623,, 1,, ,, 151, 1, 887, 109, 1, 52, 109, 1,,,,, 52,, 60,, 887, 109, 1623,, 1,,,,, 887, 109, 52,, 1,,,, 52, 1, 60,,,,,,,,,,, 151, 1, 1623,, 151,,,,,,,,,,,,,,, , 60,,,,,,,,, 1623, 1, 151,,,,,,,,,,,,,,,, 60, 90, 1, 60,,, 90, 1, 151,, 90,, 151,, 90,, 151,, 3575, 60, 90, 1, 151,, 90,, 151, 90, 1, 151,, 90,,,,, , 1623, 90, 1,,,,,, 60, 1,,, 90,, 151,, 90,, 151,, 3575, 60, 90, 1, 151, 90, 1, 151, 90, 1,,, 1623, 90, 1,,,, 887, 109, 1623,, 151, 1, 887, 109, 1, 52, 109, 1, 52,, 887, 109, 1623,, 1, 887, 109, 52,,, 1, 60,, 151,, 1623, 60,, 1, 72,,,,,,,,,,,,,,,,, 2962, 1,,,, 72, 1, 2962, 960, 768,, 1, 72,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 130,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 72,, ,,,,,, 130,,,, 1958, 5134,, 4525, 1010,, 1, 84, 1010, 130, 72, 84, 1010, 130, 72, 1, 84,,,, 72,,,,,,,, 130,,,, 84, 1010, 130, 72, 84, 1010, 130, 72, 1, 84, 1010, 130, 72, 84, 1010, 130, 72, 1, 84,,,, 72,,,,,,,, 130,,,,, , 1010, 84, 72, 130, 1010, 84, 72, 130, 1, 84,,,, 72,,,,,,,, 130,,,,,, 1010, 84, 72, 130, 1010, 84, 72, 130, 1, 1010, 84, 72, 130, 1010, 84, 72, 130, 1, 84,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1958,,,,,,,, 84,,,,,,,,,,,,, , 1958,,, 4526, 84, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 72, 2962, 1,,,, 72, 1, 2962, 960, 768,, 1, 72,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,, 130,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 5134, 1958,, 2962, 4525, 10634,, 1, 130, 72, 84, 1010, 130, 72, 84, 1010, 1, 84,,,, 130, ,,,,,, 72, 84, 1010, 130, 72, 84, 1010, 1, 130, 72, 84, 1010, 130, 72, 84, 1010, 1, 84,,,, 72,,,,,,,, 130,,,,,, 72, 130, 1010, 84, 72, 130, 1010, 84, 1,,,,, 130,,,, 72, 130, 1010, 84, 72, 130, 1010, 84, 1, 72, 130, 1010, 84, 72, 130, 1010, 84, 1,,,,, 72,,,,,,,, 130,,,, 84,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,, 1958,,,,,, 84,,,,,,,,,,,,,, 1958, 960, 4526, 1, 84,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,, 960,,,,,,,,,,,, 768,,,,,,,,,,,, 84,,,, 1958, 84, 4526, 1, 960, 84, 4526, 1, 84,,,,,,,, 768,,,,,,,,,,,, 84,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,, 1958,,,,,,,,,,,, 84,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1958, 84, 4526, 1, 960, 84, 4526, 1, 84,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 768,,,,,,,,,,,,,,,,,,, ,,,,,,, 72,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,, 4525,,, 1, 72,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,, 3037,, 768,,,,,,,,,,,, 130,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 7464, 130, 1,, 7464,, 1,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 3037 ], nrs := [ 936, 4,, 2, 5, 2, 2, 5, 2, 6, 2,, 2, 184,,,,, 6, 2,, 2,, 2, 3, 2,, 2, 5, 2, 604,, 3,,, 6, 2,, 2, 7, 2, 5, 2, 93, 2, 2, 2,, 2, 5, 2, 2, 4, 5, 2,, 2, 406,,,, 5, 2,, 2, 2, 2, 2,, 2, 5, 2, 36, 2, 5, 2, 7, 2,, 2, 226, 2, 5, 2, 7, 2,, 2,,,, 5, 2,, 2,, 2, 5, 2, 124,,, 2, 2, 2, 2, 86,,,,, 2, 2, 19,,, 2,, ,, 38,,,,,,, 27,,,,, 5,,,,,,, 513, 2, 5, 2,, 2, 5, 2, 993, 2, 5, 2,, 2, 5, 2, 993, 2, 5, 2,, 2, 5, 2, 897, 2, 5, 2,, 2, 5, 2, 1025, 2, 5, 2,, 2, 5, 2, 865, 2, 5, 2,, 2, 5, 2, 865, 2, 5, 2,, 2, 5, 2, 769, 2, 5, 2,, 2, 5, 2, 641, 2, 5, 2,, 2, 5, 2, 737, 2, 5, 2,, 2, 5, 2, 737, 2, 5, 2,, 2, 5, 2, 641, 2, 5, 2,, 2, 5, 2, 641, 2, 5, 2,, 2, 5, 2, 609, 2, 5, 2,, 2, 5, 2, 609, 2, 5, 2,, 2, 5, 2, 513, 2, 5, 2,, 2, 5, 2,, 2, 5, 2,, 2, 5, 2, 481, 2, 5, 2,, 2, 5, 2, 481, 2, 5, 2,, 2, 5, 2, 385, 2, 5, 2,, 2, 5, 2, 513, 2, 5, 2,, 2, 5, 2, 353, 2, 5, 2,, 2, 5, 2, 353, 2, 5, 2,, 2, 5, 2, 257, 2, 5, 2,, 2, 5, 2, 129, 2, 5, 2,, 2, 5, 2, 225, 2, 5, 2,, 2, 5, 2, 225, 2, 5, 2, , 2, 5, 2, 129, 2, 5, 2,, 2, 5, 2, 129, 2, 5, 2,, 2, 5, 2, 97, 2, 5, 2,, 2, 5, 2, 97, 2, 5, 2,, 2, 5, 2,, 2, 5, 2,, 2, 5, 2, 16384,, 2,, 6,, 2, 2,, , 2,,, 2,, 4,,,, 2,, 2,,,, 2,, 4,, 4,, 4, 4,, 4,,, 2,, 2,, 4,,,,,,, 3,,,,,, ,, 2,, 2,,,,,, 2,,,, 2,, 4, 4,, 2, 2, 2,, 8,,,,,,, 2,,, 2,, 2,, 2, 2,,, 2, 2,, 2,,,,, 2,,,,,,, 2,,, 2,,,,,,,,,,,, 2,,,,,,,, 2,,, 2,,, 2, 4,, 3, 2, 2,, , 2,,,, 4,,,,, 2,,,, 2,, 4,, 4,,, 4,, 2,,,, 3,,,,,,,,, 2,,, 2,,,,,,,, 2,, 2, 4,,, 2,,,, 2, 2,, 8,,,,,,,, 2,,, 2, 2, 2, 3,, 3,,, 2,,,,,, 2,,,,, 2,,,,, , 2,, 28,,, 28,,,,, 24,,, 64,,,,, 16,,, 16,,,,, 4,,, 6,,,,, 4,,, 4,,,,, 2, 2,,,,,, 2, 2,,,,,, 2,,,,,, 2,,,, 6,,, 4, 2,, 3, 2,,,, 2,,,,, 21,,,,, 20,,,, ,,,,, 20,,,,,,, 20,, 2,, 16,,, 16,,,, 17,,, 16,, 3,,,,, 2,, 2,,,, 2,,,,,,, 2,,,,, 4,,,,,,, 4,,,,,,, 4,, 3,, 2,,,, 2,,,,,, 2,, 20,,, 20,,,,, 20,,, 52,, ,,, 16,,, 16,,,,, 4,,,,, 4,,,,,,,,,,,,,,, 9,,, 17,,, 16,,,,, 16,,,,, 80,,,, ,,,,,,,,,,,,,,,,,,, 3,, 6,, 7,, 5,, 6,, 6,, 5,, 5,, 5,,,, 3,, 5,,, 3,, 5,, 2,, 5,,,, 6,, 5,, 4,, 4,, 4,,,,,,,,,,,,, 6,,,, 5,,, 4,,,, 5,,,,, 2,, 5,,,, , 5,, 5,, 4,,,,,,, 7,, 9,, 10,, 8,, 4,,,,, 4,,,,, 4,,, 4,,, 20,,,,, 2,, 5,, , 4,, 4,,, 4,,,,, 4,,, 12,, 2,, 4,,,,, 3,,,,, 2,,,,,,,,,,,,,,, 2,,,,,, 2,,, ,,,,,, 5,,,,,,, 2,,,,,,,,, 2,,,,, 3,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,,, ,,,,, 2,,,,,,,,,,,,,,,,,,,,,,, 2,, 2, 2, 4,, 2, 2, 2, 4,, 2,,, 16,,, 2, 2, 2, 2, 2, 2, 2, 2,,,, 16,,, 2,,,,,, 2,,,,,,,,,,,, 2, 2, 2,, 2,,,,,, 2, 2,,, , 4,,,, 4,,,,,,,,,,,,, 2,,,,,,,,, 2,,,,, 2,,, 3,,,,,,,,,,,,,,,,,,,,, 2,, 2, 2, 4, 4, 4,, 2,,, 16,,,, 2,, 2,, 2,, 2,,, 16,,, 2,,,,, 2,,,,,,,,,,, 2,, , 2,,, 2,, 2,, 2, 2, 2,, 3,, 2,,,,,,,,, 2,,,, 2,,,, 2, 2, 6, 2, 2, 2, 6,, 6,, 25,, 6,, 22,, 4,, 21,, 7, 2, 2, 2, 6,, 6,, 18,, 7,, 16,, 5,, 17,, 21,, 23,, 18,, 16,, 18,, 17,, 17,, 16,, 6,, 6,, 4,, 9,, 5,, 6,, 3,, 5,, 7,, 2,, 5,, 3,, 8,,, 6,,,, 5,, 6,, 4,,,, 2,,,,, 2,,, 6, 2, 2, 2, 6,,, 4,, 20,, 3,, 19,, 5, 2, 2, 2, 6,, 5,, 16,, 4,, 16,, 20,, 19,, 16,, 17,, 16,, 17,, 16,, 3,, 6,, 2,, 8,, 3,, 6,, 2,, 4,, 5,, 2,, 4,, 2,, 7,,, 6,,, 3,, 4,, 3, 2,, 2, ,,, 2,, 4, 2, 4, 2, 2,, 9,,,,, 2, 2, 4, 2, 4,,, 17, 8, 32,,,, 4, 2, 4, 2, 2, 9,,,, 2, 2, 4, 2, 4,, 9, 8, 32, 4, 2, 2, 2, 6, 22, 2, 2, 6,, 34,, 51,, 4,, 5,, 3,, 7,, 3,, 4,, 2,, 9, 3, 2, 2, 2, 6, 2, 2, 2, 6,, 48,, 2,, 2,, 2, , 4,, 2,, 2,, 2,, 8, 16,,, 2, 2, 6,, 6,, 9,, 6,, 6,, 4,, 5,, 7,, 6,, 2,, 7, ,, 5,,,, 5,, 7,, 2,,, 2,,,,, 2,,, 6,,, 4,, 4,, 3,, 3,, 5,, 5,,, 4,,, 4,, 3, ,,, 2,,,, 2,, 2,,,,,,, 2,,,,,,, 2,,,,, 2,,, 4, 4,, 2,, 3,,, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41,,,,,,,,,,, 2,,, 2,, 2,, 2,, 2, 41, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 329, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 306, 2,, 2,, 2,, 2, 9, 4, 2, 4,,, 2,,, 2,, 4,, 2,,,, 2,,, 8, 4, 2, 4, 11, 2,, 2,, 2,, 2, 9, 4, 2, 4, 5,, 2,,,, 2,,, 4,, 2,,,, 2,,, 8, 4, 2, 4, 138, 2,, 2,, 2,, 2, 9, 2, 2, 4, 2, 2, 4, 2,,,, 2,,,, 8, 4, 2, 4, 10, 2,, 2,, 2,, 2, 9, 2, 2, 4, 2, 2, 4, 2,,,, 2,,,, 4, 2,,,, 2,,,, 8, 4, 2, 4, 202, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 322,, 3,, 2,,,, 980, 4, 10, 4, 2, 4, 38, 4, 6, 4, 10, 4, 2, 4, 162,,,,,, 4, 4, 10, 4, 2, 4, 38, 4, 6, 4, 10, 4, 2, 4, 202, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 4227,,,,,,,,,,, 2,,, 2,, 2,, 2,, 2, 73, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 296, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 40, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 72, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 264, , 2,,,,,, 4,,,, 2,,,, 2, 10, 4, 2, 4, 8, 2, 2, 4, 2, 2, 4,,,, 2,,,, 2, 4,,, , 2,,,, 2, 10, 4, 2, 4, 9, 2,, 2,, 2,, 2, 8, 2, 2, 4, 2, 2, 132,,, 2,,,, 2, , 10, 4, 2, 4, 9, 4, 2, 4, 5,,, 2,,,, 2,, 4,,, 2,,,, 2,, 10, 4, 2, 4, 8, 2, , 2,, 2,, 2, 10, 4, 2, 4, 139, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 42, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 321,, 2,, 3, 2, 950, 4, 10, 4, 2, 4, 22, 4, 6, 4, 10, 4, 2, 4, 161, 2,,, 6, 4, 10, 4, 2, 4, 22, 4, 6, 4, 10, 4, 2, 4, 170, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 42, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 4451,, 2,, 2, , 3, 2,,,, 2, 67,, 2,, 2,, 3,,, 3,,, 1442, 4, 2, 4, 9,, 2,,,, 2,, 2, 4, 2, 4, 10, 4, 2, 4, 10,, 3,, 3,, 2, 2,,,, 2, 34, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 42, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 490,, 3,, 3,, 2, 2,,,, 2, 1522, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 42, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 9,, 2,,,, 2,, 2, 4, 2, 4, 10, 4, 2, 4, 58, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 553,, 2,, 2,, 3,, 3, 3,,, 1632,, 3,, 3,, 2,, 2,,,,, 2, 4385, 2,, 2,, 2,, 2, 73, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41, 2,, 2,, 2, , 2, 9, 2,, 2,, 2,, 2, 296, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41, 2,, 2,, 2, , 2, 9, 2,, 2,, 2,, 2, 1037,,,,, 73, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 296, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 41, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 2998,, 7651,, 2,, 2,, 3,,, 3,,, 457, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 169, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 72, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 161, 4, 2, 4, 10, 4, 2, 4, 10,, 3,,,, 2, 65, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 169, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 72, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 8, 2, 2, 4, 2, 2, 2522,, 13544 ] );