/*
www-ATLAS of Group Representations.
U6(2):2 represented as permutations on 891 points.
*/

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