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