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.acl GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 90 ] := rec( ops := [ 2, 170,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,, ,,, 335,,,,,, 170,,,,,,, 335, 2,,,,, 170, 1717, 335, 65, 2, 335, 65, 170, 1717,, 2, 65,,,,,,,,,,,,,,,,,,,,,,,, 170, 1717, 335, 65, 2, 335, 65, 170, 1717,, 2, 65,,,,,,,,,,,,,,,, 170,,,,,, 335,,,,,, 65,,,,,,,, 335, 65, 170, 1717, 2, 170, 1717, 335, 65, 2, 170,, 335, 65, 170, 1717, 2, 170, 1717, 335, 65, 2, 170,, 335,,,,,, 170,,,,,,,,,,,,,,,, 335,,,,,, 170,,,,,,,, 335,, ,,,, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,,, 335,,,,,, 170,,, ,,, 335,,,,,, 170,,,,,, 335,,,,,, 170,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,, , 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,, ,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335,,,,,, 170,,,,,,,, 335, ,,,,, 1455, 470, 2, 1455,, 470, 1455, 4717, 181, 2, 470, 4717, 2, 569, 470, 2, 1380,,,, 292,,,, 9257,, 1380,, 351,, 292, 4494, 2, 1380, 351, 2, 4494, 292, 2, 363,,,,,,,, 294, 1380, 2, 12866, 470, 2,,,,,, 294, 1380, 2, 294,, 177, 363, 2, 294,, 177, 363, 2, 294,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 470,,,,,,,,,,, 6168, 5864, 2, 9473, 6168, 2, 470, 5863, 1455, 5164, 1479, 2, 470, 5164, 2, 1453,, 470, 1479, 13486, 2, 4815, 1479, 2,, 4815, 8195, 2, 363,,,, 6099, 1479, 8148, 5164, 2,,, 470, 1453, 2, 6099, 1479, 13198, 2, 1453, 294, 2,,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 1453,,,,,,,,,,,,,,,, 470,,,,,, 5864,, 9473, 6168, 2, 470, 5863, 1455, 2, 4815, 8195, 2, 363,,,, 6099, 8148, 2, 470, 1453, 2, 6099,, 1453, 294, 2,, 177, 2, 294, 177, 2, 294, 177, 2, 294, 177, 2, 1453,,,,,,,,,,,,,,,, 470,,,,,, 401,, 363, 401, 1380, 385, 2, 4443, 470, 2,,,,, 4442, 470, 2, 401,, 385,,,, 363,, 181,, 401,, 294,, 2645,, 294,, 2645,, 294,, 177, 401, 2, 294,, 401,, 2645,,,, 177, 401, 2,,, 294, 401, 2, 292,, 401,, 7104,, 292,, 6101,, 292,, 4494,, 6101,, 292,, 4494,, 292,,,,,,,, 401,,,,,,,,,,,,,, 8461, 569, 2, 401,,,,,,,, ,,,,,,,, 4443, 470, 2,,,,, 4442, 470, 2, 401, 385, 2,,, 181,, 294,, 2645,, 294,, 2645,, 294,, 177,, 294,, 2645,,,, 177,, 294,, 292,, 7104,, 292,, 6101,, 292,, 4494,, 6101,, 292,,,,,,,,,, 401,,,,,,,,,,,, 8461, 401, 2,,,,,, ,,,,, 385, 1380, 2, 470, 4443, 2, 470,,,,, 4442, 2, 14050, 181, 2,,, 294,, 177, 1380, 351, 385, 2, 294,, 177, 1380, 351, 385, 2, 294,, 177,, 351,, 294,, 177, 351, 2, 294, 177, 1380, 2, 294, 177, 1380, 2, 294, 177, 2, 385, , 294, 177, 385, 2, 294, 363, 2, 292,, 294, 363, 2, 7104,, 292,, 294,, 292, , 294,, 292,,,,,,,,,, 1455,,,, 9257,, 14049,, 13078,, 351,,,,,,, 8993, 1455, 2,, 4717, 2, 470,, 341,,,,,,, 6004, 2, 341,,,,,,, 6004,, 2,, 6003, 470, 2, 341, 218, 6003, 7039, 2, 1455, 11560, 2, 470,, 341,,,,,,, 6004, 218, 2,, 6003, 470, 2, 1455,, 341,,,,,,, 6004, 2, 218, 470, 6003, 218, 177, 2, 218,,, 177, 385, 1380, 2, 470, 4443,, 2,, 4442,, 2, 218, 177, 385, 2, 218,, 385, 218, 2, 177,, 4443, 470, 2, 4442, 470, 2, 177, 385, 2, 218, 177, 1380, 385, 2, 4443, 470, 4442,, 218, 177, 4443, 4442, 2, 1479,, 3193, , 3228,, 1479,, 1893, 6060, 385, 2, 6060, 1893, 2, 13058, 4453, 2, 1893, 4475, 470, 2, 4475,, 470, 4475, 2, 1479,, 351,,, 10071, 2, 14776,, 6442,, 1479,, 351,, 3228,, 3193,, 10071, 351, 2,,, 13499,, 7230,, 14060,, 4473,, 351,, 3228,, 6502,, 3193,, 401,, 4473,, 14589,, 2545,,,,,,,,,, 13990,, 6442,, 3228,, 4473,, 13408,, 3236,,,,,,,,,, 13407,, 3236,,,,, 14061, 2, 13057,, 8118,,,, 294, 1479, 2, 12863, 1893, 2,,,,,, 294, 1479, 2, 7230,, 4473, 294, 2, 177, 401, 2, 294,, 177, 401, 2, 3193, 3228, 2, 14062,, 294,, 177,, 3193,, 4473,, 177,, 8125,, 6442, 3228, 2, 14081, 294, 2, 177,, 3228, , 4473,, 3228,, 7230,, 6502,, 4473,, 11470,, 3228,, 6442,, 6502,, 3228,, 8125, 7242, 1893, 2,, 7242, 2, 3228,, 1893, 13989, 2, 3228,, 6502,, 12995, 7115, 14033,, 1893, 2, 11032, 13044, 11033, 12421, 8610, 13375, 11069, 8610, 294, 2, 11373, 7073, 5225, 14207, 10072, 7125, 3211, 10072, 7125, 7073, 5225, 14231, 7073, 5225, 10285, 6444, 9864,,, 2, 6444,, 3211, 13144, , 2, 6444, 13991, 1893, 8037, 5225,,, 14035, 2545, 2, 9157, 8342, 2, 363,, 9157, 8342, 2, 181, 936, 2, 170, 4240,, 2,,,,,,, 554,,,, 385, 3677, 2, 385, ,,, 554, 181, 2, 537,, 554, 181, 537, 2, 294,, 177,, 181,, 294,, 177,, 181, , 294,, 177, 936, 2, 294,, 177, 936, 2, 294,, 177,, 537,, 294,, 177,, 537, , 294,, 177, 936, 2, 181,, 537,, 294,, 177, 936, 2, 181,, 537,, 294,, 177, , 294,, 177,, 294, 554, 2, 177,, 294, 554, 2, 177,, 294,, 177,, 294,, 177, , 294, 554, 2, 177,, 294, 554, 2, 177,, 537,,,,,,,,,,,,,,,, 554, 231, 936, 181, 2, 4240, 170, 2,,,,,,, 554,, 385,, 231,,,,,,,,,,,,,, 294,, 177, 231, 2, 294,, 231,, 294,, 2461,, 294,, 2461,, 177, 231, 2,,, 2461,,,, 4054,, 177,, 4054, 177, 2, 294, 231, 177, 2, 231, 177, 2, 4054,,,, 294, 231, 2,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 4240, 2, 170,,,,,, 385,, 231,,,, 294, 177, 2, 294,,, 2461, 2, 294, 2461, 2, 177,, 2461,,,, 4054, 177, 2, 4054, 177, 2, 294, 177, 2,,, 4054,,,, 294,, 231,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 936, 2, 181,, 996, 385, 3129, 170, 2, 3129, 170, 996, 385, 2, 170,, 996,,,,,,,, 936,, 537,, 996,, 4771,, 996,,,,,,,, 294,, 177,, 181,, 3157, 996, 2, 2394, 996, 2,,,,, 3157, 996, 2, 2394, 996, 2,,,,, 294,, 177,, 537,, 3157, 996, 2, 2394, 996, 2,,,, 4771, 2, 3157, 996, 2, 2394, 996, 2,,, 4771, 996, 2, 294,, 177,, 294, , 177,, 294,, 177,, 294,, 177,, 537,,,,,,,, 936, 181, 2, 385, 3129, 170, 2, 3129, 170, 996, 385, 2, 170,, 936,, 537,, 996,,,, 294,, 177,, 181,, 3157,, 2394,, 996,, 3157,, 2394,, 294,, 177,, 537,, 3157,, 2394,, 4771,, 3157,, 2394,, 4771,, 294,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 537,,, ,,,,, 170,,,,,,,, 385,,,, 294,, 177, 554, 181, 2, 294, 177, 554, 181, 2, 294, 936, 177, 2, 294, 936, 177, 2, 294,, 177, 554, 2, 537,, 294, 177, 554, 537, 2, 294, 936, 177, 2, 181, 537, 2, 294, 936, 177, 537, 181, 2, 294,, 177,, 294,, 177,, 294,, 177,, 294,, 177,, 294, 177, 2, 294, 177, 2, 294, 177, 2, 294, 177, 2, 537,,,,,,,,,,,,,,,, 218,, 4240, 170, 2,,,, 218, 2, 936, 181, 2, 218, 177, 2, 218,,, 385, 2, 218,,, 177, 2, 218,,, 177, 2, 218,,, 177, 554, 2, 218, 554, 2, 218, 177, 2, 218,,, 177, 2, 218,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 4240, 170, 2,,,, 177, 2, 385,, 177,,,,, 554, 2,,, 177,,,, 218,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,, 170, 4240, 2, 170,,, 218, 181, 936, 2, 218, 177, 2, 218, 177, 2, 554,, 218,, 554,, 218, 177, 2, 218,,, 177, 2, 218,,, 177, 2, 218,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 4240, 2, 170,,,, 177, 554, 2,,, 177,,,,,, 218,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,, 2461, 2, 181,, 5230, 2394, 996, 2, 3129, 170, 2, 218, 2461, 2, 5230, 2394, 2, 5230,, 2461, 181, 2, 3129, 170, 2, 2461,, 2394,, 218,, 385,, 170,,,, 9144, 177, 2, 9144,, 218, 177, 2, 218, 2461, 181, 2, 5230,, 170,, 5230,, 2461, 181, 2, 170,, 218,, 170,,,, 181, 936, 2, 181,, 936,, 170,,,, 537,, 936,, 537,, 936,, 537,, 181,, 537,, 181,, 294,, 181,, 294, 181, 2, 294,, 936,, 294,, 936,, 294,, 537,, 294,, 537,, 385, 4112,, 2,,, 3677, 385, 2, 181, 294, 2, 936, 537, 2, 294,,,,,,,,,,,,,, 4111, , 181, 936, 2, 181, 936, 2, 170,,,, 537,, 936,, 537,, 936,, 537,, 181,, 537,, 181,, 294, 181, 2, 294, 181, 2, 294,, 936,, 294,, 936,, 294,, 537,, 294,, 537,, 4112, 385, 2,,, 3677,, 294,,,,,,,,,,,, 4111,, 170,,,, 537,, 936,, 537,, 936,, 537,, 181,, 537,, 181,, 294, 181, 2, 294,, 181,, 294,, 936,, 294,, 936,, 181, 294, 2, 537, 936, 2, 385, 4112, 2, 385,,, 3677, 2, 294,,,,,,,, 4111, 294, 2, 170,,,, 537,, 936,, 537,, 936,, 537,, 181,, 537, , 181,, 294, 181, 2, 294, 181, 2, 294,, 936,, 294,, 936,, 4112,, 385,,, 3677, 294, 2,,,,,,, 4111,, 181,, 936,, 181, 936, 2, 294,, 537,, 294, 537, 2, 181, 294, 2, 936, 537, 2, 385, 4112, 2, 3677, 385, 2, 294,,,, 4111,, 294,, 181, 936, 2, 181, 936, 2, 294, 537, 2, 294, 537, 2, 4112,, 3677,, 294,,,, 4111,, 385, 4112,, 3677, 181, 294, 537, 936, 2, 294, 4111, 4112, 3677, 4111, 2, 231,, 3193,, 231,, 2768,, 170, 3129,, 2,,,,,,, 385, 996, 2, 231,, 385,, 537,, 2768,, 231, 385, 2, 537,, 3193,, 181, 4771, 2, 181,, 3193,, 2768,, 2545,,,,,,,,,, 6086,, 14721,, 2407,,,,,,,,,,,,,,,,,,,,,,,, 5260,,,,,, 294,, 177,, 385,, 294,, 177,, 385,, 294,, 177, 996, 2, 2768,, 294,, 177, 996, 2, 3193,, 294,, 177,, 537,, 294,, 177,, 537,, 294,, 177, 996, 2, 385,, 537,, 3193,, 294,, 177, 996, 2, 385,, 537,, 2768,, 294,, 177, , 294,, 177,, 6086,, 294, 231, 2, 177,, 294, 231, 2, 177,, 3193, 2768, 2, 294,, 177,, 294,, 177,, 294, 231, 2, 177,, 2768, 3193, 2, 294, 231, 2, 177, , 2768,, 537, 2768, 2, 537,,,,,, 2768,, 6086,, 2768,,,, 537,,,,,,,, 2768,, 6086,, 2768,,,, 13424, 5259, 170, 2, 2407, 5259, 543, 2,, 5259, 170, 554, 11854, 2545, 2,,,,,,, 3003, 543, 2,,,,,,,,,,,,,,,,,, 294, 1418, 177, 554, 2, 543, 3003, 2, 543,,,,,,,,,,,,, 294, 2, 2394,, 1418,, 294,, 2394,, 1418, , 3003,, 543,,,,,,,,,,,,, 2394, 2, 1418,, 2394, 1418, 2, 294, 554, 177, 1418, 2, 3003, 543, 2,,,,,,,,,,,, 3003, 2, 543,,,,,,,,,,,, 1418,, 554,, 1418,, 554, 543, 2,,,,,,, 3003,, 1418,, 554,, 1418,, 554,, 1418,, 554, 543, 2,,,, 3003,, 2,, 3003, 2, 543,, 554, 1418, 2, 543,,, 3003, 2, 554,, 1418,, 543,,,, 3003, 543, 2, 1418,, 554,, 1418,, 554,, 543,,,, 3003,, 1418, , 554, 1418, 2, 554, 1418, 2, 554,, 543, 3003, 181, 14034, 2, 181,, 5260, 294, 2, 2137,, 294,,, 2394, 3235, 2, 294, 2394, 2, 3235,, 2137,, 2394, 3235, 2, 2394, 3235, 2, 294, 177, 2, 554,,,, 3235,, 554,, 3235,, 554,,,,,, 3235,, 554,, 3235,, 554,, 3235,, 554,, 3235,, 554,,,,,, 3235,, 554, 3235, 2, 554,,, 13040, 936, 11852, 2, 936,,,, 9585, 543, 2137, 9585, 4240, 2, 2407, 170, 5259, 3525, 8925, 543, 2137, 2, 3525, 936,, 2, 543,,,,, 294, 2, 177,, 385,, 3157, 3525, 2, 543,,,,, 3157, 936, 2461,, 2, 294,, 177,, 537,, 3157, 3525, 8925, 2, 543,,,,, 294,, 2,,,,,,,,,,,, 294, 2137, 2, 2768,, 543, ,,,,,,,,,,,,,,,,,,,, 13143,, 2,,,,,,, 537,,,, 543,,,,,,,,,,,,,,,,,,,,,,,,, , 936, 14032, 2, 5260, 294, 177, 2, 3157, 2461, 2,,, 294, 177, 2, 2461,, 294, 177, 2, 1418,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 218,, 1418,, 218,,,, 1418,, 2137,, 4280, 2137, 2, 1418,, 218,, 1418,, 218,, 2137, 4280, 2, 2137, 218, 1418, 2, 4280,, 2137,,,, 4280,, 1418,, 218,,,,,, 2137,, 4280,, 218,,, 1418, 2, 218,, 2137, 4280, 2, 218,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 4275,, 218,,,, 4275,, 218,,,, 4275,, 218,, 4275,, 218,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,, 4275,, 218,,,, 4275,,,, 218,, 4275,, 2137, 1418, 2, 2137, 1418,, 2,,, 559,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2104,,,,,,,,,,,,,, 783,,,,,,,,,, 569,,,,,,,, 559,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 217,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,, 783,,,,,,,,,, 217,,,,,,,,,,,,,, 569,,,,,,,, 2104,,,,, ,,,,,,,,, 1178,,,,,,,,,,,, 1675,,,,,,,,,,,, 783,,,,,,,,,, 609,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,, 783,,,,,,,,,, 1178,,,,,,,,,,,, 609,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,, 1675, 217, 559, 8, 217, 354, 783, 2, 217,,,,,,,,,,,,,, 609, ,,,,,,,,,,, 559,,,,,,,,,, 217,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1178,,,,,,,,,,,, 569,,,,,,,, 1675,,,,,,,,,,,, 783,,,,,,,,,, 354,,,,,,,,,, 569,,,,,,,, 1178,,,,,,,,,,,, 1675,,,,,,,,,,,, 354,,,,,,,,,, 217,,,,,,,,,,,, ,,,,,,,,,,,,,,,, 1178,,,,,,,,,,,, 217,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1675,,,,, ,,,,,,, 1178,,,,,,,,,,,,,,,,,,,,,,,, 2104,,,,,,,,,,,,,, 354,,,,,,,,,, 569,, ,,,,,, 783,,,,,,,,,, 217,,,,,,,,,,,,,, 569,,,,,,,, 217 ], nrs := [ 1219, 4, 8, 8, 8, 4, 8, 2, 2, 2, 5, 4, 3153, 4, 8, 4, 8, 4, 8, 4, 129, 4, 5, 2, 2, 2, 2772, 4, 8, 4, 8, 4, 8, 4, 129, 4, 5, 2, 2, 2, 2772, 4, 8, 4, 8, 4, 8, 4, 64, 2, 2, 2, 5, 4, 2581, 4, 8, 4, 8, 4, 8, 4, 2, 2, 2, 5, 4, 2647,, 2,,, 2,,,, 2, 4, 11, 2,, 2, 5, 2,, 2, 85, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2,, 2, 1106,, 2,,, 2,,,, 2, 4, 75, 2,, 2, 5, 2,, 2, 21, 2,, 2, 5, 2, , 2, 1044, 4, 8, 8, 8, 4, 8, 2, 2, 2, 5, 4, 2390, 2,, 2, 5, 2,, 2, 18,,,, 2, 2,, 2,,, 2, 4, 1094,,,, 2, 2,, 2,,, 2, 4, 1033, 4, 5, 2, 2, 2, 22, 4, 4, 4, 4, 4, 4, 4, 2252, 4, 4, 4, 4, 4, 4, 4, 1174, 2, 2, 2, 5, 4, 715, 4, 4, 4, 4, 4, 4, 4, 1174, 2, 2, 2, 5, 4, 587, 4, 4, 4, 4, 4, 4, 4, 1111, 4, 5, 2, 2, 2, 522, 4, 4, 4, 4, 4, 4, 4, 1047, 4, 5, 2, 2, 2, 648, 4, 8, 8, 8, 4, 789, 4, 5, 2, 2, 2, 648, 4, 8, 8, 8, 4, 661, 4, 5, 2, 2, 2, 520, 4, 8, 8, 8, 4, 596, 2, 2, 2, 5, 4, 585, 4, 8, 8, 8, 4, 532, 2, 2, 2, 5, 4, 519, 4, 4, 4, 12, 4, 4, 4, 470, 2, 2, 2, 5, 4, 451, 4, 4, 4, 12, 4, 4, 4, 406, 2, 2, 2, 5, 4, 387, 4, 4, 4, 12, 4, 4, 4, 407, 4, 5, 2, 2, 2, 258, 4, 4, 4, 12, 4, 4, 4, 279, 4, 5, 2, 2, 2, 320, 4, 8, 4, 8, 4, 8, 4, 213, 4, 5, 2, 2, 2, 128, 4, 8, 4, 8, 4, 8, 4, 149, 4, 5, 2, 2, 2, 192, 4, 8, 4, 8, 4, 8, 4, 20, 2, 2, 2, 5, 4, 65, 4, 8, 4, 8, 4, 8, 4, 20, 2, 2, 2, 5, 4,, 2, 4, 4, 2, 4, 4, 4, 2, 2, 5,, 2, 5, 2, 4,,, 30,, 41,, 56,, 2,, 43,,,, 10,, , 42,,, 10,,, 165,, 57,, 168,, 54,, 52,,, 2,, 3, 8, 2, 8, 4, 4, 4,,, 28,, 3,,, 24,, 2,,, 24,, 3,, 55,, 3,, 55,, 3,, 54,, 3,, 54,, 2,, 53,, 2,, 53,, 2,, 52,, 2,, 329, 4, 10, 4, 4, 8, 115, 4, 6, 8, 4, 4,, 2, 2,,, 2,, 2, 2,, 2, 4,, 2, 4, 2,, 4, 2,, 4,, 3, 24,,,, 22,, 48,, 143,,,,, 4,, 4, 4, 2,,,,, 11, 2,, 25,,,, 47,,,, 47,,,, 46,,,, 100, 2, 6, 2, 6, 2,, 2, 7, 2, 6, 2, 4, 2,, 2, 51, 4, 9, 4, 4, 8, 23,, 2,,, 2,, 2, 2, 4,,, 21,, 42,, 126,,, 8, 4, 2,,, 11, 2,, 24,,, 42,,, 42,,, 41,,, 87, 2, 5, 2, 6, 2,, 2, 5, 2, 5, 2, 4, 2,, 2, 43, 4, 8, 4, 4, 8, 20,, 94,,,,, 45,, 3, 4, 4, 4, 4, 5,, 3, 2,, 2,, 40,, 41,,, 4, 17,, 40,, 3,, 33,, 3,, 32,, 3,,, 31,, 3,, 29,, 31,, 30,,, 29, , 29,,, 11,, 21,, 4,, 8,, 17,, 8,, 14,, 7,, 8,, 14,, 15,, 18,, 13,, 17,, 58,, 6,, 6,, 9,, 8,, 6,, 6,,,,, 2,, 8,, 7,, 9,, 10,, 8,, 7,, 19,, 73,, 2, 4, 4, 3, 4, 4,, 2, 2,,, 32,, 33, 4, 13,, 2,, 26,, 2,, 24,, 2,, 23,, 23,, 22,, 22,, 48,, 10,, 19,, 6,, 12,, 5,, 10,, 6,, 5,, 22,, 12,, 10,, 12,, 35, , 4,, 5,, 6,, 5,, 4,,,,, 7,, 9,, 8,, 6,, 7,, 15,,, 31,,, 4, 4, 2, 4, 2,,, 27,, 2, 2, 2, 8,,,,,,, 18,,,,,,, 18,,,,,, 16,,,,, 13,,,, 18,,,, 16,,,,, 18, ,,, 17,,, 6,, 10,,,,, 6,, 9,, 5,, 13,, 5,, 11,, 18,, 16,, 16,, 14, 4, 5, 4, 7,,,, 83,, 99,, 9,, 8,, 8,,,, 4, 4, 2, 4, 4, 24,, 6,, 3,, 2,,,,, 5,, 4,, ,,,,,,,,, 2,,,, 2, 2,, 4, 4, 2,, 6,,,, 2,,,,,,,, 2, 2, 3,, 5,, 2,,,,,, 2,,, ,, 22,, 15,,,,, 17,,, 2, 2,,, 2, 3,,,,,,,, 2, 16,, 17,, 2,,, 2, 2,, 2, 8,,, ,, 3,,,,,,,,,,, 4,, 3,, 21,, 30,, 2, 2, 3, 2,, 4,,,, 4,, 4, 4, 2, 4, 3, 4,, , 2,, 5,,, 23,, 5,, 6,, 2,,,, 3,, 2,,, 49,, 2,, 4,, 12,,,, 17,, 7,, 10,, 6, ,,, 26,, 14,,,,,, 2,, 2,,,, 17,, 28,, 6,, 22,, 10,,, 2, 2,, 3, 2,,,,, 2,,, , 2,, 2, 3,, 11,, 10,, 4,,,,, 2,, 3, 3, 2, 2, 2, 3, 2,,, 15,, 4,,, 3,,, 8, , 2,,, 6,,, 41,, 18,, 2,, 7,, 17,, 12,, 7,, 12,,, 13,,, 2,, 6,, 11,, 2,, 19,, 11,, 8,,,, 4,, 6,, 3,, 4,, 7,,,,,, 2, 4,, 2, 6,, 5,, 3,, 3,,,, 2,,,,,, ,,,,,, 2,,,,,,,,, 2,,,,,,,,,,, 2,,, 2,,,,,,,,,,,,,,,,,,,,, 3,,, 59,,, 2, 4, 4, 12, 4, 4, 4, 3,, 61,, 117, 2,, 5, 2, 2, 2, 21,,,,, 56,,,, 528,, 3,, 14,, 42,, 3,, 12,, 42,, 3,,, 56,, 3,,, 54,, 2,, 14,, 42,, 2,, 12,, 42,, 2,, , 12,, 2,, 40,, 2,,, 12,, 2,, 40,, 3,, 57,, 2,, 57,,, 2,, 56,,, 2,, 56,, 3, , 55,, 2,, 55,,, 2,, 54,,, 2,, 333,, 61,, 62,, 60,, 784,, 58,, 59,, 57,, 464,,,,, 56,,, 4, 4, 12, 4, 4, 4, 2,, 5, 4, 21,, 58,, 50,, 51,, 49,, 145,, 48,, 48,,,,, 40,,,, 40,,,, 41,,,, 40,,, 40,, 40,, 41,, 40,,,, 33,,, 33,,,, 33,,, 33,, 33,, 32,,, 32,, 56,, 27,, 26,, 23,, 20,, 23,, 22,, 19,, 12,, 17, , 16,, 15,, 16,, 13,, 12,, 11,, 8,, 15,, 15,, 12,, 12,, 11,, 11,, 8,, 5,, 6,, 6,, 5,,,, 2,, 2,,,,, 4, 4, 12, 4, 4, 4, 7, 4, 22,, 48,, 338,,, 40,, 40, ,, 40,,, 40,, 80,, 40,, 40,,, 32,,, 32,,, 32,, 32,, 32,, 32,, 87,, 24,, 23, , 22,, 19,, 20,, 19,, 18,, 9,, 16,, 15,, 12,, 13,, 12,, 11,, 8,, 9,, 14,, 14,, 13,, 13,, 10,, 10,, 9,, 4,, 7,, 7,, 4, 2, 3,, 3, 2,, 2,, 52,,, 2,, 2, 2,,,, 2, 4, 4,,, 2, 5, 2,, 2, 17,, 5,, 48, 2,,, 5, 2,, 2, 21, 2,, 2, 17,, 3,, 6,, 35,,,,,,, 2,,, 17,,,,,,,,,, 17,, 3,, 9,, 32,,,,,,,,,,, 17,,,,,,,,,, , 17,, 3,, 42,, 3,, 42,, 3,, 41,, 3,, 255,, 45,, 44,, 44,, 379,,, 50,,,, 2, 2,,,, 2, 4, 4,,,, 52, 2,, 2, 17,, 2,, 4,, 34,,,,,, 18,,,, 19,, 2,, 6,, 32,,,, 2,, 17,,,, 2,, 17,, 2,, 39,, 2,, 39,, 2,, 38,, 2,, 232,, 42,, 39,, 41,, 347, 2, 4, 4, 4, 4, 4, 4, 6, 2, 5, 4, 114,,,,,, 33,,,,, 32,,,, 35,,,, 32,,,,,,, 32,,,,, 32,,,,,,, 32,,,,,, 32,,,, 35,,,, 35,,,, 34,,,, 34,,, 33,, , 33,,, 32,,, 201,, 36,, 37,, 35,, 475,, 34,, 33,, 33,, 264,,,, 3, 8, 4, 8, 4,, 2,,, 42,,, 44,, 42,, 2, 20,, 42,,, 40,, 40,,, 38,, 37,,,, 35,,, 35,, , 34,, 34,,, 32,, 42,, 15,, 11,, 12,, 14,, 11,, 7,, 8,, 2,, 7,, 4,, 5,, 6, , 3, 2,,, 13,, 14,, 10,, 11,, 9,, 10,, 6,, 7,, 6,, 7,, 4,, 5,, 2,, 3, 2,,,, , 2, 8, 4, 8, 4,, 82, 2, 20,, 80,, 73,,, 34,, 34,, 68,, 73,, 12,, 10,, 9,, 13,, 8,, 6,, 5,, 3,, 6,, 5,, 4,, 7,, 2,,, 2, 12,, 11,, 9,, 8,, 8,, 7,, 5,, 4,, 7,, 6,, 5,, 4,, 3,, 2,,, 3,,, 8, 4, 8, 4,,,, 40,,, 60,,,,, 32,,,, 32,, , 34,, 33,,, 32,, 32,,, 32,, 36,, 11,, 9,, 8,, 8,, 7,, 5,, 4, 2, 7,, 6,, 5, , 4,, 3,, 2,,,, 7,, 10,, 8,, 7,, 3,, 6,, 4,, 3,, 4,, 7,, 6,, 5, 2, 3,, 2,,, ,, 8, 4, 8, 4, 20,,, 32,, 32,, 65,, 64,, 67,, 8,, 8,, 5,, 7,, 4,, 4,,,,,, 6,, 7,, 4,, 5,, 2,, 3, 2, 6,, 7,, 7,, 4,, 2,, 3,, 3, 2, 5,, 6,, 7,, 4,,,, 2,, 3, 3,,,, 36,,, 2, 17, 2, 5, 6,,, 34,,, 16,, 76,,, 36, 2, 5, 6,, 34,, 84,,, 2, 16, 8, 8, 4, 4,,, 32,, 32,,, 144,,,, 33,, 2, 4, 4,, 44,,, 34, 4, 24,, 2, 4, 4, 4, 59,,, 27,,,, 11, 4, 4, 4, 40,, 17,, 13,, 15,, 15,, 12,, 18,, 10,, 234,,,, 28,,, 26,, 18,, 10,, 16,, 10,, 16,, 11,, 17,, 8,,, 2, 5, 2, 2,,, 5,,, 18,,, 9,, 28,, 28,, 27,, 27,, 26,, 26,, 22,, 16,,, 22,,, 7, 4, 3, 4, 7,, 13,, 8,, 12,, 11,, 8,, 13,, 8,, 153,,, 22,,, 21,, 14,, 6,, 12, , 5,, 14,, 5,, 14,, 5,, 2, 4, 2, 2,, 4,, 21,, 21,, 20,, 19,, 19,, 18,,, 4, 2, 4, 23,, 8,, 6,, 6,, 6,, 5,, 9,, 5,, 92,,, 16,,,, 14,, 9,, 5,, 7,, 4,,, 12,,, 2,,,, 2, 3, 3,, 2,, 15,, 15,, 14,, 14,,, 12, 4, 2, 4, 3,, 3,, 2,, 2, , 3,, 2,, 3,, 2,, 46,,, 11,,, 8,, 6,, 4,, 4,, 4,,, 2, 2, 2,,, 10,, 10,, 9, , 9,, 8,,,, 12,,, 49,,,, 4,,, 4,,, 2,,,,,,,,, 3,, 6,, 4,, 2,, 7,,, 4,,, 15, ,,,,,,,,,,, 3,, 2,, 6,,,,,,,,,,,,,,,,, 6,, 55,, 7,, 53,,, 2, 3, 4, 12, 4, 4, 4, 2,,, 57,,,,,,,, 53,,,,, 2,, 50, 2,, 4, 4, 73,,,, 51, 2,,, 2,, 3, 2,, , 18,, 49,, 48,,, 2, 2,, 3,,, 2, 3,, 2, 2,,,,, 2,, 2,,,, 51,, 8,, 4,,,, 3, , 16,, 35,, 3,, 14,, 35,, 3,,, 18,, 32,, 3,,, 12,, 33,, 2,, 15,, 34,, 2,, 13,, 35,, 2,,, 8,, 2,, 2,, 32,, 2,,, 8,, 2,, 2,, 32,, 3,, 48,, 2,, 9,, 38,, , 2,, 48,,, 2,, 7,,, 37,, 3,, 44,, 2,, 44,,, 2,, 6,,, 36,,, 2,, 136,, 163,, , 53,, 51,, 54,, 50,, 105,, 155,, 274,, 95,, 49,, 46,, 45,, 2,, 91,, 90,, 137,, 48,, 2, 3, 2, 3,,,,,,,,,, 3,, 2,,,, 16,,, 3,, 2,,,, 3,, 2,,, 3, 3,, 2,,,,,,,, 36,,,, 2, 3,, 2,,, 3, 3,, 2,,,,,,,,, 35,,,,,, 33,,, 2, 3,, 2,,, 3, 3,, 2,,,,,,, 33,,, 32,,,,, 32,,, 3,, 2,,, 3, 3,, 2,,,,, 3,, 2,,, 3, 3,, 2,,,, 13,, 9,, 9,, 11,, 2,, 3, 2,,,,,, 15,,,, 11,, 4,, 7,, 5,, 2,, 3,,,, 2, , 2,,,, 6,,,, 2,, 2,, 10,, 3,,,, 3,, 2,,, 5,, 3,, 4,, 5,, 3,, 2,,,, 3,, 3,, , 4,,,,,,, 2,,,, 2, 5,,,, 2, 16,, 36,,,, 35,,,,, 34, 2, 16,,, 33,,, 32,,, 84,, 20,, 3,, 14,,,, 14,, 15,, 15,, 2,, 9,,,, 8,, 2,, 4,, 4,, 4,, 4,, 5,, 5,, 3,,, 2, 2,,,,,, 5, 2,, 2, 16,,,,,,,, 2,,,,,, 2,,,, 3,, 2,,, 2,,,,,, 33, , 4, 3,, 2,,, 2,,,, 2, 16,,,, 2,, 32,, 3,, 3,, 2,,, 2,, 3, 3,, 2,,, 3, 3,, 2,,,,, 3, 36,, 18, 3, 3,, 2,,, 3, 3,, 2,,,, 74, 3, 3,, 2,,, 2,,, 3,, 2,,,, 20,, 36,, 51, 3, 3,, 2,,, 3, 3,, 2,,, 4, 3,, 2,,, 3, 3,, 2,,,, 2,,, 5,,,, 32,,, 16,, 16,,, 32,, 32,,, 135,, 13,, 26,, 9,, 9,, 9,, 19,, 6,, 6,, 8,, 2, , 6,, 4,, 3, 2,,, 5,, 4,, 6,, 7,, 9,, 3,, 3,,,,, 3,, 3,,,, 5,,,, 2,,,,,,,, , 4,,,, 9,, 3,, 9,, 9,,,, 2,, 5,, 5,,,,,,, 2, 9,, 12,, 9,, 9,, 12,, 8,, 5, , 4,, 3,, 6,, 5,, 4,, 7,, 2,,, 2, 4,, 11,, 9,, 8,, 15,, 5,, 4,, 13,, 5,, 9, , 7,, 9,, 7,, 5,, 3,, 6,, 4,, 3,, 3,, 5,, 4,, 3, 2, 3,, 2,,,, 59,, 5,, 4,, 2,,,, 3,, 2,, 2,, 4,, 6,, 30, 2,,, 2,,,,, 195, 2, 3, 2, 17,, 4,,, 2, 3, 2, 3, 2, 17,, 4,,, 2, 195, 2, 3, 2, 17,, 4,,, 2, 3, 2, 3, 2, 17,, 4,,, 2, 6,, 7,,,, 6,, 2,, 3,, 3, 2, 525, 2, 5, 2, 8,,, 2,,, 397, 2, 9, 2, 5, 2,, 2, 3, 2, 3, 2, 17,, 4,,, 2, 259, 2, 3, 2, 17,, 4,,, 2, 67, 2, 3, 2, 17,, 4,,, 2, 3, 2, 3, 2, 17,, 4,,, 2, 130,, 3,,, 2,,, 2,, 2,,,, 210,, 3,,, 2,,, 2,, 2,,, , 82,, 3,,, 2,,, 2,, 2,,,, 18,, 3,,, 2,,, 2,, 2,,,, 18,, 3,,, 2,,, 2,, 2,,, , 146,, 3,,, 2,,, 2,, 2,,,, 146,, 3,,, 2,,, 2,, 2,,,, 29, 2, 5, 2, 8,,, 2,, , 2,, 3,,, 2,,, 2,, 2,,,, 29, 2, 9, 2, 5, 2,, 2, 1222,, 7,,,, 6,, 2,, 3,, 3, 2, 71,, 6,, 6,, 2,, 2, 2, 4, 2, 386,, 12,, 5, 2, 4,, 4,, 2, 2, 397, 2, 5, 2, 8,,, 2,,, 1664,, 3,, 3, 2, 19,, 2, 2,,, 192,, 3,, 3, 2, 19,, 2, 2,,, 64,, 3,, 3, 2, 19,, 2, 2,,, 397, 2, 5, 2, 8,,, 2,,, 199,, 6,, 6,, 2,, 2, 2, 4, 2, 129,, 3,, 3, 2, 19,, 2, 2,, 2, 3,, 3, 2, 19,, 2, 2,,, 64,, 3,, 3, 2, 19,, 2, 2,, 2,,,,,,,, 2,, 3,,, 2,,, 2,, 2,,,, 16,, 3,, 3, 2, 19,, 2, 2,, , 3, 2, 3, 2, 17,, 4,,, 2, 66,, 3,,, 2,,, 2,, 2,,,, 146,, 3,,, 2,,, 2,, 2,, ,, 18,, 3,,, 2,,, 2,, 2,,,, 1047,, 6,, 6,, 2,, 2, 2, 4, 2, 78, 2, 9, 2, 5, 2,, 2, 129,, 12,, 5, 2, 4,, 4,, 2, 2, 589, 2, 5, 2, 8,,, 2,,, 140,,, 2,,, 9, 2, 5, 2, 845, 2, 9, 2, 5, 2,, 2, 7,, 6,, 6,, 2,, 2, 2, 4, 2, 642,, 12,, 5, 2, 4,, 4,, 2, 2, 76,,, 2,,, 9, 2, 5, 2, 386,, 3,,, 2,,, 2,, 2,,,, 18,, 3,,, 2,,, 2,, 2,,,, 23,, 6,, 6,, 2,, 2, 2, 4, 2, 3,, 3,,, 2,,, 2,, 2,,,, 82,, 3,,, 2,,, 2,, 2,,,, 81,, 12,, 5, 2, 4,, 4,, 2, 2, 7,, 6,, 6,, 2,, 2, 2, 4, 2, 776,, 6,, 6,, 2,, 2, 2, 4, 2, 391,, 7,,,, 6,, 2,, 3,, 3, 2, 140,, , 2,,, 9, 2, 5, 2, 13, 2, 9, 2, 5, 2,, 2, 77, 2, 5, 2, 8,,, 2,,, 2,, 3,,, 2,,, 2,, 2,,,, 29, 2, 9, 2, 5, 2,, 2, 66,, 3,,, 2,,, 2,, 2,,,, 14303 ] );