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

SMALL_GROUP_LIB[ 1536 ].2nil[ 78 ] := rec( ops :=
[ 2, 97,,,,, 1046,,, 705, 2, 97, 231, 2, 97, 1046,,, 705, 2, 97, 231, 2, 97,,
  ,,, 1046,,, 705, 2, 97, 231, 2, 97, 1046,,, 705, 2, 97, 231, 2, 514, 1375,,
  , 705, 528,,, 2,,,,, 97,,,,, 1046,,, 705, 2, 97, 231, 2, 97, 1046,,, 705, 
  2, 97, 231, 2, 97,,,,, 1046,,, 705, 2, 97, 231, 2, 97, 1046,,, 705, 2, 97, 
  231, 2, 514,, 528,,,,,,,,,,,,,,,, 97,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 528,,,
  ,,,,,,,,,,,,, 514,, 705,,,,,, 514, 1375,,, 705, 528,,, 2,,,,, 514, 1375,,, 
  705, 528,,, 2,,,,, 6,,,, 510, 6, 2,,,,,,,,,,,, 487,,,,,,,,,,,,,,, 2, 6,,,,,
  ,,,,,,,,,,,,,,,,,,,,, 510, 6, 2,,,, 1042,,,,,,,, 2,,,,,,,,,,,,,,,,,,, 510, 
  6, 2,,,,,,,,,, 487,,,,,,,,,,,,,,, 2, 6,,,,,,,,,,,,,,,,,,,,,,,, 510, 6, 2,, 
  1042,,,,,,,, 2,,,,,,,,,,,,, 510, 6, 2,,,,,,,,,,,,,, 487,,,,,,,,,,,,,,, 2, 
  6,,,,,,,,,,,,,,,, 510, 6, 2,,,,,, 1042,,,,,,,, 2,,,,,,,,, 510, 6, 2,,,,,,,,
  ,, 487,,,,,,,,,,,,,,, 2, 6,,,,,,,,,,,,,,,, 510, 6, 2,, 1042,,,,,,,, 2,,,,,,
  ,,,,,,, 510, 6, 2,,,, 487,,,,,,,,,,,,,,, 2, 6,,,,,,,,,, 510, 6, 2,,,, 1042,
  ,,,,,,, 2,,,,,,,,,,, 510, 6, 2,, 487,,,,,,,,,,,,,,, 2, 6,,,,,,,, 510, 6, 2,
  , 1042,,,,,,,, 2,,,,, 510, 6, 2,,,,,, 487,,,,,,,,,,,,,,, 2, 510, 6, 2,,,,,
  , 1042,,,,,,,, 2, 510, 6, 2,, 487,,,,,,,,,,,,,,, 2, 510, 6, 2,, 1042,,,,,,,
  , 2, 13876, 7218, 13868, 1229, 2,,, 1646,,,,, 7218, 1229, 5310, 7218, 994, 
  13538, 13696, 5250, 2,,,,, 7177, 13872, 2, 1646,,,,,,,,,,,,, 2087, 55, 2,, 
  3515,, 2,,,, 3515,, 2,, 2087,, 2,, 3515,, 2,,,, 3515,, 2,, 2087,, 2,, 3515,
  , 2,,,, 3515,, 2,, 2087,, 2,, 3515,, 2,,,, 3515, 2, 55, 1196,, 1283,, 3515,
  , 4837,, 2,,, 1196, 1972, 6224, 2, 55, 1972,,, 1646, 2,, 1196, 1972, 6224, 
  2, 55, 1972,,, 1646, 2,, 55, 6224, 2, 55, 1972,,, 1646, 2,, 55, 4837, 2, 
  55,, 6224,, 55, 1972,,, 1646, 2,, 12, 2, 2721,, 424,, 134, 994, 2, 6440,, 
  5251,, 12,, 2721, 424, 2, 994, 6440, 2, 5251,, 2721,, 134, 994, 2, 6440,, 
  5251,, 2721, 994, 6440, 5251, 2, 1646, 7177,, 2, 13874, 1646, 2,,,, 5251, 
  994, 2, 14214,, 7177, 1646, 2,,,, 1196, 55, 1283,, 4838,, 3515,, 1196, 
  1972, 6225,, 1196,, 6225, 55, 4838,, 6225, 13534, 1029, 2,,, 5257,, 2087, 
  55, 2,, 4319,, 2,,,, 4319,, 2,, 2087,, 2,, 4319,, 2,,,, 4319,, 2,, 2087,, 
  2,, 4319,, 2,,,, 4319, 2, 55, 2087, 2, 55, 4319,, 2,,,, 4319, 2, 55, 1196, 
  1283, 55, 4837, 2, 55,, 1196, 4837, 2, 55,, 1196, 4837, 2, 55,, 4837,, 55,
  , 12, 2721, 424, 134, 2, 6620,, 6609,, 12, 2721, 424, 2, 6620,, 6609,, 
  2721, 134, 2, 6620,, 6609,, 2721, 6620, 6609, 2, 13943, 13639, 2, 13631,, 
  1196, 1283, 4838, 55, 1196, 4838,,, 12, 2,, 514, 2, 152, 134, 2, 6567,, 12,
  ,, 514, 2, 152, 134, 2, 4900,, 12, 514, 152, 134, 2, 4900,, 12, 514, 152, 
  134, 2, 6567,, 927, 166,,, 2720, 3180, 2, 166,,, 927,,,, 2720, 3180, 2, 
  166,,, 927,,,, 2720, 3180, 2, 166,,, 927,,,, 2720, 3180, 2, 166,, 14013,, 
  166, 927, 2720, 3180, 2, 166, 9474, 2, 166, 927, 2720, 3180, 2, 166,,, 
  927, 2720, 3180, 2, 166,,, 927, 2720, 3180, 2, 166,,, 6571,,,,,, 5310, 2,,,
  , 166, 7197,, 2,, 7197,, 2,, 6607, 2,,,, 166, 2,, 14550, 7197, 166, 2,,,,, 
  5257,,,,,, 14235, 9474, 2, 927, 166,,, 2720, 3011, 166, 2,, 927,,,, 2720, 
  3011, 166, 2,, 927,,,, 2720, 3011, 166, 2,, 927,,,, 2720, 3011, 166, 2,, 
  927, 2720, 3011, 2, 166, 927, 2720, 3011, 2, 166, 927, 2720, 3011, 2, 166, 
  927, 2720, 3011, 2, 166, 12, 516,, 2, 134,, 81, 6567, 4900, 2, 12, 516,, 
  2, 134,, 81,, 12, 516,, 134, 2, 81,, 12, 516,, 134, 81, 4900, 6567, 2, 82, 
  1615, 2, 13834, 1615, 2, 13869, 1229, 2,, 82, 3516, 3714, 2, 14018,, 82, 
  3516, 3714, 82, 1966, 4852, 461, 2006,,, 1966, 4852, 461, 4106,, 1966, 
  4106, 461, 1966, 4852, 461, 4106,, 1966, 4106, 461, 1966, 4852, 461, 2697, 
  1966, 461, 2697, 1966, 461,,,,, 2697, 1966, 461, 2697, 1966, 461,, 2006, 
  461,, 4852, 4106, 461,,, 4852, 4106, 461,,, 2697, 1966, 461, 2697, 1966, 
  461,,,,, 2697, 1966, 461, 2697, 1966, 461,,, 2006,,, 1966, 461,,,,, 2697,,,
  ,,,, 2006, 461,,, 2697,,,,, 13929, 9282, 9377, 2929, 13535,, 3690, 9281,, 
  2929,,, 13608,, 3690, 9281,, 13540, 2929, 2, 1229, 7170,, 13870, 2, 1229,,,
  ,,,, 3516, 514, 3531, 2, 13586, 1029, 13582,, 2,,, 3531,, 14212, 1615, 2,,,
  ,,,,, 13651, 2, 4917,, 817, 4182, 327, 2,,, 2142,, 4182, 327, 2142, 2, 
  817, 4182, 327, 2, 2142,, 4182, 327, 2142, 2, 817, 4182, 327, 2, 4182, 
  327, 2, 817, 4182, 2,,, 12, 3025,, 2, 4193, 2142, 2, 12, 3025,, 2, 4193,, 
  12, 3025,, 2, 4193, 2142, 2, 12, 3025,, 4193, 2,, 2142, 2, 4193,,, 2142, 
  2, 4193,, 12,, 2711,, 327,, 134, 182, 2, 12,, 2711, 327, 2, 134, 182, 2, 
  2711,, 327, 134, 182, 2, 2711, 327, 134, 182, 2, 12, 2711, 2, 12, 2711, 2,,
  ,,, 937,,,,,,,,,,,,,,,, 12,,, 1886, 134, 3531, 2, 12, 1886, 3531, 2, 12,,, 
  1886, 134, 3531, 2, 12, 1886, 3531, 2, 134, 3531, 2,,, 134, 3531, 2,,, 12, 
  937,, 2, 134,, 937, 12, 2, 134,, 12, 937, 134, 2, 937, 134, 12, 1195, 
  7170, 1229, 9316,, 2,,,,,, 994, 514, 3516, 9426, 2, 1195, 994, 9426, 3714, 
  2, 9296,, 12,, 4160,, 3025,, 4116,, 12,, 4160, 3025, 2, 4116,, 4160,, 4116,
  , 4160, 4116, 2, 2717, 345, 2716,, 3184, 2730, 2, 345, 2717,, 2716,, 2730, 
  2, 345, 2717,, 2716,, 3184, 2730, 2, 345, 2717,, 2716,, 2730, 2, 345, 
  3184, 2730, 2, 345, 2730, 2, 345, 3184, 2730, 2, 345, 2730, 2, 345, 2730,, 
  2,, 2730,, 2, 2730, 345, 2, 2730, 345, 2,, 2730, 2, 345, 2730, 2,,,,, 994,
  , 1019,, 994,, 1019,, 12,,,, 4117, 1019, 2, 12,,,, 4117, 1019,,, 2, 4117, 
  1019, 4157, 2, 12,, 134, 994, 1886, 2, 4157, 12, 2, 994, 1886, 2, 4157,, 
  134, 994, 4157,, 7170, 9316, 2, 1229,,,,, 9296, 2, 12, 4160, 3025, 4116, 
  2, 12, 4160, 3025, 4116, 2, 4160, 4116, 2, 4160, 4116, 2, 2717, 2716, 345, 
  3184, 2, 345, 2717, 2716, 345, 2,, 2717, 2716, 3184, 2, 345, 2717, 2716, 
  2, 345, 3184, 2, 345,,, 3184, 2, 345,,,,,,,, 994,, 1019,, 994, 1019, 2, 
  12, 4117, 2, 12, 4117, 4157, 12, 134, 1886, 4157, 12, 1886, 4157, 134,, 
  82, 2696, 2, 817,, 514,, 5315,, 3516,, 82, 2696, 817, 2, 514,, 4337,, 3714,
  , 82, 2696, 2, 3714,, 4337,, 82, 2696, 2, 3516,, 5315,, 3181, 6303, 9527, 
  13610, 9528, 10063, 566, 2,, 9313, 3517, 9328,, 2, 1229, 1615,, 3517, 566,
  , 3181, 6303, 9528, 9352, 566, 2,, 9303, 13691, 2, 566, 3181, 6303, 9527, 
  9352, 2, 566, 9305, 3697, 2,, 566,, 3181, 6303, 2, 566,,, 82, 12, 188, 2, 
  1886, 992, 2, 134,, 82, 188, 2, 992,, 134,, 82, 12, 1886, 992, 2, 82, 992, 
  2, 82, 12, 2, 992,, 134, 82, 2, 134, 82, 12, 992, 2, 82, 566, 4175, 3181, 
  566, 2,, 4175, 3181, 566, 2, 3181, 566, 2, 3181, 566, 2,, 4175,, 2,, 4175, 
  2, 566,, 12, 82, 992, 2,,, 12, 82, 992, 2696, 2, 817, 514, 5315, 2, 3516,, 
  2696, 817, 514, 2, 4337, 3714, 2, 2696, 3714, 4337, 2, 2696, 3516, 5315, 
  2, 9313, 9328, 2, 1229, 1615,, 3517, 566,, 9303, 2, 566, 9305, 2, 3697, 
  566,, 2, 566, 12, 188, 1886, 134, 2, 188, 134, 2, 12, 1886, 2, 12,, 992, 
  134, 12, 992, 4175, 3181, 566, 2, 4175, 3181, 566, 2, 3181, 566, 2, 3181,, 
  4175,,,, 12, 82, 2, 12, 82, 4862, 1615, 327, 2, 1615,,,,, 4862, 9521, 
  3516, 3714, 327, 2142, 2, 4862, 9521, 3516, 3714, 2, 4862,, 82, 12, 2, 550,
  , 134,, 550, 134, 82, 12, 2, 550, 4215, 4210, 619, 4135, 4215, 619, 4135, 
  4215, 4210, 619, 4135, 4215, 619, 4135, 4210, 619,, 603, 12, 82, 550, 2, 
  82, 550, 2, 603, 12, 82, 550,,, 2, 12, 82, 2, 550,, 12, 82, 2, 550, 82, 2,
  , 4862, 327, 2, 1229,,,,, 4862, 2, 82, 12, 2, 134, 82, 12, 4215, 4210, 
  619, 4135, 4215, 619, 4135, 4215, 4210, 4135, 4215,, 4210, 603, 12, 2, 
  603, 12, 2,, 550, 2, 12, 550, 18, 2828,, 4470,, 2828,, 4470,, 2828,, 5287,
  , 2828,, 5287,, 1433, 1740, 18,,, 1433,,, 794, 18, 4470, 5287, 18, 1433, 
  794, 18, 2074, 806, 2676,, 18, 2074, 806, 2676,, 18, 2074, 806, 2676,, 18, 
  2074, 806, 2676,, 18, 2074, 2676, 806, 18, 2074, 2676, 806, 18, 2074, 
  2676, 806, 18, 2074, 2676, 806, 18, 1220, 794,, 18,, 794,, 18,, 794,, 18,, 
  794,, 18, 2828,, 4470,, 2828,, 4470,, 2828,, 5287,, 2828,, 5287,, 1433, 
  4207, 18,,, 1433,, 2074, 806, 2676,, 18, 2074, 806, 2676,, 18, 2074, 806, 
  2676,, 18, 2074, 806, 2676,, 18, 2074, 2676, 18, 2074, 2676, 18, 2074, 
  2676, 18, 2074, 2676, 18, 1220, 794,, 18,, 794,, 18,, 794,, 18,, 794,, 18, 
  1969, 6237, 9312, 1969, 18,, 7168, 4867, 1969, 18,, 9351,, 4867,, 18,, 
  4867,, 18,, 6236, 9302, 18, 1969, 9351, 4867, 1969, 18,, 7168, 4867, 1969, 
  18, 1220,,,, 1433,, 1220,,,, 1433,, 1220,,,, 1433,, 1220,,,, 1433,, 1220,,,
  , 794,, 2535,, 1220,,,, 794,, 2535,, 1220,,,, 794,, 2535,, 1220,,,, 794,, 
  2535,, 6237, 9312, 18, 4867,, 6236, 9302, 18, 1220, 1433, 18, 1220, 1433, 
  18, 1220, 1433, 18, 1220, 1433, 18, 1220, 794, 2535, 1220, 794, 2535, 
  1220, 794, 2535, 1220, 794, 2535, 2406, 1220, 18, 4470, 4842, 18, 1740, 
  6229, 18, 1740,, 2406, 1220, 18, 4842,, 2406, 4842, 18, 2406, 2708, 18, 
  1433,, 2406, 2708, 18, 1433,, 2406, 2708, 18, 2406, 2708, 1740, 6229, 18, 
  1740,, 1220, 4842, 18,,, 2708,, 1433,, 2708, 1433, 18, 2708,,, 2406, 1740, 
  6229, 18, 1740,, 2406, 4842, 18, 2406, 2708, 18, 1433, 2406, 2708, 18, 
  1433, 2406, 2708,,, 6229, 18, 1740,, 2708, 1433,,,, 2406, 1220, 18, 9334, 
  4470, 18, 1740, 9364, 18, 2406, 1220, 2828, 18, 2406, 2828, 4207, 1220, 
  2406, 9364, 1740, 2406, 9334, 152, 2,,, 514,, 462,,,,,,,,,,,, 1029,,,,,, 
  152,,,, 514,, 462,,,,,,,,,,,, 1029,,,,,, 152,,,, 514,, 462,,,,,,,,,,,, 
  1029,,,,,, 152,,,, 514,, 462,,,,,,,,,,,, 1029,,,,,, 514,, 1029,,,,,, 152,,,
  , 462,,,,,,,,,,,, 514, 2669,, 1029, 144,, 2, 144,,,,,,,,,,,,,, 152, 1337,, 
  462, 144,, 2, 1337, 152,, 144, 462,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,, 514, 2669,, 1029, 144,, 2, 144,,,, 152, 1337,, 462, 
  144,, 2, 1337, 152,, 144, 462,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,, 1029,,,,,, 514,, 462,,,,,,,,,,,, 152,,,, 144,,,,,,,,,, 514, 2669,, 
  1029, 144,, 2, 144,,,,,,,,,,,,,, 152, 1337,, 462, 144,, 2, 1337, 152,, 
  144, 462,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,, 514, 2669,, 1029, 144,, 2, 144,,,, 152, 1337,, 462, 144,
  , 2, 1337, 152,, 144, 462,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 358, 18, 152, 2, 18,,,,,,,,,,,,,,,,, 
  679,,,,,, 462, 2,,, 18,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 358, 
  18, 152, 2, 18,,,,,,,,,,,,, 679,,,,,, 462, 2,,, 18,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,, 358, 18, 152, 2, 18,,,,,,,,,,, 679,,,,,, 462, 2,,, 18,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 358, 18, 152, 2, 18,,,,,,,,, 679,,
  ,,,, 462, 2,,, 18,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 358, 18, 152, 2, 
  18,,,,,,, 679,,,,,, 462, 2,,, 18,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  358, 18, 152, 2, 18,,,,, 679,,,,,, 462, 2,,, 18,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,, 358, 18, 152, 2, 18,,,,, 679,,,,,, 462, 2,,, 18,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,, 358, 18, 152, 2, 18, 679,,,,,, 462, 2,,, 18,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,, 358, 1721,, 679, 
  370,, 18, 1337, 152, 144, 462, 2, 18, 370,,,, 144, 2,,, 18,,,,, 370,,,, 
  144, 2,,, 18, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,
  , 18,,,,, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,, 358, 1721,, 679, 370,, 
  18, 1337, 152, 144, 462, 2, 18,,,,, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,
  , 18, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,, 18,,,,,,,,,, 358, 18, 152, 
  2, 18, 679,,,,,, 462, 2,,, 18,,,,,,,,,,,,,,,, 358, 18, 152, 2, 18, 679,,,,,
  , 462, 2,,, 18,,,,,,,,,,,,,,,,,,,, 358, 1721,, 679, 370,, 18, 1337, 152, 
  144, 462, 2, 18, 370,,,, 144, 2,,, 18,,, 370,,,, 144, 2,,, 18, 370,,,, 
  144, 2,,, 18, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,, 18,, 358, 1721,, 
  679, 370,, 18, 1337, 152, 144, 462, 2, 18,,, 370,,,, 144, 2,,, 18, 370,,,, 
  144, 2,,, 18, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,, 18,,,,, 370,,,, 144, 
  2,,, 18, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,, 358, 1721,, 679, 370,, 
  18, 1337, 152, 144, 462, 2, 18,,,,, 370,,,, 144, 2,,, 18, 370,,,, 144, 2,,
  , 358, 1721,, 679, 370,, 18, 1337, 152, 144, 462, 2, 18,,,,,,,,,,, 679,,,,,
  , 462, 2,,, 358, 18, 152, 2, 18, 679,,,,,, 462, 2,,, 358, 18, 152, 2, 18,,,
  ,, 370,,,, 144, 2,,, 358, 1721,, 679, 370,, 18, 1337, 152, 144, 462, 2, 
  358, 1721,, 679, 370,, 18, 1337, 152, 144, 462, 2, 447,,,,,,,,,,,, 14,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,, 447,,,,,,,,,,,, 14,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  , 447,,,,,,,,,,,, 14,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 447,,,,,,,,,,, 14, 2,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,, 447,,,,,,,,,,,, 14,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 447,,,,,
  ,,,,,,, 14,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 447,,,,,,,,,,,, 14,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,, 447,,,,,,,,,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,, 447,,,,,,,,,,,, 1736,,,,,,,,,,,, 447,,,,,,,,,,,, 1736,,,,,,,,,,,, 447,,
  ,,,,,,,,,, 1736,,,,,,,,,,,, 447,,,,,,,,,,,, 1736,,,,,,,,,,,, 64, 11,,, 14, 
  2, 1050, 64,,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 
  2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 
  11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 1050, 64,,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 
  64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,
  ,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,, 1050, 64,,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 
  64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,
  ,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 
  2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1050, 64,,, 11, 1050, 64,, 11, 
  2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 
  2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 
  11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 64, 
  11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 1050, 64,,
  , 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 
  1050, 64,,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 
  64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 
  64, 11,,, 14, 2, 1050, 64,,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 
  64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 
  64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 1050, 64,,, 11, 1050, 
  64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,
  ,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  11,,,,,,,,,,,,,,,, 447,,,,,,,,,,,, 11,,,,,,,,,,,,,,,, 447,,,,,,,,,,,, 11,,,
  ,,,,,,,,,,,,, 447,,,,,,,,,,,, 11,,,,,,,,,,,,,,,, 447,,,,,,,,,,,, 64, 11,,, 
  14, 2, 1050, 64,,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 1050, 64,
  ,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1050, 64,,, 11, 
  1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 
  64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1050, 64,
  ,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 64, 11,,, 
  14, 2, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 
  1050, 64,,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2, 64, 11,,, 14, 2,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 64, 11,,, 14, 2, 64, 11,,, 14, 2, 1050, 64,,
  , 11, 1050, 64,, 11, 2, 447, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1050, 64,
  ,, 11, 1050, 64,, 11, 2, 447, 64, 11,,, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,, 1050, 64,,, 11, 1050, 64,, 11, 2, 447, 14, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,, 447,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 11,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,, 75, 187,,,,,,,,,,,,,,,, 2, 11,,,,,,,, 75, 187,,,,,,,,,,,,,,,
  , 2, 11,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 75, 187,,,,,,,,,,,,,,,, 2, 
  11,,,,,,,, 75, 187,,,,,,,,,,,,,,,, 2, 11,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 75, 187 
 ], nrs :=
[ 80, 8, 4, 8, 20,, 2,, 2, 2,, 4, 2, 9,, 2,, 2, 2,, 4, 2, 9, 8, 4, 8, 20,, 2,
  , 2, 2,, 4, 2, 9,, 2,, 2, 2,, 4, 2, 521,, 2,, 2,,,,,, 2,, 2, 72, 8, 4, 8, 
  20,, 2,, 2, 2,, 4, 2, 9,, 2,, 2, 2,, 4, 2, 9, 8, 4, 8, 20,, 2,, 2, 2,, 4, 
  2, 9,, 2,, 2, 2,, 4, 2, 521, 8, 29, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 16, 8, 
  4, 8, 20, 8, 4, 8, 20, 8, 4, 8, 20, 8, 4, 8, 20, 8, 4, 8, 20, 8, 4, 8, 20, 
  8, 4, 8, 20, 8, 4, 8, 1045, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 16, 8, 1181, 2,
  , 4,, 2, 25,, 2,, 2,,,,,, 2,, 2, 520,, 2,, 2,,,,,, 2,, 2, 520, 32, 16, 32, 
  16, 8, 12, 8, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16,, 2,, 2,, 2,, 2,, 2,, 
  2,, 2,, 2, 8, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 8, 32, 16,, 2,, 2, 5, 2,
  , 2, 4, 8, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 8, 12, 8, 32, 16, 32, 16, 32, 16, 32, 16,, 2,, 2,, 2,, 2,, 2,, 2,, 
  2,, 2, 8, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 8,, 2,, 2, 5, 2,, 2, 4, 8, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 8, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 8, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 8, 32, 16, 32, 16,, 
  2,, 2, 5, 2,, 2, 4, 8, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 8, 32, 16, 
  32, 16, 32, 16, 32, 16,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 8, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 8,, 2,, 2, 5, 2,, 
  2, 4, 8, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 8, 32, 16,
  , 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 8, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16, 8, 12, 8, 32, 16,, 2,, 2, 5, 2,, 2, 4, 8, 32, 16, 32, 16, 32, 16, 32, 
  16, 32, 16, 8, 12, 8,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 8, 32, 16, 32, 16, 
  32, 16, 32, 16, 8, 12, 8,, 2,, 2, 5, 2,, 2, 4, 8, 32, 16, 32, 16, 8, 12, 
  8, 32, 16, 32, 16,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 8, 8, 12, 8, 32, 16, 
  32, 16,, 2,, 2, 5, 2,, 2, 4, 8, 8, 12, 8,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 
  8, 8, 12, 8,, 2,, 2, 5, 2,, 2, 4, 8,,,,,, 4,,,,,, 2,,,,,,,,, 21, 2,, 2, 4,,
  , 8,,,,, 2, 9, 3,, 2,,,, 2,, 7, 4, 10,, 5, 8, 11, 4, 8,, 6, 8, 8,, 5, 4, 9,
  , 4, 8, 10, 4, 8,, 4, 8, 8,, 3, 4, 8,, 3, 8, 9, 4, 9,,, 8, 8,,, 4, 8,,, 8, 
  8, 4, 8,, 8, 8,,,,,,,,, 4, 8, 8,, 3,, 4,, 3,,,,,,, 2,, 4,, 3,,,,,,,, 4,, 3,
  ,,,,,,, 4, 8, 8,, 4,, 3,,,,,,,,,,,,,, 2,, 4,, 16,,,,,,,, 3,, 17,,,,,,,,, 
  16,,,,, 17,,,,,,,,,, 2,,,,, 8,,,,,, 2,,,,,,,,,, 2,,,, 2, 2,,,,,, 2, 2, 2, 
  4,,,, 3, 4, 11,, 4, 8, 8, 4, 9,, 5, 8, 8,, 2, 4, 9,, 4, 8, 8, 4, 8,, 4, 8, 
  8,,, 4, 9,, 2, 8, 8, 4, 10,, 8, 8,, 4, 8,,, 8, 8, 4, 8,, 8, 8,,,,, 4, 8, 8,
  ,, 4, 8, 8,,, 4, 8, 8,, 4, 8, 8,,,,, 3,, 2,, 17,,,,,,,, 18,,,,,,, 16,,,, 
  17,,, 4,, 12,,,,,,,, 2,,,,,,,, 18,, 14,,,,,,,, 19,, 11, 2,,,, 17,, 13, 2,,,
  , 17,, 11,,,, 3,,, 2, 8, 4, 8,,,, 3,,, 2, 8, 3, 8,,,, 3,,, 2, 8, 3, 8,,,, 
  3,,, 2, 8, 2,,, 8, 2,,, 2, 8,,, 8, 2,,, 2, 8, 2, 8, 2,,, 2, 8,, 8, 2,,, 2, 
  8,, 8,,, 2,,, 8,,, 2,,,,, 3, 4, 8,,, 4, 17,,,,, 2, 3, 4, 9,,, 8, 8, 8, 4, 
  8,, 2, 9,, 2,,,,, 25,,,,,,, 2, 2, 8,,,,,,, 2, 2, 8,,,,,,, 2, 2, 8,,,,,,, 
  2, 2, 8, 2,,, 2, 8, 2,,, 2, 8, 2,,, 2, 8, 2,,, 2, 8,,,,,, 2,,,, 9,,,,,,,, 
  12,,,,,,, 8,,,,,,,, 9,, 4, 2,, 3,,,,, 2,,,,,, 4,,,,,,, 14, 6, 2, 2,,,,, 10,
  ,, 10,,,,, 8,,, 9,,, 13,,, 6,,, 4,, 4,, 4,,, 2,, 2,,, 6, 2, 2,,, 9,, 8,,, 
  8,, 12,,, 4,,, 3,, 3,, 2,,,,, 2,, 2,, 2, 2, 2,, 9,, 4,, 9,, 3,, 5,,,, 2, 
  2, 2, 4,,,,, 2,, 2,,,, 4,,,,,, 4,,, 2,, 4,, 3,,,,,, 2, 4, 17, 2, 2, 4, 2, 
  2,,,, 58,,,, 2, 2, 2, 24,, 56,, 2, 2, 2, 17, 4,, 2, 2, 2,,, 4, 25,,,,,, 2,
  , 48,, 2,, 48,,,, 2,, 48,,,, 48,,,, 49,,, 48,,, 48,, 48,,,, 3,,, 40,,,, 2,
  , 40,,,,,,, 40,,,,, 40,,, 40,, 40,,, 40,, 40,,,,,,,,, 32,,,,,,,, 32,,,,,, 
  32,,,,, 32,,, 32,,, 32,, 32,, 38,, 29,, 25,, 24,, 124,, 21,, 54,, 17,, 48,,
  ,,,,, 10, 2,,, 10,,,,,,, 8, 2,,, 8,,, 8,, 8,,, 8,, 8,,,,,, 3,,,,,,,,, 2,,, 
  4,,,,,, 17, 2, 2, 4, 2, 2,,,,, 49,,,,, 48,, 24,,,,,,,, 33,,,,,,, 32,,,, 33,
  ,, 32,,,, 3,,, 12, 8,,,, 3,, 12, 8,,,,,,, 12, 8,,,,,, 12, 9,,, 12, 9,, 12, 
  8,,, 12, 8,, 12, 11,, 4, 8,,, 4, 8,, 2, 8,, 2, 8, 3,, 8,,, 8,, 8,, 10,, 3,
  , 18,,,, 50,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 16, 2, 2, 4, 2, 2,, 
  24,,,,, 32,,,,, 32,,, 32,,, 32,,,,, 12, 8,,,, 12, 8,,,, 12, 8,,, 12, 8,, 
  12, 8, 12, 8,, 12, 8, 12, 12, 8, 2, 24, 2, 33,,,, 16,,, 48, 2,,, 2, 3,,,,,,
  ,,,,,,, 2,, 2,,,, 5,, 32,,,, 2,, 3,,,, 34,,, 3,,,, 33,,,,, 3,, 32,,,,,,, 
  2, 12, 8,,,,, 4,, 2,, 2, 2, 2,,,,, 2, 12, 8,,, 6, 4,,,,, 12, 8,,, 6, 2, 2, 
  2,,, 12, 8, 6, 4,,,,,,,,, 8,,,,,,, 8,,,,, 8,,, 8,,, 2,, 2,,, 2,,,,,,,,,, 
  5, 4,,,, 3, 4,, 4, 4,, 2, 4,,,, 4,,, 4,, 9,,,, 4,, 3,,, 2,,,,,, 2,, 32,,,,,
  ,, 33,,,, 32,,,, 32,,, 4,, 2,, 2, 2, 2,, 6, 4,, 6, 2, 2, 2, 6, 4,,,,, 8,,, 
  8,,, 16,,,, 2,,,,, 2, 4,,,, 4,,, 4,, 4,, 4,, 12,,, 2,,,, 4,, 9, 4,, 2, 2, 
  2,,,,,,, 32,,,,, 32,, 16,,, 3,,,, 2,,,,,, 2,,, 5,,, 5,,,, 2,,, 2,,, 4,,,,,
  , 4,,, 2,,,,,,,,,, 3,,,,, 2,,,,,,, 8, 2, 2, 4, 2, 2,, 16,,,, 2,,,,,,,,,,,,,
  ,, 2,,, 2,,,,,,,,,,, 6,, 23,, 6,, 23,, 7,, 20,, 6,, 20,, 4, 2, 4, 9,, 20,,
  , 2,,, 24,,, 25,,,, 5, 11,,,, 5, 11,,,, 5, 11,,,, 5, 11,,, 4, 11,,, 4, 11,,
  , 4, 11,,, 4, 11,,,, 25,,,, 24,,,, 25,,,, 25,, 3,, 18,, 2,, 19,, 2,, 17,, 
  2,, 16,, 4, 2, 2, 8,, 16,,,,, 9,,,,, 9,,,,, 9,,,,, 9,,, 9,,, 9,,, 9,,, 9,,,
  , 17,,,, 16,,,, 17,,,, 16,, 3,,, 4, 3,,, 2, 8, 2,,,, 2, 8,,,, 8,, 3,, 4, 3,
  ,,, 8, 2,,,, 16,,,, 2,, 8,,,, 2,, 7,,,, 2,, 8,,,, 2,, 7,,,, 2,,,, 4,,,, 2,,
  ,, 4,,,, 2,,,, 4,,,, 2,,,, 4,,, 4,, 8,,, 12, 2,, 3, 2,, 2, 2,, 3, 2,, 2, 2,
  ,, 2,,, 2,,, 2,,,,, 2,,, 10, 2,, 2, 4,,,,,, 8,,, 8,,, 3,, 2,,,,, 2,,, 2,,, 
  2,, 2, 4,,,, 8,, 8,, 2,, 2,,, 2,, 2,,,,,, 4,,,, 8,,,,,,,,,,,,,,, 4,,,,,, 2,
  ,, 2,,, 2, 2,,,,,, 2,,, 2,,,,,,, 8, 12, 8, 332, 8, 93, 4,, 2, 2, 2, 8, 2, 
  2, 2,, 4, 330, 4,, 2, 2, 2, 3160, 8, 12, 8, 268, 8, 29, 4,, 2, 2, 2, 8, 2, 
  2, 2,, 4, 266, 4,, 2, 2, 2, 3096, 8, 12, 8, 76, 8, 157, 4,, 2, 2, 2, 8, 2, 
  2, 2,, 4, 74, 4,, 2, 2, 2, 3096, 8, 12, 8, 12, 8, 29, 4,, 2, 2, 2, 8, 2, 
  2, 2,, 4, 10, 4,, 2, 2, 2, 3224, 8, 29, 4,, 2, 2, 2, 24, 8, 12, 8, 13, 4,, 
  2, 2, 2, 8, 2, 2, 2,, 4, 2697,, 4,,, 2,, 4, 2,, 2, 6, 4, 2, 4, 9, 2, 2, 4, 
  2, 2, 8,, 4,,, 2,, 4, 2, 2, 2,, 2,, 5, 4, 2, 4, 9, 2, 2, 4, 2, 2, 73, 4, 
  2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 
  4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 73, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 
  4, 2, 4, 9, 2, 2, 4, 2, 2, 137, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 
  2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 
  137, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 520,, 4,,, 2,
  , 4, 2,, 2, 5,, 4,,, 2,, 4, 2, 2, 2,, 2,, 69, 4, 2, 4, 9, 2, 2, 4, 2, 2, 
  9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 
  2, 2, 4, 2, 2, 73, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 
  2, 137, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 
  4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 137, 4, 2, 4, 9, 2, 2, 
  4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 649, 4,, 2, 2, 2, 24, 8, 29, 4,, 2, 
  2, 2, 8, 2, 2, 2,, 4, 9, 8, 12, 8, 2189, 4, 2, 4, 9, 2, 2, 4, 2, 2, 8,, 4,,
  , 2,, 4, 2,, 2, 6, 4, 2, 4, 9, 2, 2, 4, 2, 2, 8,, 4,,, 2,, 4, 2, 2, 2,, 2,
  , 5, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 137, 4, 2, 
  4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 
  2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 137, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 
  2, 4, 9, 2, 2, 4, 2, 2, 520,, 4,,, 2,, 4, 2,, 2, 5,, 4,,, 2,, 4, 2, 2, 2,, 
  2,, 5, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 137, 4, 2, 
  4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 
  2, 2, 9, 4, 2, 4, 9, 2, 2, 4, 2, 2, 137, 4, 2, 4, 9, 2, 2, 4, 2, 2, 9, 4, 
  2, 4, 9, 2, 2, 4, 2, 2, 520, 8, 12, 4, 6, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 32, 16, 32, 
  16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16, 32, 16, 32, 16, 8, 12, 4, 6, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 
  4, 6, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 8, 12, 4, 6, 32, 16, 32, 16, 32, 16, 32, 16,, 4,, 
  2, 2, 2, 8, 2, 2, 2, 4, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 4, 6, 32, 16, 32, 16, 32, 
  16,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 4, 6, 32, 16, 32, 16,, 4,, 
  2, 2, 2, 8, 2, 2, 2, 4, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 8, 12, 4, 6, 32, 16, 32, 16,, 4,, 2, 2, 2, 8, 2, 
  2, 2, 4, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 4, 
  6,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4,,
  , 2,, 4, 2,,,, 2,, 4, 2, 4, 9, 2,, 2, 5, 32, 16, 32, 16,, 4, 2, 4, 9, 2,, 
  2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5, 
  32, 16, 32, 16,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4,,, 2,, 4, 
  2,,,, 2, 32, 16, 32, 16,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4, 
  2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 8, 12, 4, 6,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 8, 12, 4, 6,, 4,, 2, 2, 2, 8, 2, 
  2, 2, 4, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16,, 4,,, 2,, 4, 2,,,, 2,, 4, 2, 4, 9, 2,, 2, 5, 32, 16,, 4, 
  2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 
  9, 2,, 2, 5, 32, 16,, 4,,, 2,, 4, 2,,,, 2, 32, 16,, 4, 2, 4, 9, 2,, 2, 5,, 
  4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5, 32, 
  16, 32, 16,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 4, 9, 2,, 
  2, 5,, 4,,, 2,, 4, 2,,,, 2, 32, 16, 32, 16,, 4, 2, 4, 9, 2,, 2, 5,, 4, 2, 
  4, 9, 2,, 2, 5,, 4,,, 2,, 4, 2,,,, 2, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 8, 12, 4, 6,, 4,, 2, 2, 2, 8, 2, 2, 2, 4, 
  8, 12, 4, 6, 32, 16, 32, 16,, 4, 2, 4, 9, 2,, 2, 5,, 4,,, 2,, 4, 2,,,, 2,, 
  4,,, 2,, 4, 2,,,, 2,,,, 12,,,, 9, 2, 5, 2, 192, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 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, 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, 4, 8, 68,
  ,,, 12,,,, 9, 2, 5, 2, 64, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 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, 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, 
  4, 8, 260, 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, 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, 4, 8, 4,,,, 12,,,, 9, 2, 5, 
  2, 64, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 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, 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, 4, 8, 4,,,, 12,,,, 9, 2, 5, 2, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 
  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, 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, 4, 8, 260, 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, 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, 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, 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, 4, 8, 4, 8, 4, 8, 4,,,, 12,,,, 9, 2, 5, 
  2, 192, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 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, 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, 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, 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, 4, 8, 4, 8, 4, 8, 68,,,, 12,,,, 9, 2, 5, 2, 64, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 
  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, 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, 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, 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, 4, 8, 4, 8, 
  4, 8, 4,,,, 12,,,, 9, 2, 5, 2, 64, 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, 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, 4, 8, 
  260, 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, 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, 4, 8, 260, 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, 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, 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, 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, 4, 8, 4, 8, 4, 8, 4,,,, 12,,,, 9, 
  2, 5, 2, 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, 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, 4, 8, 260, 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, 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, 4, 8, 260, 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, 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, 4, 8, 1156,,,, 12,
  ,,, 9, 2, 5, 2, 1152,,,, 12,,,, 13, 2,, 2, 1600,,,, 12,,,, 9, 2, 5, 2, 960,
  ,,, 12,,,, 13, 2,, 2, 1728,,,, 12,,,, 9, 2, 5, 2, 768,,,, 12,,,, 13, 2,, 
  2, 1536,,,, 12,,,, 9, 2, 5, 2, 576,,,, 12,,,, 13, 2,, 2, 512, 8, 4, 8, 4, 
  8, 4,,,, 4, 4,,,, 4,, 2, 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, 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, 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, 
  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, 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, 4, 8, 4, 8, 4, 8, 4, 8, 4,,,, 4, 4,,,, 4,, 
  2, 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, 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, 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, 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, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4,,,, 4, 4,,,, 4,, 2, 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, 
  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, 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, 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, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4,,,, 4, 4,,,, 4,, 2, 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, 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, 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, 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, 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, 4, 8, 4, 8, 4, 8, 
  4, 8, 4, 8, 4, 8, 4, 8, 4,,,, 4, 4,,,, 4,, 2, 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, 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, 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, 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, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4,,,, 4, 4,,,, 4,, 2, 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, 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, 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, 
  4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4,,,, 4, 4,,,, 
  4,, 2, 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, 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, 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, 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,,,, 4, 4,,,, 
  4,, 2, 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, 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, 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, 32, 16, 32, 16, 32, 16, 
  32, 16, 32, 16, 32, 16, 32, 16, 32, 208,,,, 12,,,, 9, 2, 5, 2, 256, 32, 
  16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 80,,,, 12,,,, 9, 
  2, 5, 2, 320, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  80,,,, 12,,,, 9, 2, 5, 2, 256, 32, 16, 32, 16, 32, 16, 32, 16, 32, 16, 32, 
  16, 32, 16, 32, 16,,,, 12,,,, 9, 2, 5, 2, 256, 8, 4, 8, 4, 8, 4,,,, 4, 4,,,
  , 4,, 2, 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, 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, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 
  8, 4, 8, 4, 8, 4, 8, 4,,,, 4, 4,,,, 4,, 2, 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, 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,,,, 4, 4,,,, 
  4,, 2, 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, 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, 4,,,, 4, 4,,,, 4,, 2, 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, 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, 4,,,, 4, 4,,,, 4,, 2, 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, 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,,,, 4, 4,,
  ,, 4,, 2, 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, 4,,,, 4, 4,,,, 4,, 2, 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, 4, 
  8, 4, 8, 4, 8, 4,,,, 4, 4,,,, 4,, 2, 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, 196,,,, 12,,,, 9, 
  2, 5, 2, 64,,,, 12,,,, 9, 2, 5, 2, 128,,,, 12,,,, 9, 2, 5, 3,,, 12,,,, 9, 
  2, 5, 2, 16, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 5, 16, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 5, 16, 2,
  , 2, 5, 2,, 2, 5, 16, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 5, 16, 2,, 2, 
  5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 5, 16, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 5, 16, 2,
  , 2, 5, 2,, 2, 5, 16, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 5, 16, 2,, 2, 
  5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 
  5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 
  5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 
  21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 5, 16, 2,, 
  2, 5, 2,, 2, 17 ] );