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