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.abw GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 75 ] := rec( ops := [ 1, 88,,,,,,,,,,,,,,,,,,,,,,,,,,,, 346, 31,,, 68, 88,,, 1, 68, 88,,, 346, 31,,, 1, 88, 68,,, 31, 346,,, 1, 31, 346,,, 88, 68,,, 1, 88,,,,,, 68,,,,,,, ,,,,,,,,, 88,,,,,, 31,,,,,,,,,,,,,,,, 697, 31,,, 1,,,, 697,,, 1, 31,,,,,,,, ,,,,,,,, 88,,,,,,,,,,,,,,,,,,,,,,,,,,,, 31,,,,,,,, 346, 31,,, 68, 88,,, 1, 68, 88,,, 346, 31,,, 1, 88, 68,,, 31, 346,,, 1, 31, 346,,, 88, 68,,, 1, 88, ,,,,,,, 68,,,,,,,,,,,,,,, 88, 1,,,,,,, 31,,,,,,,, 697, 31,,, 1,,,, 697,,, 1, 68,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 88,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,, 346, 31,,, 68, 88,,, 1, 68, 88,,, 346, 31,,, 1, 88, 68,,, 31, 346,,, 1, 31, 346,,, 88, 68,,, 1, 88,,,,,,,, 68,,,,,,,,,,,,,,, 88, 1,,,,,, , 697, 31,,, 1,,,, 697,,, 1, 88,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 20,,,, 33, 4, 47, 7, 4, 87, 33,,, 15, 4, 54, 7, 4, 1076, 20,,,, 2298, 47, 87, 3901, 4654, 5687, 3900, 1076, 20,, 3901, 319, 20, 47, 693, 319, 1076, 20,, 11294, 2059, 20, 1,,, 47, 4,,,,, 33, 319,,, 47, 4, 20,, 47, 319, 693, 87, 319, 47, 1486, 20,, 6878, 20, 1486,, 11109, 6864, 7820,, 5593, 47, 1486, 20, 6864, 693, 1486, 20,,, 361, 1486, 20,,, 361, 6878, 33,, 4617, 4, 47, 7, 87, 15, 4, 54, 456, 7,,, 54, 33,,, 456, 54,,, 20, 1,,, 47, 4,, 7, 4, 87, 47,,, 61, 4, 54, 7, 4, 1076, 20,,,, 2298, 319, 87, 3901, 4654, 3900, 1411,, 20, 1,,, 47, 4, 33, 87,,, 47, 4, 20, 1,,, 33, 4, 47, 7, 4, 87, 33,, , 15, 4, 54, 7, 4, 20,, 47, 87,,, 61, 33, 7, 15, 20, 1,,, 47, 4, 33, 87,,, 47, 4, 20, 1,,, 33, 4, 47, 7, 4, 87, 33,,, 15, 4, 54, 7, 4, 20,, 47, 87,,, 61, 33, 7,,, 15,,, 20, 1,,, 47, 4, 33, 87,,, 47, 4, 20, 1,,, 33, 47, 7,, 319, 33,,, 456, 4, 54,, 20,, 47, 319,,, 87, 693, 33, 7, 15, 20, 1,,, 47, 4, 33, 87,,, 47, 4, 20, 1,,, 33, 4, 47, 7, 4, 87, 33,,, 15, 4, 54, 7, 4, 20,, 47, 87,,, 61, 33, 7,,, 15,,, 1076, 20,,,,,, 686, 20, 1076,,,,, 2897, 54, 87, 33, 54, 4, 2298,,, 4661, 15,, 7, 1109, 20,, 2519, 54, 319, 7960, 2059,, 11260, 11261, 7888, 11442,, 11179, 8078, 20, 1,,, 47, 4, 456, 87,,, 47, 4, 20, 1,,, 33, 4, 47, 7, 4, 87, 33,,, 15, 4, 54, 7, 4, 20,, 693, 87, 47, 1411, 319, 61, 33, 400,,, 54, 15,,, 20, 1,,, 33, 4, 47, 7, 4, 87, 33,, , 15, 4, 54, 7, 4, 1076, 20,,,, 2298, 47, 87, 3901, 4654, 5687, 3900, 686, 1,,,,, 20,,,, 87, 4, 47, 400,,, 4, 87, 20, 1,,, 4, 7, 54,,, 4, 20, 400,,, 87, 456, 7,,, 54, 15,,,, 7,,, 400, 33,,, 2059, 400,,, 3763, 20, 1778, 1998, 1025, 20, 3763, 10687, 20, 3763, 1778, 1998, 20, 1025, 3763, 3414, 87, 4, 7729,, 10911, 8059, 4,, 3863, 47, 3862,, 3863, 3862, 2497, 1024,, 7524, 1024, 2497, 7563, 87, 27, 11014, 7523, 7524, 6860, 7563, 20, 1,,, 4, 7, 54,,, 4, 1998, 20,, 11399, 20, 1998, 11398, 87, 11397, 11394, 11396, 11395, 54, 7,,, 400, 33,,, 20, 1,,, 87, 4, 47, 7,,, 4, 87, 20, 1,,, 4, 7, 54,,, 4, 20, 54,,, 87, 33, 7,,, 15,,, 54, 7,,, 400, 33,,, 54, 2059,,, 1025, 20,,,, 3885, 20, 1025,,,,,,, 3938, 87, 4, 3863, 47, 3862, 5089, 3861, 3862, 47, 3863, 3861, 6867, 1025, 20,,,, 3885, 20, 1025,,,,,,, 3938, 4, 87, 4395,, 5086, 5585, 54, 5586, 87, 5086, 4395, 5586, 54, 5585, 4, 1025, 20,, 4395,, 20,, 4395, 87,, 5086, 7814, 319,, 33, 7, 54,,,,, 1025, 20,,,, 3885, 20, 1025,,,,,,, 7853, 4, 5089, 3861, 5585, 54, 5586, 6867, 3861, 54, 5586, 5585, 4, 3763, 1778,, 7532, 1778, 3763, 7531, 87, 7530, 10906,, 7532, 7531, 54, 7,,, 3414, 1,, 729, 419,,,,, 1, 3414, 433, 1,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1024, 20,,,,, 1473, 1024, 20,,,,, 1473, 4, 33, 1024, 693, 5085, 1024, 11073, 6860, 5085, 2601, 33, 3081, 7, 20, 1,, , 4, 33, 400,,, 4, 456, 7,,, 54, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 20, 1,,, 4, 33, 7,,, 4, 20, 54, 319, 2059, 20, 87, 319, 33, 7, 15, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 456, 7,,, 4, 33, 400,,, 54, 15,,, 1109, 20,,,,,, 875, 20, 1109, ,,,, 423, 4, 33, 2519, 7,, 3434, 15,, 20, 1,,, 4, 47,,, 33, 87,,, 4, 33, 7, ,, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 33, 54,,, 4, 33, 54,,, 7, 456,,, 1, 1024, 20,,,,, 1473,, 1024,,,, 2181, 4, 33, 2601,, 3081, 7, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 1109, 20,,,,,, 875, 20, 1109,,,, , 423, 4, 33, 2519, 7,, 3434, 15,, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 456, 7,,, 4, 33, 400,,, 54, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 47,,, 33, 87,,, 4, 33, 7, 15, 20, 1,,, 4, 33, 54,,, 4, 33, 54,,, 7, 456,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 1, 20,,,, 4, 33, 7,,, 4, 33, 7, 15, 1024, 20,,,,, 1473, 1024, 20,,,,, 1473, 4, 33, 2601,, 3081, 7, 20, 1,,, 4, 54, 7,,, 4, 54, 7,,, 400,,, 20, 1,,, 4, 33, 54,,, 4, 33, 54, ,, 7, 456,,, 1109, 20,,,,,, 875, 20, 1109,,,,, 423, 4, 33, 2519, 7,, 3434, 15,, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 20, 1,,, 4, 47,,, 456, 87,,, 4, 33, 400,,, 54, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 1, 1024, 20,,,,, 1473, 1024, 20,,,,, 1473, 4, 33, 2601,, 3081, 7, 20, 1,,, 4, 33, 400,,, 4, 456, 7,,, 54, 15,,, 20, 1,,, 4, 33, 7,,, 4, 33, 7,,, 15,,, 20, 1,,, 4, 33, 54,,, 4, 33, 54,,, 7, 456,,, 20, 1,,, 4, 47,,, 33, 87,,, 4, 33, 7,,, 15,,, 1109, 20,,,,,, 875, 20, 1109, ,,,, 423, 4, 33, 2519, 7,, 3434, 15,, 20, 1,,, 4, 456, 7,,, 4, 33, 400,,, 54, 15,,, 1, 2497, 20, 1024,, 2497, 1109, 1025, 6766, 20, 2497, 1024, 20, 2497, 1109, 1025, 3108, 4, 4626, 3864,, 2601, 33, 2519, 7,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 1025, 20,,,, 3885,, 20,,,, 3885, 4, 4626, 3864, 5089, 3861, 4626, 3864, 5089, 3861, 33, 7, 1025, 20,,,, 3885, 20, 1025,,,,, ,, 7853, 4, 47, 4626, 3864, 4395, 5086, 87, 3864, 7850, 87, 4395, 5086, 33, 7, 433, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1109, 20,,,,,, 875, 20, 1109,,,,, 423, 4, 33, 2519, 7,, 3434, 15,, 20, 1,,, 4, 33, 7,,, 4, 33, 7, 15, 20, 1,,, 4, 47,,, 33, 87,,, 4, 33, 7, 15, 1024, 20,,,,, 1473,, 1024, ,, 2993, 4, 33, 2601,, 3081, 7, 1, 1025, 20,,,, 3885, 20, 1025,,,,, 433, 4, 87,, 3863, 47, 3862, 5089, 3861, 47, 3863, 3862, 6867, 3861, 33, 7, 2497, 20, 1024,, 2497, 1109, 1025, 6766, 20, 1109,, 1025, 2497, 1024,, 8096, 4, 87, 3863, 47, 3862,, 3863, 2601, 33, 2519, 7,, 433, 1,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,, 2497, 20, 1024,, 2497, 1109, 1025, 6766, 20, 1109, , 1025, 2497, 1024,, 8096, 4, 4626, 3864, 7850,, 2601, 33, 2519, 7,, 433, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 3108, 2181,, 423, 433, 1, 3108, 2181,, 423, 433, 1, 3108, 2181,, 423, 433, 3108, 2181,, 423, 433, 1, 2181,, ,, 433,,,,,,,,,,,, 423,,,,,, 1473,,,,,,,, 3877, 2993,, 2885, 433, 1,, 2885, 2993, 3877, 1, 2993, 3877, 433, 2885,, 3877, 2993,, 1, 2993,,,, 2885, ,,,,,,,, 433, 1,,,,,,,,, 875,,,,,,,,,,,,,,,, 433,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,, 20, 87, 1411, 319, 2177, 6892,,, 1411, 1980, 4385, 10456, 8, 7880,,, 10725, 11321, 10931, 7591, 8015, 1, 5699,,, 147, 1,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 5339, 147, 204, 5339, 922,, 147,, 922, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 95,,,,,, 147,,,,,,,,,,,,,,,,, ,,,,, 95,,,,,, 4,,,,,,,,,,,,,,,,,,,, 264, 4,, 95, 147,, 4, 264,, 147, 95,, 1, 4,,,,,,,, 147, 95,,, 1, 4, 264,,,, 1, 147, 95,,, 4, 264,,, 1, 95, 147, 1, 95,, 147,, 95,, 147,, 95,, 147, 95, 4, 264, 1, 4,, 264, 4,, 95, 147,, 4, 264,, 147, 95,, 1, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,, 264, 4,, 95, 147,, 4, 264,, 147, 95,, 1, 4,,,,,,,, 264, 4,, 95, 147,, 4, 264,, 147, 95,, 1, 4,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,, 229,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,, 52,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1,,, 128, 4,,, 1,, 52, 84,,,, 1,, ,,,,, 84,, 52,,,, 84,, 52,, 128, 4, 52, 84,, 1,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 707, 128,, 4,, 128,, 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,,, 229, 1,,,,,,,,,, 707, 128,, 1481, 52, 707, 204, 1,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,, ,,,,,,,,,,,,,, 52,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,, , 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1,,, 128, 4,,, 1,, 52, 84,,, , 1,,,,,,, 84,, 52,,,, 84,, 52,, 128, 4, 52, 84,, 1,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4, , 128, 4,,, 52, 1,,, 84,,, 52, 1, 707, 128,, 4,, 128,, 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,,, 1, 229,,,,,,,,,, 204,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,, ,,,,, 52,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1,,, 128, 4,,, 1,, 52, 84,,,, 1,, ,,,,, 84,, 52,,,, 84,, 52,, 128, 4, 52, 84,, 1,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,,,,,,, 707, 128,, 4,, 128,, 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,,, 229, 1,,,,,,,,,,, 204,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,,,,,,, 52,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,, , 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1,,, 128, 4,,, 1,, 52, 84,,,, 1,,,,,,, 84,, 52,,,, 84,, 52,, 128, 4, 52, 84,, 1,,, 128, 4, ,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,,,,,,, 707, 128, , 4,, 128,, 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,,, 1, 229,,,,,,,,,, 204,,,, 4,,,,,,,,,,,,,,,, 204,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 229,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 4,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 4, 128, 1, 52, 4, 84, 1, 4, 128,,, 1, 52,,, 4, 84, 1,,, 4,,,, 52,,,, 84,,,, 52,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 4, 128, 1, 52, 4, 84, 1, 4, 128,,, 1, 52,,, 4, 84, 1,,, 4,,,, 52,,,, 84,,,, 52,, 707, 128,, 4,, 128, , 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,, , 229, 1,,,,,,,,,, 52, 1,,, 128, 4,,, 1,, 52, 84,,,, 1,,,,,,, 84,, 52,,,, 84,, 52,, 128, 4, 52, 84,, 1, 1481, 52, 707, 229, 1481, 52,,, 707, 1, 4,, 204, 1481, 1,, 204, 229, 1, 204,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1, ,, 84,,, 4, 128, 1, 52, 4, 84, 1, 4, 128,,, 1, 52,,, 4, 84, 1,,, 4,,,, 52,, ,, 84,,,, 52,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 707, 128,, 4,, 128,, 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,,, 1, 229,,,,,,,,,, 204,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 707, 128, , 4,, 128,, 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,,, 229, 1,,,,,,,,,,, 204,,,, 128, 4,,, 52, 1,,, 4,, 128, 4,,, 52, 1,,, 84,,, 52, 1, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 707, 128,, 4,, 128, , 4, 204,, 1, 707, 128,, 4,, 128,, 4, 204, 229, 1, 204, 229, 1, 1481, 84,,, , 1, 229,,,,,,,,,, 204,,,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 229,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 204,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,, 229,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,, 204,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 229,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 147, 95,,, 1, 4, 264,,,, 1, 147, 95,,, 4, 264,,, 1, 95, 147, 1, 95,, 147,, 95,, 147,, 95,, 52,,,, 128, 4,,, 1,, 52, 84,,,, 1,,,,,,, 84,, 52,,,, 84,, 1849, 128,, 52, 1,,, 128, 4,, , 1,, 52, 84,,,, 1,,,,,,, 84,, 52,,,, 84,, 52,,,, 128, 4,,, 1,, 52, 84,,,, 1,,,,,,, 84,, 52,,,, 84,, 52,,,, 128, 4,,, 1,, 52, 84,,,, 1,,,,,,, 84,, 52, ,,, 84,, 4,,,,,,,, 52,,,, 128, 4,,, 1,, 52, 84,,,, 1,,,,,,, 84,, 52,,,, 84, , 4, 128,,, 1, 52,,, 4, 84, 1,,, 4,,,, 52,,,, 84 ], nrs := [ 18, 2,, 2, 2, 2,, 2, 9, 2,, 4,, 2, 42, 2,, 4,, 2, 9, 2,, 2, 2, 2,, 2, 1704, 2,, 2,,,,,, 4,,,,, 2,, 2,, 4,,,,,, 2,, 2, 4,, 2,, 2,,,,, 5, 2,, 4,, 2, 18, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2,, 2,, 4,, 2, 41, 8, 16, 8, 12, 8, 8, 8, 204, 8, 16, 8, 12, 8, 8, 8, 204, 2,, 2,, 10, 8, 10,, 2,, 2, 100, 8, 16, 8, 12, 8, 8, 8, 204, 8, 16, 8, 12, 8, 8, 8, 204, 2,, 2, 2, 2,, 2, 9, 2, , 4,, 2, 42, 2,, 4,, 2, 9, 2,, 2, 2, 2,, 2, 1192, 8, 16, 8, 12, 8, 8, 8, 204, 2,, 2,,,,,, 4,,,,, 2,, 2,, 4,,,,,, 2,, 2, 4,, 2,, 2,,,,, 4, 2,, 2, 2, 2,, 2, 17, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 2,, 2, 2, 2,, 2, 40, 8, 16, 8, 12, 8, 8, 8, 204, 2,, 2,, 10, 8, 10,, 2,, 2, 100, 2,, 2,, 2,, 2, 9, 2,, 2, , 2,, 2, 10, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 17, 2,, 2,, 2,, 2, 9, 2,, 2, , 2,, 2, 8, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 129, 2,, 2, 2, 2,, 2, 8, 2,, 2, 2, 2,, 2, 9, 2,, 4,, 2, 10, 2,, 4,, 2, 9, 2,, 2, 2, 2,, 2, 8, 2,, 2, 2, 2,, 2, 9, 2,, 4,, 2, 10, 2,, 4,, 2, 1161, 2,, 2, 2, 2,, 2, 8, 2,, 2, 2, 2, , 2, 40, 2,, 2, 2, 2,, 2, 8, 2,, 2, 2, 2,, 2, 168, 2,, 2,,,,,, 4,,,,, 2,, 2,, 4,,,,,, 2,, 2, 4,, 2,, 2,,,,, 4, 2,, 2, 2, 2,, 2, 17, 2,, 2,, 2,, 2, 9, 2,, 2,, 2,, 2, 2,, 2, 2, 2,, 2, 40, 2,, 2,, 10, 8, 10,, 2,, 2, 100, 2,, 2, 2, 2,, 2, 8, 2,, 2, 2, 2,, 2, 40, 2,, 2, 2, 2,, 2, 8, 2,, 2, 2, 2,, 2, 168, 16,, 16,, 4, 4, 8, 8, 4, 4, 2, 4, 2, 4, 8, 8, 4, 4,,,,, 2,, 2, 2,,,,,, ,,, 2, 4,, 2, 2,,,,, 2, 16,, 16,, 8, 4, 8, 4, 8, 4, 2, 8, 2, 8, 8, 4, 8,, 2, 4, 4, 2, 4, 2, 2, 2, 2,,, 4,,,, 2,, 2,, 2,,, 2, 2, 5, 2,,, 2, 5, 2,,,,, , 2,, 8, 4, 8, 4, 4, 8, 4, 2, 4, 2, 4, 2, 4, 2, 2, 2, 2, 2, 16,, 16,, 8, 4, 8, 8, 4, 4, 4, 4, 4, 8, 8, 8, 4, 4,,,,, 2,, 4, 2,,,,,, 16,, 16,, 8, 20, 2, 4, 2, 4, 8, 4, 16,, 16,, 4, 4, 8, 8, 4, 4, 2, 4, 2, 4, 8, 8, 4, 4, 8,, 2, 2, 2, 4, 2, 4, 8, 4, 16,, 16,, 8, 20, 2, 4, 2, 4, 8, 4, 16,, 16,, 4, 4, 8, 8, 4, 4, 2, 4, 2, 4, 8, 8, 4, 4, 8,, 2, 2, 2, 4, 2, 2, 2, 2, 4, 2, 2, 2, 16,, 16,, 8, 20, 2, 4, 2, 4, 8, 4, 16,, 16,, 4, 16, 8, 8, 8, 2, 8, 2, 8, 8, 16, 4, 8,, 2, 4, 2, 4, 2, 4, 4, 8, 4, 16,, 16,, 8, 20, 2, 4, 2, 4, 8, 4, 16,, 16,, 4, 4, 8, 8, 4, 4, 2, 4, 2, 4, 8, 8, 4, 4, 8,, 2, 2, 2, 4, 2, 2, 2, 2, 4, 2, 2, 2,,,, 4,,,,, 4,,, 2,,,, 8, 8, 4, 8, 4,,,,,,, 4,, 2, 3, , 2, 4,,,,,,,,,, 2, 16,, 16,, 8, 20, 4, 4, 4, 4, 8, 4, 16,, 16,, 4, 4, 8, 8, 4, 4, 2, 4, 2, 4, 8, 8, 4, 4, 8,, 4, 2, 2, 4, 4, 2, 2, 4, 2, 4, 4, 2, 4, 2, 16,, 16,, 4, 4, 8, 8, 4, 4, 2, 4, 2, 4, 8, 8, 4, 4,,,,, 2,, 2, 2,,,, , 4, 4, 8, 4, 4, 528, 16,, 16,, 8, 20, 4, 4, 4, 4, 4, 8, 16,, 16,, 24, 2, 4, 2, 4, 8, 4,, 4,, 8, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 2,, 2,,,,,,,,,,,,,,,,,, 8, 4,,,,,,,,,,,,,,,,,, 2,, 2, 2,, 2,,,, 16,, 16,, 24, 2, 4, 2, 4, 8,,,,,, 2,, 4,,,,, 4, 2, 4, 2, 4, 2, 4, 2, 16,, 16,, 8, 20, 4, 2, 4, 2, 4, 8, 16,, 16,, 24, 2, 4, 2, 4, 8, 4,, 4,, 8, 2, 2, 2, 4, 2, 2, 2, 4, 2, 4, 2, 4, 2, 4, 2,, 2,, 2,, 4,, 2, 2,, 3,,,,,,,,, 8, 12,,,,,,,,,,, , 4,, 2, 2,, 3,,,,,,,,, 8, 8,,,,,,,,,,,,, 4,,,,,,,,, 2,,,,,, 4, 4, 4, 2, 4, 2, 2,, 4,, 2, 2,, 2,,,, 2,,,,, 12,,,,,,,,,,, 4,,,,,, 2,, 2,,,,,, 4, 2, 4, 2,,, 3,,,, 2, 2,,, 4,,,,, 3,,,, 2, 8,,,,, 2,, 3,,, 9, 3,, 2,,,, 2, 8,,,, , 2,, 3,,, 9, 3,,, 196,,, 2,,, 4,,,, 2,,, 4,, 16, 4, 2,,, 4,, 2, 2, 2,, 2, 5, 16,, 16,, 24, 2, 4, 2, 4, 8, 4, 2, 4, 2, 4, 2, 4, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, 16, , 16,, 24, 2, 2, 2, 2, 8, 4,, 2, 2, 4,, 4, 4, 8, 4, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 24, 4, 2, 4, 2, 8, 2, 4, 2, 4, 4, 2, 4, 2,, 4,,,,,,,,, 4, 2,,,, 16, 8,,,,,,, 16,, 16,, 12, 8, 4, 8, 2, 4, 2, 4, 8, 2, 2, 2, 4, 2, 2, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 24, 2, 4, 2, 4, 8, 2, 4, 2, 4, 2, 4, 2, 4, 512,,, 2,,, 4,,, 2, , 2, 4,, 16, 4, 2,, 2, 5, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, , 4,,,,,,,,, 4, 2,,,, 16, 8,,,,,,, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 24, 4, 2, 4, 2, 8, 2, 4, 2, 4, 4, 2, 4, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 12, 8, 4, 8, 2, 4, 2, 4, 8, 4, 8, 4, 16,, 16,, 24, 2, 4, 2, 4, 8, 2, 4, 2, 4, 2, 4, 2, 4, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 512, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4,,, 2,,, 4,,,, 2,,, 4,, 16, 4, 2,, 2, 5, 16,, 16,, 24, 4, 2, 4, 2, 8, 4, 2, 4, 4, 4, 2, 4, 16,, 16,, 24, 2, 4, 2, 4, 8, 2, 4, 2, 4, 2, 4, 2, 4,, 4,,,,,,,,, 4, 2,,,, 16, 8,,,,,,, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, 16, , 16,, 12, 8, 4, 8, 4, 4, 4, 4, 8, 2, 4, 2, 4, 4, 2, 4, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, 512,,, 2,,, 4,,,, 2,,, 4,, 16, 4, 2,, 2, 5, 16,, 16,, 24, 2, 4, 2, 4, 8, 4, 2, 4, 2, 4, 2, 4, 2, 16,, 16,, 24, 2, 2, 2, 2, 8, 2, 2, 2, 4, 2, 2, 2, 16,, 16,, 24, 2, 4, 2, 4, 8, 2, 4, 2, 4, 2, 4, 2, 4, 16,, 16,, 12, 8, 4, 8, 2, 4, 2, 4, 8, 2, 2, 2, 4, 2, 2, 2,, 4,,,,,,,,, 4, 2,,,, 16, 8,,,,,,, 16,, 16,, 24, 4, 2, 4, 2, 8, 2, 4, 2, 4, 4, 2, 4, 2, 512,,,,,,,,,,,,,,,,, 8,, 2,, 2,,,,, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4,, 4,, 2, 2,,, 4,, 2, 2, , 16,,,,,,,,, 4, 4,, 4,, 2, 2,, 2,,,, 2,,,,, 12, 8,,,,,,,,,,, 4, 4,,,,, 2, 8,,,,, 2, 5, 3,,,, 3,,, 9, 3,,,, 3,,, 4,,,,, 2, 8,,,,, 2, 192,, 4,,,,,,,,, 4, 2,,,, 16, 8,,,,,,, 16,, 16,, 24, 2, 2, 2, 2, 8, 4, 8, 4, 16,, 16,, 12, 8, 4, 8, 2, 4, 2, 4, 8, 4, 8, 4,,, 2,,, 4,, 5, 2,, 2,, 16, 4, 2,, 2, 5, 512,, 4,, 2, 2,,,, 4,,, 2,, 4, 8, 8,,,,,,,,,,, 4, 4,,,,,,,,,,,,,,,,, 4, 8,, , 2,,, 2,,,,,,,,, 2, 8,,,,, 2,, 3,,, 9, 3,,,, 3,,, 9, 3,, 2,,,, 2, 8,,,,, 2, 192,,,,,,,,,,,,,,,,, 8,,,,, 2,,,,,,,,, 2, 8,,,,, 3,,,, 2, 8,,,,, 3,,,, 2, 8,,,,, 3,,,, 2, 8,,,,, 2, 192,,,,,, 4,,,,,, 2,,,,,,,,,,, 6, 4, 2, 4, 6,, ,,, 2, 8,,,,, 2,, 2,, 4,, 2, 585, 8, 12, 8, 44, 8, 12, 8, 684,,,,,, 4,,,, 2, 2,, 2,, 2,,,,, 2, 4, 10, 4, 2,,, 2,,, 9, 2,, 2,,,,, 2, 9, 3,,, 64, 4, 4, 4, 8, 4, 4, 4, 48, 4, 4, 4, 8, 4, 4, 4, 160,,,,, 2, 8,,,,, 3,,,, 2, 8,,, ,, 2,, 3,,, 9, 3,,,, 3,,, 9, 3,,, 192, 4,, 2, 2, 2, 2, 4,,, 2,,,,,,,,,, 2, 2, 5,,, 3, 2,, 2, 6, 2,, 2, 4, 2,, 2, 6, 2,, 2, 8, 2,, 2, 6, 2,, 2, 4, 2,, 2, 6, 2,, 2,, 2,, 2, 4, 2,, 2, 6, 2,, 2, 4, 2,, 2, 10, 2,, 2, 4, 2,, 2, 6, 2,, 2, 4, 2,, 2,,,,,,,,,,,,,, 2,, 3,, 2,,,, 2,, 3,, 2,,,, 2,, 3,, 2,,,, 2, , 3,,, 128, 4, 4, 8, 4, 4, 528, 2, 2, 2,, 4, 2, 4,, 2, 2, 4, 2, 2,, 4, 2, 4,, 2, 2, 2, 512, 4, 4, 8, 4, 4, 2704, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 2, 2, 2,, 2,,, 4,,, 2,, 8, 16, 8, 16, 8, 16, 8, 16, 8,,,,, 2,, 2,, 2, 4, 2,,,,, 5, 2,, 2, 17, 2, 2, 2, 2,, 4, 2, 2,, 2,, 2, 80,,,, 2, 6, 8, 216, 2, 2, 2,, 2,,, 4,,, 2,, 8, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 2, 2, 2,, 2,,, 4,,, 2,, 8, 16, 8, 16, 8, 16, 8, 16, 200, 2, 2, 2,, 2,,, 4,,, 2,, 8, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408,,,, 4,,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2, , 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,,, 5, 2, 5, 3,, 2,,, 5, 2, 5, 3,, 2,, , 4,,,, 4,,,,, 2,, 2, 4,,,, 4,,,,, 2,, 2, 3200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 16, 16, 8, 16, 228, 8, 216, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 2, , 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 6, 4, 2, 4, 2, 4, 4, 4, 36, 2,, 4, 2, 2, 2, 2, 9, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72,,,, 2,,,, 2, 2, 16, 8,,,, 2,,,, 2, 3,, 2,,, 2,,, 2,,,,,, 4,,,, 5, 2,, 2, , 2, 3,,, 2, 2, 2, 2, 2, 6, 8, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2, , 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 6, 4, 2, 4, 2, 4, 4, 4, 36, 2,, 4, 2, 2, 2, 2, 9, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 4, 2, 4, 2, 2, , 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72,,,, 2,,,, 2, 2, 16, 8,, ,, 2,,,, 2, 3,, 2,,, 2,,, 2,,,, 2, 5, 2, 4,,, 2,,, 2, 2, 2, 6, 8, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 6, 4, 2, 4, 2, 4, 4, 4, 36, 2,, 4, 2, 2, 2, 2, 9, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200,,,, 2,,,, 2, 2, 16, 8,,,, 2,,,, 2, 3,, 2,,, 2, ,, 2,,,,,, 4,,,, 5, 2,, 2, 2, 2, 2, 6, 8, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 712, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 6, 4, 2, 4, 2, 4, 4, 4, 36, 2,, 4, 2, 2, 2, 2, 9, 16, 72, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200,,, , 2,,,, 2, 2, 16, 8,,,, 2,,,, 2, 3,, 2,,, 2,,, 2,,,, 2, 5, 2, 4,,, 2,,, 2, 2, 2, 6, 8, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 1224, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 1672, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 16, 16, 8, 16, 228, 8, 216, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 1224,,,, 4, ,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,,, 5, 2, 5, 3,, 2,,, 5, 2, 5, 3,, 2,,, 4,,,, 4,,,,, 2,, 2, 4,,,, 4,,,,, 2,, 2, 1152, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 16, 16, 8, 16, 228, 8, 216, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 2376, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 2, 4,, 2, 4, 2,, 2, 4, 2, 4,, 2,, 2, 8, 2,, 2,, 8, 4, 8, 6, 4, 2, 4, 10, 4, 8, 4, 2, 16, 144, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2, , 2, 11, 4, 2, 4, 2, 4,, 2, 4, 2,, 2, 4, 2, 4,, 2,, 2, 8, 2,, 2,, 8, 4, 8, 6, 4, 2, 4, 10, 4, 8, 4, 2, 16, 144,,,, 2,,,, 2, 2, 16, 8,,,, 2,,,, 2, 3,, 2,,, 2,,, 2,,,,,, 4,,,, 5, 2,, 2, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2, , 2, 41, 4, 2, 4, 6, 4, 2, 4, 2, 4, 4, 4, 36, 2,, 4, 2, 2, 2, 2, 9,,, 2, 2, ,,,, 4, 2, 4, 4, 4, 2,, 2, 2, 2, 2, 2, 2, 6, 8, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 2, 4,, 2, 4, 2,, 2, 4, 2, 4,, 2,, 2, 8, 2, , 2,, 8, 4, 8, 6, 4, 2, 4, 10, 4, 8, 4, 2, 16, 144, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 408, 16, 8, 16, 8, 16, 8, 16, 8, 8, 4, 8, 4, 16, 8, 16, 8, 16, 8, 16, 1432, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72,,,, 2,,,, 2, 2, 16, 8,,,, 2,,,, 2, 3,, 2,, , 2,,, 2,,,, 2, 5, 2, 4,,, 2,,, 2, 2, 2, 6, 8, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 1224,,,, 2,,,, 2, 2, 16, 8,,,, 2,,,, 2, 3,, 2,,, 2,,, 2,,,,,, 4,,,, 5, 2,, 2, 2, 2, 2, 6, 8, 4, 2, 4, 2, 2,, 2,, 16, 8, 4, 2, 4, 2, 2,, 2, 11, 4, 2, 4, 16, 72, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 1224,,,, 2,,,, 2, 2, 16, 8,,,, 2,,,, 2, 3,, 2,,, 2,,, 2,,,, 2, 5, 2, 4,,, 2,,, 2, 2, 2, 6, 8, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 200, 16, 8, 16, 8, 16, 8, 16, 2248,,,, 4,,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,,, , 2, 5, 2, 4,,, 2,, 2,,, 4,,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2, 640, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 5256, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 2696,,,, 4,,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,,, 5, 2, 5, 3,, 2,,, 5, 2, 5, 3,, 2,,, 4,,,, 4,,,,, 2,, 2, 4,,,, 4,,,,, 2,, 2, 1152,,,, 4,,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,, 2,,, 4,,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2, 640, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 2184, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 8, 2, 2, 2, 2, 4, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 10, 2, 2, 6, 648,, ,, 4,,,, 5, 2,, 3,,, 4,,,, 5, 2,, 2,, 2, 5, 2, 4,,, 2,,,, 2, 5, 2, 4,,, 2,, , 5, 2, 5, 3,, 2,,, 5, 2, 5, 3,, 2,,, 4,,,, 4,,,,, 2,, 2, 4,,,, 4,,,,, 2,, 2, 128,,,,, 2,, 2,, 2, 4, 2,,,,, 5, 2,, 2, 17, 2, 2, 2, 2,, 4, 2, 2,, 2,, 2, 80, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 2, 4, 6, 4, 2, 4, 8, 4, 32,, 2, 3, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 2, 4, 6, 4, 2, 4, 8, 4, 32, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 2, 4, 6, 4, 2, 4, 8, 4, 32, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 2, 4, 6, 4, 2, 4, 8, 4, 40, 16, 8, 16, 232, 16, 8, 16, 224, 2,, 2,, 4, 2, 4, 2, 4, 8, 2, 2, 2, 2, 2,, 2, 41, 4, 2, 4, 2, 4, 6, 4, 2, 4, 8, 4, 1056, 2, 4, 2, 4,, 2,, 2, 8, 2,, 2,, 8, 4, 8, 6, 4, 2, 4, 14, 8, 25 ] );