Skip to content

Instantly share code, notes, and snippets.

@Hermann-SW

Hermann-SW/36401.py

Created May 17, 2023 23:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Hermann-SW/c7172864817749c55096d83473f59e29 to your computer and use it in GitHub Desktop.
Save Hermann-SW/c7172864817749c55096d83473f59e29 to your computer and use it in GitHub Desktop.
Download ZIP
verification of sum of squares for 36401-digit palindromic prime
Raw
36401.py
"""
sq2_sympy.py from here (plus time print() in "sq2()"):
https://github.com/sympy/sympy/issues/15358#issuecomment-1551635777
2.5GHz i7-11850H
1998.6601960659027s a = sqrt(-1) (mod p)
2011.4160270690918s x, y = gcd(p, a + I).as_real_imag()
"""
from math import log10
def digits(n):
return int(log10(n) + 1)
"""
36401-digit prime from here:
https://t5k.org/curios/page.php?number_id=3658
"""
def R(n):
return (10 ** n - 1) // 9
p = 34 * R(36400) - 42000040044444004000024 * 10 ** 2264 * R(36400) // R(4550) - 1
x = 129110999955403566741017890108448637385865474925121208831953694339403926090417040142535703931826070350099439787378155068317979311797937294010691250867725594102633191898422854425242851173854178717323145791696827177060561238371037779718138953776529046211292066581139632469440914809760144689188512374787544436754793247241116062450275138386036386440774209437634356386261368695035573257659191120586245602068516389497831795606667387001228863255065505842068529086593945717686605302992105861633148944713843306895398237979125625382484009329462911903079118542286125932105447326239412371509828250767284064768203368040814262714389489671716873508900912915358870871765529156459958702717636015094522725720420870901859666213012911168390838262611896561687924311796837182406488305298474812072287416578764112444708621896061927175801680867871172878561821457539569616752867116905066011717337492378170355081380054615617040260355705658999015615139303862642129167709778256489730043122045121317521428130448504970132532659275407906986644267426076243723206981120036105687208175847949915683667845618735165094607533021311567433175342905339585201868089163878784564237753431704437903146735387402940070369892093891067934087829912028256041738996590664587660403981045446270945917739161847237839369861861095029954868876657216769724252166576238790939881566723807998518149998233550708329938087444975530905755863559784497112881622509839356729362912807124175885143867882713984896550437918820322377216801858714089428066541923239133121044199489004338292675243749487774919677722600563110322827452622527098384676181166639155163317951251632668110418758676825852039493774128061823177592464842173390900392932535249485452124824977296758518889653810869213268469975282049018062665192233942846251859445749930344285626493311765126281196289396825053378318170412684415805012125546873038442717084143016828496125399947431875169090825215209846203049819542622469798194638754989993367837521605289777592832499172403697523372160286014388089820986787655561695567207790111496324204380707724340194659571306608242351302863983338442247606839766312000383672442311984249726665860692940091208140837965524110395699165878688147569748516348123582125182267281200984148956553078339217161487852430039096564347794936713501795909891482265978503382519049779352790148563119850167119708580609880946686832495903210215987042419284374530771765412373635588457070347409759364514591968766320329700533829195091239075409462418997583892341893474137535405372514942145389362833575525984430060736447699849067110302915627316016352122149938533822919381300636521452061277241255004002649145117130393319690929555733773285616575752310969385472416665953069995478286967914381266623032413284468631930326370351419085660531377753801945667339314351092572227924923455310502096056612946497849826572163984002240788477411183341099819033057931491346850656137993988133205798461863120272626287667262335113879326611148667189935595025538023957458682159769224161797202592414452474789433171056276992467865227559771450428695085744044925287791225261720035866541617572712819035655040339762827520527693322944163536403336337317366850466234043623666999335032252892271020017690951275097938471301580066569449430422844471813503998636599909116828747165182933231532996227897923072534618513726191374304044211965742488398842151630606383263179325443059223784063265889861732149733391659638004589198689397851749606130871427809979524057819784319145848191137338053600563226356863526048818135883563588647476069002486550717372803761371539951406122427069649189510795890171631237317779621839552564544099987106757827104291755588889737882325102028953714234901952472706334498866977371427203416898045763040598876512804164780176363290008894513813127320416813549627629950097713636151218059036883294735134706926305261429857473488466943841185533966676617979114604875536669980414027181251640040075812630690541096725732404535929834182716709836840527843518333583267331009334201847021749596010299909495576372605114043827848355322007221399951413089630805084581092465715386241415571389591224597232688305773047537585417051553736570052604323746953564973290605631324017171665043717879020344616743519352916758448867669797150519370000981721919626119609797540297074375232574409139363822614946961619707711945403615700465439666822803162551998825639594982821479465804352630287990961709957866623755746365875245028472047793822684802934494684997021774345654500580825265020300713097984992803994133008351713902036274080901844780341410092563133524066193649286748502173598125791151948616834044082517599740784638346163967082100430853675747639435991744451233300722752095361503471641388777433055786914538412599288178824300545621366310273036638009149681367636370835235574545191008992322529084390060821945082495580152825873540677832694113159844987831557067403339808337216861328755755190816039347025107429490730090856250320732288050202553124716900987854562905980564166923569373385865594301592239274573827114382200964448562081348767055564413412597445831104828656606130913911778632684314778973204726893780498539793646843035160473989152955867574766947496490081220876605992588323359007640602099732796122969477790125987727483670848542637406001603600805742310755990209515232798415350742105738586690132408945072312518945028699861661118913722191394648083243034653299012773272696003169139741206014645400283774714852955979152495307737637399637564350317891953580513848922961873151550651672298651123431927720053420105415235313762637381545215005454220664555918090008574564587149729534779075430057807085618908615204754920357356602036720107978851486448176229527822040447571557543704465375678021537100702127953591491200276462070306159127531623599895576459570173071300751976159957335113014558285105333582846221017102303976218103990827595483848487492582444869866066707508682841400521467926014848880134269895309613317830764628016840994951890635472318965725172689245215659954380233911845610106317008178951560014488210935262731718170845328300829992914899299823792150580504789425774764789542593668661355131486989692322201999133272382493223113716133058761646427737356352506689782427098003177607622270615129360112890056509355826011776904676211121043046835069435778105972751810582957292133639646012307147510051112647189355147879195139152512271225593407987795830288802319507506099269217765177256181169726075454934687031363274806323576088215888505708336991308993904295592125834311768280862110819723624169186752480787181073768028918977244512360947703021170648550476148135925267961563477121222729467440378637129193108149968199407512304463283640179651783957862503150090334282516787525460566521395410512007753382736736372326436885545390390655628000861237774343829313082562266794879574232674998839539612011833228296750121074496087255428531562735384927065333341788346245770350670023077045918287984643047226844172453444917990183434660703960292643467529323508220107048164606996215470113459443319948740850393300797383709675378273749618494787838964583549808712118368879175921947738887969956483876936427433912662579458819708253951738766637488767062794574428786474408203062594914017472165416437982452596205597415506401297926194073016210458061643551580223251099041151931181437205749402459536836263080496258906778508331738610160033810736336271470751858654722624478605235692694724835219116596438429506515566227896190597679659051127703152626083084743934655344252358196639200790342423996442633532039732026469171589499474308618806608670201936403707406079855195050364522676077203951460675638795410723708540695352791784910649029304545613334961185466298655106334077932959474212191885265981484756558345894181125041306963057797728671853881805533755289416745167012116053329482193952720869773345625437749974234144601887831444348447267878997362222958788358898685638347637060208209777371112297692757277136213637538649796994772493484035911200531219497662110169267510642888282134892685036898856436736401943374220699419048353095555784835589935018723435693423214424225258835787924674192691793507675265386043462054556494912310552405064286206327209099644696561309778880378150864370492589045746023605298096268931034222578074302190919766354986480852644895722550929219097783429051637783329583990125606803315808958217566935409277750079170970631585449541951337005225767324980871915110006899032075233070150942182971880818947022695033057295114260497576618317037929069145037917787510379546359296403459724372038407918949915289830576095490963863378776850393191052595580490250764801755172156446508084387928926868981364118302550898293399134367681647811657479047243317471246226035973419057590381858521706272643814051773826506004245410617481205711128440600787989888849218613612958973373897856141507966238744636540793206391023940201042532154765318128801894602903937714589671242347003530323320584429204724730750294728987948054924510174399287136584949107586015553283134979199848991759385731978555596505525387691344371774397217977406791649147504173146484553060369136838669265808815321922805653245873629200851922990355468653729615369034360845074217215877371434357652111100568447011776117784592116692950768557610467803333341816952051511596565101141270671912828566004305674184501220033277027183568441874913993349695119734865541463619344272049342401467746005634331106909398034717344862361384554832115073141774857364942256261726412902049119788497723551693637572699413654288755467748386599240042523811392232104677069546794348456628346523814217779144492868926900612428469528555828762225900692085634515318846858583647074298873704520201456393121466947710115614763606847146896773896296394044577607269580134714961402866090524426182007785018066024795061518566093143295316171253195524076453431852457877665170567710613653029664271293403856235922553645004874676165039505991882830909222348371884479806369246319221188703214229827845044545763424267121350463286061532039475764156352233463480694784876749506191128859420888271791282902347884847362274006917264479868649012135052184872917745655452853588209604539696414374724553920023989545738820670350576397839324951394254472315454950796727407267505566593773839292014227497955190806740797417776013925593238375025625526833584251353986911962529998173908562631366021817589626830001710803043672348065875767606043172374538935126615164518351159799395142231609817658120632208910459544231652873184345699275076045854197645200781758122869529359350991629841647199879567526120253801927488207929241732744415916012794893710509652478127744035840932583036209440984066831008113637399173136993337891076170319245099508440597180892936424594651231123622920678128062772338457124910278924387218685106412823479794780620663048991683204023694620480952104049007807649147555708023779548432652913461730442605962856409671835200775720271874454906857922155520079479368364024386586349479482524775108598816884337685258674272802858864210827790774697574643535683126291277452828195337736777152975989445181404563432216310172656023850506496772099835903557611653355370821083974468801293581068488400340643903624677008739152785963114539779339620302726194487371367357628179003455446445171589984204097722541952589744158327502627940057179919565298136463665982604130495134160685105210540645798761635972012477231709790530999363447397969911700691082684889579578787714074329013444356638926614635515904045978507659956768436417263738020126811838057358436284215497903818116749748041237917320402383570706874182137437594915184145037302907196157431824063571955707234179075079450622428048426537287984075959620958858148767066674865939915465002595840556848425442303400762455683132601725062859130432942106003517064283732910182482398885986097522973706303344608791629939249028292365278355595144889127553955149483784004850597483689639901396378833106818068456276165793165948711751624832356791762075634869034808008677988939505169966538194545493319752955927286407946144646462532608592017571398175569943527992341878446208649652027922013106942742017517049961133148924064049976403137139761537977575504173387786757917676430153353836962247954125976469730485435289873168439623622717613797614887021128797913550840495736996372275921936663703011191242095921619187398864391386563239399109854853243367788675527416581793871007724704745885442418739047299334978161335922796331110948603810521978635450338842675867412729203822511226632060027864152407193481784712944773647691254240026765412058343663388476256161705330061695000478245218532998337505106742921386263803052730531630864459447464865362966794430920259038075036701966027365315991867679175136715914097434942257256827380131051254676894012958246620954182936977778515472393681002809875854636773785552358045009718563761804490597496870044293186254687568403849510010010440092283881584200624114046610753982369573871956553736786843369925489536369012390110602565405185191499039971340655008741535414225297996714892353660047471408614815402180850246115596499496618576685412821465807175723026918708419999075567079289260434475964166194040804536120064636122532817856969628503671097095378663382670160039715717343179583919887565868529510231786430962092846071232501894469381771350784062777563319378743635026087844586932448483283896801229616883247325062550145848758110162380971464588358650878274556841877066648226290737706482794963107978028853008654351011450098478109775947159220276430327454285823151756414207233740571228867866400079376052670236705676421897323577002933465947778635933986839965124181927697113339468281145456014926029817046773948323340838309779901048569377126469702541809153296397848232456540705023926545611619710779899596495012830560489252304862218411227270759218485984372853696704191724431987110922887747486669096252296055453080492249931165475205604308653997914710276646472461517654382704672440358038591123207793876474540623831974429015163297364441681963117915127498166748228334876812615746919205598535473095414549214231892359302007567835703762085222272150439318672502622624646482938838790472495185281010763809941116570894516736804663393691890673225873239672047802532951584268623766872264468768774379634790247376450580198371406803516918268871139216660768647178662764102267564485062974771664306713375702762535549941912317848781127367670681028274728998708694246716998182639698212914043182675391801683824834358703594437062380098406631644807468457608955306977239633423159335031248655568063425167035331901533167341898379263666052931533963227240183251739570503061834349238897197667044632740788294125472690324369502296642584563316193627763113826519738197440106366487768078076440422959890419111216952478313322825831046808944769814025225726155593373427574610198089432843119096224803211874594674420869608128863489645176304437970329886817436614631387041258712310066397860302697476586760720369398204438891402960761444387730646154240453125727153520546309906888366712516390908241018738890165282778751583359827468598930700797292518622529052774907441068071328333638790276615057657498062391797875801670496531409506308228681970932876601918409130169927276784118072516189412363185278288505831772778179420977493637247468317746136359683815847331745809724740925065512836997941731675389858582889208768543116978026436464761067682042535555957180725081351308976071890978578029008558923943984856366235095315102397800581724300719629891628175908425370425027633221906028768120120505956462187911624808818429054289940128709481774184909513686662577975083488188039150972477629662974557901816166912552315632960764413261641823398421169782976486891194166955487560015699718726941915169220066904035161871193197123389821085347929857117781522451010743094036003166660002118298697891178852893510610804420646545467460366961807726094949834236350207445951684708628828916011051700051657951916150066413684869465024170873648322473106138820579259515342639374855211657302275754349269314402136766567341165393060574307777883213543764329035795465320736905709396171369593276358611607889751180656361249661177857744473259671830881744357820571108619389535725370835936934405730737003351243683510581069440888601318431523361746063431342271669074919457389523951685298033316232991161397347886389060677352259219429050812360958358497247131603583646049787894897747855895591074396165060645836709403263740521364073139163479518531151465586025077179316391727720849333884437128691951079605678945977619293194317045479019352964004428393849019318439324745864572159809243267250800216544455444756038692559954690653256471282207138770053401675484006070280084841574915555101484884534442508655609725412006623412450381850606627886961704828164063305747295937171202327984748948883064181942792019647764342132414671758802441737957165126920766325032950422791101485873392537814064825904921426322253433487509707791886525606993053385202822751358837257570236087610670472248426949597013594253030625977137391367938695979401043930789618188514166103502223928448689876087417866410446352879242760729145519082253918985806655834861133746464898375136732381427636527314821508342180895549854404001106591945603373194072814252054571516779468981061986663178225915714987931365487199048722413954748856128542330775029463867175057549127441246677565881789467287418438674756090019931379322884004174647262889632142957474903434692817922148283988950150176492664287728311769132989857292421585895203580050896234072160147692092791800436942547544404197716362407316784662604388780326254339951131964333573273987507064932527778434850284059049410637106183346953625360247367600857202209487860481816496490300972887457193750804127183651092535081093210724571694927918140204672281001122653653533369726071042363409980951394388355943617769039512924806592166139837847354824659052232973174978681764678808128239704992322005814567774375797179609487777649570455618353731774817487852005636095446974886534217476577048305073315036187364024164829238805455741974298324826572573158893569198876772839957279916994882224287898634792058695397632914936729424589862458305863942159998243679741111741752017009411126590714833293523550915643621239903903429462994519739152474762959877859830048934759268315863818637970076162210300294956765981275021844918852732053373128414399585405101868306789510280878547506950940581978926015502964445164246459029062872226699009557875811734088446752669110985229311023280220603261824692570152078832076910317137482915534667878920870085088113298222375714679083830988566813
y = 145286363669456459986605427244997779189612338710879198540531092573934941445068221968427927962860474137258189295337788361965548542401703698532613529396785548609648805686673558121501478447355657331103154303526177456273265359932062946888431810932684501801291101855218364351278760388377157033441476463434299636061699955386385092137381144969167785543795494888554616909623271966441353557219183967394978743642348332193173196375517571940235631064422325429191117220158409952913200989503053070893078031420271625098750330802497249456873919794102269642282709652557862908692607665591181205803138913720513329495580747764582727838617384181078332129508212378050165520357718900280493935445794755267180781501280767631501529155271528038905519660008903227320206995439206950698713324382578947959618514457328679606858918181199485161353021409904177596637683404683335811799920777102376244708626252547586212792501594220302148645995834803504088938130973535880432413187667198581877482487096932861548394031882151601453311052549791426784111108013023078246984802227573612796413784902559266450357895430895530646552784067844898141374757227112649037873560249627525209316883135836578510074663231328323428862662924498986873453292171181344057924086318355219066593400655701766464472902561078588011634105138680417082513035286469825930961290635250654424127577143699605610224544593091713177165039066156145428404882468884095082708124296124355374332016983708625883801848244444293298810017467963446463703252661303864103397125398225262069980847191321357504338979224888002002823968388330047272079554717971635302393501103561395254363929632382843151919507191141598415200444503752907564338508173499288798478385753412926862370757317203274927181872218385515805927214198551987861437787234561366879017623091186126935508001930442466147970783967249763339042711923197829767430910263511155855348783930732032867167321527290216990511757776740645021421400773060606072820988149547118160436773970759532943184477356576549215286062303180712339788943284473547537935720478374867170985568492271790150973879279927910912099871610188997621311743137383638525177963365406565490884341275134422981877726303319976517515226123202023116103402833087168881422136429878388199343179640610144320889607489416024568788665583607036264311611283660625350855707278315682004021883826002261228328149476763215487288105820211899871336489101372047372333117503870829366752299742601808616594373726134853194648471064374740222121253337687209056695001845000952802353527875223478275861448704414933111118332843203610719816387145320615969111739090792896612667078132351765871765786530557717164862540169556903298002517372202443408168903006422524212083310475627386511845700991779394808686969519595233132027062407397385268254391452332900394158238574816646934046158905018904429069287330898797580163578391709293125492672655824689667961963881586310792205865600543045961124304833806179844720565998287142660570450735942164843960923063824825302551150061269427721868489494993133436502654946212884426745152567924031992698822963477888518891714367226014220774735810939679669468420647684425214291085000588865842718034287617878193324905081474211908616119131851787740895272222232084825080124721613734592031909997873580680335619874885653035359950285152248235876526141870254457288331017814288713586756704067875293149744799019666379037053915831575566588519657224018226563523262253777700631006813407512173046081719888685649223282088070520013176339385158727899496684415515364433736568260348233564807443325370057923567405917164623831517450675726149721243552110111030080497031215454489736129298510649770954607124352054268904048453147365684977092970005601699986641833004221900290853615949405669334577391028221310728102774613280918645568428250729085099853872283285371010459787299524678614561197917438267711408527059349928570277654630605038758767992116298734343852983212272963474616184753137904204593626832573186900656598309270097655974527095767587499181849936501386480300997676860082933687146930479531974641039778768484514172684827563042589777053769030691019916442506478525951004649846874153113234866110448837758030682588062002718227885578340895229500405294030138384411003598859373248730293615380754169166431741385993301100083035339911351548564664463651399527525304037421414807853858861505010508321733439908572380280896225864307332678377001408843253289686797828086132433181791640878302537652597383565188271687064304060880249095453260837623281521040951666681737148262910901580018192916891290857158876454444498133578563961394121253747553318755404496439910777631362254582524035131694488814585648101053262447511164303752794288756791937970606791957689303143603306409567164621350802358759136027927130978844092141953353237158344899028080304186160819053759674179304528229601538133480427814755667429051234399204092200267321509729966739362758373583254601724545362572763551990603364311303961291746135947741578991023959687591591981213683351067660839638192674495386294417715789229398103415210708708096692082141828943963027588535834747877418529630803325580315185456329163369427248751831337500241869233898658234409658868067717777681268032167675760917301701828166158561874997373971662385667638882124540797538434820060890658418410135389384886544033039793760467578010879501955095824639162503975596245189293515337878813393725652863552967886516071168253504935963067234715565367067670510472732187501147293647852132311171612830501288219807510784271619633272397625493530662343762791712022866615960401553191908175707646528330516035154549343580050361531073651157877758994870922551385979972453750075074110470593185447249628559882426656134616557571205254880583092506081798296717734696810391407246644774059726072299781197000152972214486746164516021933616379946721228501217764158482265193686385807847162448985987497518453675782103701133484272420923137857610930970830597596240483485523815736075097540120052126110147483472878494732473613071234965853985317376626239608987082333551930103433489405503071807671771796397442606704629938063333858529657394187047636292363607903626537452699189377885564838337932852695273468393460903556696245218961803457621307201094459858560981188402828389408007948857948538069797536302367841397487016374084182860973487761700693530407442342916175322922410302140622195941787568099603481154694364361069903303047046213269292416799745754292665073579086352561394557675355845148244162790558474407782130387041373427452613435386348864840556133629614919785461701233432598289758681912261603951979365135132389010704059636708660628613868678268336146378332149987278479399461228247920762710002144163771524708325336573194004290594538306143197890290978739057361934318318020221795811649317070011066522787977519163428490795460268057215060382104655617263925130084657564093405205822249176455584726335293593070945675620316185202320431855209835517959179996916510888588530700100328405460814443924387178051153365470046647630117961188751602010739569018725196564669352480930594703869605435805662675706705163320999033534550742901545736838271737457542840640185265548380207476990905159425381893607907035904187925138836462415425124414693464831781057093959528474942760313336514136682326243352643844792137555499775487505959863318338975765602028368816940464744288629349722315107479627032503845088456887019872623613971296406951379792390928169069423754257458053248998016924967722259077397493156312026216030257280086617712659141090579758169273109334823286847414181639775450812526373035953392727219253980348665167537496406359173574824433832479639122740476390534461719630458774179934375585960210288887358549437416296076025700442429581182567353111089905468237099704537036057873077752940762824632567053332453419075685528903123234373564513479682243792040394576813201289656267734047701509428514045699859852071202503122683529742609750424636763834715575321015782574646450235431132783918429553948096261844212090855680431909736795418078083408408752012397078041118957619705368318480840915987242870122996228357507998113613170290337124491581699170881293970361973367279997419988024310689426780555559469828783293414836349883313269375790504055325223029024733829694401601812023230407636147702307714072273242670706043195635985309865970814170770670468288024255322425267576912197572690395839618456341857160549865808808639642508304833828584769028823383363396144328833736412999283487177941014831360980968006609439605896417448496218182349423942085147658178259597903951214863405597708429438428444918480021064965367660597124553708122613061694680694002959268930189823671210332943811402988150759075347026544646800824237409445239630899334968255044801267991099951722358516524841757536821341366659391426623990781163979508816933164004592035957880216264529590914600494624685270056746796443555401679649665370299413107439888288188990712943872037556516009051165351126520566745705123516135634325922513185999696064328754694690441683207973086880471167785090849055890966873525941535638372693068497764417901778082636885200056047889756926212982464823999418054020040102729657059163343369639667096524750472533919312886984231707611380079165825319036497804399880762589368526237221769514246246484606313299280293678893523968500435816516219332407040185626482819896066070043700530563382842472546679530659978276534204279693159414501360736315975348391033832345029932272982763003750349249816109648724487537548088101722542937110555006591050658896218270753928568238667581406533855231749093332569314009536695654459446351369000903816002495102745689880667271417130722273543103416064594638638304626001878367766807889929235331781357211387880826617416912397500448348922455191009813872329988193513126583206546793313176224615951351907558893024903926658067103181466591150801794336687481957451014881915677144056870769985893475636700214677244760181357416460754984709216337276177816691898460536236363252700357194446637330039480308355347127209942513347584069092005962895833434628908442349333678597890368885996744162884182571452218772722030481235057413977085148163136652583418703208908287711313357523635340310875667775032136503080385943073402126064874521124322289323179024786874241278934375700834366363066332983716623182194120120317557925077448024298836858410756183483220420467901293576291563916802226670964355508621747178944331055428828738516916204280297849822324041103555687807034894125301225818352692012871288840548107198187872372689626965481523790807718335340626730483908770676407710488894927848915283270508091646967500339484398053846986114138406024588085302262125686094934769866697207791448655269072713240408903740306311476501392938891183664666796141576934429544333630459081745655101714546163962622954004175144691143444725350969241549051360365366640568691170574511936683195105810335936515747340773830848505359751050206248513985130727152100389592451443688830640422772805661522656769730335479566342269547061749234181440880543448490328443689019949274822704529005869969738358952390417956629486194810419999689771868243158107489370212655061513003197677119308626755899838515246661152354318092737480224780111784638027599475235462262447721865989617020264206910385311588929850056717943554082833611045461218514875960761634661937933960393817321234320615600727692866770515471133373246220641524578457276287854187238474851079187132749231709084382582096536085621482152923061661899177954585536466438288655638104356118278953367292682894616415253240549567484119338036319070492758810495789643970789508837436554095625316805878919670789553350678086857967490873957013238850397063754905021718472825017885912220957511383009105377434411980334810994186325129125866538904058083495038623203434815919985178658348147095152474919603976643707104227544712821403369251902323539550207636026418812901013077241358815611573040033242204908129152268151410759482869243216978002553322572583288079131176760835455124114576182377400357524046797802499572154338678468426761637108506142077693188992011044534025829018043633972583739511762725828504739392747985132491230073304389587907646438478707708999466170588735039860601590660783538821298391626997769581755768767230881493132019503277332794885038842203950720462093488387327497468900713202715083754207232627275019619475964871004858851879775325993877391680847558818874666204279671255392625212008352782748488656709179367332012579037082755081898747421133232797874931703097587875860456360408918952306478752804009707240145492310494040015494885642979650337073657964408145336082690097957673234627246035460388311503666530194371807762597338741470808299850482872376533629801539973582028480863693629461023901174881911207791681673355780463371599926026946884361578410294465643438310354356632042185713851271803976366402733372055858792422910115535003694398919944359335272607143999826056430932177251313072121993682518864849717489634024546734263734359680408389793632662288412820653296753253367015128027406441628229255614105659393599102374319722767350853214933455298277905364875879192684546043737571165050021469655033841298407853138469355539639810093315305622858659737168765549771311009740028345415970026672093231959492359526293823686230699485650510361225900768782973297402931097127323032696595881898803318548564749983036516239539445591797553371701502747920877084992827728476317286747708531186928446032910189665496521215423806705731894193662478591405673606734083758673822108571230596179236251093001906823537087397283888844421353053505742777683628598741369150419221535719859541334469532851735373138140129752093331929242575631773757524102404626970000011507172253262356814650191432442595051554878406183238835589771384144040097855663699093988701165054188978894592556143127983349438465883989834087326331854396617578689675827782542174571482906329907873701332940564949648464508111684814211583516300474046878383700079454918206469474631679425095807657551701551820567176683496231715630207948485182586688481061413372127588291803425469582093436372170699364206805320063638766947704089740124961151507508335268914059274458068243757633726543648326409781935458482978729372072561622381176235007671783578673045668689861308823026849762539084389385505972599330015892717474096689348831140851358596542791117488228368284329033324676356327966401603769077631746184526615998576937545210247253990592554113007898973088005004397599333457940420030439705808780298173451700880301623351487417560091455630568443388037969403480801616953255544846518678459488107994253478154048595642445516730916204821857353627738798893625150220227974358851602631222368589299916798877955326222960949085482516666900781884832995645684825942683673259668408193930149685766351754938581938950727844582958255762030714381611521487113999972316582938419718667200419308887776894829644263803876227004599092799944374529633197238081448358541162131057329517386342500303706702558106098247949993360292532727529532548571174837507036260416076954961333642964295629027263456894205876150291609205059212588720702606568915980097525114465914757756461683930797697019020194903636351583270480132270900989424550160143765241139286997896291632980716730351615482493233997420121429385919822993187677758928096243720868042577305328488454508134071139866666000637916641382324119490659861959012921011030026841047964605145368010370262273316295048493932661015620344706739779373558587864349182766258113825199808270081253309241119639720545587156073881013349755492852686184615217521613038517271445844776197738680058778377352273447196342858812520179406035641852592754272371636226223333335353348220892567542971169517645564101637066369700749597286779235520806076963901379039098789787466523788656007364381426414505980251486189893358928583421767188015800132402538120033777579250300607581152692818647982513017176115483089563449771608553465015670336404028018955285727699241459644907170875081135129260197972351646773250275912154787528239722439661249010667212429761131102091534305958140441857180689597272756629772316074304922749244697390356695793616091910926986086696377429052666418906265127430535438029252117156417642155536745460135930077773623971970230731703562496053528422616435160119642753141452136371803580843880142384238255931657494729250564154699491060343772983269788827518734137554914870310652354054099571672805982525245280084468754723916452118239164036339561079095976786711028551859099860735406418540646272129376342252263958329173698485739720668478573173960078202187305537162544665286157664504641338397135277578562822490633432729978302297531366493881847245964167415277830393360234030341837553341942370326921188471220743137392696064148725775344836796185914912134825374131365015321284249269479321342828195555442899360396766090924874177163813126764041668190085158938915840944378410567795568279043848408685808481442650891107098304760035890324167163743842181977288972064498275992553422897770587209485776678259794262302658528769530491720462923731327185894407623966131255864441968594075859398262187833812833715506986700991103588194160105673445808900051670636831527062742112721661843068099321131862352787078060857536576452962009236539580263455384050002553396166459252151716199101523945396284353796290400941831132184116343417540170103458100734677370774729117986193467809340667765080203232226364182850109239900583006149024851064289530743622230420968076648630211952733889452205198234354606612373333790091316935633657848581316051440577562478358495549898725656815253117821501451556492036941558444311629069388841202098584789103488930554590823741938756738197007699695918628630569173290998511539737005075009292577748478801164399619720070476998735730723346549171836476984911682414493876171094161727719697984908245319602936581039964052899056056909734927336978277517762270309938418484374950646234947349475934305406671867909851632163028331709880445816211044616507672515683221017714553735267507210862847932187131899265903882056808750743209406635597096409651443688270693410403857768664232915083779501158158825887296700452302495746356207894420918362501101948755884677962609339828828278629699563690503600633265944003980717530423547098113150299483701681535897974660210933601066497948536392371782211698927732762104581792875596798564422413022438382153371149685567370206829645344960161818426600158558521943406346032516231768644165466619712767095727413247511448875982593266954697234491577858096245128921095824818989944988795130699000171738779253785280685263104613120418363877702
print(digits(p))
print(x ** 2 + y ** 2 == p)
@Hermann-SW
Copy link
Author

sympy gcd(p, a + I) does take 13s only of 2011s total determination runtime (on i7-11850H).
Verification is done instantaneously:

pi@pi400-64:~ $ time python 36401.py 
36401
True

real	0m0.179s
user	0m0.153s
sys	0m0.026s
pi@pi400-64:~ $

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment