*** Warning: new stack size = 20000000 (19.073 Mbytes).
1127614608
911045
-23334121
15152875237197769342976
1
4789697380021054650345938381924768779764502171151476021251465336909773783338
1483478046719619493978767437813786102680708004930493639232124484712989030743
77376
5591778626126198515789740127923726924138993122908566507963011388676468961202
4477425313882678703984217553283789132475364222241284814412314235455434422980
7710892411505927222662178875831559611191917768447356156048451344207870859235
3421574869121809933510172523951949560305425573780083942051414584453903225103
9150588607156375894233737091156899560058104991022009737098022791771063870332
4543754376917999871790501326547853054436444495861161564399190140572883960196
4316196975817429852098537493490087741730840438498474174124950599821563462379
4776250318165223172258299094200163699119837367865451816040219464272808536682
6366448478399563694093511562444580982947874089384832363620244514399470126325
1221138634876570856880659380036429623915483515843179086549287327024998004564
7976338198194174093893290033883921204928495263532870000949040615012556044932
1818817854986256664488406380789052297112100244473983193254140610618060591371
899564340082899114785688720906351258905787053899776
7081072488122549108437740087055070486542322805098742006332199056679193928966
4483785295568554162322036400017122263928267064345800987077874888846659771496
6170549511731996859294513678297798592859196096017665960363670523570420377721
2919429331810768214726379757777338665118630273090090442002357392565485086331
5412450577546522243130333620009107379345899855572005517250317530197793851722
3355902478870693674755098498729934799138680215415329581514280083638477701043
9833756129716245879910591555562933614970015160148305939648207485535526079234
0506699237254741161806485754160707356885468112747818240990343439929195771261
5718119731260544392168170080797529909765466194544434766073431138630521097535
7468986434676998993972786577010278592120332643280493735615754118765736720057
2393565271488265393041765173848995399894723709392064991834838703664591278597
3082437298288444379811881610029611376601722270737965832251382983968232233649
8871844617255503719150928022965927019986189521620111495073311653079160054784
6857440559795860180426346941115122603046544514726275045580655957003854337394
2366607422738440023830359041009316801704138433518791880556684554000725519633
6314221737402120724621182545795068118781015520862409165116892715165782201744
7373528760095126876619409888737755809138526698545586130093257520346765161706
3668856674264264360780430404097555123190894892970707035925992771214318693453
9933063048724159581078642517219830228441155730464252333929338601304473477379
9924164123779424453250220315240908440937220701876898151966131532288459419998
7193319301791449277695747801099373571458888429427291702061589949699722004575
4707271425056836723915364693803883154598841808528064617757070166253079521282
9330993749058818913084870487521920089024720415354689556927595116643657782190
7772163668281509363539079928183803467678757273373526894367221203626621799795
0834794280858064768554880652430560684135485447762704940367795197161950331922
1933358870993764673870859837952485667866798702804457244640778314935644379077
1781507677136287186820379853171767323733496951804295617087357625661051104152
1796342712986360278714707030680719176226964227465901389213818171046492873465
0022790780563242373313610025898026386690016904386357791379547299812905227390
1289797056874223293654886944596148419408207352315947914652557188420178927934
2848619416825409009261520189608713137382207964171283558993905022859982486695
9083539842491853405079547629485109169490879476146913423588991526498785270327
3968511118988030085179508566878601698165562240004498473335561372165388144302
5299351926733300122236311522899635357333042443410986368545768414279154922277
9119056516432750446537012271038703954019716627215359282310427886580436806649
1128763133722567880219150198570570334214903477999954881887377115447377529450
4743238205391224700586995860603351466477628176669368096677069674459366626343
1922851858053123966451232560199488110901933493373773342297093283394419388248
4588916794714441254931339361853072424034331084764085081987592855543881808243
1779116507645535321440983529543254866843835344498356598259597110076846725320
6851381772957660420342635656117691678289746109819594274521914714099658185017
8103384766865875768775851148845968289169127685348378811992123602296633104373
2805377772394628665071343459476385073839007177030802143173978958766607853438
1299576637513893400073478172504247752287917016974831919723343256352815430862
2756735538729480299222282240438655236155081637699288961373884981739501718182
2681375497299984831021291189018514228948558064909058423273859290080459595571
1759917019292934458035585962564362223881131293139396977742617328161512636776
1481197065944479079708702464472102740839784622024302517281715139380530650311
1915971888668147117514765329906797514964395684832725088547469451338928840681
2720007091412810257156421902095403437335707368255329889993567282476060201844
5771396723720966942646908853851819209514039160674238448209530171041506333081
6987469227749752421380683026987025045039827341868747252476484201784372446710
3510248767574924856801643658855141372196574234941500177109628589376464368340
2999855256027646684276215612404965044584115542842898614670574653437772506535
4923273222262319450335041587329691932221764773887410781545905870741527518830
0856696173015051150711714497101540120133632210837848926748871140267926449098
1423419401755524300390263874468295460307895598999553133968897373983301216878
2734049667608533709411627027619810284143582046196764517591998490057580029106
3609272592147333011404236522621245214993427142890298259090018689952508140536
9654638037034014821665971679425142385118234439462497731669309557480650496918
1834649980677855020436832515946267480139639823701397028549118270169170519415
6721794171223686532838514733056067604528123664171806646382399462634890916813
6669485840561432308522405899924251087786067664162652793044413599537424129707
5477186898973633516352568883257904332028806586709401569864515982688222129153
1567052855728262995530434353630134178070106956944279797548165372439216825076
8326715576786303582598430095125742864236163720296213905787039885884463657834
4643437508267891744779261877500947228066699509369586576615123985367219743858
6658022062041430002005181878216355419666743135504759692658299056669357259645
1140384349942471935622171122262819380938871819723106690671480887238746092900
8259392457845570085120138974098112147614179833839988811199774487498092129908
2525330985586942998714786716070693999685611141806930181168204974764634546790
2491116660085873519752267226746027234992210672340901561111569016509087980484
7241366934438873990966498559499978863196895478498708930733440029703211754971
3174338633455354574979245770026845320172157118052425714203442756762690452556
2195168177038659757872091439804829007952032160043794866268382905222485457033
4877085046605283955920544774598658688901188561694172099986871239644906361688
0166806589820637842653846370311841209424194808154992103008317976618840646505
3524843776927351496372745683004763216358973783229858596853568141313750965802
6732704253827791291256677915251801050186660146187981397142021248163932831949
1242424936332974106235910726775448936949225963230406509254485317395735192765
9629100658168052496684342007876499412743472614751505477517198117059603151774
0513333347014771131213527388744277817255738469560576073881746517093241538950
8379623995721601203434646863118546318466543153575568871197413866654425349795
9709665081383739157130696886846685180184094150972054886673926466898476160056
9251865200870473249492728358926161261942133179621059876513623829755485965508
1765991185475814355042047437792982556193134305138749561348141122718465434028
5955347577189501961066057321746605591478524411065032570202848093134945388063
1469805925510862902366653958969425851152732736769061502994730346813692391400
2188444260504305088747166891225921799545810287134453936174360046753896543846
4725311018589188158298923975056694464632127746952940324604386896534946901154
0189748233921118167859285574717815593009931414748460169210424421915763646667
2549643791464812661184224613907766599594347549012695657501957708976598982379
6246315465707511680970636654737842632945349283341207033490434420327941078448
1247500527894528017587459786622669024443518026949815548731423263169447248228
5110467004911800020475713052104208484239152280018530719982927713299542152131
6714018358725068038634436774574546773146283899186292132944165251525364117406
2333682077664235142911764750699483904374984050720750763989372219539833457960
7517904946980952462925255681650144231984545917747245637003964519102283728734
7801223416232398530453943213234148790697908440512084299095779197332999945341
4964437542186365784691171021464796820401539232838986619037169900580166453697
8875543972648384797560654661388477062010340611513997845689183412371725641192
7259435812034642758959741241517961837062742047554891249269300463738657711558
2873355887128229794245851803952135238397923971740033612324297035200484275438
9156423664686366531825242597376576860994929676476159165395192353567061116835
0879052026395527993330789894200638408494686144201609307220354927475939107543
4100442246166647741053132902356715119673330523458821912870829882436969397956
9406895726081967239095445456258787542857469923106451553636440562462133562360
2668811067192149078795792377466748973463935910225355341714595027831656267131
7448279182843337911131360717637361214496493274000813932176510723999645466023
2577690480408703033440600514220628547543775356283381461661090490710822064909
4442349542870358299272174730711563333091694493018076280359800542459534086476
1753773084515412810070994263488287449786031849963340685709770929949412357769
8595467102933787819050340231630643521983014085233294591129365647969335691870
1645312144680039661515859963988461311015875682686126364930986339192596055528
5415821644430946059242051021689727062158285718368764970142254220221251016570
1562643814866019675250331401163912499653408827720323147052395354630909040950
2449569343309008357721192162211813923928897216896982491145981783817245900369
5174601436757895126770570726969854492290667489978001725658920553817006873736
9361312619106558444263836067946213531312792247596380264510333469355965494293
8057756424419773526095629957221330300887874765988164844737994868164641605222
2825624132991984850324866986619296607978229622915429194579009932988226000946
2799716898319535999601514182213198784020927602509705335937317436616464565386
2872053875185499951244257832174070631688990682874482631471691339296616648363
3357285120715643816652078133798755984077111980231423933018801082978392585421
0557410505624607436448090236794246925372257552335205668157924552625077577745
1444994285443412758408944565156472565466791294345215703318051430639461056798
9104112885134043465540265984546300434414876490392033240018221222923160975692
3574118451325235191746732118645012230660740739534589705361993281591810042848
1386376501091030428196191317149726249705003607276293632768455631898002411316
8723568666921731614366149245523567264036839088882693159534231662113318927190
2700597763458658138616263432657882123932584966891493766304566230992548511870
1578565808767928420814686276337773212621085152030353396508799832670048785694
9458195423731556131061003012038999565838203945938486770903260446305772890830
7066407095099849010110311279170801482672160151298019450205523688931455046837
2696701818054864809290668621005085842719448633255369262839048473607324076854
3876512651160078271451580705114404951011889183775018819798848974826562003664
6661732798500898437911439686901081863261839430043923237046283466602427871304
8506953093641642163367712127257564040734310940434747428181583577390637815785
0568728380279883244330109231305923546694823757987289677640095975011241184318
9915958392805871916668742980025522360460089258695511886998639786040952838129
9175637805687931816598611425185730113293288911861332695586714572145658115029
9844338849992973326251312720024106411331530108183020506081531934467942310766
5480466436597036298814762723036190616555337378880978653796168575503594499080
4938901966476145425173757988475188344145289435972780305559861056903328353435
7097324796734880384585281130228000670331841246489779777755289555189750148212
2460528569662635491485226214600657466593819032606384448441494814219184451373
2970238465927788712086864971958121372221766814952929308218481647008620534821
4870259320816045694040663489812592473817436697294095899807395498397055191786
4246700427676626086795906762335651942030658186154911718028023640965476401541
6331290138619972853394139193068857312592167829698870990849405149987021278969
3611178142790638697562338466404270499149409798871543973677872220822218818707
9274126492516822409042659368169703465936982972778620219021231830098682652554
0129952966507080659132966853812023584303362666270317227465529934100811015105
8868990725432564987605223395940547374046157871476155638971225706634706527197
2100070728017924350626608177098973079265381463675975950527323756525988663565
2792980895669484248299410038263537660623017805311298685765900580697924240570
4587261148427817001651793337528843665500553095898064074090246369336456936473
4373803950522485651344423864279448523115897237705822685322793258751461529039
8924994348239102187147135789338076432776608620822393601589765157207326701598
4974900600705558869601187220120358321975167707693820494316713534023111843805
9283173364786844421849556149175619273166387467854407493491717116722424505053
1728410586881113103309453413145528185963208374232941772791717539803691080384
2397504701077839217768067902076125594575708755459937027409745203440094884479
5140234505133742864665356178364606835448830939783260650214862842555014663195
6415594335179574317671856504206447373591062916029471992300116963386628460524
2847904416596141934741828146379809581664158905733011925952574996015569831756
9703063616018931599351925057216994635704120606881418401365121636867122399809
2774750147634980569429662641208390283422787696005105225767492395514821395148
2324024851334114743756051875991639774324459647227599873088565986456465788550
2092343371481239343113881272770926693174789149230168249996032172137615301356
4980996965817634459665187513080922525605201604845857286564525064751439629278
3000725290349331142295275597309690835948790615844571089136616960068195339705
6194453861378417806817597789190149182835100252960383932417019745974444767099
0624786637634290275002442959915995647243356991025785049598063354253091991467
2884054539571691939828506354835147188797863438910609128541007455256683557131
0562342964055240007307201315671721394884726343064451522335113780730215996618
7001991699723165212904103307749537867071104955163912366676956060671585948075
8856561990076412149919627753695230757225285324756951063606903236791929080189
3973661505448117852920548942305793298953857044793936910063454602785182803429
6064134170981414962838068243888581694538254933156788556169768331700594145992
0829625229407628504478197743358306906062714062770191995932116159202455454698
1833772637944551971708296532225251958444281762416016999602533345461193450313
0648189438004061438499414165320145166394394137001741494601734265729049916536
8786615510481765352709341172007999297661820452214994434444847483883226297140
1401674898781247484082998956186471711709567755084249521203388115453739850984
8201380092084758372275724538800301564602934678377853362331910728064061151092
9552063475242103758900477732246484302256511528132759160221241392285002767024
3669353741641622336731841455767829054402291230797389101828234070416279585998
4177436328311159747118290973201619007228947454290436250321638835917076230562
5908006734101378403247160809171990515159263712996771840506632764382172811486
1045805889911666828084633587319003655886973250316525236916645981137835447238
4293626020194196895754257039489866614124700604916502009470350933899248574263
2433831333725836823737934116481556444659294843962623404784927612972830908818
7995066167536899612315082598662649426372702024801212726876754386409528327484
0407885195827599897275621697816182411963589270076348733404107791216013908821
3312645242645005779272501822320994675104938946391158040143587955328884418481
8552189233778681399753847414887764033120998535989960058575892967832407772128
1486370558522744063535928001892364461867715745222791284527793212818188214212
5151430384435843528957786512789031489302505302683680671161908878734972360980
0169606010403993591690593687152871349591312158380146505938090653290650464244
2393715616059833231533447758770144994797243194913401125749757861887967071474
0668243840880239975410140487167665497226423304105183321456942712666755366048
4513930715943788103872965224019765145227252865954271143477545308093565624554
2038273819668351030692714185064237433409989989843369326821584267652829971183
1047748516522526723332327680235436145444057502299686617058124219054013357604
2058644381474119584378752212603826077589535634202050954327560432207418222041
2946673374895032454261423042963903275402019846909997207392220695906575618068
1181429287813762522813907938908102094558672580674959851503384043646005266215
3556850616430494449519453861414586052518051253449165323698938124942367235337
0262664752264544375885466166799033815620881800700646346140590254007360813756
6106251312723308725668659882494606260328217635132797924501855990617961457672
1019271798366689077713053020708507055485816592439719097528763798162719234761
5768842729973762210377565701985356010572319029207706749810973378297162497315
2429257893364899813089138087002591377752115806621791689735535324942239281389
7707658659115297091177669024303780469123021110257015997626532926986838094760
0251473914561276418783777747329910981979578981148252984143759266894331122042
9041445345958715283155660279310587345830247860448837525261315766198993992499
5959135476557955828889140898705619068986297758402572687925341338893322191018
4951574210527100911563052359377857775455187162182640677583563839405015418626
6271003135442406476904292013486173064280165102275860877358055961680377018117
9407258058194062595343490331433128277476287025562338780716296607863734421964
6398504753473310937624280680487514461999171822917905958714467444259409540096
5125686461106746954329208107230838711949699315085161624573548764472629924000
9388826927578163869644055897801290539733180405120167542888739695296935787527
2277231024000866999422003496826219681773340717008049883536929150209759419719
2476724495228873880421184843573662693488497521949703654293617023731876188021
8161101036337107718919946052334638989394796774173354409309562498787726965123
8501379728687520420137037318041140155292864410431179358106654346624235823545
3064016217648136175289259908242738578378187682097303323420320267640427880197
0546103037587443506906154893888189366292745693373465818296838130553615764337
2012379056702209339738530032711295715914291111593610024223834654681234489950
2995984070241882647259917195419249566653665169904729139657919194431471824505
6330324626778144078219820414708337050772319628837159448612020902643054481443
7785951186072214743077777545529851432900878096517420251324683967383472320646
7072171826870056133206946006956594590822413225672457103287494913610929672857
2802979513803760415959689167004444098745469704235693893440234078348358992130
2902412804083486203809602146349295979585966691897800454007145734217841442504
2509656059394416722763927807238311390512732351899114617488579954637344893472
6956418040020563753576439361112293250812538205606862069824031389592220753938
3931980444000396952790300025110413488020461314044867096400482555611861766557
8779872633208790282853041828436599000821439615909297936909400476874231409386
1107957033048878824727553773211614689966672780402203443704886999018746632918
4578570059506705179295259119648586493455744160376834283354774861549013613756
8914104974148435789675196156799768181676487349484914162264963803701991647308
7077370046772797817386919223496396655554669074903108105861101273892479122450
4487000094244471654652318170723070150479698387577348165943027364806795695771
1605973865900671088466048319535078791374564546245300366331708247635343933398
1970452195592950156793361600483926819755275149212838754795843185318110832468
1382112309145641859606129754154071672948878109857709847136184953440514957541
3641496697051930106770483801168708463106269498367706651154782577811514002639
5106563888263605829321212608718331459495599039042081814718848457860199057649
5346982843071231821350857965681984563335821957754569468382305016184024887604
8160723684261393716356258451730935748281676054966556038316792751070826540054
2473315712042588604514882868227176108332833877184166366265303737221912013662
4512167901067209682554392111071155499467651327936730515479173229263731514370
3330182513953368428655392818025057917570653783124434362274261551843983160477
7351162406242450929672186628419950329891867814208035883609977838886238833276
5330774679847630559105909002838233097431528046724187446177909715044255520881
8889404837062703651637318360772404220635983462926485432718138685237631857455
0598465166755132919094585655974966874524784130599703711634113352005177406926
9603316645497284293848590370977640427328887687375912505822778917514360380115
5682283488759427844250167972992511302878057532531484502529732162662116955639
7406173957119233848745104829248262313597011029557702426889396863083570940205
7509537898825756241704038780955282562441114537127841752209332467489719207566
1744264901601182958290811929305241680377823312435028072780502748828361181784
5922938685656775729737638617283841787967835602522574138712851435180707114732
7070864077169181369700790505644456673957432875813509347521540262444684384812
1628162757064794714790594967511664494982986431532091869678632267880119090181
3358285913239640118632956526316790292934199787619720599635756782126973040030
8849995749515739684821341699562520787829013184888043096654760631188226253631
8585742707987188915896804232114765200530074024419150347592072019161120869323
4748482955558033228065455570160118248780022998383870238441158071327622059726
4610703982594367716830470741988537826072641367377235148800000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000
6424194875218376701463113579276658235425909119319864401234806441094021127054
1375266956365232048220109345396592726319742460454879981062694340660155949810
0158596374952141691378161159043297105952129759212696862483103011107449914024
0094518530978010978915317583738701606420973822157506086835007914978002982268
5532998094510470979840507359084614024762021412168744501835585051640684574287
1078953105601656693485703971643934048397703383418980257911777900546820380805
4170495763626051350369423653552681147090272505727727116438873040672296148742
3911117072924868470426691405643972081983053358547587471903955838256977365810
7214608397690540588379230455866567931949997177575434025237758134753480761133
28381591924887486184484485922972282971065248302182867907169925597
5666658170985421428568776023708028963706995520080659357168692551584779660342
8845370048005616413297301438788684948250159498753561703887501771998471467047
0572365820592328518742718645259795706159687456606230246406028480921554259928
5340467680010491452771885463865912263236353978700007220144125780098160197203
2031201691364593717086444953556041504587784874247426094277154056141748358043
3092986242590451866923730053842550530645976252654457481607935574398512975433
5958612625992295737052292037154444584538830158625476522119502606425844311713
7568524432625716058524905583126467948164530845151327970412952427667083285696
1654438323710321253566705831201432914714319143016623815060881384835591899090
2471009192031544760372901915755330058532299670144074706793928555485848393159
1828050109715302094839971124460319775966476623121401249450851220197356866122
8030237845317849716956219074680650465917640347731788333583546848508416734340
3898157780073751187903396667377222823979111370825580014201215182931295599914
4605197631998749857550713081687598984457233392295649568376711423487711804910
2828628167987521424766213383686969797280488819530652810103906518166447659272
3960381547488477643959422660036664159679049695106798176262658899212922595345
2454875526563586504128373884988804533889790263675488058966242204666913885135
4761573671014826411947138132267980759790003000518532492673507771928777973799
4462263269300516966805110216380798756683709747323283623552894566069041854716
5029737260856017571432569467896308128832457972079937266842795609362963233465
6327577377986418531570275825779937665992342542699460636407443029919577857433
8281851600006090764198717337191559381124541561638319703069586167725629299517
5076255282960787602293050101970033429356854625906232924704291310702886456251
8632469985653278132588227168080017020040737658591877433454971545485013311503
6561434485127084618089632304423817006708918171546906346335387536183560949225
6036074667890092069337996522372744178148163354405930752765169071704137022745
3128090263426824477803494585851173850223374121732489365069889497237403158227
9840839631127334319988930212402475223960918680308467061859410851679902975904
4661251441881460358726937406012647950645653613408222529039998067223110238643
6584292316840781276633771054531894956472312394322235029051864341558369191090
2082097544642694038762391681516198232954168712855564402707363812139413162515
0480689998678584944350427513554851672228063533753307926177250358938882470874
0552103661088094930068257811242447871657269388113518991542989510629246336165
8479986550036211371919196414464310026701922662394921566955076574453643730934
1341714157231194704091874372904256798372091118444460231449307037375034411885
3676576076869932519269429557331764241054721425368240513547145593868968757079
8413509507002710738565824220172607150332145236704442306962285332528127656564
2590547122402610145691024371453366639652111607302939245318506315359461958010
0338927812940593249471506386124415697212645252323776162585064558232775462345
0951607701158724151244612836110221471968264848258590874666079962640426472074
3487324130608218105825409790022539148520998476124281291687889066415082363438
6377246876252328877677745106379993913801568088315491443230018175530767089172
2280158309314854025846942336224310461844675465480506733085433084145387991886
9163462389952637245366258421425459491140903882880003377713821451634188188884
1270198600409570953154950542534700105045291091093642996156632611959521886490
8877592687889204374862069654416936978853484961795533371115377921813664130820
8894785497117037657605284341185537822982652138954441751771331074319374402086
3465730168436263997343397576043651046145427257983216065136429702161412662944
2533223411458043954241454056372388815682513236663702933669435298342603484167
4852785108888112467902247752587923476008872710917234044426046543641356109789
5876614276812058803783525798121627107430819643445666863755934345575064341943
2421032153639761995700534388812500609556342126624454207517606357454052961253
1916416611193320507596890878455922703579754346646730035078177578839631475550
5154158684730661893835639483595803909842534400000000
-146466598037214168132166946505504582163231930504557323838755829912078704914
7232527937922846836370373882122793776918426462873008206004301364448376259630
0479960292079047337203318689620054594788601914812264756266003542446303110405
9560079971360943834135331209843652685215567853268091899077562013277846536466
1786518361349621668764106591611342239895640346016543607765851182771101386113
1718339502303309148563294578063244261544184459699371894760765768843605074654
7819950060859169704099256831302939154372463310228820624840543133303743930037
6832934573832667131007316074052766767211417435693835817229175698303748426224
8164061481748353716219313553054565951525041510277959943506642274215459240400
3413401913246940636306835336167263971847965958219668263615363229308670003786
1280039502702514466128151473480194115101423711109540716126364366215022998077
3438647003907052554543859418494105956511786638237430891776264628858558346877
0999659442974447178448949336232579513990920556348752372589170183967760081282
1068289815831941416139365959202771157717021073756071068631224445237941841902
1010658333344411773566886865763298166211226814014383373536918777417377201936
0194260907892936117931560105492485208945051722728459321506684015902216398736
1437975998395864293392034350055095596731285567989250747678871045484053969091
7738158228784687166822861537430240167501324801433542590655581872680422750854
3569243672323920014911105847183250923458086240362287243614402774812893620769
8958454584510734797308369548615843411537874069109470839942512266512001813365
1686265685135225872723370661848625082264317185263751868490644013658070593769
5212774412568374551078701167623193603318820391281854674000166562224088265619
7825432639193103479385714210231933101171528480116302844082573381791300062745
3330296747551928284460293572813648085075110582219522739451115791229369187172
3294412418856265068263073465221599276551549319404148769602303854312999142835
4606621084918266578016717978376941310421414846182410260276675218940359642915
0789105727294502216051212140336002972753983918342578254176884786051351324666
191659726146306072405158680
5826600558186537404838856131370471039379659134
58076907875090050502110574307657256807287717388760005394175044663
2615551406650875838181122330253797985104602070241678014791853540448034257062
39419
1177939634036131600533146804222733342399463976109814236899724042387935525345
792616589264996745575
227719861472038658791603995367201962254031696071197510053300364489
1025559083270339613328225485791293069513108821161587766318899893534558082149
559351
4618707505262750497822661744140123902029723820123390596302244701544184757399
151666179549811431957
1973
[2, -2, 4]
y^4 + 2*y^3 + 3*y^2 + 2*y + 1
1
1
y^4
[-2*x^2 - y*x, x^2, x^4]
[-18*y, 6*y^2 + 4, 4]
Mod(0, 3)
Mod(1, 3)
Mod(0, 2)
[-x + 1, 1, 1]
x^4 + 2*y*x^2 + y^2
x^20 - 10*x^16 + 20*x^15 + 40*x^12 + 2600*x^11 + 150*x^10 - 80*x^8 + 12400*x
^7 - 17000*x^6 + 500*x^5 + 80*x^4 + 5600*x^3 + 11000*x^2 + 5000*x + 593
[[x^2 + 3*x + 3, Mod(1, x^2 + 3*x + 3), Mod(x + 1, x^2 + 3*x + 3), -1]]
[[x + 1, Mod(1, x + 1), Mod(0, x + 1), -1]]
z^2
Mod(2, 3)
Mod(41170744616631889845480363679839550251, 17014118346046923173168730371588
4105727)
Mod(1, 3)*z^3*y^3
2
4
y^2
(x^3 + 1)/x^3
Total time spent: 5562