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.aci GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 87 ] := rec( ops := [ 2, 1335,, 1251,,,, 1335,, 8044,, 395,,,, 305,,,, 1335,, 1251,,,, 1335,, 395,, 752,, 395,, 752,, 305,, 376,, 305,, 376,, 1587,, 848,, 1335,, 1251,, 305,, 395,, 376,, 752,, 848,, 1587,, 1251,, 1335,, 305,, 395,, 376,, 752,, 1587,, 1335,, 848,, 1251,, 848,, 1251,, 1587,, 1335,,,, 1587,, 1251,, 848, , 1251,, 848,, 1335,, 1587,, 395,, 752,, 395,, 752,, 305,, 376,, 305,, 376, , 1335,, 1251,, 1587,, 848,, 305,, 395,, 376,, 752,, 1251,, 1335,, 848,, 1587,, 305,, 395,, 376,, 752,, 395,,,, 305,,,, 1251, 1335, 2,, 1251, 8044, 2, 395,,,, 305,,,, 1251, 1335, 2,, 1251, 2, 395,, 752,, 395,, 752,, 305,, 376,, 305,, 376,, 848, 1587, 2, 1251, 1335, 2, 305, 395, 2, 376, 752, 2, 305, 395, 2, 376, 752, 2, 1587, 848, 1335, 1251, 2, 848,, 1251,, 1587,, 1335,, 1587,, 1335,, 848,, 1251,,,, 848,, 1335,, 1587,, 1335,, 1587,, 1251, , 848,, 395,, 752,, 395,, 752,, 305,, 376,, 305,, 376,, 1251, 1335, 2, 848, 1587, 2, 305, 395, 2, 376, 752, 2, 305, 395, 2, 376, 752, 2, 1335, 1251, 1587, 848, 2, 665,,,,,,,, 698,,,,,,,,,, 241,,,,, 3167, 2, 241,,,, 2067, 241, 2,,,, 1670, 2, 698, 665, 241, 1670, 2, 241, 1670, 698, 665, 241, 3167,, 2,,,,, 5452, 241, 1670,,, 2, 665, 698, 1670, 241,, 2,, 241,, 665, 698, 2, 1587,, 1335,, 848,, 1251, 395, 2, 752,, 305,, 376,, 241, 4806, , 3167, 2067, 241, 3457,, 3167,, 4806, 2067, 241, 3457,, 2,,,,,,,,,,,,, 2067, 241, 2,,,,,, 3167, 2, 241,,,,,,,,,,,,,,,, 2067,, 241,,,, 5452, 3167, 2, 241,,,, 848,, 1251,, 1587,, 1335,, 395,, 752,, 305,, 376,, 241, 4806,, 3167,, 2067,, 3457,, 2067,, 3457,, 4806,, 3167, 395, 2, 752,, 305,, 376,, 241, 3167,, 4806,, 2067,, 3457,, 2067,, 3457,, 3167,, 4806, 2, 1251,, 848, , 1335,, 1587,, 665,,,,,,,, 698,,,,,,,,,, 2067,, 241,,,,,,,, 5452,, 698, 665, 241, 1670, 2, 241, 1670, 698, 665, 2, 241,,,, 665, 698, 1670, 241,, 2, , 241,, 665, 698, 2, 848, 1251, 1587, 1335, 305, 376, 2, 395, 752, 2, 2067, 3457,,, 241, 2067, 3457,,, 241, 5, 1077,,,,,,, 1333, 5, 1077, 502, 5690, 5, 1077,,,,,,,, 552,,,, 502,,,, 1449,, 1333,,,, 1449,, 1077,,,,,,,,,, ,,,,,,,,,, 1333, 1449, 5, 502, 552, 5, 1333,, 1221,,,,,,, 5431, 5, 1221,,,, ,, 552,,,, 502,,,, 1333,, 1449,,,, 1333,, 1221,,,,,,,,,,,,,,,,,,,, 1449, 1333, 5, 502, 552, 5,,,,, 502,,,, 1449,, 1333,,,, 1449,, 4655,, 1449,, 1333,,,, 1449,, 552,,,, 502,,,, 1449,, 1333,, 502,, 552, 1333, 5, 1449,, 502,, 552,,,,,, 502,,,, 1333, 1449, 5,, 1333, 4655, 5, 1333,, 1449,,,, 1333,, 552,,,, 502,,,, 1333, 1449, 5, 502, 552, 5, 502, 552, 1449, 1333, 5, 1449,, 1333,,,, 1449,, 502, 552, 5, 502, 552, 5, 1333,, 1449,, 502, 552, 5, 1449,, 1333,, 4655,, 502, 552, 5,,,,, 502,,,, 1449,, 1333,,,, 1449, , 1333,, 1449,,,, 1333,, 552, 502, 5, 552, 502, 5, 552, 502, 1333, 1449, 4655, 5, 552, 502, 5, 1449, 1333, 5, 502,,,, 552,,,, 1333,, 1449,,,, 1333, , 1077,, 1221,, 1449,, 1333,, 742, 3316, 3299, 742, 2313,,,, 3316,, 3779,, 2313,,, 5, 1333,, 1449,, 742, 3316,, 3299,,,, 3316, 552, 5, 502,, 742, 3299,, 3779, 3316, 742, 5, 1077,, 1221, 1333, 1449, 5, 3299, 742, 3779,, 2313,,,,, 5, 1077,, 1221, 552, 5, 502,, 742, 2313,, 3316, 3779, 742, 2313, 5, 552,, 502,, 742, 3299, 3779, 3316, 1333, 5, 1449,, 1077,, 1221, 502, 552, 3779, 5, 1077, 1333, 5, 1077, 502, 5690, 1333, 5431, 2, 596,,,,,,,,,,, ,,,,,,,,, 743,,,,,,,, 4739,, 743,,,, 882,,,,,,,,,, 743,,,, 848,, 743,, 848, , 743,, 848,, 743,, 848,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848, , 596,,,,,,,,,,,,,,,,,,,, 743,,,,,,,, 4739,, 743,,,, 882,,,,,,,,,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 596,,,,,,,,,,,,,,,,,,,, 743,,,,,,,, 4739,, 743,,,, 882,,, ,,,,,,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 596,,,,,,,,,,,,,,,,,,,, 743,,,,,,,, 4739,, 743,,,, 882,,,,,,,,,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 743,,,,,, 882,,,,,, ,,,, 743,,,, 4739,, 596,,,,,,,,,,,,,, 743,,,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,, 305,,, , 743,, 305,, 743,, 305,,, 743, 2, 305,, 882,,,,,,,,,, 743, 305, 2, 596, 5906, 2, 596,,,,,,,,,, 305,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,, 743,, 305,,,,,, 743,, 305,, 882,,,,,,,,,, 596, 5906, 2, 596,,,,,,,,,, 305,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,, 743,, 596,,,,,,,,,,,,,,,, 4739,, 743,,,, 882,,,,,,,,, , 743,,,, 848,, 743,, 848,, 743,, 848,, 743,, 848,,,, 743,, 848,, 743,, 848,, 743,, 848,, 743,, 596, 5906,, 2,,,,,,,,,, 305, 2, 882,,,,,,,,, 305, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 5906, 596, 2,,,,,,,,,,, 882,,,,,,,,,, 305,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,, 5, 1134,,,, 3128,, 1134,,,,,,,, 926,,,,,,,,,, 1134,,,,,,, , 3128,, 1134,,,,,,,, 926,,,,,,,,,, 1134,,,,,,,, 3128,, 1134,,,,,,,, 926,,, ,,,,,,, 1134,,,,,,,, 3128,, 1134,,,,,,,, 926,,,,,,,,,, 1134,,,, 3128,, 1134,,,, 926,,,,,,,, 1134,,,,,,,,,,,,, 502, 5, 926,,, 3965, 5, 926,,,, 502, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 926, 5,, 3965, 5, 926,,,, 502,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 1134,,,, 926,,,,,,,, 1134,,,, 3128,, 1134,,, , 502,,,,,,,,,, 1134,, 502,,,,, 1134, 5, 502,,,,,,,, 926,,, 3965, 5, 502,,, ,,,,,,,,,,,,,,,, 1134, 5, 502, 1134, 5, 502,,,,,,,,, 926, 5,, 3965, 5, 502, ,,,,, 3128,, 1134,,,, 926,,,,,, 1134,,,,, 502, 5, 926,,,, 3965,, 502,,,,,,, ,,,,,,,,,,,,,, 926, 5,,, 3965,, 502,,,,,,,,,,,,,,,,,,,,,, 926,, 1134,,,, 3128,, 502,,,,,,, 926, 3965, 502, 5,,,,,,,,,,,,,, 3965, 5, 502,,,,,, 3128,, ,,,,,, 2, 624,,,,,,,,,,,,,,,, 4690,, 395,,,,,,,,,,,,,,,, 876,,,,,,,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 624,,,,,,,,,,,,,,,, 4690,, 395,,,,,,,,,,,,,,,, 876,,,,,,, , 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 624,,,,,,,,,,,,,,,, 4690,, 395,,,,,,,,,,,,,,,, 876, ,,,,,,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 624,,,,,,,,,,,,,,,, 4690,, 395,,,,,,,,,,,,,,, , 876,,,,,,,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,,,, 876,,,,,,,, 395,,,,,,,, 624,,,, ,,,,,,,,,, 4690,, 395,,,,,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395, , 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 538,, 395,, 538,,,,,, 395,, 876,,,,,,, 395, 2, 538,, 395,, 538,, 395,, 538,,,,,, 5768, 624, 2,,,, ,,,, 538, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,, 395,, 538,, 395, 538, 2, 395,, 876,,,,,,,, 538,,,, 395,, 538,, 395, 538, 2, 5768,, 624,,,,,,,, 538,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,, 624, 5768, 2, 624,,,,,,,,,, 538,,,,,, 876,,,,,,,, 538,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 395,, 624,,,,,,,,,,, 4690, 2, 395,, 876,,,,,,,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 395,, 752,, 5768, 624, 2,,,,,,,,, 876,,,,,,,, 538,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,, 5, 716,,,,,,,,,,,,,,,,,,,, 552,, 716,, 552,, 716,, 552,, 716,, 552,, 716,,,,,,,,,, 552,, 716,, 552,, 716,, 3903, 924, 5, 716,,,,,,,, ,,,,,,,,,,,, 552,,,,,,,,,,,,,, 924,,,,,,, 3106, 5, 716,,,,,,,,,,,,,,,, 552, , 716,, 552,, 716,,,,,,,,,, 552,, 716, 552, 5, 716, 552, 5, 716,, 552,, 716,,,,,, 3903,, 716,,,,,,,,,,,,,, 924,,,,,, 3106,, 552,,,,,,,,,,,, 924,,,, ,, 3106,, 552,,,,,,,,,,,, 924,,,,,, 3106,, 552,,,,,,,,,,,, 924,,,,,, 3106, , 552,,,,,,,,,,,, 924,,,,, 3106, 5, 552,,,,,,,,,,,, 924, 3903, 5, 924,,, 716, 5,,,,,,,,,,,,,,,,,,,,,,,,,,,, 3903, 5, 924,,,, 716,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,, 552,,,, 3106,, 924,,,, 552,,,,,,,, 3106,, 924,,,, 552,,,,,,,, 3106,, 924,,,, 552,,,,,,,, 3106,, 924,,, 552, 5,,, 924,,, 3106, 5, 552,,,,, ,,, 924, 3903, 5, 924, 716, 5,,,,,, 3903, 5, 924, 716, 5,,,,,,, 3903, 924, 5, 716,,, 552, 5, 924, 3106, 3903, 7244, 2, 1431,, 181,, 1431,,,,,,,,, 8833, 2, 181,, 1895,,,,,,, 191, 2826, 385, 2, 326,, 291, 5168, 2, 291,,,,, , 385, 1143, 2, 14045,, 4885,,,,,, 7067, 328, 2,,,,, 1522, 326, 2, 7281,, 2350,,,,,, 283,, 2826,, 283,, 586,, 283,, 586,, 283, 2826, 2, 191,, 1143,, 181,, 385,, 191, 1143, 2, 181, 385, 2, 191,, 1143,, 191, 1143, 2, 1522, 283, 2, 1522, 283, 2, 1522, 283, 2, 385,, 181,, 1522, 283, 2, 385, 181, 2, 191, 1522, 2, 515, 326, 2, 191, 1522, 2, 191, 1522, 2, 326, 515, 2, 191, 1522, 2, 283, 1143, 2, 283, 1143, 2, 515,, 326,, 283, 1143, 2, 283, 1143, 2, 326, 515, 2, 191,, 283,, 586, 2826, 2, 191,, 283,, 191, 283, 2, 191, 283, 2, 2826, 586, 2, 1522,, 1143,, 1522,, 1143,, 2826, 586, 2, 1522, 1143, 2, 586, 2826, 1522, 1143, 2, 1431, 11002, 2, 291,,, 515, 8833, 2, 1895,,, 1143, 2, 191,, 385,, 181,, 1143, 191, 385, 181, 2, 1143,, 191,, 1143, 191, 2, 283, 1522, 2, 283, 1522, 2, 283, 1522, 2, 181,, 385,, 283, 1522, 181, 385, 2, 191,, 181,, 586,, 326,, 191,, 181,, 2826,, 515,, 5168, 291, 2,,, 1143, 385, 2, 1522,, 515,, 1522,, 326,, 283,, 2826,, 283,, 586,, 191,, 1522,, 515,, 326,, 191,, 1522,, 283, 328, 2,,,,,, 283, 515, 1143, 326, 2, 216,,,,,,,, 5919, 216, 3213,,,,, 2, 1431, 1895,,, 5917, 216, 3212,, ,,, 2, 3140, 216, 3148,, 2, 3140, 216, 3147,, 2,, 3149,, 3148,, 2,, 3149,, 3147,, 2,, 3149,, 3147, 2, 216, 3149,, 3148, 2, 216,,,,,,,, 191,, 181,, 586,, 326,, 191, 181, 2, 2826,, 515, 5168, 2, 291,, 1522,, 515,, 1522,, 326,, 283,, 2826,, 283,, 586,, 191, 1522, 2, 326, 515, 2, 191, 1522, 2, 283,, 2350,,,,,,, 216, 2,,,,,,, 5917, 216, 3212, 2, 5919, 216, 3213, 1895, 1431,,, 216, 3149,, 3148, 2, 216, 3149,, 3147, 2, 3149, 216, 3147, 2, 3149, 216, 3148, 2, 216,,,,,,,, 291, 5168, 2, 385, 1143, 2, 1522,, 515,, 1522,, 326,, 283,, 2826,, 283,, 586,, 1612, 7067, 2, 328,,,, 191, 1522, 2, 283,, 1143,, 283,, 1143,, 326,, 515,, 216, 3140,, 3147,, 2,, 3140,, 3148,, 2,, 3140,, 3148,, 2,, 3140,, 3147,, 2, 3213, 216, 5921, 3213, 216,, 1431, 1895, 2, 3212, 216, 5918, 3212, 216,, 2, 3147, 216, 3149,, 2, 3148, 216, 3149,, 2,,,,,,,,, 5168,, 1522,, 515,, 1522,, 326,, 283,, 2826,, 283, 586, 2, 9552, 7281, 2350, 2,,,, 283, 1143, 2, 283, 1143, 2, 515, 326, 2, 3140, 216, 3147,, 2, 3140, 216, 3148,, 2, 3140, 3148, 216, 2, 3140, 3147, 216, 2, 5918, 216, 3212, 2, 5921, 216, 3213, 1895, 1431, 216, 2,,,,,,, 5165, 291, 2,,, 586,, 191, 181, 2, 2826,, 515,, 1143,, 385,, 1143,, 385,, 1143, 328, 2,, 1143, 326, 283, 515, 2, 216,,,,,,,, 5921, 216, 3213, 1431, 5918, 216, 3212, 3149, 216, 3147, 3149, 216, 3148, 2, 5165,, 291, 586, 2, 1143,, 385,, 1143, 385, 2, 1143, 2350, 216, 5918, 5921, 2, 291, 5165, 2, 586,, 181, 191, 2, 2826, 515, 2, 7067, 1612, 2, 328,, 1522, 191, 2, 3213, 216, 5919, 1895, 3212, 216, 5917, 3148, 216, 3140, 3147, 216, 3140, 2, 5165, 586, 7281, 9552, 2350, 5917, 5919, 2, 181, 287, 2, 181,, 287,,,, 181,, 287, 181, 2,,,,, 287,,,,,,,, 181,,,,, 287, 2, 181, 287, 2,, 181, 2, 287, 181, 2,,,,, 287,,,,,,,, 181,,,,,, 287,, 181, 287, 2,, 181, 2, 287,, 181,,,, ,, 287,,,,,,,, 181,,,,, 287, 2, 181, 287, 2,, 181, 2, 287, 181, 2,,,,, 287, ,,,,,,, 181,,,, 287,, 181,, 287,, 181,,,, 287,, 181,, 287,, 181,,,, 287,,,, ,,,, 181,,,, 287, 181, 2, 287, 181, 2,, 287, 2, 181, 287, 2, 181,,,, 287,,, ,,,,, 181,,,, 287,, 181,, 287,, 181,,,, 287,, 181,, 287,, 181,,,, 287,,,,,, ,, 181,,,, 287, 181, 2, 287, 181, 2,, 287, 2, 181, 287, 2, 181,,,, 287,,,,, ,,, 181,,,,,, 287,, 181,, 287,,,, 181,, 287,, 181,,,,,, 287,,,,,,,, 181,,,, , 287, 2, 181, 287, 2,, 181, 2, 287, 181, 2,,,,, 287,,,,,,,, 181,,,,,, 287, , 181,, 287,,,, 181,, 287,, 181 ], nrs := [ 59,, 2,, 42,, 2,,,, 775,, 42,, 41,, 43,, 83,, 2,, 37,, 2,, 78,, 19,, 26,, 18,, 25,, 19,, 27,, 18,, 93,, 2,, 4,, 2,, 9,,,, 17,,,, 4,, 2,, 2,, 2,, 7,,, , 13,,,, 225,, 15,, 25,, 15,, 20,, 14,, 23,, 14,, 182,, 13,, 23,, 13,, 18, , 12,, 21,, 12,, 6,, 15,, 18,, 14,, 17,, 15,, 19,, 14,, 85,, 2,, 4,, 2,, 9, ,,, 17,,,, 4,, 2,, 2,, 2,, 7,,,, 13,,,, 17,, 40,, 40,, 41,, 43,,, 108,,,, 633,, 32,, 32,, 33,, 32,,, 98,,, 33,, 13,, 16,, 12,, 16,, 13,, 17,, 12,, 36,,, 2,,, 30,,, 8,,, 8,,, 12,,, 4,,,,, 140,, 11,, 12,, 11,, 10,, 10,, 10, , 10,, 106,, 9,, 10,, 9,, 8,, 8,, 8,, 8,,,, 9,, 8,, 8,, 8,, 9,, 9,, 8,, 28, ,, 2,,, 30,,, 8,,, 8,,, 12,,, 4,,,,, 5, 2, 9, 2,, 2,, 2,, 2, 8,,, 2,,,, 2, 128, 4, 4, 4, 2, 6,, 4, 4, 2, 4, 6,, 3, 4, 4, 2,, 4, 2,,,, 2, 2,, 2,,, 2,, 2, 4, 4, 2, 4, 6,,,,,, 2,,,,,, 2,,,,,, 56,, 3,, 10,, 3,,, 3,, 11,, 3,, 11, 17,, 3,,, 3,, 20,, 3,,, 3,, 3, 204, 4, 4, 4, 2, 4, 6, 3, 4, 4, 2, 4, 6,, 2, 4, 4, 2, 4, 6, 2,, 4, 4, 2, 4, 70, 3, 4, 4, 2, 4, 6,, 4, 4, 2, 4, 6,, 4, 4, 2, 4, 6,,, 4, 4, 2, 4, 160,, 2,, 5,, 2,,,, 2,, 8,, 2,, 8, 6,, 2,, 10, ,,, 3,, 2,, 3,,,,,,, 3,,,, 3, 6,, 2,, 10,,,, 3,, 2,, 3,,,, 18,,,, 3,,,, 2, 2, 9, 2,, 2,, 2,, 2, 8,,, 2,,,, 2, 128,, 4, 4, 6, 4, 2, 4, 10, 4, 2,, 2,,, , 2, 2,, 2,,, 4, 4, 2, 4, 8,,,,,, 2,,,,,, 36,,,,,,, 2,,, 2,,,,, 2,,,,, 2,, 2, 9, 2,, 2,, 2,, 29,,,, 8,,, 2,, 2,,, 2,, 30,, 30,, 31,, 37,, 31,, 33,, 30,, 79, 2,, 2, 5, 2,, 2, 30,,, 2,,, 4,,, 2,,, 38,,, 7,,, 13,, 36,,, 2,,,, 2,, 9, 2,, 3,,,,, 26,, 26,, 27,, 33,, 27,, 26,, 26,, 68,,,,, 2, 5, 3,,, 25, 3,,, 4,,,,, 2, 22,,, 16,,, 15,, 26,, 25,, 27,, 57,, 2,, 18,, 2,,,, 137, , 21,, 16,, 19,, 172,, 16,, 15,, 17,, 41,, 2,, 15,,,,, 2,, 15,,,, 15,, 19, , 19,, 20,, 27,,, 51,,,, 80,, 12,, 10,, 10,, 147,, 8,, 8,, 9,, 10,,, 24,,, 8,,,,, 13,, 12,, 17,, 12,, 76,,, 6,,, 60,,,, 7,,, 3,,,, 2,, 4,,, 10,, 14,, 12,, 15,, 11,, 4,, 9,, 4,, 30,, 9,, 7,, 7,, 31,,, 4,,, 50,,,,,, 4,,, 13,,, 5,, 8,, 8,, 9,, 4,, 4,, 2,, 2,, 19, 2,, 2, 2,, 4,, 8, 10,,, 4, 2,, 2, 2,, 4,,, 2,,, 8,, 3,, 9, 3,, 6,, 2,, 3,,,,,, 11,, 4,,, 4, 9, 2,, 2,,, 8, 2,,,, 2, 4,,,,, 2,, 2,, 3,, 3,, 2, 2,,,,, 8,, 2,, 2, 3,,,,,,, 2, 2,, 2,,,,, 2,,,, ,,,, 193, 2, 8,,, 2,,,, 2, 4,,,,, 2, 5, 3,,, 21,, 191,, 310,, 188,, 43,, 225,, 182,, 252,,,,, 2, 5, 3,,, 12,, 182,, 148,, 7,, 56,, 7,, 413,, 21,, 42,, 21,, 406,, 21,, 42,, 21,, 405,, 7,, 56,, 7,, 372, 2, 6,,, 2,,,, 2, 4,, ,,, 2, 5, 3,,, 139,, 59,, 351,, 58,, 158,, 154,, 56,, 179,,,,, 2, 5, 3,,, 124,, 56,, 141,, 6,, 162,, 6,, 278,, 18,, 150,, 18,, 272,, 18,, 150,, 18,, 270,, 6,, 162,, 6,, 293, 2, 4,,, 2,,,, 2, 4,,,,, 2, 5, 3,,, 72,, 56,, 272, , 55,, 148,, 91,, 53,, 165,,,,, 2, 5, 3,,, 62,, 53,, 131,, 5,, 154,, 5,, 257,, 15,, 144,, 15,, 252,, 15,, 144,, 15,, 249,, 5,, 154,, 5,, 218, 2, 2,, , 2,,,, 2, 4,,,,, 2, 5, 3,,, 14,, 154,, 101,, 151,, 40,, 37,, 145,, 56,,,, , 2, 5, 3,,, 8,, 145,, 126,, 4,, 44,, 4,, 338,, 12,, 36,, 12,, 334,, 12,, 36,, 12,, 330,, 4,, 44,, 4,, 261,, 143,, 42,, 91,,,,, 2, 5, 3,,, 9,, 42,, 45,, 34, 6,, 2, 4,,,,, 2, 5, 3,,, 5,, 40,, 133,, 121,, 10,, 36,, 10,, 310, , 2,, 44,, 2,, 314,, 2,, 44,, 2,, 302,, 10,, 36,, 10,, 224,, 43,, 4,, 36,, 5,, 34,, 38,,, 37,, 4,,,,, 2, 5, 3,,, 4,,, 33, 2,, 4,,,,, 2, 5, 3,,, 2,, 35,, 33,, 32,, 42,, 31,, 29,, 28,, 30,, 27,, 25,, 24,, 23,, 22,, 20,, 21,, 19,, 18,, 16,, 17,, 31,, 14,, 12,, 13,, 11,, 10,, 8,, 9,, 2,, 7,, 5,, 4,, 6,, 3,,, 2, 4,, 4,, 35,, 38,, 38,, 4,, 32,, 4,,,,, 2, 5, 3,,,, 2,, 4,,,,, 2, 5, 3,,, 3,, 34,, 32,, 33,, 43,, 30,, 28,, 29,, 31,, 26,, 24,, 25,, 22,, 23,, 21,, 20,, 18,, 19,, 17,, 16,, 30,, 15,, 13,, 12,, 10,, 11,, 9,, 8,, 3, , 6,, 4,, 5,, 7,, 2, 2,,, 2,, 37,,, 2,,, 4,,,,, 2, 5, 3,,,,, 37,, 41,, 40,, ,,, 2, 5, 3,,, 36,, 257,, 2,, 32,, 2,, 262,, 2,, 32,, 2,, 254,, 2,, 32,, 2, , 254,, 2,, 32,, 2,, 38,,, 2, 4,,,,, 2, 5, 3,,,, 38,,,,, 2, 5, 3,,,, 46,, 31,, 29,, 28,, 26,, 27,, 25,, 24,, 19,, 22,, 20,, 21,, 23,, 18,, 16,, 17,, 27,, 14,, 12,, 13,, 15,, 10,, 8,, 9,, 6,, 7,, 5,, 4,, 2,, 3,,, 2,,, 4,,,,, 2, 5, 3,,, 4,,,,, 2, 5, 3,,, 15,, 30,, 28,, 29,, 27,, 26,, 24,, 25,, 18,, 23,, 21,, 20,, 22,, 19,, 17,, 16,, 26,, 15,, 13,, 12,, 14,, 11,, 9,, 8,, 7, , 6,, 4,, 5,, 3,, 2, 2,,, 32,, 34,, 105,, 113,, 33,, 219,, 33,, 105,,,,, 2, 5, 3,,, 84,, 33,, 156,, 86,, 100,, 22,, 83,, 152,, 83,, 16,,,,, 2, 5, 3, ,, 80,, 83,, 118,, 83,, 64,, 20,, 80,, 138,, 80,, 39,,,,, 2, 5, 3,,, 21,, 80,, 134,, 25,, 59,, 45,, 24,, 177,, 24,, 36,,,,, 2, 5, 3,,, 45,, 24,, 131, , 20,, 24,, 16,,, 3, 5, 3,,, 115,, 24,, 81,, 24,, 149,, 24,, 34,,, 16,,,,, 5, 3,,, 6,, 19,, 17,, 16,, 15,, 14,, 12,, 13,, 23,, 10,, 8,, 9,, 7,, 6,, 4, , 5,, 2,, 3,,, 2,,,,, 5, 3,,, 7,, 18,, 16,, 17,, 14,, 15,, 13,, 12,, 22,, 11,, 9,, 8,, 6,, 7,, 5,, 4,, 3,, 2, 2,,, 111,, 16,, 106,,,,, 2, 5, 2, 7,, 16,, 19,, 21,, 16,, 42,, 17,, 15,, 14,, 13,,,, 10,, 10,, 10,,, 16,, 7,, 5, , 6,,,,, 2,, 4,, 2,, 3,,, 2, 7,, 15,, 13,, 14,, 11,, 12,,, 9,,, 8,, 14,, 7, , 5,, 4,,,,,, 3,, 2, 2,,, 11,, 12,, 16,, 4,,,, 4, 2, 75,, 16,, 90,,, 4,,,, 4,, 11,, 10,, 8,, 9,, 3,, 6,, 4,, 5,, 6,, 3,,, 2,,,, 4,, 10,, 11,, 9,, 8,, 2,, 7,, 5,, 4,, 7,, 2, 2,,, 53, 2, 7,, 8,, 11,, 49,, 8,, 6,, 7,,,,, 6,, 3,, , 2, 7,, 8,, 6,, 5,,, 3,, 2, 2,,, 10,, 51,, 17,, 5,,,, 2, 9, 2,, 2,, 2, 5, 2,, 2, 5, 2,, 2, 330,, 237,, 62,, 62,, 62,, 310,, 61,, 61,, 61,, 199, 2,, 2, 5, 2,, 2, 1016,, 21,, 39,, 21,, 39,, 21,, 39,, 21,, 283,, 21,, 39,, 21, , 39,, 21,, 39,, 21,, 705, 2, 7, 2,, 2,, 2, 5, 2,, 2, 5, 2,, 2, 130,, 223, , 58,, 58,, 58,, 290,, 57,, 57,, 57,, 244, 2,, 2, 5, 2,, 2, 778,, 18,, 38, , 18,, 38,, 18,, 38,, 18,, 266,, 18,, 38,, 18,, 38,, 18,, 38,, 18,, 605, 2, 5, 2,, 2,, 2, 5, 2,, 2, 5, 2,, 2, 121,, 46,, 54,, 272,, 54,, 54,, 53,, 267,, 53,, 65, 2,, 2, 5, 2,, 2, 567,, 15,, 37,, 15,, 249,, 15,, 37,, 15,, 37,, 15,, 37,, 15,, 249,, 15,, 37,, 15,, 458, 2, 3, 2,, 2,, 2, 5, 2,, 2, 5, 2,, 2, 9,, 45,, 50,, 252,, 50,, 50,, 49,, 247,, 49,, 59, 2,, 2, 5, 2,, 2, 428,, 12,, 36,, 12,, 232,, 12,, 36,, 12,, 36,, 12,, 36,, 12,, 232,, 12, , 36,, 12,, 424,, 47,, 155, 2,, 2, 5, 2,, 2, 42,, 46,, 46,, 45,, 137, 2,, 2,, 4, 5, 2,, 2, 5, 2,, 2,,, 33,, 44,, 404,, 10,, 34,, 10,, 214,, 10,, 34, , 10,, 34,, 10,, 34,, 10,, 214,, 10,, 34,, 10,, 394,, 2,, 40,, 3,, 40,, 40, , 38,, 6, 2,, 2, 5, 2,, 2,, 5,, 32,, 2,, 34,, 3,, 34,, 34,, 32,,, 5, 2,, 2, 5, 2,, 2,, 52,, 32,, 29,, 29,, 9,, 28,, 24,, 25,, 47,, 21,, 22,, 20,, 6, , 17,, 19,, 16,, 15,, 13,, 14,, 12,, 18,, 9,, 11,, 8,, 4,, 8,, 5,, 5,, 5,, 4, 2,,, 3,, 38,, 39,,,, 37,,, 37,, 5, 2,, 2, 5, 2,, 2, 3,, 33,, 34,,,, 32,, , 32,, 5, 2,, 2, 5, 2,, 2, 23,, 29,, 30,, 28,, 10,, 25,, 27,, 24,, 44,, 24, , 21,, 21,, 5,, 20,, 16,, 17,, 12,, 16,, 13,, 13,, 17,, 12,, 8,, 9,, 7,, 5, , 6,, 4,, 6,,,, 3, 2,,,,, 2, 5, 2,, 2, 5, 2,, 2,,, 38,, 36,, 41, 2,, 2, 5, 2,, 2,,, 34,, 32,, 61,, 32,, 28,, 29,, 8,, 28,, 25,, 25,, 34,, 21,, 23,, 20,, 7,, 17,, 18,, 16,, 22,, 13,, 15,, 12,, 19,, 9,, 10,, 8,,,, 8,, 4,, 5, , 4,, 4,,,,,, 2,, 36,,,, 5, 2,, 2, 5, 2,, 2,, 36,, 41, 2,, 2, 5, 2,, 2, 33, ,,, 33,,,, 173,,,, 33,,,, 593,,,, 33,,,, 173,,,, 33,,,, 32,,, 5, 2,, 2, 5, 2,, 2, 5, 2,, 2, 5, 2,, 2, 30,, 29,, 31,, 28,, 11,, 25,, 26,, 24,, 33,, 24, , 20,, 21,, 4,, 20,, 17,, 17,, 21,, 16,, 12,, 13,, 16,, 12,, 9,, 9,, 2,, 5, , 7,, 4,, 7,,,, 2, 2, 3,, 29,, 30,, 28,, 45,, 24,, 26,, 23,, 12,, 23,, 18, , 2,, 18,, 2,, 17,, 15,, 3,, 16,, 16,, 16,, 8,, 15,, 6,, 6,, 6,, 6,, 5,,, 6,, 8,, 9,, 15,, 5,, 6,, 4,, 2,,,, 3, 2, 309,, 30,, 30,, 30,, 152,, 30,, 30,, 31,,, 2, 5, 2,, 2,, 244,, 29,, 26,, 26,, 38,, 24,, 20,, 21,, 8,, 3,, 16,,,, 19,, 16,, 31,, 13,, 2,, 13,,, 12,,, 7,, 4,, 5,, 11,, 8,, 4,, 8,, 8, , 5,, 5,,,, 4, 2,,, 5, 2, 5, 2,, 2, 177,, 8,, 26,, 132,, 26,, 79,, 26,, 268, 2, 5, 2,, 2, 39,, 57,, 24,, 122,, 24,, 73,, 24,, 223, 2, 5, 2,, 2, 59, , 54,, 22,, 22,, 22,, 67,, 22,, 248, 2, 5, 2,, 2, 12,, 49,, 20,, 20,, 20,, 61,, 20,, 226, 2, 5, 2,, 2,, 19,, 18,, 18,, 18,, 240,, 18,, 17,,, 5, 2,, 2, , 31,, 13,, 14,, 12,, 9,, 12,, 8,, 9, 2, 8,, 5,, 5,, 6,,,, 3, 2,, 5, 2,, 2, 12,, 16,, 13,, 13,, 10,, 9,, 11,, 8,, 3,, 5,, 6,, 4,, 5,, 4, 2,,, 3,, 15,, 84,, 19, 2,, 2, 74,, 14,, 13,, 13,, 59,, 29, 2,, 2, 39,, 12,, 33,, 11, , 29,, 2, 2,, 2, 10,, 10,, 50,, 9,, 14,,, 2,, 2,, 8,, 26, 2,, 2,, 7,, 6,, 6,, 6,, 18,,,, 2,, 7,,,, 2, 2,,, 2,, 4,,,,,,,,, 2, 2,,,, 3,,,,,,,,, 2,,,, 20,,, 2,,,,,, 2,,,, 21, 2,, 2,,,,,, 53,,,, 2, 5, 2,, 2, 21,,, 60,,, 2, 4, 2,, 2, 22,,, 25, 2,, 2,,,, 56,, 24,,, 2,,, 2,, 2,, 51,, 2,, 50,,,, 48,,, 48,, 2,, 17,,,, 40,,, 16,,, 40,, 2,, 59,,, 58,,, 60,,, 58,,, 14,,,, 44,,, 12,,, 740,,, 35,,, 17,,, 53,,, 32,,, 16,,, 251,,, 53,,, 28,, 2,, 20,,, 49,, , 28,,, 204,,,, 37,,, 6,,,, 44,,, 41,,, 36,,, 5,,,, 44,,,, 40,,, 2,,, 40,,, ,, 209,,, 5, 2,, 2,,, 21, 2,, 2,, 2,,,,,, 32,,,,, 32,, 2,, 35,,, 34,,, 36,, , 34,,, 2,,,, 32,,,,, 320,, 4,, 14,, 24,,,, 2,, 14,, 20,, 2,,,, 2, 21,,, 46,, 30,, 12,, 32,, 8,, 21,, 18,, 20,, 79,,,, 5,,,, 21,,,, 86,, 2, 5, 2, 5, 2,, 2,,,,, 28, 16, 6, 15, 6, 15, 6, 14, 6,,,, 4,,,,,,,,,,,, 4,,,, 3,,,, 12, 6,,,, 12, 6, 2,, 10,, 2, 7, 2,, 10,, 2, 6,,, 11,, 6,,, 11,, 7, 14, 6, 13, 6, 13, 6, 12, 6,,,, 13,, 16,,,,, 12,, 13,,,, 2, 17,, 25,, 8,, 24,, 8,, 17,, 13,, 16,, 58,,, 4,,, 17,,, 64,, 4,,,, 3, 2,, 2, 12, 4, 11, 4, 11, 4, 10, 4,, 5, 2, 2,, 5, 2,,,,,,, 9,, 6,,, 9,, 6,, 8,, 6,, 8,, 6, 10, 4, 9, 4, 9, 4, 8, 5,,, 13,,, 27,, 16,, 6,, 13,, 7,, 6,, 13,, 5,, 42,,,, 2, 5, 2,,,, 17,,,, 16,,,, 4,,,, 9,,, 4,, 5, 3,,, 4,, 5, 2,,,,, 6, 2,,,,, 6, 3,,,,,,,,,, ,,,,,, 2,,,, 4, 4,,,, 4, 4, 8, 3, 7, 3, 7, 3, 6, 3,, 9,, 10,, 3,, 10,, 2,,, , 9,,, 30,,,,,, 3, 2,,, 10,,, 4,,, 5,,,, 5, 2,,,, 5, 2,,, 4, 2,,, 4, 2,,, 2,,,, 2,,, 6, 2, 5, 2, 5, 2, 4, 3,,,, 2,,, 7,,, 4,, 7,, 4,, 4,, 2,, 2,, 16, , 2,, 2,,,,, 4, 4,, 3,, 3,, 2,,,,,,,,,,,,,,,,,, 2,, 4,,,,,,, 6,,, 4,,,,,, 3,,,,, 2,,, 2,,,, 2,,,, 4,,,,,,,,,,,,,,,,,,,,,, 5,,, 61,, 2,, 308,, 2,, 61, ,, 586,, 62,, 62,, 64,, 59,, 63,, 63,, 61,, 2569,,, 60,,, 300,,, 60,,, 568, , 61,, 60,, 61,, 57,, 60,, 61,, 60,, 2484,, 2,, 57,,, 294,,, 57,, 2,, 544, , 60,, 58,, 58,, 61,, 57,, 59,, 59,, 2400,,, 56,,, 284,,, 56,,, 528,, 57,, 56,, 57,, 57,, 56,, 57,, 56,, 2320,,,, 54,,,, 276,,,, 54,,,, 506,, 55,, 54, , 55,, 56,, 56,, 53,, 56,, 2233,,, 52,,, 268,,, 52,,, 489,, 52,, 53,, 52,, 56,, 53,, 52,, 53,, 2153,,,, 48,,,, 254,,,, 48,,,, 476,, 49,, 52,, 49,, 50, , 50,, 51,, 50,, 2074,,, 48,,, 244,,, 48,,, 457,, 48,, 49,, 48,, 48,, 49,, 48,, 49,, 1997,,,, 44,,,, 230,,,, 44,,,, 426,, 46,, 47,, 46,, 45,, 45,, 48, , 45,, 1929,,, 44,,, 220,,, 44,,, 408,, 45,, 44,, 45,, 41,, 44,, 45,, 44,, 1844,,,, 42,,,, 212,,,, 42,,,, 208 ] );