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

SMALL_GROUP_LIB[ 1536 ].2nil[ 7 ] := rec( ops :=
[ 1, 33, 688, 844, 93, 33, 261, 7, 41, 33, 7,,,,,,,,,,,,,,,,,,,,,,, 1, 19, 
  7, 93, 1, 9, 235, 41, 1, 7,,,,,,,,,,,,,,,,,,,,,,,,, 93,,,, 41,,,, 1, 19, 
  7, 93, 1, 9, 7, 41, 1, 7,,,,,,,,,,,,,,,,,,,,,,,, 270, 19, 54, 490, 1, 9, 
  54, 227, 1, 54,,,,,,,,,,,,,,,,,,,,,,,, 19, 7, 93, 175, 9, 7, 41, 1, 7,,,,,,
  ,,,,,,,,,,,,,,,,,, 138, 19, 7, 93, 1, 9, 7, 41, 1, 7,,,,,,,,,,,,,,,,,,,,,,,
  , 19, 7, 93, 30, 9, 7, 41, 1, 7,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 19,,,, 9,,,, 19,,,, 9,,,, 33, 688, 
  844, 93, 33, 261, 7, 41, 33, 7,,,,,,,,,,,,,,,,,,, 1, 19, 7, 93, 1, 9, 235, 
  41, 1, 7,,,,,,,,,,,,,,,,,,,,, 93,,,, 41,,,, 1, 19, 7, 93, 1, 9, 7, 41, 1, 
  7,,,,,,,,,,,,,,,,,,,, 270, 19, 54, 490, 1, 9, 54, 227, 1, 54,,,,,,,,,,,,,,,
  ,,,,, 19, 7, 93, 175, 9, 7, 41, 1, 7,,,,,,,,,,,,,,,,,,,, 138, 19, 7, 93, 
  1, 9, 7, 41, 1, 7,,,,,,,,,,,,,,,,,,,, 19, 7, 93, 30, 9, 7, 41, 1, 7,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 19,,,, 9,,,, 19,,,, 9,,,, 33, 688, 
  844, 93, 33, 261, 7, 41, 33, 7,,,,,,,,,,,,,,, 1, 19, 7, 93, 1, 9, 235, 41, 
  1, 7,,,,,,,,,,,,,,,,, 93,,,, 41,,,, 1, 19, 7, 93, 1, 9, 7, 41, 1, 7,,,,,,,,
  ,,,,,,,, 270, 19, 54, 490, 1, 9, 54, 227, 1, 54,,,,,,,,,,,,,,,, 19, 7, 93, 
  175, 9, 7, 41, 1, 7,,,,,,,,,,,,,,,, 138, 19, 7, 93, 1, 9, 7, 41, 1, 7,,,,,,
  ,,,,,,,,,, 19, 7, 93, 30, 9, 7, 41, 1, 7,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 19,,,, 9,,,, 19,,,, 9,,,
  , 261, 33, 41, 7, 33, 261, 7, 41, 306, 33, 7,, 306, 7, 261, 688, 935, 93, 
  33, 7, 235, 33, 7,,, 1, 9, 175, 41, 7, 175, 9, 7, 41, 30, 7,,, 9, 19, 41, 
  865, 1, 235, 7, 1,,,,, 41, 7,,,,,, 235, 7,,, 41, 93,,, 7, 235,,, 1, 9, 30, 
  41, 7, 30, 9, 7, 41, 30, 175, 7,, 30, 7, 9, 19, 41, 93, 1, 7,,, 235, 1,, 
  7, 1, 9,, 227, 54, 1, 9, 54, 227, 30, 1, 54,, 30, 54, 506, 19, 227, 490, 
  1, 175, 54, 30, 1, 54,, 30, 54, 1, 9,, 41, 235, 1, 9, 235, 41, 30, 1, 7,, 
  30, 7, 9, 685, 41, 93, 175, 1, 7,, 30, 7,, 1, 7,, 9,, 41, 7, 1, 9, 7, 41, 
  30, 1, 235, 7, 1, 30, 7, 235, 562, 19, 41, 93, 1, 30, 7, 175, 1, 7,, 175, 
  7, 1, 9,, 41, 7, 1, 9, 7, 41, 30, 1, 7, 235, 1, 30, 235, 7, 9, 471, 41, 
  93, 30, 1, 7,, 175, 7,, 1, 7,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 261, 33, 41, 7, 
  33, 261, 7, 41, 306, 33, 7,, 306, 7, 261, 688, 935, 93, 33, 7,,, 1, 9, 
  175, 41, 7, 175, 9, 7, 41, 30, 7,,, 9, 19, 41, 865, 1, 7,,,, 41, 7,,,,,, 
  235, 7,,, 41, 93,,, 7, 235,,, 1, 9, 30, 41, 7, 30, 9, 7, 41, 30, 175, 7,, 
  30, 7, 9, 19, 41, 93, 1, 7, 235, 1,, 7, 1, 9,, 227, 54, 1, 9, 54, 227, 30, 
  1, 54,, 30, 54, 506, 19, 227, 490, 30, 1, 54,, 30, 54, 1, 9,, 41, 235, 1, 
  9, 235, 41, 30, 1, 7,, 30, 7, 9, 685, 41, 93, 1, 30, 7,, 1, 7,, 9,, 41, 7, 
  1, 9, 7, 41, 30, 1, 235, 7, 1, 30, 7, 235, 562, 19, 41, 93, 175, 1, 7,, 
  175, 7, 1, 9,, 41, 7, 1, 9, 7, 41, 30, 1, 7, 235, 1, 30, 235, 7, 9, 471, 
  41, 93, 1, 175, 7,, 1, 7,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 261, 33, 41, 7, 33, 261, 7, 
  41, 306, 33, 7,, 306, 7, 261, 688, 935, 93, 33, 7, 235, 1, 9, 175, 41, 7, 
  175, 9, 7, 41, 30, 7,,, 9, 19, 41, 865, 1, 235, 7, 1, 41, 7,,,,,, 235, 7,,
  , 41, 93,,, 7, 1, 9, 30, 41, 7, 30, 9, 7, 41, 30, 175, 7,, 30, 7, 9, 19, 
  41, 93, 1, 7,, 9,, 227, 54, 1, 9, 54, 227, 30, 1, 54,, 30, 54, 506, 19, 
  227, 490, 1, 175, 54, 1, 9,, 41, 235, 1, 9, 235, 41, 30, 1, 7,, 30, 7, 9, 
  685, 41, 93, 175, 1, 7,, 9,, 41, 7, 1, 9, 7, 41, 30, 1, 235, 7, 1, 30, 7, 
  235, 562, 19, 41, 93, 1, 30, 7, 1, 9,, 41, 7, 1, 9, 7, 41, 30, 1, 7, 235, 
  1, 30, 235, 7, 9, 471, 41, 93, 30, 1, 7,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 261, 33, 41, 7, 33, 
  261, 7, 41, 306, 33, 7,, 306, 7, 261, 688, 935, 93, 1, 9, 175, 41, 7, 175, 
  9, 7, 41, 30, 7,,, 9, 19, 41, 865, 1, 41, 7,,,,,, 235, 7,,, 41, 93,,, 1, 
  9, 30, 41, 7, 30, 9, 7, 41, 30, 175, 7,, 30, 7, 9, 19, 41, 93, 1, 9,, 227, 
  54, 1, 9, 54, 227, 30, 1, 54,, 30, 54, 506, 19, 227, 490, 1, 9,, 41, 235, 
  1, 9, 235, 41, 30, 1, 7,, 30, 7, 9, 685, 41, 93, 1, 9,, 41, 7, 1, 9, 7, 
  41, 30, 1, 235, 7, 1, 30, 7, 235, 562, 19, 41, 93, 1, 9,, 41, 7, 1, 9, 7, 
  41, 30, 1, 7, 235, 1, 30, 235, 7, 9, 471, 41, 93, 1, 7,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 261, 688, 935, 93, 
  33, 7, 235, 33, 7,,, 1, 9, 19, 41, 865, 1, 235, 7, 1,,,,, 41, 93,,, 7, 235,
  ,, 1, 9, 19, 41, 93, 1, 7,,, 235, 1,, 7, 1, 506, 19, 227, 490, 1, 175, 54, 
  30, 1, 54,, 30, 54, 1, 9, 685, 41, 93, 175, 1, 7,, 30, 7,, 1, 7,, 562, 19, 
  41, 93, 1, 30, 7, 175, 1, 7,, 175, 7, 1, 9, 471, 41, 93, 30, 1, 7,, 175, 7,
  , 1, 7,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 9, 19,,, 1, 9, 19,,, 1, 261, 688, 
  935, 93, 33, 7,,, 1, 9, 19, 41, 865, 1, 7,,,, 41, 93,,, 7, 235,,, 1, 9, 
  19, 41, 93, 1, 7, 235, 1,, 7, 1, 506, 19, 227, 490, 30, 1, 54,, 30, 54, 1, 
  9, 685, 41, 93, 1, 30, 7,, 1, 7,, 562, 19, 41, 93, 175, 1, 7,, 175, 7, 1, 
  9, 471, 41, 93, 1, 175, 7,, 1, 7,,,,,,,,,,,,,,,,,,,,,, 9, 19,,, 1, 9, 19,,
  , 1, 261, 688, 935, 93, 33, 7, 235, 1, 9, 19, 41, 865, 1, 235, 7, 1, 41, 
  93,,, 7, 1, 9, 19, 41, 93, 1, 7,, 506, 19, 227, 490, 1, 175, 54, 1, 9, 
  685, 41, 93, 175, 1, 7,, 562, 19, 41, 93, 1, 30, 7, 1, 9, 471, 41, 93, 30, 
  1, 7,,,,,,,,,,,,,, 9, 19,,, 1, 9, 19,,, 1, 261, 688, 935, 93, 1, 9, 19, 
  41, 865, 1, 41, 93,,, 1, 9, 19, 41, 93, 1, 506, 19, 227, 490, 1, 9, 685, 
  41, 93, 1, 562, 19, 41, 93, 1, 9, 471, 41, 93, 1, 7,,,, 9, 19,,, 1, 9, 19,,
  , 1,,,,, 9,,,, 138,, 30,, 270,, 175,, 138,, 19,,,, 9,,,, 138,, 30,, 175,, 
  30,, 19,,,, 9,,,, 138,, 30,, 138,, 30,, 19,,,, 9,,,, 138,, 30,, 19,,,, 9,,,
  , 138,, 30,, 270,,,, 175,, 138,, 30,, 19,,,, 9,,,, 138,, 30,, 175,, 19,,,, 
  9,,,, 138,, 30,, 138,, 19,,,, 9,,,, 138,, 30,,,, 19,,,, 9,,,, 19,,,, 9,,,, 
  19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,,, 19,,,, 9,,
  ,,, 270, 506, 1, 9,,,, 138,, 9, 19,,, 1, 30,, 138,, 9, 175,, 1,,,,, 30,, 
  9, 19,,, 1, 30,, 138,, 9,,,,,,,, 138, 30, 1, 9, 19,,, 1, 30,, 138,, 9,,,,,,
  ,,, 19,,, 1, 30,, 138,, 506,, 9, 270, 1, 9,,, 30, 1, 138,, 9, 19,,, 1, 30,
  , 138,, 9,,, 175, 1, 9,,,,, 19,,, 1, 30,, 138,, 9,,,,,,, 138, 1, 9, 19,,, 
  1, 30,, 138,, 9,,,,,,,, 30,, 9, 19,,, 1, 30,, 138,, 9,,,,,,,,, 19,,, 1, 9,,
  ,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9,
  ,,,, 19,,, 1, 9,,,,, 19,,, 1, 9,,,,, 19,,, 1, 9, 270, 506, 1, 138,, 9, 19,,
  , 30, 1, 138, 9, 175,, 1, 30,, 9, 19,,, 30, 1, 138, 9, 1,,, 138, 30, 1, 9, 
  19,,, 30, 1, 138, 9, 1,,,, 19,,, 30, 1, 138, 506, 1, 9, 270, 30, 1, 138, 
  9, 19,,, 30, 1, 138, 9, 1,, 175, 1, 9, 19,,, 30, 1, 138, 9, 1,,, 138,, 9, 
  19,,, 30, 1, 138, 9, 1,,, 30, 9, 19,,, 30, 1, 138,, 9,,,,, 19,,, 1, 9,,,,, 
  19,,, 1, 9,,,,, 19,,,, 1,,,, 19,,,,,,, 1, 9, 19,,, 1, 9, 19,,,,,,, 1, 
  8007, 674, 3053, 563, 4365, 1466, 563, 4365, 2448, 548, 496, 366, 4, 1,, 
  793, 1, 4, 7368, 1, 247, 4, 758, 2052,,, 1, 4, 793, 1, 4, 247, 206, 1, 
  2052, 4, 758,, 2052, 758, 1, 4, 247, 206, 1, 4, 2052, 758, 4, 2052, 758, 
  1, 247,,,,,,,,,, 10730,, 247,,,,,,, 674, 1214, 1158, 563, 1466,,, 47, 477, 
  1, 4,,, 1983, 598, 1037,, 4, 632,,, 1, 4,,,,,,,,,,, 50, 1, 4, 50, 1, 4,,,,,
  , 556,, 84,, 556,, 84,, 1085, 1426, 1281, 2379, 563,, 842, 1130, 2273, 
  1364, 1236, 3577, 1772, 911, 2847, 33, 1539, 1561, 353, 397,,, 57, 106, 
  1561, 353, 4,,, 1, 353, 4,, 1,, 4,, 1, 4,,,, 1561, 353, 4,, 1, 1561, 353, 
  4,, 84, 1, 106,,,,,, 84,, 106,,,, 2273, 1364, 1236, 3577, 1772, 911, 2847, 
  33, 1539, 1561, 397, 353,, 57, 106, 1561, 4, 353,, 1, 353, 4,, 1, 4, 353, 
  1, 4,,,, 1561, 4, 353, 1, 1561, 4, 353, 84, 1, 106,,,,,, 84,, 106,,,, 
  1085, 1426, 1281, 2379, 563, 842, 1130, 2273, 1364, 1236, 3577, 911, 2847, 
  1, 353, 4, 1, 353, 4, 1,,,,, 353, 1561, 4, 1, 353, 1561, 4, 1, 84,, 106,,,,
  ,, 84,, 106,, 2273, 1364, 1236, 3577, 911, 2847, 1, 353, 4, 1,,,,,,, 1561, 
  4, 1, 1561, 4, 84, 1, 106,,,,,, 84,, 846, 930, 797, 1130, 477,, 47, 788, 
  923,, 855, 4,,, 1,,,, 1983, 1037, 598, 4, 632,, 50, 1, 4,,,,,, 556,, 84,, 
  556,, 84,, 930, 797, 1130, 477,, 47, 1, 4,,, 1983, 598, 4, 632,, 1,,,,, 
  556,, 84,, 556,, 84,, 109, 842, 47,,, 329, 33, 1561, 353, 397, 57, 1561, 
  353, 4, 84, 1,,, 329, 33, 1561, 397, 57, 1561, 4, 84, 1,,,,,,,,,,, 19, 
  373, 674, 930, 213, 9,, 50, 1, 60, 811, 2272, 89, 1, 50,, 84,, 50,, 84,, 
  67, 1085, 109, 959, 60, 109, 50, 1, 72, 50, 1,, 556, 1, 50, 556, 1, 67, 
  1158, 83, 50, 60, 811, 2272, 89, 1426, 50, 722, 1584, 1295, 563, 2592,,, 
  608, 47, 1087, 519,, 4, 855,, 3121, 1, 4,,,,,,,,,,,,,,,,,,,, 3286,,,, 3121,
  ,,, 19, 270, 563, 47, 6791, 2959, 1365, 496, 2021, 2371,,, 788, 923, 1360, 
  33, 1320, 979,, 11139, 85, 2896, 5520, 4, 976,, 793, 1, 4,,,,,,,,,,,,,, 
  2172, 3860, 4, 3859,, 3860, 3859, 1, 4,, 3286, 367, 1, 3286, 367, 1, 3121,
  , 367,,,, 3121, 548, 2959, 1365, 496, 2021, 2371,,, 788, 923, 33, 1360,, 
  1320, 979,, 10746, 85, 2896, 5520, 4, 976,, 1,,,,,,, 3436, 4, 5725, 5723, 
  4, 5725, 5723, 1, 4,,,,,,,, 1584, 1295, 563, 2592,,, 608, 47, 1, 4,,,,,,,,,
  ,,,,,,, 3286,,,, 3121,,,, 270, 563, 47, 11273, 2959, 1365, 496, 2021, 2371,
  ,, 788, 923, 1, 4,,,,,,,,,, 3436, 4, 5725,, 5723, 5725,, 1, 3286, 367, 1, 
  3286, 367, 1,,, 3121,,,, 367, 2959, 1365, 496, 2021, 2371,,, 788, 923, 1, 
  4,,, 2172, 3860, 4, 3859, 3860,, 1, 4,,,, 247, 2448, 47,,,,,, 4, 855,, 
  923, 788,,,,,, 1, 247, 758, 2052, 4, 758, 2052, 1, 247,,,,,,,,,,,,,,,,,,,,
  , 4, 855,, 923, 788,,,,,, 1, 213, 39, 47, 608,,,,,, 4, 1087, 519,, 4, 855,
  , 769, 165, 95, 4, 264, 2372, 1, 10743,, 213, 39, 47, 608,,,,,, 1087, 519,
  , 4, 855,, 769, 165, 95, 4, 264, 2372, 1, 2986,,,,,,,,,, 120,,,,,,,, 10741,
  , 19, 722,,, 39, 1,,, 9, 970,,, 213, 1, 970,, 213,, 816,,, 373, 39,, 769, 
  295, 1, 653, 769, 1, 213,, 39, 213, 856, 131, 85, 10347, 4980, 213, 1, 
  270, 1295,,, 1, 39, 1374, 83,,,, 39, 793, 213, 67,, 856, 131, 1,,, 5611,, 
  793,, 3286,, 793,, 39, 1584, 270,,, 39, 1, 213, 1509, 83,,,, 793, 213, 1, 
  816,,, 373, 44, 1, 95,, 7459, 10653, 10647, 563, 1466, 4365, 563,, 7813, 
  206, 4, 2052,, 758, 2052,, 1, 4, 206, 2052, 4, 758, 2052,, 1, 222,, 247,,, 
  10763, 1426, 2379, 563,, 842, 1130, 1364, 3577, 1772, 911, 2847, 2784, 
  353, 4,, 2784,, 4,,,,,, 590, 1, 1364, 3577, 1772, 911, 2847, 2784, 4, 353, 
  2784, 4, 353,,,,, 590, 1, 1426, 2379, 563, 842, 1130, 1364, 3577, 911, 
  2847, 353, 2784, 4, 353, 2784, 4, 353,,,, 1, 590,, 1364, 3577, 911, 2847, 
  2784, 4,,, 353,, 590, 1, 109, 842, 47,,, 329, 1, 233,, 329, 233, 1,,,,, 
  19, 373, 930, 213, 222, 1, 590, 222, 1, 590,, 67, 1158, 83, 1426, 5031, 
  6731, 2790, 513, 6731, 2448, 2847, 2273, 1986, 1236, 1364,, 7475, 22, 
  6731, 548, 7482, 247, 6775, 44, 10750, 2847, 2273, 1986, 1236, 1364,, 
  3415, 4358, 3616, 2875, 3407, 10891, 6705, 548, 353, 2512, 1, 5029, 44, 
  991, 2790, 513, 842, 47,, 2847, 2273, 1236, 1364,, 1, 44, 5029, 2847, 
  2273, 1236, 1364,, 1, 5029, 715, 842, 608,, 47, 329, 911,, 1087, 1561, 
  3078, 397, 57, 1561, 2784, 4, 84, 233, 1, 715, 842, 608, 47, 329, 233, 84, 
  1, 9, 39, 60, 213, 3374, 816, 930, 10430, 10403, 89, 213, 852, 39, 5386, 
  1812, 10461, 7391, 89, 991, 6726, 10562, 2847, 2273, 1986, 1236, 1364,, 
  3415, 4358, 3616, 2875, 3407, 1, 5029, 44, 10646, 513, 5090, 2986, 6775, 
  2847, 2273, 1236, 1364,, 1, 5029, 715, 842, 608,, 47, 329, 911,, 1087, 
  1561, 3078, 397, 84, 233, 1, 715, 842, 608, 47, 329, 233, 84, 1, 9, 39, 
  60, 213, 3374, 816, 930, 213, 852, 39, 5386, 1812, 991, 6726, 923, 548, 
  496, 1365, 175, 548, 4, 1, 923, 496, 1365, 1, 247, 47, 2448,,,, 4, 5447,, 
  5392, 6735, 1, 247,,,,, 3053, 4, 2850, 6732, 1, 373,,, 213, 1, 769, 8,,, 
  1, 67, 83, 1702,, 1374, 793, 1, 3286, 793, 1, 270, 83, 1, 793, 147, 330, 
  3436, 1,,,,, 373, 1356, 83,, 1509, 793, 213, 3121, 793, 270, 83, 95, 622, 
  793, 1, 7475, 94, 7482, 44, 6775, 1295, 1812, 11127, 89, 7882, 1356, 6726, 
  856, 852, 1374, 793, 5386, 1295, 852, 50, 793, 852, 5386, 5031, 991,, 8, 
  7618, 247, 7368, 8007, 674, 3053, 563, 4365, 1466, 563, 4365, 2448, 142, 
  4, 1,,,, 247, 1,, 4, 758, 2052,,, 1, 4,,, 247, 206, 1, 2052, 4, 758,, 
  2052, 758, 1, 4, 247, 206, 1, 4, 2052, 758, 4, 2052, 758, 1, 247,,,,,,,,,,,
  ,,,,,,,,,,,,,, 5418, 6753, 7550, 6754, 3768, 477,,, 47,, 1, 4,,, 739, 253,,
  , 4, 1,,,,,,,,,,,,,,,,,,,,, 407, 47, 1090, 2369,,, 989, 33, 1489,,, 4, 57, 
  457,,, 4, 1, 457, 500, 4,, 1, 457, 4, 1,,,,, 457, 4, 500, 1, 457, 4, 1, 
  1090, 2369,,, 989, 33, 1489,,, 4, 57, 457,,, 4, 1, 457, 500, 4,, 1, 457, 
  4, 1,,,,, 457, 4, 500, 1, 457, 4, 1, 407, 47, 1090, 2369,,, 989, 1, 457, 
  500, 4,, 1, 457, 4, 1,,,,, 457, 4, 500, 1, 457, 4, 1, 1090, 2369,,, 989, 
  1, 457, 500, 4,, 1, 457, 4, 1,,,,, 457, 4, 500, 1, 457, 4, 1, 186, 60, 47, 
  2116, 3439, 477,, 455, 4, 1,,,, 739, 253,,, 4, 1,,,,,,, 186, 60, 47, 477, 
  2425,,, 1, 4,,, 739, 253,,, 4, 1,,,,, 407, 457,,, 47, 818, 929,,, 989, 329,
  ,, 33, 1489,,, 4, 57, 457,,, 4, 1, 818, 929,,, 989, 329,,, 33, 1489,,, 4, 
  57, 457,,, 4, 1, 60,,,,,,,, 186,,,,,,,,,,,,,, 72,,,,,,,, 89,,,,,,,, 72,,,, 
  68,,,,,, 117,,, 89, 1,,,,, 186,,,,,,,, 89,,,,,,, 72, 1,,,,,,, 89,,,,,, 117,
  ,,,,, 68,,,, 72,,,, 383, 2038, 1863,,, 47, 741, 393,, 4, 1,,,,,,,,,,,,,,,,,
  ,,,, 47, 1941, 142, 1437, 2850, 4, 3441, 33,, 4, 1,,,,,,,,,,,,,,,, 2447, 
  2172, 1, 3859, 4, 3860,, 3859, 3860, 1, 4,, 142, 1941, 1437, 142, 2564, 4, 
  33, 1130,, 4, 1,,,,,,,,, 419, 5137, 5724, 4, 3113, 5724,, 1, 4,,,,,,,, 
  383, 2038, 47, 1, 4,,,,,,,,,,,,,,,, 47, 142, 1437, 1941, 142, 4, 2850, 
  2564, 1, 4,,,,,,,,,, 419, 5137, 4, 5724,, 3113, 5724,, 1, 1437, 142, 1941, 
  4, 2564, 2850, 1, 4,,, 2447, 2172, 1, 4, 3859, 3860, 4, 3859, 3860, 1, 4,,,
  , 247, 2448, 47,,,,,, 4, 1, 247, 758, 2052, 4, 758, 2052, 1, 247,,,,,,,,,,,
  ,,,,,,,,,,,, 4, 1, 47, 4, 741, 393,, 4, 1,,, 47, 741, 393,, 4, 1,,, 822,,,,
  ,,,,,, 1361,,,,,,,,,,,, 6732, 10641, 7478, 47, 7813, 4365, 6735, 206, 247, 
  1, 4, 2052,, 758, 2052,, 1, 4, 206, 247, 1, 2052, 4, 758, 2052,, 1, 247,,,,
  ,,,,,,,,,,,,,,,,,,, 457, 47, 1103, 518,,, 4, 457, 1, 4, 500, 457, 1, 4, 
  457, 1, 500, 4,, 457, 1, 4,, 1103, 518,,, 4, 457, 1, 4, 500, 457, 1, 4, 
  457, 1, 500, 4,, 457, 1, 4,, 457, 47, 1103, 518,,, 4, 457, 1, 4, 500, 457, 
  1, 4, 457, 1, 500, 4,, 457, 1, 4,, 1103, 518,,, 4, 457, 1, 4, 500, 457, 1, 
  4, 457, 1, 500, 4,, 457, 1, 4,, 457, 407,,, 47, 3592, 587,,, 4, 1, 3592, 
  587,,, 4, 1, 72,,,, 68,,,,,, 117,,, 89, 1,,,,,,,,,,, 117,,,,,, 68,,,, 72,,,
  , 822, 3749, 798, 453, 3749, 2448, 818, 2123, 142,, 822, 7472, 3749, 142, 
  10588, 822, 1,,,,,,,, 818, 2123, 142,, 306, 962, 2123, 1, 962, 2971, 2123, 
  142, 1, 2243, 4385,, 47, 818, 962, 2971, 1, 818, 962, 2971, 1, 1694, 47,, 
  2243, 1863,, 818, 587, 962, 4,, 741, 393, 962, 500, 1, 962, 4,,, 1, 2243, 
  47,, 2038, 818, 587, 962, 4,, 1, 818, 3064, 142,, 306, 2971, 142, 1, 822, 
  3404, 47, 3749, 10586, 822, 1,,,,,,,, 818, 500, 2971, 1, 2038, 1863,,, 47,
  , 818, 587, 500, 4,, 741, 393, 4, 1, 47, 2038, 818, 587, 500, 4,, 1, 455, 
  142, 1, 4, 142, 1, 455, 4, 1, 247,,, 47, 2448,,,,, 4, 11316, 769, 5447, 4, 
  10593, 6735, 5392, 1, 247,,,,,,,,,,,,,,,,,,,,,,,,, 95, 3053, 10969, 2850, 
  4, 6732, 7478, 1, 419,,,,,,,,,,,,,, 2447,,,,,,,,,,,, 822, 10587, 962, 
  3749, 7472, 822, 1,,,,,,,,,,,,,,,,,,, 95,,,, 147,,,,,,,, 165,,,,,,,, 769,,,
  , 2172,,,,,,,,,,,,,, 2447,,,,,,,,,,, 95, 7521, 1,,, 1361, 419, 769, 5751, 
  1,,, 1361, 5137,,, 1, 769, 5751, 1, 1361,,,,,,,,,,,,,,,,,,,,,,,, 5721, 88,,
  ,, 1, 150,,,, 88,,,,, 150, 1,,,,, 88,,,,,,,,, 150, 5718, 1,, 150,, 1, 822, 
  5137, 1, 95, 7579, 1, 150,,,, 5720, 150, 1, 5720, 150,, 1, 88, 5719,,, 1, 
  247,,,,,,,,,,,,,,,,,,,,,,,, 340,, 206,, 340, 206, 7, 948,,,,, 1, 7,,,,, 
  340, 1, 206,, 340, 206, 7, 948,,,,, 1, 7,,, 340, 1, 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,,,,,,,,,,,,,,,,,,,, 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,,,,,,,,,,,,,,,,,,,,,,,,,, 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,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,, 419, 1, 479, 419,, 7, 1169,,,,, 1, 67,,, 302, 7,,,
  , 39, 1,, 149, 7,,,, 1, 7,,,,,,,,,,,,,,,,,,,,,,,, 67,,, 302, 7,,,, 39, 1,, 
  149, 7,,,, 1, 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,,,,,,,,,
  ,,, 7, 149,,,,,, 1, 39, 7, 149,,, 1, 7,,,,,,,,,,,,,,,,,,,,,, 39,,, 7, 149,,
  ,,,, 1, 67, 7, 302,,, 1, 7,,,,,,,,,,,,,,,,,,,, 39,,, 7, 149,,,,,, 1, 67, 
  7, 302,,, 1, 7,,,,,,,, 479, 419, 1, 479, 419, 7, 1169,,,,, 1, 7,,,,,,,,,, 
  39,,, 7, 149,,,,,, 1,,,,,,,,,,,,,,,,,,, 39,,, 7, 149,,,,,, 1,,,,,,,,,,,,,,
  , 479, 419, 1, 479, 419, 7, 1169,,,,, 1, 39,,, 7, 149,,,,,, 1,,,,,,,,,,,,,,
  , 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 ], nrs :=
[ 2627, 2, 4, 4, 4, 2, 4, 2, 4, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8, 8, 129, 2, 2, 4,, 2, 4, 4, 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, 4, 2, 4, 2, 4, 2, 
  4, 192, 129, 2, 2, 4,, 2, 2, 4, 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,, 2, 4, 8, 4, 16, 4, 16, 4, 
  16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 129, 2, 
  2, 4, 2, 2, 2, 4, 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, 4,, 2, 2, 4, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 129, 2, 2, 4, 2, 2, 2, 4, 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, 
  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, 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, 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, 132, 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, 132, 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, 132, 8, 4, 8, 4, 8, 4, 8, 900, 8, 4, 
  8, 4, 8, 4, 8, 2752, 2, 4, 4, 4, 2, 4, 2, 4, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 
  8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 129, 2, 2, 4,, 2, 4, 4, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2, 4, 2, 4, 2, 4, 2, 4, 160, 
  129, 2, 2, 4,, 2, 2, 4, 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,, 2, 4, 8, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 
  16, 4, 16, 4, 16, 4, 16, 4, 16, 129, 2, 2, 4, 2, 2, 2, 4, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2, 2, 2, 4,, 2, 2, 4, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 129, 2, 2, 4, 2, 
  2, 2, 4, 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, 132, 
  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, 132, 
  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, 132, 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, 132, 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, 836, 8, 4, 8, 4, 8, 4, 8, 
  2560, 2, 4, 4, 4, 2, 4, 2, 4, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 
  8, 129, 2, 2, 4,, 2, 4, 4, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  128, 2, 4, 2, 4, 2, 4, 2, 4, 128, 129, 2, 2, 4,, 2, 2, 4, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2, 2, 4, 8,, 2, 4, 8, 4, 16, 4, 16, 
  4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 129, 2, 2, 4, 2, 2, 2, 4, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2, 2, 2, 4,, 2, 2, 4, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 129, 2, 2, 4, 2, 2, 2, 4, 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, 132, 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, 132, 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, 132, 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, 
  132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 
  8, 772, 8, 4, 8, 4, 8, 4, 8, 2368, 4, 2, 4, 2, 2, 4, 2, 4, 4, 2, 4, 2, 4, 
  4, 2, 2, 4, 2, 4, 2, 4, 4, 4, 4, 4, 64, 2, 2, 4, 2, 2, 2, 2, 4, 4, 4, 4, 4,
  ,, 2, 4, 2, 4, 2, 2, 4, 2, 4, 64, 4, 2, 4, 4, 4, 2, 4, 4, 8, 4, 4, 2, 2, 
  2, 2, 12, 4, 8, 4, 64, 2, 2, 4, 2, 2, 2, 2, 4, 2, 2, 4, 2, 2, 4,,, 2, 2, 
  2, 4, 2, 2, 4, 2, 4, 2, 64, 2,, 8, 4,, 2, 4, 8, 2,, 8,, 2, 8, 2,, 4, 4,, 
  2, 8, 2,, 8,, 2, 8, 64, 2,, 4, 4,, 2, 4, 4, 2,, 4,, 2, 4,, 2, 2, 2, 2,, 4,
  , 2, 4, 2,, 4, 64, 2,, 4, 2,, 2, 2, 4, 2,, 4, 2,, 2, 2, 4, 2,, 2, 2,, 2, 
  4, 2,, 4,, 2, 4, 64, 2,, 4, 2,, 2, 2, 4, 2,, 2, 4,, 2, 4, 2,, 2, 2, 2, 2,, 
  4,, 2, 4, 2,, 4, 68, 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, 132, 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, 128, 8, 4, 8, 8, 
  8, 4, 8, 32, 4, 4, 4, 4, 304, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 1056, 
  4, 2, 4, 2, 2, 4, 2, 4, 4, 2, 4, 2, 4, 4, 2, 2, 4, 2, 4, 4, 4, 4, 64, 2, 
  2, 4, 2, 2, 2, 2, 4, 4, 4, 4, 4,,, 2, 4, 2, 4, 2, 4, 64, 4, 2, 4, 4, 4, 2, 
  4, 4, 8, 4, 4, 2, 2, 2, 2, 4, 4, 8, 4, 64, 2, 2, 4, 2, 2, 2, 2, 4, 2, 2, 
  4, 2, 2, 4,,, 2, 2, 2, 2, 4, 2, 4, 2, 64, 2,, 8, 4,, 2, 4, 8, 2,, 8,, 2, 
  8, 2,, 4, 4, 2,, 8,, 2, 8, 64, 2,, 4, 4,, 2, 4, 4, 2,, 4,, 2, 4,, 2, 2, 2,
  , 2, 4, 2,, 4, 64, 2,, 4, 2,, 2, 2, 4, 2,, 4, 2,, 2, 2, 4, 2,, 2, 2, 2,, 4,
  , 2, 4, 64, 2,, 4, 2,, 2, 2, 4, 2,, 2, 4,, 2, 4, 2,, 2, 2, 2,, 2, 4, 2,, 
  4, 68, 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, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 128, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 288, 8, 4, 8, 
  8, 8, 4, 8, 32, 4, 4, 4, 4, 1008, 4, 2, 4, 2, 2, 4, 2, 4, 4, 2, 4, 2, 4, 
  4, 2, 2, 4, 2, 4, 2, 4, 64, 2, 2, 4, 2, 2, 2, 2, 4, 4, 4, 4, 4,,, 2, 4, 2, 
  4, 2, 64, 4, 2, 4, 4, 4, 2, 4, 4, 8, 4, 4, 2, 2, 2, 2, 8, 64, 2, 2, 4, 2, 
  2, 2, 2, 4, 2, 2, 4, 2, 2, 4,,, 2, 2, 2, 4, 64, 2,, 8, 4,, 2, 4, 8, 2,, 8,
  , 2, 8, 2,, 4, 4,, 2, 8, 64, 2,, 4, 4,, 2, 4, 4, 2,, 4,, 2, 4,, 2, 2, 2, 2,
  , 4, 64, 2,, 4, 2,, 2, 2, 4, 2,, 4, 2,, 2, 2, 4, 2,, 2, 2,, 2, 4, 64, 2,, 
  4, 2,, 2, 2, 4, 2,, 2, 4,, 2, 4, 2,, 2, 2, 2, 2,, 4, 68, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 8, 4, 8, 8, 8, 4, 8, 32, 
  4, 4, 4, 4, 272, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 960, 4, 2, 4, 2, 2, 
  4, 2, 4, 4, 2, 4, 2, 4, 4, 2, 2, 4, 2, 64, 2, 2, 4, 2, 2, 2, 2, 4, 4, 4, 
  4, 4,,, 2, 4, 64, 4, 2, 4, 4, 4, 2, 4, 4, 8, 4, 4, 2, 2, 2, 2, 64, 2, 2, 
  4, 2, 2, 2, 2, 4, 2, 2, 4, 2, 2, 4,,, 2, 2, 64, 2,, 8, 4,, 2, 4, 8, 2,, 8,
  , 2, 8, 2,, 4, 4, 64, 2,, 4, 4,, 2, 4, 4, 2,, 4,, 2, 4,, 2, 2, 2, 64, 2,, 
  4, 2,, 2, 2, 4, 2,, 4, 2,, 2, 2, 4, 2,, 2, 2, 64, 2,, 4, 2,, 2, 2, 4, 2,, 
  2, 4,, 2, 4, 2,, 2, 2, 2, 68, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 128, 8, 
  4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 256, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 
  4, 912, 2, 2, 4, 2, 4, 2, 4, 4, 4, 4, 4, 64,,, 2, 4, 2, 4, 2, 2, 4, 2, 4, 
  64, 2, 2, 2, 2, 12, 4, 8, 4, 64,,, 2, 2, 2, 4, 2, 2, 4, 2, 4, 2, 64, 2,, 
  4, 4,, 2, 8, 2,, 8,, 2, 8, 64,, 2, 2, 2, 2,, 4,, 2, 4, 2,, 4, 64, 2,, 2, 2,
  , 2, 4, 2,, 4,, 2, 4, 64,, 2, 2, 2, 2,, 4,, 2, 4, 2,, 4, 68, 8, 4, 8, 4, 
  8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 
  128, 4, 4, 4, 4, 304, 4, 4, 4, 4, 928, 2, 2, 4, 2, 4, 4, 4, 4, 64,,, 2, 4, 
  2, 4, 2, 4, 64, 2, 2, 2, 2, 4, 4, 8, 4, 64,,, 2, 2, 2, 2, 4, 2, 4, 2, 64, 
  2,, 4, 4, 2,, 8,, 2, 8, 64,, 2, 2, 2,, 2, 4, 2,, 4, 64, 2,, 2, 2, 2,, 4,, 
  2, 4, 64,, 2, 2, 2,, 2, 4, 2,, 4, 68, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 
  132, 8, 4, 8, 132, 8, 4, 8, 128, 4, 4, 4, 4, 288, 4, 4, 4, 4, 880, 2, 2, 
  4, 2, 4, 2, 4, 64,,, 2, 4, 2, 4, 2, 64, 2, 2, 2, 2, 8, 64,,, 2, 2, 2, 4, 
  64, 2,, 4, 4,, 2, 8, 64,, 2, 2, 2, 2,, 4, 64, 2,, 2, 2,, 2, 4, 64,, 2, 2, 
  2, 2,, 4, 68, 8, 4, 8, 132, 8, 4, 8, 132, 8, 132, 8, 128, 4, 4, 4, 4, 272, 
  4, 4, 4, 4, 832, 2, 2, 4, 2, 64,,, 2, 4, 64, 2, 2, 2, 2, 64,,, 2, 2, 64, 2,
  , 4, 4, 64,, 2, 2, 2, 64, 2,, 2, 2, 64,, 2, 2, 2, 68, 8, 132, 8, 384, 4, 
  4, 4, 4, 256, 4, 4, 4, 4, 788, 8, 4, 8, 4, 8, 4, 8, 12, 8, 4, 8, 12, 16, 
  16, 8, 8, 8, 280, 8, 4, 8, 4, 8, 4, 8, 12, 8, 4, 8, 24, 8, 28, 8, 272, 8, 
  4, 8, 4, 8, 4, 8, 12, 8, 4, 8, 44, 8, 20, 8, 260, 8, 4, 8, 4, 8, 4, 8, 12, 
  8, 4, 8, 332, 8, 4, 8, 4, 8, 4, 8, 12, 8, 4, 8, 8, 8, 8, 8, 4, 8, 20, 8, 
  4, 8, 268, 8, 4, 8, 4, 8, 4, 8, 12, 8, 4, 8, 32, 8, 296, 8, 4, 8, 4, 8, 4, 
  8, 12, 8, 4, 8, 40, 8, 288, 8, 4, 8, 4, 8, 4, 8, 12, 8, 4, 8, 64, 8, 3336, 
  8, 4, 8, 4, 8, 4, 8, 452, 8, 4, 8, 4, 8, 4, 8, 452, 8, 4, 8, 4, 8, 4, 8, 
  388, 8, 4, 8, 4, 8, 4, 8, 388, 8, 4, 8, 4, 8, 4, 8, 324, 8, 4, 8, 4, 8, 4, 
  8, 324, 8, 4, 8, 4, 8, 4, 8, 260, 8, 4, 8, 4, 8, 4, 8, 3328, 4, 4, 8, 6, 
  8, 4, 8, 4, 4, 18, 4, 4, 4, 4, 16, 4, 4, 4, 16, 4, 4, 4, 6, 8, 4, 8, 2, 4, 
  20, 4, 4, 4, 4, 16, 4, 4, 4, 16, 4, 2, 4, 6, 8, 4, 8, 2, 4, 4, 18, 4, 4, 
  4, 4, 16, 4, 4, 4, 16, 4, 2, 4, 6, 8, 4, 8, 24, 4, 4, 4, 4, 16, 4, 4, 4, 
  16, 8, 2, 4, 4, 4, 8, 4, 8, 4, 4, 4, 16, 4, 4, 4, 4, 16, 4, 4, 4, 16, 4, 
  2, 4, 4, 4, 8, 4, 8, 24, 4, 4, 4, 4, 16, 4, 4, 4, 16, 4, 2, 4, 6, 8, 4, 8, 
  4, 22, 4, 4, 4, 4, 16, 4, 4, 4, 16, 4, 2, 4, 6, 8, 4, 8, 6, 4, 16, 4, 4, 
  4, 4, 16, 4, 4, 4, 784, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 48, 8, 4, 8, 
  8, 8, 4, 8, 32, 4, 4, 4, 4, 48, 8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 32, 
  8, 4, 8, 8, 8, 4, 8, 32, 4, 4, 4, 4, 36, 8, 4, 8, 16, 4, 4, 4, 4, 52, 8, 
  4, 8, 16, 4, 4, 4, 4, 52, 8, 4, 8, 16, 4, 4, 4, 4, 36, 8, 4, 8, 16, 4, 4, 
  4, 4, 800, 4, 4, 8, 6, 4, 2, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 
  4, 4, 4, 4, 4, 4, 2, 4, 4, 4, 4, 2, 4, 4, 4, 4, 4, 4, 4, 4, 2, 4, 10, 4, 
  4, 4, 4, 4, 4, 4, 8, 2, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 2, 4, 4, 8, 
  4, 4, 4, 4, 4, 4, 4, 4, 2, 4, 2, 4, 6, 4, 4, 4, 4, 4, 4, 4, 4, 2, 4, 8, 4, 
  4, 4, 4, 4, 4, 4, 4, 256, 8, 4, 8, 20, 4, 4, 4, 4, 16, 8, 4, 8, 20, 4, 4, 
  4, 4, 16, 8, 4, 8, 20, 4, 4, 4, 4, 8, 4, 8, 20, 4, 4, 4, 4, 4, 4, 4, 4, 
  16, 4, 4, 4, 4, 16, 4, 4, 4, 4, 4, 4, 4, 4, 256,,,,,,,,,, 3, 4, 4, 2, 4, 8,
  , 3, 8,,,, 2,,,,, 3, 8,, 3, 8,,,,,,,,,, 4, 8,,,,,,,,,, 33,,,, 2,, 2, 2,, 
  2, 3,, 2,,,, 2,, 3, 3,,,,, 2,, 2,, 2, 3, 8, 3, 8,, 2, 2, 2,, 2,, 2, 3, 8, 
  3, 8, 3, 8, 2, 8, 3, 8, 3, 8,, 2, 8,, 2, 8, 3, 8, 3, 8, 3,, 12,, 37,, 20,, 
  26,,,, 2, 2, 2, 2, 2,,, 2,,,,, 2, 2,,, 2, 2, 2, 2,,,,, 2,,, 2, 2, 2,,, 2, 
  2, 2, 8, 2, 8,,,, 2, 2,,,, 2, 2,, 15, 4, 2, 2, 2, 2, 4,, 11, 4, 2, 2, 2,,, 
  2,,,,, 2, 2,, 2, 2, 2, 2,,,, 2,,,, 2, 2,, 2, 2, 2, 7, 2, 7,,, 2, 2,,, 2, 2,
  , 14, 4, 2, 2, 2, 2, 4,, 10, 2, 2, 2, 2,,,, 2, 2, 2, 2,,, 2,,,,, 2, 2,,, 
  2, 2, 6, 2, 6,,,, 2,,,, 2,,, 12, 4, 2, 2, 2, 2, 5,, 8, 2, 4,,, 2,,,,,, 2,, 
  2, 2, 5, 2, 5,,, 2,,, 2,, 12, 4, 2, 2, 2, 2, 4,, 12,,,,, 2,,,, 2, 2,,,,, 
  2, 4, 2, 4,,, 4,, 2,,, 2, 6, 2, 4, 2, 4, 5,, 5,, 26,, 9,, 17,,,, 2,,,, 4,, 
  4,, 4,, 2,,, 4,, 4, 3,, 4,, 19,, 8,, 16, 2, 2, 2, 2, 2, 4, 2,,, 4, 2,,, 2,
  , 11,, 11, 4, 2,, 4, 2,, 2,, 10,, 11,, 9,, 8,, 8,, 8,,, 2, 2,,,,,, 4,,, 6, 
  12,,,, 4,,,, 4,, 2,, 2,, 2,,, 2,, 5,,,,,,,, 2,,, 2,,, 2, 2, 2,,,,, 2,, 2, 
  2,,, 3, 2,, 4,,, 2, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 
  8, 50,, 18,, 3,, 22,, 2,, 2, 8, 4,,, 2,,,,,,,, 3,, 2, 4, 2,,,, 2,, 2,,,, 
  8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8,,,,,,,,, 3, 8, 40,,, 17,,, 3,, 2,, 
  18,,,,,, 2,,,,,,,,, 3,, 2, 4, 2,,,, 2,, 2,,, 8, 3, 8, 3, 8,,,,,,,,, 3, 8, 
  3, 8, 3, 8, 3, 8, 104,,,, 2,, 2, 2,, 2, 8, 2, 8, 2, 8,, 8, 2, 8, 2, 8,, 8, 
  2, 8, 34,, 20,, 3,, 16,, 2, 2, 8, 4,,, 2,,,,,,,, 3, 8, 3, 8,, 8, 3, 8, 3, 
  8,,,,,,,,, 36,,, 21,,, 2,, 2,, 18,,,,, 2,,,,,,,,, 8,, 8,,, 2,,,,, 8,, 8, 
  77,,, 3,, 2,,,,, 3,,,,, 2,,,,,,,, 2,,, 17,, 3,,,, 3,, 2, 2, 2,, 3,,,, 2,, 
  2,,,,, 3,,,,, 2,,,, 80,, 2,, 2,, 4,, 2,, 15, 2, 4,,, 4,,,,, 2, 2, 2, 43,, 
  29,, 2,, 2,, 4,, 2,, 2, 4,,, 4,,,,, 2, 2, 2, 73,, 2,, 2,, 2,, 2, 2, 2,, 3, 
  3,,,,, 84,, 21,, 2,, 2, 2,, 2,,, 2,, 2, 2,, 2,, 2,, 6,, 2,, 2, 2, 2, 2, 2, 
  2, 2, 160, 4, 2, 2, 2, 4, 2, 2,,, 2,,, 2,, 6, 2, 2, 2,, 2,, 4,,, 2, 4, 2, 
  6,,,,, 4,,, 17, 2, 16, 2, 2, 2, 2,, 2, 3, 2,, 2, 2,, 2,, 4,,,, 6,, 2, 3, 2,
  , 2, 2, 2,,,,,,,,,,,,,,,,, 8,,, 2,,,, 8,,, 2,, 2,,, 2, 2, 2, 2, 2,,,,,,,, 
  2, 2,,, 2, 4, 2, 3, 2, 2,, 7,,,,,,, 2, 2,, 2, 3, 2, 2, 2, 2,, 6,, 2, 2, 2, 
  2,,,,,,, 2,,, 2, 2, 2,, 2,,, 4,,,,,, 2,, 2,, 4,, 4,, 2, 2, 2, 2, 3,,, 6, 3,
  , 6,, 5,, 4,,, 2, 2,,,,,,, 4,, 2,, 2,,,, 2,,,,,,,,,,,,,, 2,,,,,,,,,,,, 2,,,
  ,,,,, 2,, 2,, 2, 2,,,,,,,,, 2,,,,,,,, 2,,,, 2,,, 2,,,,, 2,,,,, 2,,, 6,,, 2,
  , 3,,, 4,,,, 2,,,,,, 2,, 2,,, 2,,,, 2,,,,,,,,,,, 2,,, 2,, 2,, 2,, 2,,,,,,, 
  2,,,, 2,,, 2,,,,, 2,,,, 6,,, 2,, 3,,, 4,,,, 2,,,,, 2,,, 2, 2,,,,, 2,, 2, 
  2, 8,,, 2, 6,, 2,, 3,,, 8,,, 2,, 7,,, 2,,,,,,, 16,,, 3, 4, 2,,,,, 10, 2, 
  2, 2, 2, 4,, 2,,,, 2, 2,,,, 2,,,,, 2, 2, 2,, 2, 5, 4,, 2,,, 2, 2, 2,,,,,,,,
  ,, 2,,, 2,,, 2, 2, 2,,,,,,,,,,,,,,,,,,,,,,,,, 8, 4, 4, 8, 4, 8,,,, 2,,,,, 
  4, 8, 4, 8,,,,,,,,,, 4, 8,,,,,,,,,, 32,, 3,, 2,,,, 2,, 3, 2,, 2, 3,, 2,,,, 
  2,, 3, 2,,,,,,,,,,,, 2, 4, 8, 4, 8, 2, 2, 2, 2, 4, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2, 4,, 2,, 2, 2,, 2,, 2, 4,,,,, 4,
  , 2, 2, 2, 2,, 2, 4, 4, 8, 4, 8,, 2, 2, 4,, 2, 4, 64,, 2,, 2, 2,, 2,, 2, 4,
  ,,,, 4,, 2, 2, 2, 2,, 2, 4, 4, 8, 4, 8,, 2, 2, 4,, 2, 4, 64, 2, 4,, 2,, 2, 
  2,, 2, 2, 2, 2,, 2, 4, 4, 8, 4, 8,, 2, 2, 4,, 2, 4, 64,, 2,, 2, 2,, 2, 2, 
  2, 2,, 2, 4, 4, 8, 4, 8,, 2, 2, 4,, 2, 4, 64,,,, 4,, 2,, 8, 4, 4, 8, 4, 8, 
  2, 2, 2, 2, 4, 4, 8, 4, 8, 4, 8, 128,,,, 2,, 2,, 4, 8, 4, 8, 2, 2, 2, 2, 
  4, 4, 8, 4, 8, 128,,,,, 8,, 2,, 2,,,,,, 2,, 2, 4,,,,, 4, 64,, 2,, 2,,,,,, 
  2,, 2, 4,,,,, 4, 193, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 4,, 2,, 2,, 2, 66, 2,, 2,
  , 2,, 2, 17, 2,, 2,, 2,, 2, 66, 4, 2, 4, 16, 2, 2, 4, 2, 2, 74, 4, 2, 4, 
  2, 2, 4, 2, 2, 72, 2,, 2,, 2,, 2, 10, 2,, 2,, 2,, 2, 2,, 2,, 2,, 2, 9, 2, 
  2, 4, 2, 2, 16, 2, 2, 4, 2, 2, 10, 4, 2, 4, 2, 4, 2, 4, 8, 2,,,, 3,, 2, 4, 
  2, 4, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 130, 8, 
  2, 2, 2, 2,, 2, 2, 2, 4, 2, 4, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,
  ,,,,,, 4, 8, 128,, 2, 2,, 2,,, 4,, 4, 2, 4, 4, 8, 4, 8, 4, 8,,,,, 2,,,, 4, 
  8, 4, 8, 4, 8, 4, 8, 128, 2, 2, 3, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 130, 8,, 2, 2,,,,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,,,,,,, 128, 2, 
  2, 2,,,, 4, 8, 4, 8,,,,,,,,,, 4, 8, 4, 8, 129, 2,, 3,, 2,,,, 8,, 2,,, 2,,, 
  34,, 3, 2,, 2, 3,, 2,,,, 2,, 3, 2,, 2, 3,, 2,,,, 8, 130, 8, 16, 2, 4, 2, 
  4, 2, 4, 130, 8, 2, 4, 2, 4, 2, 4, 128,, 3,, 3, 3, 3,, 3, 2, 33,, 2,, 2,,, 
  2, 3,, 3, 2, 1024,,,,,,,,,,,,,,,,, 4, 8,,,,, 2,,,, 33,, 2,, 3, 2, 3,, 2,,, 
  2,,, 2,, 3, 2, 3,, 2,,, 2, 2, 4, 2,, 2,,, 2,, 2, 4, 2,, 4, 2,, 2, 2, 2, 2,
  , 4, 64, 2,, 2,,, 2,, 2, 4, 2,, 4, 2,, 2, 2, 2, 2,, 4, 64, 2, 4, 2,, 2,,, 
  2,, 2, 4, 2,, 4, 2,, 2, 2, 2, 2,, 4, 64, 2,, 2,,, 2,, 2, 4, 2,, 4, 2,, 2, 
  2, 2, 2,, 4, 64,,,,, 8, 2,, 2,, 2, 64, 2,, 2,, 2, 218, 4, 2, 4, 16, 2, 2, 
  4, 2, 2, 74, 4, 2, 4, 2, 2, 4, 2, 2, 80, 2, 2, 4, 2, 2, 16, 2, 2, 4, 2, 2, 
  10, 4, 2, 4, 2, 4, 2, 4, 8,,,, 2,,, 2,,,,,,,,,, 3,, 3, 3, 3,, 3, 2, 2,,,, 
  2,, 2,,,, 2,, 33, 2, 2, 2,, 2,,, 32, 2,,, 33, 2,, 2,, 2,, 2, 2,,,, 2, 2, 
  2, 2, 2, 2,, 2,, 65, 2,, 2, 2, 2, 2,,,, 184, 2,,,, 2,,, 32,,,,,,, 3,, 3, 
  3, 3,, 3, 2, 2,,, 33,, 2,,,,, 2, 2,,,, 2, 2, 2, 65, 3, 2, 2, 2,,,, 168, 4, 
  4, 2, 2, 4, 64, 4, 2, 64,,,, 2,, 3, 2,,, 16,,,,,,, 2, 32,, 3,, 2,,,, 2,, 
  3, 2,, 2, 3,, 2,,,, 2,, 3, 2,,,,,,,,,, 352,, 3,, 2,,,,,, 2,, 3, 2, 128,, 3,
  , 3, 2, 2,, 3,,, 2, 64,,,,,,, 3,, 3, 3, 3,, 3, 2, 56,, 3,, 3, 3, 3,, 3, 2, 
  9, 2,, 2, 4, 2,, 2, 6, 2,, 2, 73, 2,, 2,, 2,, 2, 5, 2,, 2, 165,, 2,, 2,,,, 
  2,, 3,,, 2, 64,, 3,, 3, 2, 2,, 3,,, 2,,,,,,,,,,,,,,,,, 2,, 2, 33,, 2,, 2,,
  , 2, 3,, 3, 2,,, 2,, 2,,, 2, 3,, 3, 2, 162,,, 2,,, 14, 6, 2, 2, 72, 2, 2, 
  2, 2, 4, 2, 2, 2, 2, 4, 10, 6, 2, 2, 16, 2, 2, 2, 2, 4,,, 2,,, 2, 4,,, 2,, 
  2, 106, 6, 2, 2, 64,,, 2, 2,,, 6,, 2,, 2, 6,, 3, 2,, 2, 3,, 2,,,, 18,, 3, 
  2,, 2, 3,, 2,,,, 16,,,,,,,,, 2,, 3, 2, 8, 16, 8, 16, 8, 16,,,,,,,,, 2,, 3, 
  2, 8, 16, 8, 16,,,,,,,,, 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, 8, 16, 8, 16,, 2,,,,,, 2,, 3, 2, 8, 16, 8, 
  16, 8, 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, 8, 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, 8, 16, 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, 8, 16, 8, 16, 8, 16, 
  264, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 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, 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, 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, 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, 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, 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, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16,, 2,,,,,, 2,, 3, 2, 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, 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, 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,, 2,,,,,, 2,, 3, 2, 8, 16, 8, 16, 8, 16, 8, 
  16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 
  16, 8, 16, 8, 16, 864,, 3,, 2,,,,,, 2,, 3, 2, 1344, 2, 2, 2, 2, 6, 2, 2, 
  2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 928, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 
  2, 6, 2, 2, 2, 4, 643,, 2,,, 2,,, 2,, 3, 2, 1632,, 3,, 2,,,,,, 2,, 3, 2, 
  416, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 515,, 2,,, 2,,, 
  2,, 3, 2, 384, 2, 2, 2, 2, 6, 2, 2, 2, 4, 2, 2, 2, 2, 6, 2, 2, 2, 4, 897, 
  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, 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, 8, 16, 8, 16, 8, 
  16, 257, 2,, 2,, 2,, 4,, 2,, 2, 4, 2, 6, 2, 2, 8, 16, 8, 16, 8, 16, 8, 16,,
  ,,,,, 3,, 2,,, 2, 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, 8, 16, 264, 16,, 2,, 
  2,, 2,, 4,, 2,, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16,,,,,,, 3,, 
  2,,, 2, 257, 2,, 2,, 2,, 4,, 2,, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 
  8, 16, 256,,,,,,, 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 ] );