Skip to content

Instantly share code, notes, and snippets.

@robinhouston
Last active October 1, 2020 10:34
Show Gist options
  • Save robinhouston/53dfa2e4607d04f7dbd61d466dff10e6 to your computer and use it in GitHub Desktop.
Save robinhouston/53dfa2e4607d04f7dbd61d466dff10e6 to your computer and use it in GitHub Desktop.
Plouffe’s prime-generating constant
True 21430172143725346418968500981200036211228096234110672148875007767407021022498722449863967576313917162551893458351062936503742905713846280871969155149397149607869135549648461970842149210124742283755908364306092949967163882534797535118331087892154125829142392955373084335320859663305248773674411336138779
True 3966212458442419910671365779256433097896266098256444502994761104680485792040114698622334941551824185891729333090617747067852863746301856735596028175773861022082860675594962411634044322686894523823171200352765854123386843446869283314184698519162260023471518534376441033216641163191116687452396104764753405716908275693926617999038170654156222260226520346000668993323085068131797019884440806222984681657959124218247652049531642454130249113786478964606565384901503505452972077736233
True 459252278109701809693133280471072793608927080835478080191057094730306504556948125542663794526602507967378385855594985109378847584345222132570372542466661274156519956581249120002755116592960179485715707960253944979126461854585553455789268104161865415883619986232649595235778518422493246598144656887881909340024556220291146171936010340209359394202060094149735636076546492889695498035091452291605547296657727519357064371793688177887890018222955900195197280775020834342060339607814357407219848065577486099434505808879411424036250970512380273761294875178117114845356514476774853652978047999780367930113048187
True 4666318092516094394950447723619085848085457231858540123108571698979834554878878172272201635489405511797974949651621213121077437606770161974207604086019653781172053330691625751369975379929509157555502453981325565591202562573979668954025891355627075519053491894272132405597349071143304796110088314552219871402473191056993346571990617581062942041335475448142248323906358813011638483822648403983988884473309937361844006336639208410167240276366941856379602570954286861489783415452594685793789371815883908245435971349068694636033727652244071729534713213499457044722017621692108765530709945014336480115719092946413571634692931305488331889903252282396954869124801129028803381644152902649321600236663250235869
True 84996615743009170342777515149491346499842830985461147933941284592843713685578918618085968003215723560413447695812176909495654416087269724167588279707065773073324758619877883297549222965754318167643744705588020505018094336184569056933602173578771405541797070660119557172446257969397941950607492080742768575195274835912295535613957255036114225610073517189260911095662911934354012393924169835750069753629107663955384729879355363925457726799968922507960045890414106928943455564957889220764500069206714005078291906190446435157692689598301112572055718811830510308628089178066656801412210408387813959142736822737036245845268829862422183442752043630618979121503363723183476664907966135623581440756652401364899664607683129718020217293811897109813282804206654854596508732310589656268757223
True 877279647976002822675288382667913944315489552556690320024446505264679417422166815027141873380460645342390311436861158536800802926270841159332535867895982058810105778726628427892370512508828001310026102928674139676682553292915641162588266753789701490108982620791458576917380323957327146008552279456178985075825762901334949834869779251392469708321546570709941107977992554825500340203711766800324152044286118485721254697482612876230366493667576308530367141423456753687856911823774256622474063042618968522658984839449654341114154753347078509842154502719889515607253948814664846438969252916420357839813195649775460581915119298623297486259552772826689597310080077881700106525487208744802546790253554229499166083319922952269495736223462763080095029095609748494413127677241484056169551600899218909064921748868059034977619135910833637710792870151423891877
True 9841855377288937415452470506214020117125711165894669726128944233280470404917383590202880542708747676659437194032414439268103073447185894588680659856522786649879674802846760139304186560890885335380997825918055043331475826525549400107304726057669523014346373270485303534595947907613812042429703328042786383080498583336709069430067223811320404250004516123395882364626927078202312015257558832875662591575022494525973850629479058365833676268489278092816300594176455190423587234339048858548307770514628492292598668708001493587375044745024832527569615163087717292732964681107367831591461166573078321281524733272834456781447754516075013406114123903014172388302669234749203680398034645474598509491694784874963293888103233842722453219984206019317566942324634791757916615437989933509979394755323564089074390552001737183503275350904376866887814930661997363234274311220208521830682247895741467178133167032381035885177
True 15730841265503864486939771572481945134761562386916696660306992106296176396045479403623378228782129999680480556265307489298942315922879577827629727818842746336856211420809794614433766656304884711673872284133539816534698011930504505830325422370331317148623449356883241612814316959232427154701867795981268532472889011217144020037515819285152357718568655362821562949839357466127203983969432814556765024802973118164726129684333629020966012790190283679676663382346469909205190935417548065902612695085099652911739469911281206775210773252683468776199028739842517236145036368668150975476091068919324407818629449231587349945648260074720203871664050384575537366853030821805892510958909622919341634850216366002478206921278303338212077469559093408877661354018780588983131695449202589884323289702135762119031335455799155002296989658518081852024002056739420979185859818658668604626331490396416785349187719391240887996798276363196574756017830003150678915309931410517569959
True 100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000125990588497934548663662088537715317898307345260180583323931435872455532981729710651349444158213948818545323640593772754269090815382794373303605310322530652091645439928673895339886453788692930545215355404376402649247172183377018615826386361020023007617068577379420572481586164393517336151998361311688269028414424810192020806510182210643573796316380910863539606120370866893232496051485086497467990763578114679066435113450813623644227691271940216492351536624649137032946188221668879838703155884411062148134096230598217304295083127135974041386229300610382996213152230490181185436907928556080156127395594055635262316335676598235139936600519471752446533884127775136800820321897034833692521631496015366196367
True 27169262098064089675364972235937436254807067237622358583561012470138133294129764929046527281026408111711839173079401756998871785992281098573681719210903208104220023936599406551912630677985329316220743870001703523332697590384493252991155398120623448986847370979499951670610200939797278019401645451776388293214154067818848369649943564551051236074219132403066951156657607279188461573077366086419951595364528827670522369818762427866634861207971848237344052639615142661448597712617272321643666101797862181023282051866426022277567895635797744938167656900339337569763790960292405241448104761929742611574844868616575801512911630484958471714793659326608958225474284084623026838678034388897471342428107385602489505628937662204172746128754959091605445674180785551923098436735320121760388880739250657620574296901704047738550182748262677166982347960272980839858565034243854053361036968354732829866822076025808665841685775175520629271031366099826847228519367447088149017005780854332757314431936086237287319970539660836707967183290130506580566521156026606489
True 1821492107006762360126965882398462263514534714992324343257676400847052768587059240372794010855445704740606038060772013635840111519073564305339935112517395748645475804505595925291483787856545762704015040078413188364069775706160269666370316633591916309531830216246953120573606076931178965524814135150526902578291898561198058119551242341252260790443631273198579090264432753517163148916195823209517566772894380959750391691737739022254440810413515624399246996747274080073921322399618223012810288064996597041415857055744928650864795616087304450320751426851575167627036831506655525755093520426172922658668530296550162317652983680362772428076354706759548879340143446955482720474873979178315609739363848123346938958982486948834544633205609191201157791481471819946555619226275540562135070718311854267224863158776162151442151356978561844351454498401642351372418344167590171787633897017804284410889183032407028875314580719272307668656821097439503846984681733612329410520025334904918602629414719771124844688861244551333938596914226232289868351586460320484553083403978118698657849910038768873699
True 114102631148655651445199750653837452883568591431272906391261634719587365799027496774183785125063961842859417347868473392536239675777037389841479044710525029230040687490018217401133618251864296558234035203711515565424793141968586747455043379637196106713969234764066793151630863984154300516652622665318112033298650554144633755529860110780052869921115131336362345866691452301836026738723579977343474268976782096149603159842445332367147937097303657405501875500303858761259779312684068880791025598079121242674577224688711147977585583869218863060240204847925791960096598266795131335311157903687285034607666071527841130587622796765028921288969774968261614354931892584011860845021559369869686857397146660091310414997237186745695076200446308194489517245510946695505685228324114305528148700117106548436477868509872592268858354943871165416120832451169510566785772000980191048788879968633906936802400144548784925384711610872462212510744987041980438379295498588856164634671096997165869654496242545725113763307607030396305816999210011137103703939545007312408474285404867446345548327169000743138424837542489005906369270939448348569
True 18800253874312513674078674629978444130064665526259721147054822899480321663807813477203054922358007246358388838252131136538549697758959428914430673703440154279159834472848018353029374750303991119916046224284296525322810886973437849289551526565038396219463234855375030928533223776197970626922391584290272768744783646361622833952263952073580590643789703248769942746925520898084337501781341339920950306130752996279484431660013338816304886638980155292601355474564221502355896981978836321587264429168610557823797225689863351918584082942919739272846032582306897208882281203957213485288845369747594353165081441352157934247062108835463275458430997116992691338861970630771281568692972153843372772730972365376256783222542158838679747210534085717951380928944826639392751408529126084856047909491876028819584753258350645584778941207199577095986353004305682082808533462335222428820195663889265270103832148510584985188842476056546455711881875697701419844885250860126371291815628492923791412865722199982000036612131274458397021405503463724219254192167977893606940911079282762965131358130632130889204417005246234802460613836339967983713018864670522511396801506507451
True 18507608953592602188411586492301700861328035077226421281378446277649413393547926179089836770103184791229418296217176788664200041033674694611042476202675135203645174615790785459748103313638667600297982149856506436940925886298245377416855936553360478645635963679886523658368814660475109910409138566572934703903943563501117751827805367003572029304602489763619933367666269780276855932814744708163078869431519910267966050768914024111434687964597196503922175644444219238475544163816694432101567064016156937117387277575353371373740986911134171322874744150106291377579607145665735732818441289001101012335320432807411381565706281717212971980964421352469909245928627815987793489910710769717689465688314831896577884754863029174127664749773314991945725751323452121980010890871696742084295825456269236911100236412758376131894324005424814262701996460617888175442407096640091922944095390599370061129767456077098469339388051765876854313946652511244006909860190568726146707656691392776898469304603372495095445395784895379119941023939334136641021507001209704918428564121152949044047818328891895903686256706784901492435540748847584815616666233859466120467129875526175844841974813061764109820264237
True 210912654948950896016622367077854618109443065774923643054848552038681108498053512817276033970753952530255052103691469168615149083107849300507696999240194944616714791110190223301263530284351902880585384846787992231821314934230653318009920148558761743137776617260065246612247054697330009376806906356553923913948368401435446203463170181914188066010910921637679924835420488941030784474669841964647845007729728540315620581772463653946546880013617629660660528294365460793513654087330292984532543687219165191068273961677540084296665595018764886936483448369493941702801495603782994961740313372349714025417066787606582754294522369888169286271499137325188430007390788072249662681689972463509480633385743865282429006074968582816621362243131948041863240828571041714897681876310590692859063622024853291584052079865705600758175852337985954110680059930352746792965790000877176935215691851557235990012686200754052669980307655550496469989923826110093138492104001023980782022552346836574899450017943515187072968110218681833949287331759264176011072210420160030181701109636593781827881742040766479242799748210559466018319713274397163479233823521657720672493009148046282110073974559410639752498927702656640088476493637790444893
True 47793661093465815839453382888287793707068963151234284677243645096823453196707981684313596613778403245402390879610862827436503221800699167194493522248307696755887454299454098383565482499457859475311760859774941365972077414336640866577822007428574162958752441968193260166129028814884264053169159862030530130254567938855194019720678188638714427095467684929094522325025063755692360985744361561590392170330634321868541057788621009429030463752788951715184196669726537539257392858918530376381690764629104832360295825059807009420664672372687261482632534194289322730828203595345969561492054383029894686971557093894129434220434739303225049299609717460737943183354951391857945578591145384197801689030757495835582038083770880666458531252087124158626529187171837759945147827855924522401552354406115089849450369673927018180721582718508582696162568089766562912539530430818302891944668276677948299602660059092353903440567930301748470378456469204700560913845219403434190238942402785758950478076856133938826962106737310284913389343564825527695152624638726561546735092509278615658140418026127665763147998970333854222938478502714793936926224260704833628448570375128137256076920478399446291334743498509495419419320946423365495395285170513449057808797097
True 337114636285366092966158830342887569190333835650174365959477405955641269299737752038847460359001880382584704775175204729840747816616106029711250148939489664279662214277380033005416006273307733751541302584554456242866999475902681749513245724149373996127775791348848783177023280798829743713973769194814628898018486889452798765938151934897838094308237576729850276041742907321129644563274456845577769932469542225533831065660802892822987091233079371980850448447242455262373218312194226036025045565422894967790078572282763676497438549402520434218889113245991160007303888330810441973564036717103710240617508519993300527068227743057842943330234405433435748413281173381112189073500109487259574438712526121729779708524357989276998482503360263183268681468949899532666089566053493853263029021854084613163183497697248532960168695899093505409227698004092756264835616341605462268064947995455988500053100908523479325547549022703663061171168748706882379788783548648549155795011842106490564185116651108133780800862893320205904164188972400895082108058963633004204485843682033332773061268314779942140174801015405170858087097647920004223213393988337661480229676299819735289976737252635231133909527491955485803285015883291280971396301931510448027509872567105377183713800150863171
True 107734438816345138612287382987522065706316871892465389993973393282677039903137008970141534489621586641406694069772408459283716011800861411044182596385892631433448555889106260424392980133365933576664022032434221257718966842621848957098678944588065671049194284747148804279913730476586043289852244889190523680137682652006383896284954990225893560984526604378682192165083122940524753380001502355021537571522872818200583625148477194562023691911384726279516601527756717495412884879350502544577024880239442901230042553946520820332925102184913230221631871438222498023627392225167383295685782838167459614791313053470250732083006015715650226340360327285313688929186599506540457654955477529823537943270428313318203156703941308369609541049677215389419194033974839049152560277819000573129537854149106422025557805163311922647814585445613374081856483688544288576569019853079421139865827439035227265291127838273799437437343805919970315798080591046993618130840248123887292987682539212776626725935545402235152116595521044151698403537505496195210377129204913567795964949454849551995715752453135205936611773747556325446140952782949723414348770780994350182661289083944171252224656180760779823875576687923347698696250043753617382173929488267561240842616072221692425792614597911477098388366018786689144559
True 2143017214372534641896850098120003621122809623411067214887500776740702102249872244986396757631391716255189345835106293650374290571384628087196915514939714960786913554964846197084214921012474228375590836430609294996716388253479753511833108789215412582914239295537308433532085966330524877367441133613877900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001133594356017720155849476367503678204813192198865897261614227164753521159959015194527858725748688100987224056982393051808279171281162148314595954302153905180219104786284586133866465601052634457446349211409073800003541398035995610271029138456719153422511893356717334397411226001855943620003393776905550593203676396890332760950484389714176628667277173866379985878117879409862405585664071351924018957873321669108180948504717097250303039119972250144837765077292002275998889701422518317459033366236429130873331267516712523213435053677781667796288169417818584245029439549192268270270346101029593852633478201854851699164498450224155031368616301219226022533960957178363557303918779443071632617595208573269938348021657653852342323839139940850742145956731744002474514989630755087575096676294660556400142303773560493342788456535476596470343
True 3479477469340402863829244057537117054503423034601094157671815018811688249969523571622433575536332057774452020454875574626486190222771050505548318866511716558070870694774829358241156510737436257592203703687069008313073681351435474150306834717988823282019696523688824343450400467093313041309335756321608090612729699867128613830108332601617073416291274948885101669733794941340734449617137127980171757842561699816872799238219491474497021256664892839679885287774697102310503958382156249272178552475197530669143448109521019955111912300071181868262694361765030093750429998089960382857832487127822621414225414543892192875760599917662669181939279992872816927319213562869815714450723998986270853906485717102501170019561465435287686102294544832185644712228299674331545982470476498824943154008076912561908699486838991604745147154051953404994640062331323461806925057084620882217718104900288664051308074218573789586116095974716762956549820896364402121668938667302423028087548937516707961694545532047523407168085081568344361569773154367536504490974350249163707763494949408048300964648248933235334055132162673814336921102049407743629425358755799831724911283233904830424892289782819205508046928148915647969442476984879428900139347805187870771141654320499553678234189472478339817010813793062108526227169204747096446425894172425470978104330089
True 582241963779505915758507750549467660676034136860251909694213500739655636023564170589628804552259234868524808602083983355744913521797407477230580947985177567830446987033602990544327028472705523252917242984513029932702048977914161006809276544821185922671393624476043764191434796705713060410525874188868484078704071644872221148475480828455686574568079373130993037411105574566018150521884709013023750137562466478550850427202661155612499873349405086521370701646131323388536758329724788159893006797443960217103859823009983375641918312722930727298064152360454327569225540477075552923687055899003950611573827264836525977360056527599551908653174683743215750610764760704257923339194323449582058158662328792651636351215289718552722081746426472355984395524086716974960962567035117131912908564406905597669593681238583660645284855804685154529912550781507439554691234332662462703613916511129485828736865146109082917287119459233089133247039975813882450535183140334649032445695882354539867881757909197195118278047991468060153926920314622358924836037883055602762362454613185563710506496121934891497392102686097742420149505442755680470427602171219614190983065898098329347199940460824806550527066312377487307377836261374582665003209937362894471586552430770702704757035727827007458105623437040642720255641987831947542148724781539382669107689258626815214568061657777
True 12290338761443923641873571505537800081298644394129731287510016024487761421142545472929420331583924284576707591766415735772488259838802791033438856743517227547751325770692170611004841020884427046735794071344427558884541376477709677479053666844288159001255966416519564878522829581263900747821954999029366964216054742394884178788785125938876185959511629966543797062013654762638022938876419760139196579450667182629179278077654335211052965528507916137188063309839620242105252228886725457225939271682450149489097313258787905959673072943870117663409752631429751133722353036986597950261731744995880425178600387833247805837148273280795131613042638616948473909015861146585177109254513978182762039787490132967584351336025111817561460177040519873029222705792388226824275126125381022617820131538139190534889534561564760669804720277712960011010933583834500806051941565167304012991200815847126631386414419328021864402456240264419119824046614758925541492585109920180678562670237341437566808058104016535362023730828710223158894513103923633484993722948821702623471906049641060337113421758018031763954907694583354551220034821897719215417317230842197186304779082477375521142786764886431891240174288571324306979849900636360012250654000551296764500094391386115161580072647360209552055768267570430143424731463961145911562725580044267996700939533446500707347378137934694950270842734500657
True 39034889411591906619610582868666431452896197502007606467823544061309597238241359299927719894040756980035181656123861858677547977914077904645976066209877486809318858045167057920148546774999680757196293275531546245599605046891845536134316280452314572168878681129363538328643472404385130027043941408536414031693552307574490975358827814565315154990547352651728454444645017361794004350675102941327355198330474667991627857920915549411667210197237742542291961279734983483018106799151268524138474159532568088987281533326774249796721133557355566316616042079688555098180419990108454671534490804351897069195321657369566667347814574890018772963008030471715777487119521553276976880642159231506909409629207347945090105809459926589084122191187168285472008895440195401320074511006690003039643135766524586572586656767136694379763317298513367988904890548247880286615161281768390170779523863353937748370503329731039210899790537381669963374196389011358443635214049354098387030395985325224309638948740639895200244120121264483530417977297658205583230929364428256365549988913240822903884292449285412627572656496112699306705603068463479082864750004262089296638385759778707331129040267587280345572462125580217369631399349018702434525143266647736929784179024724903911908819048667605329198364768820068536566746820568220978228284344370675326355059568852382894904284674108147964840791785987319459749514956323239
True 21774524540543041688940488736947180739647759356763471541608733073745722133515668534461846876999469702663910217943637801590510755929970840812706977061307592152753776605775743296119272808474773559620146409354930867976577592742927558533451670603536751820590731933787098684140227870194341477109573179645422732574389622788534484348857583140102597157875866829981563200044715382778315142393529920595714212221623756115905963295863079989410909408306757947093708174767033959581279979578392950941501658909139471005863052746485082365488474034438407669674706135640025713946628755658096614203781781446055720962828335845065499034771232121603678323363689064290719072603059706436258861745457010340842435794052739680547645661901134743662214135921992608134014851055049584638368619578295051307181385978470561596555169757751916882100116478233520547265875464513072807943902005816136155530622364837912807292035655143098910520631142697049769803209861034381657343502870817407455008658173011622622498001074008155340682109822610542986857040478630152632511262053394905119416896817708040261137265059525434613203342913182449305754028953641450056922713470500902849186152266793030954637769508173474692059936127143627143094017241325566325273244177926049351414966964167676943462275266034855835304201793117140063889934814327549283831283438468206084247260774389038651735870044514549279343686050024353697509890921794892189129545029107501
True 2445239027567688368398998500048624394548784865898712214858837752386700722920658079384451332886629663976765756848911842227898775219311901698814277833244220469894948127249757795911492217779329436269327957382430524688745550592913867113117440745532154658868112506832143603810865759877933034851308122052258957854444875449406958163969244692993916586465874555004803668361544507865826571200689314687818910911422453224793622166518736223879027474335395614829280391884977676727486094848490499406304822347374730300231599495307002080088005461552539025750156760571138359522746205297596878980641694647099474020766403378187274021835636869550487466649862921333103507598690138972030247741051119293477542447783482417257951220181829242077616685428066658469116004941176231468217842949351021085979114855205993021664129545938182254560210093476222767331548273561185465140322447640178616865570854767842851457399917580266008098028610410337792313978189645431923097408423779269711778307393590605507628252334287415342548703383303703198917906590681042649392732726950059601568072889881450860770136075462850781194027999944971045245556989460865990726130148384603465095145043464879004696534908605463022166501986204988396311647679060153950010446444354876791718732467800232390441148643273691000739179096300952735841369788432346260559226420905323323798298886676382388888191234159848145670148475261428671255429163136224612778446923010741529622911526637119
True 62391858609021550362713954641990486855094148268699662938286116159624760038278887296746443772339085055687022372876606171606279540126931182355345474479840865293070081366063331468182153518897466028189482830507004814587707066770118524903939207014546776449165117195828007347655816928034595460179290243658016999242577205364933683084735851137837426115051483640079656990438087807916106577321474901103966588540950365632180415112468155042673885690325149472504172847766519746947812868078808279457514756120622294121333224636613639136424503743091501210656573106381882830481401699302033533035704009434697210596131800390580030316866304453712690666872225198549899154662289282726062029143794988876389765597514157079643939511962296335957372706301976800967413858172623562655708352193615330718287712067215236576733022026626530974568159305754364852532098106908103609108930600566772584160697043645378734515801881706196684732508762757284587387835295012103861375224030172350322183268068586938889866755745722624464627612226605430473561519883855002958995861139492355042909148449390033483914712172248044599059492875694559906219669098325990953680021297983940951470190435184807932881802242860579786100776102536635064637959561133442942030315338041251690803909848761797991097342044082503530611608129190901388030034709153090868804419042432391397834229376459319768315551836405412108633359465342963701971270399891855196472923189962471663373678761723032558987895533761
True 402892676872256550637978662575875323928700927041036622697903586180655968859551168316481917311064587916051115767829838810939677678981628308789940832921349170284666791259549973364266886123524782027981392109491733175755463301898471803503827257581275167981793772238691721584629187665566585496596547920004283219011611463625188075940597127439012770059282292877427717312294390281691144582592202355071049696577940768532350822610296675802282769580855923137458684179993390222492083959047735935064955992806616747384551735227279017759144617447456511338156335944968128053787089615153256961937842390746292720126288460239341553704037422721685776969728675310940979877391747903421594669248927080093209964922001014592770739748079271315493547529780200302411834496590785992561535593369789196495725621380164044475130133817602754755112761938890246730967842471926611538554551135138193124647953575698558339183747504086793748882152837805111375386829771253613317482295059631217486068665829446665108809300614991385222056785080948421002952585690353115475102246316356538601608015235849097289663979449451581910932006467325442866449441706413422896333839111898327396137827305891268970468901569075199769518845407238444567415174207793290960859732055617813052370738286569337739037018931680877663334996337289873984490098325233154283741076377952929829193631151794095768026665267640795582813580022838529278522876181979930375597623139497461204246489038487502145644854038772055554893120413
True 725096646987432891943112069006217149059919050513392289481211762445287648261576978290298063561051186104247173795005758503558535140300443449034585204363264172998821607032808092188911359222196730573554181183795669172646348808317175032605034320552730941661178977963156081468602596321416470408921557779698860169193225621763084374177608017833643013832422543853950027658976291712238544510052697876309311200792899272759126658899538251690914694600662711014438965813655110769344891576232535640069601832671948617504149220319030158475060043214310114199401769227187640333998061806787327523193074874190927306550916861278140050522947073676575523046971422551084461724436892338263634618554689092494951379412501712895014920118785065390998739845721828352939915256369242988810209160518795894736077682662543505598917639361625666083242442040817147068269540808060564542647002257614320306534869212714034610085885836429844277708610330664146643524314570149863983378917589684331328469572423688456962655699850490099092802424726732095519224527451965690251972235995907701703753058415730526221484427463644879501113712473065414522158584116065659687540394286282273149362018514670975072588237452427714619971773633180705804617687784986427476865133358237655256095936689417094856331112522116807660840448808545172730899133173127814701736200220832676769579895285870630768271104914880383055008992426659065860545447304254769018968785730458218305660339486730031321870914725136188679196474254225769418662867
True 396621245844241991067136577925643309789626609825644450299476110468048579204011469862233494155182418589172933309061774706785286374630185673559602817577386102208286067559496241163404432268689452382317120035276585412338684344686928331418469851916226002347151853437644103321664116319111668745239610476475340571690827569392661799903817065415622226022652034600066899332308506813179701988444080622298468165795912421824765204953164245413024911378647896460656538490150350545297207773623300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000569491952820139702006739422633742830457478412785009183427846561260755850250019883611689634167943247767760259967088680495589717475340465037529251904513923383812051820227296512256675039762191800635085176405423447472637009964993284683889727440785667898385268572201878132130848169527173412077729801345040475988108861679522564974734910234058035131368304927710040665911807056034055946367448862932069034440878940113214462009368987545686199660193168713757104693339239727485806342758610723680579957241916470874561688406245150540288358196018425405976772096427878970606602331168664924760079358743657750760393392347917564174904199041437185421473467913769791958215831168433298751801701870520557896529037871511716758249053091623658713110295149091038410044662151394055295001364964933734778629137178948235352092609586368009790708863857315404980027056901314807350236714124636570528869368702903507
True 71294418005262997569728036566303145344822003408680489487062142964999427377498372478407267047457373332091947546284168150040404082370269827564981874671239987352799216973310639770636241657627677682866622286552148752507934204441370114200742424519979978003922874248463598499217191222197486300612439404097277741932198343527021589972836889976843593755587394441561393643854580843387237242029778681921901649017005021237215256946891630284439763697951777024931575097779949967823745981107091811769365695294841745431923989799001722071799558655727145598150104419756418789268901388741902671888930026218873135991609230247707561852362793343234683419368823482144077671515676434922237469943581473055112057295038554525713498554098721956064308210798810840984158669180903169178789016720552068706690388611556223265966892789908570358333098458358013527923221563895983773383313174855293785806498349272843669474086983698090874700985110700048379479375356809303228694459985789044582911898980160701145775386005529529060028255103018354076453635243137907899786654400790226752817298213877204048505751545651204712984959269598872019126378709081673879889359357819749423631118040343516333496945161236450446269421761852141320232192047970546500003713456769260607156153967972262925762254466444050306147113531704077611714673239482637783689929034031722517074844986318088433304463601852703482570440226823537900863554089120140036515199378610036318039129707672300492969601095404430776355639081413506881519971857014814688456412596757562361
True 4519894502846163317872670934451671467740467760590531573803801874742778143496664040185885204213476884394739302669803714648454522818239338826751077943252477549793656891259692768380095988644214626219951942804202360081699558891931009150428817150555543469390508978418135577650098796974870388495969627190388810094512601436476500587214027969510763634505736606410437767935577959908037500499726015841475765302004113244966888744256773641028906339933851669830487285871586839635377686144287967802332685904414828082806578737870993273569775223471089199044060523582470899168031188632034321866873215171902581609757217549477467241335204782689692734864958761113307254458081284724879525932041033807515355547334935886012507228905242535257001909351909806870757226372901844488837607124505181852487361687919159592452453575329706588773846420602555094614271228167576822011989525774396352019668829901458318373565043467216772353349828258512470702855381656738052538743991803164824524289321785437273575292731579417920985652312134753842130468932736794644440615492892392500864710961252555705827210816566944242810737851826636961021081830977291359036873785936134993467114203878735709819164038254532452338523002921529146804724103741213829745261936842204224873213551621940876500347367812513428683582146099730627365916544003366876298019902616452713612030792235561186122347091861834734519671024656513572318340340579022026596234562056606990713904430440936198480668161297386884828141131372295331409092612952923661739061573675097825616524835905873
True 107759065820029232663294167127695145220362034225355600713081491039122158419766092722936273160312244151308052155107540031936903746381344451296446902729568433946528452846656190108419068664997070331097558846267563400872985451358300300419715077135344949361628546076738213343371147987187090067670658751121332694137413525424594490000113981022940358882512464544013540732066693399119247851331641368593321111650321057830478086909643778424491063194614347385016878650411211999731645737071542681342720874006527787660135561412034121812330347446669122849126997750229988404307574775699385784388113692590108792069652641953260094892427941903573113772116846410070319176021662384179184878859325348180693217556531877508383229428125194010206089913383877155403632557368037492925221902985543328920122421539337649828547783571236607466674988598758723424567268485296742253004396336841605706819002923782750512866323974377090171498328216648007128329294969783527757014092549170042987225246390744769698504399883093396925001290271752320321000453629337768788895182854767847572304859854099561813644519207107672586996758527679335353967611569904373833917010536012037725930449845120125190837482761327116422153406926184880071768701650841712520702125233819500771660924867814105190727837632135266923127477439245142910513791964559196211889131903893073219981842894526692631270778186823826634052122325983225698615313143971350529158830204196003288865852542974930402743079367835280870999915520982228427857333419878918252382819881860186543099558509425606432497262173
True 1024226384611841006848961646708456770240494554221424559673782114372994988043212892824014570712772105276056606584006250923860032761505108979515145218055985985298959621622625243431876626037046579123231107124567953805887952893969633882302991376234668650562846566064925247401918393027004823718944943824079303511082927715971162298008775693224507193999631180293085440376629430602348724051638324785099994049456234949771977593751567599999470071116814375542551178028918628683631682306140573130691749879915994315598618485188516395548723547983647155961890256510697252427629115189934399529431971408801591954316982133273885596279207841476930646007085493664965663688639003984226341245169753995345901524600252189235424686940376137791287415732237341046419149527932631505419664979049736092356843231292494584701266673022767014471378493173595712353321096062583952145225217050232514669360343222298016874261922032367925777204553333132202559446594514259341230008670031449959393159031118315111876900776905251738247042455504234777131543227833082759329902670382818656159285172792617041836613562017853366987957731106220268838746897678318843754511602995558986503731240524456082954663359331821274383394337970171833606032284943291218464963868825391689047992289188722676760039045846146918179481475231406975781117782153385258589221124817075177835984575729715958913490004971983055516057481734641292897991049714262833762705556399498089514632095988462934764164396110181190481267906452898993434728183557348100816829360245785597154177258601475376361812242368730834402513
True 4093665893546572262417282969067743339215322298351180964622516760225247769113331682318204287887016456172979269876735138483970775358835452321724779638460109518352371438474146272889911005673216849922155589360659736980601540953194185799843978810769255993784739593931904231332194910797708160094532294305637108960517667077123469358724943573974532965065416530331392796913742759854127620375171802180119340153978929199761158006626226841640264044846548683056094045415169518470510780059526114410977209384021034162435435011718480572066850645120130802816646302856754290332467372106764370037722368009613518380863960405564077661880365668483491119898927449905369774480413770678760052783167015919857404668441318416480152791698065896308876366170150859074102951825184463276914259493124000048548863056796067952890179573395240386009341044000007951168373284684654600695332206507257422351547689478036411561152381460236320064886925183916747853209497903737660621200965896232140236516244271767627329070621154249858833301166215706936010622324732556605412959246860709696048298575096251534497935043565219946810806460672255421484353402753100130444701440876018250797662781970964663730986011346767456287029668842663092014827132440386592220654128241831714637902259871351838196041201987861276686330801710761630393979650905311410172399824751003906589516308105048236129706943967397718640727374503510967159785825776939318175962917158178511816728857288511305098090747163849140182395922039452137323401361465421531440437955424499184877238985705517803293348404235589311176412114615481727
True 7224424687764754338251584185098541017825884793683647095501854455435413433196554021820629108754902534560745456199213716141520236286149203049956224485012094677794791935357992901841501001370013160374924935664663921315106750691881734174625724418444010760749755321128658743077600589474487580247187244235691074265388663174326481214796439877607809949763999036815592819673817270193169265485064276618292936830866816433778452622222945929244883371533428444578466860537889231944474620925868919348240635697383792870675473492848123847944591287659158038566129779354338222871654187054195184351687401065491042537505185411354306813762239361397131168135961743179155632462297952395642360334374461762474791344780371648322941939742405231752463070946127898368923682622688490499538182100547064468173109769177410622758716417491458770044186571042731400494291703145296468120345562910265867310086517661053590593812421734570144152233608058966434214420315255520883013642694795068922342612703263809653622708371388386084243126649613988032341543620614272070400580254941481523098577017473302702391785231329581347387216642175159104213007792617336042128981809718289450854358255821675476498730302914551377988936893097178748766588290389585787270392680732615011191225189173535664184061654012951820848598792749019145930200513006308024604382077476448022425500254908409671319597356716272446313306130193158990431634701064524659983660655971106762328772638440005595122791994224325932648648378417188450000586070510628453183180309480409462936804635952452661351004586251124298461477822315405990101538566111
True 5887430468261115883888496234927218854776185096989789170530149712781255385600348564784233706382558842557577468236830300046644952256179448710542146961057137822020739903105365900178094997578871082308886247893593912225543024485406525938171278040951577602775194545155696789285253766177000645528628015001996970577345745288899772909062537828107747749525511296317102157555285661234219971664380468515047498188445360710081054133914857201125071014801214112702242922454459941461474441890936851519355873257525407251134801311326651266256794131117578329822661223204152423772244625690875595759801135633119035920220071695803131562345736977764979402493736994124811595927961967593578331565611897244185170279933442371926599347980495950072425275696720110565868413179399117784123556129473045609318882850913814297643930582921471714407202829924666330529902874425896310397175366800727433675726438919499798324935780060571104021326934704699249889916796547273893708440914178303828414310862225315384655351416262830059855391484076856890222972810906847810212241378311540572060644187894201864710741425077879389513632513882917775499112453109666776921680016131384236914182976654890426244750017787741127320517292887783074099871183559541222036818711063035463637051672708549745556274421503241836713014172543959817365612221047505640017463008113946583830709842745286977970950965630067324139891528595962093750534387444005705745684409672482686250234084096391088558420388019703942117150725901051900091760962946612968955934471763373988495715204263576105483149319526649476299797158536953583423789831298091930949519
True 2308767569641922271957531768256369167674108851468493618385607028024486690271090258166599750005739149607697586883661912984590828043892141848219710798003432790119766201142497860848680849040308721378561244942408991230801174915529191932030239462030678444399731714103171739163252617601552695507392572548948670767469699896393357128134860030779979506674912913261843984976039036739409089332921536780953631496419171439909472018667376518005649115626545609860491270338607944431939268670846239922912709307245681451477834272012393766000668778933365875828901908796554415045702942039239147063564406187775926034179297166345819840355391279634525260579801562641485051054445309923394006358074819251329898929312487074304471174105924044347404703000400498448105308779936550134509275223201398019119368329117842087866582295782827857386647372408671174562362806150361118947919713733617672550438983051242288756506418634916049158672224355938866389025589979995807496561733489107653758853889402794962036540491843204598545595658269889012713790167752529879229977159916813912085476128892813561733672051740661506022216239690376510953739917522562158357738424610069198308097198830262183009929684339910384947374564843000198152925221803228376221959105173980118364123308221691122411924592860347570155439708691342699183594105016287851018047325632073472104386940977639875371636601124266120169205366047718211201085925705361709835477021782376826085385061591550254127106428151985495199975667201048750723804038306844440380289265793777398139990475871770695260101264824136683665729459266068901917958353522973261530500546236262997
True 452555277202858170594212987151446952168914740406968598766833172318871854391893612410277844317892788584403738944126050408812915986706920454116641964851963530939998654798082282290173925587133560268383308296476298082090769939111374359086169175334324486277133561231746166882715930564917633691085693112505750672728562294300972877206750755284337041966365269119197237719675423745225383658004283893653197833433916994736269554629952351135142896977244685777864252481806027220237614939602878884221612618362922895468530165458291976068364120900734768371316094487190883942555343487026113020171986552399490575855582095984893171469813589965251311053030979342886429600472809715784246171268571069597727805694884237726813837841251792622069793927277811773520906561666642217347124269851113505521990598089622651589705857596713556466159293483693345161865797796146492124269209776738912587724987258488734066147933939757660837405062156950051547083835455173552730944733561671848907576921541305022183936125510286332497664754077127202074144002588389070987069542517402525000853941358785363831897688441327224962901925315712019330554673001281442380584987398324808378795971438262202077738670049597821722722839129198876483587599610172452380778799439250708739006959208852335904706449896075891808040290336147478687431356174525577939445356835469774642387209103887477672850045099645298621736400306892845720580504709643388395145921572783803000395343895047824835005674203669450235569148888584834945511304925744843121027091133834335118041945652698406106557296709230763605685271556409108715709652637647742790520660592486975326714251261
True 45925227810970180969313328047107279360892708083547808019105709473030650455694812554266379452660250796737838585559498510937884758434522213257037254246666127415651995658124912000275511659296017948571570796025394497912646185458555345578926810416186541588361998623264959523577851842249324659814465688788190934002455622029114617193601034020935939420206009414973563607654649288969549803509145229160554729665772751935706437179368817788789001822295590019519728077502083434206033960781435740721984806557748609943450580887941142403625097051238027376129487517811711484535651447677485365297804799978036793011304818700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001752563169652002520378373346859351091189253704816263682109465173042837614060255024795748840741811111896576198390600120879883982168602176265062377529094006810553216615616281832302635212084548507987253581674664935883261379583845668694387251459398967517112522169407448425320707037400623332962117724986871065734936141772836311836249219716942932032729199545772084238417584704584116811019797866512422432397176862064270827727323288362264356778285582664600342374450490589703382380684613616586420039952962317451534661188211502225871584680870933918128062719923772910114525328298565581256940634657226055676103665264490348783074772108334744352798379402923525887964190384327928550748946859424676590734398967974001064335689712698328976514620536692701756528755283869971239345228334648432009695953658910252873153245772303074537073021686461186535353460946362012807246176521896783215550820180459430399355318545017462213073149
True 2492531046196391112103531837732632051978257098671041116131411713916244278089526769184102537967456167743042543475317267173939927789464122549055783893069804252298296176955513131027726843453994074915384831749254902981866024164866931149351360175953779398052383453149090477080945135412679995572457742501821535448119186282008291772260897363283827657419602001674316405188874489544204591253255890773421279601210726946743335388995506340654967187117853453798310897648563627678020987577742477887997973947861996170897199440667202779525711829314770176593525131833072563340936506067235328276099440493334158253040157233739218620375764162381195657326158719785455487695284793847288211082145720999535536575629422964327509258289039340465726729225925646444339758612743816405643809999225569720137856819379286488061386112529975195069469501842157545084964773995807108204132391310302572305169886608208911291523836348420222359668860430933292477414909126039161292764101414712736202900935561021022039807880977132617266360972416903199277350529260909078953835446304155912216817660425789265867492646733801154689779586331639065625396576156862932663355005102634156167771430242178256473736798047323886533881835701996928627326402701341970485264937627825529254136186349698126138598267188729022001088543914710854454972595208258746453561882931094387094524682130751672792617020068457020137869884813145002053319412384559008077125640834943847536203107116185175134682780675676845122990031204345038262063631549222147422008427894198627239731413998166390083389751750754944343018629950163947588406280294670649676070106605406974035497780958885428036616927693569
True 74565801138178664559098531693655298117306013623520208651183901951757749617006313373555273918808739117424070090840900266371655146683258957236077500457431347445603296133207240913896230139008782685807471092953230627134700084204234196962321013001892891597438005178556367415245218803066606625168900818973694465684714886045579865033304669480321676034202271945386796969361930966971981713804649416839986941835414814368623927806886323491204579036034443457701936807612724462196237160986943795685619146204047266836207829314584662743585712262012568329274442540242929360740024360493768078978073660789369302798717721147509451569480943420906704731031798654568644590940891073699471706653035732704658978010956795428156884979096881961083115284660445882176353380667146263842053999000343642608271205414449350174729518822804184666424398870666664510042614779694521541254691543332697735257413619838029497786385219331991626563322448054392790531653481761612960788106478272721757983774030727366814593338099627435988122345873117411756759008931275403769799057340327510061759362974589395412974560777524036265551262858655266014705859308094635514265223971978246138245773819425714177627454454319150618992944960597726242384572432416032487445270742218231778998376218273166835574495450400390304244957729798899708729506080411288826345847047823508625113504631234122915333614400207253526570280637539736243714978443257205542560588376190622433906982103086327455375406271528737067861770334672543255643418770029224698732286402056051689545569363246136899582234798791106764827992162278979353790749281599371160788553713974861285070630191262270140573752196469745630303819
True 1264515144834475242727286507037278552205104756946659985811621393067437409049511334223992312032842430138649178262990730509453812658845522698251626279454623431453854574164656610140271584137640286010444504844808124154953094991513557891312489668605854315544871446634765159231809869592681527204285015711813431625510382815444468017511679366900995009939546674660413370885754197528301831418272076786014056754868684333444638959562151550002910852823712052134094325183336949477004739600725029735321743883059524357298982448890111168219591727547769305176216593213637206222600336082991278484967844881549226420652252467415316285896791692633382145164238971391688576593580752074945126083682433809585706437046670294526504466959923592045309135242243477710774299778992601301918940952838788983905522222518400183485505691454250777360420311848283517307299465215896756083819508446609450386053399580117147079744664163690241920801668632918898901026398645975529847748655655401871789654619894234617943032368506133087882429080275651728990373674238356877224914724287339476733224491540514834075071568663809712704334738899089866861601666425445785571819812868921278426605717154155351830891197258110669308541799885959161296966500438872346692299482130881442811575269331637170898177714792904062260841858927088878426874070348785830781764072545979796151253366743626867302274466426589910235039633677706428090800435954430136399332560404119817918906420845881944918561413791304245496155324295415128667024334144555561121077927913084116909588901058288259326428612363733323892582459823708385205989822768412134671574800811636892768344324434524471526707335742101681409988291194260759
True 12477545513095509793592329782096325578745094124560808253597273395020376323587322804370607463323082816068170587667590108142759373327474035449223556361279271211102883234002907468602018249272852478239285820502936228719212964756903842324197396552043625796417013561087340985732399631670526456174860129299049304665126864885410878120553712212997069576153056257431744359932221336165468344626704181949291284597899763033534566482682625144028575579119736091435180284446488389657044700170481755489724949038407077832629934059452451750058135702704128055875333410060673202641293957901045490853156334218831066580526352385887862241332242314912114358477508189653427471557512932968836579298358987086406593716595732030867322433994392300213237822279263898924388795018652380289364675665508465586574002306306212643403626414695780188696173272769763754962817371584085716273368538882524829671075629785390020555865656136282191327516317166102782003433890528539530518655165730872798244450312090401735851543251998714439868489875094907813315156195609544408068976912922872566732095029389830214289688552340429258579319420045586527989945470854733770172857836691947220440514811380265912001309664136599125664694653515651299321750859762495886211330060845428434778124596991824314205889541060574395453786312773247723653973399414056928051209663112541586584727338756736639135081027877865685564991914177530002369726257720067080437648086083034702424955487446697327834961251269492323178761040234512550806214224929497776186279211138435649127498058600982217130471356592002259544310415153815863665071511162048909754122807346022756472440825120334262008533424000770475603501416567651367352876237
True 73405109207719457356305106121476419905152389594257944693796991396632022882237213969309256272173674022870914019646364024104939636904460623454472294701318239902551585892212209244382150086590294139748534107646519140504772510005418410645421592224691713237859903506426384269450279264942836874162990643795795054755159859504865070511757034640185784575793842495719969319972971584046640704972554793321696958694287284001072101401909871096317798624558942919467846157641656916411780336332271266441671651938586287621978079305158576353749386164977487574806284488571804208425070634191827124147881763530203105912091209734941105673410461091160487412448715375408986447619516669910014877346112783445853407733181384562923216970193886315758120442545285053391466337911994374066884153547090367234355187793217705256665011935863069128195474686750631063611854269980267901227451376447629100608794783900531737052487493856479125074948076087740774768691207198939767079253705264818735779760842691476935512213149277556865384959715420873402350461376180510022319257914958525702172061803915822021107255573579128504459053297565018620031282912453095196928218603336340432937832428779608282340672614301193667239536041869755041317319050191260376711623351792507812868435461179036449786972696692923789081234974124762784800325116742445554453340506636653340218876482390599434215534358908129970780127506268649032792295698351774045977275707767334566443267725891280822032419759432411711931296469297999364386219018287684462222203606253712535849045026758410497490167822090308958906550301154161441176433997806214864624500324135876665420561851035751695486776044457436867040981377653434373217037088832205463
True 263384075362443448095221232077132521260350756854122658747561140809246449908813279112335226447746437670298608048916463508390586993707726213396993625106542999739273326342845605353988670119190461743037782109459434320708306204143919941131452418949022994340465041733846387162011424123436906739281206926835003722326828520280964915447277026718770787409166012791232425818411366838794830216757970223903150778355886266385041931789865349963800895836589672856666585096082775778608993430872283495940661354792605827362407487659391057036123120631050227796899488137693949556995204473795337623040604968399738920074428765728363925127403914085577496520574319048747507492806236089515289607857755451744111347554152394033531812765941729753771929469487028692361959981407378065985056834746206620337369167641246923685738905254790689676487606086531566421144395679848375045921191016715710108696761547655371977972981900540596896440725296845986410718764307587789851199063236958119913285222297895606562395268468631874861278136593396383471762083081811634842974203518062334685485300552261189247812159103095136992646081136800539894605210389542187599282359771953804995660409204806151767362305468622874037416422070967250680288250703892857770868259228745713715308860092757246594971315246212140947102896272319084058955523261367856217828076629039888390749823051808456128210241648250522810808885598605317096871034773067337333537720456996027628014642976054232650640576127402866266544552917524341690774028039814114859113797970502528744667377970584164204955333097990255822239469616250485606604733340842685559885615990197942986652698323869877343756717478056261694382293571866814801783023601573530267982659083
True 588783720672635907186436668265651137507583749375120409038165052781602950118878180624205583020924757673751142373413506628047962225601900407563447542944308227803100933128002646103796092145478146471749137063433383750434942738593787264048777563488701156538441749146173331529602796607111987167867197988376868973766876297391544093336494939879388493571877640072781269575698094889218262207742127485020122912417672434757274047419965211227663702037082197724646453573844399814536450956561062809047279516858914982011712412325755558612911310283019186207750634809118802840190515893397432695563795941577109436159647469578289878196701352659274702839155207128365787638343636682980963705232688268196085809457137809659425424573046406384456919915900242224129975184431259102457874388885044809737117323968321394337570085395297616135556151228650697637416796833395693139201227483198938824950156625393542215213885645343190686638123694890242099825937621711958134882718606842332354116162467839986204579765949986828709322049776045310639499910251904716454191337739996808442837795700520073048388290756555709551697922046529382996176054031465517842611907519959496119504644132059474596511799853047635103456811789618331084436163041578121043019227642184166309240364101988854302504179305459740949387876603841240902767852644202656198692258090105384245604445893665684234229131074754790633622509827391559716235198360304377044082773679659356223688668509778837919209898737928921204597348353618357547004774487759677931894042021586898332772201430977124317424464826942130739349780013894593655930910848971000080799042140939123912939645392513028509648666829401019328652762615858952451295256448423409125653971352898251613
True 836524399701696355773365656340575077436110287967799004538301279423904601906764868564579473677448199716139771881929296621683524681450429840241328324889502142105450323303302008256552140775611792345110243809663456072862187388602912140110003769314411228893619552730409554637590634653767974553043130276218235973159392187357535575288796407079098441344724567041108841350432828440710676011098238921357738446305115281952089800076423331210317891102085063277395420017551982286948625365712574613584485910787922465181826210562193303565025602611650166519074324722056430902514267199869100680280728221181886565805504475937165434020162919235011202692476588158439376224221442455542853177684546771310305338537469468783532993179600034276252846592043606333958713018173342947382470853761498802178227603560288956555071944691034013607389261565990854950440958261407523111010297288401007872694046527447724213738020972051721158034940937375194231399171027620877133827558169684779743524904824750931490314520313889714778782413956231687014035980238380938731819878483468733975458768183532630418912148363919646000396953152536796315754161968768675827816699056094844681016824541551357404906273671663333310883271515678197999366703651411324018944326121855654542681091348190999410034731870940759697580609303390102676429535973578276156168273181137570823902221610666273042614225251231448170626385436813792432220769897216945705246712125462120888682661191676108827950470947912574514377983506833331063753787775653415784874159723943360125521502948710448946446525532447118676953099987146468325016515948225186613395737158645016680721225282716537693811231030707293473284102789264917931739885357259521788959932698056123046082362367
True 769619580752899433447742685810347345342354859374626764082620169644746615767441893795153028059278865790547983886031888352418316210391986321672192301393321679815431152265436616796412312716444605473944612414055814270077120790342237714669317157658903871254688268721399794983433915175415947267194393776469538081777586190917593157482775392670040910775948676203716670325023310814492040164506867614613978802197526595211672572504850019758878739228664693756604876801466076176072700210139824634562503426601483534043619277532329704725847978424836536551931574311540471794811045930593214358478534673877823697732575037416583406205182473572753682423592990650128664214765557873485611363206889242742256006955471227482684881012619715341438440635880605405978651976454558629590769401778748023429720160787902195523332624091404668998512311944770357152609630783896518329021036826222927757882039527086446262871324101781659240477763607871351824241534953289746469281717227417149585480851116995207977567773295983100547346526788340910359160942571954717271841964703524608330137449580809486120492452312445376665762657334429204013394986368476504613150523025979255545689820862873505381274323594340105590004923343629346904502354637625706984620072539416671341778820430363093735779148927797123289451991289324132293498023543115327096443287875470818587012015404388689601616549135365631028171582907120373325521448799734949536741037349493593486961376080351884650346695150098721366743199529928717062028160067701418928634571584318769405355221797622777484595510362924800823226535008136992810427231737129418768767397240591799864117317719629971626440058972939324993015195787735420824735021505005403708094280913554962137211129883651504981
True 466631809251609439495044772361908584808545723185854012310857169897983455487887817227220163548940551179797494965162121312107743760677016197420760408601965378117205333069162575136997537992950915755550245398132556559120256257397966895402589135562707551905349189427213240559734907114330479611008831455221987140247319105699334657199061758106294204133547544814224832390635881301163848382264840398398888447330993736184400633663920841016724027636694185637960257095428686148978341545259468579378937181588390824543597134906869463603372765224407172953471321349945704472201762169210876553070994501433648011571909294641357163469293130548833188990325228239695486912480112902880338164415290264932160023666325023586900000000000000000000000000000000000000000000000000000000000000000000000000006149113957253704340457409548064455978993807828303929041832752731548510487802674537553188823915630295884311862222086732305803369899322437739093150814801196534493449041891458132581264572695373830384451488242316598081475605115945776270164971781273019343174127599899685966706519119604935425458872003636211519620951434878755435154114566659081139928418272438555662172137855101107635232746200965997657364897703593260227803642585881145838838901963619895015470581624022841003379542571553783556834032691308963260459947386483607852863516575063432432326015335077409930760467244087351616585344297416122784317868712019698454727195679186170094083811642797395667563619418074711754137436056184258022054216209412280494012103882403508052016455594592183086416311779583038297363293854746390449770720372665205637284999224331847778016853379348020708982878413800856603089800605584922569846330570393077806377718746800469281841544298190277548345351873
True 189559814063478888451202411477071155631869593167503107088500108757742629132732198805228230082961334821425500217572195215155977605396400559007964903118225603821498240876281013405215851813751634294378275986183542091198633175489660167247983010081383084096039859417555099788036412073203870397663445615652264917716325974420274209972604380141867720558066161325486396051848745641517304465878315518323935024184719501866099668790023081400872180670103205173117032524253639564555179368715968264175470336191011124830523652891124774490298855268562803138303334966271107389223633192179259839275278693390472347195789502387985225620707958355636245036973914025548290594578650039506894669594882727001162227529510020515328698470429325123087824995319706800973044028158642643335240246547957367909195875401563188272167096825264907244410467361851751100112327191408740135774145400933353779161996156151264229429639884267273657450784488949675474727650552959478941166771600656000318357184020667198659385844350967371542117283748035358423203061115173625596044557459213462536689351995681795630334631409050400538768141854715106844402431540798805983001644318822080243551633426895689472828193335272083277627964201378008532077098147347593451030179496284038309837418515050914605312052765958771113126163515239603768556276744659682172521548058946300410480835543957175407700846915886641416388604913849839183341072009224734147211464000501765888935798319308330375639894313647738589404365902148225162831227657940990792702026522007433881881845501288601815278797724901855622686527333951253590765732306537753965499837567136853946324516060299477896993477513896819963008902574756354041766231398801369940360772052168298784065266684529060702862819278614235571
True 52401893293331129691537581572867221181645687205742513819750742665690064797470431991363513105036538242751759373063608354414261031720488832733019115916794885839628390775217842015103828918893781172111369576037801920378773627063472840827176249225779115435939918568652246899545230101694932459703862545810101020991170954888505033812079105575182548784045964759448830602891567245336522854358061498358556235066182371001114798769047879431926003404638177382573105803839835111549208182758498095981789226209729218208143426770076020065195153784596608946059649141380494886617961394425276310653617384152607553870080352903596898625197234885374407742901907517146086440995419019919350956873423349485976689522919321366250585637047782550742202809674539020041916074763138352680975295599532009785937424410951025786796276840854848315323980546363914839481871969972586287290972319788832522476888782694333764420350471845124784690759210437984807791532101640856393962690717997281840333232264205949737485949223362567547216368862388991723206310388794625188327440528122094778831123183094733320851910940979613712950497763853578567300292658554085189605082473057773807518157982609776344043603459494868683624217168393224255547881221176921710670842928787116003445440641752991679080667929722237309194044495487572326978254888457128369393037124842448025532604870860362395428950116555724634041052598147629966620947422747319903253963096594135030013755803532097308645356713083845210379003320379408489071506949878057946062683074527424668500172741307053145950673996144776856857370330096628692643528366709179587469055555481534528346040487282902242374994316922420104472728153419917711525545071889092480681853440548297122118587306652817984344877572110279576832363323
True 10003350140557839291132902383271194310814939503401489774147771380883785712799346538227948868193662489004590644603464268474496828324556962499780107670720608932653797019458032853157946674001907754257585297507151254949613561256822164787500738210608238043215799409429222824943972834806636562618926891647720405738744474519956765309047711592006722276151952812997865391572542184344477695890614596917904077252914083064035568561620589867118605606769755406376711346512940944343376998866778003609662451713381085587082924507503795339256558564682393525938726861066836017078622738646341257762670182192825244496234802994820659502991975123551106959421079172719590343083812702578919775414548549072060184838406732816379194326939379447385424416976976572739977900043119702129042283591761384973120985664379964465028448151098428848243835010268869974039355210519085676144475794851976128290219028089731398782839889091219940028168458915736872061992912826236880580855476630115733367541554519389819689172920206437914921767028554472582124087306065747576034709409648846911304575823940228352157690827775172803963451298173813070916101128770470486728704169735299477832936021162967543710522815124602327790441656571229272907558977161388050974094074718989682580732978621672036893416411302718869300976369540527461442152492816534953624920052960580490680751575120283315292884851476980335574370814284014653622364150512261461179097943433285888654234740931060539102850228340182027314734177706553759811564911725753914215250505348706766516719456959589648801292989274516548509505474885105985789334499801449274649765495805964865904235766654276638798840441291510389688779310329292616043254632272844610187510848073370742954445099243582835008349915235904259181909110096321511
True 1337068270358304068284546956968282535215285686133561421635389237787750329648615081608163997979067341898525227933839214448870796250891757277689439078950362497746612836024144805705997928618764489825254478629794128377642396976140072634236669794332172728820882609638825385548782785238875015243119114254374045632839460435471134190467538963492791777370687379793220753325740369602223199748735411773070889966688312931575724507643450245708800225995730677362989292974246263516618029108467940162261109854951555113289710837639115810785294805722552328294460598453057193441133167090785742925796120125574047536153399322430697779170008463303994900362253449857027457037132517673161633763761524376024376410509247203553989365197936119658723300371119702849809061581622323556969837310259228856463528962933267843470963532327196776866446766955538721740283894160326368640560319824175043927856939592215370224549276259775785292654693184043775913440121125845785782953251598029792739322831365214982684103502849951382087187188885668709299949024644318138993384653880187868113084002433671323011129577465414106895037359080644527758338994322096286561280806626620155888383735229624832830210907053775428656101556017201500146186194695313665568608125079115156018032814008897360074654532421010239463471134403500447912444811470088400183176607379685082026800653878873007071195955311757231860304697460153323095136182045512452288999449688102855389823671425879244527998085970575847176299551489337205051378913579578061620667760750051448266977984921225458682417496460842465461251942125130611592833155038894541907081805943731719993530200192652203846620209002072994692698831545474278792238883070804446127982631511202639862100768030747379096743864038462612750432264583868708038232769
True 126780419288508243711416494895317015858690419107381990670754394087797256057170168122574914419867265453638175714181020588989336399220291734330790773095730327717934065969409229310240142438238917894298227396766273865267541261643359775507411520793704581170661309662805448317992477859423909486487341850750519481550819011341651716675241923879821974617817468379229189786787798484718527448245542948002947956400311647692433749863999566633304996158241123692972201737549794604344156393466493225115597423542314673145452964373814462181849995317184985814079136123030639406575878619047533201386271090881052828688253576712967185057282903923141963763301198442382115669381091549766052308653810044158001483074168524595592613564789429741675915568845505600946295702164413675635075877717374780692417436717847269393315628653261247945669452281368884262390931748170137293253704488561396019355057954645534449164085019733412859053241402360146478257263898723919192179687939990601098076106104066171217607769676216660801833053410819448714746618963137501963129002948705769096417420363962994574210376988010288710140150271550804616948637619992964544548395358673408552605986764810747909205902870068505679867396617628890170502205825370063432779125306806247737550622204781950077489810302294707242893223824829806186813002533352642930479402781227331490354848251196929760527521256178637802982493551969108625304878941919022587095619074111537757073834174802419136267317786259916556330648669680471668067885105159574929779005945511412957650567021028502736216512173737368323450547455046420106391426646950781113981048613925966741926115587927911630050715204318719747841089131891824130622628109784187942764797545862327869000317257433381983408309847205398795696372461383493908949378305541117
True 8634059420818769461429203898013303033947420088596055093522885418117904843133204415530444523933940823760762804942575035919728769326405352990681277398788047075550417420877494086125929092227176331228112642419705678525453281772297244120247042964625748808099954393186110923419496632860627522663664051203577769361488353449543474839663590246273874009870289780668895151897745043515720913753505664669585289431176843977833479689371108484934088744851992254233436431914967871860423534517822628647918008552959748446564960006710897465959519167203768146927644971056392036944597598041498240674836346800734302350151279465602275705318366136340818152393938449724294073504081368841069533766633409600229131827565168575157790883300642512687501179060178983075367418526729227487684754283802608105421319481965674074832758635953698990944308088713784888857532457839556434479965311538407020264838638205042223422180705017739940343481813940227692888478537447841037568637583261249867554451082580227935578932353864888233439014490064769778120411026555011415839968599980050294542483460043216969542107242556945467967535738330288002651117833510907211664050840915144214129096494987330843694167068980885635202273650586737483762092340321656049072767587138113121011567114205293601223452940844061559271308938912449115567267782869429326960443443372548813209687709010039149477205456993474297654836249682313830659737431801070859083492237756988681413976578079213082641521224453218873401100293585485447177360411675483106026140586340300009214496865444981752292428909589871870273126782224193931613244425587672859423832937948469366413096888140561237752901286663826337590664715616057292777578197226755255787431057687676243738981048857821204622883044709021209570806718258410006694513245227124892151547
True 427297673436690723589148188503803052242856011120594598441178967966859050949030131100138671607216780966897573093946211861211793224788778537038137693046735650533946954496169856748141608479491344737703565871750162316751324186761494350153952649083184907684687355166887887278463736773437911990165601092685576147495884316157208172260860919508102008380009621379125645821513241568512090023029195877709393106771643409074407899530732728538902117043710853621289243336911132722420964160042940273873506233367212951306081618922128629818739435268173640246924558133406615813826035557049911339772791266701930325597840228435668678598019463381521813757922462871230837990679424792739101590942181539265274599945762109287882825656938382928496339850625727707089091449099188155952636118757686998066737799305743560488268495767362416284055352600025503610858836541953969257035318839773810433433820943564888631441221766516847914140053939461796621285989842818602537982083406070812974463750107104949429917301519283509814889159683595293777842098031795148400519041807909976392006592427253278531044750599597044779362728556216760538502507768443656819718461537609071336608807042230529081260804988874400075632886565210051695667345052183802584856424298941997423889311796130877221604529110950898628036932632362038398498178938896968535697766086901928668525787346140995609470788224894426092738223454419976907813084843386643767751849383996742135521939991758804528458123792494103113192290085996622026210804010691713277540293919186280240642273706854972521530363838351076182711598238095137760835009945601303625224512402450059886725677652850137001410498018958634991442756987836866623915256078616993769564337953586551538341306431140175827530788419897679339857925000325823040764062299027570923670836039291
True 15538945965778735488299611155202630877175117792838536102971150364359183227695333193943036903453034046866966646175444910942938380698620249314125068376815324891390384964193514021011715572476978884642695597722817890868794708160127994895181711977360054109040005490013116056003901094078977502691331159616048995195649049125664266402782277723288099190278833479445267174499762054640344010838852029151411687426409538596342514411338886723757879432511036186980364933618451920536291164016026867571893020260721421455620302530622216144463446635426258276454279152367494374361461699989154232382597658190049613031708029350135584726310230431914455777211512494805797357758329678884287135903511768119682759569539803099935092012716367433353538263486794707793070179272280286683363326928543386594249621790572056461905356855689996298250049966941661859122062431829520753806167637197526153172822018285239127298647518602975214401182550830103529807688722974495221918041800758838889345154366284539252727811058571645907193447221299458076483015959606156290674515203632621176183708956809004865284366422202227672896872296145808431422974027632329103447357530608307216733640129335327969897937583909200936860315124395521338417515786932459805700500193420423310117267863776195945718918254107669431600851623119598851280620850185685615651041484985406312687855835734267541838401804330455180047712359897267636832338578699950845428283518486450093204040648020302004314928452011859604950347509161558232147266652173941207379071643546933420170860468407898108133369641684609703616263647583359094303601211626071928759612214154979958074020004389139080077929725220469564953783408014904245725238093249353861110990113533680258398822706094949987702776820300365130930539581165185726191840124845754668895853230493250987473
True 419627221863234536131542744446036327475614382196230285490353810877431020370346076820880493265344977405000388985379186464286443809413760093455720595723741120430700726934095806080489516383138971839909043106467899797590764274826183106320644171236564322579485102063496528260609616165234015653342561359219118290558812599997553303146056650770504583157874090526811137397468678087656951969134048253267996915380140525704027082437002856806734425183635768361152199874545911475061344286825086407607884827078143990451785760936847431833102887171810767119951354684411076246283687674838623680255189142331400032052603810437257764605862893356287446411967609362824957386786270365607452022269633964236424847946595098015042126319348046285212118588557411524570980548944786277026820572946755279237690478474069089020214723753416540944910485830132646934759397009087162898084672633713114922356052416051486295275039298109560667017082933167143735419887898032824570054676469036769226191468041139362547512575956830638042767178344992637462898158944833926305261885009420494657276775426827034521225613414032650267643682203628400980718948950306862307195192813401904627753071529592342967147002504061803032676857549114883356754033593450370021990940295187198864636166147413051479667166263295052855745504189125907395195424413285769029017809265865904644203498130946480263034649516248751996994126037409247874317780032663577990886197200703000668333513456381487404486422726446843689333508734186654077621180101485413801766135535027093514930086306110775917191390539662222443912457414850073703134407898654419415615998802276799921084938389215303267482636921554035229045778323300668511151469180712172760098064292338628526864315651013759298977006176408673800272297425368564370339139636299654026818476260254425495293065183
True 8499661574300917034277751514949134649984283098546114793394128459284371368557891861808596800321572356041344769581217690949565441608726972416758827970706577307332475861987788329754922296575431816764374470558802050501809433618456905693360217357877140554179707066011955717244625796939794195060749208074276857519527483591229553561395725503611422561007351718926091109566291193435401239392416983575006975362910766395538472987935536392545772679996892250796004589041410692894345556495788922076450006920671400507829190619044643515769268959830111257205571881183051030862808917806665680141221040838781395914273682273703624584526882986242218344275204363061897912150336372318347666490796613562358144075665240136489966460768312971802021729381189710981328280420665485459650873231058965626875722300000000000000000000000000000000000000000000000000000000000000011193322921099525986882688111232335095456979169111309698292230866204894511943310487578839522503952713337859649106726438974736576709003209348565798670887038899947196949852859378139656497160082452803984016763342141207442851620600644479713516175215171068418398179474505215299892075582259354037356183174471700204817818027507179552910926922886797408769718727092260385794490167500880846477300192941622339498411798232632844707028241106769085509807668886048527473779439362748702601376391605034423500218417243649363688207170743551337870309093705551831643093437234440705647837013123989743558692412122379970164023197979443828124981778176082828642139090469035347507144878612042246739793398297291731115076596918615849027895704434799248403714758259928087641765373166116868050074834369640880509630805169794754238792596416383494783720381623012474729970907897612043857351262635567986884924901664446293338646845252955603990734359449486646749333467789700683
True 130366151721912738692189459761864426687469037345229623231270097278138319622564173880551577311288442867113774883533133197187127534779252686537425968072664953552913251731095423011234685038521652726010212767783251148733168927773746030623457292677822055848471902683384802962933378136800925739295865715936077238496798452480560976974940959278369992629542067218158652076436670933864078951800217018708782260413832373768253485756441708788412659444116042094929115691185832343977205881497464777582124125438185288218606210607548945043438170703921437538348352724394396829236907547144131010904401494230020348770440693026928606447994835764150147119003067546486890905779367173265256564565243612761217140378580671840807300026202800636131535731944263930393303112437047446630036032181841269734580776749753812839030981547013999673360911006546123787354389925187197004549922303017281972329011021681622930950872497718952871697394981813944853311221171572074260866861303200020017192029119809719115401990308955263274923538270395800527013037720827929230284922802477268781019593413648862355287828940446038532504134669835076850700470788891975292864279520288715347335523393895147102716206838162679813941806449527104106698622384025168942449632503509489689936297503036542479163950600893498253737835168932865275979906006992565754863530525610368560259470962214017679581534160948404455412752135590843551730846656384663353661176915559887698729379473079352599710736550440297321581785267172666524462312131682779745910812215703815322688451126920301202429874452716650274941239623678430723781155559584095013809428352206510737924592932762847213143143460964620772807492646218011186827598511198254989615288421178591963163451478993570533776797382359358953856322015789488264092681088477560907750167396538130828777800223736833309427367
True 1527851650739497868700023403536602715988192828390287346126993721596510932358656276255425141527500441266187173472723477645719426704345302824366303525583835916081511047323728905589576199681216414235868830386504424566437563625978805583212315649031410702965964016752439686030566771595206360376647588390493984552353925827714561979841634759754375156194892759478110473038763023301220943834825111575688872873358371972433473582272917196437441047509372138182634871275305493799014177354504175383790971618396875642879395588061721761005198135492337813273459290755012811787028647683179774357726755949567553540629446767637731606369789515911743570011252892445203418610793536369678573028657343426391777219725944893258024132248148368547366955408158392030655642770842075777636716321288688123226434149300573468475541235535010748896117147859093078626906748763677272281933834634798139977703287821493004314112507344742109544249122998292247403663280434272963633328630970845076764534286896842742816743002845473986028894626504947659726644704681152006026322786257512004462486474458248510442764246453836008986260191722714371754950226316459147069121351136618761823709184899630591319831017723593394686549911308616208699289440187872768065800596328284377319005813962276180129465581788731514472897795562634752100292644314510872244923871971696952639344516280352569365434447262923101601859646353783714325926518337211838491950187546330472093574907575127409976286949619750003719395692033942717690693912886768456896886661749300930517417483606845579772744739770646992887286031808543864808793254679483314536614374184727692502171308030242349730213839146697434681149993719228369706887904406112512924389197692062909452164109965204305628554118548013161432953953585213838061874974537594984316707894420423233511518388668037436929832684193189
True 13800346887767608992427036262714180241651118701077754346621807790494914586700221640503771141594596957576794335813487429179930986671305070546509239257946514314573522384702941338816883896032877878971100885924530532862349776738597458379650894068381295069462816047127408027321688663712700720964676082301183493523314876668538183159179385142358790929528542143234644356631073070490016292148971621095349139226781388879839515772372711497395482858020632825216776657057439122189989960426770653898685547689069821860333083365138037203764833021776047569097032324921304110457850050683772289067031995138529740201769544815027558722044709651619423711282004199591998460940011016754913278810151908742584714968245475126107393399197472420973705974618075093488088312792758200805363501948100063167227406016105034145723359358631036022716223749156228366432310124824737035066397785103642586284588097177858882541764071979141092036733273854813871548583938875262437215743756406413048349092009723393246874290797406386589250630019157329848633338085526395673289616429857020344034659250946401578131320110646849761559722932656624327042376941678164237104578274414927955113824974569958895545802899899609025847590896263264137020407178375495970435921963700347975032568668058122041196416854492640426906435852898480097869342680405748291188193364157960222492436837694911744161915539452523370109455124659273938641992830547657495790205616906190352393139193348727754184104918997888785836885418753505969806473166106684255229994014947400724624973448539140920042528790746426492187046902013910135530938468167604994440113878918260900762574233619454138051973588024445337031697611723946841952468525980132816294442924589735028697783694603059901233816455538653509315929448815490515304748616884002975317050944480345540353733454238097159671899405405163487053
True 96862117267471172640858244309081085147102870823812960565528922665400915647588130216693172331299357172746383113611688129633489116544939800864971868967095832648443200958588446906297164471351682524835140307082926204141556940497785545750323270890985253816458090233465965781907620778762858134700782637014697896057684676027455911475564117110703087560259324852997303511593197784265072137716455647767990405934750100560649415637507708607358455339075574892115428994647431093927525984939707045809291451281394442531768550923002452674348517962731201219259133982160146423925474661287967317211642738416941911506168945949391773266355193998700236535774837498787635757344942986102448385022079510777335119477276399735065765084621932582148572912916920030258178901938086633101863293925574392830719462901686630820706732688855768044368571445373025211253536746331181909284426188082589802128652841869777397071844316126645860918468393882350251015889251976392039517819479315996311184410268067357216859079133109815696840947875906958377522886073836308478292339734875013281419884113774869443796692552142160414580656685045019154777753542896260332267148985722670482782116778552497035533863262799339584528596979395825963170351019260050319476204116132655954370106496414681764446286579407666809327655507529565423574068370195080303761825229870301498908664674272150235969757859048166200079671550445440208729316527690300814182511565742023460508408597753351687752509107619776675681549814556511835513466204061195323421061244284374759470589798437606997153525232428495369326902347515902360939808629033556933708787778728613464667594352560302788123601063769570124727508073075632839807317722403496893929640684045796037214691997900199466430380184044217671437140482300575011021079065406080554710524708573081995727719330785572483501832481142835643001539479
True 532439172132662336201701091411364087741056387068945452241736735613930768862431729643481991204805574027365588965292191424339166275213936193614123006192511367889921178434179836259034259804019172507017856343221561153816128685691365667704945678451586104545578314408932995478882963168429109678137428442946155042304722421868224045573112049676050419143457915539970469272708038094242806149779444609875681736435487520083855738137315222731104230972311923393459346240666890880698561456871656949917961784702841460114557469699749677569658967341232208925944397657417376548565627200310322935028289172875729345064110765698065146281493705281141085626621847649010122251666751868475135382046481393372030800254432798858252233073276963001825870948994134872506718335711825851786093108116066145747030171195593732671544741446645820743429959106018811596458424055682297272053196145249156602146505886831805204683851193057067278276147248300961378179691232267251306202503861637816066237341636846426894013195216525641124527627073845781630615256294720280230537093567814361210105000820340358698561383346039450321106936623176198634706190063240491621508766008507710989334546103798567279511571364968373408313657168585238215827739008436213726526849286651021707408708207093902742148877348472453234468974275606485863630462973632016410029533896219317242002565950127078429651860070401507394760255575722558126745997632967564498749269860452648370243074302496142461547728366191370956159094640162148183550928735306621785836639336855093555303842378645899513391094491499397382265332923994322894570028139863178207366689494462540134808399786666841551458178770062854304856009983928524051726133533335846960337479636811125573623660159409781312866678062577830403237157813599364283522307483152529382735729855489288849789809831747415918452596213298538682072106711645039
True 2309295330570256565770541556541825445639304420683393822360021201803042557405535370245764790662482639960474748745387400039469362358375871761147252608445617339357707205127167317595896843170257611480457134450148468247385196367586851507403045272609654601910535374764228127953846464651271714909738979744912667907619995203808485181930421167040898331027025878003826304146093393396539791897730598915080119266836322660344235712917399239747788459036776217804397122097881571572163017920211243032274467084970955401647035770174654545448633843422100595615009133701720624390999337261540494258725612614189675377052761635520925309695258801454143024865826991625041284966548793485366673891896217906431008231412973814959655775482068608181699842185338324745574272813977700733315245478576817081949041190792677884214771363769531859550688999404398634007418629276684068360322957240426425243846281630424051114464263119278181642066480771827980235682208734637043024524961896629441603236718088209603502725192602656444585159637033396606907370969752551442604745963031671696809129956411600335303316486644149035937948973838532021044031442520509576467309554024433404345765276473378366381059141945120503223524186160450294601712860067099122551131242022370256843861146026410467337105154313016530183121525063142390989020226784906993499719283703995718420734912118556985853254662384946079776294664460974425975461207446029611411766959929087053509781899879307215930704616797218249462172943984656182189804444942623618378481359225333148510363604206976213873725356953718164040255573278988244501145343853405447411910136838953394867149678815249589497067089728638431481052481733226223846180677271122601381962531159748574133062461021656734676172058664317692578866737019864535603977930498424851290322840123651589602581729826910175349506963069914444441143746363191574052071
True 7959348185307777503257883216145857005041284973016860860939329655184766628007902850198497359081668184884223348249492754885164535055268938353084230934380617099316602410552749371156464667296816058955693769502292341601699853431714547777805772699969628020523655759123323151366992555349656103176563512756914009804598396956334018407218375976016736977092420553189225839285222391960501286308022035821771768292514588203261278439963976988697344063819414900863117718472203282285078634663514930439029926741352214846873210473526497665701070463979849069247932192822638145598165110950692238423631767908823180264709655265180028880329796940039885399847922840990883166480199270041893674423359517691066829142373803517419022940067941033123830826620500735849799581784683801264705276896060148746848582353649781927210215983086184449102479370544280985020841367193742989508654254031129283519422506841512294842544625808160979832587485409228757899885232695945547119125080835165071973911726866148532619352906491588918069214513538102706636396687057865611036026524831242338076299907349821719018820854482729951974012793054784600606254480895472531034289837749057254926275771439005961785353408148241182382640435322854829628671776342162967086801839279857356395021280306094015701813428271153381305664737733122116468876926305256806717618663565132358242996543164661949491034585524675609318510997153274221127283257805595320955333461294832333492846908285465736609019341208264395035338637285417973547650708849473403358671250006357416329913157246310077886454429479119279196879346897411898553874349057798746332661253453290422262922639801240723738442733192151212918269347408121231738906067164272474902712957132693786324280418458572514404863724986467565802215132167349743994434715357537481368537464621793418977058977675346519919456120575577621435106344610823687641426120259
True 21949347736377197953210943542937919402353809050640724336404523604774882289820661139270914000908076650864277216371119203472570385914875513591053851447029351801874943441417116322979418007311541406215190068450636428376778315821602155939544993173129923110564326959469452155396615409658211505349635741294002703771561318142951922432752278914702015054447595257320686566610468070220062657018852519302565023882674118584542322028391391014583172771001363619388006040264207417694489541910153816370167101200918969211272029456744548893949471597806266052866936632962992898099315024345911873662202082300287598911184398795511205058532754185130668626772283463700622358632279664309571558147055509258285853534742268707927334772986915767601470355460650966126898493580854488442799358936479789984349511568073036509798578402734625337351825514036918844216896653366169487711827174803085549766672249207472840648574434803280238429686509418392036679087779297273570111346766322127991035849086518330218112136953898335598378949776849804455994507327991871734056122763049183534482216696387215903144360856240465284246963813949894217327510467322898966239214512940572001177997721934517717771278789331198456312920591990532100746370639995036067328066229872049209774733654377697297917509540124934117474722342881972270192835658954977130640794870918665694782414970903572260656705845099869856285676351670712712260879223001873773353262527201287058237435933014288398464562878708077103544446330553901305043526908451103836746020630850995899552156532903049233107436824236813765621426277197328230565414537516860503768123403892685317491763693830731946802260473625931031099024758322840080791843870421451716993413926966134197419619558323988124088986659285769562665023281256937208054408068723634027619912655502447949156183655000052271228172270996651508391690758709014992662771932859209043
True 48746094714116670593758534793804761012653285080689376129458534156460505952180987610545954419076931898805117648765054219324601280912053511882127096144822568020598010755040225195646624032756713249276034623596455495682966246043762848490628315572427743566764561587731392475151869002576915920547754921458128477173118681997461798246143981533239195284422175958118758468830880866264982608779597509287991946343196124062465732246103431312417090521557493409571493827262813536582150392178490736235932608033923300891271216627305807794859966548002416585827771954864880980269058110911421545597616675335430465390534892407469864907896814051239233954223072550646958233780634907799055848148294409837602242485341040591224456410629082383622847884884340894212171735567576542740204148577248716082128248946470100482201365154003607909177812720258458035293883819194607732313311877915186674347988173262161957997644273292177004749721190262655034514310643828140377727153587968892892298500420954312013566121610411008536303196008193267271859880219032530584415238994570419236174121029759855581945180521319741908928246577834786438415304386891776337827854657457791603783054903706626394341001856674843187660063160504404897272465442777320594549489918107063268688454545863802215698514093388289395786211432446808024653351396875806009250212671216940631120111256245400564855199952604766363368515112004158483959330482502264274488895149247388847093346110128539846644167101500227076868109150802426783328973780295668599657034870598862588987267715116837069612411358823664231035133543847080904138557087715050875086062906951283220468913479564058586842501160250589263978522868701444281641083862240366316337816414337683593263233064657094152595956497717532854788570976098526036696431045276316157325192828954652492835789045882413838489121892557164572304714871631307360357468791150140390705107
True 87727964797600282267528838266791394431548955255669032002444650526467941742216681502714187338046064534239031143686115853680080292627084115933253586789598205881010577872662842789237051250882800131002610292867413967668255329291564116258826675378970149010898262079145857691738032395732714600855227945617898507582576290133494983486977925139246970832154657070994110797799255482550034020371176680032415204428611848572125469748261287623036649366757630853036714142345675368785691182377425662247406304261896852265898483944965434111415475334707850984215450271988951560725394881466484643896925291642035783981319564977546058191511929862329748625955277282668959731008007788170010652548720874480254679025355422949916608331992295226949573622346276308009502909560974849441312767724148405616955160089921890906492174886805903497761913591083363771079287015142389187700000000000000000000000000000000000000000000000000000006535301134168917698070804336727936287346006332656221369643930651672588555687159610901846933104180059398321846054764887026654922973726283499042640352324907636253533390168696356695452877184439458537124147957849790844528077605173513592338332374746537014027218001625380339622953151693762473956038231024324588715785334516193688829508962464564233488278120820932276978476503053324228082001342682370877404100311452719953989721541639432050392662769578334780293564497938519734925434676083588504519115273731031415698526277815159804029008322389626774833725151200695014636397942021043386590847830530074863335909746171010694759641896872161141054963699666083593603918308315949946363232156639571483165479377953623156365431848947705122241015464640263807932214464692251493622702776118703589915578477595564504667581069895836553822372992005684692792623030091674031381585094783681756463898320895114213349323553070580017595429321134978274017033286539594381448277886027
True 128708452235116990376669942621170759469131555311592424186392178698585126603902622635834673957923214825435294462823330922573207552494851538979791464185112978814484909520618081345856968368379052889887101665511675365959617896561681997813334362934835534789708861660320539778054556641901720875272580759245819000098526001237651294726468755595491789954938991191182607825537145731603715572751996119206955720400074032355767450063654106230845702540346793268140175507311248950965552412672152342341559636456850930122567215586733049993281101066305539746929287291306046079671519247165412237173843031910327364469020256074124605074310687824591428289440675086644581846253920445019284918508348263839307281668231345864437110256754701746014621956567079961548968264413733418528685858570774893178691955068987288934701499548412320275723205298882103069917833686227496749490578798600411811603242760897772601109962398241556080577237195782052525799036557078131809188614454482410894709784479370320858564869224888702849937967953791866241199456195454786455526204904246767947283301767158870142173526283204177277082389903283944019688939222378353867576652370188781931422343546735156254669747920091770839439544730736534433162500277685412714762051365193557080606286714304139830366974344875439055046452400264647329760321102369328424083626139472917914116821677024638304158444438463942391590237433501037645921033247201689695703321975874065041540557178728250395288646526942339073351046444560796133784775896901601420109517207417644203536639085889721934673250377589893820520267438607503673703528429370994629103622613878335336990992807465012671334739120807661090157894251410909287704820253062944806169792896464969435284229216901721219993750903695189096990834254439670764646836425784375265409356492912809808435655180279852572786733029279120968839580746839835897031065683182839421466057218818520437
True 154820664698177921933215294113724786218305667124369666793084478013623134350310943093942481316072370255282163074242119132329879435272369147046644628070474982951745282866815250930053147086206650851246582975652099173073665467936030700699922356951108743987102570972283618093132919688451441597194661627874243281400218498168781734017824167767579810461208569198532600759360096827811566317948172055683645135351714679324284683707657330230353787420974166864280241207007613625765805568075230738462815195454784610773291782933267432671550091483635975306631994478618635479673047491764523121676188202702785465089560023640895581032337382883562512569716599232001891927080246210913652391635713442382478401116704172074946984082927468944217480806799468493831196910082157737626250998637036571010941429736628574724106935753528548637689192559584666767082656899508230864094786192442030387747785647009013915735897278677139020002561755233751600055767806768459067076193035346630790271278048515214121981096164033257562341487313653495631897641580365668922676500586176988813967235054873426922926750939935795475606134903381269857653464126035300140821582104733428105551301270124703427323159944270013402480043226798903293241715999219660908351672169670530025001762183492246279685415178501200757707500261053406601571877061755609175222646303335756023519584708418657567867321361108771892264949655539280261282863961945063656505097740998593404334613955517029941715797203945843411134489657501458036809385736190045535064506864570060493832941484911434614488834458287750575534621381864235171739583179077020682248387164009339609197185634245181313104696291808514507596810801259453518494509244657070679781831064993102026194554928914900345156165582281957395865503898256230927327420044722515262181572387005212545968111307223425596422719225772046287463741486952717492460337011971073559985709690079542957378287
True 153526369666646612857414236099934812066335320329499571977747823374049095098813816583909603407474974255141503649293500513576070620078339360454635371191720671334874606626096854078547655281797917488213343431690494974487867692900991730356953841282811076265320711131968724875161411369408239314575660421316987001352390863622458485028337396640764883676480617361968151434482946622720984556136581971362382555191290123906463799004517681602099200754503977392805753944866571018656662386429771161260602575828050420551462108215804052020917968631019455193909168634574016943767029607173516893628325607162585287302705439718824014060149348403186514459768061155756926453142082561468091988011307973184932455681005673050338273984579215323085930389839697028509006015098422555716850915912994627111835531328994666097679686203063073375621106855126767933414558758049816574966388507140562622126419361274276043398959407690535512924034464747343427512916986121113449211218062561685919133275460394812945168956163528766062680389856327500264469971379298342717706889797587281092937374151224226292344240472521896192913149174387761420256467867462224091972181715729400392048213254157589065054090392573959217095906066373493582803842884296883267257977791358438473840209247753730982489682106906419488490924251695566089457997506099951040788400061362867043873200453712585952314792845239484753349172323862465671700755546974130486528864731667056493986818677363149755588521636496246434879089219482632703157967939584297555153451121391180069436924487637571364872818110180984144382013979681475685324913603008905230279426017871420083426800157912774854918703773504457283335380188950611860459729227566926646248981910074942057071073222127325372559652243788559460505927165798780042290828159062421339088631810211782878077649033093777832862628115587704193348077786660994239134326493892127014994092547625409406574900744287
True 126168648419049237872081319812216973171940409848921881390347053772887091457957881505686463557180342261411683088248910256071073658076977564925532048538708247884225828508178062887035941360467190247197183700574528416713016248263488668866829295626490000536572938979286722238065203209111433015265206911864880559282923728166834099034057702871758986954247567051476991749011790222312202253055863334593131422243239467575544203242316824957524750269668776810228288788877393805027031166726907952577935662357900265586526847923853071294736343869490842813906415424030548709524400307938930955410550013315279110682846666776988864988096089603069976496301790919842597961788151873739099143812966479759701340419417001919039220596992914064024610180127554186515780226803859096935690700668779789713479752154578844568239636086850595747002374863462464435242530590558625685048771246974970553196168127962705242236810025742508605987987533237914431860325187508367532251944124000141543298981639958948293752395935674746625409032291302802584258125105815984093038651725137781144513480914607813324767129902222184521538868717197287666386558913731978962110326284112919473147047063057142258188957053150228758848833061133813955307904312739966029983289749820617147495718430840269764747854937314266770081529363830116572786929688061186490946048641651469414407301820042258610178251734339995296741266251571017849643440870683776332355215938024408886713019716347399264162181875793751606178061965727388459555394743019207471651712698226447505149400405125386808476231062944448815233086524706888983139784325791905801022477413701326959133577539962711982049540659197510606657511129283306614795232579527072736060518136469701077025412728208228545336563358082850691468263119976077844880840019934563199579754713111850805519580671400074472814044406526131543196021263752326749529005200904394617192072878040127581034217088197356587
True 86362390509362021234027641740335897209599512369128144667959184293862809546783543953774339841374115442921042793502594905321918876690358611524322343251248017237031851005568161584421016060291149562217034004349208221087925263350599295093334997995607553695610786755992493942259579882420755265482433264409324023274318397074529723680102128737581787742113993424489839579399624126837516310476828881458474326291181930815606529912128364357611688212768067648534073646851350157237496556666011650008087412115781151672550336152645530888308813306629195479191673443850787791381135968153009602879440833897808159590257351344964280995545618758839619638517591782242732643562095936743273131969099810785651746869690072241164744733669360810274574289216599568482846188809925380081135782862510134729824750199898100864687321621598167565116282462427147039029876351678546886315011695034513780181320104788011028788558147250230799217604799593927825886364902238157869446069922927277666522933100753303361434496671617318740961117402691545312234094090055780164261718034474979853856472047766150666002268963777535446731374812435784617425114797432429208182514637082531206624380889598834314816533566339234339872156497523338206262987486532605504100484169105051582176665397557787216995664737770481970280472733061432017546213642945393145498707382121744340271305315576635596595884982729631121926622141919475457136463103182387042537583183618541323691553711127966410097757424083031161218573160428695028585162135174847807571867600114313971763024579227065667788676746896407454390978601277489729063345486304751303283916560714092581975789315216870512306898168760817060520810480609854147765547517809657013235800237288706244619541645486212427635630533172072838202066240513485889284155496307273891805408581594762067639071193507830630482352062009877714134941625343287984683560274252149369615973862778792836610452481586818297031703
True 49477286457276791446345944898285016391993835346553918702819373815469336862615015443941177596075551971308636571551005492584558646003484588060721985172410245669360883377769731290003562243502424976030556830444251938147919606796832967543323999490413678467126217364136466202918600295921666536981877741403786661125254516682095417623026447441295947769746252622468660417854172527011585193767960073324562699728274451484069106544270121657153605660129149806375954415554792780411688278569542168251531734501191640717423181411636008920935381896971132102405324476811378918746042165657306496931673043061373725433397458903441333191297368794109797001946264551364445501752015419796791837099772586152822346121480183864093143467460391716538325623075023677156512878524111780849702696778733293640484109897778710297256380637433139832179195903004473136507345075623761537570087185745187498189637067403460667456618459627665619126983865236197275055236321045244551403616925030715906465872994081989006996639645007454828086131011995147310623393251229171017095635287782972843127334108710091980600190301055128081071318202193758435783106877817870421293016701053203360995104875063529208187535428488826432689644794449028670325317073810708128973633518878904126829747316363826306687011192860993034147126240922241773814930213827882488687023559393614913474358653548766123993204667515898565714060628472729380916126770073788005234411186602291057930236274212944266056904777507426682033304430718819299080142313911237800436032722718144105690511374340285488950110442032464605661497619396951356641295664290456837157972501656613448097221981426116025818164627750550445873910260545208042373897030640541147149316891187246904591746176674638084655572831562884039723841661814648655051178062883296050745172840895018965248329239755276119946458196783362129489284064371373066079506505104906586959604914256448170837348376992642643117324080457
True 23835040689157420471495806759807625035168170202600913305417350811886581187563164266378505014910492289867358993201656941044091626856291530421516354239758468495736718273699836489533491833798216608040808428822937036005644493069052722862092034158844212953784581524111916140648953269453810690568042910917207051464509276070027248968525789074412017855271791089148093489777779630803538106387797607430363320394860960271143070250590734534589485712039571951790651436954187277057051544967424294597741078533354033389758421260624496434448067057270498151962762431189642552582383965295150292261352904311475043926885216137085620345206908483248922201088424318069898586327420088378350768509234960094968379978992371947306919290607815381461358160196940098165757189223649315849735909779847797153119209988835013614095432405215689280056891030576622770482517409997084173981308773972481652412636832965410300149012352811934316115762986883927666981883991736113994913296113004505937579131473541050906882453751019690113528800066540625408305871299758884349517944742748711152044896897035238437348727150229201957444857481597553902750594801098982958979003230931054614195172186515280951417313382901902214812777078785915906645802600753453304297012771440080121877790078036249840077735037203771024680770643204670741466091192262638412495770905695824075791519726427752911005967006360849677997764255100933794944868363594313326215760931191123038274325137286893626164726570510847019928261824984067557792427827624815825033341236101819879459118097543156982650988537651018802503708875121658672824964734385566840706338759576221903853798446488334115414642350548383910974003264115922224133547305126712378856808188815743995133621672745092559192206005541856167045621695749586278717118077828736274255742526851878438325871238904967249448364489042731509031953643812180603435863408680978356539505588087615550810502247835383895237724798098220317
True 9698337495008593477152435377682523235519213382936292607253582725154771220347615164356093768510325576147913590958425877151833237952156553942727463606474194387317712032557019087407939316811987848207310448860353774784024547320164556300341874815293013781135221756751242644177914091871913776355564308379340773566427410771816534769572549223444137659569985317535433929154119830748329158958213258690767125801544576964538901875296856975981032916472256115509163941234552333841923906583793554085900057882547446385824083519625814648217681308894058729180785079652789099094266966295803728142679239702626191397837890567064888039147114353167534022848293218836046916917374996806749075529552402059329403550159503168591401611029990163532974111438353650032652301209584763805224254697784759790492489360794768722188609288281344146044969866259137765134058800367899491075651629366628860831481306403363275334639826769428860085971691655903581214181806590796810074752660359078936214815102406557736406711923379775655250321582744001026906287869824647744611862752057445849932503325938723847076353709720162436513106407986495182126193722954125701183378238075250092802810705157678990221525395574262437226546625947169791147891229899018150093503365191119891969272708461169039517205014725398911914348752628791904366093689763345928362019955512069792208542664782991714819203355663008934596412186254257277412596068143470508890356063641077208686217461124817694401806294063439789325585856193805699565690266210364145127175144756312967888092534859458581778823876032697897371426721968598560589211905740011663706829078338744775958378125923118632670824694638263161409317210286363035346836787058368013816738739826265859738517818774243229366929053966463379212016284894959926311845261347402597871756120709943636581292217782416354386698689902930953010047771060406168930338784592521101610671371827760836108723225599897643627710453271983203696087
True 3347483012192186875185484976244464367939090478346721797950243547780896470903798589224803261721758602454911140028578904409051122185103131027257761619969303508414440248743180053463593158533239498056346272942225390577197389095274226105984260735633277579285866419061498352077068293991762985119717618351091944024826076669679007541626202647105579867388699026879020974019191947584042476228802683303651194279910747119527549529737127281387061018514936099748527361363032908808625782120555062770713534254999517779715511660970575113430053836038066669396978133658533030001594966474719352372191913573993591144013083759879739204667700015127693536836729060886507749598129922611728575826281316171687855826379278851906105106689647461151658136991329260679942310609607452330705432545755312308360089677580246567656392563099278136122289474474610392623127916968855612172063571470559231877218659292954629588898231203756768720219871528012037881468879964238949833643603702271674630703620282114226811635113454883733853734316369927173062639078377458245304323180806459029904133858700081605206697732639635054609668352591748513704388788407392159922413791964830191104865627896967589500273844297221528394497876647857355324022074990653417654581632046019620970673153112973048600353201378517138264617480162759420954289847164551576004880318585837773339542448127480047457143002854836356924486207903302483726386829803295728325941247058694452927149228753928327699714280173414885634479680324728178873773611974994461646739946181169798796603744052657285021356657976117739890464860066615931973273585546688370707399953569120066910844497560773152939765337438509572455047609109437307223736481036263325044476017736959441930384378793581859656735869480851131493121046420544457664309651332669621954418347642876641567166039713354309404683128700283619271314231140558027512175627820229341897349723920304439703924202459797181047650710672806591332707467447
True 984185537728893741545247050621402011712571116589466972612894423328047040491738359020288054270874767665943719403241443926810307344718589458868065985652278664987967480284676013930418656089088533538099782591805504333147582652554940010730472605766952301434637327048530353459594790761381204242970332804278638308049858333670906943006722381132040425000451612339588236462692707820231201525755883287566259157502249452597385062947905836583367626848927809281630059417645519042358723433904885854830777051462849229259866870800149358737504474502483252756961516308771729273296468110736783159146116657307832128152473327283445678144775451607501340611412390301417238830266923474920368039803464547459850949169478487496329388810323384272245321998420601931756694232463479175791661543798993350997939475532356408907439055200173718350327535090437686688781493066199736323427431122020852183068224789574146717813316703238103588517700000000000000000000000000000000000000000000000243537787018511490086564918645489543154515426730524341589792747807678726043826739469240951826030663763721930975843047775170398058692914235920325746636717452318593941323468804405432177009770305659515831083087347550067658293978029144505061992442389410394496546375224387301134773604301839244377453262555074844633518704003572243139833672488508040523653412575200759141738184849325847177081624256099007088807588633777215458787350642180588802644227215833136389476159594888502645726264434582966419956368463509821470314958812573146804640000906730886507925095899017238683463320464495626466528066249427547902770627345263478502972095700210711667554141393014370558825855457181200234697656240611112033034879267457013233983356480146224394912934088302042059793425901845067619933113519630072728945450307399958250165066871524413350972336074386828606747077156310893644995490828034394558255909782727134966999132176587569583109220982524236943111334936886163243235181894774777
True 247459366920479224751494303865344921224281567731620994470228788734611207321763916660965398895494839652753314280947548220862437063571283715347312329769314141685464270582693997192508688880333121158893621380779681632067109768995199978659173186484209228649462867115437722426394983541265813221116978169528241157319933222895485599109743308352140936037763277974043137176923360958665836398775878139244334686156543923459388508382545238591129838627609524310750208550656234020008100595106233147580405760909294379255046935065477881779881448879375671860859023098467132365743625947881570232396075882093671055007632800744057550704597884852702161825956832218582746587907161469619949545628539064587069127737189045664518313046267087238855351273034356994877044461090018068502883791146852330748275521117177170578240319967587432582988210989477601003158695620904336921498907176155401632714848239320020266799076416038849512454809277292681378917179520108452631635671657520729557112096059937862019306514256206155592053194027438466524021373457074454856644832604364678237816508594832265043769187607799411528756759164829716644351055556637350170049588228609872317362000950224456726199898821946980237518397497143743216359618264359871223874492199622076449506580564570616303446002345482210522720286496354642805022110039601808900230849395644191376150928671588648886037439853352586846665534893440271150625051109736169420828937835492791108851507937813068636804825438639575305202820703717778084041225871855529785344612765934754014017064462334473249313063568299409166034066335520495797695698706343170638590902093850172673382358742868847906788966913948114762357200060095016305261994449587431295229134340933209471541492942667069232408205838568217093439921070948533374589235251902407843112447129049290619160638965848353268250866373275033030890990361764882404709435932450459089625138211202013154459222902309250252165941498239441810271562961601559372361
True 53415369393568495386260261702495538523603175761635950558804120300651937491461539850291799061798841249622462235738145290668523975699065013239702173151815768485383888189546791491396328457994204504780542747023777653058994478948019893624974656580299856993266796359184414338886191110148275310878490112007432778440600373888000840913560446777173157523221872977946530111645458550653534676163605449496675932279644891016568516085130457317921129999981266597691359951675524422090856823861507067998305514340294326258161629351343744709826633748092285485888793999423944579166231050760141271568729804180947154040699877678502186929111814150675082022725641636688600455283967998547820485872417481494702279298789111373072232501185629553058686539433289659438218864193915738590139696628549666924093566012698917954503979316854119512560137636896718494271460943982956404819912206045561143247151199008997040919635090084702667626366710882052042253764326395844554001542050393987780819276682088318987838334819160024273787555368154893507380989343896223946467622619823666031332251825998819146501944407448550395441001101519132386876242934880825360079327189306129944803693515373007043561880434494298028761775130095330311468675288941356601852980497641509388198897566380599534988453652916943111705061398167536731900208636544113369920754232465787349242901558474955424146558645699659625969811210268243549754983366235447684871163085089581179867376661471985647282800499218422930377324037238560577062694379448517002489658272323226531638292527683930389818092783025511882576563772161657761123028015454152764618674764460524888878291678715288187724312970125170617153199183604087722806177221230944370270476486324043993444923902287335113403958522234472595872620713849944340659490528096211175421555708156435932424187307041693582385189507740816826171586290135355339693235903006805585029665532360881586001172022672274132904512902223110122657653998636445279611895533
True 9935059409719411948200786220180988989268128050756103453144443012282581136838985850014981286292567497511759988649927947845469977349089274175684434604380046210883246872204633023516512488755291575685731717850415840657540523741329947578705907549081768802661306372700908673449866339859914873296888860905073512635100757003356078442489704933940540592186140387991457671633254824309098652782548860771261740269730136034218244881958943264367231113038399089580366842062492762028744526280142568397739081036220728046794785888983414180118345653152452226695172003781224708536379566013363608021088012018292614576176457271848082017345202144687967855852253458787161899432293295938765270480749981951210557313858864652219303273663349370146923284529763873590949579577138176971357211949807014879249656712538251869159141791974711019201291874126636360939425676214709316475333503249598805482511742449367761675884847934631281045001883246121186183981943885933522573821224009642948739856045551739710196295594977278241416962256987932343272375002049468576310436706257898168497568648111932564302808103785024408680888230138105039602221920989102855341478038943350285970411546589036146979057283732418274667996627440632699046915271425844112177578027772609854017646965284470299764009210361434677576917393710587363679981673547826196164152163578272548372732880089457633643629252060321053328349655474461328443932397538189476678451347358642583894740192312255116239595948480370935956773290186809835954794991721815752720312224646358763237857646166753453391802384650477348053145506700455619586662783946433213891954967882390980223724918345054114404593068096086001341210569041632235408963650402182137715212352388901786025829026590825685909469005944623131212740725857339016310876051311210599734066148736371622820198979361126112542890052791664208113241682741975785393304718293628340548533035298648693064037056695336633306459306833027047986193706540171841684943533826743
True 1597957954425960147824430000041832862356529809530721953833577367627004068697952397058412094516508005880522413709390632571721074325427506479750842117356867688686067228418798608764925275491410923171093293835460325099767206979394542024123519397077656409980259562042526000770767672492695748599300040400570659713292554171589341344892369181252667550401008182308981549253727717714263225629652116226859835075044912164041666623992624076622009550266836091543976774451669767819310319006641327766558698084409368747338610805177394990403093869310645103668850942491831077625998935496940997941264567202287653119803218643668973997846662892686665150991285385519565561710279331404348754670812402319307879830013461535986420895795722108409674753263189078199282884740175170052007573065421511211197437781354311042393023954794541532861328332550943151848521338215720487611974117016866620809931093114112053829166799312087741878984886427650718610991442369832134942057507813277296032155778177565896621353818326353512200578074716368908236457179167506320397570269100231920018638060384649553539732229851850149660049296115745602645688999164386724461905304894597780083898202291705516180125083714828327998237816708261558473692039369840501432656695819567411171120855229275034596829365381677103778502671756472540164804239989986739430185146198321222039739256248580411255177722231950093975804770544254729232000434750926749617209181328997140427105383489755704847438087082111942550275762351368639866575468719147033737029848954981822238446435677447360699303887525368680360731861648403509877431854514353714650747920475399998723429756643902780748911062238464613134489516543912431420938749082979144950672800034515949142508246144178267693707607410929709310795687009703462773535111412967298071668156787496541618537971789691781300089717330408602067868133024868457147500691395599643941006106498772476455222247733151277785464360522231651951290922200576216502958591080020189409
True 223020425468022080039680481937305495665143516801365567567075875043810812899467323994396182014827400191902003970234652090507910405759369851973444165122505223424393385380141686677204748196812336955150694458857644223285737347220868937677078390432769386252882793427375469255634865217917476646424763205130756125680131076050483232471565362680971735824618283766839539038665325911444917546744594989225963494493953586809755034928318887858027598735487662307184013976264945185930676337575335882961101091282781814522740681544979360325438221335393653623809932962413225009559974217774898556147910395553469337816473931695193326853817285573280260234553721533380974649146261317680714447782205442883576006535626613235564472521592046210600672967165404408391377853160402781896108046761647476851558958442923900911756255799723678573286178805274724549549813821192494059985925137374425486128977602678260918654623523734998401913028806304374110533161088017045288862397466080913465014816839002830736814604170106876405919263324618029053888428598285037399663342513598588771264410693324273386468994340176523530278467557038814149308521796347123164116676630230519983789657421219803195728982756676149458137332774558074679217996206194705986878363120519223989421305247948362761360993278015698496451936212928684840538702626950873076306717598375361151614035165827455086110337940422721168927342625157499523048785153857551557246305430075155177877995496037664002953692558787798360047635554741654705358427347521358283506274439297828204506051168472252605172534188627178737385477602455465372130682239476647773257022276076496519698249791190940188535901457117584483646742267005284634619079927944034276537467146781202516816986611213940600388168857400702932005234931376025516815371808810195487605159364378881712129011018879455593431428082959102651072580487259937155236723182631137663515698845333044184949891129897801758348323674555820702736650941882534324674729115602591859695093
True 27098777232150593224754580627826473284551254864800091646755223163387970420695680558220800583897698304128582928181677263987953129019125655068706643307080549072697788035350150951429821361617194027940856452648061108464970630462105883235489510905883766556430963978917564198735925846800709262590909658314006807998027384851722709914183155562830600841742027284494392426664235265754137502589691248391401657251142570427494183490513741981887448128636179153954944029939309316560616464453145508993908510668848958790831417069976575624477465508633865300667244561942159286601453103005012687051868327848897307657782987142404439405759806966312841346983244487351745025697816302018739494441718257855141692946034644143188983529254723508810317753183233554412748838533043202632070060543174927002522059675760148721516555886126402896094894552070370132536435370482995674334461868069674524438262130131196902111191199831371534136907972387164735075493046406713525623600497904843526262049947882261641957837223041333535634453445038368382160557601444040582730923798570128144678793264846497257815349142800101966782890134697159356610327421109597263680068409164950772932850459885068045197473240817387624726835056955190243567635854998716551841544844028907310112358327353161602077245687270123367328805073811329064082934511566363790585203569045170926743075150438816044506107289218356190723700856262617222140298710059918267599248080588893140787517257599801270333731116800433207014838477727400230141600310415774581444138742833988502562400519660827626890027660598085899956951216097667086371872745262559227785476176873879856455093232860564305753025410630892845712524038524290862128842377878947260490923252435116457710661524605782916720503386372899808592183708879449827920919311968824516052049742799341113306091386553897139610569341368204181988849270047788853433935963474799708325524190082214210761080267414866332108824414832296785047631928447288606670912761503025298483115760043
True 2875887354856381699252025822008070168915131244252850055470627228321432866254394654055713367902043833934514506057531752786104087129462063522121086168451799919456125096300720539046396106839277811762827927885965774106115175737503427938416010181325458290030772761520129218653188942880295079285936690926479783678236063033033617728780113205372838417033568004048322939724864378267934682973331257913009852843044285842006404509431441532804078102438453858070682067904483351182625188054634819937169607665555656527914893399548322375361817249378746122414621925818273268569520945127078766028146265929680094592079469919502084142611360399708228180565169144817395799034959337743127965281000719680666834334357107735312535943709823980726797621692302677707435489355724883286259396630704359156856501425745162767347610147806590177963926593659758520629063958201775190068884880967073351943263332051284181255791037717958710619909044518354946948205607363765461724024849545233752055401055948462640730055063200938691270542845954430079975279424081743691155110875277365030878023595384261220936290518658807808883322153966527948706956943750256615108669870089721936074676092785413400738381724143887085922022510203936004756241972515005871190188980827634227882964402556206614856377995528552393796169975550462908877188845090539688875098446267184157409238026612212027999351822852753278365580040562561537762683647361523155990603702916004190076764822837574655251583280466492355002436443343224837095160485068822845459734045506818890514332757027676731500444312919526221380765750084171429380427375495962941382280151956634558274851822926468388680470351383642426603682209754737807648807948343554137876351577796461908042116699466053950406545668235862833849841871081583851275480876991590544137651618144772689834096778806557546818307797896901531087445743340435347884419199529791233434766207701102907050680806450698356558018056935782805255674327132685553219311111298536841024878102803000223
True 267395948276804578632466340787817162831654796006321545632759336149748658108330825125480985380269797548789305906242538883508568410392890274775162311039709711550722851025996243073872216623123224360667265624072576867180136650356005427394064611038638721812426605621281714708019026214390352322116417059148950909627649629004247822954666069142680919105057853540787635127957355340745714109437269095568429041505839525217551441368143711543173967207854782033362871643064668003047866624028924790867330208443664910720191927934967894296518838033498771900910037535423372935203841951980056998540089084446213300952310845199109619988887790188573988665453511303575477767399781485729603649062794320004654644763650748527980295692718684396341537226147044364311511493035815476853326071357800166599057611676770777936986395689053450944830656675537970711535041304575160147457727487411229966824073606590919538130620899739595417424061755292009562737247323887303831429966161324354267795256381195594773483034125312019425868577209105076878006841467925314362072093262356749948616324196679185059432341944879275864227473412400968535931183532294096760752131826039515220915843906088274207696925764070865857489237631313586228482282975647680264441122274385731544734981201764818664238323418351464836420760688784478755585549408353997212823718579101355097361766986155563774001447119069475502098149368340847863872484477523132222111258321286635162581094923097106792685916266061068457790348375378971513761391129150521386275100870964489075774023353313215251626160192646679714942428150335886487155212619703458726547001360271988904997581845619530800365255317916532161024796387062245397386825653474973752912356204073460638489114127832032068325173879976214266572205488490874730139261055713446616311800560250025594826956462744395758878458752161891891356156935955885240344904217397502722886131928127034364112130618632195944364818607903927928589923192621044090309915821517849465422040577226769879413
True 21847243620290711759939321849675219762455007679503433580329643435870013085806967838042792899721787741566227590977758634588864224398796892580288038973225010581498725551731022816504321296479334751848699020842032142694571282275054700754578658394274488365038806508986640999137328296199099673554189019242484211033435393126342336594040712397597022828286130814583554035588679751668548590473513619912546207587201734491244196869209392412556526405264423723700987782645585263359385622490722807678173947281862006525353695464503881926583913953878415174692126282281919826639655801538979298474886353930826228354792490098175206253118169943194227355011977364869170359282748822975076286037029495026121319507128069263874258461824255801725874383604110782246486797039181921369588566739839561402387385205151132496481508975940522096204811677384838145584290660613744655470396191946535757036208284215858065438129231749346358860737434026351677393467213657157297917471945733444763798781117247920138529740758220325230630126817507667953494204970937395989369419076033867705359374596474896339915745388235199257306624763814345168911373927673587544765495903638115066769097232516872487990993400604871769236159119177086186780924648390666303165556090219818094542734910839149546207653940113336376133679766769331458349033333991946795617680942057289855927909625172215079855690810838568455607380116460072609061676689121132182917304117101116127098924192603591585593217706315782967785507162795950089792293517831724315392293140128585618608975727963175331519744793448052313980451317879219493266064755291140203525335612210024720685556201837305896466629257163535807681496626704240617060909842557514043849174210613334031207099898742454518181966381631429359488053304277005651527379194765163319426960074665680539234940455536016480965038835669564697688465153970234400856966046856875264524265909178846023531626388891228324572026235831560229985653973184235888025313039541427173272581482401064524311893711
True 1573084126550386448693977157248194513476156238691669666030699210629617639604547940362337822878212999968048055626530748929894231592287957782762972781884274633685621142080979461443376665630488471167387228413353981653469801193050450583032542237033131714862344935688324161281431695923242715470186779598126853247288901121714402003751581928515235771856865536282156294983935746612720398396943281455676502480297311816472612968433362902096601279019028367967666338234646990920519093541754806590261269508509965291173946991128120677521077325268346877619902873984251723614503636866815097547609106891932440781862944923158734994564826007472020387166405038457553736685303082180589251095890962291934163485021636600247820692127830333821207746955909340887766135401878058898313169544920258988432328970213576211903133545579915500229698965851808185202400205673942097918585981865866860462633149039641678534918771939124088799679827636319657475601783000315067891530993141051756995900000000000000000000000000000000000000000005891400125515231250278736612768875016014405069588673548882986131952853714456970492391070447413236233172330872381989536415338140832213662923472412746596459424935882571293282997473944530228153440877635652761348935245284123954342691409595722025147245313608831644442594677071594757462723440134928237162755929714949786604208679764680572016442352421497102022224073033996603278653697934208085539682402756847185974496424765808333025253752376688615089513991077414334873074165038843432388928317741876447190650583048459456071414170214516115539997314930895266235711689968462578882148956758127127236177935840013417459771681238903640112514329276031916312842293067129474009712229717590845084949947008823528182838161688464214661320353905568292931421113053756806586021824218022311158249812696954704743403833935401379274256108832092408006246090901849237574107996611281483458489460420085029859942117008692438529783418390243822136462426483959607889849300215064571698447336526777
True 100099916087228324500165075661379089619776820921885750849335561495694536546818822517877477989388055555849263941828071873647128570565913536748489330347354946533037109870716478073566775220340718164832956164239690819453615727840469389148347117874473567658665925297764411119943466356758734258613850506741181481242827140166421669375534384565029197712774180353273881142256067653879799515901453243895121478088602247721706674659113108990419142764401032523192265927880266737356045811238519981966974305270180823724607091238538491499470882086005963816427184967488052106998263892008790386611548035580037294746062000337819165087694986269430819040605454027262915033587248594003580333033937865308074285508594240043948761416608328060508800399235807621841780363248321502149372893748587978107051594569920889848525150505105629192587689482035841988544948713622061608270377747691913396560402660497756561442919523978024501789377685624900208788335269660799784577860026806237651237868712607673247041294564942133974040560494447668118743370224707361259606535864265847184392071285265178746440474741395339228882425236997047538131101682241582107153978339223431252145802967018544470353050178305847191671762907367950576661595109844694738680178140580817076411710506369734153009432106453032015855283837080475406796172541561810972725099125418627530921011508919009024451091499719395342186571957137549299133497488440306172817664147874108738177626993211026559762396826182878347499018853303221042471778742676327116578752821183014827726893696577737278515970160252644075507559986868597324310199175873783844433326205089198539012495382643642627994970531767063630920267530283542328706552352750014785480689599869614930591400675471164566326364858521576809114338466890283213368577803504025357951993421546545758811155169682829142891130892487380907673739857645078090795503004480246849870912167294731545996073987808172378715026199655397453978591722495267474386666479551073903445401001642579074280239606943578431
True 5644366074933092905660554601305931790608181713404059537232234204846214146955973867156215542843547304951948795438240190614327237645367611572839516524108059069442377233775552243176736433509593534522667004459099370940684354903915617427425742268490956734779188402708263258994428175246540049225870847888285485918771263104507736638746362810469410542487252090346512784929031099504004901630480334543571025636663144551946162733834911882041568992458988992843284702129254744102139512213283218265985270781138773097739561401165338838190104303920548907704565108732619193788947851253522510363068054231937314516169465751031925110317844601079249368585627179516235902371092472920475128551171298478171171985193760237778441500395753911712676675582105925180849410600495370888042882159383437833092926976721381938481557832719466715505157926204626477237878064816687650666013088536777239724267453077341190460984018771296692458103048660975597014347696380587379960471596560990125019801927325484973112509260116075810931862478668973713473212881459483155974424288236929592855269478924542197855549252465535171044495093688240472653313859240454763265034885489865902661072900877712692438815235770728068229385088387747071877017586395440557961172127198637586210753125175645967231221835874238652150586668794735601199959291413817092129033132656586505396692547054331213139296480556562024832239836358853104592507073813353924479347867531145828599432625930440546256421723865116955456576123904614608771489139699115729156455336078406474841135586059406163304188297099968222629665971442886346448628177815884751559321696114710209880197158526024454495499171587479604117027329019295381634073048007003842113753731712680195845909309123271214200323319586495835221206226261850580127620629390793515110118880077200439453228955264650677093992827054794718661583617896418670977334160690456932976215663034003139280178665093333147449729178138191471568034707298903587708045124581226092340311236235817894320763060507616935972481
True 282768808909875680572734529713017641668434775015026594535479073019748728470074039629078799439976394754184768563202812282602075794594682906976120585571179786144066146199390301653795966300330370288912592998085487793985302779735484552587330775445246503501095424451522592886814888875585350120394845267513510769859907864282554636690467723061914866969316969958636486279924684531210252628849581624321124466498952909656343973429244696842181443690213420688577152731216048606330225598141919588562509025302348914249294335781732572385506528985704965905031556924775593318434929511126996619953360991490630505261530152602526810073433539645355901370586961101574679977882606916462169342931985972587585357460516332236336517968914637792180343409219275399509252612213772607388365767409854873943656974321508819785962769201922919011680077013673622419792500943668995898263870307304716098021663101612927126201966451600766063743548665608200277074529196502156347976694843042466354861895800476275851681416700974204031164710020487092982085458616245740438303824031144799714970249054650818140641234915676904563678580596563665620710709179161415816693468727201767919460835569101857308722526428206177008062614862457681398076870416431099034722046790327598431330046236058295030932730669478867780338889906396558156158730864170949752993704354657929014433356501200469447207316206912763096604718626569752423330969565156193452108436367323085933348194830665713296486884635794329630857247798591129214078689946015524355818029155409767561413154469072025828762248161850713214547129283842865467510257225251201804722991961222601235714423916667202161389879040106994472599051615049603788460164926670786658253900603411622311511888347796242415965640209901064513155502423040163547223491257989530505018248101646115273887186207637819581852102020688861071765764559948777201646135937874133285292672927855462496621414805773092901261894553177960991875423763413533382871712373721205315417065672119087560927469337094558515226804167
True 12617736489437687403905155212782207346963652712883825681347751705667795494725095886797516918106542884761488783723050361327400881851128435786715935178292821982513907241478698806813497838650653953093253518054482424130108115534628020417922617971911176551773261366171894184190237581778226436876755669371940828025445453382148803395419363059733873676984830690510599586524671949725090365931929163377479615361706534269707217559626409823092919160267906132719352639544655871515276064006090188159205057424884365634927055111465860290770593397909317901059244072839637190446306960692559591045899525133572862213873200631888511343399600717974347762265697508606526846606761676922650258754654935102711041507347724774406705096530475919486520583227648217330591689992553831636631929021687772698488648541658748030865147971739700823912970238524881130970732343842956918402062377276187414533476787705396257827302184798207338791521820110810722541161705166918417607431815953959389040408960623245562957985874875830062839024730655216795533688724490559390910015540441371597436552530362951286273583695090824939708037291210629094929822728344095330919111702986444952669345119893670294282476572712665833093309875992169915738315406875323526095153162559193487379688652031773689018073391740061156503921893314858554014642047541769564159521848200197471206589704358299775833289141774935278446708029996609697687013153179743932392894881124919996623552498880453616033610188711905065021002283688594091033883449626681038605896151745944764924288492018621475222821406881188576497080351624881138448902121209281194878019247804003335798236752548558342352801350015579691443474496876438631236842140294637990368964593280454418462206538633923675311248141232142314385886288206520971359634191060308644913488640018478409805373204426509830802214407238849076851899168976018426504700356457506142606312488249682524286065798580486567330748609278288638672116402760086149599106129186552869484113228512345856229189685922581740334726322681377
True 502723161035779525639012062473336601930186044356650189713922606831608864063732205413912975491498291027144088554733612484850763529742031407841140379620537830161001927344431026220340929168320231879479800745359313303650854352579794885633865820239315022492647104478270796082806932265686880273964180555884112642924724086884334638346811384097606045665806762902819337803370027584831416614815296165453749155216923488907345646557438751844345927144944198472693214574428647887664114298855119146377307884119471406791839261017054630521324617748287132124859018689692872254181500265590132700706822758649591410046534855782834043360671646693271475242997898028402676151572147276166943180622087723665550731772302053084470078545621455576382600013192021837363854898163393752680330417544699837448711713647687606799814198650659834737856630412654312019791946306869623780566505340845785893501786126018098761326741483773282777941418842198243718488617705779823551430660091897791437396903348845719515125082344024612485190079779198339050830555424866007376535428502468630057407482094767692918790526759760393837500182148978058872833172970842431369913809970493655048600692454122344727107660962944150765304856342899197878164737839037218981221793605223363948975847740266883605285876741367786692762554314247071801687202452009211236135778915028939268742003343560453840599881094571093636352643777026999801965983540047243727541664895624564966149051186765971637299647659444799821972737117857495865785268640991779098590027773064451460542742581000123311453845955577727902935921943479405055109829757751032326643116834460285662075297500154795270555158899094351202157065750386097251440471007350904434176242376173433543639401492248582827115383162787332792232975090824316993759195777228039630910320069782653714220385779021995080770511886437668325063107954410704904864189138837655974351628966282130157523456132751371394011311057102284486848702992885691472224732534025053788877275864832517678594679322378926168456348259311186307
True 17926861888033860731042398331955431943149068262394205017587938210927512779619250200752568453311629281155295514416284564931619445574797824589055665692151724178057998291121367935989182547349639314391930888609087286912620221097455439646971606030252469120673895490235286347624574568624365910147923469330808662321527064608595533766209987684218395203113154100181301560708041110905441730070118750710064486825522453757585568214869593987636548515424970150058355743733609926912056893999430530243025681808393742590059489741268704891193517437830093988608992281546020255090938948906956917533631361937615009390404844230217797548644601713527608659723591141803093867383711156997157860901367163737780728316703655395796298031949356960480174215859077140367328040294296832058624491089418927078784577595347327026585021693128858132886406451201451668293542115776413364928876893872075465029087804091655087227208421240005448140246062096921660364041161294446983040047949716054238374941139659273984436806146537766743820205851285053787044335759889134415823583079498884569412571293110880831001494699482072563531817401996709858981310332121828261865049981553239244365432545888321836104252690412033763485964485469409907218338059121954529492733812826755759329731260098152006007823587133656717779398440013713937742732996531694582659364384594526804185275564494410744045806191231039265173692170772933850391936684253077928673239056893059949493351892035262696371484409907783595356021283986826311807570838294061592210329027424881730152195588903577948425773264285358387060889108289255280904799303410415104174117643047236615891132088258458411494791491261680096238437947249464605941286312235777589041247558328415099684733358718552650681065749293436523169134131966765294011249700004020522945495100913995655598272853629736121207557795579200833322963661098596265391356597261784915977483376603061022494684263325165923529784524888826449725159499554474513516886611982074958345705194841756073977757718028972653011484394230234913128267
True 573463789861147951735339742499916743956277497002047677410645970052163781516335107421713456379937889526581281470156280408141564977710068740672601406771865059260878017543496677766588182727594565440234241773244100354670051054656167789787235894126952605321719299901477868742499469536317273084183614234901849785743704526206782069249661013196293119723914242232751908757613768524135368112904184428001599481757330805163452757779737337269765186695470967214966923550873914889466486447977716823516128288027333215639438579125426998379182691266859039348279786958309175629494370969100041234956829576739969697872812384876021801182195613923895157761501621911034905795210239807039294192079291337353539731898658978729396392847015867417401001331804219071316670591400980786660862847554026235899550088412031738091835299077491380678494415762899868937210496479142017803807230212140590624101269857153076500716850109991935824970525838245147860222845440296154873591263978007353388833681976090639892253365785383059720959580282440202270015753189167690092058416648315970927006736199091336248793261189722901886859229974008730171798031847236393804765108658034430504092273978829850665697486409950998868900435117888808796801212937873702070041030588192875295316919514043257460807140584299104093511589980289958412705717874311668583746570536229284082958387374357153518299092291610591313319500135843744725344505121032809492788539372763610630198579820632806152063743360347698965029882296105401381247182113034634706672034532167335508153381831198121654804664108131478142712109853777515708825225237043162277154908678760757766576066874867416587138376570480168708846005677352773490803551827385597587188100959671906504971205833737145161340225496538565388407863851327096730637298216756997072510218517799506557433103089278691168016537558428372147884121554801682506984159401979726594631106303839882059733232905341244159982800497066065121201104275198077249392941118925444609909561112805363008485739005146320872843073776419088671353653997
True 16493080100716365212019452417960400213557217641112094957053530454165031216253104999615260646169226424310249562889531705389375255048804485080820303369735195083640171275026464943305406038392450928816325785908026919926931621404545561025890064033547669280635618532277251064864368527447915127740597227272433650411289045860797148422695261484984861292680550523276860521963913039191771685909882556738222778538921776304314847050596453055735805839792513893143588550872138661629904703790494121792046214706952134487976875973828206340320781080773331080833209618617812147892633545033168661419362192396826088061504409360578821844820460609663627874156389262031388797696157413964858740499898573880046038280485409740731587216886168812145687892021998791522729240275601819974531396820983618452202123242705480643791825545801280381472439638540633919995912494905519808105595969761276628396147251386564632336002232426107557001828618077912705138270985661504064820462724819931113432066494112612485069330291455730236255191551168521665051800593496919022574231801625023076821643769096697108213344396031592505975448168656795283294784742219824410913779960931939604946623991272326915053948967489196128273988482775312185897271415798434963115088694307176699365483099145883422420889041375882994707155804726446706347145312089615638598120077462146266288546285085965614915620520762171680778820723780600916926157403772541544520185161220913313657398757330296486383771161374375051933765776898208320192997413526575259220902630074998782411987059836067362237473944128026667870559050220902941270562897680986637466387918312898912843264859665613626983242783815861672195224191227695230464530260805416682728848786543864214370358428626553964382789255522590752975213718558646309018056359311877020207813178830473032097566071482418522291677736407816805047486612414842080308159330134140565736286371885993741725616055082610906936160220304044362746431669143945058798311010833302961287572035621476888291303051835833495405478727148189373268120537526529
True 427395349365516684787465003489071418187681371527157580204135138792461087478119538306175006706394433812634959564849228455591465769948998428559168167036833023658338932393755448200338085271887474735808312947175424596147560621774746541539316280419212771910477219805059579394947078236121762593377208586744649181558145866032619997583286741145687940777081063954204000588892076855287620888745392814587495599094026602733107706150160556610536294466459093690573586523315322879037669163012191125129325539688872150269544745107513936345900875952922172025656568369125641876117386766212343798281709554973338265364352876814461224888197081950198078301084965723611033906862464805136333622384072405716944680519788225278442248673811671993062652426167513557549450629053506832978198575500647869590164027540863760158853235924622586195378201974455566699948878230449581496555287848729049846373779086563145472260671817327080902879990638525387711510072955070799098971556443367214050860200884309284968646754551944497960564280215574618042575238190897837434915687074429811496447222267882580275845514772634083653238932555946146127298332112356678776977946131076268967604438532577823874694205596763491062093931475357507497069569267392779626092890015768283859860473475538725237522883987622192966861340633963445765987990008462509420855842936281195560579313365134987031696588153994705576455171527831036961784551612268678562399304334887973102421255313021337208493273755405537497402143085267812716855151151107297369375237225933535882198772893465292458084583619781918910675667736487564178155700095206340561529058257659420033139001735074604224824253427799249924467875177879042709106498679359064077709688166179977056553119436934687329225526081805505625510040347251070327380720932821722384403226526990502477956560419805488804902661390480659710988978834125030095989118582470596342571678510208360699933792174316536442797487610977025776291086026658122988188777611553448411273532787176935230959603603020230268368775978430691889161272035255657843
True 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000012599058849793454866366208853771531789830734526018058332393143587245553298172971065134944415821394881854532364059377275426909081538279437330360531032253065209164543992867389533988645378869293054521535540437640264924717218337701861582638636102002300761706857737942057248158616439351733615199836131168826902841442481019202080651018221064357379631638091086353960612037086689323249605148508649746799076357811467906643511345081362364422769127194021649235153662464913703294618822166887983870315588441106214813409623059821730429508312713597404138622930061038299621315223049018118543690792855608015612739559405563526231633567659823513993660051947175244653388412777513680082032189703483369252163149601536619636700000000000000000000000000000000000002856922463537929582277227375345732094591555555535079016624762632290966888272871051303369802093098904459159320253204379186526498053444334452460982899911076193329258950403078798287556749865322990848897855456667343197183608335096725513262211244819036081998055736478108166949284397076878265689251779501654371694034171210939040257416005104266296652730377726248639357420238848425131005515631338619893164863620992219870590930826084234217628858838501125696260029723476705968858121542128399100716160760517497248823653252822696639553588275394359123882969533179056493207692390580729768767039185512105650979471018088025717809344853975486750969077190034224330554543643289289619653224101706795809128022658915819243478005266759549716607234448256309430313207749969618831846158232622183434850148402756911211398935776546073125564968263058674825326783859946967176752499817099659580009874439472122446447633795154069385146723461311212946114632184436929549324948289508772975326084978669
True 211687471941917966650856582468343396796441954602213624972801047876914661342039192752978199609551335536306394582488432121996750544674833683781085381759523582291499830796430870822025943610572473059528946260181333463297331817560865463553539289231674935027478330153503270428179009727092365713004444502119561070225688117671621178577444407218586696100936769306366283029648290374255335527470870372737806487745475921030402414933787774983151780614709102984229048122367935817350680329502146403045745091546640104558435346055631939562874803942544098308264241200665279424680519427248232406105910955114319547370867416958478959733378527209513540455778487027372352390046726337653340337335397407680977142596796053105881368601830759054439274339456416489367760354047965138560268150489315840372856000570059636618424144146631187935138464884863963083060556600313250273069889655371045040039267259879648947179561050586872408113346934132977860456698983445157052211297847354177929668455089656001418321206203397205107761391240676582751725875310346840227268564863758319910058728961275292259007721520795054384462973711460778731479003270917236754468639893808982809978538715902124598624679980800640384359896632678058742685268185330116494812866980305626611605056234614930569247232324230703128176929748250742791986263779578577845448010017061833579712739653572179234601609244068227131680631715687274009692430557833509009543880168434360618216972119998660344291745569058209020862671452653563510266070832073692477444557299315048334351454173572675344372495339057900841315138044630615639158276527374126125606354258845649327165528108727585709161522739527681657599190310737793391368419114633400986762789421224433736221987981700570519099614736279189858526733427682943403165863385722716038349628531577887555111175806729619275909895202835892630136441502645160123184906274767031212740504579039399036735320862063926096009321268950944851979340993963792813382965857418623204781852313823311125279882762332391385558026759857457156077610604613514567357456891
True 4062299446912921441266841635563630726352904786571643379820269611740908509873714338718597744238120937250077006380913420565437688337863205553133933012967503588076810001392398436585807904955339921098688338811880278806493642485151611898948584656512475121277987864482087315164355071866850806312572012677436491216200475577317140849774522715852649359207433838907517727690272149586958968602754202755112795356712979341087122549140547561938666985597432859608804545102596886818406731709672082052433604919513540984080453368094788548902232382808569565452605750226909567256128115782119641303056118182196110189229741689625743025213492944547720117181679699427019756833150217648195231506245506482782236394612340963338284064977289607181666296273042850967999494673846461989948446097270451197764603007935308292811995953811687671489610731072295890922227195197301701373826996829996657901684277536691343723615605691237065162933251414503870919282579268979558607392914393875035365471370920445823235141864020885514736114554497065775530833384073199169267319157571275760183541064457188939003789440333652448472616711162953378070036492064528426143093308638779359551361256974552711866149466263120323029283948587032050176983665814519307074994415993030918124585448487402732376294672936525488930977902768115908872135627114359333650057646485247147498239878491354477807956595821557658715023738871339783527902638573158494466293725270886555006050158684775168007779176515945417268335809956740414480752939583784660958763835540585589162179930725402856227556955235327521711398669778577474107823601125728886741386438561625956960967942597567173846730942237105029791209585849022041069767803030260552343421887538708912923848071555165488773617661508117833145771198368971302564714667062852366383442362856415991112540634020400866289939107678291446496011774125557666568666646824626810428912507888273495273747362679008819189039202420818209782743185589488626528674191640407512672760074677035554190083621696154378263699776935849286936504227832620021375988341429943
True 70804674381045329016625801027768123402120828670062654168462472131060252678698707962857350285970511213560262525426508245856647954643933661987831083453480629654823575935877644732740689557332502929262368536409732751244688652321147053103933764832833489365206265143242043219641911360016502724133480130583623788020379543092255092569053907865729552964006841778611424971036595695367584178487544923838225356552744777330621852536905514244592726201120036671415505264055784729673359572520859096135494985718095973993155261313539751989088777380254371873392428587385032483275566239902283979134734135642242091061769455668526919395374607527047859088703040843289100934233419399059388229390980933166937316269528290579963264252558452004505106736592663936695281125081967027036056796552743191410076605415190633164971126508292882000263630206373199095610775635388459941629919897349874123454233065722792265471540166971819440616857861077363461552061973716290117079802263175125189794396400217415138769320494718959602406530856061569981089226148849628405108054984300053785685493763170344369362777835699126131746986400331883165980791625611398783502196488280222208066482375154366815569065666963819175840822740904406139362719035493641697384841144500713353389393589883897470401189676461527017155169281207296354272759233648214274479816358227668735237404750168247700869333792464113080056790119116495183039395271706244231790489524683752210093285614669585594421889658800024119705950474011097207119523915276164929981618575871693885671430086253478668406661809527355301519894820502944239239455055026859298111225172130326274299424887916958662117648574420556717198494731274403914335198663572744401732791306683496427071360620529765379967077955303929888051795166621491318055770564115089895195013307568581614669604798447593108689415973873310241450580945781563672310804149961751772400923524584169408884775355651496156338918183258948067343467761162743150964229244993566739268629996827898509535235536666199538666001845150022320696482849314905797219207691079794523
True 1122981593933212828837796106741430273770654314150327477263253374574727078102049535781659963023019409118482844310741868873467063316844283366310089645695520397957387681422612868741875240739690937060547094597095256613237885504897029710013298345137576002066943048222520682024120528861081123660358899680477519988137937707191893837274815227432096272184470458344409891548753657891232498985569334946132421247202738940047550307472939173805693824673214374219060670773390345440969034447947796966672985426703735880420838097393037283925911535058950492992065904911241031023331994273672006938928601926088836856625851059820233065580997591744748857752218280630121621198936572012471576278206270254329638616064455216665401993722815792925717555469316763674137759960514579857369771943911918475818052811015881693364897747416219613451101979336805760572752792717983355990288137050379286262221160210512329513037763127546365673522892440206725829101631182009360596532321992974268655214029535370790542734228495382589106241886832530619622807477693118114199454863610228681988550697779721587652894254609904745369188493775558600954622573652021250234667873684002964298780458172424558200439200570290248924171987458995828368699946343351321972290992515269137213460638595182264830666939041611169044943899578808527799214240883549952220916298558277534928957493360948772133586336610671911062988165198350631353492873918921819018258312669689343296926175058389432579411639014204208774846940010713962574642627059247211426444004206940859243074810917217359545757840112840887296044761628836999455361263196106471806148178257081974578152399157351524095987735354206591765043616391950699633259395446894172737777952718433148001775039169697778752892935093315429732789681806432403053360104565655387082106936204244749529544917489278497291071748577273434196127040771910402674358011977530022857065459542409645305275455730425331659918994633064050911751543302162308469261822794397999219714351409802595859680282227641175978957447242317888640966057319795509541494234274782480033989
True 16236348667685236009337964180211239978133820436796415969952484201873931952324771510561290507095589193804838520171704022741075401113146879320847370242419612433355202393182051540994730195727028567385958586337762125629603163119966187164589767332660431563296278616149090998553348189280535866396634629984095560292273231215030560327371605859948575945055425112368354430428125538571826282424100069520050342329389219167821809735179361042521052281709513538045254459833869907316000575793808485138958122482165449942545361750095862727294996103151492668712799375955841962134576221561172292412566214106685831581416372043507978861947334730343457362063336368783288198810476034487961690038217603395896700372069044564720419046359342478794707715631341698747366059951263049712156397113833336416104565302560796410580517073262179345334425808383255139790083749987286992121523360416225450791579587123444884769213351361573730641364541347555143967960704641980182832820597256211583873994101554613896207656958025587157726723107738430847447950025360778716181104670680278921273443269535779971561355660008325876081540232746210837955990970443196948725059262244071070175134783180797397184242858969914981720850566014569498210541389803687681308890685427505340950769906541577598435457801742364161056741346974035661710965292367730816176518074130333618762446092712514145653401864729834539017320879266069023188666598981986103303359473677821692880924333061239659459358265570377552283815566669168660191891237548797620371962286116163445861455545891441728166013340655557022671203571824418200300028357561043823140132022635095393352418435391202406836095383612098592956860060799167337593633828809255282431651062246023117906287221046436927942828502885414985092608593351982561687912863263634304896947453462982368853197827261244372640355427579771109968593188554814221853278772582401442569077002903444095430443167358571794628054012694880934563236169659212297006716274607040634868842370066147643161040051764234487158137791145057079043718529380591183380028460284106087601900089
c = 1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000125990588497934548663662088537715317898307345260180583323931435872455532981729710651349444158213948818545323640593772754269090815382794373303605310322530652091645439928673895339886453788692930545215355404376402649247172183377018615826386361020023007617068577379420572481586164393517336151998361311688269028414424810192020806510182210643573796316380910863539606120370866893232496051485086497467990763578114679066435113450813623644227691271940216492351536624649137032946188221668879838703155884411062148134096230598217304295083127135974041386229300610382996213152230490181185436907928556080156127395594055635262316335676598235139936600519471752446533884127775136800820321897034833692521631496015366196367000000000000000000000000000000000000028569224635379295822772273753457320945915555555350790166247626322909668882728710513033698020930989044591593202532043791865264980534443344524609828999110761933292589504030787982875567498653229908488978554566673431971836083350967255132622112448190360819980557364781081669492843970768782656892517795016543716940341712109390402574160051042662966527303777262486393574202388484251310055156313386198931648636209922198705909308260842342176288588385011256962600297234767059688581215421283991007161607605174972488236532528226966395535882753943591238829695331790564932076923905807297687670391855121056509794710180880257178093448539754867509690771900342243305545436432892896196532241017067958091280226589158192434780052667595497166072344482563094303132077499696188318461582326221834348501484027569112113989357765460731255649682630586748253267838599469671767524998170996595800098744394721224464476337951540693851467234613112129461146321844369295493249482895087729753260849786693705728092698851465492392173730706849962492312165961662529820707731485622820497974355592727116488110466260319286985502288618373349234744528212184883635541333257089885232474281313220318931709709693133709024936447337618825480333372330490460254399100556222506183678193972395584173595952332514796665024284845488485644568880465462425461519996887400689912955194273736103712603928610453499609186143051876060119994650545266941482034009256686192474826167244748884382927751334608916300450757131376506792446848015950986087309825879656484491208770711299508536138483156405005289125879215048262580884594130104731092685277684005452284638098913830988830807268502167793938868506533900282953922794033452518766212590
proof.arithmetic(False)
for n in range(2, 106):
p = round(c * n**1001)
print(is_prime(p), p)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment