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