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