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