CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

Views: 418346
#############################################################################
##
#W  sml1536.acb            GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 1536 ].2nil[ 80 ] := rec( ops :=
[ 2, 65,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 894,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,, 7718, 2, 65,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,, 525,,,,,,, 862, 2,,,,,,,,,,, 880,,,,,,,, 883,,,,,,,,,,,, 
  2531, 525,, 2, 380, 525, 2, 862,, 525, 2531, 380, 2,,,,,,,,,,, 880,,,,,,,, 
  380,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  2531, 525,, 2, 380, 525, 2, 862,, 525, 2531, 2, 880,,,,,,,, 380,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 525,,,,,,,, 880,,,
  ,,,,, 862,,,,,,,,,,,, 883,,,,,,,,,,,, 525,,,,,,,, 880,,,,,,,, 862,,,,,,,,,,
  ,, 883,,,,,,,,,,,, 525,,,,,,,, 880,,,,,,,, 862,,,,,,,,,,,, 883,,,,,,,,,,,, 
  525,,,,,,,, 880,,,,,,,, 862,,,,,,,,,,,, 883,,,,,,,,,,,, 380,,,,,,,,,,,,,,,,
  ,,,,,, 883,,,,,,,,,,,, 2531, 525,, 2, 380, 525, 2, 862,, 525, 2531, 2, 380,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 883,,,,,,,,,,,, 880,,,,,,,, 525,,,,,,, 
  862, 2,,,,,,,,,,, 380,,,,,,,,,,,,,,,,,,,,,, 883,,,,,,,,,,,, 2531, 525,, 2, 
  380, 525, 2, 862,, 525, 2531, 2, 380,,,,,,,,,,,,,,,,,,,,, 525, 2904, 2, 
  291,, 525, 2904, 2, 525,, 880,, 291,,,,,,,, 883,,,,,,,,,,,, 291,,,,,,,,,,,,
  ,,,, 2531, 11474, 2, 291, 525, 2904, 2, 862,, 291,,,,,,,,,,,,,,,, 525, 
  2904, 2, 291,, 525, 2904, 2, 525,, 880,, 291,,,,,,,, 862,,,,,,,,,,, 525, 
  2904, 2, 291,, 525, 2904, 2, 525,, 880,, 862,,,,,,,,,,,, 525,,,,,,,, 880,,,
  ,,,,, 862,,,,,,,,,,,, 883,,,,,,,,,,, 13253, 10754, 4249, 11152, 5299, 
  11936, 2, 291,, 1420,,,,,,,, 1895, 8598, 2, 2070,, 5224,, 2070, 14772, 
  8598, 2, 2070,,,,,,,, 1177,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  4249, 9169,, 2,,, 13369,, 9169, 1420, 4249, 2,, 4278, 8121, 2, 4421, 4278, 
  8121, 5299, 2,,,,,,, 5224,,,,,,, 1895, 2,,,,,,,,,, 5293, 9885,, 2,,, 
  14535, 1420, 2, 9885, 1420, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 4421,,,,,,,
  , 3699,,,,,,,,,,,, 4257,,,,,,,, 4870, 184,,,,, 2, 4249,,, 5293, 2,, 6505, 
  184,,,,,, 2, 4278,, 1895, 184, 2,,, 2743, 184,,,,,, 2, 184,,,,,,,,,,,, 
  3513, 184,,,,, 2,,,,, 1177, 5621, 2, 4421, 1177, 5621, 2, 1177,,, 1415, 2,,
  ,,,,,,,,,,,,,,,,,,,,, 2328, 184,,,,,, 2, 1177,, 1415,, 9098, 9102,, 4870, 
  184,, 2, 1177,, 1415, 184, 2, 2743, 184,,,,,, 2, 184,, 2328, 184,,,,,, 2, 
  1177,, 1415,, 2328, 184,,,,,, 2, 1177,, 1415,, 1177, 5621, 2, 4421, 1177, 
  5621, 2, 1177,,,, 1415,,,,,,,,,,,,,,,,,,,,,,,, 2743, 184,,,,,, 2, 2328, 
  184,,,,,, 2, 1177,, 1415,, 184,, 2328, 184,,,,,, 2, 1177,, 1415,, 3513, 
  184,,,,, 2, 2743, 184,,,,,, 2, 184,, 6336, 184,,,,,, 2, 9095, 9102,, 3513, 
  184,, 2, 13258, 8309, 97, 3522,,,,, 2, 105, 778, 2,,,,,, 1254, 2, 105, 
  778, 1254, 2, 105,,,,,,, 1254, 778,, 105, 2,, 1254, 778,, 1904, 2106, 2, 
  105, 1904, 2106, 2, 105,,,,,,,,, 2106, 1904,,,, 2, 105,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,, 778, 2,,,,,, 1254, 2, 105, 778, 1254, 2, 105,,,,,,, 1254, 778,, 
  105, 2,, 1254, 778,, 2, 105,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 778, 2,,,,,, 
  1254, 2, 105, 778, 1254, 2, 105,,,,,,, 1254, 778,, 105, 2,, 1254, 778,,,, 
  2, 105, 778, 1254, 2, 105,,,,,,, 1254, 778,, 105, 2,, 1254, 778,, 2, 105,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 778, 2,,,,,, 
  1254, 2, 105, 778, 1254, 2, 105,,,,,,, 1254, 778,, 105, 2,, 1254, 778,,,, 
  2, 105, 778, 1254, 2, 105,,,,,,, 1254, 778,, 105, 2,, 1254, 778,, 2, 4236,,
  ,,,,,, 2487,,,,,,,,,, 105,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2348,,,,,,,,,,,, 
  105,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,, 2348,,,,,,,,,,,, 105,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 937, 2538, 2, 105, 937, 2538, 2, 105,,,,,
  ,, 2538, 937,, 105, 2,, 2538, 937,, 2, 105,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 184, 2,, 849,,,,,,, 2, 105,,,,,,,,,,, 9103, 
  5805, 184, 849, 2, 105,,, 184, 2,, 849,,,,,,, 2, 105,,,,,,,,,,, 184, 849,,,
  ,,,, 2, 105,,,,,,,,,,, 184, 2,, 849,,,,,,, 2, 105,,,,,,,,,,, 184, 849,,,,,,
  , 2, 105,,,,,,,,,,, 184, 2,, 849,,,,,,, 2, 105,,,,,,,,,,,, 3530,,,,,,,,,,,
  , 937,,,,,,,, 184,,,,,,,,,,,,,,,,,, 937, 2538, 2, 105, 937, 2538, 2, 105,,,
  ,,,, 2538, 937,, 105, 2,, 2538, 937,, 2, 105,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 184, 849,,,,,,, 2, 105,,,,,,,,,,, 184, 2,
  , 849,,,,,,, 2, 105,,,,,,,,,,, 184, 849,,,,,,, 2, 105,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,, 1904, 2106, 2, 105, 1904, 2106, 2, 105,,,,,,,,, 
  2106, 1904,,,, 184, 2,, 849,,,,,,, 2, 105,,,,,,,,,,, 9103, 5805, 184, 849, 
  2, 105,,,, 2487,,,,,,,,,, 1904,,,,, 184, 2, 1904, 2106, 2, 105, 1904, 
  2106, 2, 105,,,,,,,,, 2106, 1904,,,, 3321, 633, 97, 1056, 2, 633, 6448,,, 
  2, 3530,,, 2487, 2,, 633, 2,, 4046,,, 2, 633,, 3189, 633,, 2, 633,,,, 
  3321, 4803,,, 633, 1891, 97, 3522, 1056, 6393, 105, 2,,,, 633, 1891,,,,,,, 
  2, 105,,,,,,,,,,, 3189, 4045, 633, 1891, 3189, 4045, 2, 105,,,,, 633, 1891,
  ,,,,,, 2, 105,,,,,,,,,,, 633, 6164,,, 2, 2348,,, 9569, 2,, 13257, 8307, 
  3321, 4803, 97, 3522, 1056, 6393, 3189, 4045, 633, 1891, 3189, 4045, 2, 
  105,,,,, 3214, 4084, 633, 1891, 3214, 4084, 2, 105,,, 1254, 778,, 6392, 
  4930,, 3214, 633,, 2, 778, 4930, 3214, 4084, 633, 1891, 3214, 4084, 2, 105,
  ,, 1254, 778,, 6392, 4930,, 1795, 633, 2,, 4046,,, 2, 1795, 4786,,, 633, 
  1891, 2, 105,,,,, 13256, 8305, 1795, 4786, 2, 105,, 291,,,,,,,, 8881,, 
  2930,,,, 1558,, 2458,, 1558,,,,,, 2458,, 1056,,,, 2930,,,, 1558,, 2411,, 
  1558,,,, 2411,, 1558,, 2257,,,,,,,,,, 2458,,,, 9223,, 2411,,,,,, 2938,,,,,,
  ,,,,,, 2411,, 5233,, 2458,,,, 2930,, 1558,, 2458,, 2411,, 2930,, 1558,, 
  2458,, 1558,, 2411,, 1558,, 2930,, 1558,, 2930,, 1558,,,,,, 2930, 827, 2, 
  8227, 291, 2,,,,, 1558,, 827,, 1558,, 827,, 2458,, 1558,, 827,, 2458,, 
  1558,, 827,, 1056,,,, 827,,,, 2411,, 827,,,, 2411,, 827,, 2257,, 7110, 
  2257, 2,,, 827,,,,,,,,,,,,,,,,,, 2411,, 827,, 2411, 827, 2, 8467,, 2938,, 
  827,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 8227, 291, 2,,,,, 
  1558,, 827,, 2458,, 1558,, 827,, 1558,, 827,, 1558,, 827,, 2458,, 1056,,,, 
  827,,,, 2411,, 827,,,, 2411,, 2257,, 7110,, 2257,, 827,,,,,,,,,,,,,,,, 
  2411, 8467, 2, 2938,, 827,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1558,
  , 291,, 8477, 291, 2, 1558,, 1140,, 1974,, 1558, 1140, 2, 1974,, 1558,, 
  1140,, 1974,, 1056, 8165, 5254, 2, 1056, 5254, 1505, 2,, 1140, 2, 1974,, 
  3012,, 1505,,,,,,,,,, 3012, 1505, 2,,, 1974,, 1140,, 1505,, 3012, 1505, 2,,
  , 1974,, 1140,, 1974,, 1140,, 1974,, 1140,, 1974,, 1140,,,, 1974,, 1140,, 
  1974,, 1140,, 1974,, 1140, 1974, 2, 1140,, 1974,, 3012, 1505, 2,, 3012,, 2,
  , 1974, 2, 1140,, 1505, 3012, 1558, 2, 291,,,, 1558,, 1140,, 2458,, 1558, 
  1140, 2, 5233,, 12905, 1056, 2,,, 2257,,,, 1140,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,, 2458,, 1140,,,,,, 2458, 1140, 2,,,,,,,,,, 1558, 2, 291, 
  8477, 2, 8165,, 1056, 5254, 1505, 2,,,,, 3012,, 1505,,,, 1140, 1974, 2, 
  1505,, 3012, 1505, 2,,, 1974,, 1140,, 1974,, 1140,, 1974,, 1140,, 1974,, 
  1140,,,, 1974,, 1140,, 1974,, 1140,, 1974,, 1140, 1974, 2,,, 1140,, 1505, 
  3012,, 2,, 3012,, 2,, 1140, 2, 1974,, 3012, 1505,, 2, 291,, 6599, 1056,, 
  2, 1805,,,,,,,,,, 5233,, 1558,, 2930,, 1805,, 6005,, 2930,, 1805,,,,, 
  6005, 2, 1805,,,,,,,,,,,,,,, 8761, 2, 291,, 1056,, 2938,,,, 5233,, 2458,, 
  1558,, 2930,, 2411,, 1558,, 2930,, 1558,, 2411, 1558, 2, 2458,, 2257,,,, 
  8881,, 9223,, 291,, 6599, 1056,, 1805, 5233, 2, 1558,, 2411, 6005, 1805, 2,
  , 6005, 2930, 1805, 2,, 8761, 1056, 11649, 12135, 2458, 12295, 7110, 
  10556, 2, 2628,,,,,,,, 4439,,,,,,,, 2628,,,,,,,,,,,,,,,,,,,,,,,, 5920,, 
  655,,,,,,,,,, 4439,, 655,, 5920,, 655,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 783,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,, 4439,, 8161,, 783, 8161, 2, 783,, 655,,,,,,,,,,, 5920, 4439,, 
  2, 5204,,,, 3135,, 5204, 3135, 2,,, 5204,,, 783, 2,, 11596, 7377, 12451, 
  10381, 13901, 2124, 7225, 11952, 12552, 8166, 937, 3462, 1927, 2996, 7255, 
  4725, 13302, 8498, 13912, 8500, 4960, 4744, 14638, 12215, 2538, 8500, 
  14199, 8498, 937, 3462,,, 2, 1133,,,,,,,,, 937, 3462,,, 2, 1133, 12673, 
  8338, 4960, 4744,,,,, 14097, 12348, 13483, 8338, 1927, 2996, 2, 1133,,,,, 
  1927, 2996, 2, 1133,,,,, 1927, 2996,,, 9230, 8504, 4960, 4744, 14164, 
  12227, 4960, 4744, 9230, 8504, 14774, 12427, 14561, 12359, 7255, 4725, 2, 
  1133, 14240, 8508, 2, 1133, 7255, 4725, 956, 2998, 14562, 8586, 12453, 
  10406, 5249, 3267, 1927, 9271, 13913, 8499, 2, 6397,, 12216,, 6397, 14210, 
  8499, 9256, 5807, 2, 1133,,,,, 1927, 2996, 9256, 5807, 5999, 1927,, 2, 
  1927, 5999, 956, 2998, 2, 1133,,,,,,, 956, 2998, 2, 1133, 956, 2998, 2, 
  1133, 956, 2998,, 5876, 2, 8509,, 956, 5876,, 2, 9273, 12517, 8149, 184, 
  8575, 1795, 5859, 8633, 4989, 13904, 11770, 12446, 10376, 184, 8916, 13, 
  3136,,,,,,, 9902, 13, 1928,,, 6642,, 13,,,,,,, 14702,, 5306,, 2,, 5306,, 
  2, 9206, 13, 7191,, 2,, 7191,, 2,, 1928, 14579, 13, 1928,,,,, 14706, 13, 
  1928,,,, 14711,, 2831,, 7191,, 2,,,, 2831, 3545, 13, 3721,, 2831, 3545, 
  13, 4957,, 2831, 3545, 13, 2,, 2831, 3545, 13, 2,,,,,, 10031,, 10035,, 2, 
  4941, 7297, 2, 13, 3526,,,,, 9700, 9206, 13, 5306,, 2, 5306, 13, 2,,,, 
  2482, 12373, 13, 2482,,, 14490, 13, 2482,, 14511,, 2,, 3545, 2831, 13, 
  3712,, 3545, 2831, 13, 9807, 3545, 2831, 13, 2, 3545, 2831, 13, 2,,,,,, 
  9770,, 3211,, 2, 7297, 4941, 2, 5306, 11931, 13, 3136,,, 9902, 13042, 
  2482, 13,, 10086, 13, 2482,,,, 14570, 2, 9770, 3211, 2, 3712, 9807, 2, 13, 
  3526,,, 9700, 2, 10031, 10035, 2, 3721, 4957, 2, 146 ], nrs :=
