Small Pair Graph Data9 004

Definition
D1Bound5_SmallPairGraphData9_Definitions_004
by tp · Oct 24, 2026 · Mathlib 0df444a (Lean v4.33.1)
diophantine-tuplesnumber-theory
Exact finite data for the small-pair square tests and mutation graphs. The named objects in this bundle include PairSelectedPrepared9.leftRows.
Definition code
import Init
import Mathlib.Algebra.Order.Ring.Abs
import Mathlib.Algebra.QuadraticAlgebra.Basic
import Mathlib.Algebra.Ring.Basic
import Mathlib.Algebra.Ring.Equiv
import Mathlib.Analysis.Complex.Basic
import Mathlib.Analysis.Complex.Norm
import Mathlib.Analysis.Complex.Polynomial.Basic
import Mathlib.Data.Finset.Card
import Mathlib.Data.Finset.Prod
import Mathlib.Data.Int.GCD
import Mathlib.Data.Int.Interval
import Mathlib.Data.Int.Sqrt
import Mathlib.Data.List.Basic
import Mathlib.Data.List.Range
import Mathlib.Data.ZMod.Basic
import Mathlib.LinearAlgebra.Dimension.Free
import Mathlib.NumberTheory.NumberField.InfinitePlace.TotallyRealComplex
import Mathlib.NumberTheory.NumberField.Norm
import Mathlib.Tactic.FieldSimp
import Mathlib.Tactic.Linarith
import Mathlib.Tactic.LinearCombination
import Mathlib.Tactic.Ring
import Definitions.Def_D1Bound5_Coordinates_Definitions
import Definitions.Def_D1Bound5_SmallPairLightData9_Definitions_002

section
/- Preserved body from D1Bound5.SmallPairGraphInputs9; original SHA256 ca62ac88f6fd92ac6c88d32728f23d50acccc1b3de5275a1968707cf69b7dac7. -/

namespace D1Bound5
set_option maxRecDepth 100000

open QuadInt








namespace PairGraphPrepared9



end PairGraphPrepared9
end D1Bound5

/- Preserved body from D1Bound5.SmallPairGraphArithmetic9; original SHA256 fd1d6157d4b4c24fef10d7a2f6237fde1f8cbfff05503e9ebe391e7d05838373. -/

namespace D1Bound5
set_option maxRecDepth 100000
set_option maxHeartbeats 0







end D1Bound5

/- Preserved body from D1Bound5.SmallPairGraphWitnessData9; original SHA256 31c1f2f98508bd3fc8b92151463182de4b1512598a59fc695daddafd280d08b6. -/

namespace D1Bound5.PairGraphPrepared9
set_option maxRecDepth 100000









end D1Bound5.PairGraphPrepared9

/- Preserved body from D1Bound5.SmallPairGraphClosure9; original SHA256 e94a9445b1c122ab641e2de2725cc3f01edac2e0681257f16ef8978a3df72c9f. -/

namespace D1Bound5
set_option maxRecDepth 100000
set_option maxHeartbeats 0

open PairGraphPrepared9





end D1Bound5

/- Preserved body from D1Bound5.SmallPairRawSelectedData9; original SHA256 6ff0a988a5e6bb648adc3744b2c10ae4709041786930eb7d4d3741248612b9dd. -/

namespace D1Bound5.PairSelectedPrepared9
set_option maxRecDepth 100000



