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

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