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