Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346############################################################################# ## #W sml1536.ack GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 89 ] := rec( ops := [ 2, 1184,, 1503,, 1184,,,, 1503,, 1184,, 282,, 515,, 282,,,, 1571,, 515,, 282,, 1571,, 282,, 586,, 1793,, 65,,,,,, 1793,, 65,, 515,, 65,,,, 385,, 1184,, 1503,, 65,,,, 4097,, 65,, 1150,, 65,, 4097,, 65,, 515,,,, 1184,, 385,, 65,, 4097,, 65,,,,,, 4097,, 65,, 282,, 65,,,, 1793,, 65,,,, 1793,, 1503,,,, 515,, 1150,,,, 515,, 1503,, 1184,,,, 1503,, 1184,,,, 282,, 515,, 282,,,, 1571,, 515,, 282,, 1571,, 282,, 586,, 282,, 515,, 385, 282, 2,, 385, 2, 515, 586, 2, 385,, 1571, 1184, 2, 385,, 1184, 1571, 2, 1150,, 1503, , 1184,, 1150,, 1184,, 1503,, 515,,,, 586,,,, 1571, 1184, 2, 385,, 1184, 1571, 2, 385,, 1184,,,, 282,,,, 385, 282, 2,, 385, 2, 1503,,,, 1150,,,, 515,, 1150,,,, 515,, 1184,, 1503,, 1184,,,, 1503,, 1184,, 282,, 1571,, 515, , 282,, 1571,, 282,, 515,, 282,, 1503,, 586,, 1503,, 586,, 1571,, 282,, 1571, 586, 282, 2, 586, 282, 2,,, 1150,, 1184,,,,,, 1150,, 1184,, 12886, 476, 894, 2,, 10447, 2, 65,, 385,, 292, 476, 2, 3494,, 671,, 65, 2072,, 2, 3494,, 65, 2072, 2, 3494,, 292, 476, 2, 671,, 3494,, 2072, 65, 671, 2, 2072, 671, 2, 1618, 476, 2, 3494,, 671,, 2915, 65, 2, 3494,, 2915, 3494, 2, ,, 292,, 671,, 476, 1150, 3494, 2, 292,, 671,, 476, 3494, 2, 292,, 671, 476, 2, 292, 671, 476, 1618, 586, 1503, 2, 2915,, 65,, 2915,, 65,, 385,, 476, 292, 2, 65, 2072, 2,,, 515,, 292,, 476,, 292,, 476,, 515,, 292,, 476, , 292,, 476,,, 292, 2, 65, 2072, 2,,, 1618,, 2915,,,, 1150,, 292,, 476,, 292,, 476,, 292,, 476,, 1150, 292, 2, 476,,,, 292,, 476,, 292,, 476,, 292, , 476, 292, 2, 476,, 292,, 476,, 292,, 476,, 292,, 476, 292, 2, 476,, 292,, ,, 1571,, 292, 1618, 1503, 2, 476,, 1618, 515, 476, 2, 1618, 476, 2, 1618, 476,,, 2, 586,, 2915, 65, 2, 2915,, 586,, 385,, 65,,,, 476,, 4100,, 476,, 292,, 476,, 4100,, 476,, 1618, 476, 2, 1150,, 2915, 65, 2, 2915,, 1503,, 476,, 292,, 476,, 292,, 476,, 292,, 476,, 292,, 476,,,,,,,, 4100,, 476,, 292,, 476,, 4100,, 476,,,,,, 1571, 476, 1618, 2,,,,,,, 586,, 2915,,,, 586, , 385,, 65,, 476,, 515, 292, 2, 476,, 1503,, 292,, 476,, 292,, 476,, 292,, 1618,, 1503,, 2915,, 1503,, 2915,, 476,, 292,, 476,, 292,, 476,, 292,, 476, , 292,,,, 476,, 292,, 476,, 292, 476, 2, 292, 476, 2, 515, 292, 2, 476,, 1503,, 292,, 476,, 292, 476, 2, 292, 476, 2,,, 1571, 1618, 2,,,, 1571, 2, 586,, 1618,, 515, 1618, 385, 2, 1618,, 586,, 515,, 385,,,, 4100,, 292,, 4100,, 1150,, 586,, 1618, 1571, 2, 1618,, 1503,, 1150, 1618, 385, 2, 1150, , 1618,, 1503,, 292,,,,,,,, 4100,, 292,, 4100,, 1571,,,, 1618,,,,,, 586,, 1150,, 1618,, 4099,, 586,, 671, 282, 2, 515,, 4099,, 385,, 671, 385, 2, 586,, 515,, 1150,,,, 4103,, 1184,, 671,, 4103,, 671,, 586,,,, 385,,,, 282, , 671,, 282,, 671,, 282,, 671,, 282,, 671,,,, 1150, 1184, 2, 671, 1503, 2, 1184,,,, 1571,, 671, 1150, 2, 1184,, 1571,, 4103,, 1184,, 671,, 1150,, 4103,, 1150,, 671,, 4099,, 671, 282, 4099, 2, 671,,,,, 1503, 2, 671,,,,,, 282,, 586,, 1503,, 282,, 515,, 282,, 385,, 282, 1503, 2, 385,, 586,, 515,, 385,, 1150,, 385,, 1150,, 1184,, 515,, 1184,, 1571,, 515, 1184, 2, 1571,, 1184,, 586,,,, 385,,,, 282,,,, 385,, 282,, 385,, 282,, 1503,, 1184,, 1150, , 1184,, 1503,, 1150,, 1184,, 1571,, 1184,, 1571,,,,,, 1184,, 515,, 1150,, 1184,, 515, 1184, 2,,, 1150,, 282,, 515,, 1503,, 282,,,, 515,, 282, 1503, 2, 1184,, 1503,, 1184,,,, 1503,, 1184,, 586,, 1571,,,, 586,, 282,, 586,, 282,, 586,, 282,,,, 1150,,,, 4099,, 586,, 282,, 515, 4099, 385, 2, 586, 515, 2, 1150,,,, 4103,, 1184,, 4103,, 586, 385, 2,,, 282, 671, 2, 282,,, 671, 2, 282,, 671,, 1184, 1571, 1503, 1150, 1184, 1571, 1150, 1184, 2,,, 4103, 1150, 2, 1184,, 4103,, 1150,, 4099, 282,, 671, 1503, 2, 282, 4098, 2, 515, 695, 2, 282,, 515, 695, 282, 4098, 2, 695,,,,,,,, 385,,,,,, 695,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 282, 2,,,,,,, 515,,,,,,,,,, 385,,,,,, 586,,,,,,,,,, 282, 4098, 2, 515, 695, 2, 282,, 515, 695, 282, 4098, 385, 2,,,,, 695,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 894,, ,,,,,,, 515, 695, 6020, 10816, 2, 385, 65, 282, 1793, 2, 65,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,, 586,,,,,,,,,,,, 282, 1793, 385, 65, 2, 385, 65, 282, 1793, 2, 282,, 65,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 282,,,,,,,, 385,,,,,, 515,,,,,,,,,,,, 586,,,,,,,,,,,, 282,,,,,,,, 385,,,,,, 515,,,,,,,,,, 586,,,, ,,,,,, 282,,,,,,,, 385,,,,,, 515,,,,,,,,,,,, 586,,,,,,,,,, 282,,,,,,,, 385, ,,,,, 515,,,,,,,,,, 586,,,,,,,,,,,, 385, 65, 282, 1793, 2, 282, 1793, 385, 65, 282, 2, 65,,,,,,,,,,,,,,,,,,,,,,,, 515,,,,,,,,,, 385, 65, 282, 1793, 2, 282, 1793, 385, 65, 282, 2, 65,,,,,,,,,,,,,,,, 515,,,,,,,,,,,, 282,,,,,, ,, 385,,,,,, 515,,,,,,,,,, 586,,,,,,,,,, 65,,,,,,,, 282, 1793, 385, 65, 2, 385, 65, 282, 1793, 2, 282,, 515,,,,,,,,,,,, 282, 1793, 385, 65, 2, 385, 65, 282, 1793, 2, 282,, 515,,,,,,,, 385,,,,,, 282,,,,,,,, 515,,,,,,,,,,,, 586,,,,,,,,,,, 13593, 14059, 2, 3322, 1617, 2, 515, 3322, 2,,, 8815, 191, 2, 8814, 13047, 191, 2,,,,, 1521, 554, 2, 1617, 515, 2, 1521,, 6430, 894, 2, 1521, 936, 2, 3231,, 292,, 1150,, 1521,, 2082,, 292,, 12783,, 2004,, 1521, 554, 2, 292, 4494, 2, 1521, 2082, 2, 3231,, 4494, 292, 2, 1150,, 2004,, 1521,,, 515, 2, 1521,, 7137,, 326,,,,, 7269, 1431, 2,,,,,, 1521, 2,, , 8993, 1455, 2,,,, 569, 2,,,,, 936, 218, 2, 936, 218, 2,,,,,,,,, 2004,, 554,, 218,, 554,, 218,, 2004,, 4964,, 218,,,, 1150,, 218,, 13356,, 1150,, 218,,,,,, 1150,, 2082,, 218,, 1617,, 218,,,, 1150, 218, 2, 11516,, 218,, 2004,, 5265, 218, 2, 2004,, 2082,, 218,, 1617,, 218,,,,,,,,,,,, 2004,, 4019,,,, 2004,, 4019,, 218,, 4019,, 4449, 13487, 2, 1479, 515, 1617, 1479, 2, 6977, 3322, 1479, 8204, 5864, 1479, 2, 191,, 4449, 1479, 2, 4815, 1479, 2, 4449, 2082, 1479, 4815, 8147, 1479, 2, 1150,, 1521, 401, 2, 3231,, 1150, , 1521, 401, 2, 7137,, 326,,,,, 7039, 6168, 2, 1455,, 569, 1479, 9239, 2,, , 554, 401, 2, 218,, 401,, 218,, 2004,, 4964,, 401,, 218,,,, 2004,, 401,, 2082,, 401,, 1150,, 1617,, 401,, 1150,, 401,,, 8063, 5265, 2, 401,, 2082,, 401,, 1617, 401, 2,,,, 6977, 3322, 1479, 8204, 2, 191,, 4449, 4815, 2, 1150,, 4449, 8147, 2, 1521, 2082, 2, 2004,, 7137,, 326,,, 7039, 2, 1455,, 569,, 554,, 218,, 4964,, 218,, 401,, 218,, 2004,, 218,, 1150, 218, 2, 401, , 6235, 401, 2,,, 1150, 6235, 401, 8063, 218, 401, 2, 6235, 401, 2,, 6235, , 12444, 13046, 14195, 356, 5265, 2, 11771,, 569,, 356,, 3698,,,,,, 12885, 3698, 356,,, 2, 12478, 10382, 356, 5265, 2, 14028, 1503, 3698, 9937, 711, 2, 1503, 8621, 11879,, 14575, 134, 356, 2, 936,, 287,, 356, 6430,, 9937, 13494, 2, 936, 287, 2, 10821,, 191, 12474, 14196, 134, 936, 287, 2, 894, 14526, 936, 287, 2, 11683, 8814, 191, 12821, 11624, 1521, 191, 2082, 2, 894,, 586,, 8815, 14527, 282, 2,,,,,,, 1521, 1380, 3706, 2, 13221,, 1380, 3706, 2, 1454,,,,, 1521, 3706, 2, 3698,, 7166,, 335,, 1521,,,, 3698,, 1521, , 2082,, 1521, 1617, 2, 1521,, 363,, 1521,, 363,, 7269, 1431, 2,,,,,, 1521, 2,,, 218, 1380, 2, 218,,, 363, 2, 218,,, 1380, 2, 218,,, 363, 2, 218, ,,,,,,,,,,,,,,,,,,, 2082,, 218,,,, 2082,, 218,, 1617,, 218,,,, 1617,, 218,, ,,,,,,,,,,,,,,,,,,,,,,,,,, 6035,, 218,, 6035,, 218,, 6035,,,, 8462, 5180, 1454, 1030, 2, 282,, 1454, 1030, 282, 5180, 5237, 1380, 3706, 2, 1030,,,,, 7166, 2, 553,, 335,, 1521, 553, 3698, 2, 1521, 553, 2, 5237, 1030, 2,,,, 5237, 2, 1030,,,, 1380,, 553,,,, 363,, 553,,,, 1380,, 553,,,, 363,, 553,,,, ,,,,,,,,,,,,,,,, 2082, 553, 2, 218,, 553,, 218,, 553,, 218,,,, 1617,, 553, , 218, 1030, 4107,,, 2, 553,, 218, 1030, 4107, 8462, 1454, 1030, 2, 282,, 1454, 1030, 282, 5180, 7166, 553, 335, 2,,, 1521,, 5237,, 1030,,, 5237, 2, 1030,,,, 6147,, 553,, 6147,, 553,, 218,, 553,,,, 6147,, 553,, 6147,, 553,, 218,, 553,,,, 218,, 553,, 218,, 553,, 218,, 553,, 218,, 553,,,,,,,,,, 2082, , 218,, 553, 218, 2,, 1617, 2, 218,, 553, 1030, 4107,,, 2, 218,, 553, 4107, 1030,, 7269, 231, 7244, 2, 1431,,,,,,, 13195, 9548, 2, 996,,,, 11623, , 996, 335, 4720, 282, 2,,, 1380,, 996,,,, 231,, 363, 231, 2,,,,, 2082,, 231,,,, 2082,, 231,, 1617,, 231,,,, 1617,, 231,,,,,,,,,,,,,,,,, 10432, 2, 996, 335, 4720, 282, 1380, 2, 553,, 3231,, 996,, 553,,,,,, 3231,, 553,,,, 231,, 553,, 3231,, 553,, 3231, 363, 2, 553,, 3231, 553, 2, 3231, 282, 8864, , 2,, 6020,, 2,, 9343, 2, 2139,, 1617,, 363, 134, 191, 1380, 2, 3706,, 363, 134, 191, 1380, 2, 3706,, 894, 586, 2, 2139, 1617, 2, 335, 9344, 2, 335,, 8816,, 363, 134, 2, 1380,, 363, 134, 1380, 2, 134,, 2139,, 134,, 1617,, 134,, 2139,, 134,, 1617,, 134,, 894,, 134,, 586,, 134,, 586,, 134,, 894,, 191,, 1617,, 2139,, 1454,,,,, 6380,, 2,,, 2139,, 191,, 2139,, 1617,, 2139,, 1617,, 191,, 586,, 894,, 191,, 894,, 191,,,, 586,, 1431,,,,,,,,,,,, 894,, 586,, 282, 8191, 2, 282, 6020, 2, 282, 1078, 2, 1617, 2139, 2, 3706, 1078, 2, 8180,, 134, 231, 2, 2139,, 134, 231, 2, 1617,, 134,, 231,, 2139,, 134, 231, 2, 1617,, 231,, 894,, 231,, 586,,,, 894,, 2139,, 1454,,,, 2139,,, , 8191,, 6020,, 282, 8180, 2, 134,, 2139, 134, 2, 1617,, 134, 231, 2, 2139, 134, 231, 2, 1617,, 894,, 586,,,, 894,, 1454,,,, 2139,,,, 134,, 191, , 894, 586, 2, 4720, 8203, 282, 996, 335, 2, 9548, 9074, 2, 996,, 894,, 586,, 134,, 3706, 996, 9074, 2, 996,, 8177, 1454, 2,,,, 6380, 2, 2139,, 191,,,, 1617, 2139, 2, 191,, 134, 191, 2, 894, 586, 2, 8203, 282, 335, 2, 134,, 3706, 8177, 2, 1617,, 191, 1454, 6380,, 2, 2139, 191, 2, 9590, 8864, 2, 13043, 9344, 2, 894, 586, 1380, 9343, 8816, 1454, 6380, 2139, 191, 2, 7244, 401, 9819, 282, 2, 1769,, 10951,, 1769,,,,, 2483, 282, 2, 1828,, 14520, 14205, 2, 14571, 4720, 13594, 2, 13638, 335, 1454, 2, 2350,, 335,, 14223, 14001, 2, 14771, 9678, 2, 14006,, 8754,, 191, 13954, 12781, 2, 191,, ,, 2483,, 1828, 14117, 5291, 2, 996, 2483, 1828, 11372, 2, 5291,, 9678, 1150, 2, 14572,, 9819, 5291, 12651, 2, 8321, 1769, 10893, 2, 6191,,,,, 10747, 2, 13059,, 6626, 1769, 12426, 14128, 1893, 12754,, 2, 14184, 14181, 2, 12397, 12228, 3211, 2,, 996, 2, 1976,, 996, 1976, 2, 12166,, 13474, 12423, 2, 14312,, 13504, 12434, 2, 405, 13505, 12401, 11947, 14314, 8321, 14244, 9590, 13194, 1380, 13948, 6977, 11040, 11559, 11965, 7434, 11954, 12953, 14037, 7434, 10390, 2944, 2, 12310, 1612, 1479, 2, 287,, 11344, 328, 2,,,, 9820, 191, 6598, 2, 13543,, 1769,,,,,,, 282, 8754, 2, 282,,,,,, 2483,, 1828,, 13510, 7280, 2, 2483,, 1828,, 13542, 9475, 3322, 2,,, 9820, 326, 2, 1769,,, 2483, 1828, 2, 10748,, 8119,, 4235, 1769, 11135, 2, 1479, 1976, 2, 1828,, 1976,, 1828,, 231, 1976, 2, 1828,, 1976,, 1828, 1479, 1976, 2, 1828, 1976, 2, 1828,, 231, 1976, 2, 1828,, 1976,, 1828,, 1976,, 1828,, 1976,, 1828,, 1976,, 1828,, 1976,, 1828, 1976, 2, 1828, 1976, 2, 1828,, 1976,, 1828, 1976, 2, 1828,,,, 9776,, 1828,, 1976,, 1828,, 1976,, 1769, 14458,, 2,, 9703, 2, 1828,, 14323, 1828, 2, 1769, 9703, 13182, 13969, 1479, 13957, 1454, 2,,,, 11884, 2, 282,, 328, 1454, 8584, 282,, 12859, 14002, 2, 4235,,,,, 11875, 2, 5322,,,,,, 7201,, 9017, 1454,, 7445, 2, 8119,, 1454, 11324, 2, 1479,, 245,,,, 231,, 245,,,, 1479,, 245,,,, 231, , 245,,,,,,,,,,,,,,,,,,,, 6598, 245, 2, 1976,, 245,, 13234,, 245,, 1976,, 9776,, 326,, 245, 1454, 9055,, 9030,,, 245, 7445, 1596, 2, 11508, 282, 7201, 1596, 9565, 11323, 1596, 9033,, 2,,,,, 4078,, 1596,,,,,,, 13460, 2, 3529, 245, 2, 1976,, 5284,, 3529,, 245,, 5284,, 245, 3529, 2, 9033, 1596, 2, 4078,, 1596,,,,,,,,, 1976, 5284, 245, 2, 3529,, 5284, 245, 2, 3529,, 5284, 13233, 2, 3529, 245, 2, 9802, 1596, 4078, 2, 1596,,,,, 4078, 2, 1596, ,,,, 6598, 1976, 4078, 9802, 1976, 13242, 9565, 9031, 9055,, 10325, 1596, 3005, 13041, 11157, 1479, 2, 245,, 3529,, 1828,, 9817,, 13332, 4078, 2, 1596,,,,, 245, 2, 3529,,,, 245,, 9817,, 1828, 1596, 2, 4078, 1596, 13351, 2, 245, 3529, 2, 4078, 1596, 14310, 2, 3005,,,,,, 6626,, 8542, 328, 9475, 4235, 8542, 2, 13676,, 2350,, 6626,, 3005,,,,,, 6626,, 3005,,,,,, 5262,,,, 2350,, 5262,,,,, 12254, 2, 4235,,,, 7176,, 2350,, 7176,,,, 13675,, 7201, 12253, 287, 2, 65,,,,,,,,,,,,,,,, 351,, 341,, 65,, 2664, 65, 2, 2665, 65, 2,,,,,, 2664, 2, 65, 2665, 2, 65,, 341,, 351,, 65,, 2665, 65, 2, 2664, 65, 2,,,,,, 2665, 2, 65, 2664, 2, 65,, 287,, 65,,,,,,,,,,,,,,,, 351,, 341,, 351,, 341,, 351,, 341,, 351,, 341,, 711,,,, 287,, 65,,,,,,,,,,,,,, 351,, 341,, 65,, 2664,, 2665,, 65,,,, 2664,, 2665,, 65,, 341,, 351,, 65,, 2665,, 2664,, 65,,,, 2665,, 2664,, 65,, 287,, 65,,,,,,,,,, 351,, 341,, 351,, 341, , 351,, 341,, 351,, 341,, 711,,,, 287,,,, 351,, 341, 711, 2, 351,, 711, 341, 2, 351, 287, 2, 341,, 287, 351, 2, 341,,, 711, 2, 351,, 711, 341, 2, 351,, 341,, 351, 287, 2, 341,, 287, 351, 2, 287,,,, 351,, 341,, 351,, 341, , 351,, 341,, 351,, 341,, 711,,,,,,,, 341,, 351,, 341,, 351,, 341,, 351,, 341,, 351, 292, 2667, 2, 2072, 2665, 2, 65,, 2072,, 65,, 351,, 292, 476, 2, 65, 2664, 2, 2072, 65, 2, 2664, 65, 2, 2072,, 292,, 476,, 292,, 476,, 292,, 476,, 292,, 476,, 292, 476, 2, 2072, 65, 2, 2072,, 292, 2667, 2, 2072, 2665, 2, 2072,, 292,, 476,, 292,, 476,, 292,, 476,, 292,, 476,,,, 292,, 476,, 292,, 476, 292, 2, 476, 292, 2, 476,, 292,, 476,, 292,, 476, 292, 2, 476, 292, 2, 476, 351, 2, 292,, 476,, 292,, 2666, 292, 2, 2666, 292, 341, 2, 476,, 292,, 476,, 292, 341, 2, 476, 292,, 2667, 2, 2665,, 65,, ,, 351,, 476, 292, 2, 2664,, 65, 2072, 2, 2664,, 2072,, 292,, 476,, 292,, 476,, 292,, 476,, 292,, 476,,, 292, 2, 65, 2072, 2,,, 2667,, 2665,, 292,, 476,, 292,, 476,, 292,, 476,, 292,, 476,,,, 292,, 476,, 292,, 476,, 292,, 476, 292, 2, 476,, 292,, 476,, 292,, 476,, 292,, 476, 292, 2, 351,, 292,,, , 2666,, 292, 2666,, 341, 2, 476,,,, 341, 476, 2,, 2668, 341, 2, 2668,, 292, 341, 2, 351,, 292,, 351,, 292,, 287, 351, 2, 292,, 351, 287, 2, 292,,, ,,,,,,,,,,,,,,,,,,,,,,, 2668, 341, 2, 2668,, 292, 341, 2, 292,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,, 711, 351, 2, 292,, 351, 711, 2, 292,, 351, 292, 2, 351, 292, 2,, 341, 2, 292,,, 341, 2, 292,,,,,,,,,,,,,,,,,, 341,, 292,,,,,, 287,, ,, 351,,,, 287,, 351,, 287,, 351,, 341,,,, 711,, 341,, 711,, 341,, 351,,,,, , 287,, 351,, 287,,,,,, 341,,,,,, 711,, 341,, 711,, 341,,,,,,,, 711,,,, 351,,,,,,,, 711,,,, 341,,,,,,,, 351,,,,,,,, 287,,,, 351,,,, 287,, 351,, 287,, 351,, 341,,,, 711,, 341,, 711,, 341,, 351,,,,,, 287,, 351,, 287,,,,, , 341,,,,,, 711,, 341,, 711,, 341,,,,,,,, 711,,,, 351,,,,,,,, 711,,,, 341,, ,,,,,, 351,,,,,,,, 287,,,, 351,,,, 287,, 351,, 287,, 351,, 711,, 341,, 711, , 341,,,,,, 351,,,,,, 287,, 351,, 287,,,,,, 341,, 711,, 341,, 711,, 341,,,, ,,,,,,,, 711,,,, 351,,,,,,,, 711,,,, 341,,,,,,,, 351,,,,,,,, 287,,,, 351,,, , 287, 351, 2, 287, 351, 2, 711,, 341,, 711,, 341,,,,,, 351,,,,, 287, 2, 351, 287, 2,,,,, 341,, 711,, 341,, 711,, 341,,,,,,,,,,,, 711,,,, 351,,,,,,, , 711,,,, 341,,,,,,,, 351,,,,,,, 292, 2667, 2, 2072, 2665, 2, 2072,, 351,, 65, 2664, 2,, 65, 2, 476,, 292,, 476,, 292,, 476,, 292,, 476,, 292,,, 2667, 2, 2072, 2665, 2, 2072,, 476,, 292,, 476,, 292,, 476,, 292,, 476,, 292,,,, 476,, 292,, 476,, 292,, 476,, 292, 476, 2, 292,, 476,, 292,, 476,, 292,, 476,, 292, 476, 2,, 351, 2, 476,, 2666, 292, 341, 2, 292,,, 341,, 2667, 2, 2665,, 351,, 2664,,,, 476,, 292,, 476,, 292,, 476,, 292,, 476,, 292,, 2667,, 2665,, 476,, 292,, 476,, 292,, 476,, 292,, 476,, 292,,,, 476, , 292,, 476,, 292, 476, 2, 292, 476, 2, 292,, 476,, 292,, 476,, 292, 476, 2, 292, 476, 2, 351,, 2666, 341, 2,, 2668,, 2, 2668,, 292, 341, 2, 351,,,, 287, 351, 2,, 287, 2, 292,,,,,,,,,,,,,,,, 2668, 341, 2, 2668,, 292, 341, 2, 292,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 711, 351, 2,, 711, 2, 351,,, 292, 341,,,, 2,,,,,,,,,,,,,,, 341,, 287,,,, 351,,,, 287,, 351,, 287,, 351,, 341, ,,, 711,, 341,, 711,, 341,, 351,,,,,, 287,, 351,, 287,,,,,, 341,,,,,, 711, , 341,, 711,,,,,, 341,,,,,,,, 351,,,,,,,, 341,,,,,,,, 711,,,, 351,,,,,,,, 287,,,, 351,,,, 287,, 351,, 287,, 351,, 341,,,, 711,, 341,, 711,, 341,, 351,,,,,, 287,, 351,, 287,,,,,, 341,,,,,, 711,, 341,, 711,,,,,, 341,,,,,,, , 351,,,,,,,, 341,,,,,,,, 711,,,, 351,,,,,,,, 287,,,, 351,,,, 287,, 351,, 287,, 351,, 711,, 341,, 711,, 341,,,,,, 351,,,,,, 287,, 351,, 287,,,,,, 341,, 711,, 341,, 711,, 341,,,, 711,,,, 341,,,,,,,, 351,,,,,,,, 341,,,,,,, , 711,,,, 351,,,,,,,, 287,,,, 351,,,, 287, 351, 2, 287, 351, 2, 711,, 341, , 711,, 341,,,,,, 351,,,,, 287, 2, 351, 287, 2,,,,, 341,, 711,, 341,, 711, , 341,,,, 711,,,, 341,,,,,,,, 351,,,,,,,, 341,,,,,,,, 711,,,, 351,,,,,,, 292, 341, 2, 287,, 292,, 287,, 292, 341, 2, 292,, 351,, 292,, 351,,, 2668, 2, 351,, 2668,, 292,, 2668,,,, 292, 341, 2, 292,,, 341,, 2, 351,, 292,, 351,, 292,, 351,, 292,, 351,, 292,,, 341, 2, 292,,, 341, 2, 711,, 292,, 711,, 292, 341, 2, 292,,, 341, 2, 292,, 341,, 287,,,, 341,, 351,, 292,, 351,,, 2668, 2, 351, 2668, 2, 292,, 2668,,,, 341,,,, 351,, 292,, 351,, 292, , 351,, 292,, 351,, 292,, 341,,,, 711,,,, 341,,,, 292, 341, 2, 287, 292, 2, 287,, 292, 341, 2, 292,, 351, 292, 711, 2, 351,, 292,, 351, 292, 287, 2, 351,, 292,,, 711, 2, 292,,, 287, 2, 292,,, 341,,,, 2, 351,, 292,, 351,, 292,, 351,, 292,, 351,, 292,,, 341, 2, 711,, 292, 711, 2, 292, 341, 2, 292, ,, 341, 2, 292,,, 341, 2, 292, 341, 2, 287,,, 341, 2, 351, 711, 2, 351,,, 287, 2, 351,, 711,, 287,, 341,, 351,,,,,,,, 341, 711, 2,,, 341,,,,,, 287,,, , 711,,,, 351,, 341,, 351,, 341,, 351,, 341, 287, 2, 351,, 287, 341, 2,,, 351,, 341,, 351,, 341, 287, 2, 351,, 287, 341, 2, 351, 287, 2,,, 711,,,, 351,, 341,, 351,, 341,, 351, 711, 2, 341,, 711, 351, 2, 341,,,, 351,, 341, , 351,, 341,, 351, 711, 2, 341,, 711, 351,, 476, 287, 2, 476,, 287, 476, 2, 351,, 341, 476, 2, 351, 476,, 2, 2667,, 351, 2667, 2, 341, 476, 2667, 2, , 711, 476, 2, 2666,, 341,, 2666,, 341, 351, 476, 341, 2, 476,, 341,, 476,, ,,,,,,, 2666, 2,, 351, 476, 711, 287, 476, 2, 351, 341,, 2667,,, 2, 341, 2667, 711, 476, 2, 2666, 341,,, 351,, 2, 476,, 2666, 351, 2, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,, , 65,,,,,,,, 335, 65, 170, 1717, 2, 170, 1717, 335, 65, 2, 170,, 65,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 335, 65, 170, 1717, 2, 170, 1717, 335, 65, 2, 170,, 65,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 335,,, ,,, 170,,,,,,,,, 1717, 335, 65, 2, 335, 65, 170, 1717,, 2, 65,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,, 170, 1717, 335, 65, 2, 335, 65, 170, 1717,, 2, 65 ], nrs := [ 51,, 25,, 32,, 62,, 25,, 32,, 43,, 53,, 5,, 61,, 11,, 37,, 9,, 11,, 5,, 9, , 48,,, 2, 3, 2,,, 20,,, 2, 2,,, 2,,, 23,, 8,, 34,, 10, 2,,, 4,,, 2, 8,, 11, 2, 5,,, 2, 18,, 114,, 113,, 10,, 43, 2,,, 5,,, 2, 19, 2,,, 6, 2, 36,, 38, 2, 5, 2,,, 19, 2, 5, 2,,, 113,, 111,, 273,, 22,, 53,, 34,, 91,, 28,, 53,, 24,, 31,, 52,, 37,, 48,, 5,, 54,, 10,, 36,, 6,, 10,, 5,, 7,, 42,, 4,, 44,,, 46,,, 5,,, 46,, 5,,, 44,, 4,,, 16,, 13,, 19,, 17,, 28,, 28,, 8,, 100, , 143,, 47,, 96,,, 8,, 41,,, 8,, 41,, 50,, 61,, 44,, 44,,, 44,,, 61,, 101, , 118,, 146,, 208,, 17,, 48,, 28,, 103,, 21,, 22,, 46,, 20,, 23,, 33,, 8,, 30,, 5,, 10,, 35,, 40,, 4,, 184,, 38,, 48,, 78,, 36,,,, 40,,,, 41,,, 40,, 28,, 8,, 42,, 40,, 33,, 8,, 8,,,, 17, 2,,, 2, 4,, 3,,, 12,, 9,, 11, 2,,, 5, , 9,,, 4,, 8,,, 4,,,, 26,,,, 13,,, 12,,, 4,, 9,, 2,,,,, 4,,, 4,, 5,,,, 6,,, , 3,, 2,, 2,,,,, 2,,,,,,,,,, 36,,, 2, 16,,, 2, 16,, 2,,, 35, 2,, 17,, 17,, 11,, 10,, 21,, 10,, 8,, 9,, 9,, 16,, 8,, 8,,, 34,,, 16,, 24,, 22,, 12,, 13, , 4,, 6,, 14,, 6,, 10,, 5,, 9,,, 4,, 15,, 3,, 18,, 2,, 16,, 2,, 16,,, 11,, 3,, 10,, 2,, 8,, 2,, 8,,, 8,,,, 2,, 2,,, 2,,,,, 2,,,, 2,,,,,,,, 16,, 17,,, 15,, 9,, 6,, 36, 2, 17,, 30,, 10,, 18,, 10,, 14,, 9,, 15,, 60,,, 32,,,,, 15,, 9,, 13,, 6,, 11,, 6,, 7,, 5,, 8,, 4,, 9,, 20,, 17,, 15,, 17,, 3,, 11, , 2,, 8,, 2,, 8,, 8,, 5,, 2,, 3,, 2,,, 2, 14,, 17,, 14,, 10,, 4,, 33,, 42, , 10,,, 15,, 8,,,, 13,, 8,, 12,, 8,, 48,, 15,, 16,, 10,, 4,, 19,, 7,, 9,, 6,, 7,, 4,, 6,, 4,, 5,, 3,, 15,, 2,, 14,,, 15,,, 15,,, 3,, 8,,,, 2,, 8,,, 9,,, 8,, 4,,, 2,, 2, 3,, 13,, 14,, 26,,,, 24,, 12,, 13,,,, 28,, 104,, 23,, 22,, 34,, 17,, 120,,, 28,, 12,, 13,,,, 24,,,, 12,, 71,, 10,, 9,, 8,, 72,, 13,, 13,, 33,, 8,, 18,,, 2,,, 32,, 4,, 12, 4, 2,, 12,, 9,,, 12,, 5,, 2,, 14,,, 7,, 6,, 40,, 18,, 35,, 18,,,, 15,, 14,, 29,, 17,, 32,, 14,, 46,,,, 14,, 2,, 8,, 4,, 9,, 2,, 59,, 4,,, 11,,, 5,, 14,, 4,, 3,,, 6,, 2,, 30,, 14, ,,, 2,, 9,,,, 9,, 45,, 2,,,,,, 5,, 5,,, 7,, 16,,,, 2,, 7,, 7,,,, 9,, 3,,,, 10,,,,, 6,,,, 5,, 13,, 2,, 43,, 14,,,, 12,, 10,, 4,,, 8,, 4,, 19,, 14,, 22, , 14,, 45,, 14,, 11,,,, 13,,,, 78,, 4,, 12,, 2,, 10,, 2,, 2,, 4,, 6,, 4,, 28,, 12,, 14,,,,,, 9,, 14,,, 10,,,, 51,, 6,, 3,,,, 9,, 7,, 3,,,,, 6,, 2,, 10,, 5,, 2,, 10,, 17,, 7,,,, 9,, 3,, 3,, 4,,,, 6,, 10,, 7,, 12,, 2,, 2,, 2, ,, 2,,,, 4,, 11,, 3,, 3,, 2,, 5, 2,, 3,, 10,,, 2,, 3,,, 2,, 12,,,,,,,,,,,, , 2,,,,, 2,,,,,,,,,, 64,, 2, 2,,, 2, 4, 6,,,, 2,, 2, 5, 2, 21, 2,, 2,, 4, 5, 2, 2, 2, 277, 2, 5, 2, 21, 2,, 2,, 2, 5, 2, 21, 2,, 2, 1345, 2, 5, 2, 21, 2,, 2,, 2, 5, 2, 21, 2,, 2, 65, 2, 5, 2, 21, 2,, 2,, 2, 5, 2, 21, 2,, 2, 4, 8, 4, 10, 4, 4, 4, 66,,,, 5, 2, 21, 3,,,, 4, 5, 2, 2, 2, 405, 2, 4,,, , 21, 3,,, 3136,, 2, 2,,, 2, 4, 6,,,, 2, 2, 2, 2, 5, 4, 86, 2, 5, 2, 21, 2, , 2,, 2, 5, 2, 21, 2,, 2, 1345, 2, 5, 2, 21, 2,, 2,, 2, 5, 2, 21, 2,, 2, 65, 2, 5, 2, 21, 2,, 2,, 2, 5, 2, 21, 2,, 2, 4,,, 2,,, 17, 2, 5, 2,,,,, 2,, ,, 2, 69, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2, , 2, 5, 2,, 2, 276,,,,, 2, 16,,,, 5, 2, 2,, 2,,, 2,,,, 2, 2, 4, 73, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 1298, 4, 4, 4, 10, 4, 8, 4, 256, 2, 2, 2, 5, 4, 934, 2, 4,,,, 4,,,,, 2, 1296,,,, 5, 2, 4,,,,, 2, 322, 4, 4, 4, 10, 4, 8, 4, 128, 2, 2, 2, 5, 4, 997,,,, 5, 2, 5, 3,,, 977, 2, 4,,,, 5, 3,,, 322, 4, 4, 4, 10, 4, 8, 4, 65, 4, 5, 2, 2, 2, 869, 2, 4,,,, 4,,,,, 2, 785, 2, 4,,,, 5, 3,,, 322, 4, 4, 4, 10, 4, 8, 4,, 4, 5, 2, 2, 2, 804,,,, 5, 2, 5, 3,,, 592,,,, 5, 2, 4,,,,, 2, 322,,,, 2, 2,, 2,,, 4, 11, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 160,,,, 5, 2, 5, 3,,, 386,,,, 2, 2,, 2,,, 4, 75, 2,, 2, 5, 2, , 2, 21, 2,, 2, 5, 2,, 2, 33, 2, 4,,,, 4,,,,, 2, 390, 4, 4, 4, 2, 4, 8, 4, 9, 4, 5, 2, 2, 2, 352,,,, 5, 2, 5, 3,,, 276,,,,, 3,,, 5, 2, 325, 2,, 2, 5, 2,, 2, 18,, 2,,, 2,,,, 2, 2, 4, 88,,,,, 2,, 2, 4,,,, 194,, 2,,, 2,,,, 2, 2, 4, 153, 3,, 2,,, 5, 2, 4, 2, 2, 2, 5, 4, 21, 4, 8, 4, 2, 4, 4, 4, 26,,,, , 2,, 2, 4,,,, 80,,,, 5, 2, 4,,,,, 2,,, 2, 2,, 2,,, 2, 2, 19,, 2, 6,,, 2, 8, 4, 6, 4, 4,,, 4,,, 48,, 6,,, 40,,, 8,,,, 18,, 26,, 2,, 6,, 2,, 31,, 6,, , 6,,, 30,,, 4,, 3,,, 17,, 11,, 7,, 51,,, 51,, 50,, 20,,,,, 2,,, 20,,, 2,,, , 49,, 48,, 3, 8, 4, 4, 4, 2, 13, 2,, 2,,,, 37,,, 72,, 27,, 30,, 37,, 12,, 20,, 2,, 29,, 2,, 8,, 7,, 13,, 30,, 26,,,,,, 23,,,, 30,, 16,, 15,, 3,,,, 19,,,, 16,, 17,,, 13,, 2,, 7,, 6, 2,, 6,, 5,,,, 10,,,, 9,, 10,, 18,, 7,, 7, , 6,,,, 4,, 4,, 2,, 4,, 3,,,,,, 2,,, 3, 15,,,,,,, 2, 4, 2,,,,, 2, 12,,,,,, , 6,, 4,,,,, 11,, 8,,, 28,, 8,,,,, 2,,, 2,,, 2,,, 10,, 14,,, 2,, 19,, 2,, 3,, 4,, 8,,,, 18,, 3,, 21,, 5,, 2,, 5,,,,,, 4,, 3,, 4,,,,,, 5,,,, 2,,, 3,,, ,,,,, 2, 4, 2,,, 5,,,,, 8,,, 10,,,, 5, 3,,,,,,, 2, 5,, 3,, 6,, 8,, 11,,,,, , 10,, 11,,,,, 4,,, 2,,,,,,,,, 3,,, 3,,,,,,,,, 2,, 5, 2,, 2, 10,,,, 3,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,, 3,,,,,,,,, 15,, 2,,,,,,,,,,,, 8,,,,,,,,, 9,,,, 49,,,, 6, 4, 10, 4, 4, 4, 2,,,, 54,,,,, 2, 2, 21, 3,,,,, 8,, 49,, 6, 4, 21, , 54,, 5,, 49,,,, 50,,, 50,, 2,, 48,,,, 48,,, 20,,, 2,,,, 49,, 52,,, 45,, 46,,, 43,, 40,,, 42,, 42,,, 40,, 44,, 38,, 38,, 36,, 32,, 34,, 34,, 32,, 41,, 22,, 6,, 24,, 21,, 4,, 21,, 6,, 26,, 17,, 4,, 22,, 18,, 22,, 19,, 20, , 21,, 19,, 16,, 17,, 27,, 11,, 8,, 8,, 7,, 7,, 8,, 6,, 6,, 4,, 8,,,,, 2, 4, 6,,,, 2,,,,, 2, 21, 2,, 2,,,,, 4, 21,,,, 49,,, 48,,, 21, 2,, 2,, 21, 2, , 2, 2,, 18,, 37,, 23,, 15,, 35,, 20,, 8,, 35,, 24,, 6,, 31,, 35,, 23,, 25, , 21,, 18,, 21,, 16,, 17,, 16,,, 4,,,, 4,,,, 2,, 2,,,, 2,,,, 3,,,,,,,,, 2,, ,, 2, 4, 6,,,, 2,,, 2, 2, 2, 20,, 48,, 21, 2,, 2,, 21, 2,, 2,,, 14,, 22,, 15,, 21,, 13,, 34,, 20,, 8,, 24,, 6,, 25,, 6,, 29,, 25,, 5,, 18,, 6,, 17,, 4,, 17,, 4,, 19,, 17,, 18,, 16,, 16,,,, 2,,, 3, 2,,,,,,,,,,,,,,,,,,,, 16,,, , 4,,,,,, 4, 2,, 2, 17,, 2,,, 2,, 2, 4, 4,, 35, 2, 17,, 81,, 69,,, 32,, 41, , 11,, 6,, 14,, 9,, 4,, 10,, 2,, 14,, 9,,,, 9,, 11,, 6,, 4,, 5,, 7,, 2, 2,, ,, 2,,, 2,,, 3,, 17,, 9,,,, 12,, 17,, 12,, 8,, 9,, 4,, 3,, 7,, 4,, 8,,,,, 4,,,,,,, 2, 10, 2,,, 8, 4,, 33,, 2,, 7,,,,, 2,, 34,,,,,,, 18,,, 11,,, 6,,, , 2, 20,, 42,,,,, 41,,,, 41,, 38,, 3,, 31,, 9,, 38,,,, 30,, 7,, 14,, 21,, 18,, 16,, 16,, 16,, 12,, 149,,,, 7,, 15, 2, 5, 2, 3,,,,,,,, 17,, 91,, 12,, 41,, 10,, 93,, 3,, 15,,,, 17,, 5,, 18,,,, 6,, 2,,,, 2,,,,,,,, 14,, 97,,, 8, ,, 4, 4,, 21,,, 5,,, 24,, 13,,, 17,,,,, 10,, 6,,,, 14,, 2,,, 10,, 4,, 2,, 12,, 4,, 13,, 10,, 46,, 8,, 3, 2, 11,, 13,, 12,, 6,, 4, 4,, 8,, 12,,, 9,, 2,,, 10,,,, 9,,,, 10,, 8,, 8,, 32,,,,,, 10,, 9,,,, 10,,, 8,,,,,, 3,,,, 2, 6,,,,,, 4,,,,,,,,,,,,,, 2,, 3,, 5,,,,, 2,, 21,,, 4,,, 5,,,,,,,,, 2,,,,,,,,, , 8,,,,,, 3,,,,,,,,,,,,,,, 2,,,,,, 18, 2, 2, 2,,, 5,, 2,,, 39,,,,,,,,,,, 3, 3,,, 2,,, 3,, 2,,, 2,,, 8, 4, 4, 4, 2,, 3,,,, 38,,,,, 2,, 5,,, 3,, 4,,, , 2,,,, 2,, 3, 2,,,, 2,, 4,,,,,,, 2, 4,,, 4,,, 2, 2, 4,, 2,, 13,,, 3,, 3,, , 3,, 13,,, 3,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,, 21, 2,, 2,,,,,,,,,, 19, 2, 3, 2,,, 5, 4, 10, 4, 4, 4, 2,,,, 3,,, 48,, 3,, 48,,, 2, 2, 2, 4,,, 19, 2, 3, 2,,, 48,, 5,,,, 2,, 4,,, 26,, 18,, 33,, 11,,, 30,, 10,, 34,,,, 36,,, 30, , 5,,, 27,, 4,, 22,, 13,, 18,, 10,, 21,, 8,, 18,, 6,, 20,,, 21,,, 19,,,, 17,,, 16,,,, 9,, 5,, 4,, 3,, 3,, 2, 2,,,,,, 3,, 4,,, 2,,,,,,,, 21, 3,,,, 2, 4, 6,,,,,,,, 16,, 4,, 2, 2,, 3,, 2, 2,, 2,,,,,,,, 5,, 2,,, 2,, 15,, 40, , 23,, 12,, 36,, 20,, 9,, 31,, 25,, 5,, 28,, 34,, 23,, 26,, 21,, 18,, 21,, 16,, 17,, 16,,, 2,,,, 3,,,,,, 2,,,,,, 3,,,,,,,,,,, 2,,,,,,, 2,,, 2,, 2,,,, 3,, 2, 2,,,, 9,,, 23,,,,,, 6,, 20,, 7,,, 19,, 2,,,,,,, 3,, 2, 2,,,,,, 5,, 17,,, 2,, 18,,,,,, 17,,,, 3,, 2, 2,,,, 3,, 2, 2,,,,,,,,,,,,,,,,,,,,, 8,, 5, , 3,, 9,,,,, 2,,,,, 6,, 4,, 3,, 6,, 2,,,,,,,,,,,,,,,, 2,, 3, 2, 13,, 32,,,, ,, 4,,,, 8,, 3,, 2,, 2, 2, 3,, 7,,,, 3, 2, 9,, 7,, 14,, 8,,,, 3,,,,,,,,, 13,, 3,, 6,,,,,,,, 64, 2,, 2, 5, 2,, 2, 21,,, 2, 5, 2,, 2, 24,, 11,, 48, 2, ,,, 5,,,, 2, 21, 2,,,, 5,,,, 2, 278,, 11,, 48, 2,,,, 5,,,, 2, 21, 2,,,, 5,, ,, 2, 39,, 44,,, 2, 5, 2,, 2, 21,,, 2, 5, 2,,, 814,, 19,, 44,, 19,, 44,, 19,, 44,, 19,, 184,, 63,, 4,, 62,,, 2, 5, 2,,, 22, 2, 5, 2,,, 24,, 10,, 47, 2,,, 5,,, 2, 21, 2,,, 5,,, 2, 270,, 10,, 47, 2,,, 5,,, 2, 21, 2,,, 5,, , 2, 38,, 44, 2, 5, 2,,, 22, 2, 5, 2, 791,, 18,, 42,, 18,, 44,, 18,, 42,, 18,, 179,, 60,, 5,, 58,, 180,, 9,,, 48,, 8,,, 48,,, 8,, 49,,, 8,, 520,,, 8, , 49,,, 8,, 48,, 9,,, 48,, 8,,, 61,, 56,, 1126,, 17,, 42,, 17,, 40,, 17,, 42,, 17,, 55,, 57,, 619,, 57,, 166,, 16,, 40,, 16,, 40,, 16,, 40,, 16,,,, 54,,, 5, 2, 20,, 5, 2, 21,, 10,,, 43,,, 4,,, 21,,, 4,, 38,, 16,, 30,, 14,, 27,, 13,, 28,, 12,, 12,,, 42,,, 20,, 28,,, 38,,, 20,, 26,, 12,, 18,, 10,, 15,, 9,, 16,, 8,, 18,, 3,, 27,, 2,, 25,,, 25,,, 18,, 3,, 19,, 2,, 17,,, 17, ,, 16,,, 2,, 3,, 2,, 3,,,,, 2,, 2,, 3,, 2,, 2,,,,,,,, 54,, 5, 2, 25, 2, 20, , 10,,, 43,, 4,,, 21,, 4,, 38,, 14,, 30,, 14,, 27,, 13,, 26,, 12,, 12,,, 42,,, 20,, 28,, 38,, 46,, 10,, 18,, 10,, 15,, 9,, 14,, 8,, 19,, 3,, 26,, 2, , 24,, 2,, 24,,, 19,, 3,, 18,, 2,, 16,, 2,, 16,,, 16,, 3,, 4,, 2,,,,,,, 3, , 4,, 2,,,,,,, 52,, 52,,, 105,, 10,, 41,, 10,, 40,,, 8,, 41,,, 8,, 54,, 45, , 43,, 42,, 53,, 40,, 38,, 37,, 14,, 43,, 40,, 41,, 48,,, 40,, 40,,, 78,, 29,, 27,, 26,, 33,, 24,, 22,, 21,, 20,, 31,, 30,, 29,, 20,, 27,, 26,, 25,, 28,,, 2,, 9,,, 2,, 9,,, 9,,, 8,,, 12,, 12,,, 12,, 8,, 15,, 14,, 13,, 8,, 11,, 10,, 9,, 8, 2, 2,, 3, 2,,, 6,, 51,, 153,, 49,, 45,, 4,, 47,, 2,, 301, , 48,, 35,, 16,, 33,, 14,, 16,, 50,, 49,, 2,, 47,, 4,, 48,, 52,, 166,, 50, , 52,, 14,, 34,, 16,, 215,, 50,, 54,, 49,, 141,, 51,, 76,, 48,, 48,, 48,, 333,, 49,, 35,, 48,, 52,, 47,, 284,, 47,, 47,, 47,, 8,, 46,, 141,, 46,, 42, , 2,, 44,, 2,, 278,, 45,, 32,, 14,, 30,, 14,, 14,, 47,, 44,, 2,, 44,, 2,, 46,, 47,, 152,, 47,, 47,, 14,, 31,, 14,, 197,, 47,, 49,, 46,, 130,, 46,, 70,, 45,, 43,, 45,, 306,, 44,, 32,, 45,, 47,, 44,, 260,, 44,, 42,, 44,, 5, , 41,, 130,, 41,, 42,,,, 40,,,, 243,, 13,, 27,, 13,, 42,, 39,, 14,, 42,, 43,,,, 40,,,, 42,, 42,, 141,, 13,, 28,, 13,, 29,, 41,, 195,, 42,, 44,, 41, , 33,, 42,, 151,, 40,, 42,, 40,, 195,, 40,, 114,, 40,, 42,, 39,, 238,, 39, , 41,, 39,, 2,, 38,, 117,, 38,, 38,,, 38,,, 221,, 12,, 25,, 12,, 37,, 36,, 12,, 39,, 38,,, 38,,, 38,, 39,, 126,, 12,, 26,, 12,, 25,, 38,, 175,, 39,, 39,, 38,, 29,, 39,, 136,, 37,, 37,, 37,, 175,, 37,, 102,, 37,, 37,, 36,, 214,, 36,, 36,, 36,,,, 34,,, 16,, 17,, 35,,, 17,,, 31,, 10,, 19,, 10,, 15, , 9,, 16,, 8,, 52,,, 34,,, 16,, 23,, 6,, 11,, 6,, 7,, 5,, 8,, 4,, 6,, 3,, 19,, 2,, 16,, 2,, 16,,, 18,, 3,, 11,, 2,, 8,, 2,, 8,,, 8,,, 2,, 3, 2,,, 2, , 2,,,,, 34,, 32,, 35,, 17,, 29,, 12,, 17,, 10,, 15,, 9,, 14,, 8,, 52,, 34, , 37,, 8,, 9,, 6,, 7,, 5,, 6,, 4,, 7,, 3,, 18,, 2,, 17,,, 17,,, 19,, 3,, 10,, 2,, 9,,, 9,,, 8,, 4, 2,, 4,,,, 32,, 32,,, 65,, 32,, 32,,, 32,,, 54,, 29,, 27,, 26,, 13,, 24,, 22,, 21,, 108,,, 32,, 32,,, 74,, 17,, 15,, 14,, 5, , 12,, 10,, 9,, 8,, 23,, 22,, 21,, 24,, 19,, 18,, 17,, 20,,, 8,,, 9,, 8,,, , 2,, 2, 11,, 10,, 9,, 8,, 7,, 6,, 5,, 4, 2, 7,, 29,, 93,, 31,, 25,, 2,, 27,, 4,, 54,, 31,, 20,, 10,, 18,, 12,, 124,, 32,, 27,, 4,, 27,, 2,, 30,, 30,, 223,, 31,, 29,, 12,, 17,, 10,, 67,, 29,, 40,, 32,, 32,, 31,, 39,, 30, , 26,, 30,, 124,, 30,, 30,, 29,, 98,, 27,, 156,, 29,, 25,, 29,, 7,, 26,, 81,, 26,, 22,, 2,, 24,, 2,, 49,, 26,, 17,, 10,, 15,, 10,, 108,, 27,, 24,, 2,, 24,, 2,, 26,, 27,, 193,, 26,, 26,, 10,, 14,, 10,, 57,, 26,, 35,, 27,, 29,, 26,, 35,, 25,, 23,, 25,, 107,, 25,, 27,, 24,, 85,, 24,, 134,, 24,, 22, , 24,, 4,, 23,, 68,, 23,, 20,,,, 22,,,, 32,, 9,, 14,, 9,, 21,, 22,, 90,, 24,, 21,,,, 22,,,, 20,, 24,, 164,, 9,, 13,, 9,, 10,, 22,, 9,, 24,, 77,, 24, , 22,, 23,, 29,, 22,, 20,, 22,, 88,, 22,, 20,, 21,, 28,, 22,, 153,, 21,, 19,, 21,,,, 18,, 57,, 18,, 18,,, 18,,, 28,, 8,, 10,, 8,, 18,, 17,, 74,, 19, , 18,,, 18,,, 18,, 19,, 135,, 8,, 9,, 8,, 8,, 17,, 8,, 19,, 65,, 19,, 19,, 18,, 25,, 17,, 17,, 17,, 71,, 17,, 17,, 16,, 24,, 17,, 124,, 16,, 16,, 16,, ,, 10,, 3,, 11,, 2,,, 12,, 12,, 2,, 7,, 12,,, 7,,,, 124,, 13,, 5,, 4,,, 2, , 2,,,, 121,, 10,, 3,, 11,, 5,, 8,, 3,, 9,, 4,,, 10,, 9,,, 2,, 5,, 3,, 4,, , 6,, 6,,, 4,, 6,, 10,, 12,, 2,, 21,, 2,, 6,, 10,,, 6,,, 108,, 12,, 4,, 4, , 4,, 104,, 10,, 2,, 10,, 4,, 8,, 2,, 8,, 4,, 17,, 2,, 6,, 4,, 12,, 8,,, 9, ,, 8,,,,, 10,, 10,,,, 4,,,, 5,,,, 4,,,, 92,,, 4,, 4,,, 4,, 4,,, 2,,, 89,, 8,,,, 9,,,, 8,,,, 9,, 4,,,,, 4,,, 5,,, 6,, 5,,, 4,, 4,,, 4, 5,, 8,, 8,,, 17,,, 4,, 4,,, 4,, 76,, 8,, 8, 2, 72,, 9,, 8,, 9,, 12,,, 4,, 4,, 9,, 8,, 9, , 4,, 6,, 6,, 3,, 3,, 4,, 2,, 4,, 3,,, 3,, 2,,, 56,, 3,, 2,, 2,, 4,,, 2,, 2,,, 2,,, 6,, 10,, 4,, 100,, 3,, 3,, 3,, 4,,, 2,, 3,,, 3,, 84,, 2,, 3,, 2, , 4,, 2,,, 2,, 2,,,,,,,,,,, 4,,,,,,,,,,, 2,,, 24,, 2,,,,, 3, 25,,,,,,,,,,,, ,,, 2,, 2,, 3,,,,, 2,,,,, 2,, 2,,,,, 2,,,, 8,, 2,,, 8,,,,,, 2,, 2, 2, 2,, 2, 4, 4, 4, 12, 4, 4, 4, 258, 2, 2, 2, 5, 4, 3735, 4, 4, 4, 12, 4, 4, 4, 130, 2, 2, 2, 5, 4, 3735, 4, 4, 4, 12, 4, 4, 4, 67, 4, 5, 2, 2, 2, 3670, 4, 4, 4, 12, 4, 4, 4, 3, 4, 5, 2, 2, 2, 3673, 2,, 2, 5, 2,, 2, 18,,,, 2, 2, , 2,,, 2, 4, 73, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 1362,,,, 2, 2,, 2,,, 2, 4, 73, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 1301, 4, 5, 2, 2, 2, 22, 4, 4, 4, 4, 4, 4, 4, 3400,, 2,,, 2,,,, 2, 4, 11, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2, , 2, 21, 2,, 2, 5, 2,, 2, 1362,, 2,,, 2,,,, 2, 4, 75, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 81 ] );