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