/*
www-ATLAS of Group Representations.
A10 represented as permutations on 945 points.
*/

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