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