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