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.ah             GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 1536 ].2nil[ 8 ] := rec( ops :=
[ 149, 7, 1, 67, 7, 302,,, 1, 7,,,,,, 39,,, 7, 149,,,,,, 1,,, 39, 7, 149,,, 
  1, 7,,,,,, 39,,, 7, 149,,,,,, 1, 39, 7, 149,,, 1, 7,,,,,,,, 39,,, 7, 149,,,
  ,,, 1, 39,,, 7, 149,,,,,, 1, 39,,, 7, 149,,,,,, 1,,, 39,,, 7, 149,,,,,, 1, 
  39,,,,,,,,,,,,,,,,,,,, 150,,,,,, 39,,,,,,,,,,,,,,,,,,,, 150,,,,,, 39,,,,,,,
  ,,,,, 67,,,,,,,, 150,,,,,, 39,,,,,,,,,,,, 67,,,,,,,, 150,,,,,, 39,,,,,,,,,,
  ,, 150,,,,,, 39,,,,,,,,,,,, 150,,,,,, 39,,,,,,,,,,,, 150,,,,,, 39,,,,,,,,,,
  ,, 150,,,,,, 39,,, 7, 149,,,,,, 1, 39, 7, 149,,, 1, 7,,,,,,,,,,,,,,,,,,,, 
  39,,, 7, 149,,,,,, 1, 67, 7, 302,,, 1, 7,,,,,,,,,,,,, 479, 1, 419, 479,, 
  7, 1169,,,,, 1, 39,,, 7, 149,,,,,, 1, 67, 7, 302,,, 1, 7,,,,,,,,,,,,,,,, 
  39,,, 7, 149,,,,,, 1,,,,,,,,,,,,,,,,, 39,,, 7, 149,,,,,, 1,,,,,,,,,,,,, 39,
  ,, 7, 149,,,,,, 1,,,, 479, 1, 419, 479,, 7, 1169,,,,, 1, 7,,,,,,,, 39,,, 
  7, 149,,,,,, 1, 67, 7, 302,,, 1, 7,,,, 39,,, 7, 149,,,,,, 1,,, 39, 7, 149,,
  , 1, 7,, 39,,, 7, 149,,,,,, 1, 39, 7, 149,,, 1, 7,, 206,, 340, 206,, 7, 
  948,,,,, 1, 340,,,,,,,,,,,, 206,,,,,,,,,,,, 340,,,,,,,,,,,, 206,,,,,,,,,,,
  , 39,,, 7, 149,,,,,, 1, 39,,, 7, 149,,,,,, 1,,, 39,,, 7, 149,,,,,, 1, 39,,,
  ,,,,,,,,,,,,,,,,, 150,,,,,, 39,,,,,,,,,,,,,,,,,,,, 150,,,,,, 39,,,,,,,,,,,
  , 67,,,,,,,, 150,,,,,, 39,,,,,,,,,,,, 67,,,,,,,, 150,,,,,, 39,,,,,,,,,,,, 
  150,,,,,, 39,,,,,,,,,,,, 150,,,,,, 39,,,,,,,,,,,, 150,,,,,, 39,,,,,,,,,,,, 
  150,,,,,, 340,, 206, 340,, 948, 7,,,,,, 1, 7,,,, 340,, 206, 340,, 948, 7,,,
  ,,, 1, 7,, 340,, 206, 340,, 948, 7,,,,,, 1, 340,,,,,,,,,,,, 206,,,,,,,,,,,
  , 340,,,,,,,,,,,, 206,,,,,,,,,,, 67, 1,, 302, 7,,,, 39, 1,, 149, 7,,,, 1, 
  7,,,,,,,,,,,,,, 67,,, 302, 7,,,, 39, 1,, 149, 7,,,, 1, 7,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,, 67,,, 302, 7,,,, 39, 1,, 149, 7,,,, 1, 7,,,,,,,,,,,, 67,,, 
  302, 7,,,, 39, 1,, 149, 7,,,, 1, 7,,,,,,,,,,,, 39,,, 149, 7,,,, 1, 7,,,,,,,
  ,,,,,,,,,,,,,,,,,,, 419, 479, 1, 419, 479, 1169, 7,,,,,, 1, 7,,,,,,,,,,,,,,
  ,, 39,,, 149, 7,,,, 1, 7,,,,,,,,,,,,,,,,,,,,,,,,,,,, 419, 479, 1, 419, 
  479, 1169, 7,,,,,, 1, 7,,,, 419,,,,,,,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 479,
  ,,,,,,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 419,,,,,,,,,,,, 67,,,,,,,,, 39, 1,,,
  ,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 479,,,,,,,,,,,, 67, 7, 302,,, 1, 7,,,,, 
  479, 1, 419, 479,, 7, 1169,,,,, 1, 7,,,,,, 67, 7, 302,,, 1, 7,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,, 479, 1, 419, 479,, 7, 1169,,,,, 1, 206,, 340, 206,, 7, 
  948,,,,, 1, 340,,,,,,,,,,,, 206,,,,,,,,,,,, 340,,,,,,,,,,,, 206,,,,,,,,,,,
  , 39, 7, 149,,, 1, 7,, 39, 7, 149,,, 1, 7,, 39,,,,,,,, 150,,,,,, 39,,,,,,,
  , 150,,,,,, 67,,,,,,,, 150,,,,,, 67,,,,,,,, 150,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,, 67, 7, 302,,, 1, 7,,,,,,,,,, 67, 7, 302,,, 1, 7,,,,,,,, 479, 419, 1, 
  479, 419, 7, 1169,,,,, 1, 7,,,, 479, 419, 1, 479, 419, 7, 1169,,,,, 1, 7,,,
  ,,,,,,,,, 39, 7, 149,,, 1, 39, 7, 149,,, 1, 340,,,,,,,,,,,, 206,,,,,,,,,,,,
  ,, 340,,,,,,,,,,, 206, 1,,,,,,,,,,,,, 39,,,,,,,, 150,,,,,, 39,,,,,,,, 150,,
  ,,,, 67,,,,,,,, 150,,,,,, 67,,,,,,,, 150,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 206,
  , 340,, 206, 340, 7, 948,,,,, 1, 39,,, 7, 149,,,,,, 206, 1, 340,, 206, 
  340, 7, 948,,,,, 1, 340,,,,,,,,,,,, 206,,,,,,,,,,,,,, 340,,,,,,,,,,, 206, 
  1,,,,,,,,,,,,, 39,,, 7, 149,,,,,, 1, 67, 7, 302,,, 1, 7,,,, 39,,, 7, 149,,,
  ,,, 1, 39,,, 7, 149,,,,,, 1, 39,,, 7, 149,,,,,, 1,,, 39, 7, 149,,, 1, 7,, 
  39,,, 7, 149,,,,,, 1, 39, 7, 149,,, 1, 7,, 39,,, 7, 149,,,,,, 1,,, 39,,, 
  7, 149,,,,,, 1, 39,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 67,,
  ,,,,,, 39,,,,,,,,,,,, 67,,,,,,,, 39,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,, 7, 149,,,,,, 1, 67, 7, 302,,, 1, 206,, 340, 206,, 7, 948,,,,, 
  1, 340,,,,,,,,,,,, 206,,,,,,,,,,,, 340,,,,,,,,,,,, 206,,,,,,,,,,,, 39,,, 
  7, 149,,,,,, 1, 39,,, 7, 149,,,,,, 1,,, 39, 7, 149,,, 1, 39,,, 7, 149,,,,,
  , 1, 39, 7, 149,,, 1, 39,,, 7, 149,,,,,, 1,,, 39,,, 7, 149,,,,,, 1, 39,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 67,,,,,,,, 39,,,,,,,,,,,, 
  67,,,,,,,, 39,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 149, 7,,,
  , 1, 7,, 39,,, 149, 7,,,, 1, 7,, 340,, 206,, 340, 206, 7, 948,,,,, 1, 7, 
  340, 1, 206,, 340, 206, 7, 948,,,,, 1, 340,,,,,,,,,,,,,, 206,,,,,,,,,,, 
  340, 1,,,,,,,,,,,,, 206,,,,,,,,,,,, 7,,,,, 419, 1, 479, 419,, 7, 1169,,,,, 
  1, 7,,,, 419,,,,,,,,,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 67,,,,,,,,, 39, 1,,,,
  ,,,,, 479,,,,,,,,,,,, 419,,,,,,,,,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 479,,,,,
  ,,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 206,, 340, 206,, 7, 948,,,,, 1, 340,,,,,
  ,,,,,,, 206,,,,,,,,,,,, 340,,,,,,,,,,,, 206,,,,,,,,,,,, 39, 7, 149,,, 1, 
  39,,,,,,,,,,,,,,,, 67,,,,,,,,,,,,,,,, 340,,,,,,,,,,,, 206,,,,,,,,,,,,,, 
  340,,,,,,,,,,, 206, 1,,,,,,,,,,,,, 39, 7, 149,,, 1, 39,,,,,,,,,,,,,,,, 67,,
  ,,,,,,,,,,,,,, 340,, 206, 340,, 948, 7,,,,,, 1, 340,,,,,,,,,,,, 206,,,,,,,,
  ,,,, 340,,,,,,,,,,,, 206,,,,,,,,,,,, 419,,,,,,,,,,, 67, 1,,,,,,,, 39, 1,,,,
  ,,,,, 479,,,,,,,,,,, 67, 1,,,,,,,, 39, 1,,,,,,,,, 419,,,,,,,,,,, 67, 1,,,,,
  ,,, 39, 1,,,,,,,, 67, 1,,,,,,,, 39, 1,,,,,,,,, 479,,,,,,,,,,,, 419,,,,,,,,,
  ,,, 479,,,,,,,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 150,,,,,, 67,,,,,,,,, 39, 1,
  ,,,,,,,, 150,,,,,, 419,,,,,,,,,,,, 479,,,,,,,,,,,, 340,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,, 67, 1,,,,,,,, 39, 1,,,,,,,,, 150,,,,,, 67,,,,,,,,, 39, 1,,,,
  ,,,,, 150,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 150,,,,,, 67,,,,,,,,, 39, 1,,,,,
  ,,,, 150,,,,,, 479,,,,,,,,,,,, 67,,,,,,,,, 39, 1,,,,,,,,, 150,,,,,, 67,,,,,
  ,,,, 39, 1,,,,,,,,, 150,,,,,, 479,,,,,,,,,,,, 419,,,,,,,,,,,, 206,,,,,,,,,,
  ,,,,,,,,,,,,,, 39,,,,,,,,,,,,,,,,,,,, 150,,,, 39,,,,,,,,,,,, 67,,,,,,,, 39,
  ,,,,,,,,,,, 67,,,,,,,, 479,,,,,,,,,,,, 419,,,,,,,,,,,, 39,,,,,,,,,,,, 150,,
  ,, 479,,,,,,,,,,,, 39,,,,,,,,,,,, 419,,,,,,,,,,,, 206,,,,,,,,,,,,,,,,,,,,,,
  ,, 39,,,,,,,,,,,, 67,,,,,,,, 39,,,,,,,,,,,, 67,,,,,,,, 419,,,,,,,,,,,, 39,,
  ,,,,,,,,,,,,,,,,,, 419,,,,,,,,,,,, 39,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,, 150,,,, 479,,,,,,,,,,,, 39,,,,,,,,,,,, 419,,,,,,,,,,,, 39,,,,,,,,,,,
  , 206,,,,,,,,,,,, 39,,,,,,,,,,,, 150,,,, 39,,,,,,,,,,,, 419,,,,,,,,,,,, 39,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 419,,,,
  ,,,,,,,,,, 479,,,,,,,,,,,,,, 39,,,,,,,,, 150, 1,,,,, 340,,,,,,,,,,,,, 39, 
  1,,,,,,,,, 150,,,,,, 39,,,,,,,,,, 150,,,,,, 479,,,,,,,,,,,,, 39, 1,,,,,,,, 
  150, 1,,,,, 479,,,,,,,,,,,, 419,,,,,,,,,,,, 206,,,,,,,,,,,, 419,,,,,,,,,,, 
  8047, 5108, 5126, 10317, 11472, 20, 1024,, 11051,, 1,, 1153,, 5126, 724, 
  2383, 20,,,,, 10690, 1871, 20, 5726,,, 11441, 20, 1, 2383, 20, 5726, 7329, 
  5126, 8047, 11400, 1871, 1, 11476,, 1871,,, 20, 1104,,, 324, 20, 1441,, 
  1200,, 1,, 4596, 445, 20, 1,, 5371,, 1,,,,,,, 5108, 20,, 8041, 5370, 1, 
  20, 1441, 1778, 20, 1, 2367, 20, 1,, 1778, 4596, 20, 1,, 1200,, 1, 38,, 
  11351,, 1820,, 11330,, 10704, 20, 7431, 11515, 7821, 20, 1, 10515, 7821, 
  1, 8002, 6948, 1575, 5108, 11501, 20, 1, 1575, 1441, 1, 324,, 10520, 
  11475, 5370, 1, 7431, 6948, 11488, 38, 1, 8002, 8094, 8041, 1, 7467, 95,, 
  1, 147, 11122, 10964, 11499, 1, 5769,, 5135, 8094, 1204, 20, 1486,, 403,, 
  5596,, 1,,,,,, 5596,, 1,, 4555, 5126, 10775, 20, 164,, 1, 6966,, 2177, 
  10344, 10370, 20, 1,, 3576,, 1,,,,, 10786, 20, 961, 2796, 10942, 1, 2796,,,
  ,, 20, 5596, 1, 10311,, 6853,, 20, 5596, 1, 5668,, 137,, 11165,, 3121,, 
  11009, 11163, 1, 27,, 361, 10766, 3121, 494, 8034, 1, 361,, 11410, 11007, 
  11154, 11155, 5135, 7328,, 1, 137,,,, 6966,, 361,, 5135, 6966, 1, 11161,, 
  5135, 11348, 11492, 11085, 179, 10308, 10365, 10483, 211, 404, 1, 1463, 
  10323, 10371, 1187, 4658, 211, 10364, 757, 753, 15, 757, 753, 4, 264,, 
  631, 15, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1, 757, 753, 15, 757, 753, 4, 264,
  , 631, 15, 4,,,,,,,,,,,,,,,,,,,,,,,,,,, 1, 15, 4, 757, 753, 15, 757, 753, 
  4, 264,, 631, 15, 4,,,,,,,,,,,,,,,,,,,,,,, 1, 757, 753, 15, 757, 753, 4, 
  264,, 631, 15, 4,,,,,,,,,,,,,,,,,,,,,,, 1, 15, 4,,,,,,, 757, 753, 15, 757, 
  753, 4, 264,, 631, 15, 4,,,,,,,,,,,,, 1, 15, 4,,,,,,, 757, 753, 15, 757, 
  753, 4, 264,, 631, 15, 4,,,,,,,,,,, 1, 15, 4,,,,,,,,, 757, 753, 15, 757, 
  753, 4, 264,, 631, 15, 4,,,,,,, 1, 15, 4,,,,,,, 757, 753, 15, 757, 753, 4, 
  264,, 631, 15, 4,,,,,,, 1, 757, 753, 15, 757, 753, 4, 264,, 631, 15, 4,,,,,
  ,,,,,,,, 1, 757, 753, 15, 757, 753, 4, 264,, 631, 15, 4,,,,,,,,,,, 1, 15, 
  4, 757, 753, 15, 757, 753, 4, 264,, 631, 15, 4,,,,,,, 1, 757, 753, 15, 
  757, 753, 4, 264,, 631, 15, 4,,,,,,, 1, 757, 753, 15, 757, 753, 4, 264,, 
  631, 15, 4,,,,, 1, 757, 753, 15, 757, 753, 4, 264,, 631, 15, 4,,, 1, 15, 
  4, 757, 753, 15, 757, 753, 4, 264,, 631, 1, 757, 753, 15, 757, 753, 4, 264,
  , 631, 1, 95,,,,,,, 147, 1,,,,,,, 332,,,,,,, 324, 1,,,,,,, 147,,,,,,,, 95,,
  ,,,,,, 324,,,,,,,, 332,,,,,,,,,,,,,,, 324, 1,,,,,,, 95,,,,,,, 147, 1,,,,,,
  , 324,,,,,,,, 332,,,,,,, 147, 1,,,,,,, 95,,,,,,,, 4, 137, 1, 361, 4, 1223, 
  1242, 4, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 137,, 361, 4, 1223, 1242, 4, 1,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,, 137,, 361, 4, 1223, 1242, 4, 1,,,,,,,,,,,,,,,,,,,,
  ,,,,,,, 137,, 361, 4, 1223, 1242, 4, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  137, 1, 361, 4, 1223, 1242, 4, 1,,,,,,,,,,,,,,,,,,,,,, 137, 1, 361, 4, 
  1223, 1242, 4, 1,,,,,,,,,,,,,,,,,, 137, 1, 361, 4, 1223, 1242, 4, 1,,,,,,,,
  ,,,,,,,, 137, 1, 361, 4, 1223, 1242, 4, 1,,,,,,,,, 137,, 361, 4, 1223, 
  1242, 4, 1,,,,,,,,,,,,,,, 137,, 361, 4, 1223, 1242, 4, 1,,,,,,,,,,,,,, 
  137, 1, 361, 4, 1223, 1242, 4, 1,,,,,,,,, 137,, 361, 4, 1223, 1242, 4, 1,,,
  ,,,,,,,,,,, 137, 1, 361, 4, 1223, 1242, 4, 1,,,, 137, 1, 361, 4, 1223, 
  1242, 4, 1, 137,, 361, 4, 1223, 1242, 4, 1,,, 137,, 361, 4, 1223, 1242, 4, 
  1, 137,,,,,,,, 361,,,,,,,,,,,,,,,, 137,,,,,,,, 361,,,,,,,, 137,,,,,,,,,,,,,
  ,,, 361,,,,,,,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 61,,,,,,
  ,,,,,,,,, 147, 95, 324, 332, 61, 1072,,, 1, 61,,, 137, 361, 1, 61, 1851,,,
  , 1,,,,,,,,,,,,,,,,,,,,,,,, 147, 95, 324, 332, 61, 1072,,, 137, 361, 1, 
  61, 1851,,,, 1,,,,,,,,, 1951, 1938, 324, 1777, 2953, 61, 1851, 1072, 85, 
  1, 1777, 61, 85, 1, 1777, 61, 85, 1, 1777, 61, 1,,,,,,,, 85, 1,,,,,,, 
  1951, 1938, 324, 1777, 2953, 61, 1851, 1072, 85, 1, 1777, 61, 85, 1, 1777, 
  61, 1,,,,,,,, 85, 1,,,,,,,,, 1777, 61, 1951, 1938, 324, 1777, 2953, 61, 
  1851, 1072, 1, 61,,,,,,, 85, 1,,,,,,, 1951, 1938, 324, 1777, 2953, 61, 
  1851, 1072, 1, 61,,,,,,, 85, 1,,,,,,, 61,,,,,,, 147, 95, 324, 332, 61, 
  1072,,, 1, 61, 137, 361, 1, 61, 1851,,,, 1,,,,,,,,,, 147, 95, 324, 332, 
  61, 1072,,, 137, 361, 1, 61, 1851,,,, 1, 147, 95, 324, 332, 61, 1072,,, 
  137, 361, 1, 61, 1851,,,, 1,,,,, 137, 361, 1, 61, 1851,,,, 147, 95, 324, 
  332, 61, 1072,,, 1, 332,,,,,,,, 324,,,,,,,, 95,,,,,,, 147, 1,,,,,, 137, 1,,
  ,,,,, 361,,,,,,,, 85, 1938, 1, 361, 95, 85, 1938, 1, 361, 95, 1951, 85, 1, 
  147, 137, 85, 1951, 1, 137, 147, 85, 1,,,,,,, 332,,,,,,,, 1951, 85, 1, 
  147, 137, 85, 1951, 1, 137, 147, 85, 1938, 1, 361, 95, 85, 1938, 1, 361, 
  95, 1, 324,,,,,,,, 4,,,,,,,,,,,,,,,,, 147, 95, 332, 324, 631, 264, 4, 631, 
  264, 137, 361, 1, 1242, 1223, 4,, 1242, 1, 4,,,,,,,,,,,,,,,,,,,,,,,,, 147, 
  95, 332, 324, 631, 264, 4, 631, 264, 137, 361, 1, 1242, 1223, 4,, 1242, 1, 
  4,,,,,,,, 85,, 976, 4, 1383,, 1951, 1938, 332, 3734, 5362, 4, 3734, 2953, 
  85, 1, 976, 4, 1383,, 85, 1, 976, 4, 1383,, 1,,,,,,,, 85, 1,,,,,,, 1951, 
  1938, 332, 3734, 5362, 4, 3734, 2953, 85, 1, 976, 4, 1383,, 85, 1, 976, 4, 
  1383,, 1,,,,,,,, 85, 1,,,,,,, 1951, 1938, 332, 3734, 5362, 4, 3734, 2953, 
  85, 1, 976, 4, 1383,, 1,,,,,,,, 85, 1,,,,,,, 1951, 1938, 332, 3734, 5362, 
  4, 3734, 2953, 1, 4,,,,,,, 85, 1,,,,,,, 4,,,,,,,,, 147, 95, 332, 324, 631, 
  264, 4, 631, 264, 1, 4, 137, 361, 1, 1242, 1223, 4,, 1242, 1, 4,,,,,,, 
  147, 95, 332, 324, 631, 264, 4, 631, 264, 137, 361, 1, 1242, 1223, 4,, 
  1242, 1, 137, 361, 1, 1242, 1223, 4,, 1242, 147, 95, 332, 324, 631, 264, 
  4, 631, 264, 1, 4,,,, 147, 95, 332, 324, 631, 264, 4, 631, 264, 137, 361, 
  1, 1242, 1223, 4,, 1242, 1, 324,,,,,, 332,,,,,,,, 147,,,,,,,, 95,,,,,,,, 
  361,,,,,,,, 137,,,,,,,, 1951, 85, 1, 147, 137, 85, 1951, 1, 137, 147, 85, 
  1938, 1, 361, 95, 85, 1938, 1, 361, 95, 85, 1,,,,,,, 324,,,,,, 85, 1938, 
  1, 361, 95, 85, 1938, 1, 361, 95, 1951, 85, 1, 147, 137, 85, 1951, 1, 137, 
  147, 1, 332,,,,,,,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,, 85,, 976, 1383, 4, 85, 1, 976, 1383, 4, 85, 1, 976, 1383, 4, 
  85, 1, 976, 1383, 4, 1,,,,,,,,,,,, 85, 1,,,,,,,,, 976, 1383, 4, 85, 1, 
  976, 1383, 4, 85, 1, 976, 1383, 4, 85, 1, 976, 1383, 4, 1,,,,,,,,,,,, 85, 
  1,,,,,,,,, 976, 1383, 4, 85, 1, 976, 1383, 4, 85, 1, 976, 1383, 4, 85, 1, 
  976, 1383, 4, 1,,,,,,,,,,,, 85, 1,,,,,,,,, 976, 1383, 4, 85, 1, 976, 1383, 
  4, 85, 1, 976, 1383, 4, 85, 1, 976, 1383, 4, 1,,,,,,,,,,,, 85, 1,,,,,,, 4,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 85,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 95,,,,,,,, 137,,,,,,,, 95,,,,,,
  , 137, 1,,,,,,, 44,,,,,,,,,,,,,,,, 137, 95, 1, 44, 1682,,, 1, 137, 95, 1, 
  44,,,,,,,,,,,,,,,,,,,,,,,,,,,, 137, 95, 1, 44, 1682,,, 1, 137, 95, 1, 44,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,, 137, 95, 1, 44, 1682,,, 1, 137, 95, 1, 44,,,,,,,,
  ,,,,,,,, 137, 95, 1, 44, 1682,,, 1, 137, 95, 1,,,,,,,,, 137,,,,,,,, 95,,,,,
  ,, 137, 1,,,,,,, 95,,,,,,, 137, 1,,,,,,,,,,,,,,, 95,,,,,,,,,,,,,,,, 137,,,,
  ,,,, 95,,,,,,, 137, 1,,,,,,, 95,,,,,,, 137, 1,,,,,,,,,,,,,,, 95,,,,,,,,,,,,
  ,,,, 137,,,,,,,, 95,,,,,,, 137, 1,,,,,,,, 95, 1, 44, 1682,,, 1, 137, 95, 
  1, 44,,,,,,,,,,,, 137, 95, 1, 44, 1682,,, 1, 137, 95, 1, 44,,,,,,,,,,,, 
  137, 95, 1, 44, 1682,,, 1, 137, 95,,, 1, 44, 1682,,, 1, 137, 95, 1 
 ], nrs :=
[ 2,, 2, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 
  2, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 
  6, 2, 2, 8, 16, 8, 16, 8, 16, 264, 16,, 2,, 2,, 2,, 4,, 2,, 257, 2,, 2,, 2,
  , 4,, 2,, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 257, 2,
  , 4,, 2, 2, 2,, 4,, 2, 35, 6, 2, 2, 2, 6, 2, 2, 169, 2,, 4,, 2, 162, 2,, 4,
  , 2, 2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 169, 2,, 4,, 2, 162, 2,, 4,, 2, 
  2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 137, 2,, 4,, 2, 130, 2,, 4,, 2, 2, 2,
  , 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 105, 2,, 4,, 2, 130, 2,, 4,, 2, 2, 2,, 4,
  , 2, 106, 2,, 4,, 2, 34, 2,, 4,, 2, 2, 2,, 4,, 2, 74, 2,, 4,, 2, 34, 2,, 4,
  , 2, 2, 2,, 4,, 2, 42, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 10, 2,, 4,, 
  2, 2, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16, 8, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16,, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 6, 
  2, 2, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16,, 2,,,, 2,, 3, 2,,, 
  257, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16, 8, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 8, 16, 8, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 264, 16,, 2,, 2,, 2,, 4,, 2,, 8, 16, 8, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 8, 16,, 2,,,, 2,, 
  3, 2,,, 8, 16, 8, 16, 8, 16, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 6, 
  2, 2, 8, 16, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 2, 4, 2, 6, 2, 2, 8, 
  16, 257, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 6, 2, 2, 8, 16, 257,,,,,, 2,, 3, 2,,
  , 35,, 2,,, 2, 2,, 3, 2,,, 33,, 2,, 3, 2, 2,, 3, 2,,, 3,, 2,,, 2, 2,, 3, 2,
  ,,,, 2,, 3, 2, 2,, 3, 2,,,, 2,, 2,, 2,, 4,, 2,, 257, 2,, 2,, 2,, 4,, 2,, 
  8, 16, 257, 2,, 2,, 2,, 4,, 2,, 257, 2,, 4,, 2, 2, 2,, 4,, 2, 35, 6, 2, 2, 
  2, 6, 2, 2, 137, 2,, 4,, 2, 162, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 2, 2, 2, 
  6, 2, 2, 137, 2,, 4,, 2, 162, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 
  2, 2, 105, 2,, 4,, 2, 130, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 
  2, 73, 2,, 4,, 2, 130, 2,, 4,, 2, 2, 2,, 4,, 2, 106, 2,, 4,, 2, 34, 2,, 4,
  , 2, 2, 2,, 4,, 2, 74, 2,, 4,, 2, 34, 2,, 4,, 2, 2, 2,, 4,, 2, 42, 2,, 4,, 
  2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 10, 2,, 4,, 2, 2,,,,,,, 3,, 2,,,, 8, 16, 8, 
  16,,,,,,,, 3,, 2,,,, 8, 16,,,,,,,, 3,, 2,,,, 33,, 2,, 3, 3, 3,, 2,,,, 35,, 
  2,,, 3, 3,, 2,,,,,, 2,, 3, 3, 3,, 2,,,, 3,, 2,,, 3, 3,, 2,,,, 2, 2, 2, 2, 
  2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 
  16, 8, 16, 256, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 4, 8, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 256, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 
  4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 256, 2, 2, 2, 2, 2, 2, 2, 4, 
  2, 2, 2, 2, 2, 2, 2, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 256, 2, 
  2, 2, 2, 2, 2, 2, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16,,,,,,,, 3,, 2,,,, 264, 16, 8, 16, 8, 
  16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 256, 2, 2, 2, 2, 2, 2, 2, 4, 8, 16, 
  8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 16, 
  264, 16, 8, 16, 8, 16,,,,,,,, 3,, 2,,,, 8, 16, 8, 16, 1441,, 2,, 3, 3, 3,, 
  2,,,, 256, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 450,, 3, 
  2,, 2, 3,, 2,,,, 192, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 
  4, 993,, 2,, 3, 3, 3,, 2,,,, 960, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 
  6, 2, 2, 2, 4, 640, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 
  386,, 3, 2,, 2, 3,, 2,,,, 258, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16,, 2,,,, 
  2,, 3, 2,,, 8, 16, 8, 16, 8, 16, 258, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16, 
  8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 
  8, 16, 8, 16, 8, 16, 8, 16,, 2,,,, 2,, 3, 2,,, 257,,,,,, 2,, 3, 2,,, 35,, 
  2,,, 2, 2,, 3, 2,,, 33,, 2,, 3, 2, 2,, 3, 2,,, 3,, 2,,, 2, 2,, 3, 2,,,,, 2,
  , 3, 2, 2,, 3, 2,,, 2, 4, 2, 6, 2, 2, 8, 16, 258, 4, 2, 6, 2, 2, 8, 16, 
  1026, 6, 2, 2, 2, 6, 2, 2, 105, 2,, 4,, 2, 163, 6, 2, 2, 2, 6, 2, 2, 105, 
  2,, 4,, 2, 131, 6, 2, 2, 2, 6, 2, 2, 73, 2,, 4,, 2, 131, 6, 2, 2, 2, 6, 2, 
  2, 41, 2,, 4,, 2, 202, 2,, 4,, 2, 106, 2,, 4,, 2, 42, 2,, 4,, 2, 10, 2,, 4,
  , 2, 3, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 258, 4, 2, 6, 2, 
  2, 8, 16, 8, 16, 8, 16, 8, 16,,,,,,, 3,, 2,,, 2, 264, 16, 8, 16,,,,,,, 3,, 
  2,,, 2, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 258, 4, 2, 6, 2, 2, 
  258, 4, 2, 6, 2, 2, 290,, 3, 2,,, 3,, 2,,, 2, 32,, 3,, 2,,,, 3,, 2,,, 2, 2,
  , 3, 2,,, 3,, 2,,, 2,, 3,, 2,,,, 3,, 2,,, 2, 514, 6, 2, 2, 2, 6, 2, 2, 73, 
  2,, 4,, 2, 163, 6, 2, 2, 2, 6, 2, 2, 73, 2,, 4,, 2, 131, 6, 2, 2, 2, 6, 2, 
  2, 41, 2,, 4,, 2, 131, 6, 2, 2, 2, 6, 2, 2, 9, 2,, 4,, 2, 202, 2,, 4,, 2, 
  106, 2,, 4,, 2, 42, 2,, 4,, 2, 10, 2,, 4,, 2,,,,,,,, 3,, 2,,, 2,, 2,, 2,, 
  2,, 4,, 2,,,,,,,, 3,, 2,,, 2, 34,, 3, 2,,, 3,, 2,,, 2, 32,, 3,, 2,,,, 3,, 
  2,,, 2, 2,, 3, 2,,, 3,, 2,,, 2,, 3,, 2,,,, 3,, 2,,, 2,, 2,, 2,, 2,, 4,, 2,
  , 2, 4, 2, 6, 2, 2, 8, 16, 264, 16,, 2,, 2,, 2,, 4,, 2,, 257, 2,, 2,, 2,, 
  4,, 2,, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 2, 4, 2, 6, 2, 2, 8, 16, 257, 2,, 
  2,, 2,, 4,, 2,, 2, 4, 2, 6, 2, 2, 8, 16, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 
  257, 2,, 2,, 2,, 4,, 2,, 257, 2,, 4,, 2, 2, 2,, 4,, 2, 99, 6, 2, 2, 2, 6, 
  2, 2, 97, 2,, 4,, 2, 2, 2,, 4,, 2, 67, 6, 2, 2, 2, 6, 2, 2, 129, 2,, 4,, 
  2, 2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 97, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 
  6, 2, 2, 2, 6, 2, 2, 97, 2,, 4,, 2, 2, 2,, 4,, 2, 98, 2,, 4,, 2, 2, 2,, 4,
  , 2, 98, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 2,, 2,
  , 4,, 2,, 2, 4, 2, 6, 2, 2, 257,,,,,, 2,, 3, 2,,, 35,, 2,,, 2, 2,, 3, 2,,, 
  33,, 2,, 3, 2, 2,, 3, 2,,, 3,, 2,,, 2, 2,, 3, 2,,,,, 2,, 3, 2, 2,, 3, 2,,,
  , 2,, 2,, 2,, 4,, 2,, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 2, 4, 2, 6, 2, 2, 
  257, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 6, 2, 2, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 
  257, 2,, 2,, 2,, 4,, 2,, 257, 2,, 4,, 2, 2, 2,, 4,, 2, 99, 6, 2, 2, 2, 6, 
  2, 2, 65, 2,, 4,, 2, 2, 2,, 4,, 2, 67, 6, 2, 2, 2, 6, 2, 2, 97, 2,, 4,, 2, 
  2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 65, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 
  2, 2, 2, 6, 2, 2, 65, 2,, 4,, 2, 2, 2,, 4,, 2, 98, 2,, 4,, 2, 2, 2,, 4,, 
  2, 98, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2,, 2, 2, 2, 2, 
  2, 2, 2, 4, 8, 16, 256, 2, 2, 2, 2, 2, 2, 2, 4, 8, 16, 256,,,,,,,,, 2,, 3, 
  2, 8, 16,,,,,,,,, 2,, 3, 2, 32,, 3,, 2,,,,,, 2,, 3, 2, 34,, 3, 2,,,,, 2,, 
  3, 2,, 3,, 2,,,,,, 2,, 3, 2, 2,, 3, 2,,,,, 2,, 3, 2, 8, 16, 8, 16, 8, 16,, 
  2,,,,,, 2,, 3, 2, 264, 16, 264, 16, 544,, 3,, 2,,,,,, 2,, 3, 2, 384, 2, 2, 
  2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 288, 2, 2, 2, 2, 6, 2, 2, 
  2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 259,, 2,,, 2,,, 2,, 3, 2, 480,, 3,, 2,,,,,
  , 2,, 3, 2, 32, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 195,
  , 2,,, 2,,, 2,, 3, 2, 64, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 
  2, 4, 257,,,,,, 2,, 3, 2,,, 35,, 2,,, 2, 2,, 3, 2,,, 33,, 2,, 3, 2, 2,, 3, 
  2,,, 3,, 2,,, 2, 2,, 3, 2,,,,, 2,, 3, 2, 2,, 3, 2,,, 258, 4, 2, 6, 2, 2, 
  578, 6, 2, 2, 2, 6, 2, 2, 98, 6, 2, 2, 2, 6, 2, 2, 34, 6, 2, 2, 2, 6, 2, 
  2, 34, 6, 2, 2, 2, 6, 2, 2, 194,, 3, 2,,, 3,, 2,,, 2, 32,, 3,, 2,,,, 3,, 2,
  ,, 2, 2,, 3, 2,,, 3,, 2,,, 2,, 3,, 2,,,, 3,, 2,,, 2, 2, 4, 2, 6, 2, 2, 
  578, 6, 2, 2, 2, 6, 2, 2, 66, 6, 2, 2, 2, 6, 2, 2, 2, 6, 2, 2, 2, 6, 2, 2, 
  2, 6, 2, 2, 2, 6, 2, 2, 129,,,,,,, 3,, 2,,,, 33,, 2,, 3, 3, 3,, 2,,,, 35,, 
  2,,, 3, 3,, 2,,,,,, 2,, 3, 3, 3,, 2,,,, 3,, 2,,, 3, 3,, 2,,,, 417,, 2,, 3, 
  3, 3,, 2,,,, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2,, 3, 
  2,, 2, 3,, 2,,,, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 33,
  , 2,, 3, 3, 3,, 2,,,, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 
  4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2,, 3, 2,, 2, 3,, 
  2,,,, 513,, 2,, 3, 3, 3,, 2,,,, 225,, 2,, 3, 2, 3,, 2,,, 2, 160, 2, 2, 2, 
  2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 256, 2, 2, 2, 2, 4, 136, 2, 
  2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 256, 2, 2, 2, 2, 4, 233,
  , 2,, 3, 3, 3,, 2,,,, 257,, 2,, 3, 2, 3,, 2,,, 2, 65,, 2,, 3, 3, 3,, 2,,,, 
  65,, 2,, 3, 3, 3,, 2,,,,,, 2,, 3, 3, 3,, 2,,,, 2, 2, 2, 2, 6, 2, 2, 2, 4, 
  2, 2, 2, 2, 6, 2, 2, 2, 4, 256, 2, 2, 2, 2, 4, 136, 2, 2, 2, 2, 6, 2, 2, 
  2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 256, 2, 2, 2, 2, 4, 136, 2, 2, 2, 2, 6, 
  2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 192, 2, 2, 2, 2, 4, 104, 2, 2, 2, 
  2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 192, 2, 2, 2, 2, 4, 553,, 2,, 
  3, 2, 3,, 2,,, 2, 96, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 
  4, 160, 2, 2, 2, 2, 4, 104, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 
  2, 2, 4, 160, 2, 2, 2, 2, 4, 201,, 2,, 3, 2, 3,, 2,,, 2, 225,, 2,, 3, 3, 3,
  , 2,,,, 65,, 2,, 3, 2, 2,, 3, 2,,, 65,, 2,, 3, 2, 2,, 3, 2,,,, 2,, 4,, 2, 
  2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 162, 6, 2, 2, 41, 2,, 4,, 2, 2, 2,, 
  4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 225, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 2, 2, 
  2, 6, 2, 2, 3,, 2,,, 2,,, 2,, 3, 2, 163,, 2,,, 2, 2,, 3, 2,,,, 2,, 4,, 2, 
  2, 2,, 4,, 2, 99, 6, 2, 2, 11,, 2,,, 2,,, 2,, 3, 2,, 2,, 4,, 2, 2, 2,, 4,, 
  2, 4,, 2,,, 2, 2,, 3, 2,,, 99,, 2,,, 3, 3,, 2,,,, 3,, 2,,, 3, 3,, 2,,,, 
  33, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 65, 2,, 4,, 2, 2, 2,, 
  4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 3,, 2,,, 2, 2,, 3, 2,,, 33, 2,, 4,, 2, 2, 2,
  , 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 35,, 2,,, 2, 2,, 3, 2,,,, 2,, 4,, 2, 2, 2,
  , 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 2, 
  2, 2, 6, 2, 2, 98, 6, 2, 2, 10,, 3, 2,, 2, 3,, 2,,,,, 2,, 4,, 2, 2, 2,, 4,
  , 2, 35,, 3, 2,,, 3,, 2,,, 2, 65, 2,, 4,, 2, 2, 2,, 4,, 2, 35,, 3, 2,,,,, 
  2,, 3, 2, 33, 2,, 4,, 2, 2, 2,, 4,, 2, 99, 6, 2, 2, 9, 2,, 4,, 2, 2, 2,, 4,
  , 2, 67,, 3, 2,,, 3,, 2,,, 2,, 2,, 4,, 2, 2, 2,, 4,, 2, 34, 2,, 4,, 2, 2, 
  2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 3, 6, 2, 2, 2, 6, 2, 2, 33, 2,, 4,, 
  2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2,,, 3,, 2,,,,,, 2,, 3, 2, 32,, 
  3,, 2,,,, 2,, 3, 2,,, 32, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 4, 72,, 3,
  , 2,,,,,, 2,, 3, 2, 2, 2, 2, 2, 6, 2, 2, 2, 4, 32, 2, 2, 2, 2, 4, 40, 2, 
  2, 2, 2, 6, 2, 2, 2, 4, 32, 2, 2, 2, 2, 4, 8,, 3,, 2,,,, 2,, 3, 2,,, 2, 2, 
  2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 4, 42,, 3, 2,, 2, 3,, 2,,,, 2,, 3, 2,,, 3,
  , 2,,, 2, 2,, 3, 2,,,,, 2,, 3, 2, 2,, 3, 2,,, 3,, 2,,, 2,,,,,, 2,, 2,, 9,,,
  , 2, 2,,,,, 2,,,,, 3,,, 2,, 10,,,,,,,,,, 2,, 2,,,, 2, 2,, 2,, 2,,,, 6,, 3,,
  , 4,, 3,, 3,, 8,, 6,, 7,,, 2, 2,,,, 2,,,,,,,, 3,,,,,,, 2, 6,,,, 3,,,, 6,,,,
  ,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,,, 2,,,, 2,,,,,,,,,,, 3, 3,,, 5,, 4,, 6,, 7,
  , 2,, 5,, 2,,,,,, 5, 6,, 6,,,, 6,,,,,, 2,, 2,,, 2,,,, 2, 2,,, 4, 2,,,,,,,,,
  ,,, 2,, 4,,,, 5,,,,, 2,,,,,,,, 3,,,,,,,, 3, 2, 2, 2, 2,,, 4, 2,,, 4,, 21,,,
  ,,,,,,,,,,,,,,,,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128,,, 2,,,, 2,, 2, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 
  8, 128, 8, 8,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8, 8, 128,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 8, 8, 8, 8, 8, 8,,
  , 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 8, 8, 
  8, 8, 8, 8,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 
  8, 8, 8, 8, 8, 8,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 128,,, 2,,,, 2,, 
  2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128,,, 2,,,, 2,, 2, 8, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 
  8, 128,,, 2,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 128,,, 2,,,, 2,, 2, 8, 8, 
  8, 8, 8, 8, 128,,, 2,,,, 2,, 2, 8, 8, 8, 8, 128, 8, 8,,, 2,,,, 2,, 2, 128,,
  , 2,,,, 2,, 2, 129, 2, 5, 2,, 2, 5, 2, 2, 5, 2, 2, 2, 5, 2, 193, 2, 5, 2, 
  5, 2,, 2, 2, 5, 2, 6, 2,, 2, 192, 2, 5, 2, 2, 2, 5, 2,, 2, 5, 2,, 2, 5, 2, 
  128, 2, 5, 2, 6, 2,, 2,, 2, 5, 2, 5, 2,, 2, 129, 2, 5, 2, 5, 2,, 2, 2, 5, 
  2, 6, 2,, 2, 65, 2, 5, 2,, 2, 5, 2, 2, 5, 2, 2, 2, 5, 2, 64, 2, 5, 2, 6, 2,
  , 2,, 2, 5, 2, 5, 2,, 2, 2, 5, 2, 2, 2, 5, 2,, 2, 5, 2,, 2, 5, 2, 4, 8,,,,
  , 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 128,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128,,,,, 2, 2,, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128,,,,, 
  2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,, 2, 2,, 4, 8, 4, 8, 
  4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 
  4, 8, 132, 8, 4, 8, 4, 8, 4, 8,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 128,,,,
  , 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128,,,,, 2, 2,, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 
  128,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8,,,,, 2, 2,, 
  132, 8, 4, 8,,,,, 2, 2,, 128,,,,, 2, 2,, 4, 8, 128,,,,, 2, 2,, 128, 2, 6, 
  2,, 2, 4, 2, 2, 2, 4, 2, 2, 2, 4, 2, 418, 2, 4, 2, 2, 2, 4, 2,, 2, 6, 2,, 
  2, 4, 2, 450, 2, 4, 2, 2, 2, 4, 2,, 2, 6, 2,, 2, 4, 2, 33, 2, 6, 2,, 2, 4, 
  2, 2, 2, 4, 2, 2, 2, 4, 2, 5, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4228, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4228, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16,,,,,, 2, 5, 2, 
  4, 16, 4, 16,,,,, 2, 4, 2,, 4, 16, 4, 16, 4, 16, 4, 16, 132, 16, 4, 16, 4, 
  16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16,,,,,, 2, 5, 2,,,,, 2, 4, 2,, 4, 16, 
  4, 16, 4, 16, 4, 16, 128,,,,, 2, 2,,, 2,, 4, 6, 2,, 4, 6, 2,, 4, 6, 4, 16, 
  4, 16, 4, 16, 4, 16, 4, 6, 4, 6, 4, 6, 4, 38,,,,, 2, 2,,, 2,, 4, 6, 2,, 4, 
  6, 4, 16, 4, 16, 4, 16, 4, 16, 4, 6, 4, 6, 4, 6, 4, 38, 2,, 4, 6,,,,, 2, 2,
  ,, 4, 16, 4, 16, 4, 16, 4, 16, 4, 6, 4, 6, 4, 6, 4, 38,,,,, 2, 2,,, 4, 16, 
  4, 16, 4, 16, 4, 16, 4, 6, 4, 6, 4, 6, 4, 42, 16, 4, 16, 4, 16, 4, 16,,,,,
  , 2, 5, 2, 4, 16,,,,, 2, 4, 2,, 4, 16, 132, 16, 4, 16, 4, 16, 4, 16,,,,,, 
  2, 5, 2,,,,, 2, 4, 2,, 128,,,,,, 2, 5, 2,,,,, 2, 4, 2,, 4, 16, 4, 16, 128,,
  ,,, 2, 4, 2,,,,,,, 2, 5, 2, 133, 2,, 2,, 2, 5, 2, 4, 2,, 2, 2, 2, 5, 2, 
  161, 2, 5, 2,, 2, 5, 2, 2, 5, 2, 2, 2, 5, 2, 2, 6, 2,, 2, 4, 2, 2, 2, 4, 
  2, 2, 2, 4, 2, 129,, 2, 2,,,, 2, 2,,, 2,, 2,,,, 2, 2,,, 4, 6, 4, 6, 4, 6, 
  4, 11, 2,, 2,, 2, 5, 2, 32, 2,, 2,,,, 2, 2,,,, 2, 2,,,, 2, 2,,, 4, 2,, 2, 
  2, 2, 5, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,,,, 2,,
  ,,,,,, 2,,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8,,,,,,, 2,,,,,,,, 2,,, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2,, 2,
  , 2,,,,,,,,,, 2,, 2,, 2,, 2,, 2,, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 6, 4, 6, 
  4, 6, 4, 38,,,,,,,,, 2,, 2,, 2,, 2,, 2,, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 6, 
  4, 6, 4, 6, 4, 38,,,,,,,,, 2,, 2,, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 6, 4, 6, 
  4, 6, 4, 38,,,,,,,,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 6, 4, 6, 4, 6, 4, 42, 8, 
  4, 8, 4, 8, 4, 8, 4, 8,,,,,,, 2,,, 4, 8,,,,,, 2,,, 132, 8, 4, 8, 4, 8, 4, 
  8,,,,,,, 2,,,,,,,, 2,,, 128,,,,,, 2,,,,,,,,, 2,,, 4, 8, 4, 8, 128,,,,,,, 2,
  ,,,,,,, 2,,, 133, 2,, 4, 5, 2, 5, 2,, 2,, 2, 5, 2, 161, 2, 5, 2, 2, 2, 5, 
  2,, 2, 5, 2,, 2, 5, 2,, 2, 4, 2, 2, 2, 4, 2,, 2, 6, 2,, 2, 4, 2, 129, 2,, 
  2,,,, 2, 2,,,, 2, 2,,,, 2, 2,,, 4, 6, 4, 6, 4, 6, 4, 11, 2,, 4, 5, 2, 33,, 
  2, 2,,,, 2, 2,,, 2,, 2,,,, 2, 2,,, 4, 2,, 2,, 2, 5, 2, 5, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 
  2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 6, 4, 6, 4, 6, 4, 38, 2,, 
  2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 6, 4, 6, 4, 6, 4, 38, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,
  , 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 6, 4, 6, 4, 6, 4, 38, 2,
  , 2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 6, 4, 6, 4, 6, 4, 42, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 1152, 4, 6, 4, 6, 4, 
  6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 198, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 
  6, 4, 198, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 198, 4, 6, 4, 6, 
  4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 711, 2, 5, 2,, 2, 5, 2, 64, 2, 6, 2,, 2, 
  4, 2, 898, 2, 5, 2,, 2, 5, 2, 2, 6, 2,, 2, 4, 2, 389, 4, 2, 4, 10, 4, 2, 
  4, 10, 4, 2, 4, 10, 4, 2, 4, 262,,, 2,, 2,, 2, 2,,, 4, 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, 262,,, 
  2,, 2,, 2, 2,,, 4, 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, 6,,, 2,, 2,, 2, 2,,, 68, 4, 2, 4, 10, 4, 
  2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 262,,, 2,, 2,, 2, 2,,, 577, 2, 5, 2,, 2, 
  5, 2, 32, 2, 6, 2,, 2, 4, 2, 674, 2, 5, 2,, 2, 5, 2, 2, 6, 2,, 2, 4, 2, 
  642, 2, 5, 2,, 2, 5, 2, 2, 6, 2,, 2, 4, 2, 577, 2, 6, 2,, 2, 4, 2, 2, 2, 
  5, 2,, 2, 5, 2,, 2, 5, 2,, 2, 5, 2, 32, 2, 6, 2,, 2, 4, 2, 418, 2, 5, 2,, 
  2, 5, 2, 2, 6, 2,, 2, 4, 2, 514, 2, 5, 2,, 2, 5, 2, 2, 6, 2,, 2, 4, 2, 
  321, 2, 6, 2,, 2, 4, 2, 2, 2, 5, 2,, 2, 5, 2, 129, 2, 5, 2,, 2, 5, 2, 64, 
  2, 6, 2,, 2, 4, 2, 130, 2, 5, 2,, 2, 5, 2, 2, 6, 2,, 2, 4, 2, 129,,, 2,, 2,
  , 2, 2,,, 4, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 6,,, 2,, 2,, 2, 2,,, 4, 4, 
  2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 6,,, 2,, 2,, 2, 2,,,,, 2,, 2,, 2, 2,,, 468 
 ] );