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