/*
www-ATLAS of Group Representations.
S6(2) represented as permutations on 960 points.
*/

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