#############################################################################
##
#A  prim16.grp                 GAP group library             Heiko Theissen
#A                                                          John Dixon
#A                                                          Brian Mortimer
#A                                                          Charles Sims
##
#A  @(#)$Id: prim16.grp,v 1.1 2000/01/12 15:45:50 ahulpke Exp $
##
#Y  Copyright (C) 1999, School of Math.&Comp. Sci. University of St Andrews
##
##  This file contains part of the primitive groups library
##
Revision.prim16_grp:=
"@(#)$Id: prim16.grp,v 1.1 2000/01/12 15:45:50 ahulpke Exp $";

PRIMGRP[627]:=
[[1,Factorial(627)/2,1,"2",[[626,1]],625,"A_n",["A",627,1],627],
[2,Factorial(627),0,"2",[[626,1]],627,"S_n",["A",627,1],627]];
PRIMGRP[628]:=
[[1,Factorial(628)/2,1,"2",[[627,1]],626,"A_n",["A",628,1],628],
[2,Factorial(628),0,"2",[[627,1]],628,"S_n",["A",628,1],628]];
PRIMGRP[629]:=
[[1,Factorial(629)/2,1,"2",[[628,1]],627,"A_n",["A",629,1],629],
[2,Factorial(629),0,"2",[[628,1]],629,"S_n",["A",629,1],629]];
PRIMGRP[630]:=
[[1,185996663394950608733999724075417600000000,1,"2",[[68,1],[561,1]],
1,"A36 on 2-sets.1",["A",36,1],
[(33,34,35)(67,68,69)(100,101,102)(132,133,134)(163,164,165)(193,194,195)
(222,223,224)(250,251,252)(277,278,279)(303,304,305)(328,329,330)
(352,353,354)(375,376,377)(397,398,399)(418,419,420)(438,439,440)
(457,458,459)(475,476,477)(492,493,494)(508,509,510)(523,524,525)
(537,538,539)(550,551,552)(562,563,564)(573,574,575)(583,584,585)
(592,593,594)(600,601,602)(607,608,609)(613,614,615)(618,619,620)
(622,623,624)(625,626,627)(628,630,629),
(1,36,70,103,135,166,196,225,253,280,306,331,355,378,400,421,441,460,478,
495,511,526,540,553,565,576,586,595,603,610,616,621,625,628,34)
(2,37,71,104,136,167,197,226,254,281,307,332,356,379,401,422,442,461,
479,496,512,527,541,554,566,577,587,596,604,611,617,622,626,33,68)
(3,38,72,105,137,168,198,227,255,282,308,333,357,380,402,423,443,462,
480,497,513,528,542,555,567,578,588,597,605,612,618,623,32,67,101)
(4,39,73,106,138,169,199,228,256,283,309,334,358,381,403,424,444,463,
481,498,514,529,543,556,568,579,589,598,606,613,619,31,66,100,133)
(5,40,74,107,139,170,200,229,257,284,310,335,359,382,404,425,445,464,
482,499,515,530,544,557,569,580,590,599,607,614,30,65,99,132,164)
(6,41,75,108,140,171,201,230,258,285,311,336,360,383,405,426,446,465,
483,500,516,531,545,558,570,581,591,600,608,29,64,98,131,163,194)
(7,42,76,109,141,172,202,231,259,286,312,337,361,384,406,427,447,466,
484,501,517,532,546,559,571,582,592,601,28,63,97,130,162,193,223)
(8,43,77,110,142,173,203,232,260,287,313,338,362,385,407,428,448,467,
485,502,518,533,547,560,572,583,593,27,62,96,129,161,192,222,251)
(9,44,78,111,143,174,204,233,261,288,314,339,363,386,408,429,449,468,
486,503,519,534,548,561,573,584,26,61,95,128,160,191,221,250,278)
(10,45,79,112,144,175,205,234,262,289,315,340,364,387,409,430,450,469,
487,504,520,535,549,562,574,25,60,94,127,159,190,220,249,277,304)
(11,46,80,113,145,176,206,235,263,290,316,341,365,388,410,431,451,470,
488,505,521,536,550,563,24,59,93,126,158,189,219,248,276,303,329)
(12,47,81,114,146,177,207,236,264,291,317,342,366,389,411,432,452,471,
489,506,522,537,551,23,58,92,125,157,188,218,247,275,302,328,353)
(13,48,82,115,147,178,208,237,265,292,318,343,367,390,412,433,453,472,
490,507,523,538,22,57,91,124,156,187,217,246,274,301,327,352,376)
(14,49,83,116,148,179,209,238,266,293,319,344,368,391,413,434,454,473,
491,508,524,21,56,90,123,155,186,216,245,273,300,326,351,375,398)
(15,50,84,117,149,180,210,239,267,294,320,345,369,392,414,435,455,474,
492,509,20,55,89,122,154,185,215,244,272,299,325,350,374,397,419)
(16,51,85,118,150,181,211,240,268,295,321,346,370,393,415,436,456,475,
493,19,54,88,121,153,184,214,243,271,298,324,349,373,396,418,439)
(17,52,86,119,151,182,212,241,269,296,322,347,371,394,416,437,457,476,
18,53,87,120,152,183,213,242,270,297,323,348,372,395,417,438,458)
(35,69,102,134,165,195,224,252,279,305,330,354,377,399,420,440,459,477,
494,510,525,539,552,564,575,585,594,602,609,615,620,624,627,629,630)]],
[2,371993326789901217467999448150835200000000,0,"2",[[68,1],[561,1]],
1,"A36 on 2-sets.2",["A",36,1],
[(1,215,496,419,521,46,219,19,593,511,356,616)(2,594,340,408,98,69,200,
498,101,525,331,559)(3,592,385,402,621,58,207,118,628,384,359,617,24,
485,120,418,395,51,221,499,493,119,375,394,17,591,528,403,130,67,202,
461,626,514,360,129,33,390,463,417,571,52,105,508,398,462,374,570,18,
125,537,378,473,66,213,478,133,523,355,472,32,566,480,113,622,47,206,
507,574,479,111,618,13,468,536,409,490,37,222,383,476,522,366,489)
(4,431,526,231,326,59,216,503,278,519,142,435,22,243,316,410,598,62,
197,504,164,425,364,247,10,576,531,413,275,63,136,424,551,237,307,580,
27,587,265,414,161,49,211,236,329,515,369,604,8,588,151,400,548,41,
199,500,601,518,256,610)(5,296,445,174,301,50,166,289,458,180,282,454)
(6,501,538,405,373,64)(7,321,529,412,605,42,218,149,439,512,229,325,
25,586,532,258,611,38,204,497,251,315,367,597,28,270,533,144,436,56,
196,314,584,517,370,274,29,156,426,407,248,44,214,502,608,264,371,160,
15,543,238,309,581,61,217,263,614,150,357,547)(9,450,181,284,455,39,
198,443,194,290,358,190)(11,555,88,420,350,57,73,510,353,513,79,620)
(12,589,21,411,535,48,220,53,223,495,376,520)(14,590,55,203,506,68,
209,361,619,20,368,534)(16,186,291,401,191,43,205,179,304,444,172,300)
(23,93,539,333,560,36,224,338,563,87,377,349)(26,530,406,416,65,40,
208,509,524,362,372,30)(31,60,210,404,623,54,201,505,34,516,363,415)
(35,345,527,81,624,45,212,86,630,339,365,97)(70,629,332,465,99,575,
337,122,100,399,336,561,91,494,110,562,80,477,351,553,85,134,352,387,
84,627,343,482)(71,440,341,240,77,585,346,557,75,615,141,428,89,252,
306,554,94,609,255,558)(72,305,335,183,76,459,171,293,83,195,281,447)
(74,330,344,556,95,279,348,153,82,552,228,318,92,602,347,267,96,165,
334,540)(78,564)(90,102,354,342)(103,438,386,234,327,565,486,127,277,393,
147,437,541,235,109,583,391,470,276,569,148,114,550,230,312,582,567,487,
107,613,143,422,549,241,313,124,600,392,261,612,154,423,121,250,308,467,
599,568,262,128,163,379,464,249,319,484,126,607,257,471,162,429,481,106,
328,389,469,606,268,488)(104,303,380,177,302,448,178,108,457,173,287,456,
184,288,115,193,283,441,192,294,442)(112,475,396,466,491,123,492)
(116,625,388,460,131,573,382)(117,132,397,381,474,572,483)(135,285,446,167,
280,449,187,298,260,189,139,421,182,226,311,185,297,452,168,299,146,175,
292,233,170,295,451,188,253,453)(137,310,542,244,323,269,596,158,259,546)
(138,434,152,232,317,242,322,578,271,603)(140,430,544,245,254,579,157,433,
266,246)(145,427,239,227,320,577,595,272,273,159)(155,432,545,225,324)
(169,286,176),(1,583,471,567,428,407,118,247,272,384,351,16,581,588,294,
183,81,478,238,254,362,141)(2,484,533,319,365,144,53,250,261,517,334,
22,124,610,568,387,417,443,248,270,290,171)(3,580,603,388,561,401,506,
243,253,180,78,18,529,324,366,153,48,508,234,271,425,341)
(4,59,613,466,556,400,497,106,274,518,332,32,449,611,566,293,174,86,
235,265,315,331)(5,92,488,528,318,356,149,41,277,462,346,15,542,128,
570,557,378,507,233,275,516,281)(6,584,218,574,212,419,208,251,197,524,
200,34,214,614,213,563,203,509,196,278,209,353)(7,269,519,343,23,410,
504,241,267,405,338)(8,515,348,24,554,414,499,240,258,495,228)
(9,185,96,483,527,309,361,137,42,523,336,27,430,546,123,559,413,383,
249,260,521,345)(10,367,159,58,562,402,502,232,266,119,349,28,389,612,
448,560,411,289,167,75,479,340)(11,25,579,569,553,408,404,236,225,264,
339)(12,155,63,573,465,412,424,239,107,520,347,13,582,453,571,555,284,
179,74,262,511,306)(14,500,246,268,513,333,19,242,273,514,342)
(17,577,434,541,122,415,503,230,276,444,350,26,295,189,91,482,406,314,
229,138,54,352)(20,344,29,565,558,409,498,231,263,237,255)
(21,320,371,154,57,418,461,244,259,512,110,30,578,393,572,447,416,501,
226,168,87,337)(31,576,299,184,90,403,496,227,256,150,45,33,467,596,
429,540,113,505,245,257,522,335)(35,585,615,575,564,420,510,252,279,525,
354)(36,492,463,322,357,152,37,618,470,391,437,446,130,589,298,173,99,
442,535,321,282,135)(38,67,475,469,432,427,121,129,604,392,396,456,455,
590,296,169,72,85,480,316,307,142)(39,100,460,531,310,364,103,64,607,
381,599,421,548,125,300,188,80,491,445,326,368,139)(40,628,206,601,204,
551,105,619,217,398,221,458,220,593,198,194,73,493,210,329,201,164)
(43,193,84,486,426,317,111,160,62,397,474,451,436,543,108,190,95,382,
536,311,373,156)(44,375,147,61,438,464,126,435,545,112,617,452,395,591,
286,191,93,288,181,77,360,151)(46,163,51,600,422,544,114,547,127,394,
606,380,621,450,301,186,76,178,88,313,363,140)(47,625,441,598,431,292,
104,97,487,385,327,358,161,60,303,177,94,423,526,109,372,158)
(49,550,116,597,433,386,131,454,605,390,302,176,98,485,291,170,79,148,
55,328,359,157)(50,622,468,297,175,89,117,534,323,355,162)
(52,537,312,369,145,56,132,472,595,379,549,115,616,587,283,192,83,490,
530,280,172,71)(65,592,287,187,82,481,120,325,370,143,66,457,473,586,
285,182,70,489,532,308,374,146)(68,222,476,216,439,211,133,219,608,202,
626,205,623,215,304,166,101,207,538,199,376,136)(69,629,477,602,440,552,
134,620,609,399,627,459,624,594,305,195,102,494,539,330,377,165)(224,630)
]],
[3,Factorial(630)/2,1,"2",[[629,1]],628,"A_n",["A",630,1],630],
[4,Factorial(630),0,"2",[[629,1]],630,"S_n",["A",630,1],630]];
PRIMGRP[631]:=
[[1,Factorial(631)/2,1,"2",[[630,1]],629,"A_n",["A",631,1],631],
[2,Factorial(631),0,"2",[[630,1]],631,"S_n",["A",631,1],631]];
PRIMGRP[632]:=
[[1,125619480,1,"2",[[631,1]],2,"L2,631 on projective points.1",
["L",[2,631],1],
[(3,631,629,627,625,623,621,619,617,615,613,611,609,607,605,603,601,599,597,
595,593,591,589,587,585,583,581,579,577,575,573,571,569,567,565,563,561,
559,557,555,553,551,549,547,545,543,541,539,537,535,533,531,529,527,525,
523,521,519,517,515,513,511,509,507,505,503,501,499,497,495,493,491,489,
487,485,483,481,479,477,475,473,471,469,467,465,463,461,459,457,455,453,
451,449,447,445,443,441,439,437,435,433,431,429,427,425,423,421,419,417,
415,413,411,409,407,405,403,401,399,397,395,393,391,389,387,385,383,381,
379,377,375,373,371,369,367,365,363,361,359,357,355,353,351,349,347,345,
343,341,339,337,335,333,331,329,327,325,323,321,319,317,315,313,311,309,
307,305,303,301,299,297,295,293,291,289,287,285,283,281,279,277,275,273,
271,269,267,265,263,261,259,257,255,253,251,249,247,245,243,241,239,237,
235,233,231,229,227,225,223,221,219,217,215,213,211,209,207,205,203,201,
199,197,195,193,191,189,187,185,183,181,179,177,175,173,171,169,167,165,
163,161,159,157,155,153,151,149,147,145,143,141,139,137,135,133,131,129,
127,125,123,121,119,117,115,113,111,109,107,105,103,101,99,97,95,93,
91,89,87,85,83,81,79,77,75,73,71,69,67,65,63,61,59,57,
55,53,51,49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,
19,17,15,13,11,9,7,5)(4,632,630,628,626,624,622,620,618,616,
614,612,610,608,606,604,602,600,598,596,594,592,590,588,586,584,582,580,
578,576,574,572,570,568,566,564,562,560,558,556,554,552,550,548,546,544,
542,540,538,536,534,532,530,528,526,524,522,520,518,516,514,512,510,508,
506,504,502,500,498,496,494,492,490,488,486,484,482,480,478,476,474,472,
470,468,466,464,462,460,458,456,454,452,450,448,446,444,442,440,438,436,
434,432,430,428,426,424,422,420,418,416,414,412,410,408,406,404,402,400,
398,396,394,392,390,388,386,384,382,380,378,376,374,372,370,368,366,364,
362,360,358,356,354,352,350,348,346,344,342,340,338,336,334,332,330,328,
326,324,322,320,318,316,314,312,310,308,306,304,302,300,298,296,294,292,
290,288,286,284,282,280,278,276,274,272,270,268,266,264,262,260,258,256,
254,252,250,248,246,244,242,240,238,236,234,232,230,228,226,224,222,220,
218,216,214,212,210,208,206,204,202,200,198,196,194,192,190,188,186,184,
182,180,178,176,174,172,170,168,166,164,162,160,158,156,154,152,150,148,
146,144,142,140,138,136,134,132,130,128,126,124,122,120,118,116,114,112,
110,108,106,104,102,100,98,96,94,92,90,88,86,84,82,80,78,76,
74,72,70,68,66,64,62,60,58,56,54,52,50,48,46,44,42,40,
38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6),
(1,2,318)(3,220,416)(4,122,513)(5,274,360)(6,483,150)(7,90,542)
(8,211,420)(9,617,13)(10,601,28)(11,481,147)(12,187,440)
(14,559,66)(15,537,87)(16,340,283)(17,589,33)(18,143,478)
(19,627,623)(20,224,395)(21,249,369)(22,322,295)(23,257,359)
(24,343,272)(25,36,578)(26,297,316)(27,116,496)(29,85,525)
(30,251,358)(31,309,299)(32,292,315)(34,151,454)(35,626,608)
(37,398,204)(38,431,170)(39,482,118)(40,382,217)(41,125,473)
(42,268,329)(43,492,104)(44,206,389)(45,139,455)(46,128,465)
(47,619,603)(48,446,145)(49,488,102)(50,391,198)(51,174,414)
(52,130,457)(53,59,527)(54,305,280)(55,442,142)(56,503,80)
(57,165,417)(58,600,611)(60,404,175)(61,376,202)(62,98,479)
(63,487,89)(64,347,228)(65,110,464)(67,246,326)(68,199,372)
(69,500,70)(71,480,88)(72,114,453)(73,215,351)(74,96,469)
(75,334,230)(76,185,378)(77,622,570)(78,366,195)(79,443,117)
(81,367,191)(82,113,444)(83,132,424)(84,303,252)(86,146,407)
(91,210,338)(92,259,288)(93,271,275)(94,546,629)(95,236,308)
(97,286,256)(99,621,549)(100,373,166)(101,317,221)(103,137,399)
(105,244,290)(106,239,294)(107,394,138)(108,265,266)(109,577,583)
(111,551,607)(112,375,152)(115,363,161)(119,287,233)(120,301,218)
(121,186,332)(123,514,632)(124,253,262)(126,231,282)(127,312,200)
(129,313,197)(131,330,178)(133,580,556)(134,250,255)(135,159,345)
(136,567,566)(140,520,609)(141,214,284)(144,593,532)(148,587,534)
(149,573,547)(153,630,486)(154,597,518)(155,625,489)(156,565,548)
(157,538,574)(158,493,618)(160,168,311)(162,300,177)(163,511,595)
(164,227,248)(167,540,562)(169,281,189)(171,508,590)(172,526,571)
(173,226,240)(176,279,184)(179,506,584)(180,234,225)(181,497,591)
(182,485,602)(183,522,564)(188,208,243)(190,588,491)(192,523,554)
(193,557,519)(194,581,494)(196,449,624)(201,203,235)(205,598,466)
(207,223,209)(212,504,553)(216,425,628)(219,471,579)(222,462,585)
(229,490,550)(232,576,461)(237,499,533)(238,599,432)(241,412,616)
(242,529,498)(245,586,438)(247,430,592)(254,596,419)(258,451,560)
(260,575,434)(261,524,484)(263,536,470)(264,437,568)(267,387,615)
(269,555,445)(270,558,441)(273,521,475)(276,362,631)(277,379,613)
(278,385,606)(285,421,563)(289,572,408)(291,477,501)(293,612,364)
(296,620,353)(298,426,545)(302,561,406)(304,450,515)(306,505,458)
(307,368,594)(310,390,569)(314,614,341)(319,535,415)(320,339,610)
(321,344,604)(323,507,439)(324,509,436)(325,468,476)(327,605,337)
(328,400,541)(331,582,356)(333,552,384)(335,516,418)(336,474,459)
(342,397,530)(346,392,531)(348,377,544)(349,517,403)(350,539,380)
(352,422,495)(354,405,510)(355,467,447)(357,460,452)(361,365,543)
(370,371,528)(374,383,512)(381,386,502)(388,409,472)(393,428,448)
(396,410,463)(401,433,435)(402,456,411)(413,429,427)]],
[2,251238960,0,"2",[[631,1]],3,"L2,631 on projective points.2",
["L",[2,631],1],
[(1,179,46,426,378,295,373,495,232,606,15,315,454,392,312,496,43,201,346,
319,377,247,148,49,549,607,580,95,253,430,614,534,472,611,281,320,64,
431,553,631,548,500,250,117,2,67,303,45,621,230,432,322,545,323,199,
248,400,194,63,372,382,537,410,542,529,482,180,236,597,259,622,507,120,
560,364,221,592,360,285,297,327,330,605,135,618,520,627,163,488,123,62,
615,461,4,370,231,168,405,613,5,224,266,87,254,294,227,275,35,12,
171,574,36,41,625,551,155,26,182,460,487,558,343,587,332,393,508,142,
77,412,81,609,32,134,390,578,522,484,172,425,91,616,591,158,474,213,
577,58,420,584,564,165,468,104,344,204,169,147,628,340,166,10,268,453,
361,415,379,617,44,61,579,492,74,485,351,325,177,99,98,476,626,463,
300,450,198,197,119,601,575,441,222,434,347,235,252,309,547,511,565,473,
28,286,130,586,298,149,127,92,582,192,458,131,362,342,506,238,349,83,
452,138,335,310,205,501,124,442,404,348,536,162,264,317,215,514,219,154,
418,533,594,339,583,368,439,466,114,270,141,375,301,255,260,352,125,284,
261,21,69,632,42,209,30,72,291,313,521,128,65,556,292,465,311,234,
173,438,133,299,406,308,161,321,596,599,629,11,566,334,75,562,366,176,
419,304,37,329,60,116,444,397,384,516,389,544,554,233,102,526,48,97,
603,381,604,494,66,305,251,623,229)(3,289,223,184,612,25,280,571,263,
424,212,486,336,608,437,427,269,464,283,504,265,267,552,34,380,277,244,
350,413,107,421,481,14,483,170,457,56,386,436,6,80,159,226,316,174,
451,307,517,274,585,338,100,18,620,429,365,595,272,391,538,113,144,51,
503,218,181,408,518,115,78,423,245,152,183,388,535,24,331,561,497,306,
278,196,588,341,22,409,619,475,122,610,70,137,216,290,490,540,240,469,
126,443,282,445,505,189,513,576,52,19,546,262,374,29,31,422,13,462,
27,499,489,318,590,440,84,502,33,355,16,271,314,112,73,7,293,90,
96,129,9,208,541,178,471,57,23,47,470,8,146,40,598,581,337,38,
85,225,136,550,498,101,94,567,257,153,191,220,433,509,477,387,531,371,
111,624,121,110,279,573,396,151,448,157,363,241,103,140,243,106,407,59,
79,324,467,399,188,402,210,326,333,414,510,132,246,228,491,525,569,187,
20,543,367,214,630,557,572,528,89,93,446,523,515,242,532,479,570,568,
358,356,447,394,54,411,403,480,203,207,398,354,369,296,82,559,383,276,
109,357,401,435,68,50,164,416,512,593,600,86,524,108,527,459,602,217,
237,519,190,53,156,193,55,563,139,478,145,530,353,17,186,175,302,185,
555,395,539,449,417,493,76,105,143,39,359,202,195,428,376,160,71,211,
258,589,345,328,256,150,288,456,249,273,239,455,118,385,88,287,167,200,206
),(1,216,490,134,2,121,179,289,156,424,90,267,522,624,122,36,178,
507,164,6,399,114,560,295,392,437,143,92,256,244,225,263,188,432,355,
453,38,601,530,421,138,74,181,136,592,518,118,413,614,25,367,555,103,
411,28,326,86,253,580,353,176,382,564,339,15,422,438,234,293,467,5,
498,525,19,151,408,465,316,561,612,501,480,280,77,327,159,13,41,398,
484,237,255,402,503,203,451,409,461,443,272,75,60,404,248,210,14,208,
536,68,575,589,89,361,338,600,51,440,423,384,528,21,617,428,160,516,
389,222,609,439,472,230,605,123,257,243,459,268,224,29,577,369,215,468,
318,456,448,85,610,394,246,45,511,622,209,119,112,334,390,26,146,144,
470,474,396,167,145,304,447,315,393,286,10,161,241,301,88,259,381,466,
342,350,296,9,43,297,476,418,378,401,449,475,219,497,385,270,110,387,
274,606,63,433,42,211,278,357,568,354,294,615,566,486,173,415,242,158,
154,218,33,594,223,235,376,539,66,491,538,485,426,105,130,608,67,328,
434,517,549,195,279,319,330,373,187,585,502,429,628,281,446,50,351,348,
545,252,111,226,320,40,39,377,550,65,349,129,44,7,509,100,149,168,
58,233,359,153,323,298,618,217,193,333,213,152,59,520,165,200,360,397,
410,347,99,313,616,417,47,406,302,166,346,180,383,573,101,288,277,84,
18,454,271,81,523,493,488,436,427,481,202,96,445,175,535,254,148,499,
553,544,492,487,457,269,79,526,332,266,73,62,249,407,597,170,4,184,
48,574,303,563,364,37,251,3,570,583,620,150,185,460,291,198,137,17,
157,133,362,52,27,197,621,117,292,182,201,250,471,343,306,221,631,285,
430,603,311,310,30,124,239,98,435,632,629,300,534,69,352,551,478,395,
163,607,20,31,71,155,431,463,546,22,283,372,220,245,554,495,442,489,
284,441,604,115,127,386,317,132,196,192,108,565,177,494,414,365,56,626,
412,623,72,139,308,547,287,374,76,593,240,80,595,483,131,505,531,579,
602,562,504,53,307,341,54,630,8,514,599,91,262,49,109,189,340,64,
587,35,533,46,205,183,584,506,510,206,204,324,590,16,238,231,141,358,
469,305,104,586,370,265,532,524,32,512,135,611,403,321,126,82,521,107,
93,227,375,120,508,541,371,128,591,464,190,552,363,329,452,596,557,540,
299,380,12,619,261,391,405,282,444,142,336,140,102,576,290,275,78,537,
519,571,529,147,477,578,95,113,496,582,309,337,191,23,273,70,500,479,
368,419,34,515,572,199,331,455,482,345,513,57,116,542,558,335,11,416,
598,174,627,400,97,264,24,322,569,247,425,613,325,366,567,232,462,388,
214,169,276,212,559,450,379,312,527,625,548,162,87,125,106,94,258,207,
543,588,55,420,236,581,344,186,473,172,314,228,356,458,83,260,556,194,
61,171,229)]],
[3,Factorial(632)/2,1,"2",[[631,1]],630,"A_n",["A",632,1],632],
[4,Factorial(632),0,"2",[[631,1]],632,"S_n",["A",632,1],632]];
PRIMGRP[633]:=
[[1,Factorial(633)/2,1,"2",[[632,1]],631,"A_n",["A",633,1],633],
[2,Factorial(633),0,"2",[[632,1]],633,"S_n",["A",633,1],633]];
PRIMGRP[634]:=
[[1,Factorial(634)/2,1,"2",[[633,1]],632,"A_n",["A",634,1],634],
[2,Factorial(634),0,"2",[[633,1]],634,"S_n",["A",634,1],634]];
PRIMGRP[635]:=
[[1,Factorial(635)/2,1,"2",[[634,1]],633,"A_n",["A",635,1],635],
[2,Factorial(635),0,"2",[[634,1]],635,"S_n",["A",635,1],635]];
PRIMGRP[636]:=
[[1,Factorial(636)/2,1,"2",[[635,1]],634,"A_n",["A",636,1],636],
[2,Factorial(636),0,"2",[[635,1]],636,"S_n",["A",636,1],636]];
PRIMGRP[637]:=
[[1,Factorial(637)/2,1,"2",[[636,1]],635,"A_n",["A",637,1],637],
[2,Factorial(637),0,"2",[[636,1]],637,"S_n",["A",637,1],637]];
PRIMGRP[638]:=
[[1,Factorial(638)/2,1,"2",[[637,1]],636,"A_n",["A",638,1],638],
[2,Factorial(638),0,"2",[[637,1]],638,"S_n",["A",638,1],638]];
PRIMGRP[639]:=
[[1,Factorial(639)/2,1,"2",[[638,1]],637,"A_n",["A",639,1],639],
[2,Factorial(639),0,"2",[[638,1]],639,"S_n",["A",639,1],639]];
PRIMGRP[640]:=
[[1,Factorial(640)/2,1,"2",[[639,1]],638,"A_n",["A",640,1],640],
[2,Factorial(640),0,"2",[[639,1]],640,"S_n",["A",640,1],640]];
PRIMGRP[641]:=
[[1,Factorial(641)/2,1,"2",[[640,1]],639,"A_n",["A",641,1],641],
[2,Factorial(641),0,"2",[[640,1]],641,"S_n",["A",641,1],641]];
PRIMGRP[642]:=
[[1,131687040,1,"2",[[641,1]],2,"L2,641 on projective points.1",
["L",[2,641],1],
[(3,641,639,637,635,633,631,629,627,625,623,621,619,617,615,613,611,609,607,
605,603,601,599,597,595,593,591,589,587,585,583,581,579,577,575,573,571,
569,567,565,563,561,559,557,555,553,551,549,547,545,543,541,539,537,535,
533,531,529,527,525,523,521,519,517,515,513,511,509,507,505,503,501,499,
497,495,493,491,489,487,485,483,481,479,477,475,473,471,469,467,465,463,
461,459,457,455,453,451,449,447,445,443,441,439,437,435,433,431,429,427,
425,423,421,419,417,415,413,411,409,407,405,403,401,399,397,395,393,391,
389,387,385,383,381,379,377,375,373,371,369,367,365,363,361,359,357,355,
353,351,349,347,345,343,341,339,337,335,333,331,329,327,325,323,321,319,
317,315,313,311,309,307,305,303,301,299,297,295,293,291,289,287,285,283,
281,279,277,275,273,271,269,267,265,263,261,259,257,255,253,251,249,247,
245,243,241,239,237,235,233,231,229,227,225,223,221,219,217,215,213,211,
209,207,205,203,201,199,197,195,193,191,189,187,185,183,181,179,177,175,
173,171,169,167,165,163,161,159,157,155,153,151,149,147,145,143,141,139,
137,135,133,131,129,127,125,123,121,119,117,115,113,111,109,107,105,103,
101,99,97,95,93,91,89,87,85,83,81,79,77,75,73,71,69,67,
65,63,61,59,57,55,53,51,49,47,45,43,41,39,37,35,33,31,
29,27,25,23,21,19,17,15,13,11,9,7,5)(4,642,640,638,636,
634,632,630,628,626,624,622,620,618,616,614,612,610,608,606,604,602,600,
598,596,594,592,590,588,586,584,582,580,578,576,574,572,570,568,566,564,
562,560,558,556,554,552,550,548,546,544,542,540,538,536,534,532,530,528,
526,524,522,520,518,516,514,512,510,508,506,504,502,500,498,496,494,492,
490,488,486,484,482,480,478,476,474,472,470,468,466,464,462,460,458,456,
454,452,450,448,446,444,442,440,438,436,434,432,430,428,426,424,422,420,
418,416,414,412,410,408,406,404,402,400,398,396,394,392,390,388,386,384,
382,380,378,376,374,372,370,368,366,364,362,360,358,356,354,352,350,348,
346,344,342,340,338,336,334,332,330,328,326,324,322,320,318,316,314,312,
310,308,306,304,302,300,298,296,294,292,290,288,286,284,282,280,278,276,
274,272,270,268,266,264,262,260,258,256,254,252,250,248,246,244,242,240,
238,236,234,232,230,228,226,224,222,220,218,216,214,212,210,208,206,204,
202,200,198,196,194,192,190,188,186,184,182,180,178,176,174,172,170,168,
166,164,162,160,158,156,154,152,150,148,146,144,142,140,138,136,134,132,
130,128,126,124,122,120,118,116,114,112,110,108,106,104,102,100,98,96,
94,92,90,88,86,84,82,80,78,76,74,72,70,68,66,64,62,60,
58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,
22,20,18,16,14,12,10,8,6),
(1,2,323)(3,493,153)(4,23,622)(5,263,381)(6,529,114)(7,222,420)
(8,478,163)(9,305,335)(10,484,155)(11,426,212)(12,134,503)
(13,140,496)(14,218,417)(15,74,560)(16,591,42)(17,274,358)
(18,51,580)(19,227,403)(20,457,172)(21,261,367)(22,108,519)
(24,623,642)(25,73,551)(26,96,527)(27,293,329)(28,237,384)
(29,508,112)(30,61,558)(31,34,584)(32,362,255)(33,345,271)
(35,342,272)(36,406,207)(37,368,244)(38,219,392)(39,56,554)
(40,294,315)(41,80,528)(43,290,316)(44,516,89)(45,463,141)
(46,214,389)(47,180,422)(48,161,440)(49,441,159)(50,429,170)
(52,234,363)(53,357,239)(54,164,431)(55,630,604)(57,231,361)
(58,245,346)(59,481,109)(60,338,251)(62,612,615)(63,447,139)
(64,398,187)(65,477,107)(66,595,628)(67,270,312)(68,102,479)
(69,132,448)(70,313,266)(71,287,291)(72,147,430)(75,282,292)
(76,396,177)(77,390,182)(78,458,113)(79,425,145)(81,443,125)
(82,154,413)(83,472,94)(84,121,444)(85,404,160)(86,572,631)
(87,196,366)(88,585,616)(90,171,388)(91,379,179)(92,590,607)
(93,253,303)(95,573,621)(97,166,386)(98,276,275)(99,156,394)
(100,111,438)(101,445,103)(104,246,299)(105,204,340)(106,225,318)
(110,416,123)(115,238,296)(116,184,349)(117,640,532)(118,566,605)
(119,550,620)(120,405,124)(122,268,259)(126,377,146)(127,538,624)
(128,235,286)(129,309,211)(130,602,557)(131,332,186)(133,321,195)
(135,365,149)(136,264,249)(137,193,319)(138,617,534)(142,298,209)
(143,512,634)(144,185,320)(148,228,273)(150,506,633)(151,191,307)
(152,324,173)(157,302,190)(158,310,181)(162,636,491)(165,587,537)
(167,544,578)(168,638,483)(169,581,539)(174,563,552)(175,277,197)
(176,178,295)(183,601,505)(188,568,533)(189,626,474)(192,247,210)
(194,223,232)(198,514,577)(199,583,507)(200,213,236)(201,545,543)
(202,525,562)(203,565,521)(205,597,487)(206,485,598)(208,535,546)
(215,482,592)(216,499,574)(217,596,476)(220,635,434)(221,567,501)
(224,466,599)(226,424,639)(229,428,632)(230,536,523)(233,492,564)
(240,610,439)(241,526,522)(242,561,486)(243,419,627)(248,582,459)
(250,570,469)(252,490,547)(254,427,608)(256,569,464)(257,432,600)
(258,475,556)(260,480,549)(262,409,618)(265,383,641)(267,555,467)
(269,520,500)(278,609,402)(279,385,625)(280,450,559)(281,511,497)
(283,412,594)(284,614,391)(285,415,589)(288,372,629)(289,593,407)
(297,462,530)(300,401,588)(301,613,375)(304,611,374)(306,442,541)
(308,586,395)(311,341,637)(314,515,460)(317,353,619)(322,494,473)
(325,513,451)(326,461,502)(327,453,509)(328,421,540)(330,356,603)
(331,352,606)(333,576,380)(334,376,579)(336,488,465)(337,517,435)
(339,455,495)(343,393,553)(344,489,456)(347,400,542)(348,504,437)
(350,408,531)(351,468,470)(354,364,571)(355,359,575)(360,411,518)
(369,471,449)(370,548,371)(373,418,498)(378,524,387)(382,510,397)
(399,454,436)(410,433,446)(414,423,452)]],
[2,263374080,0,"2",[[641,1]],3,"L2,641 on projective points.2",
["L",[2,641],1],
[(1,69,71,426,494,132,326,440,65,472,253,484,588,64,28,489,41,304,604,
251,297,354,24,492,18,167,119,257,411,410,15,340,609,95,363,104,213,
577,347,395,634,396,273,575,587,228,129,434,324,50,500,243,336,542,298,
61,202,34,208,67,133,429,618,106,128,142,515,209,557,403,626,191,123,
528,398,581,590,338,402,421,601,595,94,400,344,504,200,262,343,284,373,
535,424,641,544,536,236,227,506,190,633,600,217,437,295,425,185,382,111,
563,113,631,51,498,187,48,100,79,579,139,465,294,90,23,547,584,143,
307,534,244,415,176,33,596,89,211,554,21,196,469,630,548,170,394,602,
540,607,280,115,564,245,9,531,47,263,17,385,428,471,199,593,169,325,
207,611,292,101,576,249,316,254,462,46,308,226,387,20,195,302,5,127,
260,183,40,441,612,322,549,73,272,309,193,126,562,391,77,277,137,116,
168,29,358,165,225,103,293,105,474,31,431,561,419,639,256,223,26,350,
629,620,320,312,215,432,321,483,572,513,594,16,352,512,456,122,261,255,
435,454,518,266,275,458,328,93,25,230,453,299,7,341,74,88,110,238,
427,83,149,8,182,14,155,558,314,520,613,356,166,532,422,87,628,269,
281,583,460,222,461,509,279,3,112,493,121,247,516,201,446,445,599,97,
49,198,364,192,502,559,605,252,552,175,367,188,152,268,372,603,384,151,
416,530,84,362,430,145,147,2,378,571,436,274,369,224,608,62,334,72,
566,417,380,438,399,60,81,551,359,172,148,355,241,296,329,118,393,210,
271,423,413,568,214,37,383,371,625,289,545,117,606,405,409,189,173,313,
232,237,450,80,330,22,63,56,490,291,375,348,310,146,610,107,181,235,
388,637,178,636,467,592,491,573,177,507,54,11,327,386,537,337,4,412,
510,523,141,499,525,368,36,570,102,306,617,265,635,539,124,379,377,455,
53,574,589,517,276,408,10,586,164,578,184,475,96,242,76,374,150,351,
78,503,186,157,466,55,345,332,342,82,404,496,13,125,204,486,622,335,
303,538,459,555,541,85,480,300,240,19,42,627,464,57,233,218,86,323,
442,407,361,58,216,258,259,287,45,108,171,569,597,598,640,158,495,449,
414,533,130,638,623,159,392,229,174,197,616,556,376,131,315,301,397,318,
553,521,234,370,12,91,203,360,452,134,514,524,511,161,390,59,30,353,
138,505,66,482,140,614,120,381,32,278,52,270,206,448,580,339,267,282,
163,401,479,477,92,317,221,591,239,550,114,286,180,488,331,357,75,333,
346,444,212,519,319,470,529,205,162,349,39,283,365,264,389,220,38,219,
468,621,35,109,246,70,546,508,481,565,366,160,153,194,526,136,406,619,
624,543,43,27,447,451,250,99,311,567,231,485,473,179,642,288,443,433,
585,6,463,98,527,560,615,501,68,44,497,305,135,156,457,418,476,439,
290,144,522,154,248,632,487,582,420,285,478),
(1,321,607,264,126,4,623,515,107,454,43,305,433,431,160,134,258,193,392,
641,256,267,114,20,463,336,109,58,483,80,364,608,453,76,627,461,219,
216,388,630,81,174,419,390,98,215,166,561,280,640,42,292,132,63,622,
480,394,112,589,274,199,289,549,3,366,465,619,471,135,108,335,21,548,
325,62,231,609,77,72,61,639,320,360,337,239,500,50,11,161,245,37,
558,497,218,340,236,370,363,93,552,68,220,385,429,222,428,482,308,313,
408,302,598,457,535,412,473,409,381,460,441,117,184,371,70,130,271,489,
115,55,243,339,424,127,86,374,442,48,585,49,590,170,206,530,284,459,
358,249,288,85,435,577,401,426,447,223,613,56,303,213,293,464,269,67,
186,187,26,131,513,434,322,90,24,373,567,329,233,191,221,54,230,250,
570,496,159,8,523,503,517,150,484,275,620,351,129,82,45,252,377,198,
525,238,618,402,514,562,526,44,596,440,142,638,494,196,40,592,110,74,
122,234,18,398,111,438,259,384,591,554,507,285,16,361,152,486,119,133,
113,628,477,140,66,386,406,582,415,445,403,307,69,263,612,546,314,202,
123,505,610,449,450,569,367,172,343,423,333,580,23,413,189,210,235,59,
201,551,348,387,278,177,352,106,430,466,46,587,51,588,194,262,550,509,
212,297,393,581,521,147,365,506,566,265,452,519,195,176,255,227,163,224,
101,179,38,334,228,323,328,154,208,414,207,251,416,568,84,543,273,266,
400,296,418,139,78,599,391,475,625,586,136,397,299,276,316,637,575,564,
559,27,405,574,311,88,615,301,528,501,165,17,171,270,633,87,347,437,
362,47,524,242,156,14,573,504,344,594,636,356,75,470,421,538,246,217,
462,555,6,248,420,417,175,9,560,183,28,272,556,153,578,527,300,173,
616,522,369,380,635,244,443,378,502,476,205,203,331,593,182,529,121,13,
632,510,372,29,315,2,214,32,541,495,379,286,603,277,94,169,451,572,
518,319,396,516,481,268,520,73,162,611,531,5,282,499,557,446,178,508,
103,439,180,89,12,100,600,181,382,444,71,404,595,537,411,294,157,512,
436,7,511,146,621,167,39,52,283,492,498,35,304,104,448,626,97,493,
92,253,260,395,310,237,485,158,309,53,579,226,389,148,261,330,324,346,
60,617,295,487,605,472,83,602,427,298,355,91,287,606,22,65,634,96,
279,345,534,204,407,211,491,318,145,425,229,432,102,291,357,540,642,571,
614,30,349,545,281,338,209,34,553,164,31,149,341,19,576,290,312,306,
375,488,247,410,57,583,327,478,151,399,326,241,376,383,544,143,539,10,
188,532,332,601,138,144,353,584,597,469,15,490,125,629,200,124,479,342,
225,99,41,232,565,192,254,455,36,536,624,547,456,197,533,128,458,190,
79,137,354,631,105,25,474,563,116,368,155,120,240,317,118,64,185,467,
542,359,33,350,257,141,95,604,422)]],
[3,Factorial(642)/2,1,"2",[[641,1]],640,"A_n",["A",642,1],642],
[4,Factorial(642),0,"2",[[641,1]],642,"S_n",["A",642,1],642]];
PRIMGRP[643]:=
[[1,Factorial(643)/2,1,"2",[[642,1]],641,"A_n",["A",643,1],643],
[2,Factorial(643),0,"2",[[642,1]],643,"S_n",["A",643,1],643]];
PRIMGRP[644]:=
[[1,132923532,1,"2",[[643,1]],2,"L2,643 on projective points.1",
["L",[2,643],1],
[(3,643,641,639,637,635,633,631,629,627,625,623,621,619,617,615,613,611,609,
607,605,603,601,599,597,595,593,591,589,587,585,583,581,579,577,575,573,
571,569,567,565,563,561,559,557,555,553,551,549,547,545,543,541,539,537,
535,533,531,529,527,525,523,521,519,517,515,513,511,509,507,505,503,501,
499,497,495,493,491,489,487,485,483,481,479,477,475,473,471,469,467,465,
463,461,459,457,455,453,451,449,447,445,443,441,439,437,435,433,431,429,
427,425,423,421,419,417,415,413,411,409,407,405,403,401,399,397,395,393,
391,389,387,385,383,381,379,377,375,373,371,369,367,365,363,361,359,357,
355,353,351,349,347,345,343,341,339,337,335,333,331,329,327,325,323,321,
319,317,315,313,311,309,307,305,303,301,299,297,295,293,291,289,287,285,
283,281,279,277,275,273,271,269,267,265,263,261,259,257,255,253,251,249,
247,245,243,241,239,237,235,233,231,229,227,225,223,221,219,217,215,213,
211,209,207,205,203,201,199,197,195,193,191,189,187,185,183,181,179,177,
175,173,171,169,167,165,163,161,159,157,155,153,151,149,147,145,143,141,
139,137,135,133,131,129,127,125,123,121,119,117,115,113,111,109,107,105,
103,101,99,97,95,93,91,89,87,85,83,81,79,77,75,73,71,69,
67,65,63,61,59,57,55,53,51,49,47,45,43,41,39,37,35,33,
31,29,27,25,23,21,19,17,15,13,11,9,7,5)(4,644,642,640,
638,636,634,632,630,628,626,624,622,620,618,616,614,612,610,608,606,604,
602,600,598,596,594,592,590,588,586,584,582,580,578,576,574,572,570,568,
566,564,562,560,558,556,554,552,550,548,546,544,542,540,538,536,534,532,
530,528,526,524,522,520,518,516,514,512,510,508,506,504,502,500,498,496,
494,492,490,488,486,484,482,480,478,476,474,472,470,468,466,464,462,460,
458,456,454,452,450,448,446,444,442,440,438,436,434,432,430,428,426,424,
422,420,418,416,414,412,410,408,406,404,402,400,398,396,394,392,390,388,
386,384,382,380,378,376,374,372,370,368,366,364,362,360,358,356,354,352,
350,348,346,344,342,340,338,336,334,332,330,328,326,324,322,320,318,316,
314,312,310,308,306,304,302,300,298,296,294,292,290,288,286,284,282,280,
278,276,274,272,270,268,266,264,262,260,258,256,254,252,250,248,246,244,
242,240,238,236,234,232,230,228,226,224,222,220,218,216,214,212,210,208,
206,204,202,200,198,196,194,192,190,188,186,184,182,180,178,176,174,172,
170,168,166,164,162,160,158,156,154,152,150,148,146,144,142,140,138,136,
134,132,130,128,126,124,122,120,118,116,114,112,110,108,106,104,102,100,
98,96,94,92,90,88,86,84,82,80,78,76,74,72,70,68,66,64,
62,60,58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,
26,24,22,20,18,16,14,12,10,8,6),
(1,2,324)(3,513,135)(4,393,254)(5,362,284)(6,23,622)(7,560,84)
(8,124,519)(9,614,28)(10,47,594)(11,207,433)(12,378,261)
(13,494,144)(14,295,342)(15,180,456)(16,237,398)(17,382,252)
(18,304,329)(19,244,388)(20,449,182)(21,125,505)(22,337,292)
(24,68,559)(25,583,43)(26,625,642)(27,462,162)(29,439,183)
(30,204,417)(31,361,259)(32,584,35)(33,76,542)(34,639,620)
(36,240,375)(37,343,271)(38,474,139)(39,133,479)(40,81,530)
(41,482,128)(42,501,108)(44,496,111)(45,131,475)(46,315,290)
(48,58,545)(49,527,75)(50,488,113)(51,328,272)(52,164,435)
(53,203,395)(54,601,638)(55,150,446)(56,85,510)(57,490,104)
(59,472,120)(60,279,312)(61,379,211)(62,268,321)(63,130,458)
(64,616,613)(65,623,605)(66,155,430)(67,136,448)(69,500,82)
(70,467,114)(71,471,109)(72,232,347)(73,407,171)(74,470,107)
(77,428,146)(78,348,225)(79,242,330)(80,159,412)(83,291,277)
(86,257,308)(87,267,297)(88,641,564)(89,580,624)(90,285,276)
(91,326,234)(92,123,436)(93,156,402)(94,335,222)(95,201,355)
(96,350,205)(97,384,170)(98,275,278)(99,296,256)(100,450,101)
(102,341,208)(103,590,600)(105,187,359)(106,572,615)(110,116,425)
(112,346,193)(115,137,399)(117,251,283)(118,567,608)(119,229,303)
(121,599,573)(122,366,163)(126,194,331)(127,230,294)(129,524,640)
(132,210,309)(134,349,168)(138,563,592)(140,316,195)(141,265,245)
(142,281,228)(143,523,627)(145,243,263)(147,606,540)(148,579,566)
(149,188,314)(151,238,262)(152,604,537)(153,274,224)(154,635,504)
(157,310,184)(158,591,544)(160,598,535)(161,325,165)(166,607,520)
(167,258,226)(169,515,609)(172,191,288)(173,517,603)(174,610,509)
(175,196,280)(176,589,528)(177,577,539)(178,574,541)(179,239,233)
(181,578,534)(185,219,247)(186,621,486)(189,227,235)(190,518,585)
(192,468,633)(197,206,248)(198,548,547)(199,628,466)(200,512,581)
(202,498,593)(209,619,465)(212,525,556)(213,484,596)(214,221,216)
(215,441,637)(218,493,582)(220,571,502)(223,532,538)(231,444,618)
(236,489,568)(241,575,477)(246,492,555)(249,511,533)(250,411,632)
(253,445,595)(255,644,394)(260,404,629)(264,551,478)(266,631,396)
(269,587,437)(270,636,387)(273,408,612)(282,526,485)(286,643,364)
(287,617,389)(289,461,543)(293,447,553)(298,552,443)(299,514,480)
(300,570,423)(301,416,576)(302,536,455)(305,611,377)(306,353,634)
(307,546,440)(311,626,356)(313,554,426)(317,454,522)(318,406,569)
(319,344,630)(320,597,376)(322,557,414)(323,487,483)(327,380,586)
(332,508,453)(333,602,358)(334,460,499)(336,369,588)(338,491,464)
(339,438,516)(340,391,562)(345,419,529)(351,381,561)(352,549,392)
(354,418,521)(357,565,371)(360,457,476)(363,558,372)(365,397,531)
(367,506,420)(368,452,473)(370,373,550)(374,495,424)(383,507,403)
(385,405,503)(386,410,497)(390,481,422)(400,442,451)(401,429,463)
(409,469,415)(413,421,459)(427,434,432)]],
[2,265847064,0,"2",[[643,1]],3,"L2,643 on projective points.2",
["L",[2,643],1],
[(1,109,19,467,262,4,279,261,358,410,145,608,56,590,280,527,41,283,372,
30,24,31,622,615,588,169,330,444,211,238,20,626,392,530,402,97,25,
491,16,249,22,603,57,578,117,539,589,404,83,452,195,146,328,515,430,
189,506,370,357,427,371,172,119,548,323,49,270,89,292,295,111,275,546,
520,453,389,341,289,268,393,441,598,102,300,153,440,390,469,360,316,449,
193,136,124,293,183,223,54,376,528,141,385,605,326,521,244,299,265,377,
459,334,395,476,517,577,583,235,21,473,542,62,46,570,487,216,562,424,
13,505,483,429,298,273,294,175,104,142,465,196,64,307,511,343,426,219,
413,317,544,636,346,234,38,73,87,607,215,631,391,191,100,108,497,613,
566,436,95,477,534,460,604,565,230,366,201,257,42,182,303,180,28,369,
394,587,256,581,264,575,126,151,492,340,217,338,478,263,319,154,290,597,
558,60,628,43,425,84,596,549,23,412,420,329,129,531,305,555,433,447,
482,286,174,526,618,203,107,301,94,177,9,213,456,324,55,378,416,345,
226,247,222,91,37,15,507,96,600,304,33,592,474,458,620,47,499,285,
579,585,3,44,125,186,61,143,255,221,276,641,194,557,135,379,634,144,
466,297,337,227,396,384,327,71,204,160,51,130,80,367,220,418,564,79,
127,252,231,179,131,67,642,616,245,409,225,228,431,250,471,197,614,401,
348,149,93,163,150,14,331,90,5,192,374,325,68,437,116,573,623,403,
584,463,559,498,271,504,29,495,423,118,632,128,536,500,282,309,76,190,
351,574,547,540,489,496,490,148,237,479,635,240,572,464,554,375,110,162,
259,241,516,258,53,501,411,2,339,450,625,310,139,59,167,364,17,322,
359,508,494,383,568,417,344,514,85,352,518,152,58,630,525,448,624,50,
386,170,602,320,561,468,155,332,243,347,39,349,101,432,397,302,493,157,
442,434,164,457,69,133,114,185,336,509,638,541,318,438,158,284,567,599,
208,121,251,159,643,140,253,640,311,66,472,40,115,556,414,373,35,313,
187,610,398,533,281,382,553,99,291,354,428,633,248,576,199,7,445,342,
619,502,443,355,611,45,550,266,569,36,34,388,288,415,439,8,627,233,
582,206,278,510,246,214,32,98,65,407,112,400,74,296,545,591,308,523,
315,260,205,639,212,571,617,224,446,120,408,113,455,422,488,306,274,10,
242,314,580,287,535,512,81,105,232,132,486,484,593,254,612,475,551,165,
77,18,543,178,75,513,321,586,272,529,92,166,229,421,609,138,239,629,
122,552,333,207,485,147,106,606,405,480,48,454,209,522,267,380,519,361,
269,399,312,563,595,236,362,82,202,621,524,11,184,335,406,387,451,63,
356,86,78,363,27,218,123,88,419,171,481,173,277,188,365,52,601,200,
560,350,134,470,538,72,637,532,462,368,644,168,435,6,176,103,594,137,
26,12,161,198,503,156,353,461,381,210,537,70,181),
(1,302,260,545,105,266,226,129,297,153,329,424,492,507,128,317,541,604,494,
163,524,630,529,617,583,189,91,130,599,164,633,30,574,180,146,234,133,
239,600,269,159,222,446,635,256,271,339,434,610,466,634,537,497,16,218,
503,461,2,643,319,608,631,611,379,356,480,231,360,199,116,112,449,148,
343,593,416,365,177,481,38,42,295,386,90,517,299,359,499,96,575,526,
355,174,561,63,62,24,440,276,262,337,309,587,88,463,350,585,540,601,
427,351,26,572,298,538,22,93,195,213,131,478,516,138,293,627,124,13,
275,119,399,23,60,181,552,304,196,613,479,469,496,441,185,230,277,107,
354,156,214,94,622,518,241,539,8,391,250,473,306,184,68,573,554,396,
73,192,117,57,315,77,11,103,429,171,40,341,274,508,111,320,612,566,
221,104,560,67,65,165,580,626,389,186,597,556,39,106,450,467,361,219,
232,534,462,546,216,126,326,456,603,605,268,288,318,382,187,75,331,472,
418,421,638,405,491,428,616,536,161,330,70,390,208,252,521,122,92,523,
101,72,194,169,609,596,179,7,123,557,505,327,490,173,66,135,310,606,
362,71,620,340,406,565,85,504,292,324,460,493,482,78,484,244,636,215,
182,280,74,175,380,415,368,172,289,621,76,618,35,87,140,118,595,248,
430,502,220,84,287,19,535,369,417,312,144,308,509,109,527,100,265,375,
305,41,344,115,311,642,397,235,551,371,387,134,514,238,352,414,149,257,
485,370,363,442,425,89,438,253,52,328,251,233,562,410,263,563,193,447,
431,378,286,559,210,558,243,624,139,520,205,553,204,477,385,332,316,570,
200,500,353,201,530,512,435,69,510,325,32,338,321,400,393,278,506,614,
349,411,525,249,629,376,392,212,528,366,121,452,6,419,80,458,388,498,
21,236,12,254,455,619,451,346,394,228,102,476,37,543,261,333,515,168,
3,623,34,86,145,45,142,474,591,395,348,383,588,47,483,581,548,127,
519,279,43,281,270,303,439,471,259,36,198,357,423,143,50,401,157,453,
628,55,590,273,436,258,206,640,114,584,167,154,594,569,49,20,240,29,
641,242,511,555,373,51,433,602,227,147,335,272,358,125,342,345,291,432,
46,576,381,445,475,495,158,160,307,437,637,547,217,301,229,531,544,402,
296,313,15,82,207,166,577,374,137,183,598,56,54,203,17,542,197,151,
443,10,255,489,422,81,592,334,18,110,44,448,64,4,571,48,367,209,
190,53,579,457,290,513,372,113,224,522,245,141,27,549,607,409,14,486,
533,578,322,267,294,284,150,567,459,211,582,61,98,364,644,488,108,639,
136,470,625,247,285,632,550,568,28,99,225,465,191,95,412,336,162,223,
178,413,300,33,176,454,426,501,487,323,97,59,58,202,589,408,237,188,
25,264,404,464,246,31,377,468,79,83,282,586,398,347,170,420,615,314,
9,5,564,403,532,283,407,384,152,132,155,444,120)]],
[3,Factorial(644)/2,1,"2",[[643,1]],642,"A_n",["A",644,1],644],
[4,Factorial(644),0,"2",[[643,1]],644,"S_n",["A",644,1],644]];
PRIMGRP[645]:=
[[1,Factorial(645)/2,1,"2",[[644,1]],643,"A_n",["A",645,1],645],
[2,Factorial(645),0,"2",[[644,1]],645,"S_n",["A",645,1],645]];
PRIMGRP[646]:=
[[1,Factorial(646)/2,1,"2",[[645,1]],644,"A_n",["A",646,1],646],
[2,Factorial(646),0,"2",[[645,1]],646,"S_n",["A",646,1],646]];
PRIMGRP[647]:=
[[1,Factorial(647)/2,1,"2",[[646,1]],645,"A_n",["A",647,1],647],
[2,Factorial(647),0,"2",[[646,1]],647,"S_n",["A",647,1],647]];
PRIMGRP[648]:=
[[1,135419688,1,"2",[[647,1]],2,"L2,647 on projective points.1",
["L",[2,647],1],
[(3,647,645,643,641,639,637,635,633,631,629,627,625,623,621,619,617,615,613,
611,609,607,605,603,601,599,597,595,593,591,589,587,585,583,581,579,577,
575,573,571,569,567,565,563,561,559,557,555,553,551,549,547,545,543,541,
539,537,535,533,531,529,527,525,523,521,519,517,515,513,511,509,507,505,
503,501,499,497,495,493,491,489,487,485,483,481,479,477,475,473,471,469,
467,465,463,461,459,457,455,453,451,449,447,445,443,441,439,437,435,433,
431,429,427,425,423,421,419,417,415,413,411,409,407,405,403,401,399,397,
395,393,391,389,387,385,383,381,379,377,375,373,371,369,367,365,363,361,
359,357,355,353,351,349,347,345,343,341,339,337,335,333,331,329,327,325,
323,321,319,317,315,313,311,309,307,305,303,301,299,297,295,293,291,289,
287,285,283,281,279,277,275,273,271,269,267,265,263,261,259,257,255,253,
251,249,247,245,243,241,239,237,235,233,231,229,227,225,223,221,219,217,
215,213,211,209,207,205,203,201,199,197,195,193,191,189,187,185,183,181,
179,177,175,173,171,169,167,165,163,161,159,157,155,153,151,149,147,145,
143,141,139,137,135,133,131,129,127,125,123,121,119,117,115,113,111,109,
107,105,103,101,99,97,95,93,91,89,87,85,83,81,79,77,75,73,
71,69,67,65,63,61,59,57,55,53,51,49,47,45,43,41,39,37,
35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)
(4,648,646,644,642,640,638,636,634,632,630,628,626,624,622,620,618,616,
614,612,610,608,606,604,602,600,598,596,594,592,590,588,586,584,582,580,
578,576,574,572,570,568,566,564,562,560,558,556,554,552,550,548,546,544,
542,540,538,536,534,532,530,528,526,524,522,520,518,516,514,512,510,508,
506,504,502,500,498,496,494,492,490,488,486,484,482,480,478,476,474,472,
470,468,466,464,462,460,458,456,454,452,450,448,446,444,442,440,438,436,
434,432,430,428,426,424,422,420,418,416,414,412,410,408,406,404,402,400,
398,396,394,392,390,388,386,384,382,380,378,376,374,372,370,368,366,364,
362,360,358,356,354,352,350,348,346,344,342,340,338,336,334,332,330,328,
326,324,322,320,318,316,314,312,310,308,306,304,302,300,298,296,294,292,
290,288,286,284,282,280,278,276,274,272,270,268,266,264,262,260,258,256,
254,252,250,248,246,244,242,240,238,236,234,232,230,228,226,224,222,220,
218,216,214,212,210,208,206,204,202,200,198,196,194,192,190,188,186,184,
182,180,178,176,174,172,170,168,166,164,162,160,158,156,154,152,150,148,
146,144,142,140,138,136,134,132,130,128,126,124,122,120,118,116,114,112,
110,108,106,104,102,100,98,96,94,92,90,88,86,84,82,80,78,76,
74,72,70,68,66,64,62,60,58,56,54,52,50,48,46,44,42,40,
38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6),
(1,2,326)(3,168,484)(4,448,203)(5,608,42)(6,590,59)(7,145,503)
(8,389,258)(9,538,108)(10,276,369)(11,319,325)(12,461,182)
(13,627,15)(14,278,363)(16,141,498)(17,252,386)(18,454,183)
(19,212,424)(20,73,562)(21,111,523)(22,604,29)(23,378,254)
(24,404,227)(25,639,637)(26,56,573)(27,280,348)(28,356,271)
(30,416,209)(31,536,88)(32,130,493)(33,72,550)(34,220,401)
(35,494,126)(36,67,552)(37,467,151)(38,267,350)(39,120,496)
(40,301,314)(41,74,540)(43,146,466)(44,647,610)(45,169,441)
(46,491,118)(47,353,255)(48,630,623)(49,262,344)(50,250,355)
(51,117,487)(52,408,195)(53,504,98)(54,537,64)(55,426,174)
(57,349,249)(58,476,121)(60,106,489)(61,312,282)(62,646,593)
(63,82,510)(65,383,207)(66,464,125)(68,412,175)(69,277,309)
(70,113,472)(71,147,437)(75,243,337)(76,307,272)(77,423,155)
(78,413,164)(79,596,626)(80,482,93)(81,192,382)(83,364,208)
(84,109,462)(85,447,123)(86,95,474)(87,110,458)(89,167,399)
(90,579,632)(91,234,330)(92,317,246)(94,300,261)(96,318,241)
(97,219,339)(99,225,331)(100,585,616)(101,281,273)(102,580,619)
(103,310,242)(104,287,264)(105,257,293)(107,133,415)(112,578,611)
(114,643,544)(115,598,588)(116,621,564)(119,231,305)(122,173,360)
(124,393,138)(127,392,136)(128,377,150)(129,541,631)(131,323,201)
(132,285,238)(134,197,324)(135,298,222)(137,286,232)(139,184,332)
(140,291,224)(142,570,589)(143,171,341)(144,217,294)(148,599,554)
(149,507,645)(152,268,235)(153,284,218)(154,511,636)(156,532,613)
(157,336,162)(158,617,526)(159,522,620)(160,189,306)(161,606,534)
(163,546,592)(165,535,601)(166,210,279)(170,572,559)(172,290,193)
(176,594,531)(177,265,213)(178,557,566)(179,181,295)(180,539,582)
(185,615,501)(186,506,609)(187,247,221)(188,586,527)(190,543,568)
(191,640,470)(194,542,565)(196,245,214)(198,634,469)(199,256,200)
(202,223,230)(204,648,449)(205,567,529)(206,216,233)(211,483,607)
(215,505,581)(226,597,478)(228,440,633)(229,575,497)(236,622,443)
(237,519,545)(239,574,488)(240,584,477)(244,600,457)(248,628,425)
(251,432,618)(253,485,563)(259,528,514)(260,525,516)(263,644,394)
(266,400,635)(269,587,445)(270,460,571)(274,629,398)(275,524,502)
(283,376,642)(288,569,444)(289,374,638)(292,479,530)(296,624,381)
(297,402,602)(299,605,397)(302,385,614)(303,595,403)(304,372,625)
(308,390,603)(311,481,509)(313,433,555)(315,409,577)(316,495,490)
(320,468,513)(321,427,553)(322,418,561)(327,333,641)(328,455,518)
(329,521,451)(334,556,411)(335,560,406)(338,351,612)(340,591,370)
(342,549,410)(343,375,583)(345,576,380)(346,463,492)(347,421,533)
(352,558,391)(354,517,430)(357,471,473)(358,435,508)(359,395,547)
(361,512,428)(362,480,459)(365,548,388)(366,515,420)(367,520,414)
(368,499,434)(371,551,379)(373,442,486)(384,500,417)(387,475,439)
(396,453,452)(405,465,431)(407,456,438)(419,436,446)(422,429,450)]],
[2,270839376,0,"2",[[647,1]],3,"L2,647 on projective points.2",
["L",[2,647],1],
[(1,568,539,637,31,521,358,161,159,523,208,154,97,98,139,515,41,32,113,
37,433,238,428,495,145,35,205,421,78,348,152,209,604,327,190,193,564,
57,267,128,297,284,522,401,514,313,415,371,563,386,609,272,532,520,471,
635,59,14,350,287,23,546,437,353,259,625,228,243,472,69,194,572,310,
346,482,381,18,512,469,578,126,26,363,524,543,265,406,579,547,505,544,
453,200,360,378,115,223,314,323,236,125,70,527,289,40,226,340,487,606,
379,584,357,476,623,91,277,28,436,247,192,81,640,3,94,202,585,603,
117,510,419,458,416,384,557,52,420,439,600,291,191,385,494,451,299,582,
481,617,7,391,123,248,491,74,89,338,58,610,526,417,294,30,613,303,
258,328,492,443,431,45,354,577,400,592,548,4,449,562,441,33,20,189,
50,260,399,124,127,636,359,108,165,615,239,542,112,282,172,468,535,79,
530,280,204,285,276,448,178,219,220,163,109,440,158,156,605,442,286,326,
424,395,2,368,634,76,29,169,375,51,304,64,86,608,529,322,387,173,
114,317,370,335,432,254,528,534,150,364,17,100,72,404,106,508,555,227,
426,233,334,538,111,602,16,444,499,216,639,119,157,498,493,489,403,9,
504,12,484,120,480,517,147,457,589,422,397,290,292,516,466,393,627,412,
164,525,130,55,250,88,587,281,405,333,318,573,642,138,511,631,182,66,
60,414,295,473,143,242,110,345,306,316,500,268,261,275,96,445,320,53,
99,73,342,183,131,80,293,632,129,225,133,377,633,460,10,398,388,274,
409,68,488,271,594,509,319,263,296,624,105,394,423,362,343,279,365,62,
118,596,513,34,590,344,87,39,477,256,349,502,19,195,246,151,372,83,
15,341,196,648,107,104,383,325,95,382,407,141,146,612,175,561,501,533,
347,418,626,273,168,380,410,77,162,224,456,140,5,269,116,47,6,232,
8,366,185,413,536,567,574,552,137,215,65,571,478,467,82,103,607,611,
352,356,214,235,496,485,392,252,102,180,411,389,396,427,550,132,597,309,
85,311,270,201,48,312,177,507,93,155,240,553,583,149,44,337,545,616,
430,462,402,142,351,171,176,556,581,222,638,580,213,210,315,121,622,302,
234,591,166,71,122,298,461,614,61,486,278,230,619,373,283,450,367,199,
255,598,38,620,601,540,569,212,339,21,54,644,454,369,46,475,249,554,
43,575,565,307,503,330,586,184,92,188,331,24,237,186,134,621,244,218,
264,643,518,221,42,56,49,463,647,11,618,207,75,174,490,22,549,257,
251,135,332,452,179,321,390,645,630,558,36,376,229,67,262,187,438,153,
551,336,570,497,447,25,27,566,541,374,506,170,446,483,197,479,305,459,
308,560,474,470,465,160,198,324,101,464,519,301,361,206,425,629,84,537,
90,408,455,211,559,245,217,300,599,167,429,435,63,531,628,593,646,203,
144,576,641,434,355,231,253,13,266,588,148,288,241,329,595),
(1,600,136,471,208,531,341,204,318,401,12,182,212,345,413,22,276,54,539,
250,131,89,632,48,273,18,488,412,261,27,97,94,215,198,562,4,482,
585,127,33,308,76,125,25,23,556,404,128,168,62,21,437,61,592,320,
339,397,451,427,620,581,241,547,508,55,31,85,143,162,536,421,45,461,
420,314,354,78,572,459,457,357,406,174,449,355,543,646,478,566,284,267,
388,385,455,221,70,640,464,209,434,496,393,351,232,589,428,206,460,69,
137,270,300,470,81,164,278,141,597,274,11,346,528,2,325,366,202,283,
529,400,135,65,344,75,380,178,303,114,310,200,587,169,520,230,58,74,
334,47,440,379,448,113,466,487,363,332,17,3,492,145,223,350,271,35,
443,567,356,330,382,165,49,446,226,468,596,293,175,272,257,73,644,238,
68,416,99,638,485,338,197,513,557,111,360,559,364,515,159,472,192,37,
32,335,8,194,50,538,475,618,614,436,392,104,38,297,540,56,239,53,
231,292,574,565,342,24,630,248,218,13,93,605,399,191,181,59,112,187,
467,266,133,395,269,180,193,134,309,418,537,517,217,329,595,233,391,425,
626,167,375,79,286,88,5,176,96,497,219,438,560,254,72,161,19,419,
146,29,602,402,396,623,258,305,101,548,9,430,439,494,98,110,343,255,
486,645,573,92,331,201,516,405,163,253,637,6,617,509,183,222,604,115,
373,549,454,633,452,534,535,160,171,415,625,123,275,51,236,570,552,530,
374,603,326,422,294,500,481,607,353,262,624,333,277,501,124,240,635,387,
121,324,184,155,551,616,142,279,105,544,328,519,84,296,456,606,639,411,
268,578,610,545,362,312,376,507,622,462,575,582,237,166,195,542,117,235,
480,130,442,499,527,564,601,629,40,352,648,247,365,586,287,316,245,546,
553,20,506,621,106,170,120,583,518,550,214,71,489,522,26,186,398,609,
154,584,377,203,340,512,577,327,298,158,361,95,493,242,358,627,205,149,
504,220,129,521,647,628,188,60,156,525,108,598,576,558,246,431,207,359,
503,67,311,322,593,594,30,495,28,579,109,367,524,260,299,619,511,476,
491,229,319,77,612,281,151,390,555,483,642,227,139,372,384,634,43,52,
473,580,381,177,224,505,86,80,526,453,336,63,463,321,410,228,568,44,
263,631,386,306,477,394,196,403,107,315,502,57,91,249,533,153,265,611,
591,64,173,348,289,302,213,87,349,216,15,295,370,423,301,291,83,523,
389,469,264,234,498,458,140,563,554,190,251,429,243,426,588,185,444,378,
90,46,514,510,7,590,432,288,474,147,450,445,290,10,323,613,118,569,
122,371,571,615,285,144,643,490,383,66,414,244,484,409,225,210,307,189,
532,14,256,36,433,317,100,152,126,561,39,447,211,132,259,337,636,479,
465,150,119,641,16,369,34,103,42,435,148,408,424,252,608,313,541,282,
172,368,179,304,102,407,138,417,347,82,599,199,280,116,157)]],
[3,Factorial(648)/2,1,"2",[[647,1]],646,"A_n",["A",648,1],648],
[4,Factorial(648),0,"2",[[647,1]],648,"S_n",["A",648,1],648]];
PRIMGRP[649]:=
[[1,Factorial(649)/2,1,"2",[[648,1]],647,"A_n",["A",649,1],649],
[2,Factorial(649),0,"2",[[648,1]],649,"S_n",["A",649,1],649]];
PRIMGRP[650]:=
[[1,Factorial(650)/2,1,"2",[[649,1]],648,"A_n",["A",650,1],650],
[2,Factorial(650),0,"2",[[649,1]],650,"S_n",["A",650,1],650]];
PRIMGRP[651]:=
[[1,20158709760,1,"2",[[90,1],[560,1]],1,"L6,2#651.1",["L",
[6,2],1],
[(16,17)(18,19)(20,21)(22,23)(24,25)(26,27)(28,29)(30,31)
(46,47)(48,49)(50,51)(52,53)(54,55)(56,57)(58,59)(60,61)
(76,77)(78,79)(80,81)(82,83)(84,85)(86,87)(88,89)(90,91)
(104,105)(106,107)(108,109)(110,111)(112,113)(114,115)(116,117)(118,119)
(132,133)(134,135)(136,137)(138,139)(140,141)(142,143)(144,145)(146,147)
(160,161)(162,163)(164,165)(166,167)(168,169)(170,171)(172,173)(174,175)
(188,189)(190,191)(192,193)(194,195)(196,197)(198,199)(200,201)(202,203)
(212,213)(214,215)(216,217)(218,219)(220,221)(222,223)(224,225)(226,227)
(236,237)(238,239)(240,241)(242,243)(244,245)(246,247)(248,249)(250,251)
(260,261)(262,263)(264,265)(266,267)(268,269)(270,271)(272,273)(274,275)
(284,285)(286,287)(288,289)(290,291)(292,293)(294,295)(296,297)(298,299)
(308,309)(310,311)(312,313)(314,315)(316,317)(318,319)(320,321)(322,323)
(332,333)(334,335)(336,337)(338,339)(340,341)(342,343)(344,345)(346,347)
(356,357)(358,359)(360,361)(362,363)(364,365)(366,367)(368,369)(370,371)
(380,381)(382,383)(384,385)(386,387)(388,389)(390,391)(392,393)(394,395)
(412,413)(414,415)(416,417)(418,419)(420,421)(422,423)(424,425)(426,427)
(428,429)(430,431)(432,433)(434,435)(436,437)(438,439)(440,441)(442,443)
(444,445)(446,447)(448,449)(450,451)(452,453)(454,455)(456,457)(458,459)
(460,461)(462,463)(464,465)(466,467)(468,469)(470,471)(472,473)(474,475)
(476,477)(478,479)(480,481)(482,483)(484,485)(486,487)(488,489)(490,491)
(492,493)(494,495)(496,497)(498,499)(500,501)(502,503)(504,505)(506,507)
(508,509)(510,511)(512,513)(514,515)(516,517)(518,519)(520,521)(522,523)
(524,525)(526,527)(528,529)(530,531)(532,533)(534,535)(536,537)(538,539)
(540,541)(542,543)(544,545)(546,547)(548,549)(550,551)(552,553)(554,555)
(556,557)(558,559)(560,561)(562,563)(564,565)(566,567)(568,569)(570,571)
(572,573)(574,575)(576,577)(578,579)(580,581)(582,583)(584,585)(586,587)
(588,589)(590,591)(592,593)(594,595)(596,597)(598,599)(600,601)(602,603)
(604,605)(606,607)(608,609)(610,611)(612,613)(614,615)(616,617)(618,619)
(620,621)(622,623)(624,625)(626,627)(628,629)(630,631)(632,633)(634,635)
(636,637)(638,639)(640,641)(642,643)(644,645)(646,647)(648,649)(650,651),
(1,32,92,204,396,16)(2,34,96,212,8,46)(3,35,97,213,404,76)
(4,38,104)(5,39,105,220,68,132)(6,40,106,208,400,160)
(7,41,107,221,408,188)(9,47,112,64,124,236)(10,48,100,216,152,260)
(11,49,113,224,180,284)(12,50,94,206,398,308)(13,51,114,210,402,332)
(14,52,101,217,406,356)(15,53,115,225,410,380)(17,54,62,120,228,412)
(18,42,108,148,252,428)(19,55,116,176,276,444)(20,36,98,214,300,460)
(21,56,102,218,324,476)(22,43,109,222,348,492)(23,57,117,226,372,508)
(24,33,93,205,397,524)(25,58,95,207,399,540)(26,44,110,209,401,556)
(27,59,118,211,403,572)(28,37,99,215,405,588)(29,60,103,219,407,604)
(30,45,111,223,409,620)(31,61,119,227,411,636)(63,121,229,413,525,84)
(65,125,237,420,77,140)(66,126,238,301,461,164)(67,127,239,421,589,200)
(69,133,244)(70,134,232,416,161,268)(71,135,245,424,189,292)
(72,136,149,253,429,310)(73,137,246,349,493,338)(74,138,233,417,557,366)
(75,139,247,425,621,394)(78,128,240,153,261,436)(79,141,248,181,285,452)
(80,122,230,414,309,468)(81,142,234,418,333,484)(82,129,241,422,357,500)
(83,143,249,426,381,516)(85,144,177,277,445,543)(86,130,242,325,477,561)
(87,145,250,373,509,579)(88,123,231,415,541,597)(89,146,235,419,573,615)
(90,131,243,423,605,633)(91,147,251,427,637,651)(150,254,430,526,532,168)
(151,255,431,542,533,196)(154,262)(155,263,437,358,186,290)(156,264,302,462,
528,316)(157,265,438,590,536,340)(158,266,326,478,529,364)(159,267,439,606,
537,388)(162,256,432)(163,269,440,190,280,448)(165,270,182,286,327,479)
(166,257,433,334,353,497)(167,271,441,382,379,515)(169,272,350,494,530,548)
(170,258,434,558,534,564)(171,273,442,622,538,580)(172,178,278,446,527,596)
(173,274,374,510,531,612)(174,259,435,574,535,628)(175,275,443,638,539,644)
(179,279,447,311,469,192)(183,287,453,607,201,298)(184,288,303,463,560,318)
(185,289,454,591,632,346)(187,291,455,359,501,386)(191,293,456)
(193,294,375,511,339,487)(194,281,449,575,367,505)(195,295,457,639,395,523)
(197,296,351,495,578,551)(198,282,450,559,614,569)(199,297,458,623,650,587)
(202,283,451,335,485,625)(203,299,459,383,517,643)(304,464,312)(305,465,336)
(306,466,544,317,472,360)(307,467,576,319,473,384)(313,470,592,320,328,480)
(314,352,496)(315,471,624,322,376,512)(321,474,608)(323,475,640)
(329,481,577,599,600,344)(330,482,545,613,601,368)(331,483,337,486,593,392)
(341,488,361,502,594,552)(342,377,513,563,598,568)(343,489,641,635,602,584)
(345,490,609,649,603,616)(347,491,385,518,595,648)(354,498,546,549,629,370)
(355,499,562,550,565,390)(362,378,514,547,365,504)(363,503,642,555,389,520)
(369,506,610,553,645,619)(371,507,626,554,581,647)(387,519)(391,521,627,634,
586,583)(393,522,611)(567,646,571,630,570,582)(585,631,618)]],
[2,50778000000,1,"2",[[650,1]],2,"L3,25 on projective points.1",
["L",[3,25],1],
[(3,7,8,9,10,11,4,12,13,14,15,16,5,17,18,19,20,21,6,
22,23,24,25,26)(28,50,48,31,45,43,30,40,38,29,35,33)
(32,51,49,47,46,44,42,41,39,37,36,34)(52,627,602,577,552,527,
127,502,477,452,427,402,102,377,352,327,302,277,77,252,227,202,177,152)
(53,650,623,581,570,543,130,515,488,454,435,408,103,400,373,331,320,293,
80,265,238,204,185,158)(54,635,608,578,575,548,131,520,493,455,440,413,
104,385,358,328,325,298,81,270,243,205,190,163)(55,640,613,579,560,533,
128,525,498,456,445,418,105,390,363,329,310,283,78,275,248,206,195,168)
(56,645,618,580,565,538,129,510,483,453,450,423,106,395,368,330,315,288,
79,260,233,203,200,173)(57,651,624,597,571,544,142,516,489,462,436,409,
107,401,374,347,321,294,92,266,239,212,186,159)(58,628,625,598,556,545,
143,505,490,463,429,410,108,378,375,348,306,295,93,255,240,213,179,160)
(59,632,626,599,572,546,144,517,491,464,437,411,109,382,376,349,322,296,
94,267,241,214,187,161)(60,633,603,600,573,531,145,518,480,465,438,404,
110,383,353,350,323,281,95,268,230,215,188,154)(61,634,607,601,574,547,
146,519,492,466,439,412,111,384,357,351,324,297,96,269,242,216,189,162)
(62,636,609,582,576,549,147,521,494,467,441,414,112,386,359,332,326,299,
97,271,244,217,191,164)(63,629,610,583,553,550,148,506,495,468,430,415,
113,379,360,333,303,300,98,256,245,218,180,165)(64,637,611,584,557,551,
149,522,496,469,442,416,114,387,361,334,307,301,99,272,246,219,192,166)
(65,638,604,585,558,528,150,523,481,470,443,405,115,388,354,335,308,278,
100,273,231,220,193,155)(66,639,612,586,559,532,151,524,497,471,444,417,
116,389,362,336,309,282,101,274,247,221,194,167)(67,641,614,587,561,534,
132,526,499,472,446,419,117,391,364,337,311,284,82,276,249,222,196,169)
(68,630,615,588,554,535,133,503,500,473,431,420,118,380,365,338,304,285,
83,253,250,223,181,170)(69,642,616,589,562,536,134,507,501,474,447,421,
119,392,366,339,312,286,84,257,251,224,197,171)(70,643,605,590,563,529,
135,508,478,475,448,406,120,393,355,340,313,279,85,258,228,225,198,156)
(71,644,617,591,564,537,136,509,482,476,449,422,121,394,367,341,314,287,
86,259,232,226,199,172)(72,646,619,592,566,539,137,511,484,457,451,424,
122,396,369,342,316,289,87,261,234,207,201,174)(73,631,620,593,555,540,
138,504,485,458,428,425,123,381,370,343,305,290,88,254,235,208,178,175)
(74,647,621,594,567,541,139,512,486,459,432,426,124,397,371,344,317,291,
89,262,236,209,182,176)(75,648,606,595,568,530,140,513,479,460,433,403,
125,398,356,345,318,280,90,263,229,210,183,153)(76,649,622,596,569,542,
141,514,487,461,434,407,126,399,372,346,319,292,91,264,237,211,184,157),
(1,2,27,102,105,3,28,77,104,131,54,129,128,80,4,29,127,106,53,
81,56,55,5,30)(6,31,52,103,79,130)(7,32,427,118,339,175,590,
638,322,226,454,149,266,567,294,361,623,509,187,231,70,485,421,380)
(8,33,527,122,209,196,382,442,289,173,504,151,474,263,307,440,632,432,
445,481,60,407,444,355)(9,34,177,108,547,215,643,348,518,343,329,144,
370,493,342,285,413,314,174,256,71,401,468,330)(10,35,402,117,287,251,
462,237,248,514,154,137,240,644,374,259,197,221,383,531,62,245,488,305)
(11,36,602,125,599,268,333,545,501,472,204,139,162,246,384,182,435,419,
366,556,63,323,517,280)(12,37,227,110,417,288,309,200,591,561,604,135,
422,210,410,418,340,648,510,406,57,433,549,255)(13,38,302,113,313,310,
414,158,538,319,354,145,500,582,451,471,393,338,311,606,65,641,562,230)
(14,39,152,107,443,341,571,397,208,540,629,136,610,426,470,497,212,247,
222,206,69,375,597,205)(15,40,627,126,469,367,286,621,399,260,404,147,
214,170,486,608,536,611,613,306,73,511,609,180)(16,41,552,123,521,395,
494,368,337,232,429,148,526,473,523,525,583,535,423,506,61,615,639,155)
(17,42,277,112,235,411,626,457,446,392,279,142,292,283,543,345,492,291,
569,356,75,589,165,630)(18,43,327,114,157,434,185,409,184,195,479,150,
584,191,565,637,244,358,546,381,76,459,186,605)(19,44,352,115,651,458,
550,585,425,600,579,134,188,325,596,398,520,499,264,156,67,297,225,580)
(20,45,477,120,495,498,524,265,645,484,179,138,318,336,622,217,300,595,
482,431,58,537,241,555)(21,46,377,116,573,507,447,211,617,296,379,146,
396,390,650,588,321,387,234,181,68,349,258,530)(22,47,202,109,183,539,
163,324,257,437,229,140,636,614,166,564,164,168,350,581,64,167,298,505)
(23,48,502,121,391,572,216,566,560,424,254,141,558,534,189,169,376,467,
290,631,66,563,320,480)(24,49,252,111,625,587,242,301,465,633,529,132,
448,522,213,326,466,576,476,456,59,193,351,455)(25,50,577,124,261,619,
373,519,369,363,304,143,344,362,233,541,559,190,642,281,72,219,357,430)
(26,51,452,119,365,649,270,489,161,616,554,133,532,449,262,249,274,275,
593,331,74,271,385,405)(82,438,315,647,218,328,84,198,512,239,171,378,
86,620,483,551,475,578,94,360,416,574,267,278)(83,542,293,335,415,628,
96,386,624,269,359,178,98,516,557,450,601,453,89,172,220,487,238,303)
(85,412,236,618,347,203,99,276,463,316,570,478,90,646,400,598,508,528,
92,282,439,159,194,353)(87,250,592,295,491,553,93,334,201,461,607,428,
88,308,544,371,389,153,97,224,273,515,635,403)(91,568,346,388,312,228,
100,594,372,207,436,603,95,490,634,192,299,253,101,464,160,408,548,503)
(176,460,420,496,394,364)(199,272,223,513,317,284)(243,332,441,575,586,612)
]],
[3,101556000000,0,"2",[[650,1]],2,"L3,25 on projective points.2",
["L",[3,25],1],
[(1,496,515,293,147,132,109,3,606,476,104,65,462,554,559,231,248,402,83,
527,355,284,95,395,538,346,372,422,377,137,419,337,111,118,366,499,523,
192,555,332,237,374,469,54,101,93,340,195,261,449,201,647,265,50,473,
629,599,125,551,69,415,619,393,27,218,626,41,490,511,77,319,457,404,
468,254,262,153,627,639,75,200,162,466,479,502,14,436,607,614,412,542,
414,185,581,392,16,37,60,22,259,413,221,641,481,525,144,531,307,43,
184,383,194,609,278,568,158,242,467,279,369,191,489,518,470,329,32,544,
47,12,368,380,460,354,114,349,405,31,338,471,429,10,417,134,451,549,
90,598,174,381,408,589,573,289,251,209,190,426,11,215,25,320,189,352,
160,322,431,428,331,9,180,103,34,577,584,362,252,181,49,636,335,225,
208,84,161,287,48,326,312,615,74,438,371,28,353,63,146,339,583,351,
135,290,155,364,21,569,202,249,343,574,8,239,306,266,495,519,651,463)
(2,504,250,632,382,350,303,595,206,570,624,247,78,622,309,224,35,105,
420,126,178,315,547,541,501,514,390,378,107,92,263,96,18,648,358,150,
38,296,177,342,81,139,267,602,563,646,234,550,17,149,562,388,246,170,
30,612,131,172,576,270,240,264,634,122,650,561,375,245,19,110,273,347,
617,635,620,100,56,102,447,164,169,99,359,618,117,594,23,333,443,87,
301,433,465,204,281,585,85,474,579,316,484,517,361,217,157,253,226,330,
640,302,425,255,317,58,633,403,300,299,603,269,360,437,643,548,625,327,
276,398,590,638,196,475,604,430,130,199,216,487,508,613,596,282,313,571,
151,227,40,142,203,423,448,44,445,567,318,236,572,587,230,586,528,442,
120,452,379,220,72,219,592,197,68,314,113,321,98,112,214,128,13,453,
154,411,311,20,88,46,556,94,228,141,493,506,59,66,482,520,435,409,
557,472,229,188,446,588,271,119,136,645,143,600,439,222,363,546,258,566,491
)(4,591,494,505,223,268,57,356,631,212,325,367,348,534,459,304,328,389,
616,498,516,478,524,257,5,532,649,167,450,391,486,526,406,365,357,601,
611,165,334,344,163,71,543,210,536,138,396,67,399,324,127,461,179,535,
552,53,235,401,376,565,440,233,62,345,291,492,512,597,45,407,166,483,
522,124,283,207,427,277,116,488,521,305,176,582,140,91,485,503,537,187,
82,205,394,564,530,243,444,323,385,168,26,152,545,578,458,29,397,298,
456,529,173,213,121,387,434,260,133,310,644,294,275,593,418,628,80,575,
410,238,621,211,464,454,129,608,370,308,280,6,297,336,73,553,186,244,
108,156,193,288,421,424,70,159,148,55,272,455,79,642,51,175,115,560,
42,241,480,513,171,610,182,198,145,373,86,416,497,510,341,477,507,558,
123,232,285,64,36,33,274,539,295,637,24,400,97,183,7,76,292,540,
106,605,533,386,256,286,384,630,441,500,509,39,89,432,61,580,52,623,15
),(1,559,46,178,199,350,624,235,635,421,446,66,77,399,474,451,281,
122,233,284,356,345,181,629,577,344,485,338,571,506,381,255,524,607,333,
334,252,489,183,159,108,309,185,362,196,98,210,133)(2,136,536,376,535,
619,546,6,544,68,549,639,537,508,534,595,548,200,530,478,545,260,541,
471,542,157,531,449,529,248,539,329,528,412,543,297,532,90,550,42,551,
316,538,556,533,109,540,213)(3,107,194,514,368,456,585,72,71,269,347,
579,124,88,566,354,226,129,461,623,394,237,303,383,634,204,150,186,106,
21,167,360,104,346,120,367,444,374,280,418,494,305,119,154,415,365,33,34
)(4,278,473,406,423,78,481,503,351,397,170,337,223,140,511,28,650,289,
590,593,29,283,384,298,58,184,428,155,191,60,523,296,310,453,521,249,
518,113,574,12,355,307,292,617,522,219,148,261)(5,179,497,647,525,410,
277,221,139,111,212,149,361,164,445,400,388,569,102,516,598,357,618,203,
141,436,244,206,132,211,127,236,340,80,30,273,476,220,128,286,79,313,
552,76,642,483,259,612)(7,48,349,69,378,217,138,561,492,462,63,570,
613,557,425,158,609,405,606,189,288,563,555,335,443,96,604,620,326,599,
216,145,586,520,172,23,633,234,463,572,190,320,45,118,610,256,371,390)
(8,513,558,209,144,636,197,602,429,432,510,315,171,47,488,567,324,498,
24,377,603,93,70,22,426,114,398,304,364,253,257,302,631,319,20,470,
291,330,15,591,13,312,87,227,105,301,250,375)(9,450,270,433,484,57,
454,180,208,134,386,435,192,596,287,264,160,99,271,225,151,411,274,115,
272,43,366,512,630,438,562,169,275,231,62,625,587,392,331,475,318,325,
440,348,37,447,403,16)(10,85,176,496,601,430,640,649,31,92,648,168,
651,328,314,207,130,61,413,554,643,19,222,131,611,466,258,84,342,290,
201,32,232,597,460,382,121,407,637,370,74,308,509,100,94,182,401,101)
(11,240,379,41,156,163,564,91,422,341,251,608,59,493,243,198,242,266,
628,110,480,396,358,584,239,424,195,469,465,487,35,214,146,486,300,491,
224,147,311,55,589,306,241,482,439,17,339,517)(14,56,215,135,36,321,
343,408,459,174,592,177)(18,621,638,565,282,49,387,490,616,40,452,50,
504,254,67,230,95,515,64,51,65,431,27,420,205,137,336,632,73,116,
125,53,372,373,477,165,228,44,594,83,434,322,276,188,568,389,52,285)
(25,499,402,582,263,573,448,588,553,578,615,117,39,605,352,97,112,581,
501,369,417,75,332,166,294,295,627,267,395,414,247,442,218,142,86,583,
409,526,502,187,416,317,404,385,600,646,455,229)(26,268,580,175,202,143,
161,393,507,495,479,81,293,437,126,468,327,363,575,472,89,464,644,626,
173,505,467,103,427,458,359,641,391,193,265,419,38,560,245,246,152,323,
622,299,153,54,162,457)(82,353,238,576,262,279,519,441,614,500,123,645)
(380,547)]],
[4,152334000000,0,"2",[[650,1]],2,"L3,25 on projective points.3",
["L",[3,25],1],
[(1,278,72,439,644,317,494,608,424,15,368,372,308,334,645,69,255,302,586,
91,428,527,112,602,443,114,435,95,638,466,353,184,27,67,561,446,513,
518,196,240,358,642,276,191,128,320,465,109,333,75,473,340,460,304,354,
493,516,578,405,631,296,470,16,20,597,622,525,374,269,594,400,193,500,
329,241,628,486,251,485,190,526,50,25,129,572,352,77,490,444,434,141,
53,17,505,272,138,205,579,44,248,617,357,51,620,35,577,26,408,447,
381,279,511,319,43,461,452,398,649,430,5,273,397,548,137,409,619,64,
509,404,52,410,148,441,553,475,225,86,8,195,422,482,495,202,369,454,
438,265,207,118,384,567,68,632,19,575,647,560,383,456,294,477,546,312,
445,600,564,49,41,528,512,491,453,264,543,337,206,277,639,375,431,282,
356,285,224,498,98,29,124,182,474,131,300,416,403,113,11,40,497,274,
117,246,544,87,376,523,464,83,521,85,550,37,313,421,339,598,488,392,
88,552,555,342,429,417,33,254,350,613,108,323,508,13,492,322,14,310,
122,419,186,558,244,146,48,226,306,281,290,229,457,571,426,259,249,74,
327,201,6,427,47,180,448,185,344,565,581,295,605,390,425,540,187,80,
99,614,481,293,573,261,615,627,238,588,449,476,411,592,467,585,231,286,
134,101,58,208,566,103,599,309,307,55,38,81,284,275,70,367,625,130,
471,499,563,145,483,135,618,92,395,311,648,531,287,343,133,189,188,636,
418,324,100,267,634,515,65,391,478,31,283,388,34,385,66,303,217,199,
370,116,78,232,379,583,601,365,570,198,318,263,373,22,646,222,42,415,
93,219,407,210,630,183,532,587,507,338,314,616,203,140,142,506,298,582,
177,266,503,433,361,549,412,554,315,539,562,535,362,589,104,139,23,234,
197,54,551,387,394,18,89,147,590,271,9,469,522,120,556,288,194,106,
280,110,517,127,349,393,440,624,596,633,102,204,221,450,321,377,132,257,
436,479,24,331,297,96,591,328,94,335,3,399,247,209,463,76,144,363,
332,542,537,462,192,214,389,252,458,45,432,233,90,305,151,227,325,235,
451,218,626,538,487,650,382,514,242,123,125,501,580,536,212,258,480,414,
455,607,316,178,396,621,179,610,459,530,62,115,36,364,215,4,611,347,
336,32,150,119,545,262,46,559,489,61,200,584,223,59,593,60,496,107,
640,348,402,520,534,437,73,245,239,420,401,351,121,268,406,291,28,643,
595,143,529,637,149,635,39,346,355,230,568,7,126,472,641,603,623,569,
216,228,341,253,576,82,423,371,136,386,105,366,378,360,413,250,502,606,
301,442,330,484,359,71,56,299,533,612,236,256,289,326,574,504,380,220,
345,524,211,510,557,609,12,57,97,468,243,30,519,651,629,84,111,63,
604,270,79,181,292,10,213,547,237,21,541)(2,162,172,176,164,157,169,
174,165,163,160,161,170,171,167,166,153,154,173,155,175,158,168,152,159,156
),(1,561,193,310,620,8,480,467,296,223,84,323,587,485,196,442,226,
325,522,518,158,492,131,236,207,157,231,486,98,550,219,268,538,444,64,
391,233,474,622,39,473,505,537,619,191,512,41,182,101,346,455,357,305,
429,47,262,267,195,371,150,46,318,500,316,93,217,363,342,633,430,123,
488,375,498,218,641,215,121,253,556,311,405,276,648,292,103,572,351,584,
646,479,110,302,203,570,34,92,4,510,403,565,440,483,334,32,216,35,
358,291,284,52,380,585,599,230,10,356,161,366,421,547,244,321,40,630,
322,117,540,469,242,77,289,496,637,53,2,394,124,224,592,437,532,194,
453,559,478,552,360,212,464,200,14,643,609,112,159,185,75,385,143,149,
73,378,563,649,50,104,418,48,339,245,175,259,618,328,560,548,369,27,
251,365,238,148,21,459,539,144,535,294,612,354,179,581,461,645,470,116,
651,237,108,187,413,180,166,528,569,425,628,568,105,246,516,452,304,59,
400,531)(3,227,345,529,344,165,13,545,644,508,125,475,168,293,272,457,
37,597,178,564,162,348,198,615,81,411,164,97,359,431,611,285,441,350,
414,593,402,100,605,68,389,17,449,515,623,627,271,102,523,307,5,288,
6,417,232,578,566,66,388,490,549,169,205,330,127,409,338,301,460,24,
171,596,163,312,326,189,327,67,392,616,274,7,151,491,489,255,214,208,
626,155,625,240,43,71,383,404,324,546,419,295,317,173,133,589,367,472,
477,613,408,202,487,9,197,204,25,89,38,45,138,602,447,631,86,126,
12,65,397,450,374,368,90,153,576,279,176,438,91,595,298,31,511,434,
580,33,160,639,632,113,114,604,146,376,608,320,333,353,553,567,514,56,
386,347,624,501,57,384,209,249,635,335,122,83,647,541,119,331,436,263,
503,555,88,454,78,558,132,445,412,446,184,147,313,235,234,426,517,260,
51,527,544,94,482,422,22,225,427,468,476,406,361,23,337,87,177,183,
248,254,433)(11,29,300,332,493,520,601,222,423,416,129,507,629,373,120,
55,395,82,74,377,152,49,428,571,18,15,308,256,61,379,642,424,109,
370,264,410,481,36,606,211,128,554,252,141,172,170,502,20,266,355,634,
16,107,135,80,506,336,521,239,439,303,557,621,607,542,319,638,156,111,
42,484,154,465,210,504,495,228,562,220,190,282,364,551,269,579,614,509,
290,420,610,463,588,257,340,275,287,243,181,636,577,106,286,533,44,19,
598,76,401,28,574,456,261,250,63,393,362,524,188,534,519,372,60,382,
273,174,407,458,58,390,526,99,137,650,201,118,432,277,640,139,115,591,
26,603,573,247,297,130,278,575,583,543,594,134,258,96,85,265,309,466,
448,435,167,54,387,280,199,270,497,590,329,213,72,396,70,399,314,299,
79,241,617,600,95,443,229,530,494,451,145,206,536,69,398,471,349,341,
306,136,462,140,192,30,415,62,381,186,499,283,513,221,281,586,315,352,
582,525,142,343)]],
[5,304668000000,0,"2",[[650,1]],2,"L3,25 on projective points.4",
["L",[3,25],1],
[(1,66,36,132,411,567,161,440,536,220,286,394)(2,104,372,276,585,168,321,
53,480,525,349,96)(3,402,499,281,45,472,590,332,508,355,4,267)
(5,384,604,644,641,345,603,375,282,606,147,556)(6,533,233,93,109,310,
81,123,602,389,429,309)(7,16,180,335,530,353,412,202,410,20,576,538)
(8,173,84,120,340,9,357,646,74,192,39,648)(10,228,582,240,398,379,
554,289,92,122,487,195)(11,212,140,221,76,99,126,42,344,166,356,250)
(12,144,266,200,571,52,133,388,229,227,175,503)(13,288,300,597,522,134,
249,270,31,283,182,497)(14,331,319,366,438,488,544,491,314,593,385,579)
(15,325,445,564,131,632,280,318,222,474,403,51)(17,43,153,392,304,546,
59,559,446,60,315,174)(18,636,456,436,162,236,514,186,193,261,621,61)
(19,447,223,483,452,526,493,587,259,638,584,287)(21,589,414,612,83,119,
391,504,395,479,255,457)(22,85,117,459,225,625,188,151,150,540,469,141)
(23,515,502,313,264,265,442,231,463,323,642,618)(24,471,68,523,294,216,
272,158,651,444,91,102)(25,495,401,154,607,598,475,94,116,146,73,214)
(26,624,562,28,243,433)(27,40,609,455,387,454,492,413,381,329,599,374)
(29,450,143,293,138,347,393,354,198,437,449,400)(30,206,89,125,426,303,
127,87,112,298,574,322)(32,537,551,615,481,610,435,177,592,95,124,218)
(33,274,348,38,367,224,244,41,101,106,524,640)(34,486,478,86,105,586,
583,561,425,461,649,136)(35,570,645,196,57,382,79,108,528,163,199,458)
(37,521,62,635,253,519,466,159,269,566,399,529)(44,416,235,209,343,239,
376,464,470,230,549,432)(46,64,277,527,197,650,164,485,149,614,49,588)
(47,302,569,591,219,191,623,326,234,178,299,484)(48,185,513,408,448,271,
55,619,616,543,424,155)(50,380,254,128,320,423,520,532,552,257,324,510)
(54,338,210,371,56,176,333,284,358,172,539,396)(58,421,65,600,498,165,
137,167,577,605,242,496)(63,453,181,378,204,156,555,501,573,248,406,596)
(67,362,568,80,114,169,291,415,297,428,622,346)(69,541,580,427,295,160,
422,82,118,631,477,246)(70,443,467,557,184,152,468,327,431,365,78,121)
(71,72,245,312,613,157,170,213,637,307,476,296)(75,256,409,139,505,171)
(77,103,558,617,278,339,572,369,516,553,465,263)(88,111)(90,115,189,534,
506,217,517,260,301,262,397,179)(97,113,430,405,634,390,404,418,194,241,
292,630)(98,107,275,237,330,145,352,334,407,363,620,509)(100,110,232,135,
494,441,633,512,581,531,268,545)(129,460,608,215,305,290,251,647,417,550,
317,383)(130,183,306,187,419,341,462,364,308,350,627,373)(142,451,507,439,
328,273,368,490,643,575,208,595)(148,578,628,535,639,238,565,560,337,500,
359,542)(190,370,594,316,482,342)(201,205,563,518,626,420,258,489,207,203,
434,601)(211,548,336,351,361,360,386,279,511,247,611,252)(226,377,629)
(285,473,547),(1,427,495,624,145,510,370,462,345,340,645,71,520,3,570,
247)(2,423,156,149,290,194,409,572,277,456,533,537,300,429,51,200)
(4,121,285,599)(5,157,93,399,335,401,111,500,450,436,379,147,127,613,
589,46)(6,84,192,424,525,439,316,96,140,53,207,650,435,542,269,137)
(7,394,58,74,387,232,473,319,369,517,250,448,55,565,136,81)
(8,363,265,574,114,531,226,239,498,262,193,408,466,241,523,388)
(9,626,616,499,457,559,75,431,118,20,128,569,274,206,454,629)
(10,249,48,49,171,166,547,627,42,85,164,201,413,484,22,330)
(11,464,475,449,97,302,139,104,566,554,606,231,623,336,230,223)
(12,641,584,299,318,597,377,284,228,248,98,291,632,314,332,286)
(13,268,646,649,183,425,433,210,59,134,366,386,376,94,493,541)
(14,504,337,124,619,90,88,508,86,47,577,165,212,355,116,64)
(15,487,204,224,586,618,505,67,630,551,315,480,244,598,184,426)
(16,281,380,99,254,292,342,603,463,293,126,218,492,297,77,557)
(17,325,451,474,501,130,482,351,258,489,561,317,106,32,372,152)
(18,208,303,324,563,637,256,361,221,382,521,109,79,460,215,610)
(19,35,138,174,242,73,243,273,579,588,69,604,321,253,625,444)
(21,592,364,374,634,211,562,38,306,175,434,514,583,133,642,465)
(23,25,536,524,549,353,26,190,407,199,405,263,28,393,162,308)
(24,72,102,349,66,333,594,530,389,219,347,352,197,402,378,267)
(27,229,173,635,612,397,552,543,331,509,307,217,191,415,346,472)
(29,507,155,621,558,365,581,266,260,91,375,430,587,467,132,383)
(30,280,172,502,216,288,225,440,233,298,146,350,443,278,362,135)
(31,567,158,556,78,56,322,452,371,43,469,163,461,585,553,341)
(33,270,176,45,486,170,354,245,323,620,203,120,392,395,591,220)
(34,608,159,344,196,404,105,358,607,110,647,227,648,357,54,528)
(36,334,160,275,432,257,238,148,222,527,80,636,113,246,198,417)
(37,76,167,488,117,512,644,400,428,640,516,143,234,123,115,309)
(39,628,153,580,329,100,437,609,643,129,264,522,602,276,384,490)
(40,540,154,390,468,611,182,412,87,596,237,573,526,506,485,518)
(41,112,161,289,259,455,503,296,61,261,65,301,560,494,631,294)
(44,214,168,57)(50,441,169,103,151,546,496,313,391,305,185,410,304,68,
89,605)(52,600,447,177,411,144,311,633,343,213,101,328,479,359,538,622)
(60,471,92,209,271,544,235,348,564,385,181,421,601,651,497,477)
(62,491,178,422,202,519,576,582,481,590,125,438,338,532,141,476)
(63,360,283,513,179,419,282,615,367,326,279,483,396,614,287,539)
(70,188,420,639,95,119,470,255,320,534,595,82,545,568,195,406)
(83,251,373,478)(107,578,511,453,189,414,240,398,550,442,571,205,131,187,
403,535)(108,180,418,368,575,446,356,339,142,593,310,236,548,458,122,252)
(150,445)(186,416,617,529)(272,327,312,515)(381,638,555,459)]],
[6,Factorial(651)/2,1,"2",[[650,1]],649,"A_n",["A",651,1],651],
[7,Factorial(651),0,"2",[[650,1]],651,"S_n",["A",651,1],651]];
PRIMGRP[652]:=
[[1,Factorial(652)/2,1,"2",[[651,1]],650,"A_n",["A",652,1],652],
[2,Factorial(652),0,"2",[[651,1]],652,"S_n",["A",652,1],652]];
PRIMGRP[653]:=
[[1,Factorial(653)/2,1,"2",[[652,1]],651,"A_n",["A",653,1],653],
[2,Factorial(653),0,"2",[[652,1]],653,"S_n",["A",653,1],653]];
PRIMGRP[654]:=
[[1,139222212,1,"2",[[653,1]],2,"L2,653 on projective points.1",
["L",[2,653],1],
[(3,653,651,649,647,645,643,641,639,637,635,633,631,629,627,625,623,621,619,
617,615,613,611,609,607,605,603,601,599,597,595,593,591,589,587,585,583,
581,579,577,575,573,571,569,567,565,563,561,559,557,555,553,551,549,547,
545,543,541,539,537,535,533,531,529,527,525,523,521,519,517,515,513,511,
509,507,505,503,501,499,497,495,493,491,489,487,485,483,481,479,477,475,
473,471,469,467,465,463,461,459,457,455,453,451,449,447,445,443,441,439,
437,435,433,431,429,427,425,423,421,419,417,415,413,411,409,407,405,403,
401,399,397,395,393,391,389,387,385,383,381,379,377,375,373,371,369,367,
365,363,361,359,357,355,353,351,349,347,345,343,341,339,337,335,333,331,
329,327,325,323,321,319,317,315,313,311,309,307,305,303,301,299,297,295,
293,291,289,287,285,283,281,279,277,275,273,271,269,267,265,263,261,259,
257,255,253,251,249,247,245,243,241,239,237,235,233,231,229,227,225,223,
221,219,217,215,213,211,209,207,205,203,201,199,197,195,193,191,189,187,
185,183,181,179,177,175,173,171,169,167,165,163,161,159,157,155,153,151,
149,147,145,143,141,139,137,135,133,131,129,127,125,123,121,119,117,115,
113,111,109,107,105,103,101,99,97,95,93,91,89,87,85,83,81,79,
77,75,73,71,69,67,65,63,61,59,57,55,53,51,49,47,45,43,
41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5
)(4,654,652,650,648,646,644,642,640,638,636,634,632,630,628,626,624,622,
620,618,616,614,612,610,608,606,604,602,600,598,596,594,592,590,588,586,
584,582,580,578,576,574,572,570,568,566,564,562,560,558,556,554,552,550,
548,546,544,542,540,538,536,534,532,530,528,526,524,522,520,518,516,514,
512,510,508,506,504,502,500,498,496,494,492,490,488,486,484,482,480,478,
476,474,472,470,468,466,464,462,460,458,456,454,452,450,448,446,444,442,
440,438,436,434,432,430,428,426,424,422,420,418,416,414,412,410,408,406,
404,402,400,398,396,394,392,390,388,386,384,382,380,378,376,374,372,370,
368,366,364,362,360,358,356,354,352,350,348,346,344,342,340,338,336,334,
332,330,328,326,324,322,320,318,316,314,312,310,308,306,304,302,300,298,
296,294,292,290,288,286,284,282,280,278,276,274,272,270,268,266,264,262,
260,258,256,254,252,250,248,246,244,242,240,238,236,234,232,230,228,226,
224,222,220,218,216,214,212,210,208,206,204,202,200,198,196,194,192,190,
188,186,184,182,180,178,176,174,172,170,168,166,164,162,160,158,156,154,
152,150,148,146,144,142,140,138,136,134,132,130,128,126,124,122,120,118,
116,114,112,110,108,106,104,102,100,98,96,94,92,90,88,86,84,82,
80,78,76,74,72,70,68,66,64,62,60,58,56,54,52,50,48,46,
44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,
8,6),(1,2,329)(3,328,330)(4,538,119)(5,184,472)(6,95,560)
(7,452,202)(8,224,429)(9,358,294)(10,145,506)(11,105,545)
(12,256,393)(13,252,396)(14,601,46)(15,497,149)(16,409,236)
(17,391,253)(18,200,443)(19,172,470)(20,274,367)(21,559,81)
(22,257,382)(23,320,318)(24,592,45)(25,587,49)(26,47,588)
(27,383,251)(28,75,558)(29,522,110)(30,121,510)(31,445,185)
(32,194,435)(33,569,59)(34,203,424)(35,532,94)(36,484,141)
(37,73,551)(38,116,507)(39,173,449)(40,313,308)(41,576,44)
(42,90,529)(43,385,233)(48,307,306)(50,287,324)(51,182,428)
(52,60,549)(53,415,193)(54,218,389)(55,263,343)(56,339,266)
(57,644,612)(58,171,432)(61,355,245)(62,201,398)(63,314,284)
(64,292,305)(65,346,250)(66,634,613)(67,261,333)(68,388,205)
(69,217,375)(70,611,632)(71,633,609)(72,373,216)(74,125,462)
(76,104,481)(77,137,447)(78,436,147)(79,138,444)(80,255,326)
(82,617,614)(83,416,162)(84,279,298)(85,153,423)(86,336,239)
(87,175,399)(88,467,106)(89,625,599)(91,427,143)(92,221,348)
(93,168,400)(96,311,254)(97,418,146)(98,563,652)(99,637,577)
(100,583,630)(101,430,130)(102,108,451)(103,363,195)(107,585,621)
(109,598,606)(111,426,124)(112,369,180)(113,553,647)(114,414,133)
(115,387,159)(117,187,357)(118,331,212)(120,654,539)(122,341,198)
(123,349,189)(126,623,564)(127,158,376)(128,163,370)(129,568,616)
(131,354,176)(132,390,139)(134,337,190)(135,246,280)(136,629,548)
(140,156,365)(142,238,281)(144,290,227)(148,537,628)(150,286,225)
(151,542,620)(152,513,648)(154,342,165)(155,210,296)(157,335,169)
(160,199,302)(161,643,509)(164,220,277)(166,247,248)(167,197,297)
(170,192,299)(174,622,517)(177,554,582)(178,219,264)(179,278,204)
(181,208,272)(183,241,237)(186,474,653)(188,486,639)(191,570,552)
(196,533,584)(206,651,456)(207,550,556)(209,485,619)(211,521,581)
(213,627,473)(214,520,579)(215,458,640)(222,580,511)(223,464,626)
(226,487,600)(228,557,528)(229,434,650)(230,476,607)(231,567,515)
(232,547,534)(234,455,624)(235,505,573)(240,561,512)(242,575,496)
(243,605,465)(244,544,525)(249,642,422)(258,490,565)(259,483,571)
(260,457,596)(262,406,645)(265,402,646)(267,641,405)(268,526,519)
(269,440,604)(270,590,453)(271,543,499)(273,615,425)(275,631,407)
(276,401,636)(282,500,531)(283,441,589)(285,586,442)(288,495,530)
(289,546,478)(291,384,638)(293,502,518)(295,555,463)(300,649,364)
(301,471,541)(303,597,413)(304,527,482)(309,535,469)(310,437,566)
(312,593,408)(315,395,603)(316,504,493)(317,536,460)(319,602,392)
(321,524,468)(322,572,419)(323,501,489)(325,397,591)(327,540,446)
(332,403,578)(334,371,608)(338,635,340)(344,595,374)(345,618,350)
(347,562,404)(351,610,352)(353,366,594)(356,459,498)(359,466,488)
(360,379,574)(361,461,491)(362,448,503)(368,514,431)(372,508,433)
(377,420,516)(378,412,523)(380,479,454)(381,438,494)(386,450,477)
(394,439,480)(410,411,492)(417,475,421)]],
[2,278444424,0,"2",[[653,1]],3,"L2,653 on projective points.2",
["L",[2,653],1],
[(1,28,321,583,475,211,499,509,75,604,547,635,220,536,135,285,87,293,466,
371,115,107,431,58,534,243,294,400,262,151,491,511,628,588,145,370,405,
560,120,170,239,147,62,404,144,222,417,229,575,268,433,440,582,70,434,
73,88,201,335,537,473,277,462,340,91,42,399,369,410,10,210,486,424,
523,453,327,307,425,133,208,131,483,224,94,166,199,564,349,358,574,113,
576,346,636,366,180,592,48,104,591,168,481,260,411,252,105,528,100,162,
596,228,474,439,198,309,146,125,637,544,12,506,593,342,31,117,383,624,
86,495,20,479,130,212,160,611,85,454,156,217,134,270,463,71,61,503,
391,623,44,271,184,159,3,448,476,460,76,63,50,318,302,330,123,619,
594,507,82,155,387,275,65,55,315,508,644,561,622,324,41,167,618,566,
648,299,106,283,40,154,395,9,95,436,185,272,114,234,141,653,632,469,
580,339,304,550,182,616,26,250,21,526,367,518,297,610,187,22,78,186,
598,412,142,432,202,13,204,420,429,214,579,612,32,554,295,647,570,645,
353,471,451,325,255,354,292,568,116,368,409,379,84,35,438,316,501,305,
241,443,577,38,53,344,56,196,338,345,510,203,549,361,556,634,374,64,
631,539,608,6,218,373,408,633,190,150,267,287,627,516,378,484,535,244,
68,347,19,11,407,312,485,39,493,643,242,558,143,231,174,51,269,279,
567,303,195,457,98,2,625,461,237,607,505,216,215,551,430,376,586,500,
427,193,119,183,306,301,265,320,178,565,308,646,15,263,72,194,480,478,
520,29,236,390,176,49,640,581,319,599,103,552,375,553,372,446,555,426,
181,219,99,601,323,314,527,67,494,274,529,589,126,16,24,90,157,487,
96,266,109,221,362,336,350,281,329,540,261,129,310,311,605,69,37,74,
626,191,396,571,247,421,288,331,259,92,650,161,496,341,380,200,384,206,
81,414,164,360,108,422,393,450,326,615,322,334,397,60,257,638,333,8,
359,641,502,651,548,188,603,355,465,337,5,165,158,290,532,538,639,606,
43,522,209,254,136,546,122,343,533,248,205,264,47,233,235,629,124,377,
286,525,169,498,93,363,392,25,630,482,365,14,46,389,80,112,413,296,
148,101,386,415,33,280,609,253,492,401,654,149,543,545,79,514,573,530,
245,435,4,232,642,524,569,256,83,172,139,240,246,488,620,613,121,441,
313,423,175,590,230,127,276,137,419,118,445,140,521,66,381,444,456,163,
452,328,385,356,18,418,614,364,45,572,394,578,398,437,282,617,128,34,
519,447,490,357,531,207,382,587,152,52,89,57,173,467,468,649,517,238,
449,497,428,442,416,557,17,512,30,291,621,36,102,110,652,189,249,504,
284,59,251,464,455,177,27,559,597,352,223,332,406,225,403,226,23,179,
459,197,138,77,602,388,542,97,258,300,298,584,54,515,111,132,470,213,
600,458,513,477,472,595,7,585,351,278,192,402,348,227,563,562,273,171,
541,317,153),(1,126,52,556,191,564,49,180,399,147,238,214,95,477,555,
136,603,65,100,481,599,291,347,91,263,198,611,349,316,451,58,63,67,
281,120,366,428,142,257,143,290,182,525,310,503,436,84,326,247,317,356,
32,492,174,114,59,20,469,158,594,387,411,397,617,10,649,652,602,450,
271,194,135,614,78,643,17,211,253,13,467,28,62,159,538,496,101,499,
56,421,328,81,121,442,414,501,14,498,601,621,7,570,445,489,53,122,
224,239,51,285,234,535,528,529,424,590,47,546,416,38,178,278,653,464,
74,218,580,274,206,373,219,342,427,568,85,371,384,222,36,320,24,119,
185,83,515,40,275,16,287,610,393,64,335,76,311,488,268,166,232,327,
31,315,129,619,632,266,435,576,9,132,630,145,77,423,133,277,539,350,
73,173,313,587,457,304,413,579,474,475,468,117,66,300,112,127,229,298,
514,558,433,344,382,402,505,337,502,589,561,230,270,23,582,295,504,250,
507,465,192,289,323,536,338,98,140,334,360,273,389,216,157,80,553,401,
351,354,341,386,606,592,616,409,193,534,331,292,237,177,511,319,647,34,
104,25,267,567,500,41,478,169,61,208,94,209,575,637,231,70,284,288,
293,552,35,654,392,153,88,260,4,60,404,522,251,286,400,215,448,526,
256,137,113,204,604,171,302,439,160,447,299,225,2,418,391,134,425,533,
5,456,203,201,115,376,26,566,3,572,330,545,600,301,175,379,196,466,
162,390,374,460,471,380,388,398,138,75,29,577,420,170,361,68,574,394,
506,131,395,279,487,8,396,43,168,363,245,634,494,93,444,116,381,261,
462,107,259,551,645,54,519,197,355,557,531,57,45,340,618,255,408,39,
359,486,441,438,226,280,372,318,370,179,473,42,163,510,432,89,332,375,
620,345,352,523,586,305,207,479,252,111,650,97,336,69,212,248,27,149,
412,406,22,593,584,264,128,339,164,550,540,521,221,635,165,490,520,362,
18,210,243,44,485,569,167,527,554,407,86,588,508,105,422,146,321,491,
549,82,233,124,440,365,55,405,272,48,636,430,156,152,161,544,109,364,
548,625,461,228,249,314,443,241,377,200,151,626,110,560,37,102,123,542,
378,455,639,242,459,190,199,195,573,367,303,79,598,296,638,563,227,118,
269,454,512,30,205,581,246,495,415,265,596,449,476,184,434,518,307,108,
141,333,641,483,513,186,368,130,482,463,453,187,12,223,87,419,410,329,
597,591,202,324,103,139,282,15,254,353,240,99,524,144,46,417,480,651,
6,383,628,19,262,571,493,188,309,530,172,633,33,631,71,125,565,562,
517,644,312,595,96,385,11,306,294,472,446,648,154,484,297,358,452,92,
244,541,90,622,235,559,258,509,369,106,640,183,308,607,343,516,72,608,
220,497,609,429,283,642,181,583,426,322,276,213,605,615,623,532,543,629,
613,189,537,155,624,176,50,403,458,21,431,348,437,325,627,236,150,148,
547,346,470,578,217,612,585)]],
[3,Factorial(654)/2,1,"2",[[653,1]],652,"A_n",["A",654,1],654],
[4,Factorial(654),0,"2",[[653,1]],654,"S_n",["A",654,1],654]];
PRIMGRP[655]:=
[[1,Factorial(655)/2,1,"2",[[654,1]],653,"A_n",["A",655,1],655],
[2,Factorial(655),0,"2",[[654,1]],655,"S_n",["A",655,1],655]];
PRIMGRP[656]:=
[[1,Factorial(656)/2,1,"2",[[655,1]],654,"A_n",["A",656,1],656],
[2,Factorial(656),0,"2",[[655,1]],656,"S_n",["A",656,1],656]];
PRIMGRP[657]:=
[[1,32965632,0,"2",[[16,1],[128,1],[512,1]],1,"L3,8#657.1",
["L",[3,8],1],
[(1,233,294,176,243,58,123,203,111,656,66,326,436,52,163,422,528,473)
(2,342,289,534,242,74,124,504,112,89,67,98,440,414,165,191,529,130)
(3,614,295,511,238,309,118,480,110,581,69,430,438,304,171,606,523,146)
(4,107,297,318,236,377,122,449,113,463,64,263,433,560,166,547,527,588)
(5,512,292,308,240,486,120,582,114,425,71,301,439,608,164,148,525,613)
(6,197,293,129,235,339,126,540,116,80,68,503,435,88,170,93,531,413)
(7,40,290,365,239,161,125,183,117,215,65,224,437,553,167,381,530,489)
(8,213,291,220,241,555,121,384,115,494,72,44,434,363,169,155,526,187)
(9,206,296,651,237,329,119,47,109,421,70,472,441,227,168,175,524,61)
(10,200,29,657,357,327,391,50,253,419,282,469,640,229,22,180,136,60)
(11,359,30,388,355,256,392,284,261,648,283,21,644,138,27,17,143,28)
(12,277,36,344,358,576,396,622,257,602,286,632,642,245,23,514,142,456)
(13,638,34,250,352,517,389,452,255,272,285,343,641,575,25,626,139,600)
(14,611,35,153,356,616,390,509,254,310,288,481,645,577,19,432,141,303)
(15,319,32,374,354,446,394,466,258,268,281,561,647,543,20,594,137,105)
(16,62,33,199,360,649,395,328,260,53,280,423,643,475,24,226,144,177)
(18,428,31,306,353,605,393,151,259,617,287,505,646,311,26,485,140,585)
(37,347,366,568,162,629,182,598,209,639,219,247,558,519,380,453,491,273)
(38,410,362,193,157,134,189,341,212,537,222,77,551,502,385,85,490,91)
(39,307,369,482,158,583,186,426,216,300,217,610,556,149,383,621,492,507)
(41,451,361,275,159,350,188,574,208,630,221,596,550,633,382,251,488,515)
(42,424,368,302,156,607,184,145,211,615,218,508,552,314,387,483,493,580)
(43,442,367,467,154,265,185,564,210,546,225,587,554,106,379,320,487,371)
(45,198,364,128,160,336,181,533,214,75,223,499,557,83,386,92,495,411)
(46,172,417,56,474,207,231,654,179,325,57,51,204,420,653,470,333,228)
(48,406,418,194,471,135,230,335,173,536,59,78,205,501,655,86,332,94)
(49,81,416,498,476,90,232,96,174,412,55,195,201,131,652,340,330,539)
(54,262,415,562,477,541,234,591,178,108,63,321,202,378,650,445,331,462)
(73,592,500,101,82,323,97,375,409,448,196,461,132,266,338,559,538,542)
(76,572,496,625,84,601,99,636,407,249,190,518,133,458,337,271,535,351)
(79,454,497,278,87,348,95,573,408,627,192,595,127,637,334,248,532,521)
(100,264,322,566,373,544,447,589,468)(102,506,317,313,370,478,444,578,465,
427,267,298,565,604,549,150,593,618)(103,402,324,399,376,405,443,400,460,
397,269,401,563,398,548,403,586,404)(104,571,316,624,372,599,450,634,464,
244,270,520,567,455,545,276,590,346)(147,315,620,484,510,584,312,429,479,
305,579,609,431,152,299,619,612,513)(246,522,516,457,459,279,274,345,349,
569,570,623,628,597,603,635,631,252),
(1,636,606,482,188,308)(2,174,612,568,186,129)(3,440,611,193,183,365)
(4,495,605,467,187,651)(5,573,609,128,189,176)(6,531,610,275,182,534)
(7,375,604,169,184,511)(8,38,607,239,181,220)(9,48,608,302,185,318)
(10,54,227,303,281,316)(11,397,232,28,284,408)(12,258,228,60,282,496)
(13,154,226,105,283,25)(14,427,233,585,288,208)(15,64,231,456,280,396)
(16,244,234,600,285,623)(17,100,229,27,286,162)(18,132,230,177,287,570)
(19,127,160,180,102,575)(20,603,159,626,108,245)(21,99,161,644,106,543)
(22,550,158,514,103,475)(23,450,157,594,101,138)(24,635,155,485,104,311)
(26,209,156,432,107,577)(29,452,406,388,402,67)(30,466,413,657,404,490)
(31,355,410,199,400,386)(32,328,407,153,405,348)(33,50,414,306,401,323)
(34,151,409,344,399,332)(35,509,411,374,398,170)(36,622,412,250,403,601)
(37,629,243,248,225,598)(39,125,242,559,224,341)(40,583,240,212,217,426)
(41,265,237,289,223,117)(42,134,235,173,218,574)(43,350,236,330,219,145)
(44,336,238,126,222,564)(45,526,241,271,221,533)(46,553,305,520,324,474)
(47,363,299,433,319,195)(49,560,301,338,317,123)(51,52,304,298,322,321)
(53,88,300,415,320,78)(55,528,499,279,257,539)(56,498,497,255,260,57)
(58,643,502,545,261,94)(59,562,503,337,254,119)(61,653,500,491,256,462)
(62,194,504,361,259,436)(63,70,501,459,253,391)(65,420,453,81,392,82)
(66,296,454,109,389,264)(68,111,457,262,395,297)(69,131,458,172,390,571)
(71,360,451,204,394,379)(72,378,455,163,393,506)(73,602,87,630,417,251)
(74,648,83,546,423,92)(75,419,85)(76,310,90,639,422,483)
(77,272,84,537,418,530)(79,268,86,291,416,115)(80,617,89,615,421,621)
(91,377,647,167,549,505)(93,486,641,314,541,632)(95,309,640,633,547,481)
(96,555,645,519,548,469)(97,329,642,149,544,343)(98,339,646,121,542,561)
(110,516,269,470,294,551)(112,142,270,445,293,592)(113,380,267,357,290,205)
(114,133,266,179,295,572)(116,567,263,340,292,124)(118,214,565,430,342,584)
(120,521,563,472,335,552)(122,351,566,326,334,147)(130,652,178,492,576,465)
(135,637,175,484,569,312)(136,246,447,595,590,625)(137,488,446,461,588,655)
(139,532,448,529,587,278)(140,522,443,471,591,557)(141,352,442,201,589,385)
(143,190,449,364,593,435)(144,558,444,518,586,476)(146,650,346,487,327,464)
(148,478,349,313,333,631)(150,599,345,624,325,252)(152,354,347,202,331,382)
(164,513,507,371,373,166)(165,523,508,273,372,538)(168,556,510,515,376,477)
(171,431,512,580,370,210)(191,480,366,315,441,638)(192,540,362,525,437,277)
(196,384,368,356,434,200)(197,582,369,211,439,428)(198,203,367,383,438,359)
(206,578,387,216,353,424)(207,634,381,479,358,307)(213,579,429)
(215,619,425,614,581,620)(247,276,597,535,627,524)(249,527,596,274,628,536)
(460,473,654,554,493,517)(463,613,656,618,494,616)(468,489,649)]],
[2,98896896,0,"2",[[16,1],[128,1],[512,1]],1,"L3,8#657.2",
["L",[3,8],1],
[(1,463,594,6,494,589,165,488,634,163,532,635,204,539,13,207,462,17)
(2,80,590,448,487,394,171,23,631,172,533,209,205,57,12,333,467,514)
(3,421,588,362,490,196,167,270,639,280,540,99,199,436,18,640,468,432)
(4,425,593,418,489,367,170,190,633,262,537,286,203,94,11,441,465,644)
(5,581,591,249,495,113,166,558,638,253,536,127,201,228,10,90,460,626)
(7,656,587,45,493,400,164,352,632,406,534,603,206,119,15,541,466,485)
(8,215,592,55,491,331,169,522,637,81,535,450,202,391,14,24,464,180)
(9,89,586,627,492,578,168,246,636,109,538,550,200,260,16,135,461,226)
(19,642,178,426,211,416,61,361,332,193,519,266,75,285,449,97,388,439)
(20,34,179,564,208,223,60,337,330,568,521,458,74,274,446,236,389,156)
(21,407,176,598,213,124,63,545,328,482,515,652,77,37,444,399,393,353)
(22,252,174,117,210,551,62,255,325,128,518,230,78,87,443,624,390,579)
(25,219,177,341,212,572,59,459,329,275,517,235,79,159,447,32,395,565)
(26,382,175,145,216,68,56,497,326,302,520,189,76,345,442,313,392,619)
(27,334,173,574,214,454,58,279,327,239,516,160,73,36,445,566,396,217)
(28,340,559,570,222,456,339,271,576,242,457,161,276,30,237,567,162,225)
(29,470,560,316,221,105,336,289,575,49,453,377,278,605,238,142,154,527)
(31,66,562,496,224,303,338,181,569,351,451,309,272,616,240,380,155,150)
(33,86,563,623,218,585,335,248,573,116,455,555,277,256,243,133,157,234)
(35,357,561,408,220,600,342,126,571,542,452,486,273,649,241,41,158,403)
(38,110,398,556,359,261,412,129,595,233,123,82,548,622,484,580,654,247)
(39,140,397,523,360,469,414,318,597,107,125,297,543,50,483,371,655,610)
(40,120,402,549,355,481,411,651,596)(42,645,404,431,356,423,413,365,601,
197,121,264,546,284,480,91,657,437)(43,510,405,513,354,505,409,511,599,
512,122,506,544,509,478,507,650,508)(44,305,401,184,358,343,410,308,602,
614,118,379,547,151,479,72,653,499)(46,251,375,112,604,552,143,258,524,
131,471,227,321,84,103,629,295,577)(47,92,374,435,609,646,137,427,525,
420,473,363,323,192,106,265,291,283)(48,115,373,557,611,254,136,132,529,
231,474,88,324,628,102,583,294,245)(51,85,376,625,612,584,144,244,531,
111,477,553,319,257,108,134,293,229)(52,320,372,101,607,292,138,54,530,
378,476,608,317,139,100,526,296,475)(53,621,370,385,606,147,141,64,528,
501,472,304,322,182,104,350,290,311)(65,282,504,98,306,433,186,641,346,
424,315,419,613,369,386,191,149,267)(67,194,502,263,300,281,183,95,344,
434,312,648,618,429,383,422,146,368)(69,643,500,430,299,415,187,366,348,
198,314,268,615,288,384,93,153,438)(70,498,503,301,298,185,188,349,347,
307,310,617,620,387,381,148,152,71)(83,269,630,287,582,96,250,440,114,
647,554,428,259,417,130,364,232,195),
(1,541,90,207,333,24)(2,544,89,199,327,22)(3,546,85,202,325,25)
(4,547,86,204,330,27)(5,545,82,205,331,21)(6,549,84,201,328,20)
(7,542,88,206,326,26)(8,548,83,203,332,19)(9,543,87,200,329,23)
(10,575,590,638,486,488)(11,576,591,637,478,494)(12,571,592,634,481,492)
(13,568,588,635,482,489)(14,569,587,631,479,493)(15,572,589,632,484,491)
(16,570,593,639,483,487)(17,573,594,636,485,495)(18,574,586,633,480,490)
(28,137,155,357,81,248)(29,142,154,360,79,244)(30,144,160,354,80,250)
(31,140,156,358,77,252)(32,136,162,356,75,251)(33,138,159,359,74,246)
(34,141,158,353,76,247)(35,139,157,355,73,249)(36,143,161,352,78,245)
(37,428,377,522,51,229)(38,432,375,514,48,226)(39,424,373,520,53,228)
(40,430,370,515,49,227)(41,427,378,516,54,231)(42,426,376,519,47,232)
(43,425,374,517,46,230)(44,429,371,521,52,233)(45,431,372,518,50,234)
(55,556,192,471,284,276)(56,557,194,476,282,278)(57,552,198,477,281,272)
(58,558,195,475,285,277)(59,553,197,472,288,273)(60,554,191,470,280,271)
(61,550,193,473,286,275)(62,555,190,474,283,274)(63,551,196,469,287,279)
(64,111,567,100,501,380)(65,115,566,108,496,383)(66,109,559,105,500,381)
(67,114,564,103,502,384)(68,113,561,102,497,379)(69,117,563,106,504,386)
(70,112,562,101,498,385)(71,110,565,104,499,382)(72,116,560,107,503,387)
(91,242,414,213,301,620)(92,236,412,208,299,615)(93,237,406,212,303,618)
(94,238,410,210,298,617)(95,241,407,216,305,619)(96,235,409,215,306,616)
(97,243,408,211,300,621)(98,240,411,214,304,614)(99,239,413,209,302,613)
(118,580,351,608,342,263)(119,584,347,604,338,268)(120,579,349,610,334,267)
(121,582,348,609,341,269)(122,581,344,605,335,266)(123,577,345,611,339,270)
(124,578,343,612,337,264)(125,583,350,607,336,265)(126,585,346,606,340,262)
(127,128,130)(131,133,132)(145,443,167,183,601,465)(146,450,169,187,603,467)
(147,442,166,185,602,462)(148,445,163,181,600,468)(149,449,170,186,598,460)
(150,448,164,182,595,466)(151,447,165,184,597,461)(152,444,171,188,596,464)
(153,446,168,189,599,463)(172,173,177,178,175,179)(174,180)(217,366,508,219,
368,510)(218,361,506,223,367,505)(220,365,511)(221,364,509,225,362,513)
(222,363,512,224,369,507)(253,289,456,404,422,395)(254,290,455,401,419,391)
(255,297,454,400,423,390)(256,294,458,405,421,388)(257,293,452,403,418,393)
(258,296,457,397,420,389)(259,291,453,399,417,396)(260,292,451,398,415,392)
(261,295,459,402,416,394)(307,538,322,310,539,317)(308,534,318)
(309,532,321,311,535,319)(312,533,324,314,540,323)(313,536,316,315,537,320)
(433,648,436,646,434,647)(435,643)(437,642,438,645,439,641)(440,644)
(441,640)(523,628,529,622,527,627)(524,623,525,630,530,624)(526,629)
(528,625)(531,626)(649,654,652,650,656,657)(653,655)]],
[3,Factorial(657)/2,1,"2",[[656,1]],655,"A_n",["A",657,1],657],
[4,Factorial(657),0,"2",[[656,1]],657,"S_n",["A",657,1],657]];
PRIMGRP[658]:=
[[1,Factorial(658)/2,1,"2",[[657,1]],656,"A_n",["A",658,1],658],
[2,Factorial(658),0,"2",[[657,1]],658,"S_n",["A",658,1],658]];
PRIMGRP[659]:=
[[1,Factorial(659)/2,1,"2",[[658,1]],657,"A_n",["A",659,1],659],
[2,Factorial(659),0,"2",[[658,1]],659,"S_n",["A",659,1],659]];
PRIMGRP[660]:=
[[1,435600,0,"3a",[[55,1],[60,2],[110,2],[132,2]],1,
"L2,11^2#660.1",["L",[2,11],2],
[(1,259,287,356,566,399,86,629,10,276,486,344,416,218,62)(2,293,69,359,
406,300,90,48,434,279,381,51,417,94,368)(3,54,482,358,366,207,89,
67,264,280,296,600,419,433,655)(4,598,630,360,651,490,88,485,220,277,
206,260,418,263,570)(5,343,46,357,61,382,87,288,91,278,396,291,420,
7,407)(6,471,513,345,172,519,65,242,541,289,587,549,397,607,536)
(8,567,245,341,628,590,64,487,609,286,217,472,398,257,173)
(9,546,383,342,537,93,63,512,294,290,516,410,400,543,49)
(11,525,581,353,535,613,104,499,467,326,527,197,425,502,224)
(12,200,618,352,225,451,102,585,178,327,612,232,423,469,561)
(13,234,237,355,565,571,105,619,656,330,452,492,424,177,201)
(14,495,282,354,205,412,101,238,35,328,572,335,422,657,83)
(15,334,496,351,85,528,103,283,504,329,411,521,421,33,533)
(16,375,560,378,99,634,106,318,478,312,428,168,402,45,249)
(17,150,332,376,124,84,108,128,285,313,157,414,401,165,32)
(18,415,491,377,34,203,107,331,236,315,81,573,405,284,658)
(19,575,320,379,659,430,110,493,42,314,202,373,404,240,100)
(20,170,127,380,248,158,109,556,164,311,633,146,403,479,122)
(21,636,138,363,447,117,59,187,131,301,253,143,394,554,111)
(22,511,610,362,518,475,57,542,175,305,548,243,391,538,588)
(23,241,186,361,589,254,58,606,551,302,473,637,393,174,448)
(24,141,463,365,113,211,60,136,272,303,116,594,392,133,621)
(25,591,545,364,623,550,56,461,540,304,213,514,395,273,517)
(26,182,250,339,269,559,79,601,632,306,649,476,388,457,169)
(27,43,179,337,374,233,76,96,564,308,319,620,386,426,455)
(28,617,468,336,454,196,78,176,222,307,231,582,387,562,611)
(29,584,604,338,614,650,77,466,456,310,198,183,390,221,267)
(30,477,98,340,166,316,80,246,429,309,558,44,389,631,371)
(31,159,529,333,162,501,82,147,522,281,123,534,413,126,500)
(36,442,192,347,194,227,73,230,579,321,580,641,437,643,443)
(37,152,39,346,154,350,75,155,74,325,153,324,438,151,439)
(38,322,229,348,440,578,71,40,644,323,349,445,436,72,195)
(41,660,563,372,494,616,97,204,453,317,239,180,427,574,235)
(47,624,370,384,462,70,95,212,298,295,275,432,408,595,52)
(50,520,215,385,544,274,92,547,592,292,539,622,409,515,464)
(53,271,112,367,593,137,66,625,120,297,465,135,431,214,144)
(55,132,261,369,142,597,68,115,652,299,140,484,435,118,209)
(114,251,208,139,553,262,119,638,596,134,446,654,145,188,481)
(121,460,530,129,185,505,160,270,524,161,603,532,148,647,497)
(125,635,266,130,480,605,156,167,646,163,247,458,149,557,184)
(171,219,252,244,256,552,586,568,640,608,627,450,474,488,189)
(181,470,531,268,199,498,602,223,526,648,583,503,459,615,523)
(190,626,265,255,489,599,555,216,653,639,258,483,449,569,210)
(191,508,642,228,510,441,576,506,193,645,509,226,444,507,577),
(1,446,209,654,382,337,202,184,24,341,279,643,590,509,231,72,87,541,498,
648,70,495,249,304,121,11,389,419,135,162,270,428,573)(2,47,28,508,
367,482,420,516,296,181,401,641,634,613,124,104,564,339,112,444,500,375,
250,257,251,210,413,291,88,220,605,163,63)(3,619,117,603,374,545,356,
16,167,481,595,642,240,198,299,64,131,92,609,550,565,322,247,43,526,
441,402,205,435,275,129,292,466)(4,190,313,130,334,581,295,627,233,431,
151,645,537,489,169,108,285,483,224,12,360,179,248,156,576,548,408,476,
561,53,653,93,512)(5,535,269,268,347,94,478,464,122,326,110,644,137,
22,21,99,434,582,553,206,465,407,246,171,646,650,399,359,282,330,510,
552,331)(6,66,42,494,543,142,213,17,473,71,467,621,430,620,571,132,
191,524,606,559,390,594,265,345,237,277,204,505,149,273,310,384,323)
(7,306,452,629,501,96,504,628,378,186,333,624,475,570,221,145,400,143,
223,78,540,109,264,557,317,54,193,346,192,55,422,157,409)
(8,40,338,245,523,289,349,572,574,531,161,623,657,89,38,148,460,100,
280,276,140,185,262,241,416,659,211,596,398,492,493,173,497)
(9,640,578,307,499,394,600,73,222,366,215,625,227,314,474,165,362,287,
388,51,105,522,263,34,487,558,182,82,456,381,630,412,146)
(10,562,252,424,549,525,81,298,36,601,395,622,293,30,379,127,147,391,
445,658,300,363,261,485,611,76,166,214,365,604,244,442,83)
(13,539,19,284,141,305,649,351,69,406,324,651,158,607,477,195,447,267,
59,429,335,468,235,189,271,585,502,586,23,437,344,107,592)
(14,614,490,343,138,342,486,517,387,521,480,655,254,577,67,175,68,579,
114,385,150,583,234,26,311,426,534,427,312,217,75,212,281)
(15,568,80,74,153,126,587,626,203,636,84,652,316,423,386,180,170,303,
225,542,230,393,232,454,377,383,513,547,449,52,133,33,364)
(18,397,566,544,660,528,116,461,448,421,348,610,350,320,134,242,118,199,
554,589,380,98,272,97,453,201,37,200,530,328,302,77,396)
(20,598,301,372,631,196,438,183,593,101,35,608,288,450,62,259,527,355,
496,321,415,637,274,457,588,404,48,119,57,164,470,368,229)
(25,459,238,340,560,160,123,353,358,491,144,647,597,45,86,308,188,208,
60,91,575,194,266,286,617,417,472,536,507,440,432,278,503)
(27,216,187,392,414,44,580,352,563,176,556,612,519,538,361,370,618,315,
56,294,515,309,255,113,159,85,103,236,488,439,484,152,471)
(29,58,551,65,405,243,239,520,139,591,136,615,436,329,403,373,39,41,
115,172,325,174,253,354,463,371,61,656,616,218,532,469,533)
(31,125,425,260,95,120,290,297,318,336,546,638,207,376,46,433,197,458,
443,455,90,128,228,506,79,632,357,529,599,602,567,418,168)
(32,319,518,102,106,178,633,462,49,511,584,639,451,111,411,410,514,256,
555,635,155,283,226,569,219,369,332,154,50,327,258,177,479)]],
[2,871200,0,"3a",[[55,1],[110,2],[120,1],[132,2]],1,
"L2,11^2#660.2",["L",[2,11],2],
[(1,290,140,90,410,382,625,264,539,215,577,441)(2,519,631,570,408,39,583,
131,536,391,124,638)(3,421,386,371,406,504,535,166,538,19,45,309)
(4,14,75,224,407,413,257,478,540,527,450,96)(5,560,569,493,409,126,
134,103,537,650,636,231)(6,91,505,267,438,230,20,453,542,464,423,109)
(7,350,644,533,437,186,599,42,544,305,111,387)(8,31,242,165,439,428,
475,656,541,499,69,565)(9,159,113,448,436,616,643,74,545,604,596,256)
(10,521,379,195,440,28,176,294,543,404,329,356)(11,144,396,500,412,652,
547,35,529,552,49,427)(12,484,373,381,415,58,167,212,530,252,307,289)
(13,302,66,173,414,346,244,298,526,189,472,367)(15,567,323,561,411,135,
342,164,528,640,218,660)(16,580,185,152,425,136,315,609,501,622,337,586)
(17,254,637,377,424,482,568,178,503,57,132,328)(18,336,62,402,422,184,
272,522,502,314,489,29)(21,207,614,209,418,279,574,280,514,362,146,361)
(22,116,25,27,417,629,420,405,513,592,512,525)(23,311,177,455,419,339,
330,106,511,183,376,269)(24,266,261,588,416,454,444,153,515,110,89,606)
(26,486,590,621,403,63,154,579,524,274,607,139)(30,79,43,443,401,249,
388,87,523,456,532,263)(32,392,253,235,429,520,485,495,498,36,56,102)
(33,114,318,100,430,641,333,222,496,598,198,480)(34,459,193,201,426,80,
295,285,497,246,359,355)(37,260,351,611,393,446,202,575,518,73,283,149)
(38,507,51,343,394,52,433,220,517,434,509,321)(40,200,208,238,395,317,
277,467,516,335,363,81)(41,175,546,558,390,296,50,128,534,368,399,648)
(44,353,158,655,389,203,618,551,531,282,603,142)(46,554,233,658,400,145,
491,564,550,651,104,161)(47,188,77,71,398,303,248,259,549,347,457,449)
(48,370,601,169,397,172,160,308,548,300,620,375)(53,278,334,122,432,364,
196,632,508,206,320,584)(54,98,572,595,435,223,147,120,506,477,613,628)
(55,236,510,83,431,469)(59,476,341,214,255,99,219,286,481,221,324,384)
(60,262,227,646,251,442,463,557,483,88,92,130)(61,594,332,593,273,119,
199,118,490,626,316,627)(64,108,275,365,271,268,487,210,488,452,65,276)
(67,310,462,654,243,372,94,555,473,170,228,141)(68,258,101,299,241,447,
232,366,474,72,494,174)(70,653,192,556,245,553,292,129,471,143,357,649)
(76,659,354,465,250,562,204,95,460,163,281,226)(78,451,624,605,247,107,
576,156,458,270,137,617)(82,237,585,479,239,470,121,97,466,84,633,225)
(85,117,612,325,240,630,573,345,468,591,148,217)(86,179,589,313,265,326,
151,340,445,378,608,181)(93,642,291,369,229,600,360,171,461,115,194,297)
(105,213,125,187,234,288,635,304,492,383,582,349)(112,563,581,571,645,162,
123,150,597,657,634,615)(127,602,327,211,647,157,380,287,559,619,180,385)
(133,168,358,578,639,306,191,138,566,374,293,623)(155,610,587)(182,312,338)
(190,216,197,352,301,322,319,205,348,344,331,284),
(1,463,210,568,624)(2,470,220,583,660)(3,490,213,592,644)
(4,456,195,574,617)(5,454,188,599,636)(6,477,171,603,655)
(7,453,216,570,607)(8,493,185,596,657)(9,446,207,577,643)
(10,489,168,565,631)(11,443,212,573,630)(12,458,167,598,611)
(13,492,194,576,640)(14,461,181,588,641)(15,478,203,560,632)
(16,441,198,595,619)(17,448,219,604,625)(18,488,192,585,629)
(19,465,205,579,606)(20,482,175,589,634)(21,481,217,594,651)
(22,457,177,563,659)(23,475,200,556,628)(24,487,184,567,614)
(25,476,215,586,623)(26,494,189,582,609)(27,472,218,562,616)
(28,486,201,605,637)(29,444,170,557,654)(30,469,176,575,615)
(31,480,209,600,648)(32,485,182,559,610)(33,452,202,591,613)
(34,467,199,555,622)(35,445,190,602,642)(36,474,191,566,633)
(37,451,166,578,620)(38,491,179,558,649)(39,484,208,551,658)
(40,464,196,584,612)(41,442,172,580,647)(42,473,204,571,621)
(43,450,214,561,638)(44,460,206,593,635)(45,455,180,553,652)
(46,466,183,601,627)(47,449,193,590,656)(48,462,187,572,650)
(49,479,178,569,639)(50,471,173,552,608)(51,468,211,597,653)
(52,459,197,587,646)(53,483,169,581,645)(54,447,186,554,618)
(55,495,174,564,626)(56,86,61,76,58)(57,81,93,90,92)
(59,100,60,108,73)(62,106,103,89,110)(63,75,77,104,101)
(64,67,71,69,94)(65,88,84,96,72)(66,97,102,83,105)
(68,70,82,87,79)(74,99,80,91,95)(78,107,109,98,85)
(111,515,398,246,355)(112,496,413,254,348)(113,523,434,229,369)
(114,530,420,259,339)(115,516,423,221,341)(116,538,400,235,346)
(117,527,424,248,357)(118,508,438,257,343)(119,500,427,272,375)
(120,545,404,244,334)(121,532,401,232,378)(122,526,387,237,335)
(123,537,412,271,338)(124,521,397,251,372)(125,547,407,230,353)
(126,507,418,225,359)(127,548,425,275,368)(128,517,389,227,382)
(129,534,430,267,331)(130,499,406,241,340)(131,550,435,247,374)
(132,502,399,240,342)(133,510,386,266,376)(134,511,391,222,384)
(135,529,426,231,366)(136,519,440,243,365)(137,513,417,228,377)
(138,541,388,249,336)(139,549,405,236,358)(140,536,431,263,344)
(141,504,421,255,333)(142,524,390,273,345)(143,498,436,250,383)
(144,546,393,268,364)(145,544,414,264,351)(146,543,396,258,379)
(147,520,392,238,354)(148,531,416,245,349)(149,528,410,252,381)
(150,505,437,269,356)(151,506,402,274,363)(152,501,429,223,350)
(153,540,419,239,367)(154,525,394,265,380)(155,518,411,256,332)
(156,512,408,233,360)(157,539,422,242,352)(158,497,432,224,362)
(159,503,403,261,371)(160,533,395,253,370)(161,535,415,226,361)
(162,522,428,260,385)(163,542,409,270,373)(164,514,439,262,347)
(165,509,433,234,337)(276,282,301,319,315)(277,328,283,300,287)
(278,297,316,326,303)(279,290,312,304,307)(281,310,305,330,322)
(284,289,308,295,314)(285,318,299,321,293)(286,325,298,329,309)
(288,296,311,320,291)(294,306,324,317,302)]],
[3,871200,0,"3b",[[55,1],[110,2],[120,1],[132,2]],1,
"L2,11^2#660.3",["L",[2,11],2],
[(1,21,18,35,43)(2,55,32,48,28)(3,42,22,54,13)(4,14,41,26,
49)(6,19,47,53,44)(7,46,31,29,20)(8,52,30,37,15)
(9,45,16,12,36)(11,34,24,38,27)(17,23,33,39,51)
(56,489,569,292,134)(57,471,602,289,149)(58,454,593,299,128)
(59,476,564,311,143)(60,464,584,317,162)(61,481,561,326,126)
(62,443,579,304,139)(63,494,556,319,117)(64,474,583,280,156)
(65,480,600,300,150)(66,492,576,283,115)(67,459,552,314,132)
(68,452,597,329,142)(69,477,567,307,118)(70,470,595,320,140)
(71,466,601,306,131)(72,463,594,278,119)(73,442,574,282,159)
(74,472,558,293,163)(75,458,577,296,124)(76,457,563,294,116)
(77,478,578,323,164)(78,448,588,309,112)(79,483,555,318,148)
(80,462,605,305,152)(81,490,592,328,160)(82,469,560,303,113)
(83,495,553,291,127)(84,484,582,286,153)(85,465,590,285,135)
(86,486,559,310,147)(87,447,554,287,145)(88,460,573,327,111)
(89,493,568,297,157)(90,475,565,325,125)(91,451,585,284,138)
(92,485,598,322,114)(93,449,603,312,123)(94,468,551,298,165)
(95,473,571,302,130)(96,446,566,281,161)(97,467,599,290,158)
(98,444,557,324,151)(99,479,604,276,136)(100,488,587,316,144)
(101,491,581,321,141)(102,461,580,315,129)(103,441,586,330,120)
(104,453,570,277,122)(105,450,575,295,155)(106,456,591,301,146)
(107,455,572,288,133)(108,487,562,279,154)(109,445,596,308,121)
(110,482,589,313,137)(166,346,404,271,509)(167,359,433,237,542)
(168,383,394,232,522)(169,353,423,251,514)(170,380,410,230,535)
(171,371,406,266,541)(172,376,438,240,513)(173,340,397,231,519)
(174,332,419,247,549)(175,355,393,222,536)(176,341,431,246,511)
(177,358,411,254,510)(178,372,426,229,550)(179,331,437,259,502)
(180,347,407,221,529)(181,361,421,256,506)(182,352,396,274,525)
(183,343,418,239,501)(184,384,435,223,518)(185,335,415,265,540)
(186,366,401,261,521)(187,364,440,253,537)(188,348,428,233,532)
(189,334,398,242,526)(190,377,425,224,547)(191,336,391,241,531)
(192,385,420,227,543)(193,367,414,275,528)(194,333,427,267,520)
(195,360,405,225,505)(196,362,434,234,548)(197,356,436,270,534)
(198,378,403,260,517)(199,345,387,226,507)(200,339,416,262,499)
(201,381,430,264,508)(202,350,432,268,538)(203,374,392,255,527)
(204,338,388,273,545)(205,365,400,250,500)(206,357,395,263,546)
(207,369,424,228,504)(208,354,412,249,544)(209,373,439,243,498)
(210,363,386,236,524)(211,344,409,272,516)(212,379,417,244,523)
(213,382,422,248,530)(214,370,429,257,496)(215,375,390,235,515)
(216,349,399,258,512)(217,351,408,245,503)(218,337,402,238,539)
(219,368,389,252,533)(220,342,413,269,497)(606,619,640,617,642)
(607,631,624,635,637)(608,656,652,659,625)(609,615,645,611,627)
(610,648,628,646,655)(612,613,638,622,660)(614,633,634,653,629)
(616,623,654,647,620)(618,658,657,630,643)(621,641,651,636,626)
(632,649,650,644,639),(1,122,462,657,542,153,397,218,490,270)
(2,238,162,42,457)(3,621,416,198,286,272,546,605,395,173)
(4,402,166,360,251,308,312,54,346,75)(5,570,99,256,26,456,85,547,
127,592)(6,513,560,588,307,280,241,636,530,275)(7,14,124,544,221,467,
609,634,157,452)(8,347,535,320,602,259,369,615,71,81)(9,458,445,466,
136,128,151,643,279,580)(10,66,628,425,206)(11,236,406,192,551,522,41,
15,566,30)(12,623,614,381,396,178,393,209,352,53)(13,404,205,627,652,
91,231,508,57,25)(16,569,366,418,216,106,638,337,558,235)
(17,625,154,572,562,429,199,306,301,471)(18,403,172,443,21,512,113,243,
426,220)(19,125,51,515,422,175,536,74,441,78)(20,237,589,326,526,644,
281,420,179,596)(22,70,269,373,36,405,207,104,367,222)(23,348,384,641,
302,504,343,333,245,555)(24,460,537,48,121,87,309,316,434,170)
(27,67,142,277,631,575,438,180,258,446)(28,350,46,568,496,579,351,541,
419,181)(29,514,651,475,486,564,147,112,578,101)(31,294,494,389,187,120,
32,291,518,520)(33,292,34,293,376,495,262,264,117,377)(35,295,61,584,
646)(37,240,659,88,296,453,477,325,115,132)(38,622,225,80,507)
(39,567,447,100,606,131,527,400,197,330)(40,123,342,94,586,298,73,375,
481,640)(43,68,440,219,362,285,611,533,313,345)(44,349,454,353,461,164,
331,133,338,655)(45,511,248,610,576,478,287,573,141,303)(47,401,194,430,
211,656,463,587,288,158)(49,239,233,488,436,212,163,501,543,613)
(50,624,593,539,451,103,96,139,252,300)(52,459,374,340,111,632,273,354,
344,503)(55,69,565,227,267,540,531,304,93,660)(56,469,260,499,135)
(58,79,361,305,335,415,184,370,594,372)(59,356,618,604,600,510,339,421,
191,639)(60,525,505,464,410,204,145,311,86,328)(62,263,390,189,265,647,
492,649,63,116)(64,648,519,379,65,387,190,650,380,516)(72,538,385,274,
105,449,448,368,155,156)(76,489,626,246,140,616,433,202,563,553)
(77,109,427,183,450,500,242,148,424,168)(82,355,89,321,250,598,365,315,
545,591)(83,480,327,485,150,556,165,92,408,171)(84,102,498,412,215,590,
324,423,203,266)(90,289,645,314,465,234,108,149,653,502)(95,161,472,110,
230,144,282,595,442,524)(97,394,201,437,185)(98,599,107,552,470,391,195,
146,247,257)(114,411,177,608,414,217,509,484,226,629)(118,493)
(119,517,491,581,585)(126,417,214,409,167,468,597,487,143,318)
(129,612,455,548,619)(130,223,521,474,364,278,134,482,554,359)
(137,432,174,371,529,571,268,444,358,601)(138,603,607,244,229,561,637,483,
428,176)(152,271,479,310,283)(159,532,284,224,357,435,210,476,297,382)
(160,383,574,630,559,658,341,473,506,528)(169,523,332,577,549,255,329,336,
249,392)(182,497,635,642,319,620,617,253,290,398)(186,583,261,582,388)
(188,386)(193,228,439,196,323,557,407,208,550,431)(200,299,534,276,413)
(213,232,363,317,254,322,654,334,633,399)]],
[4,871200,0,"3b",[[55,1],[60,2],[110,2],[132,2]],1,
"L2,11^2#660.4",["L",[2,11],2],
[(1,19,461,185,607,395,478,599,167,49)(2,340,299,191,180,227,560,134,214,
203)(3,564,183,213,336,119,249,202,189,284)(4,204,571,172,490,447,168,
333,175,139)(5,634,406,199,262)(6,585,296,50,619,407,33,485,298,334)
(7,14,128,126,92,259,107,523,330,514)(8,382,518,471,346,442,304,277,
289,64)(9,212,20,283,574)(10,606,410,645,427,141,483,257,279,467)
(11,230,630,411,196,99,448,55,499,181)(12,288,462,342,60,82,54,547,
520,292)(13,95,297,603,509,101,348,272,529,132)(15,466,355,223,581,76,
269,491,524,222)(16,242,127,470,649,388,364,371,29,246)(17,63,354,326,
526,235,624,412,34,318)(18,147)(21,195,626,391,255,261,186,244,229,358)
(22,331,351,85,638,438,531,41,238,463)(23,601,517,270,69)
(24,48,573,353,159,137,366,315,248,563)(25,625,408,587,42,487,71,444,
274,496)(26,325,627,400,641,429,254,154,357,593)(27,115,464,591,552,268,
323,356,344,473)(28,493,516,57,459,165,498,592,349,102)(30,67,184,385,
501)(31,155,628,425,479,372,551,475,659,387)(32,96,73,273,546,522,457,
295,609,397)(35,264,572,576,105,658,436,535,655,401)(36,40,629,409,362,
600,637,433,144,153)(37,556,74,104,219,549,503,350,124,194)
(38,176,130,228,39,359,182,583,118,324)(43,278,129,290,149,562,595,656,
434,476)(44,108,519,162,515,646,405,643,430,87)(45,136,575,647,431,307,
265,618,414,363)(46,187,465,615,389,588,210,321,559,233)(47,368,72,305,
106,510,275,513,580,122)(51,528,75,123,605,539,377,568,83,378)
(52,542,300,623,396,365,653,420,88,598)(53,512,352,460,472,553,56,160,
109,538)(58,224,383,525,81,569,327,543,452,456)(59,329,548,507,125,621,
423,252,482,77)(61,579,271,545,78,293,384,506,303,240)(62,174,110,504,
220,511,173,239,282,190)(65,650,440,534,596,567,157,488,311,111)
(66,343,163,527,312)(68,594,218,544,120)(70,614,439,532,206)
(79,164,550,537,566,458,266,112,243,94)(80,474,216,500,613,404,361,208,
247,337)(84,166,602,505,660,403,198,317,338,455)(86,209,495,502,555,294,
211,565,612,435)(89,374,217,530,446,570,221,215,632,394)(90,654,437,533,
373,347,302,140,616,422)(91,117,494,536,170,622,393,309,151,178)
(93,454,328,497,345,291,584,453,156,276)(97,313,492,508,443,121,335,648,
417,142)(98,133,381,540,640,402,590,651,432,253)(100,232,604,521,158,236,
150,633,424,306)(103,554,161,541,256,237,245,468,578,445)(113,281,369,231,
192,360,611,419,477,207)(114,148,201,367,450,639,386,197,484,116)
(131,582,258,486,135,608,421,143,263,370)(138,188,146,339,260)
(145,316,205,617,392)(152,557,314,322,177,286,285,620,398,200)
(169,193,558,449,379)(171,280,226,179,469)(225,610,413,586,375,657,416,308,
481,451)(234,332,577,301,489)(241,287)(250,631,415,644,428,310,319,561,341,
267)(251,320,635,399,589,597,376,380,636,418)(390,642,426,480,652),
(1,369,555,629,329,308,508,6,267,390)(2,526,332,542,408,378,424,181,259,
125)(3,489,386,318,258,235,450,226,265,505)(4,100,56,242,470)
(5,559,609,601,644,216,142,121,247,250)(7,315,57,176,525,68,544,413,
324,425)(8,29,112,331,585,630,164,364,304,127)(9,208,445,67,484,134,
263,475,282,481)(10,119,497,136,323,419,563,648,330,252)(11,280,115,63,
302,245,65,175,190,13)(12,130,224,195,337)(14,244,335,340,129,184,305,
15,180,60)(16,444,499,264,105,392,467,148,373,26)(17,348,113,573,638,
604,643,274,365,171)(18,579,608,547,362,156,409,82,370,78)
(19,510,223,325,395,64,260,25,339,277)(20,73,554,634,605,641,328,197,
342,347)(21,483,221,155,449,191,482,294,99,453)(22,582,610,108,144)
(23,541,389,212,422,292,367,345,72,519)(24,92,443,359,97,353,523,464,
104,427)(27,186,276,238,565,611,603,642,165,89)(28,287,551,619,163,586,
639,383,145,298)(30,237,500,283,543,399,102,421,132,201)(31,524,498,48,
432,387,147,592,640,107)(32,570,607,382,310,71,343,577,628,219)
(33,451,169,96,567,632,494,588,652,327)(34,355,59,128,133,137,192,581,
624,385)(35,58,278,187,178,568,622,602,645,55)(36,256,170,556,623,549,
534,103,433,412)(37,158,388,246,150,503,248,215,394,514)(38,41,552,606,
493,532,372,268,410,448)(39,303,279,288,344,506,182,160,404,139)
(40,173,111,512,193,545,402,49,423,222)(42,341,442,461,374,210,74,459,
469,316)(43,517,166,487,403,262,595,613,492,361)(44,458,333,485,183)
(45,76,114,466,249,320,172,289,460,62)(46,429,167,368,457,571,654,161,
533,472)(47,418,496,204,270,405,284,93,507,131)(50,391,334,95,75,79,
188,243,515,227)(51,199,553,625,110,254,135,281,584,618)(52,307,441,564,
653)(53,143,168,528,513,321,434,397,593,646)(54,255,225,230,285,338,177,
351,569,626)(61,159,414,194,94,350,189,126,293,530)(66,583,631,550,88,
266,415,228,205,120)(69,91,580,633,381,198,516,123,213,420)
(70,336,241,575,614,384,251,185,174,240)(77,236,360,557,627,273,590,615,
106,200)(80,290)(81,486,411,153,539)(83,529,468,214,430,122,146,471,138,
154)(84,98,521,357,488,406,598,647,162,479)(85,560,635,109,309,578,616,
326,141,234)(86,207,576,621,495)(87,311,522,562,657,436,531,591,660,440)
(90,116,356,527,572,658,438,587,649,275)(101,417,358,366,520,297,269,400,
501,149)(117,561,636,546,589,659,439,363,257,300)(118,462,474,261,375)
(124,317,301,179,455)(140,229)(151,597,637,491,477,599,651,271,480,447)
(152,376,416,463,594,655,218,196,456,511)(157,396,473,202,206,349,239,465,
504,319)(203,312,566,617,272,535,502,211,435,401)(209,509,291,490,398,371,
314,352,454,299)(217,253,295,558,620)(220,306,346,286,518,232,380,393,574,
650)(231,600,612,548,478,379,428,296,313,452)(233,540,446,322,426)
(377,431,407,538,537)(437,476,536,596,656)]],
[5,1742400,0,"3b",[[55,1],[110,2],[120,1],[132,2]],1,
"L2,11^2#660.5",["L",[2,11],2],
[(1,447,451,320,415,521,183,63,39,119,116,328,65,250,476,484,422,80,134,
161,263,409)(2,553,338,295,655,410,264,386,369,124,660,164,498,177,463,
619,486,579,56,241,83,645)(3,165,628,325,378,348,457,520,204,131,552,
603,47,658,448,304,251,360,349,566,592,223)(4,372,401,300,461,48,510,
186,314,159,8,107,557,311,473,90,602,243,258,371,404,162)
(5,298,278,285,58,620,150,648,260,163,109,494,153,387,467,221,627,466,
651,391,22,9)(6,261,437,290,46,82,254,286,94,518,176,604,92,45,
407,108,316,418,363,511,206,425)(7,630,136,309,130,96,434,444,38,442,
635,327,633,597,397,229,536,175,225,106,335,623)(10,496,205,302,641,110,
126,19,147,29,307,495,276,481,412,647,21,539,217,281,274,228)
(11,30,141,321,305,33,20,487,313,315,577,271,550,201,593,501,216,381,
515,181,246,362)(12,646,657,297,601,527,199,49,259,551,277,384,621,640,
587,37,351,238,330,541,166,334)(13,522,167,319,396,610,226,266,650,85,
34,549,178,279,574,128,606,100,423,636,477,385)(14,101,73,283,43,429,
390,322,594,653,428,439,148,231,563,383,236,443,64,61,631,353)
(15,235,370,291,75,382,68,158,538,182,542,219,483,431,598,411,26,588,
247,306,558,342)(16,359,567,303,89,152,394,508,202,380,459,275,97,413,
233,138,586,544,174,71,485,400)(17,288,618,287,529,200,91,60,93,272,
608,548,194,642,262,430,426,406,499,191,35,607)(18,585,87,280,111,584,
643,626,368,460,41,438,357,294,222,497,211,614,649,506,215,273)
(23,637,310,317,435,117,599,424,540,169,492,605,616,358,122,507,192,88,
336,456,57,50)(24,76,376,293,503,171,502,185,40,600,432,329,249,145,
139,142,367,568,452,491,464,242)(25,268,232,323,454,560,156,79,595,72,
573,493,339,570,132,375,402,373,403,446,379,123)(27,365,70,312,344,513,
220,114,149,102,654,436,488,474,531,189,576,42,388,561,282,615)
(28,478,113,289,245,656,554,462,95,611,524,218,575,331,514,173,652,389,
140,361,622,270)(31,227,77,301,535,213,44,395,257,299,155,440,582,532,
203,455,127,547,188,341,69,471)(32,99,420,308,333,240,352,625,537,208,
399,546,214,519,212,59,526,198,617,581,252,583)(36,326)(51,470,52,324,
133,296,340,121,256,450,591)(53,562,572,318,421,267,104,54,366,347,292)
(55,137,480,284,516,187,475,255,146,525,172)(62,545,209,433,354,67,345,
237,596,417,589)(66,580,612,103,224,265,393,659,374,405,555,151,408,629,
564,112,489,343,624,78,453,332)(74,115,356,458,613,234,468,505,207,414,
105,504,168,129,230,639,143,565,482,419,144,469)(81,534,193,253,490,160,
269,523,210,416,479,571,556,578,517,195,533,180,337,346,350,125)
(84,86,465,528,197,244,509,179,154,427,392)(98,398)(118,355,512,170,559,
472,644,500,190,157,638,364,239,120,441,248,590,632,445,543,184,634)
(135,449)(196,530)(377,569),
(1,475,426,458,330,561,24,226,530,393,492,420)(2,91,419,335,485,629,296,
121,125,596,603,310)(3,334,395,614,433,439,167,6,647,258,384,370)
(4,502,425,408,342,144,233,56,255,608,106,635)(5,44,434,288,184,267,
122,181,577,138,548,495)(7,602,238)(8,156,252,198,72,90,153,65,320,
263,328,298)(9,510,269,266,190,169,501,642,418,94,491,357)
(10,481,245,282,533,407,82,160,488,218,217,29)(11,457,566,580,564,500,
262,622,312,573,382,136)(12,640,558,463,410,152,147,329,376,14,220,551)
(13,256,578,361,524,62,531,243,86,528,109,451)(15,352,584,165,448,49,
397,197,272,108,52,36)(16,271,141,23,104,543,194,175,455,387,274,618)
(17,20,117,157,423,195,371,467,294,503,604,437)(18,620,115,230,652,402,
292,592,589,353,110,113)(19,58,127,621,132,588,538,103,385,178,51,254)
(21,511,522,594,545,368,203,351,348,158,601,186)(22,183,518,128,145,111,
69,613,575,429,164,321)(25,599,508,327,247,32,476,93,95,339,381,401)
(26,349,452,590,265,100,284,281,414,398,547,257)(27,139,441,472,645,493,
87,31,68,57,605,628)(28,211,460,173,593,421,358,333,546,637,54,487)
(30,554,490,609,180,611,246,413,461,513,162,567)(33,150,99,343,324,224,
212,648,216,347,53,572)(34,176,80,221,515,655,563,289,234,227,273,432)
(35,394,71,412,148,517,363,161,77,38,550,338)(37,199,344,61,242,249,
496,459,660,553,219,657)(39,606,346,646,569,377,587,193,85,484,494,278)
(40,428,367,295,373,595,318,364,286,66,275,557)(41,582,301,466,469,536,
514,345,556,253,436,70)(42,643,308,83,64,464,228,129,440,116,55,390)
(43,107,313,47,365,209,102,304,201,473,383,480)(45,340,279,396,624,235,
598,268,297,213,163,205)(46,529,179,442,259,658,378,215,208,182,326,133)
(48,126,187,124,507,570,222,581,632,477,549,73)(50,264,172,302,404,443,
574,610,118,617,438,232)(59,431,633,202,540,375,372,305,323,462,200,119)
(60,619,616,251,237,81,591,470,374,544,309,168)(63,422,236,350,555,552,
649,626,360,151,534,283)(67,520,562,123,270,565,207,260,280,331,641,631)
(74,276,137,650,489,355,171,131,411,532,535,98)(75,560,114,389,607,638,
659,453,204,223,362,623)(76,474,541,468,191,525,447,519,435,112,196,636)
(78,571,527,143,465,96,135,316,512,303,586,456)(79,379,498,185,653,142,
311,89,332,92,644,366)(84,505,483,424,306,356)(88,400,97,248,290,449,
225,427,639,277,479,612)(101,579,214,506,189,231,516,250,155,482,307,293)
(105,651,188,299,497,149,615,337,416,417,478,444)(120,559,399,391,244,406,
521,134,499,509,627,240)(130,287,146,241,359,504,542,405,206,568,300,597)
(140,210,450,319,409,285,154,392,314,388,354,656)(159,630,166)
(170,600,654,325,317,192,291,471,585,454,486,239)(174,380,430,177,315,229,
341,415,261,523,322,539)(336,634,386,526,625,446,576,403,537,583,369,445)
]],
[6,143095260,1,"2",[[659,1]],2,"L2,659 on projective points.1",
["L",[2,659],1],
[(3,659,657,655,653,651,649,647,645,643,641,639,637,635,633,631,629,627,625,
623,621,619,617,615,613,611,609,607,605,603,601,599,597,595,593,591,589,
587,585,583,581,579,577,575,573,571,569,567,565,563,561,559,557,555,553,
551,549,547,545,543,541,539,537,535,533,531,529,527,525,523,521,519,517,
515,513,511,509,507,505,503,501,499,497,495,493,491,489,487,485,483,481,
479,477,475,473,471,469,467,465,463,461,459,457,455,453,451,449,447,445,
443,441,439,437,435,433,431,429,427,425,423,421,419,417,415,413,411,409,
407,405,403,401,399,397,395,393,391,389,387,385,383,381,379,377,375,373,
371,369,367,365,363,361,359,357,355,353,351,349,347,345,343,341,339,337,
335,333,331,329,327,325,323,321,319,317,315,313,311,309,307,305,303,301,
299,297,295,293,291,289,287,285,283,281,279,277,275,273,271,269,267,265,
263,261,259,257,255,253,251,249,247,245,243,241,239,237,235,233,231,229,
227,225,223,221,219,217,215,213,211,209,207,205,203,201,199,197,195,193,
191,189,187,185,183,181,179,177,175,173,171,169,167,165,163,161,159,157,
155,153,151,149,147,145,143,141,139,137,135,133,131,129,127,125,123,121,
119,117,115,113,111,109,107,105,103,101,99,97,95,93,91,89,87,85,
83,81,79,77,75,73,71,69,67,65,63,61,59,57,55,53,51,49,
47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,
11,9,7,5)(4,660,658,656,654,652,650,648,646,644,642,640,638,636,
634,632,630,628,626,624,622,620,618,616,614,612,610,608,606,604,602,600,
598,596,594,592,590,588,586,584,582,580,578,576,574,572,570,568,566,564,
562,560,558,556,554,552,550,548,546,544,542,540,538,536,534,532,530,528,
526,524,522,520,518,516,514,512,510,508,506,504,502,500,498,496,494,492,
490,488,486,484,482,480,478,476,474,472,470,468,466,464,462,460,458,456,
454,452,450,448,446,444,442,440,438,436,434,432,430,428,426,424,422,420,
418,416,414,412,410,408,406,404,402,400,398,396,394,392,390,388,386,384,
382,380,378,376,374,372,370,368,366,364,362,360,358,356,354,352,350,348,
346,344,342,340,338,336,334,332,330,328,326,324,322,320,318,316,314,312,
310,308,306,304,302,300,298,296,294,292,290,288,286,284,282,280,278,276,
274,272,270,268,266,264,262,260,258,256,254,252,250,248,246,244,242,240,
238,236,234,232,230,228,226,224,222,220,218,216,214,212,210,208,206,204,
202,200,198,196,194,192,190,188,186,184,182,180,178,176,174,172,170,168,
166,164,162,160,158,156,154,152,150,148,146,144,142,140,138,136,134,132,
130,128,126,124,122,120,118,116,114,112,110,108,106,104,102,100,98,96,
94,92,90,88,86,84,82,80,78,76,74,72,70,68,66,64,62,60,
58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,26,24,
22,20,18,16,14,12,10,8,6),
(1,2,332)(3,331,333)(4,146,517)(5,280,382)(6,618,43)(7,454,206)
(8,386,273)(9,342,316)(10,307,350)(11,109,547)(12,44,611)
(13,375,279)(14,615,38)(15,634,18)(16,364,287)(17,236,414)
(19,297,351)(20,123,524)(21,116,530)(22,139,506)(23,430,214)
(24,441,202)(25,448,194)(26,199,442)(27,54,586)(28,341,298)
(29,553,85)(30,649,646)(31,35,601)(32,569,66)(33,481,153)
(34,209,424)(36,42,589)(37,544,86)(39,56,572)(40,526,101)
(41,177,449)(45,257,365)(46,658,621)(47,125,495)(48,204,415)
(49,650,626)(50,305,312)(51,403,213)(52,397,218)(53,620,652)
(55,145,467)(57,399,211)(58,479,130)(59,246,362)(60,425,182)
(61,126,480)(62,288,317)(63,629,633)(64,371,232)(65,522,80)
(67,392,208)(68,337,262)(69,427,171)(70,504,93)(71,105,491)
(72,161,434)(73,422,172)(74,233,360)(75,622,628)(76,335,256)
(77,477,113)(78,610,637)(79,474,114)(81,103,483)(82,191,394)
(83,443,141)(84,136,447)(87,404,176)(88,284,295)(89,478,100)
(90,258,319)(91,290,286)(92,608,625)(94,164,409)(95,632,598)
(96,152,419)(97,165,405)(98,241,328)(99,363,205)(102,421,144)
(104,389,174)(106,433,128)(107,393,167)(108,268,291)(110,439,118)
(111,635,579)(112,320,235)(115,356,196)(117,555,653)(119,324,224)
(120,627,578)(121,343,203)(122,326,219)(124,412,131)(127,277,263)
(129,264,274)(132,315,220)(133,339,195)(134,548,643)(135,226,306)
(137,381,149)(138,624,563)(140,541,644)(142,599,584)(143,361,163)
(147,518,660)(148,189,330)(150,251,266)(151,346,170)(154,269,244)
(155,227,285)(156,200,311)(157,309,201)(158,525,642)(159,212,296)
(160,594,571)(162,229,276)(166,248,253)(168,207,292)(169,539,617)
(173,559,593)(175,254,238)(178,310,179)(180,294,193)(181,561,583)
(183,631,511)(184,538,603)(185,606,534)(186,575,564)(187,587,551)
(188,281,198)(190,585,550)(192,228,247)(197,519,609)(210,657,458)
(215,487,623)(216,639,470)(217,528,580)(221,581,523)(222,465,638)
(223,640,462)(225,554,546)(230,503,592)(231,558,536)(234,641,450)
(237,595,493)(239,604,482)(240,455,630)(242,591,492)(243,562,520)
(245,512,568)(249,460,616)(250,428,647)(252,540,533)(255,500,570)
(259,499,567)(260,577,488)(261,613,451)(265,607,453)(267,612,446)
(270,473,582)(271,557,497)(272,597,456)(275,560,490)(278,656,391)
(282,384,659)(283,527,515)(289,651,385)(293,600,432)(299,407,619)
(300,648,377)(301,565,459)(302,418,605)(303,521,501)(304,431,590)
(308,549,468)(313,367,645)(314,357,654)(318,513,494)(321,543,461)
(322,655,348)(323,636,366)(325,531,469)(327,596,402)(329,588,408)
(334,475,516)(336,423,566)(338,542,445)(340,545,440)(344,552,429)
(345,406,574)(347,376,602)(349,532,444)(352,359,614)(353,464,508)
(354,486,485)(355,507,463)(358,438,529)(368,452,505)(369,380,576)
(370,484,471)(372,457,496)(373,396,556)(374,573,378)(379,437,509)
(383,476,466)(387,537,401)(388,435,502)(390,400,535)(395,510,420)
(398,413,514)(410,489,426)(411,416,498)(417,436,472)]],
[7,286190520,0,"2",[[659,1]],3,"L2,659 on projective points.2",
["L",[2,659],1],
[(1,611,171,311,316,435,266,119,197,80,267,446,189,77,496,599,511,343,151,
105,194,410,420,25,239,54,379,88,50,8,297,11,284,535,601,469,43,
71,452,476,340,454,656,486,598,131,350,369,349,455,138,630,310,143,527,
497,261,89,648,546,265,150,347,562,356,358,465,528,441,113,504,86,367,
396,109,94,400,306,471,522,657,183,359,513,614,590,121,437,21,319,305,
256,564,36,39,418,237,123,173,14,100,474,225,432,536,485,114,10,26,
64,647,46,326,250,493,501,576,179,401,185,115,320,299,619,283,533,13,
645,218,591,146,30,495,394,547,384,585,575,510,116,180,475,560,405,277,
605,175,235,49,629,330,40,17,484,491,199,362,312,407,32,318,438,87,
442,650,292,426,544,592,463,210,137,162,433,289,76,286,568,69,636,223,
15,360,135,327,604,631,203,623,390,480,644,526,521,293,188,186,470,200,
557,570,315,459,348,617,524,518,642,399,653,221,196,488,51,336,506,450,
274,229,133,620,140,176,659,597,174,272,641,387,160,332,182,82,525,142,
548,334,291,516,48,208,603,244,167,472,439,134,290,207,213,626,477,344,
236,578,571,181,618,97,514,635,85,582,370,517,508,7,83,19,346,357,
184,92,478,341,380,178,232,490,451,574,3,338,212,646,468,139,278,262,
78,417,157,361,96,248,376,219,566,260,586,392,24,624,365,612,354,247,
27,595,271,117,654,112,130,577,148,259,368,73,169,596,456,416,412,658,
206,75,204,554)(2,345,37,166,35,241,487,483,443,303,72,168,531,640,
93,322,111,129,245,124,628,304,214,652,545,287,534,275,217,507,313,639,
333,22,523,651,145,538,84,482,163,637,621,102,431,253,29,561,238,325,
448,409,9,63,519,558,421,149,57,542,553,222,158,234,391,382,529,317,
156,264,385,144,281,60,328,321,5,555,422,273,28,34,609,107,460,427,
74,655,296,33,193,383,608,565,351,99,374,159,59,567,81,512,258,627,
67,302,240,65,101,279,108,12,625,449,393,563,190,411,45,20,246,500,
257,381,375,282,551,440,584,329,342,41,429,55,53,606,378,373,255,419,
509,276,38,268,295,572,106,539,226,18,263,172,331,613,165,610,466,79,
104,31,436,307,355,473,607,249,457,154,461,581,209,492,587,537,42,408,
415,224,201,569,270,192,6,66,294,622,494,339,424,61,125,389,324,314,
515,352,505,404,211,95,308,23,254,228,366,616,280,600,579,126,56,498,
62,323,398,406,649,573,195,252,177,215,231,127,414,363,467,16,425,141,
227,68,118,4,481,202,205,335,643,594,580,220,462,120,309,285,386,540,
58,242,377,428,593,499,147,132,503,532,155,395,128,458,371,434,541,543,
337,552,91,634,353,251,152,638,402,372,98,589,269,103,444,550,530,549,
110,301,413,243,445,559,423,447,170,198,430,298,364,615,230,602,233,191,
153,520,187,660,216,479,489,47,136,90,556,388,300,403,164,52,453,632,
161,44,122,633,464,583,588,70,288),
(1,615,203,163,587,542,444,115,68,394,74,652,372,457,598,361,161,624,616,
314,518,511,646,235,147,576,439,210,122,369,504,497,43,399,391,196,654,
417,558,643,363,283,621,289,242,571,473,428,194,154,400,2,569,238,172,
659,517,83,513,442,94,592,649,436,114,532,8,245,244,540,562,445,602,
644,221,271,99,10,25,597,292,102,390,76,177,651,131,176,589,584,451,
355,223,231,323,493,166,67,123,108,96,32,310,93,199,474,69,80,430,
519,405,415,100,140,607,189,190,578,657,336,85,308,139,254,535,658,351,
637,66,157,97,466,515,214,141,201,634,476,299,617,35,588,440,331,312,
603,605,239,337,307,145,127,40,471,352,449,18,464,23,377,495,547,567,
267,160,619,92,494,77,273,24,462,151,12,595,207,133,344,252,655,4,
641,48,577,545,388,463,591,461,120,132,213,465,370,227,434,481,42,656,
606,208,192,109,509,219,56,313,499,268,527,124,304,82,3,407,316,340,
278,321,37,514,179,456,450,329,443,220,583,611,379,362,629,269,639,393,
51,612,236,30,262,75,414,389,586,326,546,104,246,574,505,338,215,91,
60,425,71,276,73,458,63,247,72,14,623,295,187,9,70,116,512,633,
61,486,421,455,330,482,346,635,153,596,228,54,524,128,101,401,582,479,
198,647,52,155,342,29,648,537,152,447,135,293,193,548,580,384,375,174,
561,416,7,300,422,632,385,406,195,395,171,485,365,484,555,148,55,182,
169,16,525,489,46,507,618,472,173,324,492,251,319,402,411,59,107,240,
318,556,335,538,387,487,211,373,98,78,232,270,87,125,279,259,642,146,
528,628,477,22,459,39,117,250,298,604,613,38,106,523,33,184,543,397,
508,311,526,490,341,188,175,302,209,460,531,650,530,186,620,162,609,630,
383,593,57,350,599,454,183,640,631,435,467,164,64,222,568,205,478,367,
328,15,202,305,368,159,536,433,614,256,229,491,303,129,419,204,380,11,
533,27,560,594,529,296,382,503,241,287,348,170,62,392,343,285,110,294,
557,284,81,286,590,297,266,142,19,510,441,111,253,469,31,429,626,601,
282,95,327,121,403,306,622,376,88,386,653,636,404,432,137,572,28,565,
559,178,501,320,36,79,17,41,608,354,275,53,233,488,89,516,44,301,
138,506,248,165,149,409,359,315,534,581,130,645,550,144,225,237,554,424,
552,627,470,438,309,374,353,360,105,13,224,150,420,345,206,553,333,84,
280,521,265,396,197,90,448,468,520,638,334,551,339,566,5,544,317,230,
212,50,20,118,410,412,45,26,575,427,322,398,58,539,381,156,216,143,
500,549,260,200,291,378,6,357,480,103,218,49,272,21,358,437,167,168,
408,217,257,600,610,496,585,277,288,541,158,264,47,325,261,249,234,290,
191,522,34,126,134,660,564,431,426,181,226,364,180,281,625,255,65,418,
332,347,258,86,136,371,413,570,453,475,113,112,349,483,243,579,366,423,
263,573,502,274,498,356,185,119,446)]],
[8,Factorial(660)/2,1,"2",[[659,1]],658,"A_n",["A",660,1],660],
[9,Factorial(660),0,"2",[[659,1]],660,"S_n",["A",660,1],660]];
PRIMGRP[661]:=
[[1,Factorial(661)/2,1,"2",[[660,1]],659,"A_n",["A",661,1],661],
[2,Factorial(661),0,"2",[[660,1]],661,"S_n",["A",661,1],661]];
PRIMGRP[662]:=
[[1,144402060,1,"2",[[661,1]],2,"L2,661 on projective points.1",
["L",[2,661],1],
[(3,661,659,657,655,653,651,649,647,645,643,641,639,637,635,633,631,629,627,
625,623,621,619,617,615,613,611,609,607,605,603,601,599,597,595,593,591,
589,587,585,583,581,579,577,575,573,571,569,567,565,563,561,559,557,555,
553,551,549,547,545,543,541,539,537,535,533,531,529,527,525,523,521,519,
517,515,513,511,509,507,505,503,501,499,497,495,493,491,489,487,485,483,
481,479,477,475,473,471,469,467,465,463,461,459,457,455,453,451,449,447,
445,443,441,439,437,435,433,431,429,427,425,423,421,419,417,415,413,411,
409,407,405,403,401,399,397,395,393,391,389,387,385,383,381,379,377,375,
373,371,369,367,365,363,361,359,357,355,353,351,349,347,345,343,341,339,
337,335,333,331,329,327,325,323,321,319,317,315,313,311,309,307,305,303,
301,299,297,295,293,291,289,287,285,283,281,279,277,275,273,271,269,267,
265,263,261,259,257,255,253,251,249,247,245,243,241,239,237,235,233,231,
229,227,225,223,221,219,217,215,213,211,209,207,205,203,201,199,197,195,
193,191,189,187,185,183,181,179,177,175,173,171,169,167,165,163,161,159,
157,155,153,151,149,147,145,143,141,139,137,135,133,131,129,127,125,123,
121,119,117,115,113,111,109,107,105,103,101,99,97,95,93,91,89,87,
85,83,81,79,77,75,73,71,69,67,65,63,61,59,57,55,53,51,
49,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,
13,11,9,7,5)(4,662,660,658,656,654,652,650,648,646,644,642,640,
638,636,634,632,630,628,626,624,622,620,618,616,614,612,610,608,606,604,
602,600,598,596,594,592,590,588,586,584,582,580,578,576,574,572,570,568,
566,564,562,560,558,556,554,552,550,548,546,544,542,540,538,536,534,532,
530,528,526,524,522,520,518,516,514,512,510,508,506,504,502,500,498,496,
494,492,490,488,486,484,482,480,478,476,474,472,470,468,466,464,462,460,
458,456,454,452,450,448,446,444,442,440,438,436,434,432,430,428,426,424,
422,420,418,416,414,412,410,408,406,404,402,400,398,396,394,392,390,388,
386,384,382,380,378,376,374,372,370,368,366,364,362,360,358,356,354,352,
350,348,346,344,342,340,338,336,334,332,330,328,326,324,322,320,318,316,
314,312,310,308,306,304,302,300,298,296,294,292,290,288,286,284,282,280,
278,276,274,272,270,268,266,264,262,260,258,256,254,252,250,248,246,244,
242,240,238,236,234,232,230,228,226,224,222,220,218,216,214,212,210,208,
206,204,202,200,198,196,194,192,190,188,186,184,182,180,178,176,174,172,
170,168,166,164,162,160,158,156,154,152,150,148,146,144,142,140,138,136,
134,132,130,128,126,124,122,120,118,116,114,112,110,108,106,104,102,100,
98,96,94,92,90,88,86,84,82,80,78,76,74,72,70,68,66,64,
62,60,58,56,54,52,50,48,46,44,42,40,38,36,34,32,30,28,
26,24,22,20,18,16,14,12,10,8,6),
(1,2,333)(3,332,334)(4,423,242)(5,295,369)(6,513,150)(7,215,447)
(8,43,618)(9,322,338)(10,37,622)(11,484,174)(12,444,213)
(13,553,103)(14,42,613)(15,130,524)(16,583,70)(17,158,494)
(18,134,517)(19,62,588)(20,412,237)(21,541,107)(22,401,246)
(23,238,408)(24,584,61)(25,320,324)(26,431,212)(27,556,86)
(28,474,167)(29,577,63)(30,500,139)(31,358,280)(32,188,449)
(33,591,45)(34,376,259)(35,448,186)(36,121,512)(38,363,268)
(39,515,115)(40,529,100)(41,422,206)(44,629,656)(46,547,76)
(47,505,117)(48,623,658)(49,299,321)(50,96,523)(51,200,418)
(52,184,433)(53,624,652)(54,288,327)(55,277,337)(56,163,450)
(57,122,490)(58,300,311)(59,287,323)(60,507,102)(64,169,436)
(65,85,519)(66,239,364)(67,313,289)(68,485,116)(69,325,275)
(71,472,126)(72,402,195)(73,314,282)(74,269,326)(75,633,621)
(77,405,187)(78,604,647)(79,359,231)(80,305,284)(81,156,432)
(82,642,605)(83,650,596)(84,488,97)(87,124,458)(88,232,349)
(89,637,603)(90,170,409)(91,272,306)(92,439,138)(93,241,335)
(94,205,370)(95,438,136)(98,400,171)(99,462,108)(101,221,347)
(104,123,442)(105,279,285)(106,146,417)(109,165,395)(110,639,580)
(111,144,414)(112,380,177)(113,653,563)(114,372,183)(118,260,291)
(119,620,590)(120,175,374)(125,645,559)(127,413,129)(128,316,225)
(131,240,298)(132,270,267)(133,262,274)(135,336,198)(137,626,566)
(140,273,256)(141,245,283)(142,536,651)(143,570,616)(145,209,315)
(147,581,601)(148,357,164)(149,532,648)(151,627,551)(152,199,318)
(153,660,516)(154,545,630)(155,160,354)(157,310,202)(159,606,564)
(161,619,549)(162,293,214)(166,636,527)(168,250,251)(172,508,649)
(173,276,220)(176,544,609)(178,582,569)(179,189,301)(180,304,185)
(181,598,550)(182,655,492)(190,278,201)(191,281,197)(192,638,499)
(193,247,229)(194,595,540)(196,210,263)(203,255,211)(204,567,558)
(207,236,226)(208,542,579)(216,503,610)(217,478,634)(218,631,480)
(219,451,659)(222,654,453)(224,543,562)(227,574,528)(228,571,530)
(230,497,602)(233,482,614)(234,510,585)(235,640,454)(243,662,424)
(244,625,460)(248,466,615)(249,520,560)(252,522,555)(253,539,537)
(254,646,429)(257,496,576)(258,428,643)(261,589,479)(264,594,471)
(265,644,420)(266,568,495)(271,501,557)(286,554,489)(290,632,407)
(292,491,546)(294,552,483)(296,461,572)(297,371,661)(302,427,600)
(303,628,398)(307,587,435)(308,635,386)(309,518,502)(312,506,511)
(317,434,578)(319,445,565)(328,344,657)(329,389,611)(330,531,468)
(331,425,573)(339,378,612)(340,397,592)(341,597,391)(342,346,641)
(343,379,607)(345,367,617)(348,467,514)(350,538,441)(351,457,521)
(352,593,384)(353,599,377)(355,366,608)(356,509,464)(360,394,575)
(361,586,382)(362,486,481)(365,477,487)(368,426,535)(373,504,452)
(375,406,548)(381,387,561)(383,421,525)(385,475,469)(388,476,465)
(390,493,446)(392,404,533)(393,526,410)(396,534,399)(403,456,470)
(411,463,455)(415,416,498)(419,473,437)(430,459,440)]],
[2,288804120,0,"2",[[661,1]],3,"L2,661 on projective points.2",
["L",[2,661],1],
[(1,268,511,255,314,496,196,191,185,640,333,502,117,247,201,137,458,24,562,
33,279,253,649,520,284,409,399,385,410,123,632,299,499,357,175,543,558,
404,10,480,464,474,551,79,82,590,644,470,618,358,304,183,447,237,144,
335,443,624,545,288,555,596,236,311,46,389,396,424,243,159,260,488,135,
242,337,500,285,193,380,601,171,120,418,151,518,114,300,392,441,138,467,
283,3,59,203,535,331,96,592,156,405,453,547,231,6,580,542,625,51,
85,588,248,133,76,19,564,224,67,101,187,270,232,146,581,265,359,407,
656,220,56,481,277,609,93,149,529,345,14,371,420,512,38,294,661,394,
32,641,211,432,619,527,312,475,570,17,324,552,653,569,388,416,423,106,
501,576,216,257,524,267,188,369,477,8,575,365,629,508,454,194,342,168,
222,70,73,261,338,348,332,142,408,254,269,637,455,313,513,180,29,402,
427,413,403,528,292,163,559,533,119,250,128,354,15,611,565,35,310,479,
172,627,621,616,316,498,557,301,544,2,440,493,602,212,419,75,546,449,
425,586,110,127,415,132,80,102,318,44,289,87,412,94,155,521,192,98,
651,349,550,374,83,421,538,578,360,617,209,141,381,377,473,84,81,165,
278,491,122,560,43,21,642,317,495,170,131,109,252,30,321,534,647,71,
68,339,435,431,11,603,195,452,234,274,391,69,438,262,463,161,54,620,
291,657,58,400,65,523,108,494,50,72,20,397,25,42,226,387,363,266,
77,393,600,210,319,372)(4,18,506,585,612,525,639,99,572,246,228,583,
206,636,258,386,167,613,113,485,37,7,368,519,23,74,178,579,208,548,
189,607,401,648,197,505,503,305,143,223,429,302,364,55,571,34,638,217,
509,52,436,244,219,41,147,456,263,139,461,395,516,643,346,31,275,497,
633,45,276,375,490,154,390,48,160,116,526,660,483,347,320,472,563,522,
16,655,370,259,650,631,515,60,517,323,140,182,530,541,218,414,591,86,
577,273,362,532,177,626,459,239,384,531,298,350,468,198,308,22,434,326,
64,610,574,540,608,26,49,62,366,334,367,352,484,89,95,654,245,105,
190,487,406,325,622,47,567,158,57,63,328,460,445,478,446,90,103,126,
204,272,238,202,88,486,378,130,504,614,344,462,514,281,428,573,353,186,
635,280,450,539,235,66,221,398,594,271,282,630,12,489,295,92,297,181,
162,553,442,157,136,290,249,340,492,465,329,152,286,36,652,104,422,658,
322,437,536,107,179,315,537,121,466,169,296,417,351,13,549,356,5,111,
593,568,376,100,303,595,174,118,241,97,448,510,383,589,9,507,309,307,
615,164,411,205,623,264,604,233,634,78,129,293,444,145,115,327,39,199,
645,426,554,176,606,229,584,566,240,53,173,287,200,227,306,134,148,214,
482,382,61,256,225,433,361,112,373,150,207,646,476,215,561,457,469,471,
230,659,184,28,125,599,213,27,124,628,153,582,341,343,355,251,597,336,
166,605,662,439,40,451,379,587,556,91,430,330,598),
(1,379,437,390,184,107,163,77,451,467,117,421,30,29,435,344,637,559,206,
557,99,640,412,575,252,248,641,126,539,623,529,250,212,510,173,577,536,
190,34,470,378,551,221,553,621,140,295,86,62,364,215,236,516,398,8,
151,108,365,596,147,584,154,349,141,651,230,635,155,135,299,490,288,542,
281,543,545,461,324,397,65,153,459,175,464,656,605,480,615,388,511,493,
48,301,292,659,383,24,434,489,178,654,449,335,440,571,235,371,377,237,
350,33,6,643,342,332,411,406,366,527,458,133,74,395,644,628,463,278,
275,321,620,504,169,210,337,340,450,239,228,251,535,52,181,279,7,524,
57,20,196,69,291,243,475,328,528,334,370,4,300,498,12,560,548,517,
157,174,590,394,661,112,79,367,23,115,649,650,362,170,345,315,242,339,
399,81,609,602,56,224,244,361,530,645,353,625,150,168,481,261,382,172,
13,310,658,217,120,585,270,418,19,167,512,317,220,439,127,424,265,55,
176,616,269,287,472,84,452,567,76,193,213,381,495,488,356,38,98,195,
122,92,267,75,447,448,322,414,70,358,325,436,43,507,263,280,580,549,
537,425,599,137,433,67,103,569,109,622,194,146,368,241,417,380,573,430,
158,256,385,562,186,209,198,647,97,100,227,268,593,477,116,162,159,634,
469,453,42,363,304,639,570,71,31,26,105,95,454,431,404,87,200,60,
66,202,526,657,102,648,443,259,608,3,413,54,438,145,136,389,604,586,
49,482,617,492,441,633,262,638,284,372,40,113,636,552,554,156,555,149,
607,138,302,282,462,207,446,296,88,283,513,290,501,72,329,286,429,39,
581,201,222,73,375,351,142,297,476,544,216,546,59,627,403,247,561,520,
264,587,225,187,568,474,558,311,456,189,185,522,25,457,338,540,231,538,
460,93,662,408,407,16,320,630,646,360,274,330,253,47,660,58,2,533,
603,85,487,613,323,422,192,94,578,387,541,303,618,612,346,497,61,392,
277,597,455,400,179,653,41,51,17,432,218,165,574,611,503,579,405,132,
624,35,27,576,619,499,199,104,318,273,111,419,606,592,223,171,445,188,
423,148,354,319,294,384,314,44,525,152,534,629,211,506,90,121,180,298,
515,89,309,416,355,177,64,601,124,240,80,631,22,161,588,442,614,101,
502,327,166,63,46,293,626,307,10,566,28,426,183,125,191,508,428,106,
514,547,465,78,36,203,306,565,232,68,96,255,229,129,204,233,308,208,
182,341,369,205,532,131,234,401,359,632,550,583,331,9,589,246,312,254,
11,409,531,427,130,471,144,391,374,271,110,595,336,483,655,509,276,415,
466,357,197,313,496,373,260,82,21,128,348,582,139,257,316,347,591,226,
468,563,285,572,393,123,53,143,118,83,289,14,249,652,266,214,505,491,
18,326,164,119,333,238,598,478,521,410,402,473,305,32,518,594,486,523,
272,219,5,420,386,396,444,258,37,642,500,160,45,376,600,91,485,479,
134,556,50,519,343,245,15,114,484,610,352,494,564)]],
[3,Factorial(662)/2,1,"2",[[661,1]],660,"A_n",["A",662,1],662],
[4,Factorial(662),0,"2",[[661,1]],662,"S_n",["A",662,1],662]];
PRIMGRP[663]:=
[[1,Factorial(663)/2,1,"2",[[662,1]],661,"A_n",["A",663,1],663],
[2,Factorial(663),0,"2",[[662,1]],663,"S_n",["A",663,1],663]];
PRIMGRP[664]:=
[[1,Factorial(664)/2,1,"2",[[663,1]],662,"A_n",["A",664,1],664],
[2,Factorial(664),0,"2",[[663,1]],664,"S_n",["A",664,1],664]];
PRIMGRP[665]:=
[[1,Factorial(665)/2,1,"2",[[664,1]],663,"A_n",["A",665,1],665],
[2,Factorial(665),0,"2",[[664,1]],665,"S_n",["A",665,1],665]];
PRIMGRP[666]:=
[[1,25308,1,"2",[[19,17],[38,9]],1,"L2,37#666.1",["L",[2,37],1]
,
[(1,86,441)(2,515,598)(3,404,451)(4,665,256)(5,587,322)(6,232,97)
(7,30,187)(8,661,631)(9,503,341)(10,151,662)(11,254,562)
(12,505,64)(13,360,146)(14,573,618)(15,466,337)(16,121,61)
(17,129,103)(18,267,616)(19,352,293)(20,588,23)(21,271,124)
(22,358,594)(24,635,182)(25,521,528)(26,104,53)(27,333,355)
(28,395,155)(29,32,651)(31,384,357)(33,217,656)(34,568,617)
(35,297,149)(36,290,502)(37,500,490)(38,410,295)(39,564,125)
(40,368,220)(41,321,144)(42,202,495)(43,326,397)(44,654,557)
(45,379,262)(46,607,191)(47,361,620)(48,210,347)(49,247,207)
(50,550,193)(51,372,589)(52,519,79)(54,122,627)(55,260,230)
(56,228,459)(57,523,252)(58,514,428)(59,593,491)(60,382,305)
(62,309,456)(63,533,250)(65,265,389)(66,645,472)(67,606,137)
(68,181,487)(69,446,636)(70,463,204)(71,102,246)(72,136,629)
(73,527,412)(74,143,452)(75,318,348)(76,430,87)(77,481,257)
(78,549,165)(80,600,448)(81,313,457)(82,432,582)(83,213,276)
(84,647,134)(85,365,625)(88,286,94)(89,169,241)(90,407,512)
(91,394,526)(92,354,285)(93,498,317)(95,544,316)(96,274,474)
(98,343,160)(99,408,327)(100,649,325)(101,567,315)(105,592,120)
(106,545,320)(107,270,218)(108,192,251)(109,572,292)(110,565,329)
(111,116,328)(112,513,461)(113,414,240)(114,287,433)(115,632,447)
(117,622,296)(118,429,507)(119,350,399)(123,139,164)(126,171,233)
(127,388,417)(128,392,390)(130,294,454)(131,194,613)(132,223,314)
(133,201,449)(135,509,475)(138,244,366)(140,658,400)(141,611,657)
(142,236,373)(145,602,540)(147,279,543)(148,548,154)(150,506,579)
(152,225,177)(153,494,468)(156,551,245)(157,163,175)(158,460,200)
(159,298,277)(161,221,585)(162,403,168)(166,419,385)(167,340,199)
(170,212,644)(172,610,335)(173,413,362)(174,660,306)(176,623,211)
(178,398,353)(179,614,332)(180,393,554)(183,556,235)(184,624,436)
(185,439,580)(186,330,522)(188,655,473)(189,425,608)(190,253,196)
(195,440,483)(197,504,424)(198,216,376)(203,605,323)(205,259,462)
(206,437,458)(208,630,445)(209,496,541)(214,401,418)(215,243,364)
(219,302,443)(222,409,377)(224,264,480)(226,569,646)(227,641,609)
(229,258,530)(231,601,539)(234,501,626)(237,319,303)(238,532,633)
(239,566,638)(242,345,386)(248,612,263)(249,339,489)(255,426,535)
(261,524,423)(266,518,477)(268,334,552)(269,275,493)(272,571,464)
(273,516,591)(278,596,517)(280,497,642)(281,640,465)(282,411,659)
(283,547,331)(284,422,560)(288,586,371)(289,599,344)(291,431,342)
(299,577,508)(300,590,553)(301,374,405)(304,478,492)(307,520,396)
(308,486,469)(310,479,558)(311,652,559)(312,525,387)(324,370,648)
(336,643,561)(338,531,416)(346,650,356)(349,442,584)(351,634,639)
(359,485,621)(363,570,583)(367,476,450)(369,380,470)(375,510,488)
(378,381,663)(383,603,482)(391,664,574)(402,595,666)(406,578,537)
(415,538,435)(420,444,575)(421,427,434)(438,615,563)(453,499,529)
(455,619,576)(467,597,534)(471,628,536)(484,542,546)(511,637,555)
(581,653,604),(1,114,43,271,277,213,225,89,187,56,165,155,297,323,314,
144,81,104)(2,216,44,272,278,313,226,90,188,57,166,148,69,127,24,
118,258,105)(3,150,45,273,279,140,76,91,31,58,167,201,287,209,254,
183,259,106)(4,203,46,274,280,184,227,92,5,59,47,202,281,308,228,
93,189,60)(6,247,48,262,111,10,229,36,190,61,168,204,96,192,64,
170,207,107)(7,146,49,137,21,116,230,94,191,62,169,205,298,332,240,
157,260,108)(8,243,50,153,282,309,231,95,78,63,34,112,299,304,289,
185,255,109)(9,238,51,266,283,310,143,80,135,19,113,206,300,290,212,
176,261,110)(11,103,18,246,42,270,220,83,193,65,171,55,164,200,296,
177,263,97)(12,244,37,267,180,265,100,14,194,39,172,208,301,222,85,
178,52,98)(13,73,38,28,122,311,221,84,195,66,173,197,302,234,162,
179,264,99)(15,174,40,268,275,312,181,86,101)(16,245,41,269,211,256,
223,87,196,53,154,198,295,319,142,79,134,35)(17,133,33,125,276,303,
224,88,186,54,175,199,237,152,322,182,257,102)(20,115,70,128,25,119,
248,294,284,217,239,156,330,324,242,145,82,136)(22,117,307,288,210,214,
249,291,333,236,151,158,326,318,141,77,67,32)(23,74,131,29,123,215,
250,286,219,252,241,159,331,235,163,147,68,126)(26,120,320,305,285,218,
251,292,329,328,232,160,327,325,315,149,71,129)(27,121,317,139,75,132,
30,124,321,306,233,161,253,293,316,138,72,130)(334,439,404,411,435,637,
566,351,610,438,536,578,515,450,640,434,561,645)(335,567,463,483,656,400,
633,647,371,547,428,512,508,605,489,631,642,519)(336,534,555,661,444,571,
427,619,538,518,437,485,630,431,426,346,641,466)(337,625,636,591,572,424,
623,347,403,386,609,607,355,447,579,613,492,523)(338,634,513,504,442,581,
524,425,476,531,655,470,532,413,422,446,482,514)(339,349,615,652,486,409,
406,653,596,432,471,595,597,583,576,542,628,593)(340,456,502,405,556,423,
560,659,507,548,498,377,522,441,373,412,606,382)(341,505,448,552,649,462,
443,495,436,549,481,480,473,594,540,551,417,533)(342,517,554,644,385,539,
550,357,588,360,449,390,660,459,389,474,410,352)(343,458,541,557,662,414,
457,493,408,461,585,397,469,638,562,344,582,564)(345,416,590,393,429,503,
453,537,511,573,370,494,421,563,529,516,440,401)(348,477,592,395,364,490,
665,451,612)(350,398,497,383,658,500,359,574,611,479,478,392,381,650,525,
388,380,654)(353,617,657,530,475,651,366,491,526,553,648,627,430,465,635,
362,544,368)(354,376,399,589,559,626,535,598,587,452,468,545,460,418,616,
387,629,379)(356,664,604,639,521,363,570,568,367,584,663,621,599,384,365,
372,358,361)(369,546,624,501,407,374,496,402,603,506,420,643,577,488,569,
415,575,600)(375,666,527,484,510,602,419,455,520,391,632,499,509,378,601,
467,586,394)(396,614,472,618,622,487,464,565,445,580,620,558,646,608,528,
543,433,454)]],
[2,50616,0,"2",[[19,1],[38,17]],1,"L2,37#666.2",
["L",[2,37],1],
[(1,232,313,93,281,289,279,560,627,95,617,650,639,134,191,368,243,491,441,
273,299,202,5,148,375,440,265,604,43,229,595,483,335,235,435,529,35,39
)(2,448,62,521,254,452,46,509,451,271,100,204,458,651,465,461,645,194,
563,395,71,274,460,201,79,381,417,258,565,390,532,653,350,137,126,200,
449,433)(3,437,68,631,490,633,596,125,91,112,419,260,113,330,114,644,
266,226,198,610,510,561,379,77,559,96,251,48,367,166,143,342,516,136,
110,500,285,185)(4,44,50,168,353,334,231,24,184,535,65,487,30,211,
636,240,344,328,61,104,505,479,333,84,210,298,533,401,439,666,638,574,
579,372,374,396,482,387)(6,534,522,398,602,89,423,228,63,434,151,471,
531,389,622,300,402,642,14,400,75,176,614,357,263,163,307,192,109,59,
373,573,218,49,659,237,536,341)(7,480,621,107,193,66,580,587,213,361,
538,181,562,312,303,41,494,418,528,311,514,578,196,495,383,486,290,332,
56,542,129,403,499,252,537,611,212,131)(8,120,348,21,519,179,164,589,
507,277,217,446,588,539,410,459,171,70,421,377,354,413,99,656,654,477,
391,78,321,541,485,365,436,481,256,33,408,501)(9,121,195,558,236,253,
600,288,646,221,420,19,90,503,552,351,241,280,620,127,363,37,432,119,
83,338,248,147,301,142,272,608,203,576,262,551,155,57)(10,305,123,74,
619,492,82,45,177,302,270,343,205,319,138,249,569,570,478,585,513,38,
655,140,324,337,224,409,615,455,637,555,161,309,105,153,369,199)
(11,106,664,628,284,406,346,618,624,306,472,257,23,128,219,16,31,425,
276,297,169,222,283,103,385,308,547,592,612,508,47,352,524,310,244,392,
429,518)(12,426,564,268,506,207,32,663,115,447,606,475,282,635,405,591,
239,53,318,515,317,101,397,102,85,88,442,634,543,22,616,549,598,326,
445,220,246,427)(13,489,135,504,42,238,647,162,336,652,323,165,527,87,
139,399,450,54,613,86,25,568,230,388,295,294,275,625,444,170,376,603,
599,329,453,393,29,152)(15,571,404,457,412,641,378,296,428,261,349,358,
384,141,553,67,223,269,215,206,512,470,149,182,556,662,190,186,40,130,
76,498,108,523,658,548,150,577)(17,327,469,648,255,34,526,582,586,431,
183,111,173,214,159,20,160,584,643,629,511,278,216,594,462,118,69,187,
626,27,154,394,156,583,291,122,566,167)(18,233,550,81,339,225,364,525,
52,94,665,370,250,345,474,546,581,493,456,609,347,209,411,362,234,247,
496,414,132,438,73,530,36,287,386,623,340,557)(26,476,575,488,28,175,
208,640,422,371,180,51,242,601,424,245,356,607,315,145,80,172,605,55,
64,267,661,197,72,293,97,632,593,189,517,554,92,286)(58,316,466,178,
331,520,380,544,657,116,320,597,98,322,415,259,572,174,355)
(60,502,360,124,463,146,484,188,292,497,567,407,660,382,227,325,144,133,
454,468,443,590,540,157,117,366,264,430,158,359,649,314,473,545,464,630,
416,467),(1,486,174,510,635,16)(2,507,115,103,457,487)
(3,290,587,226,319,224)(4,155,378,644,42,352)(5,514,171,427,664,649)
(6,191,118,657,444,72)(7,153,660,407,619,252)(8,505,346,270,384,556)
(9,518,627,34,246,75)(10,205,488,221,134,251)(11,466,296,277,280,648)
(12,45,243,608,330,605)(13,618,179,583,545,331)(14,240,323,343,371,410)
(15,655,622,473,484,62)(17,403,461,239,127,43)(18,195,552,379,39,591)
(19,286,409,305,166,202)(20,558,78,76,178,547)(21,380,661,564,366,411)
(22,536,528,293,324,271)(23,146,451,422,629,116)(24,104,349,267,119,640)
(25,645,208,663,656,497)(26,400,124,470,288,543)(27,142,187,260,431,596)
(28,92,255,138,337,159)(29,401,604,651,292,40)(30,491,334,262,98,83)
(31,538,568,148,616,176)(32,557,464,381,285,493)(33,206,114,440,110,630)
(35,86,559,433,342,393)(36,421,530,108,420,641)(37,38,624,74,448,232)
(41,434,506,258,249,51)(44,525,578,569,175,368)(46,563,532,182,476,553)
(47,185,327,447,101,82)(48,387,67,197,548,376)(49,335,154,180,96,284)
(50,192,99,632,615,647)(52,610,204,430,496,634)(53,274,621,643,279,121)
(54,236,304,241,152,128)(55,483,107)(56,137,398,511,508,428)
(57,235,200,369,276,478)(58,646,106,165,209,537)(59,509,623)
(60,302,576,523,415,112)(61,367,295,404,601,149)(63,606,87,504,102,341)
(64,356,135,291,216,139)(65,189,551,245,186,482)(66,130,392,566,602,521)
(68,498,432,328,310,527)(69,313,531,283,143,97)(70,541,386,426,516,278)
(71,453,227,539,442,517)(73,181,162,617,463,353)(77,598,438,589,377,122)
(79,348,172,333,513,595)(80,111,360,336,590,582)(81,416,549,424,355,481)
(84,524,579,100,626,417)(85,584,198,244,309,282)(88,321,449,231,658,628)
(89,462,306,340,357,492)(90,520,131,339,238,308)(91,320,412,338,637,157)
(93,607,129)(94,388,633,311,173,642)(95,631,215,120,264,561)
(105,614,414,425,156,522)(109,526,303,113,603,581)(117,546,659,471,665,467)
(123,160,460,358,254,599)(125,347,269,418,389,203)(126,133,359,573,570,577)
(132,390,402)(136,600,620,247,318,529)(140,562,456,344,273,554)
(141,662,455,169,396,408)(144,322,459,351,266,638)(145,256,458,281,585,372)
(147,441,161,326,315,490)(150,574,229,193,423,391)(151,177,374,519,499,580)
(158,594,365,297,450,316)(163,220,214,265,592,363)(164,364,383,653,654,535)
(167,593,565,454,219,259)(168,373,183,586,300,636)(170,294,301,250,345,272)
(184,588,452,361,609,485)(188,298,437,253,413,597)(190,465,469,199,230,350)
(194,550,489,397,429,611)(196,287,211,468,375,652)(201,560,439,613,261,325)
(207,503,223,443,307,575)(210,571,217,534,542,289)(212,612,475,399,362,395)
(213,435,257,317,500,544)(218,494,512,225,419,248)(222,666,533,406,233,234)
(228,242,275,572,394,299)(237,332,480,436,479,555)(263,268,650,329,495,472)
(312,639,314,385,445,354)(370,625,474,502,501,540)(382,405,477)
(446,515,567)]],
[3,6881876545613172523157989790790451200000000,1,"2",[[70,1],[595,1]],
1,"A37 on 2-sets.1",["A",37,1],
[(34,35,36)(69,70,71)(103,104,105)(136,137,138)(168,169,170)(199,200,201)
(229,230,231)(258,259,260)(286,287,288)(313,314,315)(339,340,341)
(364,365,366)(388,389,390)(411,412,413)(433,434,435)(454,455,456)
(474,475,476)(493,494,495)(511,512,513)(528,529,530)(544,545,546)
(559,560,561)(573,574,575)(586,587,588)(598,599,600)(609,610,611)
(619,620,621)(628,629,630)(636,637,638)(643,644,645)(649,650,651)
(654,655,656)(658,659,660)(661,662,663)(664,666,665),
(1,37,72,106,139,171,202,232,261,289,316,342,367,391,414,436,457,477,496,
514,531,547,562,576,589,601,612,622,631,639,646,652,657,661,664,666,36)
(2,38,73,107,140,172,203,233,262,290,317,343,368,392,415,437,458,478,
497,515,532,548,563,577,590,602,613,623,632,640,647,653,658,662,665,35,71
)(3,39,74,108,141,173,204,234,263,291,318,344,369,393,416,438,459,479,
498,516,533,549,564,578,591,603,614,624,633,641,648,654,659,663,34,70,105
)(4,40,75,109,142,174,205,235,264,292,319,345,370,394,417,439,460,480,
499,517,534,550,565,579,592,604,615,625,634,642,649,655,660,33,69,104,138
)(5,41,76,110,143,175,206,236,265,293,320,346,371,395,418,440,461,481,
500,518,535,551,566,580,593,605,616,626,635,643,650,656,32,68,103,137,170
)(6,42,77,111,144,176,207,237,266,294,321,347,372,396,419,441,462,482,
501,519,536,552,567,581,594,606,617,627,636,644,651,31,67,102,136,169,201
)(7,43,78,112,145,177,208,238,267,295,322,348,373,397,420,442,463,483,
502,520,537,553,568,582,595,607,618,628,637,645,30,66,101,135,168,200,231
)(8,44,79,113,146,178,209,239,268,296,323,349,374,398,421,443,464,484,
503,521,538,554,569,583,596,608,619,629,638,29,65,100,134,167,199,230,260
)(9,45,80,114,147,179,210,240,269,297,324,350,375,399,422,444,465,485,
504,522,539,555,570,584,597,609,620,630,28,64,99,133,166,198,229,259,288
)(10,46,81,115,148,180,211,241,270,298,325,351,376,400,423,445,466,486,
505,523,540,556,571,585,598,610,621,27,63,98,132,165,197,228,258,287,315
)(11,47,82,116,149,181,212,242,271,299,326,352,377,401,424,446,467,487,
506,524,541,557,572,586,599,611,26,62,97,131,164,196,227,257,286,314,341
)(12,48,83,117,150,182,213,243,272,300,327,353,378,402,425,447,468,488,
507,525,542,558,573,587,600,25,61,96,130,163,195,226,256,285,313,340,366
)(13,49,84,118,151,183,214,244,273,301,328,354,379,403,426,448,469,489,
508,526,543,559,574,588,24,60,95,129,162,194,225,255,284,312,339,365,390
)(14,50,85,119,152,184,215,245,274,302,329,355,380,404,427,449,470,490,
509,527,544,560,575,23,59,94,128,161,193,224,254,283,311,338,364,389,413
)(15,51,86,120,153,185,216,246,275,303,330,356,381,405,428,450,471,491,
510,528,545,561,22,58,93,127,160,192,223,253,282,310,337,363,388,412,435
)(16,52,87,121,154,186,217,247,276,304,331,357,382,406,429,451,472,492,
511,529,546,21,57,92,126,159,191,222,252,281,309,336,362,387,411,434,456
)(17,53,88,122,155,187,218,248,277,305,332,358,383,407,430,452,473,493,
512,530,20,56,91,125,158,190,221,251,280,308,335,361,386,410,433,455,476
)(18,54,89,123,156,188,219,249,278,306,333,359,384,408,431,453,474,494,
513,19,55,90,124,157,189,220,250,279,307,334,360,385,409,432,454,475,495
)]],
[4,13763753091226345046315979581580902400000000,0,"2",[[70,1],[595,1]],
1,"A37 on 2-sets.2",["A",37,1],
[(1,249,184,482,75,406,653,598,455,268,112,18,603,197,486,225,399,310,544,
149,266,114,21,601,201,347,41,237,525,586,84,281,135,24,610,181,322,
213,405,652,628,450,274,111,20,159,179,371,216,403,656,364,50,232,121,
23,94,194,492,219,412,471,339,438,280,134,27,605,187,296,215,147,430,
388,441,278,138,11,60,172,478,218,82,640,661,444,287,118,10,502,193,
491,222,407,570,313,440,142,116,12,550,191,495,206,48,255,528,443,77,
131,33,589,200,457,205,395,633,658,447,282,124,9,535,139,416,207,398,
616,665,345,43,109,19,577,74,488,228,401,655,474,320,270,130,32,602,
195,481,204,397,165,433,369,273,128,36,355,40,241,214,400,100,643,453,
276,137,16,330,183,487,227,404,646,573,294,272,106,14,379,186,485,231,
343,66,258,439,275,72,29,608,189,494,211,318,508,636,452,279,132,22,
304,185,151,209,367,556,619,456,263,38,7,519,188,86,224,410,595,664,
436,262,120,28,607,192,489,217,292,541,168,414,264,123,26,611,176,52,
202,396,583,103,449,285,126,35,465,175,477,223,409,625,649,442,261,122,
4,424,177,480,221,413,361,69,239,271,125,2,604,198,483,230,393,336,
511,448,284,129,30,564,174,479,140,391,385,559,446,288,113)
(3,25,190,182,212,208,408,654,454,267,110)(5,484,171,394,226,411,451,
286,117,8,127)(6,402,196,493,210,265,133,34,445,173,119)
(13,606,199,437,203,115,31,609,180,269,108)(15,277,107,17,220,178,490,
229,392,283,136)(37,253,527,576,104,469,338,501,637,472,332,507,567,311,
537,164,421,291,531,160,435,342,56,250,530,353)(39,238,373,548,95,645,
363,59,259,459,328,87,631,657,591,650,462,289,497,162,431,381,555,565,
315,350)(42,243,517,92,98,642,597,599,475,321,323,505,634,626,624,569,
301,299,154,148,368,375,551,621,366,46)(44,244,153,422,81,554,618,600,
365,51,234,496,580,101,623,648,563,314,460,144,417,382,557,612,651,352)
(45,242,522,584,96,639,572,303,545,150,319,372,553,617,630,360,57,233,
514,157,83,383,558,590,666,346)(47,245,520,588,80,64,257,518,587,85,
334,510,592,659,467,335,499,307,542,161,429,376,300,536,170,344)
(49,236,515,578,105,359,68,248,529,463,79,506,635,596,629,470,327,297,
538,166,426,384,547,305,546,145)(53,252,526,579,99,568,312,534,169,415,
317,498,613,660,357,65,246,298,533,73,428,387,549,620,476,316)
(54,247,88,581,102,593,662,464,340,458,333,509,622,647,566,309,532,143,
419,146,420,380,561,356,71,235)(55,141,418,377,90,614,663,354,70,240,
324,500,97,641,627,594,574,295,325,152,427,386,552,615,575,290)
(58,76,523,585,93,644,473,329,512,468,337,504,632,571,306,540,156,293,
374,155,425,390,351,61,260,349)(62,254,516,302,89,163,432,378,560,466,
341,348,63,256,521,582,91,308,543,158,434,370,326,503,638,362)
(67,251,524,562,78,539,167,423,389,461,331,513,358),
(1,608,166,236,456,498,328,75,468,406,17,543,106,376,435,512,336,74,470,
343,52,535,134,246,414,560,583,171,632,359)(2,473,147,371,546,120,327,
83,475,408,182,540,113,57,424,659,255,180,555,353,41,603,641,7,453,
155,377,231,505,334)(3,572,148,389,656,183,335,80,51,402,491,244,117,
547,422,230,633,194,30,363,39,379,660,242,320,90,463,208,487,539)
(4,387,170,372,341,87,321,82,457,397,119,532,116,574,430,200,646,176,
65,355,67,249,452,245,443,216,580,224,28,642)(5,648,145,47,611,509,
234,84,461,400,212,538,131,22,432,169,385,201,507,316,37,465,409,241,
440,123,562,209,637,640)(6,635,163,12,663,152,317,105,458,318,86,460,
115,481,419,137,570,179,650,361,40,605,362,42,445,557,247,210,553,581)
(8,527,161,291,621,270,324,96,295,403,269,514,129,301,425,287,525,192,
309,356,43,519,626,233,446,273,517,222,307,614)(9,618,142,373,630,297,
331,77,459,404,296,536,110,516,426,314,616,173,524,357,44,601,284,243,
447,300,578,203,522,623)(10,102,150,367,495,497,112,91,415,412,490,185,
132,352,49,610,652,172,450,351,58,220,634,253,15,558,157,207,638,506)
(11,68,159,386,260,438,326,92,211,405,488,20,135,156,368,666,508,175,
99,346,48,484,542,109,442,420,587,226,193,639)(13,492,154,114,575,417,
340,100,181,407,347,55,127,571,238,455,556,188,225,358,64,25,657,141,
369,561,500,205,97,469)(14,662,165,177,651,348,45,94,472,237,437,531,
125,217,427,644,31,198,164,342,71,502,337,76,436,398,482,215,130,568)
(16,410,151,374,138,499,319,104,471,178,489,350,38,564,431,259,451,186,
582,206,63,604,32,257,149,375,588,213,333,98)(18,338,73,370,413,477,
325,72,462,391,494,541,107,569,344,70,606,197,254,345,56,577,227,252,
449,21,585,140,382,645)(19,627,143,380,288,496,332,78,466,265,478,537,
111,565,266,529,625,174,615,263,54,602,311,250,267,515,579,204,613,281)
(23,228,162,383,36,510,144,81,476,395,322,89,118,399,416,545,133,187,
429,365,66,190,647,235,50,550,584,202,448,554)(24,661,158,388,600,511,
329,103,464,411,483,544,126,573,423,664,595,199,594,364,59,609,596,258,
444,559,576,229,592,643)(26,285,153,381,315,503,262,88,467,292,485,272,
121,566,293,620,283,184,624,290,61,277,526,251,294,551,275,214,622,308)
(27,312,160,264,530,504,289,95,268,396,486,299,128,274,418,629,310,191,
282,349,62,304,617,232,439,552,302,221,280,523)(29,33,167,146,390,513,
323,79,85,393,394,479,122,124,421,434,655,196,195,360,46,60,607,256,
239,441,548,218,223,631)(34,597,168,378,665,501,339,93,474,401,493,534,
136,563,433,599,654,189,649,354,69,589,658,248,454,549,586,219,636,593)
(35,653,139,384,366,53,330,101,240,392,480,533,108,567,428)
(261,520,279,298,612)(271,521,306,305,278)(276,528,591,313,590,286,518,628,
303,619)]],
[5,Factorial(666)/2,1,"2",[[665,1]],664,"A_n",["A",666,1],666],
[6,Factorial(666),0,"2",[[665,1]],666,"S_n",["A",666,1],666]];
PRIMGRP[667]:=
[[1,Factorial(667)/2,1,"2",[[666,1]],665,"A_n",["A",667,1],667],
[2,Factorial(667),0,"2",[[666,1]],667,"S_n",["A",667,1],667]];
PRIMGRP[668]:=
[[1,Factorial(668)/2,1,"2",[[667,1]],666,"A_n",["A",668,1],668],
[2,Factorial(668),0,"2",[[667,1]],668,"S_n",["A",668,1],668]];
PRIMGRP[669]:=
[[1,Factorial(669)/2,1,"2",[[668,1]],667,"A_n",["A",669,1],669],
[2,Factorial(669),0,"2",[[668,1]],669,"S_n",["A",669,1],669]];
PRIMGRP[670]:=
[[1,Factorial(670)/2,1,"2",[[669,1]],668,"A_n",["A",670,1],670],
[2,Factorial(670),0,"2",[[669,1]],670,"S_n",["A",670,1],670]];
PRIMGRP[671]:=
[[1,885720,1,"2",[[66,1],[110,2],[120,1],[132,2]],1,
"L2,121#671.1",["L",[2,121],1],
[(2,67,60)(3,68,59)(4,69,42)(5,70,61)(6,71,45)(7,72,182)
(8,73,183)(9,74,184)(10,75,185)(11,76,186)(12,77,187)
(13,78,188)(14,79,189)(15,80,190)(16,81,191)(17,82,192)
(18,83,193)(19,84,194)(20,85,195)(21,86,196)(22,87,197)
(23,88,198)(24,89,199)(25,90,200)(26,91,201)(27,92,202)
(28,93,203)(29,94,204)(30,95,205)(31,96,206)(32,97,207)
(33,98,208)(34,99,209)(35,100,210)(36,101,211)(37,102,212)
(38,103,213)(39,104,214)(40,105,215)(41,106,216)(43,107,217)
(44,108,218)(46,109,175)(47,110,219)(48,111,169)(49,112,220)
(50,113,221)(51,114,222)(52,115,223)(53,116,224)(54,117,225)
(55,118,226)(56,119,149)(57,120,227)(58,121,228)(62,122,167)
(63,123,134)(64,124,229)(65,125,230)(66,126,231)(127,419,248)
(128,286,646)(129,420,367)(130,360,565)(131,421,472)(132,422,588)
(133,165,437)(135,239,469)(136,152,429)(137,423,146)(138,393,282)
(139,424,597)(140,351,142)(141,354,465)(143,297,364)(144,251,283)
(145,399,557)(147,425,508)(148,426,644)(150,427,454)(151,428,558)
(153,430,618)(154,431,382)(155,432,333)(156,433,266)(157,264,580)
(158,386,284)(159,434,448)(160,279,238)(161,261,582)(162,435,519)
(163,436,630)(164,258,505)(166,370,265)(168,438,244)(170,439,404)
(171,324,525)(172,440,485)(173,441,174)(176,392,647)(177,442,322)
(178,443,412)(179,332,502)(180,444,395)(181,445,281)(232,346,451)
(233,576,243)(234,406,596)(235,581,661)(236,547,549)(237,247,320)
(240,452,400)(241,579,605)(242,529,259)(245,491,527)(246,343,417)
(249,341,483)(250,458,408)(252,482,316)(253,534,464)(254,577,457)
(255,294,463)(256,365,328)(257,411,335)(260,308,659)(262,494,263)
(267,391,369)(268,584,271)(269,380,495)(270,583,371)(272,314,295)
(273,462,415)(274,578,622)(275,389,651)(276,413,553)(277,543,654)
(278,453,403)(280,642,555)(285,484,603)(287,639,466)(288,636,381)
(289,572,568)(290,474,352)(291,601,487)(292,660,311)(293,318,301)
(296,559,330)(298,537,611)(299,387,326)(300,530,538)(302,497,571)
(303,384,569)(304,317,608)(305,388,548)(306,470,504)(307,604,363)
(309,362,648)(310,599,619)(312,409,418)(313,567,523)(315,319,447)
(321,602,539)(323,517,589)(325,623,542)(327,475,564)(329,350,361)
(331,663,461)(334,540,355)(336,667,620)(337,368,561)(338,394,521)
(339,536,609)(340,629,359)(342,478,637)(344,612,633)(345,513,657)
(347,653,614)(348,594,573)(349,374,416)(353,626,486)(356,490,551)
(357,670,575)(358,617,378)(366,511,510)(372,628,587)(375,665,666)
(376,552,658)(377,563,473)(379,606,627)(383,509,625)(385,590,643)
(390,401,446)(396,460,414)(397,533,449)(398,477,450)(402,455,405)
(407,652,456)(410,631,459)(467,645,544)(468,501,662)(471,649,512)
(476,520,591)(479,613,514)(480,650,489)(481,518,498)(488,610,493)
(492,585,526)(496,624,499)(500,615,503)(506,550,664)(507,641,671)
(515,595,522)(516,554,556)(524,586,638)(528,592,562)(531,560,616)
(532,545,634)(535,656,566)(541,570,669)(546,574,600)(593,655,635)
(598,632,640),(1,59,45,42,61,60)(2,25,29,36,33,49,27,40,
24,7,8,66,22,35,39,56,63,43,37,11,34,14,16,58,32,62,
9,55,52,50,10,13,48,21,18,44,46,54,15,6,3,65,12,20,
53,31,28,47,51,5,19,26,23,57,17,30,4,41,38,64)
(67,70,209,167,222,220,193,196,224,210,202,229,134,149,204,225,187,227,
208,211,190,205,197,219,223,226,199,188,212,230,203,206,214,200,185,218,
191,189,184,215,68,221,198,201,69,186,192,228,213,216,194,71,175,217,
183,182,169,195,207,231)(72,115,467,632,432,370,172,255,499,514,333,441,
179,164,470,542,651,647,414,439,368,298,425,365,295,404,572,662,123,96,
419,369,299,664,250,76,437,360,288,302,168,162,502,109,625,571,114,176,
346,273,509,560,254,405,95,160,535,523,157,400)(73,335,138,601,174,541,
147,428,374,301,455,528,145,111,408,481,413,552,390,246,438,359,85,620,
415,156,429,384,261,355,279,116,282,608,133,512,351,253,294,671,460,563,
557,135,93,575,406,634,577,443,75,304,86,562,92,412,130,500,251,379)
(74,507,515,264,381,311,151,336,342,136,656,606,128,603,520,349,325,487,
409,524,339,389,480,589,417,638,637,82,619,474,433,345,307,258,362,290,
423,377,306,142,594,639,646,670,550,446,599,629,534,555,616,391,350,669,
94,590,561,83,613,587)(77,427,385,315,483,486,275,505,633,527,324,372,
129,97,621,421,364,293,463,242,493,322,663,667,399,81,280,652,578,654,
565,267,334,547,120,473,420,150,291,121,274,498,580,457,585,236,132,660,
98,393,340,139,338,602,247,508,649,450,388,607)(78,321,657,451,107,426,
276,287,627,392,252,284,159,641,614,485,177,521,328,556,570,445,378,308,
332,357,285,582,403,110,519,323,488,100,622,260,434,353,277,262,436,143,
283,526,317,79,618,459,101,592,543,234,477,397,268,492,612,181,482,549)
(80,163,90,356,281,245,257,456,265,497,402,148,141,410,154,559,584,461,
464,605,452,536,91,358,286,386,106,309,248,495,558,597,263,510,180,430,
354,278,165,383,314,588,469,341,448,600,105,533,99,113,396,573,271,491,
233,249,494,476,173,124)(84,239,146,312,411)(87,380,310,327,644,88,244,
108,624,490,548,238,170,269,506,566,579,155,458,131,574,537,112,462,103,
453,538,478,241,102,259,394,655,598,171,237,140,371,300,636,449,152,367,
297,366,296,398,454,401,630,531,564,661,416,529,319,568,666,442,320)
(89,387,316,610,153,489,266,475,422,376,305,468,178,544,472,569,407,530,
343,604,631,539,659,567,104,623,581,586,424,361,243,511,125,626,525,337,
137,373,235,503,617,551,465,546,158,532,583,668,418,479,447,344,126,330,
576,522,331,352,270,504)(117,256,501,484,658,593,232,161,595,513,347,609,
144,431,363,292,518,326,444,382,313,540,642,650,395,596,648,554,517,329,
553,435,375,303,466,645,440,122,289,615,643,591,119,272,496,516,318,635,
240,127,665,471,653,611,166,118,348,628,545,640)]],
[2,1771440,0,"2",[[66,1],[110,2],[120,1],[132,2]],1,
"L2,121#671.2",["L",[2,121],1],
[(1,547,579,578,482,380,583,581,308,491)(2,178,79,376,625,330,447,285,208,
58)(3,205,227,306,528)(4,105,545,656,327,618,615,77,108,333)
(5,453,603,121,243,467,13,438,129,554)(6,339,281,246,47,408,347,589,
299,427)(7,608,326,496,358,507,401,139,164,42)(8,91,591,647,137,533,
136,614,301,564)(9,292,171,31,265,175,661,598,282,568)(10,605,439,135,
328,626,479,648,297,344)(11,174,369,430,511,393,561,199,287,410)
(12,367,503,395,525,473,228,141,302,460)(14,520,639,70,585,239,279,662,
43,630)(15,229,46,607,377,348,81,519,300,188)(16,313,113,57,455,289,
323,56,304,417)(17,247,580,93,425,462,92,577,294,389)(18,160)
(19,469,343,184,94)(20,346,262,494,406,96,127,413,283,582)
(21,452,435,440,166,186,268,95,314,584)(22,592,216,270,311,274,24,368,
85,82)(23,470,423,587,260,437,405,390,235,655)(25,236,514,293,212)
(26,84,249,374,555,590,522,429,215,604)(27,45,298,40,34,426,244,484,
280,309)(28,397,267,89,201,321,468,572,316,384)(29,627,477,396,553,115,
315,559,37,478)(30,633,350,480,131,575,457,319,87,443)(32,497,331,548,
195,624,541,248,290,146)(33,557,602,234,371,620,424,99,307,196)
(35,366,539,167,512,335,223,538,278,495)(36,222,97,610,90,163,355,394,
286,504)(38,570,161,388,471,622,74,595,165,123)(39,501,225,140,399,562,
431,386,291,652)(41,158,531,277,275)(44,493,103,218,508,412,162,671,288,
535)(48,145,530,450,220,272,342,486,261,359)(49,172,251,51,126,619,187,
637,80,642)(50,629,378,465,616,176,446,202,303,485)(52,628,474,475,102,
256,560,271,312,338)(53,273,665,588,461,419,536,492,295,552)
(54,487,69,349,609,221,112,179,296,658)(55,63,64,574,203,623,209,621,
284,106)(59,332,549,310,586)(60,257,402,357,650,356,521,540,197,421)
(61,631,372,153,646,387,119,193,73,612)(62,67,472,611,454,613,354,669,
305,78)(65,632,500,255,159)(66,190,567,370,250,259,353,154,230,513)
(68,670,340,645,207,382,546,206,433,124)(71,415,449,362,150,373,151,516,
217,211)(72,422,537,638,88)(75,566,464,517,659,200,117,238,617,635)
(76,224,407,134,643,601,383,463,276,515)(83,489,245,269,86,666,498,414,
334,409)(98,381,418,556,442,451,149,142,148,490)(100,663,325,569,157)
(101,111,483,651,657,667,509,416,444,640)(104,385,107,434,400,258,231,573,
237,499)(109,329,177,324,173,600,318,596,352,266)(110,543,147,456,254,558,
445,488,544,636)(114,641,518,363,198,144,510,392,194,143)(116,152,571,527,
132,226,551,606,133,532)(118,526,169,192,476,436,403,122,375,634)
(120,668,654,155,448)(125,524,364,204,664,240,138,191,379,232)
(128,597,264,660,466,593,130,180,506,181)(156,428,411,534,576)
(168,242,360,320,505,391,529,185,183,458)(170,253,210,653,523,594,219,345,
420,644)(182,365)(189,459,337,336,404)(213,214,441,317,542,361,252,649,351,
241)(263,322,599,563,565)(398,550,481,432,502),
(1,622,148,452,124,265,519,59,655,22,185,284,160,634,601,292,57,401,668,
20,409,98,583,532,116,566,512,225,381,159,518,71,298,79,556,302,34,
653,477,389,4,460,296,93,305,376,649,336,212,422,170,208,611,145,261,
370,397,54,231,241)(2,105,600,242,8,5,650,428,491,333,625,291,255,
82,670,531,87,548,646,613,405,275,651,509,106,374,516,197,70,81,180,
510,229,455,131,287,40,63,560,308,184,51,151,204,458,178,663,546,367,
41,524,219,21,143,514,182,222,181,152,541)(3,199,575,156,636,598,332,
500,604,545,6,235,661,435,635,471,645,502,274,483,414,303,326,540,122,
624,530,214,347,137,390,436,478,537,75,279,31,206,667,166,266,335,630,
321,439,307,16,590,386,233,433,216,669,162,451,238,408,479,363,322)
(7,539,111,96,62,597,620,482,637,249,495,559,654,315,293,395,330,110,
542,100,416,614,461,432,102,564,355,359,73,203,230,140,171,609,557,304,
246,464,50,37,589,365,580,387,210,521,149,329,179,633,523,190,361,24,
442,60,247,157,411,232)(9,671,522,183,639,136,507,410,570,666,297,121,
44,643,567,262,553,551,503,338,407,472,289,357,125,517,191,486,155,327,
317,257,417,325,550,43,89,351,186,638,173,250,237,438,443,245,659,15,
244,259,529,200,626,154,429,412,453,572,536,74)(10,278,627,391,211,423,
25,97,372,547,267,202,555,23,362,612,469,221,301,153,35,606,339,341,
101,318,32,431,593,425,88,379,251,400,194,243,135,76,485,592,404,282,
623,14,115,552,413,319,288,484,118,228,642,177,354,311,520,207,344,147)
(11,127,58,579,487,283,348,641,48,489,569,577,403,264,463,544,112,591,
253,558,393,220,104,132,123,239,84,299,388,511,27,508,113,294,554,300,
465,280,480,434,384,617,447,215,234,144,378,342,366,213,382,175,39,134,
91,168,368,476,64,195)(12,65,481,92,406,490,394,535,90,543,108,323,
571,260,316,496,652,498,421,281,396,286,587,276,86,99,192,369,138,525,
209,501,146,467,340,45,310,167,581,26,632,420,346,615,38,459,29,576,
385,360,515,217,198,163,130,415,608,628,538,103)(13,473,454,380,499,513,
227,665,139,218,337,158,466,468,631,46,602,444,17,640,254,320,269,527,
68,594,142,619,441,426,352,334,662,30,271,295,578,424,392,119,618,533,
72,263,328,648,492,586,364,437,309,187,664,129,270,549,273,83,599,446)
(18,610,497,94,603,506,55,656,616,314,475,658,418,383,290,349,69,398,
128,345,402,126,189,456,78,61,399,172,494,528,67,28,164,647,19,313,
450,505,427,49,375,312,440,193,457,150,660,240,205,109,176,226,66,174,
358,95,493,42,107,141)(33,331,223,534,77,120,114,470,324,585,377,47,
504,196,584,165,277,306,574,644,256,596,52,445,117,343,448,562,252,371,
353,224,188,169,133,80,607,236,605,563,56,53,36,582,462,268,85,430,
373,595,526,201,272,161,568,449,629,285,588,356)(248,419,573,474,657,561)
(258,565,621,350,488)]],
[3,Factorial(671)/2,1,"2",[[670,1]],669,"A_n",["A",671,1],671],
[4,Factorial(671),0,"2",[[670,1]],671,"S_n",["A",671,1],671]];