/* www-ATLAS of Group Representations. S10(2) represented as permutations on 1056 points. */ G:=PermutationGroup<1056|\[ 2,1,7,6,9,4,3,12,5,15,17,8,16,22,10,13,11,23,30,25,33,14,18,38,20, 41,35,44,46,19,49,40,21,54,27,56,58,24,61,32,26,66,55,28,70,29,59,60,31,78, 63,64,82,34,43,36,88,37,47,48,39,96,51,52,100,42,85,86,87,45,108,110,91,112,93, 94,95,50,118,120,122,53,101,102,67,68,69,57,132,134,73,136,75,76,77,62,142,144,146,65, 83,84,151,128,154,130,131,71,159,72,162,74,166,138,169,140,141,79,175,80,145,81,147,148,149, 150,183,104,186,106,107,89,191,90,194,92,198,114,201,116,117,97,207,98,121,99,123,124,125,126, 103,184,185,105,219,221,189,190,109,227,193,111,195,196,231,113,235,200,115,222,241,232,205,206,119, 243,247,248,250,251,213,253,127,152,153,129,258,260,157,158,133,266,161,135,163,164,270,137,274,168, 139,261,280,271,173,174,143,282,286,287,289,290,181,292,293,255,295,257,155,300,156,170,296,305,264, 265,160,267,311,313,165,172,272,273,167,322,276,277,324,279,171,281,176,325,332,285,177,178,339,179, 180,344,182,347,216,349,218,187,354,188,202,350,359,225,226,192,228,365,367,197,204,233,234,199,376, 237,238,378,240,203,242,208,379,386,246,209,210,393,211,212,398,214,215,348,217,223,406,352,353,220, 412,413,357,358,224,360,414,362,420,422,229,425,230,429,369,370,371,434,373,374,375,236,377,239,244, 380,445,446,418,384,436,245,452,447,389,390,391,392,249,394,395,396,463,252,399,400,254,294,256,262, 471,298,299,259,477,478,303,304,263,306,479,308,485,487,268,490,269,494,315,316,317,499,319,320,321, 275,323,278,283,326,510,511,483,330,501,284,517,512,335,336,337,338,288,340,341,342,528,291,345,346, 466,467,468,469,470,297,537,473,458,475,476,301,302,307,480,547,549,329,548,309,455,310,488,489,312, 491,492,554,314,495,496,497,498,318,500,331,502,555,567,505,506,507,508,509,327,328,334,578,579,515, 516,333,518,583,421,521,586,409,524,588,589,591,343,594,595,401,402,403,404,405,351,602,408,523,410, 411,355,356,361,415,612,614,383,613,363,520,364,423,424,366,426,427,619,368,430,431,432,433,372,435, 385,437,620,632,440,441,442,443,444,381,382,388,643,644,450,451,387,453,648,486,456,651,474,459,653, 654,656,397,659,660,556,597,598,599,665,601,407,603,604,666,606,607,673,609,610,611,416,419,417,683, 616,617,686,428,438,531,622,691,692,625,664,694,628,629,630,631,439,633,570,569,636,637,638,639,640, 641,642,448,449,645,646,710,454,649,713,457,716,460,461,720,462,701,658,464,465,621,532,533,534,729, 536,472,538,539,730,541,542,737,544,545,546,481,484,482,747,551,552,750,493,503,596,557,755,756,560, 728,758,563,564,565,566,504,568,635,634,571,572,573,574,575,576,577,513,514,580,581,774,519,584,777, 522,780,525,526,784,527,765,593,529,530,725,726,790,561,535,540,731,795,733,734,735,677,543,738,739, 740,672,742,743,744,745,746,550,748,749,553,751,807,809,754,558,559,814,562,796,817,761,762,810,764, 592,820,800,768,808,770,771,824,821,582,775,776,585,778,830,587,781,826,783,590,785,836,787,838,661, 662,840,626,600,605,667,845,669,670,671,741,608,674,675,676,736,678,679,680,681,682,615,684,685,618, 687,857,859,690,623,624,864,627,846,867,697,698,860,700,657,870,850,704,858,706,707,874,871,647,711, 712,650,714,880,652,717,876,719,655,721,886,723,888,839,663,891,842,893,844,668,695,847,848,849,703, 898,852,853,829,855,892,688,705,689,699,861,903,863,693,865,866,696,868,910,702,709,913,873,708,916, 718,877,878,804,715,881,882,905,920,885,722,887,724,789,727,927,792,929,794,732,759,797,798,799,767, 934,802,803,879,805,928,752,769,753,763,811,939,813,757,815,816,760,818,946,766,773,949,823,772,952, 782,827,828,854,779,831,832,941,956,835,786,837,788,925,926,791,806,793,963,931,932,966,801,935,936, 937,938,812,940,833,942,974,944,945,819,947,948,822,950,951,825,953,954,955,834,957,958,959,960,889, 890,841,856,843,990,895,896,993,851,899,900,901,902,862,904,883,906,1001,908,909,869,911,912,872,914, 915,875,917,918,919,884,921,922,923,924,988,989,894,991,992,897,994,1015,996,997,998,999,1000,907,1002, 1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,961,962,930,964,965,933,967,1024,969,970,971,972,973, 943,975,976,977,978,979,980,981,982,983,984,985,986,987,968,1025,1026,1023,1028,1029,1030,1031,1018,995,1016, 1017,1032,1019,1020,1021,1022,1027,1039,1040,1041,1042,1043,1044,1033,1034,1035,1036,1037,1038,1047,1048,1045,1046,1051,1052, 1049,1050,1055,1056,1053,1054] ,\[ 3,5,8,1,10,2,4,13,6,16,7,19,21,9,24,26,27,11,31,12,34,35,14,39,15, 42,43,17,18,47,50,20,52,29,55,22,23,59,62,25,64,37,67,68,28,72,74,30,76,79, 32,81,33,83,85,86,36,90,92,38,94,97,40,99,41,101,103,104,44,106,45,53,46,113,48, 115,49,116,119,51,123,124,125,54,127,128,56,130,57,65,58,137,60,139,61,140,143,63,147,148, 149,66,152,153,69,82,70,157,71,77,73,164,167,75,170,171,78,173,121,176,80,178,180,181,182, 84,184,185,87,100,88,189,89,95,91,196,199,93,202,203,96,205,145,208,98,210,212,213,214,102, 215,160,216,217,105,107,223,108,225,109,110,179,111,230,112,233,236,114,238,240,242,117,226,118,245, 126,120,249,122,163,252,151,254,192,255,256,129,131,262,132,264,133,134,211,135,269,136,272,275,138, 277,279,281,141,265,142,284,150,144,288,146,195,291,183,177,294,296,154,298,155,302,156,253,158,307, 159,308,161,162,314,315,165,318,166,320,237,168,323,169,326,327,329,172,174,333,175,335,337,340,341, 331,345,346,209,348,350,186,352,187,356,188,292,190,361,191,362,193,194,368,369,197,372,198,374,276, 200,377,201,380,381,383,204,206,387,207,389,391,394,395,385,399,400,401,301,403,405,218,408,219,410, 220,414,221,222,416,224,343,419,227,228,423,229,427,430,431,231,232,435,234,437,235,439,441,442,239, 310,417,241,448,243,244,450,453,246,454,247,456,248,458,460,461,250,251,334,304,465,466,355,468,470, 257,473,258,475,259,479,260,261,481,263,397,484,266,267,488,268,492,495,496,270,271,500,273,502,274, 504,506,507,278,364,482,280,513,282,283,515,518,285,519,286,521,287,523,525,526,289,290,388,358,530, 452,293,532,295,534,535,297,463,299,540,300,542,544,459,303,548,305,306,422,551,309,457,464,311,444, 312,536,313,556,558,559,316,317,425,563,319,565,321,568,322,570,571,324,325,573,575,328,449,330,580, 332,582,424,584,336,421,338,587,339,553,590,342,593,344,550,517,347,597,349,599,600,351,528,353,605, 354,607,609,524,357,613,359,360,487,616,363,522,529,365,509,366,601,367,621,623,624,370,371,490,628, 373,630,375,633,376,635,636,378,379,638,640,382,514,384,645,386,647,489,649,390,486,392,652,393,618, 655,396,658,398,615,402,662,404,664,666,406,667,407,409,670,411,672,412,675,413,415,678,680,681,418, 684,420,426,560,428,689,429,561,693,432,433,434,695,436,697,438,673,685,440,562,700,443,579,445,703, 446,447,706,708,674,451,711,537,712,455,715,677,717,719,721,722,462,724,566,682,467,726,469,728,730, 471,731,472,474,734,476,736,477,739,478,480,742,744,745,483,748,485,491,625,493,753,494,626,757,497, 498,499,759,501,761,503,737,749,505,627,764,508,644,510,767,511,512,770,772,738,516,775,602,776,520, 779,741,781,783,785,786,527,788,631,746,531,665,533,668,792,793,794,538,539,586,541,709,797,543,720, 545,546,799,547,705,801,549,802,699,552,804,554,555,595,557,811,813,806,815,696,564,591,567,569,818, 572,574,822,576,577,823,578,583,581,825,826,827,828,585,589,831,698,588,671,834,835,594,592,796,596, 729,598,732,842,843,844,603,604,651,606,773,847,608,784,610,611,849,612,769,851,614,852,763,617,854, 619,620,660,622,861,863,856,865,760,629,656,632,634,868,637,639,872,641,642,873,643,648,646,875,876, 877,878,650,654,881,762,653,735,884,885,659,657,846,661,692,663,892,808,821,894,669,805,676,891,679, 810,707,683,833,686,687,890,688,900,690,902,691,893,704,905,694,907,909,701,897,702,898,710,914,713, 889,829,803,714,917,919,716,718,921,837,922,723,924,725,756,727,928,858,871,930,733,855,740,927,743, 860,771,747,883,750,751,926,752,936,754,938,755,929,768,941,758,943,945,765,933,766,934,774,950,777, 925,879,853,778,953,955,780,782,957,887,958,787,960,789,790,961,791,962,812,795,798,800,967,807,969, 809,970,971,814,832,816,838,817,911,976,819,820,978,903,824,980,981,830,983,910,965,985,836,987,839, 840,988,841,989,862,845,848,850,994,857,996,859,997,998,864,882,866,888,867,947,1003,869,870,1005,939, 874,1007,1008,880,1010,946,992,1012,886,1014,977,1015,901,895,896,979,972,899,913,916,1019,904,906,1020,908, 975,912,1022,915,964,986,918,973,920,1023,923,984,1004,1024,937,931,932,1006,999,935,949,952,1028,940,942, 1029,944,1002,948,1031,951,991,1013,954,1000,956,1032,959,1011,1018,963,966,968,1035,1036,974,1038,982,1027,990, 993,995,1041,1042,1001,1044,1009,1016,1017,1034,1045,1021,1033,1025,1026,1040,1047,1030,1039,1049,1037,1051,1043,1053,1046, 1055,1048,1054,1050,1056,1052] >; print "Group G is S10(2) < Sym(1056)";