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