[ 289, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 
  5, 2,, 2, 341, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 1365, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 
  2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 341, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 
  2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 5140,,,, 4,,,, 21, 2,, 2, 64,,
  ,, 4,,,, 21, 2,, 3,,, 4,,,, 21, 2,, 3,,, 2,, 2,, 2, 325, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 341, 2,, 2, 
  5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  341, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 
  5, 2,, 2, 1365, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 341, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 
  5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 1365, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 341, 2,, 2, 5, 2,, 2, 21, 2,, 2, 
  5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 5461, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 341, 2,, 2, 
  5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  1365, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 
  2, 5, 2,, 2, 341, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 
  2, 21, 2,, 2, 5, 2,, 2, 21588, 4, 12, 4, 8, 4, 4, 4,,,, 17, 2, 4,,,, 5, 2, 
  129, 2, 13, 2, 13, 2,, 2, 257, 2, 20,,,, 4,,,,, 2, 3328,,,, 5, 2, 4,, 2, 4,
  , 2,,,, 5, 2, 16,,,, 5, 2,, 2, 13, 2, 13, 2,, 2, 128,,,, 5, 2, 16,,,, 5, 3,
  ,, 5, 2, 16,,,, 5, 2, 1024,,,, 5, 2, 16,,,, 5, 2, 64,,,, 5, 2, 16,,,, 5, 
  2, 320,,,, 5, 2, 16,,,, 5, 3,,, 5, 2, 16,,,, 5, 2,,,, 5, 2, 4,, 2, 4,, 2,, 
  2, 13, 2, 13, 2,, 2, 64,,,, 5, 2, 16,,,, 5, 3,,, 5, 2, 16,,,, 5, 2, 1024,,,
  , 5, 2, 16,,,, 5, 2, 64,,,, 5, 2, 16,,,, 5, 2, 320,,,, 5, 2, 16,,,, 5, 3,,
  , 5, 2, 16,,,, 5, 2, 320, 4, 12, 4, 8, 4, 4, 4, 193, 2, 13, 2, 13, 2,, 2, 
  768,,,, 17, 2, 4,,,, 5, 2, 1409, 2, 20,,,, 4,,,,, 2, 576, 4, 12, 4, 8, 4, 
  4, 4, 129, 2, 13, 2, 13, 2,, 2, 640,,,, 17, 2, 4,,,, 5, 2, 1281, 2, 20,,,, 
  4,,,,, 2, 640, 4, 12, 4, 8, 4, 4, 4,, 2, 13, 2, 13, 2,, 2, 640,,,, 17, 2, 
  4,,,, 5, 2, 961, 2, 20,,,, 4,,,,, 2, 576, 4, 12, 4, 8, 4, 4, 4,, 2, 13, 2, 
  13, 2,, 2, 512,,,, 17, 2, 4,,,, 5, 2, 833, 2, 20,,,, 4,,,,, 2, 320,,,, 5, 
  2, 16,,,, 5, 3,,, 5, 2, 16,,,, 5, 2, 65, 2, 20,,,, 4,,,,, 2, 384,,,, 5, 2, 
  4,, 2, 4,, 2, 64,,,, 5, 2, 16,,,, 5, 2, 64,,,, 5, 2, 16,,,, 5, 3,,, 5, 2, 
  16,,,, 5, 2, 321, 2, 20,,,, 4,,,,, 2, 321, 2, 13, 2, 13, 2,, 2, 320, 4, 
  12, 4, 8, 4, 4, 4,,,, 17, 2, 4,,,, 5, 2, 384,,,, 5, 2, 16,,,, 5, 3,,, 5, 
  2, 16,,,, 5, 2,, 2, 20,,,, 4,,,,, 2, 256,,,, 5, 2, 4,, 2, 4,, 2, 64,,,, 5, 
  2, 16,,,, 5, 3,,, 5, 2, 16,,,, 5, 2,, 2,, 2, 4,, 2, 4, 4,, 2,, 2,, 2, 5, 2,
  , 2, 21, 2, 20,,,, 4,,,,, 2,, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 340,,,
  , 2,, 2,, 2,, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 84,, 2,, 2, 4,, 2, 4, 
  4,, 2,, 2,, 2, 5, 2,, 2, 276,,,, 17, 2, 4,,,, 5, 2,, 2,, 2, 4,, 2, 4, 4,, 
  2, 128,,,, 17, 2, 4,,,, 5, 2, 64, 4, 12, 4, 8, 4, 4, 4,, 2, 13, 2, 13, 2,, 
  2, 64,,,, 17, 2, 4,,,, 5, 2,, 2, 20,,,, 4,,,,, 2,,,,,,,, 2,, 2, 5, 2, 16, 
  2, 5, 2,,,,, 2, 5,,, 2,,, 65, 2,, 2, 21, 2,, 2, 68,,,, 4,,,,, 2, 5, 2, 16,,
  ,, 4,,,,, 2, 5, 2, 336,,,, 4,,,,, 2, 5, 2, 16,,,, 4,,,,, 2, 5, 2, 16,,,,,,,
  , 4,,,,,,,,,,,,,,, 4,,,,,, 9,, 4,, 6,,,,, 4,,,, 21, 2,, 2,,,,,, 5,, 2,,,, 
  1025, 2, 5, 2, 16, 2, 5, 2, 2, 2, 5, 2, 16, 2, 5, 2, 322, 2, 5, 2, 16, 2, 
  5, 2, 2, 2, 5, 2, 16, 2, 5, 2, 66,,,,,,,, 17, 2, 5, 2, 16,,,, 4,,,,, 2, 5, 
  2, 16, 2, 5, 2, 321,,, 2,,, 4, 8,,,,,,,,,, 4,,,, 9, 2,, 2, 16, 24, 16, 24,,
  ,, 4,,,, 12, 16, 24, 16, 24, 16, 24, 16, 24, 16, 24, 16, 24,,, 2,,, 4, 12, 
  16, 24, 16, 24,,,,,,,, 2, 5, 2,,,, 4,,,, 5, 2,, 2, 80,,,, 4,,,, 5, 2,, 2, 
  16,,,, 4,,,,, 2,, 2, 8,,,,,,,, 2,, 2, 16, 24,,,, 4,,,, 12, 16, 24,,,, 4,,,,
  , 2,, 2, 8,,,, 4,,,,, 2,, 2, 8,,,,,,,, 2, 5, 2, 64,,,, 4,,,, 5, 2,, 2, 16,,
  ,, 4,,,, 5, 2,, 2, 16,,,, 4,,,, 12,,,, 4,,,,, 2,, 2, 8, 16, 24,,,, 4,,,,, 
  2,, 2, 8,,, 2,,, 4, 12,,,, 4,,,, 12, 16, 24,,,, 4,,,, 12,,,,,,, 4,, 2,, 2,
  , 2,, 2,, 2, 4, 4, 4, 16, 4, 4, 5, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,,,,,,,,, 2,
  , 2,, 2,, 2,, 2,, 2,, 3,,,,, 2,,, 65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 
  2,, 2,, 2,, 2,, 2,, 2,,, 4, 4, 4, 16, 4, 4, 5, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,
  ,,,,,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 65, 
  2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 
  2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 65, 2,, 2,, 2,, 2,, 2,, 2,
  , 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,
  , 2,, 2,, 2,, 2,, 2,, 2,,, 65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 
  2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 
  2,,, 65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 4, 
  4, 4, 16, 4, 4, 5, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,,,,,,,,, 2,, 2,, 2,, 2,, 2,
  , 2,, 2,,,,,,,,,, 65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 
  2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 4, 
  4, 4, 16, 4, 4, 5, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,,,,,,,,, 2,, 2,, 2,, 2,, 2,
  , 2,, 2,,,,,,,,,,, 2,, 2, 5, 2,, 2, 85, 2, 5, 2, 20,,, 2,,, 1537, 2,, 2,, 
  2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 65, 2,, 2,, 2,, 2,, 2,
  , 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,
  , 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 
  2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 
  2,, 2,,, 65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 
  2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 65, 2,, 2,, 2,
  , 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2, 5, 2, 16,,,, 4,,,,, 
  2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 65, 2,, 2,, 2,
  , 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,
  , 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2, 5, 2, 16,,,, 4,,,,, 2,, 2,, 2,, 
  2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 65, 2,, 2,, 2,, 2,, 2,, 2,
  , 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,,,,,,,
  , 65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,
  , 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,, 16, 24,, 2,, 2,, 2,
  , 2,, 2,, 3,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2, 16, 24,, 2,, 2,, 2,, 2,, 2,, 3,
  , 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,, 16, 24,, 2,, 2,, 2,, 
  2,, 2,, 3,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,, 16, 24,, 2,
  , 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,,, 2, 5, 2, 16,,,, 4,,,, 64, 4, 4, 4, 16, 
  4, 4, 4, 256, 16, 24, 16, 24, 16, 24, 16, 24, 16, 24, 16, 24, 16, 24, 16, 
  24, 16, 24,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,,,,,,,, 65, 2,, 2,, 2,, 2,, 2,, 2,
  , 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,
  , 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,, 16, 24,, 
  2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,, 
  65, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,, 2,, 2,, 2,, 2,,,, 2,, 2,, 
  2,, 2,, 2,, 2,, 3,,,,, 2,,, 16, 24,, 2,, 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,,, 
  2,, 2,, 2,, 2,, 2, 5, 2, 20,,, 2,,, 64, 4, 4, 4, 20, 8, 16, 24,, 2,, 2,, 2,
  , 2,, 2,, 2,, 3,,,,, 2,,, 8, 4, 4, 4, 8,, 2, 5, 2, 8,,,,,,, 16, 24,, 2, 5, 
  2, 12, 16, 24, 4, 4, 4, 12, 16, 24, 16, 24,, 2,, 2,, 2,, 2,, 2,,, 2,,,, 2,
  , 2,, 2,, 2,, 2,, 3,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 3,,,, 2,, 2,, 2,, 2,, 
  2,, 3,, 2,, 2,, 2,,,, 2, 5, 2, 8,,,,,,,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 3,
  ,,, 2,, 2,, 2,, 2,, 2,,,,,,, 4, 4, 4, 8, 4, 4,, 2,, 2,, 2,, 2,, 2,,,,,,, 
  8, 4, 12,, 2, 5, 2, 12,, 2,, 2,, 2,, 3,, 2,,,, 2,, 2,, 2,, 2,, 2, 5, 2,, 
  2, 20,, 64,, 62,, 60,, 51,, 11,, 63,, 62,, 49,, 9, 8, 7, 8, 80,, 60,, 58,, 
  35,, 23,, 61,, 31,, 27,, 49, 2, 19, 3,,, 4,,,, 30,, 62,, 48,, 622,, 85,, 6,
  , 52,,,, 16,,,, 5, 2,, 2,,, 54,, 43,, 78,, 511,, 2,, 10,, 14,, 27,, 2,, 12,
  , 44,, 20,, 32,, 272,, 2,, 50,, 2,, 55,, 52,, 208,,, 50,, 2, 5, 2,, 2, 16,
  , 7,, 42,, 6,, 32,, 7,, 6,, 33,, 7,, 4,, 39, 4, 4, 8, 16,, 43,, 26,, 14,, 
  39,, 28,, 11,, 39, 2, 8,,, 4, 2, 16,, 43,, 36,, 36,, 35,, 31,, 32,, 32,, 
  31,, 24,, 17,, 10, 2,, 25,, 5, 2, 8,, 23,, 22,, 20,, 21,, 18,, 19,, 17,, 
  16,, 17,, 14,, 14,, 13,, 20,, 11,, 11,, 8,, 4,, 7,, 7,, 4,,,, 2,, 2,,,,,, 
  5, 2,, 2, 14,, 7,, 30,, 5,, 6,, 36,, 4,, 36,, 4,, 30,, 5, 4, 4, 8, 12,, 38,
  , 25,, 10,, 34,, 25,, 10, 2, 8,, 4,, 21,, 34,, 34,, 31,, 27,, 30,, 30,, 27,
  , 22,,, 5, 2, 6,, 23,, 21,, 20,, 19,, 18,, 16,, 17,, 16,, 15,, 15,, 12,, 
  21,, 10,, 10,, 9,, 5,, 6,, 6,, 5, 2, 3,, 3, 2,,, 3, 2,,,, 12,, 3,, 6,, 29,,
  , 6,, 26,,,, 4,, 24,,,, 4,, 2,,,,,,, 28,, 9, 3,, 2,,,, 2, 8,,,,,,, 12,,,, 
  13, 2, 8,,,,, 3,, 10,, 10,, 11,, 9,, 8,, 9,, 8,, 12,, 4,, 10,, 4,, 8,,,, 9,
  ,, 5,,,, 4,, 2,,,,,,,,,,,, 2,, 3, 2,,, 14,,,, 5,, 27,,, 4,, 24,, 2, 4, 6, 
  8,, 9, 2, 4,, 47,, 28,, 27,, 26,, 29,, 24,, 23,, 22,, 13,, 19,, 20,, 17,, 
  13,, 17,, 16,, 15,, 21,, 12,, 9,, 10,, 4,, 4,, 8,, 6,, 5,,, 7,, 3,, 2,,,,,,
  ,, 2,, 12,, 4,, 2,,,,, 2, 8,,, 2,,, 12,,, 14, 2, 8,,,,,,, 10,, 13,, 8,, 10,
  , 9,, 9,, 8,, 14,, 4,, 10,,,, 9,, 2,, 8,,, 5,,,, 4,,,,,,,,,,,,,,,,,, 2, 
  100,,,,, 2, 36,,,,, 2,, 2, 2,, 83,, 3,, 19,,,, 3,, 3,,,,, 2,,,, 6,,,,, 2, 
  23,,,, 6,, 2, 2,,, 2, 56, 4, 34,,,, 36,, 9,,,, 2,, 11,, 3,, 2,, 14,, 16,,,,
  , 38,,,, 17,, 14,,, 2, 4,,,,,, 5,, 6,,,,, 2,,,,, 2,,,,,,,,, 306,, 1333,, 
  1143,, 92,, 858,, 52,, 54,, 52,, 198,, 891,, 934,, 258,, 926,, 685,, 708,, 
  192,, 617,, 662,, 544,, 41,, 650,,,, 4,,,,, 2,, 2,,, 22,,,, 4,,,,, 2,, 2, 
  96,,,, 4,,,,, 2,, 2, 24,,,, 4,,,,, 2,, 2, 115,,,, 4,,,,,,, 3,,, 4,,,,,,, 
  2, 115,,,, 4,,,,, 2,, 2,,, 4,,,,, 2,,, 1588,,,,, 2,, 2, 24,,,,, 2,, 2, 80,,
  ,, 5, 2,, 2, 20,,,, 5, 2,, 2, 100,,,, 4,,,,, 3,,, 4,,,,, 2, 100,,,, 4,,,,, 
  3,,, 4,,,,, 2, 32,,, 2,,, 8,,, 2,,, 112,,,,,, 8, 2,,, 7, 2, 2, 2, 33, 2,, 
  2, 2, 2, 340,,, 2, 5,,, 2, 68,,,, 4,,,, 5, 2,, 2, 16,, 4,,, 2,,, 2, 148, 
  2, 2, 2, 4, 2, 2, 2, 8,,,,,,, 4,, 29,, 10, 2,,, 4, 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, 5,,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2,,,, 12, 5, 2,, 2,
  , 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 5, 2, 4,, 2, 4,, 2,, 2,, 2,, 2,,,,
  ,,,, 2,, 2, 5, 2, 5, 2,, 2,, 6, 4, 6, 2,, 2, 4, 2, 2, 2, 4, 2,,, 10,, 18,, 
  9,, 18,,, 3,, 17,, 2,, 16,, 4,,,, 2, 4, 2, 2, 2,, 2, 2, 6, 4,,, 4,,,, 18,, 
  26,, 4,,, 8,, 4,,, 8,, 2,,, 22,, 2,,, 22,, 26,, 24,, 10,, 10,, 20, 4,,, 
  24, 2, 2, 6, 2,, 2,,,,, 17,,, 16,, 18,, 2,,, 4, 2, 2, 2,, 5, 4,,, 14,, 2,,
  , 4,, 2,,, 4,,,, 12,,,, 12,, 14,, 12,, 4,, 4,, 8, 2,,, 20,,, 5, 2,, 2,,, 
  3, 6, 2,,, 2, 4, 2,,,,,, 4,,,, 5, 2,, 2,,,,, 4,,,, 15 ] );