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.ai GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 9 ] := rec( ops := [ 1, 361,,,,,,,, 147,,,,,,,, 361,,,,,,,, 147,,,,,,,, 44,,,,,,,,,,,,,,,,,,,,,, ,, 147, 361, 1, 1695, 44,, 1, 361, 147, 1, 44,,,,,,,,,,,,,,,,,,,,,,,,,,,, 147, 361, 1, 1695, 44,, 1, 361, 147, 1, 44,,,,,,,,,,,,,,,,,,,, 147, 361, 1, 1695, 44,, 1, 361, 147, 1, 44,,,,,,,,,,,,,,,, 147, 361, 1, 1695, 44,, 1, 361, 147, 1, 361,,,,,,,, 147,,,,,,,, 361,,,,,,,, 147,,,,,,,,,,,,,,,, 361,,,,,,,,,,,,,,,, 147,,,,,,,, 361,,,,,,,, 147,,,,,,,, 361,,,,,,,, 147,,,, ,,,, 361,,,,,,,, 147,,,,,,,,,,,,,,,, 361,,,,,,,,,,,,,,,, 147,,,,,,,, 361,,, ,,,,, 147,,,,,,,, 44,,,,,,,,,,,, 147, 361, 1, 1695, 44,, 1, 361, 147, 1, 44,,,,,,,, 147, 361, 1, 1695, 44,, 1, 361, 147,, 1, 1695, 44,, 1, 361, 147, 1, 44,,,, 147, 361, 1, 1695, 44,, 1, 361, 147, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,,,,,,,,,,,,,,,,,,,,, 1, 15, 4,, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,,,,,,,,,,,,,,,,, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,, ,,,,,,,,,,,,,,, 1, 15, 4,,,,,,,, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,,,,, ,, 1, 15, 4,,,,,,,, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,,,,, 1, 15, 4,,,, ,,,,,, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,, 1, 15, 4,,,,,,,, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,,,, ,,, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,,,,,, 1, 15, 4,, 757, 753,, , 4, 631,, 264, 15, 4,,,,,,, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,,,,,, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,,,, 1, 15, 757, 753,,, 4, 631,, 264, 15, 4,,, 1, 15, 4,, 757, 753,,, 4, 631,, 264, 1, 15, 757, 753,,, 4, 631,, 264, 1, 95,,,,,,,, 147,,,,,,,, 332,,,,,,,, 324,,,,,,,, 147,,,,,,,, 95,,,,,,,, 324,,,,,,,, 332,,,,,,,,,,,,,,,, 324,,,,,,,, 95,,,,,,,, 147,,,,,, ,, 324,,,,,,,, 332,,,,,,,, 147,,,,,,,, 95,,,,,,,, 4,, 403, 404, 4, 1404, 1403, 4, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 403, 404, 4, 1404, 1403, 4, 1,,,,,, ,,,,,,,,,,,,,,,,,,,,,,, 404, 403, 1404, 4, 1403, 1, 4,,,,,,,,,,,,,,,,,,,,,, ,,,, 404, 403, 1404, 4, 1403, 1, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 403, 1, 404, 1403, 4, 1404, 1, 4,,,,,,,,,,,,,,,,,,,,, 403, 1, 404, 1403, 4, 1404, 1, 4,,,,,,,,,,,,,,,,, 404, 1, 403, 4, 1403, 1404, 4, 1,,,,,,,,,,,,,,, , 404, 1, 403, 4, 1403, 1404, 4, 1,,,,,,,,, 404, 403, 1404, 4, 1403, 1, 4,, ,,,,,,,,,,,, 404, 403, 1404, 4, 1403, 1, 4,,,,,,,,,,,,,, 403, 404, 4, 1404, 1403, 4, 1,,,,,,,,, 403, 404, 4, 1404, 1403, 4, 1,,,,,,,,,,,,,, 404, 1, 403, 4, 1403, 1404, 4, 1,,,, 404, 1, 403, 4, 1403, 1404, 4, 1, 403,, 404, 1403, 4, 1404, 1, 4,, 403,, 404, 1403, 4, 1404, 1, 404,,,,,, 403,,,,,, ,,,,,,,, 404,,,,,,,, 403,,,,,, 404,,,,,,,,,,,, 403,,,,,,,, 4,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 61,,,,,,,,,,,,,,, 324, 332, 147, 95, 61, 1072,,, 1, 61,,,, 403, 404, 61, 1852,,,, 1,,,,,,,,,,,,,,,,,,,,,,,, 324, 332, 147, 95, 61, 1072,,, 1, 403, 404, 61, 1852,,,, 1,,,,,,,,, 2302, 2274, 147, 61, 1845, 3034, 1852, 1072, 249, 1, 61, 1845, 1, 211, 1845, 61, 1, 249, 61, 1845,, 1,,,,,,,,, 2302, 2274, 147, 61, 1845, 3034, 1852, 1072, 1, 211, 1845, 61, 1, 249, 61, 1845,, 1,,,,,,,,, 211,, 61, 1845,, 5750, 5446, 147, 61, 1852, 1072, 1845, 3034, 1, 61,,,,,,,, 5750, 5446, 147, 61, 1852, 1072, 1845, 3034, 1, 61,,,,,,,,,,,,,,, 324, 332, 147, 95, 61, 1072,, , 1, 61,, 404, 403, 1852, 61,, 1, 61,,,,,,,,, 324, 332, 147, 95, 61, 1072,, , 1, 404, 403, 1852, 61,, 1, 324, 332, 147, 95, 61, 1072,,, 404, 403, 1, 61, 1852,,, 1, 61,,,, 403, 404, 1, 61, 1852,, 324, 332, 147, 95, 61, 1072,, , 1, 211, 2274, 1, 404, 332, 1, 211, 2274, 404, 332, 324, 403, 1, 2302, 211, 1, 403, 324, 211, 2302, 1, 211,,,,,,,, 95,,,,,,,, 2302, 211, 1, 324, 403, 1, 211, 2302, 403, 324, 404, 332, 1, 211, 2274, 1, 404, 332, 211, 2274, 1, 147,,,,,,,, 95,,,,,,,, 147,,,,,,,, 332,,,,,,, 324, 1,,,,,,, 403,,, ,,, 404,,,,,, 4,,,,,,,,,,,,,,,,, 332, 324, 147, 95, 4, 631, 264,,, 1, 403, 404, 1403, 1404, 4,, 1403, 1, 4,,,,,,,,,,,,,,,,,,,,,,,,, 332, 324, 147, 95, 4, 631, 264,,, 1, 403, 404, 1403, 1404, 4,, 1403, 1, 4,,,,,,,, 211,, 4, 594,, 888, 5446, 5750, 147, 4, 3034, 3737, 5367,, 1, 211, 594, 4, 888,, 1, 249, 888, 4, 594,, 1,,,,,,,,, 5446, 5750, 147, 4, 3034, 3737, 5367,, 1, 211, 594, 4, 888,, 1, 249, 888, 4, 594,, 1,,,,,,,,, 2274, 2302, 147, 4, 5367, 3737, 3034,, 249, 1, 4, 888,, 594, 1, 4,,,,,,,, 2274, 2302, 147, 4, 5367, 3737, 3034,, 1, 4,,,,,,,,,,,,,,,,, 332, 324, 147, 95, 4, 631, 264,,, 1, 4,, 404, 403, 1404, 1403, 4,, 1404, 1, 4,,,,,,, 332, 324, 147, 95, 4, 631, 264,,, 1, 404, 403, 1404, 1403, 4,, 1404, 1, 404, 403, 1, 4, 1404, 1403,, 332, 324, 147, 95, 4, 631, 264,,, 1, 4,,,, 332, 324, 147, 95, 4, 631, 264,,, 403, 404, 1, 4, 1403, 1404,, 1, 211, 2302, 1, 403, 324, 1, 2302, 211, 324, 403, 332, 404, 1, 2274, 211, 1, 332, 404, 2274, 211, 1,,,,, ,,,, 147,,,,,,,, 2274, 211, 1, 332, 404, 1, 2274, 211, 332, 404, 403, 324, 1, 211, 2302, 1, 324, 403, 2302, 211, 1, 95,,,,,,,, 147,,,,,,,, 95,,,,,,,, 324,,,,,,,, 332,,,,,,,, 404,,,,,, 403,,,,,, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 211,, 888, 594, 4, 249, 1, 4, 888, 594, 1, 211, 594, 888, 4, 1, 249, 4, 594, 888, 1, 4,,,,,,,,,,,, 211,, 888, 594, 4, 249, 1, 4, 888, 594, 1, 211, 594, 888, 4, 1, 249, 4, 594, 888, 1, 4,,,,, ,,,,,,, 211,, 888, 594, 4, 249, 1, 4, 888, 594, 1, 211, 594, 888, 4, 1, 249, 4, 594, 888, 1, 4,,,,,,,,,,,, 211,, 888, 594, 4, 249, 1, 4, 888, 594, 1, 211, 594, 888, 4, 1, 249, 4, 594, 888, 1, 4,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 211,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 95,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 403,,,,,,,,,,,,,,,, 249,,,,,,,,,,,,,, 403,,,, 249,,,,,,,,,,,,,, 403,,,, 249,,,,,,,,,,,,,, 403,,,, 249,,,,,,,,,,,, ,, 403,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,, 404,,,,,,,,,,,, 249,,,,,,,,,,,,,, 404,,,, 249,,,,,,,,,, ,,,, 404,,,, 249,,,,,,,,,,,,,, 404,,,, 249,,,,,,,,,,,,,, 404,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 247, 206, 1, 247, 206, 4, 758,,,,, 1, 4,,,,, 247, 206, 1, 247, 206, 4, 758,,,,, 1, 4,,, 247, 206, 1, 247, 206, 4, 758,,,,, 1, 4, 247, 206, 1, 247, 206, 4, 758,,,,, 1, 247,,,,,,,,,,,,,, 206,,,,,,,,,,, 247, 1,,,,,,,,,,,,, 206,,,,,,, ,,,,, 4,,,, 307, 399, 1,, 4, 843,,,, 1,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,, 1582, 1850, 4,,,, 1, 4,, 307, 399, 1,, 4, 843,,,, 1,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 307, 399, 1,, 4, 843,,,, 1,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 307, 399, 1,, 4, 843,,,, 1 ], nrs := [ 77, 2, 4, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2, 5, 2, 929, 2, 4, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2, 5, 2, 388, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 10, 4, 2, 4, 6,,, 2, 2, 2, 2, 2,,, 4, 4, 2, 4, 74, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 10, 4, 2, 4, 6,,, 2, 2, 2, 2, 2,,, 68, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 266, 4, 2, 4, 6,,, 2, 2, 2, 2, 2,,, 68, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 262,,, 2, 2, 2, 2, 2,,, 577, 2, 4, 2, 2, 2, 4, 2, 33, 2, 5, 2, 2, 2, 5, 2, 673, 2, 4, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2, 5, 2, 704, 2, 5, 2, 2, 2, 5, 2,, 2, 4, 2, 2, 2, 4, 2, 514, 2, 4, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2, 5, 2, 33, 2, 4, 2, 2, 2, 4, 2, 33, 2, 5, 2, 2, 2, 5, 2, 385, 2, 4, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2, 5, 2, 577, 2, 4, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2, 5, 2, 256, 2, 5, 2, 2, 2, 5, 2,, 2, 4, 2, 2, 2, 4, 2, 130, 2, 4, 2, 2, 2, 4, 2, 65, 2, 5, 2, 2, 2, 5, 2, 129, 2, 4, 2, 2, 2, 4, 2,, 2, 5, 2, 2, 2, 5, 2, 132, 4, 2, 4, 10, 4, 2, 4, 10, 4, 2, 4, 6,,, 2, 2, 2, 2, 2,,, 4, 4, 2, 4, 10, 4, 2, 4, 6,,, 2, 2, 2, 2, 2,, 2,, 2, 2, 2, 2, 2,,, 4, 4, 2, 4, 6,,, 2, 2, 2, 2, 2,,, 16384, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 8, 8, 8, 8, 8, 8, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 8, 8, 8, 8, 8, 8, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 8, 8, 8, 8, 8, 8, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 128, 2,,,,, , 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 128, 8, 8, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 128, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 8, 8, 128, 2,,,,,, 2,, 2, 8, 8, 8, 8, 8, 8, 128, 2,,,,,, 2,, 2, 8, 8, 8, 8, 128, 8, 8, 2,,,,,, 2,, 2, 128, 2,,,,,, 2,, 2, 133, 2,, 2, 5, 2,, 2, 4, 2,, 2, 6, 2,, 2, 197, 2,, 2,, 2, 5, 2, 4, 2,, 2, 2, 2, 5, 2, 196, 2,, 2, 6, 2,, 2, 5, 2,, 2, 5, 2,, 2, 132, 2,, 2, 2, 2, 5, 2, 5, 2,, 2,, 2, 5, 2, 133, 2,, 2,, 2, 5, 2, 4, 2, , 2, 2, 2, 5, 2, 69, 2,, 2, 5, 2,, 2, 4, 2,, 2, 6, 2,, 2, 68, 2,, 2, 2, 2, 5, 2, 5, 2,, 2,, 2, 5, 2, 4, 2,, 2, 6, 2,, 2, 5, 2,, 2, 5, 2,, 2, 4, 8,,,, , 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 129,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 129,,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 129,,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 129,,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 129,,, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8,,,,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 129,, ,, 2, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8,,,,, 2, 2,, 132, 8, 4, 8,,,,, 2, 2,, 128,,,, 2, 2, 2, 4, 8, 128,,,, 2, 2, 2, 417, 2, 4, 2, 6, 4, 2, 2, 4, 2, 5, 2, 2, 2, 288, 2, 6, 2, 5, 4,, 2, 6, 2, 4, 2, 2, 2, 133, 4,, 2, 6, 2, 5, 4, 2, 2, 4, 2, 165, 2, 2, 4, 6, 2, 4, 2, 2, 2,, 2, 4, 2, 37, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4228, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4228, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16,,,,, 5, 2,, 2, 4, 16, 4, 16,,,,, 2, 4, 2,, 4, 16, 4, 16, 4, 16, 4, 16, 132, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16,,,,, 5, 2,, 2,,,,, 2, 4, 2,, 4, 16, 4, 16, 4, 16, 4, 16, 128,,,, 2,, 2,,, 2,, 6, 4,, 2, 4, 6,, 2, 4, 4, 2, 4, 16, 4, 16, 4, 16, 4, 16, 64,,, , 2,, 2,,,, 2, 4, 6,, 2, 4, 4, 2, 4, 16, 4, 16, 4, 16, 4, 16, 64, 2,, 2, 4, 4,,,, 2,,,, 2, 4, 16, 4, 16, 4, 16, 4, 16, 64,,,, 2,,,, 2, 4, 16, 4, 16, 4, 16, 4, 16, 68, 16, 4, 16, 4, 16, 4, 16,,,,, 5, 2,, 2, 4, 16,,,, 2, 6, 2, 4, 16, 132, 16, 4, 16, 4, 16, 4, 16,,,,, 5, 2,, 2,,,, 2, 6, 2, 128,,, ,, 5, 2,, 2,,,, 4, 2, 2, 2, 4, 16, 4, 16, 128,,,, 5, 4,,,,,, 5, 2,, 2, 128, , 2, 2,,, 2,, 2,,,,, 2, 2,, 2,,,, 2, 2, 4, 4, 4, 12, 4, 4, 4, 71, 2,, 2, 5, 2,, 2, 96, 2,, 2,,, 2,, 2,,,,, 2,, 2, 2,,,, 2, 68, 2,, 2, 6, 2,, 2, 69, 2,, 2, 5, 2,, 2, 4, 2,, 2, 6, 2,, 2, 33, 2, 5, 2, 5, 2,, 2, 2, 5, 2, 6, 2, , 2, 5, 4,, 2, 6, 2, 5, 4, 2, 2, 4, 2, 5, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,, 2,,,,,,,,,, 2,,, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,, 2,,,,,,,,,, 2,,, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2,,, 2,, 2,,,,,,,,,, 2, 2,, 2,,, 2, 2,, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 64,,,,,,,,,, 2, 2,, 2,,, 2, 2,, 2,, 4, 8, 4, 8, 4, 8, 4, 8, 64,,,,,,,,, 2,,, 2,, 2, 4, 8, 4, 8, 4, 8, 4, 8, 64,,,,,,,,, 4, 8, 4, 8, 4, 8, 4, 8, 68, 8, 4, 8, 4, 8, 4, 8, 4, 8,,,,, 2,,,,, 4, 8,,,,,, 2,,, 132, 8, 4, 8, 4, 8, 4, 8,,,,, 2,,,,,,,,,, 2,,, 128,,,, 2,, 2,,,,,, 2,,,,, 4, 8, 4, 8, 128,,,,, 2,,,,,,,, 2,, 2,, 128,, 2, 2,,, 2, 2,,,,,, 2, 2,, 2,,, 2,, 2, 4, 4, 4, 12, 4, 4, 4, 70, 2,, 2, 6, 2,, 2, 96, 2,, 2,,, 2, 2,,,,,, 2,, 2, 2,,, 2,, 69, 2,, 2, 5, 2,, 2, 68, 2,, 2, 6, 2,, 2, 5, 2,, 2, 5, 2,, 2, 33, 2, 5, 2, 4, 2,, 2,, 2, 5, 2, 5, 2,, 2, 6, 4, 2, 2, 4, 2, 6, 4,, 2, 6, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 2,, 2, 2, 2, 2,, 2, 2, 2, , 2, 2, 2, 2,, 2, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 64, 2,, 2, 2, 2, 2,, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 64, 2,, 2, 2, 2, 2,, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 64, 2,, 2, 2, 2, 2,, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 68, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 132, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 128, 4, 8, 4, 8, 4, 8, 4, 2, 4, 4, 4, 12, 4, 4, 4, 450, 4, 8, 4, 8, 4, 8, 4, 2, 4, 4, 4, 12, 4, 4, 4, 1991, 2,, 2, 5, 2,, 2, 997, 2,, 2, 5, 2,, 2, 997, 2,, 2, 5, 2,, 2, 901, 2,, 2, 5, 2,, 2, 1029, 2,, 2, 5, 2,, 2, 869, 2,, 2, 5, 2,, 2, 869, 2,, 2, 5, 2,, 2, 773, 2,, 2, 5, 2,, 2, 645, 2,, 2, 5, 2,, 2, 741, 2,, 2, 5, 2,, 2, 741, 2,, 2, 5, 2,, 2, 645, 2,, 2, 5, 2,, 2, 645, 2,, 2, 5, 2,, 2, 613, 2,, 2, 5, 2,, 2, 613, 2,, 2, 5, 2,, 2, 517, 2,, 2, 5, 2,, 2, 5, 2,, 2, 5, 2,, 2, 485, 2,, 2, 5, 2,, 2, 485, 2,, 2, 5, 2,, 2, 389, 2, , 2, 5, 2,, 2, 517, 2,, 2, 5, 2,, 2, 357, 2,, 2, 5, 2,, 2, 357, 2,, 2, 5, 2,, 2, 261, 2,, 2, 5, 2,, 2, 133, 2,, 2, 5, 2,, 2, 229, 2,, 2, 5, 2,, 2, 229, 2,, 2, 5, 2,, 2, 133, 2,, 2, 5, 2,, 2, 133, 2,, 2, 5, 2,, 2, 101, 2,, 2, 5, 2,, 2, 101, 2,, 2, 5, 2,, 2, 5, 2,, 2, 5, 2,, 2, 724, 2, 2, 2,, 2, 4, 2, 917, 2, 2, 2,, 2, 4, 2, 261, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 322, 2, 6, 2, 52, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 322, 2, 6, 2, 36, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 339, 2, 4, 2, 5, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 323, 2, 4, 2, 566, 4,, 2, 6, 2, 693, 4,, 2, 6, 2, 657, 2, 4, 2, 5, 2, 2, 2, 576, 2, 6, 2, 5, 4, 418, 2, 4, 2, 5, 2, 2, 2, 448, 2, 6, 2, 5, 4, 198, 4,, 2, 6, 2, 309, 4,, 2, 6, 2, 192, 2, 6, 2, 112, 2, 6, 2, 113, 2, 4, 2, 66, 2, 4, 2, 85, 2, 2, 2,, 2, 4, 2, 21, 2, 2, 2,, 2, 4, 2, 678, 4, 2, 2, 4, 2, 950, 4, 2, 2, 4, 2, 277, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 355, 2, 4, 2, 21, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 355, 2, 4, 2, 5, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 338, 2, 6, 2, 4, 4, 4, 4, 4, 4, 12, 4, 6, 8, 8, 4, 8, 4, 322, 2, 6, 2, 516, 2, 2, 4, 6, 2, 724, 2, 2, 4, 6, 2, 736, 2, 6, 2, 4, 2, 2, 2, 513, 2, 4, 2, 6, 4, 466, 2, 4, 2, 6, 4, 417, 2, 6, 2, 4, 2, 2, 2, 165, 4, 2, 2, 4, 2, 310, 4, 2, 2, 4, 2, 257, 2, 6, 2, 96, 2, 6, 2, 65, 2, 4, 2, 82, 2, 4, 2, 5, 2, 2, 4, 6, 2, 84, 2, 2, 4, 6, 2, 16,,, 2,,, 2,, 3, 2,,, 8, 16, 8, 16, 8, 16,,, 2,,, 2,, 3, 2,,, 8, 16, 8, 16,,, 2,,, 2,, 3, 2,,, 8, 16,,, 2,,, 2,, 3, 2,, , 64,, 3,, 2,,,, 2,, 3, 2,,,,, 2,, 3, 2, 2,, 3, 2,,,, 3,, 2,,,, 2,, 3, 2,,, ,, 2,, 3, 2, 2,, 3, 2,,, 8, 16, 8, 16,, 2,,,,, 3,,, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 2, 2,, 3,,, 2, 8, 16, 257, 2,,,,, 3,,, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16,, 2,,,,, 3,,, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 16, 8, 16, 8, 16, 8, 16, 8, 16,, 2,,,,, 3,,, 4, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 8, 16, 264, 8 ] );