sierpinskiprimes:=[[4,[5]], [13,[8191]], [16,[257]], [26,[2731]], [32,[65537]], [39,[121369]], [48,[673]], [64,[641, 6700417]], [65,[145295143558111]], [78,[22366891]], [91,[112901153, 23140471537]], [96,[22253377]], [104,[858001, 308761441]], [112,[5153, 54410972897]], [117,[937, 6553, 86113, 7830118297]], [130,[409891, 7623851]], [143,[724153, 158822951431, 5782172113400990737]], [144,[577, 487824887233]], [156,[21841]], [169,[4057, 6740339310641, 3340762283952395329506327023033]], [182,[224771, 1210483, 25829691707]], [195,[134304196845099262572814573351]], [208,[78919881726271091143763623681]], [224,[183076097, 358429848460993]], [234,[5302306226370307681801]], [260,[51481, 34110701, 108140989558681]], [273,[108749551, 4093204977277417, 86977595801949844993]], [286,[6156182033, 10425285443, 15500487753323]], [288,[1153, 6337, 38941695937]], [312,[84159375948762099254554456081]], [325,[51879585551, 4613679391936953610429590532014122532260339739644049093601]], [336,[2017, 25629623713, 1538595959564161]], [338,[4929910764223610387, 18526238646011086732742614043]], [351,[446473, 29121769, 571890896913727, 93715008807883087, 150832426800173710177]], [364,[8861085190774909, 556338525912325157]], [390,[107251, 571403921126076957182161]], [416,[928513, 18558466369, 23877647873, 21316654212673, 715668470267111297]], [429,[17286204937, 1065107717756542892882802586807, 167833515549285827885461382441449]], [432,[209924353, 4261383649, 24929060818265360451708193]], [448,[167773885276849215533569, 37414057161322375957408148834323969]], [455,[200201, 4774797453608343803270988984332214098351782527747577456028391624903856636676854631]], [468,[7489, 21061, 348661, 1112388285061, 370244405487013669]], [507,[8342680841093063014359532631803433656669591074421858694040109486076573471951766107416262860801]], [520,[42641, 5746001, 2400573761, 65427463921, 173308343918874810521923841]], [546,[105310750819, 292653113147157205779127526827]], [572,[25741, 958673, 3426853, 9467173, 4170165570896115649, 661521349351105339668937661297]], [585,[2400314671, 339175003117573351, 255375215316698521591, 2728334536034592865339299805712535332071]], [624,[4993, 94849, 13306320418205909319940605309019024034703545187073]], [637,[3823, 15289, 31945881241, 153925026222241, 8573192048327176271, 6044274266901603399200353, 153472677405951306470238401460959]], [650,[3251, 5840251, 7812610577851, 9860942209386451, 1245660907214169781926561543788801]], [672,[47886721, 131084304485119425504284495119889529996019181850241]], [676,[180201997, 1259036730797, 615946323850313, 408946876729703992293841657, 215656329382891550920192462661]], [702,[4247713303224552237738169, 24841125429051585062538961751269988364169]], [715,[249602191565465311, 598887853030285391, 40437156024702109576962112690515640573348784018939257192870865875822732631168387328482154414164150624064713711]], [728,[593914915675537, 889699724270954868382634043341555740249741984247578510445178451442481793]], [780,[2341, 468781, 723447661, 8925278993793241, 720453772427518446437641]], [784,[3137, 50177, 101921, 258721, 33725933170854542422930854135636663761123331227599520852573351371057495391835351809]], [832,[4940417, 11342687617, 703135063886107310322869668180880900631970395041438633085656587740154733922499375339477804972453889]], [845,[4493034001, 15492609397369710420704520029285400123510944584215668449100029795146478197052507117294360498734503977269580025068871608615371036431826934913712949948017404991634397610897461399281, 15492609397369710420704520029285400123510944584215668449100029795146478197052507117294360498734503977269580025068871608615371036431826934913712949948017404991634397610897461399281]], [858,[8340357737139637289786276330761, 185074846248319535013227469188526344689]], [896,[1489153, 26459340441441866087731114978932791810378456514228699635808330483947834929412856490368283423658331445600601857]], [910,[1185685411, 39537592800161, 171525190684121, 327061478509556968075523586322717436918466721]], [936,[1873, 6440452782193, 623293182848475361, 66160413724915364725540228212461512514283877255084129]], [975,[8837728285481551, 26155966684789722885001, 1663763381192308635718252801, 4294500770439625509689707482842762056791217143467781867769939979855730352201]], [1014,[10030854869257, 4966300248405749059, 167510000247425697384594847173622455701743569339841261429683667]], [1040,[19868746561, 3377549010888001, 7580827241843270677601, 37363769421172422182780447669037406234152610941283248995871866881]], [1053,[44207047, 24295813738965169951447, 1087462356189876289004689354796614348274006078814498030640327092526658434963230524957873956666997547232750552140796842174321721246657755700352130594440092712731927009]], [1092,[503413, 1948129, 467811806281, 275700717951546566946854497, 3194753987813988499397428643895659569]], [1170,[1171, 65521, 26959262851, 43725552532343303477113703251, 4897406518564079146139572699835240681611]], [1183,[46655969015605951, 438434203618227014716091409658372900303645924405645953053576271632554166361157775773493063229176551148974365628667853463421938506023544276862944747446218322809854375446521033449075275919683494444098705526905331574166361234935696606196472475477644347860394813927, 438434203618227014716091409658372900303645924405645953053576271632554166361157775773493063229176551148974365628667853463421938506023544276862944747446218322809854375446521033449075275919683494444098705526905331574166361234935696606196472475477644347860394813927]], [1248,[792584833, 9155841480185089, 5429763821127695456343189670383550559822714742244962629280671332889595070466023912228194433]], [1274,[225499, 234073869739223650179234718144664302681489768478267539931908344674623398367016046185701259568278702743582405740182558738980448727698610170304181459, 234073869739223650179234718144664302681489768478267539931908344674623398367016046185701259568278702743582405740182558738980448727698610170304181459]], [1300,[1301, 500501, 666901, 17812009801, 667410374883859254051810171126401, 6778614929254022814753212468146501, 89295869413431533471180244960220417186167213322759001]], [1344,[494968321, 663239809, 120024621595864025218910923338006229301425391924739107060397489618540260099717126712633721435874689, 120024621595864025218910923338006229301425391924739107060397489618540260099717126712633721435874689]], [1352,[210913, 47925697, 455986337, 178077806451169]], [1365,[469561, 52393016292934591, 2224981001722824694441, 2686468892524850657611100670163178394341862986608741637023165267852511115108258469117494403626444218706034120814814814040880969481]], [1404,[9829, 59012929, 7011385057, 21455171100793, 520378545363301, 371434919794191620009861713658005494601, 657605388714787226759598226179270662456521]], [1430,[519091, 176510711521]], [1456,[145601, 9828001, 32038310825249, 5415910767012636547867388209787026949104914143929346048059994945283395231628287670927219791061714361807641818081009531033919139461833139839103139969]], [1560,[1928161, 19237672720663446377661455703086115628491787752013273019558417760035115974333583373403776382012030893233714961, 19237672720663446377661455703086115628491787752013273019558417760035115974333583373403776382012030893233714961]], [1568,[689921, 66308056470365249]], [1625,[273001, 10032751, 76488751, 1150951751, 95289745710449721301906751]], [1638,[11467, 13503673, 63789836706567949766136952229280060459548250258629660642628652432292700491771878325595427834374427003282339057671722851]], [1664,[3329, 466361697897479403744312800852426728490715716313678806761381929223522786940597935018305061489196783764416052773572016149285601956127780866260258617069422197958178354222463616400424153306296232100106644742684454347845759016694529]], [1690,[103091, 108161]], [1716,[360960601, 11517089006281, 12892407528001, 102968399238277, 11481343507470409, 21770852037342601909, 1090446563403147928146313, 491173083725172740713871230056877]], [1755,[3511, 1969111, 4242734772486358591, 85488365519409100951, 13998469549388339590468017073657389503840227715447303027205450636561786721059586640554982761800971743769332153370421665868047306056094647597984314626970971405894583302525615193026605012021992879604120513454431, 13998469549388339590468017073657389503840227715447303027205450636561786721059586640554982761800971743769332153370421665868047306056094647597984314626970971405894583302525615193026605012021992879604120513454431]], [1792,[10753, 48919385089, 39257233394241687553, 75180696491135911290689489057105965651557440096622698338319848937167542150826408002160567774849512267023085283727648741602130411737775078123272135037747811030379277561425152334758951325258605949441]], [1872,[26391457, 54573491387218500862753537, 171724563923667448333608556041485452278873469480751276372570420605814498029548393251951390553341354246638935322697466475255488889475752826209, 171724563923667448333608556041485452278873469480751276372570420605814498029548393251951390553341354246638935322697466475255488889475752826209]], [2016,[423319681, 494077391563970390335488001, 1182535155637613030007560262508683779548466507326344523324350116506349984584195230165422933876144679963927913357379857923458252588197603201]], [2028,[2029, 5270773, 40318669, 1659020904838638433]], [2080,[201219077319973441, 7715678863679425141729793681534838990609482792631161754838312979422237178408832075851524020018180240451000315292774724735298298510062575079010818118203164139217253899513545702598920347831540878582955242890440062401, 7715678863679425141729793681534838990609482792631161754838312979422237178408832075851524020018180240451000315292774724735298298510062575079010818118203164139217253899513545702598920347831540878582955242890440062401]], [2106,[10166476786129, 93961711110587347, 1222688431595222076535249841763207993162767266799369907694188267421813312899063400315194236020525233565968411452328361172303796011722674004017116406857372481940574827]], [2184,[26209, 279553, 404284148686608554495041, 1580204575585229261365153, 49743912938551534687914747072664537705882113228228222288727816313798540016217285564603701949887102476248707805725361, 49743912938551534687914747072664537705882113228228222288727816313798540016217285564603701949887102476248707805725361]], [2275,[218401, 28319200001, 5077458991215348737098073443367653544422250249790322193096132066127577403650421228073919286243641704202725647949172431746490391946048760590721770111443283346901191985912627859996302932765836846187614089924027560749414992261693251857827246112750340539998701946011963866130698320225578331375909280661993140640335501786244819453762475471205259847465705584559233682062156563338081500716905917127554199442393431788329344001, 5077458991215348737098073443367653544422250249790322193096132066127577403650421228073919286243641704202725647949172431746490391946048760590721770111443283346901191985912627859996302932765836846187614089924027560749414992261693251857827246112750340539998701946011963866130698320225578331375909280661993140640335501786244819453762475471205259847465705584559233682062156563338081500716905917127554199442393431788329344001]], [2340,[11701, 1736281, 10248564275821]], [2366,[580936886365817863154627134438581870025809388802676531017660264209152233797410445071194602840679011357162429576578663389254105587012986638646900591090801804632204755985193505353114533439758322564683602372870833055429923612630782764467932740084395607764875183791361560518649821798401, 580936886365817863154627134438581870025809388802676531017660264209152233797410445071194602840679011357162429576578663389254105587012986638646900591090801804632204755985193505353114533439758322564683602372870833055429923612630782764467932740084395607764875183791361560518649821798401]], [2496,[129793, 46270849, 11601852289, 22281816803845903937962733080326491291356267934513663068103441837499399201122434244983278452455033749836267361335968893879632788638628529986133424637004589753003414328132457814844182329057783572637771475158017]], [2548,[2549, 665029, 41202153721, 39276411193893882690704883293260464083783692491990965378419172934701213854602845570084288731856936498804714453018529455229617062364992561421726648671620212167011971959830994653939360398542546526801206259295850428036615191225329326566024811100927997706650018433446085525333682286891201, 39276411193893882690704883293260464083783692491990965378419172934701213854602845570084288731856936498804714453018529455229617062364992561421726648671620212167011971959830994653939360398542546526801206259295850428036615191225329326566024811100927997706650018433446085525333682286891201]], [2574,[7723, 882883, 720447884505890115257492833869916228756944476598997468927326832197326220293970344693534420832407133929822934735793711225371408344621543363733005741693024453221603033958940399609656617437690858120858817352569, 720447884505890115257492833869916228756944476598997468927326832197326220293970344693534420832407133929822934735793711225371408344621543363733005741693024453221603033958940399609656617437690858120858817352569]], [2600,[3249204401, 1065641262401, 180407984061221584650765212709691727214108024260628900628263654261798077729704957553850426349782890961754522074039392402572592218901795634013868950546164416711840262045537543262629677196444928827337673770994675644936508453033116082056888806508686236240834070458401, 180407984061221584650765212709691727214108024260628900628263654261798077729704957553850426349782890961754522074039392402572592218901795634013868950546164416711840262045537543262629677196444928827337673770994675644936508453033116082056888806508686236240834070458401]], [2704,[3060929, 1775181409, 7567946458979297, 117858399935610217915119575552742790127430723357902142558906154380762738051562934797742266001744041257026615426782666824920921907393978525382694643454955693091930613754796435933590978590574157364433661035995114039562397885178779139463469038232726855068550557371824376860346448983350213166329053227310439972837499372210418344894810070906250915073]], [2730,[2511601, 4663895387971, 1747155976140576469705652320728306638552264970224296329802371579918986789611343920344321306746421947396330663454762878038087163972889931354625731]], [2808,[14927329, 36926447460343894713313, 223149861108387525629598095707240751226355472757304881393275926969787514267806191296195995490053576121513833442717831805749339536359718449280823396844398990386057246184193979254909201540774621570087187910857928861651181692865438273, 223149861108387525629598095707240751226355472757304881393275926969787514267806191296195995490053576121513833442717831805749339536359718449280823396844398990386057246184193979254909201540774621570087187910857928861651181692865438273]], [2912,[19050263233, 33203532563859841, 96711108086962071818425908834409244125902988027686365764717291092291283154250879233503257771914415565156795858435538084226423595247727007405848479260496630300118700204707690731420130495044440097575362985116395154333879216669986941380408135542081040529762237389023126240750942285614321672093241724642437015640925895603137, 96711108086962071818425908834409244125902988027686365764717291092291283154250879233503257771914415565156795858435538084226423595247727007405848479260496630300118700204707690731420130495044440097575362985116395154333879216669986941380408135542081040529762237389023126240750942285614321672093241724642437015640925895603137]], [2925,[17551, 1432354107601, 1815785752951, 666484634934156481664586933994424850524231797320321200590243756877636288110120861403750785050455084924632694736356629167058077415807435851724288234899318057106366057043104197618932353250754354784012626267610545698943191337183350694996440116022051587960684794439474460569043410104440238201599333076958737560956840425079543502212454657835803721367624587800878185943636676162802923337345852446140055131783801, 666484634934156481664586933994424850524231797320321200590243756877636288110120861403750785050455084924632694736356629167058077415807435851724288234899318057106366057043104197618932353250754354784012626267610545698943191337183350694996440116022051587960684794439474460569043410104440238201599333076958737560956840425079543502212454657835803721367624587800878185943636676162802923337345852446140055131783801]], [3120,[10795201, 124781281, 1148056772833695415271179178759193311620380469096938503729869169145442391741660877651116363184633467852660940142490728503452199270823399520013348081999636464774560730084786099297251319549432161001490746578930026372961]], [3136,[68993, 282241, 209624941247015152769, 94068904561435370445866012584272757362629283978786039160659446838535955551274729714880772527279718375564158208289374079928421660948187030875693942169190170086763376337470895389551616273391333603966638533950636430165551794284348781062149112380501897189570773242568207765091288966461793271501599743450077906443203596043287053416467171802902992054631854957525575982600799467393]], [3276,[507781, 6224401, 38318677993399703802378010947563284200451545163463992878209412539987508086847321241197922266885384668439380818990511436777108541842841422372418450337032506144782246172665407301334083759802913331892360101632344942509797563687471214470657450657761341]], [3360,[25240321, 574861795201, 2097928973266561, 51001264246554923426512935206051621120025607714695965533761488057718965836780582760080565615420773495226910862271611985727454588863218335227397686595581846602653852094611868252256902497185121570561, 51001264246554923426512935206051621120025607714695965533761488057718965836780582760080565615420773495226910862271611985727454588863218335227397686595581846602653852094611868252256902497185121570561]], [3432,[20593, 96975189169, 4594017653594099896056198666086089781780250553468037578070815739088303162257529647177615429224493518306166353718357006154095645509791561425018444382295619051587288644407627896851492815558477699556848431113336798642721818422826357032819697098528702835714403272766483868447953, 4594017653594099896056198666086089781780250553468037578070815739088303162257529647177615429224493518306166353718357006154095645509791561425018444382295619051587288644407627896851492815558477699556848431113336798642721818422826357032819697098528702835714403272766483868447953]], [3510,[10531, 1024921, 4633201, 409251961, 21497866557571, 194900834792501371, 1439538040790707946401, 994499868210136010981361559557803621721545129593921219614629055332298029738879358633257877455053636767566800834052466239516617923218534966326533248229553609904541805972325270693726491, 994499868210136010981361559557803621721545129593921219614629055332298029738879358633257877455053636767566800834052466239516617923218534966326533248229553609904541805972325270693726491]], [3640,[8930893011041, 1775281128238801, 3631319475403573014419089136694889922244051838817096553933022095115419286920180016091246189592304807332277759975627490499313082067084373343487955823873443741308252456765978611360019192796496768696085074872865527866413664501784342732860600749654849482014404704106523872120332589927624483244600267003177322415952728336321, 3631319475403573014419089136694889922244051838817096553933022095115419286920180016091246189592304807332277759975627490499313082067084373343487955823873443741308252456765978611360019192796496768696085074872865527866413664501784342732860600749654849482014404704106523872120332589927624483244600267003177322415952728336321]], [3744,[307009, 830790651352897, 239834853867943123346615769904396567345772579393003612174762219898814887524813985489783402272167485200588063699575293939857883358055127374260611685736004220540947451634671833216630694555872567872834375393803380306097216709753278583857587440831065094980671771404360188500723380443477300787949603053319085414951492033093784758657]], [3822,[15778554919219, 4102940057983383564289615078412792816118654545953507836830572067030954176205567784621619253197549775933453487647934353630113715151868148424693162750563641789839498839325247468287976838912787859611389111137449039513458473349127837863937935137411587270626589881785164007465143742718039233, 4102940057983383564289615078412792816118654545953507836830572067030954176205567784621619253197549775933453487647934353630113715151868148424693162750563641789839498839325247468287976838912787859611389111137449039513458473349127837863937935137411587270626589881785164007465143742718039233]], [4095,[40466791, 385473138531391, 850374435868653391946977513919159578573787956100998002261141047584702425888076241058828984888078016504522142525067342555410323940359874994329628564730926125501772889497986245195474179030822535474196896299429263867731328701453642046014736300041297664940823073160204440603397657256968651393834084041911065370662660591249660549747607455962126620804953249628383198423189441555949277793138086446226520654526953102831206394930088960419195509217242830266258122435751135895088670976684673501362961182983841, 850374435868653391946977513919159578573787956100998002261141047584702425888076241058828984888078016504522142525067342555410323940359874994329628564730926125501772889497986245195474179030822535474196896299429263867731328701453642046014736300041297664940823073160204440603397657256968651393834084041911065370662660591249660549747607455962126620804953249628383198423189441555949277793138086446226520654526953102831206394930088960419195509217242830266258122435751135895088670976684673501362961182983841]], [4160,[1180452149761, 1680438181901441, 1215073115374845252683344201730102650454830187487193158286169728461968665901168661310738089600531334193053318438472502221009284109559047362999235509644210977681138974272701195498020257285118854690514741342043586672743710887292869029282392340626903823466583111807025462921850659022854934116456751623872029672660778489967813463595890188520258496214877474750426179168751442746835104566048617624362527301014707654340200415768666164012036481, 1215073115374845252683344201730102650454830187487193158286169728461968665901168661310738089600531334193053318438472502221009284109559047362999235509644210977681138974272701195498020257285118854690514741342043586672743710887292869029282392340626903823466583111807025462921850659022854934116456751623872029672660778489967813463595890188520258496214877474750426179168751442746835104566048617624362527301014707654340200415768666164012036481]], [4290,[227371, 3419131, 52441211236235251, 308883935567694540915683467211803730494226406708241081849860684379426788006062760988054441947048360153551326357538104243956447600044532924132880797631985422321014142947865264486161228412104986127436883850947285867484197294077528983451464841057279998528931057441]], [4368,[24449513089, 260257562369826726433, 1096038891272488603907323793895747410937387046236132338888799551133763477909069285697518904425588492157160376577354688030957117103157455259597748815265235459388476496561336395018910831502999735891984458840686799836053347675403995251378422313211000743733884753333866270396259909903616579595595896276160897137864769]], [4550,[29500529255763634808969037663274296881238908515846030150429893166199640060810375466535278987909011344683999517232762956937334708323265884271971300869110127330060568639212893122076614735669457623096551478211321638543860245099753812908383718810620691098194160948746231785803092524597994890978886413004351788138795921873589085972854260872817401001027716113136927831155375448081179434771509352584640580926517217783499212408722149291820001, 29500529255763634808969037663274296881238908515846030150429893166199640060810375466535278987909011344683999517232762956937334708323265884271971300869110127330060568639212893122076614735669457623096551478211321638543860245099753812908383718810620691098194160948746231785803092524597994890978886413004351788138795921873589085972854260872817401001027716113136927831155375448081179434771509352584640580926517217783499212408722149291820001]], [4732,[94190461, 81058592161, 1591950268614161, 6749423878264140893]], [5096,[30577, 24142062101688865158856864820397184251124256666795056089545518713696331924542010245907134590356394665150806173448061173418783813025069886812691456166265897050017519162752364924149181907352100068276385981260627498953943309488150961461168407220457593593208908060377215806582835428808509132936186621369019985899240258242899377316658666503509467181741787791985657886023262992865678010130581949444991596488872874294329938751804639229229336857855588849286559470006702059676258857261532036186112915856802861134525323891166021780284771233765691178318154129012182815563124307238811916999492107594389986563521]], [5148,[4243524044761, 7058872910666607818751090006090439591281056943863851215471787966386432690442737969169659970758443208603016732334643745248862649277884576012564913664226009626803590443932236707785601043034410677746821548773925836380917295024310486406159438601668163149473280526048764993931988941476164228637296902888781847592868443394684571611074870161762010119161293561248492495767373047095026123921836705331234508026537266404325618368041, 7058872910666607818751090006090439591281056943863851215471787966386432690442737969169659970758443208603016732334643745248862649277884576012564913664226009626803590443932236707785601043034410677746821548773925836380917295024310486406159438601668163149473280526048764993931988941476164228637296902888781847592868443394684571611074870161762010119161293561248492495767373047095026123921836705331234508026537266404325618368041]], [5200,[395201, 250068001]], [5824,[8025473, 1140467329, 408842959513987714759239483963813424327140723856709128426836517705114349952784129786541211968012211040020802038608760758247719362352192200318329602256802863164956896315022660634126058661149175300596771223988904181613337552725720642144174046495946770351892122860018721258031369651120754274134513595695368237165260440336243129726191975329789235119182598556190183484137752487343486383518143458274188214979118169634096425963083596639046056032021343589344949045407001711054498091986034121649782119369394511773213479281145626170579651998757687837426510611581346076363932760291348544155989444209068183488086146019210133217130040561384981956313305709337211412909891231725455829671846913, 408842959513987714759239483963813424327140723856709128426836517705114349952784129786541211968012211040020802038608760758247719362352192200318329602256802863164956896315022660634126058661149175300596771223988904181613337552725720642144174046495946770351892122860018721258031369651120754274134513595695368237165260440336243129726191975329789235119182598556190183484137752487343486383518143458274188214979118169634096425963083596639046056032021343589344949045407001711054498091986034121649782119369394511773213479281145626170579651998757687837426510611581346076363932760291348544155989444209068183488086146019210133217130040561384981956313305709337211412909891231725455829671846913]], [5850,[5851, 2601137894594851, 1998881407652766379846421765368359839435235702934253774867181064209618725396139842413276875219956378550916412199334669491858311973368728893241213312890941507871203940446505570374709520196216024705517547503095597028793592047599081366059125980175292203579954435006022556773210938318823688598506192403808838441548275607407204270055609041779594457492561914089958550014265174285271856333843608395833850231524240029494801, 1998881407652766379846421765368359839435235702934253774867181064209618725396139842413276875219956378550916412199334669491858311973368728893241213312890941507871203940446505570374709520196216024705517547503095597028793592047599081366059125980175292203579954435006022556773210938318823688598506192403808838441548275607407204270055609041779594457492561914089958550014265174285271856333843608395833850231524240029494801]], [6006,[456457, 766701202212468052531, 114937547501474598307058528540101277567948050603663267323169335787917695362898865576783691948403538792867929490976776801082144868922687088759946395546603476800025765352376433804085027569323746976717587113715934831159416368327464340404861986037995692745027183320124334664495151678119150370995800319648599043373745273571895049922307991770803965517605030252310793699123834136820136714914770037165666661493121313, 114937547501474598307058528540101277567948050603663267323169335787917695362898865576783691948403538792867929490976776801082144868922687088759946395546603476800025765352376433804085027569323746976717587113715934831159416368327464340404861986037995692745027183320124334664495151678119150370995800319648599043373745273571895049922307991770803965517605030252310793699123834136820136714914770037165666661493121313]], [6240,[68390401, 81157441, 1204521272198401, 54615705172591681]], [6825,[8248175904151, 12124906790783841601, 8965534199760618992598904716766502554990567952078140404882099964052518242331631531600251424954190899275991902320069614154751444818689998094579335302631586830580948721371098374747160886405598501663260212996035731960544942974943992714370826785895183738083720498016558269023128174133650603369396508283749883223277763005878535064433943163671194224524164807492339165564421823368881742758616788323294730981024671344163694230912744026425103774178889049599389128068885750883982054627559654559344608786774069178958801546917914032979840746669228169454527447394599291225107810392328422000277928710768902222695110382691547848223214964783667472712748335849643211551463306863801358557764710835118752559728602667389844247106618757094619057161290461098509472953623708987856174262706790607421485006943812256988536486422629545705788474692506628159369351]], [7800,[546001, 5007601, 6989048882401]], [8190,[24571, 2129401]], [8580,[163021, 4976401]], [8775,[802200601801, 35099286237695024718204789229717115500874601704958998085219404468246570056374648403806191324425435099157799420761687867190456233324024174134502974862683842509583284626283247109090458922839638306012452047992871096773375570241628979112003705641430370088774934995438353640189012711964109670322519823021382911383359174956580752754753645604332282309068593365116810691737708788137370313321890952443915897482561557565232950952727006914124632055069323056339746556310218750827988962743961684423576021659616353234648598370309016424227721893707912905634580651659516534055978352218724375282918722174425503419455786168847619241850261760103940301459188693800111393240200270722668551596629903763938265224922583431227251368861773893287552096491746969668440205878032219950922021916692634732103395668461607509433972867009762794207394168103309771789880253247777319121464492057849431018075338487782512304274877474042587195255029671273005269232169642882834796702975902581016318819673745611984493876876546837882291861375869640711768700139676003936348398545714653575778417921976656183070303842829000368147780695361140296157456348983008453736475650632445997115983354190688073490269276120305279541253247524622738587666597571107088283148293284797266010392451887877766516578388176952872006663191838569979335763662201, 35099286237695024718204789229717115500874601704958998085219404468246570056374648403806191324425435099157799420761687867190456233324024174134502974862683842509583284626283247109090458922839638306012452047992871096773375570241628979112003705641430370088774934995438353640189012711964109670322519823021382911383359174956580752754753645604332282309068593365116810691737708788137370313321890952443915897482561557565232950952727006914124632055069323056339746556310218750827988962743961684423576021659616353234648598370309016424227721893707912905634580651659516534055978352218724375282918722174425503419455786168847619241850261760103940301459188693800111393240200270722668551596629903763938265224922583431227251368861773893287552096491746969668440205878032219950922021916692634732103395668461607509433972867009762794207394168103309771789880253247777319121464492057849431018075338487782512304274877474042587195255029671273005269232169642882834796702975902581016318819673745611984493876876546837882291861375869640711768700139676003936348398545714653575778417921976656183070303842829000368147780695361140296157456348983008453736475650632445997115983354190688073490269276120305279541253247524622738587666597571107088283148293284797266010392451887877766516578388176952872006663191838569979335763662201]], [9100,[5305301, 2892634981601, 60250400844383121350421610276213350680026995554852561831458143171371904060885068772231873962276469200944194434324440748817667158103297279701336548093349445582868134806574255508583141180223120942870273624398284655986228724649689882256954751677821873178695607204948435887794313675327478972220020205888441020125397466753619192481687099868602116877601216004534681780984853374420778067055722819223762269314672160433741596657258281894581498316750420134227004984106170431487706809732806045523436748164991274381466824865088646213534286415167960433403725269892663682848821359088763838723820634524657144171162796366376065409734604483208977930645597448884197588362705980349022922177220763539293074705112470197408604930100764184662259194749537667933337187223994249297296043948761861689410678089470335608576721437427887790124688571424554481839373307082426985501, 60250400844383121350421610276213350680026995554852561831458143171371904060885068772231873962276469200944194434324440748817667158103297279701336548093349445582868134806574255508583141180223120942870273624398284655986228724649689882256954751677821873178695607204948435887794313675327478972220020205888441020125397466753619192481687099868602116877601216004534681780984853374420778067055722819223762269314672160433741596657258281894581498316750420134227004984106170431487706809732806045523436748164991274381466824865088646213534286415167960433403725269892663682848821359088763838723820634524657144171162796366376065409734604483208977930645597448884197588362705980349022922177220763539293074705112470197408604930100764184662259194749537667933337187223994249297296043948761861689410678089470335608576721437427887790124688571424554481839373307082426985501]], [10296,[89249689663129689409, 10367517607614569522995937056948817122510938174155813845821299736264444822296909384181687475606782841594325572501760440815273844230375907939571816600253490205746993593523437245134687014870970444282273337640964705845242691542175455918033030540306894822922403313937078031611481819470781892171584120527304112571051319537082559196133844225411254473375654656180938969382935381718860612223841513845249930183689209922501297077066691304947337454216197080285808774641447045176342410055883675923391117343261948136346473747053401281554561515727991177717735248757059868404228333067650349219624810958313100893461461561166704262814041524182837447239742421902081558658227615411585736629188032993595064246774332679724795531928236785405264646754077307971847910078959909227005634810826279753661391504259468506853654005377086677249347086035724147806984397822567441089]], [11700,[1655772301, 6058764094501]], [12012,[8586093517, 38721238215661, 81142257428147917, 42222659925836204417419531080613021237592850897732091315632814274538762328801182070138970856665425909118787970635389216830805753658955096880412282957214056707618724403924920839579943784588923876534662903631860447469068671251304859823455853187377696276361180691448086649240087420754641333353737175664307847477015231058045180515261940173050740721599693173373241063171717887279388295141924810895246561411882564546210571387597887322556708259438329714311098739680983201309673995656005342991820539598535200158445966459162769016243663131043866182214246234607813127424036462163260878691406998737900379542150953611680145490932435090731683488321821230917253262828205864199241477214270080007756605016457454711044226621349228906588829910092490099927233612554928502047786490448007213115689958802023812728403692236894344109559938360958100369]], [13650,[4433094133651, 215293666581005699395557234146344771451701606127911549563720879925745858947126232831641890103260178304734537689491989620016363798143612335650032497958268675269702244526149752452577758473201149445032349228844781048772030112489620531774896017051933562848340161122146275260060892892556467978627077422595725646119874913857626278842235262680897853805262485561651634102766944446535570445219368865737283709013829857900869054306721543842519226663842915084581783287509981852535095518209254696091404479313400317254002142684861868915733573531496360994695654508927692760095629405000088500727268373780869936229859344427512611890921776633678885868645035219489604024861556155980092408021745245818085533476638184389151088331229320418272031017219462024317368028250424747697773551005200566609512244068793747939632781302776867033112224072093242971364266968330955174309741051, 215293666581005699395557234146344771451701606127911549563720879925745858947126232831641890103260178304734537689491989620016363798143612335650032497958268675269702244526149752452577758473201149445032349228844781048772030112489620531774896017051933562848340161122146275260060892892556467978627077422595725646119874913857626278842235262680897853805262485561651634102766944446535570445219368865737283709013829857900869054306721543842519226663842915084581783287509981852535095518209254696091404479313400317254002142684861868915733573531496360994695654508927692760095629405000088500727268373780869936229859344427512611890921776633678885868645035219489604024861556155980092408021745245818085533476638184389151088331229320418272031017219462024317368028250424747697773551005200566609512244068793747939632781302776867033112224072093242971364266968330955174309741051]], [18018,[60732245688711398803, 520555260111748566938711539217803838956215612979682314712874952915466306500414188819110700270051087751157819418330038257746218573085624223093601015580791185580142632339925042262035596846991961849454765348238629545862233337639240886313798711528311847986974777348222429010950307487220431194767036010843845540923431111897152566549324842600795114192493600320309272173727536546858196443849453910757001426761338165100346841225447388159401640008005261991132928266335162376116890746733580153589976812003376712653434269352581131500137495824690953717354586758740573408331231898101344725961408848014176323479756314413906611266004963694270000114988473280346797208638309332982094138611317073952142422061287007682678028909171888541139192539974477599058922725562897504811413084411173163058017097219263350668190798147412844440293081175289319487808159390138605109165668359601505028968164781838097008395312377085589137078405003315495959481943143507232098445588878393937526927554716547350719989365868733441732430508211695457057030383982066701453405900402571742410181515544677670395662144445085748186011318856073308394510910796466018421917304151912265798630715125045373104409907604168892664758186471132697009184010587417009903096714347296878919106675711358219671132539554970112809502156950478846476147, 520555260111748566938711539217803838956215612979682314712874952915466306500414188819110700270051087751157819418330038257746218573085624223093601015580791185580142632339925042262035596846991961849454765348238629545862233337639240886313798711528311847986974777348222429010950307487220431194767036010843845540923431111897152566549324842600795114192493600320309272173727536546858196443849453910757001426761338165100346841225447388159401640008005261991132928266335162376116890746733580153589976812003376712653434269352581131500137495824690953717354586758740573408331231898101344725961408848014176323479756314413906611266004963694270000114988473280346797208638309332982094138611317073952142422061287007682678028909171888541139192539974477599058922725562897504811413084411173163058017097219263350668190798147412844440293081175289319487808159390138605109165668359601505028968164781838097008395312377085589137078405003315495959481943143507232098445588878393937526927554716547350719989365868733441732430508211695457057030383982066701453405900402571742410181515544677670395662144445085748186011318856073308394510910796466018421917304151912265798630715125045373104409907604168892664758186471132697009184010587417009903096714347296878919106675711358219671132539554970112809502156950478846476147]]]: