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