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