def leftRows : List (ℕ × List ℕ) := [
  (2139515309270108274389922046256253120542051105094280230657489175950059072396361707875988251852574909296973349880274917077488258937182183881103522188710575326758577722813968698636847566719522065931606369014411717164587385815560156071468181725730997827173109248863469610464214992347916465202351674303914350844269801893811415822725, [1755535510561477254576241064467059939647226137768555027894409699263833561599914821135169412854031466105184608020953752422820783045610053133977372774527294844620587144644654643321370515536130512028828516090924866857437438858396637829244714394910879482328666854371670801220467071762425971584957338146729629382652036807008524260298983760796146175932378980849938814389871883825223002876761547377775855437732012168199696166700625758774082662631332407383361951573556829276679992168969842281809603128420857391828271823106035, 5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695040768438162129174426373990061690233361731166877243133689372072017131481654227256029211820395557911681992914919602315423, 3821169135707818491086682245222655010272875277177615111021953793749478552119896373671166625129005130524489480046872804498448430220291298796095524270338750546636889215423621860868174470564066046495747975850827718796218221378448209294367936524831955702649353820653838752132957199665436468916644448169486683904602543413091004330263095223527016501804111421188478598049208019189301296440463]),
  (66859671198306827745653012408423940009080077700053325161120426572378510997449365026293360138725076931405393885907839100454682230674932407387613777453926194204363991305400306312210199376066950878339115793156332979484334757939095756268229537514331073528638790359464427577293382307034239632368714333310254545754511665567408367244, [31501806549174347845709584624632472336491733937756849258807306723186801828717945808148528080623732400038750482197147134569228228904035422412687196598726157098716008439594454771319230068251993259105933510703720019960140466666185917518786579700213940711532319164649169994087051563230669339692267337028014310116589795953599917227438162035161926280911876261020158592790745860691288221580937972173177842038743042909705694505552632646749538166072866850352707070898024711691475975848227473316071045377309097804079303933526071, 1898839844499071983217768885617666303554364680254035060319441485026282071154024927901174848052112059876816426359802796286982076630084501038999559815608915542341025356987474505435779212998974784904609216077559084112549960679334626286124498406809511451125956828320134106775029360340080610740009067793390600528847020536839489526520603757041922410937208919008541567435152901711782450624802734045990330822340808864772406038938548107598167412391049579607, 5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695039293722664213958365856873740961495626523953448679223775652248959192910363387743857768865783120347941248834401759959391, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901893086175581887148806857772577703265013382280482378715322742090479082509630843677982667487487122250801240279765612251, 888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822409980449290489271586747441386125647345657672168613823285142231312812890471228510924032353950917950269651608791537180901802530543806633963271446104099263460254696740781627716197337325470032367200699632210, 82662953480972766676341370815732534723188546964612238289422758316352766866105134544655093701984462682613050600885417875911704802877777651848423435790631893318128358889633421435372106666396379888155454655455555699108460878853801843905989491986497658181650226677867414512366889506346602685052330338686714212955125633539771747876945859, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963688850656518989491504104451458956459289601790421939758721494820581931292037097380350846621186207698624626000111787832940321588080452121279501858037176529805494203250787434372326261441916595674548799738833839177994540815423]),
  (839336560358743557119416371530753339185326524270287032715852090130432075815525763352445544425021796749152742265078725414807807022459175279357608819424756183498314551987184946644226494005536977312102670407177259120204983531455938863020642903010556987675458355968876436898185864244158976765892096244116629905847124106364459394, [10971496292882910093551569156212423794590576372048952816073125626578031247017344654779793898817491798682412115904253692898404609007738780126704144565690754991169735154864829619827596291743232009844226628873198008687277358178458186628735564164906286028694793587716855834453671843065047969192986681176467517529342673417438029988956371911700465205158125608297632757226819922032253765046333119357378691055301338606326413272455611691575952667482664612159395, 611420532853674553423874497153898594331064795856227259208596225138977054886635782696483564562114255381867786076479647910116315616767579339881466259263929407915162767222674676877406096069941718736783231978122729769210851384436305554004725323426377579033923871627652399858429932521768431969301858421808695684608968942831025942076598188898964135031756031449732621906218936314864105378547977705876636608235250375442414530911544767774550748415486149753055, 264539553205256834945324094595545152763810414716123302555699512255579945433893834410573339026153233958550585145870015646072369312309020998191910441615346160910629427091480781950861302668031906890085695378751028681597205165509698306178781528764189787148265369564903648707732416788476549185504316326320515231345569778366177276689187589035847820276148922886107263597155425019153550837049685138296850051621017337502635, 61519387758482162198815767084733770834415077623414650861534419143516709430241662175772899507893981792430261368363703848237486525069944010290916880667502580562388551890787496610005957804394853621454435864371673754800338216290091213438992972462072203128680464750276725811750504309689026043122350498760722882813855051100598773116395326610093807921215159872244906061394640547, 1483326514146186799281475087688640498047961707402317030758131732404785330837061519954504227509001230898140567047958279709657923382225825093048578348988468810666606766965297457717906021361829998225751989993086022823401165932096504628735093397111824896705418272636541068886699551107372572928438662005162088632370130388981536069122165829, 3708214781353740391252162387757314431920945333182679373504776262584006955385000611539442864806665921591819829525022876554156818771346785504278212324449854624852757328401075791021598704960923630178492200913771205267429089063376636748908968714182927377913803450587827756892740375671380079971670260290577]),
  (26205682167540028517977194170656417332951410199475966803374083507858330736234333455005922466429735635426341339585280691778481029577752561903582569674260403959509615617576194355998434974799471053501435233681777497836345598755492225356508867553151275792522184869660293950777464082339053469745958388085267356380497387722974505, [35111190746171990331530086558244152823214897883807392261003562847555314639730215413078750211743158058294564949308116099968851626675219296883735049549420924814334136858577906921335127634817498819100970220196702028083954314937032966703972059748410465534788391923453726088552734998448883716982657661579887867967069389321992863125896677704919168502192702434416382309451752255477867170717298776742973447726666206833090849262423922252930627933428009433086492565524706770781301054185593862428972634855849244164376946380172087772759726561255, 76424428665821633263761218208043307553418765033450961474484586506910260840474332870642827338195640618632353042865606905122311006586435735357696576885492908116856430332739505305060421555003034248729368378947034133550268004655222043453330504907492492401201899824634326693730833326429653830769364507850263640032982037870441564946694453412658109977104271961909298541237074883615334728858886476201785696003, 153794259625398439903613741909809069228222656560171090250873996521558117696952638023047391258976971073852684434540168999195887108483474061065373870261761721288916139869810392711548638728774370043500760758858427927398023870386648681032101951620667494454880044479073628337950182184877459721699525927017661841953644121950961620579756555380084, 82662953480972766676341370815732534723188546964612238289422758316352766866105134544655093701984462682613050600885417875617656374928488138355584701234352787310699154415964640708289076827228627900327302371478930166922757319864877391152525163290384823053163845870294593395587062457756923374157474138134811575724463006130384347631665555]),
  (3710454595316430865093684316339260315593621460241901449964812484011259303004563925107349022578759812109089960991181517609667408884367793705995604665527700086125008817628105407029618498590699210548278945670506807071099353339603535787654891097040331044615029868974828738949341571583616090212787709480110553742035009690447241, [1755535510561477254576241064467059939647226137768555027894409699263833561599914821135169412854031466105184608020953752422820783045610053133977372774527294844620587144644654643321370515536130512028828516090924866857437438858396637829244714394910879482328666854371670801220467071762425971584957338146729629382652036807008524260298983760796146175932378980849938814389871883825223002876761547377775855437732012168199696166700625758774082662631332407383361951573556829276679992168969842281805144759186748153615239683937011, 25358015572029328576498354340318561899958932233191845275791784772713032638550847687183836733057484127599925035330699883106918335010531361391964668933764006287878459021976633336593993289042207608122038618372818402296727352359702896124390775784303162663976770998297545089460325627095326780220500526327040515520257379326517807129312433251671618018890095726807364002115548748300887055406163934958915279981395745208672319361299019313533350412441039190468413934584904628241173124888710801932439, 117943114712673237271239768747935796069487020069301185020915200173897820816387410409900485859341966044095997542352307134204931706505382274817510820011834192697489125649851478705831701774829885017161717036604951424974241904253676153070208292876667444527509847741464018064326328552763670396317149919085984285805043253018206087586159765942464282372989128650737386813143150576916399942177888458589957368353537439587988107040305911956166726362157558734884486315419715, 63393303681437610021468983366826499067478046723334169117235459550926379518984146261292721246192619560674917328878351477764185543864638041487595508301001366730063187383783628555889345937913181553905156557020122016636004463005170723006207803620330113864287066223871164691339209134200486825916466303828561522893941438158936400436700390385201530913481238827534815824010938360880522068632544578316979416400154389622045967734294741346284705968868673499569313903, 5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695039289128490626730833395684185475523718014550476103038522627702606919732652312674471212946773099767209299040696794228383, 6378453160981600694352714463129453598298032818041914755874739042631453200834218750041363791641988971812948497817287173777734212808777739567505263927009905474054497973815973311975720569776448813016887508177412633879378881768274453258427807508115546414559899932682985675476978736463822511888766963894292789516429987804795176381196333214370055062549973990353264153433751038304563, 1194033643289858988916309082442079289883450641043781313335288880461725202364815123675034788304537704231329859100074619989485095342042460983875798383891071408745133520589957619166638815408357617571030175303013398930152611106880451150892754416922716949321345922569694415598385346220553804371621458350386198]),
  (77731460583994908084413421912099829539272769542349145100783954025240546466444262092890669406485025048652055578073747159388525376436477866453707507067550855230219383529831524862300344230642458871521526737328757153879875059282137108998942570672055661601113325522488866564728789252674899984809026404208027311198703204309291, [18871931464684258631509563442695307733042171378465962038655767690089109098976305269376971816025821903498512249035977852731718565691627481904079570098921800069726268943053735624275066697155844911278451233847161741477078706806390900823761050353339862335338416182373143702191315438276500090959672863990780931280142626764893933717384896046513861152671147943171102609442421581643559715697836390484962794361415784005503625421292970805518157408666524554407586967324897847054967429228380373926396357788382069004739011520193406438031635, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073069284120493995036984225922225457732335104020182585255261317762289970103747043394362398032903394106448655835, 318918293244643807895930217778238252700996834819706793476119736275741122905991901372993746644047306700803205054983249333028834749636470792857628235676026757546234730900221830927798231140958462288191892305545844116033441902609693655050955573791443763961726360976202309301339294531308958416850626964808185981211929852752832545398903728411809037079874060462920063, 185408201519488477359834872995217394142621130760987320977484995250293774273415571932921675661915740556530158931399990914955575580729589419768025743223260993863172079810438780422760166500543853785142207452032321091094391673896580500443979602250682424282208689502834518927259101248691808]),
  (1992609429290406378681593759568369807587929791571868357607425752672850134526680157070645328845277249408938649454504092301918348863596259019746271567811432867275804446041250143595391058917609475536528982953776681215551892763777579926771803519853118860509529697570621695792207207845575710064045518795981210842323899175077, [294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061639152513121398961050027418665486062798624279251901770964686088753503535349096509612726672107418863982811, 102690699985740610696104884513865535819594805706392515931098750832100070981115275110068657737576765848499927835289460421066007248192111670386152978439415575178948068281242146272103465042624658012437584429414928219275402572379673529831921983757931570955678668881724859267360983518711862857020812081650898159062091757415866863944206920184134065499519469686322283655]),
  (24944583588460935113119172189691650345300588455320803332037065098277678888274500177508305239926942690704528350616394726879275591747329268763439108030648393854597762248077496709858011083043644226147627838741131501673170527921126241847043963258042554759156847892039410399811008221849711704457288449095547171812973870722, [18871931464684258631509563442695307733042171378465962038655767690089109098976305269376971816025821903498512249035977852731718565691627481904079570098921800069726268943053735624275066697155844911278451233847161741477078706806390900823761050353339862335338416182373143702191315438276500090959672863990780931280142626764893933717384896046513861152671147943171102609442421581643559715697836390484962794361415784005503625421292970805518157408666524554407586967324897847054967429228380373926396357788382069004739011520193406318217875, 206651727077730969896631600196292868167483420790229128152626499276286548830802444223110403454547422459625894353022073708522524803526511434895446090571226241552735783103583875249574514498587964792822102443738104805534814311636365438327109247278201388956766620826743637952960060372674946598733179494364]),
  (779483002353960918931191773131789971420301014701177829504603253880712590571533958190164864311175436928000186604632152149254728692958423376919022304047515290169211558208922332347777338479664253819566880590377674185925709030845619542418062888332834898337316389797131039405143885418351165374015291471330684356773616111, [63393303681437610021468983366826499067478046723334169117235459550926379518984146261292721246192619560674917328878351477764185543864638041487595508301001366730063187383783628555889345937913181553905156557020122016636004463005170723006207803620330113864287066223871164691339209134200486825916466303828561522893941438158936400436700390385201530913481238827534815824010938360869036948700758235596887153424553155782749966090433521560893108010067180442468579951, 888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444256421018227451103201248239698052630640746051479606159259269607460612991255448397399860936659865354404421455319759229435004350157284867731352953872249571985135504244955709792717070052330]),
  (185424044666290760207391926774768869590699620530686355272986319767738291517875283740691662902516988454681234800759832771985870823632892418061883748260255051701052781288508282511752581267488402392728525346174026461524915981057594890606151477679260845447204729344637060552163251765212315370692317859784362403794244084, [10143483876193207763581823494595881485773179991415628320092660697002587986567098029251541520610092998822623082805301356922249943841182460482886371791447057435682100157385405107556326642765743473474697610667664918843691496833726911877641660384060707019143023086802991833668149247631782529232073117773407488838770767430486619827777144629662971557567753210654212326812393219094432081518861257159136477580634826640807344794292889081242167339714172009331023868771737958949366500339936016720018454801975075124704295469852007295, 565276982374576783968196282178917442117203984741854731630637111318098599355323109725538336038373151734592324071527694669823287337227027550294392166002543532932267564768055531240424770712999748151877974676576035492425090961132949877508913720208940053325253078109313389092346461066389622142875854728357527952715964290357789985833587932872118526880481393717512915855843553608617964985580121951739425301259642760206502804933246761882717604326680270898965365324590887981169887573099124677407473658143376280427545689328164859, 2930412297617939079811539196642648331598915716051033537516658398519159741308662364600591556045401491281825528536882783382953981255273327842241412409726748032051164309466651226828146726855271969059701481544513726671829534110539857656508007603783072555138596573567368307480656652338237669157846257533418251969211305398778633656509968791972642528366610338761459637290975967337964369533220486211416086995721356198110793985520686810550568911146001715824155109350187550067363708500481645637493858230817355664621335, 846584500832589687240327750221078651930403373858583363226901713244253552551774330215297339336242605619476428672946655292863772123877389330037351418092523540080797102986884405746204471700302146365963876719871619361725852576914916772997061230964578111863903251329750405280936249965793574071691399664023750151592616119719011015084950206597544639975382662922340530372859561459379499977930702910054393425209197704817390759265703607872147664101776650572706484372341346574145116560492195568995388723375, 47178537255715792065452879873331738487270452276041139083470827496227487479421785767237397015343293197206176223176743218790623192073153959454161705283360968558564227663186395647553907751150954097307881398031805176641338457747992891970889396966713356684525353892374228107812634141663543362917825031231419398574242364840103433865852199087768027285031911089708758082679398880125468143793520015182824009573969333111242988330154935961913833953395774670671796744951183803476985283530541789404124791979, 146518609586466815380695106735796641095355706787385876846442884914509921298858942327127903516801547019203973048264397823392809835720963021905280860169122961897681445286490728231713016319538843095910606583923544086975468133202192650173062886008195551430783301368383766628328373040172932012291135320963010813193688411210867141156586593269293508419349373799313993973732011695210842554312523073073438626535908218451563857379373999510413114855508318273629917088130188454148491505477735615310788771, 1413153774040783432474783345788680113951283084192131182805881201655776700253160581391994390091736793700286243072256034349501034055965166323672944182579623984093198776736342375188138649380161612274703554691366479059949229333267293386706038506580741082433632624609302508308589146970842123426890803803455154061063032091733959643678854047663125752748052734555689729194145046257271884896604006032304446551893253182355745011501908454570229519608452141574321144771888783465613605614140329229715, 42328645720014726859524785267751542902635497067679549484587559451633818288240287345530253703482511070864169155389176846900438562812022319265604350727780211434196651904113504866534057758241741887692122161469225807679121026749678343540121506717564607475955376957552097466705167730836953603494107792181317484677814985860730306866971924104404304088230970766238076598284151145568535361048414914558279100983198929521332097467363456929659290838631821148905159462242934316289502786647931, 3937564144640941467365517159450805214147219252510568650060428009492358861275718585581757513708264465479844157090944339480550203115114277959989068866336775052875713100390592069359661196960773192805226259066272383495963958272978307762132702934285352746268103581570248490122929475511975684451833286866300493741905397617758521713458570221517946366420511163870240331196902474338623312564866374176874028604601517194501068680406061458945814726805363018593307806086057160779099, 681475296397379055043051995619690889941677971962199501447146595778393740943845517820901336727024978335377328000509152272907119646944614826128650689485565085619575250584928646453987522117077702948271248914501457269109619807410905506370518519296234964163300122720681244649869771519263454000606383382390171828987484150709895246047881240511892057612459940612559533045048336358908599771766409891788908627847919014899075476228334708501453598410612345802318120977654783311, 37977316650983082551121384399142984380019420997955604728277584022325886175882463492837876042019532359141907120763799050215053741723559047221642507497090351007260222909146642376626876872474221309454797653802052123205566968344583754770347998624226334434625169408111467082711208091873978129044307176572576405281921113795762020541639159408606809601568581796144651183274560983315578056630766427041751710232264445368336779607945856125728574558966370516805025078730536523, 5897075026625172247084014989955413440631185572030214263933039485772024960244087694736510665827898467103211376852494291913058119629994676392001362141396718647397727292113872914810515728162002500935598851295315030235954309444110127363163566285108228634227091430782523129521507737524688981061407663077685679771670031289685463036220868534881290025236349079418510084189005298251487396276111255593062150310797827736302701173841870208246974936286411535, 915691179269930750789095050953269375692638347343078941291784346287653981364188276900647390020574403327825314388304618235752258326244191570940064240699337259023613402078481798923119418846268325804112436382768988150526437073100465416452272919103690416404770402053385096315463351500614132434874956110458546954577634691770097592102337739346279125351342643799443596579931163705447144952777435407787496535203838009848419395997192403, 1528509492636041640445884775385354567221511370986688676142811364242669962314831542940278151823139682490349590184734265469351858161600171873648390996350357605761252642491964726273227262220426376454004169550223045387937951388338281616460080684815871873167139438955913988484324678277060787333916902384839033070151712421974005888744585956902281855263999200730421119010892772592761543725351054075512935948409222651866976503, 142187496683862739639596450105729172502210944609280268681145028490788181454858185642453694311428379275811519704126877856958317030824082213041076570547618894235583655558671731107044480656973007932091675676619785697149984681329003618484640537537607198531346371808679638788946318699387254970877624052270713946610994694880654559322308228360909257404903538916725340085661296172914486763071380385766947202781981655, 24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618514659383002425888765935917778266680554156185401368011080441185496603975141448470763975507867135086392519759747041340778891, 2289165287440786087469897766495253871966093958392359205383867299684053145456538882829331255882624194087429662282530773761635997171696283085608621441164205333268499798952751883476678360767567976792848027650739993571659590789564732734934756902249827863305118828058414931550457635565321461037958710943506992919854792376128185725618943935303080917860111883179034486032040177851042703181134703300459, 661330780575374935433395978767372240894002867805806728095190042556579911625376759011547018469251801067616144358261707383259334804202207068768136764189324138693415878358799193041479163505555808026822077001396062068570916181064604265580851407407005896890011224458057949300034025401100890038726345106759088112868404751427592208728815278279383264422458209217355551214593767219295134019, 1103920621674877576387669419582094997632427344395147979313839658387648222563869359372694692578164031734282862705187827833111615071838393975643414437450915943336119647356228031984256814035070453888305260622025571796676310692310177410635472476509274715344473880343172348765305308978487177544577464291643628277112556343292612337054149990899532717069050389365683788819138463207, 61519387758482162198815767084733770834415077623414650861534419143516709430241662175772899507893981792430261368363703848237486525069944010290916880667502580562388551890787496610005957804394853621454434637299010075142915646881268091528239963976455116427193256655231304663986137497063573665538330398318010688715842163489524284541009441932101778265575375791010173332240580387, 55195275665854130255669283411246558531236601244985496480699451808940969657874779898359824709130642258385835396159852423164993837515357234034197440674210884285135353237764235323350567902105742781075641429151093898112153966820663033054142217675074891163916029910618671037646602866268554723592984500219235044973634434885389238181253270423700559525788379761139, 3075927289927959956436374220887927387153269338170724848341443990342839724614002841795038297442401946752621985013174339428698243351516209302105667095044977617367728996469588254927741259245970614966708396642301162638874370681821341090742228446592689021310627350753469180703797183842878340700587429398515284285572172600969710940758660347883285144804744126703, 256719722841249391711195086079750726589936328046413837179752895807742684851098742519170578959290317485137222740939050660388213029005715281393433581985538272201157906259188835622468795528509299178313431824152541004803221796869109620875974345144138728008805189317160566228906032775456225163021259331398625369348608090117646090154302, 230329273215674013863507991443552880660095164266718394267060367214070192351476360899443397083607097579679120762589380021065805137210207426853266120638921971424319752480786193862594917842009921125108528974286035166911538216374655882830664919193017956106333738896308123480341859444658865170213507383496607507333714799, 39863149898719314319935297970061762267017844396058849209866390695091933373627860965011935000095935704682526107607639877928514230179630021449886327358948912080476426086477184759577849800668220725292989372674313180646062614771379881747787091120070044528803473259855391984445217823320080292729020859807905760157177, 6899126184277078160227463981718733940653709636467547638222170998681345419756395563346947218921976515087167563193605150084767694837084177078841084842576673037446878979678245898306166853057104191436980349818649117012179244690211963986596252458962707768030481735206501758713013155014784190411801039750751870243, 111073340083026518040714611827383942615312255115781897762470293845414000993921434783794754193175713607499494475925515771662708355344434869722387246551904170285412623928266058473344641224116453768225559201863600672596624831975265381681738543768280567482312860596488217796291569713003863223296806, 59700865081853679331302300419799228172861070653957482518614721529622748006689363979146866814427985081103591328085394688724145113307897458421849167005360711532764864606092887886222623648483518690948070048501869253257200521636541336392027439895621096984618457484136243064135668360242966060, 185408201519488477359834872995217381947158055724803027796380108294715005165175105099393505509086544657551679423048170304301882608388551462433393910844715304290228606406320812078766512528201905521228522505056589362307705545847255023256186263044039651298130118896732710662897150650939267, 1788239053420418401587772340765923941140442960018138435782411022386870385202683650664040492995194147435877128317327156200565194887067766092766530835195588132504075562888039589135965189396748044260991864903450007910322757803264466779738673208078928319993845266772259600678214848148, 309491018861909506492946275416854960247768389458836689422898710613452876046060392076995626143212151755469889223120167313813581639396435630683222746758643659065923853851497695565178672561279352809931485227693101755570869878499472198755351605344034986929186431289293454895179296, 2985002400519853888349242223718572668863217603350712323689432983012312724557444978513904207518184071820120408177835784061940670291535681707176235872982312804856437611089891118077586520431991935905116625244181267041871972282436313396476738284845378047456820880534815391503]),
  (5755958295369091893534102419556923507927177818315865156081096978542548643502483265710490088720527626362566930275258512969269451385270691495916489764278805117116440558915364811927146203567399351755545276117383724318085894573561358873541979546088163817531013492438639152669921829185978161433870682661971487911552297, [31501806549174347845709584624632472336491733937756849258807306723186801828717945808148528080623732400038750482197147134569228228904035422412687196598726157098716008439594454771319230068251993259105933510703720019960140466666185917518786579700213940711532319164649169994087051563230669339692267337028014310116589795953599917227438162035161926280911876261020158592790745860691288221580937972173177842038743042909705694505552632646749538166072866850352707070898024711691475975848227473316071044605697922991526938048303863, 9100747084100112437974161463398548320793652913266226695187581692017549188113670877743767460339249173126865567730089746786372562948952072499101556406098890650495890920021600064343029525745381091086177395138812500660632557048950341569558240025769368567038762117201029519903570806477854827879534482024589078655727681163633129521531711583735179933309351155692694386816125463021002246109492918240398479276009415584243005549342525916055198201411224768946590509954221186644895873250909986559429040616203775221263, 87775574207159361690618922769997454437749383356770028250286115769800456215716560543735091824564982470082638966740284480038186167722611876921538412994890550612337864432615084270460773629864253802844076517667255428912484099560928552173696078381651875909061748703390489875130892650207278773994792308175772827682253730784762501121223766891264926794495628900562074899582048893673557681843255514152207540229391881034819961557067925727907465223311398632823124173211624689119010241168258890927427280345056383, 37977316650983082551121384399142984380019420997955604728277584022325886175882463492837876042019532359141907120763799050215053741723559047221642507497090351007260222909146642376626876872474221309454797653802052123205566968344583754770347998624226334434625169408111467082711208091873978129044307176572576405281921113795762020541639159408606809601568581796144651183274560983315578056630766427041751710232258924017081331368464740991090237794066226925205314693984012875, 5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695039289128490489120082501374430790826621994450194415367549666690115657698043707643697405806744814120553391990226824277663, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061615336183075810948037668139247022877255353497266594774970000646860161996273366359388496116793075673641435, 915691179269930750789095050953269375692638347343078941291784346287653981364188276900647390020574403327825314388304618235752258326244191570940064240699337259023613402078481798923119418846268325804112436382768988150526437073100465416452272919103690416404770402053385096315463351500614132434874956110458546954577634691770097592102108747181981287613076684889876863285616688030476745422198245771491775927428314284668339359749185875, 24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618506138477110701182290704802454581519809485297466580605220102479673281668368552131396415652003095001562638570295119743652235, 4258987438951777229570971286311274697266247392520167423842203735776134706543136849476376067324798201031959863996414753425520570185503401207445841202973003465764138577356965595480541595113935561813875802113267862988117822710536511514345115986890967569466147037457163352136222473497244596294658476961798104993461533384461660887804616404636368505621046725420386705635802350768395109014142335193882993983, 318918293244643807895930217778238252700996834819706793476119736275741122905991901372993746644047306700803205054983249333028834749636470792857628235676026757546234730900221830927798231133868436649822679292196229691494314375243971815523902913044857857540639924053730593481989672959387281743002976922623123541201422910090387951277232208555424127027113357494556863, 92134231183908008210396040268370390497275187589072700909905925550912060082023337701901185341373775138615924802499002882104735667911326781805260561661965472062042547066518061302189330165314544050167242546533730495714496284045283895151958289131555556857498330499763835893705290299853956709086358536335369393679910378864989316546271082720341346261122, 1194033643289858988916309082442079289883450641043781313335288880461724592600006725855223689474692869162252599606897530803590890758541970314659013080168414133902976663831794407200515013269702702020215617187541350912931204558268604059556652824876329447852199154791762885407396690986134161345406385324984277, 641781739776234073083883770936643520128917955779670212752968789872657818587700820549434500048419157578750425927109860254006239064856675078352776036000150989102413730830527261180000152318854512076940717036929850817028880903155093754225221242699917083605085644474937659908411372890834805145425053437, 3327015182409620433814563071821913641933790483808212793427912468832323020943038083236509239108304741242493270792228490363873005652237413424732534530213420725259693242060185108610090823068647562125882691784108911548497918831109545174692193628522660106339763498026601512045996263259588127, 53563694726928471234677958246194607262951573103097583365307839474723139598512602165423626231076957083475151070033195633788533029332574279112217466267250859981157810208041541901737410711591119044367938832517646713165768192094964512345492232100267377823669011400951677711735]),
  (74550295761573865258638681107999878174965584848999354190679415920080030267865295002533619932782491944098414752624288811707998814610293445261205281339931626891658775907250992817181179083514996171827118015909124300263079431678082945146834702881960295745440273290621162937011743020258140321993263196093649100511593, [3169621803746564569643000876863122342116761545766470621849647466860013102094721933981643566178444307058232217256196447627055311261605695653557258876441676658446710431538599470717319141453162764033014436655162633689817110175524581405003128827441565071166882974834259584160830693800153164240534314489876456959194619006481555709105124214051381262346424267033074027437338383671115405874903744176584717188547025321583190531136141123841923973499]),
  (750098907571893837737569456194576705950821251314103805568877054460531023468085225182430679244410399260914368940094392859299610476437303089499038814033373701494777806427542349813679027578893556711576797542662116738545771612426217156060303164920943301752610163875856338810644806151370265219037478766114727372066, [87775574207159361690618922769997454437749383356770028250286115769800456215716560543735091824564982470082638966740284480038186167722611876921538412994890550612337864432615084270460773629864253802844076517667255428912484099560928552173696078381651875909061748703390489875130892650207278773994792308175772827682253730784762501121223766891264926794495628900562074899582048893673557681843255514152207540229391881034819961557067925727907465223311398632823124173211624689119010241168251448905352180746534015, 30570608244839164807575707924891208825706599740711322098869267072751765185857156545227629448808945885509182253107459315349166424703226155814749209943263032890204734321948238926812216278848064441965535871600880333166247861603895331950885364742407881562273254403983310194924694662253335422613035399198795947334740982434949726276038244590832713927393566434283823249470779034598142902886735429478591749315538304049348938468285588235083627, 14742284029804875842766801518344081106915766897715125294188881704865019876213997843358889078775422704054493253028932555057567716851126414464154561152287129649397885232996550817228631713580668362020188436587977865632971365188637046910641039942328585585779080626215354259109626715013282016486026092819536446179616123704361615915975562269898721257300942284864916459063029732830929736454798676836085235980827488143655, 532351571834924046442433788730350926881907205857721086433739165844369206563873818590926964233919572192176726138646442008947927562521958673145110574646164638167739885516118954905814377191011147640747507302720520949303824969622377653749632574012557470825417399885077938879553678759344893199117679720047388389407909975127374201147130583116011613783856355]),
  (23235225520613745705731418982106290083825156442035018651682352318357073010284944855199418608990982503281932342136568941055602582883633848369578518557073663366250223831685883583286870506184300777267654581908684551358807475296916047292285699048556766706930442185225070338612402536365266830291511122549853466789, [63393303681437610021468983366826499067478046723334169117235459550926379518984146261292721246192619560674917328878351477764185543864638041487595508301001366730063187383783628555889345937913181553905156557020122016636004463005170723006207803620330113864287066223871164691339209134200486825916466303828561522893941438158936400436700390385201530913481238827534815824010938360869036948699689848085894492162332118357098298647308675512051569984638986876399212591, 17247343353588538840075131922702276219613308321306944372821721005169074335227370732811979037916453486797123294231424955551370704262193706831487974891115482700918940258034976266489776939925951084887182629063692500661485944212885513309357021791393175446646900990259570637054954]),
  (1812207842278402850879840286401507505776102663324353221322125399696798741051174296930599143780886973739059168510374563431655875941056799858264348010894257769011293802374652811941043650362005632150218543450162524202623603823525943181450937978089483765337978242041913620715940793894321814431707963267602585989, [13629692465155380122265290479341225947822668449236489835564318536789253072756858836689907225229105205953252330032156377269617352865777338569097612021069590283086721912543575125495073187955207373586715194918187862529626862747392598431108845478100596416357936038122766896057921028855756998986826470165448882124293262619324352100514695877074229824889028528575334990835621015537173480367951000857488058001444496903166872876337422196535216669063415409402836121725267668952216587039995139, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201081439627088380416866440243371873602311190492298146959725555301791250618962510848618878284806491525668796067227163487438660308795079868586427589334237704609783494125306234126655166581518307736626633]),
  (56632342702344206786839456823227974289855129617841083132357260562377790226728971055223140050741943927934758883909467937212769331032361663618956413446842375639956150979517480184532049644241249306317996072576620185634241643072487887955614579465053022622998823711373643931257289352519027565956890047741732204, [146518609586466815380695106735796641095355706787385876846442884914509921298858942327127903516801547019203973048264397823392809835720963021905280860169122961897681445286490728231713016319538843095910606583923544086975468133202192650173062886008195551430783301368383766628328373040172932012291135320963010813193688411210867141156586593269293508419349373799313993973732011695210842554312523073073438626535908218451563857379373999510413114855508318273629917088128752873100975517447792102001900835, 408254525606684776568408467575057001814069002158781357777609692151909167432463168214405319043462400267861669536361383885258607109166224825724027590977887003535169334667437144026201749846660009303957247683054455611826482998453369937048859150862225944814343181109741334544814106797321454823461000719827460615575659030522517934499049457165784555754604628890825676223012591161102581310034897350775886606740542795527995357553523969362289501560867296751979361957925138185296603115, 176636969147817218915433763078415535092291719287296368455617362088518168517660519415670706884621628707514646598159714577466904914883551483665484891621785973764893091716994815560719980935401630716136664079564079068787311896642909143842536673938749182262730290397639794628581523295746054917706695340452983919360905671814100229294458488125748919698172699386688911718396863606182141767319103471667225213206299736745254065090832517427199744823, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061615336183073595466638299947983965935314884785014150675134266990989605127085350656618570352320498097503835, 24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618506111931975714189253112030076621597298012773883281679133522554183200737907036581697495763657493938878738893554515334561035, 532351571834924046442433788730350926881907205857721086433739165844369206563873818590926964233919572192176726138646442008947927562521958673145110574646164638167739885516118954905814377179176184705629499341251557759123718321734028931395388950724468367255349518461371366054698983032545962065149564538535808968209427916051258563761993907908258196439631715, 29666936307305934191863834653828436700510300249617859530985185421437141269999414111375811942402147595152692527617456517535432820003291540072426611777686146911738018519619838100182263012126834136941274120620852773583148366711979917610729310108075776251488164442154287093648773136849162603985189429139846408218269157291578475594972296295289805493161823, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066782925056774569735840916567698441139691745919671793062558818713748366051425994111436757756400708751925008108481351353824913392588981727927346869758427134898008020560437433929865257654629522870577]),
  (6982347255100487919595458550676582996888402504896520148850971102226112307171490635771135603365694990474129984929595374433120352791641889960483881185647436260807840726595127208181468387346968519060103615173433742788963446358875062839086667528418222105340293402051613782224024249306933806599167006049980779, [146518609586466815380695106735796641095355706787385876846442884914509921298858942327127903516801547019203973048264397823392809835720963021905280860169122961897681445286490728231713016319538843095910606583923544086975468133202192650173062886008195551430783301368383766628328373040172932012291135320963010813193688411210867141156586593269293508419349373799313993973732011695210842554312523073073438626535908218451563857379373999510413114855508318273629917088128752873100975516163786951470964131, 5897075026625172247084014989955413440631185572030214263933039485772024960244087694736510665827898467103211376852494291913058119629994676392001362141396718647397727292113872914810515728162002500935598851295315030235954309444110127363163566285108228634227091430782523129521507737524688981061407663077685679771670031289685463036220868534881290025236349079418510084188969629833147617907577947537450735225831953582623758888691452309426414715403933519, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061615336183073595466638299309927901474157897982613520556670877290916492302769763308192497111041833459658331, 85180914572761469922169880127030890882786280149148954470195542587864752017375856553434728502029536959938858123561494267690339068972493506955632290541015641640444143016354354655418085390929853894981316215477998662574503783886237086051354895071871386708345690918192002155933597341807686218450168384459817201724534997103834030727964951130173868560844157919779212159689532025839603808571118381623393923848678828523285171, 10647177154931118963498100251520995757665678519075083283696612471969550870893399339845006536218752430237260359114289420231101594229513331377052199107242037400662942676020679580500944814984027303976870802705201870980298676403676243995099041298719952730938333409351077415026861270597633553774979300432846990657065156415736930083402855656294888378878378159441957022664471, 82662953480972766676341370815732534723188546964612238289422758316352766866105134544655093701984462682613050600885417875617653538840603408817592646638409819724876568529703217692996742137470198464411401941267494061035210566972611200205818594608602219793049732293030593571671843541891384876930726196425951274004657091184635672545813658, 74165310660246060789246101830499547653069587471327701135251788589796711590899375201378059267695746693646081330376415310791921026938469644592023735194803243521616076111540757710351324864821580084548621553051116876014299543549469032729530190956222662351641883479207055964603023338584114963924061917259086173723164108610, 99655146912032176898100294365515065165316583531377198463656672093163339424132083579573977447867071853688174737837744551751050574177832624754150640146290150490270639537490389258878079778150391817801966867432310584809934309550172608470728851339805638226058404313014516616201792158]),
  (22196095208674629975754858580884656660365658026849761858646760948910797220211923336314902658073716239309058163952509569611835140707305200078931499767124720153478998555008334442297884665586453878117603033013463378506494128477782901963264742426754366992860446507681686912439028546709862481536809530169634, []),
  (694312628222534011703441012857619140101790392909334619814609532757460713617877900541760680579068525812723414638461116039399180531798109379367811192782400475109637502139865838045529637883656455923874483897793441877450780269608503289692691243172975142522800524807028346192224916492825831700320472879593, [5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695039289128490489120082501374307326279802778581157508737468806615831311666858973735936073178721943427796362230422359173791, 4258987438951777229570971286311274697266247392520167423842203735776134706543136849476376067324798201031959863996414753425520570185503401207445841202973003465764138577356965595480541595113935561813875802113267862988117822710536511514345115986890967569466147037457163352136222473343866810933942120354621395135768008104635439184797269326246659316046486708912741609196587427063059891167875166005802512703]),
  (97327804385930353325822106158183788967869492884614883873883144256153418091801718714137029282389342064855645341290207558837655352430778863183762335492311116936621784151977510790233116647059457882073956331007871892239366190494207432719457862765901984032270011275930577508066904819948437222548487939375, [2358894578298702964511953452362356096033172423555813775414620338248346352486331995353595610874770551993017064363763571068016829028103919649588514666856556119933147360282608133079303775381958674324459068687337408373846049597417029575022288426265099909758373287031143649324897122476611941209463706062036968146720989649529834306513089369353355311643057162197986133897766915636857847260389808046449534229375407345744144756720799541374037042463294733438538555979141828449546786957751, 37977316650983082551121384399142984380019420997955604728277584022325886175882463492837876042019532359141907120763799050215053741723559047221642507497090351007260222909146642376626876872474221309454797653802052123205566968344583754770347998624226334434625169408111467082711208091873978129044307176572576405281921113795762020541639159408606809601568581796144651183274560983315578056630766427041751710232258906816443717372555991113650024251107430828458959987625953483, 3821169135707818491086682245222655010272875277177615111021953793749478552119896373671166625129005130524489480046872804498448430220291298796095524270338750546636889215423621860868174470564066046495747975850827718796218221376399928982129987697352988938283830706391991742056915632311081697288665791918927809099948451605174738681990518274372200847329571330600871589031230393156446016791887, 318918293244643807895930217778238252700996834819706793476119736275741122905991901372993746644047306700803205054983249333028834749636470792857628235676026757546234730900221830927798231133868436649820631011883991742666835463525413363643577739314262577448238933520083131428288721275935088473234340144770332677293676991012349365056962299464399594303416314020464767, 3075927289927959956436374220887927387153269338170724848341443990342839724614002841795038297442401946752621985013174339428698243351516209302105667095044977617367728996469588254927741259177588199127596485288140006441218140681263965832645304740918993341448652377171540615977995694118802604544267504320423976028779815986081054428979926907735359707786646894063, 888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444180203546621079366377984616236383370223610906434852695057225735678140182869573757879533808005430039118399793147032865866985818361358174713485458589650401400641579309545490788669220397703, 66541214337289596072642291379435366906409532576497999594932979798174362084344952652502878372191639412983778901590709004099587961748807314982570116951285974720220399109349996351308814958474284552752368580892467646722497994958574057895421462560827775637166409198469786485385523803463128725416512529549411]),
  (1687749703087152506277167910257144878365875767362137175097410385950824784142477304942219325891837180247973957486208749425477489608602303814093221637919573458833057642056395009334013663328848472052862168221545129179199737103257003228887887710664364169674236300063311965789813323784886280967832246437, [146518609586466815380695106735796641095355706787385876846442884914509921298858942327127903516801547019203973048264397823392809835720963021905280860169122961897681445286490728231713016319538843095910606583923544086975468133202192650173062886008195551430783301368383766628328373040172932012291135320963010813193688411210867141156586593269293508419349373799313993973732011695210842554312523073073438626535908218451563857379373999510413114855508318273629917088128752873100975516159786896726224035, 22751244946260063401058903104254756907651742899328093697849651591700253722057361043645877093305015354517561204294148393009466800692010651108202013781043196769950784674481590391831475942051825390950894376613672917338222481791648854838697251183782248871702138331012773055249041859638423985499238730907100870450557558447924587750468372692049453593285655892382308021096169451680229141091198138227568245488478938501908159936301501702145227804374310342696663146637589295858316263, 2843788854029548640635056802610423068871839155537318919143599304811058621114829043639343494140761068602126057125087438028547423060976946979567829689764975965677776846072482882199429642147324764363501725813573179018335209782304316862974978655725802798085991838502841982040136367328874176631415201656585035096560102898363041542603811244598582617660857394168399598736895453863163847325163186459061015965136528571091176060094795, 36854701260231067137092407780292563308871035990218839064296262874484878206771893373869640615412719700971184686105422584899920448497502707382651439326848796378170945956589046440367681467911507206541122133943829576528819842261663594974071877811722156011900680447161918725914498960442340085086347812146963589533612574324192237692363070971164166043301098779218756194242894484753832703, 10647177154931118963498100251520995757665678519075083283696612471969550870893399339845006536218752430237260359114289420231101594229513331377052199107242037400662942676020679580500944814984027303976870802705201870980298676403676188949291975185343896254435670974415953462879101291994766492802732620664479901874054557559852844339999356702038578382176082283715982919719703, 3708214781353740391252162387757314431920945333182679373504755905413924918202421890375203013395116826500170625316607123067028863506338019206575620616219388847424600358180423008986765896870856369094388825441450133821347988829977108754731785783038378015706864751869469688931265527743793102665383161555937, 1071288556290956607529626844484564193469565481287363250906778653359770348903604981955559935654865514890809464686205185795825860268925735621157171490552435087087531688740873099126289288749686357184419971754021454736817388088742520652409165671815660308112927752963017976628594651746581268237]),
  (52743126914468802248274957054809503696374078205522850255155032616011648706961661502794268500101974604643129119854045094129875972386217156591006958905280809902113886590332536995830895047405195084612204338725356140912124390997908836461418359020688523224416164078798645498338857771299753501763457669, [12228578018501839908223814536755293034570184074321635421320361139988761450813336857283386185044430077677649996888400941862113099903279507823094069903243081190145094287619568993795148521234924431759427682807224178720767589565051715359898985348708003020504777039564150936614944679254868193881870593706450516516492793598982352408320223169805450227422710349229926943627595493477039217835164611625158603591030277805614384178506170147022533730664012144521397533348785113171, 3169621803746564569643000876863122342116761545766470621849647466860013102094721933981643566178444307058232217256196447627055311261605695653557258876441676658446710431538599470717319141453162764033014436655162633689817110175524581405003128827441565071166882974834259584160830693800153164240534314489876456959194619006481555709105124214051381262346424267033073387393541095087304310434611190109554893055693167548029242844679814987308499528699, 492175309659131743405421724607182969176658019786015761213664550883800832291377822951748017925837585779104018183445060849782224082955350632063228910591427225111356608950610228202454880160160982224533683072843439684377617230323312694567681673084232930072235816346232762241630066331338095956923056439382730972027917034077196027420879537155259669571197272310193001406259601188688006914237162238353111432952465201242931787839, 14742284029804875842766801518344081106915766897715125294188881704865019876213997843358889078775422704054493253028932555057567716851126414464154561152287129649397885232996550817228631713580668362020188436587977865632971365188637046910641039942328585585779080626215354259109626715013282016486026092819536446179188757002085546748642276475671827384006701309948387887069814835967430144347576678405348618226802085220455, 24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618506111931975714181584327719155186960153766910701547310552949608274550844376071762357959130151502741056078438097853830943371, 2053842108784273034267361277893898665675780018132375062142689184147896096517321718106512608177153549865179991635899144939233268752841664119589143693954196113661148859803642885139102916851321690918121409592870308947840979645340443952442711258656642121100683836254354253115129302614503565872525648943293278028868584889038056342450562715718304671447653454872530098240112752807067451, 82662953480972766676341370815732534723188546964612238289422758316352766866105134544655093701984462682613050600885417875617653538840603408817592646638409819717786542891334004679647127712931070937045680101740441400288624660551524763283346878789252598221128055619182943529486781101880877934268281602304279754148272181511945949350848359, 74165310660246060789246101830499547653069587471327701135251788589796711590899375201378059267695746693646081330376415310791921019036089754237580322291040947072717131560577127819394879523046555251263417051892316141114869904443194311441976596074109110328888260419707848092267064361249923965888088169943686619342707525770]),
  (660277020760540451064575502935367051126514998148459166460924498714559243573957007317799898861132543504213599746790912388770562615956119210012177956094055893347568432592379055295669923748972118012641347251477603923889307667586527823713704246280930049037602870690528597923337358924503867816453474, [176636969147817218915433763078415535092291719287296368455617362088518168517660519415670706884621628707514646598159714577466904914883551483665484891621785973764893091716994815560719980935401630716136664079564079068787311896642909143842536673938749182262730290397639794628581523295746054917706695340452983919360905671814100229294458488125748919698172699386688911718395795218671148797406940982365312770057890036612940309383378900028980376055, 6378453160981600694352714463129453598298032818041914755874739042631453200834218750041363791641988971812948497817287173777734212808777739567505263927009905474054497973815973311975720569776448813016887508177412633879264735018687105701935935096596901308631061241968872803776911047378823820312235142378374682898147886003401946178066162959813838492749413827797886798873321184072115]),
  (20691234196431294447539531167436527890657484171034460631733885309378735042111733656407577387341108858027445792452283712301795928174429986444421571757248013096979092958882394691809548505854280277229012921028918853577252225912304472594221305864896875699948434447478736618038170014396951264565899, [131456689361926501690376874770866825961606556325098472875606636836416056513688570834467292263358865010138003158567432323864359693848234426988913275637798724600000580973441528893410198633514250148141074902847543050107866003828188810279684955207190899695342209008488221142980473742061338276238916935347941963162827830806710650263684543956091521344058153325673811875653335894905889638601630277812515145558402702062508153610934815073380894903532091662346151875970640075192515710963, 11867099349096517770664035210032407772783180584514302266649124503143953531050009768833976691831119699516119413762605310313768106027142224530443810316080985700103314864501796428306257261632093037276256263891185287657747671416901213185481247730530436833664107475380245038794216601726122050833591473056246209154350632179532247215694060075264262222291892237347048853968162995560336592135, 36854701260231067137092407780292563308871035990218839064296262874484878206771893373869640615412719700971184686105422584899920448497502707382651439326848796378170945956589046440367681467911507206541122133943829576528819842261663594974071877811722156011900680447160439416287169140519732974026873065996713777917467483990699916592777879341809391196212184931928837967558770879263004351, 355459011821332778253638538717491476360254560842411333602862590114627075118385453158216473511604890577909619949145121720826776910752542261947586359444630803247443652162027479391934843692848649240736419357442877508973875871971732737921987641342055643730496937507164812240696173577611825777625995288115877580798355848635501519561730671818878669871427976012647556504197697560623, 990439034695446384645610727181550126175105553071568211804248688570594614117132035328681806466909158704192415145864169277541190831924914003313448265040750939515068629283286647565382480978657187074595523628476024480334066357927297218650681130136478202571693498625726231209856507934157178579744595536883046929484433389096843714156209910866504539383619209162295, 166348482428897487243693461861504062409822647641473456243893327007547143144934497989740329696575012761087914670474345318207375981488707918637750511880619282238095494748062260907836296140175124153902744085064949688854733672073197700337678149683036308385589408239954130551, 4982689151132455208608716774325068400166742214042382747183640508352490070240259442033254573684680136414800395731928194031347782819935291152521583460643833189010558393470447051946353365857103699565247384154311059918829342530093821209279527295794095121067849832925]),
  (3861973652453540140149385406584513005875091336317587072485397069298474998489360023518262692290380183820012157864536514335326262977886750324097548622579894061834248482886780493855123368775679756474280954474402509285647933157460789530331027835740715831439251748590507006405847152950190188930345, [759556728381966380506934181367165416151405774794676076947161449791160382835838840224190971051810428723562027732641419673139877301588297827131289798433187249695606586913760479464533735872969395304133739837758727129850332431896793154147164832489897834657438411948906610751368122032588552921684476553201677756053948755843615689298981544509924118276514416630087392635216953704596778651611078654002574283468205324038233609655821425192493108607380621250725722845091542753499973910190143, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061615336183073595466638299307940168646731073689591005340036785848010957118470356901833096360929733125836891, 76424428665821633263761218208043307553418765033450961474484586506910260840474332870642827338195640618632353042865606905122311006586435735357696576885492908116856430332739505305060421555003034248729368378947034133550268004655222043453330504907492492401201899824631259096040198659872122955197481957733571586802105006407516658491831547307169841909010462753364626868807908318121192586062243206217149112963, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619619426855018722651313566662095040909820041098341506106851672428605887446827722889661176275316456193684880983972964716166579730720518394047124948651141101564147565609277665112, 12835810467591427148165522542668488896730588156796678500483890019331141034860520507897666128296990254998872701574350301558286955233484379784664663890798356523990029067348350406057881917194322874680312307837719883944461855258019235277661012443214893342733122724790062202367905126613594934420614425402169310742872724, 99655146912032176898100294365515065165316583531371317357886581403437256980334538683898688700162260863696112943195852800873913769786016071427344990137069681849423480079188008164359217088729501538560874642215733708731749133001010016383392310959030608573047605727278600388847234328, 277675749460524575468133582159281225898334978620802035055462144057600502147619718357312931385243437753620522526512907967603751999779728901399638703951538986546072560359120295238006632568899830557557882456648045956287457822581324329366249994793758494057081796773]),
  (91469767838836958831514198712887232523112070256774193383413267402934262774530716787540226615279613153821249281446414460967695508284015075844338243251426028758423231402540871467282260951947125858228433348429501850545837105772414249557614890603570531149278145786492254286371932134389616783753, [117943114712673237271239768747935796069487020069301185020915200173897820816387410409900485859341966044095997542352307134204931706505382274817510820011834192697489125649851478705831701774829885017161717036604951424974241904253676153070208292876667444527509847741464018064326328552763670396317149919085984285805043253018206087586159765942464282372989128650737386813143150576916399942177882285447103757090189280492815456858991423928728470672396791726942321728849475, 68568097985237570894623761176205974217242551741543620364323579236476579354510859927000999218887601446650588107540341847093807177391559020495240216417172241421000839625942519959110669318607316718060517774641858999216157097605875564445266696944293605368269091892063219579881168717049583740743939432001055510367703167161631600232284361200741707411683039081608005447432886705425489006062675, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515403363466769362805338884990054508459328920956824225950116839422603705876355235331918705022400696477007896416725388504753814751765141520309060418688030301447138703, 3327015182409620433814563071821913641933790483808016451053306164166400193686891916189919411886176825232960627820796218232150514981272802259938713371929208233721962719146519146358341693439780382718447671881362724866340174466026773298863760799789884692414232494207809169416268138535564177]),
  (1916228448763800421467531765922335778154898046230492393012787521472192589291365788042664551547215589152418071247347838030279752046697655417607750373382740483779651197880978951068605503028716947462326832613648546409827117602084466188475913640807730531444959069281871199218882282608045431083, [63393303681437610021468983366826499067478046723334169117235459550926379518984146261292721246192619560674917328878351477764185543864638041487595508301001366730063187383783628555889345937913181553905156557020122016636004463005170723006207803620330113864287066223871164691339209134200486825916466303828561522893941438158936400436700390385201530913481238827534815824010938360869036948699689848085894183509413747455359486708950716116785427611790004997084546671, 10971496292882910093551569156212423794590576372048952816073125626578031247017344654779793898817491798682412115904253692898404609007738780126704144565690754991169735154864829619827596291743232009844226628873198008687277358178458186628735564164906286028694793587716855834453671843065047969192986681176467517529342673417438029988956371911700465205158125608297632750346376544977917935726540745810275890389937331074956925374926841908358067398411014648842659, 41077404364768847898985114309560897925178240210595736145345018322629714711544665629933703872735867418498058807932352307968299720447195354686890330011499362529453034009823525267027281600816733674413414252021840796027682916193960181772768596104960411247169496718278826907510043022860044800320577835020680961417966308333197477059521808673853802342485900417564252601513808695236038803473254087152559, 6378453160981600694352714463129453598298032818041914755874739042631453200834218750041363791641988971812948497817287173777734212808777739567505263927009905474054497973815973311975720569776448813016887508177412633879264735018687105701935935096596901308631061241886433701264308019065961084718757799590450134750873190863245110960301415618940264257125320703073668901027147867115699, 8570660342016944484998971345469878717970396155434259757306647970081953833833856611198382907376430152839138711265880199223352526863014943396377675421449317054248696652638509184519169890781069535823994309422629120801355196810870458051417069897505529697606754523384965498860127733738976278152254271286073846453559024714397009881748645274295]),
  (19678687164955234994204437475531773886032702250005833831863200972497718041434638189281535000746347937913037432265700299503624162095810040680750005184165237460299840401580914765861146081551626886768266719471465240696553421332061653597634719355971799507275565159819723020081464264031001762, [22078714604788994666123914579500521881984432457529392305678120925094444517568849621695241748448373174918699148094686706130327646553508320241632870465880536469143807193301808753297119049440010111096623777644005557808486814541922608594142803334454480733061807728421364072944675709352463166735300551889873424149185151934263219586636214228066298059737718707226929526131472724894989339047333595, 29666936307305934191863834653828436700510300249617859530985185421437141269999414111375811942402147595152692527617456517535432820003291540072426611777686146911738018519619838100182263012126827775760939813431478036940178283040083284989454703526931936844901806953245275576339902023235003522501031918679611679284252082598862775161720889821764243256882015]),
  (614931745812044495093020160636240236360595988617738242813419956686602817977696329389258741533072740750648393961777617457438622701684074599907939174722035764918440335935358061617080505365879775099592812760126053299419029216080909360439444309481067011208093472890948801318017758501360261, [63393303681437610021468983366826499067478046723334169117235459550926379518984146261292721246192619560674917328878351477764185543864638041487595508301001366730063187383783628555889345937913181553905156557020122016636004463005170723006207803620330113864287066223871164691339209134200486825916466303828561522893941438158936400436700390385201530913481238827534815824010938360869036948699689848085894183509413747455359486708950716116013823879071305800799001711, 3169621803746564569643000876863122342116761545766470621849647466860013102094721933981643566178444307058232217256196447627055311261605695653557258876441676658446710431538599470717319141453162764033014436655162633689817110175524581405003128827441565071166882974834259584160830693800153164240534314489876456959194619006481555709105124214051381262346424267033073387393541095087304310434557771465107665460169958154562252839262924486541791909243, 5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695039289128490489120082501374307326279802778581156440349957813645916172258620751861614689578189239898380890903311691674271, 821559331230930224478332734648307160673389442748952739700358431990412337958126769886664391804374714430293408650770344963849591011254462162871659125822172778532507102457132759254068176420123626277696479832572899796279407885768538212757190197724753395758081706972727956240864081762527396603216252390761734767935103654036527040390279046808817214124586248815069504845494465968849428269538729745564190827713071014307, 5722756571054736361333378596202431892905322363400679040254159476020878450223403722857869526901156286400040613352469092799946449052319341176611700370838422329805239056230131561279514626319918132261388290073050047603161527937364161488883334985729140377672885431053557735326930439807734038582035104086811714907063603043236095507688294344979064604480856064989821187]),
  (47968613659559817188648890430771067199451595107656264930337080723012017272888127327113019711162628174547063676332651157576615565514982386094299916555135622490495145363167570935140306236743381130188310436516010129650435163023695197262561460289354269266922065559172889095642597167504151, [1898839844499071983217768885617666303554364680254035060319441485026282071154024927901174848052112059876816426359802796286982076630084501038999559815608915542341025356987474505435779212998974784904609216077559084112549960679334626286124498406809511451125956828320134106775029360340080610740009067793390600528847020536839489526520603757041922410937208906207490425316013372883928262581205879911163644151495741628107350815973813628656278859619443986007, 41077404364768847898985114309560897925178240210595736145345018322629714711544665629933703872735867418498058807932352307968299720447195354686890330011499362529453034009823525267027281600816733674413414252021840796027682916193960181772768596104960411247169496718278826907510043022860044800320577835020680961416775508164098423813385266831990916457825085021691968939369451656042103514570980367352175, 191055841942015239443215891298022132377873250268600626503532378229139818408414066142074642803547737882893288095441984699076304500823762384692581486846541601348608312256829315301718188269549740287696651119961930987060549857531073389269674956190527017024030139117729432273437611331062051947662326330064198115858263166832559567675971420479773414488034692540517254606301979, 10647177154931118963498100251520995757665678519075083283696612471969550870893399339845006536218752430237260359114289420231101594229513331377052199107242037400662942676020679580500944814984027303976870802705201870980298676403676188949291970064783279451452977760810485644585155112562054453913115505817382249837037091101150322431897515230058180440304201307312440251376983, 1483326514146186799281475087688640498047961707402317030758131732404785330837061519954504227509001230898140567047958279709657872490693660851867798110130007492411584145271292168122179962072959799180154411614136290259236273343816210322638927330764512229026643172347105990327968514938896066216901435434829016844981455435637614609790689707, 137984412152726612456372074649120812111470599588963227462337623318529735930750013830039848650464389397035051092574513244152151437043472437529047575429342430840986353059353831854170410842472126439928773625830915684771373572209612317634542463597208872076083158232578820057684614599897510185543988758369621943841529123845025675, 13883597458251201679756359883026439353658087202842658710376724569100464459346081917161609296481375017679310783382624936856706592423100685136836046008378940161392014708014319362990935922006422558980338481290341242613955008840529282407832176376826]),
  (5993404268313804608232332733915049981436724961973435883704073368815867742979476358867082067887939774527255193326671363488648901129685716306675153567597191481014624398148091767099364172536613376728945588378543889762968347728730203309213086437364411019055829725852403825794166953062763, [219432929036635739292985609665975583732321635365827238082319353924019312373696217913280049994072716419862322615990707801245128678612086525989564607568889896336992121926567313241858685860111562068721427041615533759704706992363519970971811217757447819404922686589434035614419134455068364035873064303333719125467882800630972448103716135815986212035996326345526125452251670546227797321261196599361065956010697081794812758107784466749842511512688415995997153004350878758743, 74165310660246060789246101830499547653069587471327701135251788589796711590899375201378059267695746693646081330376415310791921019036089754235297356054410931330879832887676183457331889088103738423883758671426524710985559449550784639867541661954320961626261389936730564268788785849996800359296128553374792856683500237943, 3708214781353740391252162387757314431920945333182679373504755905413924918202421890375203013395116826500155922954625878405768042882393000622987081437487903982739954876430270731530361899924406690175344127495543764202992143522956925229440377951098208169620819000590977565721674864127302682234557067100016, 4470475264378704442288751158836849656751287649388273640374380306102144186807738521477342187944433008904692816976299671201044404328684328975366329513427467023335591772513161964058605969936918785428309158314692965405613187184827815719663735063633895]),
  (187275481635917207441401877048424917944125884682251234375603088287964630455331973215863954256333500237773777961721926404102689966479402685853545725384962943466104731260721559012805037839495174695594397037440806033963836656309512502281695547246441465821083279216919693754146271634729, [37977316650983082551121384399142984380019420997955604728277584022325886175882463492837876042019532359141907120763799050215053741723559047221642507497090351007260222909146642376626876872474221309454797653802052123205566968344583754770347998624226334434625169408111467082711208091873978129044307176572576405281921113795762020541639159408606809601568581796144651183274560983315578056630766427041751710232258906816443717372555991113187771612176516792051361679558467019, 24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618506111931975714181584327719155180079710389856365717990761150309309073239057308987623054710439718505684427706482878703028491, 49521273972847391088137257152649871543792450938137445475400781213001796847106692662442736484316785914103312575553688743154251190556627852250609356717336043809441476847361160796859595506753057672054696297820652986200399604898212830218985011671169573286960383782085103660291935273240512853313664306597953397333676410576423034356725582314810691, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993890997253271918999067032612724419405364464333560466299063356077035723897732436093242168789874951828555505242145132509369132918995729008344730627762656835571, 6899126184277078160227463981718733940653709636467547638222170998681345419756395563346947188434153360020955582000545261258674602774036923354473221708755216598937994593548464805798840518751371621049923395031255261012500936097595841020284388792126649498056973958608871628951327465634762029125936977529364109578, 1788239053420418401587772340765923823516717749228254886376483639804481330543932417477540820786521786415210398485509947684943937610489590610422166787530675125523558038239054943069868865518126776164742141218114328283397366822578168238959237368661649560459746197766648915637455023079, 166348482428897487243693461861504062409822647641463639259520989495768318574106740939793691644096420188838099894535488003175458505223496188117008642317162244789161403854952090872641428961799461338430088450104438914212194539076998555235481578018762279957516369464102884567, 15474339156987149817687704541993664985442827534040494573751227076403347913604415048494318380699270422854650771778091714952666590646012726085640281706175509795445119194089700130635743395352655561999817457337554718061816414109031057445972744336498053960710541163]),
  (590572511412542211873897638582124725567021480968086220557933294429766668176264606389896228461572614324116574254633345694393704414149261717203226976822132265912643909636157010153190425182598604702478984474810572684973661181852166343197237745181834052254773259261838756956453771650, []),
  (18381277598437327276959470798630911743762430940247042507980652671758807881537869284402261521748502132916781488394117312091645668515097811999916650974406091248013104493495397300974458563015918611904833326476321668812667831944490796374018853885555784257536088707022314171906729259, [10971496292882910093551569156212423794590576372048952816073125626578031247017344654779793898817491798682412115904253692898404609007738780126704144565690754991169735154864829619827596291743232009844226628873198008687277358178458186628735564164906286028694793587716855834453671843065047969192986681176467517529342673417438029988956371911700465205158125608297632750346376544977917935726540745810275890389937331074956925374922383539123543426534361017118243, 532351571834924046442433788730350926881907205857721086433739165844369206563873818590926964233919572192176726138646442008947927562521958673145110574646164638167739885516118954905814377179176184351133069159399304371961775368575727280449554362415251000480890463121544368217811366533232957518011642525115267422657092599663071533542783286260381427393816803, 29666936307305934191863834653828436700510300249617859530985185421437141269999414111375811942402147595152692527617456517535432820003291540072426611777686146911738018519619838100182263012126827775760939813431478036940178277919522668186476604486913696559069050329298535445959687880964091123488560804494086868451219627682801387240429740795154405554270303]),
  (1429732019495494548420315133319446571092295517651950705917964590488598729292863688111639632076971781577189001435495068709342299447567163445378291795850620527871668869064347750406401654578156979368400841751943855790342951594161315442015755822616563741133252505782226803177599141, [1137546678532867166568186173506369140503650044018168644441312407071342628835915989823863645706311220297770966426522629290611537194535086937223911577115973238008332021382893982182987706589933462982050394923411759551777935542726350873330630962996498993966321384330537717752774680149084144204222506204345700960451291164787993682641131497573548487535826795932712644638806960969722579494568008151594727174441708019547778668755891565591432015310148262936510580659, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061615336183073595466638299307940168646731073689573804702422789939261079217439756059638952524925437284855771, 821559331230930224478332734648307160673389442748952739700358431990412337958126769886664391804374714430293408650770344963849591011254462162871659125822172778532507102457132759254068176420123626277696479832572899796279407885768538212757190197724753395758081706972727956240864081762527396603216252390761734767935103654036527040390279046808817214124012000677746445315465893939084450477916589186317973495549893175075, 2289165287440786087469897766495253871966093958392359205383867299684053145456538882829331255882624194087429662282530773761635997171696283085608621441164205333268499798952751883476678360767567976792848027650739993571659590789564732734934756902249827863305118828058323046818418089836464548550651721537571918698664716368294900512948417574695829019081564454107638788179750055291393780898337052228459, 6189905092840945758817706547596938914649767403720330273402545756932882743914270554956959945746631150245511820062762170334667269086711409446223034274221083335111874016796021561765133236879578442712612118662458207449834514200066669065980517063355916312304445375156928553196655313912259280862122, 1788239053420418401587772340765923823516717749228254886376483639804481330543932417477540812884142132760989343599484250280648060645914190283828401245072133085808981850470757080786254512201943282693647399410570884576610530595575886369801170618747653554633860915720247682665476530263, 17247343353588538840075131922702275085147101827106706410157474576725008391424747314880163531527640967629954436182713888816043210826639100109851893961346673734401543526854965339516566460141463990663125370124477087115237358716195090078815778263111606346851045835053174072320727, 28789977052887960951219915276950646717703482185083799449873290191663638421177425905716589743898019098774850298965112086997476019820725107484637887836795218926865191491036582193636017129057525169287928844134157048176536994040224824392024110288099380304617537393503673, 4982689151132455208608716774325068072423950553961846881231664269173698864491523717495423162099909193887843486099658011548761981644466874840858002241239907567743208834821788509229709319882901967455945700163653939740795336333864764916442025901352974845106992583043]),
  (44674266445841103910944922371224923323444567189031795332507329373001503988672911495484762412474642646152796506187378562251531878812500675119280722815662063432885765573580141171925656266804439737173714109237962259291499030684468010863771443919168270645470043880742839084095845, [63393303681437610021468983366826499067478046723334169117235459550926379518984146261292721246192619560674917328878351477764185543864638041487595508301001366730063187383783628555889345937913181553905156557020122016636004463005170723006207803620330113864287066223871164691339209134200486825916466303828561522893941438158936400436700390385201530913481238827534815824010938360869036948699689848085894183509413747455359486708950716116013816436977452631199324463, 294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061615336183073595466638299307940168646731073689573804702422789939261079216008633381357487178865794981721435, 5722756571054736361333378596202431892905322363400679040254159476020878450223403722857869526901156286400040613352469092799946449052319341176611700370838422329805239056230131561279514626319918132261388290073050047603161527937364161488883334985729057938570365159241163656692247365966921026612675215464022997898952180694439237712566498025946638229786578759465660035, 888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444180203546621079366377984616216627961257459720202580691989168763210540892281032889538733238537304197320855400428641805054736919066090519281609526690810791118472875438640391130247599549063, 44430552186025810119680159200188690396049862120466480499572351902232587014321263377717778223530982305949187555006065222390901357309908421312986832119909249894740290792981802009765261583895592475790884516022275450974987734065886220896530243469212707577065680673640780967943074268625607060099172808974670864126096053074271885075]),
  (1396095005302586565065735314149700545056484452149569602709422301727586434803994558958668587030222560828347891764038997614042214717867495375354631997118639689301504325362747053591906994027389474785697902340447348327697640231504690960289734256264261210004834959562497345234411, [5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695039289128490489120082501374307326279802778581156440349957813645916172258531583256554590373277835747398085054976975140511, 532351571834924046442433788730350926881907205857721086433739165844369206563873818590926964233919572192176726138646442008947927562521958673145110574646164638167739885516118954905814377179176184351133069159399304371961775368575727280449554106390731851977426178934739135979017624948457249385042967487079089142218612765747908956356246719977090144147134179, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347086068471487766552703657366258368686947667608263733274499660173598362746415308421341388560421974236648259877549547003515777971696241615]),
  (17527454930467648542066221794391300754314589355156169087494404595242532145620108851708918846828158268863367688028228339810760152277637991971704093724750988961338600641407214073626219641268813979751739376462836809444856099073644429842017442385188455731321553934376394674946, [22078714604788994666123914579500521881984432457529392305678120925094444517568849621695241748448373174918699148094686706130327646553508320241632870465880536469143807193301808753297119049440010111096623777644005557808486814541922608594142803334454480733061807728421364072944675709352463166735300551882992980772130816104943427787337248750460979296962983802807217741896101074163374363919418715, 6378453160981600694352714463129453598298032818041914755874739042631453200834218750041363791641988971812948497817287173777734212808777739567505263927009905474054497973815973311975720569776448813016887508177412633879264735018687105701935935096596901308631061241886433701256639234755039643201170176674920303889927068663273376255654530619886652812851689648868133108674874878118195, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084424787432288335549619368973000016017348387446223814609833908786537395523738906265153775819797677072425819875809012214504739210858895, 17247343353588538840075131922702275085147101827106706410157474576725008391424747314880138989739221329293120938608349646766535110627105858641347058680994564209657022837535823276675542531045233668727316986351705856786653357501763049271275127419944913296354292544589684916469895, 89410728970923669179488768355691944095997254783452361280914737297150606608306089496418607413817421282983092169643870800066853463749933671909592313398973580418732136551020493830566176142783537739261886245920504756782135105420591131563147728162632202458243269884077, 415859822848017536739544298891855361891007650541555214106846721804739601526116788294040162721028749520894759206093251970924904854840550210035715742626133672989320089879793462450346748083964405710506593239541725950240326400896977817127078]),
  (547175992488753312045765013618387477206893163687509274556214702433445114302226453664838143606496726131191319929509342113137738517950284351602855366371402974833868479572020044915221198658138078298544260330409847942635712936845449682595997435584668135442587978778821073193, [9843640914145370834806858548357289544489401404864010351465050733313931223167415500429157744745009677031421510678414767348977206298231052421469172750470869321365219367307209375640515384066588857445516776990789548354503964047783184162531303455920209562262252323256719153636725523275824278186201638277253589301683086172248418195128572212099292220684321927327023537583218848776367918713581675009359748825590522999199887790378433078967158387, 1528509492636041640445884775385354567221511370986688676142811364242669962314831542940278151823139682490349590184734265469351858161600171873648390996350357605761252642491964726273227262220426376454004169550223045387937951388338281616460080684815871873167139438955913988484324678277060787333916902384839033070151574811223111578866436712987045885944336512165607062320145298472032125808754241036142773297145214956532245431, 76424428665821633263761218208043307553418765033450961474484586506910260840474332870642827338195640618632353042865606905122311006586435735357696576885492908116856430332739505305060421555003034248729368378947034133550268004655222043453330504907492492401201899824631259096040198659872122955197481957733571586802105006341155637507529743458783659306026887077553675764601717333026065461840965107477929418243, 1653281696582769011115235038560933727278198635400385123994171741499336296115635413837650729319084520571739358467775306689863197537289048158568437352186006243544447837038130897466357039106715612563847482367300292961433633975680746906942079246675289586058706432212616571868298529701102613738961767070178385922770524180035045807442523923265011681419227, 715315200971674803471414324479919481055422555621818741649653133890346276013008242714593225738727010301501077239997018699412301848872170261080363799009318406197359965045734685742154050560665633016663424763047854056850619831340355598406731471579800164952920248337878285165903589187031198784631215403974996552067303]),
  (79638291236479829309817670723308425430100232694324296066310475822240183586554870420469607137747922877478363313776328377615027347249372908128446704368338012017707413643983349431195105026484185945167661594538682546562591797581272143349113348405993547365343479840919314057, [328632727825480699464886452107346542750458861762452607273903826560110611378633194373227611683285833195602686864047777829760889466876635312048897559012476709357808798072580336000964844297334605421622938379315036314626737284052491787629639071135910984966316879034492447800979937799662785712533743372326335411244420540495279676596487762485237067451769246927129548723545419565467666828316427645517405064052247347639769853237884368896789124050753419, 3169621803746564569643000876863122342116761545766470621849647466860013102094721933981643566178444307058232217256196447627055311261605695653557258876441676658446710431538599470717319141453162764033014436655162633689817110175524581405003128827441565071166882974834259584160830693800153164240534314489876456959194619006481555709105124214051381262346424267033073387393541095087304310434557771465107665460021114240407546035528995780101106419323, 5290863475342738677311605869502641014014533650631649263057841530726222131102654536070596460618957408460295185346620578687051689244632136043430387830274709863195222108958401004723782485629540202186545807496247268247704398084169678963542883557404084573548575771677693362462753717154151423196117659064339227724695039289128490489120082501374307326279802778581156440349957813645916172258531583256554590373277064136246384818236057602143, 915691179269930750789095050953269375692638347343078941291784346287653981364188276900647390020574403327825314388304618235752258326244191570940064240699337259023613402078481798923119418846268325804112436382768988150526437073100465416452272919103690416404770402053385096315463351500614132434874956110458546954577634691770097592102108033803851134226450213656967837561086712427781907581882710604142629541761398639904114149107590483, 1528509492636041640445884775385354567221511370986688676142811364242669962314831542940278151823139682490349590184734265469351858161600171873648390996350357605761252642491964726273227262220426376454004169550223045387937951388338281616460080684815871873167139438955913988484324678277060787333916902384839033070151574811223111578866436712987045885944336512165607062320145298472032125808728560581667124435343231110321908983, 4258987438951777229570971286311274697266247392520167423842203735776134706543136849476376067324798201031959863996414753425520570185503401207445841202973003465764138577356965595480541595113935561813875802113267862988117822710536511514345115986890967569466147037457163352136222473343866810933942120353294156551374276026826725475910508134808105259718565618875647995631122408952226263029550099891927281919, 17772707348852180793365323805856655712620663354043242315995776942461762084450501856017912691695234214417077637229395194572576441137133094825607871330059306026986099973861395420853534089713727435383068140861803764841509415268751774490204202896932053821727998736514125914931237230096335820331699032821018761547513411352526523122639914471886857999845030128227707, 92134231183908008210396040268370390497275187589072700909905925550912060082023337701901185341373775138615924802499002882104735667911326781805260561661965472062042547066518054212163691794053250388314869179927236365627133642730776138485416126965926906640888814996445374135711119166605269591204626477140528379792585800189491080427139290972701608404247, 1483326514146186799281475087688640498047961707402317030758131732404785330837061519954504227509001230898140567047958279709657872490693660851867798110130007492411584145271292168122179962072959798192397482022560096697736494953125073065759556057167328009006515057566644832342638828692941032397543780860574676896966550321629243638090896427, 428527152159091271648836828211103843670947179678743300362806333987955380241075555053041918551079896098896802928042226091405418089703571366487168339012836057314892130128428170636605543341172405044419744499733173795401628299331878227957503295482973961252892250874964481699330134682263580496951458485319648423980961597526787, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844853611241788117623521318547204237311432620012550806766759890415341297320562479548786934394415099156284270023108833655380687400717361651, 6899126184277078160227463981718733940653709636467547638222170998681345419756395563346947188434153360020955582000545261258674602774036923354473219660474904360989167132306279365852863804338079549994819473152134852558312180629627197184847406350022859919252112574935918012965387634006540873496683437850490937495, 5553590996160782578032957813347349458980754336428826065474825457388379054510322491381539419326495759455628460841150103521502193646712257028372791778511476688036099429700609097348243252455589129457195698551915532990892929937064042179606538745693601226026708675032547082726442651, 23175073635408204863407239980292418733693728805571869283292218827251990446173407625304106425436114122742857899632176634219379416955771966435745149195392259423655583776687799935011651233053348679242752763294366037358717939526368683742474]),
  (2397087784691035407759063519291482619045595195500204700303330301523874601742187045391334925816115584618580878717327808400416023911591747374265888143576473910778830854719349719298771174081972488129324589162354930915298690131686440627852478832550705365873346758538044715, [1103920621674877576387669419582094997632427344395147979313839658387648222563869359372694692578164031734282862705187827833111615071838393975643414437450915943336119647356228031984256814035070453888305260622025571796676310501771713955176414739749369591408459374509618002592316151589084377422228193392130334081912674523523027387906498432358633385900164202834509724001155511463, 49521273972847391088137257152649871543792450938137445475400781213001796847106692662442736484316785914103312575553688743154251190556627852250609356717336043809441476847361160796859595506753057672054696297820652985915040541990253209284104573199497820766223954306749898688017011748891618242466301270910929891483020085311021149406146797646020035, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824116528162486352517870573666800968110135149802809466498128397977999966149750984313371822975811668857835987345247508716726181853541235, 185408201519488477359834872995217381947158054590336821302179870332050758736730992517481639246573461077397253872485534971401744778025844120571782046613629763386257331814157737440058220182731702850109517410915942516172280832091135296796891345123819531259288592880883399839716837552977422, 415859822848017536709056476650000640982823272866505367983892404260870961163683457602687804648064805792182779944969713176850327773741867971827386482557200775207809732091568410630342633717478354440939420205743575627770583048229249420095888]),
  (41606150202752712950318972564733908740929482644795606358365775271771545509388080091593619681485752075834094226004527511209161670709456244946418030022226708620127250662321330513185719654270239644489362315985436621418261845926737059488027891572607903482457348717713573, [49521273972847391088137257152649871543792450938137445475400781213001796847106692662442736484316785914103312575553688743154251190556627852250609356717336043809441476847361160796859595506753057672054696297820652985915040541990253209284096928231516947128200778411943106441744706352988284888975948194709713291271325787458235843174860110061347011]),
  (520867208774869788317155502957106611721430333046255346016591369562513587669565592751682742836936002487457851913992773221155870081441743030496255640104438466840013890945599492775066080068519628783974262545256427648062825878962182361088943378308729543555974605450626, [14742284029804875842766801518344081106915766897715125294188881704865019876213997843358889078775422704054493253028932555057567716851126414464154561152287129649397885232996550817228631713580668362020188436587977865632971365188637046910641039942328585585779080626215354259109626715013282016486026092819536446179188757002085546748642264990551894529276470224715497146427648149486404800322594863917775260462762628391975]),
  (16277085259181023193574088156975144433657489160487956512210535398577990524081855695361591796053280039939668396729894578754050067511327026742946040806001834112938214744558793968641106260408884631496987830104908320710847785023956750740884396003682418257352389109099, [6378453160981600694352714463129453598298032818041914755874739042631453200834218750041363791641988971812948497817287173777734212808777739567505263927009905474054497973815973311975720569776448813016887508177412633879264735018687105701935935096596901308631061241886433701256639234755039643201170176672932571062500246153630169329832242896015399962168785795987836730271279218657203, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532571520328954759730184591763499483684229619766515624996511267792079628964986765222156364431954517863187894901508247183, 13883597458251096147595289911193262494232494194504240239602006601342947633000790222294799067561103079660999476769160184801548310313058541177303798847113598302194615927585672028411056722391609304294694081288697869321035158232017415333030413059834]),
  (1570980736026481710759485632923852732572755425141753144884934994383001648741559857373504787966034808869511659496896180808341492493718039530089456642222681718879781664256144555507681865456837728173896777353607886655913956239255861965770767598417009118588863650187, [85180914572761469922169880127030890882786280149148954470195542587864752017375856553434728502029536959938858123561494267690339068972493506955632290541015641640444143016354354655418085390929853894981316215477998662574503783886237086051354895071871386708345690918192002155933597341807686218450168384459817201724534997103834030721084507753119532731524365546232109359024168018308234320673585153470941929341394146420799411, 441580335604320762351608597008340468852398164226097758628211631587396180321175800115864957782436023206659795200378215656732471450005063923543204352919756615325858053448071872860789988397575785319169537240294424318312191298246163670636370133980060703432428645890464113957908991573728755668392942122149666904538906725596673042664923298959567071338842737829685244951006468051102195958155296405113117505437903, 68568097985237570894623761176205974217242551741543620364323579236476579354510859927000999218887601446650588107540341847093807177391559020495240216417172241421000839625942519959110669318607316718060517774641858999216157097605875564445266696944293605368269091892063219579881168717049583740514233889573064385475273024685872581387833083536019552701563053936770833781381486097452821403895635, 1842709843172276256168554542653377212859801180351664607719523355501780399209851548258377969749480628986598660421857818486388184018405690725774141911538641930891259990006128501336582856140923924860731646335381253524453170486415991247645943661201859724165835853276844218144333787905280166063432384504690723163606304946048543609369288438523839495863106498627723482763, 1653281696582769011115235038560933727278198635400385123994171741499336296115635413837650729319084520571739358467775306689863197537289048158568437352186006243544447837038130897466357039106715612563847482367300292961433633975680746906942079246675265769728658628739572886422403399027655065508692694176299704166654120086120398052363003137671805472026715, 6189905092840945758817706547596938914649767403720330273402545756932882743914270554956959945746631150245511820062762170334598886670872297534868873118023427105111316641537924638059459541199716467739030190097732405960110438463910349140902425755099596111030173483585679626421622944473499605066663, 2155829402145254530833785399187658671651306318637716452166046241291688739551420267971643374619510878134616836287211673091886846097644480959556743306721858260200607443722060167203791869056686344026902432165731437783008634911959]),
  (94964760442276937434957228544758554105450665407402142996340476774409012388514611841317702024278454771540987817683905713844915730784141468179456705479782362522449951090737106198941218399698041280693095058977127929266978425471504468354060459765350876021525947689, [294849715936063672205447971350150128549960676005315881777035415905319770940647510332964820243130817110491149106976961984474198633627568708895721117675496832429637837692425066770362253438856253584159841013525800611290494402328567559780768904972732588279537983469351498171597159046830421769853104452365995534338901810647073061615336183073595466638299307940168646731073689573804702422789939261079216004175012122963206976718700291035, 24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618506111931975714181584327719155180079710389856365717990760576061171750179012064230988471232622732957838193169026203867626635, 4258987438951777229570971286311274697266247392520167423842203735776134706543136849476376067324798201031959863996414753425520570185503401207445841202973003465764138577356965595480541595113935561813875802113267862988117822710536511514345115986890967569466147037457163352136222473343866810933942120353294156551374276026826725475910508134808105259718565590163634090083801111385039864028774318686991896063, 92134231183908008210396040268370390497275187589072700909905925550912060082023337701901185341373775138615924802499002882104735667911326781805260561661965472062042547066518054212163691794053250388314869179927236365627133642730776138485416126965925579402304421265558365626769703991328741511704521208847014912778197705693644764156997441464426934506263, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532566926199540155868094597024753475269187021578934444576738769750433008626471502546510405197102163377247851813859774863, 1788239053420418401587772340765923823516717749228254886376483639804481330543932417477540812884141896058484019345117635494207694386625016357402731010812833464858695156614462778041150597323370858698916175066191974357891671197728692892298874572553361846250001833302829765306421772302, 277675749460524575468133582159281207633855187860882581255218018871563398726133439581805697878143246737472895358614089488552552040033438535655477423945338152197033339717166167492677680613150982287304229047303528067582262069465509921894357219837256084775956797897]),
  (2247396353722560555167728556968632974118895023725393381068899150936934194085039246221923352204810351782658739916652597785291618167701445000950468463266313750819670441865245698678359494318771214364820772337653587489104219674901125848878121409162312980553323145, [82662953480972766676341370815732534723188546964612238289422758316352766866105134544655093701984462682613050600885417875617653538840603408817592646638409819717786542891331956399334889764103591970281314578626179553278544024810445570232485299411928544631112943945511772188345893653198673117847129559587582557543264801408228765657880359, 415859822848017536709056475736789149911212376148812228625124121176270129365721388936503031544299690639722667003439675609639118971130687129144242361122429661142865392803853602596212567697204996625459263118085611636744278539669193831707716]),
  (15573671740665090148613838027665876786762417115218573654323265492973263714933660695526819779901373395591241646728380704374616816730115064082971906385266779377252490834413751733660618079854206283789705558787745193050901642763184748750003624985443042364987682, [14742284029804875842766801518344081106915766897715125294188881704865019876213997843358889078775422704054493253028932555057567716851126414464154561152287129649397885232996550817228631713580668362020188436587977865632971365188637046910641039942328585585779080626215354259109626715013282016486026092819536446179188757002085546748642264990551894529276470224715497146427648149486404800322346407515816798784003716385895, 8570660342016944484998971345469878717970396155434259757306647970081953833833856611198382907376430152839138711265880199223352526863014943396377675421449317054248696652638509184519169890781069530116734941193862064464371277211260942074532658075825525388209559043602163031981562691293466913454704055230413692685110957054648069253055244058615, 19223493148155365256201980900302356254279317592518584557024358429391203127537261435653598902885688778542560179948561217559545696781734482064961308159638671773964989004588930037019362207139096754678063178915427592644429389552609865748839417289888615212330524078486066013857645621004270682271, 1071288556290956607529626844484564193469565481287363250906778653359770348903604931064027771413684734651951003367950163174131854979330009561868301291506837508710092956662300401248096136622125567862477449066143864645569127914575550748209889141106932836248687518335592428338593834065506386075]),
  (485117092828365410646207528554200500047151543599138798957815075872814276112837313575990878882697751618612338504631742195581568889148941437180166399017518013850948712704948564003057850851898250967959061022272098496973808360973659546170211747033148041559205, [2843788854029548640635056802610423068871839155537318919143599304811058621114829043639343494140761068602126057125087438028547423060976946979567829689764975965677776846072482882199429642147324764363501725813573179018335209782304316862974978655725802798085991838502841982040136367328874176631415201656585035096560102898363041542603811244598582617660857374996963596231827941071818576293553454710708272115238254188494508022679627, 68568097985237570894623761176205974217242551741543620364323579236476579354510859927000999218887601446650588107540341847093807177391559020495240216417172241421000839625942519959110669318607316718060517774641858999216157097605875564445266696944293605368269091892063219579881168717049583740514233889573064385475273024685872581387833083535504336517006162714846188664748262441327248894319187, 10647177154931118963498100251520995757665678519075083283696612471969550870893399339845006536218752430237260359114289420231101594229513331377052199107242037400662942676020679580500944814984027303976870802705201870980298676403676188949291970064783279451452977760672874893690845234412810538677146186154693685023289053272047103441291536965444080442426762942308599746955031, 102690699985740610696104884513865535819594805706392515931098750832100070981115275110068657737576765848499927835289460421066007248192111670386152978439415575178948068281242146272103465042624657944055168590303016865114240667464075300507490388677088265672467012135338064005304644848895677481104634029206079343141488278619191162849454201163380774050091416762990426503, 888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444180203546621079366377984616216627961257459720202580691989168763210539412971361249484389365921549833370994620792881885627046172937471278671739684949055890359570278061053918870393443889991, 477626530906560826367742308648747695244474237645585380645666939917051312056780978523501073798771677251812368245674586824458375050794921593794582121932501043294021521150583395088276099733812150160679323030871640001409847449582696532180748582963258350545152155601500235688770377115640358455791223652389252327479428671656167062144165241267, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532566926155229922774067676723596345669197956361037942617226721076980095882289797031789948060583801619074940820018401743, 17247343353588538840075131922702275085147101827106706410157474576725008391424747314880138989738486221254951711910739310500304413757941837579379766246920354367043681946691420143213296645827930369207154880037958007633571832806754689615349134824954920773963661758395902777456062, 415859822848017536709056475736789149911211556822162892766848011892991632381614075549696303620787655449032083877177833092183282437838275340717556181326048791970315020427321825021458998199808784317213343052876634649861969209863306072386844]),
  (37841328769056861656919851636192577514098461156098071043155413027923854696932952322827096519327556537463034053655385890066673265609860353818505692875041370215642903902807850110476644653460404267355346003468927359063941829314107733389119579242635856698725, [24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618506111931975714181584327719155180079710389856365717990760576061171750179012064230988471232618274588604083930813171728457611, 3821169135707818491086682245222655010272875277177615111021953793749478552119896373671166625129005130524489480046872804498448430220291298796095524270338750546636889215423621860868174470564066046495747975850827718796218221376399928982129987697352988938283830706391991742052321458586243413933166358283711985354576159366300920843387475253720369042844939047776106164302402559302127274247247, 123799796192062853643403691398553249157738734270945093087784488461511447650722836176941733899342864361074507572978467014975647644162902723830893486708014458299854980335359648022525196498914608176768269187350037300312510196711934029855487986056252192320439442052559769753139870009886750857921509613491225067867, 6899126184277078160227463981718733940653709636467547638222170998681345419756395563346947188434153360020955582000545261258674602774036923354473219660474904360989167114581700440275726256904363019723853955892544150150165414276456243579621144785774721048537963375084056666582679832640190574889435096171700214935, 2985002400519853817883858680276663370825651232280003306700879892396849815542659534621405173840970020669918404224791473680028393981883041826632999666564591196112329153504826977092204688028438270847225865464310903339344327801856650196491095936078817897382636206679152467448, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282733738653484118882793455039356214366986056028917721933655503657500347962639437351726420572156366185176452082670971152871530348148238243355687319457875784049076357459, 23175073635408204863401963444455056722088882762832110298922971885331305874483451587597509857994247537094332351859634848847768474022469135988948955307272770926658141802187658348564390881923757250665258078548313097519049985878139139462167]),
  (1182517488241481576948264107808419439073432624690218352728929161026508985854974106147893172646795498887200293381732891676921621547597580249685821323607576931430508748440604231245389751686432412333276208993008612182155639701050784417668033249949936556395, [4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661187162763015121517099207013407812676453517480165333666567345235888897578068600659716147927007190431311682035]),
  (224583167612837530610192923217855649614931495119466488656715270029208687900974929357704206548765521527834603106197629083718578889307471498583705500250685114272537657329905780622976404115500081768895956143266056935360701084668198262552891020593604191212, [1528509492636041640445884775385354567221511370986688676142811364242669962314831542940278151823139682490349590184734265469351858161600171873648390996350357605761252642491964726273227262220426376454004169550223045387937951388338281616460080684815871873167139438955913988484324678277060787333916902384839033070151574811223111578866436712987045885944336512165607062320145298472032125808728480579477304962382684566162645751, 14742284029804875842766801518344081106915766897715125294188881704865019876213997843358889078775422704054493253028932555057567716851126414464154561152287129649397885232996550817228631713580668362020188436587977865632971365188637046910641039942328585585779080626215354259109626715013282016486026092819536446179188757002085546748642264990551894529276470224715497146427648149486404800322346407515816727005933721887335, 41077404364768847898985114309560897925178240210595736145345018322629714711544665629933703872735867418498058807932352307968299720447195354686890330011499362529453034009823525267027281600816733674413414252021840796027682916193960181772768596104960411247169496718278826907510043022860044800320577835020680961416775508128430005473606898199297579689660664777059527883933520328407037898008805715880559, 1103920621674877576387669419582094997632427344395147979313839658387648222563869359372694692578164031734282862705187827833111615071838393975643414437450915943336119647356228031984256814035070453888305260622025571796676310501771713955176414739749369591408459374509618002592316151589084377422228193391786316621378576278207922581444488541628745046867921087626331112488353070567, 137984412152726612456372074649120812111470599588963227462337623318529735930750013830039848650464389397035051092574513244152151437043472437529047575429342430840986353059353821235825770774655073349717531736127486000692429263489431898722412693038904944006786026086747130475460641742866388212524740659908656473501903497263393547, 28789977052887960951219915276950646717703482185083799449873290191663623718815444661055328923272847007527582102363811193309669463585966469594787375703584861544012381091687861440700887703134486639677229857470880166101833239086470890270822309741672201762169010197290752, 13883597458251096147595289911193262494232494194503420905050290852710119060607539297258043037021173131817555449775032131865065154246684054575739201085981899195998053614054719398623552582050764342956013624367893008867056829782685771746898414670287, 1984288909728886719215164939323162103869013963728640805575857438935649868348287211423078005640317103172969807041456533513683160478124864445955751001212039032104851854315776735114099265110538869688022473468195137]),
  (463496577638622050034493529298641815457602607792146924477323897184880112407474840671645353266592628524086367917462517561660673472103940921353517770400969676520407207568248128954430642974958962619285675720798841658415501660751620666699300714375292194, [4258987438951777229570971286311274697266247392520167423842203735776134706543136849476376067324798201031959863996414753425520570185503401207445841202973003465764138577356965595480541595113935561813875802113267862988117822710536511514345115986890967569466147037457163352136222473343866810933942120353294156551374276026826725475910508134808105259718565590163634090083775350928374395694083566366623471935, 59700865081853679331302300419799228172861070653953959297657331084663152727627323498900982560636445192557880674541719574827692846205690048668115069759824457244667228515562158558944837823798080078687355924386190371302358347987201496280685003704308014046616556963731125038077579815913800215, 89410728970923669179488768355691944095997254783452361280914737297150606466503636007748169964520532807114578391822321461024698550434709044475316735642666351622303338594900818880628174338548941824768239728539354669686474400346644479554914699680180770650658577730596, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373233233727458568127533866669424471499931291222547240782979940880429312464833624012244273355502542509585932492816892836623302405170504166941935371113006892874, 249131047879830863246407144676358050274614881694100165332724707650225951053776844170757765949489798081319798367297255701028970829481454409336793000684548431538897725849955278617826407205057877661959451642407310013388397860266921582277327241075049, 71972972534510115817629296778622832901109595838193329275024829787505830368828572333482687651159254372452037108598110344165328890728277871851397005067690708068010953302191911533006663556102937450113168327364085060735237735145303757154]),
  (14497284014972340966276656785237074545048331242451985241405025930337833744573139819340469826131799338686310435518152602211994240881737524215634963806795400700351388298714640532173109197323608004087402582446866465109420671674469498503342562639681897, [888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444180203546621079366377984616216627961257459720202580691989168763210539412971361249484389365921549833367296447842922070658516353609904699466814273170717652476799260954754760445750356407431, 153794259625398439903613741909809069228222656560171090250873996521558117696952638023047391258976971073852684434540168999195887108483474059541003575464155205933182518226342581926256781934325439391940549618458645520357273142353114260809407096781893983155827541797936753252308689521822133106354321244210462463173582140940786133299666492591803]),
  (2030592367687273918259780040599395153015494142174728300280332138988207636885497498726605258172843996851240720379449198522493407329852110858100118360274236859621158157430491927289884798710126168685495870234238927707749117581998587799958469867873579, [24608428685159255554062595998044385395203468652739297542629361774488043826755433053927058461025345552199674755293655564792847084864079681298801969192360695259360872503082434832815866413553929222226936221961853203602950444694847062828167540997356037629337822996681667747682532162618506111931975714181584327719155180079710389856365717990760576061171750179012064230988471232618274588603669197137127705639051, 10647177154931118963498100251520995757665678519075083283696612471969550870893399339845006536218752430237260359114289420231101594229513331377052199107242037400662942676020679580500944814984027303976870802705201870980298676403676188949291970064783279451452977760672874893690845234412810538677146186154693685022980400353676201979403403204408381148220632867488353014159383, 8570660342016944484998971345469878717970396155434259757306647970081953833833856611198382907376430152839138711265880199223352526863014943396377675421449317054248696652638509184519169890781069530116734941193862064464371277211260942074532658075825401923662739827733469074424504936494582532821743109339060864795587625947683746777652913896119, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532566926155229921446829092329865458660689014945862666089147220971711802368822782643695452214267531477225432545344503759, 415859822848017536709056475736789149911211556814260512876491292603876878440684632906972018920642928352826534299814611620537587650412515482439117328823765316567659884721891399579256348836233194547474038527858194871963411872633919686901947, 6695186940533558327085214521871321963162290765387311614137611132741782430592206947468826237622638159461802343849688533871603675969477278205358586541388705637143700432320718087577332057047486517896589510498367443385941811664]),
  (35242906648952448881675559876532793992383394974201878234574854252061475451774554909725167579877494578043846966553277268641593622288830683551697547433682160073509462170933868037191241388473048980288711021229873821518972333855396129528985543815333, [137984412152726612456372074649120812111470599588963227462337623318529735930750013830039848650464389397035051092574513244152151437043472437529047575429342430840986353059353821235825770774655073349717531736127486000692429263489431185344282606013299457075680848748399757856341994929686562069866609191145253019352109605128927755, 3708214781353740391252162387757314431920945333182679373504755905413924918202421890375203013395116826500155922954625878405768042881165927959307424011499421162059848901213197033454701855040991747936716010263510543777139068886988543353622158818713240493979562799452737663655755210608543017546135741770435]),
  (1101305842151839658146628133412670131448401394598955398175401825940253492941260344914542847226207259900246044892582702362880260531003130518582555493407124423919439713210780675654474959699399271511208590926028513731254683718743516712940806183557, [13883597458251096147595289911193262494232494194503420905050290852710111970581900928045029687406748592690028084053192604812404407660777633491565221616967758705830958265439094929580707887649268720484237824507177337583165510640994314698511328140879]),
  (13787227499793629186196877449584442008646461354610383066049084937289624382414124357214924151412017710047620624980669640577302427508551232463189649353820251942109706885951025398075779791048658332257191769267855949625445240333229667600698746850, [1371380728545837621518130956458468261264271523209597139116880353388608560421994854822094516020196732934350394907584509538776077548370339835231092542735899342637651607411954129895607046394940680915314755018933346540916706261083460270645603972347973895652168049805905500376587353404354346382620733118850994405886515838113974749659624874123297762248765392531911206786014136106748826530222103901723198659911, 532351571834924046442433788730350926881907205857721086433739165844369206563873818590926964233919572192176726138646442008947927562521958673145110574646164638167739885516118954905814377179176184351133069159399304371961775368575727280449554106390724183193115257493221548356100107384768876438549956036686092181244960264479457741488808080911452945323591395, 19223493148155365256201980900302356254279317592518584557024358429391203127537261435653598902885688778542560179948561217559545696781734482064961308159583625966893755067915650556257887253774858774161460629308236240183607350273122070267126375880992038776376653760788148020412743285192465125791, 89410728970923669179488768355691944095997254783452361280914737297150606466503636007748169964520532807114578388403247463467491085155712539679919677828176245993026945938081633033634818226307704717928525411887546904588131936979054996129047003424778995670812764646956, 415859822848017536709056475736789149911211556814260512876491285513851452439222652944721010077082264896903636498349335443576129397623112279692186095294102440739442354272597643750006719084623408145737493858153689382303402027710859579939123]),
  (433922907712303945231282254682120859966057929312575209190694308991037916053256444637200746403420889142656936486144852178318613581679839419339992893865938848968973081781290199076357809846121237976657550571144090114857036969530163209900741103, [8570660342016944484998971345469878717970396155434259757306647970081953833833856611198382907376430152839138711265880199223352526863014943396377675421449317054248696652638509184519169890781069530116734941193862064464371277211260942074532658075825401923662739827733125056964002840001146982930249952199867750246317004863095507265843410649783, 256719722841249391711195086079750726589936328046413837179752895807742684851098742519170578959290317485137222740939050660388213029005714462058881866236905436538739016962890785930076492183838937709932490174255149714294761367968892716597512071579005058130364763480625950860553243456725765461192837308044993854095909254847423383181151, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976127637655915105730855187126653563102666966700500585736400042968378886597548399125545315742055847561380147286595021053662343403658081827691962]),
  (41367288434053460778741030211780072026879069109835721656764384643899692936839433796211721438969644808863208851536849902196613850252227605435086185354494920136902279352721162903524750877089027833893912180130036507483750619904669349132081449, [41077404364768847898985114309560897925178240210595736145345018322629714711544665629933703872735867418498058807932352307968299720447195354686890330011499362529453034009823525267027281600816733674413414252021840796027682916193960181772768596104960411247169496718278826907510043022860044800320577835020680961416775508128430005473606898199297579689660664777059527883933520326010706789603819580854895, 990439034695446384645610727181550126175105553071568211804248688570594614117132035328681806466909158704192415145864169277541190831924914003313448265040750939515068629283286647565382480978657187074595523628476024480334066357925648414034586109999746991543246258507150952810391093918744479258133027794239374647073006150260546153993697506131951538675564159785015, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619596582410106861704882111073903367297786843118483818934409597388824207404894825543411, 15474339156987149817687704541993664985442827534039581362260155464687295668748054287496823801731807928123526283216667874442304913464480702982244212345865741249803090096084053906034214602949862556331293251259588381551689144928301041963395507556995444618260317086, 415859822848017536709056475736789149911211556814260512876491285513851240071471619557357594381515400987104694772761950873951756778316373682210215182013862785956578227496988349614531388631490885059581590057740864185908782232250404838938947]),
  (1903618757143698056735558573235757501005292182693833383614706136717024671066444208765054459718294408778372564477983857860691289114715993489339327375560912536284139975735767376316130325239656419380785263934701130706831690687408770209066345, [415859822848017536709056475736789149911211556814260512876491285513851240069429700425453952743411170865709260450957353288128420832124098603001350638625360886295093033422541994003929312860480803589163576629212297535357883750152229297593451]),
  (59091223723332587461204657869841097910286782650321856134821599631260438145555186915838105649430828496184029680390710903765730705853752170050246439771415119271786284128998187976625976505814672135015061284468364385737025382629546340525355, [318918293244643807895930217778238252700996834819706793476119736275741122905991901372993746644047306700803205054983249333028834749636470792857628235676026757546234730900221830927798231133868436649820631011883991742666835408479606292409641066034777221799560730998747115392103898260837255358956186839136247921231616262631426108033912552155662766187279101914446207, 888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444180203546621079366377984616216627961257459720202580691989168763210539412971361249484389365921549833367296447842921002271005360639989569303666191672521823150122507183067388650926690717831, 82662953480972766676341370815732534723188546964612238289422758316352766866105134544655093701984462682613050600885417875617653538840603408817592646638409819717786542891331956399334889764103591970281314578626179553278544024810445570228363400699366823522578029235136153446099290763067820622088078046411693287262655983813988243305177959, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619390492282845592571357965361931862698350889843966624327028661942391214838158322684531, 1439479151532484579320502531902855835606030758674179953316141161595284246134080521655927766954034100926510191557605846410725896252031450515255538193666416185934644214137999307589793062395795590793580289746444090416340596687739990914794973785408455134, 415859822848017536709056475736789149911211556814260512876491285513851240069423359000528611705222666494742239715472571464641019249745575771668820972340144579020039003714788851658450460487555187266012085060211618029680322421740385390238795, 4010916291031252538461078613339905831639816296852648165599572214765983163798050829632961393705605487450327360215600030897680563898084974953473125341054379276228085310566983188159191571049969363319007523312907261231129663885700179147]),
  (410873584242691372834812062874343664178263628532310793557290729801370548631446598708555357129980851233891265947779055843567537668730457567769398114007797402437763964129267552670571669635505140924910792622084519517849304619745890572450, [622810571665604670226995405878967899904408295467834660590043387850699137672597169539340034544068253675937625128799611283357461685657943600415723861341023380908454991267903942732191977064056222874822022872137014894]),
  (12840368056690172586210612238491078932651989736163035832065766652458417385334614039287841470484277049556560536872797351825508494746077412194156127037899995418167410743198084353583572707524289558156204119526867228409675137934661071333, [82662953480972766676341370815732534723188546964612238289422758316352766866105134544655093701984462682613050600885417875617653538840603408817592646638409819717786542891331956399334889764103591970281314578626179553278544024810445570228363400699366823522578029235136153445999906440469752311428005622921631519060071335019201317867752295]),
  (1001649041308183652346521422587381619048233680775242957635177944332266876368652118185084684984121800837336050328588653367355181502067471386158592239968708615985760230833036054129448436555139787105445442290745503411988805883392206219, []),
  (38538262484764248346555652431812761366229922079403986386604760092722661714781190554698243266320678893913655537369914021116704872604614365812637533328643258477433453823352929633613771883595786198129858190194984301645880354127092108, [1653281696582769011115235038560933727278198635400385123994171741499336296115635413837650729319084520571739358467775306689863197537289048158568437352186006243544447837038130897466357039106715612563847482367300292961433633975680746906942079246675265769728658628718204843757573212285035063149283670001636489773278100322942763240866796865732619585213915, 137984412152726612456372074649120812111470599588963227462337623318529735930750013830039848650464389397035051092574513244152151437043472437529047575429342430840986353059353821235825770774655073349717531736127486000692429263489431185344282539652278472773877000362222693424658866137940718057716397221031461010535660677142309515, 7689607739160316873778939526518439775285641487146776153483357202917649517277282743616271698278637182951885994194586415013530936396287556049751930209353070383238958066082347189247909795444235875248699578762181086308496821362932243867221445880528262455509255341335508241882242448011835181559318656630238496768794832523477063, 39863149898719314319935297970061762267017844396058849209866390695091933373627860965011935000095930428146688745596035031134478046214684915176998078252800121752355353640258695703350675396525139906740865551781178965523032187758158617547630309597380436184009280638497310852686563078356844409847276176314572135049315, 206651727077730969896631600196292868167483420790229128152626499276286443298641374250775868920463464019291534773667495358298745702858141439493004448270721188752045869516676160555579894692669662046413372775172490526951272679323414773980608968296146280894137807647076121945469699714121174160465882348223, 99655146912032176898100294365515065165316583531371317357886581403437206088802374442717908461303799545441090321501847511278187710497145871410233672597981027634930167218540979025177017756411646576718273989779801091146831169065748053754728210500815522773444133121575655711112759035, 558786464613924411758805834704686714616273389798824779430903606345159775120840464911282041693637529034771995859126134971578842802542197086044580799357237614831649254460273267275709982863672842120440]),
  (5947795491062335873923531123407232170823675104407007916361314219637200641244252712236849357811678557237476527278007087535132873884185505977602502043248188647071381741193037618432827562130422980399579446124659178422380870105441577, [6378453160981600694352714463129453598298032818041914755874739042631453200834218750041363791641988971812948497817287173777734212808777739567505263927009905474054497973815973311975720569776448813016887508177412633879264735018687105701935935096596901308631061241886433701256639234755039643201170176672932571062500244370233660401406443268231239726086101352798599204609760118750899, 355459011821332778253638538717491476360254560842411333602862590114627075118385453158216473511604890577909619949145121720826776910752542261947586359444630803247443652162027479391934843692848649240736419357442877508973875871971732737921987641342055643730496937502570638515857890222112392142410171542743585341924538010032458498909898867331575491378921919800929580172407034175855, 990439034695446384645610727181550126175105553071568211804248688570594614117132035328681806466909158704192415145864169277541190831924914003313448265040750939515068629283286647565382480978657187074595523628476024480334066357925648414034586109999746991543246258507150952810391093918744479258133027794239374647073006149400526043768258262021977343573744486152439, 532351571834924046442433788730350926881907205857721086433739165844369206563873818590926964233919572192176726138646442008947927562521958673145110574646164638167739885516118954905814377179176184351133069159399304371961775368575727280449554106390724183193115257493221548356100107384768876438549956036520194169867903741216874195375206174252561832680199779, 888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444180203546621079366377984616216627961257459720202580691989168763210539412971361249484389365921549833367296447842921002271005360639989560058486882694007065339095013146071813195411014648391, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619390490295112765145107920459539068495508294823137015382884282953615820118794680149491, 12835810467591427148165522542668488896730588156796678500483890019331141034860520507897666128296990254998872701574350301558286955233484379784269550303914931189800124017182964656830894952484596135362464378506872548673739836125041427882012540141003883940176918609523706994317120866780396062884534946145485529917973099, 6899126184277078160227463981718733940653709636467547638222170998681345419756395563346947188434153360020955582000545261258674602774036923354473219660474904360989167114581700440275726256904361540414182315838200277534411050322897290994244359462577260867752108958512591162898045929466115676796511696076592014679, 1993130216401636378974045306345314028160970824680353829451062709373958852337267581434705448931512344690276263500029470286523281962324098071745712180857646427650214072679634995693520044408222985429968058041266960374865624719563085509265786982695531949535348956873883952703785768009931363880880239, 59700865081853679331302300419799228172861070653953959297657331084663152727627323498900982560636445192557880674541719574827692846205690048668115069759824457239546667898759175865731094745228891862384974610251812439206022981215035848145299237342282890635751415046254417433331844997333751575, 99655146912032176898100294365515065165316583531371317357886581403437206088802374442717908461303799545441090321501847511278187710497145871410233672597981027634930167218540971380209036882773623400823467197533528785750927835712257700678526993900603828475591347815344369023528086011, 149248077375307468694857247365156608836111218626623831725220727011471970354963624675748001807331414277093038175798811352843277769388331068319230917496614739417453517517219924154543423643239573413519850669962192282087577354766888428288174227133902337686510, 8317310288423648019483000382927556341773595449004530076160498298972844723936766201578179130382300511652027649635524562664940995856902397894944655504140151367589814914308449109599136350144782612009947640339950348250111380133022668162447318225071357317572, 13883597458251096147595289911193262494232494194503420905050290852710111970581900925996749375168799765211061490639029680611919673855080129636270102255629419202760391500351867305308759648376726002230109769705772973528070545909568731405491237648478, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645559743693590967938714837087783470730553214065039048417219908337490370973282378564764237161977938441658280061286601219151005782029987727529564237075, 2155829402145238143918478274495800767460700786002101688457144939820220926383656991615896517333406552888023836222771772965436937456677138705421347629410550562054291942573645408144052147160101793526419128085708272871399701964921, 120140254949209539013642416056537338276859918834269534713394967077143195678305362577991389065355592755071669172678664611807390652062008795053985279000313560862364151411163849809748925888907640718196948283787334740529349259143, 1158737822962379402982504619282594102690021571569031479660277577202473311518258205277884043952242797557259316843352912325806038275028892331191901125069736960865252833734099264456544685594583457391036785944886908591694207, 3598599375293868921150262546167926551514815907938485160226583667219502615537018122553614114277093346734631255140219127775610479611232463747403126791594944015466550809187346297509314672319313357290629828959227546517565, 10027016260634841205134555890391133238458488654780702822991889844107860784274797618669883989312918432256984217124200351074235875736038705377187054532936253990153041451984776771341803443466834689358312, 308118150703219920135821316602784275078259354791039703971610601228765284721248415893524688625327290255492330689798402262603346728153238154224102094292833010598994363068868941790778155713679969]),
  (12286002997719682819384298048815328178855148501464925618625188774724630717445903110691069797568067670629088556182846583315243096047617877455697787157643947035501418756304034025354714560641794305654350706788260866429105427763682, [25830405303873785578671112781739342869394749234243545867864361733379442230238946287826581517608275930243667895829389596850213416538652551731235299003848794085790044497449863628666268893500600333068871820950007318998458583327743585650939330840462156456, 120140254949209539013642416056537338276859918834269534713394967077123501622132703983814059080113088459922092052705084919730780786374010380486545950951923219368947801611035961613423266977988109500383028880165128398888240884783]),
  (383739912699016224856323518922191394251547465190328461100834703687570366880595021287457738947478387810330020180904627626997875570688145164323471286287919590446202075369567150403922828048422141497864509358566491710262962362667, [4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907645892088149302728719983983186792851615918064558268911330063602700646950984944193416277323135668898881393249795533383]),
  (29851903061738475817979543308375176731342038420268170452276236221707946977983967138507027111700688121123611947587270064129987641320086516686234299753619737192910920196323288071493546507852858876239285660339578817971636972709, [191055841942015239443215891298022132377873250268600626503532378229139818408414066142074642803547737882893288095441984699076304500823762384692581486846541601348608312256829315301718188269549740287696651119961930987060549857531073389269674956190527017024030139117721763489126689889544464324744808766375825169365251716273664595325262395948734195137759622844099866857937179, 384475124924553240690660272383961774028039185470764400214589514752769904892283963303315492471896119302692903031347687680495205769761896549624467180533820197950027727110959902437876125363899633126115018009380319091065820165182913476830005813072484873228815485477358389123570015073123346121432629947860496979, 6189905092840945758817706547596938914649767403720330273402545756932882743914270554956959945746631150245511820062762170334598886670872297534868873112316167736882549585200940718459850025222832055917350062323788402749578530876744423330645607645604700457068395858408994079667075775578058839481063, 13883597458251096147595289911193262494232494194503420905050290852710111970581900925996749375168799765211061319687674611111174200562835106155450735821745726402012214029866451314078542021456246333275188255282618680446085271184231470462831025103574, 373109980394510873891445337146449133139635431229320197965449146914349043037537685803770875209620570406681013850515695177319778616856199570084828081289739192884954038998254542776585008327085148174022750587561155707170416635]),
  (932858714295233357495535754428339043270930259176611086068306339663897473113747145288071015472345752513518105202421202963711232801373306759599183079010342280227295268651832591558521693092100927324033959848367759927830491525, [74165310660246060789246101830499547653069587471327701135251788589796711590899375201378059267695746693646081330376415310791921019036089754235297356054410931330879771534882690865276947070278185746565735021501891894667024873154904878979735908487849007665852338887707288689644396165880043903725462714363842659184247286903, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619390490295112765144533672322269427094710765784225590869062062682008129980289536085235, 694170372303826148783422919173125975800822875339661993746816706154542781696292637768290589537036124731911695921483368480710914812473095093015901512654398252878837971022139000236946335687831164490119983519155201199934455363383677, 107789994863421316909000749737430342808994659184203132610840554786024546386946486375261037342130660726174291386409307542089223624015767722760806955251936814659739017094751094519220498048436791432072609497093412]),
  (29151310123169862626566141830832059980615023401518689330319259642781499680618391535228941090156986783270114726463003843671099943346219728720498104372039740093749980254405508944971161535461995587930783704172669253557983723, [29666936307305934191863834653828436700510300249617859530985185421437141269999414111375811942402147595152692527617456517535432820003291540072426611777686146911738018519619838100182263012126827775760939813431478036940178277919522668186472010313188858275713550895663319622214315588725217305649957761473435036646732324504308881184218045931138239851913055, 300342416177132371748599968977092768807571962175655031537517953699201214872663002707745807966621543824097150823503562281585535088837906172862045425009845884761419578259733815788307089856818111]),
  (366011881317344002340430719058196450432125179863249648177256011009431255677250419754318911659450534227047396801279573402499979870021175283016931230552288527757128033035921195545122976418335588249361088753418035161718114, [102690699985740610696104884513865535819594805706392515931098750832100070981115275110068657737576765848499927835289460421066007248192111670386152978439415575178948068281242146272103465042624657944055168590303016865114240667464075300507490388677088265672467012135338064005304644848895677481104634029174077591261933363561169806252581206489582981272533916359089475975, 25830405303873785578671112781739342869394749234243545867864361733379442230238946287826581517608275930243667895829389596849928057475744674549402931168405435196004901545317316348242141244671391595293242222661661169066843551095602907983886598229112292515]),
  (11426072806338886474445963116123518288412695675366517292833195968473703579115394863442223014802365283857347083165128761768023281885476768846883416711559102904766580997355404618726130554208929120400939626805907746268457, [12835810467591427148165522542668488896730588156796678500483890019331141034860520507897666128296990254998872701574350301558286955233484379784269550303914931189800124017182964656830894952484596135362464378506872548673739836125041427882012540141003699034060097093118079198493173965658003627804241455953828777217814123, 10027016260634840968432050566136770775531757041876542993455620998408396994589187880820314463754601689126948754191242425859174724626286635058846376675536538185085914631683561590761012211013397212740059]),
  (1100874328948439321551443366881504477801036419711017745966392093504367049417537295037241347135807506827404339764131798450079673143736907462971136903585784057343984402040363105922407542025940306855923624925612860545417, [1194033643289858988916309082442079289883450641043781313335288880461724592600006725854676607686054392607203115488418143808613700427965148184945423875645440053947794369440562470915868261073772279869131942238070794861007541929815125885661860959953516442780494998478223407924006445436871800803596609419810891, 1071288556290956607529626844484564193469565481287363250906778653359770348903604931064027771413684734651951003367950163174131854979330009561868301290519080579118516763100800540418302479093433572804703153781158031088696002544951092961190948792838915208807414867818952422211373796200778315803]),
  (50052049007990709063306871514277474328705278237834951257475384681244512661264467321608376391712448581988151056161794133354031666620999305897217352865741518024218159557045039597130367771743749796706670702285450224940, [14306499819488158131924554890386109186715944132190617757634834974895574488875516057611294548128325838126241357660860427096626084902353468190344230895035349123675532648987080893323178404243606112604430425457433579925772057972598735146277690036211680751654945778714590623861642476803400557284804028736384912498862606558710136811035, 2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532566926155229921446829092329864267860484247474276751178672664749058977133182277919003632382563774479974093501207785103, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907641297914424464445377285600693696167399373626507438690345595386366665964247693555293007782585547297606166596616308103, 31140102391180436600139370688332740455941885718842240795268426873260521825138135258935099972393473785067733120517216712176679890703372462424293401767321942125365092238284695630084690683538332627544]),
  (868807936051854130501527515489800320855898353168451940854707406995577414849780321521274414978309138925029109289676841440954832570509116517953035831240621460974213476334683012834960350653899664861306517429194914981, [171415552849148960185452564736134437522246842087550789446540017230145385177271253950864644832592783161360334077285686551574542811934533403704567036598712827483768698688353265348774763094655624645452284421844208707478730235047408503557849480178566511722413384254188620365820477004683293178149936560089500886207691726571971365191612918629918493248766570091, 532351571834924046442433788730350926881907205857721086433739165844369206563873818590926964233919572192176726138646442008947927562521958673145110574646164638167739885516118954905814377179176184351133069159399304371961775368575727280449554106390724183193115257493221548356100107384768876438549956036520194169867903741216869737005971650280672756398769379, 49521273972847391088137257152649871543792450938137445475400781213001796847106692662442736484316785914103312575553688743154251190556627852250609356717336043809441476847361160796859595506753057672054696297820652985915040541990253209284096904415186899324706366683832381124328638802398606791907406298560220866951980865960746079713729464642395331, 4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619390490295112765144533672322216008450263538236480815666617025761145946661058992733811, 6899126184277078160227463981718733940653709636467547638222170998681345419756395563346947188434153360020955582000545261258674602774036923354473219660474904360989167114581700440275726256904361540414182315838200277534411050322897290993900342002043162622437004180673426572655405443545548666766252995458492782679, 17247343353588538840075131922702275085147101827106706410157474576725008391424747314880138989738486221254951711910739310500113875294486378521643006341796418352537848392345247154055907243027808031421374955581032504738739638857641157471775829282106353337549473378049817062990895, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500104340204241131609841070853510563692223634662551248194156351316273734986452265524235551562343520489285361209307521170131234, 694170372303826148783422919173125975800822875339661993746816706154542781696292637767972534873305328117610513405131367740424899938100396609219682458429240633980676434275648000261020874750469829858687617536916553013386590969956972, 1039621099838432256029355053971397092794616512973772976366224626087986954350818043917635809418510590384523808610030438992662913592165187571407317144129368939709216239740470642194843957333893414951859479479]),
  (10875738235519789126999705628410040660174338389014489112700199871939598751476123500274699356801694427090408358187203720434593123798654325066099500902499298171660955752303124300713863439432578150080614454199458434, [230329273215674013863507991443552880660095164266718394267060367214070192351476360899443397083607097579678207551098308409349752892353846665855771541671459443010204872344247629192259762165396001476787180744009336224591802446455590169292916824180764935753762912183840334124769266987600975254320015823529843484863150191, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907641297914424464445364484673016123847086414810294412685344504759165434631304844033053218284829441511024549074859851655, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103865350430708877234971099352846498347034627907162739452338900098370096481728604891501256310990043574829933288279354061495]),
  (339881398936725927178258996164334618081412223474578012671087047588649447351478644985728098074274676226705590464656995255056332457905498982977941188870200380299708417445986313830683371558639764804236943227430635, [2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532566926155229921446829092329864267860484247474276751178672664749058977133182277918977871926669917320024115476723428303, 137984412152726612456372074649120812111470599588963227462337623318529735930750013830039848650464389397035051092574513244152151437043472437529047575429342430840986353059353821235825770774655073349717531736127486000692429263489431185344282539652278472773877000362217154872765803902550853045175594288087608015412331122125335947, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863875715210962018910582236525769609299420693734175542425180275312157910437765379329813356377606011089189207761511705463, 1934212977006644749013490462458952337798152594107211680528362879035675908049821908065032048474631641872403610526794169404685272797181866784425345456401174844662823141067701146196367116280645558246813005553068929]),
  (125107188938761459679239139880885333775353500450002899829600666685211435910498804609424618274840504995479293300366442932360808515106166502114426813076063925391126451868826209029391602525234569569036485629685099, [888623205498337884612690580364666594420874079464546373192455636544614379083209154296165602057947937404683117178855940214990218814593461822382626734229115444180203546621079366377984616216627961257459720202580691989168763210539412971361249484389365921549833367296447842921002271005360639989560058486882691336169671354381663181670717939093808263, 8570660342016944484998971345469878717970396155434259757306647970081953833833856611198382907376430152839138711265880199223352526863014943396377675421449317054248696652638509184519169890781069530116734941193862064464371277211260942074532658075825401923662739827733125056963970838249267428015191930843270877251643207070317949766131800240119, 256719722841249391711195086079750726589936328046413837179752895807742684851098742519170578959290317485137222740939050660388213029005714462058881866236905436538739016962890785930076492183838937709932490174255149714294761367968892716597512071579005058130364762412238439867583328317317438070713455825239548974804359277435237081609503, 230329273215674013863507991443552880660095164266718394267060367214070192351476360899443397083607097579678207551098308409349752892353846665855771541671459443010204872344247629192259762165396001476787180744009336224591802446455590169292916824180764935753762912183840334124769264316731067970354001268149896403305232751, 123799796192062853643403691398553249157738734270945093087784488461511447650722836176941733899342864361074507572978467014975647644162902723830893486708014458299854980335359648022525196498914608094329166667078224676528333085646968324413376150408610559152153665392840078218468381451750935746922551237945589163227, 32088647814655499051681801839421113758135602902577216637418818935077226743701981140153016723453250329507271257890615591384459206898470281904849968201173073148097156953198398339650695669859869631610892232322744254621392941340545144078551754389906919098985390891803577846502864442499, 516615176519657803531936285871483510993007152695960209441543989842780739476162340104714638558175836827700105804667680627241581843231420533777411243330600811377445864001037775742316248557682544266518434443938828056199279048750853406368587945970366998876896112487495703, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907641297914424464445364484549552767828075313243905310003966016782332820354820961614955365105448682512918930893631789959, 862355365244121250245099596604762104115707751829883265464779492807923311331537593137525666616179394084767644336097636167338862009712984645205509807899829989308955742835333901051879119780511058051014842805072121274718877428132703976819188834135126390122987067, 1291502589330150832178866263401871086388332908790550824610735667969149087113474711129538290956370102682798443700616374084784804087328611483506306707045718941830042560473305201409914116668894426470369121387904301601927371434121168818287, 373109980394510873891445337146449133139635431229320197965449146914348852499074230344713138449731348986206798500575591856369121102716389799610795286601895159320950183485614443753739885067766736519854534606810539846946785346, 107789994863421316909000749737430342808994659182154852298602605958545634668388034494935863611559707174021873830658184470724474797426096271598130610252167673118722485009689836780968337176150874724731201779938295, 161431195398875385255097799172440810660641350139452376367795536309753115046307355570063888824136538896697916357710538487423518781787904178870249140089534951911894905505805433399651107890]),
  (1039848205462930989916570668462544235581750787403944107152655230291521157586847308530234573886238835978706526404739450108063434951477254999683692296053240738598515928391322797750992181024676659662208430119209, [4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619390490295112765144533672322216008450263538188553537565898735107381282662119844747635, 3327015182409620433814563071821913641933790483808016451053306164166400193686891916189914677771278814090848773800789172766616252372411314157769965157759651193323259076864625164857226320686480002632777650619135038944443002917725243096354501777575163130270343127252528867105951242171822355]),
  (48338703892059448541161640095723950142199320279519705908090309470131617925131180024864437554567250088117474889314036906928898693565974851385963101069038275332667036584647706318040656619616621131839264055657, [2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532566926155229921446829092329864267860484247474276751178672664749058977133182277918977871925898306168323878735805889935, 1071288556290956607529626844484564193469565481287363250906778653359770348903604931064027771413684734651951003367950163174131854979330009561868301290519080579118516763100800540418302479093433572804703153781158031088676831108948587893731576092015111194747719822696799333087810406778714039579, 8317310288423648019483000382927556341773595449004530076160498298972844723936766201578179130382300511652027649635524562664940710497839489935323720616032895384915859540734727911212429706640685317206686899445949841887068895970706204937901912189625184915371, 107789994863421316909000749737430342808994659182154852298602605958545579623111873226821170013119108262760604058315152021585559141165565904386685022687363016336539191357867678153616047959074436001879593955228607]),
  (325083405824193301217424674024629252644637755139821958869857615215873538240223792461242033691295246704463688955938531326796303991702937472999810578591597536108766333868873454298501610537198919054611064098, [2985002400519853817883858680276663370825651232280003306700879892396849815542659534621405173840970020669918404224791470260954396423687819618044918677606033520792429866699742325215244545750096325049096521358164992223964549014597052894812890390789044633900250931159488131427, 1439479151532484579320502531902855835606030758674179953316141161595284246134080521655927766954034100926504484298237617643669559268111850905739561309254594505930334816942519524787326183830753145284215592196228048898806339938431207852883535886851699295, 51980343574486375028431108948770176570309789365478606779723177252733704580801858360264839904267154127301237855821784077687153662236281835782881817608496377006484592431785831571327541055482]),
  (10128815862409099017957667070063022311440591168797623522069009327892008224420737956126960414681942521867492542930439892793140761780093623447094917069829081386320676734235167126406829223421582665186351269, [1071288556290956607529626844484564193469565481287363250906778653359770348903604931064027771413684734651951003367950163174131854979330009561868301290519080579118516763100800540418302479093433572804703153781158031088676831108948587893678157962784068203894166544896879045449283213120680264603]),
  (790164050660441226616867668715577234771192148430325912683187937227844267192563685463856636765788466967613050655562078968915393318020960838456170492443318191974668677097172736704794207377309637281198469, [1071288556290956607529626844484564193469565481287363250906778653359770348903604931064027771413684734651951003367950163174131854979330009561868301290519080579118516763100800540418302479093433572804703153781158031088676831108948587893678157449167949294109413529682659614464388794660291275163, 7462301737628907455899614599817749641679719139894297506015670804739221188518701394525695331981267326880114980402879607314238439133180380681680154091668950166444228364432556834622081058789599185491732666818096721905895506920199380616651003, 300342416177130088782363338972196749747064242337627369108992551137444108895262707370395276250276116752986405809839138371584143138553893719519357628890850899719974344541808877801295962747002727, 15016915283178616229007285509147573960651350540613872836748017879429840124410424683000038740415007306134751187691042574796150354716254091051632171905861775892594841305687774791]),
  (24692555883131248457690014991638966573475878570538433422831801716926744230808305475310705712512197837845972524272752497174336083488640491395233861821168742341390926883851076858866095211432924270601612, []),
  (957630676278861021275279253735135074586871310427950076974735843031043358776704416523467479234008259236204705352150553174478734379465265123572807635127256099307367357991068891521247015417273618143884, [4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619390490295112765144533672322216008450263538188553537561440365872857314773098308057331, 6899126184277078160227463981718733940653709636467547638222170998681345419756395563346947188434153360020955582000545261258674602774036923354473219660474904360989167114581700440275726256904361540414182315838200277534411050322897290993900342002043162622437004151961412667108058385521699195761823088849322843479, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907641297914424464445364484549551577027870545772322713099129527919464669987736321937713594123792466350000404474428198215, 120140254949209539013642416056537338276859918834269534713394967077123440269339211391759117062287535782604068402780452241022997104288008768862237573465502465750961492839169787082428607879087705740089897901231221741385030295695, 86767733907223776691901938865089201077521864004232970118425235247313869886003016284048502100097935691118306507889349936029778170873528974310025403854627070752459194798094950180441, 8071451350124353990744347189324326416190922968746115830905795638642527436637616726692956828952004521337755531315826254824567339987752130359963911445004814799004814519829]),
  (9678260125320059753082290750318946439274498420771629273312082953635810047300909481714688440356310742707280081451429266344454455245113990174736448418163324342015475419952440681955291247349664294178, [2476029811009918707340918404157656178231185151114191318168593862530617597236222966197101004010080371963679033672146651979725194930386216319473104427518810684754515397002286435055615964148347084419666871671532566926155229921446829092329864267860484247474276751178672664749058977133182277918977871925898306145211563110838206095, 19223493148155365256201980900302356254279317592518584557024358429391203127537261435653598902885688778542560179948561217559545696781734482064961308159583625966893755067915650551663713528936575418662026994092412494811315111399304231664083355229160234291744370936022723291584909430873722581151, 5553590996160782578032957813347349458980754336428826065474825457388379054510322491381539419326495759455606441915619708799745755117101920036417113776377709888071503243907522692452702101971223992605994900170008530123466688370973709133097155555241896059446746216601255336734377271, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737215598940294891190479911686199194716468622698118085279169450297339299783701332363586576023735, 15016915283178502082261117236130923776595270376567602677790108270220014331602719973299029473682460634392334220357327203365729620311883870668313089791441459381882840352248259918]),
  (304441696659551968970189246014229015020895581368894592654620720111776379011715799781334232507311274581446066205999659030277832627863455690310074914138188544542312326148001359091812758382652239209, [3327015182409620433814563071821913641933790483808016451053306164166400193686891916189914677771278814090848773800789172766616252372411314157769965157759651193323259076864625164857226320686480002632777650619135038944443002917719704544461439542185346045007645357122563430988175858429169427, 1934212977006644749013490462458952337798152594107211680528362879035674920292892316488838486974853251181266353647422895807501052777053752004279452569704169522276977979645502898985983474797594976893769143541605488, 558786464612556744724010552045839047466639958615123397106631176565989596487048010392731299254427812416163812414476745918705931352344701408899543598999321710432656718337403327968975045358183152638109]),
  (28725538573713770993882177998368683522903842361732585967125505031059587046813637495946587163276301859535043496775458006576122297894487353039093436041545198444311801428496908895181778288442186031, [4133091107414540822394978323441283362984982368644134418306602719833932321291713975682083481376630766179208863218195201066737265107135755605619618199782355042993887578179274360803844824024643430446806789013661179493978704200075581619390490295112765144533672322216008450263538188553537561440365872857310773043682760051, 111073340083026518040714611827383942615312255115781897762470291951716207504510102888314578270958831991140098628894012914269882269388609464960032280776109033077060923459157552022887771912969212082549189339088308775884739769222176932835369082052648291536968422370598204377197745076356805162026539, 862355365244121250245099596604762104115707751829883265464779492807923311331537593137525666616179394084767644336097636167338862009712984645205509807899829989308955742828453457674824783951191266251715877327466802511944142523712992192583817183403511414995072187, 2402837984442872792594812499177870929564147474163201405211284826791519121570290930325387438609976690766267833580277111292949335661346993708818413613746410688065167154731282219912463070146057058730842413255807025574988325153593703775376398211, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092135584275880088913522583517816228491790083841601396751352444159919024703226745405347962039, 694170372303826148783422919173125975800822875339661993746816706154542781696292637767972534873305327832251450497171746805536792682118436025095818746802989330926405687963717541549600707028272466826138531904039170118522570582740571, 64574245685426292883536382323820112735640910415387220231050887844287202780414649730741321164022253115122554392996182714029718920374884486309547159426228861417228272074260218381439758936205452015612964163354250015575099, 11175882246389627879920583478246897749150787160529562883049942605166161615799510215236005132028511611265770594716005856110078951036291477910888923560767543951179646446807153188741591831382383329010468240329500615750, 86767733907223776691901938674550743329322174496240121592982404939856330961492931973006214226836843427370870905521982614636401822740360994144323568236289395204887432874052520646339]),
  (735924582843298230541534729767092111009440840581829493119248868478850057874121044143574132683306218916427864580914983135631735986486912624312631421506870103766733643199400216340044449895984293, [6189905092840945758817706547596938914649767403720330273402545756932882743914270554956959945746631150245511820062762170334598886670872297534868873112316167736882549585200940718459850025222832055917350062323788391264458598022014192245412716904962533770587370514384012265179502417814019382652583, 107789994863421316909000749737430342808994659182154852298602605958545579622580963260999190332074365793101544205920370310715193469385555537452132038880562793726494022980039380918527951453449964046170317855734822, 1039621099838432256029355053971397092794616512973772785827761170628929217590912919981622782894627884265900349640310478220035158128008025499280219676281333401181849710364133189673786309416254571271188309982, 300342416177130088782363338972196749747064242331920109740763789201667741778645791068161470407710475336321252744695198680741889704865170314779835062919229035062443358194529094178441653892842131, 25066854503071998196142726858457030782062997019776772583617857510107582786381481064704674647304763632059886745164566878037294546260773033575718647004387549862449547425]),
  (22996828846525539889305460011070134542783460318438000371556995981332583446411333998063223307457679701315056448527128297321161472307699970548292483121321620560676590296788449186720359959126373, [11516306045417066887206415775957195093756241041444933242521081559231061173122846138762627173225525847091702971389038043609379770280617951566656057373560235476976750086973856545736249427062171368049431476250650876720123557663816917641288149271704522715568076369152234258522540167031165542270790690747, 13883597458251096147595289911193262494232494194503420905050290852710111970581900925996749375168799765211061319687669490550557397580141892412372166633489668820056259904280360821752859268627404231905096796258650573436135712558730265713772098606479, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092134393487160441374791398838426905159877900772647373051978889101820688903104096839211653815, 1396927923785188190005348466947750011275316526140633330985838336811278127841424990393971735989769884073785147827430394703378086954683701299052707310198904941657613063]),
  (287877995746461980656592274870994487058208909018655670124321793158747283787945198667311647861653700607870285193674428587887287684497475591129542341919722779607274179387144299640385951799650, []),
  (9026653112314074946676240773286468359218900362670859942538012863830818398347045733790984156951786382384688550069274373547786343895258924655561816628717573345320299912992692177453638038155, [516615176519657803531936285871483510993007152695960209441543989842780739476162340104714638558175836827700105804667680627241581843231420533777411243330600811377445864001037775742316248546197424333663704212853595165458636971232977441123767627875239624604075944719262231, 4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907641297914424464445364484549551577027870545772319395093491460559689240298489438075891263585204977066622994446729058183, 1439479151532484579320502531902855835606030758674179953316141161595284246134080521655927766954034100926504484298237617643669559268111850905739561309254594505806870270123303655749351166270901852964285067742125018352863901144479016300321548675018290463, 7462301737628907455899614599817749641679719139894297506015670804739221188518701394525695331981267326880114980402879607314238439133180380681450448549240959041551804395099651427040977940219534464778322351200667984153216903983836298313619323, 300342416177130088782363338972196749747064242331920109740763784081107278353448458570775000342470661365996654425505024140340427879293623804030915812141328102834114836672063791668578180001563971, 8071449301844366620967889244326968893586851456892110961963741377754582082164896878044360319329094519552079207407976600398638539751142230996365938816501062075445852282822]),
  (1683878780448931831781483693346327130312080833175880278886255238054564872275424484422566326131565643787682700386726079840399905820846250463023740354922277863205169305002343190979417580841, [21426064364880172204420921192577991850995702006211565640440266868512868304715776112731676059976787427516672563713116990239101081677214538767189589133859202111331973415577803606043999645831855855888008330645466104773712650395151589039759304951462308386364012414884406162998285171100760710366589066796391823, 89410728970923669179488768355691944095997254783452361280914737297150606466503636007748169964520532807114578388403247463466503328226120963486358177967346452335498253943023858738349832392750812421122898449033015172896192953436915722140394070610911610728413703178443, 277675749460524575468133582159281207633855187860882581255218018871563398726133439581805302764556363312138705453563924102803325053068728808916159576016007304861762617698033190036669277073089327988784397257059067532768545086960805030742693230384369986566045050435, 300342416177130088782363338972196749747064242331920109740763784081107125451996217948791052282148992750297126949556842052489645795004979367447927752817989001972500752145832766263729325060919403, 16737509199789213883769562020459722184582995658719409469716158664260664971133379617851634389915177801332125954682251855839307304588365317249462965291727127715348268397185654914113749431812673]),
  (27138647489635784493116927650570341389492755635657580305113263035164765121406103236209107504421231238664335833463218562016076926534478091995722226871999678373246023697780603151968409993, [415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092134393475675321443005056118334642184276666933351371408117669316429090944302603782110919863, 120140254949209539013642416056537338276859918834269534713394967077123440269339211391759117062287535782604068402780452103412246209978130619622020510446143686418437491079960758221560680718890803854809758668117443355753682723663, 300342416177130088782363338972196749747064242331920109740763784081107124977142407526058446182394835033103250349522197967034941782588804002557957688049431688870243973215937693817543440629488403, 2598981608339383041306255848707110918508976244522754766239034593271197413596365047178284897438866692145732163652682794976091099968510013977746953614893159943629408113390391]),
  (1235049375528771073064993765266322497490850737658847132316209685401143564584530204324305172873278977365647767313074254182954960043393877986039302751578699622374724892523071253207459116, [1071288556290956607529626844484564193469565481287363250906778653359770348903604931064027771413684734651951003367950163174131854979330009561868301290519080579118516763100800540418302479093433572804703153781158031088676831108948587893678157447567883599075666515075102523938279204738016948379, 4010916291031252538461078613339905831639816296852648165599572214765981115517738591684133914738841121927213098368589950261939484705029991476036994832777584074505635826857580385538885042109496150996964998307884725419807086663162155239, 300342416177130088782363338972196749747064242331920109740763784081107124975667692028143230121877718712374512614314984538471031868868980944619386397214473353066851917001780043126356784944659770, 25066854503010645402650228711712321429208086530564438597692006987901622088521742733667700513660284784855807333152990666033342154938673028254884495481227112358088169458]),
  (8580204508412235926565298913044503567401046911752787821780384276860381735873567733091210473723424568243556522765851661571390792966793628814197257407247298966050720821882947448918178, [2896765264993625022982564999613541292564727501840208153359857163264525216146707747813330346915304082653900208959114666932382324890075901539509201455022739471385011451173252539566281090075, 15016915283178502082257698162133365581373062275309436549476145031863134154049234708627757008245159946203848161693063836064665383769027444056395746057664092653375903687751409057]),
  (268107523504140217780210178478078661219572987651971703831949424546322625061790120791887176568748011251853335938426692001687162756597636231914218763070796736492336105742275138623845, [4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907641297914424464445364484549551577027870545772319395093491460559679995119180459561133452557710940071047538931052988743]),
  (20915408973668312585154936396505581413885625218932686291087041192585853637859604603293172126498572245751253099437716357696615135716385440702739879923177949820234383934308637517291, [5389425981988552384198770539479081773262573366315842565864031954795667593138253408473394269095994313744093647664817321790048230425575773215880055455202139474934796409951030319648545330292803020, 501343951499023698547307319403855999846913313240397096025081761727844480827007242879410027737030354556677695653067564330797975039027399195215688268861690703290738988192418563272561469]),
  (1980047410197937219113574655063595650957051949826841215159060848851998998617689828078854339896930116780603204374763303584252907800627431449624578613990274322119795674887787000171, [344951588110505618004106029360957848383558151184047158775531673075681885946767100910700752480528713279114132235706151752897690687091890667607435245581986186824969074459380909389528541041764923963111782739882266875514995174078527582059822236677316333604246888314002550032568813961699570624035, 99655146912032176898100294365515065165316583531371317357886581403437206088802374442717908461303799545441090321501847511278187710497145871410233672597981027634930167218540971356392706834970128989095356472216112718200338157615189158782377501476284483554093858053167243528640071035, 2402837984442872792594812499177870929564147474163201405211284826791519121570290930325387438609976690766267833580277111292949335661346993708818413613746410687859075039737185659564024318512116855654765078997578960227453618337516279170086940035, 373109980394510873891445337146449133139635431229320197965449146914348852499074230344713138449715446470666508016961349004330621227453399447796371867733083069596745193852612782802876715068978738173561759817326250764716203463, 16737509199789213883769562020459722184582995658719409469716158664260656423682352906152121566027476156248869811270733769507360385957051914014956666879028262706591422983731669693465684115331376, 46636832669128826554183315069381094658913620321997744671841934124931887759770943065108177480564337582452171487270046117834829068400489387325496828268490346103087488431449877]),
  (25634239637568053547328238734932790745650442031076074136816163652004491029979831205212736101816747515057934667768563352678251778718180617987792238864285276173968766006847740201, [99655146912032176898100294365515065165316583531371317357886581403437206088802374442717908461303799545441090321501847511278187710497145871410233672597981027634930167218540971356392706834970128989095356472216112718200338157615189158782377501476284483554093858051883238378109134331, 13883597458251096147595289911193262494232494194503420905050290852710111970581900925996749375168799765211061319687669490550557397580141892412372166633489668820056259904280016804292325170382089127127257631668407932950215145548700007013153999374479, 2155829402145238143918478274495800767460700786002101688457144939820219825452448122517102783221134685685257968199448281558508399733428263152070573257744425351492965261254415977560078288814996337512011766282043957082959027005779, 7241714936879287510783225917636208948133416494085393952149225498987660848307126008876418167179408126535819604462354566883843398602048873628873852049187339]),
  (256422946016608732025362007287648998196712881679243393696562813871105927200684100368447055909066213566876914318398404478408936684542358378403442803047297278048493025901203842, [4982689151132455208608716774325068072423950553961846881231664184223453881401653858184998625960282731690373171880933965976072591848843871794181907641297914424464445364484549551577027870545772319395093491460559679995119180456890237785065535859139438518288038653255]),
  (8014986107895552991145715896659389944496590343842868371059437281056039522537686607726127740524176553397844637983363883387419540779001226286734749426007025559443981029418287, [89410728970923669179488768355691944095997254783452361280914737297150606466503636007748169964520532807114578388403247463466503328226120963486358177967346452335498253943023858738349832392750812421122898449033015172894592887741881975125786556520801208742027931707723, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092134393475675321441936668607341672269146503785269873212288342639675319256930808958445230263, 86767733907223776691901938674550737622062806267473065255998485340247093921299325706494358825763705127361948808174741553061309253358224346584748176714456721003970139747232688741631, 25066854503010645402650228656666514357974150010662738678308675689006477328245361126814564409750629022010273875807385648417227578455801963386647549649278688849432744499]),
  (623318276831115800498989236585991421415203063898718571720355176377453977300153308986470529008148650947957585586229300754106479736545856833925792120232864524168795913492645, [80219423710936849097932792512062171513804421891693291826179175335674200174503101980118287564337886433412821538887520736124009350268724193011692669989889692695874381867854897358015395270443392517677185371896325288603342843840918447389240691330667035, 23175073635408204863401963444455056722088882762391725761172334510101132730918711886458287991388489129190109450122262235441739537088870608630819109178123520603987732903237116372471063346808308883653434754349781209587600103567938013831795]),
  (19479042374021836446119022198021714496331411806257659142168338778357775965165664310483827403102553571156593915856641434712778197481112333443421300171705599641466701853061, [1788239053420418401587772340765923823516717749228254886376483639804481330543932417477540812884141896058484019345117635494207633033831523765347788992987280787540671506689829961722616020927491097811110421599720020397482620148702440394129006852203532286682368218602942967471421628543, 7462301737628907455899614599817749641679719139894297506015670804739221188518701394525695331981267326880114980402879607314238439133180380681450448549240959041551798221956797815777629781124361819566203911211903540069950903753830608356723835, 300342416177130088782363338972196749747064242331920109740763784081107124975663097854418391838522219402203843609785481284207175642883422101084174077534373236625395100762996221942783648888248743]),
  (608718485069901630669009084673987330129156806958882105725820599407142655958357007068780144465549326430260991001255695487853949404709159649969673470214031021947382703467, [15016915283178502082257698162133365581373062275024077486568185410928253715577562956107020578773213827523937658924961751624057999073851280704105816606193246069200010252842503241]),
  (7645271562825050971024091513269071842897829176291954283281669791311163143395473916479758897845310573590413778397789199048192846918617718615488051286573051703223228770, []),
  (238587532593604864188763129414665310989108753197837572775320956082790287260203458354488991878870599957745807262330309110484715029489665289120329144053196443602724137, [277675749460524575468133582159281207633855187860882581255218018871563398726133439581805302764556363312138705453563924102803325053068728808916159576016007304861762617698033190036669277073089327988784397257059067017552360482142305000920916708872081973032850797507, 43117178148517237950037140978880694027754330801976342199207721299047552058111969544094756498649471658343201673969394670445295621120885877087092563710641189512191093668716056180075782068465466547678889450349004236119498026374158864743907503111, 836864006435979494933993415400152593112887549741448471054852326603914788165580231240764276418066612731221597165678920381459595670365277920053015941699999049159285063755140222, 4338327319807222813831320322836905979565320060072037977542560091901498710744141497727395187256768779498740938212660749148224037026904056047416799756738181800456645, 69845440264972541550510693834627858674407474436740550957498921557444620967142948341858155030621476966563606587404521817296912032151071455907353919613]),
  (33669063580328189121552308818612190734158580879934783677786240831257611694782405588373597502773668928189295488194766200574123323091452975783870297197689770556567177, [71972972534510115817629296778622832901109595838189081820907513343550837123832913873401245826172719100262536488832498001691809435955297673304606114814592932251772885553656158052616382014034496694497995902385643845969936175614332938347, 8996252186131911608533797310720776162730563286311254802130986485992642271170516635412348689423381161252526129255527494819473855703306765192860868538304851023042659887569652037752173007, 2331809719660260929817236349523721212718072631511777737669712470129945459676668087388979302240269776078140674683192128195036724832592523640016770069563511123]),
  (707699851769156344838501927323899389445759427294129741956710793202099152931298503667839917025161015245520703351475566902825570724825303176111884322299344024738092, [516615176519657803531936285871483510993007152695960209441543989842780739476162340104714638558175836827700105804667680627241581843231420533777411243330600811377445864001037775742316248546197424333663704212853595165458636882064372381024562715699477466985675244117506263, 149248077375307468694857247365156608836111218626623831725220727011471970354963624675748001807331414277093038175798811352843277753485815528028747303253762700917578254526868109731124210813689315110284902563494690240421788578800979323605857655922497196039663, 86767733907223776691901938674550737622062806267473065255998485340247049611064904440989787401103115640456882125498935340000507364766243181761406079126352026007755252136940245882262, 15016915283178502082257698162133365581373062275024077486568185410928246046793252748043633144536922781193158311702998715776193941941816106849371590774122542151004393719239770856]),
  (18141552820473385927906203039903225539867939501674332831404750556160236003628497007184767233025390441503274861864236031587398217763339117293406542618323787763877, [1934212977006644749013490462458952337798152594107211680528362879035674920292892316488838486974770812078746081834799111630389987811348309892443804928071018437137932255862670178121786344212308018503513948607162787, 179927506226814580687052899638416023040386798310028775825748440105675272642506868889546361801614371591247965036907955245062908633218594323532802198262395880135701441520842266051980270972269311387741059]),
  (227106066419210399602169875350047455957605523743788134276048219896463108860703001462122345694199392404312777049073324047427979880401755103260310525394438345090, []),
  (7096740509930143255753444489130356031379325872628005938140624638127500070819554189597244513377376568511780401414665795729576560571950026659136773885729512079, [13883597458251096147595289911193262494232494194503420905050290852710111970581900925996749375168799765211061319687669490550557397580141892412372166633489668820056259904280016804292325170382089127098545617762860585892191293681387581017183662093455, 415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092134393475675321441936668607341672269137258605960892026634863872321410546025428336726886583]),
  (1328698655164707202637791881085192124246894473399654337988107405319018454627761643067022655909982095289879179265411939281483832978786137075119282001262555540, [1439479151532484579320502531902855835606030758674179953316141161595284246134080521655927766954034100926504484298237617643669559268111850905739561309254594505806870270123303655749351166238900101084730152684103661755990906470681223522764048963407880799, 7462301737628907455899614599817749641679719139894297506015670804739221188518701394525695331981267326880114980402879607314238439133180380681450448549240959041551798221956797815777629781124361814597007863173229728463456136975894133727049083, 2155829402145238143918478274495800767460700786002101688457144939820219825452448122517102783221134685685257968199448281558508399733428263152070573257744425351308059144432899571417066280263277177342393840381077881010926455340243, 120140254949209539013642416056537338276859918834269534713394967077123440269339211391759117062287535782604068402780452103412246209978130619618322337496182803062396678782479039608307878461179377953637953254565769442454177819279, 6695186940533558327085214521871321522777753014749936383964467568002099395657682534561323900040958401615263050599856302912032046178088001059228817186865103815081073651723141532475532037951625823089318201105968953248745406795, 200543069863347697168343507202565191625775927505500781309429680529969639905569786113360895530646335368809094322319450316872118860588906357103689512456559026394575945569171828583307442613539884943572601239979067646131, 179927506226814580687052899638416023040386798310028775825748440105675272642506868889546361801614371591247965036907955245062908633218409417421519233749315103517014734439222955985018993242262369920658563, 10027016260634840968432050566136770115991857681591327734603059515680070108535269666221081786998927341537858604837134160707160668255969869431777794650456597216077411939127173808986878788883613020717759, 558786464612556744724010552045839047466639958615123397106631176565989311127985102433110364366320556433489850160459647665983395389048232350481069958903646372378680465066172576744824957642664452261115, 300342416177130088782363338972196749747064242331920109740763784081107124975663097854418391838522219278739296790569612246235476056668445261383409433965851141285770939726021060918639048456595303, 16737509199789213883769562020459722184582995658719409469716158664260656423682352906144452781716554714731282188353216205878526634832431423174066316525338373117697467610808837279607582881482851, 129947301922063342349011805789315680980546674857331495034704278065991689417400409050415083148066552056052093167685608981021585071708986090799085871368056841, 7241714936879232464976154683961044933246825591828799932134874743101570098211927862481477948283865183162346364997638772719710302409129604331085430864230551, 403566941762842020558978521983127817896185795586903743723467309836572350414292474251519911629203086425740830376355398814809017875028079108204776811602853, 3892352981234768630616992267194202539776199459305483548536007015602144368372460593018671331453275042095066448259232538796875100224860049480305327252, 20178070925502312024828157754682964363749550051444456405214712729667856195156977438884739139017590910476179700276866470626884525979779194]),
  (41510818205383689698417993520625924731396728787906834990055442347907435097840483029408430670789684004680131644486496422619932629633991024092072985490072873, [415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092134393475675321441936668607341672269137258605960892026634863871549806813306729140441341623, 107789994863421316909000749737430342808994659182154852298602605958545579622580963260999190332074351525343671309322168434539651782328263157337546426408809042035856016593032779412446143698919569927237981955189663, 300342416177130088782363338972196749747064242331920109740763784081107124975663097854418391838522219278739296790569612246232168355495097837124633913008051999537752949722672767434019149362575783, 8996252186131911608533797310720776162730563286311254802130986485992642271170516635412348689422997727284763953709763710221577294805920459120599100688952230328467378217148858794478624463, 25066854503010645402650228656666514357974149857284953317592319080502528886281568315998845453444581245510004617281654311089870128302393189602475796098203893107255358282, 362080791305575657954276105917372832843261188144412135920767181021508999893946465524364351603790964945531740082832140011128774599636022404]),
  (665643629220720725302037619955941033466045034451037769381303758273358888707880099302542208662949078101276855087718853735920930262599877863832995545520617, [334754765479879364413840928858646938528221906207042938109901968073652821589436503645711714140925268576359884676395009287745087759421756039007024767298320566519411901436100519657812642977106869437668058491159]),
  (6787658657775275132171909262528197667935573364717393150493011279745604568594599615526552011593442821102874537618658715714110516887259079991092700357922, [415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092134393475675321441936668607341672269137258605960892026634863871549799371284654040842819255, 15016915283178502082257698162133365581373062275024077486568185410928246046793252034665502991150298297693076712802761779889353352188852227095109209976751562497209733244473504435]),
  (211518274179341647481448428912746556101063957328603986205258463140463723759875091803835356900654450784987383311623420731147817369098475499302194064549, []),
  (16499061016974699741641043750885693706023479616989106016600592044191728202679490156685886028219794607329412906546466190337418178382880569325895948645, []),
  (515604615434063011210051913674427420679151189230537005302205192368040083674763100819500354930202676739283676219065193498514600843980513659619419531, [69845440264972541550494791319087568190793233847645066584965932778731258016654365543224023287956622743867273463565569245963004079280449084866193652983, 3892352981234768630616992267194202283751672642017938048450112186865336064580694880815660237998880796594024914228679090666527988287401100121661742797]),
  (63542688233855940298331563100516846879211004378770356841219338642172394595102003849046688601891259509774459661685633707205859774580975295134039531, [2402837984442872792594812499177870929564147474163201405211284826791519121570290930325387438609976690766267833580277111292949335661346993708818413613746410687859075039737185659564024318458698211207537483325525652605756809186697071924113801091, 7462301737628907455899614599817749641679719139894297506015670804739221188518701394525695331981267326880114980402879607314238439133180380681450448549240959041551798221956797815777629781124361814597007863173229728463322594020213125075490939, 622810571665604670226995405878967858938241384031350585469286363021269178821397760887196845866873633973978798349072314024794252330983595358427273156091574836632957906482691966793663430731321411272879395857120210219, 1039621099838432256029355053971397092794616512973772785827761170628929217590912919981621303584956244211556477024556114266476205542287222715548661250180374178059205713560407411611521777024376146511906103311, 8996252186131911608533797310720776162730563286311254802130986485992642271170516635412348689422997727284763953365746249687479358143734023471159416837322645780086254399013380826274315727, 241766695331325158873386794105859751041626039910510470857356694159336902649772250401203203553837773591772153739394261375583903835602260324348910722913450248732914, 362080791305575649406825079205673446128864807832348690767208938376450107460366727942399721823263886999290598469313209885544575522318986876, 62665420933038608039056525734258098298575151148777824383726803679162766325484784895171376993156604359019030020372865906994165922490333]),
  (202082569514954325538528740704647893393993866747802723911254048226664623972089828276333023535714953902201232350571287510724567465272578063440162, [415859822848017536709056475736789149911211556814260512876491285513851240069423339245119645554036434222739171658500103863871121037237180627226737092134393475675321441936668607341672269137258605960892026634863871549799371212875970841664375]),
  (6324290797480618732949056791439401500743852167092419153917146919576612387077216582443488821507603097618763302855179168499609066596150322213513, [15016915283178502082257698162133365581373062275024077486568185410928246046793252034665502991150296309960249285980252136682427529901128355842258527072898682200831329648814043443]),
  (885383445885771745313705781312946082427307678079983110400381392258603193902330125771557331142408735421737146673320788836460096865600896640308, [694170372303826148783422919173125975800822875339661993746816706154542781696292637767972534873305327832251450497171746805536792682117722646965665360176518098017379963433741938854762866712737299476992146236989982398616351409029851, 6695186940533558327085214521871321522777753014749936383964467568002099395657682534561323900040958401615263050599856302912032046178088001059228817186865103815081073651723141532475532037802781908934611397372040259192129964235, 51980343574486375028431108948770173151235791807283384571135096263775287464227305127195401047225840896804607835814047354098028338267467530706755333059275871066986930067597792744858013205083, 15016915283178502082257698162133365581373062275024077486568185410928246046793252034665502991150296309960249285978474278725392166336890436694563247335245346688059331528886206643, 25066854503010645402650228656666514357974149857284953317592319080502528886158103769179629584406609545923789640441953546446301606207053565441438820937559819486597102743, 1396927923781769116007795501982415155880849110684796382348652505237924601374390988132722441657513733592384516674832487760662747826698892470420843944026302691333013651, 241766695331325158873386794105859751041626039910510470857356694159336902649772238916083614716568076604784578103558645867598668479120974472336744628704795282940679, 3892352981234768630616992267194202283751672642017708342907705563783108464624961741799175195745390230910007381230759667441104192985692399323511412076, 116588890315042782111027546934268122415771333093595393961132968436705161357264696071824650813828172706792110217721997449600864802273201382593, 10845521427842843270462350697336838131318597491884763712127661835842199498003102962307986576447825314982283924716888894332255423501]),
  (15366004591891232768672102208511376156996310420138357809664535543633302423349569924037685001076223108239282213794192175041397181141159811237, [622810571665604670226995405878967858938241384031350585469286363021269178821397760887196845866873633973978798349072314024794252330983595358427273156091574836632957906482691966793663426272952177163641182824981041195, 324859362513978409290219641729326769896389390257200413226476870208762192435033388918315064113565484953523429061472976973358]),
  (480194482459693266582357023412308299311714845024941819542712902691930149249355386735479738099820808851231737772882347818515601611585596773, [1158737822962379402982504619282594102690021571569031479658229296890235362690779238513518520837980950547178681102275982213825261864002572109403803096323055775638646598528744738948146664081375190145879147219610915424044799, 34708043591256184165333827574523711737557752034747655397211929216683602985649480733538093575213800265892085801717061840912480128821941314906650942278869213214969901374591438171882374801959709725015486053579907495, 116588890315042782111027546934268122415771332380224144251123396301301572123913713199022624068108864654948384019778158596683872825720537949553]),
  (6011439206315751136498195924087847038809570165359933938800290968368739681839145750419656217652875864170817343991705289382759135443199618, [6497276172574908764468576222970766010728660348145277595683908475133477270060892732922325695268011942222119556664351334428271775323168303231]),
  (188381769725356237775009464753738345393871033010252538016896013444835319358138830981674683129002180537350444948093288184303731913857675, [5829364733445548717939622850864911392044636988219287424297226931550606915239505811121242645065764327654453566870790093979949]),
  (57786015000041696848530152025283829731667774502451785454230052640886107261946384924830406879637489865979269794285208201755264575743273, [64574245685426292883536382323820112735640910415387220231050887844287202780414649730741321164022253115122554392988513929718797478857296863392029595737855914924216821515365246030730734405166232665337894466936862267210299, 6006930534938955348523032814793832763751271171575660846484028218145512913565022209146939002567515377440001732999920191323744270560426939632030747287561520144573222470369876957665994924342333655114080267540507, 77848125061198685490090379016958447881134135041381564683426013780113938580934017209374365427569271228138998442810195819976187230401652977294832029485435391327775631, 216913397253293800611069490408072916736873708673696388423524863736256341860320597184157029400552446649464696807533045081802114557815897558429562586, 20178070925452924854275202731217981473309606890066885681304044684859999221515151503966345608293548673704446578626280022072566413678851659]),
  (830093145196548017514597064388493475529795031002249651064361891246957595599493624287134164888004102064618513768303007049001834164585, [324859362513183294395370095317092024770628339050859688909754640440150490248748452922888835733355309611406227152641733278572, 18103791791750581178366090626087643785342110125190801136751597410258655480265900125730808331303364142271886447992401057594]),
  (17500302007819304414877926555056347202831622916237777760601048450043770381029916788200322544219824267266348098657763383284828870955, [300342416177130088782363338972196749747064242331920109740763784081107124975663097854418391838522219278739296790569612246232158051030377901598734565409986093809961633784623066635848399039111591, 1396927923781769116007795501982415155880849110684796382348652505237924601374390988132722441657454194397016125715280381150042785215019335210926330333424578945448652051, 2331809719660260929817236349523721212716593321840137683325839854375581506117716088218261994244951678435602559313097664891488367514229117756990204818376002999, 1124485352576997970128569956257889175019037630351404921587683918753960767172882195938430730102791984950039681604076772856704679739651889, 30219603786831991736853530471016704115544672218222483814057750584174989409191861715798181884265698083156463908247]),
  (179160385584391868841512405281926786419581792200622124328090164774292680948443512119607477929979210300126780297462463997218705570, []),
  (5598627772518585389169620122064270937492276480311561552655128530370384316551785881845639814877144008450588137554653618970374789, [300342416177130088782363338972196749747064242331920109740763784081107124975663097854418391838522219278739296790569612246232158051030377901598734565409986093809961633013019333917149202753566631]),
  (436726370059207354538980913657037262161999914402085414279460874017892861659581056666477238303238850428265031614344750070798735, [324859362513183294395369865611549618147546111451005470153404278265959344115395056155970932612167448358925978246778794573077]),
  (32669315762854260602526292365246512579141647694387078991106346808383076888488353067084560863074796874999208722464110160785803, [2896765264993625022982564999613541292564727501840208153359857163264523736837036107758986474299549718700341256373393864148650766463974942316858712796164882964796324348272181978685789807383, 116588890315042782111027546934268122415771332380217263807746341965472252516446282917738364847113342090959118946388921277407324166206925757635, 104603705839506693628493951155437768282623614986292893891961751166969671288072275046349581248738134865498043298894105836334657]),
  (1268634380673349098936411217931795923077366536305582874450550675164199356519235697809552366061426225395107581623594514752809, [25066854503010645402650228656666514357974149857284953317592319080502528886158103769179629584406606227918151573082168871577745743830473423875357294658606953943221893271]),
  (5354124533067051011230332649957024737269330055827358619875648744193432161429593693417830551825852405635067868805312322178, []),
  (167328704784506515053473181060161510163244994639743261384430438342149123240000818555971764713186715346388253944995456299, []),
  (13016541469190293747222012956919030322535546581820919756172998296401761691536162292082411040344825406901895535676149925, [501343951499023698547307319403855999846913313240397096025081761727762041724486971066786243559919289590972253541231916689164806753250747948007921455595040958407857453146128953125295947, 324859362513183294395369865611549596779503446626991870387013182205095143068897750650598050406734855936124888483157961328157]),
  (406733256535855306946927613976626859858455973484117884964247325449713461630709392908879567184536153912934420830329221, [1396927923781769116007795501982415155880849110684796382348652505237924601374390988132722441657454194397016125715114483138665728691756751664812728426765687832805260435, 324859362513183294395369865611549596779503446620837898969404423924448839241518600945841771321296330983352041956342533555716]),
  (12710635334783574062852163684505759534737894523073345061893031407535522492750744894304869361695565089314677695227532, [194614985506934300984287317642531339080025522284417250947426763594517007537144153935568754017437670257821763596773766689655224972519]),
  (161101512469524028341822135756898244850642168999511944796190208448041323043788412300888486248996960533352423619970, [51980343574486375028431108948770173151235791807283384571135096263775287464227305127195401047225840896804607835814047354098028338267467530705155267364242124052379372977070395149730462830555, 2896765264993625022982564999613541292564727501840208153359857163264523736837036107758986474299549718700341256373393864148650766463974942316858712796164882964796324340830088125516190130135, 241766695331325158873386794105859751041626039910510470857356694159336902649772238916083270699107542506539262998752094689102878491577278509861337365149410791904775, 12088169324519780382258560151110217512054114108826648715763351512168525141581347082454354613779051262186763471985044199381193379506997485358365907, 362080791305575649406825079205665777344553886390831103144291420914276117179996584555229681512333986340946330906507311449287176226668905275, 104603705839506693628493951155437768282623408894177899795401976976355306989269996498308013455224191609380965120238877682373656, 1008889738327166815145571481201880376700917725730529893210512106383211371587581573132360616415422135702753220878532531408, 30219596118048897125469018409771833733578871113757666781307967298904068473948694969906735395581331888321434246597, 486524269731243485036138207838272112307233607946867843281252465829670241608111269652832899355462750]),
  (4981719960534769266060862295986648454955265029131477770645016833117909880378213215357622735297751021182030780713, [362080791305575649406825079205665777344553886390831103144291420914276117179996584555064298717141534636183772723800996530948409625683076283]),
  (705391393827708014315669109306484876587966058733486188716269867999700070250207934741591697045920329427819213161, [15016915283178502082257698162133365581373062275024077486568185410928246046793252034665502991150296309960249285978468740173499104101500571682022444388455492963305668168293795763, 93850582553715865430993465387077159871760449429633820164153034673323311358189623411278387462984447275816515377]),
  (21825742058483835043808567130447587713924504943205764255796034175390515397240779655496650582720211348037674283, [836864006435979494933993415400152593112887549741448471054852326603914786838341646847032198609352903844460405727124864053538476921257758807240941122612263751995417434027609263, 25066854503010645402650228656666514357974149857284953317592319080502528886158103769179629584406606227918151573082168871577745741159577756134725811768536254541295551703, 1396927923781769116007795501982415155880849110684796382348652505237924601374390988132722441657454194397016125715114483138665728691756747206443493904081803961799506835, 3892352981234768630616992267194202283751672642017708342907684195740443634438219121796815786721215567695614005210996489879608447163452686070361384795, 116588890315042782111027546934268122415771332380217263807746341965472252331540166096221958704101348971674202476861841687611667730355412666435, 18103791791750581178361968727375082064233575797030510993745491750412242375069342863293345462518619979056600399062842257522, 30219596118048897125469018409771831745846103226128742132551831055438795553723641277936277901395490438550041261437]),
  (378799859284209325107219478097291804476585779271335684879405747581994970608811706850821428892803207013898405, [194614985506934300984287317642531339080025522284417250947426763594516908151862997214945489164697640822199435850611400594310625918119]),
  (4742195935727498538377045918930010298679429107472361333454982670827203622044558703181288876653921224863362, [836864006435979494933993415400152593112887549741448471054852326603914786838341646847032198609352903844460405727124864053538476921257758807240941122612263751995417431877638575, 30219596118048897125469018409771831745846043687507621878915173096061555169172176954189533382489979409292932053196]),
  (148193417936728881414238010180552690101633256236319070722073186576413306260633918528611334920414234223983, []),
  (14252560342572051677048618397989389242643507707574966062511542208143686482913122262990478048806190422379, [8071449301844366620967883537067600664819795119910713586700043317908034187404328479658631351813499636118416667842668484823115891278091993781800454310963737522610661254175, 1877037340377674936594952825185599311427254531631824489732617759960863992949538898334781825247989298405271854082922587475469911, 324859362513183294395369865611549596779503446620818727533401918856936048411463753940928522998374258313711249099505398978315, 1684080372255700721716667326397717161085814515708529619369888466715275468578369346728583119776877715247640203138]),
  (1444220491006195975477147842319838082017853098259667062874862031085112814642883598935039386180681082153, [3892352981234768630616992267194202283751672642017708342907684195740443634438219121796815786721215567695614005210534237240677666670000768770945456475, 93850582553715865430993465387077153698617595818376010556950924258532115661713025684436665007983118169442626176]),
  (21281458968229243969478806361185200767703576292214676569101977491247191644791712742708797079054242441, [93850582553715865430993465387077153698617595818370489205695476019051000527074688919536521416383407988978673128]),
  (141989494729129383433397150234584773694518880094174676478351111628198017754753670765260213154978082, [241766695331325158873386794105859751041626039910510470857356694159336902649772238916083270699107542506539262998752094689102878491577030053459378831692581878743815, 8730321571390158465025139991738720524377805777338044464350139809196003159770798768272517867758383937]),
  (4416929683531964447023244747033714897646035879747294650833089831526401419667588613275487544881317, []),
  (344523425898162839618016311501397491838352355909964341060767730853510625404592076297290974114181, [116588890315042782111027546934268122415771332380217263807746341965472252331540166096221958704101333539239496524132064462819574171910428867011]),
  (10766135678598637187920884122072315657628705494773394165639029415522889731471595280099448232299, []),
  (1589612872018661438871793331950251920301487888257633793998349590367710190781332740442491858571, [1253325571788270979278289251476382025150526536615593259767558547676910681763964975871492228969617633746730492110368078021110391101838744879456439058019, 362080791305575649406825079205665777344553886390831103144291420914276117179996584555063783500956929817683742902024475019944401243019760059, 104603705839506693628493951155437768282623408894177899795401402728217983929224751741673429977407206061534730582782202848942099, 30219596118048897125469018409771831745846043686933373741592113050816813967023405085475393526945117395037094924139]),
  (4219867436499563387816570696360963223919773190254884825619500373615784545079916881934787874, [362080791305575649406825079205665777344553886390831103144291420914276117179996584555063783500956929817683742902024475018660396092488823355, 20178070925452924854275202731217981473309606890065694881099277213274084311040595281313520372653043992908468512324498256803746088052979575]),
  (131989360182552513236202192826714681602386042941044699227375183470899541233980762681842665, [69845440264972541550494791319087568190793233847645053783914790659591729188800177499627169153129936073023672561976589569908392701942543887067707345183, 140554897972896222758347538246034439494334079902179815150566940141607470995251639164171]),
  (18485179930685678587803940304821197412865217545694858769091187187894189366029310538130731, [542268649752624447536725664049495254264142971849092297114569303197322376912305617296795355393345012108280328930031]),
  (320888924284126781379459808292506349057135054162501770365359712666807839793087583137957, [18103791791750581178361968727375082064233575797030510993745392365131085625734064105005968968872442761889804397109073264263, 1510959126495719112794577659877234040519902999007837607868234560317596331747451660961460079649122, 140554897972896222758315536802807802950177801911400860856449077920836105315704111223451]),
  (10026773741602042027242028867389479925520692536145720523457210660069619526639530940901, [5829364733445548717938295612280517659966828463377706584607489147059717776506722183944974444465072231894045643870016302524175]),
  (125524707558635760149784655031543202692262139817975573691287374389546124727009191298, []),
  (3933904274444590532165280854594670856826589525716571052911562134392565829151568235, [4692464905306364543435492986895609716653968482884015023462653066544887738633755137805069476015, 140554897972896222758315536494154893824455372080648156799439558717335143331646248596043]),
  (378477827834687905140387560952069826152868501504135551863709770470514268209256745, []),
  (17333153643248788884299566271079460213207187372851325888530945616495563085492617, []),
  (537991309511957911624609333747706775956646196473145429690846337710354247066923, [8730321571390158465025139991738719950129668454277999219593505225718209781666885330294016651634688579]),
  (3740767336681074632795039084030128579191984517020122944477749259799317747874, []),
  (116904101661150341780655869908312125119975594720917697276300083871636094309, [324859362513183294395369865611549596779503446620818727533401918856936047896247569336110022968552481792198957085917459614347, 27113061410733998170450286035964427748789556372320815728436017323705517338061079155193983911804987]),
  (9119433423682165384274571544550919942827834031741307548310796166023653003, [84202866188945859852111841825784980568697609303444962892352514966814991782470313171270343080627, 2522155307507839394588136485606600190229747344108912400733887102562150240806815498902683]),
  (357769831773823160095869854051739052721405334981497592029403348722882956, [234620034190294456377270905743366923743737028505346064331371871717014725871276]),
  (26975601400751664472705907489686231772288669930512092892124436102522153, [1684080372255700721716667326397717161085814515708430234088731717379996710290992853082403506278973311973480189095, 1510959126495719112794577659877234040519902998979125593962687213259572479887558216503034374361847]),
  (112278178586899358603681505198293886340589152635749660504775123587458, []),
  (3493729273767436732947494611502096589685135546225043098322532899115, []),
  (271783605419347278759965537399755026283446580008616563464669015205, [812126176161519992442318405194037073521781423011388231069671073644787086361570452838552611]),
  (8493137529965977156793724025489550140736575459201189942799248773, [234620034190294456377270905743366908311302322557074656340689016371602515671035]),
  (265405735535986035859663608737517619503435803068897667996490091, [4210085689043943042456702614239541611622128496083793650856407665165121638590271]),
  (3332177181317130250817583177238371462223466740093650939667170, [486524146266716247955310570987482465437692111702795557517885624613439490377206175324832650839422015, 140554897972896222758315536494154884579276063099462503320671433197449877247708419582935, 210501403471459558043676161385553806442835249268447831675676077]),
  (104027763928085013996509798283842039680437041517075519055145, [7832856004292615061543171288187732197221791681413121290837625905982669245038845399827, 11730841157960887486114330250129078055202861406249434745569083]),
  (9972249726648695015502640967391747312285563408444340607465, [4210085689043943042456702614239541611622128496083792879245255964928380721051903]),
  (455748744757460936594377457035800157877181783073479206188, [4210085689043943042456702614239541611622128496083792879245232924390825754522943, 40605753066449147225289182660018360757279898900071129828520655112770548143, 67780798180438141273341909748325607804634145521590869744683831635]),
  (7910008280543797439465263172907012831285417960987221157, [234620034190294456377270905743366908311302322552616287106165048482580978980731]),
  (99017286943174695247983995566551186216841362713581922, [140554897972896222758315536494154884579276063099462503320671433197449805469638418428055]),
  (3094422951009630886772031528546449939349594607527275, [4210085689043943042456702614239541611622128496083792879245232852612757903338751]),
  (577870266875611516399773212167903557021326068003215, [1216277072826558231762855178915281246234099072537749987795604142423, 6305215677718694929872529747010643684619776180395236280]),
  (9284527056182102469983394944234992633956422785321, [234620034190294456377270905743366908311302322552616287106165044482526234240635, 19581604008509417201143112913899092085994975812573276]),
  (427250625418451859019755090519460500655002931561, []),
  (2960958937101291882661074375805291995721245986, []),
  (92217034607357061684510770681848029591443621, []),
  (7193993731849606418471960302065800090870245, [1821551824470369685574379842258030559571981]),
  (224811391614692129907343086854492984223116, []),
  (8825034954711350165618261526950684531692, [1216277072826558231762855178915281246234099072514637672170636437911, 19581604008509417201138654544664568118105954910313131, 32686421236371370873186607453339924802521638, 5657047804693349551404420829532325783993]),
  (88114943475545413881064281941555782946, []),
  (2756188131963105911084585511039348073, []),
  (261367103967790062352428777065552171, [188862136246705976211922666046222411726018652955]),
  (6699983156104269407934732410597541, [19581604008509417201138654544664568114105900165573035]),
  (209372001374957198243940611285637, []),
  (2620962135366354071168955488738, []),
  (82144547386855156717157704180, []),
  (19508787348648353111860847913, [101511604015032823327252083452348804038343]),
  (250708418037152120209447305, []),
  (11233745812760658040988971, []),
  (78116631218044497341602, []),
  (2440963455678888877029, [979066800645008785520830105847999543]),
  (190422658879908521355, []),
  (14244603883731792236, [1634298694352222684784150235, 15762607728518461559755]),
  (228881259843426601, []),
  (2335681668239842, []),
  (72957839877423, []),
  (5674952333477, []),
  (177345409413, []),
  (5542028779, []),
  (69572962, []),
  (2172201, []),
  (307561, []),
  (6443, []),
  (165, []),
  (2, []),
  (0, [])
]





end D1Bound5.PairSelectedPrepared9

/- Preserved body from D1Bound5.SmallPairLightAssembly9; original SHA256 029f3dcd6a8d5e1b506a7a8bb9e59164af150af72be69790c07a5a73b8286188. -/

namespace D1Bound5.PairLightPrepared9
set_option maxRecDepth 100000
set_option maxHeartbeats 0



















end D1Bound5.PairLightPrepared9

/- Preserved body from D1Bound5.SmallPairGraphTriangle9; original SHA256 deaa2af82bd08f97e72491cf75a6a53a63954646129242a9f94f3c14c6e41dc1. -/

namespace D1Bound5
set_option maxRecDepth 100000



end D1Bound5

/- Preserved body from D1Bound5.SmallPairGraphData9; original SHA256 88b329ddf09044b819e713be36bebaa67a0cb6ecc5714f24b166e8a129e33139. -/
end
Source
D1Bound5/SmallPairGraphData9.lean, lines 2076-2296, SHA-256 0b5e1b57646601d642eb9ac21d611edf478e295d4da3ae88028981d3f1758989. Project: https://github.com/tomislav-math/d1-bound5-lean
View graph